Subject: Re: GC6 workshop, 18 March, 9am - 4.30pm, BCS Offices, London
Newsgroups: gmane.science.mathematics.frogs
Date: 2008-03-10 01:46:20 GMT (9 weeks, 1 hour and 15 minutes ago)
Misters, For Your Information. Best Regards, Paul Boca wrote: > Hi Guillaume, > > I now have 21 people on the list. Could you let me know by Monday > whether you wish to attend the workshop. > > Thank you. > > Best wishes, > > Paul Boca > > On Thu, Mar 6, 2008 at 9:14 AM, Paul Boca wrote: > >> Hi Guillaue, >> >> sorry for the delay in responding. It would be great if you could >> attend the workshop. As well as myself and the speakers, the following >> people will be in attendance: >> >> Alexander Gegov >> Kees Pronk >> Richard Bornat >> Simon Dobson >> Paulo Oliva >> Matthew Hague >> Abdolbaghi Rezazadeh >> Manuel Mazzara >> Jan Ju''rjens >> >> We do not have many places left, so please let me know ASAP if you would >> like to attend. >> >> I very much hope you can attend. >> >> Best wishes, >> >> Paul Boca >> >> On Sun, Mar 2, 2008 at 8:25 PM, FORTAINE Guillaume >> wrote: >> >>> Misters, >>> >>> I would want to know who plan to come to this conference, if possible, >>> please. >>> >>> I am greatly interested by this opportunity. >>> >>> Here are some pointers to make the link with the Industry : >>> >>> **Formal Methods for Industrial Critical Systems* >>> <http://www.inrialpes.fr/vasy/fmics/> >>> >>> * >>> http://klabs.org/mapld06/abstracts/253_karlsson_a.html* >>> >>> **"Increasing Confidence of Complex Hardware in Safety-Critical Avionics >>> Using Formal Methods"* >>> >>> >>> >>> I look forward to Your Answer, >>> >>> Best Regards, >>> >>> Guillaume FORTAINE >>> >>> >>> Paul Boca wrote: >>> >>>> (Apologies if you receive multiple copies of this announcement) >>>> >>>> GC6 Workshop >>>> >>>> 18 March 2008 >>>> >>>> 9am – 4.30pm >>>> >>>> BCS London Offices >>>> First Floor, >>>> The Davidson Building >>>> 5 Southampton Street >>>> London WC2E 7HA >>>> >>>> >>>> In 2004, the UK Computing Research Committee initiated a number of "Grand >>>> Challenges" aimed at stimulating long term research in key areas of computing >>>> science. One of the challenges (GC6) focuses on Dependable Systems >>>> Evolution. GC6 has two central principles: theory should be embodied in tools, >>>> and tools should be tested against real systems. The goal is to produce a >>>> Verifying Compiler and a repository of verified software. >>>> >>>> The results of a competition to verify the Mondex system, using different >>>> formalisms and tools, are the first artifacts to be deposited in the >>>> repository, >>>> and others will be deposited in due course. Other pilot studies (e.g. >>>> verified file >>>> store) are underway, and some of these will be discussed at the workshop. >>>> >>>> The workshop on 18 March will feature talks from: >>>> • Jim Woodcock (University of York) – GC6 Chair >>>> • Juan Bicarregui (Rutherford Appleton Laboratories) >>>> • Michael Butler (University of Southampton) >>>> • Andrew Butterfield (Trinity College, University of Dublin) >>>> • David Crocker (Escher Technologies) >>>> • Dominik Haneberg (University of Augsburg, Germany) >>>> • Peter O'Hearn (Queen Mary University of London) >>>> >>>> The workshop is free to attend and open to everyone. If you would like >>>> to attend, >>>> please contact Paul Boca by the 11 March. >>>> Please note that places are limited. >>>> >>>> >>>> >>>> >>> >>> > > >