AI4FM / kick-off

The project kick-off meeting, Newcastle, 20-21 May 2010

Kick-off meeting

Newcastle, 20-21 May, 2010

Welcome

Welcome to the AI4FM kick-off meeting. Below you can see the programme, and on the right you can see a map containing all the venues used during the meeting.

In the first session we present the project, while the remaining three sessions (we believe) are project relevant, and hopefully we will end up cooperating with. We have deliberately chosen many short overview talks, rather than longer more technical talks, since the main aim of the meeting is to get to know each other and what others do.

Finally, we hope everybody will have a good time.

Note: We have made all slides available below.

Programme

Thursday 20th May (room 7.01 of Claremont Tower)

• 12:00-13:00: Lunch
• 13:00-15:00: Session 1 (chair: Andrew Ireland)
  1. Cliff Jones - Welcome (10 mins) | Download slides
  2. Gudmund Grov - The AI4FM project (30 mins) | Download slides
  3. Cliff Jones - An earlier experiment in TP UI - the mural system (20 mins) | Download slides
  4. Alan Bundy - Towards a strategy language for describing proofs (30 mins) | Download slides
  5. Discussion & Questions (30 mins)
• 15:00-15:30: Coffee break
• 15:00-17:00: Session 2 (chair: Alan Bundy)
  1. Paul Watson - Computing in the Cloud (30 mins) | Download slides
  2. Iain Whiteside - Towards Proof Refactoring (15 mins) | Download slides
  3. Joey Coleman - Commonwealth: Notes on a Grant Proposal (15 mins) | Download slides
  4. Andrius Velykis - Verifying Z specifications with Z/Eves (15 mins) | Download slides
• 19:30: Dinner (at the Baltic) | Visit restaurant website

Friday 21st May (room 7.01 of Claremont Tower)

• 09:00-11:00: Session 3 (chair: Cliff Jones)
  1. Alexander Romanovsky - The Deploy project (30 mins) | Download slides
  2. Jeremy Bryans - Developing with the RODIN Tools (15 mins) | Download slides
  3. Andrew Ireland - Reasoned Modelling: Combining Proof and Modelling Patterns (25 mins) | Download slides
  4. Maria Teresa Llano - Reasoned Modelling: A Refinement Perspective (20 mins) | Download slides
• 11:00-11:30: Coffee break
• 11:30-12:45: Session 4 (chair: Gudmund Grov)
  1. Paul Jackson - The Rich Model Toolkit EU collaboration (30 mins) | Download slides
  2. Ewen Maclean - Functional Correctness of Pointer Programs (15 mins) | Download slides
  3. Matthew Lovert - An Introduction to the Logic Of Partial Functions (15 mins) | Download slides
  4. Leo Freitas - Learning proofs from refutations (15 mins) | Download slides
• 12:45-13:00: Closing remarks (Cliff Jones)
• 13:00-14:00: Lunch
• Alan Bundy will also give a colloquium at 14:00.