Search a Conference through our dedicated search page

CSL 2020 — Computer Science Logic

13th January 2020   -   16th January 2020
Barcelona, Spain
http://www.cs.upc.edu/csl2020/index.html
Save

Abstract

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.