CSL 2020, January 13 – 16 Barcelona

CSL 2020 will be the 28th edition in the series of Computer Science Logic (CSL), the annual conference of the European Association for Computer Science Logic (EACSL). The conference will take place in the historical building of the University of Barcelona, located in Plaça Universitat, in downtown Barcelona.