|
Dies ist eine unvollstaendige Liste meiner Vortraege in chronologischer Reihenfolge. Falls ich Folien ausgearbeitet habe, sind diese hier zu finden.
Die meisten sind Beitraege zu Konferenzen, Workshops oder Seminar. Besonders im letzten Fall sind die Votraege konzeptionell. Falls sich Fehler eingeschlichen haben, oder Sie einen Kommentar zu meiner Arbeit haben, wuerde ich mich ueber eine Email freuen: email(at)christiankissig.de .
2010
- 04.2010, Semantics and Logics for Coalgebras, BCTCS 2010, Universitaet Edinburgh, UK
- 03.03.2010, Infinite Traces through Coalgebras, Coalgebra Day, Universitaet Amsterdam, NL [Slides]
- 27.02.2010, TQFTs and Invariants of 3-Manifold, QFT Study Group, Universitaet Warschau, PL [Website]
2009
- 08.12.2009, Generic Trace Logics, Dagstuhl Seminar "Coalgebraic Logics", Schloss Dagstuhl, DE [Slides]
- 07.09.2009, Complementation of Coalgebra Automata, CALCO, Universitaet Udine, IT [Slides] [Video]
- 28.05.2009, Trace Logics for Semiring Monads, Coalgebra Workshop, Universitaet Leicester, UK [Slides]
- 19.02.2009, Complementation of Coalgebra Automata, Internal Seminar, Universitaet Leicester, UK [Slides]
2008
- 12.11.2008, Morita Duality and Logics for Coalgebras, AC Seminar, Universitaet Amsterdam, NL
- 15.01.2008, Logics for Traces, IFIP WG 1.3, Sierra Nevada, ES [Slides]
2007
- 17.12.2007, Logics for Traces, Coalgebra Workshop, Universitaet Leicester, UK
- 29.08.2007, Decidability of S2S, Master Verteidigung, Universitaet Amsterdam, NL
|
