Concurrency Theory Workshop:
Reasoning about Separation, Resource, Interference, Atomicity, OWHY.

Dates: 13-14 Jan 2009
Location: Robin Brook Centre, West Smithfield Campus, Queen Mary, Univ of London
Nearest underground stations are Farringdon and St Paul's.   Map 1   Map 2
Organizers: Peter O'Hearn, Matthew Parkinson

Note: An excellent successor workshop was hosted by Joey Coleman and Cliff Jones in Newcastle, the Northern Concurrency Workshop in Nov 2009.

This meeting is born of the close geographical, and even sometimes conceptual and technical, proximity of people who have recently made fresh advances on the theory of concurrency. Anyone is welcome to attend, but the the talks will be aimed at experts, and there will be no expository presentations.

Background

It would help to know (of) things like separation logic, rely-guarantee, process algebras, and modal logics and type systems for processes.

Talks are scheduled for 30min, with ample time set aside separately for discussion.

Note that the talks are in different rooms on the different days.

Schedule

Tuesday 13 Jan, Bainbridge Room, Robin Brook Centre

Wednesday 14 Jan, Paul Garrod Lecture Theatre, Robin Brook Centre

  • 3:30pm. Coffee
     
  • 4:00pm-5:15pm. Discussion.