[Hol-info] RAMiCS2020 - 2nd CFP

2nd CALL FOR PAPERS 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08. April to 11. April 2020, Palaiseau, France URL: http://ramics18.gforge.inria.fr/

[Hol-info] [Vardi-list] The Mathematics of Quantum Computation - The 4th Advanced School in Computer Science and Engineering

Event date: December 15 - December 19, 2019 Organizers: Dorit Aharonov (The Hebrew University of Jerusalem) Zvika Brakerski (Weizmann Institute of Science) Or Sattath (Ben-Gurion University of the Negev) Amnon Ta-Shma (Tel Aviv university) On 15-19 December 2019, we will be organizing a

[Hol-info] ICLP 2019 - Call for Participation

Apologies for cross-posting - Please forward to anybody who might be interested ** The early registration is approaching soon! ** The 35th International Conference on Logic Programming (ICLP 2019) Call for Participation = September 20-25, 2019 Las Cruces, New Mexico (USA)

[Hol-info] FMCAD Student Forum: DEADLINE EXTENDED

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: August 1, 2019 (EXTENDED) Notification: August 18, 2019 All