DisCo Around the Clock

General description

This Summer Course will give you a working knowledge on how joint actions may be used in the specification of reactive systems. A relatively large part of the course will consist of hands-on work using the DisCo language and the associated tools for the specification of small scale case studies. For more information about the DisCo method, see http://www.cs.tut.fi/ohj/DisCo/.

Information for applicants

Selection criteria:

Practical arrangements

All of the following are covered by the event fee:

Lodging:

Meals:

Transportation: