Logic List Mailing Archive

CfPart: CSL 2020

13-16 Jan 2020
Barcelona, Spain

==============================================================
Call for Participation
==============================================================
Computer Science Logic 2020
Barcelona, Catalonia, Spain
January 13 - 16, 2020

http://www.cs.upc.edu/csl2020
==============================================================

The European Association for Computer Science Logic, the department of
Computer Science of the Universitat Politècnica de Catalunya, and the
Institut de Matemàtiques de la Universitat de Barcelona kindly invite
you to participate in the 2020 edition of CSL that will be held in
Barcelona from Mon Jan 13 to Thu Jan 16, 2020.

# 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 across both basic and
application oriented research in mathematical logic and computer
science. CSL 2020 will be the 28th edition in the series. For the
first time in the series, the conference will be held in the month of
January. It is expected that the succeeding conferences in the series
will also be held in the begining of the natural year.

## Invited Speakers

Véronique Cortier, LORIA, France
Anuj Dawar, University of Cambridge, UK
Artur Je?, University of Wroclaw, Poland
Delia Kesner, University Paris Diderot, France
Iddo Tzameret, Royal Holloway, UK

## Programme

Thirty-two contributions were selected for presentation at CSL 2020. A
full list is available at http://www.cs.upc.edu/csl2020/program.html .

## Registration

To register, please follow the link and information provided on the
CSL website http://www.cs.upc.edu/csl2020/registration.html .

For any questions please contact Albert Atserias (atserias at-sign
cs.upc.edu) or Juan Carlos Martínez (jcmartinez at-sign ub.edu).

==============================================================
--
[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