Logic List Mailing Archive

CfPart: CSL 2021, Virtual

25-28 Jan 2021

The European Association for Computer Science Logic invites
you to participate in the 2021 edition of CSL, which will be held online
from Mon Jan  25 to Thu Jan 28, 2021, organised by the Faculty of
Mathematics and Physics at the University of Ljubljana

# The Conference

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an
interdisciplinary conference spanning both basic and
application-oriented research in mathematical logic and computer
science. CSL 2021 will be the 29th edition in the series. CSL moved away
from its former August/September slot in 2020. CSL 2021 is the second
conference in the series that takes place in January.

## Invited Speakers

- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland

## Programme

Thirty-four contributed papers have been  selected for presentation at CSL 
2021; see the
[list of accepted papers](https://csl2021.fmf.uni-lj.si/accepted-papers/)

## Registration

To register, please follow the link and information provided on the
[CSL website](https://csl2021.fmf.uni-lj.si)

The registration deadlines are:
- *14th December 2020*: deadline for speaker registration. At least one author 
of every contributed paper must register as a speaker.
- *11th January 2021*: deadline for non-speaker registration. All participants 
must register. Note that student non-speaker registration is free of charge.

If you have any questions, please contact the local organisers 
<csl2021@fmf.uni-lj.si>.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam