14 - 17 February 2025, Zagreb Logic Conference 2025, Zagreb, Croatia
The Zagreb Logic Conference is an event that gathers researchers from the discipline of logic and various connected fields. 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).
We would like to invite you to submit your abstracts to the Zagreb Logic Conference 2025 (ZLC25).
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.