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 http://www.eziobartocci.com/rise4cps/ or ask Ezio Bartocci.
This year RiSE and LogiCS students are invited to participate in Alpine Verification Meeting 2017 in Visegrád, Hungary. This will be a four-day-event on the topics of formal verification, logics, games, synthesis, artificial intelligence, and decision procedures.
The format features two invited talks per day, student talks, followed by discussion tables, poster sessions, social events, and wellness.
The goal is to increase fruitful collaboration within students and invited speakers.
The meeting is organized by RiSE and Budapest University of Technology and Economics.
Dates and Location
||Monday, July 3 to Wednesday, July 5, 2017
||Neues EI (find on OpenStreetMap)
||Gusshausstraße 27-29, 1040 Wien
||Room EI 9 (ground floor)
More info at http://forsyte.at/events/laive-summer-school-2017/
There will be one day of lecture (main topic: SAT solving) given by Armin Biere and Martina Seidl.
* Lecture (blocked on one day)
24.10.2016, 11:00 – 18:00, Institute for Formal Models and Verification, JKU Linz
* Talks by participants (blocked on two days)
date will be fixed
More details — write to Martina!
(this is part of DK LogiCS)
We dearly invite you to visit RiSE Workshop 2016 in Sep 26-29:
More info at page.
The Vienna Center for Logic and Algorithms would like to invite you to a Q&A-session with Turing Award winner Leslie Lamport on May 31, 2016 at 6:00pm in Informatikhörsaal (Treitlstraße 3, 1040 Vienna).
Microsoft Research, USA
Title: A Mathematical View of Computer Systems – Q&A
Room: Informatikhörsaal (Treitlstraße 3, 1040 Vienna)
Time: 31.5.2016, 18:00
According to Leslie Lamport, mathematics provides what he believes to be the simplest and most powerful way to describe computer systems. On May 31st, he will answer questions regarding his lecture on “A Mathematical View of Computer Systems”, which can be viewed here: http://www.heidelberg-laureate-forum.org/blog/video/lecture-monday-august-24-2015-leslie-lamport/
Please note that this will be a Question&Answer session only – the audience is expected to watch the lecture and prepare questions beforehand. Leslie Lamport expects questions related to the scope of the talk, e.g., on modeling computer systems, rigorous systems engineering, temporal logic of actions, and verification.
Cyber Physical Systems come to Vienna:
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/
Martina Seidl received “Habilitationsurkunde” in the beginning of February. More info you will find here.
Our hearty congratulations!
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.