Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

26th EACSL Annual Conference on Computer Science Logic CSL'2017

CSL2017 satelite workshops

The following CSL-affiliated workshops will be held as co-located events on August 25 and 26:

  • Workshop on Logical Aspects of Multi-Agent Systems LAMAS2017 (August 25, website),
  • Workshop on Logic and Automata Theory (in memory of Zoltan Esik) (August 25),
  • Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017 (August 16-19, website).