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
2018/11
113 mails
Chronological Thread << < page # 4/4 > >>
- [Coq-Club] HCVS 2019 - First Call For Papers, Emanuele De Angelis, 11/16/2018
- [Coq-Club] 2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open, Benedikt Ahrens, 11/17/2018
- [Coq-Club] Make constants/functions opaque for [rewrite], Maximilian Wuttke, 11/18/2018
- Re: [Coq-Club] Make constants/functions opaque for [rewrite], Li-yao Xia, 11/18/2018
- Re: [Coq-Club] Make constants/functions opaque for [rewrite], Jason -Zhong Sheng- Hu, 11/18/2018
- Re: [Coq-Club] Make constants/functions opaque for [rewrite], Li-yao Xia, 11/18/2018
- [Coq-Club] PhD Position on Reliable Machine Learning at HVL, Bergen/NO, Volker Stolz, 11/19/2018
- [Coq-Club] ERC "RustBelt" project: Postdoc and PhD student positions available at MPI-SWS, Derek Dreyer, 11/19/2018
- [Coq-Club] Artificial Intelligence and Theorem Proving, CFP, geoff, 11/20/2018
- [Coq-Club] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18, Michael Greenberg, 11/21/2018
- [Coq-Club] Research positions in cryptography, blockchain, and formal verification at Aarhus, Bas Spitters, 11/22/2018
- [Coq-Club] VerifyThis at ETAPS 2019: Announcement + Call for Problems, VerifyThis, 11/22/2018
- [Coq-Club] JFLA 2019 : 1er appel à participation, Nicolas Magaud, 11/22/2018
- [Coq-Club] Research assistant position in quantum formal methods, Jaap Boender, 11/25/2018
- [Coq-Club] FSCD 2019 Second Call for Papers, Sandra Alves, 11/27/2018
- [Coq-Club] CONCUR 2019 Call for Workshop Proposals, Luttik, S.P., 11/28/2018
- [Coq-Club] automated hypothesis pruning, Abhishek Anand, 11/29/2018
- Re: [Coq-Club] automated hypothesis pruning, Gregory Malecha, 11/29/2018
- Re: [Coq-Club] automated hypothesis pruning, Pierre Courtieu, 11/29/2018
- Re: [Coq-Club] automated hypothesis pruning, Gregory Malecha, 11/29/2018
- [Coq-Club] CoqPL 2019: Call for Participation, Robbert Krebbers, 11/29/2018
- [Coq-Club] Proof in functional style, mukesh tiwari, 11/30/2018
- Re: [Coq-Club] Proof in functional style, mukesh tiwari, 11/30/2018
- Re: [Coq-Club] Proof in functional style, Larry Lee, 11/30/2018
- Re: [Coq-Club] Proof in functional style, Pierre Courtieu, 11/30/2018
Archive powered by MHonArc 2.6.18.