Alpine Verification Meeting 2017: Sep 18-21, Hungary

The registration is now open. Note that you have to register for the event AND the hotel.

Alpine Verification Meeting

RISE4CPS: July 22-23, co-located with CAV’17

RISE4CPS workshop aims to invite international world-renown researchers in the field of formal methods to to provide tutorials on computational tools for the design and the automated analysis of complex CPS and to foster potential collaborations of the workshop’s participants within the RISE network.

More info at or ask Ezio Bartocci.

The Third Workshop on Automated Inductive Theorem-Proving, 17-18 Nov, Vienna

More info here.

Inductive theorem proving is a topic of growing interest in the automated reasoning community. The Third Workshop on Automated Inductive Theorem-Proving – WAIT focuses on all relevant aspects of inductive reasoning.

The workshop is an informal event and aims to give researchers interested in the topic a chance to meet, exchange ideas and have an active platform for discussions.

We invite talks featuring demos and tutorials of inductive theorem provers, challenge problems, new directions of research or anything else of interest to the inductive theorem proving community.

CPS week: DARS workshop: Design & Analysis of Robust Systems

Roopsha Samanta from RiSE co-organizes the DARS workshop. Invited speakers from RiSE are Jan Otop, Ulrich Schmidt, and Roderick Bloem, they will discuss their research on the topic.

CPS Week 2016 Vienna: 11 – 14 April 2016

Cyber Physical Systems come to Vienna:
4 Conferences:

20 Workshops, 6 Tutorials,
1 Competition, 4 Summits

Joint ARTEMIS-IA Spring Event 2016

RiSE & LogiCS Spring School

We have grants for students! More details at

RiSE Spring School 2016, April 15-17

In collaboration with the LogiCS doctoral college, we’re organizing a spring school on logic and verification:
Dates: April 15 to April 17
Venue: TU Wien, Freihaus, Zeichensaal 3

The topics covered are first-order theorem proving, SMT solvers, as
well as synthesis and the verification of distributed algorithms.
Details and abstracts will soon be available on the webpage above.

RiSE Students meeting, Dec 16, 2015

We meet and decide what we want from our RiSE summer schools and other meetings
that are organized for us. Let’s design our dream workshop and school.

PUMA/RiSE workshop starts today! (Oct 19 – 23, 2015)

More information on PUMA web-page:


Austrian Computer Science Day 2015, October 15, TU Wien


DATE: October 15, 2015 (9am to 6pm)
LOCATION: Kuppelsaal of TU Wien

REGISTRATION: (free) by October 7 on

The Austrian Computer Science Day 2015 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.

We particularly encourage master’s and doctoral students
to attend.


Alois Ferscha (JKU Linz)
Tom Henzinger (IST Austria)
Magdalena Ortiz (TU Wien)
Radu Prodan (Innsbruck)
Stefanie Rinderle-Ma (Uni Wien)
Dieter Schmalstieg (TU Graz)
Emo Welzl (ETH Zuerich)

The program also includes:
– Presentation of the Heinz Zemanek Award for outstanding
dissertation in computer science and related areas
– Presentation of the program portfolio of the Ministry
for Transport, Innovation and Technology

(joint with European Computer Science Summit)
Britta Schinzel (University of Freiburg)

Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2015)

Sergiy Bogomolov co-organizes Workshop on Symbolic and Numerical Methods for Reachability Analysis.
Don’t miss it!