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
Invited
Speakers:
\n - Martin Otto (TU Darmst
adt)
\n - Igor Walukiewicz (LABRI, Un
iversité Bordeaux-I)
\n - Seba
stian Enqvist (University of Amsterdam)
\n
- Alessandro Facchini (IDSIA)
\n
- Yde Venema (University of Amsterdam)\n
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 http://fcarreiro.githu b.io/workshop.html, or contact f.m.carreiro at uva.nl a>.
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