LogicLounge with Eva Galperin: Spouseware and Stalkerware
Monday, July 15, 2019 at 5pm
Women in Logic 2019
The 3rd Women in Logic Workshop supported by SIGLOG and VCLA
Helmut-Veith-Memorial Workshop 2019
Logicians meet in the midst of the Austrian Alps
2nd Workshop on New Trends in Formal Argumentation
Tuesday, April 30, 2019
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
2nd Schematic Mapping Workshop
Thursday, April 11, 2019 – Friday, April 12, 2019
“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
Latest Talks
(» further talks)Olivia Erdélyi
Why Bother With Regulation and Ethics? We Just Develop the Technology…
Tuesday, June 25, 2019 at 13:00 c.t.
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.
