Deadline: Helmut Veith Stipend for Women in Computer Science 2019
Deadline: November 30, 2019: Motivated female students in the field of computer science who plan to pursue (or are pursuing) one of the master‘s programs in Computer Science
“Algorithms in 60 Seconds” nominated for the eAward 2019
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
Moshe Vardi and Hans Akkermans: How the Hippies Destroyed the Internet
Hans Akkermans (VU Amsterdam), Moshe Vardi (Rice University)
The debate with the members of the audience.
The organizer of the debate Hannes Wertner (middle), with H. Akkermans and M. Vardi, and the members of the VCLA board, and the Faculty of Informatics international advisory board.
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)
Modern technologies and innovations make important contributions to the design of intelligent mobility and open up great economic opportunities in the transport technology sector. In one of the current projects of Prof. Günther Raidl, new approaches are being explored, in which potential users are to be involved in the planning and optimization of the transport system. […]
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 […]
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 […]
