|
Sunday, 21 September 2008 14:32 |
|
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 Updated on Friday, 26 September 2008 12:09 |
|
|
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...
|
|
Saturday, 18 December 2010 16:32 |
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 Updated on Monday, 10 January 2011 21:47 |
|
|
Friday, 01 October 2010 11:46 |
|
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 Updated on Tuesday, 05 October 2010 19:12 |
|
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...
|
|
|
|
|
<< Start < Prev 1 2 3 4 Next > End >>
|
|
Page 1 of 4 |
