Women in Logic 2019
The 3rd Women in Logic Workshop supported by SIGLOG and VCLA
How to design a perfect subway map?
2nd Schematic Mapping Workshop took place at TU Wien
Helmut-Veith-Memorial Workshop 2019
Logicians meet in the midst of the Austrian Alps
Laura Kovacs awarded ERC´s Proof of Concept Grant
From a research project to a software startup in Austria
Thomas Eiter and Peter Schüller part of “Artificial Intelligence for the European Union – AI4EU”
The pan-European project funded with €20 million connecting 79 partners from 21 countries
“Algorithms in 60 Seconds” nominated for the eAward 2019
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
Eduard Eiben awarded with the national “Award of Excellence”
Alumnus of the LogiCS doctoral college funded by the FWF
Artificial Intelligence: Between the second Renaissance and the Terminator
Prof. Toby Walsh at the LogicLounge discussion in Vienna
Stefan Woltran elected EurAI-Fellow
European Association for Artificial Intelligence – EurAI recognition
Latest Talks
(» further talks)Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Monday, June 24, 2019 at 16:00 c.t.
Daniel Le Berre
Recursive Explore and Check Abstraction Refinement (RECAR)
Tuesday, June 18, 2019 at 14:00 c.t.
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Monday, June 17, 2019 at 10:00 c.t.
Arnaud Durand
Introduction to dependence logic and team semantics
Friday, June 7, 2019 at 15:00 c.t.
Colin Toal
Developing software and ML models at IBM, Amazon and integrate.ai
Thursday, May 23, 2019 at 16:00 c.t.
