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
2025/03
40 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] ITP 2025: Second Call for Papers, Yannick Forster, 03/03/2025
- [Coq-Club] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals, Frédéric Blanqui, 03/03/2025
- [Coq-Club] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25), Frédéric Blanqui, 03/03/2025
- [Coq-Club] Research Fellow position at the University of Tartu, Estonia, Danel Ahman, 03/04/2025
- [Coq-Club] Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps), Alexis Saurin, 03/04/2025
- [Coq-Club] PhD positions on ERC project on type systems and separation logic, Robbert Krebbers, 03/04/2025
- [Coq-Club] [CfP] new proof assistant for simplicial-cubical ω-categories and schemes — Re: [ALGTOP-L] IWoAT 2025 @ Shenzhen, Christopher Mary, 03/06/2025
- Re: [Coq-Club] [CfP] new proof assistant for simplicial-cubical ω-categories and schemes — Re: [ALGTOP-L] IWoAT 2025 @ Shenzhen, hugo.herbelin AT inria.fr, 03/06/2025
- [Coq-Club] HOR 2025: Call for Papers, Pablo Barenbaum, 03/06/2025
- [Coq-Club] CFP: Collection on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature), Osman Hasan, 03/07/2025
- [Coq-Club] Call for papers: FCS @ CSF'25, Vassena, M. (Marco), 03/10/2025
- [Coq-Club] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21), Yannick Forster, 03/11/2025
- [Coq-Club] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Serge Autexier, 03/11/2025
- [Coq-Club] CfP: GPCE 2025, Jeremy Yallop, 03/12/2025
- [Coq-Club] Deadline extension (9 April): GPCE 2025, Jeremy Yallop, 03/28/2025
- [Coq-Club] AITP 2025 - Call for Contributions, Josef Urban, 03/12/2025
- [Coq-Club] Thierry Coquand's inaugural lecture, Laurent Thery, 03/13/2025
- [Coq-Club] TABLEAUX 2025 2nd call for papers, Tarmo Uustalu, 03/13/2025
- [Coq-Club] ACL2-2025 Call for Participation, Matt Kaufmann, 03/14/2025
- [Coq-Club] What became of the Coq standard library web page?, Karl Crary, 03/14/2025
- Re: [Coq-Club] What became of the Coq standard library web page?, Matthieu Sozeau, 03/15/2025
- [Coq-Club] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC), Lionel Parreaux, 03/17/2025
- [Coq-Club] Midlands Graduate School - final call for participation, Graham Hutton, 03/18/2025
- [Coq-Club] Midlands Graduate School 2025 final call -- registration closes on 24 March, Andrei Popescu, 03/18/2025
- [Coq-Club] PhD positions at Stockholm University (deadline April 22), Anders Mortberg, 03/19/2025
- [Coq-Club] HCVS 2025 CfP: 12th Workshop on Horn Clauses for Verification and Synthesis, 22 July 2025, Zagreb (Croatia), Florian Frohn, 03/21/2025
- [Coq-Club] Registration reminder for HoTT/UF 2025, Daniel Gratzer, 03/23/2025
- [Coq-Club] ESOP 2026 - Call for Papers, Claudio MENGHI, 03/24/2025
- [Coq-Club] ETAPS 2025 - CALL FOR PARTICIPATION, Claudio MENGHI, 03/24/2025
- [Coq-Club] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!", Luigia Petre, 03/25/2025
Archive powered by MHonArc 2.6.19+.