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/2014/newsitem/5681/16-
 18-June-2014-Journées-sur-les-Arithmétiques-Faible
 s-33-JAF33-University-of-Gothenburg-Sweden
DTSTAMP:20140519T000000
SUMMARY:Journées sur les Arithmétiques Faibles 33 
 (JAF33), University of Gothenburg, Sweden
DTSTART;VALUE=DATE:20140616
DTEND;VALUE=DATE:20140618
LOCATION:University of Gothenburg, Sweden
DESCRIPTION:The 33rd meeting of JAF (Journées sur 
 les Arithmétiques Faibles) will be held in Gothenb
 urg, Sweden during 16-18 of June 2014. The meeting
  will feature invited talks, a tutorial on feasibl
 e analysis, and a number of contributed talks. Pos
 sible topics include:  Provability and Definabilit
 y in Arithmetics  Model Theory and Arithmetics  (U
 n)decidability of Arithmetics  Modelling computati
 ons on Logical Theories  Abstracts of contributed 
 talks, in PDF format, not exceeding one A4 (11pt) 
 page, should be submitted by May 1, 2014 to: ali.e
 nayat at gu.se  For more information, see http://f
 lov.gu.se/english/research/logic/jaf33 or contact 
 rasmus.blanck at gu.se.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>The 33rd
  meeting of JAF (Journ&eacute;es sur les Arithm&ea
 cute;tiques Faibles) will be held in Gothenburg, S
 weden during 16-18 of June 2014. The meeting will 
 feature invited talks, a tutorial on feasible anal
 ysis, and a number of contributed talks. Possible 
 topics include:</p>\n        <p>Provability and De
 finability in Arithmetics<br/>\n        Model Theo
 ry and Arithmetics<br/>\n        (Un)decidability 
 of Arithmetics<br/>\n        Modelling computation
 s on Logical Theories</p>\n        <p>Abstracts of
  contributed talks, in PDF format, not exceeding o
 ne A4 (11pt) page, should be submitted by May 1, 2
 014 to: <a class="email">ali.enayat <span class="a
 t">at</span> gu.se</a></p>\n    \n        For more
  information, see <a target="_blank" href="http://
 flov.gu.se/english/research/logic/jaf33">http://fl
 ov.gu.se/english/research/logic/jaf33</a>  or cont
 act <a class="email">rasmus.blanck <span class="at
 ">at</span> gu.se</a>.\n    
URL:/NewsandEvents/Archives/2014/newsitem/5681/16-
 18-June-2014-Journées-sur-les-Arithmétiques-Faible
 s-33-JAF33-University-of-Gothenburg-Sweden
END:VEVENT
END:VCALENDAR
