Logic in Computer Science (GEWINN InfoDay 2018)

Wednesday, November 14, 2018

Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS

Deadline: November 30, 2018: Motivated female students in the field of computer science (CS) who plan to pursue (or pursue) one of the master‘s programs in Computer Science

Ö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

Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics (Report on the second SYSMICS workshop)

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 […]