Centre for Applied Formal Methods

Meetings

Faculty of Business, Computing and Information Management
London South Bank University

News | Meetings | Local seminars | FORTEST network | Further conferences

Below are links to information on meetings of possible interest to members of the Centre. See also seminars relevant to CAFM members.

News

From 2005 to 2008, the Centre is participating in the EPSRC VSR-net network on the Verified Software Repository. This is part of the Grand Challenge 6 on Dependable Systems Evolution.

Meetings

Here is a selection of major meetings and conference in which CAFM personnel have been or are involved as programme committee members or organizers:

2006

UTP: Unifying Theories of Programming Symposium, Walworth Castle, Darlington, UK, 6-7 February 2006.
SE 2006: 3rd IASTED International Conference on Software Engineering, part of 24th IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, 14-16 February 2006.
MBT 2006: 2nd Workshop on Model Based Testing, Vienna, Austria, 25-26 March 2006. Satellite workshop of ETAPS 2006.
TAIC PART 2006: Testing Academia & Industrial Conference: Practice And Research Techniques, Cumberland Lodge, Windsor, UK, 29-31 August, 2006.
ICSOFT 2006: 1st International Conference on Software and Data Technologies, Setúbal, Portugal, 11-14 September 2006.
SEFM 2006: International Conference on Software Engineering and Formal Methods, Pune, India, 11-15 September 2006.
ICFEM 2006: 8th International Conference on Formal Engineering Methods, Macau, 1-3 November 2005.
ICTAC 2006: International Colloquium on Theoretical Aspects of Computing, Tunisia, 20-24 November 2006.

2005

SEW-29: 29th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, USA, 6-7 April 2005.
ZB2005: 4th International Conference of B and Z Users, University of Surrey, Guildford, UK, 13-15 April 2005.
EVA 2005 London: Electronic Imaging & the Visual Arts Conference, London, July 2005.
GC6 FM05 Workshop: Grand Challenge 6 Workshop on Dependable Systems Evolution, Newcastle-upon-Tyne, UK, 18 July 2005. At FM05 Formal Methods Conference, 18-22 July 2005.
SEFM 2005: International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 7-9 September 2005.
ISoLA 2005: IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Loyola College Graduate Center, Columbia, Maryland, USA, 23-24 September 2005.
ICTAC05: International Colloquium on Theoretical Aspects of Computing, Hanoi, Vietnam, 17-21 October 2005.
ICFEM 2005: 7th International Conference on Formal Engineering Methods, Manchester, UK, 1-4 November 2005.
IFM 2005: International Workshop on Integrated Formal Methods, Eindhoven, The Netherland, 30 November - 2 December 2005.
ISM 2005: IEEE International Symposium on Multimedia, Irvine, California, USA, 12-14 December 2005.

2004

MBT 2004: International Workshop on Model Based Testing, Barcelona, Spain, 27-28 March 2004. (With ETAPS 2004.)
IFM 2004: 4th International Conference on Integrated Formal Methods, Canterbury, Kent, UK, 5-7 April 2004.
ERSA'04: 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, USA, 21-24 June 2004.
CSP 25: 25 Years of CSP, London South Bank University, UK, 7-8 July 2004.
ICTAC 2004: 1st International Colloquium on Theoretical Aspects of Computing, Guiyang, China, 23-27 August 2004.
RTCSA2004: 10th Real-time and Embedded Computing Systems and Applications Conference, Göteborg, Sweden, 25-27 August 2004.
SEFM 2004: International Conference on Software Engineering and Formal Methods, Beijing, China, 26-30 September 2004.
1st Workshop on Quality Assurance and Testing of Web-Based Applications (with COMPSAC 2004 Conference), Hong Kong, 30 September - 2 October 2004.
ICFEM 2004: 6th International Conference on Formal Engineering Methods, Seattle, USA, 8-12 November 2004.
Program Verification and Semantics: Further Work, BCS Computer Conservation Society / Formal Aspects of Computing Science Specialist Group seminar, Science Museum, London, UK, 2 December 2004.
MSE 2004: 6th IEEE International Symposium on Multimedia Software Engineering, Miami, Florida, USA, 13-15 December 2004.
BCS-FACS Xmas 2004: The Verified Software Repository, BCS-FACS meeting, BCS offices, London, UK, 21 December 2004.

2003

ZB2003: 3rd International Conference of Z and B Users, Turku, Finland, 4-6 June 2003.
FMICS 03: 8th International Workshop on Formal Methods for Industrial Critical Systems, Trondheim, Norway, 5-7 June 2003.
ERSA'03: 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, USA, 23-26 June 2003.
AICCSA'03: ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia, 14-18 July 2003.
UK-Softest 2003: UK Testing Research II Workshop, York, UK, 4-5 September 2003.
FM 2003: 12th International Formal Methods Europe Symposium, Pisa, Italy, 8-14 September 2003.
ICFEM 2003: 5th International Conference on Formal Engineering Methods, National University of Singapore, 5-7 November 2003.
SEW-28: 28th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, USA, 3-4 December 2002.
MSE 2003: IEEE Multimedia Software Engineering Conference, Taichung, Taiwan, ROC, 10-12 December 2003. Also here.
TFM 2003: Teaching Formal Methods: Practice and Experience Workshop, Oxford Brookes University, UK, 12 December 2003.

2002

ZB 2002: 2nd International Conference of Z and B Users, Grenoble, France, 23-25 January 2002.
IFM 2002: Integrated Formal Methods Workshop, Turku, Finland, 13-18 May 2002.
ERSA'02: 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, USA, 24-27 June 2002.
MENA Summer School 2002: Parallel, Distributed, Mobile, and Internet Computing - Theory, methods, applications, and research directions, The Centre of Advanced Mathematical Science (CAMS), American University of Beirut, Lebanon, 7-19 July 2002.
COMPSAC 2002: 26th IEEE Annual International Computer Software and Applications Conference, Oxford, England, 26-29 August 2002.
ICFEM 2002: 4th International Conference on Formal Engineering Methods, Shanghai, China, 21-25 October 2002.
ICECCS 2002: 8th IEEE International Conference on Engineering of Complex Computer Systems, Greenbelt, Maryland, USA, 2-4 December 2002.
SEW-27: 27th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, USA, 4-6 December 2002.
MSE2002: 4th International Symposium on Multimedia Software Engineering, Newport Beach, California, USA, 11-13 December 2002.
BCS-FACS FASec: Formal Aspects of Security, Royal Holloway, University of London, UK, 18-20 December 2002.

2001

Program Verification and Semantics: The Early Work, BCS Computer Conservation Society seminar, Science Museum, London, UK, 5 June 2001.
ICECCS 2001: 7th IEEE International Conference on Engineering of Complex Computer Systems, Skövde, Sweden, 11-13 June 2001.
PDPTA 2001: International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, 25-28 June 2001.
ERSA'01: 1st International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, USA, 25-28 June 2001.
1st IEEE International Workshop on Safety-Critical Electronic Components and Systems, Austin, Texas, USA, 29-31 August 2001.
MAPLD 2001: 4th Annual Military and Aerospace Applications of Programmable Devices and Technologies International Conference, Laurel, Maryland, USA, 11-13 September 2001.
COMPSAC 2001: 25th IEEE Annual International Computer Software and Applications Conference, Chicago, Illinois, USA, 8-12 October 2001.
APAQS 2001: 2nd Asia-Pacific Conference on Quality Software, Hong Kong, 10-11 December 2001.

2000

PDPTA 2000: International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, 26-29 June 2000.
ENREGLE: Engineering of Reconfigurable Hardware/Software Objects, PDPTA 2000, Las Vegas, Nevada, USA, 26-29 June 2000.
ITiCSE Working Group on Support for Teaching and Learning Formal Methods. ITiCSE 2000: Conference on Innovation and Technology in Computer Science Education, Helsinki, Finland, 10-14 July 2000.
ZB2000: 1st International Conference of Z and B Users, York, UK, 29 August - 2 September 2000.
ICFEM 2000: 3rd IEEE International Conference on Formal Engineering Methods, York, UK, 4-7 September 2000.
APAQS 2000: 1st Asia-Pacific Conference on Quality Software, Hong Kong, 30-31 October 2000.
IFM2000: Integrated Formal Methods Workshop, Schloss Dagstuhl, Germany, 1-3 November 2000.
Special session on Formal Methods for Engineering Special-Purpose Parallel Systems in conjunction with ICECS2K: IEEE International Conference on Electronics, Circuits & Systems Kaslik, Lebanon, 17-20 December 2000.

See also seminars relevant to CAFM members and other formal methods meetings.

Past activities

On 7-8 July 2004, 25 Years of CSP was hosted in the new Keyworth Centre at London South Bank University. The Centre hosted the 2003 Annual General Meeting of BCS-FACS on 12 March 2003 in the Technopark Conference Room (2nd floor above the entrance) on the Southwark Campus (building #8). The Centre also hosted the 2002 AGM of BCS-FACS on Wednesday 20 February 2002 in the Technopark Boardroom. Prof. Jonathan Bowen was elected Chair of this British Computer Society Specialist Group on Formal Aspects of Computing Science.

The Centre hosted the 2001 Annual General Meeting of Formal Methods Europe (FME) in the Boardroom of the TechnoPark building on Friday 19 October 2001.

From 2001 until 2005, the Centre has been participating in the EPSRC network FORTEST on formal methods and testing. The first meeting was held on Thursday 22 November 2001 at Brunel University and further meetings have been and will continue to be held. Contact Rob Hierons for further details and to join the mailing list to receive information on meetings or see the main FORTEST Network website. London South Bank University will be hosting a FORTEST meeting in the Boardroom and Conference Room at Technopark on 23-24 October 2003.

Part of the CAFM information provided by Jonathan Bowen.
Last updated 23 January 2006.