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/10072/3-
 --7-September-2018-Summer-School-100-Years-of-Mode
 l-Theory-Jena-Germany
DTSTAMP:20180625T143730
SUMMARY:Summer School: 100 Years of Model Theory, 
 Jena, Germany
DTSTART;VALUE=DATE:20180903
DTEND;VALUE=DATE:20180907
LOCATION:Jena, Germany
DESCRIPTION:The Loewenheim-Skolem theorem was prov
 en about 100 years ago. It is not only the first t
 heorem of model theory, but also the first theorem
  of metalogic. In the summer school we will read t
 he fundamental results from Loewenheim and Skolem,
  as well as works from Goedel and Herbrand, that b
 uild on the latter. We will discuss their relation
 s and their impact from both a formal logical and 
 philosophical point of view.  The school is aimed 
 at Master and PhD students of Computer Science, Ma
 thematics, Philosophy and related fields with some
  knowledge in formal logic. The lecturers at the s
 chool include Timothy Bays (University of Notre Da
 me) and Juliette Kennedy (University of Helsinki).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Loewenheim
 -Skolem theorem was proven about 100 years ago. It
  is not only the first theorem of model theory, bu
 t also the first theorem of metalogic. In the summ
 er school we will read the fundamental results fro
 m Loewenheim and Skolem, as well as works from Goe
 del and Herbrand, that build on the latter. We wil
 l discuss their relations and their impact from bo
 th a formal logical and philosophical point of vie
 w.</p>\n\n  <p>The school is aimed at Master and P
 hD students of Computer Science, Mathematics, Phil
 osophy and related fields with some knowledge in f
 ormal logic. The lecturers at the school include T
 imothy Bays (University of Notre Dame) and Juliett
 e Kennedy (University of Helsinki).</p>\n
URL:http://www.mt100.uni-jena.de/en/
CONTACT:mt100 at uni-jena.de
END:VEVENT
END:VCALENDAR