CSL 2017 Affiliated Workshops, August 16-19 and 25
The following CSL-affiliated workshops will be held as co-located events on August 16-19 and 25:
Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017 .
Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2017 .
Workshop on Logic and Automata Theory in memory of Zoltan Esik .
- Stockholm University, Department of Mathematics and Department of Philosophy
- KTH Royal Institute of Technology