Logic List Mailing Archive

CfP: Zagreb Logic Conference 2025, February 14-17, Zagreb (Croatia)

We would like to invite you to submit your abstracts to the Zagreb Logic 
Conference 2025 (ZLC25). This is the third installment of the conference, 
which was first held in January 2023 on the occasion of World Logic Day. 
The conference will be held from February 14 to February 17, 2025, 
at the Department of Mathematics, University of Zagreb, and will be 
held exclusively in person.
Each talk will be allocated a slot of 25 minutes, plus an additional 
5 minutes for discussion.

Invited speakers:
Patricia Blanchette (University of Notre Dame)
Murdoch James Gabbay (Heriot-Watt University)

Topics of interest include:
- history of logic
- philosophy of logic
- higher-order logic
- model theory
- set theory
- proof theory
- modal logic
- computability and complexity
- logic in computer science

Important dates:
Abstract Submission Deadline: January 1, 2025.
Registration Deadline: February 7, 2025.

For more information visit the conference webpage at
https://sites.google.com/view/zlc25/home,

Sincerely,
Adlei