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

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