13:00-14:00
Philip Janicki: Tadaki Numbers and Speedability
Wednesday, March 18, 2026
Wednesday, March 4, 2026
Wednesday, February 25, 2026
13:00-14:00
Christopher Sorg: Computability of Koopman spectra in the SCI hierarchy: reflexive $L^p$ and endpoint phenomena
Wednesday, February 18, 2026
Wednesday, December 3, 2025
Wednesday, November 19, 2025
Wednesday, October 22, 2025
Tuesday, May 20, 2025
14:00-15:00
Dieter Spreen: Effective topology à la Markov - an approach
Tuesday, February 25, 2025
Tuesday, February 11, 2025
15:00-16:00
Katharina Müller: Hilbert's 10th Problem for families of $Z_p$ extensions over imaginary quadratic fields
Wednesday, December 11, 2024
Wednesday, October 23, 2024
14:00-15:00
Valentin Abadie: Information content of alternative representations of numbers
Monday, September 23, 2024
Friday, May 24, 2024
Wednesday, May 8, 2024
Tuesday, February 27, 2024
15:00-16:00
George Kapoulas: Computable p-adic numbers
Tuesday, November 7, 2023
Tuesday, October 24, 2023
Monday, January 13, 2020
Wednesday, January 8, 2020
Friday, July 6, 2018
Monday, June 11, 2018
Wednesday, March 28, 2018
Monday, March 5, 2018
Monday, December 4, 2017
14:00-15:00
Iosif Petrakis: A Yoneda lemma-formulation of the axiom of univalence
Monday, May 22, 2017
14:00-15:00
Frank Stephan: Deciding parity games in quasipolynomial time
Wednesday, March 15, 2017
14:00-15:00
Timo von Oertzen: Efficiently Computing the Mean of a Partition Distribution
Monday, November 28, 2016
14:00-15:00
Sam Sanders: On the interplay between Nonstandard Analysis and computability theory.
Monday, October 24, 2016
14:00-15:00
Guido Gherardi: Does the Interpolation Theorem hold for mathematical theories?
Monday, September 26, 2016
14:45-15:45
Arno Pauly: Robust division and convex choice: Separations for parallel and sequential products of Weihrauch degrees
Thursday, July 28, 2016
14:00-15:00
Rupert Hölzl: Randomness for computable measures and initial segment complexity
Monday, July 25, 2016
14:00-15:00
Rutger Kuyper: Destroying genericity using symmetric differences
Monday, July 18, 2016
14:00-15:00
Alexey Ostrovsky: Luzin's topological problem
Thursday, June 16, 2016
14:00-15:00
Frank Stephan: Finitely generated semiautomatic groups
Monday, December 21, 2015
11:00-12:00
Douglas Cenzer: Algorithmically Random Functions and Effective Capacities
Monday, November 2, 2015
14:00-15:00
Willem L. Fouché: Zero sets and local time of algorithmically random Brownian motion
Thursday, October 8, 2015
11:00-12:00
Margarita Korovina: Synthesis and Verification of Safety-Critical Systems
Monday, October 5, 2015
14:00-15:00
Stanislav O. Speranski: On arithmetical structures in the monadic second-order setting
Monday, July 6, 2015
14:00-15:00
Victor Selivanov: On Weihrauch degrees of k-partitions of the Baire space
Monday, June 22, 2015
14:00-15:00
Hajime Ishihara: Some principles weaker than Markov's principle
11:00-12:00
Satoshi Tojo: Belief Re-revision And Reliability Change in Dynamic Epistemic Logic
Monday, June 1, 2015
14:00-15:00
Eugenio Orlandelli: Proof Theory of Non-normal Modal Logics
Friday, May 29, 2015
14:00-15:00
Noam Greenberg: Presentations of the field of computable numbers
Monday, March 9, 2015
11:00-12:00
Rupert Hölzl: Universality, optimality, and randomness deficiency
Wednesday, March 4, 2015
14:00-15:00
Mathieu Hoyrup: On the information carried by programs about the objects they compute
Monday, February 23, 2015
11:00-12:00
Sam Sanders: Taming the RM Zoo
Wednesday, February 4, 2015
14:00-15:00
Stanislav O. Speranski: A metamathematical approach to combining probability and logic
Monday, December 15, 2014
14:00-15:00
Matthew Hendtlass: Topological models of IZF
Monday, November 24, 2014
14:00-15:00
Oleg Kudinov: On the Turing spectrum of the field of computable real numbers
Wednesday, August 20, 2014
14:00-15:00
Rupert Hölzl: The reverse mathematics of inductive inference
Thursday, June 12, 2014
13:00-14:00
Maarten McKubre-Jordens: Analysis of Three Different Flavours: A story of examples, counterexamples, and viewpoints
Thursday, June 5, 2014
13:00-14:00
Douglas S. Bridges: Morse Set Theory as a Foundation for Constructive Mathematics
Monday, June 2, 2014
14:00-15:00
Stéphane Le Roux: From winning strategy to Nash equilibrium
Monday, February 10, 2014
14:00-15:00
Eike Neumann: Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
Monday, February 3, 2014
14:00-15:00
Victor Selivanov: More Hierarchies of qcb_0-Spaces
Thursday, October 31, 2013
13:00-14:00
Gunther Schmidt: Spacial Reasoning - Relational Topology
Thursday, October 10, 2013
14:00-15:00
Alexander Kreuzer: Bounded variation and the strength of Helly's selection theorem
Friday, September 13, 2013
14:00-15:00
Martin Ziegler: Introduction to parameterized and second-order real complexity theory
Monday, August 26, 2013
14:00-15:00
Kenshi Miyabe: L^1-computability and Schnorr randomness
Wednesday, August 21, 2013
14:00-15:00
Paul Shafer: Reverse mathematics and Birkhoff's problem 111
Wednesday, August 7, 2013
14:00-15:00
Christopher Porter: Deep Pi^0_1 Classes
Monday, June 17, 2013
14:00-15:00
Tahina Rakotoniaina: The Weihrauch Degree of Ramsey's Theorem for Two Colors
Monday, June 10, 2013
14:00-15:00
Laurent Bienvenu: On Deep Effectively Closed Sets
Thursday, May 16, 2013
09:00-09:45
Achim Fischbach: Berechenbarkeit von Abstandsfunktion und zweiseitiger Abstandsfunktion einer Teilmenge des Euklidischen Raumes
Thursday, March 21, 2013
14:00-15:00
Rupert Hölzl: Denjoy, Demuth and Density
Thursday, March 14, 2013
14:00-15:00
Vasco Brattka: Connected Choice and the Brouwer Fixed Point Theorem
Wednesday, March 6, 2013
14:00-15:00
Kazuto Yoshimura: A Categorical Description of Relativization
09:00-09:45
Jens Freese: Implementierung von zellulären Automaten zur parallelen Berechnung von Addition und Subtraktion auf Signed-Digit-Zahlen
Monday, February 4, 2013
14:00-15:00
Andrey Bovykin: A survey of recent developments in metamathematics
Monday, January 21, 2013
14:00-15:00
Kenji Miyamoto: Exact Real Arithmetic in Program Extraction
Monday, January 14, 2013
14:00-15:00
Rupert Hölzl: Absolutely undecidable sets
Monday, December 10, 2012
14:00-15:00
Peter Schuster: When Irreducibles are Prime
Monday, December 3, 2012
14:00-15:00
Sam Sanders: Reuniting the antipodes: bringing together Nonstandard Analysis and Constructive Analysis
Monday, November 19, 2012
14:00-15:00
Arno Pauly: Beyond effective descriptive set theory: Uniform and synthetic approaches
Monday, November 12, 2012
14:00-15:00
Helmut Schwichtenberg: Proofs, computations and analysis
Monday, October 29, 2012
14:00-15:00
Victor Selivanov: A Gandy theorem for abstract structures and applications to first-order definability
Monday, October 22, 2012
14:00-15:00
Hajime Ishihara: Some conservative extension results of classical logic over intuitionistic logic