From Corecursive Algebras to Corecursive Monads,
presented at the 4th Conference on Algebra and Coalgebra in Computer
Science (CALCO'11), Winchester, England, August 30 - September 2, 2011.
A Sound and Complete Calculus for finite Stream Circuits
presented at the
25th Annual IEEE Symposium on Logic in Computer
Science (LICS'10), Edinburgh, Scotland, July 11-14, 2010.
Semantics of Higher-Order Recursion Schemes
presented at
the
90th Peripatetic Seminar on Sheaves and Logic (PSSL'90), Braunschweig, Germany, April 24/25,
2010.
Recursive Program Schemes and Context-Free Monads
Presented at the 10th Workshop on Coalgebraic
Methods in Computer Science (CMCS'10), Paphos, Cyprus, March
26-28, 2010.
CIA Structures and the Semantics of Recursion
Presented at
the 13th
International Conference on Foundations of Software Science and
Computation Structures (FOSSACS'10), Paphos, Cyprus, March
24-26, 2010.
CIA Structures and the Semantics of Recursion
Invited lecture at
the
Coalgebra Day , Amsterdam, The Netherlands, March 3, 2010.
A Sound and Complete Calculus for Linear Systems
Presented at the seminar of the logic group of the department of
mathematics, Indiana University, Bloomington IN, USA,
February, 2010.
Semantics of Higher-Order Recursion Schemes
Presented at the 3rd
Conference on Coalgebra and Algebra in Computer Science
(CALCO'09), Udine, Italy, September 6-10, 2009.
Semantics of Higher-Order Recursion Schemes
Presented at the seminar of the logic group of the department of
mathematics, Indiana University, Bloomington IN, USA, August 2009.
Elgot Theories: A new Perspective of Iteration Theories
Presented at
the 25th
Conference on the Mathematical Foundations of Programming
Semantics (MFPS XXV), Oxford, England, April 3 - 7, 2009.
A Description of Iterative Reflections of Monads
Presented at the 12th
International Conference on Foundations of Software Science and
Computation Structures (FOSSACS'09), York, England, March 22
- 29, 2009.
Elgot Theories: A new Perspective of Iteration
Theories
Presented at the workshop on
Applied
and Computational Category Theory (ACCAT'09), York, England,
March 22, 2009.
Coalgebras and the Axioms of Iteration
Invited lecture at the 9th Workshop on Coalgebraic
Methods in Computer Science (CMCS'08), Budapest, Hungary, April
4-6, 2008.
Elgot Monads
Presented at the Workshop on
Categorical Methods in Algebra, Topology and Computer Science
(Workshop in honour of Jiří Adámek and Walter Tholen,
on the occasion of their sixtieth birthday), Coimbra, Portugal,
October 26-28, 2007.
What are Iteration Theories
Presented at the 32nd International Symposium on
Mathematical
Foundations of Computer Science (MFCS'07), Cesky Krumlov, Czech
Republic, August 27-31, 2007.
Coalgebras, Monads and Semantics
Presented at the Ackermann Award Ceremony of the conference on
Computer Science Logic
(CSL'06), Szeged, Hungary, September 25-29, 2006.
Coalgebras, Monads and Semantics
Invited Lecture at the Fourth Irish Conference on the
Mathematical
Foundations of Computer Science and Information Technology
(MFCSIT'06), Cork, Ireland, August 1-August 3, 2006.
Recursive Coalgebras
Presented at the conference on
Category Theory
(CT'06), White Point Beach NS, Canada, June 25-July 1, 2006.
Elgot-Algebren
Presented at the seminar of the working group of
Prof. Krieg-Brückner, University of Bremen, Germany, May 4, 2006.
Koalgebren, Monaden und Semantik
Presented at the colloquium for the dissertation award of the GI
("Gesellschaft für Informatik"), Schloss Dagstuhl, May 22-23, 2006.
How iterative are iterative algebras?
Presented at the workshop on
Coalgebraic Methods in Computer Science (CMCS'06), a sattelite event of
ETAPS 2006,
Vienna, Austria, March 25-27, 2006.
Recursive Coalgebras
Presented at the seminar of the logic group of the department of
mathematics, Indiana University, Bloomington IN, USA, March 1, 2006.
Recursive Coalgebras
Presented at the
Oxford Seminar on Informatic Structures (OASIS),
Oxford Computing Laboratory, England, February 17, 2006.
The Category Theoretic Solution of Recursive Program Schemes
Elgot Algebras
Presented at the conference
Mathematical Foundation of Programming Semantics (MFPS) XXI,
Birmingham, England, May 18-21, 2005.
Elgot Algebras
Presented at the
Peripatetic Seminar on Sheaves and Logic (PSSL) 81,
Coimbra, Portugal, April 9/10, 2005.
Parameterized Iterativity
Presented at the
International Category Theory Conference (CT'04),
Vancouver BC, Canada, July 2004.
The Category Theoretic Solution of Recursive Program Schemes
Presented at the
Springschool "Logic in Computer Science"
of the
GKLI
(Graduiertenkolleg Logik in der Informatik), Venice, Italy,
April 2004.
From Iterative Algebras to Iterative Theories
Presented at the workshop on
Coalgebraic Methods in Computer Science (CMCS'04), a sattelite event of
ETAPS 2004,
Barcelona, Spain, March 27-29, 2004.
Von iterative Algebren zu Iterativen Theorien
Presented at the Algebra-Sektion of the
DMV-Tagung at the
University of Rostock, Germany, September 2003.
Final Coalgebras: Working with the CIA
Presented at the European Category Theory Meeting (ECTM'03),
Haute-Bodeux, Belgium, September 2003.
Coalgebras and Completely Iterative Theories
Presented at the University of Indiana, Bloomington/Indiana, June 2003.
Koalgebren und Vollständig Iterative Theorien
Presented at the
Katmat
Seminar of the University of Bremen, Germany, January 2003.
On Iteratable Endofunctors (and Completely Iterative Monads)
Presented at the Category Seminar of the Department of Mathematics of
York University,
Toronto ON, Canada, September 2002.
On Iteratable Endofunctors (and Completely Iterative Monads)
Presented at the conference on
Category Theory and Computer Science (CTCS'02),
Ottawa ON, Canada, August 2002.
Parametric Corecursion and Completely Iterative Monads
Presented at the workshop on
Fixed Points in Computer Science (FICS'02), a sattelite workshop of
LICS 2002,
Copenhagen, Denmark, July 20-21, 2002.
Final Coalgebras and A Solution Theorem for Arbitrary
Endofunctors
Presented at the workshop on
Coalgebraic Methods in Computer Science (CMCS'02), a sattelite event of
ETAPS 2002, Grenoble, France,
April 6-7, 2002.
Rational Trees: A coalgebraic View
Presented at the Seminar of Department of Mathematics at the
Czech Technical University,
Prague, Czech Republic, November 2001.
Free Iterative Theories: A coalgebraic view.
Presented at the workshop on
Fixed Points in Computer Science (FICS'01), a sattelite workshop of
PLI 2001,
Florence, Italy, September 7-8, 2001.
Infinite Trees and (Completely) Iterative Monads.
Presented at the
Peripatetic Seminar on Sheaves and Logic (PSSL) 75
at the Institut Mittag-Leffler, Stockholm, Sweden, June 9-10, 2001.
Colimits of ω-chains in categories of relations.
Presented at the workshop on
Foundational Methods in Computer Science (FMCS'00)
, Vancouver BC, Canada, June 1-4, 2000.