coq-club@inria.fr

0

replies

PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming

started 2018-07-03 19:41:11 UTC

2018-07-03 19:41:11 UTC

Bas Spitters

0

replies

Formal methods for cryptocurrency / blockchain

started 2018-07-03 04:26:56 UTC

2018-07-03 04:26:56 UTC

gary886

1

reply

Global reference from string

started 2018-07-02 14:21:57 UTC

2018-07-02 14:47:30 UTC

Gaëtan Gilbert

2

replies

I don't believe Coinduction; Please help me grok it :)

started 2018-05-14 02:25:00 UTC

2018-07-02 14:40:31 UTC

Ken Kubota

1

reply

Canonical structure resolution ignores coercions

started 2018-07-02 03:07:10 UTC

2018-07-02 13:55:03 UTC

Enrico Tassi

2

replies

Call for participation: coq-community, collaborative long-term maintenance and advertisement of Coq packages

started 2018-07-01 18:42:54 UTC

2018-07-02 01:33:24 UTC

Anton Trunov

4

replies

What Coq function definition `Definition Term := forall

started 2018-07-01 05:24:23 UTC

2018-07-01 20:40:35 UTC

Ralf Jung

25

replies

Is it time...

started 2018-06-22 16:19:23 UTC

2018-07-01 18:20:38 UTC

Benjamin C. Pierce

0

replies

Deadline Extension for ACL2 2018

started 2018-06-30 17:52:06 UTC

2018-06-30 17:52:06 UTC

Matt Kaufmann

1

reply

EUTYPES Summer School on Types for Programming and Verification - Call for applications

started 2018-06-02 02:43:15 UTC

2018-06-30 17:51:57 UTC

Marino Miculan

0

replies

CSL 2018 - Call for Participation

started 2018-06-30 17:51:46 UTC

2018-06-30 17:51:46 UTC

European Association of Computer Science Logic

0

replies

SYNASC 2018 - Call for Position and Workshops Papers

started 2018-06-30 17:51:40 UTC

2018-06-30 17:51:40 UTC

SYNASC 2018

12

replies

Is it possible to perform tactics in an existential's context from Ltac?

started 2018-06-28 00:58:10 UTC

2018-06-30 15:52:10 UTC

Armaël Guéneau

1

reply

Qed. does not terminate

started 2018-06-29 14:49:08 UTC

2018-06-29 17:09:53 UTC

Fabian Kunze

0

replies

9 Research Scientist Positions in RTES, CPS and IoT

started 2018-06-27 15:23:10 UTC

2018-06-27 15:23:10 UTC

DAVID PEREIRA

1

reply

On the extraction and parametricity of random generators as sets of values

started 2018-06-22 22:07:15 UTC

2018-06-23 01:50:47 UTC

Gabriel Scherer

1

reply

Composable proofs about analysis and operational semantics of programming languages

started 2018-06-20 17:59:00 UTC

2018-06-22 17:09:43 UTC

Frédéric Besson

0

replies

SYNASC 2018 - Final Call for Papers

started 2018-06-22 15:57:15 UTC

2018-06-22 15:57:15 UTC

SYNASC 2018

0

replies

CFP ICPRAM 2019 - 8th Int.l Conf. on Pattern Recognition Applications and Methods (Prague/Czech Republic)

started 2018-06-22 15:57:04 UTC

2018-06-22 15:57:04 UTC

i***@insticc.info

0

replies

Announcement: MPC 2019, Porto, Portugal

started 2018-06-22 15:56:57 UTC

2018-06-22 15:56:57 UTC

Graham Hutton

0

replies

CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial

started 2018-06-22 15:56:52 UTC

2018-06-22 15:56:52 UTC

Serge Autexier

0

replies

CFP ICAART 2019 - 11th Int.l Conf. on Agents and Artificial Intelligence (Prague/Czech Republic)

started 2018-06-22 15:56:42 UTC

2018-06-22 15:56:42 UTC

i***@insticc.info

0

replies

CFP ICORES 2019 - 8th Int.l Conf. on Operations Research and Enterprise Systems (Prague/Czech Republic)

started 2018-06-22 15:56:32 UTC

2018-06-22 15:56:32 UTC

i***@insticc.info

1

reply

A plugin to disable positivity check, guard check and termination check

started 2018-06-22 10:17:18 UTC

2018-06-22 10:40:01 UTC

Talia Ringer

0

replies

5MoF 2018 (January/February)

started 2018-06-22 07:37:07 UTC

2018-06-22 07:37:07 UTC

1337777.OOO

0

replies

Symbolic Execution in Coq

started 2018-06-22 01:00:11 UTC

2018-06-22 01:00:11 UTC

Alyssa N Byrnes

1

reply

[ANN] Coq Users in PariS Meetup

started 2017-11-30 08:12:41 UTC

2018-06-20 20:33:14 UTC

Théo Zimmermann

4

replies

Debugging universe inconsistencies

started 2018-06-20 13:09:58 UTC

2018-06-20 19:22:24 UTC

Nathanaël Courant

0

replies

Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems

started 2018-06-20 17:46:55 UTC

2018-06-20 17:46:55 UTC

Ichiro Hasuo

0

replies

Last call for registration

started 2018-06-20 14:41:54 UTC

2018-06-20 14:41:54 UTC

Joost Joosten