• Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks
  • More
    • Home
    • Research
    • People
    • Short CV
    • Grants
    • Teaching
    • Talks
  • Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks

Juan P. Aguilera

Contact

Institute of Discrete Mathematics and Geometry, 

TU Wien.

Wiedner Hauptstrasse 8–10, 1040 Vienna, Austria.

 

Email: [lastname] at [logic dot at]

 

If you are interested in doing a postdoc or PhD with me, click here.

Current teaching

Reverse Mathematics, Summer 2026 (TU Wien).

Mathematical logic seminar, Summer 2026 (TU Wien).

Computational logic seminar, Summer 2026 (TU Wien).

Research Interests

Mathematical Logic.

Events

INI program on Infinity and the Foundations of Contemporary Mathematics. Isaac Newton Institute for Mathematical Sciences. Cambridge, UK. January 17th–April 28th, 2028.
 

Oberwolfach workshop on Generalized Computability Theory. March 28th–April 2nd, 2027.
 

Dagstuhl workshop "Arithmetical and Modal mu-Calculi: Recent and Future Advances." January 26–30, 2026.
 

Young Set Theory 2025. TU Wien, September 8–12, 2025.

ESI trimester on Reverse Mathematics, June 23th–August 29th, 2025. Erwin Schrödinger Institute, University of Vienna.
 
Logic Colloquium 2025. TU Wien, July 7–11th, 2025.
  

BIRS Workshop on Infinitary Proof Theory: Techniques and Applications at CMO. August 10–15, 2025.

Recent and upcoming talks

  • Invited talk at the Colloquium Logicum 2026. Würzburg, September 2026.
    TBA.
     
  • Plenary talk at the Logic Colloquium 2026. Swansea, June 2026.
    TBA.
     
  • TU Darmstadt Mathematics Seminar. February 4th, 2026.
    Large Infinities and Ordinal Definability.
     
  • 19th Panhellenic Symposium on Mathematical Analysis. Athens, December 18th–20th, 2025.
    Integer Games of Transfinite Length.
     
  • Computational Platonic Space Conference, cyberspace (hosted by Tufts University) November 11, 2025.
    The mathematical conception of Platonism: a modern perspective.
     
  • XVIII Luminy Workshop on Set Theory. Luminy. November 3–7, 2025.
    Exacting cardinals.
      
  • Logic Colloquium of the University of Vienna. September 16th, 2025.
    Local Hanf-Tarski numbers.
     
  • Simons Summer School in Mathematics. Vienna, September 14–21, 2025.
    Gödel's incompleteness theorems.
     
  • Invited speaker at the Proof Society Meeting. Ghent University. September 1–5, 2025.
    The norms of RCA0.
     
  • Förderungspreis Award Ceremony. Meeting of the Austrian Mathematical Society. Linz, September 1–5, 2025.
    Large infinities and ordinal definability.

 

© 2019–2026 All rights reserved. Portraits are © Antonio Chorbadzhiyski and © Ulrich Zinell. The LC2025 owl is © Amelie Wehr.

Cookie Policy

This website uses cookies. By continuing to use this site, you accept our use of cookies.

Accept & Close