**Saturday, August 10**- 20:00 CLMPST closing party at the Institute of Philosophy of the Czech Academy of Sciences. Participants registered for the logic colloquium are welcome to attend free of charge.
**Sunday, August 11**- 14:00 Registration starts at the conference venue
- 17:00 Welcome drink at the conference venue
- 18:00 Public lecture by Hannes Leitgeb (this is a joint event with CLMPST and is intended for a wide audience)
**Tuesday, August 13**- 12:20 Conference photo
- 19:00 ASL Council Meeting
**Wednesday, August 14**- Excursions in the afternoon
**Thursday, August 15**- 19:30 Conference dinner

All plenary talks take place in **Room A**.

Mathias

Macintyre

Pudlak

Beklemishev

Harizanov

11:30–12:20

Drawing Lines through Rivers and Cities. The Meaning of Postulates from Euclid to Hilbert

11:30–12:20

Model theory and proof complexity

9:00–9:50

Notions of difference closures of difference fields

11:30–12:20

Logic and natural language: commitments and constraints

10:30–11:20

Higher cardinal invariants

10:30–11:20

Higher cardinal invariants

9:15–10:05

Over six decades of the model theory of valued fields

9:00–9:50

Relating Structure and Power: a junction between categorical semantics, model theory and descriptive complexity

10:30–11:20

Well-ordering principles in proof theory and reverse mathematics

10:30–11:20

Well-ordering principles in proof theory and reverse mathematics

9:00–9:50

Local proof-theoretic foundations, proof-theoretic tameness and proof mining

11:30–12:20

Describing countable structures

9:00–9:50

The ultrafilter and almostdisjointness numbers

10:30–11:20

Logic of Computing with Continuous Data: Foundations of Numerical Software Engineering

11:30–12:20

Zero-one laws for provability logic and some of its siblings

Shen

Kohlenbach

Woodrow

Beeson

Arana

Scanlon

Baldwin

Negri

Sedlar

Shore

Joosten

de Risi

Krupinski

Thapen

Weiermann

Kohlenbach

Pierce

Honzik

Baldi

A. Kucera