There are a great many of various non-classical logics, which are applied in the foundations of mathematics, computer science, linguistics and philosophy. They may be given by means of semantics, and one and the same logic may have different semantics, each of which emphasizes some intuition behind the logic and its applications. Naturally, with every logic we can associate a number of decision problems, such as those of validity, satisfiability, etc. These problems may be algorithmically decidable or undecidable, and one may further examine their degrees of decidability (say, using polynomial-time reducibility) or undecidability (say, in terms of many-one degrees). On the other hand, some logical calculi can be used to characterize certain complexity classes.

The workshop Semantical and Computational Aspects of Non-Classical Logics 2023 (SCAN 2023) is devoted to the semantical and computational aspects of non-classical logics. It aims at providing early career scientists and experienced researchers with an opportunity to present their work and to discuss related open problems. The programme will comprise several keynote talks and around fifteen contributed talks. For the latter this call for submissions is organized.

SCAN 2023 will be held at Steklov Mathematical Institute in Moscow. Online participation will also be possible.

More information is avaliable at SCAN's webpage: https://scan2023.mi-ras.ru/

Submission Guidelines

Those who wish to present their work at SCAN 2023 are invited to prepare an extended abstract using the Preferred Template: https://scan2023.mi-ras.ru/files/example.tex and submit it via EasyChair:

https://easychair.org/conferences/?conf=scan2023

Each abstract must be at least 2 pages and at most 3 pages long, excluding references. The submissions will be subject to light review by the Programme Committee. Though there will be no formally published proceedings, an electronic book of abstracts will be available online before the event.

Important Dates

• Submission deadline: March 20, 2023 March 31, 2023 (extended), AoE
• Notification: March 31, 2023 April 10, 2023

Committees

Program Committee

• Sergei Artemov (City University of New York, USA)
• Max Kanovich (University College London, UK)
• Stepan Kuznetsov (Steklov Mathematical Institute of RAS, Russia), co-chair
• Sergei Odintsov (Sobolev Institute of Mathematics of SB RAS, Russia)
• Valentin Shehtman (Institute for Information Transmission Problems of RAS, Russia)
• Stanislav Speranski (Steklov Mathematical Institute of RAS, Russia), co-chair

Organizing committee

• Stepan Kuznetsov
• Stanislav Speranski

Keynote Speakers

• Arnon Avron (Tel Aviv University, Israel)
• Walter Carnielli (State University of Campinas, Brazil)
• Silvia Ghilezan (University of Novi Sad & Mathematical Institute SANU, Serbia)
• Thomas Icard (Stanford University, USA)
• Valeri Plisko (Lomonosov Moscow State University, Russia)

Venue

The conference will be held at Steklov Mathematical Institute in Moscow. Online participation will also be possible.

Contact

All questions about submissions should be emailed to scan2023@mi-ras.ru.