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


Michael Huth, Janos MakowskyLogic in Computer Science: A Teaching PerspectiveFri, Oct 06 at 12:00TU Wien, Kontaktraum…details
RiSE seminarDana Drachsler-CohenTBAWed, Oct 04 at 17:00IST Austriadetails
RiSE seminarVeselin RaychevTBATue, Sep 26 at 17:00IST Austriadetails
RiSE seminarMiriam GarcíaTBAWed, Sep 13 at 17:00IST Austriadetails
RiSE seminarJohannes KloosTBAWed, Sep 06 at 17:00IST Austriadetails
RiSE seminarJean-Pierre TalpinModel Checking the Flooding Time Synchronization ProtocolFri, Jun 30 at 13:00TU Wiendetails
RiSE seminarWojciech CzerwińskiRegular separability of one-countersMon, Jun 26 at 17:00IST Austriadetails
RiSE seminarFrantišek BlahoudekAdvances in omega-automata for formal methodsWed, Jun 21 at 17:00IST Austriadetails
RiSE seminarZvonimir Rakamaric SMACK Software Verification ToolchainWed, Jun 07 at 17:00TU Wiendetails
RiSE seminarAndrei VoronkovFirst-Order Interpolation and Interpolating Proofs SystemsWed, May 31 at 17:00TU Wiendetails
Odile PapiniPrioritized Assertional-Based Removed Sets Revision of DL-Lite Belief BasesWed, May 31 at 14:10Seminar Room Goedel,…details
RiSE seminarKarel HorákValue iteration in stochastic games of imperfect informationTue, May 23 at 17:00IST Austriadetails
Vladislav Ryzhikov and Michael Zakharyaschev Horn fragments of temporal logics and ontology-based access to temporal data Wed, Mar 22 at 11:10Seminarroom Zemanek,…details
Danny HermelinFractals for Kernelization Lower BoundsMon, Mar 06 at 11:30 Seminarraum von Neu…details
Ondřej KunčarCoCon: A Non-Leaking Conference SystemThu, Feb 23 at 16:00Seminarroom Menger, …details
Filippo BonchiFull Abstraction for Signal Flow GraphsTue, Feb 21 at 17:30Seminarraum Zemanek,…details
Rupak Majumdar[Software Testing] Hitting families of schedulesTue, Dec 06 at 17:30Seminarraum Argentin…details
Victor DalmauApproximation of MIN CSPMon, Nov 07 at 11:00Seminar room Gödel,…details
Johannes KinderHigh System-Code Security with Low OverheadThu, Oct 27 at 16:00Seminarraum Argentin…details
Tomáš VojnarAbstraction Refinement and Antichains for Trace Inclusion of Infinite State SystemsMon, Oct 24 at 17:00Seminar room Zemanek…details

Latest News

WWTF ICT project awarded to Igor Konnov

Igor Konnov (PI), together with Josef Widder (co-PI) and Helmut Veith (core team), are awarded an ICT research project APALACHE “Abstraction-based Parameterized TLA Checker” by the Vienna Science and Technology Fund WWTF.

Continue reading

Austrian Computer Science Day 2015

The Austrian Computer Science Day 2015, which takes place on October 15, features a range of talks by leading Austrian computer scientists, including topics such as computer games, augmented reality, aware systems, semantic web, business processes, and reliable systems. Register for free by October 7, 2015! This year’s speakers are: Alois Ferscha (JKU Linz) Tom […]

Continue reading

Helmut Veith receives CAV Award

The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).

Continue reading

Full news archive