ÖCG Public Lecture: Intelligent Mobility (German)

Wednesday, November 28, 2018 at 18:00 s.t.

Talks at the Federated Logic Conference – FLoC 2018 and affiliated events

Talks being given as part of FLoC 2018 by the faculty and PhD candidates of the FWF-funded doctoral college Logical Methods in Computer Science – LogiCS are sorted by the title of the paper.

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564

 

Jens […]

11th Day of Informatics 2018 (11. Informatiktag)

Thursday, September 27, 2018 at 9:00-17:00

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