[Imsa-hpc-list] Great News: Visitors from the IT-Sud Paris will be here 1-2 Sep.

[ClemsonSteve]

Paul Gibson (http://www-public.it-sudparis.eu/~gibson/) a long time  
friend of Brian Malloy and mine is going to be here the afternoon of  
the 1st. He and his boss, Jean Reay, are coming to visit and would  
like to present one or two talks. They should arrive about lunchtime  
on the 1st, and I will set up dinner; the must leave by 3PM on the  
2nd. A list of topics is attached.

If you have suggestions for the talks or want to go to dinner, let me  
know.

steve


Begin forwarded message:

> From: J Paul Gibson <paul.gibson at it-sudparis.eu>
> Date: 24Aug 2009 08:44:59
> To: Steve Stevenson <steve at cs.clemson.edu>
> Subject: visit to clemson - more detailed planning for 1st and 2nd  
> Sept
> Reply-To: paul.gibson at it-sudparis.eu
>
> A distributed voting system in France: the verification problem
>
> Feature interactions in a Software Product Line for Evoting
>
> Challenging The Lecturer: Learning From The Teacher’s Mistakes
>
> Teaching Refinement using Event-B: Formal Methods, Software  
> Engineering
> and PBL
>
> Let me know what you think may attract some interest - I can then  
> send you an abstract for any talks that you choose.
> -----
> http://www-public.it-sudparis.eu/~gibson/