Vortrag zur BCTCS 2010 in Edinburgh
Freitag, 26. März 2010 um 21:25

In diesem Jahr wird die BCTCS-Konferenz an der Universitaet von Edinburgh veranstaltet. Ich werde einen Vortrag zur Semantik Set-basierter Koalgebren mit Verzweigungen beitragen.

Add a comment
LAST_UPDATED2
Weiterlesen...
 
Vortrag am Koalgebratag 2010 in Amsterdam
Mittwoch, 24. Februar 2010 um 09:12

Der Koalgebratag ist ein jaehrliches informelles Treffen zwischen verschiedenen akademischen Institutionen in den Niederlanden. Das Treffen in diesem Jahr findet in Amsterdam statt und wird organisiert von Yde Venema, Vincenzo Ciancia, und Raul Leal.

Zu diesem Treffen stelle ich meine neuere Arbeit zu unendlichen Traces in Koalgebren vor. In dieser Arbeit setze ich das gemeinsame Projekt zu koalgebraischen Trace Logiken mit Alexander Kurz fort, und erweitere eine fruehere Publikation von Bart Jacobs zur unendlichen Trace Semantik nicht-deterministischer Koalgebren.

Add a comment
LAST_UPDATED2
Weiterlesen...
 
Vortrag ueber Topologische Quantenfeldtheorien und Quanteninvarianten von 3-dimensionalen Mannigfaltigkeiten an der Universitaet von Warschau
Sonntag, 14. Februar 2010 um 14:06

Fuer den 27. Feburary wurde ich in die TQFT study group an der Universitaet von Warschau eingeladen, um einen Vortrag ueber Quantenfeldtheorien zu halten. Darin werde ich eine Konstruction einer 3-dimensionalen topologischen Quantenfeldtheorie fuer 3-dimensionale Mannigfaltigkeiten mit eingebetteten Knoten  nach Turaev vorstellen.

Add a comment
LAST_UPDATED2
Weiterlesen...
 
Talk at Dagstuhl Seminar "Coalgebraic Logic"
Donnerstag, 26. November 2009 um 14:40
There are no translations available.

From 06 to 09 December 2009 there will be a workshop on coalgebraic logic at Schloss Dagstuhl. The event is organised by Alexander Kurz and Ernst-Erich Doberkat. At the workshop I will give a talk on my work with Alexander on finite trace semantics and finite trace logics of coalgebras with branching type given by a monad.
Add a comment
LAST_UPDATED2
Weiterlesen...
 
Vortrag ueber das Komplementierungslemma fuer Koalgebra Automaten an der CALCO 2009
Sonntag, 27. September 2009 um 09:53

Am 7. September 2009 habe ich meinen Vortrag ueber das Komplementierungslemma fuer Koalgebraautomaten im Rahmen der CALCO Konferenz 2009 in Udine gehalten. Das Papier kann heruntergeladen werden, genauso wie die Folien. Ich wuerde mich ueber Kritik, Vorschlaege, und Fragen freuen : email(at)christiankissig.de !

Add a comment
LAST_UPDATED2
Weiterlesen...
 
<< Start < Zurück 1 2 3 Weiter > Ende >>

JPAGE_CURRENT_OF_TOTAL