coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: CIE2017 <cie2017 AT abo.fi>
- To: cie2017 AT abo.fi
- Subject: [Coq-Club] CiE 2017: call for informal presentations
- Date: Tue, 18 Apr 2017 11:56:35 +0300
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cie2017 AT abo.fi; spf=Pass smtp.mailfrom=cie2017 AT abo.fi; spf=None smtp.helo=postmaster AT smtp5.abo.fi
- Ironport-phdr: 9a23:Wwv+sxeXrOCi2pp4HvngPc5ZlGMj4u6mDksu8pMizoh2WeGdxcS5Yh7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+u6bplRwHtiCcGMT426nvXgdF0gK9VvB6tuxlzzojJa4+XKfV+ZLvQc9MHS2pbQMhfVCJPDY2zYIQTFOcOJ/pUopPnqlcSoxazBw+hD/7vxD9SgX/22LU33voiHw/JwgAsA88CvXbJp9jyKKgSUP66wLfUwTnebf5bwi3y55PPchw7r/GMXKt9fMzMwkchEAPFi0+fqY3jPz6NyOsCqXOb7up8WuKvkWEnqhtxriKoxsc2hYnFnp8VykzZ9SljzoY1JNu1Q1N4b968CJZcqi+XO5dsTs88TWxkpjw2xqMbtZO1ZiQG1YorywLHZ/CafYWE/gjvWPifLDtmnn5oe7Oyiwyv/US9xeDxUNS/3kxQoSpfiNbMs2gA1xzN5ciDTftw5lyh2TOT1wDL6uxIO1o7mrHcK5I7zL4wl4IfsUXFHiDohEX7lLKae0s49uSy9ejqbKvqqoWCO4NphAzyKLkiltKjDeggNwgBRWmb+eCy1L35+k35Ra1HgeE3kqbHrpzWOdkXq6yiDgBPyYkj7AyzDzmn0NgAh3kIMEpFeA6bj4juI1zBPOr3DfK7g1i1lDdrxuvGPqH6D5XWLnnDla/hcqxn505dzgoz19Ff6IhOBrEPOvL5QlXxu8DADh8lLwy0xP7qB8l61oMHQG6AHquZML7JvlKT/eIuI+yMZJcPtzrnKvgl4eTujX4jllMHc6mpx8hfVHftFfVreR3APlLliNBHH2ZZhAcmSP3WjwiJUDMJPy/td6s24Xc1CdGIF4DGE6uMrebZhXjzSpZXazoeUw+kGH3vMYuFDaRfIBmOK9Nsx2VXHYOqTJUsgEr27AI=
Call for informal presentations |
- [Coq-Club] CiE 2017: call for informal presentations, CIE2017, 04/18/2017
Archive powered by MHonArc 2.6.18.