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.
The workshop “Substructural logics: semantics, proof theory, and applications” was held in Vienna at the Faculty […]
Research Workshop on Confluent Graphs
Sunday, July 15, 2018 – Friday, July 20, 2018
Jeremy Liang An Kong, Outstanding Master Thesis in Computer Science
Computer systems and automation are performing more and more important functions
VCLA International Student Awards at FLoC with Dana Scott
Saturday, July 14, 2018 at 14:00 s.t.
LogicLounge with Toby Walsh: Living with Artificial Intelligence – How to stay Human
Thursday, September 20, 2018 at 18:00
Kinderuni 2018: Wie denkt ein Computer?
Monday, July 9, 2018 at 9:00
Deadline for the Funded PhD positions with LogiCS Doctoral College
Saturday, June 30, 2018
Deadline for Applications: Helmut Veith Stipend for Female Master´s Students in CS
Friday, November 30, 2018
Die Preisverleihung: Jugend-Video-Wettbewerb „Algorithmen in 60 Sekunden“
Thursday, June 28, 2018 at 13:00 s.t.
Call for Nominations: SIGLOG/VCLA Travel Award for WiL 2018
Wednesday, June 13, 2018
