[Hol-info] Formal Methods 2019: First Call for Papers

2018-10-10 Thread Renato Neves
== FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/

[Hol-info] Artificial Intelligence and Theorem Proving, AITP 2019

2018-10-10 Thread geoff
CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving, AITP 2019 April 7-12, 2019, Obergurgl, Austria http://aitp-conference.org/2019 Deadline: December 1, 2018 https://easychair.org/conferences/?conf=aitp2019 BACKGROUND Large-scale semantic processing and strong computer