BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230530
DTEND;VALUE=DATE:20230603
DTSTAMP:20230524T094422Z
CREATED:20230411T120701Z
LAST-MODIFIED:20230524T094422Z
UID:18539-1685404800-1685750399@www.loria.fr
SUMMARY:ABZ 2023
DESCRIPTION:ABZ 2023 (9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS) will take place at Loria from Tuesday\, 30th May to Friday\, 2nd June. \nThe ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods\, like Abstract State Machines (ASM)\, Alloy\, B\, TLA\, VDM and Z\, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods. \nProgram available at this address
URL:https://www.loria.fr/event/abz-2023/
LOCATION:Loria
CATEGORIES:Conférence
END:VEVENT
END:VCALENDAR