ESSLLI 2023 Workshop on First-order Modal and Temporal Logics

ESSLLI 2023 workshop on

First-order Modal and Temporal Logics:

State of the art and perspectives

Affiliated with the 34th European Summer School in Logic, Language and Information ESSLLI 2023

Ljubljana, Slovenia, 7-11 August, 2023

Workshop scope and topics Call for submissions Invited Speakers Programme Committee Call for submissions Important dates Workshop programme Queries

Last update: 14/04/2023, 09.00 GMT

Not a final version! Updates will be made before and during the workshop.

Organizers: Valentin Goranko and Dmitry Shkatov

Important dates:

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

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.

Call for submissions:

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.

Invited Speakers:

Bahareh Afshari (Gothenburg)

Melvin Fitting (New York)

Robert Goldblatt (Wellington) (on Zoom, to be confirmed)

Valentin Shehtman (ESSLLI)

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

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)

Workshop programme

TBA

Queries

If you have any queries, send us email at fomtl2023_at_gmail.com.