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/9204/9--
 -11-October-2017-4th-Symposium-on-the-Foundations-
 of-Mathematics-SotFoM-4-Reverse-Mathematics-Munich
 -Germany
DTSTAMP:20170717T150310
SUMMARY:4th Symposium on the Foundations of Mathem
 atics (SotFoM-4): Reverse Mathematics, Munich, Ger
 many
DTSTART;VALUE=DATE:20171009
DTEND;VALUE=DATE:20171011
LOCATION:Munich, Germany
DESCRIPTION:Reverse mathematics is concerned with 
 examining exactly which axioms are necessary for v
 arious central mathematical theorems and results. 
 The program is a relatively new one in the foundat
 ions of mathematics. It turns out that most theore
 ms are equivalent to one of five subsystems of sec
 ond order arithmetic. The main objective of the co
 nference is to explore the philosophical significa
 nce of reverse mathematics as a research program i
 n the foundations of mathematics.  Speakers: Maria
 nna Antonutti Marfori (Munich Center for Mathemati
 cal Philosophy, LMU Munich), Walter Dean (Universi
 ty of Warwick) (TBC), Benedict Eastaugh (Universit
 y of Bristol), Marcia Groszek (Dartmouth College),
  Takako Nemoto (Japan Advanced Institute of Scienc
 e and Technology), Stephen G. Simpson (Pennsylvani
 a State University and Vanderbilt University).    
  We invite the submission of abstracts, suitable f
 or a 40 minute talk, on topics related to any aspe
 cts of reverse mathematics. We encourage submissio
 ns from early career researchers and PhD students.
  Please send an abstract of around 1000-1500 words
  by email to sotfom at gmail.com in PDF format. Ab
 stracts should be prepared for blind review. The a
 uthor?s name, paper title, institutional affiliati
 on, and contact details should be included in the 
 body of the email.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Reverse m
 athematics is concerned with examining exactly whi
 ch axioms are necessary for various central mathem
 atical theorems and results. The program is a rela
 tively new one in the foundations of mathematics. 
 It turns out that most theorems are equivalent to 
 one of five subsystems of second order arithmetic.
  The main objective of the conference is to explor
 e the philosophical significance of reverse mathem
 atics as a research program in the foundations of 
 mathematics.</p>\n\n  <p>Speakers: Marianna Antonu
 tti Marfori (Munich Center for Mathematical Philos
 ophy, LMU Munich), Walter Dean (University of Warw
 ick) (TBC), Benedict Eastaugh (University of Brist
 ol), Marcia Groszek (Dartmouth College), Takako Ne
 moto (Japan Advanced Institute of Science and Tech
 nology), Stephen G. Simpson (Pennsylvania State Un
 iversity and Vanderbilt University).</p>\n\n  <p>&
 nbsp;</p>\n</div><div>\n  <p>We invite the submiss
 ion of abstracts, suitable for a 40 minute talk, o
 n topics related to any aspects of reverse mathema
 tics. We encourage submissions from early career r
 esearchers and PhD students. Please send an abstra
 ct of around 1000-1500 words by email to <a class=
 "email" href="#">sotfom<span class="at">&nbsp;at&n
 bsp;</span>gmail.com</a> in PDF format. Abstracts 
 should be prepared for blind review. The author?s 
 name, paper title, institutional affiliation, and 
 contact details should be included in the body of 
 the email.</p>\n</div>
URL:http://sotfom.wordpress.com
CONTACT:sotfom at gmail.com
END:VEVENT
END:VCALENDAR