[TYPES/announce] Last chance: verified trustworthy software systems

Gardner, Philippa A p.gardner at imperial.ac.uk
Fri Mar 25 08:43:33 EDT 2016

See below about the verified trustworthy software systems meetings at the Royal Society and Imperial in the week of the 4th April.

We have been officially full for quite  a while, but now have spaces due to cancellations and holding some places back. 

If interested, please sign up by going to the link:

> https://verificationinstitute.org/event/verified-trustworthy-software-systems-specialist-meeting/

It promises to be a good meeting.

Best wishes, 

On 25 Feb 2016, at 20:28, Gardner, Philippa A <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:
> https://verificationinstitute.org/event/verified-trustworthy-software-systems-specialist-meeting/
> If interested in attending the meetings, please contact Teresa Carbajo 
> Garcia at 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
> asap.
> 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.

More information about the Types-announce mailing list