[FM-India] Petri Nets 2020: 2nd call for participation (25th June, virtual)

[Étienne André]

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
# Subject: Call for Participation: Petri Nets 2020 + special track on 
ACSD (ICATPN 2020, 24-25 June 2020, virtual)





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

                    Call for Participation
                       Petri Nets 2020
                 http://conf-2020.petrinet.net

41st International Conference on Application and Theory of Petri Nets 
and Concurrency
Virtual conference, June 24-25, 2020

Includes special track on Application of Concurrency to System Design (ACSD)
* Availability of pre-recorded presentations: June 22, 2020
* Workshops                                 : June 24, 2020
* Main Conference                           : June 25, 2020

More information about the conference:

*** 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 ***

Contact e-mail: pn2020 at petrinet.net

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

# PC-Chairs:
* Ryszard Janicki (McMaster University, Canada)
* Natalia Sidorova (Technische Universiteit Eindhoven, The Netherlands)
* Thomas Chatain - ACSD track (LSV, ENS Paris-Saclay, France)

############################################################
Detailed program
(all timings are UTC+2)

* Wednesday June 24, 2020

14h00-14h30 : ATAED, session 1
14h30-15h00 : ATAED, session 2
15h00-15h30 : ATAED, session 3

15h30-16h00 : virtual coffee break and free discussions

16h00-16h30 : PNSE, session 1
16h30-17h00 : PNSE, session 2
17h00-17h30 : PNSE, session 3
17h30-18h00 : MCC discussion

* Thursday June 25, 2020

14h00-14h30 : Applications of Concurrency to System Design (ACSD)
14h30-15h00 : tools
15h00-15h30 : language and synthesis

15h30-16h00 : virtual coffee break and free discussions

16h00-16h30: Process Mining and Applications
16h30-17h00 : Semantics
17h00-17h30 : Extensions and Model Checking
17h30-18h00 : awards and closing session

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