Pauli Symposium: How Many Mathematics ?!

Friday, September 14, 2018 at 15:00 s.t.

Fully funded PhDs: Logical Methods in Computer Science – LogiCS

Logic in Austria

PATAT 2018 – Automated timetabling and scheduling

This has been the 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2018) at TU Wien,

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.

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