CFP
FOMTL 2023: ESSLLI 2023 Workshop on First-order Modal and Temporal Logics University of Ljubljana Ljubljana, Slovenia, August 7-11, 2023 |
| Conference website | https://dshkatov.github.io/fomtl2023/ |
| Submission link | https://easychair.org/conferences/?conf=fomtl2023 |
| Submission deadline | April 23, 2023 |
Topics: first order modal logics first order temporal logics predicate modal logic predicate temporal logic
The workshop is intended to bring together active researchers in the areas of first-order modal and temporal logics and graduate students interested in these areas, to discuss the state of the art and the most important directions and perspectives for future developments in the areas.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Extended abstracts (2--4 pages) describing recent or ongoing research.
List of Topics
- languages, models, and semantics;
- proof theory, deductive systems, and completeness/incompleteness results;
- decidability, undecidability, complexity;
- problems and applications in philosophy, mathematics, computer science and artificial intelligence.
Committees
Program Committee
- Natasha Alechina (Utrecht University)
- Torben Braüner (Roskilde University)
- Serenella Cerrito (Université d'Evry Val d'Essonne)
- Michael Fisher (University of Manchester)
- Silvio Ghilardi (University of Milan)
- Marianna Girlando (University of Amsterdam)
- Valentin Goranko (Stockholm University), co-chair
- Thomas Müller (University of Konstanz)
- Sara Negri (University of Genoa)
- Ram Ramanujam (Institute of Mathematical Sciences, Chennai)
- Dmitry Shkatov (University of the Witwatersrand, Johannesburg), co-chair
- Renate A. Schmidt (University of Manchester)
- Yaroslav Shramko (Kryvyi Rih State Pedagogical University)
- Yanjing Wang (Peking University)
- Michael Zakharyaschev (Birkbeck College, University of London)
Organizing committee
- Valentin Goranko (Stockholm University)
- Dmitry Shkatov (University of the Witwatersrand, Johannesburg)
Invited Speakers
- Bahareh Afshari (Gothenburg)
- Melvin Fitting (New York)
- Robert Goldblatt (Wellington) (online, to be confirmed)
- Valentin Shehtman (ESSLLI)
Venue
The workshop will be held during the second week of 34th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION, August 7--11, 2023, at the University of Ljubljana.
Contact
fomtl2023_at_gmail.com