BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Vienna Center for Logic and Algorithms//NONSGML Events //EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Vienna Center for Logic and Algorithms
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
DTSTART:19810329T020000
TZNAME:MESZ
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
DTSTART:19961027T030000
TZNAME:MEZ
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:0b5e33a3957cfb51753e5521850e9c5b@forsyteICS
DTSTART;TZID=Europe/Vienna:20250205T160000
DTEND;TZID=Europe/Vienna:20250205T170000
LOCATION:Online via Zoom - link for registration below
SUMMARY:Women in Logic Online – Talk with Elaine Pimentel
DESCRIPTION:Classical versus Constructive: An Ecumenical Approach\n\nWednesday, February 5, 2025 at 16:00
URL;VALUE=URI:https://www.vcla.at/2026/01/women-in-logic-online-talk-with-elaine-pimentel/
END:VEVENT
BEGIN:VEVENT
UID:1679cc532b1cc590e6e7f70d58fd838f@forsyteICS
DTSTART;TZID=Europe/Vienna:20251204T153000
DTEND;TZID=Europe/Vienna:20251204T170000
LOCATION:Luftpavillon, Karlsplatz 13, Hof 2
SUMMARY:LogicLounge 2025 with Hartmut Neven
DESCRIPTION:What Happens When Computers Go Quantum?\n\nThursday, December 4, 2025 at 15:30
URL;VALUE=URI:https://www.vcla.at/2025/11/logiclounge-2025-with-hartmut-neven/
END:VEVENT
BEGIN:VEVENT
UID:e7f0b1bcb76d4de115f000b4f84e0293@forsyteICS
DTSTART;TZID=Europe/Vienna:20250916T173000
DTEND;TZID=Europe/Vienna:20250916T183000
LOCATION:Online via Zoom
SUMMARY:Women in Logic Online – Talk with Nina Gierasimczuk
DESCRIPTION:Learning and Belief Revision: an Overview\n\nTuesday, September 16, 2025 at 17:30
URL;VALUE=URI:https://www.vcla.at/2025/08/women-in-logic-online-talk-with-nina-gierasimczuk/
END:VEVENT
BEGIN:VEVENT
UID:8f8754ec6bac765ba80a0edb034ea401@forsyteICS
DTSTART;TZID=Europe/Vienna:20250611T160000
DTEND;TZID=Europe/Vienna:20250611T170000
LOCATION:Gußhausstraße 27-29, Seminar Room 127 (third floor)
SUMMARY:Talk by Malvin Gattinger: Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean
DESCRIPTION:Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean\n\nWednesday, June 11, 2025 at 16:00
URL;VALUE=URI:https://www.vcla.at/2025/06/talk-by-malvin-gattinger/
END:VEVENT
BEGIN:VEVENT
UID:55d40fc0423cd9483300dec9bad2abe8@forsyteICS
DTSTART;TZID=Europe/Vienna:20250623T170000
DTEND;TZID=Europe/Vienna:20250623T180000
LOCATION:Online via Zoom
SUMMARY:Women in Logic Online – Talk with Sara Negri
DESCRIPTION:Axioms as rules in intuitionistic logic\n\nMonday, June 23, 2025 at 17:00
URL;VALUE=URI:https://www.vcla.at/2025/05/women-in-logic-online-talk-with-sara-negri/
END:VEVENT
BEGIN:VEVENT
UID:ec2fdf55482d774128d40557f2b16649@forsyteICS
DTSTART;TZID=Europe/Vienna:20250319T170000
DTEND;TZID=Europe/Vienna:20250319T180000
LOCATION:Online via Zoom
SUMMARY:Women in Logic Online – Talk with Sonja Smets
DESCRIPTION:Logic and Computation of Social Behavior\n\nWednesday, March 19, 2025 at 17:00
URL;VALUE=URI:https://www.vcla.at/2025/03/women-in-logic-online-talk-with-sonja-smets/
END:VEVENT
BEGIN:VEVENT
UID:e7c6c228aece4ff084fd54eb13fcc91f@forsyteICS
DTSTART;TZID=Europe/Vienna:20250227T170000
DTEND;TZID=Europe/Vienna:20250227T180000
LOCATION:Favoritenstrasse 9-11, FAV Lecture Hall 2 (ground floor)
SUMMARY:Talk by Guillermo Badia: Codd’s Theorem for Databases over Semirings
DESCRIPTION:Codd’s Theorem for Databases over Semirings\n\nThursday, February 27, 2025 at 17:00
URL;VALUE=URI:https://www.vcla.at/2025/02/talk-by-guillermo-badia-2/
END:VEVENT
BEGIN:VEVENT
UID:0307b214f0382ef69c2a8dec1b420b82@forsyteICS
DTSTART;TZID=Europe/Vienna:20250124T170000
DTEND;TZID=Europe/Vienna:20250124T180000
LOCATION:Online via Zoom
SUMMARY:Women in Logic Online – Talk with Francesca Poggiolesi
DESCRIPTION:Explanatory Proofs: From Logic to Mathematics\n\nFriday, January 24, 2025 at 17:00
URL;VALUE=URI:https://www.vcla.at/2025/01/women-in-logic-online-talk-with-francesca-poggiolesi/
END:VEVENT
BEGIN:VEVENT
UID:f2f11d38cf869103dba1193c0115a021@forsyteICS
DTSTART;TZID=Europe/Vienna:20250114T170000
DTEND;TZID=Europe/Vienna:20250114T180000
LOCATION:zoom and youtube
SUMMARY:World Logic Day Lecture: Joao Marques-Silva
DESCRIPTION:Trustable Explainable AI -- A Redemption by Logic\n\nTuesday, January 14, 2025 at 17:00
URL;VALUE=URI:https://www.vcla.at/2024/12/world-logic-day-lecture-joao-marques-silva/
END:VEVENT
BEGIN:VEVENT
UID:2e62474b2e34a4bec6e6f56499e204dd@forsyteICS
DTSTART;TZID=Europe/Vienna:20241209T143000
DTEND;TZID=Europe/Vienna:20241209T153000
LOCATION:Favoritenstrasse 9-11, Seminar Room FAV 3 Zemanek
SUMMARY:Talk by Ken Satoh: NL interface of PROLEG system and extracting normative sentences from German traffic judgements
DESCRIPTION:NL interface of PROLEG system and extracting normative sentences from German traffic judgements\n\nMonday, December 9, 2024 at 14:30
URL;VALUE=URI:https://www.vcla.at/2024/11/talk-by-ken-satoh/
END:VEVENT
BEGIN:VEVENT
UID:1435b1118c6689510b8afa110be23a2a@forsyteICS
DTSTART;TZID=Europe/Vienna:20241204T163000
DTEND;TZID=Europe/Vienna:20241204T173000
LOCATION:Favoritenstrasse 9, Seminar Room FAV EG B (von Neumann)
SUMMARY:Talk by Hanoch Ben-Yami: The Quantified Argument Calculus
DESCRIPTION:The Quantified Argument Calculus: Introduction and Research Directions\n\nWednesday, December 4, 2024 at 16:30
URL;VALUE=URI:https://www.vcla.at/2024/11/talk-by-hanoch-ben-yami/
END:VEVENT
BEGIN:VEVENT
UID:35492ed240d45fd999d26aca6145f0ee@forsyteICS
DTSTART;TZID=Europe/Vienna:20241125T170000
DTEND;TZID=Europe/Vienna:20241125T180000
LOCATION:Online via Zoom (see link for registration below)
SUMMARY:Women in Logic Online – Talk Announcement
DESCRIPTION:Automating Game Reasoning in Blockchain Security\n\nMonday, November 25, 2024 at 17:00
URL;VALUE=URI:https://www.vcla.at/2024/10/women-in-logic-online-talk-announcement/
END:VEVENT
BEGIN:VEVENT
UID:782439a764ea206c6219add7a870e93e@forsyteICS
DTSTART;TZID=Europe/Vienna:20241010T160000
DTEND;TZID=Europe/Vienna:20241010T170000
LOCATION:Favoritenstrasse 9-11, Seminar Room Gödel, FAV EG C (ground floor)
SUMMARY:Talk by Jan von Plato: Two Gödelian Topics in Modal Logic
DESCRIPTION:Jan von Plato: Two Gödelian Topics in Modal Logic\n\nThursday, October 10, 2024 at 16:00
URL;VALUE=URI:https://www.vcla.at/2024/10/talk-by-jan-von-plato/
END:VEVENT
BEGIN:VEVENT
UID:b62a02e406fed00124979922e9b66219@forsyteICS
DTSTART;TZID=Europe/Vienna:20241004T160000
DTEND;TZID=Europe/Vienna:20241004T170000
LOCATION:Favoritenstrasse 9-11, Seminar Room von Neumann, FAV EG B (ground floor)
SUMMARY:Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies
DESCRIPTION:Substructural Logics with Minimally True Tautologies\n\nFriday, October 4, 2024 at 16:00
URL;VALUE=URI:https://www.vcla.at/2024/09/talk-by-george-metcalfe/
END:VEVENT
BEGIN:VEVENT
UID:e600d57faaff73a4ab018180258b32e8@forsyteICS
DTSTART;TZID=Europe/Vienna:20240829T150000
DTEND;TZID=Europe/Vienna:20240829T160000
LOCATION:Favoritenstrasse 9-11, Seminar Room FAV 01 A (first floor)
SUMMARY:Talk by Rajeev Gore: CEGAR-Tableaux – Improved Modal Satisfiability via Modal Clause-Learning and SAT
DESCRIPTION:CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT\n\nThursday, August 29, 2024 at 15:00
URL;VALUE=URI:https://www.vcla.at/2024/08/talk-by-rajeev-gore/
END:VEVENT
BEGIN:VEVENT
UID:c8f395dcd72deb6c877e16a9c0459012@forsyteICS
DTSTART;TZID=Europe/Vienna:20240827T110000
DTEND;TZID=Europe/Vienna:20240827T120000
LOCATION:Favoritenstrasse 9-11, Seminar Room FAV 01 A (first floor)
SUMMARY:Talk by Guillermo Badia: Logical Characterizations of Weighted Complexity Classes
DESCRIPTION:Logical Characterizations of Weighted Complexity Classes\n\nTuesday, August 27, 2024 at 11:00
URL;VALUE=URI:https://www.vcla.at/2024/08/talk-by-guillermo-badia/
END:VEVENT
BEGIN:VEVENT
UID:20f7a389b523f405f7d592cb3414cb6f@forsyteICS
DTSTART;TZID=Europe/Vienna:20240605
DTEND;TZID=Europe/Vienna:20240606
LOCATION:Erzherzog-Johannplatz 1, 1040 Vienna, Conference-Room FB02 (2nd floor)
SUMMARY:Talk by David Pearce: Logic, Accountability, and Design
DESCRIPTION:Logic, Accountability, and Design\n\nWednesday, June 5, 2024
URL;VALUE=URI:https://www.vcla.at/2024/06/talk-by-david-pearce-logic-accountability-and-design/
END:VEVENT
BEGIN:VEVENT
UID:db1a252e80f9588cf1652cd9e54d1c3e@forsyteICS
DTSTART;TZID=Europe/Vienna:20240528T160000
DTEND;TZID=Europe/Vienna:20240528T173000
LOCATION:Café Museum, Operngasse 7, Extrazimmer, 1010 Wien
SUMMARY:LogicLounge 2024 with Georg Gottlob
DESCRIPTION:Artificial Intelligence and Artificial Ignorance\n\nTuesday, May 28, 2024 at 16:00
URL;VALUE=URI:https://www.vcla.at/2024/05/logiclounge-2024-with-georg-gottlob/
END:VEVENT
BEGIN:VEVENT
UID:ee632ff3ff498f10575ff5d9a2e477ff@forsyteICS
DTSTART;TZID=Europe/Vienna:20240416T130000
DTEND;TZID=Europe/Vienna:20240416T140000
LOCATION:Favoritenstraße 9-11, Seminar Room Gödel (FAV EG C)
SUMMARY:Talk by Nick Bezhanishvili: Degrees of the Finite Model Property for Superintuitionistic and Modal Logics
DESCRIPTION:Degrees of the Finite Model Property for Superintuitionistic and Modal Logics\n\nTuesday, April 16, 2024 at 13:00 - 14:00
URL;VALUE=URI:https://www.vcla.at/2024/04/talk-by-nick-bezhanishvili/
END:VEVENT
BEGIN:VEVENT
UID:85d0fa899544bf7b494e97ea13d32637@forsyteICS
DTSTART;TZID=Europe/Vienna:20240417T111500
DTEND;TZID=Europe/Vienna:20240417T123000
LOCATION:Treitlstraße 3 (Campus Freihaus), Informatikhörsaal (ground floor)
SUMMARY:Talk by Byron Cook: The Business of Proofs
DESCRIPTION:Business of Proofs\n\nWednesday, April 17, 2024 at 11:15
URL;VALUE=URI:https://www.vcla.at/2024/03/talk-by-byron-cook/
END:VEVENT
BEGIN:VEVENT
UID:22feb94893e3928c7876be49222c6c53@forsyteICS
DTSTART;TZID=Europe/Vienna:20240326T130000
DTEND;TZID=Europe/Vienna:20240326T140000
LOCATION:Favoritenstrasse 9-11, Helmut Veith Lecture Hall (ground floor)
SUMMARY:Talk by Reiner Hähnle: Context-aware Trace Contracts
DESCRIPTION:Context-aware Trace Contracts\n\nTuesday, March 26, 2024 at 13:00
URL;VALUE=URI:https://www.vcla.at/2024/03/talk-by-reiner-hahnle/
END:VEVENT
BEGIN:VEVENT
UID:937db1b30623b17ea80bc4edc45f357f@forsyteICS
DTSTART;TZID=Europe/Vienna:20240228T171500
DTEND;TZID=Europe/Vienna:20240228T180000
LOCATION:Favoritenstrasse 9-11, Helmut Veith Lecture Hall (ground floor)
SUMMARY:Talk by Emiliano Lorini: A Rule-based Modal View of Causal Reasoning
DESCRIPTION:A Rule-based Modal View of Causal Reasoning\n\nWednesday, February 28, 2024 at 17:15
URL;VALUE=URI:https://www.vcla.at/2024/02/talk-lorini/
END:VEVENT
BEGIN:VEVENT
UID:7425503ab3ea46c0ad494f18e004ac10@forsyteICS
DTSTART;TZID=Europe/Vienna:20240320T170000
DTEND;TZID=Europe/Vienna:20240320T180000
LOCATION:Online via Zoom (link for registration below)
SUMMARY:Women in Logic Online (seminar series)
DESCRIPTION:Women in Logic Online - Network Mathematics\n\nWednesday, March 20, 2024 at 17:00
URL;VALUE=URI:https://www.vcla.at/2024/02/women-in-logic-online/
END:VEVENT
BEGIN:VEVENT
UID:50aef5892e472be75888f277ea5940cf@forsyteICS
DTSTART;TZID=Europe/Vienna:20240112T170000
DTEND;TZID=Europe/Vienna:20240112T180000
LOCATION:
SUMMARY:World Logic Day Lecture: Adnan Darwiche
DESCRIPTION:Beyond truth and falsehood: Logic as a Calculus of Events\n\nFriday, January 12, 2024 at 17:00
URL;VALUE=URI:https://www.vcla.at/2023/12/world-logic-day-lecture-adnan-darwiche/
END:VEVENT
BEGIN:VEVENT
UID:6b49524d962efa51a5dd2758a4dbae81@forsyteICS
DTSTART;TZID=Europe/Vienna:20231116T131500
DTEND;TZID=Europe/Vienna:20231116T141500
LOCATION:Favoritenstraße 9-11, FAV Hörsaal 1 (ground floor)
SUMMARY:Talk by Petra Mutzel: Algorithmic Data Science on Graphs
DESCRIPTION:Algorithmic Data Science on Graphs\n\nThursday, November 16, 2023 at 13:15
URL;VALUE=URI:https://www.vcla.at/2023/11/talk-algorithmic-data-science-on-graphs/
END:VEVENT
BEGIN:VEVENT
UID:42de4498f357ff34fd12806608b91cbd@forsyteICS
DTSTART;TZID=Europe/Vienna:20231018T170000
DTEND;TZID=Europe/Vienna:20231018T180000
LOCATION:Favoritenstraße 9-11, FAV Hörsaal 2 (ground floor)
SUMMARY:Talk by Hans van Ditmarsch: Distributed Knowledge Revisited
DESCRIPTION:Distributed Knowledge Revisited\n\nWednesday, October 18, 2023 at 17:00
URL;VALUE=URI:https://www.vcla.at/2023/10/talk-distributed-knowledge-revisited/
END:VEVENT
BEGIN:VEVENT
UID:5f4fc36e6afc6ed1f162ff27c7ac3af4@forsyteICS
DTSTART;TZID=Europe/Vienna:20230606T160000
DTEND;TZID=Europe/Vienna:20230606T173000
LOCATION:Heuer am Karlsplatz, Treitlstraße 2, 1040 Vienna
SUMMARY:LogicLounge 2023: Exploring Connections: Wittgenstein, Gödel, and ChatGPT
DESCRIPTION:Exploring Connections: Wittgenstein, Gödel, and ChatGPT\n\nTuesday, June 6, 2023 at 16:00
URL;VALUE=URI:https://www.vcla.at/2023/05/logiclounge-2023/
END:VEVENT
BEGIN:VEVENT
UID:aa5803f9aedc2868c896880c1b9a4c7b@forsyteICS
DTSTART;TZID=Europe/Vienna:20230114T170000
DTEND;TZID=Europe/Vienna:20230114T180000
LOCATION:zoom (register for free via eventbrite) or youtube
SUMMARY:World Logic Day Lecture: Dov Gabbay
DESCRIPTION:Logic and argumentation for the 21st century\n\nSaturday, January 14, 2023 at 17:00 CET
URL;VALUE=URI:https://www.vcla.at/2023/01/world-logic-day-lecture-dov-gabbay/
END:VEVENT
BEGIN:VEVENT
UID:9053f90b5bf3f6e28363c51fc706f16d@forsyteICS
DTSTART;TZID=Europe/Vienna:20221124T161500
DTEND;TZID=Europe/Vienna:20221124T171500
LOCATION:EI 8 Pötzl Hörsaal, Gußhausstraße 25 – 29, ground floor
SUMMARY:Talk: Ran Gelles
DESCRIPTION:Distributed Computations in Fully-Defective Networks\n\nThursday, November 24, 2022 at 16:15
URL;VALUE=URI:https://www.vcla.at/2022/11/talk-ran-gelles/
END:VEVENT
BEGIN:VEVENT
UID:60ce7a7df304272e762b6bd0dfbc5409@forsyteICS
DTSTART;TZID=Europe/Vienna:20220525T170000
DTEND;TZID=Europe/Vienna:20220525T180000
LOCATION:Seminarraum FAV EG C (Seminarraum Gödel)
SUMMARY:Talk: Hans van Ditmarsch
DESCRIPTION:Reasoning about Gossip\n\nWednesday, May 25, 2022 at 17:00
URL;VALUE=URI:https://www.vcla.at/2022/05/talk-hans-van-ditmarsch-2/
END:VEVENT
BEGIN:VEVENT
UID:be011a5f98115c2f87b9c98181ad057b@forsyteICS
DTSTART;TZID=Europe/Vienna:20220405T170000
DTEND;TZID=Europe/Vienna:20220405T180000
LOCATION:FAV 02 (HH EG 03, Favoritentraße 9 - 11, 1040 Vienna)
SUMMARY:
DESCRIPTION:A brief introduction to Combinatorial Geometry\n\nTuesday, April 5, 2022 at 17:00 (s.t.)
URL;VALUE=URI:https://www.vcla.at/2022/04/10128/
END:VEVENT
BEGIN:VEVENT
UID:ea7a0a9f4c381d274bf44e106c5688d8@forsyteICS
DTSTART;TZID=Europe/Vienna:20220114T170000
DTEND;TZID=Europe/Vienna:20220114T180000
LOCATION:
SUMMARY:World Logic Day Lecture: Moshe Y. Vardi
DESCRIPTION:From Greek Paradoxes to Political Paradoxes\n\nFriday, January 14, 2022 at 17:00
URL;VALUE=URI:https://www.vcla.at/2021/12/vienna-world-logic-day-talk-moshe-y-vardi/
END:VEVENT
BEGIN:VEVENT
UID:8c3806dda7be182166bffac5c1060de7@forsyteICS
DTSTART;TZID=Europe/Vienna:20211020T170000
DTEND;TZID=Europe/Vienna:20211020T180000
LOCATION:
SUMMARY:Talk: Lutz Strassburger
DESCRIPTION:Combinatorial Proofs and Decomposition Theorems for First-order Logic\n\nWednesday, October 20, 2021 at 17:00
URL;VALUE=URI:https://www.vcla.at/2021/10/talk-lutz-strassburger/
END:VEVENT
BEGIN:VEVENT
UID:fc2d1a0cd7be9bcf733283a8f72ed9b1@forsyteICS
DTSTART;TZID=Europe/Vienna:20210921T163000
DTEND;TZID=Europe/Vienna:20210921T173000
LOCATION:Seminarraum FAV 01, Favoritenstraße 9-11, 1040 Wien
SUMMARY:Talk: Hans van Ditmarsch
DESCRIPTION:One Hundred Prisoners and a Light Bulb\n\nTuesday, September 21, 2021 at 16:30
URL;VALUE=URI:https://www.vcla.at/2021/10/talk-hans-van-ditmarsch/
END:VEVENT
BEGIN:VEVENT
UID:b25ceec192b6e83600266184cd1bb80b@forsyteICS
DTSTART;TZID=Europe/Vienna:20210722T200000
DTEND;TZID=Europe/Vienna:20210722T210000
LOCATION:Virtual 
SUMMARY:Logic Lounge with Joscha Bach
DESCRIPTION:Cognitive AI: From AI models to mental representations?\n\nThursday, July 22, 2021 at 20:00
URL;VALUE=URI:https://www.vcla.at/2021/07/logic-lounge-with-joscha-bach/
END:VEVENT
BEGIN:VEVENT
UID:fc201baf598ae88ea0bbe25746fe641f@forsyteICS
DTSTART;TZID=Europe/Vienna:20210114T170000
DTEND;TZID=Europe/Vienna:20210114T180000
LOCATION:Online (Vienna)
SUMMARY:Georg Gottlob
DESCRIPTION:Knowledge Processing, Logic, and the Future of AI\n\nThursday, January 14, 2021 at 17:00
URL;VALUE=URI:https://www.vcla.at/2020/12/georg-gottlob/
END:VEVENT
BEGIN:VEVENT
UID:264c3282bee9aae9354ee619591c8b11@forsyteICS
DTSTART;TZID=Europe/Vienna:20200721T170000
DTEND;TZID=Europe/Vienna:20200721T180000
LOCATION:VIRTUAL 
SUMMARY:Public LogicLounge with Cory Doctorow
DESCRIPTION:Working as Intended -- Surveillance Capitalism is not a Rogue Capitalism\n\nTuesday, July 21, 2020 at 17:00
URL;VALUE=URI:https://www.vcla.at/2020/06/logiclounge-with-cory-doctorow-working-as-intended-surveillance-capitalism-is-not-a-rogue-capitalism/
END:VEVENT
BEGIN:VEVENT
UID:3e48c2c107ef3e290c2a026ba30ebcb9@forsyteICS
DTSTART;TZID=Europe/Vienna:20191213T141500
DTEND;TZID=Europe/Vienna:20191213T151500
LOCATION:Seminarraum FAV 01 C, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HE 01 08 
SUMMARY:Torsten Schaub
DESCRIPTION:Dynamic Answer Set Programming\n\nFriday, December 13, 2019 at 14:15 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/12/torsten-schaub-3/
END:VEVENT
BEGIN:VEVENT
UID:9ab7d0d3cd742689eea8afd147dd741e@forsyteICS
DTSTART;TZID=Europe/Vienna:20191204T103000
DTEND;TZID=Europe/Vienna:20191204T113000
LOCATION:Kontaktraum, Gußhausstraße 27-29, 1040 Vienna
SUMMARY:Joost-Pieter Katoen
DESCRIPTION:Probabilistic Programming: Machine Learning for the Masses?\n\nWednesday, December 4, 2019 at 10:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/11/joost-pieter-katoen/
END:VEVENT
BEGIN:VEVENT
UID:0a1fbc07458202d8986367e7ddfe9c44@forsyteICS
DTSTART;TZID=Europe/Vienna:20191120T163000
DTEND;TZID=Europe/Vienna:20191120T173000
LOCATION:Seminarraum FAV EG C (Seminarraum Gödel), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB EG 10 (ground floor, access from yard)
SUMMARY:Tommaso Moraschini
DESCRIPTION:Profinite Heyting algebras and the representation problem for Esakia spaces\n\nWednesday, November 20, 2019 at 16:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/11/tommaso-moraschini/
END:VEVENT
BEGIN:VEVENT
UID:0487113ac4b9b16d0e6bb8763e8efce5@forsyteICS
DTSTART;TZID=Europe/Vienna:20191127T163000
DTEND;TZID=Europe/Vienna:20191127T173000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Dominique Larchey-Wendling
DESCRIPTION:Hilbert’s Tenth Problem in Coq\n\nWednesday, November 27, 2019 at 16:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/11/dominique-larchey-wendling/
END:VEVENT
BEGIN:VEVENT
UID:c35db6889f063b02201a70b8f4d17232@forsyteICS
DTSTART;TZID=Europe/Vienna:20191111T140000
DTEND;TZID=Europe/Vienna:20191111T150000
LOCATION:Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
SUMMARY:Prafullkumar Tale
DESCRIPTION:Lossy Kernels for Graph Contraction Problems\n\nMonday, November 11, 2019 at 14:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/11/prafullkumar-tale/
END:VEVENT
BEGIN:VEVENT
UID:c098a56b92035a189a17badfe13e45ae@forsyteICS
DTSTART;TZID=Europe/Vienna:20191106T163000
DTEND;TZID=Europe/Vienna:20191106T173000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Davide Grossi
DESCRIPTION:Credulous Acceptability, Poison Games and Modal Logic\n\nWednesday, November 6, 2019 at 16:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/11/davide-grossi/
END:VEVENT
BEGIN:VEVENT
UID:47053e97603211921f95208a156fa0f1@forsyteICS
DTSTART;TZID=Europe/Vienna:20191128T120000
DTEND;TZID=Europe/Vienna:20191128T130000
LOCATION:Seminarraum FAV EG C (Seminarraum Gödel), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB EG 10 (ground floor, access from yard)
SUMMARY:Ringo Baumann
DESCRIPTION:An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms\n\nThursday, November 28, 2019 at 12:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/11/ringo-baumann-2/
END:VEVENT
BEGIN:VEVENT
UID:e7f187746beb0315942f44542319ccce@forsyteICS
DTSTART;TZID=Europe/Vienna:20191016T163000
DTEND;TZID=Europe/Vienna:20191016T173000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:David Cerna
DESCRIPTION:A Mobile Application for Self-Guided Study of Formal Reasoning\n\nWednesday, October 16, 2019 at 16:30
URL;VALUE=URI:https://www.vcla.at/2019/10/david-cerna/
END:VEVENT
BEGIN:VEVENT
UID:4d4b2c34c002594900e27b0d940609ec@forsyteICS
DTSTART;TZID=Europe/Vienna:20191001T100000
DTEND;TZID=Europe/Vienna:20191001T110000
LOCATION:Seminarraum FAV 01 A (Seminarraum 183/2), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HE 01 02
SUMMARY:Gerd Brewka
DESCRIPTION:Admissibility and Completeness Revisited\n\nTuesday, October 1, 2019 at 10:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/09/gerd-brewka/
END:VEVENT
BEGIN:VEVENT
UID:d16829f50a2c38ce0022ab221ff84418@forsyteICS
DTSTART;TZID=Europe/Vienna:20190916T110000
DTEND;TZID=Europe/Vienna:20190916T120000
LOCATION:FAV Hörsaal 1 (ground floor), Favoritenstrasse 9-11, 1040, Vienna
SUMMARY:Tanja Schindler
DESCRIPTION:A DPLL(T) theory solver for quantified formulas\n\nMonday, September 16, 2019 at 11:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/09/tanja-schindler/
END:VEVENT
BEGIN:VEVENT
UID:3564f42bc28eb59fadfcb9410a8bcc49@forsyteICS
DTSTART;TZID=Europe/Vienna:20190924T155000
DTEND;TZID=Europe/Vienna:20190924T165000
LOCATION:FH 5, Freihaus building of TU Wien, Wiedner Hauptstraße 8-10, 1040 Wien
SUMMARY:Alexej Rotar
DESCRIPTION:The Satisfiability Problem for Fragments of PCTL\n\nTuesday, September 24, 2019 at 15:50 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/09/alexej-rotar/
END:VEVENT
BEGIN:VEVENT
UID:cf459a3535de2fc2b963f76fefde0e02@forsyteICS
DTSTART;TZID=Europe/Vienna:20190924T153000
DTEND;TZID=Europe/Vienna:20190924T163000
LOCATION:FH 5, Freihaus building of TU Wien, Wiedner Hauptstraße 8-10, 1040 Wien
SUMMARY:Martin Munoz
DESCRIPTION:Descriptive Complexity for Counting Complexity Classes \n\nTuesday, September 24, 2019 at 15:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/09/martin-munoz/
END:VEVENT
BEGIN:VEVENT
UID:659c9b580c6cb5b0edc51d35a7661b49@forsyteICS
DTSTART;TZID=Europe/Vienna:20190918T160000
DTEND;TZID=Europe/Vienna:20190918T170000
LOCATION:Lecture room FAV 1, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB HEEG02
SUMMARY:Yuri Gurevich
DESCRIPTION:LOGIC in computer science and software industry (and in mathematics, time permitting)\n\nWednesday, September 18, 2019 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/09/yuri-gurevich/
END:VEVENT
BEGIN:VEVENT
UID:7b2f3f0c763a74d47529a7e54ff9bf01@forsyteICS
DTSTART;TZID=Europe/Vienna:20190930T160000
DTEND;TZID=Europe/Vienna:20190930T170000
LOCATION:FAV Hörsaal 1 (ground floor), Favoritenstrasse 9-11, 1040, Vienna
SUMMARY:Dana Scott
DESCRIPTION:Free Logic: its Formalization and some Applications\n\nMonday, September 30, 2019 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/09/dana-scott/
END:VEVENT
BEGIN:VEVENT
UID:72f06bc873dc550bc482bfd4399e35e1@forsyteICS
DTSTART;TZID=Europe/Vienna:20190827T110000
DTEND;TZID=Europe/Vienna:20190827T120000
LOCATION:Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
SUMMARY:Joshua Blinkhorn
DESCRIPTION:Building Strategies into DQBF Proofs\n\nTuesday, August 27, 2019 at 11:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/09/joshua-blinkhorn/
END:VEVENT
BEGIN:VEVENT
UID:269212f005214c5feb58d9c42df39118@forsyteICS
DTSTART;TZID=Europe/Vienna:20190725T170000
DTEND;TZID=Europe/Vienna:20190725T180000
LOCATION:Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien
SUMMARY:Juliet Floyd
DESCRIPTION:In and Out of Mind: Wittgenstein and Gödel, Post and Turing \n\nThursday, July 25, 2019 at 17:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/07/juliet-floyd/
END:VEVENT
BEGIN:VEVENT
UID:ca93e83911fe19dad833a0c8907717aa@forsyteICS
DTSTART;TZID=Europe/Vienna:20190726T183000
DTEND;TZID=Europe/Vienna:20190726T193000
LOCATION:Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien
SUMMARY:John D. Barrow
DESCRIPTION:100 Years of Universes\n\nFriday, July 26, 2019 at 18:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/07/john-d-barrow/
END:VEVENT
BEGIN:VEVENT
UID:07384e5490184cadb993dfd9376c1558@forsyteICS
DTSTART;TZID=Europe/Vienna:20190711T124500
DTEND;TZID=Europe/Vienna:20190711T134500
LOCATION:Library 191-1 (Treitlstrasse 3, 3rd Floor)
SUMMARY:Alessio Gizzi
DESCRIPTION:Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations\n\nThursday, July 11, 2019 at 12:45 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/07/alessio-gizzi/
END:VEVENT
BEGIN:VEVENT
UID:0f40175a9f6b79fad36e61d00fd29ba9@forsyteICS
DTSTART;TZID=Europe/Vienna:20190708T170000
DTEND;TZID=Europe/Vienna:20190708T180000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Andrea Cali
DESCRIPTION:Querying Web Data: A Computational Perspective\n\nMonday, July 8, 2019 at 17:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/07/andrea-cali/
END:VEVENT
BEGIN:VEVENT
UID:d67f1e5bed2eb99878f6f025f451f8ca@forsyteICS
DTSTART;TZID=Europe/Vienna:20190708T160000
DTEND;TZID=Europe/Vienna:20190708T170000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Andreas Pieris
DESCRIPTION:Counting Database Repairs under Primary Keys Revisited\n\nMonday, July 8, 2019 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/07/andreas-pieris/
END:VEVENT
BEGIN:VEVENT
UID:965b7f5c5ec18b60c1461eb882e2270d@forsyteICS
DTSTART;TZID=Europe/Vienna:20190701T150000
DTEND;TZID=Europe/Vienna:20190701T160000
LOCATION:Seminarraum FAV 01 B (Seminarraum 187/2) (Favoritenstrasse 9-11 - 1. Obergeschoß Room Number: HF0109)
SUMMARY:Peter Stuckey
DESCRIPTION:The Multi-Agent Path Finding Problem\n\nMonday, July 1, 2019 at 15:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/07/peter-stuckey/
END:VEVENT
BEGIN:VEVENT
UID:48c52b7065228eccabaffc5dcf9624ac@forsyteICS
DTSTART;TZID=Europe/Vienna:20190625T130000
DTEND;TZID=Europe/Vienna:20190625T140000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Olivia Erdélyi
DESCRIPTION:Why Bother With Regulation and Ethics? We Just Develop the Technology...\n\nTuesday, June 25, 2019 at 13:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/06/olivia-erdelyi/
END:VEVENT
BEGIN:VEVENT
UID:b259516ba94df66a5538a7f01439d257@forsyteICS
DTSTART;TZID=Europe/Vienna:20190618T140000
DTEND;TZID=Europe/Vienna:20190618T150000
LOCATION:Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
SUMMARY:Daniel Le Berre
DESCRIPTION:Recursive Explore and Check Abstraction Refinement (RECAR)\n\nTuesday, June 18, 2019 at 14:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/06/daniel-le-berre/
END:VEVENT
BEGIN:VEVENT
UID:594ee228ecb1680915264527c257a1a9@forsyteICS
DTSTART;TZID=Europe/Vienna:20190624T160000
DTEND;TZID=Europe/Vienna:20190624T170000
LOCATION:FAV Hörsaal 2 (room FAV HS 2), Favoritenstrasse 9-11, 1040, Vienna
SUMMARY:Mateus de Oliveira Oliveira
DESCRIPTION:Some Width Measures for Proofs\n\nMonday, June 24, 2019 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/06/mateus-de-oliveira-oliveira/
END:VEVENT
BEGIN:VEVENT
UID:1c5b135acc1aa5cad33e607f40b1fe68@forsyteICS
DTSTART;TZID=Europe/Vienna:20190617T100000
DTEND;TZID=Europe/Vienna:20190617T110000
LOCATION:FORSYTE/RiSE seminar talk by Mateus de Oliveira Oliveira (U. Bergen, http://unitslice.org/
SUMMARY:Anne Schreuder
DESCRIPTION:Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence\n\nMonday, June 17, 2019 at 10:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/06/anne-schreuder/
END:VEVENT
BEGIN:VEVENT
UID:303613388a6087ebedfabca2248b02c6@forsyteICS
DTSTART;TZID=Europe/Vienna:20190607T150000
DTEND;TZID=Europe/Vienna:20190607T160000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Arnaud Durand
DESCRIPTION:Introduction to dependence logic and team semantics\n\nFriday, June 7, 2019 at 15:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/06/arnaud-durand/
END:VEVENT
BEGIN:VEVENT
UID:7181bd08708e68a4eedeb8dff40b0be1@forsyteICS
DTSTART;TZID=Europe/Vienna:20190523T160000
DTEND;TZID=Europe/Vienna:20190523T170000
LOCATION:Zemanek Seminar Room, Ground Floor, Favoritenstrasse 9-11, 1040 Vienna
SUMMARY:Colin Toal
DESCRIPTION:Developing software and ML models at IBM, Amazon and integrate.ai\n\nThursday, May 23, 2019 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/05/colin-toal/
END:VEVENT
BEGIN:VEVENT
UID:cea2776f18bd2cff4b0c85d31e87a2f4@forsyteICS
DTSTART;TZID=Europe/Vienna:20190520T150000
DTEND;TZID=Europe/Vienna:20190520T160000
LOCATION:FAV Hörsaal 1 (Favoritenstrasse 9-11, ground floor, Vienna 1040)
SUMMARY:David Basin
DESCRIPTION:Security Protocols:  Model Checking Standards\n\nMonday, May 20, 2019 at 15:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/05/david-basin/
END:VEVENT
BEGIN:VEVENT
UID:84ea86bb21e84c51390c53c1e26823b7@forsyteICS
DTSTART;TZID=Europe/Vienna:20190409T150000
DTEND;TZID=Europe/Vienna:20190409T160000
LOCATION:EI 4 Reithoffer lecture room, Gußhausstraße 25 (old building), 2nd floor
SUMMARY:Peter Eades
DESCRIPTION:How to Draw a Graph ... Revisited\n\nTuesday, April 9, 2019 at 15:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/03/peter-eades/
END:VEVENT
BEGIN:VEVENT
UID:210a07eb190d8d9e53703a6641f33d6a@forsyteICS
DTSTART;TZID=Europe/Vienna:20190325T110000
DTEND;TZID=Europe/Vienna:20190325T120000
LOCATION:Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
SUMMARY:Manuel Sorge
DESCRIPTION:Clustered, but when? From static to temporal graph algorithms\n\nMonday, March 25, 2019 at 11:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/03/manuel-sorge/
END:VEVENT
BEGIN:VEVENT
UID:b6e1e0808e625badc0c592746fd1caeb@forsyteICS
DTSTART;TZID=Europe/Vienna:20190319T140000
DTEND;TZID=Europe/Vienna:20190319T150000
LOCATION:FAV 01 C (Seminarraum 188/2), 1. Floor (access via "Stiege 4")
SUMMARY:Dominik Peters
DESCRIPTION:Truthful Aggregation of Budget Proposals\n\nTuesday, March 19, 2019 at 14:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/03/dominik-peters/
END:VEVENT
BEGIN:VEVENT
UID:da129653446a31155825c9c888330f3a@forsyteICS
DTSTART;TZID=Europe/Vienna:20190207T110000
DTEND;TZID=Europe/Vienna:20190207T120000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Stefan Milius
DESCRIPTION:Eilenberg Theorems for Free\n\nThursday, February 7, 2019 at 11:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/02/stefan-milius/
END:VEVENT
BEGIN:VEVENT
UID:952eb33744a4a48fcf8d1eac4f108f61@forsyteICS
DTSTART;TZID=Europe/Vienna:20190121T160000
DTEND;TZID=Europe/Vienna:20190121T170000
LOCATION:Seminar room von Neumann, Favoritenstrasse 9-11, Ground Floor (HB EG 16)
SUMMARY:Francesco Scarcello
DESCRIPTION:Tree projection width and fixed-parameter tractable queries\n\nMonday, January 21, 2019 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/01/francesco-scarcello-2/
END:VEVENT
BEGIN:VEVENT
UID:1270e2b291fc163699da4b3b6618cd4b@forsyteICS
DTSTART;TZID=Europe/Vienna:20190115T110000
DTEND;TZID=Europe/Vienna:20190115T120000
LOCATION:Algorithms and Complexity library, HB 04 08
SUMMARY:Fabrizio Montecchiani
DESCRIPTION:Advances on 1-planar graphs\n\nTuesday, January 15, 2019 at 11:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2019/01/fabrizio-montecchiani/
END:VEVENT
BEGIN:VEVENT
UID:92c3f387bfc1f3a68e9ae4a25c3d6c36@forsyteICS
DTSTART;TZID=Europe/Vienna:20181121T100000
DTEND;TZID=Europe/Vienna:20181121T110000
LOCATION:Meeting Room Menger, Favoritenstrasse 9-11 (HF 03 11)
SUMMARY:Alice Miller
DESCRIPTION:Probabilistic model checking for UAV strategy generation\n\nWednesday, November 21, 2018 at 10:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2019/01/alice-miller/
END:VEVENT
BEGIN:VEVENT
UID:2c357b56d6fb09292e9cb7db9586d3e7@forsyteICS
DTSTART;TZID=Europe/Vienna:20190107T170000
DTEND;TZID=Europe/Vienna:20190107T180000
LOCATION:EI 4 Reithoffer lecture room, Gußhausstraße 25 (old building), 2nd floor
SUMMARY:Marijn Heule
DESCRIPTION:Massively Parallel Solving of Math Problems\n\nMonday, January 7, 2019 at 17:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2018/12/marijn-heule/
END:VEVENT
BEGIN:VEVENT
UID:f1eb4fcc5ac27e856a08b97e0d401ccc@forsyteICS
DTSTART;TZID=Europe/Vienna:20181212T160000
DTEND;TZID=Europe/Vienna:20181212T170000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Sanjay Modgil
DESCRIPTION:Logic, Argument and Dialectic\n\nWednesday, December 12, 2018 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2018/12/sanjay-modgil/
END:VEVENT
BEGIN:VEVENT
UID:1aff6691af7f7884b7656428340f3ee0@forsyteICS
DTSTART;TZID=Europe/Vienna:20181123T133000
DTEND;TZID=Europe/Vienna:20181123T143000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Fredrik Heintz
DESCRIPTION:Reasoning and Learning over Streams for Safe Autonomous Systems\n\nFriday, November 23, 2018 at 13:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/11/fredrik-heintz/
END:VEVENT
BEGIN:VEVENT
UID:1ca5035826ab1691896e4ab18b52f4cc@forsyteICS
DTSTART;TZID=Europe/Vienna:20181123T143000
DTEND;TZID=Europe/Vienna:20181123T153000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Sebastian Rudolph
DESCRIPTION:The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics\n\nFriday, November 23, 2018 at 14:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/11/sebastian-rudolph/
END:VEVENT
BEGIN:VEVENT
UID:817e2882785796889a5c91a3ec2ab8dd@forsyteICS
DTSTART;TZID=Europe/Vienna:20181119T123000
DTEND;TZID=Europe/Vienna:20181119T133000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Vladimir Lifschitz
DESCRIPTION:How We Studied the Input Language of gringo\n\nMonday, November 19, 2018 at 12:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/11/vladimir-lifschitz/
END:VEVENT
BEGIN:VEVENT
UID:bc57435fa6e0bacb41774389749ccc47@forsyteICS
DTSTART;TZID=Europe/Vienna:20181108T181500
DTEND;TZID=Europe/Vienna:20181108T191500
LOCATION:
SUMMARY:Moshe Vardi and Hans Akkermans: How the Hippies Destroyed the Internet
DESCRIPTION:How the Hippies Destroyed the Internet\n\nThursday, November 8, 2018 at 18:15 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/11/moshe-vardi-and-hans-akkermans/
END:VEVENT
BEGIN:VEVENT
UID:2fda1076fed9d5f9571319bbb88bf1fc@forsyteICS
DTSTART;TZID=Europe/Vienna:20181122T160000
DTEND;TZID=Europe/Vienna:20181122T170000
LOCATION:Seminar room Zemanek, Favoritenstrasse 9-11. 1040 Vienna, ground floor 
SUMMARY:Luca Cardelli
DESCRIPTION:Programming with Chemical Reactions\n\nThursday, November 22, 2018 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2018/10/luca-cardelli/
END:VEVENT
BEGIN:VEVENT
UID:600d5f1a1d955575432ab33a28daa853@forsyteICS
DTSTART;TZID=Europe/Vienna:20181031T163000
DTEND;TZID=Europe/Vienna:20181031T173000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Dale Miller
DESCRIPTION:Separating Functional Computation from Relations\n\nWednesday, October 31, 2018 at 16:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/10/dale-miller/
END:VEVENT
BEGIN:VEVENT
UID:66747c14d122ee90abfdd2e5959e802f@forsyteICS
DTSTART;TZID=Europe/Vienna:20181025T163000
DTEND;TZID=Europe/Vienna:20181025T173000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Marcello D’Agostino
DESCRIPTION:An informational view of classical logic\n\nThursday, October 25, 2018 at 16:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/10/marcello-dagostino/
END:VEVENT
BEGIN:VEVENT
UID:0e197cd243a0bb44fb1f698c41e6e3c4@forsyteICS
DTSTART;TZID=Europe/Vienna:20181105T160000
DTEND;TZID=Europe/Vienna:20181105T170000
LOCATION:EI 4 Reithoffer lecture room, Gußhausstraße 25 (old building), 2nd floor
SUMMARY:Martin Grohe
DESCRIPTION:The Graph Isomorphism Problem\n\nMonday, November 5, 2018 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2018/10/martin-grohe-2/
END:VEVENT
BEGIN:VEVENT
UID:98bb034c09bfffe56628f07ee739deb9@forsyteICS
DTSTART;TZID=Europe/Vienna:20181005T140000
DTEND;TZID=Europe/Vienna:20181005T150000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Tomi Janhunen
DESCRIPTION:Writing Declarative Specifications for Clauses\n\nFriday, October 5, 2018 at 14:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/10/tomi-janhunen/
END:VEVENT
BEGIN:VEVENT
UID:871d3f5ae21d20cb1e5f4005fc091ca3@forsyteICS
DTSTART;TZID=Europe/Vienna:20180926T163000
DTEND;TZID=Europe/Vienna:20180926T173000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Rajeev Gore
DESCRIPTION:Interactive Synthesis of Verified Vote-counting Programs\n\nWednesday, September 26, 2018 at 16:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/09/rajeev-gore/
END:VEVENT
BEGIN:VEVENT
UID:40e4ad0dd23664f3ab664280fc4e1504@forsyteICS
DTSTART;TZID=Europe/Vienna:20180920T180000
DTEND;TZID=Europe/Vienna:20180920T190000
LOCATION:Prechtlsaal, Ground floor, TU Wien, Karlsplatz 13, 1040 Wien
SUMMARY:LogicLounge with Toby Walsh
DESCRIPTION:Living with Artificial Intelligence – How to stay Human\n\nThursday, September 20, 2018 at 18:00
URL;VALUE=URI:https://www.vcla.at/2018/08/logiclounge-with-toby-walsh/
END:VEVENT
BEGIN:VEVENT
UID:f969774acc6bc4dd126083134fe8e241@forsyteICS
DTSTART;TZID=Europe/Vienna:20180725T140000
DTEND;TZID=Europe/Vienna:20180725T150000
LOCATION:Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
SUMMARY:Iyad Kanj
DESCRIPTION:How to navigate through obstacles?\n\nWednesday, July 25, 2018 at 14:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/07/iyad-kanj-4/
END:VEVENT
BEGIN:VEVENT
UID:0a997aa6dbb136423504e7ba7437d9fd@forsyteICS
DTSTART;TZID=Europe/Vienna:20180724T140000
DTEND;TZID=Europe/Vienna:20180724T150000
LOCATION:Menger meeting room, Favoritenstraße 9-11, Stairs 2, Floor 3 (HF 03 11)
SUMMARY:Markus Endres
DESCRIPTION:Preference-Aware Database Systems\n\nTuesday, July 24, 2018 at 14:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/07/markus-endres/
END:VEVENT
BEGIN:VEVENT
UID:0d9c398a09a721eefb8492e0c5af4862@forsyteICS
DTSTART;TZID=Europe/Vienna:20180719T110000
DTEND;TZID=Europe/Vienna:20180719T120000
LOCATION:Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
SUMMARY:Steven Chaplick
DESCRIPTION:Approximation Schemes for Geometric Coverage Problems\n\nThursday, July 19, 2018 at 11:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/07/steven-chaplick/
END:VEVENT
BEGIN:VEVENT
UID:cc996d6e230cc47811e302ebaa9b04a6@forsyteICS
DTSTART;TZID=Europe/Vienna:20180626T093000
DTEND;TZID=Europe/Vienna:20180626T103000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Torsten Schaub
DESCRIPTION:ASP in Time\n\nTuesday, June 26, 2018 at 9:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/06/torsten-schaub-2/
END:VEVENT
BEGIN:VEVENT
UID:d2d67d596da70b89fe59d8b545d57e7c@forsyteICS
DTSTART;TZID=Europe/Vienna:20180622T110000
DTEND;TZID=Europe/Vienna:20180622T120000
LOCATION:Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
SUMMARY:Ramchandra Phawade
DESCRIPTION:Combining free choice and time in Petri nets\n\nFriday, June 22, 2018 at 11:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/06/ramchandra-phawade/
END:VEVENT
BEGIN:VEVENT
UID:263fe1f9695ee0c28325037c619a2612@forsyteICS
DTSTART;TZID=Europe/Vienna:20180529T140000
DTEND;TZID=Europe/Vienna:20180529T150000
LOCATION:Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
SUMMARY:Ronald de Haan
DESCRIPTION:Using Knowledge Compilation in Social Choice\n\nTuesday, May 29, 2018 at 14:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/05/ronald-de-haan/
END:VEVENT
BEGIN:VEVENT
UID:4a7d427d0518270c0bae27b8385d749d@forsyteICS
DTSTART;TZID=Europe/Vienna:20180529T150000
DTEND;TZID=Europe/Vienna:20180529T160000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Martin Josef Geiger
DESCRIPTION:Solving large-scale, mid-term planning problems under multiple objectives – A contribution to VeRoLog 2017 optimization competition\n\nTuesday, May 29, 2018 at 15:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2018/05/martin-josef-geiger/
END:VEVENT
BEGIN:VEVENT
UID:78d2dcb52111a8969abdd5e873afc55d@forsyteICS
DTSTART;TZID=Europe/Vienna:20180523T111500
DTEND;TZID=Europe/Vienna:20180523T121500
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Gyula O.H. Katona
DESCRIPTION:Cryptology, Isoperimetric Problems and Shadows\n\nWednesday, May 23, 2018 at 11:15 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/05/gyula-o-h-katona/
END:VEVENT
BEGIN:VEVENT
UID:d1cb1757ad870fb2d996771d8467024a@forsyteICS
DTSTART;TZID=Europe/Vienna:20180503T140000
DTEND;TZID=Europe/Vienna:20180503T150000
LOCATION:Seminar Room 183/2, Favoritenstr. 9-11, Yellow Area, Stairs 1 (HA 04 03)
SUMMARY:Christian Klamler
DESCRIPTION:Using Borda Scores for Ranking Sets of Objects\n\nThursday, May 3, 2018 at 14:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/04/christian-klamler/
END:VEVENT
BEGIN:VEVENT
UID:88cf87016605c0b06bd5081a155f18a8@forsyteICS
DTSTART;TZID=Europe/Vienna:20180418T113000
DTEND;TZID=Europe/Vienna:20180418T123000
LOCATION:Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
SUMMARY:Daniel Paulusma
DESCRIPTION:Colouring Square-Free Graphs without Long Induced Paths\n\nWednesday, April 18, 2018 at 11:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/04/daniel-paulusma/
END:VEVENT
BEGIN:VEVENT
UID:5a5f1e23f889f5191d119281064bec88@forsyteICS
DTSTART;TZID=Europe/Vienna:20180409T170000
DTEND;TZID=Europe/Vienna:20180409T180000
LOCATION:Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
SUMMARY:Henning Fernau
DESCRIPTION:Self-monitoring approximation algorithms\n\nMonday, April 9, 2018 at 17:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2018/04/henning-fernau/
END:VEVENT
BEGIN:VEVENT
UID:e00daab6127a1c5e3b050d56ba56eabf@forsyteICS
DTSTART;TZID=Europe/Vienna:20180227T110000
DTEND;TZID=Europe/Vienna:20180227T120000
LOCATION:Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
SUMMARY:Benjamin Niedermann
DESCRIPTION:On Ortho-Radial Drawings for Metro Networks\n\nTuesday, February 27, 2018 at 11:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2018/02/benjamin-niedermann/
END:VEVENT
BEGIN:VEVENT
UID:12fe4f50ed37a0048c91df3190c48def@forsyteICS
DTSTART;TZID=Europe/Vienna:20180214T140000
DTEND;TZID=Europe/Vienna:20180214T150000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Jorge Fandinno
DESCRIPTION:Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports\n\nWednesday, February 14, 2018 at 14:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2018/02/jorge-fandinno/
END:VEVENT
BEGIN:VEVENT
UID:b7cc3bed04d154b0fca8bb259548a4ae@forsyteICS
DTSTART;TZID=Europe/Vienna:20171213T113000
DTEND;TZID=Europe/Vienna:20171213T123000
LOCATION:Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
SUMMARY:Przemysław Andrzej Wałęga
DESCRIPTION:Horn fragments of Halpern-Shoham logic: complexity vs expressiveness\n\nWednesday, December 13, 2017 at 11:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2017/12/przemyslaw-andrzej-walega/
END:VEVENT
BEGIN:VEVENT
UID:e6c3150cd167ebe8cfd9a1d511430368@forsyteICS
DTSTART;TZID=Europe/Vienna:20171219T160000
DTEND;TZID=Europe/Vienna:20171219T170000
LOCATION:Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
SUMMARY:Eunjung Kim
DESCRIPTION:Erdos-Posa Property of Chordless Cycles and its Applications\n\nTuesday, December 19, 2017 at 16:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2017/12/eunjung-kim-3/
END:VEVENT
BEGIN:VEVENT
UID:2a8fc3502fe7e58590f6940a09625b1a@forsyteICS
DTSTART;TZID=Europe/Vienna:20171122T150000
DTEND;TZID=Europe/Vienna:20171122T160000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Maarten Löffler
DESCRIPTION:Pleaching Pencil-&-Paper Picture Puzzles\n\nWednesday, November 22, 2017 at 15:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2017/11/maarten-loffler/
END:VEVENT
BEGIN:VEVENT
UID:e2554e388781cf3198f0b35519433589@forsyteICS
DTSTART;TZID=Europe/Vienna:20171113T163000
DTEND;TZID=Europe/Vienna:20171113T173000
LOCATION:Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
SUMMARY:Mohammad Farshi
DESCRIPTION:(Weakly) Self-approaching graphs\n\nMonday, November 13, 2017 at 16:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2017/11/mohammad-farshi/
END:VEVENT
BEGIN:VEVENT
UID:48fc2de1b570bedf2a5cf0c97d540f0d@forsyteICS
DTSTART;TZID=Europe/Vienna:20171120
DTEND;TZID=Europe/Vienna:20171202
LOCATION:Seminar Room Neumann or Zemanek
SUMMARY:Sasha Rubin
DESCRIPTION:Mini course: Milestones in solving games on graphs\n\nMonday, November 20, 2017 – Friday, December 1, 2017
URL;VALUE=URI:https://www.vcla.at/2017/11/visiting-lecturer-course-module-milestones-in-solving-games-on-graphs/
END:VEVENT
BEGIN:VEVENT
UID:eabdbb6d27ac67d0b1936f02eb8e3782@forsyteICS
DTSTART;TZID=Europe/Vienna:20171113T160000
DTEND;TZID=Europe/Vienna:20171113T170000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Piotr Skowron
DESCRIPTION:Approximating Optimal Social Choice under Metric Preferences \n\nMonday, November 13, 2017 at 16:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2017/11/piotr-skowron/
END:VEVENT
BEGIN:VEVENT
UID:b36175a39319566b7afc20624d1b3518@forsyteICS
DTSTART;TZID=Europe/Vienna:20171030T170000
DTEND;TZID=Europe/Vienna:20171030T180000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Tamara Mchedlidze
DESCRIPTION:Application of the point-line duality principle in graph drawing\n\nMonday, October 30, 2017 at 17:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2017/10/tamara-mchedlidze/
END:VEVENT
BEGIN:VEVENT
UID:8105ebef7b718ee2757ddcb3e5765a00@forsyteICS
DTSTART;TZID=Europe/Vienna:20171020T140000
DTEND;TZID=Europe/Vienna:20171020T150000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Gerhard Woeginger
DESCRIPTION:Buffers, Buckets, and Overflows\n\nFriday, October 20, 2017 at 14:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2017/10/gerhard-woeginger/
END:VEVENT
BEGIN:VEVENT
UID:4e234655c7ab672f9c518eed0241d414@forsyteICS
DTSTART;TZID=Europe/Vienna:20171020T090000
DTEND;TZID=Europe/Vienna:20171020T100000
LOCATION:Seminar Room 188/2, Favoritenstrasse 9-11, Stairs 3, Floor 4 (HD 04 07)
SUMMARY:Francesco Scarcello
DESCRIPTION:Dealing with the Shapley Value: islands of tractability and useful tools\n\nFriday, October 20, 2017 at 9:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2017/10/francesco-scarcello/
END:VEVENT
BEGIN:VEVENT
UID:77840edc1fae8a301d0c2027af799c1d@forsyteICS
DTSTART;TZID=Europe/Vienna:20171011T140000
DTEND;TZID=Europe/Vienna:20171011T150000
LOCATION:Algorithms and Complexity Group Library Favoritenstraße 9-11, Stiege 2, 4th floor, HB 04 08
SUMMARY:Roman Prutkin
DESCRIPTION:Graph Embeddings Motivated by Greedy Routing\n\nWednesday, October 11, 2017 at 14:00 s.t.
URL;VALUE=URI:https://www.vcla.at/2017/10/roman-prutkin/
END:VEVENT
BEGIN:VEVENT
UID:f60e02975cce04aa7f1fe05e7b879fe8@forsyteICS
DTSTART;TZID=Europe/Vienna:20170929T100000
DTEND;TZID=Europe/Vienna:20170929T110000
LOCATION:Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
SUMMARY:Emilia Oikarinen
DESCRIPTION:Minimum-Width Confidence Bands via Constraint Optimization\n\nFriday, September 29, 2017 at 10:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2017/09/emilia-oikarinen/
END:VEVENT
BEGIN:VEVENT
UID:b2beb8474107eb2913ff7d3106a005b5@forsyteICS
DTSTART;TZID=Europe/Vienna:20170929T140000
DTEND;TZID=Europe/Vienna:20170929T150000
LOCATION:Seminarraum Goedel, Favoritenstrasse 9-11
SUMMARY:Matti Järvisalo
DESCRIPTION:The Implicit Hitting Set Approach and Preprocessing for Maximum Satisfiability Solving\n\nFriday, September 29, 2017 at 14:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2017/09/matti-jarvisalo/
END:VEVENT
BEGIN:VEVENT
UID:a9c3f19c32666751d7bb98a9c6777ba6@forsyteICS
DTSTART;TZID=Europe/Vienna:20170823T113000
DTEND;TZID=Europe/Vienna:20170823T123000
LOCATION:Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
SUMMARY:Iyad Kanj
DESCRIPTION:The complexity of tree partitioning\n\nWednesday, August 23, 2017 at 11:30 s.t.
URL;VALUE=URI:https://www.vcla.at/2017/08/iyad-kanj-3/
END:VEVENT
BEGIN:VEVENT
UID:ef3f2687ac4fcc62f7beba303b95ae03@forsyteICS
DTSTART;TZID=Europe/Vienna:20170531T141000
DTEND;TZID=Europe/Vienna:20170531T151000
LOCATION:Seminar Room Goedel, Favoritenstrasse 9-11
SUMMARY:Odile Papini
DESCRIPTION:Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases\n\nWednesday, May 31, 2017 at 14:10
URL;VALUE=URI:https://www.vcla.at/2017/05/odile-papini/
END:VEVENT
BEGIN:VEVENT
UID:d41042e1254e68b0a21a0f536c31137f@forsyteICS
DTSTART;TZID=Europe/Vienna:20170322T111000
DTEND;TZID=Europe/Vienna:20170322T121000
LOCATION:Seminarroom Zemanek, , Favoritenstrasse 9-11
SUMMARY:Vladislav Ryzhikov and Michael Zakharyaschev
DESCRIPTION:Horn fragments of temporal logics and ontology-based access to temporal data \n\nWednesday, March 22, 2017 at 11:10
URL;VALUE=URI:https://www.vcla.at/2017/03/vladislav-ryzhikov-and-michael-zakharyaschev/
END:VEVENT
BEGIN:VEVENT
UID:4c1cabab5362924cf05a51eb226281db@forsyteICS
DTSTART;TZID=Europe/Vienna:20170221T173000
DTEND;TZID=Europe/Vienna:20170221T183000
LOCATION:Seminarraum Zemanek, Favoritenstraße 9-11, TU Wien
SUMMARY:Filippo Bonchi
DESCRIPTION:Full Abstraction for Signal Flow Graphs\n\nTuesday, February 21, 2017 at 17:30
URL;VALUE=URI:https://www.vcla.at/2017/03/filippo-bonchi/
END:VEVENT
BEGIN:VEVENT
UID:42b12f51a389aa7266e15b3689291ea5@forsyteICS
DTSTART;TZID=Europe/Vienna:20170306T113000
DTEND;TZID=Europe/Vienna:20170306T123000
LOCATION: Seminarraum von Neumann, Favoritenstrasse 11
SUMMARY:Danny Hermelin
DESCRIPTION:Fractals for Kernelization Lower Bounds\n\nMonday, March 6, 2017 at 11:30
URL;VALUE=URI:https://www.vcla.at/2017/03/fractals-for-kernelization-lower-bounds/
END:VEVENT
BEGIN:VEVENT
UID:118e4b70e723251d43f03e4f2bc45972@forsyteICS
DTSTART;TZID=Europe/Vienna:20170223T160000
DTEND;TZID=Europe/Vienna:20170223T170000
LOCATION:Seminarroom Menger, Favoritenstr. 9--11, 3rd floor
SUMMARY:Ondřej Kunčar
DESCRIPTION:CoCon: A Non-Leaking Conference System
URL;VALUE=URI:https://www.vcla.at/2017/02/ondrej-kuncar/
END:VEVENT
BEGIN:VEVENT
UID:5fabdec2132e115737ce154800b1e3f3@forsyteICS
DTSTART;TZID=Europe/Vienna:20161206T173000
DTEND;TZID=Europe/Vienna:20161206T183000
LOCATION:Seminarraum Argentinierstraße, Argentinierstraße 8, 1040 Vienna
SUMMARY:Rupak Majumdar
DESCRIPTION:[Software Testing] Hitting families of schedules
URL;VALUE=URI:https://www.vcla.at/2016/12/rupak-majumdar/
END:VEVENT
BEGIN:VEVENT
UID:d5d8b846e2abbb2a1f7a753d36ef7972@forsyteICS
DTSTART;TZID=Europe/Vienna:20161107T110000
DTEND;TZID=Europe/Vienna:20161107T120000
LOCATION:Seminar room Gödel, Favoritenstraße 9-11, 1040 Vienna (access through courtyard)
SUMMARY:Victor Dalmau
DESCRIPTION:Approximation of MIN CSP
URL;VALUE=URI:https://www.vcla.at/2016/11/victor-dalmau/
END:VEVENT
BEGIN:VEVENT
UID:65d31a8b9cec5fee9dbb6d2e17e99212@forsyteICS
DTSTART;TZID=Europe/Vienna:20161027T160000
DTEND;TZID=Europe/Vienna:20161027T170000
LOCATION:Seminarraum Argentinierstraße, Argentinierstraße 8, 1040 Vienna
SUMMARY:Johannes Kinder
DESCRIPTION:High System-Code Security with Low Overhead
URL;VALUE=URI:https://www.vcla.at/2016/10/johannes-kinder/
END:VEVENT
BEGIN:VEVENT
UID:61da2cfbe8fedb60161228aa1ea27f58@forsyteICS
DTSTART;TZID=Europe/Vienna:20161024T170000
DTEND;TZID=Europe/Vienna:20161024T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Tomáš Vojnar
DESCRIPTION:Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
URL;VALUE=URI:https://www.vcla.at/2016/10/tomas-vojnar-2/
END:VEVENT
BEGIN:VEVENT
UID:821aa9650e5e6481b7776efb51d4fdff@forsyteICS
DTSTART;TZID=Europe/Vienna:20161020T120000
DTEND;TZID=Europe/Vienna:20161020T130000
LOCATION:Seminar room Gödel, Favoritenstraße 9-11, 1040 Vienna (access through courtyard)
SUMMARY:Evgenij Thorstensen
DESCRIPTION:Self join elimination and new notions of query containment
URL;VALUE=URI:https://www.vcla.at/2016/10/evgenij-thorstensen/
END:VEVENT
BEGIN:VEVENT
UID:478b7bca30a955fa9d61ffd7518240cb@forsyteICS
DTSTART;TZID=Europe/Vienna:20160920T110000
DTEND;TZID=Europe/Vienna:20160920T120000
LOCATION:EI 1 Petritsch lecture hall, Gußhausstr. 25-29, 2. Stock (CF 02 42)
SUMMARY:Jörg Rothe
DESCRIPTION:Economics and Computation: Five Challenges in Algorithmic Game Theory, Computational Social Choice, and Fair Division
URL;VALUE=URI:https://www.vcla.at/2016/09/jorg-rothe/
END:VEVENT
BEGIN:VEVENT
UID:43ef14cc703ef668e56069cc8590a1bd@forsyteICS
DTSTART;TZID=Europe/Vienna:20160630T170000
DTEND;TZID=Europe/Vienna:20160630T180000
LOCATION:Seminar Room 351 (room number CA0138), Gusshausstrasse 25-29, 1040 Vienna
SUMMARY:Martin Schäf
DESCRIPTION:Classifying Bugs with Interpolants
URL;VALUE=URI:https://www.vcla.at/2016/06/martin-schaf/
END:VEVENT
BEGIN:VEVENT
UID:daad2f6ed6247879684f09dbb6947934@forsyteICS
DTSTART;TZID=Europe/Vienna:20160623T160000
DTEND;TZID=Europe/Vienna:20160623T170000
LOCATION:Seminar room von Neumann, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:Igor Razgon
DESCRIPTION:Lower bounds for branching programs of bounded repetition computing CNFs of bounded treewidth: an overview
URL;VALUE=URI:https://www.vcla.at/2016/06/igor-razgon/
END:VEVENT
BEGIN:VEVENT
UID:c53834e9f79b3de08557ec18e636ca86@forsyteICS
DTSTART;TZID=Europe/Vienna:20160512T170000
DTEND;TZID=Europe/Vienna:20160512T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Idit Keidar
DESCRIPTION:Transactional Data Structure Libraries\n\nThursday, May 12, 2016 at 17:00
URL;VALUE=URI:https://www.vcla.at/2016/05/idit-keidar/
END:VEVENT
BEGIN:VEVENT
UID:f2be847d794bbd8edbcb31c53c86a968@forsyteICS
DTSTART;TZID=Europe/Vienna:20160531T180000
DTEND;TZID=Europe/Vienna:20160531T190000
LOCATION:Informatikhörsaal, Treitlstraße 3, 1040 Vienna
SUMMARY:Leslie Lamport
DESCRIPTION:Leslie Lamport will answer questions regarding his Heidelberg Laureate Forum lecture.
URL;VALUE=URI:https://www.vcla.at/2016/05/leslie-lamport/
END:VEVENT
BEGIN:VEVENT
UID:fb34e4aa9dc4d5f1000830bab3b6e357@forsyteICS
DTSTART;TZID=Europe/Vienna:20160428T170000
DTEND;TZID=Europe/Vienna:20160428T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Tom van Dijk
DESCRIPTION:Workers in forests: developments in parallel decision diagrams
URL;VALUE=URI:https://www.vcla.at/2016/04/tom-van-dijk/
END:VEVENT
BEGIN:VEVENT
UID:a73f7645c11f66626a554f4d73e90a6f@forsyteICS
DTSTART;TZID=Europe/Vienna:20160412T100000
DTEND;TZID=Europe/Vienna:20160412T110000
LOCATION:EI 10 Fritz Paschke lecture room, Gußhausstraße 27-29, Vienna
SUMMARY:Joseph Sifakis
DESCRIPTION:Rigorous System Design in BIP
URL;VALUE=URI:https://www.vcla.at/2016/04/joseph-sifakis/
END:VEVENT
BEGIN:VEVENT
UID:3c7625bcebc8942f149a1c53a7d70db5@forsyteICS
DTSTART;TZID=Europe/Vienna:20160314T110000
DTEND;TZID=Europe/Vienna:20160314T120000
LOCATION:Seminar room von Neumann, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:O-Joung Kwon
DESCRIPTION:Deletion problems regarding graphs of bounded rank-width\n\nMonday, March 14, 2016 at 11:00
URL;VALUE=URI:https://www.vcla.at/2016/03/o-joung-kwon/
END:VEVENT
BEGIN:VEVENT
UID:d12ad1ae429dce07bb0e355474a2473c@forsyteICS
DTSTART;TZID=Europe/Vienna:20160308T173000
DTEND;TZID=Europe/Vienna:20160308T183000
LOCATION:Lecture hall EI10, Gusshausstraße 27-29, 1040 Vienna, ground floor
SUMMARY:Cliff B. Jones
DESCRIPTION:Reasoning about Interference (or Lack Thereof)
URL;VALUE=URI:https://www.vcla.at/2016/02/cliff-b-jones/
END:VEVENT
BEGIN:VEVENT
UID:20fd2ce01a7756623fc874b5ebcf6ff2@forsyteICS
DTSTART;TZID=Europe/Vienna:20160303T153000
DTEND;TZID=Europe/Vienna:20160303T163000
LOCATION:Seminarroom 188/2, Favoritenstraße 9-11, 1040 Vienna, stairway 3, 4th floor
SUMMARY:Evgenia Ternovska
DESCRIPTION:An Algebra of Modular Systems
URL;VALUE=URI:https://www.vcla.at/2016/02/evgenia-ternovska/
END:VEVENT
BEGIN:VEVENT
UID:3f6cb2877faf9441bccd157d761713bb@forsyteICS
DTSTART;TZID=Europe/Vienna:20160223T160000
DTEND;TZID=Europe/Vienna:20160223T170000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Johannes Hölzl
DESCRIPTION:Markov chains and Markov decision processes in Isabelle/HOL
URL;VALUE=URI:https://www.vcla.at/2016/02/johannes-holzl/
END:VEVENT
BEGIN:VEVENT
UID:884bfcd6b890441c7235852f04c10843@forsyteICS
DTSTART;TZID=Europe/Vienna:20160218T140000
DTEND;TZID=Europe/Vienna:20160218T150000
LOCATION:Seminar room von Neumann, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:Pierre Bourhis
DESCRIPTION:A Formal Study of Collaborative Access Control in Distributed Datalog
URL;VALUE=URI:https://www.vcla.at/2016/02/pierre-bourhis/
END:VEVENT
BEGIN:VEVENT
UID:fc49f8f41d28ce5cc0a14140c33c2a4b@forsyteICS
DTSTART;TZID=Europe/Vienna:20160216T130000
DTEND;TZID=Europe/Vienna:20160216T140000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Keren Censor-Hillel
DESCRIPTION:Distributed Algorithms as Combinatorial Structures
URL;VALUE=URI:https://www.vcla.at/2016/02/keren-censor-hillel/
END:VEVENT
BEGIN:VEVENT
UID:ee2b9b21000644cf593453b8eb5cb377@forsyteICS
DTSTART;TZID=Europe/Vienna:20160208T140000
DTEND;TZID=Europe/Vienna:20160208T150000
LOCATION:Menger room, Favoritenstrasse 11, 3rd floor, TU Wien
SUMMARY:Maria Gorinova
DESCRIPTION:Termination proving
URL;VALUE=URI:https://www.vcla.at/2016/02/maria-gorinova/
END:VEVENT
BEGIN:VEVENT
UID:0f90c7b7c79db35ca96c2d02b4ce2cbe@forsyteICS
DTSTART;TZID=Europe/Vienna:20160112T170000
DTEND;TZID=Europe/Vienna:20160112T180000
LOCATION:Menger room, Favoritenstrasse 11, 3rd floor, TU Wien
SUMMARY:Martin Suda
DESCRIPTION:Resolution-based Methods for Linear Temporal Reasoning
URL;VALUE=URI:https://www.vcla.at/2016/01/martin-suda/
END:VEVENT
BEGIN:VEVENT
UID:5fc83517b4d2aa7ab5ab21eb0b108b24@forsyteICS
DTSTART;TZID=Europe/Vienna:20151210T173000
DTEND;TZID=Europe/Vienna:20151210T183000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Sayan Mitra
DESCRIPTION:Automating invariant and progress proofs for distributed systems
URL;VALUE=URI:https://www.vcla.at/2015/11/sayan-mitra/
END:VEVENT
BEGIN:VEVENT
UID:ee4b8a610227faa0b3dd71b0acb8b881@forsyteICS
DTSTART;TZID=Europe/Vienna:20151012T100000
DTEND;TZID=Europe/Vienna:20151012T110000
LOCATION:Theresianumgasse 27, HS 1, 1040 Vienna
SUMMARY:Bertrand Meyer
DESCRIPTION:A Theory of Programs
URL;VALUE=URI:https://www.vcla.at/2015/10/bertrand-meyer/
END:VEVENT
BEGIN:VEVENT
UID:3cb356e76a59fbd3ae338a097fd8fa0f@forsyteICS
DTSTART;TZID=Europe/Vienna:20151006T133000
DTEND;TZID=Europe/Vienna:20151006T143000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:Miroslav Truszczynski
DESCRIPTION:Abstract Perspectives on Modularity in Knowledge Representation
URL;VALUE=URI:https://www.vcla.at/2015/09/miroslav-truszczynski/
END:VEVENT
BEGIN:VEVENT
UID:f017d4767c3188c8669e565ac4b30dca@forsyteICS
DTSTART;TZID=Europe/Vienna:20150922T100000
DTEND;TZID=Europe/Vienna:20150922T110000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:Piero Bonatti
DESCRIPTION:DL^N: a utilitarian nonmonotonic description logic
URL;VALUE=URI:https://www.vcla.at/2015/09/piero-bonatti/
END:VEVENT
BEGIN:VEVENT
UID:d177799e7b069f4917371ff98b36067b@forsyteICS
DTSTART;TZID=Europe/Vienna:20150814T101500
DTEND;TZID=Europe/Vienna:20150814T111500
LOCATION:Freihaus, green area, 5th floor, Hörsaal SEM 104
SUMMARY:Alexey Ignatiev
DESCRIPTION:Efficient Model Based Diagnosis with Maximum Satisfiability
URL;VALUE=URI:https://www.vcla.at/2015/08/alexey-ignatiev/
END:VEVENT
BEGIN:VEVENT
UID:d2614fc1251f8f3b43320797d98706d4@forsyteICS
DTSTART;TZID=Europe/Vienna:20150814T093000
DTEND;TZID=Europe/Vienna:20150814T103000
LOCATION:Freihaus, green area, 5th floor, Hörsaal SEM 104
SUMMARY:Caterina Urban
DESCRIPTION:Abstract Interpretation as Automated Deduction
URL;VALUE=URI:https://www.vcla.at/2015/08/caterina-urban/
END:VEVENT
BEGIN:VEVENT
UID:b3b94d5fd836ce3cb62b499fb965fc5c@forsyteICS
DTSTART;TZID=Europe/Vienna:20150804T103000
DTEND;TZID=Europe/Vienna:20150804T113000
LOCATION:Menger room, Favoritenstrasse 11, 3rd floor
SUMMARY:Sarah Kirchner
DESCRIPTION:Appointment scheduling in hospitals - sequencing and scheduling using time aggregation
URL;VALUE=URI:https://www.vcla.at/2015/08/sarah-kirchner/
END:VEVENT
BEGIN:VEVENT
UID:b01968e1718b407d6b88cae92e345fa2@forsyteICS
DTSTART;TZID=Europe/Vienna:20150804T160000
DTEND;TZID=Europe/Vienna:20150804T170000
LOCATION:Menger room, Favoritenstrasse 11, 3rd floor 
SUMMARY:Stephan Holzer
DESCRIPTION:New Algorithms and Lower Bounds in Distributed Computing
URL;VALUE=URI:https://www.vcla.at/2015/08/stephan-holzer/
END:VEVENT
BEGIN:VEVENT
UID:c1f3841a41d0ad75ff15d53269534d48@forsyteICS
DTSTART;TZID=Europe/Vienna:20150707T140000
DTEND;TZID=Europe/Vienna:20150707T150000
LOCATION:Seminarroom E186 (Favoritenstrasse 9-11, 5th floor)
SUMMARY:Alexandru Popa
DESCRIPTION:Algorithmic and Hardness Results for the Colorful Components Problems
URL;VALUE=URI:https://www.vcla.at/2015/07/alexandru-popa/
END:VEVENT
BEGIN:VEVENT
UID:6f1901b5efc828e03986062d61b6a954@forsyteICS
DTSTART;TZID=Europe/Vienna:20150702T110000
DTEND;TZID=Europe/Vienna:20150702T120000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Paolo Papotti
DESCRIPTION:Beyond declarative data cleaning
URL;VALUE=URI:https://www.vcla.at/2015/06/paolo-papotti/
END:VEVENT
BEGIN:VEVENT
UID:4511e8113fa93639e9a65e3b6999352c@forsyteICS
DTSTART;TZID=Europe/Vienna:20150629T180000
DTEND;TZID=Europe/Vienna:20150629T190000
LOCATION:Lecture hall EI10, Gußhausstraße 27-29, 1040 Vienna
SUMMARY:Dana S. Scott
DESCRIPTION:Can Modalities Save Naive Set Theory?
URL;VALUE=URI:https://www.vcla.at/2015/06/dana-s-scott/
END:VEVENT
BEGIN:VEVENT
UID:1b46d09702f7662a939aa3126439745b@forsyteICS
DTSTART;TZID=Europe/Vienna:20150708T160000
DTEND;TZID=Europe/Vienna:20150708T170000
LOCATION:EI 2 Pichelmayer Hörsaal
SUMMARY:Peter Stadler
DESCRIPTION:Dynamic Programming for Lazy Bastards
URL;VALUE=URI:https://www.vcla.at/2015/06/peter-stadler/
END:VEVENT
BEGIN:VEVENT
UID:1cd0140cf54211c6ab4c59b419214243@forsyteICS
DTSTART;TZID=Europe/Vienna:20150624T130000
DTEND;TZID=Europe/Vienna:20150624T140000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:Wolfgang Gatterbauer
DESCRIPTION:The Linearization of Pairwise Markov Random Fields
URL;VALUE=URI:https://www.vcla.at/2015/06/wolfgang-gatterbauer/
END:VEVENT
BEGIN:VEVENT
UID:df6ee82a8f55aead3dfec99b9819bb67@forsyteICS
DTSTART;TZID=Europe/Vienna:20150610T160000
DTEND;TZID=Europe/Vienna:20150610T170000
LOCATION: Lecture hall EI2, Gußhausstraße 25, 2.Stock, Stiege VIII
SUMMARY:Tomas Vojnar
DESCRIPTION:From Pointers to List Containers
URL;VALUE=URI:https://www.vcla.at/2015/06/tomas-vojnar/
END:VEVENT
BEGIN:VEVENT
UID:000db4c58b4a2cbbc710c37a5e7551b8@forsyteICS
DTSTART;TZID=Europe/Vienna:20150521T170000
DTEND;TZID=Europe/Vienna:20150521T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:András Vörös
DESCRIPTION:Saturation-based incremental LTL model checking with inductive proofs
URL;VALUE=URI:https://www.vcla.at/2015/05/andras-voros/
END:VEVENT
BEGIN:VEVENT
UID:981a12d969fec39951ec725f1987ebd0@forsyteICS
DTSTART;TZID=Europe/Vienna:20150518T150000
DTEND;TZID=Europe/Vienna:20150518T160000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:Wolfgang Dvorak
DESCRIPTION:Welfare Maximization with Friends-of-Friends Network Externalities
URL;VALUE=URI:https://www.vcla.at/2015/05/wolfgang-dvorak/
END:VEVENT
BEGIN:VEVENT
UID:83b17b899909f95e06047212d89ba5e7@forsyteICS
DTSTART;TZID=Europe/Vienna:20150506T111500
DTEND;TZID=Europe/Vienna:20150506T121500
LOCATION:Seminarroom E186 (Favoritenstrasse 9-11, 5th floor) 
SUMMARY:Hubie Chen
DESCRIPTION:The Logic of Counting Query Answers: A Study via Existential Positive Queries
URL;VALUE=URI:https://www.vcla.at/2015/05/hubie-chen-2/
END:VEVENT
BEGIN:VEVENT
UID:8015b08b3c75cb5a04fe397aa99aee64@forsyteICS
DTSTART;TZID=Europe/Vienna:20150430T170000
DTEND;TZID=Europe/Vienna:20150430T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Yoram Moses
DESCRIPTION:Principles of Coordination in Multi-agent Systems
URL;VALUE=URI:https://www.vcla.at/2015/05/yoram-moses/
END:VEVENT
BEGIN:VEVENT
UID:10f86be954beb5cb9c30b51e3c49ec15@forsyteICS
DTSTART;TZID=Europe/Vienna:20150428T110000
DTEND;TZID=Europe/Vienna:20150428T120000
LOCATION:Seminar room von Neumann, Favoritentstraße 9-11, 1040 Vienna
SUMMARY:Neng-Fa Zhou
DESCRIPTION:The Picat Language and System
URL;VALUE=URI:https://www.vcla.at/2015/05/neng-fa-zhou/
END:VEVENT
BEGIN:VEVENT
UID:bcacd7f87e987a7b96995675eee00461@forsyteICS
DTSTART;TZID=Europe/Vienna:20150427T110000
DTEND;TZID=Europe/Vienna:20150427T120000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Andrej Bauer
DESCRIPTION:An Introduction to Algebraic Effects and Handlers
URL;VALUE=URI:https://www.vcla.at/2015/05/andrej-bauer/
END:VEVENT
BEGIN:VEVENT
UID:083a5dc797991e8efa2965bc4c571500@forsyteICS
DTSTART;TZID=Europe/Vienna:20150424T113000
DTEND;TZID=Europe/Vienna:20150424T123000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
SUMMARY:James Anderson
DESCRIPTION:Graph Decomposition for Large-Scale Dynamical System Analysis
URL;VALUE=URI:https://www.vcla.at/2015/04/james-anderson/
END:VEVENT
BEGIN:VEVENT
UID:54e630f8a8e5531d08b3faac8d1d8a15@forsyteICS
DTSTART;TZID=Europe/Vienna:20150324T160000
DTEND;TZID=Europe/Vienna:20150324T170000
LOCATION:Seminar Room Goedel, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Hannes Strass
DESCRIPTION:Abstract Argumentation and Approximation Fixpoint Theory  March 24, 2015
URL;VALUE=URI:https://www.vcla.at/2015/03/hannes-strass/
END:VEVENT
BEGIN:VEVENT
UID:91d5cfe3ca96cf8bb63dc3abba4dbf89@forsyteICS
DTSTART;TZID=Europe/Vienna:20150219T170000
DTEND;TZID=Europe/Vienna:20150219T180000
LOCATION:Seminar Room Zemanek
SUMMARY:Roopsha Samanta
DESCRIPTION:Succinct Representation of Concurrent Trace Sets
URL;VALUE=URI:https://www.vcla.at/2015/02/roopsha-samanta/
END:VEVENT
BEGIN:VEVENT
UID:39b6d9076df941124fcfaea9568e33e1@forsyteICS
DTSTART;TZID=Europe/Vienna:20150218T140000
DTEND;TZID=Europe/Vienna:20150218T150000
LOCATION:Seminarroom E186 (Favoritenstrasse 9-11, 5th floor)
SUMMARY:Iyad Kanj
DESCRIPTION:On Bounded-Degree Plane Geometric Spanners
URL;VALUE=URI:https://www.vcla.at/2015/02/iyad-kanj-2/
END:VEVENT
BEGIN:VEVENT
UID:90c51175b6e9eabc0f412acd67fa9b37@forsyteICS
DTSTART;TZID=Europe/Vienna:20150127T173000
DTEND;TZID=Europe/Vienna:20150127T183000
LOCATION:El 4, TU Wien
SUMMARY:Helmut Seidl
DESCRIPTION:Parametric Strategy Iteration
URL;VALUE=URI:https://www.vcla.at/2015/02/helmut-seidl/
END:VEVENT
BEGIN:VEVENT
UID:31aab14762e79c0b1416a71912d61023@forsyteICS
DTSTART;TZID=Europe/Vienna:20141218T170000
DTEND;TZID=Europe/Vienna:20141218T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Gordon Cichon
DESCRIPTION:Formal Semantics of Synchronous Transfer Architecture Dec. 18, 2014
URL;VALUE=URI:https://www.vcla.at/2014/12/gordon-cichon/
END:VEVENT
BEGIN:VEVENT
UID:728a7f0843609570df191c17d1977a5f@forsyteICS
DTSTART;TZID=Europe/Vienna:20141204T170000
DTEND;TZID=Europe/Vienna:20141204T180000
LOCATION:Semina room Zemanek, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Christian Scheideler
DESCRIPTION:Towards a rigorous base for the design of P2P systems\n\nThursday, December 4, 2014 at 17:00
URL;VALUE=URI:https://www.vcla.at/2014/12/christian-scheideler/
END:VEVENT
BEGIN:VEVENT
UID:b5cd6199893be598ea654e31a010f370@forsyteICS
DTSTART;TZID=Europe/Vienna:20141127T170000
DTEND;TZID=Europe/Vienna:20141127T180000
LOCATION:
SUMMARY:Pavithra Prabhakar
DESCRIPTION:Algorithmic Verification of Stability of Hybrid Systems\n\nThursday, November 27, 2014 at 17:00
URL;VALUE=URI:https://www.vcla.at/2014/12/pavithra-prabhakar/
END:VEVENT
BEGIN:VEVENT
UID:a3aba812a9c44b1ae51c831bcfa4b3d0@forsyteICS
DTSTART;TZID=Europe/Vienna:20141127T153000
DTEND;TZID=Europe/Vienna:20141127T163000
LOCATION:
SUMMARY:Lenore D. Zuck
DESCRIPTION:Parameterized Verification: Theory and Practice\n\nThursday, November 27, 2014 at 15:30
URL;VALUE=URI:https://www.vcla.at/2014/12/lenore-d-zuck/
END:VEVENT
BEGIN:VEVENT
UID:7600d4c9b8fb327700f96ff8d81378d7@forsyteICS
DTSTART;TZID=Europe/Vienna:20141120T170000
DTEND;TZID=Europe/Vienna:20141120T180000
LOCATION:
SUMMARY:Nathan Wasser
DESCRIPTION:Abstraction On-Demand: Automatically Generating Invariants for Loops and Recursive Method Calls\n\nThursday, November 20, 2014 at 17:00
URL;VALUE=URI:https://www.vcla.at/2014/12/nathan-wasser/
END:VEVENT
BEGIN:VEVENT
UID:9b4697f7f754b955811652efb0f93b73@forsyteICS
DTSTART;TZID=Europe/Vienna:20141124T120000
DTEND;TZID=Europe/Vienna:20141124T130000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11
SUMMARY:Vinay K. Chaudhri
DESCRIPTION:An Architecture for Intelligence Using Prototypes, Composition and Analogy
URL;VALUE=URI:https://www.vcla.at/2014/10/vinay-k-chaudhri/
END:VEVENT
BEGIN:VEVENT
UID:c9ba6485c7976f80e8c35b8d4340c87c@forsyteICS
DTSTART;TZID=Europe/Vienna:20141008T110000
DTEND;TZID=Europe/Vienna:20141008T120000
LOCATION:Seminar room Gödel (Favoritenstraße 9-11, 1040 Vienna)
SUMMARY:Stefan Mengel
DESCRIPTION:Understanding model counting for beta-acyclic CNF-formulas\n\nWednesday, October 8, 2014 at 11:00
URL;VALUE=URI:https://www.vcla.at/2014/10/stefan-mengel/
END:VEVENT
BEGIN:VEVENT
UID:f442945a241e81de746e80a8cccb193e@forsyteICS
DTSTART;TZID=Europe/Vienna:20141009T150000
DTEND;TZID=Europe/Vienna:20141009T160000
LOCATION:Seminar room Gödel, (Favoritenstrasse 9-11, ground floor)
SUMMARY:Johann A. Makowsky
DESCRIPTION:Sets and Logic for CS: How to teach what is useful
URL;VALUE=URI:https://www.vcla.at/2014/10/johann-a-makowsky-2/
END:VEVENT
BEGIN:VEVENT
UID:bbb0834cb6093b926b8981cd92524dbf@forsyteICS
DTSTART;TZID=Europe/Vienna:20141027T150000
DTEND;TZID=Europe/Vienna:20141027T160000
LOCATION:Seminar room Gödel, Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Marco Maratea
DESCRIPTION:Multi-Engine Answer Set Programming\n\nMonday, October 27, 2014 at 15:00
URL;VALUE=URI:https://www.vcla.at/2014/10/marco-maratea/
END:VEVENT
BEGIN:VEVENT
UID:d6b41c135656b77c74ed1d0c09d4cc9d@forsyteICS
DTSTART;TZID=Europe/Vienna:20140930T110000
DTEND;TZID=Europe/Vienna:20140930T120000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11
SUMMARY:M. S. Ramanujan
DESCRIPTION:Solving d-SAT via backdoors to small treewidth
URL;VALUE=URI:https://www.vcla.at/2014/09/m-s-ramanujan-2/
END:VEVENT
BEGIN:VEVENT
UID:d7c9ac96573cb362264c40752dd9d7b1@forsyteICS
DTSTART;TZID=Europe/Vienna:20140930T150000
DTEND;TZID=Europe/Vienna:20140930T160000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11
SUMMARY:Ringo Baumann
DESCRIPTION:Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation
URL;VALUE=URI:https://www.vcla.at/2014/09/ringo-baumann/
END:VEVENT
BEGIN:VEVENT
UID:f44a82aec0c3d560ad16f0acc17c71de@forsyteICS
DTSTART;TZID=Europe/Vienna:20140728T120000
DTEND;TZID=Europe/Vienna:20140728T130000
LOCATION:Seminar room Goedel, Favoritenstraße 9-11
SUMMARY:EunJung Kim
DESCRIPTION:A parameterized algorithm for tree-cut width. \n\nMonday, July 28, 2014 at 12:00
URL;VALUE=URI:https://www.vcla.at/2014/07/eunjung-kim-2/
END:VEVENT
BEGIN:VEVENT
UID:87045ef1119dc8449a3b67803885390a@forsyteICS
DTSTART;TZID=Europe/Vienna:20140714T150000
DTEND;TZID=Europe/Vienna:20140714T160000
LOCATION:Seminarroom von Neumann (Favoritenstrasse 9-11, ground floor)
SUMMARY:Jeff Z. Pan
DESCRIPTION:Approximate Reasoning for Description Logics based Ontologies \n\nMonday, July 14, 2014 at 15:00
URL;VALUE=URI:https://www.vcla.at/2014/07/jeff-z-pan/
END:VEVENT
BEGIN:VEVENT
UID:6fb79bd9832589f16fe314184abffcdc@forsyteICS
DTSTART;TZID=Europe/Vienna:20140710T100000
DTEND;TZID=Europe/Vienna:20140710T110000
LOCATION:Seminar Room Menger, 3rd floor, Favoritenstraße 9-11
SUMMARY:Sebastian Ordyniak
DESCRIPTION:A more general approach for Backdoor Sets into SAT and CSP
URL;VALUE=URI:https://www.vcla.at/2014/07/sebastian-ordyniak/
END:VEVENT
BEGIN:VEVENT
UID:efd4aaedf2bdd1b7977bd54fa1c926d8@forsyteICS
DTSTART;TZID=Europe/Vienna:20140708T160000
DTEND;TZID=Europe/Vienna:20140708T170000
LOCATION:Seminar room 188/2, 4th floor of Favoritenstraße 9-11
SUMMARY:Anthony Widjaja Lin
DESCRIPTION:A linear-time algorithm for the orbit problem over cyclic groups
URL;VALUE=URI:https://www.vcla.at/2014/07/anthony-widjaja-lin/
END:VEVENT
BEGIN:VEVENT
UID:c2d2305a61461baf6b524c1d1abe8a95@forsyteICS
DTSTART;TZID=Europe/Vienna:20140612T121500
DTEND;TZID=Europe/Vienna:20140612T131500
LOCATION:Seminar room Goedel, Favoritenstraße 9-11
SUMMARY:Gábor Erdélyi
DESCRIPTION:Algorithms and Elections; June 12, 2014
URL;VALUE=URI:https://www.vcla.at/2014/06/gabor-erdelyi/
END:VEVENT
BEGIN:VEVENT
UID:d1a0d6edc0e0fe084d07123e269e1f91@forsyteICS
DTSTART;TZID=Europe/Vienna:20140604T100000
DTEND;TZID=Europe/Vienna:20140604T110000
LOCATION:Seminar room 187/2 (Favoritenstrasse 9-11, 2nd floor)
SUMMARY:Massimiliano Giacomin
DESCRIPTION:An input/output characterization of abstract argumentation frameworks and semantics - June 4, 10:00
URL;VALUE=URI:https://www.vcla.at/2014/05/massimiliano-giacomin/
END:VEVENT
BEGIN:VEVENT
UID:2bb7f40d45cdff8fe00b79673f3b5211@forsyteICS
DTSTART;TZID=Europe/Vienna:20140508T170000
DTEND;TZID=Europe/Vienna:20140508T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna ground floor
SUMMARY:Jakob Lechner
DESCRIPTION:Mitigation of Transient Faults and Timing Variations in GALS Circuits - May 8, 5pm
URL;VALUE=URI:https://www.vcla.at/2014/05/jakob-lechner/
END:VEVENT
BEGIN:VEVENT
UID:3d7921e222de0504158a4d9de84db98e@forsyteICS
DTSTART;TZID=Europe/Vienna:20140325T120000
DTEND;TZID=Europe/Vienna:20140325T130000
LOCATION:lecture room FH HS7 (Wiedner Hauptstr. 8, yellow area, second floor) 
SUMMARY:Son Cao Tran
DESCRIPTION:Combining ASP and Prolog; March 25, 12:00
URL;VALUE=URI:https://www.vcla.at/2014/03/son-cao-tran/
END:VEVENT
BEGIN:VEVENT
UID:edda60f45f1fefd2eb21038b187330b6@forsyteICS
DTSTART;TZID=Europe/Vienna:20140303T170000
DTEND;TZID=Europe/Vienna:20140303T180000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:M. S. Ramanujan
DESCRIPTION:Parameterized Algorithms to Preserve Connectivity; March 3, 2014
URL;VALUE=URI:https://www.vcla.at/2014/02/m-s-ramanujan/
END:VEVENT
BEGIN:VEVENT
UID:8d65ed1a708b44aa4c6f759e7416af24@forsyteICS
DTSTART;TZID=Europe/Vienna:20140108T113000
DTEND;TZID=Europe/Vienna:20140108T123000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Matthias Mnich
DESCRIPTION:A Complexity Dichotomy for the Steiner Multicut Problem; Jan 8th, 11:30
URL;VALUE=URI:https://www.vcla.at/2014/01/matthias-mnich/
END:VEVENT
BEGIN:VEVENT
UID:a2aca087bbe4c9dd77522570b89c35b6@forsyteICS
DTSTART;TZID=Europe/Vienna:20140109T170000
DTEND;TZID=Europe/Vienna:20140109T180000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Franz Wotawa
DESCRIPTION:Test automation – How far shall we go? Thursday, Jan. 9th, 17:00
URL;VALUE=URI:https://www.vcla.at/2014/01/franz-wotawa/
END:VEVENT
BEGIN:VEVENT
UID:6f9913d203e540d82e12a30ea7a9f173@forsyteICS
DTSTART;TZID=Europe/Vienna:20131217T160000
DTEND;TZID=Europe/Vienna:20131217T170000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Adam Rogalewicz
DESCRIPTION:The Tree Width of Separation Logic with Recursive Definitions\n\nTuesday, December 17, 2013 at 16:00
URL;VALUE=URI:https://www.vcla.at/2013/12/adam-rogalewicz/
END:VEVENT
BEGIN:VEVENT
UID:3682341e3d41957626b67519221a4c6a@forsyteICS
DTSTART;TZID=Europe/Vienna:20131205T170000
DTEND;TZID=Europe/Vienna:20131205T180000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Mira Mezini
DESCRIPTION:From Active to Reactive Objects\n\nThursday, December 5, 2013 at 17:00
URL;VALUE=URI:https://www.vcla.at/2013/12/mira-mezini/
END:VEVENT
BEGIN:VEVENT
UID:3c025fc835c1c77b1b40f0f00f8953d9@forsyteICS
DTSTART;TZID=Europe/Vienna:20131206T110000
DTEND;TZID=Europe/Vienna:20131206T120000
LOCATION:Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)
SUMMARY:Petr Rockai
DESCRIPTION:Explicit State Model Checking with DIVINE; December 6th, 2013
URL;VALUE=URI:https://www.vcla.at/2013/12/petr-rockai/
END:VEVENT
BEGIN:VEVENT
UID:da2e258f53aa31e63b6f3f1dd623316d@forsyteICS
DTSTART;TZID=Europe/Vienna:20131127T170000
DTEND;TZID=Europe/Vienna:20131127T180000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:George Metcalfe
DESCRIPTION:Proof Theory for Lattice-Ordered Groups; November 27, 2013
URL;VALUE=URI:https://www.vcla.at/2013/11/george-metcalfe/
END:VEVENT
BEGIN:VEVENT
UID:128186d792986cb8ae32f678fa770ad6@forsyteICS
DTSTART;TZID=Europe/Vienna:20131120T170000
DTEND;TZID=Europe/Vienna:20131120T180000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Esko Turunen
DESCRIPTION:Pavelka style fuzzy logic over Chang's MV-algebra; November 20, 5pm
URL;VALUE=URI:https://www.vcla.at/2013/11/esko-turunen/
END:VEVENT
BEGIN:VEVENT
UID:ec34ce3c33008228342428411c1efe83@forsyteICS
DTSTART;TZID=Europe/Vienna:20131114T170000
DTEND;TZID=Europe/Vienna:20131114T180000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Alfons Laarman
DESCRIPTION:Multi-Core Model Checking; November 14th, 17:00
URL;VALUE=URI:https://www.vcla.at/2013/11/alfons-laarman/
END:VEVENT
BEGIN:VEVENT
UID:dfe003c4e4738ed88e26e13323149c77@forsyteICS
DTSTART;TZID=Europe/Vienna:20131111T140000
DTEND;TZID=Europe/Vienna:20131111T150000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Pedro Calabar
DESCRIPTION:Setting the stage for ASP functions; November 11, 2013
URL;VALUE=URI:https://www.vcla.at/2013/11/pedro-calabar/
END:VEVENT
BEGIN:VEVENT
UID:d97cf1d4802050de73f3c540d96d184b@forsyteICS
DTSTART;TZID=Europe/Vienna:20131107T170000
DTEND;TZID=Europe/Vienna:20131107T180000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Aniello Murano
DESCRIPTION:Enriched Modal Logics; November 7th, 17:00
URL;VALUE=URI:https://www.vcla.at/2013/11/aniello-murano/
END:VEVENT
BEGIN:VEVENT
UID:51db0a12bcf00618621b8bef86e8c32f@forsyteICS
DTSTART;TZID=Europe/Vienna:20131021T140000
DTEND;TZID=Europe/Vienna:20131021T150000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Meghyn Bienvenu
DESCRIPTION:Inconsistency-tolerant semantics for ontology-based data access; October 21st, 14:00h
URL;VALUE=URI:https://www.vcla.at/2013/10/meghyn-bienvenu/
END:VEVENT
BEGIN:VEVENT
UID:8fae30a7a271e1e294bbb35b4e81ac55@forsyteICS
DTSTART;TZID=Europe/Vienna:20130918T140000
DTEND;TZID=Europe/Vienna:20130918T150000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Sicun Gao
DESCRIPTION:Delta-Decisions over the Reals - September 18th, 2013; 14:00
URL;VALUE=URI:https://www.vcla.at/2013/09/sicun-gao/
END:VEVENT
BEGIN:VEVENT
UID:630649b9b61e8cc1a1a5404735dfe946@forsyteICS
DTSTART;TZID=Europe/Vienna:20130927T140000
DTEND;TZID=Europe/Vienna:20130927T150000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Chao Wang
DESCRIPTION:Symbolic Predictive Analysis for Improving the Reliability and Security of Concurrent Software\n\nFriday, September 27, 2013 at 14:00
URL;VALUE=URI:https://www.vcla.at/2013/09/chao-wang/
END:VEVENT
BEGIN:VEVENT
UID:3781843bc67445eb976907acdc9066f0@forsyteICS
DTSTART;TZID=Europe/Vienna:20130906T140000
DTEND;TZID=Europe/Vienna:20130906T150000
LOCATION:Seminar Room Goedel, Favoritenstr. 9-11, ground floor
SUMMARY:Kewen Wang
DESCRIPTION:Phase Transition in Answer Set Programming\n\nFriday, September 6, 2013 at 14:00
URL;VALUE=URI:https://www.vcla.at/2013/09/kewen-wang/
END:VEVENT
BEGIN:VEVENT
UID:ebde0645dc79d13a956fafde5977f060@forsyteICS
DTSTART;TZID=Europe/Vienna:20130829T120000
DTEND;TZID=Europe/Vienna:20130829T130000
LOCATION:Seminarraum Menger (Favoritenstrasse 9-11, Stiege 3, 3. Stock)
SUMMARY:Christoph Haase
DESCRIPTION:Graph-Based Approaches to Reasoning in Separation Logic\n\nThursday, August 29, 2013 at 12:00
URL;VALUE=URI:https://www.vcla.at/2013/08/christoph-haase/
END:VEVENT
BEGIN:VEVENT
UID:745299adfeccad699e5a48778741719c@forsyteICS
DTSTART;TZID=Europe/Vienna:20130821T123000
DTEND;TZID=Europe/Vienna:20130821T133000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Iyad Kanj
DESCRIPTION:On the Ordered List Subgraph Embedding Problems\n\nWednesday, August 21, 2013 at 12:30
URL;VALUE=URI:https://www.vcla.at/2013/08/iyad-kanj/
END:VEVENT
BEGIN:VEVENT
UID:b0d18109edb50aa445bc679b0ddc0cec@forsyteICS
DTSTART;TZID=Europe/Vienna:20130814T150000
DTEND;TZID=Europe/Vienna:20130814T160000
LOCATION:Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)
SUMMARY:Borzoo Bonakdarpou
DESCRIPTION:Automated synthesis of Fault-tolerant Distributed Algorithms August 14, 2013
URL;VALUE=URI:https://www.vcla.at/2013/08/borzoo-bonakdarpou/
END:VEVENT
BEGIN:VEVENT
UID:e73f66078df28f33b062dd9d87ccc45a@forsyteICS
DTSTART;TZID=Europe/Vienna:20130626T160000
DTEND;TZID=Europe/Vienna:20130626T170000
LOCATION:von Neumann seminar room
SUMMARY:Johann A. Makowsky
DESCRIPTION:Characterizing word functions recognized by weighted automata; June 26th, 16:00
URL;VALUE=URI:https://www.vcla.at/2013/06/johann-a-makowsky/
END:VEVENT
BEGIN:VEVENT
UID:44cef8b63c92ef980e9d80bf97a22454@forsyteICS
DTSTART;TZID=Europe/Vienna:20130614T160000
DTEND;TZID=Europe/Vienna:20130614T170000
LOCATION:El 3a Hoersaal (Room Number: CF0213) in Gußhausstrasse 25-29 (elektrotechnichal institute building), 2 floor.
SUMMARY:Joel Ouaknine
DESCRIPTION:A Survey of Classical and Real-Time Verification; June 14th, 16:00
URL;VALUE=URI:https://www.vcla.at/2013/06/joel-ouaknine/
END:VEVENT
BEGIN:VEVENT
UID:35b79fabc5e59e4bc0419a563b59407b@forsyteICS
DTSTART;TZID=Europe/Vienna:20130604T100000
DTEND;TZID=Europe/Vienna:20130604T110000
LOCATION:von Neumann seminar room
SUMMARY:Christoph Weidenbach
DESCRIPTION:The Design of Automated Reasoning Systems; June 4, 2013 - 10:00
URL;VALUE=URI:https://www.vcla.at/2013/06/christoph-weidenbach/
END:VEVENT
BEGIN:VEVENT
UID:a2c623aa8a8124308d3fee2820f5dd22@forsyteICS
DTSTART;TZID=Europe/Vienna:20130523T170000
DTEND;TZID=Europe/Vienna:20130523T180000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Alexey Gotsman
DESCRIPTION:Abstraction for Weakly Consistent Systems; May 23rd, 2013
URL;VALUE=URI:https://www.vcla.at/2013/05/alexey-gotsman/
END:VEVENT
BEGIN:VEVENT
UID:1d6e3ace131b6033bc5f9c6cfb970123@forsyteICS
DTSTART;TZID=Europe/Vienna:20130523T160000
DTEND;TZID=Europe/Vienna:20130523T170000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Doron Peled
DESCRIPTION:Concurrent Software Synthesis: Old Challenge - New Ideas; May 23rd, 2013
URL;VALUE=URI:https://www.vcla.at/2013/05/doron-peled/
END:VEVENT
BEGIN:VEVENT
UID:404384d054cbea1ff6024d49e27262fb@forsyteICS
DTSTART;TZID=Europe/Vienna:20130516T173000
DTEND;TZID=Europe/Vienna:20130516T183000
LOCATION:lecture hall EI 7, Gußhausstraße 27- 29, 1040 Vienna
SUMMARY:Donald Knuth
DESCRIPTION:Turing Award winner will inaugurate the Vienna Goedel Lecture series
URL;VALUE=URI:https://www.vcla.at/2013/05/donald-knuth/
END:VEVENT
BEGIN:VEVENT
UID:0108c5bd01710188a5be7f859d8596a4@forsyteICS
DTSTART;TZID=Europe/Vienna:20130418T170000
DTEND;TZID=Europe/Vienna:20130418T180000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Peter Robinson
DESCRIPTION:Sublinear Bounds for Randomized Leader Election April 18th, 2013
URL;VALUE=URI:https://www.vcla.at/2013/04/peter-robinson/
END:VEVENT
BEGIN:VEVENT
UID:46884a3ffc81d65e69c3142d137b3181@forsyteICS
DTSTART;TZID=Europe/Vienna:20130415T160000
DTEND;TZID=Europe/Vienna:20130415T170000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
SUMMARY:Andre Platzer
DESCRIPTION:How to prove your robot safe April 15th, 2013
URL;VALUE=URI:https://www.vcla.at/2013/04/andre-platzer/
END:VEVENT
BEGIN:VEVENT
UID:6df04afdd2a41d3639793aaa002620c1@forsyteICS
DTSTART;TZID=Europe/Vienna:20130422T110000
DTEND;TZID=Europe/Vienna:20130422T120000
LOCATION:Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)
SUMMARY:Hubie Chen
DESCRIPTION:Meditations on Quantified Constraint Satisfaction April 22nd, 2013
URL;VALUE=URI:https://www.vcla.at/2013/04/hubie-chen/
END:VEVENT
BEGIN:VEVENT
UID:6993c6a39d6c634ad10c67e3dbe6036d@forsyteICS
DTSTART;TZID=Europe/Vienna:20130411T170000
DTEND;TZID=Europe/Vienna:20130411T180000
LOCATION:Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna 
SUMMARY:Wilfried Steiner
DESCRIPTION:Model-Checking Fault-Tolerant Clock Synchronization Protocols April 11th, 17:00
URL;VALUE=URI:https://www.vcla.at/2013/04/wilfried-steiner/
END:VEVENT
BEGIN:VEVENT
UID:0aeb2a400a28e401a32354968427f424@forsyteICS
DTSTART;TZID=Europe/Vienna:20130307T170000
DTEND;TZID=Europe/Vienna:20130307T180000
LOCATION:seminar room Zemanek
SUMMARY:Reiner Hähnle
DESCRIPTION:Abstract Symbolic Execution; March 7th, 2013
URL;VALUE=URI:https://www.vcla.at/2013/03/reiner-hahnle/
END:VEVENT
BEGIN:VEVENT
UID:4e8bd98b056ddc057dc912bf67c6becb@forsyteICS
DTSTART;TZID=Europe/Vienna:20130328T150000
DTEND;TZID=Europe/Vienna:20130328T160000
LOCATION:Theresianumgasse HS 2 (4., Theresianumgasse 27) 
SUMMARY:Torsten Schaub
DESCRIPTION:Potassco, the Potsdam Answer Set Solving Collection; March 28th, 15:00
URL;VALUE=URI:https://www.vcla.at/2013/02/torsten-schaub/
END:VEVENT
BEGIN:VEVENT
UID:dcfe7876badc9a8934cfea174fae71d9@forsyteICS
DTSTART;TZID=Europe/Vienna:20130225T170000
DTEND;TZID=Europe/Vienna:20130225T180000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:EunJung Kim
DESCRIPTION:Linear kernels and single-exponential algorithms via protrusion decompositions; Feb. 25th, 17:00
URL;VALUE=URI:https://www.vcla.at/2013/02/eunjung-kim/
END:VEVENT
BEGIN:VEVENT
UID:e93fe47d44c9ea82304854daa2ee13cc@forsyteICS
DTSTART;TZID=Europe/Vienna:20130221T170000
DTEND;TZID=Europe/Vienna:20130221T180000
LOCATION:seminar room Zemanek
SUMMARY:Diego Calvanese
DESCRIPTION:Verification of Relational Data-Centric Dynamic Systems with External Services February 21st, 17:00
URL;VALUE=URI:https://www.vcla.at/2013/02/diego-calvanese/
END:VEVENT
BEGIN:VEVENT
UID:dcb7f8a4e712f23fb6dfa5554c6c9ad1@forsyteICS
DTSTART;TZID=Europe/Vienna:20130305T100000
DTEND;TZID=Europe/Vienna:20130305T110000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Pietro Baroni
DESCRIPTION:Abstract argumentation semantics: from limits to perspectives  Tuesday March 5th, 10:00 am
URL;VALUE=URI:https://www.vcla.at/2013/02/pietro-baroni/
END:VEVENT
BEGIN:VEVENT
UID:a4d4a074e03f9b01522983777846e59b@forsyteICS
DTSTART;TZID=Europe/Vienna:20130225T110000
DTEND;TZID=Europe/Vienna:20130225T120000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Loris Bozzato
DESCRIPTION:CKR: a general framework for context in Semantic Web  February 25th, 11 a.m.
URL;VALUE=URI:https://www.vcla.at/2013/02/loris-bozzato/
END:VEVENT
BEGIN:VEVENT
UID:7f97c9284edf19ddd97d4a1f7aa429b0@forsyteICS
DTSTART;TZID=Europe/Vienna:20130130T160000
DTEND;TZID=Europe/Vienna:20130130T170000
LOCATION:Seminar Room Gödel
SUMMARY:Samanta Roopsha
DESCRIPTION:Robustness Analysis of Networked Systems\n\nWednesday, January 30, 2013 at 16:00
URL;VALUE=URI:https://www.vcla.at/2013/01/samanta-roopsha/
END:VEVENT
BEGIN:VEVENT
UID:a67ea3472482bddd0e66cf3000773887@forsyteICS
DTSTART;TZID=Europe/Vienna:20130131T170000
DTEND;TZID=Europe/Vienna:20130131T180000
LOCATION:seminar room Zemanek
SUMMARY:Javier Esparza
DESCRIPTION:Parameterized Verification of Asynchronous Shared-Memory Systems
URL;VALUE=URI:https://www.vcla.at/2013/01/javier-esparza/
END:VEVENT
BEGIN:VEVENT
UID:da6e3815858a155b2f44592f7fb97fbe@forsyteICS
DTSTART;TZID=Europe/Vienna:20130117T170000
DTEND;TZID=Europe/Vienna:20130117T180000
LOCATION:seminar room Zemanek
SUMMARY:Alexander Pretschner
DESCRIPTION:Model-Based Security Testing: From Models to the Real World\n\nThursday, January 17, 2013 at 17:00
URL;VALUE=URI:https://www.vcla.at/2013/01/alexander-pretschner/
END:VEVENT
BEGIN:VEVENT
UID:b1db667dd0c1f76acb9e6713f8b5206c@forsyteICS
DTSTART;TZID=Europe/Vienna:20121213T140000
DTEND;TZID=Europe/Vienna:20121213T150000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Andrey Rybalchenko
DESCRIPTION:Program verification as constraint solving (also for existential and universal CTL properties)
URL;VALUE=URI:https://www.vcla.at/2012/12/andrey-rybalchenko/
END:VEVENT
BEGIN:VEVENT
UID:0172a81498dac547437373941eca6ec3@forsyteICS
DTSTART;TZID=Europe/Vienna:20121129T170000
DTEND;TZID=Europe/Vienna:20121129T180000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Tomer Kotek
DESCRIPTION:Applications of logic in graph theory: definability of graph invariants \n\nThursday, November 29, 2012 at 17:00
URL;VALUE=URI:https://www.vcla.at/2012/11/tomer-kotek/
END:VEVENT
BEGIN:VEVENT
UID:027d850a271b8cd11a14a627be008067@forsyteICS
DTSTART;TZID=Europe/Vienna:20121120T110000
DTEND;TZID=Europe/Vienna:20121120T120000
LOCATION:Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)
SUMMARY:Madalina Erascu
DESCRIPTION:Joint work with Tudor Jebelean (RISC, Austria) and Hoon Hong (NCSU, USA)
URL;VALUE=URI:https://www.vcla.at/2012/11/madalina-erascu/
END:VEVENT
BEGIN:VEVENT
UID:2dbfbfbeff27203a599044fc11360850@forsyteICS
DTSTART;TZID=Europe/Vienna:20121115T150000
DTEND;TZID=Europe/Vienna:20121115T160000
LOCATION:Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Miroslaw Truszczynski
DESCRIPTION:Connecting first-order ASP and the logic FO(ID) through reducts \n\nThursday, November 15, 2012 at 15:00
URL;VALUE=URI:https://www.vcla.at/2012/11/miroslaw-truszczynski/
END:VEVENT
BEGIN:VEVENT
UID:853ac8470bd21fcdf9f59665d2b36122@forsyteICS
DTSTART;TZID=Europe/Vienna:20121105T160000
DTEND;TZID=Europe/Vienna:20121105T170000
LOCATION:Seminarroom Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:James Delgrande
DESCRIPTION:Revising Horn Theories \n\nMonday, November 5, 2012 at 16:00
URL;VALUE=URI:https://www.vcla.at/2012/11/james-delgrande/
END:VEVENT
BEGIN:VEVENT
UID:d18b635ab84ad73bf5a4ab1fbe305a27@forsyteICS
DTSTART;TZID=Europe/Vienna:20121022T100000
DTEND;TZID=Europe/Vienna:20121022T110000
LOCATION:Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)
SUMMARY:Andreas Griesmayer
DESCRIPTION:Model checking Business Processes with Multi-Agent Systems\n\nMonday, October 22, 2012 at 10:00
URL;VALUE=URI:https://www.vcla.at/2012/10/andreas-griesmayr/
END:VEVENT
BEGIN:VEVENT
UID:516853769ebae500122c8eeef69fdf84@forsyteICS
DTSTART;TZID=Europe/Vienna:20121016T163000
DTEND;TZID=Europe/Vienna:20121016T173000
LOCATION:seminar room Zemanek
SUMMARY:Leonid Libkin
DESCRIPTION:Graph Logics and Relations on Words
URL;VALUE=URI:https://www.vcla.at/2012/10/leonid-libkin/
END:VEVENT
BEGIN:VEVENT
UID:bd98ce5e4e8ab82dffd14549974d4178@forsyteICS
DTSTART;TZID=Europe/Vienna:20121002T110000
DTEND;TZID=Europe/Vienna:20121002T120000
LOCATION:Seminarroom Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Robert Ganian
DESCRIPTION:Generalizing vertex cover as a graph parameter\n\nTuesday, October 2, 2012 at 11:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2012/09/robert-ganian/
END:VEVENT
BEGIN:VEVENT
UID:f1579441310f7f6d1c6856e14afc5425@forsyteICS
DTSTART;TZID=Europe/Vienna:20120904T150000
DTEND;TZID=Europe/Vienna:20120904T160000
LOCATION:TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte)
SUMMARY:Xavier Rival
DESCRIPTION:MemCAD, a Modular Abstract Domain for Reasoning on Memory States September 4th, 2012
URL;VALUE=URI:https://www.vcla.at/2012/08/xavier-rival/
END:VEVENT
BEGIN:VEVENT
UID:7b639fca3f9b03451666aacf553a5eb2@forsyteICS
DTSTART;TZID=Europe/Vienna:20120828
DTEND;TZID=Europe/Vienna:20120829
LOCATION:Seminar room Goedel, Favoritenstrasse 9-11, 1040 Vienna
SUMMARY:Workshop on Logic and Algebra
DESCRIPTION:August 28, 2012 Seminar room Goedel
URL;VALUE=URI:https://www.vcla.at/2012/08/workshop-on-logic-and-algebra/
END:VEVENT
BEGIN:VEVENT
UID:68790674af8fc784def1944c37079f6f@forsyteICS
DTSTART;TZID=Europe/Vienna:20120813T113000
DTEND;TZID=Europe/Vienna:20120813T123000
LOCATION:Seminar Room Gödel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Florent Madelaine
DESCRIPTION:On the complexity of the model checking problem for syntactic fragments of first-order logic\n\nMonday, August 13, 2012 at 11:30 (sharp)
URL;VALUE=URI:https://www.vcla.at/2012/08/florent-madelaine/
END:VEVENT
BEGIN:VEVENT
UID:e6f7e66c93cc8da7fc706bb74b63ad54@forsyteICS
DTSTART;TZID=Europe/Vienna:20120625T110000
DTEND;TZID=Europe/Vienna:20120625T120000
LOCATION:Seminarroom Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Iyad Kanj
DESCRIPTION:What makes normalized weighted satisfiability tractable\n\nMonday, June 25, 2012 at 11:00 c.t.
URL;VALUE=URI:https://www.vcla.at/2012/06/upcoming-talk-iyad-kanj/
END:VEVENT
BEGIN:VEVENT
UID:7c545e56ec6fb64fe0bab1645f02236d@forsyteICS
DTSTART;TZID=Europe/Vienna:20120622T150000
DTEND;TZID=Europe/Vienna:20120622T160000
LOCATION:Seminarraum 126, Gusshausstraße 26-30, 1st floor, room Nr. FB0113
SUMMARY:Ruslan Smeliansky
DESCRIPTION:Computer Systems Laboratory – Skills, Experience, Main Research Directions\n\nFriday, June 22, 2012 at 15:00
URL;VALUE=URI:https://www.vcla.at/2012/06/upcoming-talk-ruslan-smeliansky/
END:VEVENT
BEGIN:VEVENT
UID:c8f6b3d7c380dbb6f20bfb416995a258@forsyteICS
DTSTART;TZID=Europe/Vienna:20120620T110000
DTEND;TZID=Europe/Vienna:20120620T120000
LOCATION:Library E185.1, Argentinierstrasse 8, 4th floor
SUMMARY:Werner Dietl
DESCRIPTION:11:00–12:00 Verification Games: Making Verification Fun\n\n 14:00–16:00 Developing and using pluggable type systems\n\n Wednesday, June 20, 2012
URL;VALUE=URI:https://www.vcla.at/2012/06/upcoming-werner-dietl/
END:VEVENT
BEGIN:VEVENT
UID:9f3a9f50512ba629b7f50efcf834b008@forsyteICS
DTSTART;TZID=Europe/Vienna:20120614T170000
DTEND;TZID=Europe/Vienna:20120614T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11 (ground floor), 1040 Vienna
SUMMARY:Ana Sokolova
DESCRIPTION:Quantitative Relaxation of Concurrent Data Structures June 14th, at 17:00
URL;VALUE=URI:https://www.vcla.at/2012/06/upcoming-talk-ana-sokolova/
END:VEVENT
BEGIN:VEVENT
UID:b5a265272365c8b459fec99cb6e5444d@forsyteICS
DTSTART;TZID=Europe/Vienna:20120601T110000
DTEND;TZID=Europe/Vienna:20120601T120000
LOCATION:Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)
SUMMARY:Vladimir Zakharov
DESCRIPTION:Automata-theoretic approach to the equivalence checking problem for sequential programs June 1st, 2012
URL;VALUE=URI:https://www.vcla.at/2012/05/upcoming-talk-vladimir-zakharov-2/
END:VEVENT
BEGIN:VEVENT
UID:c0423f697ee27ddd09dab33e1e32dbd2@forsyteICS
DTSTART;TZID=Europe/Vienna:20120531T170000
DTEND;TZID=Europe/Vienna:20120531T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11 (ground floor), 1040 Vienna
SUMMARY:Vladimir Zakharov
DESCRIPTION:Equivalence Checking Problem: 1953 - 2011 (survey) May 31st, 2012
URL;VALUE=URI:https://www.vcla.at/2012/05/upcoming-talk-vladimir-zakharov/
END:VEVENT
BEGIN:VEVENT
UID:938c484fdd9f680ed0136be475402ea5@forsyteICS
DTSTART;TZID=Europe/Vienna:20120606T100000
DTEND;TZID=Europe/Vienna:20120606T160000
LOCATION:Lecture room 2, Theresianumgasse 27, 1040 Vienna
SUMMARY:Mini-Workshop
DESCRIPTION:Mini-Workshop on Logic, Proofs and Algorithms June 6th, 2012
URL;VALUE=URI:https://www.vcla.at/2012/05/upcoming-mini-workshop/
END:VEVENT
BEGIN:VEVENT
UID:f6f09e302544f7a12596b37e27add1b9@forsyteICS
DTSTART;TZID=Europe/Vienna:20120530T170000
DTEND;TZID=Europe/Vienna:20120530T180000
LOCATION:EI10 Fritz Paschke HS, Gusshaustrasse 27-29, Ground floor 
SUMMARY:Nikolaj Bjorner
DESCRIPTION:Taking Satisfiability to the Next Level with Z3  May 30th, at 17:00
URL;VALUE=URI:https://www.vcla.at/2012/05/upcoming-talk-nikolaj-bjorner/
END:VEVENT
BEGIN:VEVENT
UID:0605abf904f72119a70f0dd72a5267ba@forsyteICS
DTSTART;TZID=Europe/Vienna:20120525T110000
DTEND;TZID=Europe/Vienna:20120525T120000
LOCATION:Seminar room Argentinierstraße, Argentinierstrasse 8, ground floor, room number EAEG06 
SUMMARY:Byron Cook
DESCRIPTION:A new approach to temporal property verification  May 25th, 2012
URL;VALUE=URI:https://www.vcla.at/2012/05/upcoming-talk-byron-cook/
END:VEVENT
BEGIN:VEVENT
UID:a4c23142e435eba7f452f8b8585f434c@forsyteICS
DTSTART;TZID=Europe/Vienna:20120530T120000
DTEND;TZID=Europe/Vienna:20120530T130000
LOCATION:Seminarraum von Neumann
SUMMARY:Justyna Petke
DESCRIPTION:On the bridge between Constraint Satisfaction and Boolean Satisfiability May 30th, 2012, at 12pm (s.t.)
URL;VALUE=URI:https://www.vcla.at/2012/05/upcoming-talk-justyna-petke/
END:VEVENT
BEGIN:VEVENT
UID:38d7d7d27c0c985e4a82d0a6d51c5799@forsyteICS
DTSTART;TZID=Europe/Vienna:20120521T160000
DTEND;TZID=Europe/Vienna:20120521T170000
LOCATION:Seminar room Gödel
SUMMARY:Neeldhara Misra
DESCRIPTION:From FVS to F-deletion: the Story of a Simple Algorithm May 21st, 2012 at 16:00
URL;VALUE=URI:https://www.vcla.at/2012/05/upcoming-talk-neeldhara-misra/
END:VEVENT
BEGIN:VEVENT
UID:7eca84fd25c58b59912d3048658eaaee@forsyteICS
DTSTART;TZID=Europe/Vienna:20120507T140000
DTEND;TZID=Europe/Vienna:20120507T150000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11 (ground floor), 1040 Vienna
SUMMARY:Hubie Chen
DESCRIPTION:Decomposing First-Order Logic May 7th, 2:00pm in seminar room Zemanek
URL;VALUE=URI:https://www.vcla.at/2012/04/upcoming-talk-hubie-chen/
END:VEVENT
BEGIN:VEVENT
UID:6d75ca3784c59bab82941cd2455d85e4@forsyteICS
DTSTART;TZID=Europe/Vienna:20120426T170000
DTEND;TZID=Europe/Vienna:20120426T180000
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11 (ground floor), 1040 Vienna
SUMMARY:Christoph Lenzen
DESCRIPTION:Improved Bounds for Byzantine Self-stabilizing Clock Synchronization RiSE Seminar talk on April 26th, 2012
URL;VALUE=URI:https://www.vcla.at/2012/04/upcoming-talk-christoph-lenzen/
END:VEVENT
BEGIN:VEVENT
UID:f9d1a2885777435dc61ad1fc718ffe5d@forsyteICS
DTSTART;TZID=Europe/Vienna:20120504
DTEND;TZID=Europe/Vienna:20120506
LOCATION:Seminar room Zemanek, Favoritenstraße 9-11 (ground floor), 1040 Vienna
SUMMARY:Workshop: Concepts and Meaning
DESCRIPTION:Alexander Leitsch, Professor of Mathematics and Theoretical Computer Science, at TU Vienna, will turn 60 on May 20th, 2012. The workshop is held in honor of his many major contributions to logic, mathematics and computer science and their interactions.
URL;VALUE=URI:https://www.vcla.at/2012/04/upcoming-workshop-concepts-and-meaning/
END:VEVENT
BEGIN:VEVENT
UID:824612a1b0fc6e66a02c74cedb3cbac9@forsyteICS
DTSTART;TZID=Europe/Vienna:20120424T110000
DTEND;TZID=Europe/Vienna:20120424T120000
LOCATION:Seminarroom Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard) 
SUMMARY:Meghyn Bienvenu
DESCRIPTION:On the complexity of querying data through ontologies Tuesday, April 24th, 2012
URL;VALUE=URI:https://www.vcla.at/2012/04/upcoming-talk-meghyn-bienvenu/
END:VEVENT
BEGIN:VEVENT
UID:44f9ee5e35855b7fb266813410cd47f7@forsyteICS
DTSTART;TZID=Europe/Vienna:20120413T090000
DTEND;TZID=Europe/Vienna:20120413T130000
LOCATION:Seminar room Gödel
SUMMARY:D. Eckert, C. Klamler
DESCRIPTION:TUTORIAL: Social Choice - problems, results, tools and recent extensions  Friday, April 13th, 9:00 - 13:00 Seminar room Goedel
URL;VALUE=URI:https://www.vcla.at/2012/03/upcoming-daniel-eckert-christian-klamler/
END:VEVENT
BEGIN:VEVENT
UID:4cbf3ea2e7ba9e4bcbaf749825f34537@forsyteICS
DTSTART;TZID=Europe/Vienna:20120323T123000
DTEND;TZID=Europe/Vienna:20120323T133000
LOCATION:Seminar room von Neumann
SUMMARY:Simone Bova
DESCRIPTION:Expression Complexity of Conjunctive Queries Fr, 23 March, 12:30, seminar room von Neumann
URL;VALUE=URI:https://www.vcla.at/2012/03/upcoming-simone-bova/
END:VEVENT
BEGIN:VEVENT
UID:6d9d72825f6a44d28af29984adc72f5d@forsyteICS
DTSTART;TZID=Europe/Vienna:20120328
DTEND;TZID=Europe/Vienna:20120404
LOCATION:Seminar room Gödel
SUMMARY:Giorgio Levi
DESCRIPTION:Course on Abstract Interpretation: from theory to applications  March 28 to April 3, 2012 in seminar room Gödel
URL;VALUE=URI:https://www.vcla.at/2012/03/upcoming-giorgio-levi/
END:VEVENT
BEGIN:VEVENT
UID:61dca43e2bf2b520389affd10ba6aa88@forsyteICS
DTSTART;TZID=Europe/Vienna:20120315T170000
DTEND;TZID=Europe/Vienna:20120315T180000
LOCATION:Seminar room Zemanek
SUMMARY:Jasmin Fisher
DESCRIPTION:From Coding the Genome to Algorithms Decoding Life RiSE seminar talk on March 15, 2012
URL;VALUE=URI:https://www.vcla.at/2012/03/jasmin-fisher/
END:VEVENT
BEGIN:VEVENT
UID:37aa7f77c1b078e7b6d9d10745f0f0c2@forsyteICS
DTSTART;TZID=Europe/Vienna:20120308T170000
DTEND;TZID=Europe/Vienna:20120308T180000
LOCATION:Seminar room Zemanek
SUMMARY:Laura Kovacs
DESCRIPTION:Playing in the Grey Area of Proofs RiSE Seminar Talk on March 8, 2012
URL;VALUE=URI:https://www.vcla.at/2012/03/laura-kovacs/
END:VEVENT
BEGIN:VEVENT
UID:d88c54ac1a94ac97fc770ecccd5c2bf1@forsyteICS
DTSTART;TZID=Europe/Vienna:20120308T140000
DTEND;TZID=Europe/Vienna:20120628T160000
LOCATION:Seminar room Gödel / von Neumann
SUMMARY:Ana Sokolova
DESCRIPTION:Course on Coalgebra in Computer Science  March 8 to June 28, 2012 in seminar room Gödel / von Neumann
URL;VALUE=URI:https://www.vcla.at/2012/02/upcoming-ana-sokolova/
END:VEVENT
BEGIN:VEVENT
UID:f6d5bf59134beac52067ab5bd4e0b136@forsyteICS
DTSTART;TZID=Europe/Vienna:20120312
DTEND;TZID=Europe/Vienna:20120328
LOCATION:Seminar room Gödel
SUMMARY:Johannes Fürnkranz
DESCRIPTION:Course on Inductive Rule Learning  March 12-27, 2012 in seminar room Gödel
URL;VALUE=URI:https://www.vcla.at/2012/02/upcoming-course-johannes-furnkranz/
END:VEVENT
BEGIN:VEVENT
UID:e377b9cdfd278fbbd08062b7131b8042@forsyteICS
DTSTART;TZID=Europe/Vienna:20120221T110000
DTEND;TZID=Europe/Vienna:20120221T120000
LOCATION:Seminar Room Gödel
SUMMARY:Daniel Paulusma
DESCRIPTION:Lift Contractions  Joint work with: Petr Golovach, Marcin Kaminski and Dimitrios Thilikos  Tuesday, February 21, 2012 in seminar room Gödel
URL;VALUE=URI:https://www.vcla.at/2012/02/upcoming-talk-daniel-paulusma/
END:VEVENT
BEGIN:VEVENT
UID:137ca7533489fa55a87b9f099c526bf2@forsyteICS
DTSTART;TZID=Europe/Vienna:20120213T110000
DTEND;TZID=Europe/Vienna:20120213T120000
LOCATION:Seminarroom Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
SUMMARY:Olga Tveretina
DESCRIPTION:Relative Efficiency of Propositional Proof Systems Based on Resolution and OBDDs  The Knowledge Based Systems Group hosted a joint talk with Olga Tveretina on Monday, February 13, 2012.
URL;VALUE=URI:https://www.vcla.at/2012/02/olga-tveretina/
END:VEVENT
BEGIN:VEVENT
UID:99c6e848240964ca1bbfd1e43c1502c6@forsyteICS
DTSTART;TZID=Europe/Vienna:20120125
DTEND;TZID=Europe/Vienna:20120126
LOCATION:
SUMMARY:Edmund M. Clarke
DESCRIPTION:30 Years of Model Checking  At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
URL;VALUE=URI:https://www.vcla.at/2012/01/edmund-m-clarke/
END:VEVENT
BEGIN:VEVENT
UID:94538c9cbcc66531d9c3aa42364848da@forsyteICS
DTSTART;TZID=Europe/Vienna:20120125
DTEND;TZID=Europe/Vienna:20120126
LOCATION:
SUMMARY:Joao Marques-Silva
DESCRIPTION:Practical Algorithms for Minimal Unsatisfiable Core Extraction  At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
URL;VALUE=URI:https://www.vcla.at/2012/01/joao-marques-silva/
END:VEVENT
BEGIN:VEVENT
UID:c924f80e607f9b520f05a996022364b6@forsyteICS
DTSTART;TZID=Europe/Vienna:20120125
DTEND;TZID=Europe/Vienna:20120126
LOCATION:
SUMMARY:Georg Weissenbacher
DESCRIPTION:Battling Bugs with Interpolants  At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
URL;VALUE=URI:https://www.vcla.at/2012/01/georg-weissenbacher/
END:VEVENT
BEGIN:VEVENT
UID:10dbbda92761b9556f9b726aca8ec76c@forsyteICS
DTSTART;TZID=Europe/Vienna:20120125
DTEND;TZID=Europe/Vienna:20120126
LOCATION:
SUMMARY:Fedor V. Fomin
DESCRIPTION:Kernelization Algorithms  At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
URL;VALUE=URI:https://www.vcla.at/2012/01/fedor-v-fomin/
END:VEVENT
BEGIN:VEVENT
UID:63de24aec14269d13455742443e56446@forsyteICS
DTSTART;TZID=Europe/Vienna:20120125
DTEND;TZID=Europe/Vienna:20120126
LOCATION:
SUMMARY:Thomas A. Henzinger
DESCRIPTION:Formal Specification and Verification of Markovian Population Models  At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
URL;VALUE=URI:https://www.vcla.at/2012/01/thomas-a-henzinger/
END:VEVENT
BEGIN:VEVENT
UID:8fff7a6da20650a22943b8e23ccf1b13@forsyteICS
DTSTART;TZID=Europe/Vienna:20120110
DTEND;TZID=Europe/Vienna:20120111
LOCATION:
SUMMARY:Moritz Müller
DESCRIPTION:On lower bounds for Res(k)  Invited seminar talk.
URL;VALUE=URI:https://www.vcla.at/2012/01/moritz-muller/
END:VEVENT
BEGIN:VEVENT
UID:ffa562e9e5502d8c2817711f1e2f39b3@forsyteICS
DTSTART;TZID=Europe/Vienna:20110903
DTEND;TZID=Europe/Vienna:20110904
LOCATION:
SUMMARY:Daniel Lokshtanov
DESCRIPTION:Generalization and Specialization of Kernelization  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/10/daniel-lokshtanov/
END:VEVENT
BEGIN:VEVENT
UID:30c0b2d2c786cc1a0d00209cefd4ffc6@forsyteICS
DTSTART;TZID=Europe/Vienna:20110902
DTEND;TZID=Europe/Vienna:20110903
LOCATION:
SUMMARY:Anders Yeo
DESCRIPTION:Simultaneously Satisfying Linear Equations Over F_2: Parameterized Above Average  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/10/anders-yeo/
END:VEVENT
BEGIN:VEVENT
UID:2232564f9eabcffbad96f387b18387d4@forsyteICS
DTSTART;TZID=Europe/Vienna:20110902
DTEND;TZID=Europe/Vienna:20110903
LOCATION:
SUMMARY:Pierre Marquis
DESCRIPTION:A Few Words about Knowledge Compilation  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/10/pierre-marquis/
END:VEVENT
BEGIN:VEVENT
UID:594039811d56be46d8ae4833948cad89@forsyteICS
DTSTART;TZID=Europe/Vienna:20110903
DTEND;TZID=Europe/Vienna:20110904
LOCATION:
SUMMARY:Bart Jansen
DESCRIPTION:Kernelization for a Hierarchy of Structural Parameters  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/10/bart-jansen-at-worker-2011/
END:VEVENT
BEGIN:VEVENT
UID:6b4974564a80645a7e9f45d67d8f5210@forsyteICS
DTSTART;TZID=Europe/Vienna:20110904
DTEND;TZID=Europe/Vienna:20110905
LOCATION:
SUMMARY:Michael R. Fellows
DESCRIPTION:Kernelization and the Larger Picture of Practical Algorithmics, in Contemporary Context  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/09/michael-r-fellows-at-worker-2011/
END:VEVENT
BEGIN:VEVENT
UID:9ef0dcdb30e3dbec5c19206bed378c56@forsyteICS
DTSTART;TZID=Europe/Vienna:20110903
DTEND;TZID=Europe/Vienna:20110904
LOCATION:
SUMMARY:Sourav Chakraborty
DESCRIPTION:Property Testing: Sublinear Algorithms for Promise Problems  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/09/sourav-chakraborty-at-worker-2011/
END:VEVENT
BEGIN:VEVENT
UID:04d23d5ddcf8c828fe3c4bf222691315@forsyteICS
DTSTART;TZID=Europe/Vienna:20110902
DTEND;TZID=Europe/Vienna:20110903
LOCATION:
SUMMARY:Armin Biere
DESCRIPTION:Preprocessing and Inprocessing Techniques in SAT  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/09/armin-biere-at-worker-2011/
END:VEVENT
BEGIN:VEVENT
UID:1d12e772da3a8adb34d47060930bd15e@forsyteICS
DTSTART;TZID=Europe/Vienna:20110902T090000
DTEND;TZID=Europe/Vienna:20110902T100000
LOCATION:Vienna University of Technology, EI 9 Hlawka Hörsaal (Gußhausstrasse 25-29, ground floor)
SUMMARY:Fedor V. Fomin
DESCRIPTION:Protrusions in graphs and their applications  Invited talk at WorKer 2011.
URL;VALUE=URI:https://www.vcla.at/2011/09/fedor-v-fomin-at-worker-2011/
END:VEVENT
END:VCALENDAR