|
|
Conferences:
- ICSE 2005
,
27th International Conference on Software Engineering,
May 15-21, 2005@
St. Louis, MO, USA
- RE 05
,
13th IEEE International Requirement Engineering Conference,
August 31 - September 2, 2005@
Paris, France
- FSE-12
,
Foundations of Software Engineering,
October 31-November 5, 2004@
Newport Beach, CA, USA
- ASE 2004
,
19th IEEE International Conference - Automated Software Engineering,
September 20-24, 2004@
Linz, Austria
- CONCUR 2004
,
Fifteenth International Conference on Concurrency Theory,
31 August-3 September 2004@
London, UK
- VMCAI 05
,
Sixth International Conference on Verification, Model Checking and Abstract Interpretation ,
January 17-20, 2005@
Paris, France
- FASE 05
,
Fundamental Approaches to Software Engineering,
April 2-10, 2005@
Edinburgh, Scotland
Workshops:
- SAVCBS
,
Specification and Verification of Component-Based Systems '04,
in conjunction with the
SIGSOFT 2004/FSE-12,
October 31-November 1, 2004@
Newport Beach, CA, USA
- WOSS
,
Workshop on Self-Managed Systems '04,
in conjunction with the
SIGSOFT 2004/FSE-12,
October 31-November 1, 2004@
Newport Beach, CA, USA
- QUTE-SWAP
,
QUantitative TEchniques for SoftWare Agile Process,
in conjunction with the
SIGSOFT 2004/FSE-12,
November 5, 2004@
Newport Beach, CA, USA
- WISER
,
Workshop on Interdisciplinary Software Engineering Research,
in conjunction with the
SIGSOFT 2004/FSE-12,
November 5, 2004@
Newport Beach, CA, USA
- CSSE
,
Workshop on Cooperative Support for Distributed Software Engineering
Processes (CSSE 2004),
in conjunction with the
19th IEEE ASE 04,
21 September, 2004 @
Linz, Austria
- FATES
,
4th International Workshop on Formal Approaches To Testing Of Software,
in conjunction with the
19th IEEE ASE 04,
21 September, 2004 @
Linz, Austria
- FMICS 04
,
9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04),
in conjunction with the
19th IEEE ASE 04,
20-21 September, 2004 @
Linz, Austria
- SAPS 04
,
Workshop on Specification and Automated Processing of Security Requirements (SAPS 04),
in conjunction with the
19th IEEE ASE 04,
21 September, 2004 @
Linz, Austria
- SEM 04
,
Software Engineering and Middleware (SEM 2004),
in conjunction with the
19th IEEE ASE 04,
20-21 September, 2004 @
Linz, Austria
- WITSE 04
,
Workshop on Intelligent Technologies for Software Engineering (WITSE 04),
in conjunction with the
19th IEEE ASE 04,
21 September, 2004 @
Linz, Austria
- SEM 04
,
Software Engineering and Middleware (SEM 2004),
in conjunction with the
19th IEEE ASE 04,
20-21 September, 2004 @
Linz, Austria
- ACL2 04
,
Fifth International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2004),
in conjunction with the
FMCAD 2004,
November 18-19, 2004@
Austin, TX, USa
|
