Intensive course on Decision Procedures, 24 Oct, Linz

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)

RiSE workshop: Sep 26-29: call for your participation

We dearly invite you to visit RiSE Workshop 2016 in Sep 26-29:
More info at page.

Q&A-session with Leslie Lamport: May 31 at 6pm

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).

Leslie Lamport
Microsoft Research, USA
http://www.lamport.org
Title: A Mathematical View of Computer Systems – Q&A

======================================================================
Room: Informatikhörsaal (Treitlstraße 3, 1040 Vienna)
Time: 31.5.2016, 18:00
======================================================================

Abstract:
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.
======================================================================

We will miss you, Helmut Veith (1971-2016)

TU-Wien_by_Nadja-Meister_IMG_2978-1-772x654

Helmut Veith 1971-2016

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!

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.

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

Alpine Verification Meeting (AVM) 2015

Attersee2

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

Laura Kovács just got ERC Starting grant accepted! Our Congratulations!