Re: GC6 workshop, 18 March, 9am - 4.30pm, BCS Offices, London

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.
> > > >
> > > >
> > > >
> > > >         
> > >
> > >       
>
>
>