|
Sunday, 21 September 2008 14:32 |
|
There are no translations available.
As of today I am running my website on Joomla to reduce administrative tasks for the benefit of editing. I have ported most of the content, except for the non-English translations. I wrote the template from scratch. Likely it will take more time for it to grow out of the development state. Suggestions and comments are much appreciated!
|
|
LAST_UPDATED2 |
|
|
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...
|
|
Saturday, 18 December 2010 16:32 |
|
There are no translations available.
Christian Kissig is a contractor to Microsoft at the Search Technology Center of Bing in London, and a PhD student in writing-up phase at the University of Leicester. On these pages, you can find personal details, information about his work, and otherwise opinions.
Mobile(UK): +44 (0)77 96 485 049
Email: email(at)christiankissig.de
|
|
LAST_UPDATED2 |
|
|
Friday, 01 October 2010 11:46 |
|
There are no translations available.
I am pleased to tell you, that I will join Microsoft as a Software Development Engineer in their Search Technology Center in London on 18th October. This will mean, I have to vacate my teaching position at Leicester, and transfer into writing up. My plans of completing the PhD degree should not be affected, though.
|
|
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...
|
|
|
|
|
<< Start < Prev 1 2 3 4 Next > End >>
|
|
JPAGE_CURRENT_OF_TOTAL |
