Conferences I am involved with.
-
SEP
2026CONCUR 2026
37th International Conference on Concurrency Theory — Liverpool, UK · Sep 1–4, 2026
-
FEB
2026CSL 2026
34th EACSL Annual Conference on Computer Science Logic — Paris, France · Feb 23–28, 2026
-
JUN
2025CALCO 2025
11th Conference on Algebra and Coalgebra in Computer Science — Glasgow, UK · Jun 16–20, 2025
Past events I've been involved in
Static Analysis Symposium
Conference on Mathematical Foundations of Programming Semantics
International Symposium on Mathematical Foundations of Computer Science
International Conference on Foundations of Software Science and Computation Structures
Workshop on Algebraic Development Techniques
International Workshop on Coalgebraic Methods in Computer Science
International Colloquium on Automata, Languages, Programming
Italian Conference on Theoretical Computer Science
International Conference on Rewriting Techniques and Applications
Workshop on Graph Computational Models
Satellite of CALCO — Conference on Algebra and Coalgebra
International Conference on Algebraic Methodology And Software Technology
Interaction and Concurrency Experience
Brazilian Symposium on Formal Methods
3rd Workshop on the Rho-calculus