Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Last call for participation: EuroProofNet Work...

view this post on Zulip Email Gateway (Aug 31 2022 at 16:30):

From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Dear all,

The program of the EuroProofNet Workshop on the development,
maintenance, refactoring and search of large libraries of proofs, 23-24
September 2022, is now online:

https://europroofnet.github.io/wg4-meeting1/

Registration is free but mandatory. To attend the workshop, physically
or online, please send me a mail.

Best regards,

Frédéric Blanqui, chair of EuroProofNet.

view this post on Zulip Email Gateway (Sep 01 2022 at 11:36):

From: Alexandre Rademaker <arademaker@gmail.com>
Hi Frederic,

I would like to attend remotely, is it possible?

Alexandre Rademaker
Sent from my iPhone

view this post on Zulip Email Gateway (Sep 01 2022 at 12:11):

From: Paqui Lucio <paqui.lucio@ehu.es>
Montse,
Te ha llegado esto, verdad?

Saludos,
Paqui

-----Mensaje original-----
De: cl-isabelle-users-request@lists.cam.ac.uk <cl-isabelle-users-request@lists.cam.ac.uk> En nombre de Alexandre Rademaker
Enviado el: 01 September 2022 13:37
Para: Frédéric Blanqui <frederic.blanqui@inria.fr>
CC: isabelle-users@cl.cam.ac.uk
Asunto: Re: [isabelle] Last call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs

Hi Frederic,

I would like to attend remotely, is it possible?

Alexandre Rademaker
Sent from my iPhone

Last updated: Apr 24 2024 at 16:18 UTC