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