Joint Workshop between CMACS and RiSE in Washington, DC
Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.
Continue reading
Research
Fundamental research topics include software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems. Industrial research is focusing on low level software, and embedded systems in the avionics and automotive sector.
Teaching
We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.
Talks (details)
VCLA
John D. Barrow
100 Years of Universes
Fri, Jul 26 at 18:30
Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien
detailsVCLA
Juliet Floyd
In and Out of Mind: Wittgenstein and Gödel, Post and Turing
Thu, Jul 25 at 17:00
Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien
detailsVCLA
Alessio Gizzi
Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations
Thu, Jul 11 at 12:45
Library 191-1 (Treitlstrasse 3, 3rd Floor)
detailsVCLA
Andrea Cali
Querying Web Data: A Computational Perspective
Mon, Jul 08 at 17:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
detailsVCLA
Andreas Pieris
Counting Database Repairs under Primary Keys Revisited
Mon, Jul 08 at 16:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
detailsVCLA
Peter Stuckey
The Multi-Agent Path Finding Problem
Mon, Jul 01 at 15:00
Seminarraum FAV 01 B (Seminarraum 187/2) (Favoritenstrasse 9-11 - 1. Obergeschoß Room Number: HF0109)
detailsVCLA
Olivia Erdélyi
Why Bother With Regulation and Ethics? We Just Develop the Technology...
Tue, Jun 25 at 13:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
detailsRiSE seminar
Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Mon, Jun 24 at 16:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
detailsVCLA
Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Mon, Jun 24 at 16:00
FAV Hörsaal 2 (room FAV HS 2), Favoritenstrasse 9-11, 1040, Vienna
detailsVCLA
Daniel Le Berre
Recursive Explore and Check Abstraction Refinement (RECAR)
Tue, Jun 18 at 14:00
Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
detailsVCLA
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Mon, Jun 17 at 10:00
FORSYTE/RiSE seminar talk by Mateus de Oliveira Oliveira (U. Bergen, http://unitslice.org/
detailsRiSE seminar
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Mon, Jun 17 at 10:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
detailsRiSE seminar
Aleksandar Nanevski
Type and Proof Structures for Concurrent Software Verification
Thu, Aug 16 at 17:00
TU Wien, Favoritenstr. 9-11, Seminarraum Gödel
detailsRiSE seminar
Joost-Pieter Katoen
Bayes meets Dijkstra -- Exact Inference by Program Verification
Wed, Jun 06 at 17:00
TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
detailsRiSE seminar
Warren Hunt
Industrial Hardware and Software Verification with ACL2
Wed, May 30 at 17:00
TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
detailsRiSE seminar
Joel Ouaknine
Program Invariants
Tue, May 29 at 15:45
IST, Mondi Seminar Room 2, Central Building
detailsRiSE seminar
Alexey Bakhirkin
Towards Fast Parametric Identification for STL
Wed, May 23 at 17:00
IST Austria, Mondi 2
detailsRiSE seminar
Stefan Schmid
Polynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic Approach
Wed, May 09 at 17:00
IST, Mondi 2
detailsRiSE seminar
Stefan Ratschan
Counter-example Guided Inductive Synthesis in the Continuous World
Tue, May 08 at 15:00
IST Austria, Mondi 2
detailsRiSE seminar
Oded Padon
Deductive verification of distributed protocols in first-order logic
Wed, Apr 18 at 17:00
IST Austria, Mondi 2
details▾
Latest News
Ten funded PhD and PostDoc positions
The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.
Continue readingFlorian Zuleger winning WWTF grant
Florian Zuleger was awarded a grant by WWTF for his research project “Automated Program Analysis for Bounds on Resource Consumption”. Florian’s project will develop new methods to extract bounds for loops, memory and bandwidth from imperative programs.
Continue readingWelcome Georg Weissenbacher
Georg Weissenbacher, leader of a WWTF funded Vienna Research Group, will start his work in our group on July 2. His project “Heisenbugs: From Detection to Explanation” is applying formal methods to identify hard-to-detect errors in computer systems. See a newspaper article on his work in “Der Standard”.
Continue readingAustrian Computer Science Day: June 28, 2012
http://www.informatiktag.at/
Continue readingUni-Finanzierung als Absurdes Theater (Der Standard)
An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. […]
Continue readingFull news archive
See all news.
