SCAN 2023: Call for Submissions

[Stanislav Speranski]

Dear FOMers,

There will be a workshop in Moscow on *June 13-16*, called *Semantical and
Computational Aspects of Non-Classical Logics 2023 (SCAN 2023)*.
Its programme will comprise several keynote talks and around fifteen
contributed talks. For the latter a call for submissions is organized:

https://scan2023.mi-ras.ru/submissions.html

Please find more details below.

%%%

*Semantical and Computational Aspects of Non-Classical Logics (SCAN 2023)*
Steklov Mathematical Institute, Moscow, June 13-16, 2023.
https://scan2023.mi-ras.ru/

SYNOPSIS

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.

SUBMISSIONS

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

Deadline for Submissions: March 20, 2023
Notification of Acceptance: March 31, 2023
Workshop: June 13-16, 2023

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)
Valeri Plisko (Lomonosov Moscow State University, Russia)
Dmitry Shkatov (University of the Witwatersrand, South Africa), TBC

PROGRAMME 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

ORGANISING COMMITTEE

Stepan Kuznetsov
Stanislav Speranski

CONTACT

scan2023 at mi-ras.ru

%%%

Best,
Stanislav
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230207/04e85eec/attachment-0001.html>