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/8659/16- --18-October-2017-24th-International-Symposium-on- Temporal-Representation-and-Reasoning-TIME-2017-Mo ns-Belgium DTSTAMP:20170211T235647 SUMMARY:24th International Symposium on Temporal R epresentation and Reasoning (TIME 2017), Mons, Bel gium DTSTART;VALUE=DATE:20171016 DTEND;VALUE=DATE:20171018 LOCATION:Mons, Belgium DESCRIPTION:TIME 2017 aims to bring together resea rchers interested in reasoning about temporal aspe cts of information in any area of Computer Science . The symposium, currently in its 24th edition, ha s a wide remit and intends to cater to both theore tical aspects and well-founded applications. One o f the key aspects of the symposium is its interdis ciplinarity, with attendees from distinct areas su ch as artificial intelligence, database management , logic and verification, and beyond. The symposiu m will encompass three tracks on temporal represen tation and reasoning in (1) Artificial Intelligenc e, (2) Databases and (3) Logic and Verification. Submissions of high-quality papers describing rese arch results are solicited. Submitted papers shoul d contain original, previously unpublished content , should be written in English, and must not be si multaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, cor rectness, originality, and relevance. X-ALT-DESC;FMTTYPE=text/html:
TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, curr ently in its 24th edition, has a wide remit and in tends to cater to both theoretical aspects and wel l-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with att endees from distinct areas such as artificial inte lligence, database management, logic and verificat ion, and beyond. The symposium will encompass thre e tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.
S ubmissions of high-quality papers describing resea rch results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be sim ultaneously submitted for publication elsewhere. S ubmitted papers will be refereed for quality, corr ectness, originality, and relevance.