== Announcement and Call for Participation ==
Advanced Course on Petri Nets
Toruń, Poland, September 6-11, 2020
http:// [1]acpn [1]20 [1]20 [1].mat.umk.pl [1]
==================================
Petri nets are the first formal model for distributed systems, and they
are still up-to-date and unrivalled. After more than half a century of
development, the field has been deepened theoretically and Petri nets
are used to model and analyse all kind of real-life distributed systems
with the support of a plethora of algorithmic techniques and tools.
The Petri net approach is based on locality of states and local effects
of actions. It underlies many other methodologies and graphical modeling
techniques, which therefore have inherited core concepts, design
approaches and anlysis results from the area of Petri sets.
Examples of Petri net applications include distributed algorithms,
embedded systems, communication protocols, hardware systems, as well as
models of Internet services and business processes, many of them far
younger than Petri nets themselves.
Next to the annual conference on Application and Theory of Petri Nets
taking place since 1980, the Petri Net community organises every 7-10
years an Advanced Course on Petri Nets, which comprises the respective
current state of the art in Petri Net Theory and in Applications of
Petri Nets. Typical attendees are PhD students and post-docs from all
over the world who work with Petri Nets, but also more senior scientists
who want to broaden their expertise. In particular, students of an
Advanced Course on Petri Nets learn about Petri Nets as a foundation for
various application oriented process related domains.
So far there have been five Advanced Courses: in Hamburg in 1978, in Bad
Honnef in 1986, in Dagstuhl in 1996, in Eichstättt in 2003, and in
Rostock in 2010. The 6th Advanced Course on Petri Nets will take place
in Toruń, Poland, from September 6 until September 11, 2020. Hence, for
the first time, the Advanced Course takes place outside Germany.
The program of the 6th Advanced Course is application oriented i.e.
directed towards aspects of Petri Net applications, case studies and
tools introduced after lectures on fundamental issues and presentations
on important new advanced topics and results.
The last three days of the Course consist of (partly parallel) full day
tutorials on the use of Petri nets as a formal foundation and tool in
specific application domains. Each tutorial includes an introduction to
the application domain, hands-on experience with a relevant tool, and a
realistic case study. All lecturers are experts in their respective
fields.
FEES (INCLUDING PARTICIPATION IN ALL SESSIONS, LUNCHES, AND COFFEE
BREAKS):
Fee
Before August 1
After August 1
Whole event (Monday-Friday)
Basic module (Monday-Wednesday)
Advanced module (Wednesday-Friday)
120 EUR
70 EUR
70 EUR
150 EUR
100 EUR
100 EUR
INVITED SPEAKERS:
Joseph Carmona, Universitat Politècnica de Catalunya, Barcelona, Spain
Joerg Desel, FernUniversität in Hagen, Germany
Raymond Devillers, Université Libre de Bruxelles, Belgium
Susanna Donatelli, University of Torino, Italy
Havier Esparza, Technical University of Munich, Germany
Dirc Fahland, Eindhoven University of Technology, The Netherlands
Victor Khomenko, Newcastle University, United Kingdom
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, United Kingdom
Lars Kristensen, Western Norway University of Applied Sciences
Sławomir Lasota, University of Warsaw, Poland
Łukasz Mikulski, Nicolaus Copernicus University, Poland
Marco Montali, Free University of Bozen-Bolzano, Italy
Wojciech Penczek, ICS PAS Warsaw, Poland
Wolfgang Reisig, Humboldt Universität zu Berlin, Germany
Danil Sokolov, Newcastle University, United Kingdom
Karsten Wolf, University of Rostock, Germany
STUDENT GRANTS:
Student grants are available for PhD or MSc students. They are provided
by the City Council of Toruń and Nicolaus Copernicus University.
Successful applicants will have the following costs covered: the School
fee and accommodation in University Hotel (September 5-12 - seven
nights) in a single room (in a two-bedroom studio with a shared
bathroom).
To apply for a grant, please submit the following documents at
[email protected] by July 1, 2020:
· scientific CV,
· motivation letter,
· letter of support from your supervisor, and
· confirmation of the student status (scanned version of a valid
document).
Please note that the number of grants is limited.
We would appreciate it if you could distribute this announcement.
Best regards,
Marcin Piątkowski
OC Chair of Advanced Course on Petri Nets 2020
Links:
------
[1] http://wors2019.mat.umk.pl/
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
