BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20090122T151500Z
DTEND:20090122T161500Z
DCREATED:20090109T145257Z
UID:ATEvent-d0abded3531f9a7a4807aae9e2592fc6
SEQUENCE:0
LAST-MODIFIED:20100122T153027Z
SUMMARY:Dr. Utz-Uwe Haus\: "Modelling Signaling Networks and a Linear Satisfiability Algorithmfor for certain 3CNF Formulas"
LOCATION:Seminarraum im UG
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR