[Hol-info] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation

Joint Call for Workshops Papers (OpenMath, LML, GVMM, FVPS) Doctoral Programme Submissions Participation 12th Conference on Intelligent Computer Mathematics - CICM 2019

[Hol-info] SEFM 2019 - Final CfP with Extended Deadlines

- Final Call for Papers SEFM 2019 17th International Conference on Software Engineering and Formal Methods Oslo, Norway, September 16-20, 2019

[Hol-info] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines

Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming === This special session aims to increase the visibility and

[Hol-info] ICLP - Doctoral Consortium (DC) on Logic Programming

The 15th Doctoral Consortium (DC) on Logic Programming https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium The 15th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to

[Hol-info] FMCAD 2019 Deadline Extension

CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Hyatt Place San Jose Downtown, San Jose, California, USA, Oct 22 - 25, 2019 http://www.fmcad.org/FMCAD19 IMPORTANT DATES Abstract Submission (EXTENDED): May 17, 2019 Paper Submission (EXTENDED): May

[Hol-info] 6th International Workshop on Proof eXchange for Theorem Proving (PxTP)

Call for Papers, PxTP 2019 The Sixth International Workshop on Proof eXchange for Theorem Proving (PxTP) http://pxtp.gforge.inria.fr/2019/ 25-26 August 2019, Natal, Brazil