Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Didier Buchs via Petrinet <address@concealed>
- To: "address@concealed" <address@concealed>
- Subject: [PN-world] (PN) Petri nets 2024: Second call for participation
- Date: Fri, 31 May 2024 14:18:46 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=unige.ch; dmarc=pass action=none header.from=unige.ch; dkim=pass header.d=unige.ch; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Dy/rFZZ2hmiYDDoxk3Bdv+E/n0/0RAF53HfdvAwkaOw=; b=dNFZ6hx5OWaqhO1ig14QKvTFQhFiQ2w6MoamTcjLNX+8ISgnggmHCGpoMvSrioa4eCztemibwDYt7k4H4nH1K87EkujDxO/PkVC5Vf1AMDOs69H+7P6fUTgzUB6iZX1DDFWGu22yvSryc1ZrZnQrbFm22uvyqYys3napPGTNMOXOaPRA06nU59/ZbGRciOuUH14lh6z0G2TskwJZPnW+xOC2ZSoHO9wJwynZjODwUS387NLrZLAFzBySbRdQJZNksGu/QCManC73RqjM42DT+N0UE89yHivQIbGfKh//k3WTzcgajKC2fvxEz6Srz1mfRzE725sSWZF1Qw4+yqaFAQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=GMf42ZUUrxV8mk2sK6d/V2DEoCtYpKRvnliGDCYitJpoR9LcI5ojEl6/p3/Zem8dun1Fo5V/rNa+BO5cVNLNz9agICjYAYHTyggbpO1Wn0l9K6GRZzBpirHZjF85vo3putgnzAkb6xkuisftTLAAYzWZJPVXnB4l/C8pVgFrrRYR+zUAUKcgWTbq4hpOxjOzzvbmjuxmnP6AF2Bet4KCQSMkBlrLso+IvMLQ/rPGjBSYjJMwMCFgVtNLAu3ZWrUyLmT2gOnQ00+5dnzpCPdVBfXpJftcmA6Nmwx1erClQfZoUwSLMju6HKxFF8ztLfvhHW3Mqgj3ayrv8rVK8PFaZg==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=informatik.uni-hamburg.de header.s=rrzs003 header.b=mNGXFN6K; dkim=fail ("headers rsa verify failed") header.d=unige.ch header.s=20230614 header.b=a0Uvae9a; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.114 as permitted sender) address@concealed; dmarc=pass (policy=none) header.from=uni-hamburg.de; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}")
- Ironport-data: A9a23:p2GpoKwk5+s4fLjjODJ6t+d7xyrEfRIJ4+MujC+fZmUNrF6WrkUCz DAXWzqFbvneZ2v1fNElboyz8EpSvpHRnINkSQM5qS00HyNBpOP7XtnIdU2Y0wF+jyHgoOCLy +1EN7Es+ehtFie0Si+Fa+Wn9T8lk/nTHtIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9i1aYDkpOs/jf8E405ayp0N8llgVWic5j7Qe2e0Y9UMp3yZGZdxPQXoRSF+imc OfPpJnRErTxpkpF5nuNy94XQ2VSKlLgFVHmZkl+AsBOtiN/Shkaic7XAha8hXB/0F1ll/gpo DlEncXqGFlxZvWkdO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2lxM65BwfhcK11Jz vwIAy9dSzqEisu5lefTpulE3qzPLeH0IYUet2E5nHSAS/c9QIuFXqPL6tIe1zdYasJmRK6YP pFfMGQpNU+ojx5nYz/7DLoSneupi2O5WSBTqEm9uKw27GWVxwwZPL3FbYSIIIfSGJw9ckCwr X//8UX/UwojHsGx5CLYrV2X1tfwknauMG4VPPjinhJwu3WLy3AJCRsbSXO6p/e+kEu3R9Ncb VES+28upK046VakCNXwNyBUu1aboxgdVsoJQqhjrhyLy6XZpQ2ZboQZcgN8hBUdnJdebVQXO pWhxrsF2RQHXGWpdE+g
- Ironport-hdrordr: A9a23:zkwXdK/ugFeshj+Kd4duk+FIdb1zdoMgy1knxilNoERuA6ilfr OV7ZMmPH7P+XYssR4b6LK90cW7Lk80lqQForX5X43SOTUO0VHAROoJgOffKlbbehEWg9Qttp uIBJIfNDSfNzZHZI3BkW+F+p4bsaC6GFzDv5ao85+TJzsaH52JEW1Ce3Om+wRNNXF7LIt8G5 yG6sVdoT28PXwRc8SgH3EAG/POvtvRifvdEG477jMcmXezZAmTmc/HOgnd2g1bXyJEwL8k/2 SAmwvl5r+7u/X+zhPHzWfc45lfhdOkk7J4db6xo9lQLi+phhejZYxnVbHHtDcpoPu34FJvlN XXuR8vM8l69nuUdGCophnm3RXmzV8Vmgzf4E7dhWGmrd3yRTo8BcYEjYVFcgHB405lp9142L Ij5RPni7NHSRfb2Cjt7dnBUB9n0kCup2A5jOIVh3tDFYMDdb5Yt+UkjTVoOYZFGDi/5JEsEe FoAs2Z7u1Ra0mGY3fQuXQqyMCwX240AgyNTiE5y4WoO3E/pgEy86NvrPZv00vp2vkGOtV5D6 WtCNUhqFk4JvVmJp6UJIw6MISK46z2MG7x2BH7GyWoKEgqAQOxl3es2sRP2AiDQu1z8HMx8K 6xEW9liQ==
- Ironport-phdr: A9a23:5A6oQRH09zQgXo+evxl/f51Gf/JLhN3EVzX9CrIZgr5DOp6u447ld BSGo6k33RmTDduQtKoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSsioeReWoMgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sK Bi6txvdu8oXjIdtKKs91gbCr2dVdehR2W5nKlWfkgrm6Myt5pBj6SNQu/wg985ET6r3erkzQ KJbAjo7LW07/dXnuxbbQwSA/3cRTGoYnAdQDwfK8B/1UJHxsjDntuVmwymVIdf2TbEvVju86 apgVQLlhz0GNz4992HXl9BwgadGqx+vuxBz34jZa5yTOfFjfK3SYMkaSHJBUMhPSiJBHo2yY YgTAOUOJutXtZXxp14UoBeiGQWhBuXiwSJIiH/s2q061vwsHw/H3AM9HtIBrm7Up8joOacPT e+1zLLIxijEYv1Y2Dfy9YnIfQ47of2WQL9wbNbeyUk0Fw7ek1WQr43lPzyL2egXr2eb7/NtW OSygGEotw9/uCKgxtswiobXnIIVzEjJ+DlkzYs3K9C1RkF1bcCkHZZQtyyXK5d7T98+Tmxqp So3yqMLtJq7cSUO1Jkq2x7SZ+CafoSW/x7uV+ecLDZmiH9jZbmxiRGy8U26xe39UMm5yEtKr ixEktnDqH8BzQDc6siBR/Bg/UmhwS6C2x3P5u1ePEw5m7DXJ4Mgz7Iqi5Yev1zPEjH3lUnqg qKbc1go9vSy5OnmZ7jrooKQO5NxhwzwLKsjn8myDOY+PwMTRWaU4/6826fm/UDhRbVKieA5n bfBvZDBIMQbura5AwhI0oY/8xq/Dymp0NAfnXQfIlNFZRSHj4n3NFDBPfz1Ce6zj0m2nDdq3 PDGP6bhDo/QLnjFkbfhcqhy51RAxwoz1dxf5pRUBa8dIP/rR0P9qMbUAgI3PgCu3urqCc9x2 p4QVG6XB6+WKqLSsVuG5uI1JOmMYZcYtjj8K/c45v7hk2U5lUUAcKm0wZQXaGu4E+97I0WfY HrsjckOHX0WsQo+VODqjkaNXiZJZ3muR6I8+i07CIW+AIveXoytmqCO3D+nHp1KYWBLEkiMH mn0d4WeWvcMbjydItN6nzwFU7ihRYgh1QurtADg17pnL+nU9jcFtZLl1dh5/u3Tmgs39TNvE sSdyW6NQ3tpkWwWXzM5waN/oU14ylqbyaZ2jPJXG8JP6f5VVAk2LYXcz/R0C93qQgzPZ8+HR lm+TtW9GTExQMo+w98QbEZ5HNWvlgjN0TOyDbEaxPS3A8l+6q/AxXn3KtpVynDI07MkhkUnQ Y1SM2zjhqd6/RXJCMjFng/Rw76nab4d2iPR3GaFw22UuUhEUQ02TKPEGHAWY0HLt9u/6k6UH JG0DrFyHgpNyMOYYoFXYd3yxQFqRfviNc6YSX+6m3yYGBCJyb7KZ4q8KDZV5znUFEVRy1Nbx n2BLwVrXk9J60rSDz1rQFToZU6ksexzs2iyQUJ8yQaWJ1Zg2Ly49l9w57ScRvof06hCtHInr DN5T1q41sjdXtyHoQcpda5AYNQ7tVFA02+RtwF0MpG6aa54gVtLbgJ2sE6o3BUkYrg=
================================================================================
# Call for participation:
# Petri Nets 2024 in Geneva, Switzerland (ICATPN 2024, June 23-28, 2024)
================================================================================
PETRI NETS 2024
The 45rd International Conference on Application and Theory of Petri Nets and Concurrency, affiliated workshops, advanced tutorials, the Petri net PhD course, the model checking contest and tool exhibition will take place in Geneva,Switzerland on 23 June - 28 June.
https://www.unige.ch/petrinets2024
Registration is now open (deadline early registration, may 20)
https://www.unige.ch/petrinets2024/registration
====================================================================
Invited speakers main conference (Wed/Thu/Fri):
- Prof. Jose-Manuel Colom : Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation
- Prof. Gabriele Taentzer : On the Application of Model-Driven Optimization to Business Processes
- Prof. Rob van Glabbeck : Just Distributability
====================================================================
Affiliated Workshops (Mon-Tue)
- Workshop on Petri Nets and Software Engineering (PNSE'24)
- PeNGE
- 14th edition of the Model Checking Contest (MCC'22)
====================================================================
Advanced Tutorials (Mon-Tue)
- Petri nets-driven design of controllers for cyber-physical systems: Luis Gomes (NOVA University Lisbon)
- Adequate modeling of agent-based systems with reference nets: Daniel Moldt (Universität Hamburg)
====================================================================
Petri Net PhD course (Sun-Tue)
- Basic net classes: Jörg Desel (FernUniversität in Hagen)
- Coloured Petri nets and the CPN Tools: Lars Michael Kristensen (Western Norway University of Applied Sciences)
- Verification and model checking of Petri Nets: Karsten Wolf (University of Rostock)
- Timed and Stochastic Petri nets: Serge Haddad (ENS Paris-Saclay)
====================================================================
Social events (Wed-Thu)
- Reception at the Botanic Garden (Wed)
- Conference dinner in the city centre (Thu)
----
- [PN-world] (PN) Petri nets 2024: Second call for participation, Didier Buchs via Petrinet, 06/09/2024
Archive powered by MHonArc 2.6.19+.