coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2018/03
98 mails
Chronological Thread << < page # 3/4 > >>
- 18/03/16
- Re: [Coq-Club] EJCP 2018 - Appel à participation, Ralf Jung
- [Coq-Club] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP, Serge Autexier
- [Coq-Club] Coq on Android as Telegram Chatbot - First release, Rustam Zhumagambetov
- 18/03/17
- [Coq-Club] FORMATS 2018 **Second Call for Papers***, David N. Jansen
- 18/03/18
- [Coq-Club] Call for Tutorial Proposals: ICFP 2018, Lindsey Kuper
- 18/03/19
- [Coq-Club] 8 PhD-Student Positions: Embedded and Real-Time Computing Systems; Cyber-Physical Systems and IoT, DAVID PEREIRA
- [Coq-Club] Verification and Deduction Mentoring Workshop 2018, geoff
- [Coq-Club] Save the Date: Coq Implementors Workshop 2018, Matthieu Sozeau
- [Coq-Club] Midlands Graduate School - extended registration deadline, Graham Hutton
- 18/03/20
- [Coq-Club] Data61 seeking proof engineers, June.Andronick
- [Coq-Club] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA, Michael Kohlhase
- [Coq-Club] LOPSTR 2018: Final Call for Papers, Fred Mesnard
- [Coq-Club] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA, Michael Kohlhase
- [Coq-Club] Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt, Heiko Mantel
- 18/03/21
- Re: [Coq-Club] [coqdev] Save the Date: Coq Implementors Workshop 2018, Jim Fehrle
- [Coq-Club] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE, Josef Urban
- Re: [Coq-Club] Save the Date: Coq Implementors Workshop 2018 (Change of location), Yves Bertot
- [Coq-Club] Coq 8.8+beta1 is out!, Maxime Dénès
- [Coq-Club] post-doctoral position available (Nancy, France), paul zimmermann
- [Coq-Club] Ackermann Award 2018, European Association of Computer Science Logic
- 18/03/22
- Re: [Coq-Club] Coq 8.8+beta1 is out!, Maxime Dénès
- [Coq-Club] Multiple Positions at FAU Erlangen/Nürnberg, Michael Kohlhase
- 18/03/23
- 18/03/24
- [Coq-Club] Coq & Atom Text Editor, Laurent Thery
- 18/03/25
- [Coq-Club] Deadline extension: SETTA 2018, Xinyu Feng
- 18/03/26
- [Coq-Club] CFP EVoteID Conference, Rajeev.Gore
- [Coq-Club] DCM'18 Final Call-for-papers (deadline 8 April 2018), Sandra Alves
- 18/03/27
- 18/03/28
Archive powered by MHonArc 2.6.18.