Joint Call for
Workshops Papers (OpenMath, LML, GVMM, FVPS)
Doctoral Programme Submissions
Participation
12th Conference on Intelligent Computer Mathematics
- CICM 2019
-
Final Call for Papers
SEFM 2019
17th International Conference on Software Engineering and Formal Methods
Oslo, Norway, September 16-20, 2019
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
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
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
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