Chair: Valeria de Paiva

• 14:00: Maribel Fernández. “Nominal Syntax with Atom Substitutions”.
• 14:45: Alexandra Silva. “An algebraic framework to reason about concurrency”.