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.

Posted in Events, News, Scientific News