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/2011/newsitem/3937/26-
 28-May-2011-Workshop-on-Admissible-Rules-and-Unifi
 cation-Utrecht-The-Netherlands
DTSTAMP:20110515T000000
SUMMARY:Workshop on Admissible Rules and Unificati
 on, Utrecht, The Netherlands
DTSTART;VALUE=DATE:20110526
DTEND;VALUE=DATE:20110528
LOCATION:Utrecht, The Netherlands
DESCRIPTION:Admissible rules of a logical system a
 re rules that can be added to the system without c
 hanging its set of theorems. In algebra, admissibl
 e rules correspond to quasi-equations holding in f
 ree algebras, while from a computer science perspe
 ctive, admissibility is intimately related to equa
 tional unification.    The aim of this workshop is
  to bring together experts from these distinct are
 as of research spanning mathematics, philosophy, a
 nd computer science, to share ideas and methods.  
  For more information, see http://www.phil.uu.nl/~
 iemhoff/Conferenties/Waru/waru.html.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Admissible
  rules of a logical system are rules that can be a
 dded to the system\nwithout changing its set of th
 eorems. In algebra, admissible rules correspond\nt
 o quasi-equations holding in free algebras, while 
 from a computer science\nperspective, admissibilit
 y is intimately related to equational unification.
 \n      </p>\n      <p>\nThe aim of this workshop 
 is to bring together experts from these distinct\n
 areas of research spanning mathematics, philosophy
 , and computer science,\nto share ideas and method
 s.\n      </p>\n    \n      <p>For more informatio
 n, see\n       <a target="_blank" href="http://www
 .phil.uu.nl/~iemhoff/Conferenties/Waru/waru.html">
 http://www.phil.uu.nl/~iemhoff/Conferenties/Waru/w
 aru.html</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/3937/26-
 28-May-2011-Workshop-on-Admissible-Rules-and-Unifi
 cation-Utrecht-The-Netherlands
END:VEVENT
END:VCALENDAR