coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2015/04
121 mails
Chronological Thread << < page # 3/5 > >>
- [Coq-Club] CFP: ATVA 2015, David N. Jansen, 04/13/2015
- [Coq-Club] LOLA 2015: Second Call for Talk Proposals, Ulrich Schöpp, 04/13/2015
- [Coq-Club] MSet of keys of a FMap, Leonardo Rodriguez, 04/14/2015
- <Possible follow-up(s)>
- Re: [Coq-Club] MSet of keys of a FMap, CJ Bell, 04/14/2015
- [Coq-Club] semiring definition, Vadim Zaliva, 04/14/2015
- [Coq-Club] 2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015), Michael Winter, 04/15/2015
- [Coq-Club] Call for Votes on Bids to Host ITP-2016, Christian Urban, 04/16/2015
- [Coq-Club] CICM 2015 Doctoral Programme [2nd Call for Applications], Muhammad Umair Siddique, 04/17/2015
- [Coq-Club] Strathclyde PhD Position, Conor McBride, 04/17/2015
- [Coq-Club] monadic proof values and constructors, Kevin Sullivan, 04/17/2015
- Re: [Coq-Club] monadic proof values and constructors, Gregory Malecha, 04/17/2015
- [Coq-Club] AlCoB 2015: presentation of work in progress, GRLMC, 04/18/2015
- [Coq-Club] Last Call: The Coq workshop, deadline April 30th, 2015, bertot, 04/21/2015
- [Coq-Club] forall implication, richard dapoigny, 04/27/2015
- Re: [Coq-Club] forall implication, Pierre Courtieu, 04/27/2015
- Re: [Coq-Club] forall implication, richard dapoigny, 04/27/2015
- Re: [Coq-Club] forall implication, Pierre Courtieu, 04/27/2015
- Re: [Coq-Club] forall implication, richard dapoigny, 04/27/2015
- RE: [Coq-Club] forall implication, Soegtrop, Michael, 04/27/2015
- Re: [Coq-Club] forall implication, Richard Dapoigny, 04/27/2015
- Re: [Coq-Club] forall implication, Pierre Courtieu, 04/27/2015
- [Coq-Club] forall implication, richard dapoigny, 04/27/2015
- [Coq-Club] CICM 2015 - Call for Work-in-Progress Papers, Serge Autexier, 04/21/2015
- [Coq-Club] AI4FM 2015: Call for Short Contributions, Iain Whiteside, 04/21/2015
- [Coq-Club] Extended deadline: ATVA 2015, 13th International symposium on Automated Technology for Verification and Analysis, David N. Jansen, 04/21/2015
- [Coq-Club] APLAS 2015: Call for Papers (2nd Call), Xinyu Feng, 04/22/2015
- [Coq-Club] [Second call for participation] Spring School about Proofs of Programs using Coq, Yann Régis-Gianas, 04/22/2015
- [Coq-Club] Error using "rewrite with" in Coq 8.5beta1 when names clash, Soegtrop, Michael, 04/22/2015
- [Coq-Club] TABLEAUX - Call for Papers, Geoff Sutcliffe, 04/22/2015
- [Coq-Club] Coq 8.5 beta 2, Matthieu Sozeau, 04/23/2015
- RE: [Coq-Club] Coq 8.5 beta 2, Soegtrop, Michael, 04/23/2015
- [Coq-Club] LOLA 2015: Deadline extended to May 11, Ulrich Schöpp, 04/23/2015
Archive powered by MHonArc 2.6.18.