• (Angereicherte) Kategorientheorie
• Koalgebra und koalgebraische Logiken
• Koalgebraische Automatentheorie
• Theoretische Physik

Aktuelle Arbeiten

• C Kissig, Y Venema, "Complementation of Coalgebra Automata", CALCO 2009
• C Kissig, "Decidability of S2S" (Master of Logic Dissertation), 2007, ILLC MoL Series,
  [PDF] [Abstract, TXT]

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 .

Trace theory is concerned with assigning transition systems a semantics in trace monoids. Informally, trace monoids are word monoids generated from an independence relation, analogous to parallelism in concurrency. Generic trace theory seeks to extends trace theory to arbitrary transition systems, that formally are Set-based coalgebras.