Dear all, Michael Chan, who is a PhD student of Alan Bundy, will visit us from 5/10 to 15/10 to learn more about Isabelle. Next wednesday, he will give a talk on his project, which is about ontology evolution. Note that Jasmin has a talk on the same day at 14:00. Alex