Dagstuhl Seminar on Games and Decisions for Rigorous Systems Engineering

November 11–16 2012

Dagstuhl Seminar on Games and Decisions for Rigorous Systems Engineering
website

Dagstuhl Seminar on Games and Decisions for Rigorous Systems Engineering

November 11–16 2012

website

Joint PUMA/ARiSE Workshop in Goldegg

September 24–28 2012

Joint PUMA/ARiSE Workshop in Goldegg
website
photo gallery

Winter School on Verification

February 6–10 2012

ARiSE and VCLA joint Winter School on Verification at Vienna University of Technology.

Joint workshop with PUMA

October 3–7 2011

The workshop was held in Traunkirchen with a number of talks given by PUMA and ARiSE members.
Visit the event’s photo gallery.

Workshop of Rigorous Systems Engineering

Workshop of Rigorous Systems Engineering affiliated with EUROSYS’11

Joint Event: Alpine Verification Meeting 2011 and RiSE Kick-off Meeting

Ed ClarkeMarch 14–15 2011

This is a joint event of both the Alpine Verification Meeting (AVM) 2011 and the RiSE Kick-off Meeting.

The AVM is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.

Also, this will be an initiating meeting for the Austrian Society for Rigorous Systems Engineering, founded in 2010.

The event opens with a keynote talk by Edmund Clarke (Carnegie Mellon Univ.) on “Statistical Model Checking for Cyber-Physical Systems”.

Further information is available at the event’s website.

Moshe Vardi: “And Logic Begat Computer Science: When Giants Roamed the Earth”

Moshe VardiDuring the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called “the calculus of computer science”.

This non-technical talk held at TU Vienna provided an overview of the unusual effectiveness of logic in computer science by surveying the history of logic in computer science, going back all the way to Aristotle and Euclid, and showing how logic actually gave rise to computer science.

Moshe Y. Vardi is the George Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology Institute at Rice University. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Gödel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, and the Blaise Pascal Medal.

Further information is available in the announcements on the faculty’s homepage and the university’s homepage.

Alpine Verification Meeting 2010

lugano_cost-avm-luganoOctober 18–19 2010

The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.

The final program is available here.

Joint workshop with PUMA

October 10–16 2010

The workshop was held in Szentendre with a number of talks given by PUMA and ARiSE members.
See here for the full programme.