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/2018/newsitem/9445/28-
 --30-May-2018-37th-Journees-sur-les-Arithmetiques-
 Faibles-JAF-37-Florence-Italy
DTSTAMP:20180208T150837
SUMMARY:37th Journees sur les Arithmetiques Faible
 s (JAF 37), Florence, Italy
DTSTART;VALUE=DATE:20180528
DTEND;VALUE=DATE:20180530
LOCATION:Florence, Italy
DESCRIPTION:The 37th Journees sur les Arithmetique
 s Faible (Days of Weak Arithmetics) will cover tra
 ditional topics of the "Days" such as: Provability
  in weak arithmetics, Definability in weak arithme
 tics, Weak arithmetics and model theory, Decidabil
 ity/undecidability of weak logical theories, and M
 odeling computations in the frameworks of weak ari
 thmetics.  Authors are invited to send an abstract
  not exceeding three pages in electronic submissio
 n in the form of a pdf file.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The 37th 
 Journees sur les Arithmetiques Faible (Days of Wea
 k Arithmetics) will cover traditional topics of th
 e &quot;Days&quot; such as: Provability in weak ar
 ithmetics, Definability in weak arithmetics, Weak 
 arithmetics and model theory, Decidability/undecid
 ability of weak logical theories, and Modeling com
 putations in the frameworks of weak arithmetics.</
 p>\n</div><div>\n  <p>Authors are invited to send 
 an abstract not exceeding three pages in electroni
 c submission in the form of a pdf file.</p>\n</div
 >
URL:http://www.lacl.fr/jaf/issues/generalJAF37.htm
 l
CONTACT:Patrick Cégielski at cegielski at u-pec.fr
END:VEVENT
END:VCALENDAR