[Event at CIG] Final call for submissions: FOMTL 2023

[Dmitry Shkatov]

FOMTL 2023: FINAL CALL FOR SUBMISSIONS

ESSLLI 2023 WORKSHOP on
First-order Modal and Temporal Logics: State of the art and
perspectives  (FOMTL 2023)
Ljubljana, Slovenia, 7-11 August, 2023

Workshop within the 34th European Summer School in Logic, Language and
Information ESSLLI 2023
Ljubljana, Slovenia, 31 July - 11 August, 2023, https://2023.esslli.eu


The workshop will comprise five 90-min sessions, one per day, with
invited and contributed talks. It 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.


Workshop scope and topics:

Topics of interest include, but are not limited to the following for
first-order modal and temporal logics:
- 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.


Submission instructions:

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:
https://easychair.org/conferences/?conf=fomtl2023


Invited Speakers:

Bahareh Afshari (Gothenburg)
Melvin Fitting (New York)
Robert Goldblatt (Wellington) (on Zoom, to be confirmed)
Valentin Shehtman (ESSLLI)


Workshop 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)


Important dates:

Deadline for submission of abstracts: April 16
Final decision and notification: May 16
Deadline for registration at the workshop: June 30
Workshop: August 7-11


Registration and local arrangements:

 All workshop participants, including the presenters, will be required
to register for ESSLLI 2023.
Further details and instructions on the registration will be posted in
due time on the school website:
https://2023.esslli.eu

Dmitry Shkatov | Associate Professor
School of Computer Science and Applied Mathematics | University of the Witwatersrand, Johannesburg | Mathematical Sciences Building, Office 105

This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorised signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.