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