[Hol-info] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)

             Call for Participation         Workshop on Large Mathematics Libraries (LML 2019)      12th Conference on Intelligent Computer Mathematics     - CICM 2019 -    July 8-12, 2019     CIIRC, Prague, Czech Republic  

[Hol-info] Student Forum

CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) STUDENT FORUM San Jose, California, USA, Oct 22 - 25, 2019 https://fmcad.forsyte.at/FMCAD19/student-forum/ IMPORTANT DATES Paper submission: July 26, 2019 Notification: August 16, 2019 All deadlines

[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

[apologies for any cross-posting] Call for Papers [NEW DEADLINES!] AIIA19 - The 18th International Conference of the Italian

[Hol-info] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial

Dear colleagues, Please consider submitting a paper on your experiences with formal methods teaching to our FMTea19 workshop affiliated with the FM conference in Porto in October. We are encouraging a wide spectrum discussion on how we should teach formal methods in the 21st century, so your

[Hol-info] The 6th Vampire Workshop - CFP

= Vampire 2019: The 6th Vampire Workshop July 7, 2019, affiliated with SAT 2019 Lisboa, Portugal https://easychair.org/smart-program/Vampire2019/index.html = CALL FOR PAPERS = IMPORTANT DATES: - Submission deadline: June 16,