For thirty years, Achim Jung has been at the forefront of research in the fields of Programming Language Semantics, Topological Logic, and, more broadly, the intersection of Computer Science, Logic, and Mathematics.
Achim has supervised 11 PhD students; served as editor of 3 journals; organized multiple conferences; and—closer to home—he was one of the founders of the Midlands Graduate School of Computing Science, and twice served as Head of School of Computer Science at the University of Birmingham.
On occasion of his 60th birthday, this workshop will commemorate Achim's work and service to the community. It will take place at the University of Birmingham, on 8 September 2018, on the fringes of CSL 2018.
(see the preliminary programme)
The workshop will be help in the Mechanical Engineering dept., room G31 (see map). It will be followed by a dinner in the School of Computer Science attrium.
For information about travelling to and lodging in Birmingham, please see the relevant CSL 2018 page.
Attendance to the workshop is free of charge but registration is mandatory. To register please use the CSL 2018 registration system.
Dan R. Ghica (chair) and Marco Devesas Campos (publicity)