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/03
41 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] Postdoc and PhD position in homotopy type theory, Nicolai Kraus, 03/03/2022
- [Coq-Club] Ltac2 tutorial?, Talia Ringer, 03/03/2022
- Re: [Coq-Club] Ltac2 tutorial?, Talia Ringer, 03/03/2022
- [Coq-Club] PhD Position in Number Theory and Formalization, Andrei Popescu, 03/03/2022
- [Coq-Club] iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications, geoff, 03/03/2022
- Re: [Coq-Club] Call for bids to host ITP 2023, Leonardo de Moura, 03/04/2022
- [Coq-Club] PLDI 2022 Call for Student Volunteers, William J. Bowman (PLDI 2022 Publicity Co-chair), 03/04/2022
- [Coq-Club] TAP22: Tests and Proofs 2022 - Call for Papers, geoff, 03/07/2022
- <Possible follow-up(s)>
- [Coq-Club] TAP22: Tests and Proofs 2022 - Call for Papers, Catherine DUBOIS, 03/07/2022
- [Coq-Club] New proof repair tutorial just dropped, Talia Ringer, 03/08/2022
- [Coq-Club] Call for STSMs, deadline 3 April 2022, Ambrus Kaposi, 03/08/2022
- <Possible follow-up(s)>
- [Coq-Club] Call for STSMs, deadline 3 April 2022, Ambrus Kaposi, 03/24/2022
- [Coq-Club] AITP 2022 - Call for Contributions, Josef Urban, 03/08/2022
- [Coq-Club] TYPES 2022 -- Deadline extension, Pierre-Marie Pédrot, 03/10/2022
- [Coq-Club] The Coq Workshop 2022: Call for Presentation Proposals, Talia Ringer, 03/10/2022
- [Coq-Club] Type checking in the Vector library, Sylvain Salvati, 03/11/2022
- Re: [Coq-Club] Type checking in the Vector library, Meven LENNON-BERTRAND, 03/11/2022
- Re: [Coq-Club] Type checking in the Vector library, Dominique Larchey-Wendling, 03/11/2022
- [Coq-Club] Morello: Edinburgh research post on capability-based security technologies, Ian Stark, 03/11/2022
- [Coq-Club] Job opening: visiting research programmer, machine learning for Coq, Talia Ringer, 03/13/2022
- [Coq-Club] Module types as types, Constantine Plotnikov, 03/13/2022
- Re: [Coq-Club] Module types as types, Adam Chlipala, 03/13/2022
- Re: [Coq-Club] Module types as types, Meven LENNON-BERTRAND, 03/14/2022
- Re: [Coq-Club] Module types as types, Pierre Courtieu, 03/14/2022
- Re: [Coq-Club] Module types as types, Meven LENNON-BERTRAND, 03/14/2022
- Re: [Coq-Club] Module types as types, Adam Chlipala, 03/13/2022
- [Coq-Club] [Call for participation] TFPiE and TFP online events March 16-18, Peter Achten, 03/13/2022
- [Coq-Club] ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming, Víctor Pérez, 03/14/2022
- [Coq-Club] Bill McCune PhD Award 2021 - Call for Nominations, geoff, 03/15/2022
- [Coq-Club] FSCD 2024: Call for Location, carsten, 03/15/2022
- [Coq-Club] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL), Herman Geuvers, 03/15/2022
- [Coq-Club] Conference on Algorithmic Law Design and Implementation: Call for participation, Joost J. Joosten, 03/16/2022
Archive powered by MHonArc 2.6.19+.