Research group for Logic, information and interaction

The 11th International Conference on Deontic Logic in Computer Science (DEON 2012) will take place at the University of Bergen, 16-18 July 2012.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic Deontic Logic and Social Choice.