|

Christian Kissig is PhD Student and Teaching Assistant in Computer Science at the University of Leicester.On these pages you can find personal information, contact details, references to my work, and some thoughts. Department of Computer Science University of Leicester University Road Leicester LE1 7RH, UK | Mobile(UK): +44 (0)77 96 485 049 Email: email(at)christiankissig.de |
|
|
|
Talk at BCTCS 2010 in Edinburgh |
|
Friday, 26 March 2010 21:25 |
|
This years BCTCS meeting will be held at the University of Edinburgh. I contribute a talk on the semantics of Set-based coalgebras with branching structure.
|
|
Last Updated on Friday, 11 June 2010 06:42 |
|
Read more...
|
|
Talk at the Coalgebra Day 2010 in Amsterdam |
|
Wednesday, 24 February 2010 09:12 |
|
The Coalgebra Day is an annual informal meeting of researchers in coalgebra between academic institutions in the Netherlands. This years meeting is held in Amsterdam and organised by Yde Venema, Vincenzo Ciancia, and Raul Leal.
At this meeting I will give a talk on my recent work on infinite trace semantics of coaglebras with branching and transition type. The work extends my previous work with Alexander Kurz on generic trace logics and generalises previous work of Bart Jacobs on trace semantics of coalgebras.
|
|
Last Updated on Wednesday, 24 February 2010 12:13 |
|
Read more...
|
|
Talk on TQFTs and Quantum Invariants of 3-Manifolds at Warsaw |
|
Sunday, 14 February 2010 14:06 |
|
On 27th February I will give an invited seminar in the TQFT study group at the University of Warsaw, in which I will discuss a construction of a 3-dimensional topological quantum field theory (3D-TQFT) in terms of modular functors, from which we obtain a theory of quantum invariants of 3-manifolds with embedded banded links.
|
|
Last Updated on Tuesday, 23 February 2010 09:26 |
|
Read more...
|
|
Talk at Dagstuhl Seminar "Coalgebraic Logic" |
|
Thursday, 26 November 2009 14:40 |
|
|
|
Last Updated on Thursday, 26 November 2009 14:48 |
|
Read more...
|
|
Talk on the Complementation of Coalgebra Automata at CALCO 2009 |
|
Sunday, 27 September 2009 09:53 |
|
On 07 September 2009 I have delivered a talk at CALCO on my work with Yde Venema on the complementation of coalgebra automata from my visit last year. Our paper is available, as well as the slides. I would like to hear your opinion, questions, and comments : email(at)christiankissig.de !
|
|
Last Updated on Sunday, 27 September 2009 10:16 |
|
Read more...
|
|
|
|
|
<< Start < Prev 1 2 3 Next > End >>
|
|
Page 1 of 3 |