DisCoTec at CWI

The Foundations of Software Engineering group, headed by F. S. de Boer, is organizing this year's DisCoTec, the 5th International Federated conferences on Distributed Computing Techniques.