Deon'06 homepage - http://www.cs.uu.nl/deon2006/
This site gives all relevant information concerning the 2006 workshop on deontic logic in computer science. |
Logic and Algorithms - http://www.newton.ac.uk/programmes/LAA/
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006. |