Talks

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

Logo ARiSEVCLA Logo

RiSE seminarWarren HunttbaWed, May 30 at 17:00TU Wien, tbadetails
RiSE seminarAlexey Bakhirkin Towards Fast Parametric Identification for STLWed, May 23 at 17:00IST Austria, Mondi 2details
Gyula O.H. KatonaCryptology, Isoperimetric Problems and ShadowsWed, May 23 at 11:15Seminar Room Gödel,…details
RiSE seminarMelkior OrnikDeception and Unpredictability in Control SystemsWed, May 16 at 17:00IST Austria, Mondi 2details
RiSE seminarStefan SchmidPolynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic ApproachWed, May 09 at 17:00IST, Mondi 2details
RiSE seminarStefan RatschanCounter-example Guided Inductive Synthesis in the Continuous WorldTue, May 08 at 15:00IST Austria, Mondi 2details
Christian KlamlerUsing Borda Scores for Ranking Sets of ObjectsThu, May 03 at 14:00Seminar Room 183/2, …details
RiSE seminarOded PadonDeductive verification of distributed protocols in first-order logicWed, Apr 18 at 17:00IST Austria, Mondi 2details
Daniel PaulusmaColouring Square-Free Graphs without Long Induced PathsWed, Apr 18 at 11:30Seminar Room Neumann…details
Henning FernauSelf-monitoring approximation algorithmsMon, Apr 09 at 17:00Seminar Room Neumann…details
RiSE seminarSergiy BogomolovTime-Triggered Conversion of Guards for Reachability Analysis of Hybrid AutomataThu, Apr 05 at 16:00IST Austriadetails
RiSE seminarLionel Briand Automated Testing of Autonomous SystemsWed, Apr 04 at 16:00IST Austria, Raiffei…details
RiSE seminarPhilipp RümmerDeciding and Interpolating Algebraic Data Types by ReductionFri, Mar 16 at 10:30TU Wien, HS Zemanek,…details
Benjamin NiedermannOn Ortho-Radial Drawings for Metro NetworksTue, Feb 27 at 11:00Library, Favoritenst…details
RiSE seminarAlexandra SilvaCALF — a categorical automata learning frameworkMon, Feb 26 at 17:00TU Wiendetails
Jorge FandinnoArgumentation Frameworks with Recursive Attacks and Evidence-Based SupportsWed, Feb 14 at 14:00Seminar Room Gödel,…details
Eunjung KimErdos-Posa Property of Chordless Cycles and its ApplicationsTue, Dec 19 at 16:00Library, Favoritenst…details
Przemysław Andrzej WałęgaHorn fragments of Halpern-Shoham logic: complexity vs expressivenessWed, Dec 13 at 11:30Seminar Room Neumann…details
Maarten LöfflerPleaching Pencil-&-Paper Picture PuzzlesWed, Nov 22 at 15:00Seminar Room Gödel,…details
Mohammad Farshi(Weakly) Self-approaching graphsMon, Nov 13 at 16:30Library, Favoritenst…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

FRIDA’15

We had great talks at FRIDA’15 workshop in Grenoble. The slides of some of the talks are available online.

Continue reading

Full news archive