Ohad Kammar from the University of Edinburgh will visit us from October 12-15. We are working together on the semantic validation of amortised cost analyses.
