|
This is a work-in-progress list of the presentations I gave, in chronological order. If I have prepared slides, you likely find them here.
Note that most of these talks are workshop or seminar contributions, and then quite conceptual. Should you have spotted a mistake, have an opinion or question about any of these talks, or would like me to visit your institute to present on my research, please let me know: email(at)christiankissig.de .
2010
- 04.2010, Semantics and Logics for Coalgebras, BCTCS 2010, University of Edinburgh, UK
- 03.03.2010, Infinite Traces through Coalgebras, Coalgebra Day, University of Amsterdam, NL [Slides]
- 27.02.2010, TQFTs and Invariants of 3-Manifold, invited at QFT Study Group, University of Warsaw, PL [Website]
2009
- 08.12.2009, Generic Trace Logics, invited at Dagstuhl Seminar "Coalgebraic Logics", Schloss Dagstuhl,DE [Slides]
- 07.09.2009, Complementation of Coalgebra Automata, CALCO, University of Udine, IT [Slides] [Video]
- 28.05.2009, Trace Logics for Semiring Monads, invited at Coalgebra Workshop, University of Leicester, UK [Slides]
- 19.02.2009, Complementation of Coalgebra Automata, invited at Internal Seminar, University of Leicester, UK [Slides]
2008
- 12.11.2008, Morita Duality and Logics for Coalgebras, invited at AC Seminar, University of Amsterdam, NL
- 15.01.2008, Logics for Traces, invited at IFIP WG 1.3, Sierra Nevada, ES [Slides]
2007
- 17.12.2007, Logics for Traces, invited at Coalgebra Workshop, University of Leicester, UK
- 29.08.2007, Decidability of S2S, MoL Defense, University of Amsterdam, NL
|
