Talks

We regularly host talks in the RiSE seminar and VCLA talks series. The following table summarizes the latest talks in each series – for detailed information or previous talks, please follow the links to the respective websites.

Logo ARiSEVCLA Logo

Hans van DitmarschReasoning about GossipWed, May 25 at 17:00Seminarraum FAV EG C…details
Manfred Scheucher (TU Berlin)A brief introduction to Combinatorial GeometryTue, Apr 05 at 17:00FAV 02 (HH EG 03, Fa…details
Georg GottlobKnowledge Processing, Logic, and the Future of AIThu, Jan 14 at 17:00Online (Vienna)details
Torsten SchaubDynamic Answer Set ProgrammingFri, Dec 13 at 14:15Seminarraum FAV 01 C…details
Joost-Pieter Katoen Probabilistic Programming: Machine Learning for the Masses?Wed, Dec 04 at 10:30Kontaktraum, Gußhau…details
Thu, Jan 01details
Lutz StrassburgerCombinatorial Proofs and Decomposition Theorems for First-order LogicThu, Jan 01details
Hans van DitmarschOne Hundred Prisoners and a Light BulbThu, Jan 01Seminarraum FAV 01, …details
Joscha BachCognitive AI: From AI models to mental representations?Thu, Jan 01Virtual details
Cory DoctorowWorking as Intended -- Surveillance Capitalism is not a Rogue CapitalismThu, Jan 01VIRTUAL details

Latest News

CAV 2013 in St. Petersburg!

Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.  

Continue reading

Full news archive