[Hol-info] Multiple Positions at FAU Erlangen/Nürnberg

2018-03-24 Thread Michael Kohlhase
l.kohlh...@fau.de>. [1] http://kwarc.info [2] http://cs.fau.de [3] http://kwarc.info/hiring -- -- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung I

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

2018-03-20 Thread Michael Kohlhase
ation (e.g. a Relax NG schema) should be provided. ORGANISATION/PROGRAMME COMMITTEE    * James Davenport (University of Bath, UK)    * Michael Kohlhase (FAU Erlangen-Nürnberg, Germany) Comments/questions/enquiries: to be sent to the

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

2018-03-20 Thread Michael Kohlhase
Organizers     Michael Kohlhase (FAU Erlangen-Nürnberg)     Patrick D. F. Ion (GDML WG & University of Michigan) Comments/questions/enquiries: to be sent to the organizers -- ------ Prof. Dr. Michael Kohlhase, http://kwarc.info/k