Sites

Workshop Program June, 25th Conference Room: Room 5 TimeTalkTopic Session Chair: Laurent Voisin 09:00 - 09:30What's new in Rodin 3.9 and the Theory plug-in Guillaume Verdier, Laurent Voisin, Idir Ait-SadouneRodin Workshop 09:30 - 10:00Semantics formalisation: Some experience with the Theory Plug-in

Registration fees (all values are in EUR) Follow these guidelines for the payments: Payment Guidelines Registration type Due date Author registration (workshops are included) April 20, 2024 €480 Early full regstration (workshops are included) May 25, 2024 €480 Early student registration (workshops are included) May 25, 2024 €250 Early workshop registration only (1 day) May 25, 2024 €120 Late full registration (workshops are included) June 16, 2024 €550 Late student registration (workshops are included) June 16, 2024 €300 Late workshop registration only (1 day) June 16, 2024 €180 What is included in the price: Author/Full/Student registrations include:

Organization Program Chairs Elvinia Riccobene, Università degli Studi di Milano, Milano, Italy Michael Leuschel, Heinrich-Heine-Universität, Düsseldorf, Germany Case Study Chairs Silvia Bonfanti, University of Bergamo, Bergamo, Italy Angelo Gargantini, University of Bergamo, Bergamo, Italy Workshop/Tutorial Chairs Claudio Menghi, University of Bergamo, Bergamo, Italy Alexander Raschke, Ulm University, Ulm, Germany Sponsor Chair Claudio Menghi, University of Bergamo, Bergamo, Italy Doctoral Symposium Chairs Philipp Körner, Heinrich-Heine-Universität, Düsseldorf, Germany Chiara Braghin, Università degli Studi di Milano, Milano, Italy Social/Publicity Chairs Atif Mashkoor, JKU Linz, Linz, Austria Fabian Vu, Heinrich-Heine-Universität, Düsseldorf, Germany Web Chairs Andrea Bombarda, University of Bergamo, Bergamo, Italy Mario Lilli, Università degli Studi di Milano, Milano, Italy Local Chair Patrizia Scandurra, University of Bergamo, Bergamo, Italy Registration Chair Silvia Bonfanti, University of Bergamo, Bergamo, Italy Program Committee Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France Nazareno Aguirre, Universidad Nacional de Río Cuarto, Argentina Étienne André, Université Sorbonne Paris Nord, LIPN, CNRS UMR, France Paolo Arcaini, National Institute of Informatics, Japan Richard Banach, University of Manchester, UK Egon Boerger, University of Pisa, Italy Chiara Braghin, University of Milan, Italy Adam Bryant, Galois Inc.

Call for Workshops and Tutorials Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ABZ 2024. Workshops and tutorials will be held on June 25, 2024 (right before the main conference on June 26 – June 28, 2024).

Venue: University of Bergamo Location University of Bergamo - Department of Human and Social Sciences Piazzale S. Agostino, 2 24129 Bergamo Italy How to reach the venue From Bergamo airport (Milan-Bergamo Airport - Orio al Serio - BGY) Take BUS Line 1 / airport to Porta S.

Workshops ABZ 2024 will host the two following workshops. Rodin workshop Event-B is a formal method for system-level modeling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides effective support for modeling and automated proof.

Information disclosed under Digital Economy Law (575/2004), France: Contact Neeraj Kumar Singh INPT-ENSEEIHT/IRIT F-313, 2 Rue Charles Camichel, BP 7122 31071 Toulouse, CEDEX 7, France Alexander Raschke Universität Ulm Albert-Einstein-Allee 11