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