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
]
Dirk Pattinson
Monday, 10-Oct-2011 09:23:28 BST [
check HTML
] [
check CSS
]