|
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.
|
|
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.
|
|
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.
|
|
LAST_UPDATED2 |
|
Weiterlesen...
|
|
Talk at Dagstuhl Seminar "Coalgebraic Logic" |
|
Donnerstag, 26. November 2009 um 14:40 |
|
There are no translations available.
|
|
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 !
|
|
LAST_UPDATED2 |
|
Weiterlesen...
|
|
|
|
|
<< Start < Zurück 1 2 3 Weiter > Ende >>
|
|
JPAGE_CURRENT_OF_TOTAL |