The Seventh ASTReNet Workshop
Formal Aspects of Source Code Analysis and Manipulation
The Workshop
was held on 6-7th June 2006, in collaboration
with
BCS FACS (BCS Specialist Group, Formal Aspects of
Computing Science) on Formal Aspects.
Attendee (21)
Haider BilalLondon South Bank University, UK*Paul BocaVisiting Research Fellow, London South Bank University, UK*
Jonathan BowenLondon South Bank University, UK*
David ClarkKings College London, UK
Maribel FernándezKing's College London, UK
Chris FoxUniversity of Essex, UK
Nicolas GoldKing's College London, UK
Tracy HallHerfordshire University, UK*
Mark HarmanKing's College London, UK*
John Howroyd@UK PLC
Tao JiangKing's College London, UK
Ákos KissUniversity of Szeged, Hungary
Mike LaurenceKing's College London, UK
Zheng LiKing's College London, UK
Dimitris MostrousImperial College London
Gasso Wilson MwalusekeLondon South Bank University, UK*
EKabua ObetenLondon South Bank University, UK*
Richard E OverillKing's College London, UK
Daniel SpeicherUniversity of Bonn, Germany
Nobuko YoshidaImperial College London, UK
Fan ZhangSurrey University, UK*
Programme
Tuesday 6th June
Closed workshop for formalizing slicing and transformation
Wednesday 7th June
- 09.00 Coffee/tea welcome
- 09.30 Mark Harman and Zheng Li: Welcome and ASTReNet procedures
- 09.40 Ákos Kiss: Formalizing Slicing | Abstract | Slides | Reference |
- 10.30 Coffee/tea
- 11.00 Mike Laurence: Introduction to program schemas with applications to program slicing | Abstract | Slides | Reference |
- 12.00 Maribel Fernández: Term Rewriting for Access Control | Abstract | Slides |
- 13.00 Lunch: finger buffet
- 14.00 Nobuko Yoshida: Types, Dependency and Safety of Concurrent Languages with Communications | Abstract |
- 15.00 Coffee/tea
- 15.30 David Clark: Measuring information flow due to branching behaviour in programs | Abstract | Slides |
- 16.30 Discussion
- 17.30 Close of ASTReNet
- 18.00 FACS Evening Seminar by Tom Maibaum: The Three Amigos: or why 'There is more to specifying systems that connect to the physical world' than they admit
| Abstract |
Location
BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA