SCAN 2023: Call for Submissions

[Stanislav Speranski]

Dear FOMers,

Following up the *SCAN 2023 announcement*, it should be noted that *online
participation (via Zoom)* will also be possible. This applies to both
participants without talks and those who wish to present their work at SCAN
2023:

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

Best wishes,
Stanislav,
on behalf of the Organisers


On Tue, 7 Feb 2023 at 16:48, Stanislav Speranski <katze.tail at gmail.com>
wrote:

> 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/20230208/f7119e81/attachment.html>