BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/3937/26-28-May-2011-Workshop-on-Admissible-Rules-
and-Unification-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 \n For more informatio
n, see\n
http://www.phil.uu.nl/~iemhoff/Conferenties/Waru/w
aru.html.\n

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/3937/26-28-May-2011-Workshop-on-Admissible-Rules-
and-Unification-Utrecht-The-Netherlands
END:VEVENT
END:VCALENDAR