[Hol-info] CICM 2018 - Call for Papers

2018-04-02 Thread geoff
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

2018-04-02 Thread Urban Caterina
- SAS 2018 25th Static Analysis Symposium Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018