[TYPES/announce] verified trustworthy software systems: Royal Society and Imperial

Gardner, Philippa A p.gardner at imperial.ac.uk
Sat Apr 2 12:27:26 EDT 2016

Hello all,

See below about the `Verified Trustworthy Software Systems' meetings at the Royal Society and Imperial in the week of 4th April.

Please note that we will be streaming the talks from the Imperial Specialist meeting on 6th/7th April on the Imperial College YouTube channel at


The Royal Society will be recording the talks at the meeting on 4th/5th. The recordings will be available shortly after the meeting.

All details, including the links to the talks, will be available at


Best wishes,

On 25 Feb 2016, at 20:28, Gardner, Philippa A <pg at ic.ac.uk<mailto:pg at ic.ac.uk>> wrote:

Hello all,

I am organising a Royal Society Meeting on `Verified Trustworthy
Software Systems’ on 4th-5th April with Mike Gordon (Cambridge), Greg
Morrisett (Harvard—>Cornell), Peter O’Hearn (Facebook) and Fred
Schneider (Cornell), and an associated two-day specialist workshop at
Imperial on 6th-7th April.

For the Royal Society meeting, the audience will comprise verification
experts, systems and security experts interested in verification,
industrialists using verification, and government scientists thinking
about verification challenges in cyber security and the certification
of software. For the specialist workshop at Imperial, the speakers and
audience will comprise verification, systems and security experts
(think Dagstuhl with many more people in the audience, the fun meeting).

The speakers are given below. All details about the meetings can be
found at this link:


If interested in attending the meetings, please contact Teresa Carbajo
Garcia at t.carbajo-garcia at imperial.ac.uk<mailto:t.carbajo-garcia at imperial.ac.uk>. There are approximately 50
places left and we believe the demand will be high, so please contact Teresa

We have a few travel scolarships for PhD students: decisions on 11th
March (although get in touch with Teresa early to ensure a place).
See the webpage for details.

Best wishes,
Philippa Gardner


The speakers for the Royal Society meeting include:

Dr Tom Ball, Dr Mark Batty, Professor Kathleen Fisher, Professor
Philippa Gardner, Dr Alexey Gotsman, Sir Tony Hoare FREng FRS,
Professor Gerwin Klein, Professor Daniel Kroening, Dr Xavier Leroy,
Professor Greg Morrisett, Professor Peter O’Hearn, Professor John
Regehr, Professor Fred Schneider, Professor J Strother Moore, Dr
George Varghese, Professor Nickolai Zeldovich.

The speakers for the specialist meeting at Imperial include:

Professor Michael Backes, Professor Lujo Bauer, Dr Cristian Cadar,
Professor Adam Chlipala, Dr Alastair Donaldson, Dr Derek Dreyer, Dr
Jérôme Feret, Dr Cédric Fournet, Dr Chris Hawblitzel, Professor Gernot
Heiser, Professor Warren Hunt, Dr John Launchbury, Professor Pasquale
Malacaria, Professor Heiko Mantel, Dr Michael Norrish, Professor
Andrei Sabelfeld, Professor Peter Sewell, Dr Alexandra Silva, Dr Anna
Slobodova, Dr Viktor Vafeiadis.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160402/d57d85f9/attachment-0001.html>

More information about the Types-announce mailing list