BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2093-4419@fg-rss-verify.gi.de
CLASS: PUBLIC
SUMMARY:Methoden und Beschreibungssprachen zur Modellierung und Verifikatio
 n von Schaltungen und Systemen
DESCRIPTION:Neuigkeiten\n\n 	Vorläufiges Programm ist online. 	Reduzierte A
 nmeldegebühr noch bis 31.01.2016. 	Prof. Dr. Joost-Pieter Katoen (RWTH Aach
 en) und Dr. Tino Teige (BTC Embedded Systems AG, Oldenburg) werden eingelad
 ene Vorträge beim MBMV'16 halten. 	Anmeldung zum Workshop ist geöffnet. 
LOCATION:Albert-Ludwigs-Universität Freiburg
DTSTAMP:20190128T121109Z
DTSTART:20160301T073000Z
DTEND:20160302T154500Z
END:VEVENT
END:VCALENDAR