Symposium Ampersand
Since 1999, Stef Joosten's research at the Open Universiteit has focused on Ampersand, a formal specification language that uses relation algebra for designing information systems and building prototypes. This research is impactful not only for the design of information systems but also for its application of formal mathematics to practical problems in computer science.
More information
For more information on the program and location, visit the symposium webpage.