EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

urbat [2018/08/10 16:40]
urbat
urbat [2018/08/10 16:47] (current)
urbat
Line 31: Line 31:
 ==== Scientific Talks ==== ==== Scientific Talks ====
   - // Eilenberg theorems for free.// HIGHLIGHTS 2018, Berlin, Germany, September 2018   - // Eilenberg theorems for free.// HIGHLIGHTS 2018, Berlin, Germany, September 2018
-  - // Finite behaviours and finitary corecursion.// Algebra and Coalgebra in Computer Science (CALCO2017, Ljubljana, Slovenia, June 2017+  - // Finite behaviours and finitary corecursion.// CALCO 2017, Ljubljana, Slovenia, June 2017
   - // Eilenberg-Reiterman theory for a monad.// Logic Colloquium 2016, Leeds, England, August 2016   - // Eilenberg-Reiterman theory for a monad.// Logic Colloquium 2016, Leeds, England, August 2016
-  - // Schützenberger products in a category.// Developments in Language Theory (DLT2016, Montreal, Canada, July 2016 +  - // Schützenberger products in a category.// DLT 2016, Montreal, Canada, July 2016 
-  - // Algebraic language theory = monads + duality.// Coalgebraic Methods in Computer Science (CMCS2016, Eindhoven, Netherlands, April 2016+  - // Algebraic language theory = monads + duality.// CMCS 2016, Eindhoven, Netherlands, April 2016
   - // Algebraic language theory = monads + duality.// PSSL 99, Braunschweig, Germany, March 2016   - // Algebraic language theory = monads + duality.// PSSL 99, Braunschweig, Germany, March 2016
-  - // Varieties of languages in a category.// Logic in Computer Science (LICS2015, Kyoto, Japan, July 2015 +  - // Varieties of languages in a category.// LICS 2015, Kyoto, Japan, July 2015 
-  - // Syntactic monoids in a category.// Algebra and Coalgebra in Computer Science (CALCO2015, Nijmegen, Netherlands, June 2015 +  - // Syntactic monoids in a category.// CALCO 2015, Nijmegen, Netherlands, June 2015 
-  - //On continuous nondeterminism and state minimality.// Mathematical Foundations of Programming Semantics (MFPS2014, Ithaca, United States, June 2014 +  - //On continuous nondeterminism and state minimality.// MFPS 2014, Ithaca, United States, June 2014 
-  - // Canonical nondeterministic automata.// Coalgebraic Methods in Computer Science (CMCS2014, Grenoble, France, April 2014 +  - // Canonical nondeterministic automata.// CMCS 2014, Grenoble, France, April 2014 
-  - // A characterisation of NL/poly via nondeterministic finite automata.// Descriptional Complexity of Formal Systems (DCFS2013, London, Canada, July 2013+  - // A characterisation of NL/poly via nondeterministic finite automata.// DCFS 2013, London, Canada, July 2013
   - // Two finitary functors.// Dagstuhl seminar "Coalgebraic Logics", Schloss Dagstuhl, Germany, October 2012   - // Two finitary functors.// Dagstuhl seminar "Coalgebraic Logics", Schloss Dagstuhl, Germany, October 2012