[AISWorld] PN & ACSD 2018 Call for Participation

[PN 2018]

PN & ACSD 2018 CALL FOR PARTICIPATION

It is a great pleasure for us to invite you to register for the Petri
Nets and ACSD conference. 

REGISTRATION

PRICING PACKAGES and registration FEES are available at
https://interes.institute/registration/ [1] along with registration
process instructions and instructional video. Registration
web-application can be found at https://pn2018.netgrif.com/ [2]. We
kindly ask you to register using Chrome browser and please check your
spam folder for emails from registration process. 

Card payment is available from now. If you have already registered (you
have chosen bank transfer payment) and did not send payment you can
cancel your payment and choose credit card payment option. In case you
see only summary and you don't see payment cancellation please close
summary and you will see payment cancellation option. 

OVERVIEW

The 39TH INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI
NETS AND CONCURRENCY and 18TH INTERNATIONAL CONFERENCE ON APPLICATION OF
CONCURRENCY TO SYSTEM DESIGN will be organized by the Interes.Institute
in Bratislava in cooperation with Faculty of Electrical Engineering and
Information Technology and Faculty of Informatics and Information
Technologies, Slovak University of Technology in Bratislava, Slovak
Republic. The conference will take place at HOTEL AUSTRIA TREND, Vysoka
street 2A, 811 06 BRATISLAVA, SLOVAK REPUBLIC. The language of the
conference is English, and its proceedings will be published by
Springer-Verlag in Lecture Notes in Computer Science
www.springer.com/lncs. Papers presenting original research on
application or theory of Petri nets, as well as contributions addressing
topics relevant to the general field of distributed and concurrent
systems will be presented. All accepted regular papers should be
presented by the authors. Some of the best papers will be invited, in an
extended form, as submissions to a special issue of a well-established
computer science journal. 

TOPICS

Possible topics include, but are not limited to: 

 	* Model checking and verification of distributed systems
 	* Verification of infinite-state or parametric systems
 	* Causality/partial order theory of concurrency
 	* Educational issues related to concurrency
 	* New developments in the theory of concurrency
 	* Modelling of hardware and biological systems

INVITED SPEAKERS

 	* ORNA GRUMBER - Semantic Difference for Program Versions
 	* FABRICE KORDON - Self-Adaptive Model Checking, the next step?
 	* MATTHIAS FÜGGER - Challenges of circuit design: Circuits as robust
distributed algorithms

WORKSHOPS

The conference features following workshops and tutorials: 

 	* Petri nets and Software Engineering [3]
 	* Algorithms & Theories for the Analysis of Event Data [4]
 	* Model Checking Contest [5]
 	* Petri Net Course [6]
 	* Process Mining Tutorial [7]
 	* Tutorial on Verification [8]

SCHEDULE

WORKSHOPS & TUTORIALS - June 24-26, 2018 

MAIN CONFERENCE - June 27-29, 2018 

More information about the schedule and programme can be found at
https://interes.institute/pn-programme/ [9]. 

QUESTIONS

For general questions about the conference please contact us at
pn2018 at interes.institute 

Links:
------
[1] https://interes.institute/registration/
[2] https://pn2018.netgrif.com/
[3] http://www.pnse.de/
[4] http://www.fernuni-hagen.de/ataed2018/
[5] https://mcc.lip6.fr/
[6] https://interes.institute/petri-net-course/
[7] https://interes.institute/process-mining-tutorial/
[8] https://interes.institute/tutorial-on-verification/
[9] https://interes.institute/pn-programme/