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
2022/04
61 mails
Chronological Thread << < page 1 / 3 > >>
- [Coq-Club] Question about permutations, sorting and reification, Thomas Sewell, 03/31/2022
- Re: [Coq-Club] Question about permutations, sorting and reification, Kazuhiko Sakaguchi, 04/01/2022
- Re: [Coq-Club] Question about permutations, sorting and reification, Thomas Sewell, 04/02/2022
- Re: [Coq-Club] Question about permutations, sorting and reification, D. Ben Knoble, 04/01/2022
- Re: [Coq-Club] Question about permutations, sorting and reification, Kazuhiko Sakaguchi, 04/01/2022
- [Coq-Club] Summer Internships using Coq at CertiK, Vilhelm Sjöberg, 04/01/2022
- [Coq-Club] ICTCS'22: preliminary CfP, Daniele Gorla, 04/04/2022
- [Coq-Club] Proving p: Z is prime for large p, Timothy Carstens, 04/04/2022
- Re: [Coq-Club] Proving p: Z is prime for large p, roux cody, 04/05/2022
- Re: [Coq-Club] Proving p: Z is prime for large p, Benoît Viguier, 04/05/2022
- Re: [Coq-Club] Proving p: Z is prime for large p, Timothy Carstens, 04/05/2022
- Re: [Coq-Club] Proving p: Z is prime for large p, Michael Soegtrop, 04/05/2022
- Re: [Coq-Club] Proving p: Z is prime for large p, Benoît Viguier, 04/05/2022
- Re: [Coq-Club] Proving p: Z is prime for large p, mukesh tiwari, 04/05/2022
- Re: [Coq-Club] Proving p: Z is prime for large p, roux cody, 04/05/2022
- [Coq-Club] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd cfp), Alexandre Madeira, 04/06/2022
- [Coq-Club] Tenure-track assistant professor in Formal Aspects of Programming Languages, Coen DE ROOVER, 04/08/2022
- [Coq-Club] ICFP 2022 Student Research Competition: Call for Submissions, Danel Ahman, 04/11/2022
- [Coq-Club] MPC 2022 - Deadline extension, Daggitt, Matthew, 04/11/2022
- [Coq-Club] FTfJP 2022 - Call for Papers - Deadline Extended!, Henrique Rebêlo, 04/13/2022
- [Coq-Club] Call For Paper: 5th Workshop on Program Equivalence and Relational Reasoning (PERR2022 @ CAV/FLOC), Mattias Ulbrich, 04/13/2022
- [Coq-Club] Diagram showing evolution of program logics?, Stefan Muller, 04/15/2022
- Re: [Coq-Club] Diagram showing evolution of program logics?, Lennart Beringer, 04/15/2022
- Re: [Coq-Club] Diagram showing evolution of program logics?, Ben Knoble, 04/16/2022
- [Coq-Club] PhD offer: Compositional verification of system program modules in Rust - Inria Rennes, Jean-Pierre, 04/18/2022
- [Coq-Club] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software, Giselle Reis, 04/18/2022
- [Coq-Club] Postdoc position in Tokyo: model checking and optimization metaheuristics, Ichiro Hasuo, 04/18/2022
- [Coq-Club] SAT/SMT/AR + CP Summer School, Ori Lahav, 04/18/2022
- [Coq-Club] ICFP'22 Artifact Evaluation Committee: call for nominations, Jannis Limperg, 04/19/2022
- <Possible follow-up(s)>
- [Coq-Club] ICFP'22 Artifact Evaluation Committee: call for nominations, Jannis Limperg, 04/24/2022
- [Coq-Club] Call for Participation FUN 2020 & 2022, Mosteiro, Miguel A., 04/19/2022
- [Coq-Club] Formal Methods 2023 -- Joint call for workshop & tutorial proposals, Violet Ka I Pun, 04/20/2022
- [Coq-Club] Second Call for Papers SYNASC 2022, SYNASC 2022, 04/20/2022
Archive powered by MHonArc 2.6.19+.