[Hol-info] Verification and Deduction Mentoring Workshop 2018

Verification and Deduction Mentoring Workshop 2018, FLoC 2018, July 13, 2018 CALL FOR PARTICIPATION ***Overview*** The purpose of the Verification and Deduction Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research

[Hol-info] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA

[apologies for multiple postings] 29th OpenMath Workshop               24-27 July 2018     Notre Dame University, South Bend, USA NOTE: co-located with ICMS 2018 http://www.icms-conference.org/2018 Details:

[Hol-info] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA

[apologies for multiple copies]     ICMS Session ---   Math in 2050 Creativity, Publication, and Application supported by Knowledge Bases and Software? Notre Dame, 24-27 July 2018 (one day, tbd) co-located with ICMS 2018