============================================================== 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. Please note that CSL has moved from its former August/September slot and that CSL 2020 is the first conference in the series that takes place in January. ## 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 . Note the early registration deadline: THURSDAY, DECEMBER 5, 2019. For any questions please contact Albert Atserias (atserias at-sign cs.upc.edu) or Juan Carlos Martínez (jcmartinez at-sign ub.edu). ==============================================================