(Apologies if you receive multiple copies of this announcement)
BCS-FACS Evening Seminar Series
Formal Methods for Quantum Systems
Dr Simon Gay (University of Glasgow)
11 May 2011
6pm
BCS London Offices
First Floor,
The Davidson Building
5 Southampton Street
London WC2E 7HA
http://www.bcs.org/upload/pdf/london-office-guide.pdf
Quantum communication and cryptographic protocols are well on the way
to becoming an important practical technology. Although a large amount
of successful research has been done on proving their correctness,
most of this work does not make use of familiar techniques from formal
methods: formal logics for specification, formal modelling languages,
separation of levels of abstraction, compositional analysis, and so
on. We argue that these techniques will be necessary for the analysis
of large-scale systems that combine quantum and classical components,
and present the results of initial investigation in several areas.
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 [[log in to unmask]]
by >>>10 May 2011<<<<
BCS-FACS Website: http://www.bcs-facs.org
Location of venue: http://www.bcs.org/upload/pdf/london-office-guide.pdf
|