(Apologies if you receive multiple copies of this announcement)
This year's Peter Landin Semantics Seminar, which is jointly organized
and sponsored by Formal Methods Europe, will be given by Prof. Jan
Peleska of
the Bremen University and is entitled:
Semantic Families for Cyber Physical Systems
For full details and abstract, please see here:
http://www.bcs.org/content/ConWebDoc/55033
The event, see programme below, will be chaired by Prof. John
Fitzgerald (Newcastle University):
Programme
5.15pm - 6.00pm Tea/Coffee & Registration
6.00pm - Welcome & Introduction by Prof. John Fitzgerald, Newcastle University
6.05pm - Peter Landin Semantics Seminar - Semantic Families for Cyber
Physical Systems - Prof. Jan Peleska (Bremen University)
7.20pm - 8.30pm - Drinks Reception
Please book online at https://events.bcs.org/book/1673/
We look forward to seeing you there.
Paul Boca
FACS Secretary
|