Animation and exchanges in the Petri Nets community

[Nicolas Markey <address@concealed>]

           Call for student presentations and participation


                       Summer School MOVEP 2024

    16th School on MOdelling and VErification of parallel Processes

                   27-31 May 2024 -- Rennes, France

                     https://movep24.irisa.fr/


**********************************************************************
*  registrations are open:
*     https://movep24.irisa.fr/registration/
*  call for student presentations:
*     https://movep24.irisa.fr/student-presentations/
**********************************************************************




The  16th European  summer  school  MOVEP will  take  place in  Rennes
(France), from 27th to 31st May  2024. The event is organized by IRISA
and the Inria Center of Université de Rennes.

MOVEP is a  5-day summer school about modelling and verifying parallel
processes.   The first  six occurrences  of the  school took  place in
Nantes (France) every other year from  1994 to 2002.  It then moved to
Brussels  (Belgium)  in  2004,  Bordeaux  (France)  in  2006,  Orléans
(France) in  2008, Aachen  (Germany) in  2010, Marseilles  (France) in
2012, Nantes (France) in 2014,  Genoa (Italy) in 2016, Cachan (France)
in 2018, Grenoble (France) in 2020, and Aalborg (Denmark) in 2022.

The purpose  of MOVEP is  to bring together researchers,  students and
people from industry working in the fields of control and verification
of concurrent and reactive systems. The  school seeks to offer a broad
spectrum of current  research in this area of  theoretical and applied
computer   science.    The   topics  covered   by   MOVEP'24   include
model-checking   and  synthesis,   software  verification,   real-time
systems, stochastic systems, artificial intelligence, etc.

The program consists of six tutorial  sessions (of 3 hours each), four
technical talks (1h30 each), and student sessions during which student
participants will be invited to present their on-going research.

The school will  take place on the premises of  IRISA and Inria Center
of Université de  Rennes, and is sponsored by  Mitsubishi Electric R&D
Center Europe, CEA List, Inria, Université de Rennes, CNRS and GDR GPL.



Confirmed speakers:
===================
Tutorials:
----------
  *  Sandrine Blazy (IRISA, Univ. Rennes, France)
  *  Pierre Ganty (IMDEA Software Institute, Madrid, Spain)
  *  Hugo Gimbert (CNRS, LaBRI, Bordeaux, France)
  *  Nils Jansen (Ruhr-University Bochum, Germany)
  *  Ocan Sankur (CNRS, IRISA, Rennes, France)
  *  Jeremy Sproston (Univ. Turin, Italy)
Technical talks:
----------------
  *  Matthias Függer (CNRS, LMF, Saclay, France)
  *  Bas Luttik (Eindhoven Univ. of Technology, The Netherlands)
  *  Daniela Petrişan (IRIF, Univ. Paris Cité, France)
  *  Jan Strejček (Masaryk University, Brno, Czech Republic)

More details on the webpage: https://movep24.irisa.fr/programme/


Important dates:
================
  * registrations are open until 13 May
    early-registration fees until 25 April
  * abstract submissions deadline (for student presentations): 12 April
  * MOVEP will take place on May 27-31.  Save the date!


Program Committee of MOVEP'24
=============================

  *  Nathalie Bertrand (Inria, Univ. Rennes, France ; chair)
  *  Ivana Černá (Masaryk University, Brno, Czech Republic)
  *  Laure Daviaud (University of East Anglia, United Kingdom)
  *  Jannik Dreier (LORIA, Université de Lorraine, France)
  *  Clemens Dubslaff (Eindhoven Univ. of Technology, The Netherlands)
  *  Frédéric Herbreteau (LaBRI, Université de Bordeaux, France)
  *  Jan Kretinsky (Technische Universität München, Germany)
  *  Nicolas Markey (CNRS, Univ. Rennes, France ; chair)
  *  Fabio Mogavero (Univ. degli Studi di Napoli Federico II, Italy)
  *  Dave Parker (University of Oxford, UK)
  *  Mickael Randour (F.R.S.-FNRS & UMONS - Université de Mons, Belgium)
  *  Ana Sokolova (University of Salzburg, Austria)


Organizing Committee of MOVEP'24
================================

  * Nathalie Bertrand         (Inria, Univ. Rennes, France)
  * Aymeric Côme              (Univ. Rennes, France)
  * Laurence Dinh             (Inria, Univ. Rennes, France)
  * Catherine Jacques-Orban   (Univ. Rennes, France)
  * Mathieu Laurent           (CNRS, Univ. Rennes, France)
  * Antoine L'Azou            (CNRS, Univ. Rennes, France)
  * Nicolas Markey            (CNRS, Univ. Rennes, France)
  * Nicolas Waldburger        (Univ. Rennes, France)


Steering Committee of MOVEP
===========================

  * Nathalie Bertrand         (Inria, Univ. Rennes, France)
  * Didier Lime               (LS2N, École Centrale Nantes, France)
  * Radu Iosif                (CNRS, Univ. Grenoble-Alpes, France)
  * Nicolas Markey            (CNRS, Univ. Rennes, France)
  * Martin Zimmermann         (Univ. Aalborg, Denmark)

--
Nico

--
To unsubscribe from this group and stop receiving emails from it, send an 
email to address@concealed.