BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.3.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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240701
DTEND;VALUE=DATE:20240707
DTSTAMP:20240422T084046Z
CREATED:20240422T084046Z
LAST-MODIFIED:20240422T084046Z
UID:26050-1719792000-1720310399@www.loria.fr
SUMMARY:IJCAR 2024 : International Joint Conference on Automated Reasoning
DESCRIPTION:IJCAR 2024 will be organized in Nancy\, France by the Inria research center at University of Lorraine as an in-person conference. It will take place at IDMC from July 1 to July 6\, 2024. \nImportant Dates \n\nAbstract submission: January 29\, 2024\nPaper submission: February 5\, 2024 (AoE)\nRebuttal: March 10-12\, 2024\nNotification: March 28\, 2024\nCamera-ready version: April 28\, 2024\nCo-located events: July 1-2\, 2024\nConference\, including CASC: July 3-6\, 2024\n\n  \nThe CADE ATP System Competition CASC and the Termination Competition will take place during IJCAR. This year we are planning a special session to celebrate 30 years of CASC. \nThe 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024. \n\nEvent website
URL:https://www.loria.fr/event/ijcar-2024-international-joint-conference-on-automated-reasoning/
LOCATION:IDMC\, 13 Rue Michel Ney\, Nancy\, France
CATEGORIES:Conférence
END:VEVENT
END:VCALENDAR