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/9418/2-M
 ay---24-August-2018-Visiting-Positions-for-Hausdor
 ff-Trimester-Programme-Types-Sets-Constructions-
DTSTAMP:20171026T142452
SUMMARY:Visiting Positions for Hausdorff Trimester
  Programme 'Types, Sets, & Constructions'
DTSTART;VALUE=DATE:20180502
DTEND;VALUE=DATE:20180824
LOCATION:Bonn, Germany
DESCRIPTION:The aim of the Hausdorff Trimester is 
 to create a forum for research on and disseminatio
 n of exciting recent developments in type theory, 
 which are of central importance to modern foundati
 ons of mathematics. The program will include a Spr
 ing School, and three major workshops. The Hausdor
 ff Research Institute offers visiting positions fo
 r the whole period of the trimester program (for s
 enior scientists, postdocs and PhD students). In a
 ddition numerous fellowships for shorter periods a
 re available.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The aim of the
  Hausdorff Trimester is to create a forum for rese
 arch on and dissemination of exciting recent devel
 opments in type theory, which are of central impor
 tance to modern foundations of mathematics. The pr
 ogram will include a Spring School, and three majo
 r workshops. The Hausdorff Research Institute offe
 rs visiting positions for the whole period of the 
 trimester program (for senior scientists, postdocs
  and PhD students). In addition numerous fellowshi
 ps for shorter periods are available.</p>\n
URL:http://www.him.uni-bonn.de/types-sets-construc
 tions/
END:VEVENT
END:VCALENDAR
