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/2017/newsitem/9169/25- August-2017-Workshop-on-Logic-and-Automata-Theory- in-memory-of-Zoltán-Ésik-Stockholm-Sweden DTSTAMP:20170626T143239 SUMMARY:Workshop on Logic and Automata Theory in m emory of Zoltán Ésik, Stockholm, Sweden DTSTART;VALUE=DATE:20170825 DTEND;VALUE=DATE:20170825 LOCATION:Stockholm, Sweden DESCRIPTION:Zoltán Ésik was an automata theorist o f high calibre from the Institute of Informatics, University of Szeged, Hungary. Among his many cont ributions to the subject, perhaps the most importa nt is the study of equational properties of fixed point operators, constituting Iteration Theories ( a book he co-authored with Stephen Bloom). This on e-day workshop, a satellite event of CSL 2017, is intended as a tribute to Zoltán Ésik, constituting a discussion of topics that lie at the intersecti on of automata theory, logic and algebra. The work shop mainly consists of invited talks but also has room for the sharing of memories. X-ALT-DESC;FMTTYPE=text/html:\n
Zoltán Ésik wa s an automata theorist of high calibre from the In stitute of Informatics, University of Szeged, Hung ary. Among his many contributions to the subject, perhaps the most important is the study of equatio nal properties of fixed point operators, constitut ing Iteration Theories (a book he co-authored with Stephen Bloom). This one-day workshop, a satellit e event of CSL 2017, is intended as a tribute to Z oltán Ésik, constituting a discussion of topics th at lie at the intersection of automata theory, log ic and algebra. The workshop mainly consists of in vited talks but also has room for the sharing of m emories.
URL:https://www.imsc.res.in/~jam/esik/zoltan.html CONTACT:jam at imsc.res.in END:VEVENT END:VCALENDAR