Logic List Mailing Archive

CfP: Zagreb Logic Conference 2024, 12-15 January 2024, Zagreb (Croatia)

We would like to invite you to submit your articles to the Zagreb Logic Con
ference 2024 (ZLC24). This is the second (expanded) installment of the conf
erence, which was first held in January 2023 on the occasion of World Logic
 Day. Honoring World Logic Day is still an important aspect of the conferen
ce, which will be held from January 12 to January 15, 2024.

The conference will be held at the Department of Mathematics at the Univers
ity of Zagreb, exclusively in person. Talks will be allocated slots of 30 m
inutes, plus 10 minutes for discussion.

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

The abstract submission deadline is December 1, 2023.
The registration deadline is December 31, 2023.

For more details visit the conference webpage at https://sites.google.com/v

Best Regards.
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php