[FM-India] Petri Nets 2021 (online, 24th June) Call for participation

Étienne André Andre.Etienne at lipn13.fr
Mon Jun 14 16:38:38 IST 2021


############################################################

                    Call for Participation
*Petri Nets 2021*
            https://lipn.univ-paris13.fr/petrinets2021/

42nd International Conference on Application and Theory of Petri Nets 
and Concurrency

*Virtual conference*
/24 June 2021/

Includes special track on Application of Concurrency to System Design (ACSD)
* Availability of pre-recorded presentations: June 22, 2021
* Main Conference                           : June 24, 2021
* Also: PNSE, model checking contest…


*** Due to the Covid-19 outbreak, the Petri Net conference will happen 
as a virtual conference, with pre-recorded video talks, and live audio 
Q&A sessions ***

*** The pre-recorded video presentations will be short ones (180s) and 
longer ones (20 min)

*** In addition to the traditional best paper award, a best "my paper in 
180 seconds" prize will be awarded ***

**** REGISTRATION IS FREE BUT MANDATORY ****

# General Chairs:
* Laure Petrucci (LIPN, CNRS, Université Sorbonne Paris Nord, France)
* Étienne André (Université de Lorraine, CNRS, Inria, LORIA, France)

# PC-Chairs:
* Didier Buchs
* Josep Carmona
* Jörg Desel - ACSD track
* Alex Yakovlev - ACSD track

Contact e-mail: pn2021 at petrinet.net

############################################################
*# Detailed program*

* Wednesday June 23 2021
Model checking contest
https://mcc.lip6.fr/

* Thursday June 24 2021
Petri Nets main conference (Q&A sessions)
https://lipn.univ-paris13.fr/petrinets2021/

* Friday June 25 2021
PNSE workshop
https://www.informatik.uni-hamburg.de/TGI/events/pnse/

############################################################

/Petri Nets 2021 is referenced by https://conferences-computer.science/
/


//



More information about the FMIndia mailing list