You have been invited to the following event. Title: The Probabilistic Model Checker Storm -- Symbolic Methods for Probabilistic Model Checking +********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Montag, 3. Dezember 2018, 15.00 Uhr Ort: Gebäude E3, Raum 9007, Ahornstr. 55 Referent: Dipl.-Inform. Christian Hensel Thema: The Probabilistic Model Checker Storm -- Symbolic Methods for Probabilistic Model Checking Abstract: In a world in which we increasingly rely on safety critical systems that simultaneously are becoming ever more complex, formal methods provide a means to mathematically rigorously prove systems correct. Model checking is a fully aut... When: Mon Dec 3, 2018 15:00 – 16:00 Central European Time - Berlin Where: Gebäude E3, Raum 9007, Ahornstr. 55 Calendar: vortraege@informatik.rwth-aachen.de Who: * michaelcochez@gmail.com - organizer * bibliothek@informatik.rwth-aachen.de * infprof@informatik.rwth-aachen.de * assistenten@informatik.rwth-aachen.de * dehnert@cs.rwth-aachen.de * webteam@informatik.rwth-aachen.de * vortraege@informatik.rwth-aachen.de Event details: https://www.google.com/calendar/event?action=VIEW&eid=MGpsNGhjNXQycnZsaGx0aXI2NzdkbzlmdGsgdm9ydHJhZWdlQGluZm9ybWF0aWsucnd0aC1hYWNoZW4uZGU&tok=MjMjbWljaGFlbGNvY2hlekBnbWFpbC5jb21mYjBlZGQxZTk0MzVmODEyZmZiNGYxZGQyNDRiODdmMGUwZTIxODQ3&ctz=Europe%2FBerlin&hl=en&es=0 Invitation from Google Calendar: https://www.google.com/calendar/ You are receiving this courtesy email at the account vortraege@informatik.rwth-aachen.de because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://www.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to modify your RSVP response. Learn more at https://support.google.com/calendar/answer/37135#forwarding