• (Enriched) Category Theory
• Coalgebra and Coalgebraic (Modal) Logic
• Generic Trace Theory
• Coalgebraic Automata Theory
• Modal and Intuitionistic Logic
• The Theory of Graph Rewriting
• Quantum Field Theories
• Dependent Type Theory
• Nominal Calculi

Selected Publications

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

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 .

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.