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
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.
URL:http://www.him.uni-bonn.de/types-sets-construc tions/ END:VEVENT END:VCALENDAR