5760 Threads
16105 Posts
Ranked #648
First post
2004-08-11 04:07:40 UTC
Mailing List:
coq-club@inria.fr
Add new
Display options
Show
threads
Order By
Last Message Date - Newest First
Last Message Date - Oldest First
Replycount - Most First
Replycount - Less First
Save
0
replies
[ACL2-2018] Second Call For Participation: Registration Open!
started
2018-10-04 10:16:40 UTC
2018-10-04 10:16:40 UTC
Shilpi Goel
2
replies
libraries for setoids?
started
2018-10-01 05:15:01 UTC
2018-10-04 01:26:22 UTC
Bas Spitters
3
replies
structural specification of where to unfold
started
2018-09-29 01:13:58 UTC
2018-10-04 00:08:45 UTC
Samuel Gruetter
0
replies
PLMW@POPL19: Call for Scholarship Applications
started
2018-10-03 22:54:07 UTC
2018-10-03 22:54:07 UTC
Michael Greenberg
6
replies
Folklore ?
started
2018-10-02 21:53:50 UTC
2018-10-03 17:15:13 UTC
Thorsten Altenkirch
0
replies
A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics
started
2018-10-03 11:37:52 UTC
2018-10-03 11:37:52 UTC
g***@cs.miami.edu
6
replies
proof about applying a function on each element of a list using automaton
started
2018-09-27 19:45:49 UTC
2018-10-02 20:13:37 UTC
Fritjof Bornebusch
0
replies
Post-proceedings TYPES'18: Deadline extension
started
2018-10-02 13:02:47 UTC
2018-10-02 13:02:47 UTC
José Carlos Espírito Santo
3
replies
Weird import problem?
started
2018-09-28 00:17:35 UTC
2018-09-28 00:38:56 UTC
Anton Trunov
2
replies
Reasoning About and Working With Unordered Sets of Abstract Variables in Coq
started
2018-09-27 18:02:34 UTC
2018-09-27 18:54:33 UTC
Alyssa N Byrnes
1
reply
Redefinition of extracted parameter
started
2018-09-26 20:59:06 UTC
2018-09-27 14:48:21 UTC
Maximilian Wuttke
0
replies
JFLA 2019 : second appel à communications
started
2018-09-26 19:15:12 UTC
2018-09-26 19:15:12 UTC
Nicolas Magaud
1
reply
POPL'19 First Call for Student Volunteers
started
2018-09-25 23:02:32 UTC
2018-09-26 12:00:08 UTC
Yixuan Chen
2
replies
folding under binders
started
2018-09-25 08:41:37 UTC
2018-09-25 16:48:20 UTC
Hugo Herbelin
1
reply
Redefinition of extracted parameter
started
2018-09-21 19:44:59 UTC
2018-09-21 20:16:54 UTC
Gaëtan Gilbert
0
replies
Third Call for Papers: FSEN 2019
started
2018-09-21 14:19:48 UTC
2018-09-21 14:19:48 UTC
Maurice ter Beek
0
replies
ITP2019: Call for Workshops
started
2018-09-21 11:49:08 UTC
2018-09-21 11:49:08 UTC
O'Leary, John W
0
replies
[ANN] Procrastination v1.2
started
2018-09-20 16:56:25 UTC
2018-09-20 16:56:25 UTC
Armaël Guéneau
0
replies
Post-proceedings TYPES'18: Final call for papers
started
2018-09-20 10:39:36 UTC
2018-09-20 10:39:36 UTC
José Carlos Espírito Santo
0
replies
LPAR-22 in Ethiopia - Call for Short Papers
started
2018-09-20 10:38:44 UTC
2018-09-20 10:38:44 UTC
g***@cs.miami.edu
2
replies
weird idtac
started
2018-09-19 00:02:22 UTC
2018-09-19 00:55:38 UTC
Erkki Luuk
0
replies
CPP 2019: Final Call for Papers
started
2018-09-17 16:55:32 UTC
2018-09-17 16:55:32 UTC
Magnus Myreen
0
replies
CoqPL 2019: Call for Presentations
started
2018-09-17 12:06:17 UTC
2018-09-17 12:06:17 UTC
Robbert Krebbers
0
replies
Agda Implementors' Meeting XXVIII - Nottingham, October 15-20
started
2018-09-14 18:46:50 UTC
2018-09-14 18:46:50 UTC
Nicolai Kraus
0
replies
PhD and Postdoc Positions at the University of Innsbruck
started
2018-09-14 10:02:17 UTC
2018-09-14 10:02:17 UTC
Cezary Kaliszyk
0
replies
Postdoc opening at the University of Pennsylvania
started
2018-09-13 00:54:18 UTC
2018-09-13 00:54:18 UTC
Benjamin C. Pierce
0
replies
Open Engineer Position in ProofInUse joint laboratory
started
2018-09-12 17:43:12 UTC
2018-09-12 17:43:12 UTC
Claude Marché
1
reply
Reading text from a json / xml file
started
2018-09-11 15:11:28 UTC
2018-09-12 16:59:43 UTC
Théo Zimmermann
0
replies
Postdoc position at IMT Atlantique, Nantes
started
2018-09-12 12:31:58 UTC
2018-09-12 12:31:58 UTC
nicolas tabareau
0
replies
New assistant/associate professor positions in Nottingham
started
2018-09-11 19:58:44 UTC
2018-09-11 19:58:44 UTC
Graham Hutton
Click to Load More...
Loading...