List archive

• Re: [Coq-Club] EJCP 2018 - Appel à participation, (continued)
  • Re: [Coq-Club] EJCP 2018 - Appel à participation, Ralf Jung, 03/16/2018
• [Coq-Club] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP, Serge Autexier, 03/16/2018
• [Coq-Club] Coq on Android as Telegram Chatbot - First release, Rustam Zhumagambetov, 03/16/2018
• [Coq-Club] FORMATS 2018 **Second Call for Papers***, David N. Jansen, 03/17/2018
• [Coq-Club] Call for Tutorial Proposals: ICFP 2018, Lindsey Kuper, 03/18/2018
• [Coq-Club] 8 PhD-Student Positions: Embedded and Real-Time Computing Systems; Cyber-Physical Systems and IoT, DAVID PEREIRA, 03/19/2018
• [Coq-Club] Verification and Deduction Mentoring Workshop 2018, geoff, 03/19/2018
• [Coq-Club] Save the Date: Coq Implementors Workshop 2018, Matthieu Sozeau, 03/19/2018
  • Re: [Coq-Club] Save the Date: Coq Implementors Workshop 2018 (Change of location), Yves Bertot, 03/21/2018
• [Coq-Club] Midlands Graduate School - extended registration deadline, Graham Hutton, 03/19/2018
• [Coq-Club] Data61 seeking proof engineers, June.Andronick, 03/20/2018
• [Coq-Club] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA, Michael Kohlhase, 03/20/2018
• [Coq-Club] LOPSTR 2018: Final Call for Papers, Fred Mesnard, 03/20/2018
• [Coq-Club] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA, Michael Kohlhase, 03/20/2018
• [Coq-Club] Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt, Heiko Mantel, 03/20/2018
• Re: [Coq-Club] [coqdev] Save the Date: Coq Implementors Workshop 2018, Jim Fehrle, 03/21/2018
• [Coq-Club] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE, Josef Urban, 03/21/2018
• [Coq-Club] Coq 8.8+beta1 is out!, Maxime Dénès, 03/21/2018
  • Re: [Coq-Club] Coq 8.8+beta1 is out!, Maxime Dénès, 03/22/2018
• [Coq-Club] post-doctoral position available (Nancy, France), paul zimmermann, 03/21/2018
• [Coq-Club] Ackermann Award 2018, European Association of Computer Science Logic, 03/21/2018
• [Coq-Club] Multiple Positions at FAU Erlangen/Nürnberg, Michael Kohlhase, 03/22/2018
• [Coq-Club] FORMATS 2018 **Last Call for Papers and Deadline Extension**, David N. Jansen, 03/23/2018
• [Coq-Club] Coq & Atom Text Editor, Laurent Thery, 03/24/2018
• [Coq-Club] Deadline extension: SETTA 2018, Xinyu Feng, 03/25/2018
• [Coq-Club] CFP EVoteID Conference, Rajeev.Gore, 03/26/2018
• [Coq-Club] DCM'18 Final Call-for-papers (deadline 8 April 2018), Sandra Alves, 03/26/2018
• [Coq-Club] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018, Marco Roveri, 03/27/2018
• [Coq-Club] CALL FOR ABSTRACTS: ICMS Session on Composable Mathematical Software, Florian Rabe, 03/27/2018
• [Coq-Club] PhD Scholarships in Logic at the Australian National University, Dirk Pattinson, 03/28/2018

Archive powered by MHonArc 2.6.18.