Annual Synchronous Programming Workshop

LAST MONTH the Department of Computer Science AI hosted the Annual Synchronous Programming Workshop. This workshop has been held since 1994 in various countries. The participants included major researchers in the field. Synchronous Programming is an...

LAST MONTH the Department of Computer Science AI hosted the Annual Synchronous Programming Workshop. This workshop has been held since 1994 in various countries. The participants included major researchers in the field.

Synchronous Programming is an approach within computing whereby special languages are used that allow a program to instantaneously and deterministically react to external events. This approach has been widely accepted by industrial companies among which are aircraft manufacturers, aerospace, electronics producers and semiconductor companies.

Talks at the workshop included presentations of new extensions to synchronous languages and associated tools, formal semantics of non-synchronous languages and how these can be applied to reactive systems and optimisation techniques of standard problems in synchronous verification and modelling.

The workshop was sponsored by the EU project Artist2, Go Mobile, Malta Tourism Authority and the University of Malta. More information can be found at www.cs.um.edu.mt/~synchrone05 or by e-mailing Dr Gordon Pace at gordon.pace@um.edu.mt

Sign up to our free newsletters

Get the best updates straight to your inbox:

You can unsubscribe at any time by clicking the link in the footer of our emails. We use Mailchimp as our marketing platform. By subscribing, you acknowledge that your information will be transferred to Mailchimp for processing.