BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2015/newsitem/7031/10-
 December-2015-Workshop-on-Fixpoint-Logics-Automata
 -and-Expressiveness-Room-1-90-Building-J-K-Valcken
 iersstraat-65-67-1018-XE-Amsterdam
DTSTAMP:20151130T000000
SUMMARY:Workshop on Fixpoint Logics, Automata and 
 Expressiveness, Room 1.90, Building J/K, Valckenie
 rsstraat 65-67, 1018 XE Amsterdam
DTSTART;VALUE=DATE:20151210
DTEND;VALUE=DATE:20151210
LOCATION:Room 1.90, Building J/K, Valckeniersstraa
 t 65-67, 1018 XE Amsterdam
DESCRIPTION:Invited Speakers:  - Martin Otto (TU D
 armstadt)  - Igor Walukiewicz (LABRI, Université B
 ordeaux-I)  - Sebastian Enqvist (University of Ams
 terdam)  - Alessandro Facchini (IDSIA)  - Yde Vene
 ma (University of Amsterdam)   International exper
 ts will give talks on topics related to fixpoint l
 ogics, automata, bisimulation and second-order log
 ics. More information on the workshop can be found
  on the webpage at http://fcarreiro.github.io/work
 shop.html, or contact f.m.carreiro at uva.nl.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Invited 
 Speakers:<br/>\n          - Martin Otto (TU Darmst
 adt)<br/>\n          - Igor Walukiewicz (LABRI, Un
 iversit&eacute; Bordeaux-I)<br/>\n          - Seba
 stian Enqvist (University of Amsterdam)<br/>\n    
       - Alessandro Facchini (IDSIA)<br/>\n        
   - Yde Venema (University of Amsterdam)\n        
 </p>\n    \n        <p>International experts will 
 give talks on topics related to fixpoint logics, a
 utomata, bisimulation and second-order logics. Mor
 e information on the workshop can be found on the 
 webpage at <a target="_blank" href="http://fcarrei
 ro.github.io/workshop.html">http://fcarreiro.githu
 b.io/workshop.html</a>, or contact <a class="email
 ">f.m.carreiro <span class="at">at</span> uva.nl</
 a>.</p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/7031/10-
 December-2015-Workshop-on-Fixpoint-Logics-Automata
 -and-Expressiveness-Room-1-90-Building-J-K-Valcken
 iersstraat-65-67-1018-XE-Amsterdam
END:VEVENT
END:VCALENDAR