Logic in Computer Science (GEWINN InfoDay 2018)
![](https://www.vcla.at/wp-content/uploads/2018/10/Logik_VCLA_TUWIEN.png)
Wednesday, November 14, 2018
Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS
![](https://www.vcla.at/wp-content/uploads/2018/05/VCLA-Helmut-Veith-Stipend.jpg)
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
![](https://www.vcla.at/wp-content/uploads/2017/11/ALGO-2017_by_Nadja-Meister_IMG_3320.jpg)
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
![](https://www.vcla.at/wp-content/uploads/2018/09/Final-Deadline.jpg)
Logic in Austria
PATAT 2018 – Automated timetabling and scheduling
![](https://www.vcla.at/wp-content/uploads/2018/08/PATAT_2018_30_Aug-222.jpg)
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
![](https://www.vcla.at/wp-content/uploads/2018/08/41938541270_bd050cb61e_o.jpg)
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 […]