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/02
32 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] IJCAR 2022 - Call for Papers, geoff, 01/31/2022
- [Coq-Club] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline, Serge Autexier, 01/31/2022
- [Coq-Club] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France, Julien Signoles, 02/01/2022
- [Coq-Club] CSL 2022: 2nd Call for Participation, Manea, Florin, 02/01/2022
- [Coq-Club] FUN 2022: 2nd call for papers, Mosteiro, Miguel A., 02/02/2022
- [Coq-Club] Outreachy and Google Summer of Code for Coq, Emilio Jesús Gallego Arias, 02/03/2022
- Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Talia Ringer, 02/04/2022
- Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Emilio Jesús Gallego Arias, 02/04/2022
- Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Talia Ringer, 02/06/2022
- Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Emilio Jesús Gallego Arias, 02/09/2022
- Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Emilio Jesús Gallego Arias, 02/04/2022
- Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Talia Ringer, 02/04/2022
- [Coq-Club] HoTT/UF 2022: Call for Contributions, Benedikt Ahrens, 02/04/2022
- [Coq-Club] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification, Dominique Unruh, 02/05/2022
- [Coq-Club] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18), Carsten Fuhs, 02/07/2022
- [Coq-Club] PhD Student Position at Uppsala University, Tjark Weber, 02/08/2022
- [Coq-Club] [CfP] ICLP 2022 - Call for Recently Published Research Papers, Víctor Pérez, 02/09/2022
- [Coq-Club] ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms, Víctor Pérez, 02/09/2022
- [Coq-Club] EELP 2022: The Third Workshop on Epistemic Extensions of Logic Programming, Víctor Pérez, 02/09/2022
- [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Patrick Barlatier, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/11/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Théo Zimmermann, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Timothy Carstens, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Patrick Barlatier, 02/09/2022
- [Coq-Club] IJCAR 2022 - Extended Deadline, geoff, 02/10/2022
- [Coq-Club] Coq Hackathon and Working Group on Feb 15th-17th 2022, Ali Caglayan, 02/10/2022
- Re: [Coq-Club] Coq Hackathon and Working Group on Feb 15th-17th 2022, Jim Fehrle, 02/10/2022
- [Coq-Club] [REMINDER] Coq Hackathon and Working Group on Feb 15th-17th 2022, Emilio Jesús Gallego Arias, 02/15/2022
- [Coq-Club] 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers, geoff, 02/11/2022
- [Coq-Club] Question about ATPs in CoqHammer, Richard Dapoigny, 02/11/2022
Archive powered by MHonArc 2.6.19+.