|
Talk at BCTCS 2010 in Edinburgh |
|
Friday, 26 March 2010 21:25 |
|
There are no translations available.
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_UPDATED2 |
|
Read more...
|
|
|
Talk at the Coalgebra Day 2010 in Amsterdam |
|
Wednesday, 24 February 2010 09:12 |
|
There are no translations available.
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_UPDATED2 |
|
Read more...
|
|
Talk on TQFTs and Quantum Invariants of 3-Manifolds at Warsaw |
|
Sunday, 14 February 2010 14:06 |
|
There are no translations available.
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_UPDATED2 |
|
Read more...
|
|
Talk at Dagstuhl Seminar "Coalgebraic Logic" |
|
Thursday, 26 November 2009 14:40 |
|
There are no translations available.
|
|
LAST_UPDATED2 |
|
Read more...
|
|
Talk on the Complementation of Coalgebra Automata at CALCO 2009 |
|
Sunday, 27 September 2009 09:53 |
|
There are no translations available.
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_UPDATED2 |
|
Read more...
|
|
|
|
|
<< Start < Prev 1 2 3 Next > End >>
|
|
JPAGE_CURRENT_OF_TOTAL |