CPS Week 2016 Vienna: 11 – 14 April 2016

Cyber Physical Systems come to Vienna:
4 Conferences:
HSCC, ICCPS, IPSN, RTAS

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 http://www.cpsweek.org/2016/

Congratulations to Martina Seidl with Habilitation!

Martina Seidl received “Habilitationsurkunde” in the beginning of February. More info you will find here.

Our hearty congratulations!

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

http://www.forsyte.at/events/love2016

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

Bad_Griesbach

Austrian Computer Science Day 2015, October 15, TU Wien

AUSTRIAN COMPUTER SCIENCE DAY
http://informatiktag.at

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

REGISTRATION: (free) by October 7 on
http://informatiktag.at/registration

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.

SPEAKERS:

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

KICK-OFF EVENT, OCTOBER 14:
(joint with European Computer Science Summit)
Britta Schinzel (University of Freiburg)

Martin Chmelík

Congratulations to Laura Kovacs with getting funded over the next 10 years!

Several Sweden universities including Chalmers University of Technology where Laura is an associate professor
are getting a large grant for the next 10 years. The grant is intended for basic research in the fields of autonomous systems
and software development. Find more details at http://www.wallenberg.com/kaw/en/sek-18-billion-research-autonomous-systems-and-software-development.

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!

Congratulations to Arjun Radhakrishna, RiSE graduate of IST with receiving 2014 ACM SIGBED Paul Caspi Memorial Dissertation Award