Mihaela Rozman
Talks at IJCAI-ECAI-18
Talks being given as part of IJCAI-ECAI-18 from the groups around VCLA
Report on the second SYSMICS workshop: Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake (TU Wien) prepared the report on the second workshop within the project SYSMICS (Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics) for the ACM SIGLOG News vol. 5, Issue 2.…
Iyad Kanj
Markus Endres
Fully Funded PhD Positions in LogiCS Doctoral College
NEW: Applications will be screened on the following date: September 1, 2018.
Jeremy Liang An Kong, Outstanding Master Thesis in Computer Science
Computer systems and automation are performing more and more important functions