| Conference | Dates | Location | Submission Deadline | More Information | Notes |
| 2002 International Conference on Software Engineering (ICSE2002) |
19-25 May 2002 | Buenos Aires, Argentina | 10 Sept 2001 (abstracts) 18 Sept 2001 (full papers) 6 Jan 2002 (Doctoral Wkshp Proposals) |
web | NOTE: In light of recent events, the deadline for full paper submission has been extended to 25 September. |
| 5th International Conference on Achieving Quality in Software (AQuIS2002) |
11-13 Mar 2002 | Venice, Italy | 14 Sept 2001 | web | |
| 19th International Symposium on Theoretical Aspects of
Computer Science (STACS2002) |
14-16 Mar 2002 | Antibes Juan-les-Pins, France | 14 Sept 2001 | web | |
| 6th Biennial World Conference on Integrated Design and Process Technology | 26-30 Jun 2002 | Pasadena, CA | 15 Sept 2001 | web | incl. specification tracks |
| IEEE 2001 Pacific Rim International Symposium on Dependable
Computing (PRDC) |
17-19 Dec 2001 | Seoul, Korea | 20 Sept 2001 | no web page, but I have the email | International Workshop on Application of Reliable Computing and Communication (WARCC) will be collocated |
| The International Conference on Dependable Systems and Networks (DSN-2002) |
23-26 Jun 2002 | Washington, DC | 19 Nov 2001 | web | |
| Third International Conference on Integrated Formal Methods
(IFM2002) |
15-18 May 2002 | Turku, Finland | 30 Nov 2001 | web | |
| Formal Methods Europe (FME 2002) |
20-24 July 2002 | Copenhagen, Denmark | 15 Jan 2002 | web | Collocated with the 2002 Federated Logic Conference, see below |
| The 2002 Federated Logic Conference (FLoC) |
20 Jul - 1 Aug 2002 | Copenhagen, Denmark | Jan 2002 | web | |
| 9th international Conference on Algebraic Methodology and
Software Technology (AMAST 2002) |
9-13 Sept 2002 | St. Gilles les Bains, Reunion Island, France | 1 Feb 2002 | web | |
| IEEE Joint International Conference on Requirements Engineering (RE'02) |
9-13 Sept 2002 | Essen, Germany | 1 Feb 2002 (abstracts) 15 Feb 2002 (full papers) |
web | |
| 26th Annual International Computer Software and Applications Conference
(COMPSAC 2002) |
26-29 Aug 2002 | Oxford, England | 5 Feb 2002 | web | |
| The 21st International Conference on Computer Safety, Reliability and
Security (SAFECOMP 2002) |
10-13 Sept 2002 | Catania, Italy | 10 Feb 2002 | web | |
| Second Workshop on Automated Verification of Critical Systems
(AVoCS'02) |
15-16 Apr 2002 | Birmingham, England | 15 Feb 2002 | web | |
| IEEE International Conference on Software Maintenance 2002
(ICSM 2002) |
3-6 Oct 2002 | Montreal, Canada | 15 Feb 2002 | web | |
| 7th International Symposium on Formal Techniques in
Real-Time and fault Tolerant Systems (FTRTFT 02) |
9-12 Sept 2002 | Oldenburg, Germany | 1 Mar 2002 | web | |
| IEEE Journal on Selected Areas in Communications | first quarter of 2003 | NA | 1 Mar 2002 | no web page, but I have the email | This is a special issue on DESIGN AND ANALYSIS TECHNIQUES FOR SECURITY ASSURANCE |
| Software Process Simulation Modeling (ProSim '02) |
8-10 July 2002 | Silver Falls, Oregon | 4 March 2002 (abstracts) | web | |
| 10th Internat'l Symposium on the Foundations of Software
Engineering (FSE-10/SIGSOFT 2002) |
18-22 Nov 2002 | Charleston, SC | 15 Mar 2002 | web | |
| 13th Annual Symposium on Software Reliability Engineering (ISSRE 2002) |
12-15 Nov 2002 | Annapolis, MD | 1 Apr 2002 | web | |
| 21st European Annual Conference on Human Decision Making and Control | 15-16 Jul 2002 | Glasgow, Scotland | 10 Apr 2002 | web | |
| 2002 Workshop on the Investigation and Reporting of Incidents and Accidents | 17-20 Jul 2002 | Glasgow, Scotland | 15 Apr 2002 | web | |
| Embedded Systems 2002 (EMSOFT 2002) |
7-9 Oct 2002 | Grenoble, France | 15 Apr 2002 | web | |
| 4th International Conference on Formal Engineering Methods (ICFEM 2002) |
22-25 Oct 2002 | Shanghai, China | 20 Apr 2002 | web | |
| International Workshop on Formal Methods for Industrial
Critical Systems (FMICS 02) |
12-13 July 2002 | Malaga, Spain | 21 Apr 2002 | web | |
| 17th IEEE International Conference on Automated Software Engineering
(ASE 2002) |
23-27 Sept, 2002 | Edinburgh, UK | 6 May, 2002 (abstracts), 13 May 2002 (papers) |
web | |
| 8th IEEE International Conference on Engineering of Complex Computer
Systems (ICECCS 2002) |
2-4 Dec 2002 | Greenbelt, MD | 3 May 2002 (abstracts, 10 May 2002 (papers) | web | |
| 2002 Annual Computer Security Applications Conference | 9-13 Dec 2002 | Las Vegas, NV | 1 June 2002 | web | |
| 27th NASA/IEEE Software Engineering Workshop | 4-6 December 2002 | Greenbelt, MD | 19 July 2002 (4 page abstracts) | web | Co-located with IEEE ICECCS 2002, the Intertnational Conference
on Engineering of complex Computer Systems (see above) |
| Australasian Computer Science Conference (ACSC 2003) |
4-7 Feb 2003 | Adelaide, South Australia | 6 Sept 2002 | web | |
| 20th International Symposium of Theoretical Aspects of
Computer Science (STACS 2003) |
27 Feb - 1 Mar 2003 | Berlin, Germany | 7 Sept 2002 | web | |
| 2003 International Conference on Software Engineering (ICSE2003) |
3-10 May 2003 | Portland, OR | 9 Sept 2002 (papers) 10 Jan 2003 (Doctoral Wkshp Proposals) |
web | |
| The Third DARPA Information Survivability Conference
and Exposition (DISCEX 2003) |
22-24 April 2003 | Washington, DC | 25 Sept 2002 | web | |
| ACSA Workshop on the Application of Engineering
Principles to System Security Design (WAEPSSD 2002) |
6-8 Nov 2002 | Boston, MA | 30 Sept 2002 | web | |
| European Safety and Reliability Conference (ESREL 2003) |
15-18 June 2003 | Maastricht, the Netherlands | 30 Sept 2002 | web | |
| The European Joint Conferences on Theory and Practice of
Software (ETAPS 2003) |
5-13 April 2003 | Warsaw, Poland | 18 October 2002 | web | |
| Formal Aspects of Security (FASec 02) |
19-20 Dec 2002 | London, UK | 21 Oct 2002 | web | Sponsored by the British Computer Society's Formal Aspects of Computing Specialist Group |
| 8th International Conference on Reliable Software Technologies (ADA-Europe 2003) |
16-20 June 2003 | Toulouse, France | 31 October 2002 | web | |
| Third International Conference of B and Z Users (ZB 2003) |
4-6 June 2003 | Turku, Finland | 22 November 2002 | web | |
| International Conference on Dependable Systems and
Networks (DSN 2003) |
22-25 June 2003 | San Francisco, CA, USA | 18 November (abstracts) 8 December (full papers) |
web | |
| Formal Approaches to Multi-Agent Systems (FAMAS'03) |
12 April 2003 | Warsaw, Poland | 23 December 2002 | web | affiliated with ETAPS 2003 |
| 21st International System Safety Conference | 4-8 August 2003 | Ottawa, Ontario, Canada | 31 January 2003 | web | |
| 11th IEEE International Requirements Engineering
Conference (RE '03) |
8-12 September 2003 | Monterey Bay, California, USA | 31 January (abstracts) 7 February (full papers) |
web | |
| 2003 IEEE Symposium on Visual Languages and Formal
Methods (VFLM '03) |
28-31 October 2003 | Auckland, New Zealand | 1 February 2003 | web | |
| 22nd International Conference on Computer Safety,
Reliability, and Security (SAFECOMP 2003) |
23-26 September 2003 | Edinburgh, Scotland, UK | 9 February 2003 (abstracts) 23 February (full papers) |
web | |
| 12th International Formal Methods Europe (FM 2003) |
8-14 Sept 2003 | Pisa, Italy | 7 March 2003 | web | |
| 9th European Software Engineering Conference; 11th ACM SIGSOFT
International Symposium on the Foundations of Software Engineering (ESEC/FSE 2003) |
1-5 September 2003 | Helsinki, Finland | 14 March 2003 | web | |
| Eighth International Workshop on Formal Methods for
Industrial Critical Systems (FMICS 03) |
5-7 June 2003 | Trondheim, Norway | 24 March 2003 | web | |
| 2003 International Workshop on the Investigation and
Reporting of Incidents and Accidents (IRIA 2003) |
16-19 September 2003 | Williamsburg, VA, USA | 28 March 2003 | web | |
| 14th IEEE International Symposium on Software Reliability Engineering
(ISSRE 2003) |
17-20 Nov 2003 | Denver, CO, USA | 18 Apr 2003 | web | |
| 5th International Conference on Formal Engineering Methods (ICFEM 2003) |
5-7 November 2003 | Singapore | 5 May 2003 | web | |
| 18th International Conference on Automated Software Engineering
(ASE 2003) |
6-10 Oct 2003 | Montreal, Quebec, Canada | 6 May 2003 (abstracts) 13 May 2003 (full papers) |
web | |
| Workshops at 11th International Requirements Engineering Conference
(RE Workshops) |
8-10 Sept 2003 | Monterey Bay, CA, USA | 27 June 2003 | web | co-located with RE'03 |
| European Safety and Reliability Conference (ESREL 2004) |
14-18 June 2004 | Berlin, Germany | 30 June 2003 | web | |
| 28th International IEEE/NASA Software Engineering Workshop
(SEW 28) |
2-4 Dec 2003 | Greenbelt, MD | 18 July 2003 | web | |
| 26th International Conference on Software Engineering (ICSE 2004) |
23-28 May 2004 | Edinburgh, Scotland, UK | 22 Sept 2003 | web | |
| European Joint Conferences on Theory and Practice of Software (ETAPS'04) |
29 Mar - 2 Apr 2004 | Barcelona, Spain | 17 Oct 2003 | web | |
| 4th Internatinal Conference of B and Z Users (ZB 2004) |
TBA | around Nov 2003 | web | ||
| International Conference on Dependable Systems and Networks (DSN 2004) |
28 June - 1 July 2004 | Florence, Italy | 10 Dec 2003 (extended to 17 December) |
web | |
| 2004 ACM-IEEE International Symposium on Empirical Software Engineering
(ISESE 2004) |
19-20 Aug 2004 | Redondo Beach, CA, USA | 5 Jan 2004 | web | (ISESE03) |
| IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS 2004) |
25-28 May 2004 | Toronto, Canada | 12 Jan 2004 | web |