Symposium Ampersand
Sinds 1999 concentreert het onderzoek van Stef Joosten aan de Open Universiteit zich op Ampersand, een formele specificatietaal die relatiealgebra gebruikt voor het ontwerpen van informatiesystemen en het bouwen van prototypes. Dit onderzoek heeft niet alleen impact op het ontwerp van informatiesystemen, maar ook op het gebied van de toepassing van formele wiskunde op praktische problemen in de informatica.
Meer informatie
Voor meer informatie over het programma en de locatie kun je terecht op de symposiumpagina.