Dirk Pattinson

Department of Computing Imperial College London 180 Queen's Gate London SW7 2AZ UK Tel : +44 20 759 48461 Fax : +44 20 758 18024 Mail: dirk at doc.ic.ac.uk URL: http://www.doc.ic.ac.uk/~dirk/ Office:Huxley 421

Events

• Calco Tools 2011, a workshop on the implementation of (co)algebraic tools
• Calco 2011, the 4th Conference on Algebra and Coalgebra in Computer Science
• Tableaux 2011
• FoSSaCS 2011
• Leicester/London Logic Workshop
• Imperial Logic Seminar
• The Wessex Theory Seminar
• CMCS 2010, 10th International Workshop on Coalgebraic Methods in Computer Science
• AiML 2010, Advances in Modal Logic 2010
• CALCO 2009, 3rd Conference on Algebra and Coalgebra in Computer Science
• AiML 2008, Advances in Modal Logic 2008
• CALCO 2007, the 2nd Conference on Algebra and Coalgebra in Computer Science
• FroCoS 2007, 6th International Symposium on Frontiers of Combining Systems

Research Projects

• Coalgebraic Modal Logic: Fixpoints and Nested Modalities
• Coalgebras, Ontologies and Logic