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

News

• One postdoc and one PhD position available within the Cool project.

Events

• 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