Workshop on Admissible Rules and Unification III

May 11 — 12, 2019
Prague

More

Admissible rules of a logical system are rules that can be added to the system without changing its set of theorems. In algebra, admissible rules correspond to quasi-equations holding in free algebras, while from a computer science perspective, admissibility is intimately related to equational unification. The aim of this workshop is to bring together experts from these distinct areas of research spanning mathematics, philosophy, and computer science, to share ideas and methods. Previous editions of the workshop were held in Utrecht (2011), and in Les Diablerets (2015). Everybody is welcome to attend the workshop. Giving a talk and attending the conference dinner is by invitation only.
To contact the organization, please send an email to waru2019prague@gmail.com


Important Dates

NEW!! Extended deadline: 17th March 2019
Workshop: Prague, 11 - 12 May 2019
Welcome party: 10th May 2019 at the venue of the workshop
Social dinner: 11th May 2019

Registration

TBA

Venue

The meeting will be held at the Institute of Philosophy of the Czech Academy of Sciences, located in Jilská 1, Praha 1 – Staré Město, in the very center of Prague's old town.



Organization

The meeting is co-organized by the Institute of Philosophy, and the Institute of Computer Science
of the Czech Academy of Sciences.

Programme Committee

Petr Cintula, Rosalie Iemhoff, George Metcalfe, Tommaso Moraschini (Chair)

Organizing Committee

Tommaso Moraschini (Chair), Vítek Punčochář, Amanda Vidal