coq-club@inria.fr

0

replies

FSCD 2019 - Call for Workshop Proposals

started 2018-11-05 13:45:13 UTC

2018-11-05 13:45:13 UTC

Sandra Alves

0

replies

Call For Workshop Proposals

started 2018-10-30 06:56:01 UTC

2018-10-30 06:56:01 UTC

Sam Tobin-Hochstadt

0

replies

POPL 2019 Student Research Competition

started 2018-10-30 00:07:32 UTC

2018-10-30 00:07:32 UTC

Michael Greenberg

12

replies

Coq 8.8.2 is out!

started 2018-09-26 20:22:02 UTC

2018-10-29 13:44:00 UTC

Christian Doczkal

5

replies

Extracting runnable relations

started 2018-10-25 15:52:52 UTC

2018-10-27 16:37:45 UTC

mukesh tiwari

0

replies

Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations

started 2018-10-25 21:47:04 UTC

2018-10-25 21:47:04 UTC

Benedikt Ahrens

0

replies

FM'19: Call for Workshop & Tutorial Proposals

started 2018-10-22 11:39:17 UTC

2018-10-22 11:39:17 UTC

Renato Neves

0

replies

FSCD 2019 - First Call for Papers

started 2018-10-22 11:33:21 UTC

2018-10-22 11:33:21 UTC

Sandra Alves

0

replies

CADE-27: Call for Papers, Workshops, Tutorials and System Competitions

started 2018-10-22 11:23:23 UTC

2018-10-22 11:23:23 UTC

g***@cs.miami.edu

0

replies

Final Call for Papers: FSEN 2019

started 2018-10-22 11:22:55 UTC

2018-10-22 11: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-20 02:21:11 UTC

2018-10-21 21:22:39 UTC

Ralf Jung

4

replies

Proving bounds on data structures in Coq?

started 2018-10-18 19:19:43 UTC

2018-10-19 08:15:44 UTC

mukesh tiwari

4

replies

Writing extensions/plugins for different Coq IDEs

started 2018-10-19 00:12:07 UTC

2018-10-19 01:56:55 UTC

Xuanrui Qi

8

replies

coq + higher inductive types + proof irrelevance?

started 2018-07-27 02:27:33 UTC

2018-10-18 14:38:54 UTC

Steven Schäfer

16

replies

Debugging Universe Inconsistencies

started 2018-09-05 20:57:47 UTC

2018-10-18 01:20:55 UTC

Gaëtan Gilbert

2

replies

QuickChick installation issues

started 2018-10-17 00:51:37 UTC

2018-10-17 23:07:27 UTC

Yishuai Li

0

replies

FORMATS 2019 Call for Papers

started 2018-10-16 19:43:21 UTC

2018-10-16 19:43:21 UTC

Ichiro Hasuo

0

replies

CoqPL 2019: Call for Presentations (deadline extended to October 18)

started 2018-10-16 10:29:29 UTC

2018-10-16 10:29:29 UTC

Robbert Krebbers

0

replies

Coq/MathComp Winter School (Nov 26-29 2018)

started 2018-10-15 14:05:24 UTC

2018-10-15 14: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 13:33:37 UTC

2018-10-15 13:33:37 UTC

Nicolas Magaud

3

replies

Why doesn't there exist a 'patterns' tactic?

started 2018-10-10 19:43:09 UTC

2018-10-10 19:52:39 UTC

Laurent Thery

4

replies

Dependent match on two vectors

started 2018-10-10 18:37:29 UTC

2018-10-10 19:27:58 UTC

Dominique Larchey-Wendling

2

replies

big.ml

started 2018-10-09 11:09:35 UTC

2018-10-10 18:54:32 UTC

Ana

0

replies

Artificial Intelligence and Theorem Proving, AITP 2019

started 2018-10-10 01:45:19 UTC

2018-10-10 01:45:19 UTC

g***@cs.miami.edu

0

replies

PostDoc positions at Inria Paris on F* and on Formally Secure Compilation

started 2018-10-10 01:27:54 UTC

2018-10-10 01:27:54 UTC

Catalin Hritcu

0

replies

Formal Methods 2019: First Call for Papers

started 2018-10-08 11:36:01 UTC

2018-10-08 11:36:01 UTC

Renato Neves

0

replies

CoqPL 2019: Call for Presentations (submission deadline October 15)

started 2018-10-07 15:54:55 UTC

2018-10-07 15:54:55 UTC

Robbert Krebbers

4

replies

Connecting strings in Coq and extraction target?

started 2018-10-05 20:55:35 UTC

2018-10-06 02:18:44 UTC

Jason -Zhong Sheng- Hu

3

replies

Problem using Coq-equations in a polymorphic setting.

started 2018-10-04 20:05:56 UTC

2018-10-05 16:47:32 UTC

Matthieu Sozeau

0

replies

Research position for 36 months in Cambridge, UK: AI for Integrative Cancer Medicine

started 2018-10-05 00:44:40 UTC

2018-10-05 00:44:40 UTC

Joelle Despeyroux