coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Save the Date: Coq Users and Developers Workshop

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr, coqdev AT inria.fr
Subject: [Coq-Club] Save the Date: Coq Users and Developers Workshop
Date: Mon, 8 Apr 2019 16:40:12 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT maximedenes.fr; spf=Pass smtp.mailfrom=mail AT maximedenes.fr; spf=None smtp.helo=postmaster AT 10.mo179.mail-out.ovh.net
Ironport-phdr: 9a23:8Wv+aBy6RuMBTFvXCy+O+j09IxM/srCxBDY+r6Qd2+seIJqq85mqBkHD//Il1AaPAdyCrasfwLWG++C4ACpcuM7H6ChDOLV3FDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjMusUMnIdvJKk9xxnKr3BVf+ha2X5kKUickhrh+su85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnHUwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhSwaKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6XQds4YS2VcRMZcTyxPDJ2hYYUMAeQOM+lXoJXyqVYVsRuzBxOhCP/zxjJGhHL727Ax3eQ7EQHB2QwtB9UAv27brdX0MacdT/2+wqfSyjXFdvRWwir25Y/Nch87oPGMWal9cc/LxkggFgPFi0ufppH7MDOTyOsNqHKX7+R6Ve+2jWMstg9/oj+qxsg2i4nJgJoYyl/F9SVlwIY1OMa3RFRnbt6jFZtdsTyROYhuQs46TGxluTw2xqAatZO7ZiQHypAqywTQZvGGa4SE/xzuWeWLLTp8hX9pYq+zihKz/ES61+HxWM253VBXpSRfiNbMrGoC1xnL58iHVPR9+kCh1C6S2wzP8O1EJEc0mbfZJpMl2LIwk4AcsUXHHiPvn0X2kbOWel8j+ui26+TreLPmqYGAN4NsiwH+NLohmtCnDOk3MwUCRXWX9fi82bH5/0D0RK9Gg/I3n6XBtZDVP8Ubpqq3Aw9P1YYj7g6yDzK839QZmXkKN1dFdwiIjojoPlHBPu33Aum5g1uyizdn3f7GPqf5DpXXMnfDiKvhfap660NE1AUzyslf64tIBbEFPfL8QVT8tMfYDx88Kwy72fzrCNR71oMEWGKAGLWVMK3IsQzA2uV6KO6VIYQRpTzVKv4/5veog2V90VQaZKWkw7MWbmq5F7JoORa3e33p1/IIAWYPs0ISzepqkxXWVDdSY163VrI94zw3BYSrFsHNXNb+0/S6wC6nE8gONSh9AVeWHCKwLtjWa7I3cCuXZ/RZvHkEWLymEdBzjEnosQijlOshK+PV/mgfqI6l08Z1oeveiUNqrGAmP4Gmy2iIClpMsCYQXTZvgvJ6qFx8z1qP3K51mLpWD44LvqIbYkIBLZfZitdCJZX3UwPFcM2OTQ/4ENCvETA0Q948xdIVJUhnSYyv

Dear all,

The 5th Coq Users and Developers Workshop will take place in
Sophia-Antipolis (near Nice, France) from June 3rd to 7th.

This workshop is an event that brings together the core developers of
Coq and people interested in understanding, improving or extending the
system.

We will pay special attention to welcoming people new to Coq's development.

For more information, please have a look at the wiki page:
https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2019

The program will be elaborated from ideas suggested by the participants,
so please submit your topics of interest (or personal projects you would
like to work on) on the wiki page.

Hoping to see you soon in Sophia-Antipolis!

Maxime.

[Coq-Club] Save the Date: Coq Users and Developers Workshop, Maxime Dénès, 04/08/2019