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
2020/04
121 mails
Chronological Thread << < page # 3/5 > >>
- [Coq-Club] POPL 2021 - Call for Workshops and Co-located Events - due 2020-05-29, Michael Greenberg, 04/16/2020
- [Coq-Club] LFMTP 2020 CFP (UPDATES due to Coronavirus), Claudio Sacerdoti Coen, 04/16/2020
- [Coq-Club] Certified Programs and Proofs (CPP) 2021: First Call for Papers, Andrei Popescu, 04/16/2020
- [Coq-Club] Why `ex2`?, Maximilian Wuttke, 04/17/2020
- Re: [Coq-Club] Why `ex2`?, Christian Doczkal, 04/17/2020
- Re: [Coq-Club] Why `ex2`?, Maximilian Wuttke, 04/18/2020
- Re: [Coq-Club] Why `ex2`?, Hugo Herbelin, 04/18/2020
- Re: [Coq-Club] Why `ex2`?, Maximilian Wuttke, 04/18/2020
- Re: [Coq-Club] Why `ex2`?, Christian Doczkal, 04/17/2020
- [Coq-Club] PhD programs in programming languages and formal methods, Carl Patenaude-Poulin, 04/17/2020
- Re: [Coq-Club] PhD programs in programming languages and formal methods, Jeremy Dawson, 04/18/2020
- Re: [Coq-Club] PhD programs in programming languages and formal methods, Samuel Gruetter, 04/22/2020
- [Coq-Club] Submit to FCS 2020: Workshop on Foundations of Computer Security, Joshua Gancher, 04/17/2020
- [Coq-Club] [CfP] ICLP2020 Main Track: The 36th International Conference on Logic Programming, Laura Pandolfo, 04/20/2020
- [Coq-Club] bottom , false, Patricia Peratto, 04/21/2020
- [Coq-Club] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (CfP, Deadline Extension), Bruno Bernardo, 04/21/2020
- [Coq-Club] VTLTC 2020 - Final Call for Online Participation, r.e.monti AT utwente.nl, 04/21/2020
- [Coq-Club] [CfP] ICLP2020 Sister Conferences and Journal Presentation Track: The 36th International Conference on Logic Programming, Laura Pandolfo, 04/21/2020
- [Coq-Club] [CfP] ICLP2020 The Research Challenges Track: The 36th International Conference on Logic Programming, Laura Pandolfo, 04/21/2020
- [Coq-Club] Overloading the forall notation, Gregory Malecha, 04/22/2020
- Re: [Coq-Club] Overloading the forall notation, Jason Gross, 04/22/2020
- [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com, 04/22/2020
- Re: [Coq-Club] any Ltac2 examples out there?, Jason Gross, 04/22/2020
- Re: [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com, 04/22/2020
- Re: [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com, 04/22/2020
- Re: [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com, 04/22/2020
- Re: [Coq-Club] any Ltac2 examples out there?, Tej Chajed, 04/22/2020
- Re: [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com, 04/22/2020
- [Coq-Club] Ltac2 retraction bug?, jonikelee AT gmail.com, 04/22/2020
- Re: [Coq-Club] Ltac2 retraction bug?, Maximilian Wuttke, 04/22/2020
- Re: [Coq-Club] Ltac2 retraction bug?, Pierre Courtieu, 04/23/2020
- Re: [Coq-Club] Ltac2 retraction bug?, jonikelee AT gmail.com, 04/23/2020
- Re: [Coq-Club] any Ltac2 examples out there?, Jason Gross, 04/22/2020
- [Coq-Club] Call for Papers -International Conference on Machine learning and Cloud Computing (MLCL 2020), Liya Mallory, 04/22/2020
Archive powered by MHonArc 2.6.18.