Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [fm-announcements] MOVEP: Early-bird rate ends...


view this post on Zulip Email Gateway (Apr 26 2022 at 14:03):

From: Martin Zimmermann via fm-announcements <cl-isabelle-users@lists.cam.ac.uk>
IMPORTANT DATES:

15th Summer School on Modelling and Verification of Parallel Processes (MOVEP)

Aalborg University, Aalborg, Denmark

June 13 - 17, 2022

https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmovep2022.cs.aau.dk%2F&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C5e7f2b9cff124e57c1a108da260db71c%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637864138181447521%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000%7C%7C%7C&sdata=8BWJm6YP1jwuPrFDPmQpIoGNThs%2FXRoPhYbXH8RSs%2BM%3D&reserved=0

MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

==
Speakers
==

Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics via Couplings

David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols with Squirrel

Christel Baier (Technische Universität Dresden, Germany): From Verification to Causality-based Explications

Wojciech Czerwiński (University of Warsaw, Poland): The Reachability Problem for Vector Addition Systems

Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets with Atoms

Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem Proving and Vampire

Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String Transducers

Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis

Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and Invariant Generation

Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes

==
Registration
==

Please visit https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmovep2022.cs.aau.dk%2Fregistration.html&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C5e7f2b9cff124e57c1a108da260db71c%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637864138181447521%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000%7C%7C%7C&sdata=teY9ECCb%2B%2FHoHIxkDFPDIxFDMLoGgGO5NQAHRhsoykU%3D&reserved=0

==
Committees
==

Organising committee

Program committee

Steering committee


Last updated: Mar 28 2024 at 20:16 UTC