coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] [CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!
Chronological Thread
- From: Enrico Tassi <Enrico.Tassi AT inria.fr>
- To: coq-club AT inria.fr, coqdev AT inria.fr, coq+announcements AT discoursemail.com
- Subject: [Coq-Club] [CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!
- Date: Wed, 03 May 2023 12:59:55 +0200
- Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Enrico.Tassi AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr
=======================================================================
Seventh Coq Users and Developers Workshop
June 26th - June 30th, 2023
Sophia-Antipolis (Nice, France)
=======================================================================
The Coq Users and Developers Workshop is an event that brings together
the core developers of Coq and users interested in understanding,
improving or extending the system via its OCaml APIs or extension
languages such as Ltac2, MetaCoq or Elpi.
Its seventh edition will take place at the Sophia-Antipolis Inria
center, near Nice, from June 26th to June 30th, 2023.
Registration to this event is free but mandatory for organization
purposes. To register you should simply add your name in the list of
participants on the wiki at the following address:
https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2023
If there is a specific topic you would like to work on, or discuss
about with the core devs, we recommend that you write it down there as
well. This will allow to elaborate a schedule so that people can work
in parallel groups, and synchronize regularly. All topics related to
Coq and its ecosystem are welcome.
More information can be found on the wiki or asked on the Zulip
channel: https://coq.zulipchat.com/#narrow/stream/373964-CUDW-2023
The event will be in person only, no remote attending.
We want the event to be safe to attend. We will enforce the Coq code of
conduct: https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md
We hope to see many of you at the CUDW 2023!
--
Enrico Tassi
- [Coq-Club] [CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!, Enrico Tassi, 05/03/2023
Archive powered by MHonArc 2.6.19+.