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: https://puma.informatik.tu-muenchen.de/wiki/BadGriesbach_2015


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!

Alpine Verification Meeting (AVM) 2015


Martina Seidl and Ana Sokolova organize AVM this year in beautiful Attersee, Austria.
Visit http://fmv.jku.at/avm15/ for more details.

PUMA/RiSE Workshop Sep 29 – Oct 3, Mondsee, Austria

Eisluafen am Mondsee
More info at http://arise.or.at/?p=1368

Vienna Summer of Logic, 9-24 July


RiSE co-organizes the largest event in the history of logic, Vienna Summer of Logic.
The Vienna Summer of Logic will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.
The event consists of three main logic streams: Logic in Computer Science, Mathematical Logic, and Logic in Artificial Intelligence.

• Logic in Computer Science / FLoC:
CAV, CSF, CSL-LICS, ICLP, IJCAR, ITP, RTA-TLCA, SAT, Workshops, Olympic Games, SAT/SMT School.

• Mathematical Logic:
LC, LATD, GeTFun 2.0, INFINITY, LG, NCPROOFS, KG Fellowship Competition.

• Logic in Artificial Intelligence:

8th International Conference on Tests & Proofs, 24-25 July, York, UK

Martina Seidl co-organizes 8th International Conference on Tests & Proofs, 24-25 July, York, UK.

The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality.

More details at

Worshop PSC: Proof, Structure, and Computation (co-located with LICS), 17-18 July

Ana Sokolova co-chairs “PSC: Proof, Structure, and Computation” workshop that is co-located with LICS conference, and is held in Vienna, Austria.

29th Symposium on Logic in Computer Science, Vienna 14-18 July

Thomas Henzinger co-chairs “Logic in Computer Science” conference this year.
Visit us in Vienna on 14-18 July.
More details can be found at http://lics.rwth-aachen.de/csl-lics14/.