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
2021/05
54 mails
Chronological Thread << < page 2 / 2 > >>
- Re: [Coq-Club] proof with as, (continued)
- Re: [Coq-Club] proof with as, Christopher Ernest Sally, 05/18/2021
- [Coq-Club] question about as, Patricia Peratto, 05/17/2021
- [Coq-Club] Postdoc position (7 months) on type theory, working remotely is possible, Benedikt Ahrens, 05/17/2021
- [Coq-Club] 12th International School on Rewriting (ISR 2021), online and free, ADRIAN RIESCO RODRIGUEZ, 05/18/2021
- [Coq-Club] Call for Papers -- GPCE 2021, Gregory Kildow, 05/19/2021
- [Coq-Club] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield, Andrei Popescu, 05/19/2021
- [Coq-Club] PhD or postdoc position on program verification in Coq/Iris at Radboud University Nijmegen, Robbert Krebbers, 05/20/2021
- [Coq-Club] Unexpected hanging formalization, Polina Vinogradova, 05/20/2021
- [Coq-Club] CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021), Miguel Areias, 05/21/2021
- [Coq-Club] 8th International Conference on Recent Advances in Pure and Applied Mathematics 2021, ICRAPAM 2021, 05/22/2021
- [Coq-Club] Recursion over indexed/mapped finite data structure, Christopher Ernest Sally, 05/25/2021
- Re: [Coq-Club] Recursion over indexed/mapped finite data structure, Sylvain Boulmé, 05/25/2021
- Re: [Coq-Club] Recursion over indexed/mapped finite data structure, Christopher Ernest Sally, 05/25/2021
- Re: [Coq-Club] Recursion over indexed/mapped finite data structure, Jean-Francois Monin, 05/25/2021
- Re: [Coq-Club] Recursion over indexed/mapped finite data structure, Christopher Ernest Sally, 05/25/2021
- Re: [Coq-Club] Recursion over indexed/mapped finite data structure, Sylvain Boulmé, 05/25/2021
- [Coq-Club] PhD position on the formalization of logical calculi in Saarbrücken, Andrei Popescu, 05/26/2021
- [Coq-Club] PhD position in HoTT/UF at TU Delft, Benedikt Ahrens, 05/26/2021
- [Coq-Club] Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021), Miguel Areias, 05/26/2021
- [Coq-Club] PhD position on program verification in Coq, David Nowak, 05/28/2021
- [Coq-Club] Call for Participation. CiE 2021: Connecting with computability, acie, 05/28/2021
- [Coq-Club] PhD defense, Talia Ringer, 05/29/2021
- Re: [Coq-Club] PhD defense, Alex Shkotin, 05/29/2021
- Re: [Coq-Club] PhD defense, Ankit Kumar, 05/29/2021
- Re: [Coq-Club] PhD defense, Dan Dougherty, 05/29/2021
- [Coq-Club] CALCO 2021: Deadline extension and invited speakers, Thorsten Wissmann, 05/29/2021
Archive powered by MHonArc 2.6.19+.