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/8557/5--
 -7-June-2017-36th-meeting-of-JAF-Journées-sur-les-
 Arithmétiques-Faibles-St-Petersburg-Russia
DTSTAMP:20170428T144724
SUMMARY:36th meeting of JAF (Journées sur les Arit
 hmétiques Faibles), St. Petersburg, Russia
DTSTART;VALUE=DATE:20170605
DTEND;VALUE=DATE:20170607
LOCATION:St. Petersburg, Russia
DESCRIPTION:Scope: Provability and definability in
  arithmetics, model theory and arithmetics, (un)de
 cidability of arithmetics, modelling computations 
 on logical theories.  This meeting is dedicated to
  Yuri Matiyasevich on the occasion of his 70th bir
 thday, and one conference day will be dedicated to
  topics related to the research interests of Yuri 
 Matiyasevich (Hilbet's Tenth Problem and its gener
 alizations, undecidability).  If you want to prese
 nt a talk, please send us the title and a short (n
 ot longer than one page) abstract. Abstracts of co
 ntributed talks, in PDF and LaTeX format, not exce
 eding one A4 (11pt) page, should be submitted by M
 ay 1, 2017.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Scope: Pr
 ovability and definability in arithmetics, model t
 heory and arithmetics, (un)decidability of arithme
 tics, modelling computations on logical theories.<
 /p>\n\n  <p>This meeting is dedicated to Yuri Mati
 yasevich on the occasion of his 70th birthday, and
  one conference day will be dedicated to topics re
 lated to the research interests of Yuri Matiyasevi
 ch (Hilbet's Tenth Problem and its generalizations
 , undecidability).</p>\n</div><div>\n  <p>If you w
 ant to present a talk, please send us the title an
 d a short (not longer than one page) abstract. Abs
 tracts of contributed talks, in PDF and LaTeX form
 at, not exceeding one A4 (11pt) page, should be su
 bmitted by May 1, 2017.</p>\n</div>
URL:http://www.pdmi.ras.ru/EIMI/PDMI/JAF/index.htm
 l
CONTACT:zaleska at pdmi.ras.ru
END:VEVENT
END:VCALENDAR