Formal Methods Wiki


BCS-FACS Evening Seminar Series — Joint Event with Formal Methods Europe

Models of computation: automata and processes

Jos Baeten

Eindhoven University of Technology, The Netherlands

2 April 2009

BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA
United Kingdom

Automata theory and formal language theory is a basic model of computation addressing discrete behaviour, leading to important notions like computability and algorithm. Concurrency theory and process theory adds to this the notion of interaction between agents, essential when computers are always connected to each other and the world. The talk discusses integration of the two theories, and the benefits ensuing on both sides.

Refreshments will be served from 5.15pm.

The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca by 27 March. Pre-registration is required, as security at the BCS Offices is tight.

External links[]