Festschrift in Honour of David Basin

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
• 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)