[Hol-info] CICM 2018 - Call for Papers
Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 -
[Hol-info] Upcoming Deadline for SAS 2018: April 13th
- SAS 2018 25th Static Analysis Symposium Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018