Mailing List:
coq-club@inria.fr
Add newDisplay options
0
replies
TYPES 2019, 11-14 June 2019, Oslo: Announcement and first call for contributions
started 2018-12-11 02:25:01 UTC
2018-12-11 02:25:01 UTC
Marcus Aloysius Bezem
0
replies
Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science
started 2018-12-11 02:25:00 UTC
2018-12-11 02:25:00 UTC
Walter Guttmann
0
replies
Fwd: PhD Studentships at UCL: Interface Reasoning for Interacting Systems
started 2018-12-11 02:25:00 UTC
2018-12-11 02:25:00 UTC
Brunet, Paul
6
replies
Certified insertion
started 2018-12-08 20:22:10 UTC
2018-12-09 05:12:33 UTC
Jonathan Leivent
0
replies
Researcher position on Verified Confidentiality for Weak Memory Concurrency, Melbourne
started 2018-12-07 06:10:43 UTC
2018-12-07 06:10:43 UTC
Toby Murray
2
replies
Rewriting through coercions
started 2018-12-04 15:07:14 UTC
2018-12-06 14:01:54 UTC
richard Dapoigny
0
replies
Offre de stage M2 recherche
started 2018-12-06 03:07:53 UTC
2018-12-06 03:07:53 UTC
Frédéric Dabrowski
0
replies
10 PhD studentships in Nottingham
started 2018-12-05 12:53:54 UTC
2018-12-05 12:53:54 UTC
Graham Hutton
11
replies
A question of encoding...
started 2018-12-03 02:25:25 UTC
2018-12-05 08:41:28 UTC
Fred Smith
0
replies
Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019
started 2018-12-04 23:03:48 UTC
2018-12-04 23:03:48 UTC
Benedikt Ahrens
3
replies
how to instantiate existential variables
started 2018-12-04 10:06:16 UTC
2018-12-04 22:47:31 UTC
Jean-Christophe Léchenet
7
replies
rewriting without instantiating
started 2018-12-03 12:16:55 UTC
2018-12-04 10:49:42 UTC
Jason Gross
0
replies
Job opening: post-doctoral research and development position at the University of Barcelona
started 2018-12-03 17:12:19 UTC
2018-12-03 17:12:19 UTC
Ana
2
replies
Proof Involving Arith in Both Z and Nat
started 2018-12-01 12:11:40 UTC
2018-12-02 11:51:45 UTC
Matt Quinn
3
replies
Proof in functional style
started 2018-11-30 10:24:23 UTC
2018-11-30 15:45:33 UTC
Pierre Courtieu
2
replies
automated hypothesis pruning
started 2018-11-29 08:32:37 UTC
2018-11-29 22:54:26 UTC
Pierre Courtieu
0
replies
CoqPL 2019: Call for Participation
started 2018-11-29 19:08:53 UTC
2018-11-29 19:08:53 UTC
Robbert Krebbers
0
replies
CONCUR 2019 Call for Workshop Proposals
started 2018-11-29 13:06:34 UTC
2018-11-29 13:06:34 UTC
Luttik, S.P.
0
replies
FSCD 2019 Second Call for Papers
started 2018-11-28 02:12:27 UTC
2018-11-28 02:12:27 UTC
Sandra Alves
0
replies
Research assistant position in quantum formal methods
started 2018-11-27 13:03:05 UTC
2018-11-27 13:03:05 UTC
Jaap Boender
3
replies
Latest Coq does not install smoothly using opam on ubuntu 16.04
started 2018-11-13 23:38:13 UTC
2018-11-27 00:38:50 UTC
Vadim Zaliva
0
replies
JFLA 2019 : 1er appel à participation
started 2018-11-22 19:41:11 UTC
2018-11-22 19:41:11 UTC
Nicolas Magaud
0
replies
VerifyThis at ETAPS 2019: Announcement + Call for Problems
started 2018-11-22 14:39:59 UTC
2018-11-22 14:39:59 UTC
VerifyThis
0
replies
Research positions in cryptography, blockchain, and formal verification at Aarhus
started 2018-11-22 08:13:04 UTC
2018-11-22 08:13:04 UTC
Bas Spitters
0
replies
POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18
started 2018-11-21 20:55:15 UTC
2018-11-21 20:55:15 UTC
Michael Greenberg
0
replies
Artificial Intelligence and Theorem Proving, CFP
started 2018-11-20 13:00:09 UTC
2018-11-20 13:00:09 UTC
g***@cs.miami.edu
0
replies
ERC "RustBelt" project: Postdoc and PhD student positions available at MPI-SWS
started 2018-11-20 03:33:09 UTC
2018-11-20 03:33:09 UTC
Derek Dreyer
0
replies
PhD Position on Reliable Machine Learning at HVL, Bergen/NO
started 2018-11-19 18:06:08 UTC
2018-11-19 18:06:08 UTC
Volker Stolz
0
replies
HCVS 2019 - First Call For Papers
started 2018-11-19 13:44:10 UTC
2018-11-19 13:44:10 UTC
Emanuele De Angelis
2
replies
Make constants/functions opaque for [rewrite]
started 2018-11-19 02:17:08 UTC
2018-11-19 04:37:09 UTC
Jason -Zhong Sheng- Hu
Click to Load More...
Loading...