Posnetki mojih predavanj so zbrani v YouTube seznamu predvajanja. Prispevki v kategoriji »talks« na mojem blogu vsebujejo dodatne informacije o nekaterih predavanjih.
Lekcije
Programming language techniques for proof assistants (September 2025). Lecture series at International School on Logical Frameworks and Proof Systems Interoperability, Orsay, France. Resources
Introduction to homotopy type theory (April 2021). Lecture series at Spring School on Homotopy Type Theory, Ecole de Printemps d'Informatique Théorique (EPIT), online. Resources
Algebraic effects and handlers (July 2018). Lecture series at Oregon Programming Language Summer School 2018, Eugene, USA. Notes · Videos · Repository · Blog
Spartan type theory (December 2017). School and Workshop on Univalent Mathematics, Birmingham, UK. Slides · Blog
Predavanja
Zeros (August 2024). Public lecture at National Science Week, Sydney Mathematical Research Institute, Sydney, Australia. Video
Variations on Weihrauch degrees (July 2023). Computability in Europe 2023, Tbilisi, Georgia. Slides · Blog
Isomorphism invariance and isomorphism reflection in type theory (June 2023). Invited talk at The 29th International Conference on Types for Proofs and Programs (TYPES). Slides · Video · Blog
Formalizing invisible mathematics (February 2023). Machine assisted proofs, Los Angeles, USA. Slides · Video · Blog
Exploring strange new worlds of mathematics (February 2023). Levi L. Conant Lecture Series, Worcester Polytechnic Institute (Worcester Polytechnic Institute), Worcester, USA. Slides · Video · Blog
The dawn of formalized mathematics (June 2021). Invited talk at 8th European Congress of Mathematics, Portorož, Slovenia. Slides · Video · Blog
Synthetic mathematics with an excursion into computability theory (February 2021). University of Wisconsin Logic Seminar, Madison, USA. Slides · Video · Blog
Derivations as computations (August 2019). Keynote talk at The 24th ACM SIGPLAN International Conference on Functional Programming (ICFP). Slides · Blog
What is an explicit bijection? (July 2019). Invited talk at The 31st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), Ljubljana, Slovenia. Slides · Video · Blog
The real numbers in homotopy type theory (June 2016). Invited talk at Thirteenth International Conference on Computability and Complexity in Analysis (CCA), Portugal. Slides · Blog
The troublesome reflection rule (May 2015). Invited talk at The 21st International Conference on Types for Proofs and Programs (TYPES), Tallinn, Estonia. Slides · Blog
TEDx “Zeroes” (October 2014). Public talk at TEDx University of Ljubljana, Ljubljana, Slovenia. Video · Blog
Reductions in computability theory from a constructive point of view (July 2014). Invited talk at Logic Colloquium 2014, Vienna, Austria. Slides · Blog
HoTT Equivalences (December 2011). Seminar for foundations of mathematics and theoretical computer science, Ljubljana, Slovenia. Video · Blog
How to make the “impossible” functionals run even faster (December 2011). Mathematics, Algorithms and Proofs 2011, Leiden, Netherlands. Video · Blog
Embedding the Baire space into natural numbers (October 2011). Computation with Infinite Data: Logical and Topological Foundations. Video · Blog
Mathematically Structured but not Necessarily Functional Programming (July 2008). Invited talk at Mathematically Structured Functional Programming 2008 (MSFP), Reykjavik, Iceland. Slides · Blog
Efficient computation with Dedekind reals (August 2008). Andrej Bauer, Paul Taylor. Invited talk at Fifth International Conference on Computability and Complexity in Analysis (CCA), Hagen, Germany. Slides · Blog
The Role of the Interval Domain in Modern Exact Real Arithmetic (September 2007). Andrej Bauer, Iztok Kavkler. Domains VIII & Computability over Continuous Data Types, Novosibirsk, Russia. Slides · Blog
Synthetic Computability (April 2007). Tutorial at Mathematical Foundations of programming semantics XXIII (MFPS), New Orleans, USA. Slides · Blog
Metric Spaces in Synthetic Topology (May 2007). Andrej Bauer, Davorin Lešnik. 3rd Workshop on Formal Topology, Padova, Italy. Slides · Blog
RZ: a tool for bringing constructive and computable mathematics closer to programming practice (January 2007). Andrej Bauer, Chris Stone. Computability in Europe 2007 (CiE), Siena, Italy. Slides · Blog
Continuity Begets Continuity (June 2006). Andrej Bauer, Alex Simpson. Trends in Constructive mathematics, Frauenwörth am Chimsee, Germany. Slides · Blog
First Steps in Synthetic Computability Theory (September 2005). Mathematical Logic and Applications, Fischbachau, Germany. Slides · Blog
Realizability as the Connection between Computable and Constructive Mathematics (August 2005). Second International Conference on Computability and Complexity in Analysis (CCA), Kyoto, Japan. Blog