Invito a la charla que el próximo Martes 26 de Febrero a las 15 dará Ugo de'Liguoro, profesor de la Università di Torino, que nos visita en el marco del del proyecto MSCA-RISE BehAPI. Título: Mailbox Types for Unordered Interactions Abstract: We propose a type system for reasoning on [...]