Conference on Techniques from Logic in Mathematics

DATE:Thursday, December 7, 2023
VENUE:TU Wien Freihaus building, Wiedner Hauptstraße 8-10, 1040 Vienna, 9th floor, room DA09E10

Call for Participation

CTLM 2023 – Conference on Techniques from Logic in Mathematics

TU Wien, Vienna, Austria — 7/Dec/2023


CTLM 2023 is aimed to enhance the engagement between domestic researchers/students and external researchers working in connections between logic and other areas of mathematics.



Given the limited seating capacity of the lecture room, we kindly request you to register beforehand using the google form from the conference website. There is no registration fee!

If you wish to give a contributed talk, you can also submit your presentation proposal (the title and abstract of your talk) via the same google form. The deadline for submission is 7/Nov/2023.

Due to the limited schedule, there might be a selection of presentation proposals by the scientific committee. The result will be announced by 23/Nov/2023.



Julia Wolf (University of Cambridge, UK)

Ulrich Kohlenbach (TU Darmstadt, Germany)



Stefan Hetzl (TU Wien, Austria)

Michael Pinsker (TU Wien, Austria)

Mihai Prunescu (IMAR, Romania)


If you have any questions, please contact Lorenzo Sauras-Altuzarra (ta.cigolnull@oznerol).

Comments are closed.