Dirk Pattinson

The Australian National University
Research School of Computer Science
Logic and Computation Group

RSISE Buliding 115
The Australian National University
Canberra ACT 0200
Australia

E dirk.pattinson@anu.edu.au
T +61 (0)2 6125 8612
F +61 (0)2 6125 8651

Here is a list of recent talks, together with slides in pdf format if they are available.

• Program Equivalence is Coinductive, LICS 2016, New York, July 2016 [.pdf]
• Sun, Surf and Bisimulation Quantifiers, 16th Wessex Theory Seminar, Imperial College London, August 2012. [.pdf] (the talk was actually given on the whiteboard)
• 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]