Conference Agenda

The sessions of the sections are highlighted in blue, those of the mini-symposia in yellow.

Please select a date or location to show only sessions at that day or location. If you click the selected day again, you return to the agenda overview.

You can also filter by sections or mini-symposia (topics). Please select a single session for detailed view with abstracts.

As participant you can create your own personal agenda. To do so, log into your account first. Then go to the agenda and click on the plus symbol to add sessions to your personal agenda.

Session

ML1: Mathematical Logic Location: G530 Session Chair: Anna De Mase Session Chair: Lothar Sebastian Krapp

Presentation 4

Logic and proof theory in computability Lew Gordeev Tübingen University, Germany I discuss some new methods in logic and proof theory in connection with fundamental problems in propositional complexity. References: https://arxiv.org/abs/2005.00809, https://arxiv.org/abs/2311.17939.