coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Looking for ESOP'22 AEC members

From: Andreea Costea <andreeac AT comp.nus.edu.sg>
To: coq-club AT inria.fr
Subject: [Coq-Club] Looking for ESOP'22 AEC members
Date: Mon, 18 Oct 2021 14:56:04 +0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andreeac AT comp.nus.edu.sg; spf=Pass smtp.mailfrom=andreeac AT comp.nus.edu.sg; spf=None smtp.helo=postmaster AT mailgw0.comp.nus.edu.sg
Ironport-hdrordr: A9a23:kAzoMqhZFIZY9JEP87PeOJaZ8XBQXt4ji2hC6mlwRA09TyX+rbHXoB17726MtN9/YhAdcLy7WJVoIkmzyXcW2/h0AV5zZniChILAFugLhuaPrAEIcBeOlNK1u50QEJSWROeAa2ST3a7BkW6F+gkbquW6zA==
Ironport-phdr: A9a23:yNT+/h23OHnacwBJsmDODwQyDhhOgF0UFjAc5pdvsb9SaKPrp82kYBaHo6Q0xwKWFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9qr2+yo/5DffgpEiTq/bLhvMBi4sALdu9UMj4B/MKgx0BzJonVJe+RS22xlIE+Ykgj/6Mmt4pNt6jxctP09+cFOV6X6ZLk4QqdDDDs6KWA15dbkugfFQACS+3YTSGQWkh5PAwjY8BH3W4r6vyXmuuZh3iSRIMr5Q60pWTS596dkVgPniDsJOT4+9WHYkM1wjKRGqx6lqBFyx4vYbYeIP/R8Y6zdZ8sXSmVPUMhRSSJPH4S8YYgADuUPIelWoJLwp0cNoBu8GQWgGPnixz1Oi3Tr3aM6yeMhEQTe0QE8GdIBrW7Uo8vrO6gITOu40q7IzS7fb/xIwzj29Y/FfQonof6RR7J/b9TexlMzGA7eklqQronlPyuP2uQLrmib9PBsWvyyhG46sQ1xuTevy94qh4LUiY0b1krK+j9lwIYpO9K4Ukh7bMa5HJZNtyyXOJZ6TMwmTmxspis316ALtYKmcSUUy5kqxR7RZ+KEfoWJ7R/vSOWcLClliX9kZr6zmgi+/VSvxODiUMS/zVhEri1AktbWt3AN0QTe6tSdRvRh+Ues3yuE2QPL6uxcPEw5m6jWJ4Q8zrM+iJYfq0fOEyDslEnokKObcFgv9PKy5OT9eLrmo4eRN49qhQH6NaQjgsm/Dv45MggKUGia9/iw2Kf/8k3+RbVKluc6kq/EsJDBP8gUuLO2AxJP3oY45BazFzam0NIGknkbNF9JZRyKgorzN13TLv30E+2zjlejnTtx2fzKIqXtApDXIXjClLfhc6x960lZyAcr199f4Y9bCqsfL/3tQED+qMfVAQM+Mwyx2+brEtN91p4FWW6VHKCWLb7SvUWT5uIgO+WMfpMauC7hK/g54P7jlWM2mVgEfaWwwZQXbG24Ee99LkWCYXvsh88BHn0Qsgo/SuzqklyCXiRJa3a8RaJvrg08XYmhFMLIQp2nqL2HxiayWJNMNU5cDVXZOHHkbYiJUr8nbzmOL8YpxjUCWaKsRoYq/RqpsRe8zad8aOfY52sDusSwh5BO++TPmERqpnRPBMOH3jTRHgmccUsDQDoumqZiugpwxkrFyqcq2pSw8PRY4PZRFAEnLtjRw/E8EN+gAmopn/+MQVeiTcr+Rzo2S8p3xcIVJUtxBpO5gUKbtxc=
Organization: National University of Singapore

For the first time since its foundation, ESOP will carry out an Artifact Evaluation process. The goal is to share with the community the research artefacts of papers accepted to its research track, acknowledging those works which have been rigorously implemented, tested and documented.

To this purpose, we are looking for motivated students and postdocs to be members of the ESOP 2022 Artifact Evaluation Committee (AEC). The primary responsibility of an AEC member is to run the associated tools and confirm the results reported in the papers. If you know someone suitable for this role, please nominate them in the following form (or share the form with them for self-nomination):

https://t.co/Jqa7edDqTg?amp=1

Come join us in this effort!

Kind Regards,
Andreea Costea and KC Sivaramakrishnan,
AEC Co-Chairs of ESOP 2022

[Coq-Club] Looking for ESOP'22 AEC members, Andreea Costea, 10/18/2021