Kwart eeuw concurrency theorie

Elk jaar belicht het Centrum Wiskunde & Informatica (CWI) een uitzonderlijke wetenschapper of bijzonder onderzoek tijdens de CWI Lectures in Mathematics and Computer Science. Vrijdag 23 mei 2008 staat in het teken van vijfentwintig jaar concurrency theorie op het CWI. Gerenommeerde wetenschappers uit binnen- en buitenland geven hun visie op de geboekte resultaten en blikken vooruit op de komende vijfentwintig jaar.

Date: May 20, 2008

Elk jaar belicht het Centrum Wiskunde & Informatica (CWI) een uitzonderlijke wetenschapper of bijzonder onderzoek tijdens de CWI Lectures in Mathematics and Computer Science. Vrijdag 23 mei 2008 staat in het teken van vijfentwintig jaar concurrency theorie op het CWI. Gerenommeerde wetenschappers uit binnen- en buitenland geven hun visie op de geboekte resultaten en blikken vooruit op de komende vijfentwintig jaar.

Sprekers zijn onder meer Gerard Holzmann, Moshe Vardi en Jan Bergstra. Zij hebben hun sporen ruimschoots verdiend en hebben diverse prijzen op hun naam staan. Holzmann is hoofd van het NASA JPL Laboratory for Reliable Software, en heeft met de model checker Spin de prestigieuze ACM System Software Award gewonnen. Vardi is de winnaar van drie IBM Outstanding Innovation Awards, de Goedel prijs, en de ACM Kanellakis Award for Theory and Practice. Bergstra is grondlegger van procesalgebra onderzoek in Nederland.

Concurrency theorie onderzoekt hoe verschillende systemen tegelijkertijd diverse processen uitvoeren, waarbij ze onderling kunnen communiceren. Het doel is om uiteindelijk een gezamenlijke taak te volbrengen. Dit vakgebied heeft toepassingen in parallelle en gedistribueerde systemen, zoals het internet.

Sinds begin jaren tachtig speelden de algebraïsche technieken voor de specificatie en verificatie van software systemen een prominente rol op het CWI. Door de jaren heen werd het onderzoek geleid door topwetenschappers. Zij hebben op verschillende universiteiten onderzoeksgroepen gestart. Nu concurrency theorie in Nederland goed vertegenwoordigd is, verlegt het CWI het accent naar een nieuw strategisch onderzoeksthema, software als service. Naast dit thema richt het CWI zich de komende jaren ook op aard- en levenswetenschappen, maatschappelijke logistiek en de data explosie.

Meer over de lezingen: http://www.cwi.nl/lectures2008