BEGIN:VCALENDAR
PRODID:-//Inverse inc./SOGo 5.12.7//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:19810329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
TZNAME:MESZ
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19961027T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
TZNAME:MEZ
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:19810329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
TZNAME:MESZ
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19961027T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
TZNAME:MEZ
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
TZNAME:GMT-7
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20071104T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
TZNAME:GMT-8
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED:20230224T184836Z
DTEND;TZID=Europe/Berlin:20230322T153000
DTSTAMP:20230224T184836Z
DTSTART;TZID=Europe/Berlin:20230322T144500
LAST-MODIFIED:20230224T184836Z
SEQUENCE:0
SUMMARY:BA Hlava (High-order SAT)
TRANSP:OPAQUE
UID:41CD41E2-0E2B-49E4-A0D2-7839843D5B7E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140527T095301Z
UID:E9A82DC3-4FB5-409E-A4DE-102AE3C4CE90
DTEND;TZID=Europe/Berlin:20140605T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Sergey Kartamyshev: Modale Resolution für die Rahmenklasse 
 K
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20140528T105749Z
DTSTART;TZID=Europe/Berlin:20140605T133000
SEQUENCE:4
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140708T093600Z
UID:3302F0D4-2A38-41D8-A4C8-8EF60DE4F749
DTEND;TZID=Europe/Berlin:20140724T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Abschlussvortrag BA Wadim Friedrich
LAST-MODIFIED:20140708T093613Z
DTSTAMP:20140708T093614Z
DTSTART;TZID=Europe/Berlin:20140724T133000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140331T115942Z
UID:42F3FA30-198A-4575-A9AC-F609311213B9
DTEND;TZID=Europe/Berlin:20140429T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA-Abschlussvortrag Mehrad Emami: Schwierige NEA-Probleme
LAST-MODIFIED:20140331T115942Z
DTSTAMP:20140401T083255Z
DTSTART;TZID=Europe/Berlin:20140429T133000
SEQUENCE:2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140602T065609Z
UID:9AE22B5F-C5FD-4B4B-9FBA-5DC0751F5669
DTEND;TZID=Europe/Berlin:20140717T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Julian-Steffen Müller Disputation
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20140604T134259Z
DTSTART;TZID=Europe/Berlin:20140717T140000
LOCATION:027\, Appelstr. 4
SEQUENCE:5
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140707T120233Z
UID:81D40D6E-C208-4C10-A191-1A7EBD9129AD
DTEND;TZID=Europe/Berlin:20140731T113000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag BA Christian Henning
LAST-MODIFIED:20140707T120233Z
DTSTAMP:20140714T193512Z
DTSTART;TZID=Europe/Berlin:20140731T110000
LOCATION:Raum 224
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140520T092006Z
UID:6340A936-EF0B-49D1-B032-55FDA353DA7A
DTEND;TZID=Europe/Berlin:20140520T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Lennart Suhr Diplomarbeitsvortrag
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20140520T092031Z
DTSTART;TZID=Europe/Berlin:20140520T130000
LOCATION:235
SEQUENCE:2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220413T075859Z
LAST-MODIFIED:20220504T123241Z
DTSTAMP:20220504T123241Z
UID:48D0F50D-938C-428B-8D36-5CECDFECB0D7
SUMMARY:BA Zain: Berechnungskomplexität von Kontrolle und Bestechung in Wah
 lsystemen
DTSTART;TZID=Europe/Berlin:20220505T150000
DTEND;TZID=Europe/Berlin:20220505T154500
CLASS:PUBLIC
SEQUENCE:2
TRANSP:OPAQUE
LOCATION:https://uni-hannover.webex.com/meet/vollmer
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20140924T075956Z
UID:54AFA579-57BE-4DED-97D1-5AFE15985F5E
DTEND;TZID=Europe/Berlin:20141013T114500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Rössl
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20141009T173037Z
DTSTART;TZID=Europe/Berlin:20141013T110000
SEQUENCE:6
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20141008T150147Z
UID:CC883F6F-86C4-425D-BE5F-BA635AD04875
DTEND;TZID=Europe/Berlin:20141014T134500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Chandoo (MA)
LAST-MODIFIED:20141008T150147Z
DTSTAMP:20141009T173038Z
DTSTART;TZID=Europe/Berlin:20141014T130000
SEQUENCE:1
URL;VALUE=URI:message:%3C5435485F.8070107@chandoo.de%3E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221024T080703Z
UID:4CCC756E-AFF1-4D19-823F-36D3390D0E9B
DTEND;TZID=Europe/Berlin:20221123T134500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Ferry
LAST-MODIFIED:20221024T080732Z
DTSTAMP:20221024T080732Z
DTSTART;TZID=Europe/Berlin:20221123T130000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220426T191830Z
DTEND;TZID=Europe/Berlin:20220512T144500
DTSTAMP:20220426T191831Z
DTSTART;TZID=Europe/Berlin:20220512T140000
LAST-MODIFIED:20220426T191830Z
SEQUENCE:0
SUMMARY:Strieker (MA: complexity of NN)
TRANSP:OPAQUE
UID:604D0D26-45BC-4F7B-9D57-431D245F098E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20161004T104704Z
UID:553659CE-2F39-4789-B72D-92D3EE464DA9
DTEND;TZID=Europe/Berlin:20161027T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Vortrag Dulle: Implementierungen von parallelen Algorithmen auf 
 GPGPUs
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20161004T105256Z
DTSTART;TZID=Europe/Berlin:20161027T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220427T071710Z
UID:6B6C5D40-A16F-4F3E-9D96-BE38023924DB
DTEND;TZID=Europe/Berlin:20220519T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Ahlers: Rechtfertigung der Effizienz von Algorithmen
LAST-MODIFIED:20220427T071740Z
DTSTAMP:20220427T071731Z
DTSTART;TZID=Europe/Berlin:20220519T150000
LOCATION:3408.1611
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150206T091108Z
DTEND;TZID=Europe/Berlin:20150318T111500
DTSTAMP:20150206T091109Z
DTSTART;TZID=Europe/Berlin:20150318T104500
LAST-MODIFIED:20150206T091108Z
LOCATION:224
SEQUENCE:0
SUMMARY:BA Heidari
TRANSP:OPAQUE
UID:59B556D6-3E4A-4587-AEC3-9107A0DEAE50
URL;VALUE=URI:message:%3C5CEBE289-9E74-4B4E-B316-D5BF27321E7A@gmail.com%3E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150209T070949Z
DTEND;TZID=Europe/Berlin:20150318T112000
DTSTAMP:20150209T070950Z
DTSTART;TZID=Europe/Berlin:20150318T104500
LAST-MODIFIED:20150209T070949Z
SEQUENCE:0
SUMMARY:Heidari: Knotentheorie
TRANSP:OPAQUE
UID:3014D850-6ACD-4411-9BD4-E47DF9DF5F79
URL;VALUE=URI:message:%3CD8D0586A-8A41-4F11-8E94-312A1806E9A3@thi.uni-hanno
 ver.de%3E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150204T151935Z
UID:23E0-54DBBC80-95-9F5DED
DTEND;TZID=Europe/Berlin:20150218T113000
TRANSP:OPAQUE
SUMMARY:BA Heidari
DTSTART;TZID=Europe/Berlin:20150218T103000
DTSTAMP:20150204T151935Z
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170329T082040Z
UID:EDBAFCFE-8B91-41DE-B9A4-10BB27206ACD
DTEND;TZID=Europe/Berlin:20170411T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Vortrag Jan Wittler: Quanten-interaktive Beweissysteme
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170329T100229Z
DTSTART;TZID=Europe/Berlin:20170411T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200427T121505Z
UID:A87AD5FD-9023-4F62-A52F-103D70422786
DTEND;TZID=Europe/Berlin:20200514T123000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Fabian Müller (Codebasierte Post-Quanten-Kryptographie)
LAST-MODIFIED:20200427T121543Z
DTSTAMP:20200427T121542Z
DTSTART;TZID=Europe/Berlin:20200514T120000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20141023T150000
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
UID:669C04F5-9329-43F2-9168-417304B46EC5
EXDATE;TZID=Europe/Berlin:20150101T130000
EXDATE;TZID=Europe/Berlin:20150129T130000
EXDATE;TZID=Europe/Berlin:20141113T130000
EXDATE;TZID=Europe/Berlin:20141225T130000
EXDATE;TZID=Europe/Berlin:20141120T130000
EXDATE;TZID=Europe/Berlin:20141218T130000
EXDATE;TZID=Europe/Berlin:20141127T130000
EXDATE;TZID=Europe/Berlin:20141204T130000
EXDATE;TZID=Europe/Berlin:20141211T130000
EXDATE;TZID=Europe/Berlin:20141030T130000
DTSTAMP:20141026T081924Z
SEQUENCE:9
CLASS:PUBLIC
SUMMARY:Oberseminar
LAST-MODIFIED:20141026T081924Z
DTSTART;TZID=Europe/Berlin:20141023T130000
CREATED:20140910T133737Z
RRULE:FREQ=WEEKLY;UNTIL=20150129T225959Z
END:VEVENT
BEGIN:VEVENT
CREATED:20150428T080633Z
UID:72C04CC8-5D5C-41EA-865E-9EA148635864
DTEND;TZID=Europe/Berlin:20150513T121500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Lück (MA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150428T080633Z
DTSTART;TZID=Europe/Berlin:20150513T113000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191021T114110Z
UID:428B62D7-F6F8-4B8F-A953-5D93F9466D36
DTEND;TZID=Europe/Berlin:20191106T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Ortmann: Pseudozufallszahlen in der Kryptographie
LAST-MODIFIED:20191021T114145Z
DTSTAMP:20191021T114128Z
DTSTART;TZID=Europe/Berlin:20191106T133000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20171220T101543Z
UID:0E34BE45-DC0F-4B70-B0F2-F9497703B7D2
DTEND;TZID=Europe/Berlin:20180111T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Sabrina Gaube (BA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20171220T101631Z
DTSTART;TZID=Europe/Berlin:20180111T143000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150714T202052Z
UID:723ED1E2-72B7-4724-A6A1-E0D0158B902C
DTEND;TZID=Europe/Berlin:20150901T163000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag BA Röttcher
LAST-MODIFIED:20150714T202052Z
DTSTAMP:20150714T202055Z
DTSTART;TZID=Europe/Berlin:20150901T160000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220112T150000
UID:70DAAB5E-645A-4097-8333-A9C29F1AF975
DTSTAMP:20211103T135243Z
X-MOZ-GENERATION:1
SEQUENCE:1
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Berechenbarkeit mit logarithmischer Platzbeschränkung
LAST-MODIFIED:20211103T135243Z
CREATED:20211103T124823Z
DTSTART;TZID=Europe/Berlin:20220112T143000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180314T190506Z
UID:F8C1CD40-DEFC-45BB-8A2A-EF0F126A8C3C
DTEND;TZID=Europe/Berlin:20180419T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Vortrag P. Höfer
LAST-MODIFIED:20180314T190506Z
DTSTAMP:20180314T190507Z
DTSTART;TZID=Europe/Berlin:20180419T134500
SEQUENCE:0
URL;VALUE=URI:message:%3C3E2E0DC5-C769-4817-BD32-DC198414BB15@phil-hoefer.d
 e%3E
BEGIN:VALARM
X-WR-ALARMUID:49786F46-41DC-4FD5-B994-138410BF8F3A
UID:49786F46-41DC-4FD5-B994-138410BF8F3A
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170926T095312Z
UID:608FB0A6-0CEE-47DD-BBE4-343E65DBA3CD
DTEND;TZID=Europe/Berlin:20171109T133000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Wadim Friedrich
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20171108T084656Z
DTSTART;TZID=Europe/Berlin:20171109T130000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220126T140000
UID:bd648ec2-7b51-418e-8a1d-600cd52bfa59
DTSTAMP:20211103T135650Z
X-MOZ-GENERATION:1
SEQUENCE:0
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Probabilistisch überprüfbare Beweise
LAST-MODIFIED:20211103T135650Z
CREATED:20211103T124823Z
DTSTART;TZID=Europe/Berlin:20220126T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T150601Z
UID:c1a9862e-351b-42da-9572-1d75835bb8aa
DTEND;TZID=Europe/Berlin:20200714T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
X-MOZ-GENERATION:1
SUMMARY:TBS Seminar: Ein Vergleich von Schaltkreisgröße und Zeit auf Turing
 -Maschinen
LAST-MODIFIED:20200610T150910Z
DTSTAMP:20200610T150910Z
DTSTART;TZID=Europe/Berlin:20200714T133000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160419T100756Z
UID:BED1C6CF-9707-4D3B-9DEA-8C2A46BB878E
DTEND;TZID=Europe/Berlin:20160510T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Obaidi (BA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20160502T070934Z
DTSTART;TZID=Europe/Berlin:20160510T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220510T121254Z
DTEND;TZID=Europe/Berlin:20220602T144500
DTSTAMP:20220510T121254Z
DTSTART;TZID=Europe/Berlin:20220602T140000
LAST-MODIFIED:20220510T121254Z
SEQUENCE:0
SUMMARY:Armstrong (MA: Circuit lower bounds)
TRANSP:OPAQUE
UID:5978C750-9BCE-4285-9D31-65A9DB5E896B
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211103T124823Z
UID:e3805b90-3ca7-451b-b850-57767da1cde3
DTEND;TZID=Europe/Berlin:20220112T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Deskriptive Komplexität: Der Satz von Fagin
LAST-MODIFIED:20211103T135203Z
DTSTAMP:20211103T135203Z
DTSTART;TZID=Europe/Berlin:20220112T133000
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200422T085629Z
UID:1BE757AA-6BD4-4EA7-B2FA-76DBFF1D3DC4
DTEND;TZID=Europe/Berlin:20200504T130000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Schulz (Algorithmische Analyse von Trainerdaten).
LAST-MODIFIED:20200422T085727Z
DTSTAMP:20200422T085701Z
DTSTART;TZID=Europe/Berlin:20200504T123000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160817T103912Z
UID:0DA21E7B-B51E-41DF-9E67-5DB80BB53793
DTEND;TZID=Europe/Berlin:20160905T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag BA Nowitzki
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20160817T103928Z
DTSTART;TZID=Europe/Berlin:20160905T140000
SEQUENCE:0
URL;VALUE=URI:message:%3Ctrinity-75418082-f4b5-46cb-afec-3956034603cb-14707
 74943430@3capp-gmx-bs51%3E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T150818Z
UID:943d1b1d-5779-49c0-b39c-c77724cd5083
DTEND;TZID=Europe/Berlin:20200707T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Schaltkreise und Parallel Random Access Machines
LAST-MODIFIED:20200610T150836Z
DTSTAMP:20200610T150836Z
DTSTART;TZID=Europe/Berlin:20200707T143000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191115T133548Z
UID:309B2E93-5242-4E50-B645-185D2BE40F61
DTEND;TZID=Europe/Berlin:20191212T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Tessmer (BA)
LAST-MODIFIED:20191121T085653Z
DTSTAMP:20191115T133549Z
DTSTART;TZID=Europe/Berlin:20191212T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20181017T210109Z
UID:DDBF8B1A-90FA-4007-83E9-B59DC41B1CEE
DTEND;TZID=Europe/Berlin:20181101T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag H. Vollmer: A Complexity Theory for Hard Enumeration Proble
 ms
LAST-MODIFIED:20181029T194123Z
DTSTAMP:20181029T194124Z
DTSTART;TZID=Europe/Berlin:20181101T143000
SEQUENCE:2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220118T151500
UID:5d56f2f1-b495-4a3f-9c2f-cfadbeb3d8a1
DTSTAMP:20211103T135502Z
X-MOZ-GENERATION:2
SEQUENCE:1
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: PSPACE-Vollständigkeit
LAST-MODIFIED:20211103T135502Z
CREATED:20211103T124626Z
DTSTART;TZID=Europe/Berlin:20220118T144500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20161205T091636Z
UID:89033A6A-2EB2-4A2C-8834-3D2C05A08372
DTEND;TZID=Europe/Berlin:20161208T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Dr. Johannes Fichte: Answer Set Solving using Tree Decompositions a
 nd Dynamic Programming — The DynASP2 System and Counting—
LAST-MODIFIED:20161205T091636Z
DTSTAMP:20161205T091636Z
DTSTART;TZID=Europe/Berlin:20161208T134500
SEQUENCE:0
DESCRIPTION:While the solution counting problem for propositional satisfiab
 ility (#SAT) has received renewed attention in recent years\, this researc
 h trend has not affected other AI solving paradigms like answer set progra
 mming (ASP). Although ASP solvers are designed to enumerate all solutions\
 , and counting can therefore be easily done\, the involved materialization
  of all solutions is clearly a bottleneck for the counting problem of Answ
 er Set Programming (#ASP).\n\nWe propose dynamic programming algorithms fo
 r #ASP that exploit the structure of the underlying (ground) ASP program v
 ia the notion of tree decompositions. Experimental results for a prototype
  implementation show that our counting algorithms are very competitive whe
 n compared to existing solvers under the assumption that the tree width of
  the considered instance is sufficiently low.
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20151012T120542Z
UID:D2D5E739-7F47-4A75-815A-464D224FB9E3
DTEND;TZID=Europe/Berlin:20151105T100000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA-Vortrag Matschke
LAST-MODIFIED:20151012T121538Z
DTSTAMP:20151015T082206Z
DTSTART;TZID=Europe/Berlin:20151105T093000
SEQUENCE:2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180807T130053Z
UID:83B9B92D-1DCA-4FF0-84DA-8EFC4EB790F7
DTEND;TZID=Europe/Berlin:20181004T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Lehmann (BA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20180807T130233Z
DTSTART;TZID=Europe/Berlin:20181004T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20151203T140000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:b8431c41-3ec6-459b-96e0-9d48ba5041ea
DTSTAMP:20151125T132025Z
SEQUENCE:4
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Maurice Chandoo: Complexity of Adjacency Labeling Schemes
LAST-MODIFIED:20151123T111648Z
CREATED:20151109T122233Z
DTSTART;TZID=Europe/Berlin:20151203T133000
END:VEVENT
BEGIN:VEVENT
CREATED:20190326T164725Z
UID:873BC9F3-FE29-4D33-8690-6FEAD56712EA
DTEND;TZID=Europe/Berlin:20190425T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Holzapfel\, Komplexität nichtmonotoner Logiken (BA)
LAST-MODIFIED:20190326T164725Z
DTSTAMP:20190326T164726Z
DTSTART;TZID=Europe/Berlin:20190425T143000
SEQUENCE:0
BEGIN:VALARM
X-WR-ALARMUID:F1ABD60C-BBAD-40F8-9661-D3435E835825
UID:F1ABD60C-BBAD-40F8-9661-D3435E835825
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T151141Z
UID:07efb778-839e-455f-902b-8f54296c58db
DTEND;TZID=Europe/Berlin:20200721T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Arithmetische Schaltkreise für grundlegende Probleme
LAST-MODIFIED:20200610T151155Z
DTSTAMP:20200610T151155Z
DTSTART;TZID=Europe/Berlin:20200721T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150316T123202Z
UID:A16EE850-88E3-4240-84E3-998C067E0DA1
DTEND;TZID=Europe/Berlin:20150409T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Nicola Gruhl: A tool for nonmonotonic logics
LAST-MODIFIED:20150408T060702Z
DTSTAMP:20150408T060703Z
DTSTART;TZID=Europe/Berlin:20150409T143000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160419T101716Z
UID:ED81463D-0034-434F-AFED-7D6093D46BA1
DTEND;TZID=Europe/Berlin:20160510T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Wiebking (Überblick MA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20160502T071207Z
DTSTART;TZID=Europe/Berlin:20160510T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220511T082143Z
DTEND;TZID=Europe/Berlin:20220629T140000
DTSTAMP:20220511T144311Z
DTSTART;TZID=Europe/Berlin:20220629T133000
LAST-MODIFIED:20220511T144310Z
SEQUENCE:1
SUMMARY:Ein Vergleich von Schaltkreisgröße und Zeit auf Turing-Maschinen (M
 anuel Breiden)
TRANSP:OPAQUE
UID:a32bdc5d-8efc-445c-be09-698ac838ddcc
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20221021T093754Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
DTEND;TZID=Europe/Berlin:20230123T144500
DTSTAMP:20230116T134628Z
DTSTART;TZID=Europe/Berlin:20230123T142000
LAST-MODIFIED:20230116T134627Z
SEQUENCE:2
SUMMARY:Lukas Zain: Farfalle -- Parallel Permutation-based Cryptography
TRANSP:OPAQUE
UID:720FD60C-7B26-4EA5-B6A8-D61A9868DCDD
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221130T120000
UID:0DEA09E4-663A-409C-A03B-80489A1B1F4D
DTSTAMP:20221021T093233Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Till Torhauer: Public Key Encryption with Keyword Search
LAST-MODIFIED:20221128T112056Z
CREATED:20221021T093233Z
DTSTART;TZID=Europe/Berlin:20221130T113000
END:VEVENT
BEGIN:VEVENT
CREATED:20170327T094832Z
UID:8A579FAD-B8AB-43F4-BA1B-CBCFF5CBB3BD
DTEND;TZID=Europe/Berlin:20170404T133000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Schrage: Clique als Optimierungsproblem
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170327T094837Z
DTSTART;TZID=Europe/Berlin:20170404T130000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20170511T143000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:56B9E3F5-E20E-4100-AC6E-AF9671806F41
DTSTAMP:20170504T110617Z
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Komplexität Impliziter Repräsentationen (Maurice)
LAST-MODIFIED:20170504T110617Z
CREATED:20170425T101110Z
DTSTART;TZID=Europe/Berlin:20170511T133000
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T150704Z
UID:4f3b3d42-0c4f-4484-9d8c-7421fdd802bf
DTEND;TZID=Europe/Berlin:20200630T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
X-MOZ-GENERATION:2
SUMMARY:TBS Seminar: Einführung in alternierende Turing-Maschinen
LAST-MODIFIED:20200610T150854Z
DTSTAMP:20200610T150854Z
DTSTART;TZID=Europe/Berlin:20200630T133000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211129T124656Z
UID:E7562F34-8C74-4386-A22B-EB077BD234F8
DTEND;TZID=Europe/Berlin:20211217T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schach-Seminar: Kobolde auf dem Schachbrett
LAST-MODIFIED:20211129T124709Z
DTSTAMP:20211129T124701Z
DTSTART;TZID=Europe/Berlin:20211217T100000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082248Z
LAST-MODIFIED:20220511T082336Z
DTSTAMP:20220511T082336Z
UID:faf455e4-23b2-41af-8b03-4622caf0f82d
SUMMARY:Ein Vergleich von Schaltkreistiefe und Platz auf Turing-Maschinen. 
 Nicht-uniforme TMs (David Seehaus)
DTSTART;TZID=Europe/Berlin:20220629T140000
DTEND;TZID=Europe/Berlin:20220629T143000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082347Z
LAST-MODIFIED:20220511T082429Z
DTSTAMP:20220511T082429Z
UID:e9560d90-ea8c-4ad5-bb63-adf0d2c42638
SUMMARY:Einführung in alternierende Turing-Maschinen (Julia Krivorutski)
DTSTART;TZID=Europe/Berlin:20220706T133000
DTEND;TZID=Europe/Berlin:20220706T140000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082607Z
LAST-MODIFIED:20220511T082638Z
DTSTAMP:20220511T082638Z
UID:9366114b-a08a-4394-aa00-dcee915c8278
SUMMARY:Probabilistische Schaltkreise (Robin Schmöcker)
DTSTART;TZID=Europe/Berlin:20220713T133000
DTEND;TZID=Europe/Berlin:20220713T140000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082641Z
LAST-MODIFIED:20220511T082709Z
DTSTAMP:20220511T082709Z
UID:ee7b664c-65fc-47ef-8623-1933756e74ef
SUMMARY:Der Satz von Smolensky (Elias Kayser)
DTSTART;TZID=Europe/Berlin:20220713T140000
DTEND;TZID=Europe/Berlin:20220713T143000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230308T163956Z
LAST-MODIFIED:20230314T081639Z
DTSTAMP:20230314T081639Z
UID:a5aa053d-c5a5-4f3a-8deb-cb3772f92193
SUMMARY:Siegelmann Paper
DTSTART;TZID=Europe/Berlin:20230314T133000
DTEND;TZID=Europe/Berlin:20230314T143000
CLASS:PUBLIC
TRANSP:OPAQUE
LOCATION:Vivian
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20170420T140000
UID:40709ac6-f0a3-43e3-ac0b-80a12141fe19
DTSTAMP:20170403T121728Z
DESCRIPTION:Modal Team Logic (MTL) extends Väänänen’s Modal Dependence Logi
 c (MDL) by Boolean negation. Its satisfiability problem is decidable\, but
  the exact complexity is not yet understood very well. We investigate a mo
 del-theoretical approach and generalize the successful filtration techniqu
 e to work in team semantics. We identify an “existential” fragment of MTL 
 that enjoys the exponential model property and is therefore\, like Proposi
 tional Team Logic (PTL)\, complete for the class AEXP(poly). Moreover\, su
 perexponential filtration lower bounds for different fragments of MTL are 
 proven\, up to the full logic having no filtration for any elementary size
  bound.\nAs a corollary\, superexponential gaps of succinctness between MT
 L fragments of equal expressive power are shown.
X-MOZ-GENERATION:1
SEQUENCE:0
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Martin Lück: Filtration vs Team Semantics
LAST-MODIFIED:20170403T121728Z
CREATED:20170403T121242Z
DTSTART;TZID=Europe/Berlin:20170420T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20181022T104942Z
UID:9DCB0A82-BBCA-426F-93B5-C5CBCDD9590D
DTEND;TZID=Europe/Berlin:20181108T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Haak
LAST-MODIFIED:20181107T140947Z
DTSTAMP:20181107T140948Z
DTSTART;TZID=Europe/Berlin:20181108T143000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170529T132822Z
UID:2D7FD288-8DEE-4B5F-8DC9-C62F0D0A9ECF
DTEND;TZID=Europe/Berlin:20170615T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Entrup
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170529T132830Z
DTSTART;TZID=Europe/Berlin:20170615T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T150741Z
UID:55edbecd-ca21-4306-9021-e1e34555f856
DTEND;TZID=Europe/Berlin:20200630T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
X-MOZ-GENERATION:1
SUMMARY:TBS Seminar: Die Klasse NC und alternierende Turing-Maschinen
LAST-MODIFIED:20200610T150843Z
DTSTAMP:20200610T150843Z
DTSTART;TZID=Europe/Berlin:20200630T140000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220119T140000
UID:4def5fd7-1061-415b-a718-da7eca7ee938
DTSTAMP:20211103T135533Z
X-MOZ-GENERATION:1
SEQUENCE:0
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Alternierende Turing-Maschinen 
LAST-MODIFIED:20211103T135533Z
CREATED:20211103T124823Z
DTSTART;TZID=Europe/Berlin:20220119T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T151024Z
UID:efcf9f21-fb49-41b1-841f-7f5a76b45b8d
DTEND;TZID=Europe/Berlin:20200630T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Eine Orakelcharakterisierung der NC-Hierarchie
LAST-MODIFIED:20200610T151038Z
DTSTAMP:20200610T151038Z
DTSTART;TZID=Europe/Berlin:20200630T143000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150529T105733Z
UID:FD1AFEA0-594C-413E-8DFA-0D29EFE1B25C
DTEND;TZID=Europe/Berlin:20150617T163000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Prof. Vollmer: Team-based Logics on Kripke Structures
LAST-MODIFIED:20150529T105733Z
DTSTAMP:20150529T105733Z
DTSTART;TZID=Europe/Berlin:20150617T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190814T124925Z
UID:E94EE62E-64EA-46A3-BD9C-8E0FE8100646
DTEND;TZID=Europe/Berlin:20190829T163000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Gercke (BA: Presburger Arithmetik)
LAST-MODIFIED:20190815T112038Z
DTSTAMP:20190814T124950Z
DTSTART;TZID=Europe/Berlin:20190829T160000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210713T114500
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:a8a67728-e4c1-4d44-8419-07f97039e48c
DTSTAMP:20210713T071226Z
DESCRIPTION:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2d
 HdpVTYxdz09\n\nThemen:\n\n- Modelle\n- Nicht-Standard-Modelle\n- Die Prädi
 katenlogik der zweiten Stufe
SEQUENCE:0
CLASS:PUBLIC
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFv
 aWV4M3l2dHdpVTYxdz09
X-ALT-DESC;FMTTYPE=text/html:<html><head><style id=css_styles>blockquote.ci
 te { margin-left: 5px\; margin-right: 0px\; padding-left: 10px\; padding-r
 ight:0px\; border-left: 1px solid #cccccc }\nblockquote.cite2 {margin-left
 : 5px\; margin-right: 0px\; padding-left: 10px\; padding-right:0px\; borde
 r-left: 1px solid #cccccc\; margin-top: 3px\; padding-top: 0px\; }\na img 
 { border: 0px\; }\nli[style='text-align: center\;']\, li[style='text-align
 : right\;'] {  list-style-position: inside\;}\nbody { font-family: Segoe U
 I\; font-size: 12pt\;   }</style></head><body><div><div><div><div><a class
 =link-extern href=https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaW
 V4M3l2dHdpVTYxdz09 rel=noreferrer noopener style=>https://us02web.zoom.us/
 j/83772254408?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09</a></div></div></div></
 div><div><br></div><div>Themen:</div><div><br></div><div>- Modelle</div><d
 iv>- Der Kompatkheitssatz</div><div>- Nicht-Standard-Modelle</div></body><
 /html>
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminarvorträge 
LAST-MODIFIED:20210713T071225Z
CREATED:20210624T070732Z
DTSTART;TZID=Europe/Berlin:20210713T101500
END:VEVENT
BEGIN:VEVENT
CREATED:20151009T110510Z
UID:AC6323E4-8B81-4BFB-A27F-BB0C920332F3
DTEND;TZID=Europe/Berlin:20151014T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Untersuchungen des Implikationsbegriffs in verschiedenen Logiksyste
 men (BA Ahlers)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20151009T110614Z
DTSTART;TZID=Europe/Berlin:20151014T143000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191009T112851Z
UID:20E07EE8-9FBE-40FF-9176-69677E7302D3
DTEND;TZID=Europe/Berlin:20191107T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Brodd: Hash-basierte Signaturverfahren
LAST-MODIFIED:20191021T114249Z
DTSTAMP:20191009T112859Z
DTSTART;TZID=Europe/Berlin:20191107T134500
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20160127T150000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:2362EA1B-22FA-4179-9B25-732DBFBD3878
DTSTAMP:20160121T122336Z
SEQUENCE:2
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Maurice: Circular-Arc Graph Isomorphism
LAST-MODIFIED:20160121T122336Z
CREATED:20160121T112325Z
DTSTART;TZID=Europe/Berlin:20160127T140000
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082435Z
LAST-MODIFIED:20220511T082506Z
DTSTAMP:20220511T082506Z
UID:82d835a9-254b-44f1-91a8-aa620e110755
SUMMARY:Die Klasse NC und alternierende Turing-Maschinen (Stina Schäfer)
DTSTART;TZID=Europe/Berlin:20220706T140000
DTEND;TZID=Europe/Berlin:20220706T143000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082711Z
LAST-MODIFIED:20220511T082751Z
DTSTAMP:20220511T082751Z
UID:f0dd8c74-629b-4a23-ad47-e72c2fd5a966
SUMMARY:Eine Orakelcharakterisierung der NC-Hierarchie (Jakob Wege)
DTSTART;TZID=Europe/Berlin:20220713T143000
DTEND;TZID=Europe/Berlin:20220713T150000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230313T103334Z
DTEND;TZID=Europe/Berlin:20230419T151500
DTSTAMP:20230313T103334Z
DTSTART;TZID=Europe/Berlin:20230419T143000
LAST-MODIFIED:20230313T103334Z
SEQUENCE:0
SUMMARY:BA Corbach (Heuristiken für Divide-and-Conqueor-SAT-Solver)
TRANSP:OPAQUE
UID:C1D7125C-CA19-4E89-95FB-F2DD88F54F39
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20161103T100658Z
UID:D52C5BA8-0D67-47DF-AABB-3A9B14F42DEC
DTEND;TZID=Europe/Berlin:20161114T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag BA Owsiany: Spieltheoretische Semantik für ATL
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20161103T100743Z
DTSTART;TZID=Europe/Berlin:20161114T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082508Z
LAST-MODIFIED:20220511T082549Z
DTSTAMP:20220511T082549Z
UID:d73268e2-6529-4a78-b351-9b0982406289
SUMMARY:Schaltkreise und Parallel Random Access Machines (Tim Hagen)
DTSTART;TZID=Europe/Berlin:20220706T143000
DTEND;TZID=Europe/Berlin:20220706T150000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20150427T143000
DTSTART;TZID=Europe/Berlin:20150427T140000
ORGANIZER;CN=Kalender;SCHEDULE-AGENT=CLIENT:urn:x-uid:27390203-4A63-46BB-85
 E8-57A1A147E18A
UID:E029F655-1E60-4A44-90BF-65FF053683F4
DTSTAMP:20150416T101307Z
SEQUENCE:2
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Hui Song (MA)
LAST-MODIFIED:20201113T122500Z
CREATED:20150415T083028Z
ATTENDEE;EMAIL=arnemeier@gmx.net;SCHEDULE-STATUS=3.7;RSVP=TRUE;PARTSTAT=NEE
 DS-ACTION;CN=Arne Meier;CUTYPE=INDIVIDUAL:arnemeier@gmx.net
ATTENDEE;ROLE=CHAIR;PARTSTAT=ACCEPTED;CN=Kalender;CUTYPE=INDIVIDUAL:urn:x-u
 id:27390203-4A63-46BB-85E8-57A1A147E18A
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180605T115827Z
UID:8536963A-DC23-418E-A96B-9717D5A03AB3
DTEND;TZID=Europe/Berlin:20180830T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Vortrag Schwabe (Zero-Knowledge-Beweise in der digitalen Authent
 ifikation)
LAST-MODIFIED:20180605T115827Z
DTSTAMP:20180620T105545Z
DTSTART;TZID=Europe/Berlin:20180830T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180808T092251Z
UID:EDA30268-3E42-4D5B-9EB2-6147B7550EFA
DTEND;TZID=Europe/Berlin:20181004T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Nießen (BA)
LAST-MODIFIED:20180808T092251Z
DTSTAMP:20180813T102124Z
DTSTART;TZID=Europe/Berlin:20181004T141500
SEQUENCE:0
URL;VALUE=URI:message:%3C42A2837D-EB32-4BED-A0AA-1B2EA0E05558@thi.uni-hanno
 ver.de%3E
BEGIN:VALARM
X-WR-ALARMUID:E29AA7AF-00C9-4FA5-A450-8501496F4766
UID:E29AA7AF-00C9-4FA5-A450-8501496F4766
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20181023T114737Z
UID:C5DED6E4-608C-4212-9C82-1394EB84D090
DTEND;TZID=Europe/Berlin:20181108T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA-Vortrag D. Schulz: Backdoors in Default-Logic
LAST-MODIFIED:20181107T140950Z
DTSTAMP:20181107T140951Z
DTSTART;TZID=Europe/Berlin:20181108T140000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200506T090941Z
UID:0C0EF51D-1F15-4CE2-866F-BB21C74B6731
DTEND;TZID=Europe/Berlin:20200520T103000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Armstrong
LAST-MODIFIED:20200506T090941Z
DTSTAMP:20200506T090943Z
DTSTART;TZID=Europe/Berlin:20200520T100000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210708T134500
UID:F301942F-A9D3-4F2C-B554-C2BB7C5E38F7
DTSTAMP:20210617T101932Z
DESCRIPTION:Meeting-ID: 591 621 2181\n\nKenncode: 3FNcZp\n\n
SEQUENCE:3
CONFERENCE;VALUE=URI:tel://591%20621%202181
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Fröhlich (Enumeration in Modaler Logik)
LAST-MODIFIED:20210708T105841Z
CREATED:20210611T074245Z
DTSTART;TZID=Europe/Berlin:20210708T130000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150921T113639Z
UID:42543974-42e7-4e81-bfc7-85ab5bd1077a
DTEND;TZID=Europe/Berlin:20151022T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
X-MOZ-GENERATION:1
SUMMARY:Martin Lück: Komplexität von CTL
LAST-MODIFIED:20151008T194500Z
DTSTAMP:20151008T194502Z
DTSTART;TZID=Europe/Berlin:20151022T130000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200506T090643Z
UID:21FD5BEE-CA60-4C12-948D-1413B3A638D2
DTEND;TZID=Europe/Berlin:20200520T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA J. Müller
LAST-MODIFIED:20200506T090648Z
DTSTAMP:20200506T090649Z
DTSTART;TZID=Europe/Berlin:20200520T103000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150309T132319Z
UID:7C8ABDB4-A938-4353-BF7D-31C127C304C3
DTEND;TZID=Europe/Berlin:20150326T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Thomas Schneider: Lightweight Description Logics & Branching Time: 
 A Troublesome Marriage
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150309T132319Z
DTSTART;TZID=Europe/Berlin:20150326T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T082756Z
LAST-MODIFIED:20220511T082837Z
DTSTAMP:20220511T082837Z
UID:6110e27c-eb05-457e-b8bd-ad818061ec22
SUMMARY:Deskriptive Komplexität: Der Satz von Immerman (Nicolas Fröhlich)
DTSTART;TZID=Europe/Berlin:20220720T133000
DTEND;TZID=Europe/Berlin:20220720T140000
TRANSP:OPAQUE
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230313T133612Z
DTEND;TZID=Europe/Berlin:20230419T160000
DTSTAMP:20230313T133613Z
DTSTART;TZID=Europe/Berlin:20230419T151500
LAST-MODIFIED:20230313T133612Z
SEQUENCE:1
SUMMARY:BA Grunwald (Claim-augmented Argumentation Frameworks)
TRANSP:OPAQUE
UID:583AE28C-1062-4875-AEC2-6FA3E71F3D50
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221024T080732Z
UID:B26CE815-6A5E-4184-AFE6-F313C33902B5
DTEND;TZID=Europe/Berlin:20221123T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Kayser
LAST-MODIFIED:20221024T080745Z
DTSTAMP:20221024T080747Z
DTSTART;TZID=Europe/Berlin:20221123T134500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221205T144500
UID:C628B509-AC32-4980-A328-AB0D51273F1C
DTSTAMP:20221202T084220Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
SEQUENCE:2
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Jakob Wege: Pollards Rho-Methode
LAST-MODIFIED:20221204T194454Z
CREATED:20221021T093324Z
DTSTART;TZID=Europe/Berlin:20221205T141500
END:VEVENT
BEGIN:VEVENT
CREATED:20191015T115119Z
UID:5AD08B33-2A75-40B6-B778-4F146CF7BA39
DTEND;TZID=Europe/Berlin:20191106T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Xie: Vergleich verschiedener Parsing-Verfahren für Kontextfreie Spr
 achen
LAST-MODIFIED:20191021T114205Z
DTSTAMP:20191016T085812Z
DTSTART;TZID=Europe/Berlin:20191106T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220119T143000
UID:a5611243-5e0a-4b0b-bab1-0482daf3543d
DTSTAMP:20211103T135552Z
X-MOZ-GENERATION:2
SEQUENCE:1
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Ein #P-vollständiges Problem
LAST-MODIFIED:20211130T105008Z
CREATED:20211103T124823Z
DTSTART;TZID=Europe/Berlin:20220119T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T151233Z
UID:242ada88-351c-4b27-943b-84a8028d5007
DTEND;TZID=Europe/Berlin:20200721T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Untere Schranken für Schaltkreise polynomieller Größe
LAST-MODIFIED:20200610T151250Z
DTSTAMP:20200610T151250Z
DTSTART;TZID=Europe/Berlin:20200721T143000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220118T144500
UID:7b38b365-2af7-46ba-b0f4-0f55f18b3d62
DTSTAMP:20211103T135452Z
X-MOZ-GENERATION:1
SEQUENCE:0
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: P-Vollständigkeit 
LAST-MODIFIED:20211103T135452Z
CREATED:20211103T124626Z
DTSTART;TZID=Europe/Berlin:20220118T141500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170710T115242Z
UID:3E5BAA77-A8AD-4442-9602-634FFFAD9A43
DTEND;TZID=Europe/Berlin:20170810T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Irena: Default Logic and Treewidth
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170803T071923Z
DTSTART;TZID=Europe/Berlin:20170810T100000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220511T083018Z
LAST-MODIFIED:20220614T074413Z
DTSTAMP:20220614T074413Z
UID:b13681ff-49b5-46d9-9a9b-2b1ffdcf89a1
SUMMARY:Arithmetische Schaltkreise und Straight-Line-Programme (Kai Hallman
 n)
DTSTART;TZID=Europe/Berlin:20220720T140000
DTEND;TZID=Europe/Berlin:20220720T143000
CLASS:PUBLIC
TRANSP:OPAQUE
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20240604T120256Z
DTEND;TZID=Europe/Berlin:20240625T140000
DTSTAMP:20240611T073748Z
DTSTART;TZID=Europe/Berlin:20240625T133000
LAST-MODIFIED:20240611T073748Z
SEQUENCE:0
SUMMARY:BA Dukart: A GUI for Simulating AVL Tree Algorithms
TRANSP:OPAQUE
UID:B23CDDA5-972B-4DD0-894D-BEAF614E3A07
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20171019T103357Z
UID:EE7D982F-D4EA-446D-B86D-3EBDE85594FD
DTEND;TZID=Europe/Berlin:20171101T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Ehle (BA): Komplexität der Permanente
LAST-MODIFIED:20171019T103357Z
DTSTAMP:20171019T103402Z
DTSTART;TZID=Europe/Berlin:20171101T153000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191021T114738Z
UID:DF493A1E-479F-4D7E-AC13-0FD1BEB199C7
DTEND;TZID=Europe/Berlin:20191029T133000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Barlag: Parallel Computation with Real Numbers
LAST-MODIFIED:20191022T073127Z
DTSTAMP:20191021T115129Z
DTSTART;TZID=Europe/Berlin:20191029T130000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160316T083548Z
UID:A6F0E1ED-15BF-4EE0-924B-F4FBBE765E49
DTEND;TZID=Europe/Berlin:20160317T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Fabian Müller: The Complexity of Problems for Linear Temporal Logic
 
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20160316T083620Z
DTSTART;TZID=Europe/Berlin:20160317T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220518T084425Z
UID:80B081CE-7DE8-45C1-932C-A7B6F1809167
DTEND;TZID=Europe/Berlin:20220602T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Mayer (BA: Kurotto- und Juosan-Puzzle sind NP-vollständig)
LAST-MODIFIED:20220518T124033Z
DTSTAMP:20220518T084432Z
DTSTART;TZID=Europe/Berlin:20220602T144500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221029T061528Z
DTEND;TZID=Europe/Berlin:20221102T161500
DTSTAMP:20221029T061528Z
DTSTART;TZID=Europe/Berlin:20221102T151500
LAST-MODIFIED:20221029T061528Z
LOCATION:1611
SEQUENCE:0
SUMMARY:Prof. Dr. Wojtek Jamroga\, Polish Academy of Sciences\, spricht zum
  Thema   A Survey of Requirements for COVID-19 Mitigation Strategies
TRANSP:OPAQUE
UID:7D08302E-EE14-44AF-A313-675FCE525061
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170321T105835Z
UID:556AB82F-7E74-4B51-BDDF-72BDBB42CE47
DTEND;TZID=Europe/Berlin:20170406T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Martin Zimmermann: The First-order Logic of Hyperproperties
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170321T105906Z
DTSTART;TZID=Europe/Berlin:20170406T133000
SEQUENCE:0
DESCRIPTION:We investigate the logical foundations of hyperproperties. Hype
 rproperties generalize trace properties\, which are sets of traces\, to se
 ts of sets of traces. The most prominent application of hyperproperties is
  information flow security: information flow policies characterize the sec
 recy and integrity of a system by comparing two or more execution traces\,
  for example by comparing the observations made by an external observer on
  execution traces that result from different values of a secret variable. 
 \n\nWe establish the first connection between temporal logics for hyperpro
 perties and first-order logic. Kamp's seminal theorem (in the formulation 
 due to Gabbay et al.) states that linear-time temporal logic (LTL) is expr
 essively equivalent to first-order logic over the natural numbers with ord
 er. We introduce first-order logic over sets of traces and prove that Hype
 rLTL\, the extension of LTL to hyperproperties\, is strictly subsumed by t
 his logic. We furthermore exhibit a fragment that is expressively equivale
 nt to HyperLTL\, thereby establishing Kamp's theorem for hyperproperties.\
 n\nBased on joint work with Bernd Finkbeiner (Saarland University).
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20150702T120000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:10F39B63-F6BD-421E-AC7A-A875A8742669
DTSTAMP:20150629T122539Z
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Haak
LAST-MODIFIED:20150629T122539Z
CREATED:20150617T142015Z
DTSTART;TZID=Europe/Berlin:20150702T110000
END:VEVENT
BEGIN:VEVENT
CREATED:20180822T085326Z
UID:66C756F8-DBBF-4ECA-A882-A3B0DE90ACDB
DTEND;TZID=Europe/Berlin:20180917T114500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Urschumzev (BA)
LAST-MODIFIED:20180904T094937Z
DTSTAMP:20180904T094938Z
DTSTART;TZID=Europe/Berlin:20180917T110000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211103T124626Z
UID:1FC8A83C-1E1D-4591-A1B0-185487BD17D7
DTEND;TZID=Europe/Berlin:20220111T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Die Komplexität des Erfüllbarkeitsproblems 
LAST-MODIFIED:20211103T134904Z
DTSTAMP:20211103T134904Z
DTSTART;TZID=Europe/Berlin:20220111T141500
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170420T122002Z
UID:A7DD874F-DC94-4FB3-9E0E-18A2D638BB79
DTEND;TZID=Europe/Berlin:20170509T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Felix Schliephacke (Master-Vortrag): Visualisierung von Aroras Algo
 rithmus für TSP
LAST-MODIFIED:20170420T122002Z
DTSTAMP:20170420T124136Z
DTSTART;TZID=Europe/Berlin:20170509T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20171220T101457Z
UID:B5388C36-C1EA-4E02-9910-572A6BF3DDA8
DTEND;TZID=Europe/Berlin:20180111T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Friederike Dziemba
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20171220T101515Z
DTSTART;TZID=Europe/Berlin:20180111T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220112T143000
UID:48010bef-3f29-4bc0-b59a-f990c87210c0
DTSTAMP:20211103T135257Z
X-MOZ-GENERATION:2
SEQUENCE:1
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Enumerationskomplexität
LAST-MODIFIED:20211103T135257Z
CREATED:20211103T124823Z
DTSTART;TZID=Europe/Berlin:20220112T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150703T112043Z
UID:33492B3E-5A13-425F-A706-30B2DA743294
DTEND;TZID=Europe/Berlin:20150723T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Christian Brosy: Sorting Networks (Bachelor Arbeit)
LAST-MODIFIED:20150703T112043Z
DTSTAMP:20150703T112045Z
DTSTART;TZID=Europe/Berlin:20150723T143000
SEQUENCE:0
URL;VALUE=URI:message:%3CCAO+eLGG1ghzj7x8wsGyJywE3yCzbx5h03Hw4BUDXuFpS-bBNA
 A@mail.gmail.com%3E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180924T100717Z
UID:D25D74A3-CCD9-41A2-8F6A-F76D07231CAA
DTEND;TZID=Europe/Berlin:20181004T163000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Behr
LAST-MODIFIED:20181004T055158Z
DTSTAMP:20181004T055159Z
DTSTART;TZID=Europe/Berlin:20181004T154500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150609T154222Z
UID:5F23328E-D45D-471E-BDDE-3E2CBB7E164F
DTEND;TZID=Europe/Berlin:20150618T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag M. Reich (DA)
LAST-MODIFIED:20150609T154222Z
DTSTAMP:20150609T154223Z
DTSTART;TZID=Europe/Berlin:20150618T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170504T113203Z
UID:8A6FA554-020C-4B45-8047-A6997A785FBC
DTEND;TZID=Europe/Berlin:20170601T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Dr. Johannes Fichte: SAT-Based Local Improvement for Finding Tree D
 ecompositions of Small Width
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170504T113217Z
DTSTART;TZID=Europe/Berlin:20170601T134500
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170215T105813Z
UID:AC790B8A-D4FE-422B-A5DE-167BB154D45B
DTEND;TZID=Europe/Berlin:20170314T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Marius Mühlen (BA: Einführung in die Beweisbarkeitslogik)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170215T105900Z
DTSTART;TZID=Europe/Berlin:20170314T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230316T142247Z
DTEND;TZID=Europe/Berlin:20230322T140000
DTSTAMP:20230317T201633Z
DTSTART;TZID=Europe/Berlin:20230322T131500
LAST-MODIFIED:20230317T201632Z
SEQUENCE:1
SUMMARY:BA Westphal (Resource Allocation Problems)
TRANSP:OPAQUE
UID:FD5D1C47-E1DC-48D3-B0A2-3971154C54DF
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220519T092822Z
UID:F1C955FE-6F8F-46A8-B187-36E8BF5A6AAA
DTEND;TZID=Europe/Berlin:20220615T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Kässens (MA: Authentifizierte Verschlüsselung)
LAST-MODIFIED:20220519T124253Z
DTSTAMP:20220519T092822Z
DTSTART;TZID=Europe/Berlin:20220615T143000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220520T073127Z
DTEND;TZID=Europe/Berlin:20220630T144500
DTSTAMP:20220603T091936Z
DTSTART;TZID=Europe/Berlin:20220630T140000
LAST-MODIFIED:20220603T091921Z
SEQUENCE:0
SUMMARY:Orlov (BA: Fractran)
TRANSP:OPAQUE
UID:AF0250A8-CCE7-4E15-A479-98CC53D53917
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210706T114500
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:9177ba6f-2f33-442f-8fb4-b34d65ec6d63
DTSTAMP:20210624T070621Z
DESCRIPTION:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2d
 HdpVTYxdz09\n\nThemen:\n\n  - Abacus-Berechenbarkeit\n  - Die primitiv-rek
 ursiven und die μ-rekursiven Funktionen\n  -  λ-Berechenbarkeit\n
SEQUENCE:0
CLASS:PUBLIC
X-ALT-DESC;FMTTYPE=text/html:<html><head><style id=css_styles>blockquote.ci
 te { margin-left: 5px\; margin-right: 0px\; padding-left: 10px\; padding-r
 ight:0px\; border-left: 1px solid #cccccc }\nblockquote.cite2 {margin-left
 : 5px\; margin-right: 0px\; padding-left: 10px\; padding-right:0px\; borde
 r-left: 1px solid #cccccc\; margin-top: 3px\; padding-top: 0px\; }\na img 
 { border: 0px\; }\nli[style='text-align: center\;']\, li[style='text-align
 : right\;'] {  list-style-position: inside\;}\nbody { font-family: Segoe U
 I\; font-size: 12pt\;   }</style></head><body><div><div><div><div><div><a 
 class=link-extern href=https://us02web.zoom.us/j/83772254408?pwd=SnF5S251N
 HFvaWV4M3l2dHdpVTYxdz09 rel=noreferrer noopener style=>https://us02web.zoo
 m.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09</a></div></div></d
 iv></div></div><div><br></div><div>Themen:</div><div><br></div><div>&nbsp\
 ;- Abacus-Berechenbarkeit</div><div>&nbsp\;- Die primitiv-rekursiven und d
 ie&nbsp\;<span style=font-family: sans-serif\\\; font-size: 13.5261px\\\;>
 μ-rekursiven Funktionen</span></div><div><span style=font-family: sans-ser
 if\\\; font-size: 13.5261px\\\;>&nbsp\;-&nbsp\;&nbsp\;</span><span dir=ltr
  style=left: 142.61px\\\; top: 217.938px\\\; font-size: 13.5261px\\\; font
 -family: monospace\\\;>λ</span><span style=font-size: 12pt\\\;>-Berechenba
 rkeit</span></div><div></div><div><br></div><div><div></div></div></body><
 /html>
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminarvoträge BuL
LAST-MODIFIED:20210624T070621Z
CREATED:20210624T064855Z
DTSTART;TZID=Europe/Berlin:20210706T101500
END:VEVENT
BEGIN:VEVENT
CREATED:20160606T130021Z
UID:7467C718-E97F-4E58-9AA5-CBDBABB16847
DTEND;TZID=Europe/Berlin:20160617T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Disputation Schwerdtfeger: Connectivity of Boolean Satisfiability
LAST-MODIFIED:20160606T130021Z
DTSTAMP:20160612T112338Z
DTSTART;TZID=Europe/Berlin:20160617T100000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20171002T081537Z
UID:FDEFC078-7A55-47E6-9A2B-8DD5B8E9B14E
DTEND;TZID=Europe/Berlin:20171101T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Perschin (BA): Resolution für Modallogik
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20171018T125725Z
DTSTART;TZID=Europe/Berlin:20171101T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200526T105216Z
UID:1829950B-AF40-45E2-9C5C-777B020BA4DB
DTEND;TZID=Europe/Berlin:20200604T113000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Snakker (QBF)
LAST-MODIFIED:20200526T105232Z
DTSTAMP:20200526T105232Z
DTSTART;TZID=Europe/Berlin:20200604T110000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191212T155929Z
UID:BEE2660A-B701-4C25-AA13-DF9AA649691E
DTEND;TZID=Europe/Berlin:20200116T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Neal Asprion
LAST-MODIFIED:20191212T155956Z
DTSTAMP:20191212T155939Z
DTSTART;TZID=Europe/Berlin:20200116T134500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200716T143000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:1cfba861-8f7f-41f9-9395-a4285fed05ab
DTSTAMP:20200709T101545Z
SEQUENCE:0
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Lemke
LAST-MODIFIED:20200709T101545Z
CREATED:20200709T101545Z
DTSTART;TZID=Europe/Berlin:20200716T140000
END:VEVENT
BEGIN:VEVENT
CREATED:20190109T122419Z
UID:94FBC193-20C2-4E3B-90DF-EC2BCFD85600
DTEND;TZID=Europe/Berlin:20190214T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Arne Meier: Elektronische Währung und die Blockchain
LAST-MODIFIED:20190109T122453Z
DTSTAMP:20190109T122454Z
DTSTART;TZID=Europe/Berlin:20190214T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190718T104608Z
UID:01C427AD-E7FF-4484-BC98-A76BFB0EE4E5
DTEND;TZID=Europe/Berlin:20190814T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Koch (BA: CFG-Parsing)
LAST-MODIFIED:20190718T104655Z
DTSTAMP:20190718T104646Z
DTSTART;TZID=Europe/Berlin:20190814T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210720T150000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:f8bf38c6-d9b3-445e-b576-25adc8f898fe
DTSTAMP:20210719T083605Z
DESCRIPTION:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2d
 HdpVTYxdz09\n\nThemen:\n\n- Die Presburger Arithmetik ist hart für EXPTIME
 \n- Der Kompaktheitssatz
SEQUENCE:0
CLASS:PUBLIC
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFv
 aWV4M3l2dHdpVTYxdz09
X-ALT-DESC;FMTTYPE=text/html:<html><head><style id=css_styles>blockquote.ci
 te { margin-left: 5px\; margin-right: 0px\; padding-left: 10px\; padding-r
 ight:0px\; border-left: 1px solid #cccccc }\nblockquote.cite2 {margin-left
 : 5px\; margin-right: 0px\; padding-left: 10px\; padding-right:0px\; borde
 r-left: 1px solid #cccccc\; margin-top: 3px\; padding-top: 0px\; }\na img 
 { border: 0px\; }\nli[style='text-align: center\;']\, li[style='text-align
 : right\;'] {  list-style-position: inside\;}\nbody { font-family: Segoe U
 I\; font-size: 12pt\;   }</style></head><body><div><div><div><div><a class
 =link-extern href=https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaW
 V4M3l2dHdpVTYxdz09 rel=noreferrer noopener>https://us02web.zoom.us/j/83772
 254408?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09</a></div></div></div></div><di
 v><br></div><div>Themen:</div><div><br></div><div>- Die Presburger Arithme
 tik ist hart für EXPTIME</div><div>- Die Presburger Arithmetik ist entsche
 idbar</div></body></html>
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminarvorträge BuL
LAST-MODIFIED:20210719T083604Z
CREATED:20210624T071045Z
DTSTART;TZID=Europe/Berlin:20210720T133000
END:VEVENT
BEGIN:VEVENT
CREATED:20260518T193811Z
DTEND;TZID=Europe/Berlin:20260610T154500
DTSTAMP:20260518T193813Z
DTSTART;TZID=Europe/Berlin:20260610T150000
LAST-MODIFIED:20260518T193811Z
SEQUENCE:1
SUMMARY:MA Piepgras (Die Komplexität von Go)
TRANSP:OPAQUE
UID:6BB89506-642A-49FC-A417-CA8B39A01A91
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150528T101548Z
UID:06D0636C-29CE-452C-823E-E44115DFA0E2
DTEND;TZID=Europe/Berlin:20150617T130000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Prof. Steffen Reith: Kryptographische Methoden zur Authentifizerung
  für eingebettete Systeme
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150528T101548Z
DTSTART;TZID=Europe/Berlin:20150617T120000
SEQUENCE:0
DESCRIPTION:Methoden der Authentifizierung spielen in der Kryptographie ein
 e zentrale Rolle und haben viele technische Anwendungen. Gute Beispiele da
 für sind z.B. die Car-2-Car Kommunikation\, das Laden von Elekrofahrzeuge\
 , aber auch\nbei der Umsetzung der Ideen von Industrie 4.0 spielen Authent
 ifizierungsverfahren eine große Rolle.\n\nAufgrund der großen (praktischen
 ) Wichtigkeit werden eine Vielzahl von teils sehr einfachen Vorgehensweise
 n (z.B. Challenge-Response-Systeme) verwendet\,\naber es gibt auch relativ
  komplizierte Algorithmen (z.B. Zero-Knowledge-Beweise\, Schnorr-Authentif
 izierung)\, die anspruchsvolle Ergebnisse der Theoretischen Informatik und
  der Mathematik verwenden.\nÜberlicherweise werden diese Methoden für leis
 tungsstarke Rechensysteme ausgelegt und auf Geschwindigkeit optiermiert\, 
 ohne auf Ressourcen wie Kommunikations- oder  Speicherbedarf zu achten. Da
 durch sind diese Algorithmen meist nicht direkt für leistungsschwache  Sys
 teme einsetzbar.\n\nIm Vortrag werden einige dieser verbreiteten Methoden 
 vorgestellt\, bezüglich ihrer praktischen Umsetzbarkeit bewertet und für e
 ingebettete Systeme und\nanwenderspezifische Schaltkreise (ASICs) optimier
 t. Dabei kommen eine erstaunliche Vielzahl von Ideen aus der Mathematik\, 
 theoretischen Informatik und aus technischen Informatik zu Einsatz.
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220125T154500
UID:156e43cc-e034-4a40-8f7d-1dd9dd067b8f
DTSTAMP:20211103T135630Z
X-MOZ-GENERATION:4
SEQUENCE:2
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Interaktive Beweissysteme
LAST-MODIFIED:20211103T135630Z
CREATED:20211103T124626Z
DTSTART;TZID=Europe/Berlin:20220125T151500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160912T082354Z
UID:9453BD91-A37E-4349-A882-B385A9DB8E72
DTEND;TZID=Europe/Berlin:20161027T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Vortrag Hilbich: Ein Program zur Enumeration in der Modallogik
LAST-MODIFIED:20160912T082354Z
DTSTAMP:20161004T105256Z
DTSTART;TZID=Europe/Berlin:20161027T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180905T084646Z
UID:14043BAF-967F-4CF3-9FC1-68719255B0DD
DTEND;TZID=Europe/Berlin:20180913T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Thomas Schneider: Conservative Extensions in Expressive Ontology La
 nguages
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20180905T084715Z
DTSTART;TZID=Europe/Berlin:20180913T140000
SEQUENCE:0
DESCRIPTION:This talk gives an overview of conservative extensions (CEs) in
  ontology languages\, including description logics (DLs) and related FOL f
 ragments. CEs are an important notion for defining a logically self-contai
 ned module of a logical theory\, which in turn is useful for applications 
 such as ontology reuse\, versioning\, and comprehension. Furthermore\, CEs
  are related to uniform interpolants.\n\nWe start with a brief survey of e
 xisting model-theoretic characterisations\, (un)decidability\, and complex
 ity results. We then report about two recent pieces of work on CEs in expr
 essive logics\, namely FOL fragments (with a focus on the two-variable fra
 gment FO2 and the guarded fragment GF) and Horn DLs with inverse roles. Bo
 th groups of logics have in common that standard model-theoretic character
 isations in terms of unbounded bisimulations or homomorphisms fail\, block
 ing the standard approach to establishing decidability. We report on alter
 native characterisations in terms of bounded bisimulations/homomorphisms a
 nd the challenge of combining them with automata techniques.\n\nOur main r
 esults for FOL fragments are undecidability of (deductive) CEs in any FO f
 ragment that contains FO2 or GF\, and 2ExpTime-completeness in the interse
 ction GF2 of FO2 and GF. For Horn-DLs\, we obtain 2EXPTIME-completeness of
  (query) CEs in Horn-ALCHIF (and also in Horn-ALC and in ELI). We obtain t
 he same upper bound and a coNEXPTIME lower bound for deductive CEs.\n\nJoi
 nt work with Jean Christoph Jung\, Carsten Lutz\, Mauricio Martel\, and Fr
 ank Wolter.\n
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20160523T143000
UID:2D558FDA-4799-4C3C-9340-949894306478
DTSTAMP:20160429T070731Z
LOCATION:Appelstr. 4\, Raum 235
SEQUENCE:0
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Holz
LAST-MODIFIED:20160428T174833Z
CREATED:20160428T174833Z
DTSTART;TZID=Europe/Berlin:20160523T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T151203Z
UID:5eae278d-17d4-4e31-8dc6-78a625410df1
DTEND;TZID=Europe/Berlin:20200721T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Arithmetische Schaltkreise und Straight-Line-Programme
 
LAST-MODIFIED:20200610T151230Z
DTSTAMP:20200610T151230Z
DTSTART;TZID=Europe/Berlin:20200721T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20181218T103731Z
UID:5F9A7633-3523-46BD-8FF3-45F6FA6320D4
DTEND;TZID=Europe/Berlin:20190110T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Zühlke (BA)
LAST-MODIFIED:20181218T165020Z
DTSTAMP:20181218T165021Z
DTSTART;TZID=Europe/Berlin:20190110T143000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150818T095617Z
UID:BF5B1F88-7AD2-4EB7-8EC9-6460ADD2EF6F
DTEND;TZID=Europe/Berlin:20150915T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Luttmann
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150818T095617Z
DTSTART;TZID=Europe/Berlin:20150915T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220524T123628Z
UID:685AE4AC-E241-49A3-ABCE-DFC5AD1519E6
DTEND;TZID=Europe/Berlin:20220524T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Julia Krivorutski (The complexity of satisfiability for fragments of
  hybrid logic)
LAST-MODIFIED:20220524T123654Z
DTSTAMP:20220524T123652Z
DTSTART;TZID=Europe/Berlin:20220524T153000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093556Z
UID:56E28959-E823-4CBD-9990-2F7C32681DDA
DTEND;TZID=Europe/Berlin:20230109T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Fabian Kuhl: Kolmogorov Complexity Characterizes Statistical Zero-K
 nowledge
LAST-MODIFIED:20221021T093626Z
DTSTAMP:20221021T093556Z
DTSTART;TZID=Europe/Berlin:20230109T141500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20221021T093435Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
DTEND;TZID=Europe/Berlin:20221212T151500
DTSTAMP:20221212T135404Z
DTSTART;TZID=Europe/Berlin:20221212T144500
LAST-MODIFIED:20221212T135403Z
SEQUENCE:3
SUMMARY:Patric Plattner: Tiger
TRANSP:OPAQUE
UID:9B7A7297-2B1F-4134-A1F8-23983FF01531
END:VEVENT
BEGIN:VEVENT
CREATED:20160404T104646Z
UID:ED6FF53D-B06D-40FA-91B0-2F791D0AA631
DTEND;TZID=Europe/Berlin:20160414T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Jan Eberhardt: Elliptische Kurven in der Kryptographie (BA-Vortrag)
 
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20160414T075822Z
DTSTART;TZID=Europe/Berlin:20160414T133000
SEQUENCE:0
URL;VALUE=URI:message:%3C3FB68B15-0E0F-4F7E-B4A9-D9A73E647A20@thi.uni-hanno
 ver.de%3E
BEGIN:VALARM
X-WR-ALARMUID:3F84F2A9-EC45-4AC9-B252-A76BB10418D6
UID:3F84F2A9-EC45-4AC9-B252-A76BB10418D6
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220531T122216Z
UID:3A3B7C92-B4C1-4499-840C-FD87BA278F77
DTEND;TZID=Europe/Berlin:20220721T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Nicolas Fröhlich (Submodel Enumeration of Kripke Structures in Moda
 l Logic)
LAST-MODIFIED:20220531T122314Z
DTSTAMP:20220531T122314Z
DTSTART;TZID=Europe/Berlin:20220721T133000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220524T123711Z
UID:0ACE8CB2-039D-4F9B-8F43-C65EF4C3BCD0
DTEND;TZID=Europe/Berlin:20220531T163000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Tobias Brockmeyer (Model checking fingerprints of CTL operators)
LAST-MODIFIED:20220524T123739Z
DTSTAMP:20220524T123730Z
DTSTART;TZID=Europe/Berlin:20220531T160000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220524T123813Z
UID:63601091-7053-4DF3-8D38-F5412AE2C170
DTEND;TZID=Europe/Berlin:20220621T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Kai Hallmann (Complexity of lax-MINC-SAT)
LAST-MODIFIED:20220524T123918Z
DTSTAMP:20220524T123813Z
DTSTART;TZID=Europe/Berlin:20220621T153000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220531T151324Z
DTEND;TZID=Europe/Berlin:20220719T163000
DTSTAMP:20220712T133206Z
DTSTART;TZID=Europe/Berlin:20220719T160000
LAST-MODIFIED:20220712T133206Z
SEQUENCE:2
SUMMARY:Katharina Schick (The Complexity Of Model Checking For Boolean Form
 ulas)
TRANSP:OPAQUE
UID:AA461EC2-4322-42AB-B740-7A723AF0E3B7
END:VEVENT
BEGIN:VEVENT
CREATED:20230503T061923Z
DTEND;TZID=Europe/Berlin:20230510T153000
DTSTAMP:20230503T061924Z
DTSTART;TZID=Europe/Berlin:20230510T144500
LAST-MODIFIED:20230503T061923Z
SEQUENCE:0
SUMMARY:MA Fröhlich: Enumeration in Temporal Logic
TRANSP:OPAQUE
UID:C61489C5-40F9-4D9E-85F4-07D32C3F2912
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220524T124020Z
DTEND;TZID=Europe/Berlin:20220719T153000
DTSTAMP:20220712T133205Z
DTSTART;TZID=Europe/Berlin:20220719T150000
LAST-MODIFIED:20220712T133203Z
SEQUENCE:2
SUMMARY:Jakob Wege (Complexity of Clone Membership)
TRANSP:OPAQUE
UID:274A61AF-EE75-47BD-ACB5-E32411655CA0
END:VEVENT
BEGIN:VEVENT
CREATED:20160810T053741Z
UID:7D34F367-423D-4BBA-A4D2-0B8363067D04
DTEND;TZID=Europe/Berlin:20160905T134500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag BA Barlag
LAST-MODIFIED:20160810T053741Z
DTSTAMP:20160810T053742Z
DTSTART;TZID=Europe/Berlin:20160905T131500
SEQUENCE:0
URL;VALUE=URI:message:%3Ctrinity-75418082-f4b5-46cb-afec-3956034603cb-14707
 74943430@3capp-gmx-bs51%3E
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191015T114946Z
UID:360C3CBA-3669-4CB3-B271-922E86C73B01
DTEND;TZID=Europe/Berlin:20191030T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Lehmann: Analyse der lateinischen Grammatik bei verschiedenen Autor
 en
LAST-MODIFIED:20191021T114736Z
DTSTAMP:20191015T153248Z
DTSTART;TZID=Europe/Berlin:20191030T141500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190724T094635Z
UID:AF3179FA-5217-4DF6-B7EE-97C3F465364A
DTEND;TZID=Europe/Berlin:20190829T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Kuznecov
LAST-MODIFIED:20190829T084320Z
DTSTAMP:20190724T104751Z
DTSTART;TZID=Europe/Berlin:20190829T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191121T085702Z
UID:8D58B573-7E23-4BD7-990B-E69BAD6414ED
DTEND;TZID=Europe/Berlin:20191212T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Yasir Mahmood: Parameterised Complexity of Abduction in Schaefer's 
 Framework
LAST-MODIFIED:20191121T085724Z
DTSTAMP:20191121T085716Z
DTSTART;TZID=Europe/Berlin:20191212T140000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220524T123733Z
UID:5FABB5A3-CB02-410D-8FFB-BAF1A70F1603
DTEND;TZID=Europe/Berlin:20220531T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Elias Kayser (ASGAP and Kripke structures)
LAST-MODIFIED:20220524T123800Z
DTSTAMP:20220524T123733Z
DTSTART;TZID=Europe/Berlin:20220531T153000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220524T123926Z
UID:E136D656-12BA-43C1-B217-C5A751021B47
DTEND;TZID=Europe/Berlin:20220621T163000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Nicolas Fröhlich (Complexity of MINC-MC)
LAST-MODIFIED:20220524T124012Z
DTSTAMP:20220524T123926Z
DTSTART;TZID=Europe/Berlin:20220621T160000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20181115T151423Z
UID:05CAADDA-E4FE-434F-AAAB-4D47145455CC
DTEND;TZID=Europe/Berlin:20181218T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Vortrag Jan Eberhardt
LAST-MODIFIED:20181115T151511Z
DTSTAMP:20181115T151455Z
DTSTART;TZID=Europe/Berlin:20181218T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180620T105546Z
UID:8C09AD79-D523-450D-AEE8-9FEBA41A45D6
DTEND;TZID=Europe/Berlin:20180830T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Vortrag  Hawich (Post-Quantum-Kryptografie: Hash-basierte Verfah
 ren)
LAST-MODIFIED:20180815T193912Z
DTSTAMP:20180815T193913Z
DTSTART;TZID=Europe/Berlin:20180830T133000
SEQUENCE:2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160414T091413Z
UID:72F7B1F2-7A71-42B2-B3C5-8B34B7A6291E
DTEND;TZID=Europe/Berlin:20160526T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Prof. Christina Brzuska: Assumptions in Cryptography
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20160525T120323Z
DTSTART;TZID=Europe/Berlin:20160526T100000
SEQUENCE:0
DESCRIPTION:Zusammenfassung:\n\nIf P=NP\, virtually all cryptographic primi
 tives (in particular symmetric-key encryption where the messages are longe
 r than the key and public-key encryption) do not exist. As there is little
  hope that within our lifetime\, one will prove that P is not equal to NP\
 , the cryptographic community needs to rely on assumptions\, and not surpr
 isingly\, cryptographic assumptions are an important area of research in c
 ryptography.\n\nIf we need to assume that P is not equal to NP is a necess
 ary assumption for cryptography\, then it would be most desirable to show 
 that this assumption also suffices. Unfortunately\, no results of this typ
 e are known and I will spend most of my talk explaining the difficulty of 
 proving such a statement.\n\nIf time permits (depending on the number of q
 uestions during the talk)\, I will then discuss indistinguishability obfus
 cation (iO) which is a fairly new cryptographic primitive that does not re
 ally fit with our existing conceptual frameworks. In particular\, unlike a
 ll other non-trivial cryptography\, if P=NP\, then iO exists. Yet\, iO is 
 a very strong primitive that allows for a lot of fancy applications and is
  even mutually exclusive with other cryptographic assumptions.
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190617T123207Z
UID:A9C4788C-9FBF-4859-94B8-170C41FFAF60
DTEND;TZID=Europe/Berlin:20190815T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Gandyra: Einwegfunktionen und Komplexitätstheorie
LAST-MODIFIED:20190814T135359Z
DTSTAMP:20190814T135401Z
DTSTART;TZID=Europe/Berlin:20190815T143000
SEQUENCE:1
BEGIN:VALARM
X-WR-ALARMUID:DF199BE7-A44F-4356-B3C4-D5359FDC19C7
UID:DF199BE7-A44F-4356-B3C4-D5359FDC19C7
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170314T140414Z
UID:F144AF9C-32B1-49A1-A9B3-8EA863C95896
DTEND;TZID=Europe/Berlin:20170404T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Schobel (BA: Default Logik)
LAST-MODIFIED:20170324T074536Z
DTSTAMP:20170324T074537Z
DTSTART;TZID=Europe/Berlin:20170404T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150413T080911Z
UID:E3FA7275-FB97-4C68-A124-FCFDDB6939D6
DTEND;TZID=Europe/Berlin:20150422T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Akselrod: Ein Tool für TSP-Algorithmen
LAST-MODIFIED:20150413T080911Z
DTSTAMP:20150413T080912Z
DTSTART;TZID=Europe/Berlin:20150422T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150331T064136Z
UID:9E8591F2-EA22-49B1-882D-459F967AC084
DTEND;TZID=Europe/Berlin:20150415T170000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Maurice: Isomorphism for CA Graphs
LAST-MODIFIED:20150408T103627Z
DTSTAMP:20150408T103629Z
DTSTART;TZID=Europe/Berlin:20150415T160000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20181008T160934Z
UID:CAA61AFF-D1AC-4E5E-BEBB-17BC827FF023
DTEND;TZID=Europe/Berlin:20181025T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Charlotte Rauch (MA)
LAST-MODIFIED:20181008T163358Z
DTSTAMP:20181008T163359Z
DTSTART;TZID=Europe/Berlin:20181025T150000
SEQUENCE:1
BEGIN:VALARM
X-WR-ALARMUID:1B72A619-54D5-41EC-A7E9-FBE2AD20AAB5
UID:1B72A619-54D5-41EC-A7E9-FBE2AD20AAB5
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20191127T130505Z
UID:65FD63A6-C433-43F6-8FEB-C297417C109A
DTEND;TZID=Europe/Berlin:20191217T134500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Qengaj
LAST-MODIFIED:20191204T085555Z
DTSTAMP:20191204T085556Z
DTSTART;TZID=Europe/Berlin:20191217T131500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190910T140652Z
UID:DC90290C-3417-4FBD-985B-AE0E8E31F56C
DTEND;TZID=Europe/Berlin:20191008T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Piremkumar
LAST-MODIFIED:20191008T111529Z
DTSTAMP:20190910T140657Z
DTSTART;TZID=Europe/Berlin:20191008T143000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220125T144500
UID:6d7397a6-6165-4c3e-9660-1e246275b62f
DTSTAMP:20211103T135605Z
X-MOZ-GENERATION:1
SEQUENCE:0
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Abschlusseigenschaften von #P
LAST-MODIFIED:20211103T135605Z
CREATED:20211103T124626Z
DTSTART;TZID=Europe/Berlin:20220125T141500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200416T140525Z
UID:5BE10CF4-0F6F-414A-AECD-065CBE291832
DTEND;TZID=Europe/Berlin:20200505T133000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Mönnich (Wahlsysteme)
LAST-MODIFIED:20200416T160930Z
DTSTAMP:20200416T160930Z
DTSTART;TZID=Europe/Berlin:20200505T130000
SEQUENCE:2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211129T124558Z
UID:79149A4A-6513-4924-BCF2-D8498F97583C
DTEND;TZID=Europe/Berlin:20211203T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schach-Seminar: Hilfsmatt ist PSPACE-vollständig
LAST-MODIFIED:20211129T124612Z
DTSTAMP:20211129T124608Z
DTSTART;TZID=Europe/Berlin:20211203T110000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190912T141147Z
UID:57E9A30E-C2A5-4E47-99B8-ADFE815238CF
DTEND;TZID=Europe/Berlin:20191008T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Kässens
LAST-MODIFIED:20190912T141153Z
DTSTAMP:20190912T141153Z
DTSTART;TZID=Europe/Berlin:20191008T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150422T093714Z
UID:D77A3AFF-56D2-47E0-8C78-98D9470991DD
DTEND;TZID=Europe/Berlin:20150604T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Lena Wiese (Göttingen): Methods for logical database securi
 ty
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150422T093714Z
DTSTART;TZID=Europe/Berlin:20150604T133000
SEQUENCE:0
DESCRIPTION:This talk gives an overview of security mechanisms for logical 
 databases (or knowledge bases). A key characteristic of these mechanisms i
 s that security policies are expressed as sets of logical formulas while a
 n attacker tries to retrieve as much secret information from the database 
 as possible. Preservation of secrecy is then defined by non-derivability o
 f secrets from the database answers. \nA further characteristic is that th
 e attacker may possess additional external information (also called backgr
 ound or a priori knowledge) that he can apply to derive more secret inform
 ation. \nLogical formalisms presented in this talk are:\n- model-theoretic
  computation of secure views under expressive constraints\n- weakening of 
 necessity degrees for possibilistic knowledge bases\n- horizontal fragment
 ation of multi-relational databases
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20221025T114015Z
DTEND;TZID=Europe/Berlin:20221130T141500
DTSTAMP:20221101T103718Z
DTSTART;TZID=Europe/Berlin:20221130T133000
LAST-MODIFIED:20221101T103717Z
SEQUENCE:1
SUMMARY:Brockmeyer (MA)
TRANSP:OPAQUE
UID:88EF96DD-920A-4978-98F1-B8CEC4530207
END:VEVENT
BEGIN:VEVENT
CREATED:20170529T112742Z
UID:2B9DB69A-4D20-4262-9C8F-77E9D520C690
DTEND;TZID=Europe/Berlin:20170626T133000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Wojtalla (DA: Omega-Automaten)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170617T194020Z
DTSTART;TZID=Europe/Berlin:20170626T130000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200507T114655Z
UID:2ACF73E4-CE1B-4779-9A68-B52F7D2E7652
DTEND;TZID=Europe/Berlin:20200528T130000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Zheng
LAST-MODIFIED:20200507T114655Z
DTSTAMP:20200507T114656Z
DTSTART;TZID=Europe/Berlin:20200528T123000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211129T124636Z
UID:DCC0BC46-412F-4975-AAD4-3A7150901947
DTEND;TZID=Europe/Berlin:20211210T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schach-Seminar: Königinnen im Exil
LAST-MODIFIED:20211129T124650Z
DTSTAMP:20211129T124644Z
DTSTART;TZID=Europe/Berlin:20211210T110000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190829T094318Z
UID:C3AF1612-933B-490E-8684-EEA91F8B94A0
DTEND;TZID=Europe/Berlin:20191008T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Baruth
LAST-MODIFIED:20190829T094335Z
DTSTAMP:20190829T094321Z
DTSTART;TZID=Europe/Berlin:20191008T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150721T092941Z
UID:D8D1932D-07D7-45E5-9735-DEC9B209C93D
DTEND;TZID=Europe/Berlin:20150901T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Simmet (BA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150721T092941Z
DTSTART;TZID=Europe/Berlin:20150901T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190826T070520Z
UID:7AAB0495-FD62-478C-BA7D-FE658B60454B
DTEND;TZID=Europe/Berlin:20190912T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Saroglu
LAST-MODIFIED:20190829T084229Z
DTSTAMP:20190826T070520Z
DTSTART;TZID=Europe/Berlin:20190912T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T150928Z
UID:299199b4-29a4-4668-8449-a87507486070
DTEND;TZID=Europe/Berlin:20200707T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Probabilistische Schaltkreise
LAST-MODIFIED:20200610T150940Z
DTSTAMP:20200610T150940Z
DTSTART;TZID=Europe/Berlin:20200707T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132540Z
DTEND;TZID=Europe/Berlin:20230606T151500
DTSTAMP:20230508T132542Z
DTSTART;TZID=Europe/Berlin:20230606T144500
SEQUENCE:2
SUMMARY:Höfer: Büchi-Automaten: Abschluss unter Vereinigung\, Schnitt und P
 rojektion
TRANSP:OPAQUE
UID:C0AC29B0-52FE-4016-9883-9FB63E7D4655
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150721T093524Z
UID:2468A06D-76DF-4099-BFD5-ACFF85FE938C
DTEND;TZID=Europe/Berlin:20150901T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Kretschmann (DA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150721T093524Z
DTSTART;TZID=Europe/Berlin:20150901T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190912T140948Z
UID:C18836A1-15E2-4AE2-9DC4-715038BBBEDD
DTEND;TZID=Europe/Berlin:20191008T160000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Mühlen
LAST-MODIFIED:20190912T141009Z
DTSTAMP:20190912T140959Z
DTSTART;TZID=Europe/Berlin:20191008T153000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150908T130353Z
UID:C9D80C17-773D-4C48-978B-D187FE51FD12
DTEND;TZID=Europe/Berlin:20150921T133000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Cramer: Ein Tool für Enumerationsalgorithmen
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150908T130353Z
DTSTART;TZID=Europe/Berlin:20150921T130000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170903T150635Z
UID:30D6A8F5-4267-48EC-A79D-4D9D300A1D86
DTEND;TZID=Europe/Berlin:20170926T163000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Matter: Visualisierung formal-sprachlicher Algorithmen
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170903T150717Z
DTSTART;TZID=Europe/Berlin:20170926T160000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220125T151500
UID:9ba4a670-71e4-4666-9caf-e000cab31f24
DTSTAMP:20211103T135615Z
X-MOZ-GENERATION:2
SEQUENCE:1
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Die Counting-Hierarchie
LAST-MODIFIED:20211103T135615Z
CREATED:20211103T124626Z
DTSTART;TZID=Europe/Berlin:20220125T144500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200827T153000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:6a5d33c4-dcee-4215-a286-f0230bfcdb75
DTSTAMP:20200801T091037Z
DESCRIPTION:Sensitivity Conjecture
SEQUENCE:0
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Kruse
LAST-MODIFIED:20200801T091037Z
CREATED:20200801T091037Z
DTSTART;TZID=Europe/Berlin:20200827T150000
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20150129T141500
UID:64CAC1CD-2EC4-497D-863E-DD162F881202
DTSTAMP:20150122T131729Z
DESCRIPTION:We examine visibly counter languages\, which are languages reco
 gnized by visibly counter automata (a.k.a. input driven counter  automata)
 . We are able to effectively characterize the visibly counter languages in
 \nAC0 and show that they are contained in FO[+].
SEQUENCE:0
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Andreas Krebs: Visibly Counter Languages and Constant Depth Circuit
 s
LAST-MODIFIED:20201113T122500Z
CREATED:20150122T132034Z
DTSTART;TZID=Europe/Berlin:20150129T131500
END:VEVENT
BEGIN:VEVENT
CREATED:20141105T111017Z
UID:50D1-545A1400-3-43ABA700
DTEND;TZID=Europe/Berlin:20141203T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag P. Nietardt (BA)\, Ein Tool für den Post'schen Verband
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20141105T111017Z
DTSTART;TZID=Europe/Berlin:20141203T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220111T151500
UID:302a5489-54f6-4978-b21b-2a233ac6eca5
DTSTAMP:20211103T134947Z
X-MOZ-GENERATION:1
SEQUENCE:1
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Komplexität von Boole’schen Constraint Satisfaction Pr
 oblems
LAST-MODIFIED:20211103T134947Z
CREATED:20211103T124626Z
DTSTART;TZID=Europe/Berlin:20220111T144500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211129T124618Z
UID:9990E2F0-B76D-4355-8332-A40BB2C2B34A
DTEND;TZID=Europe/Berlin:20211210T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schach-Seminar: Das Damenproblem
LAST-MODIFIED:20211129T124633Z
DTSTAMP:20211129T124625Z
DTSTART;TZID=Europe/Berlin:20211210T100000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20180201T143000
UID:4235FE89-ED29-4847-947F-71AA626EFEEB
DTSTAMP:20180111T150315Z
DESCRIPTION:Canonical Models and the Complexity of Modal Team Logic\n\nWe s
 tudy modal team logic (MTL)\, the smallest modal logic with team semantics
  closed under Boolean negation. While its fragments\, the modal logics of 
 dependence\, independence\, and inclusion\, are well-understood\, the sati
 sfiability problem of full MTL has been notoriously resistant to a complex
 ity theoretical classification.\nWe settle this open question and prove th
 at the satisfiability and the validity problem of MTL are complete for a n
 on-elementary complexity class we call TOWER(poly).
X-MOZ-GENERATION:1
SEQUENCE:0
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Martin
LAST-MODIFIED:20180111T150315Z
CREATED:20180111T140812Z
DTSTART;TZID=Europe/Berlin:20180201T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200225T091619Z
UID:231EDCFA-16A4-4EF5-9CC6-65E35F11DF86
DTEND;TZID=Europe/Berlin:20200317T103000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:John (BA)
LAST-MODIFIED:20200225T091704Z
DTSTAMP:20200225T091705Z
DTSTART;TZID=Europe/Berlin:20200317T100000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211129T124518Z
UID:3BF03FFB-8275-4EED-8013-7DFC0C9B6D70
DTEND;TZID=Europe/Berlin:20211203T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schach-Seminar: Korrektheit einer Stellung bewerten
LAST-MODIFIED:20211129T124549Z
DTSTAMP:20211129T124537Z
DTSTART;TZID=Europe/Berlin:20211203T100000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180320T114216Z
UID:CA652970-C4F7-4DB7-B1D2-0B510C169E82
DTEND;TZID=Europe/Berlin:20180419T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Vortrag H. Kiet Ta
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20180320T114300Z
DTSTART;TZID=Europe/Berlin:20180419T143000
SEQUENCE:0
DESCRIPTION:Logische Grundlagen der Programmiersprache PROLOG
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200827T150000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:6fe82f0e-12ea-4343-bd30-aa80834df94b
DTSTAMP:20200801T091009Z
DESCRIPTION:Synthesis of Machine Programs from Execution Traces
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Mahlau 
LAST-MODIFIED:20200801T091009Z
CREATED:20200801T090958Z
DTSTART;TZID=Europe/Berlin:20200827T143000
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T151050Z
UID:a1e236d4-3088-43c3-a2d8-de8774482e99
DTEND;TZID=Europe/Berlin:20200714T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Deskriptive Komplexität: Der Satz von Immerman
LAST-MODIFIED:20200709T135247Z
DTSTAMP:20200610T151100Z
DTSTART;TZID=Europe/Berlin:20200714T143000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T150950Z
UID:74d301b4-d6e9-451a-b581-613dd97fa6c0
DTEND;TZID=Europe/Berlin:20200707T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:TBS Seminar: Der Satz von Smolensky
LAST-MODIFIED:20200610T151006Z
DTSTAMP:20200610T151006Z
DTSTART;TZID=Europe/Berlin:20200707T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200610T151106Z
UID:d9847314-0ec5-47e6-a7f6-eba8965030c8
DTEND;TZID=Europe/Berlin:20200714T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
X-MOZ-GENERATION:1
SUMMARY:TBS Seminar: P-Vollständigkeit
LAST-MODIFIED:20200709T135245Z
DTSTAMP:20200610T151126Z
DTSTART;TZID=Europe/Berlin:20200714T140000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20151106T143801Z
UID:1601D63B-AA3A-446D-A1BA-3B784554BFE1
DTEND;TZID=Europe/Berlin:20151118T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Wahle (D)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20151106T143816Z
DTSTART;TZID=Europe/Berlin:20151118T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200210T121235Z
UID:8DDE0844-BBFA-4EE4-BEC6-B5E8C433F86C
DTEND;TZID=Europe/Berlin:20200317T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Strieker (BA)
LAST-MODIFIED:20200210T121312Z
DTSTAMP:20200210T121238Z
DTSTART;TZID=Europe/Berlin:20200317T103000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140918T120547Z
UID:4307-541ACB00-4D-4C43A300
DTEND;TZID=Europe/Berlin:20141009T181500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag: Sergey Karthamsyhev\, Resolution für modale Logiken
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20141009T093405Z
DTSTART;TZID=Europe/Berlin:20141009T173000
SEQUENCE:2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220630T174318Z
DTEND;TZID=Europe/Berlin:20220706T163000
DTSTAMP:20220706T061050Z
DTSTART;TZID=Europe/Berlin:20220706T153000
LAST-MODIFIED:20220706T061047Z
SEQUENCE:0
SUMMARY:Gastvortrag Chudigiewitsch
TRANSP:OPAQUE
UID:42A39150-DB37-4F72-B318-6FFA355589ED
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220628T144755Z
UID:8F1B7F62-BEC7-4AF6-A1BD-374247B401BE
DTEND;TZID=Europe/Berlin:20220901T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Mike Grätz (BA: Erreichbarkeit in neuronalen Netzen)
LAST-MODIFIED:20220711T105014Z
DTSTAMP:20220628T144757Z
DTSTART;TZID=Europe/Berlin:20220901T140000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220524T124101Z
DTEND;TZID=Europe/Berlin:20220719T160000
DTSTAMP:20220712T133206Z
DTSTART;TZID=Europe/Berlin:20220719T153000
LAST-MODIFIED:20220712T133204Z
SEQUENCE:2
SUMMARY:Tim Hagen (Gap-Languages and Log-Time Complexity Classes)
TRANSP:OPAQUE
UID:6A26D3FB-CF5C-4D80-BF42-D2FED969D623
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132540Z
DTEND;TZID=Europe/Berlin:20230606T154500
DTSTAMP:20230508T132542Z
DTSTART;TZID=Europe/Berlin:20230606T151500
SEQUENCE:3
SUMMARY:Plattner: Büchi-Theorem
TRANSP:OPAQUE
UID:41383F9A-14D5-4EF7-AD05-E988F32132E4
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20161128T095941Z
UID:896d1268-39fc-4b47-a1de-4767ae77c8c7
DTEND;TZID=Europe/Berlin:20161215T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
X-MOZ-GENERATION:1
SUMMARY:Vortrag Buling (MA): Obfuscation
LAST-MODIFIED:20161208T144326Z
DTSTAMP:20161208T144326Z
DTSTART;TZID=Europe/Berlin:20161215T134500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220719T090344Z
UID:3B10FEB9-8701-4BB7-8EC1-98137651FC11
DTEND;TZID=Europe/Berlin:20220922T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Jurisch
LAST-MODIFIED:20220719T093532Z
DTSTAMP:20220719T090356Z
DTSTART;TZID=Europe/Berlin:20220922T133000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132540Z
DTEND;TZID=Europe/Berlin:20230606T144500
DTSTAMP:20230508T132542Z
DTSTART;TZID=Europe/Berlin:20230606T141500
SEQUENCE:1
SUMMARY:Ziehm: Büchi-Automaten: Allgemeine Grundlagen
TRANSP:OPAQUE
UID:A98C60DD-31D7-44B9-9BA8-2905F09CF3E2
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093517Z
UID:7548D048-E9D3-4FCF-AE13-3F1EF46E38AA
DTEND;TZID=Europe/Berlin:20221219T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Nils Langius: ECDSA
LAST-MODIFIED:20221021T093540Z
DTSTAMP:20221021T093517Z
DTSTART;TZID=Europe/Berlin:20221219T144500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20240405T092656Z
DTEND;TZID=Europe/Berlin:20240527T141000
DTSTAMP:20240424T133337Z
DTSTART;TZID=Europe/Berlin:20240527T133000
LAST-MODIFIED:20240424T133336Z
LOCATION:3403.A501
SEQUENCE:5
SUMMARY:BA Shekho: Eine GUI für Rot-Schwarz-Bäume
TRANSP:OPAQUE
UID:8431BC4F-85C0-4406-9C99-F363F94CF3BE
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210720T114500
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:8e71565a-23cf-493f-bacf-6d5955ef9453
DTSTAMP:20210624T070949Z
DESCRIPTION:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2d
 HdpVTYxdz09\n\nThemen:\n\n- Monadische und dyadische Logik\n- Die Logik de
 r Beweisbarkeit\n- Entscheidbarkeit der Gödel-Kalmar-Schütte-Klasse
SEQUENCE:0
CLASS:PUBLIC
X-ALT-DESC;FMTTYPE=text/html:<html><head><style id=css_styles>blockquote.ci
 te { margin-left: 5px\; margin-right: 0px\; padding-left: 10px\; padding-r
 ight:0px\; border-left: 1px solid #cccccc }\nblockquote.cite2 {margin-left
 : 5px\; margin-right: 0px\; padding-left: 10px\; padding-right:0px\; borde
 r-left: 1px solid #cccccc\; margin-top: 3px\; padding-top: 0px\; }\na img 
 { border: 0px\; }\nli[style='text-align: center\;']\, li[style='text-align
 : right\;'] {  list-style-position: inside\;}\nbody { font-family: Segoe U
 I\; font-size: 12pt\;   }</style></head><body><a class=link-extern href=ht
 tps://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09 r
 el=noreferrer noopener style=font-size: 12pt\\\;>https://us02web.zoom.us/j
 /83772254408?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09</a><div><br></div><div>T
 hemen:</div><div><br></div><div>- Monadische und dyadische Logik</div><div
 >- Die Logik der Beweisbarkeit</div><div>- Entscheidbarkeit der Gödel-Kalm
 ar-Schütte-Klasse</div></body></html>
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminarvorträge BuL
LAST-MODIFIED:20210624T070949Z
CREATED:20210624T070949Z
DTSTART;TZID=Europe/Berlin:20210720T101500
END:VEVENT
BEGIN:VEVENT
CREATED:20190327T132349Z
UID:DBF208DB-1C41-4415-994E-6444476BD96D
DTEND;TZID=Europe/Berlin:20190425T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schneider\, Korrespondentheorie (BA)
LAST-MODIFIED:20190327T132409Z
DTSTAMP:20190327T132400Z
DTSTART;TZID=Europe/Berlin:20190425T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170511T082319Z
UID:8E2A690B-C7E4-4F52-A295-624AA25A4089
DTEND;TZID=Europe/Berlin:20170613T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Reinbold (Enumeration in Team Based Logics\, MA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20170607T064043Z
DTSTART;TZID=Europe/Berlin:20170613T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180822T085350Z
UID:B3ADF033-926F-4FFE-AC08-296485D26D57
DTEND;TZID=Europe/Berlin:20180918T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Chudigiewitsch (BA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20180822T111124Z
DTSTART;TZID=Europe/Berlin:20180918T150000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211213T103432Z
UID:AE636A07-EA3E-45D9-8FC9-230F5E6721D1
DTEND;TZID=Europe/Berlin:20220114T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schach-Seminar: Schach-Steganographie
LAST-MODIFIED:20211213T103432Z
DTSTAMP:20211213T103432Z
DTSTART;TZID=Europe/Berlin:20220114T100000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220719T093514Z
UID:DDE24AEF-629A-4177-AE59-618EA768BB50
DTEND;TZID=Europe/Berlin:20220922T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Schmidtke
LAST-MODIFIED:20220719T093528Z
DTSTAMP:20220719T093527Z
DTSTART;TZID=Europe/Berlin:20220922T141500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220811T135626Z
UID:3A098A5B-0144-49BB-8278-95ECB9BB6797
DTEND;TZID=Europe/Berlin:20220901T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Enno Teßmer: One-Way Functions from NP-Complete Problems
LAST-MODIFIED:20220811T135655Z
DTSTAMP:20220811T135652Z
DTSTART;TZID=Europe/Berlin:20220901T144500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132639Z
DTEND;TZID=Europe/Berlin:20230613T151500
DTSTAMP:20230508T132642Z
DTSTART;TZID=Europe/Berlin:20230613T144500
SEQUENCE:4
SUMMARY:Kalmbach: Komplementierungssatz
TRANSP:OPAQUE
UID:3070B0EA-F759-45C5-AAD4-1B8978BB754A
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210713T143000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:f3e593dd-b05b-482c-bcdc-755985d6674c
DTSTAMP:20210713T071239Z
DESCRIPTION:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2d
 HdpVTYxdz09\n\nThemen:\n\n- Logische Normalformen\n- Das Craig'sche Interp
 olationslemma\n
SEQUENCE:1
CLASS:PUBLIC
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFv
 aWV4M3l2dHdpVTYxdz09
X-ALT-DESC;FMTTYPE=text/html:<html><head><style id=css_styles>blockquote.ci
 te { margin-left: 5px\; margin-right: 0px\; padding-left: 10px\; padding-r
 ight:0px\; border-left: 1px solid #cccccc }\nblockquote.cite2 {margin-left
 : 5px\; margin-right: 0px\; padding-left: 10px\; padding-right:0px\; borde
 r-left: 1px solid #cccccc\; margin-top: 3px\; padding-top: 0px\; }\na img 
 { border: 0px\; }\nli[style='text-align: center\;']\, li[style='text-align
 : right\;'] {  list-style-position: inside\;}\nbody { font-family: Segoe U
 I\; font-size: 12pt\;   }</style></head><body><div><div><div><div><a class
 =link-extern href=https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaW
 V4M3l2dHdpVTYxdz09 rel=noreferrer noopener style=>https://us02web.zoom.us/
 j/83772254408?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09</a></div></div></div></
 div><div><br></div><div>Themen:</div><div><br></div><div>- Logische Normal
 formen</div><div>- Das Craig'sche Interpolationslemma</div><div>- Die Präd
 ikatenlogik der zweiten Stufe</div></body></html>
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminarvorträge BuL
LAST-MODIFIED:20210713T071237Z
CREATED:20210624T070838Z
DTSTART;TZID=Europe/Berlin:20210713T133000
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210706T150000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:0eb7910d-aaa3-4529-8cf4-4eaef916a41f
DTSTAMP:20210624T070604Z
DESCRIPTION:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2d
 HdpVTYxdz09\n\nThemen:\n\n- Maschinenunabhängige Komplextitätstheorie\n- R
 ekursive Funktionen und Relationen\n- Die Ackermann-Funktion ist nicht LOO
 P-berechenbar\n
SEQUENCE:0
CLASS:PUBLIC
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/83772254408?pwd=SnF5S251NHFv
 aWV4M3l2dHdpVTYxdz09
X-ALT-DESC;FMTTYPE=text/html:<html><head><style id=css_styles>blockquote.ci
 te { margin-left: 5px\; margin-right: 0px\; padding-left: 10px\; padding-r
 ight:0px\; border-left: 1px solid #cccccc }\nblockquote.cite2 {margin-left
 : 5px\; margin-right: 0px\; padding-left: 10px\; padding-right:0px\; borde
 r-left: 1px solid #cccccc\; margin-top: 3px\; padding-top: 0px\; }\na img 
 { border: 0px\; }\nli[style='text-align: center\;']\, li[style='text-align
 : right\;'] {  list-style-position: inside\;}\nbody { font-family: Segoe U
 I\; font-size: 12pt\;   }</style></head><body><div><div><div><div><div><di
 v><div><div><a class=link-extern href=https://us02web.zoom.us/j/8377225440
 8?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09 rel=noreferrer noopener>https://us0
 2web.zoom.us/j/83772254408?pwd=SnF5S251NHFvaWV4M3l2dHdpVTYxdz09</a></div><
 /div></div></div></div></div></div></div><div><br></div>Themen:<div><br></
 div><div>- Die Ackermann-Funktion ist nicht LOOP-berechenbar</div><div>- R
 ekursive Funktionen und Relationen</div><div>- Maschinenunabhängige Komple
 xtitätstheorie</div><div><div><div><div><div></div></div></div></div></div
 ></body></html>
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminarvorträge BuL
LAST-MODIFIED:20210706T093526Z
CREATED:20210624T070547Z
DTSTART;TZID=Europe/Berlin:20210706T133000
END:VEVENT
BEGIN:VEVENT
CREATED:20200422T085846Z
UID:DB0E0DCC-4636-44AB-A262-0834FB573891
DTEND;TZID=Europe/Berlin:20200507T123000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Bilsky (Public-Key Kryptographie mit multivariaten quadratischen
  Gleichungen)
LAST-MODIFIED:20200423T211428Z
DTSTAMP:20200422T085847Z
DTSTART;TZID=Europe/Berlin:20200507T120000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20171002T081038Z
UID:8FA2550E-9500-42C0-9F13-F1CFCA4217D5
DTEND;TZID=Europe/Berlin:20171018T153000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Friedrich (DA): Steganographie
LAST-MODIFIED:20171002T151300Z
DTSTAMP:20171017T075205Z
DTSTART;TZID=Europe/Berlin:20171018T150000
SEQUENCE:0
BEGIN:VALARM
X-WR-ALARMUID:5489DF3D-D78E-46C8-A86A-0610B533042C
UID:5489DF3D-D78E-46C8-A86A-0610B533042C
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221005T170000
UID:FA8DB499-63E3-48DC-8ACE-8899C7F589F0
DTSTAMP:20220901T100346Z
LOCATION:1616
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Schwebs: Backdoors für SAT
LAST-MODIFIED:20221003T145156Z
CREATED:20220901T100259Z
DTSTART;TZID=Europe/Berlin:20221005T161500
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132639Z
DTEND;TZID=Europe/Berlin:20230613T154500
DTSTAMP:20230508T132642Z
DTSTART;TZID=Europe/Berlin:20230613T151500
SEQUENCE:4
SUMMARY:Hlava: Deterministische Büchi-Automaten
TRANSP:OPAQUE
UID:59AF545A-9A75-44BF-A47B-FA33706E49BA
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221005T161500
UID:DA438CE5-F8FD-4E56-AA54-A2CFB125A124
DTSTAMP:20220825T083541Z
LOCATION:1616
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Bauer: Abstrakte Argumentation
LAST-MODIFIED:20221003T145153Z
CREATED:20220825T083535Z
DTSTART;TZID=Europe/Berlin:20221005T153000
END:VEVENT
BEGIN:VEVENT
CREATED:20211129T124713Z
UID:400D465C-162D-410C-BAD7-EF9D92DB5AD2
DTEND;TZID=Europe/Berlin:20211217T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Schach-Seminar: Endspiele im m x n Schach
LAST-MODIFIED:20211129T124725Z
DTSTAMP:20211129T124718Z
DTSTART;TZID=Europe/Berlin:20211217T110000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20190321T144500
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:E6E00028-AEF1-40E7-BC96-B9AE03D69DC4
DTSTAMP:20190304T123856Z
SEQUENCE:3
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Maurice: Systematic Programming
LAST-MODIFIED:20190304T123856Z
CREATED:20190205T105126Z
DTSTART;TZID=Europe/Berlin:20190321T134500
END:VEVENT
BEGIN:VEVENT
CREATED:20220901T100223Z
UID:0F619A53-353F-4132-99C4-B2A7E5B2B1DC
DTEND;TZID=Europe/Berlin:20220922T133000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Ehrmuth (BA)
LAST-MODIFIED:20220901T111546Z
DTSTAMP:20220901T111546Z
DTSTART;TZID=Europe/Berlin:20220922T124500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132639Z
DTEND;TZID=Europe/Berlin:20230613T144500
DTSTAMP:20230508T132642Z
DTSTART;TZID=Europe/Berlin:20230613T141500
SEQUENCE:3
SUMMARY:Bruhn: Komplementierung von Büchi-Automaten
TRANSP:OPAQUE
UID:13116709-3854-4A7F-AF8C-5EEEDEDDDCB4
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20190325T135918Z
UID:84397E49-EFA2-4B26-8438-DDA9A3347663
DTEND;TZID=Europe/Berlin:20190425T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Müller\, Prädikatenlogik 2. Stufe (BA)
LAST-MODIFIED:20190325T135920Z
DTSTAMP:20190325T135918Z
DTSTART;TZID=Europe/Berlin:20190425T140000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20200506T090915Z
UID:4889E9CB-382A-4C97-B5A1-63CD70A7DAD9
DTEND;TZID=Europe/Berlin:20200520T113000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Thieu
LAST-MODIFIED:20200506T090915Z
DTSTAMP:20200506T090916Z
DTSTART;TZID=Europe/Berlin:20200520T110000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20161102T121948Z
UID:6F2E5B8E-7246-4D20-B8D0-E7194DBF5D16
DTEND;TZID=Europe/Berlin:20161114T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag MA Wiebking: Group Isomorphism
LAST-MODIFIED:20161102T122148Z
DTSTAMP:20161102T122149Z
DTSTART;TZID=Europe/Berlin:20161114T133000
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20180809T122939Z
UID:9C17C882-1676-439E-ACF4-879B0FF9500E
DTEND;TZID=Europe/Berlin:20181004T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Werth (BA)
LAST-MODIFIED:20180809T122946Z
DTSTAMP:20180813T102134Z
DTSTART;TZID=Europe/Berlin:20181004T150000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20140227T090947Z
UID:5EAA8B6E-6066-4506-A55A-DE0BAB1CDD61
DTEND;TZID=Europe/Berlin:20140311T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Oberseminar: Vortrag P. Krüger (DA)
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20140227T091021Z
DTSTART;TZID=Europe/Berlin:20140311T133000
SEQUENCE:5
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220929T160000
UID:294AB545-EC2B-40B1-8A2E-64DD6DB6698E
DTSTAMP:20220720T085406Z
LOCATION:Hybrid: Room 027 Appelstr. 4 + https://uni-hannover.webex.com/join
 /mahmood \n 
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Disputation Yasir Mahmood
LAST-MODIFIED:20220914T141545Z
CREATED:20220720T085348Z
DTSTART;TZID=Europe/Berlin:20220929T134500
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093517Z
UID:02A7A44A-E72B-49D1-A89E-A8D51CD9DF97
DTEND;TZID=Europe/Berlin:20221219T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Tim Hollmann: Zertifikate
LAST-MODIFIED:20221021T093550Z
DTSTAMP:20221021T093517Z
DTSTART;TZID=Europe/Berlin:20221219T151500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230703T080621Z
DTEND;TZID=Europe/Berlin:20230726T144500
DTSTAMP:20230703T080622Z
DTSTART;TZID=Europe/Berlin:20230726T140000
SEQUENCE:0
SUMMARY:MA Vortrag Jaeger
TRANSP:OPAQUE
UID:733B9DC1-905A-4CE2-9B1A-FBD94356B6CC
URL;VALUE=URI:message:%3C5bc1ec6f-552a-8989-cb39-c2300410d002@thi.uni-hanno
 ver.de%3E
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201126T140000
UID:DFC60BDB-A1DF-45E9-A402-9BBFD65980B2
DTSTAMP:20201124T203620Z
LOCATION:https://join.skype.com/lhw6MejKBHAE
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/lhw6MejKBHAE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Rosik
LAST-MODIFIED:20201124T203619Z
CREATED:20201109T113623Z
DTSTART;TZID=Europe/Berlin:20201126T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210323T150000
UID:84D917B9-D2AD-4623-9AC1-444448D31C85
DTSTAMP:20210322T120644Z
LOCATION:https://join.skype.com/mHPqBQQ3p2lS
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/mHPqBQQ3p2lS
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Tran
LAST-MODIFIED:20210311T131642Z
CREATED:20210311T131621Z
DTSTART;TZID=Europe/Berlin:20210323T143000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20190827T170000
UID:45D1C9EA-E3FF-4A98-8611-A5DF231887D9
DTSTAMP:20190820T075350Z
LOCATION:3703 224
DESCRIPTION:How to Save Democracy\nor\nTowards Model Checking of E-Voting P
 rotocols in Alternating-time\nTemporal Logic\n\nAbstract:\nProperties of r
 eceipt-freeness\, coercion resistance\, and voter\nverifiability refer to 
 the existence (or nonexistence) of an appropriate\nstrategy for the voter\
 , the coercer\, or both. One can try to specify\nsuch properties by formul
 ae of a suitable strategic logic\, such as\nAlternating-time Temporal Logi
 c (ATL). However\, automated verification\nof strategic properties in scen
 arios with partial observability is\nnotoriously hard\, and novel techniqu
 es are needed to overcome the\ncomplexity.\n\nI will start with an overvie
 w of the relevant properties\, show how they\ncan be specified in ATL\, an
 d present some novel results for model\nchecking ATL with partial observab
 ility that we have obtained in the\nPolish-Luxembourgish project VoteVerif
 .
SEQUENCE:0
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag W. Jamroga 
LAST-MODIFIED:20190820T075349Z
CREATED:20190820T075349Z
DTSTART;TZID=Europe/Berlin:20190827T160000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210331T140000
UID:55045BD5-BA2F-4B7B-B974-ED3CDE08949A
DTSTAMP:20210304T183629Z
LOCATION:https://join.skype.com/lstXGqtNHL0j
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/lstXGqtNHL0j
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Natusch: Pseudodeterministische Datenstrom-Algorithmen
LAST-MODIFIED:20210303T101017Z
CREATED:20210219T084532Z
DTSTART;TZID=Europe/Berlin:20210331T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T091110Z
UID:13814833-e471-43dd-92f0-dd516fbd0233
DTEND;TZID=Europe/Berlin:20210126T123000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Extremal Method (Armstrong)
LAST-MODIFIED:20210119T102224Z
DTSTAMP:20210106T091159Z
DTSTART;TZID=Europe/Berlin:20210126T120000
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210916T140000
UID:05A2D0DF-38F6-4D79-BA1E-2B043D49A0E2
DTSTAMP:20210817T113537Z
LOCATION:https://uni-hannover.webex.com/meet/arne.meier
SEQUENCE:1
CONFERENCE;VALUE=URI:https://uni-hannover.webex.com/meet/arne.meier
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Burmeister (Hash-basierte Nachrichten-Authentifizierungs-Codes)
LAST-MODIFIED:20210916T113357Z
CREATED:20210817T113528Z
DTSTART;TZID=Europe/Berlin:20210916T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20151208T161500
UID:59B6F642-4C9A-4829-9624-B0659C2A7D85
DTSTAMP:20151125T124836Z
LOCATION:235
DESCRIPTION:\nDetermining the winner of a Parity Game is a major problem in
  computational\ncomplexity with a number of applications in verification. 
 In a parameterized\ncomplexity setting\, the problem has often been consid
 ered with parameters such\nas (directed versions of) treewidth or clique-w
 idth\, by applying dynamic\nprogramming techniques.\n\nIn this talk we sho
 w how to adopt a parameterized approach which is more inspired by\nwell-kn
 own (non-parameterized) algorithms for this problem. We consider a\nnumber
  of natural parameterizations\, such as by Directed Feedback Vertex Set\,\
 nDistance to Tournament\, and Modular Width. We show that\, for these para
 meters\,\nit is possible to obtain recursive parameterized algorithms whic
 h are simpler\,\nfaster and only require polynomial space. We complement t
 hese results with some\nalgorithmic lower bounds which\, among others\, ru
 le out a possible avenue for\nimproving the best-known sub-exponential tim
 e algorithm for parity games.
SEQUENCE:0
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Sebastian Ordyniak: Parameterized Algorithms for Parity Games
LAST-MODIFIED:20201113T122500Z
CREATED:20151125T124753Z
DTSTART;TZID=Europe/Berlin:20151208T151500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210304T105741Z
UID:5DFF6186-F291-41F5-A309-05855D921ABB
DTEND;TZID=Europe/Berlin:20210331T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Thomsen: Selbstreduzierbarkeit
LAST-MODIFIED:20210304T183149Z
DTSTAMP:20210304T183150Z
DTSTART;TZID=Europe/Berlin:20210331T143000
LOCATION:https://meet.uni-hannover.de/BAThomsen
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20211014T134500
UID:2C27D72D-21CF-45DE-B123-474FD79300BF
DTSTAMP:20211012T130117Z
LOCATION:https://uni-hannover.webex.com/meet/vollmer
DESCRIPTION:https://uni-hannover.webex.com/meet/vollmer
URL;VALUE=URI:https://meet.uni-hannover.de/babolling
X-MOZ-GENERATION:2
SEQUENCE:2
CONFERENCE;VALUE=URI:https://uni-hannover.webex.com/meet/vollmer
X-LIC-ERROR:No value for URL property. Removing entire property:
SUMMARY:BA-Vortrag Bolling (Wahlsysteme)
LAST-MODIFIED:20211014T110649Z
DTSTART;TZID=Europe/Berlin:20211014T130000
CREATED:20210916T144401Z
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210923T153000
UID:3016AB20-1F18-4D93-A227-EC3AFBBABBF7
DTSTAMP:20210910T141742Z
LOCATION:https://uni-hannover.webex.com/meet/arne.meier
SEQUENCE:1
CONFERENCE;VALUE=URI:https://uni-hannover.webex.com/meet/arne.meier
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Hostermann (Teilen von Geheimnissen unter Verwendung von mathema
 tischen Modellen)
LAST-MODIFIED:20210916T084028Z
CREATED:20210909T113304Z
DTSTART;TZID=Europe/Berlin:20210923T143000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201203T140000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:9A9F23AF-E68A-433A-88F9-0D0F4EA3EFAD+ZOOMMEETINGNUMBER:91359235997
DTSTAMP:20201203T122010Z
LOCATION:https://zoom.us/j/91359235997?pwd=TnlpcFpFMEJOdWFZSUh6OGNSK2dpUT09
 
DESCRIPTION:https://zoom.us/j/91359235997?pwd=TnlpcFpFMEJOdWFZSUh6OGNSK2dpU
 T09\n\nMeeting-ID: 913 5923 5997\nKenncode: 287176
SEQUENCE:0
CONFERENCE;VALUE=URI:tel://913%205923%205997
X-ALT-DESC;FMTTYPE=text/html:<a href=https://zoom.us/j/91359235997?pwd=Tnlp
 cFpFMEJOdWFZSUh6OGNSK2dpUT09>https://zoom.us/j/91359235997?pwd=TnlpcFpFMEJ
 OdWFZSUh6OGNSK2dpUT09</a><br /><br />Meeting-ID: 913 5923 5997<br />Kennco
 de: 287176<br />
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Gutsfeld: Automata and Fixpoints for Asynchronous Hyperproperties
LAST-MODIFIED:20201203T122010Z
CREATED:20201106T130235Z
DTSTART;TZID=Europe/Berlin:20201203T133000
BEGIN:VALARM
X-WR-ALARMUID:57D36EB3-38B7-49FB-8D3E-D73BD94814FF
UID:57D36EB3-38B7-49FB-8D3E-D73BD94814FF
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
ACKNOWLEDGED:20201203T122002Z
X-APPLE-DEFAULT-ALARM:TRUE
ACTION:NONE
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20211118T083502Z
UID:0426CB97-EA24-454E-BB09-6D28DCE05173
DTEND;TZID=Europe/Berlin:20211125T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:A. Mahjoub (BA: Independence results)
LAST-MODIFIED:20211118T090059Z
DTSTAMP:20211118T083544Z
DTSTART;TZID=Europe/Berlin:20211125T133000
LOCATION:https://uni-hannover.webex.com/meet/vollmer
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20160808T150000
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
UID:d18dfe70-3b09-4a6f-a290-dc485d489273
DTSTAMP:20160729T112258Z
LOCATION:Raum 224
X-MOZ-SEND-INVITATIONS-UNDISCLOSED:FALSE
DESCRIPTION:1. On the Implicit Graph Conjecture\n    Maurice Chandoo\n\nThe
  implicit graph conjecture states that every sufficiently small\, heredita
 ry graph class has a labeling scheme with a polynomial-time computable lab
 el decoder. We approach this conjecture by investigating classes of label 
 decoders defined in terms of complexity classes such as P and EXP. For ins
 tance\, GP denotes the class of graph classes that have a labeling scheme 
 with a polynomial-time computable label decoder. Until now it was not even
  known whether GP is a strict subset of GR. We show that this is indeed th
 e case and reveal a strict hierarchy akin to classical complexity. We also
  show that classes such as GP can be characterized in terms of graph param
 eters. This could mean that certain algorithmic problems are feasible on e
 very graph class in GP. Lastly\, we define a more restrictive class of lab
 el decoders using first-order logic that already contains many natural gra
 ph classes such as forests and interval graphs. We give an alternative cha
 racterization of this class in terms of directed acyclic graphs. By showin
 g that some small\, hereditary graph class cannot be expressed with such l
 abel decoders a weaker form of the implicit graph conjecture could be disp
 roven.\n\n\n2. A Model-Theoretic Characterization of Constant-Depth Arithm
 etic Circuits\n    Anselm Haak\n\nWe study the class #AC^0 of functions co
 mputed by constant-depth polynomial-size arithmetic circuits of unbounded 
 fan-in addition and multiplication gates. No model-theoretic characterizat
 ion for arithmetic circuit classes is known so far. Inspired by Immerman’s
  characterization of the Boolean class AC^0\, we remedy this situation and
  develop such a characterization of #AC^0. Our characterization can be int
 erpreted as follows: Functions in #AC^0 are exactly those functions counti
 ng winning strategies in first-order model checking games. A consequence o
 f our results is a new model-theoretic characterization of TC^0\, the clas
 s of languages accepted by constant-depth polynomial-size majority circuit
 s.\n\n\n3. Axiomatizations for Propositional and Modal Team Logic\n    Mar
 tin Lück\n\nA framework is developed that extends Hilbert-style proof syst
 ems for propositional and modal logics to comprehend their team-based coun
 terparts. The method is applied to classical propositional logic and the m
 odal logic K. Complete axiomatizations for their team-based extensions\, p
 ropositional team logic PTL and modal team logic MTL\, are presented.
X-MOZ-SEND-INVITATIONS:TRUE
X-MOZ-GENERATION:6
SEQUENCE:2
SUMMARY:Vorträge Chandoo\, Haak\, Lück
LAST-MODIFIED:20160729T112258Z
DTSTART;TZID=Europe/Berlin:20160808T133000
CREATED:20160629T110347Z
ATTENDEE;EMAIL=meier@thi.uni-hannover.de;ROLE=REQ-PARTICIPANT;PARTSTAT=TENT
 ATIVE;CN=Arne Meier;CUTYPE=INDIVIDUAL:urn:x-uid:FC401D3E-4201-4147-9FE0-37
 ADFC68A253
ORGANIZER;CN=haak@thi.uni-hannover.de;SCHEDULE-STATUS=5.3;SCHEDULE-AGENT=CL
 IENT:mailto:haak@thi.uni-hannover.de
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20170214T123000
UID:4bd4e583-acaf-4215-866e-a86d712c802c
DTSTAMP:20170213T093304Z
LOCATION:224
DESCRIPTION:Über zk-SNARKs.\n\nZusammenfassung:\n\nEs wird eine Technik von
  C.Gentry\, J. Howell\, B. Parno und M. Raykova erläutert\, mit deren Hilf
 e Berechnungen eines Provers schnell verifiziert werden können. Eine allge
 meine Berechnung wird dazu in einen arithmetischen Schaltkreis aufgerollt 
 und auf ein Problem über Polynomen reduziert. Zur Verifikation genügt die 
 Auswertung des Polynoms an einer einzigen Stelle s\, die der Prover aber n
 icht kennen darf. Zum Verfahren gehört auch\, dass für eine Berechnung ein
 e Reihe von Informationen (wie z.B. s) vorher verschlüsselt veröffentlicht
 \, und dann im Beweis- und Verifikationsprozess verarbeitet werden\, wobei
  die überwiegende Hauptarbeit vom Prover geleistet wird.
X-MOZ-GENERATION:2
SEQUENCE:1
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Elmar Böhler
LAST-MODIFIED:20170213T093304Z
CREATED:20170207T100943Z
DTSTART;TZID=Europe/Berlin:20170214T113000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200915T153000
UID:C095EA4F-C548-4E35-9F66-7888591500D4
DTSTAMP:20200914T135935Z
LOCATION:https://join.skype.com/i89RGYbuzRUl
X-MOZ-GENERATION:1
SEQUENCE:2
X-LIC-ERROR:No value for URL property. Removing entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Gaube (MA): Zufallsbegriffe in der Berechenbarkeitstheorie
LAST-MODIFIED:20200914T135935Z
CREATED:20200825T090009Z
DTSTART;TZID=Europe/Berlin:20200915T150000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220923T120928Z
DTEND;TZID=Europe/Berlin:20221012T150000
DTSTAMP:20220924T102705Z
DTSTART;TZID=Europe/Berlin:20221012T141500
LAST-MODIFIED:20220924T102704Z
SEQUENCE:0
SUMMARY:BA Reinhardt (Ehrenfeucht)
TRANSP:OPAQUE
UID:8785E5B4-A7D8-4369-A45A-4375202A8B3D
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093517Z
UID:A6F169BB-AD70-4E62-8E70-DFB54765ED2B
DTEND;TZID=Europe/Berlin:20221219T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Antonia Ziehm: Sichere MACs aus sicheren Blockchiffren
LAST-MODIFIED:20221021T093531Z
DTSTAMP:20221021T093517Z
DTSTART;TZID=Europe/Berlin:20221219T141500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221130T200618Z
UID:47B9AEB2-DA50-4DDE-B968-6BC8AA03C6FC
DTEND;TZID=Europe/Berlin:20230125T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Marcel Rehn: Berechnung des Jacobi-Symbols in P
LAST-MODIFIED:20221130T200622Z
DTSTAMP:20221130T200618Z
DTSTART;TZID=Europe/Berlin:20230125T113000
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200916T143000
UID:EDBC24A4-F851-41B3-88EC-FFF3AB5B3081
DTSTAMP:20200914T140132Z
LOCATION:https://join.skype.com/d3fRJ4vXGBeG
X-MOZ-GENERATION:1
SEQUENCE:2
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Hagen (BA)
LAST-MODIFIED:20200914T140132Z
CREATED:20200831T103827Z
DTSTART;TZID=Europe/Berlin:20200916T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210729T114500
UID:3A4CE5D8-5E58-408B-8208-C8AA30F2441C
DTSTAMP:20210706T111145Z
LOCATION:https://us02web.zoom.us/j/5547370993\n\n
SEQUENCE:1
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Jaeger (BA: Komplexität arithmetischer Operationen)
LAST-MODIFIED:20210729T084031Z
CREATED:20210706T111121Z
DTSTART;TZID=Europe/Berlin:20210729T110000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221004T114903Z
UID:C091EAEE-71EC-4C52-A8C9-4C57752B8AFA
DTEND;TZID=Europe/Berlin:20221102T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Henkel: Logik-basierte Argumentation mit existenziellen Regeln
LAST-MODIFIED:20221004T115005Z
DTSTAMP:20221004T114919Z
DTSTART;TZID=Europe/Berlin:20221102T133000
LOCATION:1611
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221013T080759Z
UID:BA44331A-10DC-4FEE-AA3D-FDFD330E6AE8
DTEND;TZID=Europe/Berlin:20221101T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Neu
LAST-MODIFIED:20221019T121323Z
DTSTAMP:20221013T080805Z
DTSTART;TZID=Europe/Berlin:20221101T143000
LOCATION:1616
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221012T141500
UID:55CF022C-77F5-49DC-86E5-FFF323587C13
DTSTAMP:20220912T075418Z
LOCATION:1611
SEQUENCE:1
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Hagemeier: Probabilistische Primzahltests
LAST-MODIFIED:20221012T111137Z
CREATED:20220912T075344Z
DTSTART;TZID=Europe/Berlin:20221012T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20230505T093243Z
DTEND;TZID=Europe/Berlin:20230607T154500
DTSTAMP:20230508T180644Z
DTSTART;TZID=Europe/Berlin:20230607T150000
LAST-MODIFIED:20230508T180644Z
SEQUENCE:2
SUMMARY:BA Garrido Niezel: Graphrepräsentation von Datenbanken
TRANSP:OPAQUE
UID:620DAD0C-39DD-43AA-AEF4-639C6A9F17D5
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093556Z
UID:C4E2E329-4CAB-4D7A-B3AC-41D0A77946D5
DTEND;TZID=Europe/Berlin:20230109T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Felix Piepenbrink: Ein Syndrom-basiertes Zero-Knowlege-Protokoll
LAST-MODIFIED:20221021T093709Z
DTSTAMP:20221021T093556Z
DTSTART;TZID=Europe/Berlin:20230109T151500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T090457Z
UID:9260957f-d4f5-4f1b-9bd7-25fd32bae815
DTEND;TZID=Europe/Berlin:20210119T111500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Feedback Vertex Set und Closest String (Fazlija)
LAST-MODIFIED:20210106T090555Z
DTSTAMP:20210106T090555Z
DTSTART;TZID=Europe/Berlin:20210119T104500
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20201119T134450Z
UID:ED0BD160-C3B5-4313-B036-0F9C945F0214
DTEND;TZID=Europe/Berlin:20210107T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Ostendorf: Random-Walk-Algorithmen
LAST-MODIFIED:20210107T101936Z
DTSTAMP:20201119T134459Z
DTSTART;TZID=Europe/Berlin:20210107T133000
LOCATION:https://zoom.us/j/92246763861?pwd=UmpPeUVGNkthbUZIdWZFZGFIek9NQT09
 
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210708T143000
UID:A1EC6EF4-6A74-4EBA-9D99-9DE02D271D81
DTSTAMP:20210704T182346Z
LOCATION:https://us02web.zoom.us/j/5547370993
SEQUENCE:1
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Schmöcker (Complexity of logical theories)
LAST-MODIFIED:20210704T182345Z
CREATED:20210616T133235Z
DTSTART;TZID=Europe/Berlin:20210708T134500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200716T140000
UID:0DD0EDD1-6706-4DEF-8C2F-97A8F0A4CE77
DTSTAMP:20200610T160319Z
LOCATION:https://join.skype.com/jtHkgPbYs2WU
SEQUENCE:0
CONFERENCE;VALUE=URI:https://join.skype.com/jtHkgPbYs2WU
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Janson: Visualisierung verschiedener Heuristiken für TSP
LAST-MODIFIED:20200714T092750Z
CREATED:20200610T160317Z
DTSTART;TZID=Europe/Berlin:20200716T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20141007T120000
UID:EB39D7AE-B0E3-48CC-8475-3CCC9D8FC7B8
DTSTAMP:20140911T131632Z
LOCATION:3703-224
DESCRIPTION:(joint work with\nMatthijs Melissen and Henning Schnoor)\n\nWe 
 study the security of interaction protocols when incentives of participant
 s are taken into account. We begin by formally defining correctness of a p
 rotocol\, given a notion of rationality and utilities of participating age
 nts. Based on that\, we propose how to assess\nsecurity when the precise i
 ncentives are unknown. Then\, the security level can be defined in terms o
 f defender sets\, i.e.\, sets of participants who can effectively “defend”
  the security property as long as they are in favor of the property. In te
 rms of technical results\, we present a theoretical characterization of de
 fendable protocols under Nash equilibrium\, and study the computational co
 mplexity of related decision problems.
SEQUENCE:4
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Wojtek Jamroga: Defendable Security in Interaction Protocols
LAST-MODIFIED:20201113T122500Z
CREATED:20140909T093130Z
DTSTART;TZID=Europe/Berlin:20141007T110000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210505T150000
UID:8BA1A2CD-61BB-4FB0-A931-EF64C5B5B22F+ZOOMMEETINGNUMBER:96803858863
DTSTAMP:20210506T121419Z
LOCATION:https://zoom.us/j/96803858863?pwd=eDJ1NmZnV29jYVFlZnBSMTAyYTJhZz09
 
DESCRIPTION:Arne Meier lädt Sie zu einem geplanten Zoom-Meeting ein.\n\nThe
 ma: BA Vortrag Kayser\nUhrzeit: 6.Mai.2021 02:15 PM Amsterdam\, Berlin\, R
 om\, Stockholm\, Wien\n\nZoom-Meeting beitreten\nhttps://zoom.us/j/9680385
 8863?pwd=eDJ1NmZnV29jYVFlZnBSMTAyYTJhZz09\n\nMeeting-ID: 968 0385 8863\nKe
 nncode: 952971\n
X-MOZ-GENERATION:3
SEQUENCE:1
X-MOZ-LASTACK:20210506T121039Z
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Vortrag Kayser
LAST-MODIFIED:20210506T121419Z
CREATED:20210419T074005Z
DTSTART;TZID=Europe/Berlin:20210505T141500
BEGIN:VALARM
X-WR-ALARMUID:A0E0E198-25EE-4A82-9140-0551358170E1
UID:A0E0E198-25EE-4A82-9140-0551358170E1
TRIGGER:-PT10M
DESCRIPTION:Reminder
X-LIC-ERROR;X-LIC-ERRORTYPE=PROPERTY-PARSE-ERROR:Parse error in property na
 me: ACKNOWLEDGED
ACTION:DISPLAY
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T091204Z
UID:513172e5-06d5-4f24-be34-a07f2891d202
DTEND;TZID=Europe/Berlin:20210126T130000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Color Coding (Thomas)
LAST-MODIFIED:20210119T102227Z
DTSTAMP:20210106T091242Z
DTSTART;TZID=Europe/Berlin:20210126T123000
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T091007Z
UID:5f62282e-fc91-4ab9-9aff-f993535c654e
DTEND;TZID=Europe/Berlin:20210126T113000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Die Technik der Iterative Compression (Brockmeyer)
LAST-MODIFIED:20210119T085150Z
DTSTAMP:20210106T091100Z
DTSTART;TZID=Europe/Berlin:20210126T110000
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160606T131425Z
UID:AF5A7446-85EF-417A-AEF3-9B0CB9DA228D
DTEND;TZID=Europe/Berlin:20160622T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Vortrag Popeye Satjadiguna: Visualisierungen vom Ford-Fulkerson-
 Algorithmus
LAST-MODIFIED:20160606T131518Z
DTSTAMP:20160614T125911Z
DTSTART;TZID=Europe/Berlin:20160622T113000
LOCATION:Appelstr. 4\, 023
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201112T140000
UID:D92393E1-2DCA-45DE-942E-75B2E5BF2D24
DTSTAMP:20201012T092316Z
LOCATION:https://join.skype.com/kf6wCMp6W4wS
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/kf6wCMp6W4wS
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Seebonn 
LAST-MODIFIED:20201112T122621Z
CREATED:20201012T092308Z
DTSTART;TZID=Europe/Berlin:20201112T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200915T160000
UID:5CCCEDF7-3E26-4A91-9F06-037CB15CA689
DTSTAMP:20200914T140015Z
LOCATION:https://join.skype.com/iNpk4fGYbYHh
X-MOZ-GENERATION:1
SEQUENCE:1
X-LIC-ERROR:No value for URL property. Removing entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Brünn (BA): Quantifizierte Boole'sche Formeln
LAST-MODIFIED:20200914T140015Z
CREATED:20200827T183135Z
DTSTART;TZID=Europe/Berlin:20200915T153000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210909T111803Z
UID:1928F6ED-D8C8-4441-A142-432580B9C232
DTEND;TZID=Europe/Berlin:20211007T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Jakob Wege (Polygontriangulierung)
LAST-MODIFIED:20211006T080216Z
DTSTAMP:20210909T111831Z
DTSTART;TZID=Europe/Berlin:20211007T131500
LOCATION:https://studip.uni-hannover.de/plugins.php/meetingplugin/room/inde
 x/ebe56413573b4efc05afb4c9ee37cb69/12437d0efda7e761584d431e7abb6859?cancel
 _login=1
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210304T143000
UID:BE25FE11-1624-457F-AC70-5F180D18E079
DTSTAMP:20210302T193252Z
LOCATION:https://meet.uni-hannover.de/BADanisch
SEQUENCE:1
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Danisch: Konzepte ausgewählter Kryptowährungen
LAST-MODIFIED:20210302T193251Z
CREATED:20210212T110917Z
DTSTART;TZID=Europe/Berlin:20210304T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T090139Z
UID:034a1e1a-ddad-4cc6-9880-3802fc41fff4
DTEND;TZID=Europe/Berlin:20210119T104500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Probleme auf planaren Graphen (Mboutchouang)
LAST-MODIFIED:20210106T090451Z
DTSTAMP:20210106T090451Z
DTSTART;TZID=Europe/Berlin:20210119T101500
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201015T140000
UID:CCD84C70-1DCA-4FA7-8E93-A9F890474748
DTSTAMP:20200922T115220Z
LOCATION:https://join.skype.com/b9gvu29kyCsY
SEQUENCE:0
CONFERENCE;VALUE=URI:https://join.skype.com/b9gvu29kyCsY
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Nixdorf
LAST-MODIFIED:20201015T073923Z
CREATED:20200922T115220Z
DTSTART;TZID=Europe/Berlin:20201015T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200730T160000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:5b6b6ea4-daa1-40bd-856e-c5b882a7713c
DTSTAMP:20200719T084207Z
LOCATION:https://join.skype.com/d6AeG60nHpqC
DESCRIPTION:Interpreter for Machine Programs on Arbitrary Models of Computa
 tion
SEQUENCE:0
CLASS:PUBLIC
SUMMARY:Konrad Wienecke BA
LAST-MODIFIED:20200719T084207Z
DTSTART;TZID=Europe/Berlin:20200730T153000
CREATED:20200719T084207Z
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200709T140000
UID:C08B9095-F76C-4C75-9121-81968012DFA2
DTSTAMP:20200610T160339Z
LOCATION:https://join.skype.com/iRxvR4D1dZRA
SEQUENCE:0
CONFERENCE;VALUE=URI:https://join.skype.com/iRxvR4D1dZRA
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:F. Chudigiewitsch: Homotopietypentheorie
LAST-MODIFIED:20200610T092450Z
CREATED:20200609T101037Z
DTSTART;TZID=Europe/Berlin:20200709T130000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221013T123205Z
DTEND;TZID=Europe/Berlin:20221018T140000
DTSTAMP:20221014T103801Z
DTSTART;TZID=Europe/Berlin:20221018T130000
LAST-MODIFIED:20221014T081422Z
LOCATION:3408 1611
SEQUENCE:1
SUMMARY:L. Hella\, Distributed computation models and modal logics
TRANSP:OPAQUE
UID:2823A454-072C-48EC-99F6-ACC06DAAB137
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230509T075512Z
DTEND;TZID=Europe/Berlin:20230607T164500
DTSTAMP:20230509T075515Z
DTSTART;TZID=Europe/Berlin:20230607T160000
SEQUENCE:0
SUMMARY:BA Kerner: Komplexität von Spielen
TRANSP:OPAQUE
UID:1BF32F0F-5F27-4C1A-9016-36EBE22CC340
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20221013T123825Z
DTEND;TZID=Europe/Berlin:20221027T113000
DTSTAMP:20221014T123146Z
DTSTART;TZID=Europe/Berlin:20221027T103000
LAST-MODIFIED:20221014T123146Z
LOCATION:3408 1616
SEQUENCE:1
SUMMARY:H. Vollmer\, Enumeration and circuits
TRANSP:OPAQUE
UID:B3074391-8940-4B52-9E85-363F52ED8BBB
END:VEVENT
BEGIN:VEVENT
CREATED:20230711T093307Z
DTEND;TZID=Europe/Berlin:20230720T120000
DTSTAMP:20230711T093309Z
DTSTART;TZID=Europe/Berlin:20230720T110000
SEQUENCE:0
SUMMARY:Vortrag Thieu (MA: comp. soc. choice)
TRANSP:OPAQUE
UID:0A835380-AB0A-4E07-AE29-8AD0DC101C69
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20211007T144500
UID:6282B04C-9299-4630-9125-7835C1AA6AA3
DTSTAMP:20210902T053545Z
LOCATION:https://uni-hannover.webex.com/meet/vollmer
URL;VALUE=URI:message:%3C954-612fdd00-a9-fdf1440@11316767%3E
SEQUENCE:0
CONFERENCE;VALUE=URI:https://uni-hannover.webex.com/meet/vollmer
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Dam Linh Tran (Rubik's Cube)
LAST-MODIFIED:20211004T120122Z
CREATED:20210902T053543Z
DTSTART;TZID=Europe/Berlin:20211007T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210610T140000
UID:FE19C3DB-42DE-46D2-B1DD-70AD6C489BBB
DTSTAMP:20210525T093513Z
LOCATION:https://us02web.zoom.us/j/5547370993
SEQUENCE:2
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Sabrina: Complex computation 
LAST-MODIFIED:20210610T082249Z
CREATED:20210525T093401Z
DTSTART;TZID=Europe/Berlin:20210610T130000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20190715T181500
UID:25C665C4-4BCE-4FA4-93F0-99F79E11BEF6
DTSTAMP:20190513T123527Z
LOCATION:1101 B302 (Hauptgebäude)
DESCRIPTION:Zusammenfassung:\n\nSpätestens seitdem Quanteneffekte in biolog
 ischen Systemen bestätigt wurden (Seth Lloyd 2007)\, wurde es naheliegend\
 , das als Hinweis auf die Richtigkeit von Quantum-Mind-Theorien zu sehen. 
 Hinzu kommt die aktuell forcierte Quantum-Computing-Forschung und -Entwick
 lung. Verbindet man beides miteinander\, so legt sich die interessante Opt
 ion nahe\, das hochkomplexe System des menschlichen Gehirns als einen biol
 ogischen Quantencomputer zu verstehen. Technologische Chancen\, aber auch 
 Grenzen dieses Vergleichs werden besprochen.\n\nZur Person:\n\nDr. habil. 
 Imre Koncsik\, Jahrgang 1969\, ist Professor für Systematische Theologie a
 n der Päpstlichen Hochschule Heiligenkreuz/Wien. Über 16 Monografien und 6
 0 Fachbeiträge. Sein interdisziplinärer Schwerpunkt liegt auf einer techni
 knahen Philosophie der Physik und Biologie. Er ist Initiator mehrerer inte
 rdisziplinärer Forschungsprojekte\, internationaler Tagungen und Workshops
  zusammen mit Kollegen aus der Physik\, Hirnforschung und Informatik zur T
 heorie des Geistes sowie zu praktisch-technologischen Anwendungen.
SEQUENCE:0
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Prof. Dr. Imre Koncsik: Quantum Intelligence - eine Theorie des Gei
 stes
LAST-MODIFIED:20190513T123614Z
CREATED:20190513T123527Z
DTSTART;TZID=Europe/Berlin:20190715T171500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150203T101659Z
UID:8D318D95-227D-44B3-B206-B644534C0F66
DTEND;TZID=Europe/Berlin:20150318T141500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Daniel Wiebking: Graph Modification Problems
LAST-MODIFIED:20201113T122500Z
DTSTAMP:20150203T101659Z
DTSTART;TZID=Europe/Berlin:20150318T133000
LOCATION:224
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160524T065428Z
UID:4DC2A051-E228-4783-8503-F09367B405C5
DTEND;TZID=Europe/Berlin:20160620T093000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Vortrag Tina Müller: Ein Polizisten-und-Räuber-Spiel auf Graphen
 
LAST-MODIFIED:20160604T141732Z
DTSTAMP:20160604T141734Z
DTSTART;TZID=Europe/Berlin:20160620T090000
LOCATION:Appelstr. 4\, Raum 224
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T090744Z
UID:0e7e3062-d0d3-4e23-a81f-9643f128c097
DTEND;TZID=Europe/Berlin:20210126T103000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Spannbäume und hereditäre Grapheigenschaften (Thieu)
LAST-MODIFIED:20210119T085147Z
DTSTAMP:20210106T090837Z
DTSTART;TZID=Europe/Berlin:20210126T100000
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20151104T113033Z
UID:1E5DAF1B-9F62-4A8B-AD57-4B9B1CD89294
DTEND;TZID=Europe/Berlin:20151119T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Vortrag Fichte: Backdoors to Tractability of Disjunctive Answer Set
  Programming 
LAST-MODIFIED:20151104T113033Z
DTSTAMP:20151104T122155Z
DTSTART;TZID=Europe/Berlin:20151119T110000
LOCATION:Raum 235
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200915T143000
UID:21119054-EA23-46EA-8991-464940AFE55B
DTSTAMP:20200914T135802Z
LOCATION:https://join.skype.com/f21TzIhBXdvJ
X-MOZ-GENERATION:1
SEQUENCE:2
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Farag (BA): SWIFFT
LAST-MODIFIED:20200914T135802Z
CREATED:20200825T090148Z
DTSTART;TZID=Europe/Berlin:20200915T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200730T153000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:e9c31e40-19ad-4d6d-ba20-e0cfd05db387
DTSTAMP:20200719T084224Z
LOCATION:https://join.skype.com/eVMhFTYVILbx
DESCRIPTION:Visualisierung von Lindells Isomorphiealgorithmus für Bäume
SEQUENCE:1
CLASS:PUBLIC
SUMMARY:Tien Hung Ngo BA
LAST-MODIFIED:20200719T084224Z
DTSTART;TZID=Europe/Berlin:20200730T150000
CREATED:20200719T083822Z
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210422T151500
UID:A0331143-BC25-4ACF-BD01-EFC95AF2A674
DTSTAMP:20210406T094347Z
LOCATION:https://us02web.zoom.us/j/5547370993\n\n
SEQUENCE:1
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Surmann (Komplexität kontextfreier Parser und ein Zusammenhang m
 it dem Cliquenproblem)
LAST-MODIFIED:20210422T093422Z
CREATED:20210406T094327Z
DTSTART;TZID=Europe/Berlin:20210422T144500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210603T143000
UID:A1022CAD-7045-4E19-8485-EFEB378E2F83
DTSTAMP:20210601T135506Z
LOCATION:https://us02web.zoom.us/j/5547370993
SEQUENCE:1
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:David (BA)
LAST-MODIFIED:20210602T090259Z
CREATED:20210601T135505Z
DTSTART;TZID=Europe/Berlin:20210603T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210520T140000
UID:F0C61E61-16C5-4A3D-9CF3-A32982100767
DTSTAMP:20210427T102959Z
LOCATION:https://us02web.zoom.us/j/5547370993
SEQUENCE:1
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Holzapfel (Komplexitätstheorie über algebraischen Körpern)
LAST-MODIFIED:20210427T103110Z
CREATED:20210427T102930Z
DTSTART;TZID=Europe/Berlin:20210520T131500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210831T144500
UID:2FDA22EC-08CF-4807-9B14-35514CADEF9D
DTSTAMP:20210817T120520Z
LOCATION:https://us06web.zoom.us/j/86460578702?pwd=VzBuWHk5TnU5dGttRTd2eWhI
 cWVMUT09
DESCRIPTION:Zoom-Meeting beitreten\nhttps://us06web.zoom.us/j/86460578702?p
 wd=VzBuWHk5TnU5dGttRTd2eWhIcWVMUT09\n\nMeeting-ID: 864 6057 8702\nKenncode
 : S5Gqz0\n
SEQUENCE:1
CONFERENCE;VALUE=URI:https://us06web.zoom.us/j/86460578702?pwd=VzBuWHk5TnU5
 dGttRTd2eWhIcWVMUT09
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Mathes
LAST-MODIFIED:20210817T134552Z
CREATED:20210817T120505Z
DTSTART;TZID=Europe/Berlin:20210831T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210119T110426Z
UID:96ED66EE-B27F-49A7-BD63-5145A72D23E1
DTEND;TZID=Europe/Berlin:20210324T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Kabuth
LAST-MODIFIED:20210322T152425Z
DTSTAMP:20210119T110428Z
DTSTART;TZID=Europe/Berlin:20210324T133000
LOCATION:https://meet.uni-hannover.de/BAVortragKabuth
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093556Z
UID:2E29E25E-9557-46CD-ACAA-A6F542EE30B3
DTEND;TZID=Europe/Berlin:20230109T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Julia Krivorutski: Everything Provable is Provable in Zero-Knowledg
 e
LAST-MODIFIED:20221021T093647Z
DTSTAMP:20221021T093556Z
DTSTART;TZID=Europe/Berlin:20230109T144500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20221021T093754Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
DTEND;TZID=Europe/Berlin:20230123T135500
DTSTAMP:20230116T134607Z
DTSTART;TZID=Europe/Berlin:20230123T133000
LAST-MODIFIED:20230116T134607Z
SEQUENCE:4
SUMMARY:Martin Raska: Ein ZKP für SAT
TRANSP:OPAQUE
UID:47E23458-A604-4EE6-99EB-1CCC5189FC49
END:VEVENT
BEGIN:VEVENT
CREATED:20230904T081026Z
DTEND;TZID=Europe/Berlin:20231025T154500
DTSTAMP:20230904T081039Z
DTSTART;TZID=Europe/Berlin:20231025T141500
LAST-MODIFIED:20230904T081038Z
SEQUENCE:0
SUMMARY:DuA Übung (einmalig)
TRANSP:OPAQUE
UID:BB4DCC74-3E68-4149-8B8F-B3167BFF21C0
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200915T150000
UID:5A1F0837-7BFB-46D6-A284-AB996C8C6585
DTSTAMP:20200914T135844Z
LOCATION:https://join.skype.com/mfsggFdloWad
X-MOZ-GENERATION:1
SEQUENCE:2
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Ferry (BA): Inkrementelle Berechnungskomplexität
LAST-MODIFIED:20200914T135844Z
CREATED:20200825T090516Z
DTSTART;TZID=Europe/Berlin:20200915T143000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210114T143000
UID:4074EB1B-DC23-412F-9C4C-A63DE6CA0622
DTSTAMP:20210104T210438Z
LOCATION:https://join.skype.com/hw3ixfDhFybO
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/hw3ixfDhFybO
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Nowitzki (Anwendung von SAT-Solvern in der Kryptoanalyse)
LAST-MODIFIED:20210112T093955Z
CREATED:20210104T210430Z
DTSTART;TZID=Europe/Berlin:20210114T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210324T133000
UID:62F29FA9-CDCA-437F-AC4C-FF3839271A47
DTSTAMP:20210305T111355Z
LOCATION:https://us02web.zoom.us/j/5547370993
SEQUENCE:0
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Bremer (Theorembeweiser für Dependence-Logik)
LAST-MODIFIED:20210305T111355Z
CREATED:20210305T111355Z
DTSTART;TZID=Europe/Berlin:20210324T130000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20150211T203754Z
UID:87CD920C-86AD-4996-B7FF-978D78B04989
DTEND;TZID=Europe/Berlin:20150318T112000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Nasim Heidari: Knotentheorie 
LAST-MODIFIED:20150211T203820Z
DTSTAMP:20150211T203821Z
DTSTART;TZID=Europe/Berlin:20150318T104500
LOCATION:224
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20160112T104319Z
UID:ad847dca-2889-47a6-a668-628056495917
DTEND;TZID=Europe/Berlin:20160121T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Martin Lück: Die Axiome der Team-Logik
LAST-MODIFIED:20160112T104349Z
DTSTAMP:20160112T104349Z
DTSTART;TZID=Europe/Berlin:20160121T140000
LOCATION:Raum 224
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201217T143000
UID:0FA556B7-46E1-464E-A4B4-4AA102CBC2DE
DTSTAMP:20201119T134633Z
LOCATION:https://join.skype.com/lu9eSpHCvWns
SEQUENCE:0
CONFERENCE;VALUE=URI:https://join.skype.com/lu9eSpHCvWns
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Heni (BA: Tableaukalkül für modale Logik)
LAST-MODIFIED:20201217T104651Z
CREATED:20201119T134633Z
DTSTART;TZID=Europe/Berlin:20201217T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210114T140000
UID:6331BEFC-9C99-45EE-ADAE-A5BA828AED4D
DTSTAMP:20201201T133233Z
LOCATION:https://zoom.us/j/5916212181?pwd=aGl0VEgrUm05UmJHN3U3V0N4TkYydz09
DESCRIPTION:Meeting-ID: 591 621 2181\n\nKenncode: 3FNcZp
SEQUENCE:1
CONFERENCE;VALUE=URI:https://zoom.us/j/5916212181?pwd=aGl0VEgrUm05UmJHN3U3V
 0N4TkYydz09
SUMMARY:BA Helmig (Räuber-und-Gendarm-Spiele auf Tseitin-Formeln)
LAST-MODIFIED:20210112T094357Z
DTSTART;TZID=Europe/Berlin:20210114T133000
CREATED:20201201T133222Z
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T090854Z
UID:167663fe-c896-453f-9aa4-1b75ce5fa1eb
DTEND;TZID=Europe/Berlin:20210126T110000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Probleme aus der Computational Biology (Ferry)
LAST-MODIFIED:20210119T085148Z
DTSTAMP:20210106T091002Z
DTSTART;TZID=Europe/Berlin:20210126T103000
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201217T140000
UID:663E5519-E143-419B-BC7F-5F577EBEA2DE
DTSTAMP:20201105T094808Z
LOCATION:https://join.skype.com/nXhxV9PdB9qZ
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/nXhxV9PdB9qZ
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Fischer
LAST-MODIFIED:20201217T091207Z
CREATED:20201105T094800Z
DTSTART;TZID=Europe/Berlin:20201217T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20161005T140000
UID:5685A26D-0134-4854-9EC4-902E4E2CD2E6
DTSTAMP:20161005T081059Z
LOCATION:Raum 235
X-MOZ-GENERATION:1
SEQUENCE:1
X-LIC-ERROR:No value for URL property. Removing entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Matt Angland: Cryptographic Hash Functions (BA Vortrag)
LAST-MODIFIED:20161005T081059Z
CREATED:20160926T084941Z
DTSTART;TZID=Europe/Berlin:20161005T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093711Z
UID:FF8010AC-9E71-4AE7-B1C0-33B8C5811977
DTEND;TZID=Europe/Berlin:20230116T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Chris Burmeister: Das McEliece Kryptosystem
LAST-MODIFIED:20221021T093738Z
DTSTAMP:20221021T093711Z
DTSTART;TZID=Europe/Berlin:20230116T144500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221204T194445Z
UID:0465FA9A-24B2-4E89-897E-FFAD7E509DA1
DTEND;TZID=Europe/Berlin:20230125T113000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Loki Icking: Beweisbare Sicherheit von Elgamal
LAST-MODIFIED:20221204T194448Z
DTSTAMP:20221204T194445Z
DTSTART;TZID=Europe/Berlin:20230125T110000
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221128T112101Z
UID:7ACDD9C0-C01F-4803-9C12-16D3D4AD7235
DTEND;TZID=Europe/Berlin:20221212T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Lasse Müller: Rabins Public Key Kryptosystem
LAST-MODIFIED:20221128T112103Z
DTSTAMP:20221128T112101Z
DTSTART;TZID=Europe/Berlin:20221212T151500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20221101T104116Z
DTEND;TZID=Europe/Berlin:20221129T140000
DTSTAMP:20221129T121903Z
DTSTART;TZID=Europe/Berlin:20221129T131500
LAST-MODIFIED:20221129T121859Z
LOCATION:1611
SEQUENCE:0
SUMMARY:Riedel (BA): Ein SAT-Algorithmus basierend auf dem Inklusion-Exklus
 ion-Prinzip
TRANSP:OPAQUE
UID:1AB2E93C-3945-4DC0-BFFA-4A5DF74A26A7
END:VEVENT
BEGIN:VEVENT
CREATED:20230209T120831Z
DTEND;TZID=Europe/Berlin:20230220T120000
DTSTAMP:20230209T120833Z
DTSTART;TZID=Europe/Berlin:20230220T110000
LAST-MODIFIED:20230209T120831Z
SEQUENCE:0
SUMMARY:Laura Strieker\, Complexity of Neural Nets
TRANSP:OPAQUE
UID:3D21C0B9-B740-43F4-A948-DA104FADAABF
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20211007T153000
UID:B683D301-72ED-43C1-8416-9F3CD6F7E4EC
DTSTAMP:20210910T110618Z
LOCATION:https://uni-hannover.webex.com/meet/vollmer
SEQUENCE:1
CONFERENCE;VALUE=URI:https://uni-hannover.webex.com/meet/vollmer
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Pawelek (Greibach's hardest CFL)
LAST-MODIFIED:20211004T120126Z
CREATED:20210909T091542Z
DTSTART;TZID=Europe/Berlin:20211007T144500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200916T150000
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
UID:f7fa5b69-7944-4838-8654-1c7faa8c0592
DTSTAMP:20200914T140243Z
LOCATION:https://join.skype.com/catqJOdjfP9g
X-MOZ-GENERATION:1
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Lazarev BA
LAST-MODIFIED:20200914T140243Z
CREATED:20200903T100108Z
DTSTART;TZID=Europe/Berlin:20200916T143000
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210422T143000
UID:0A85DFC9-91D5-4446-833E-F2BE88566FF8
DTSTAMP:20210315T131035Z
LOCATION:https://us02web.zoom.us/j/5547370993\n\n
SEQUENCE:1
CONFERENCE;VALUE=URI:https://us02web.zoom.us/j/5547370993
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Curth (Komplexität logischer Theorien)
LAST-MODIFIED:20210422T093416Z
CREATED:20210315T131016Z
DTSTART;TZID=Europe/Berlin:20210422T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20151210T143000
UID:2A62AC9C-7463-4D89-8CA0-5B1173308CD9
DTSTAMP:20151125T124853Z
LOCATION:224
DESCRIPTION:In this work we extend the classical notion of strong and weak 
 backdoor\nsets by allowing that different instantiations of the backdoor\n
 variables result in instances that belong to different base classes\;\nthe
  union of the base classes forms a heterogeneous base class.\nBackdoor set
 s to heterogeneous base classes can be much smaller than\nbackdoor sets to
  homogeneous ones\, hence they are much more\ndesirable but possibly harde
 r to find.\nWe draw a detailed complexity landscape for the problem of det
 ecting\nstrong and weak backdoor sets into heterogeneous base classes for 
 SAT and\nCSP.
SEQUENCE:0
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Sebastian Ordyniak: Backdoors into Heterogeneous Classes of SAT and
  CSP
LAST-MODIFIED:20201113T122500Z
CREATED:20151124T133139Z
DTSTART;TZID=Europe/Berlin:20151210T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210304T140000
UID:A7CC70CE-6EAA-4C72-ADE4-931864222434
DTSTAMP:20210302T193710Z
LOCATION:https://join.skype.com/nejNr05vUVF2
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/nejNr05vUVF2
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Reneberg: Allgemeine Schranken zu Maschinengrößen in der Chomsky
 -Hierarchie
LAST-MODIFIED:20210302T193710Z
CREATED:20210202T094605Z
DTSTART;TZID=Europe/Berlin:20210304T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093110Z
UID:75718F95-5150-4D68-82B3-502805FC4548
DTEND;TZID=Europe/Berlin:20221107T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Karl Böhlke: Lineare Kryptanalyse
LAST-MODIFIED:20221021T093110Z
DTSTAMP:20221021T093110Z
DTSTART;TZID=Europe/Berlin:20221107T141500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20170207T101030Z
UID:054d41eb-5fc7-4699-80a8-59fbf463aa52
DTEND;TZID=Europe/Berlin:20170222T140000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:J.-S. Müller: Automatisches Fahren - eine spieltheoretische Sichtwe
 ise
LAST-MODIFIED:20170207T101045Z
DTSTAMP:20170207T101045Z
DTSTART;TZID=Europe/Berlin:20170222T130000
LOCATION:224
SEQUENCE:0
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210303T110510Z
UID:2C1D9778-736C-4C5E-B040-6D8FAC64C745
DTEND;TZID=Europe/Berlin:20210331T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Volland: Datenstrom-Algorithmen
LAST-MODIFIED:20210303T110539Z
DTSTAMP:20210304T183323Z
DTSTART;TZID=Europe/Berlin:20210331T140000
LOCATION:https://meet.uni-hannover.de/BAJuliusVolland
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201022T143000
UID:DA59B9BE-86D5-4EA3-8FD9-CDE2F8E66EDE
DTSTAMP:20200925T091718Z
LOCATION:https://join.skype.com/oKZPXyb6fJeI
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/oKZPXyb6fJeI
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Leonie Theis: PACE
LAST-MODIFIED:20201016T115544Z
CREATED:20200925T091653Z
DTSTART;TZID=Europe/Berlin:20201022T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093110Z
UID:26A80FE3-A4A7-42FF-98F0-74189A336157
DTEND;TZID=Europe/Berlin:20221107T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Ruwen Sadacco: DES
LAST-MODIFIED:20221021T093110Z
DTSTAMP:20221021T093110Z
DTSTART;TZID=Europe/Berlin:20221107T144500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093711Z
UID:FE7D4B0D-A6C4-4F3B-8E12-C95B6D3F3F22
DTEND;TZID=Europe/Berlin:20230116T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Julian Schmidtke: Von wegen überlegen!
LAST-MODIFIED:20221021T093723Z
DTSTAMP:20221021T093711Z
DTSTART;TZID=Europe/Berlin:20230116T141500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230817T073734Z
DESCRIPTION:Müller: CFB-Mode und Stromchiffren\nDorgelo: MIM bei DH verhind
 ern
DTEND;TZID=Europe/Berlin:20230906T150000
DTSTAMP:20230817T073828Z
DTSTART;TZID=Europe/Berlin:20230906T140000
LAST-MODIFIED:20230817T073827Z
SEQUENCE:0
SUMMARY:Seminarvorträge Kryptographie
TRANSP:OPAQUE
UID:E74A784E-367C-4C61-841E-057986383477
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230509T075316Z
LAST-MODIFIED:20230906T110230Z
DTSTAMP:20230906T110230Z
UID:30A2A685-1A5E-48D3-9C36-D9ABE08F4575
SUMMARY:Julia Hermerding: Das Merkle-Hellman-Kryptosystem
DTSTART;TZID=Europe/Berlin:20230913T160000
DTEND;TZID=Europe/Berlin:20230913T164500
CLASS:PUBLIC
SEQUENCE:1
TRANSP:OPAQUE
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200915T163000
UID:87621537-FA6D-4486-820C-6B289EDCC198
DTSTAMP:20200914T140051Z
LOCATION:https://join.skype.com/ki8ZXvCIg54l
X-MOZ-GENERATION:1
SEQUENCE:1
X-LIC-ERROR:No value for URL property. Removing entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Brockmeyer (BA): Endliche Modelleigenschaft in modaler Logik
LAST-MODIFIED:20200914T140051Z
CREATED:20200827T183056Z
DTSTART;TZID=Europe/Berlin:20200915T160000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200827T143000
UID:D80A1EF0-BD71-4AA9-98B9-2542FFBD3EF3
DTSTAMP:20200824T202158Z
LOCATION:https://join.skype.com/fJ9lzdld3dIV
SEQUENCE:1
CONFERENCE;VALUE=URI:https://join.skype.com/fJ9lzdld3dIV
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Kouroutsidis: Historische Entwicklung der Matching-Algorithmen
LAST-MODIFIED:20200824T202157Z
CREATED:20200806T130149Z
DTSTART;TZID=Europe/Berlin:20200827T140000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210311T131746Z
UID:E0181BFB-8967-42FF-9EE6-119A448A51C9
DTEND;TZID=Europe/Berlin:20210422T134500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Berger (Implementierung und Untersuchung von Algorithmen zur Pro
 duktion von pseudozufälligen Werten)
LAST-MODIFIED:20210419T102734Z
DTSTAMP:20210311T131751Z
DTSTART;TZID=Europe/Berlin:20210422T131500
LOCATION:https://meet.uni-hannover.de/batimberger
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20211021T141500
UID:4F2C1261-827B-42C3-AF48-9D63665C0377
DTSTAMP:20210927T165516Z
LOCATION:https://uni-hannover.webex.com/meet/vollmer
SEQUENCE:0
CONFERENCE;VALUE=URI:https://uni-hannover.webex.com/meet/vollmer
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:MA Nießen (Kryptographie mit Rubik’s Cube)
LAST-MODIFIED:20211020T152052Z
CREATED:20210927T165410Z
DTSTART;TZID=Europe/Berlin:20211021T133000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20210113T141500
UID:C082B084-DC11-445B-9D27-21BB1E9FF60B
DTSTAMP:20210107T200152Z
LOCATION:https://aalto.zoom.us/j/62767994600
DESCRIPTION:In this talk I survey my recent joint work with Miika Hannula (
 Helsinki)\, Juha Kontinen (Helsinki)\, and Jan Van den Bussche (Hasselt) o
 n logics and complexity in a setting that incorporates real numbers as fir
 st-class citizens.\n\nBackground:\nMetafinite model theory (Grädel & Gurev
 ich 1998) generalizes the approach of finite model theory by shifting to t
 wo-sorted structures that extend finite structures with another (often inf
 inite) domain with some arithmetic (such as the reals with multiplication 
 and addition)\, and weight functions bridging the two sorts. Finite struct
 ures enriched with real arithmetic are called R-structures. Blum-Shub-Smal
 e machines (Blum\, Shub & Smale 1989)\, BSS machine for short\, are essent
 ially random access machines with registers that can store real numbers an
 d which can compute arithmetic operations on reals in a single time step. 
 In addition for recognizing languages over the reals\, BSS machines can al
 so be used to recognize languages on the Boolean alphabeth {0\,1}\; e.g. B
 oolean languages recognizable by BSS-machiness in non-determinitic polynom
 ial time coincides with the complexity class existsR (problems PTIME reduc
 ible to the existential theory of the reals) which lies somewhere between 
 NP and PSPACE (defined with Turing machines). NP on BSS machines was logic
 ally captured by a variant of existential second-order logic over R-struct
 ures in (Grädel & Meer 1995).\n\nOur contribution:\nWe study descriptive c
 omplexity of logics in the setting of probabilistic team semantics. This i
 s a family of logics built-up from atomic expressions stating quantitative
  notions of dependence between random variables. E.g.\, probabilistic inde
 pendence logic is built around an atomic statement that declares condition
 al probabilistic independence between tuples of random variables. Formulae
 \, in this setting\, describe properties of real-weighted distributions ov
 er first-order assignments. Hence\, it turns out\, that the descriptive co
 mplexity of related logics lie in the realm of BSS-machines. For pinpointi
 ng the exact complexity of logics in the probabilistic team semantics sett
 ing\, we introduced a novel restricted variant of BSS machines\, coined se
 parate-branching BSS-machines or SBSS-machines. This led to various connec
 tions between logics using probabilistic team semantics\, complexity class
 es defined via SBSS-machines\, complexity classes defined via Turing machi
 nes\, and restrictions of the variant of existential second-order logic of
  Grädel and Meer.
URL;VALUE=URI:https://research.cs.aalto.fi/theory/seminar/seminar.html
SEQUENCE:1
SUMMARY:Jonni Virtema: Descriptive complexity of real computation and proba
 bilistic team semantics
LAST-MODIFIED:20210108T190644Z
DTSTART;TZID=Europe/Berlin:20210113T131500
CREATED:20210107T200035Z
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093119Z
UID:4143C00E-24A8-49BE-8777-4D412289CACC
DTEND;TZID=Europe/Berlin:20221114T154500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Lea Reinhart: Perfekte Sicherheit und der Satz von Shannon
LAST-MODIFIED:20221021T093150Z
DTSTAMP:20221021T093119Z
DTSTART;TZID=Europe/Berlin:20221114T151500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221121T151500
UID:620ABE6E-0ECA-4520-B540-572C05A9484E
DTSTAMP:20221021T093153Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Kai Hallmann: Der AKS Primzahltest
LAST-MODIFIED:20221116T181028Z
CREATED:20221021T093152Z
DTSTART;TZID=Europe/Berlin:20221121T144500
END:VEVENT
BEGIN:VEVENT
CREATED:20240806T184420Z
DTEND;TZID=Europe/Berlin:20240918T141500
DTSTAMP:20240806T184421Z
DTSTART;TZID=Europe/Berlin:20240918T133000
LAST-MODIFIED:20240806T184420Z
SEQUENCE:0
SUMMARY:BA Wulkopf
TRANSP:OPAQUE
UID:F9ECBC3F-F646-4CCD-AFD2-68870DEC1781
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221115T125128Z
UID:2C119189-6235-4EED-B70B-D8575B220F37
DTEND;TZID=Europe/Berlin:20221122T170000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Lauri Hella\, Generalized quantifiers and CSP
LAST-MODIFIED:20221115T125200Z
DTSTAMP:20221115T125202Z
DTSTART;TZID=Europe/Berlin:20221122T160000
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20200629T180000
UID:6B0A7550-3440-4091-BF79-C710890AACF0
DTSTAMP:20200610T160551Z
LOCATION:https://luis-uni-hannover.webex.com/luis-uni- hannover/j.php?MTID=
 med2d427199c3c4741d21377ce75f4e7c
DESCRIPTION:Passwort zum Betreten der Sitzung nG3JRC4fZx4
SEQUENCE:1
CONFERENCE;VALUE=URI:https://luis-uni-hannover.webex.com/luis-uni-
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Antrittsvorlesung Arne Meier: Von der Suche nach praxisrelevanten P
 arametern für nichtklassische Logiken
LAST-MODIFIED:20200610T160550Z
CREATED:20200610T160518Z
DTSTART;TZID=Europe/Berlin:20200629T170000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20201117T173000
UID:1D6E9813-0C28-4B55-9B71-524555E148F7
DTSTAMP:20201106T082711Z
LOCATION:https://zoom.us/j/98362337639?pwd=SGpEMDBBT0tWdXcxVUdLdjFmSFptQT09
 
DESCRIPTION:Zoom-Meeting beitreten\nhttps://zoom.us/j/98362337639?pwd=SGpEM
 DBBT0tWdXcxVUdLdjFmSFptQT09\n\nMeeting-ID: 983 6233 7639\nKenncode: 236789
 
SEQUENCE:1
CONFERENCE;VALUE=URI:tel://983%206233%207639
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:79. WORKSHOP ÜBER ALGORITHMEN UND KOMPLEXITÄT (THEORIETAG)
LAST-MODIFIED:20201116T143005Z
CREATED:20201106T082700Z
DTSTART;TZID=Europe/Berlin:20201117T091500
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20211021T151500
UID:852AABE6-64E0-42A6-97B2-5D40AC3C89F0
DTSTAMP:20211001T101616Z
LOCATION:https://uni-hannover.webex.com/meet/arne.meier
SEQUENCE:1
CONFERENCE;VALUE=URI:https://uni-hannover.webex.com/meet/arne.meier
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Schüle (Chess Heatmap)
LAST-MODIFIED:20211021T072129Z
CREATED:20211001T101539Z
DTSTART;TZID=Europe/Berlin:20211021T143000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20210106T090600Z
UID:8d910f33-5b65-4d23-95f7-a3bc66c07b09
DTEND;TZID=Europe/Berlin:20210126T120000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:ThpK Seminar: Scheduling (Strieker)
LAST-MODIFIED:20210119T085154Z
DTSTAMP:20210119T075548Z
DTSTART;TZID=Europe/Berlin:20210126T113000
LOCATION:https://us02web.zoom.us/j/89640398957?pwd=WjNnbUJ1NzlkNmdNRS8wbUNZ
 YkZEQT09
SEQUENCE:4
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093119Z
UID:D621A654-37D2-49B2-B04C-99C4292740AD
DTEND;TZID=Europe/Berlin:20221114T151500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Nassim Jahnke: CCA-Sicherheit
LAST-MODIFIED:20221021T093140Z
DTSTAMP:20221021T093119Z
DTSTART;TZID=Europe/Berlin:20221114T144500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20240424T145843Z
DTEND;TZID=Europe/Berlin:20240624T140000
DTSTAMP:20240424T190545Z
DTSTART;TZID=Europe/Berlin:20240624T133000
LAST-MODIFIED:20240424T190544Z
LOCATION:3403.A501
SEQUENCE:0
SUMMARY:BA Strothmann: Eine GUI zur Visualisierung von Sortierverfahren
TRANSP:OPAQUE
UID:CCFA3601-96CC-4656-AF49-F55234D72088
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220118T154500
UID:ab044598-d449-4abd-a9fe-9ba05a2ad587
DTSTAMP:20211103T135524Z
X-MOZ-GENERATION:3
SEQUENCE:2
CLASS:PUBLIC
X-LIC-ERROR;X-LIC-ERRORTYPE=VALUE-PARSE-ERROR:No value for URL property. Re
 moving entire property:
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Seminar KTh: Uniforme Diagonalisierung 
LAST-MODIFIED:20220117T142638Z
CREATED:20211103T124626Z
DTSTART;TZID=Europe/Berlin:20220118T151500
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132713Z
DTEND;TZID=Europe/Berlin:20230620T144500
DTSTAMP:20230614T074920Z
DTSTART;TZID=Europe/Berlin:20230620T141500
LAST-MODIFIED:20230614T074920Z
LOCATION:3408.1601
SEQUENCE:3
SUMMARY:Hallmann: Müller-Automaten
TRANSP:OPAQUE
UID:AD80DC80-DEF2-41E2-983E-FB9083EC26C8
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20220118T143613Z
UID:31074A59-5793-4CD9-BE86-D7D6CE95280A
DTEND;TZID=Europe/Berlin:20220126T143000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
CLASS:PUBLIC
SUMMARY:Seminar KTh: Vollständige Probleme für Σp2
LAST-MODIFIED:20220125T141734Z
DTSTAMP:20220118T143613Z
DTSTART;TZID=Europe/Berlin:20220126T140000
SEQUENCE:2
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220114T082904Z
DTEND;TZID=Europe/Berlin:20220211T110000
DTSTAMP:20220203T181650Z
DTSTART;TZID=Europe/Berlin:20220211T100000
LAST-MODIFIED:20220203T181649Z
SEQUENCE:2
SUMMARY:Schach-Seminar: Schach-Wertungszahlen und eine pandemisch bedingte 
 Verzögerung
TRANSP:OPAQUE
UID:C9A99184-6982-4667-AA9A-E02D6F94E0BA
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220303T141500
UID:BBECE3BF-8093-442E-9346-C205BB90A46F
DTSTAMP:20220125T141316Z
LOCATION:3408.1611 *und* https://uni-hannover.webex.com/meet/arne.meier
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Hallmann (Rubic's Cube)
LAST-MODIFIED:20220302T154628Z
CREATED:20220125T141240Z
DTSTART;TZID=Europe/Berlin:20220303T133000
END:VEVENT
BEGIN:VEVENT
CREATED:20220407T131017Z
UID:71D02F15-E7D0-4247-9C45-8974BB7B85A1
DTEND;TZID=Europe/Berlin:20220505T150000
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Brede: Charakterisierung und Vergleich bekannter Wegfindungsalgo
 rithmen
LAST-MODIFIED:20220414T140744Z
DTSTAMP:20220407T131026Z
DTSTART;TZID=Europe/Berlin:20220505T141500
LOCATION:1611\, Appelstr. 9A
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220428T150000
UID:64C1F135-610A-4501-B97B-C2F58C400209
DTSTAMP:20220323T194939Z
LOCATION:3408.1611
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Boehnke: Komplexität von Ying Yang Rätseln
LAST-MODIFIED:20220426T090653Z
CREATED:20220323T142543Z
DTSTART;TZID=Europe/Berlin:20220428T141500
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220221T134535Z
DTEND;TZID=Europe/Berlin:20220330T144500
DTSTAMP:20220329T122609Z
DTSTART;TZID=Europe/Berlin:20220330T140000
LAST-MODIFIED:20220329T122607Z
LOCATION:https://uni-hannover.webex.com/meet/arne.meier
SEQUENCE:2
SUMMARY:BA Jabs: Lineares Threshold-Secret-Sharing
TRANSP:OPAQUE
UID:87DC09B4-4316-4E02-A25D-6A38D1BBE82D
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132713Z
DTEND;TZID=Europe/Berlin:20230620T151500
DTSTAMP:20230614T074922Z
DTSTART;TZID=Europe/Berlin:20230620T144500
LOCATION:3408.1601
SEQUENCE:4
SUMMARY:Lakhdher: Sequentielle Rabin-Automaten
TRANSP:OPAQUE
UID:F2F26C39-89D8-4E3D-A4DA-6B878908E720
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220428T141500
UID:8A6F5F8D-0F64-487E-8133-78BCB4FFCA07
DTSTAMP:20220421T153325Z
LOCATION:3408.1611
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Ballerstein: Die Komplexität von Fillmat
LAST-MODIFIED:20220426T090655Z
CREATED:20220322T122600Z
DTSTART;TZID=Europe/Berlin:20220428T133000
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220401T124415Z
DTEND;TZID=Europe/Berlin:20220505T141500
DTSTAMP:20220423T143823Z
DTSTART;TZID=Europe/Berlin:20220505T133000
LAST-MODIFIED:20220423T143821Z
LOCATION:https://uni-hannover.webex.com/meet/arne.meier
SEQUENCE:1
SUMMARY:BA Olbrich: NP-Vollständigkeit von Dosun-Fuwari und Spiral Galaxies
 
TRANSP:OPAQUE
UID:C06BC646-A273-4B55-BC85-6624AC5014A6
END:VEVENT
BEGIN:VEVENT
CREATED:20221021T093119Z
UID:14A16844-253E-4EE1-8527-AE3F3201F5F1
DTEND;TZID=Europe/Berlin:20221114T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Stina Schäfer: RR-Sicherheit
LAST-MODIFIED:20221021T093131Z
DTSTAMP:20221021T093119Z
DTSTART;TZID=Europe/Berlin:20221114T141500
SEQUENCE:1
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20221116T181029Z
UID:F35A58AE-6AE6-41DE-B659-5000F74833B2
DTEND;TZID=Europe/Berlin:20221121T144500
TRANSP:OPAQUE
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Adrian Eberhardt: Der Solovay-Strassen-Test
LAST-MODIFIED:20221116T181045Z
DTSTAMP:20221116T181039Z
DTSTART;TZID=Europe/Berlin:20221121T141500
SEQUENCE:1
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20220412T141500
UID:B6728A74-A522-4F28-9F89-418833FE830C
DTSTAMP:20220307T125229Z
LOCATION:https://uni-hannover.webex.com/meet/arne.meier
SEQUENCE:0
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:BA Gudi: Parametrische Komplexität und das Trainieren von neuronale
 n Netzen
LAST-MODIFIED:20220408T123755Z
CREATED:20220307T125228Z
DTSTART;TZID=Europe/Berlin:20220412T133000
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20220412T075340Z
DTEND;TZID=Europe/Berlin:20220421T144500
DTSTAMP:20220421T051551Z
DTSTART;TZID=Europe/Berlin:20220421T140000
LAST-MODIFIED:20220421T051549Z
LOCATION:https://uni-hannover.webex.com/meet/arne.meier  
SEQUENCE:1
SUMMARY:BA Baethke: Backgammon ist schwer
TRANSP:OPAQUE
UID:8CA38130-EF5D-4ABF-AC29-10AD56141A6D
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221212T144500
UID:9CD2DBDE-CFA3-4EDB-889D-E319B4AF5E36
DTSTAMP:20221021T093435Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Nicolas Fröhlich: The Whirlpool Secure Hash Function
LAST-MODIFIED:20221116T181101Z
CREATED:20221021T093435Z
DTSTART;TZID=Europe/Berlin:20221212T141500
END:VEVENT
BEGIN:VEVENT
CREATED:20230508T132713Z
DTEND;TZID=Europe/Berlin:20230620T154500
DTSTAMP:20230614T074924Z
DTSTART;TZID=Europe/Berlin:20230620T151500
LAST-MODIFIED:20230614T074924Z
LOCATION:3408.1601
SEQUENCE:4
SUMMARY:Wege: McNaughton-Theorem
TRANSP:OPAQUE
UID:AB5A6EBF-FE56-4E35-982C-959F7852B9DA
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20230220T124506Z
LAST-MODIFIED:20230314T095851Z
DTSTAMP:20230314T095851Z
UID:A7887862-75CE-48B4-9D36-9344DFBEAE8F
SUMMARY:BA Kloetzing (Structured Neural Nets)
DTSTART;TZID=Europe/Berlin:20230322T140000
DTEND;TZID=Europe/Berlin:20230322T144500
CLASS:PUBLIC
SEQUENCE:2
TRANSP:OPAQUE
X-MOZ-GENERATION:1
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20221021T093754Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
DTEND;TZID=Europe/Berlin:20230123T142000
DTSTAMP:20230116T134613Z
DTSTART;TZID=Europe/Berlin:20230123T135500
LAST-MODIFIED:20230116T134612Z
SEQUENCE:4
SUMMARY:Katharina Schick: Iterated Pseudorandom Restrictions
TRANSP:OPAQUE
UID:EC938631-E730-4285-A29D-3A94844852ED
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20221121T154500
UID:1D199BBB-ED39-465C-8DD2-A30812B07519
DTSTAMP:20221021T093153Z
DESCRIPTION:Seminarvortrag im Rahmen der Kryptographievorlesung
SEQUENCE:1
CLASS:PUBLIC
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
SUMMARY:Lenard Ehrmuth: Das Zahlkörpersieb
LAST-MODIFIED:20221116T181042Z
CREATED:20221021T093152Z
DTSTART;TZID=Europe/Berlin:20221121T151500
END:VEVENT
BEGIN:VEVENT
CREATED:20240501T071357Z
DTEND;TZID=Europe/Berlin:20240508T153000
DTSTAMP:20240501T071357Z
DTSTART;TZID=Europe/Berlin:20240508T150000
LAST-MODIFIED:20240501T071357Z
SEQUENCE:0
SUMMARY:Hallman (MA: Transformer networks)
TRANSP:OPAQUE
UID:C212F04A-0CEB-45E4-BF4A-2C02F83BAC15
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20230817T073856Z
DTEND;TZID=Europe/Berlin:20230913T153000
DTSTAMP:20230911T095610Z
DTSTART;TZID=Europe/Berlin:20230913T150000
LAST-MODIFIED:20230911T095609Z
SEQUENCE:1
SUMMARY:Kryptographie-Seminarvortrag Dorgelo
TRANSP:OPAQUE
UID:9F12FC18-B3CC-4D1B-802F-089775796494
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20240605T081657Z
DTEND;TZID=Europe/Berlin:20240625T133000
DTSTAMP:20240611T073733Z
DTSTART;TZID=Europe/Berlin:20240625T130000
LAST-MODIFIED:20240611T073733Z
SEQUENCE:1
SUMMARY:BA Magerstedt: Eine GUI zur Visualisierung von binären Suchbäumen
TRANSP:OPAQUE
UID:B6EC3A09-8EA9-48D8-967B-8308E53EB4A3
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20240611T073643Z
DTEND;TZID=Europe/Berlin:20240625T154500
DTSTAMP:20240611T073802Z
DTSTART;TZID=Europe/Berlin:20240625T151500
LAST-MODIFIED:20240611T073802Z
SEQUENCE:0
SUMMARY:BA Kaiser: Eine GUI zur Visualisierung von B-Bäumen
TRANSP:OPAQUE
UID:CD223269-A82A-42FB-B557-38B4C034B467
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20240618T072725Z
DTEND;TZID=Europe/Berlin:20240709T143000
DTSTAMP:20240620T090101Z
DTSTART;TZID=Europe/Berlin:20240709T140000
LAST-MODIFIED:20240620T090101Z
SEQUENCE:0
SUMMARY:BA Cedric Lettner
TRANSP:OPAQUE
UID:B226D1CD-E220-406F-AC83-9F6811C7581D
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20240722T123755Z
DTEND;TZID=Europe/Berlin:20240905T120000
DTSTAMP:20240722T123756Z
DTSTART;TZID=Europe/Berlin:20240905T110000
LAST-MODIFIED:20240722T123755Z
SEQUENCE:0
SUMMARY:Vortrag Renz (BA)
TRANSP:OPAQUE
UID:42A5133F-354C-42D5-B0FC-DBEAAF722557
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20230817T073846Z
DTEND;TZID=Europe/Berlin:20230913T145500
DTSTAMP:20230911T095606Z
DTSTART;TZID=Europe/Berlin:20230913T143000
LAST-MODIFIED:20230911T095605Z
SEQUENCE:2
SUMMARY:Kryptographie-Seminarvortrag Müller
TRANSP:OPAQUE
UID:B6186C22-2017-4254-A270-2560AB84581C
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20231123T083000Z
DTEND;TZID=Europe/Berlin:20240131T143000
DTSTAMP:20231204T124759Z
DTSTART;TZID=Europe/Berlin:20240131T133000
LAST-MODIFIED:20231204T124759Z
SEQUENCE:0
SUMMARY:MA Raska: Pseudozufallszahlenalgorithmen und statistische Tests
TRANSP:OPAQUE
UID:1C2F3663-5376-46F5-9EC8-970D2D3A8AFF
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20240531T093650Z
DTEND;TZID=Europe/Berlin:20240709T140000
DTSTAMP:20240602T083420Z
DTSTART;TZID=Europe/Berlin:20240709T133000
LAST-MODIFIED:20240602T083419Z
SEQUENCE:0
SUMMARY:BA Jan Gutleben
TRANSP:OPAQUE
UID:78CE5D0D-E662-4AE5-BD6F-A3E5999C82F0
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20240513T135409Z
DTEND;TZID=Europe/Berlin:20240605T150000
DTSTAMP:20240514T080445Z
DTSTART;TZID=Europe/Berlin:20240605T143000
LAST-MODIFIED:20240514T080445Z
LOCATION:3403.A141
SEQUENCE:0
SUMMARY:MA Kabuth
TRANSP:OPAQUE
UID:D6FF2088-A99A-448A-BE33-9C128F86D5DD
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20240513T135438Z
DTEND;TZID=Europe/Berlin:20240605T153000
DTSTAMP:20240514T080449Z
DTSTART;TZID=Europe/Berlin:20240605T150000
LAST-MODIFIED:20240514T080449Z
LOCATION:3403.A141
SEQUENCE:0
SUMMARY:BA Kadour
TRANSP:OPAQUE
UID:1AB51FAC-FC3C-44D8-B0F7-1866EEF3B62C
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20240514T080450Z
DTEND;TZID=Europe/Berlin:20240605T160000
DTSTAMP:20240514T080458Z
DTSTART;TZID=Europe/Berlin:20240605T153000
LAST-MODIFIED:20240514T080457Z
LOCATION:3403.A141
SEQUENCE:1
SUMMARY:MA Wege
TRANSP:OPAQUE
UID:B8761894-FF4C-46BC-8089-539BE598C555
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
END:VEVENT
BEGIN:VEVENT
CREATED:20240502T113201Z
DTEND;TZID=Europe/Berlin:20240514T143000
DTSTAMP:20240514T100941Z
DTSTART;TZID=Europe/Berlin:20240514T133000
LAST-MODIFIED:20240507T092201Z
LOCATION:Appelstr. 11\, A141
SEQUENCE:0
SUMMARY:Vortrag Antti Kuusisto: "Descriptive complexity for distributed com
 puting with circuits"
TRANSP:OPAQUE
UID:84970070-2960-4E95-831B-BC1FEC3D228A
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20240904T125401Z
DTEND;TZID=Europe/Berlin:20241030T144500
DTSTAMP:20240904T125403Z
DTSTART;TZID=Europe/Berlin:20241030T140000
LAST-MODIFIED:20240904T125401Z
LOCATION:A501
SEQUENCE:1
SUMMARY:MA Ziehm: 1-planarity of graphs
TRANSP:TRANSPARENT
UID:CC320D85-F06C-40A4-87C7-0E6591B3D384
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20241022T130813Z
DTEND;TZID=Europe/Berlin:20241203T140000
DTSTAMP:20241023T194047Z
DTSTART;TZID=Europe/Berlin:20241203T131500
LAST-MODIFIED:20241023T194046Z
SEQUENCE:1
SUMMARY:Vortrag Krivorutski (MA: EF-Spiele)
TRANSP:OPAQUE
UID:0216788E-ECDA-493B-BEA9-D490D2D9EF50
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20241009T031337Z
DTEND;TZID=Europe/Berlin:20241030T154500
DTSTAMP:20241029T140357Z
DTSTART;TZID=Europe/Berlin:20241030T150000
LAST-MODIFIED:20241029T140357Z
SEQUENCE:1
SUMMARY:BA Pham: Bipolare Argumentation
TRANSP:OPAQUE
UID:76E4C87C-4E31-4A2D-A81D-201FF3CFE81E
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
END:VEVENT
BEGIN:VEVENT
CREATED:20241105T133442Z
DTEND;TZID=Europe/Berlin:20241113T144500
DTSTAMP:20241105T133443Z
DTSTART;TZID=Europe/Berlin:20241113T140000
LAST-MODIFIED:20241105T133442Z
SEQUENCE:0
SUMMARY:BA Viskorf (Quant. Horn)
TRANSP:OPAQUE
UID:D96432F1-19E1-4FD8-B447-F14290BD58BE
URL;VALUE=URI:message:%3C0338e471-59e5-4a29-af56-59edefd8b073@stud.uni-hann
 over.de%3E
X-APPLE-CREATOR-IDENTITY:com.apple.DataDetectorsViewService
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20241120T115521Z
DTEND;TZID=Europe/Berlin:20250108T153000
DTSTAMP:20241120T115523Z
DTSTART;TZID=Europe/Berlin:20250108T144500
LAST-MODIFIED:20241120T115521Z
SEQUENCE:0
SUMMARY:Kürzeste-Wege-Probleme in der Stahlindustrie (MA Glander)
TRANSP:OPAQUE
UID:A3A85CE1-B796-43F1-8B39-93332E14130D
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20241218T144317Z
DTEND;TZID=Europe/Berlin:20250107T134500
DTSTAMP:20241218T144318Z
DTSTART;TZID=Europe/Berlin:20250107T130000
LAST-MODIFIED:20241218T144317Z
SEQUENCE:0
SUMMARY:BA Ovenhausen (fine-grained complexity)
TRANSP:OPAQUE
UID:39CD1380-32ED-401B-B89C-385846FE3CA2
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20250107T172522Z
DTEND;TZID=Europe/Berlin:20250312T141500
DTSTAMP:20250108T083615Z
DTSTART;TZID=Europe/Berlin:20250312T133000
LAST-MODIFIED:20250108T083614Z
SEQUENCE:0
SUMMARY:Das n-Vehicle-Exploration-Problem (BA Bernstein)
TRANSP:OPAQUE
UID:B9047FBF-ECB6-4A50-A192-A78A6B88B79C
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20241118T152705Z
DTEND;TZID=Europe/Berlin:20250108T164500
DTSTAMP:20250108T085012Z
DTSTART;TZID=Europe/Berlin:20250108T160000
LAST-MODIFIED:20241218T102813Z
SEQUENCE:1
SUMMARY:Cortnum (BA Matroide)
TRANSP:TRANSPARENT
UID:0D00DE18-8CED-41E5-BE2A-061700F9E327
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20250121T134645Z
LAST-MODIFIED:20250122T121342Z
DTSTAMP:20250122T121342Z
UID:52694B0A-43F1-4D51-8D46-F7FB4AD01630
SUMMARY:BA Saleh: Überblick über verschiedene Hashfunktionen
DTSTART;TZID=Europe/Berlin:20250219T143000
DTEND;TZID=Europe/Berlin:20250219T151500
CLASS:PUBLIC
SEQUENCE:0
TRANSP:OPAQUE
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20250310T090005Z
DTEND;TZID=Europe/Berlin:20250320T141500
DTSTAMP:20250310T090006Z
DTSTART;TZID=Europe/Berlin:20250320T133000
LAST-MODIFIED:20250310T090005Z
SEQUENCE:0
SUMMARY:BA Siekmann
TRANSP:OPAQUE
UID:EB4962D8-AB8F-4D5A-871B-6A451D015F86
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20250124T090233Z
DTEND;TZID=Europe/Berlin:20250327T154500
DTSTAMP:20250310T090630Z
DTSTART;TZID=Europe/Berlin:20250327T150000
LAST-MODIFIED:20250310T090629Z
SEQUENCE:1
SUMMARY:Baumweite von Datenbanken (BA Peckmann)
TRANSP:OPAQUE
UID:99BBDE2F-1EDB-4CB5-82BF-6CBC061A8A56
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
END:VEVENT
BEGIN:VEVENT
CREATED:20250126T184149Z
DTEND;TZID=America/Los_Angeles:20250219T053000
DTSTAMP:20250126T184151Z
DTSTART;TZID=America/Los_Angeles:20250219T044500
LAST-MODIFIED:20250126T184149Z
SEQUENCE:0
SUMMARY:BA Tylkowski: Rek. GNNs
TRANSP:OPAQUE
UID:D89ED469-4D2D-4AED-9738-3E7F5545CABE
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250128T203553Z
DTEND;TZID=America/Los_Angeles:20250220T051500
DTSTAMP:20250201T194630Z
DTSTART;TZID=America/Los_Angeles:20250220T043000
LAST-MODIFIED:20250201T194630Z
SEQUENCE:1
SUMMARY:BA Binkowski: Programmiersprache für Quantencomputer
TRANSP:OPAQUE
UID:A07574D2-6E81-48B6-A613-BD63CAAEA3FF
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250218T155258Z
DTEND;TZID=Europe/Berlin:20250507T153000
DTSTAMP:20250218T155258Z
DTSTART;TZID=Europe/Berlin:20250507T143000
LAST-MODIFIED:20250218T155258Z
LOCATION:A501
SEQUENCE:2
SUMMARY:Auslandsinfovortrag
TRANSP:OPAQUE
UID:ADE66AE9-444E-4419-8139-1449293BB565
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250227T123521Z
DTEND;TZID=Europe/Berlin:20250416T154500
DTSTAMP:20250227T123521Z
DTSTART;TZID=Europe/Berlin:20250416T150000
LAST-MODIFIED:20250227T123521Z
SEQUENCE:0
SUMMARY:BA Harder
TRANSP:OPAQUE
UID:C7484703-769E-404B-AE75-3E35CD74477D
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250305T095251Z
DTEND;TZID=Europe/Berlin:20250327T144500
DTSTAMP:20250305T095306Z
DTSTART;TZID=Europe/Berlin:20250327T140000
LAST-MODIFIED:20250305T095252Z
SEQUENCE:1
SUMMARY:Bisho\, Cake Cutting (BA)
TRANSP:OPAQUE
UID:93EAA7F7-1227-4654-9655-A0321BF9F9BC
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250306T124510Z
DESCRIPTION:Abstract:\n\nIn restricted settings\, constructing a choice fun
 ction via a relation on the alternatives is not always possible. But\, we 
 show that one can always construct a choice function via a linear order on
  sets of alternatives. The axiomatics of such choice functions is presente
 d. Restricted choice structures have many applications\, and here we discu
 ss their applications for knowledge representation and reasoning.\n
DTEND;TZID=Europe/Berlin:20250313T144500
DTSTAMP:20250306T124511Z
DTSTART;TZID=Europe/Berlin:20250313T140000
LAST-MODIFIED:20250306T124510Z
SEQUENCE:0
SUMMARY:Kai Sauerwald: Axiomatics of Restricted Choice by a Linear Order of
  Sets
TRANSP:OPAQUE
UID:2C1305D9-D5BD-4270-A740-6B652E1DD38D
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20250312T092350Z
DTEND;TZID=Europe/Berlin:20250416T164500
DTSTAMP:20250312T152123Z
DTSTART;TZID=Europe/Berlin:20250416T160000
LAST-MODIFIED:20250312T152121Z
SEQUENCE:1
SUMMARY:BA Kießling
TRANSP:OPAQUE
UID:d3b1542c-f60b-4c06-9c3d-f6a67b0974e1
END:VEVENT
BEGIN:VEVENT
CREATED:20250317T125716Z
DTEND;TZID=Europe/Berlin:20250423T163000
DTSTAMP:20250317T125716Z
DTSTART;TZID=Europe/Berlin:20250423T154500
LAST-MODIFIED:20250317T125716Z
SEQUENCE:0
SUMMARY:BA Blachut (Wahlmanipulation)
TRANSP:OPAQUE
UID:69A18335-6299-4D86-8D31-3972F3D7F0DB
URL;VALUE=URI:message:%3C7808DF4A-7551-4DC9-977B-83766F9D0764@thi.uni-hanno
 ver.de%3E
X-APPLE-CREATOR-IDENTITY:com.apple.DataDetectorsViewService
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250407T130233Z
DTEND;TZID=Europe/Berlin:20250423T171500
DTSTAMP:20250407T130234Z
DTSTART;TZID=Europe/Berlin:20250423T163000
LAST-MODIFIED:20250407T130233Z
SEQUENCE:0
SUMMARY:BA Schirrmacher (Resolutionsverfeinerungen)
TRANSP:OPAQUE
UID:19243F12-C1E7-48C8-9FBA-56CBCD8F383B
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250312T152209Z
DTEND;TZID=Europe/Berlin:20250423T154500
DTSTAMP:20250414T072225Z
DTSTART;TZID=Europe/Berlin:20250423T150000
LAST-MODIFIED:20250414T072224Z
SEQUENCE:0
SUMMARY:BA Sattler (A GUI for graph decompositions)
TRANSP:OPAQUE
UID:24FB3B82-BF99-4149-8436-CA55A1C6E181
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20260713T141940Z
DTEND;TZID=Europe/Berlin:20260819T151500
DTSTAMP:20260713T141940Z
DTSTART;TZID=Europe/Berlin:20260819T143000
LAST-MODIFIED:20260713T141940Z
SEQUENCE:0
SUMMARY:BA Leana Meyer
TRANSP:OPAQUE
UID:3B78AB90-4795-4F7B-B124-73230ECB7F65
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250415T111824Z
LAST-MODIFIED:20250428T080439Z
DTSTAMP:20250428T080439Z
UID:5E9C852D-EE7D-481D-BFFF-DD2D563E5D4A
SUMMARY:BA Fatah
DTSTART;TZID=Europe/Berlin:20250507T153000
DTEND;TZID=Europe/Berlin:20250507T161500
CLASS:PUBLIC
SEQUENCE:3
TRANSP:OPAQUE
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
X-MOZ-GENERATION:5
END:VEVENT
BEGIN:VEVENT
CREATED:20250513T090930Z
DTEND;TZID=Europe/Berlin:20251105T160000
DTSTAMP:20250513T090932Z
DTSTART;TZID=Europe/Berlin:20251105T143000
LAST-MODIFIED:20250513T090930Z
LOCATION:A502
SEQUENCE:1
SUMMARY:Auslandsinfovortrag
TRANSP:OPAQUE
UID:66018865-2408-49A5-A079-757EECAEBC05
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250513T094355Z
DTEND;TZID=Europe/Berlin:20250604T151500
DTSTAMP:20250513T094407Z
DTSTART;TZID=Europe/Berlin:20250604T143000
LAST-MODIFIED:20250513T094405Z
SEQUENCE:0
SUMMARY:MA Ehrmuth: Expressivity of Transformer
TRANSP:OPAQUE
UID:95643117-7EFC-4A29-93A3-1619E17E4010
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250527T084144Z
DTEND;TZID=Europe/Berlin:20250820T151500
DTSTAMP:20250527T084145Z
DTSTART;TZID=Europe/Berlin:20250820T143000
LAST-MODIFIED:20250527T084144Z
SEQUENCE:0
SUMMARY:BA Abe: Twin-Width
TRANSP:OPAQUE
UID:72F08864-2C56-4359-B3E0-68581B6EDF3C
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20250624T073324Z
DTEND;TZID=Europe/Berlin:20250716T154500
DTSTAMP:20250624T193442Z
DTSTART;TZID=Europe/Berlin:20250716T150000
LAST-MODIFIED:20250624T193441Z
SEQUENCE:1
SUMMARY:Ole Meinecke: GNNs
TRANSP:OPAQUE
UID:A230DF68-2815-4904-8A7E-F73EC74210B7
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20250708T075050Z
DTEND;TZID=Europe/Berlin:20250917T151500
DTSTAMP:20250708T075052Z
DTSTART;TZID=Europe/Berlin:20250917T143000
LAST-MODIFIED:20250708T075050Z
SEQUENCE:0
SUMMARY:MA Hermerding: Primzahlen in der Kryptographie
TRANSP:OPAQUE
UID:58179952-12CA-4EA6-87E0-3E25AED4400A
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250730T084323Z
DTEND;TZID=Europe/Berlin:20250903T141500
DTSTAMP:20250730T084324Z
DTSTART;TZID=Europe/Berlin:20250903T133000
LAST-MODIFIED:20250730T084323Z
SEQUENCE:0
SUMMARY:Schulz (BA: Unabhängigkeitsresultate)
TRANSP:OPAQUE
UID:A5EE7C75-84D4-442A-B547-9E7FBDD6F852
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250808T193940Z
DTEND;TZID=Europe/Berlin:20250901T151500
DTSTAMP:20250808T193940Z
DTSTART;TZID=Europe/Berlin:20250901T143000
LAST-MODIFIED:20250808T193940Z
SEQUENCE:0
SUMMARY:Padrok (BA Linguistik und Teamlogik)
TRANSP:OPAQUE
UID:EA96AE5B-ABCB-4415-A5D4-B6DED73977E4
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250822T084949Z
DTEND;TZID=Europe/Berlin:20250917T160000
DTSTAMP:20250822T084949Z
DTSTART;TZID=Europe/Berlin:20250917T151500
LAST-MODIFIED:20250822T084949Z
SEQUENCE:0
SUMMARY:BA Wratschinski: Geometric Cryptography
TRANSP:OPAQUE
UID:527A0B00-4697-49B6-B4A4-595DAE373B4C
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250828T074210Z
DTEND;TZID=Europe/Berlin:20250917T143000
DTSTAMP:20250828T074210Z
DTSTART;TZID=Europe/Berlin:20250917T134500
LAST-MODIFIED:20250828T074210Z
SEQUENCE:0
SUMMARY:BA Mertin: Algorithmen für Matroidprobleme
TRANSP:OPAQUE
UID:CEB76169-CD8B-4021-A21E-DE271E2DDAA5
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250828T074543Z
DTEND;TZID=Europe/Berlin:20250917T164500
DTSTAMP:20250828T074544Z
DTSTART;TZID=Europe/Berlin:20250917T160000
LAST-MODIFIED:20250828T074543Z
SEQUENCE:0
SUMMARY:BA Schmitz-Reinthal: Tool für den Gentzen-Kalkül
TRANSP:OPAQUE
UID:B38B000D-3DE9-4462-8529-74C7EE3D4960
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250901T120619Z
DTEND;TZID=Europe/Berlin:20251001T113000
DTSTAMP:20250903T141327Z
DTSTART;TZID=Europe/Berlin:20251001T103000
LAST-MODIFIED:20250903T141327Z
SEQUENCE:1
SUMMARY:Traute: Enumeration von Kreisen in Matroiden (BA)
TRANSP:OPAQUE
UID:24CAEB0F-9F05-4E0C-BAC3-BDD34CF26170
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20260715T081532Z
DTEND;TZID=Europe/Berlin:20260819T160000
DTSTAMP:20260715T081541Z
DTSTART;TZID=Europe/Berlin:20260819T151500
LAST-MODIFIED:20260715T081540Z
SEQUENCE:1
SUMMARY:BA Widjaja
TRANSP:OPAQUE
UID:F6E9D68E-28B0-4467-A93C-CA18A3F15B4F
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20250908T152723Z
DTEND;TZID=Europe/Berlin:20251007T154500
DTSTAMP:20250912T091522Z
DTSTART;TZID=Europe/Berlin:20251007T150000
LAST-MODIFIED:20250912T091521Z
SEQUENCE:0
SUMMARY:BA Engelhardt: RASP
TRANSP:OPAQUE
UID:32B524C6-ECB6-448F-B847-316E89F7CD65
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20250928T192527Z
DTEND;TZID=Europe/Berlin:20251015T154500
DTSTAMP:20250928T192528Z
DTSTART;TZID=Europe/Berlin:20251015T150000
LAST-MODIFIED:20250928T192527Z
SEQUENCE:0
SUMMARY:Ronge (BA: Linear-Logic in  the First-Order)
TRANSP:OPAQUE
UID:EB5B6393-C842-4BD9-BE87-C1349CAEF616
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20250923T075206Z
DTEND;TZID=Europe/Berlin:20250929T110000
DTSTAMP:20250923T075206Z
DTSTART;TZID=Europe/Berlin:20250929T100000
LAST-MODIFIED:20250923T075206Z
SEQUENCE:0
SUMMARY:BA Schehack
TRANSP:OPAQUE
UID:E2D0462D-6B84-462C-8CC7-39E02EBD3EA7
URL;VALUE=URI:message:%3C31c1cf58-a0ec-4528-a0a7-332bbda787ab@stud.uni-hann
 over.de%3E
X-APPLE-CREATOR-IDENTITY:com.apple.DataDetectorsViewService
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20260112T093137Z
DTEND;TZID=Europe/Berlin:20260128T154500
DTSTAMP:20260112T103135Z
DTSTART;TZID=Europe/Berlin:20260128T150000
LAST-MODIFIED:20260112T103134Z
SEQUENCE:2
SUMMARY:BA Cherouny (Erreichbarkeits- und Verifikationsprobleme in NNs)
TRANSP:OPAQUE
UID:b07ed237-4b82-4d10-94c4-45ce64e127e5
X-MOZ-GENERATION:2
END:VEVENT
BEGIN:VEVENT
CREATED:20260716T113357Z
DTEND;TZID=Europe/Berlin:20260902T151500
DTSTAMP:20260716T113357Z
DTSTART;TZID=Europe/Berlin:20260902T143000
LAST-MODIFIED:20260716T113357Z
SEQUENCE:0
SUMMARY:BA Günther
TRANSP:OPAQUE
UID:7C190F87-036E-4689-A558-6BA4B6B423CA
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20250903T083432Z
DESCRIPTION:The PACE challenge is an annual event where the goal is to impl
 ement an efficient solver for an NP-hard problem. The challenge aims to br
 idge the gap between theory and practice especially in the realm of parame
 terized algorithmics. In this talk\, I\nwill report on our participation i
 n the year 2024 on the problem »One-Sided\nCrossing Minimization« and in t
 he year 2025 on the problems »Dominating Set« and »Hitting Set«.
DTEND;TZID=Europe/Berlin:20251113T120000
DTSTAMP:20251113T075131Z
DTSTART;TZID=Europe/Berlin:20251113T110000
LAST-MODIFIED:20251113T075131Z
LOCATION:A532
SEQUENCE:3
SUMMARY:Vortrag Florian Chudigiewitsch: Keep It Simple\, Solve: Lessons Lea
 rned from PACE 2024 and 2025
TRANSP:OPAQUE
UID:d3bc0bd9-e59b-4765-a52c-734b6edb4dfe
X-MOZ-GENERATION:2
END:VEVENT
BEGIN:VEVENT
CREATED:20260120T201534Z
DTEND;TZID=Europe/Paris:20260211T141500
DTSTAMP:20260120T201534Z
DTSTART;TZID=Europe/Paris:20260211T133000
LAST-MODIFIED:20260120T201534Z
SEQUENCE:0
SUMMARY:Guillermo Badia: Codd's Theorem for Databases over Semirings
TRANSP:OPAQUE
UID:DCF38284-AB68-483D-9B10-82689BB9FEE9
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20260126T202633Z
DTEND;TZID=Europe/Berlin:20260223T150000
DTSTAMP:20260126T202635Z
DTSTART;TZID=Europe/Berlin:20260223T140000
LAST-MODIFIED:20260126T202633Z
SEQUENCE:0
SUMMARY:Vortrag Müller (BA: Algebr. Charakt. v. Komplexitätsklassen\, Zweit
 gutachter: Cuntz)
TRANSP:OPAQUE
UID:584EA4B0-CE98-45D7-B852-6EC2C579DD16
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20260210T104732Z
DTEND;TZID=Europe/Berlin:20260311T151500
DTSTAMP:20260210T104732Z
DTSTART;TZID=Europe/Berlin:20260311T143000
LAST-MODIFIED:20260210T104732Z
SEQUENCE:0
SUMMARY:BA Riyadi: Komplexität von Solo Schach
TRANSP:OPAQUE
UID:2BF17035-87A2-46E7-BAAA-711BF30F9EC2
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20260212T104432Z
DTEND;TZID=Europe/Berlin:20260223T164500
DTSTAMP:20260223T084249Z
DTSTART;TZID=Europe/Berlin:20260223T160000
LAST-MODIFIED:20260223T084249Z
SEQUENCE:0
SUMMARY:Vortrag Omar Alsaleh (BA: Fast Deterministic Selection)
TRANSP:OPAQUE
UID:05C82A87-EAB4-452D-AA2B-368E4046041D
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20260128T081611Z
DTEND;TZID=Europe/Paris:20260223T160000
DTSTAMP:20260223T084236Z
DTSTART;TZID=Europe/Paris:20260223T150000
LAST-MODIFIED:20260223T084236Z
SEQUENCE:3
SUMMARY:Vortrag Kaan (BA: Eine GUI für spezifische Graph-Algorithmen)
TRANSP:OPAQUE
UID:DFF6B49C-606D-465C-8498-A4BFCB2E01BB
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20260219T144633Z
DTEND;TZID=Europe/Berlin:20260311T160000
DTSTAMP:20260219T144638Z
DTSTART;TZID=Europe/Berlin:20260311T151500
LAST-MODIFIED:20260219T144638Z
SEQUENCE:2
SUMMARY:BA Do (Parallel Greedy)
TRANSP:OPAQUE
UID:E6018A99-0A3C-4580-9237-D4B8F53A44B3
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20260326T105728Z
DTEND;TZID=Europe/Berlin:20260422T141500
DTSTAMP:20260326T105732Z
DTSTART;TZID=Europe/Berlin:20260422T133000
LAST-MODIFIED:20260326T105732Z
SEQUENCE:1
SUMMARY:Behrendt (BA: Numerische Probleme)
TRANSP:OPAQUE
UID:283D164C-A130-4A48-B3D0-E7CE27167F4F
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20260326T151842Z
DTEND;TZID=Europe/Berlin:20260520T153000
DTSTAMP:20260326T151842Z
DTSTART;TZID=Europe/Berlin:20260520T143000
LAST-MODIFIED:20260326T151842Z
SEQUENCE:0
SUMMARY:Tobias Brockmeyer
TRANSP:OPAQUE
UID:6B7AC358-8D3C-4C7F-806C-0A757AC77DF0
X-APPLE-CREATOR-IDENTITY:com.apple.mobilecal
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20260317T140444Z
DTEND;TZID=Europe/Berlin:20260409T110000
DTSTAMP:20260406T190728Z
DTSTART;TZID=Europe/Berlin:20260409T101500
LAST-MODIFIED:20260406T190728Z
SEQUENCE:1
SUMMARY:BA Söllner (Zwei-Parteien-Kommunikation)
TRANSP:OPAQUE
UID:5F84E04B-6E83-4B24-9E07-81E1C21AB5E1
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20260311T123852Z
DTEND;TZID=Europe/Berlin:20260409T120000
DTSTAMP:20260407T153937Z
DTSTART;TZID=Europe/Berlin:20260409T110000
LAST-MODIFIED:20260311T124139Z
LOCATION:A532
SEQUENCE:0
SUMMARY:BA Gleim (Problemkerne)
TRANSP:OPAQUE
UID:9B7841D6-11EB-4D6C-9257-096CBBC014D0
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CLASS:PUBLIC
CREATED:20260409T102031Z
DTEND;TZID=Europe/Berlin:20260429T151500
DTSTAMP:20260414T120739Z
DTSTART;TZID=Europe/Berlin:20260429T143000
LAST-MODIFIED:20260414T120739Z
SEQUENCE:2
SUMMARY:BA Schulz
TRANSP:OPAQUE
UID:232993BF-40CE-42E7-B750-EAAE3328F847
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
END:VEVENT
BEGIN:VEVENT
CREATED:20260414T120825Z
DTEND;TZID=Europe/Berlin:20260429T160000
DTSTAMP:20260414T120826Z
DTSTART;TZID=Europe/Berlin:20260429T151500
LAST-MODIFIED:20260414T120825Z
SEQUENCE:0
SUMMARY:MA Hlava (Enumeration  Clones)
TRANSP:OPAQUE
UID:6AD49C75-F0A8-4D75-9A62-57370D04A731
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
BEGIN:VALARM
ACTION:NONE
TRIGGER;VALUE=DATE-TIME:19760401T005545Z
END:VALARM
CLASS:PUBLIC
END:VEVENT
BEGIN:VEVENT
CREATED:20260429T073545Z
LAST-MODIFIED:20260429T073603Z
DTSTAMP:20260429T073603Z
UID:446c62c1-302b-4e68-9590-d3732aeb4242
SUMMARY:Einsicht KvA KK1 (im Zeitslot des Oberseminars)
DTSTART;TZID=Europe/Berlin:20260603T130000
DTEND;TZID=Europe/Berlin:20260603T170000
TRANSP:OPAQUE
CLASS:PUBLIC
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20260505T113339Z
LAST-MODIFIED:20260507T131103Z
DTSTAMP:20260507T131103Z
UID:41D878A1-B4D1-4F44-8937-547B883B4D56
SUMMARY:BA Weiterer (Konnektivität in Matroiden)
DTSTART;TZID=Europe/Berlin:20260528T111500
DTEND;TZID=Europe/Berlin:20260528T120000
SEQUENCE:3
TRANSP:OPAQUE
X-APPLE-CREATOR-IDENTITY:com.apple.calendar
X-APPLE-CREATOR-TEAM-IDENTITY:0000000000
CLASS:PUBLIC
END:VEVENT
X-WR-CALNAME:Oberseminar ( <kalender@thi.uni-hannover.de>)
END:VCALENDAR