coq-club@inria.fr

0

replies

Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'19)

started 2018-09-11 19:58:29 UTC

2018-09-11 19:58:29 UTC

Dominique Devriese

0

replies

ETAPS 2019 1st joint call for papers

started 2018-09-11 17:44:03 UTC

2018-09-11 17:44:03 UTC

Tarmo Uustalu

0

replies

CfP: Postproceedings ThEdu'18

started 2018-09-11 16:29:33 UTC

2018-09-11 16:29:33 UTC

Walther Neuper

1

reply

function extensionality with finite domains

started 2018-09-11 00:35:01 UTC

2018-09-11 16:19:36 UTC

Pierre-Marie Pédrot

0

replies

13th International Workshop on the Implementation of Logics

started 2018-09-11 10:58:21 UTC

2018-09-11 10:58:21 UTC

g***@cs.miami.edu

0

replies

Mathematics of Program Construction (MPC), Portugal, 2019

started 2018-09-10 19:54:06 UTC

2018-09-10 19:54:06 UTC

Graham Hutton

0

replies

ERC "RustBelt" project: Postdoc and PhD student positions available at MPI-SWS

started 2018-09-07 16:51:45 UTC

2018-09-07 16:51:45 UTC

Derek Dreyer

3

replies

Using Ssreflect in Coq

started 2018-09-05 13:17:02 UTC

2018-09-05 16:51:37 UTC

Enrico Tassi

3

replies

计算鸡在 [ALGTOP-L] Final announcement, Vladimir Voevodsky Memorial Conference

started 2018-09-04 03:37:06 UTC

2018-09-05 05:51:14 UTC

Bagnall, Alexander

0

replies

RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science

started 2018-08-31 10:51:31 UTC

2018-08-31 10:51:31 UTC

Walter Guttmann

3

replies

A couple of simple proofs.

started 2018-08-28 21:00:04 UTC

2018-08-31 01:51:22 UTC

Kazuhiko Sakaguchi

7

replies

Anybody uses the Quote plugin?

started 2018-07-20 12:19:49 UTC

2018-08-30 15:12:09 UTC

Assia Mahboubi

0

replies

New Software Foundations Volume on Random Testing in Coq

started 2018-08-29 21:12:07 UTC

2018-08-29 21:12:07 UTC

Leonidas Lampropoulos

0

replies

CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation

started 2018-08-28 22:27:14 UTC

2018-08-28 22:27:14 UTC

Tarmo Uustalu

0

replies

[ACL2-2018] Call for Participation --- Registration Open!

started 2018-08-28 19:50:39 UTC

2018-08-28 19:50:39 UTC

Shilpi Goel

1

reply

Does Coq support higher-order rewrite of lambda terms?

started 2018-08-24 01:17:39 UTC

2018-08-27 20:34:02 UTC

Pierre Courtieu

2

replies

Coq code/theory manipulation tool (abstract syntax tree manipulation tool) - heurisitc transformation instead of rigorous rewriting

started 2018-08-25 01:53:43 UTC

2018-08-26 20:47:51 UTC

Alex Meyer

0

replies

8,9 Oct: EUTypes meeting in Aarhus

started 2018-08-26 18:39:24 UTC

2018-08-26 18:39:24 UTC

Bas Spitters

14

replies

module "best practices"?

started 2018-08-18 01:36:01 UTC

2018-08-24 19:49:19 UTC

Soegtrop, Michael

1

reply

Mtac2 1.0 is here!

started 2018-08-17 00:18:23 UTC

2018-08-24 03:30:16 UTC

Beta Ziliani

4

replies

Coq Standard Library Requests

started 2018-08-23 19:50:49 UTC

2018-08-23 21:43:44 UTC

Théo Zimmermann

1

reply

Inductive Definition - glitches in the refman, please confirm one of them

started 2018-08-20 17:15:46 UTC

2018-08-20 19:06:11 UTC

Théo Zimmermann

1

reply

Pointwise definition of function

started 2018-08-20 17:16:19 UTC

2018-08-20 17:16:38 UTC

Anton Podkopaev

3

replies

Doing something n times with backgtracking

started 2018-08-19 03:34:05 UTC

2018-08-20 07:15:37 UTC

Joey Eremondi

4

replies

Compute a general recursive function on dependent types.

started 2018-08-18 21:34:57 UTC

2018-08-20 07:15:33 UTC

Shengyi Wang

0

replies

NFM 2019 Preliminary Call For Papers- 11th Annual NASA Formal Methods Symposium

started 2018-08-20 04:32:13 UTC

2018-08-20 04:32:13 UTC

Kristin Yvonne Rozier

0

replies

PhD scholarships at the Australian National University

started 2018-08-20 04:32:13 UTC

2018-08-20 04:32:13 UTC

Rajeev Gore

0

replies

[Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics

started 2018-08-20 04:32:13 UTC

2018-08-20 04:32:13 UTC

Tanja Gutenbrunner

0

replies

PPDP | LOPSTR | WFLP 2018 Common Call for Participation

started 2018-08-20 04:32:12 UTC

2018-08-20 04:32:12 UTC

David Sabel

0

replies

Call for Participation: ICFP 2018

started 2018-08-20 04:32:12 UTC

2018-08-20 04:32:12 UTC

Lindsey Kuper