Animation and exchanges in the Petri Nets community

[address@concealed]

Dear Fellow Researchers!

Our dear colleague and friend David Basin is turning 65 in December 2026 and 
this has to be celebrated! We therefore organize a Festschrift and a Fest to 
celebrate his birthday and his extensive research contributions! 

The Fest/celebration itself will be held as a one-day event on the 15th of 
January 2027 at ETH Zürich. We have already checked that David is available. 
You do not have to keep it a secret - on the contrary, it is great if you 
share this message with anybody who might like to contribute!

We hereby cordially invite you to contribute an article to the Festschrift 
and present it at the Fest. We welcome contributions in all areas close to 
David's research and interests, including but not limited to security, 
privacy, formal methods, logic, automated reasoning, model checking, theorem 
proving, software engineering, bridge, juggling, biking and more. The 
articles will be lightly reviewed by the Festschrift committee, and the 
proceedings will be published by Springer Heidelberg in the LNCS series. 
David will of course love to receive a research article from you, but also 
short personal articles that celebrate the history and friendship with David 
will be very much appreciated.

We would like to set a deadline for submissions at the 21st of May 2026 via 
our submission site <https://easychair.org/conferences/?conf=feschi2027>. 
Articles should be formatted in Springer’s LNCS style and not exceed 5 pages 
for personal articles and 16 pages for scientific articles. If you have a 
work that you would like to contribute that does not fit into this page 
limit, it might be possible, but please reach out to us first. 

There will be no participation fee for the Fest and coffee breaks, lunch, and 
dinner will be included. Travel and accommodation costs are at the expense of 
the participants. We are happy to provide hotel suggestions for Zürich.   

Submission Information:

* Format: 16 pages in LNCS format, templates available at:
  
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>
* Submission: 
  <https://easychair.org/conferences/?conf=feschi2027>
* Website (under construction) with updates and further information: 
  <https://feschi2027.github.io/>
* Timeline:
  * Submission:   21 May 2026
  * Notification: end of June 2026 (to be confirmed)
  * Camera Ready Copy: early September 2026 (to be confirmed)


Please let us know if you have any questions!

Best wishes
Achim D. Brucker (University of Exeter)
Sebastian Mödersheim (Danmarks Tekniske Universitet)
Christoph Sprenger (ETH Zürich)
Luca Viganò (King’s College London)