Virtual Library Software Engineering Formal Methods

This document contains some pointers to meetings involved with formal methods for which on-line information is available on the World Wide Web. Entries marked with a are particularly relevant to formal methods and/or up to date. Entries marked have been recently added or changed (normally within the last month or so).

Meetings

1. ACSC (Asian Computing Science Conference)
2. AMAST (International Conference on Algebraic Methodology and Software Technology) See also AMAST'97, Macquarie University, Sydney, Australia, 13-17 December 1997,
3. APAQS 2001 (2nd Asia-Pacific Conference on Quality Software) Hong Kong, 10-11 December 2001.
   See also APAQS 2000, Hong Kong, 30-31 October 2000.
4. ASE (IEEE International Conference on Automated Software Engineering) Grenoble, France, 11-15 September 2000.
5. ASIAN'99 (Asian Computing Science Conference) Phuket, Thailand, 10-12 December 1999. (Scaope includes Formal Reasoning and Verification.)
6. ASM (Abstract State Machines Workshop). See ASM Worhshop 2000. 1998 International Workshop on Abstract State Machines.
7. ASWEC (Australian Software Engineering Conference) ASWEC'98, Adelaide, Australia, 9-13 November 1998.
8. B International Conference, organized by the International B Conference Steering Committee (APCB).
9. BCTCS (British Colloquium on Theoretical Computer Science) BCTCS 14, University of St Andrews, Scotland, 31 March - 2 April 1997.
10. CAV (International Conference on Computer-Aided Verification).
11. CHARME (IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods) CHARME'99, Bad Herrenalb, Germany, 27-29 September 1999.
12. CHDL (IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applications) CHDL'97, Toledo, Spain, 20-26 April 1997.
13. COMPSAC 2001 (25th Annual International Computer Software and Applications Conference) Chicago, Illinois, USA, 8-12 October 2001.
    See also COMPSAC 2000, Taipei, Taiwan, 25-27 October 2000.
14. CONCUR (International Conference on Concurrency Theory) CONCUR'98, Nice, Framce, 8-11 September 1998.
15. CSL (Conference of the European Association of Computer Science Logic - EACSL) CSL'98, Brno, Czech Republic, 22-28 August 1998.
16. International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, 7-9 October 1998.
17. CTCS (Conference on Category Theory and Computer Science)
18. CTI Computing, Workshop on Teaching Formal Methods, University of Huddersfield, UK, 12 September 1995.
19. DCC (3rd International Workshop on Designing Correct Circuits) Båstad, Sweden, 2-4 September 1996.
20. DCCA-7 (7th IFIP International Working Conference on Dependable Computing for Critical Applications) San Jose, California, USA, 6-8 January 1999.
21. ECBS (IEEE International Conference and Workshop on the Engineering of Computer Based Systems) Napier University, Edinburgh, Scotland, UK, 3-7 April 2000.
22. EEF Foundations School in Deduction and Theorem Proving, Heriot-Watt University, Edinburgh, 6-16 April 2000.
23. ENCRESS (International Conference on Reliability, Quality & Safety of Software-Intensive Systems) ENCRESS'97, Athens, Greece, 29-30 May 1997.
24. ETAPS (European Joint Conferences on Theory and Practice of Software) ETAPS'2000, Berlin, Germany, 25 March - 2 April 2000.
25. EUROMICRO events and conference
26. FEmSys (Workshop on Formal Design of Safety Critical Embedded Systems) Munich, Germany, 15-17 March 1999.
27. FLoC (Federated Logic Conference) FLoC'99, Trento, Italy, 2-10 July 1999. (CADE, CAV, LICS and RTA conferences.) See also US site.
28. FM'99 (World Congress on Formal Methods), Toulouse, France, 20-24 September 1999.
29. FMCAD (Formal Methods in Computer-Aided Design), successor to TPCD.
30. FME (Formal Methods Europe), Graz, Austria, 15-19 September 1997.
31. FMICS (International Workshop on Formal Methods for Industrial Critical Systems) Berlin, Germany, 3-4 April 2000.
32. FMOODS (IFIP International conference on Formal Methods for Open Object-based Distributed Systems) Canterbury, UK, 21-23 July 1997.
33. FMP (Formal Methods Pacific) FMP'97, incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium, Victoria University of Wellington, New Zealand, 9-11 July 1997.
34. FMPPTA (International Workshop on Formal Methods for Parallel Programming: Theory and Applications).
35. FMSP (ACM SIGSOFT Workshop on Formal Methods in Software Practice) Co-located with ISSTA ACM/SIGSOFT International Symposium on Software Testing and Analysis.
36. FM-TOOLS (Workshop on Tools for System Design and Verification).
37. Formal Methods Day (30th anniversary year), Department of Computer Science, Royal Holloway, University of London, UK, 27 November 1997.
38. FORTE/PSTV (FORmal description TEchniques / Protocol Specification, Testing, and Verification). See also FORTE/PSTV'99, FORTE/PSTV'98, FORTE/PSTV'96 and FORTE'95.
39. FroCoS (Frontiers of Combining Systems) FroCoS'98, Amsterdam, The Netherlands, 2-4 October 1998.
40. FSE (6th ACM SIGSOFT International Symposium on the Foundations of Software Engineering) Lake Buena Vista (near Orlando), Florida, USA, 1-7 November 1998.
41. FTH Workshop (Formal Techniques for Hardware and Hardware-like Systems) Marstrand, Sweden, 19 June 1998.
42. FTRTFT (Formal Techniques in Real Time and Fault Tolerant systems) International School and Symposium.
43. 1st Goddard Workshop on Formal Approaches to Agent-Based Systems, NASA Goddard Space Flight Center, Greenbelt, MD, USA, 6-7 April 2000.
44. High Assurance Systems Engineering Symposium (HASE).
45. HOA (Workshop on Higher-Order Algebra, logic, and term rewriting) HOA'97, 3rd Workshop, University of Southampton, UK, 4-5 September 1997.
46. HUG (Workshop on Higher Order Logic Theorem Proving and its Applications)
47. ICALP (International Colloquium on Automata, Languages and Programming)
48. ICECCS 2001 (7th IEEE International Conference on Engineering of Complex Computer Systems) Skövde, Sweden, 11-13 June 2001.
    See also ICECCS'99, Las Vegas, Nevada, USA, 18-22 October 1999.
49. ICECS2K special session on Formal Methods for Engineering Special-Purpose Parallel Systems (IEEE International Conference on Electronics, Circuits & Systems) Kaslik, Lebanon, 17-20 December 2000.
50. ICFEM (IEEE International Conference on Formal Engineering Methods),
51. ICSE (International Conference on Software Engineering) ICSE2000, Limerick, Ireland, 4-11 June 2000. See also PSMT (Workshop on Precise Semantics for Software Modeling Techniques), 20 April 1998.
52. ICSM (International Conference on Software Maintenance) ICSM'99, Oxford, UK, 30 August - 3 September 1999.
53. ICS (International Conference on Software: Theory and Practice), Beijing, China, 21-25 August 2000. (Part of the 16th IFIP World Computer Congress).
54. IFM2000 (International Workshop on Integrated Formal Methods) Schloss Dagstuhl, Germany, 1-3 November 2000. See also IFM'99.
55. IJCAI-95 (Workshop on Executable Temporal Logics)
56. INCOM (9th Symposium of the International Federation of Automatic Control on INformation COntrol in Manufacturing systems) Nancy, Metz, France, 24-26 June 1998. (Special session on Formal Verification for Automation Engineering, 24 June 1998.)
57. IRW/FMP (International Refinement Workshop and Formal Methods Pacific) IRW/FMP'98, The Australian National University, Canberra, Australia, 29 September - 2 October 1998.
58. ISESS (IEEE International Symposium on Software Engineering Standards) Walnut Creek, California, USA, 1-6 June 1997.
59. ISEW (International Software Engineering Week) in conjunction with ICSE-18, Berlin, Germany, 25-26 March 1996.
60. 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.
61. IWFM (Irish Workshop on Formal Methods) IWFM'98, Cork Ireland, 2-3 July 1998.
    See also IWFM'97, Dublin, Ireland, 3-4 July 1997.
62. IWSSD (8th International Workshop on Software Specification and Design) Paderborn, Germany, 22-23 March 1996.
63. Lfm (NASA Langley Formal Methods Workshop) Lfm2000, Hampton, Virginia, USA, 13-15 June 2000.
64. LICS (IEEE Symposium on Logic In Computer Science) LICS'99, Trento, Italy, 2-5 July 1999. See also FLoC.
65. Mathematics for Information Technology Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Lincoln College, Oxford, UK, 10-14 April 2000.
66. MFCS (Mathematical Foundations of Computer Science)
67. MPC (Mathematics of Program Construction Conference)
68. NFMW (Northern Formal Methods Workshop) 2nd Workshop, Ilkley, Yorkshire, UK, 14-15 July 1997.
69. NMRW (International Workshop on Nonmonotonic Reasoning, (in connection with KR'98) NMWR'98, Trento, Italy, 30 May - 1 June 1998 .
70. NSDCS (Nordic Seminar on Dependable Computing Systems)
71. Object Technology Conference, OT'98, Oxford, UK, 6-8 April 98. See also COTSR'98.
72. PAPM (International Workshop on Process Algebra and Performance Modelling)
73. PLILP (Programming Languages, Implementations, Logics and Programs)
74. POPL (ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
75. PTP-97 (International Workshop on Proof Transformation and Presentation) Schloss Dagstuhl, Germany, 8-10 April 1997.
76. SAFECOMP (International Conference on Computer Safety, Reliability and Security).
77. SSS (Safety-critical Systems Symposium) SSS'97, Brighton, UK, 4-6 February 1997.
78. TACAS (Workshop on Tools and Algorithms for the Construction and Analysis of Systems) TACAS'96, Passau, Germany, 27-29 March, 1996. See also TACAS'97, Twente, The Netherlands, 2-4 April 1997.
79. Verify99 Seminar, six cities in the USA, October 1999.
80. WIFT (Workshop on Industrial-strength Formal specification Techniques) WIFT'98, Boca Raton, Florida, USA, 21-24 October 1998.
    See also WIFT'95 tools session information
81. WOLLIC (Workshop on Logic, Language, Information and Computation) WOLLIC'98, São Paulo, Brazil, 28-31 July 1998.
82. Z2B - Z and its Future (Putting into Practice, Methods and Tools for Information System Design) Nantes, France, 10-12 October 1995.
83. ZB2002 (2nd International Conference of Z and B Users) Grenoble, France, 23-25 January 2002.
    See also ZB2000, York, UK, 29 August - 2 September 2000.
84. ZUM (International Conference of Z Users) Also known as the Z User Meeting. See ZUM'98, Berlin, Germany, 24-26 September 1998.

Other sources of information

• Conference announcements from the Bulletin of the EATCS.
• Events listed by Formal Methods Europe (FME). (Major events only.)
• BCS FACS Future Events. Periodically includes information on the Refinement and Christmas Workshops.
• Formal Methods events, a full Calendar of Events and Related Calendars from European Association for Programming Languages and Systems (EAPLS).
• ACM SIGSOFT approved conferences and events calendar by ACM SIGSOFT Special Interest Group. See SIGSOFT Conference information and other SIG Conference Calendars.
• IEEE CS conferences, call for papers and conference calendar from the IEEE Computer Society.
• Forthcoming conference proceedings (2001) in Springer-Verlag Lecture Notes in Computer Science (LNCS) series, by month with links to conference home pages. See also 2000 and 1999.
• International Federation for Information Processing IFIP TC6 WG6.1 conferences (Architecture and Protocols for Computer Networks).
• Formal Methods Calendar. Conferences sorted by date from NASA.
• Calendar of upcoming technical conferences from TechExpo. (Comprehensive, but general.)
• Events on dependability and related issues (safety, reliability, security) from the Centre for Software Reliability.
• Calls for Papers by year (1992 onwards) collected by Andrew Gordon, University Cambridge, UK.
• List of events (also in plain text) maintained for the Formal Aspects of Computing journal. Contact Joanne Allison on joanne@cs.man.ac.uk with new event information. (Rather out of date.)
• Conferences and Workshops Link List categorised by area, including formal methods, by Kenji Taguchi, Kyushu University, Japan.
• Conference information collected from newsgroups and mailing lists (1994-1995, historically interest only).
• DB&LP: Conferences & Workshops.

See also calendar for 2000, 2001, 2002 and 2003.

Part of the OUCL archive.