[DMANET] CSL 2022: Last call for papers

=====================================

Last call for papers CSL'22

=====================================
News and updates:
Deadlines approaching: abstract submission -- 5.7 (in one week), Paper submission -- 12.7.
Updated information on submission guidelines, Helena Rasiowa award, and collocated events.
=====================================

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.

CSL is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. A final decision on the format of the conference will be reached and announced in September 2021.

Website: http://csl2022.uni-goettingen.de/

Invited speakers:
-----------------

Annabelle McIver Macquarie (University, Sydney, Australia)
Udi Boker (IDC Herzliya, Israel)
Martin Escardo (University of Birmingham, UK)
Rosalie Iemhoff (Utrecht University, The Netherlands)
Karen Lange (Wellesley College, USA)


Submission guidelines:
----------------------

Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.

The CSL 2022 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors.

Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Proofs omitted due to space constraints should be put into an appendix, to be read by the program committee members at their discretion.

Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.

Papers authored or co-authored by members of the PC are not allowed.

At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers.

Submissions should be made via easychair: https://easychair.org/conferences/?conf=csl2022


Helena-Rasiowa-Award:
---------------------

The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022.

The award will be given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors. A student in this context is any person who is currently studying for a degree or whose PhD award date is less than one year prior to the first day of the conference.

Read more about the contribution of Helena Rasiowa to logic and computer science, and their interplay, here: https://www.eacsl.org/?page_id=1104

At submission, the authors should clearly indicate if their paper is eligible for this award.

Important dates:
----------------

Abstract submission: July 5, 2021 (AoE),
Paper submission: July 12, 2021 (AoE),
Notification: September 30, 2021,
Conference: February 14-19, 2022

List of topics:
---------------

automated deduction and interactive theorem proving
constructive mathematics and type theory
equational logic and term rewriting
automata and games, game semantics
modal and temporal logic
model checking
decision procedures
logical aspects of computational complexity
finite model theory
computability
computational proof theory
logic programming and constraints
lambda calculus and combinatory logic
domain theory
categorical logic and topological semantics
database theory
specification, extraction and transformation of programs
logical aspects of quantum computing
logical foundations of programming paradigms
verification and program analysis
linear logic
higher-order logic
nonmonotonic reasoning

Program Committee:
------------------

Thorsten Altenkirch (Nottingham, UK)
Benedikt Bollig (Cachan, France)
Agata Ciabattoni (Vienna, Austria)
Liron Cohen (Ben-Gurion University, Israel)
Anupam Das (Birmingham, UK)
Claudia Faggian (Paris, France)
Francesco Gavazzo (Bologna, Italy)
Stefan Göller (Kassel, Germany)
Willem Heijltjes (Bath, UK)
Sandra Kiefer (Aachen, Germany)
Emanuel Kieronski (Wroclaw, Poland)
Bartek Klin (Warsaw, Poland)
Juha Kontinen (Helsinki, Finland)
Anthony Lin (Kaiserslautern, Germany)
Karoliina Lehtinen (Marseille, France)
Florin Manea (Göttingen, Germany, co-chair)
Fredrik Nordvall Forsberg (Strathclyde, UK)
Liat Peterfreund (Paris, France and Edinburgh, UK)
Daniela Petrisan (Paris, France)
Karin Quaas (Lepizig)
Alex Simpson (Ljubljana, Slovenia, co-chair)
Pawel Sobocinski (Tallin, Estonia)
Anna Sokolova (Salzburg, Austria)
Linda Brown Westrick (Connecticut, US)

Organization Committee:
-----------------------

Fundamentals of Computer Science Group - University of Göttingen, Germany.

Colocated events:
-----------------

LCC 2022: Logic and Computational Complexity
---------
Meetings of the workshop "Logic and Computational Complexity" are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2022 will be the 23rd workshop in the series, see https://www.cs.swansea.ac.uk/lcc/. The program will consist of invited lectures as well as contributed papers selected by the Program Committee.

LMW@CSL: Logic Mentoring Workshop
---------
The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject. Building on successful LMW editions from past years, its first winter edition will be collocated with CSL 2022.
Website: https://lmw.mpi-sws.org/csl/

Contact:
--------

Please send all questions about submissions to the PC co-chairs:
csl2022@easychair.org

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************