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/2019/newsitem/10868/5-
 --7-August-2019-CUSO-Summer-School-in-Recursion-Th
 eory-Philosophy-Geneva-Switzerland
DTSTAMP:20190509T162758
SUMMARY:CUSO Summer School in Recursion Theory & P
 hilosophy, Geneva, Switzerland
DTSTART;VALUE=DATE:20190805
DTEND;VALUE=DATE:20190807
LOCATION:Geneva, Switzerland
DESCRIPTION:The summer school aims at broadening t
 he logical arsenal of formal philosophers and PhD 
 students in philosophy. The courses will present s
 ome serious post-WWII logic for non-specialists. T
 he event is inspired W. Hart's book "The evolution
  of Logic" and his presentation of what he called 
 the four pillars of mathematical logic to a broad 
 philosophical audience: constructibility, forcing,
  the priority method and Morley's theorem.  The sc
 hool takes place over a period of 3 days August 5-
 7 at the University of Geneva. There will be two 2
 -hours lectures per day, in the morning. There wil
 l be a facultative discussion session on one of th
 e afternoons. The titles of the minicourses are:  
 1) The priority method (Denis Hirschfeldt, Univers
 ity of Chicago)  2) Definable sets and ramified-ty
 pes: a thread through the foundations of mathemati
 cs (Harold Hodes, Cornell University)
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The summer sch
 ool aims at broadening the logical arsenal of form
 al philosophers and PhD students in philosophy. Th
 e courses will present some serious post-WWII logi
 c for non-specialists. The event is inspired W. Ha
 rt's book &quot;The evolution of Logic&quot; and h
 is presentation of what he called the four pillars
  of mathematical logic to a broad philosophical au
 dience: constructibility, forcing, the priority me
 thod and Morley's theorem.</p>\n\n  <p>The school 
 takes place over a period of 3 days August 5-7 at 
 the University of Geneva. There will be two 2-hour
 s lectures per day, in the morning. There will be 
 a facultative discussion session on one of the aft
 ernoons. The titles of the minicourses are:<br>\n 
  1) The priority method (Denis Hirschfeldt, Univer
 sity of Chicago)<br>\n  2) Definable sets and rami
 fied-types: a thread through the foundations of ma
 thematics (Harold Hodes, Cornell University)</p>\n
URL:http://www.recursionandphilosophy.com/
CONTACT:joshua.babic at unige.ch
END:VEVENT
END:VCALENDAR