Dirk Pattinson: Recent Talks

• How to Cover without Lifting Relations, TbiLLC 2011, Kutaisi, Georgia [.pdf]
• Description Logic and Fuzzy Probability, IJCAI 2011, Barcelona, Spain [.pdf]
• Semantics and Proof Theory of Conditional Logics, Departmental Seminar, LMU Munich, November 2010 [.pdf]
• Global Caching for Coalgebraic Desctiption Logics, IJCAR 2010, Edinburgh, UK [.pdf]
• Coalgebras and Modal Logic: An Overview, CMCS 2010, Paphos, Cyrpus [.pdf]
• Coinduction in Computational Proof Theory: Modal Logics, 4th Wessex Theory Seminar, Swansea, UK, October 2009 [.ps]
• Recent Developments in and around Coalgebraic Logics, Departmental Seminar, University of Christchurch, NZ, September 2009 [.ps]
• The Art of Saying "No": Hot to (politely) eat your way through infinite meals, Meeting of the IFIP WG 1.3, Udine, Italy, Sept 2009 [.pdf]
• Generic Cut Elimination Applied to Conditional Logics, Tableaux 2009, Oslo, Norway, July 2009 [.pdf]
• The Coalgebraic μ-Calculus, Workshop on Gentzen Systems and Beyond, Oslo, Norway, July 2009 [.pdf]
• Coalgebraic Logics via Categorical Duality, Invited Talk, Category Theory 2009, Cape Town, SA, June 2009 [.pdf]
• The Art of Saying "No": how to politely eat your way through infinite meals, Invited Talk, CCC 2009, Cologne, Germany, June 2009 [.pdf]
• Data Types for Differential Equations, Invited Talk, MFPS 2009, Oxford, UK, April 2009 [.pdf]
• Coalgebraic Fixpoint Logics, OASIS Seminar, Oxford, UK, May 2009 [.pdf]
• Recent Developments in and around Coalgebraic Logics, PCV Seminar, Swansea University, UK, March 2009 [.pdf]
• Modal Logics are Coalgebraic, BCS Conference on Visions in Computer Science, London, September 2008 [.pdf]