The Coq mailing list

["Manea, Florin" <florin.manea AT informatik.uni-goettingen.de>]

==Apologies for cross-posting==

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

Second call for papers (CSL'22)

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

News: 
Invited speakers announced, Helena-Rasiowa-Award, website open, submission 
site open, colocated events

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

It 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. 

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. 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.


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 2022: Logic Mentoring Workshop
---------
LMW 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 includes talks and panel sessions from 
leaders in the subject.

Contact:
--------

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