\contitem\title{AMECOS: A Modular Event-based Framework for Concurrent Object Specification}\author{Timoth\'e Albouy, Antonio Fern\'andez Anta, Chryssis Georgiou, Mathieu Gestin, Nicolas Nicolaou, and Junlang Wang}\page{:1--:0}