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/2015/newsitem/6898/28-
 May-2015-Theories-and-Rules-Kanunnikenzaal-Utrecht
 -University-Faculty-Club-Achter-de-Dom-7a-Utrecht
DTSTAMP:20150521T000000
SUMMARY:Theories and Rules, Kanunnikenzaal, Utrech
 t University Faculty Club, Achter de Dom 7a, Utrec
 ht
DTSTART;VALUE=DATE:20150528
DTEND;VALUE=DATE:20150528
LOCATION:Kanunnikenzaal, Utrecht University Facult
 y Club, Achter de Dom 7a, Utrecht
DESCRIPTION:On May 29th, Jeroen Goudsmit will defe
 nd his dissertation "Intuitionistic Rules", writte
 n under the supervision of Albert Visser and Rosal
 ie Iemhoff in the project "The Power of Constructi
 ve Proofs". This conference is held on the occasio
 n of said defense. The members of the doctoral exa
 mination committee will give talks on their areas 
 of expertise, and the conference ends with a talk 
 by Jeroen on his thesis, in which he studies the a
 dmissible rules of intermediate logics.  Speakers:
  Dick de Jongh, George Metcalfe, Nick Bezhanishvil
 i, Silvio Ghilardi, Albert Visser, Rosalie Iemhoff
 , and Jeroen Goudsmit.  For more information, see 
 http://jeroengoudsmit.com/theories-and-rules/
X-ALT-DESC;FMTTYPE=text/html:\n        <p>On May 2
 9th, Jeroen Goudsmit will defend his dissertation 
 &quot;Intuitionistic Rules&quot;,  written under t
 he supervision of Albert Visser and Rosalie Iemhof
 f in the project &quot;The Power of Constructive P
 roofs&quot;. This conference is held on the occasi
 on of said defense. The members of the doctoral ex
 amination committee will give talks on their areas
  of expertise, and the conference ends with a talk
  by Jeroen on his thesis, in which he studies the 
 admissible rules of intermediate logics.</p>\n    
     <p>Speakers: Dick de Jongh, George Metcalfe, N
 ick Bezhanishvili, Silvio Ghilardi, Albert Visser,
  Rosalie Iemhoff, and Jeroen Goudsmit.</p>\n    \n
         <p>For more information, see <a target="_b
 lank" href="http://jeroengoudsmit.com/theories-and
 -rules/">http://jeroengoudsmit.com/theories-and-ru
 les/</a></p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/6898/28-
 May-2015-Theories-and-Rules-Kanunnikenzaal-Utrecht
 -University-Faculty-Club-Achter-de-Dom-7a-Utrecht
END:VEVENT
END:VCALENDAR