Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ECOOP 2026: Call for AEC members


view this post on Zulip Email Gateway (Nov 21 2025 at 14:05):

From: Quentin Stievenart <stievenart.quentin@uqam.ca>

============ Call for Self-Nominations to ECOOP's 2026 AEC ============

We are seeking members of the community to join ECOOP's artifact evaluation committee! If you are interested, please submit your nomination through the dedicated form:

https://framaforms.org/ecoop26-artifact-evaluation-pc-self-nominations-1763134109

Please also don't hesitate to forward this mail to anybody that may be interested.
We welcome industry practitioners, researchers, and senior PhD students, preferably with prior experience in SE/PL conferences.

Members of the AEC will have to review artifacts in two rounds: one from end of February to mid-March, the second from mid-April to mid-May. The co-chairs will process nominations by January 2026.

Thank you for your help,
The AEC chairs, Yannick Zakowski and Quentin Stiévenart


Last updated: Dec 02 2025 at 16:32 UTC