Christoph Lüth
Clement Jonquet
Michael Kohlhase
- Multiple Positions at FAU Erlangen/Nürnberg
- ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA
- CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA