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.

The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information Processing (IFIP). This year the main conferences, taking place on 07-09 June, are at the Centrum Wiskunde en Informatica in Amsterdam.

Each of the three days of the federated event begins with a plenary speaker nominated by one of the conferences. The first day Joe Armstrong (Ericsson Telecom AB) will give a keynote speech on Erlang-style concurrency. The second day Gerard Holzmann (Jet Propulsion Laboratory, USA) will discuss the question "Formal Software Verification: how close are we?". The third and last day Joost Roelandts (Director of Development Netlog) will present the problem area of distributed social data.

In addition, the program includes a joint technical session consisting of one paper from each of the conferences and an industrial session with presentations by Dr. A. Stam (Almende B.V., Information
Communication Technologies) and Dr. M. Verhoef (CHESS, Computer Hardware & System Software) followed by a panel discussion.

For more information, please visit the event's webpage:

DisCoTec '10
5th International Federated Conferences on Distributed Computing Techniques
Amsterdam, The Netherlands
June 7 - 10, 2010
http://discotec.project.cwi.nl