Last update: 14/04/2023, 09.00 GMT
EXTENDED deadline for submission of abstracts: April 23
Final decision and notification: May 19
Deadline for registration at the workshop: June 30
Workshop: August 7-11
Topics of interest include, but are not limited to the following for first-order modal and temporal logics:
We invite submissions of extended abstracts (2 to 4 pages long) on recent or ongoing research in the scope of the workshop. The submissions should be in PDF format, preferably prepared with LaTeX, and must be done via EasyChair page.
Bahareh Afshari (Gothenburg)
Melvin Fitting (New York)
Robert Goldblatt (Wellington) (on Zoom, to be confirmed)
Valentin Shehtman (ESSLLI)
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)
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)
TBA
If you have any queries, send us email at fomtl2023_at_gmail.com.