[Om] [Infrastructure] Again: Infrastructure update progress?

[James Davenport]

Quoting Michael Kohlhase <m.kohlhase at jacobs-university.de>:

> Dear all,
>
> has anyone heard from Jan Willem? I have not. Is there a problem?
Not since 17 July.


James Davenport
Hebron & Medlock Professor of Information Technology,
University of Bath
OpenMath Content Dictionary Editor
Director of Studies EPSRC Doctoral Taught Course Centre for HPC
IMU Committee on Electronic Information and Communication
Trustee, Council and Engineering & Science Board, British Computer Society
SW Coordinator, Computing at School Network of Excellence
Federal Council, International Federation for Computational Logic