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
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
\n\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
\n \nFor more informatio n, see\n http://www.phil.uu.nl/~iemhoff/Conferenties/Waru/w aru.html.\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