Viðburðir eftir árum


Liðnir viðburðir

20.6.2017 - 23.6.2017 8:00 - 17:00 Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 20–23 June 2017

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. 

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. 

 

19.6.2017 8:00 - 17:00 Women in Logic (WiL) Workshop19th June 2017

Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)

Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)

 

19.6.2017 8:00 - 17:00 Workshop “Learning and Automata” (LearnAut)

Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)

Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)

 

19.6.2017 8:00 - 17:00 LOLA 2017: Syntax and Semantics of Low-Level Languages

Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)

Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)