Mailing List:
coq-club@inria.fr
Add newDisplay options
0
replies
FSCD 2019 - Call for Workshop Proposals
started 2018-11-05 07:45:13 UTC
2018-11-05 07:45:13 UTC
Sandra Alves
0
replies
Call For Workshop Proposals
started 2018-10-30 01:56:01 UTC
2018-10-30 01:56:01 UTC
Sam Tobin-Hochstadt
0
replies
POPL 2019 Student Research Competition
started 2018-10-29 19:07:32 UTC
2018-10-29 19:07:32 UTC
Michael Greenberg
12
replies
Coq 8.8.2 is out!
started 2018-09-26 15:22:02 UTC
2018-10-29 08:44:00 UTC
Christian Doczkal
5
replies
Extracting runnable relations
started 2018-10-25 10:52:52 UTC
2018-10-27 11:37:45 UTC
mukesh tiwari
0
replies
Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations
started 2018-10-25 16:47:04 UTC
2018-10-25 16:47:04 UTC
Benedikt Ahrens
0
replies
FM'19: Call for Workshop & Tutorial Proposals
started 2018-10-22 06:39:17 UTC
2018-10-22 06:39:17 UTC
Renato Neves
0
replies
FSCD 2019 - First Call for Papers
started 2018-10-22 06:33:21 UTC
2018-10-22 06:33:21 UTC
Sandra Alves
0
replies
CADE-27: Call for Papers, Workshops, Tutorials and System Competitions
started 2018-10-22 06:23:23 UTC
2018-10-22 06:23:23 UTC
g***@cs.miami.edu
0
replies
Final Call for Papers: FSEN 2019
started 2018-10-22 06:22:55 UTC
2018-10-22 06:22:55 UTC
Maurice ter Beek
5
replies
[ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0
started 2018-09-19 21:21:11 UTC
2018-10-21 16:22:39 UTC
Ralf Jung
4
replies
Proving bounds on data structures in Coq?
started 2018-10-18 14:19:43 UTC
2018-10-19 03:15:44 UTC
mukesh tiwari
4
replies
Writing extensions/plugins for different Coq IDEs
started 2018-10-18 19:12:07 UTC
2018-10-18 20:56:55 UTC
Xuanrui Qi
8
replies
coq + higher inductive types + proof irrelevance?
started 2018-07-26 21:27:33 UTC
2018-10-18 09:38:54 UTC
Steven Schäfer
16
replies
Debugging Universe Inconsistencies
started 2018-09-05 15:57:47 UTC
2018-10-17 20:20:55 UTC
Gaëtan Gilbert
2
replies
QuickChick installation issues
started 2018-10-16 19:51:37 UTC
2018-10-17 18:07:27 UTC
Yishuai Li
0
replies
FORMATS 2019 Call for Papers
started 2018-10-16 14:43:21 UTC
2018-10-16 14:43:21 UTC
Ichiro Hasuo
0
replies
CoqPL 2019: Call for Presentations (deadline extended to October 18)
started 2018-10-16 05:29:29 UTC
2018-10-16 05:29:29 UTC
Robbert Krebbers
0
replies
Coq/MathComp Winter School (Nov 26-29 2018)
started 2018-10-15 09:05:24 UTC
2018-10-15 09:05:24 UTC
Enrico Tassi
0
replies
JFLA 2019 : dernier appel à communications et extension pour les résumés et les articles
started 2018-10-15 08:33:37 UTC
2018-10-15 08:33:37 UTC
Nicolas Magaud
3
replies
Why doesn't there exist a 'patterns' tactic?
started 2018-10-10 14:43:09 UTC
2018-10-10 14:52:39 UTC
Laurent Thery
4
replies
Dependent match on two vectors
started 2018-10-10 13:37:29 UTC
2018-10-10 14:27:58 UTC
Dominique Larchey-Wendling
2
replies
big.ml
started 2018-10-09 06:09:35 UTC
2018-10-10 13:54:32 UTC
Ana
0
replies
Artificial Intelligence and Theorem Proving, AITP 2019
started 2018-10-09 20:45:19 UTC
2018-10-09 20:45:19 UTC
g***@cs.miami.edu
0
replies
PostDoc positions at Inria Paris on F* and on Formally Secure Compilation
started 2018-10-09 20:27:54 UTC
2018-10-09 20:27:54 UTC
Catalin Hritcu
0
replies
Formal Methods 2019: First Call for Papers
started 2018-10-08 06:36:01 UTC
2018-10-08 06:36:01 UTC
Renato Neves
0
replies
CoqPL 2019: Call for Presentations (submission deadline October 15)
started 2018-10-07 10:54:55 UTC
2018-10-07 10:54:55 UTC
Robbert Krebbers
4
replies
Connecting strings in Coq and extraction target?
started 2018-10-05 15:55:35 UTC
2018-10-05 21:18:44 UTC
Jason -Zhong Sheng- Hu
3
replies
Problem using Coq-equations in a polymorphic setting.
started 2018-10-04 15:05:56 UTC
2018-10-05 11:47:32 UTC
Matthieu Sozeau
0
replies
Research position for 36 months in Cambridge, UK: AI for Integrative Cancer Medicine
started 2018-10-04 19:44:40 UTC
2018-10-04 19:44:40 UTC
Joelle Despeyroux
Click to Load More...
Loading...