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:
The 37th Journees sur les Arithmetiques Faible (Days of Wea k Arithmetics) will cover traditional topics of th e "Days" 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>
Authors are invited to send an abstract not exceeding three pages in electronic submission in the form of a pdf file.