- Computation theory with atoms, or computation in nominal sets,
- Operational semantics of process algebras and programming languages,
- Coalgebraic and bialgebraic methods,
- Algebraic specifications.
- CALCO 2015, 6th Conference on Algebra and Coalgebra in Computer Science
- EPTCS, an open-access journal for rapid electronic publication of the proceedings of workshops and conferences
- e-mail: email@example.com