coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq Dev & User meetings + Coq Workshop

From: Matthieu Sozeau <matthieu.sozeau AT inria.fr>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "coqdev AT inria.fr" <coqdev AT inria.fr>
Subject: [Coq-Club] Coq Dev & User meetings + Coq Workshop
Date: Tue, 16 May 2017 09:30:06 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=matthieu.sozeau AT inria.fr; spf=Pass smtp.mailfrom=matthieu.sozeau AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f175.google.com
Ironport-phdr: 9a23:o6zHpRVydQP8DSRyhUrK4x3S03/V8LGtZVwlr6E/grcLSJyIuqrYbBCAt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YhMx/jqJVrhyiqRJi3YDbfJqYO+Bicq7HZ94WWXZNU8RXWidcAo28dYwPD+8ZMOhftYb9u0cOrRu/BQayGePk1yJGhnj33KIkyeshDBzN0QslH90UrHTUsNX1NKYMXuCo1qXI1jLDbvJI1jjn9YjFaREhofeWXbJxa8Xd00cvFxncg1iWtIfrPCuV2/wTv2SH6+dsT+Gihm49pw1vvzSixN0ghpTLi48VzF3P6D93z5wvJdKiTU52ed6kH4VUtyGdL4Z2R9ktQ2BsuCoj170Jo4K3cDEEyJg6xRPSa+aLc4eP4hLkW+aRJSl3iGh5d7K4gha+6UmgyuviWcmoyFtGsDZJn93Wun0O1xHf8NaLRuZ/80u7xDqC1QDe5vlBIU8ulKrbL5AhwqQ3lpoWqUnDGzX5mFnqjK+Wd0Ur5PWo5/78YrXhp56TKZV7ihzlP6Qhn8ywG+U4MgwUU2eH/uS80aXv/VflT7VSkv02jq7ZvYjGKsQcv661GhNa0oI+6xmkFDqmy9QZnXwfLF1fYh6Hjo7pO0vPIP/iF/u/jU6smi9xx//aJr3hHonNLn/bnbj9erZ98lNTxxQtzd1E/JJVCrQBIOrpVUPrtdzYCAU5Mw2uzOr9BtV9zNBWZWXaSKSeKebZtUKCzuMpOeiFIoEP8n6pIP88ovXqkHURmFkHfKDv04FBLDjyFfN/L0iHSXvqmNYIV2kQ9EJqR+vzhFCceT9VfXe7GawmsGIVEoWjWKLKWpytgbGclBy8DJBfeygSD1mQDXfpepjCQPAeZSuPCs5niD0NE7a7HdxynSqyvRP3nuI0ZtHf/TcV4Mru

Dear all,

the developers meeting inscription are closed now. Due to administrative issues, the Coq User meeting + workshop is postponed to a later date, we will keep you updated when we have more information available.

Best regards,
-- Matthieu Sozeau

[Coq-Club] Coq Dev & User meetings + Coq Workshop, Matthieu Sozeau, 05/16/2017
- Re: [Coq-Club] [coqdev] Coq Dev & User meetings + Coq Workshop, Enrico Tassi, 05/17/2017