2026
2025
- Moessner and the theorem that started it all
KozenFest 2025, Cornell University, Ithaca, NY, USA, August 2025
slides - Algebraic Network Verification (lecture series)
CMMRS 2025, Saarbrücken, Germany, July 2025
Summer School Marktoberdorf 2025, Marktoberdorf, Germany, August 2025
slides - KATch: Algebraic Network Verification
MPI-SWS Research Symposium 2025, Saarbrücken, Germany, June 2025
ISTA, Klosterneuburg, Austria, October 2025
slides - Outcome Logic: a foundational framework for concurrent and probabilistic program analysis
VMCAI’25, Denver, CO, January 2025
slides
2024
2023
2022
- How to Give a Good (Research) Talk.
FLoC 2022, Mentoring Workshop, Haifa, Israel, August 2022
slides - Learning weighted automata
IFIP WG 2.8, Cornell Tech, New York, NY, USA, May 2022
slides - The Frontiers of Active Learning in Network Verification.
ETAPS 2022, Munich, Germany, March 2022
https://web.archive.org/web/2024/https://www.di.uniroma1.it/it/notizie/seminari/distinguished-lectures, Rome, Italy, November 2024
slides - Learning weighted and probabilistic automata
Theory Seminar, Cornell University, Ithaca, NY, USA, February 2022
slides - Coalgebra for the working programming languages researcher
POPL 2022, Philadelphia, PA (via Zoom), January 2022
slides - Finding a research topic (or being found by a research topic?)
PLMW 2022, Philadelphia, PA (via Zoom), January 2022
slides
2021
- Concurrent NetKAT: Modeling and Analyzing Stateful, Concurrent Networks
PLDG Cornell, Ithaca, NY, September 2021
Penn PLClub, Philadeplphia, PA (via Zoom), September 2021
M2F Dept seminar, Bordeaux, France (via Zoom), October 2021
MPI-SWS Distinguished Lecture Serie, Saarbrucken, Germany (via Zoom), October 2021
Chocola seminar, Lyon, France (Virtual), December 2021
slides PLDG - Prognosis: Black-Box Analysis of Network Protocol Implementations
NGN Webinar, Zoom, January 2021
Verified Software: Theory to Applications at Newton Institute, Cambridge, UK (via Zoom), May 2021
FORTE 2021, Zoom, June 2021
SBLP 2021, Zoom, September 2021
Formal Foundations of Software Defined Networks, Zoom, November 2021
slides Newton - Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
Algebra|Coalgebra Seminar, Amsterdam, The Netherlands (via Zoom), February 2021
LSFA 2021, Buenos Aires, Argentina (via Zoom), July 2021
DLT 2021, Porto, Portugal (via Zoom), August 2021
slides A|C seminar - Models Of Concurrent Kleene Algebra (Invited Talk)
LPAR-23, Virtual Conference, January 2021
slides
2020
- Duality in Semantics and Verification
Fall Colloquium Cornell, Ithaca, NY (via Zoom), October 2020
UW Madison, Madison, WI (via Zoom), November 2020
slides - Programming and Reasoning with Kleene Algebra with Tests (Tutorial)
POPL 2020, joint with Nate Foster, New Orleans, LA, USA, January 2020
MadPL seminar, Madison, WI, USA, February 2020
slides
2019
- An algebraic framework to reason about concurrency (Invited Talk)
FSTTCS 2019, Mumbai, India, December 2019
PLDG Cornell, Ithaca, NY (via Zoom), April 2020
Women in Logic, Paris, France (via Zoom), June 2020
PoP seminar CMU, Pittsburgh, PA (via Zoom), September 2020
slides FSTTCSslides PLDG - Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
MFCS 2019, Aachen, Germany, August 2019
LSV Seminar, Cachan, France, October 2019
slides - Modelling and Verification using Automata Learning
BCS Needham Lecture, London, UK, June 2019
slides - Guarded Kleene Algebra with Tests
IFIP WG 2.8, Bordeaux, France, May 2019
slides - CoNeCo: Concurrency, Networks and Coinduction
Jacques Morgenstern Colloquium, Sophia-Antipolis, France, May 2019
slides - Language principles applied to networks
Dagstuhl Seminar on Programmable Network Data Planes, Dagstuhl, Germany, April 2019
slides - Scalable Verification of Probabilistic Networks
Departmental Seminar University of Leicester, Leicester, UK, March 2019
slides
2018
- CLAM: Coalgebraic Learning for Automated Modelling
Inaugural lecture, Faber Creative Spaces, London, United Kingdom, December 2018
Lasige Workshop, Lisboa, Portugal, February 2019
slides - Layer by Layer: Combining Monads
ICTAC 2018, Stellenbosch, South Africa, October 2018
slides - Automated Black-box Verification of Networking Systems
VECoS 2018 (Invited talk), Grenoble, France, September 2018
slides - Decidability and Expressiveness results for Nondeterministic Probabilistic Automata
CiE 2018 (Invited talk), Kiel, Germany, August 2018
slides - Almost Surely productivity
IFIP WG 2.8, Asilomar, CA, USA, June 2018
slides - Probabilistic Program Equivalence for NetKAT
Workshop on Logical Foundations for Data Science, Bellairs research institute, Holetown,Barbados (blackboard talk), March 2018
British Colloquium for Theoretical Computer Science 2018, London, UK, March 2018
MPI-SWS colloquium, Saarbrucken, Germany, May 2018
slides BCTCS
2017
- Brzozowski Goes Concurrent — A Kleene Theorem for Pomset Languages (Invited talk)
FSCD 2017, Oxford, UK, September 2017
Theoretical Computer Science seminar, Birmingham, UK, February 2018
slides FSCD - CALF - Categorical Automata Learning Framework (Invited talk)
TACL 2017, Prague, CZ, June 2017
LearnAut 2017, Reykjavik, Iceland, June 2017
Cornell CS colloquium, Ithaca, NY, USA, August 2017
DIMAP Seminar, Warwick, UK, October 2017
MGS Christmas seminar, Nottingham, UK, December 2017
RiSE seminar, Vienna, Austria, February 2018
University of Leeds Algebra, Logic, and Algorithms Seminar, Leeds, UK, May 2018
slides TACL - A (co)algebraic theory of succinct acceptors (invited talk)
RAMICS 2017, Lyon, France, May 2017
slides
2016
- Automata Learning -- Infinite Alphabets and Applications to Verification
INFOSEC seminar, London, United Kingdom, December 2016
Compositionality workshop @ Simons Institute, Berkeley, CA, USA, December 2016
slides Berkeley - Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming
BLC 2016, Edinburgh, Scotland, September 2016
CWI Lectures in honour of Adriaan van Wijngaarden, Amsterdam, The Netherlands, November 2016
Cambridge Logic and Semantics Seminar, Cambridge, United Kingdom, December 2016
slides BLC - Coalgebraic Learning (invited talk)
CSL 2016, Marseille, France, September 2016
slides - (Co)-Algebraic and Analytic Aspects of Weighted Automata Minimization and Equivalence, Part I. (invited tutorial)
CMCS 2016, Eindhoven, The Netherlands, April 2016
slides - Probabilistic NetKAT
IFIP WG 1.3, Eindhoven, The Netherlands, March 2016
ESOP 2016, Eindhoven, The Netherlands, April 2016
Verified Trustworthy Software Systems (specialist meeting), London, United Kingdom, April 2016
Workshop on Information and processes 2016 (WIP 2016), Fontainebleau, France, April 2016
ICE 2016, Heraklion, Greece, June 2016
slides London meeting - Coalgebraic Theory of NetKAT
Workshop on formal methods for software-defined networks, Bellairs research institute, Holetown,Barbados (blackboard talk), March 2016
2015
- Completeness and Incompleteness in Nominal Kleene Algebra
RAMICS 2015, Braga, Portugal, September 2015
slides - Applications of Automata and Concurrency Theory in Networks (invited talk)
CONCUR 2015, Madrid, Spain, September 2015
slides - Algebra-Coalgebra Duality: applications in automata theory (invited tutorial)
WoLLIC 2015, Bloomington, Indiana, July 2015
slides - Towards a nominal Chomsky hierarchy (invited talk)
WoLLIC 2015, Bloomington, Indiana, July 2015
slides - Automata learning: a categorical perspective
Groupe de travail Equipe Plume (ENS), Lyon, France (blackboard talk), January 2015
McGill automata group (informal seminar Panangaden group), Montreal, Canada (blackboard talk), May 2015
- NetKAT: a formal system for the verification of networks.
SRI International, Menlo Park, CA, USA, April 2015
Oxford OASIS seminar, Oxford, UK, May 2015
TCS seminar Erlangen, Erlangen, Germany, June 2015
IFIP WG 1.3, Nijmegen, The Netherlands, June 2015
Logic seminar IU, Bloomington, IN, United States, July 2015
Theory Seminar, Queen Mary, London, United Kingdom, September 2015
QuantLA seminar, Leipzig, Germany, October 2015
PUMA seminar (TU Munich), Munich, Germany, October 2015
Departmental seminar CS @ Royal Holloway, London, United Kingdom, November 2015
Departmental seminar CS @ University of Birmingham, Birmingham, United Kingdom, January 2016
slides Oxford
2014
- Coalgebras for Concurrency
TRENDS 2014, Rome, Italy, September 2014
slides - Coinduction up-to: from concurrency to coalgebra and back
Open problems in concurrency theory, Bertinoro, Italy (joint with Filippo Bonchi), June 2014
slides - The generalized powerset construction: applications to semantics and concurrency (Invited talk)
MFPS 2014, Ithaca, NY, USA, June 2014
slides - Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm
TCS and PAM seminar, VU Amsterdam, Amsterdam, The Netherlands, January 2014
slides - Automata learning: a categorical perspective
ACG seminar, CWI, Amsterdam, The Netherlands (blackboard talk), January 2014
Brouwer seminar, RUN, Nijmegen, The Netherlands (blackboard talk), January 2014
Prakash fest, Oxford, UK, May 2014
slides (Prakash fest)
2013
- Brzozowski's and up-to algorithms in concurrency and programming languages (Invited talk)
11th Asian Symposium on Programming Languages and Systems (APLAS 2013), Melbourne, Vic, Australia, December 2013
slides - Coalgebraic Up-to techniques
Shonan NII Meeting on coinduction for computation structures and programming languages, Shonan Village Center, Japan, October 2013
Workshop on quantitative analysis of interacting systems: foundations and algorithms, Braga, Portugal, September 2013
slides (Shonan) - Algebra-Coalgebra Duality: applications in automata theory (Invited talk)
TbiLLC 2013: Tenth International Tbilisi Symposium on Language, Logic and Computation, Gudauri, Georgia, September 2013
slides - Rational fixpoints in programming languages (Invited talk)
Fixed points in Computer Science, Torino, Italy, September 2013
slides - The importance of algorithms in Computer Science - or - how Manao learned how to defeat all the monsters.
Academic lecture for first year CS students, Nijmegen, The Netherlands, August 2013
slides - Generalized determinization constructions
Logic Seminar, Indiana University, Bloomington (IN), USA, August 2013
slides - Coalgebra: applications in automata theory and programming language design
Chocola meeting, ENS Lyon, Lyon, France, May 2013
slides - An introduction to coalgebra: the generalized powerset construction.
SPADES seminar, INRIA Rhone-Alpes, Grenoble, France (blackboard talk), May 2013
- Cocaml: programming with coinductive types
MBSD seminar, Radboud University Nijmegen, Nijmegen, The Netherlands, June 2013
University of Utrecht, Utrecht, The Netherlands, May 2013
FSA seminar, Technical University Eindhoven, Eindhoven, The Netherlands, April 2013
TCS seminar, Technical University Braunschweig, dedicated to Stefan Milius on the occasion of his habilitation, Braunschweig, Germany, February 2013
slides (TU/e) - A tutorial on bisimulation
Coalgebras in Computation, Logic, Probability and Quantum Physics, Bellairs, Barbados (blackboard talk), March 2013
- Initial Algebras of Terms, with binding and algebraic structure
COIN seminar, CWI, Amsterdam, The Netherlands, February 2013
slides
2012
- Cocaml: programming with coinductive types
Computer Science seminar, University of Leicester, Leicester, United Kingdom, November 2012
slides - Trace semantics via determinization
COIN seminar, Nijmegen, The Netherlands, June 2012
slides - Brzozowski's algorithm (co)algebraically
Dagstuhl workshop on Coalgebraic logics, Dagstuhl, Germany (joint talk with Helle Hansen), October 2012
Brouwer seminar, Nijmegen, The Netherlands, October 2012
16th Wessex Theory Seminar (farewell workshop for Dirk Pattinson and Tadeusz Litak), Imperial College, London, UK, August 2012
Lutz Schröder's seminar, Erlangen, Germany, May 2012
Voices of Cante seminar, Porto, Portugal, May 2012
2012 Bellairs Workshop, Bellairs, Barbados (blackboard talk), April 2012
slides (Dagstuhl, extended) - A coalgebraic perspective on minimization and determinization
FoSSaCS 2012, Tallin, Estonia, March 2012
slides
2011
- Determinization constructions: from automata to coalgebras
ACG seminar, Amsterdam, The Netherlands, November 2011
slides - The QAIS project
QAIS kickoff meeting, Braga, Portugal, October 2011
- On Moessner's theorem
QAIS kickoff meeting, Braga, Portugal, October 2011
RuFiDim, St. Petersburg, Russia, September 2011
slides - Kleene Coalgebra
Cerimónia de entrega do Prémio Científico IBM, Braga, Portugal, October 2011
Seminrio de Algebra, Logica e Computacao, Universidade do Minho, Braga, Portugal, October 2011
Theory Seminar, Cornell University, Ithaca, NY, USA, April 2011
slides - Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
Core workshop, Amsterdam, The Netherlands, October 2011
Theory Seminar Reykjavik University, Reykjavik, Iceland, June 2011
Comte-Parsifal Seminar, LIX, Ecole Polytechnique, Paris, France, March 2011
slides - PhD survival Kit -- my personal experience (Invited talk)
4th MAP-i Doctoral Symposium, Porto, Portugal, September 2011
slides - Coalgebra at the CWI: a brief overview
CWI Pos-doc scientific meeting, Amsterdam, The Netherlands, February 2011
slides - Deriving syntax and axioms for quantitative regular behaviours
Theory seminar, University of Salzburg, Austria, January 2011
slides
2010
- Beyond Kleene Coalgebra
Kleene Coalgebra workshop, Nijmegen, The Netherlands, December 2010
- A decision procedure for bisimilarity of regular expressions
SBMF'10, Natal, Brazil (Best presentation award), November 2010
IPA Herfstdagen, Veldhoven, The Netherlands, November 2010
slides (SBMF)slides (IPA) - Weighted automata, coalgebraically
TCS seminar group, University of Braunschweig, Braunschweig, Germany, August 2010
slides - Generalizing the powerset construction, coalgebraically
Comète seminar, LiX, École Polytechnique, Paris, France (blackboard talk), April 2010
- Algebraic enriched coalgebras.
Coalgebra day, UvA, Amsterdam, The Netherlands, March 2010
LiX, École polytechnique, Paris, France, March 2010
CMCS'10, Paphos, Cyprus, March 2010
slides (UvA)
2009
- Regular expressions for polynomial coalgebras
Arco meeting, Eindhoven, The Netherlands (blackboard talk), November 2009
- Deriving syntax and axioms for quantitative regular behaviours
Second CWI-DIPisa Workshop on Coordination, Coalgebras and Constraints (CoCoCo 2009), Amsterdam, The Netherlands, October 2009
CONCUR'09, Bologna, Italy, September 2009
Arco meeting, Iasi, Romania, May 2009
slides (CoCoCo)slides (CONCUR)slides (Arco) - Quantitative regular behaviours
Calco-jnr'09, Udine, Italy, September 2009
slides - An algebra for Kripke polynomial coalgebras
LICS'09, Los Angeles, USA, August 2009
Arco meeting, Amsterdam, The Netherlands, January 2009
slides (LICS)slides (Arco) - A Kleene theorem for polynomial coalgebras
Seminar of the TCS group, University of Duisburg-Essen, Duisburg, Germany, July 2009
CIC'09, Braga, Portugal, May 2009
FoSSaCS'09, York, United Kingdom, March 2009
Coalgebra day, CWI, Amsterdam, The Netherlands, March 2009
slides (Duisburg)slides (Braga)slides (FoSSaCS)slides (Amsterdam) - From KAT expressions to automata
Arco meeting, Iasi, Romania, May 2009
slides - Tool demonstration
ACG seminar, Amsterdam, The Netherlands, February 2009
slides - Completeness of Kleene algebras coalgebraically (and beyond)
A|C seminar, Amsterdam, The Netherlands, January 2009
Presentation on the blackboard, largely based on this paper - From regular expressions to automata
Arco meeting, Amsterdam, The Netherlands, January 2009
slides
2008
- Beyond Kleene: A Kleene Theorem for polynomial coalgebras
CWI Scientific meeting, CWI, Amsterdam, The Netherlands, October 2008
slides - A Kleene theorem for polynomial coalgebras
ACG seminar, Amsterdam, The Netherlands, September 2008
slides - Coalgebraic Logics and Synthesis for Mealy machines
FoSSaCS'08, Budapest, Hungary, April 2008
Coalgebra day, RU, Nijmegen, The Netherlands, March 2008
slides (FoSSaCS)slides (Nijmegen) - Regular expressions for polynomial coalgebras (joint talk with M. Bonsangue)
First CWI-DIPisa Workshop on Coordination, Coalgebras and Constraints (CoCoCo 2008), Pisa, Italy, January 2008
slides
2007
- (Concrete) Coalgebraic logics and synthesis of Mealy machines
Research workshop on Coinduction, Interaction and Composition (CIC 2007), Amsterdam, The Netherlands, October 2007
A|C seminar, Amsterdam, The Netherlands, May 2007
slides (CIC)slides (A|C) - Bi-infinite streams coalgebraically
Calco-jnr'07, Bergen, Norway, August 2007
slides - Behavioural differential equations and coinduction for binary trees
WoLLic 2007, Rio de Janeiro, Brazil, July 2007
slides
2006
- Behavioural differential equations and coinduction for binary trees
Coalgebra day, RU, Nijmegen, The Netherlands, October 2006
slides - Behavioural differential equations and coinduction for binary trees -- An exercise on coalgebraic reasoning
ACG seminar, Amsterdam, The Netherlands, October 2006
slides - Coinduction by calculation
Research workshop on Coinduction, Interaction and Composition (CIC 2006), Braga, Portugal, October 2006
slides - CoddFish - Strong Types for Relational Databases
Haskell Workshop 2006, Portland, Oregon, USA, September 2006
slides - A calculational account of lambda-coinduction
CMCS'06, Wien, Austria, March 2006
2005
