BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20170326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20171029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20181028T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181019T140000
DTEND;TZID=Europe/Paris:20181019T153000
DTSTAMP:20181009T141122Z
CREATED:20181009T141122Z
LAST-MODIFIED:20181009T141122Z
UID:6096-1539957600-1539963000@www.loria.fr
SUMMARY:Formal Methods Seminar : Fabian Reiter
DESCRIPTION:Next Formal Methods Seminar will take place on Friday\, October 19th at 2pm in room B013. \nFabian Reiter (LSV\, Cachan) will give a presentation entitled « Descriptive distributed complexity » \nAbstract: This talk connects two classical areas of theoretical computer science: descriptive complexity and distributed computing. The former is a branch of computational complexity theory that characterizes complexity classes in terms of equivalent logical formalisms. The latter studies algorithms that run in networks of interconnected processors. \nAlthough an active field of research since the late 1970s\, distributed computing is still lacking the analogue of a complexity theory. One reason for this may be the large number of distinct models of distributed computation\, which make it rather difficult to develop a unified formal framework. In my talk\, I will outline how the descriptive approach\, i.e.\, connections to logic\, could be helpful in this regard.
URL:https://www.loria.fr/event/formal-methods-seminar-fabian-reiter/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR