Martin Riener

Office: Room 2.110, Kilburn Building
School of Computer Science, The University of Manchester
Oxford Road, Manchester, UK, M13 9PL
Office Hours: by appointment
Email: martin [at] derivation [dot] org
Email: riener [at] logic [dot]
Twitter: Deriving False