|
|
|
Browse by research group
View by year: 2008 2007 2006 2005 2004
Upcoming Paper Deadlines
| Conference |
Paper Due Date |
Notification Date |
Conference Date |
| RAOOL 2008 - Relationships and Associations in Object-Oriented Languages
|
August 21, 2008 |
September 4, 2008
|
October 20, 2008 |
| ICSE 2009 - Intl. Conf. on Software Engineering (abstracts due Aug. 29)
|
September 5, 2008 |
None Specified
|
May 16, 2009 |
| TLDI 2009 - Types in Language Design and Implementation
|
October 8, 2008 |
November 8, 2008
|
January 24, 2009 |
| CC 2009 - Compiler Construction (abstracts due Oct 2)
|
October 9, 2008 |
December 12, 2008
|
March 24, 2009 |
| TACAS 2009 - Tools and Algorithms for the Construction and Analysis of Systems (abstracts due Oct 2)
|
October 9, 2008 |
December 12, 2008
|
March 24, 2008 |
| PEPM 2009 - Partial Evaluation and Program Manipulation (abstracts due Oct. 12)
|
October 17, 2008 |
November 17, 2008
|
January 19, 2009 |
| PLDI 2009 - Programming Language Design and Implementation (abstracts due Nov. 7)
|
November 14, 2008 |
January 27, 2009
|
June 15, 2009 |
| LDTA 2009 - Language Descriptions Tools, Analysis (dates are estimates)
|
December 15, 2008 |
None Specified
|
March 23, 2009 |
| DSL-WC 2009 - IFIP Domain Specific Language Working Conference (abstracts due Dec 14)
|
December 21, 2008 |
February 23, 2009
|
July 15, 2009 |
Upcoming Conferences
| Conference |
Paper Due Date |
Notification Date |
Conference Date |
| ASE 2208 - Automated Software Engineering (abstracts due Mar. 28)
|
April 4, 2008 |
None Specified
|
September 15, 2008 |
| Software Visualization 2008
|
April 11, 2008 |
June 20, 2008
|
September 16, 2008 |
| IEEE Symposium on Visual Languages and Human centric computing(Vl/HCC 2008)
|
February 21, 2008 |
May 16, 2008
|
September 16, 2008 |
| SPLC 2008 - Software Product Line Conference
|
February 28, 2008 |
April 28, 2008
|
September 18, 2008 |
| Workshop on Generic Programming
|
June 30, 2008 |
July 14, 2008
|
September 20, 2008 |
| ICFP 2008 - International Conference on Functional Programming
|
April 2, 2008 |
June 16, 2008
|
September 22, 2008 |
| MODELS 2008 - ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems (abstracts due May 2)
|
May 16, 2008 |
July 4, 2008
|
September 28, 2008 |
| VTTSE 2008 - Verified Software: Theories, Tools, and Experiments
|
April 30, 2008 |
June 30, 2008
|
October 6, 2008 |
| DSM08 - The 8th OOPSLA Workshop on Domain-Specific Modeling
|
August 4, 2008 |
September 4, 2008
|
October 19, 2008 |
| EMSOFT 2008 - Intl. Conf. on Embedded Software (abstracts due Apr. 7)
|
April 14, 2008 |
None Specified
|
October 19, 2008 |
| CASES 2008 - Intl. Conf. on Compilers, Architecture, and Synthesis for Embedded Systems (abstracts due Apr. 7)
|
April 14, 2008 |
January 26, 2008
|
October 19, 2008 |
| OOPSLA 2008 - Object-Oriented Programming, Systems, Languages and Applications
|
March 19, 2008 |
None Specified
|
October 19, 2008 |
| DSPD 2008 - 2nd International Workshop on Domain-Specific Program Development
|
August 11, 2008 |
September 14, 2008
|
October 22, 2008 |
| FSE 2008 - Foundations of Software Engineering
|
March 7, 2008 |
None Specified
|
November 9, 2008 |
| IEEE TSE - Issue on Software Language Engineering
|
April 1, 2008 |
August 1, 2008
|
May 1, 2009 |
Past Conferences
| Conference |
Paper Due Date |
Notification Date |
Conference Date |
| SPIN 2008 15th International SPIN Workshop on
Model Checking of Software
|
April 2, 2008 |
May 10, 2008
|
August 10, 2008 |
| RULE 2008 - 9th International Workshop on Rule-Based Programming
|
April 14, 2008 |
May 26, 2008
|
July 18, 2008 |
| DSV-IS 2008 - Design, Specification and Verification of Interactive Systems
|
March 7, 2008 |
April 15, 2008
|
July 16, 2008 |
| ECOOP 2007 - European Conference on Object Oriented Programming
|
December 19, 2007 |
March 3, 2008
|
July 7, 2008 |
| ICALP 2008 - 35th International Colloquium on Automata,Languages and Programming(Final version due on April 30,2008)
|
February 10, 2008 |
April 9, 2008
|
July 6, 2008 |
| IEEE International Conference on Program Comprehension(ICPC2008)
|
January 25, 2008 |
March 1, 2008
|
June 10, 2008 |
| PLAS2008 - Programming Languages and Analysis for Security
|
March 24, 2008 |
April 21, 2008
|
June 8, 2008 |
| ICSE 2008 - International Conference on Software Engineering
|
September 14, 2007 |
None Specified
|
May 10, 2008 |
| SLA++P 08 Model-driven High-level Programming of Embedded Systems
|
November 23, 2007 |
December 21, 2007
|
April 5, 2008 |
| LDTA 2008 - Language Descriptions Tools and Applications (abstracts due Nov. 30)
|
December 7, 2007 |
None Specified
|
April 5, 2008 |
| AOSD 2008 - Aspect-Oriented Software Development (abstracts due Oct. 5)
|
October 12, 2007 |
December 21, 2007
|
March 31, 2008 |
| RV'08 - 8th Workshop on Runtime Verification
|
December 9, 2007 |
January 14, 2008
|
March 30, 2008 |
| GT - VMD 2008 7th International Workshop on Graph Transformation and Visual Modeling Techniques
|
December 14, 2007 |
January 14, 2008
|
March 29, 2008 |
| CC 2008 - Compiler Construction (abstracts due October 5)
|
October 11, 2007 |
December 6, 2007
|
March 28, 2008 |
| Special issue on LANGUAGE ENGINEERING in IET Software Journal
|
May 31, 2007 |
January 14, 2008
|
February 14, 2008 |
| PADL 2008 - Practical Aspects of Declarative Languages
|
August 24, 2007 |
September 27, 2007
|
January 10, 2008 |
| PEPM 2008 - Workshop on Partial Evaluation and Program Manipulation (abstracts due Oct. 12)
|
October 17, 2007 |
November 12, 2007
|
January 7, 2008 |
| ICALP 2008 - 35th International Colloquium on Automata, Languages and Programming
|
January 1, 2007 |
January 1, 2008
|
January 1, 2008 |
| RTSS 2007 - IEEE Real-Time Systems Symposium
|
May 17, 2007 |
August 30, 2007
|
December 2, 2007 |
| HASE 2007 - 10th IEEE High Assurance Systems Engineering Symposium
|
May 31, 2007 |
July 29, 2007
|
November 13, 2007 |
| ASE 2007 - Automated Software Engineering (abstracts due June 4)
|
June 10, 2007 |
August 9, 2007
|
November 4, 2007 |
| ASE 2007 - Automated Software Engineering Tutorial Proposals and Tool Demos
|
July 8, 2007 |
March 6, 2007
|
November 4, 2007 |
| 7th OOPSLA WorkShop on Domain Specific Modeling
|
August 9, 2007 |
September 3, 2007
|
October 20, 2007 |
| OOPLSA 2007 - Tool demo papers
|
July 1, 2007 |
None Specified
|
October 20, 2007 |
| LCSD 2007 - Library-Centric Software Design
|
July 31, 2007 |
August 31, 2007
|
October 20, 2007 |
| OOPSLA 2007 - Object-Oriented Programming, Systems, Languages and Applications
|
March 18, 2007 |
May 10, 2007
|
October 20, 2007 |
| PLOS 2007 - Fourth Workshop on Programming Languages and Operating Systems
|
June 28, 2007 |
August 14, 2007
|
October 17, 2007 |
| PLPV 2007 - Programming Languages meet Program Verification
|
May 14, 2007 |
July 7, 2007
|
October 4, 2007 |
| APGES 2007 - Workshop on Automatic Program Generation for Embedded Systems
|
June 24, 2007 |
July 30, 2007
|
October 3, 2007 |
| ICSM 2007 - International Conference on Software Maintenance
|
April 5, 2007 |
May 31, 2007
|
October 1, 2007 |
| GPCE 2007 - Generative Programming and Component Engineering (abstracts due April 17)
|
April 22, 2007 |
June 9, 2007
|
September 30, 2007 |
| ICFP 2007 - International Conference on Functional Programming
|
April 5, 2007 |
June 7, 2007
|
September 30, 2007 |
| GPCE 2007 - Tutorials Proposals Deadline
|
March 15, 2007 |
None Specified
|
September 30, 2007 |
| CASES 2007 - International Conference on Compilers, Architecture and Synthesis for Embedded Systems (abstracts due April 8)
|
April 14, 2007 |
None Specified
|
September 29, 2007 |
| ATEM 2007 - 4th International Workshop on LANGUAGE ENGINEERING (abstracts due July 14)
|
July 19, 2007 |
August 23, 2007
|
September 29, 2007 |
| SCAM 2007 - Source Code Analysis and Manipulation (abstracts due April 23)
|
April 29, 2007 |
June 10, 2007
|
September 29, 2007 |
| ECSA 2007 European Conference on Software Architecture (abstracts due March 19)
|
March 25, 2007 |
May 27, 2007
|
September 23, 2007 |
| VL/HCC 2007 - IEEE Symposium on Visual Languages and Human-Centric Computing (abstracts due March 6)
|
March 19, 2007 |
May 21, 2007
|
September 21, 2007 |
| SDL 2007 - SDL Forum Design for Dependable Systems
|
April 1, 2007 |
April 29, 2007
|
September 17, 2007 |
| CONCUR 2007 - International Conference on Concurrency Theory
|
April 1, 2007 |
May 26, 2007
|
September 3, 2007 |
| FSE 2007 - Foundations of Software Engineering
|
March 18, 2007 |
May 31, 2007
|
September 2, 2007 |
| ECOOP 2007 - Tool Demo Proposals
|
May 29, 2007 |
None Specified
|
August 29, 2007 |
| LCSD - journal version for SCP
|
February 22, 2007 |
None Specified
|
August 22, 2007 |
| MPOOL 2007 -Multiparadigm Programming with Object-Oriented Languages
|
May 12, 2007 |
May 19, 2007
|
July 30, 2007 |
| ECOOP 2007 - European Conference on Object Oriented Programming (abstracts due Dec. 13)
|
December 19, 2006 |
February 27, 2007
|
July 29, 2007 |
| ICOOOLPS 2007 - Second Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
|
May 12, 2007 |
May 30, 2007
|
July 29, 2007 |
| PPDP 2007 - Principles and Practice of Declarative Programming
|
March 26, 2007 |
None Specified
|
July 13, 2007 |
| ICALP 2007 -
|
January 24, 2007 |
April 4, 2007
|
July 8, 2007 |
| FMICS 2007 - Formal Methods for Industrial Critical Systems (abstract due March 30)
|
April 5, 2007 |
May 13, 2007
|
June 30, 2007 |
| RULE 2007 - The Eighth International Workshop on Rule-Based Programming
|
March 24, 2007 |
May 5, 2007
|
June 28, 2007 |
| RTA 2007 - Rewriting Techniques and Applications
|
January 25, 2007 |
April 1, 2007
|
June 25, 2007 |
| ICPC 2007 - International Conference on Program Comprehension
|
February 8, 2007 |
March 14, 2007
|
June 25, 2007 |
| PLAS 2007 - Programming Languages and Analysis for Security
|
March 31, 2007 |
April 30, 2007
|
June 13, 2007 |
| PLDI 2007 - Programming Language Design and Implementation (abstracts due Nov 7)
|
November 13, 2006 |
January 30, 2007
|
June 9, 2007 |
| PAPP 2007 - Practical Aspects of High-level Parallel Programming (Fourth International Workshop on)
|
December 11, 2006 |
None Specified
|
May 26, 2007 |
| SE-HPC - ICSE Workshop of Software Engineering for High Performance Computing
|
January 19, 2007 |
February 19, 2007
|
May 25, 2007 |
| ICSE 2007 - International Conference on Software Engineering
|
September 7, 2006 |
December 15, 2006
|
May 22, 2007 |
| WODA 2007 - ICSE Workshop on Dynamic Analysis
|
February 4, 2007 |
February 19, 2007
|
May 21, 2007 |
| ICSE 2007 - Demo papers
|
November 1, 2006 |
December 3, 2006
|
May 19, 2007 |
| IWICSS 2007 - International Workshop on Incorporating COTS Software into Software Systems
|
January 19, 2007 |
February 19, 2007
|
May 7, 2007 |
| SLA++P 07 - Model-driven High-level Programming of Embedded Systems
|
November 19, 2006 |
February 4, 2007
|
March 30, 2007 |
| LDTA 07 - Language Descriptions Tools and Applications
|
December 3, 2006 |
January 15, 2007
|
March 24, 2007 |
| CC 2007 - Compiler Construction (abstract due Oct 6)
|
October 12, 2006 |
December 7, 2006
|
March 23, 2007 |
| SC 07 - Software Composition Workshop
|
November 30, 2006 |
January 11, 2007
|
March 23, 2007 |
| RV 2007 - Seventh Workshop on Runtime Verification
|
January 14, 2007 |
January 28, 2007
|
March 12, 2007 |
| AOSD 2007 - 6th Conference on Aspect-Oriented Software Development (abstract due Sept. 22)
|
September 28, 2006 |
December 5, 2006
|
March 11, 2007 |
| CGO 2007 - Code Generation and Optimization
|
September 7, 2006 |
November 7, 2006
|
March 10, 2007 |
| PLAN-X 2007 - Programming Language Technologies for XML (dates are estimates)
|
July 31, 2006 |
None Specified
|
January 19, 2007 |
| FOOL/WOOD 2007 - Foundations and Developments of Object-Oriented Languages
|
October 5, 2006 |
November 23, 2006
|
January 19, 2007 |
| DAMP 2007 - Declarative Aspects of Multicore Programming (dates are estimates)
|
July 31, 2006 |
None Specified
|
January 16, 2007 |
| POPL 2007 - Principles of Programming Languages
|
July 14, 2006 |
September 22, 2006
|
January 16, 2007 |
| TLDI 2007 - Types in Language Design and Implementation
|
September 30, 2006 |
November 9, 2006
|
January 15, 2007 |
| DAMP - Declarative Aspects of Multicore Programming
|
November 2, 2006 |
November 30, 2006
|
January 15, 2007 |
| PEPM 2007 - Workshop on Partial Evaluation and Program Manipulation (abstracts due Oct. 18)
|
October 19, 2006 |
November 30, 2006
|
January 14, 2007 |
| VMCAI 2007 - Verification, Model Checking and Abstract Interpretation
|
September 7, 2006 |
October 26, 2006
|
January 13, 2007 |
| PADL 2007 - Practical Aspects of Declarative Languages (abstract due August 30)
|
September 2, 2006 |
October 1, 2006
|
January 13, 2007 |
| HICSS-40 Track: Adaptive and Evolvable Software Systems: Techniques, Tools, and Applications
|
June 14, 2006 |
August 14, 2006
|
January 2, 2007 |
| SAVCBS 06 - Specification & Verification of Component-Based Systems
|
August 14, 2006 |
September 14, 2006
|
November 9, 2006 |
| ASPLAS 2006 - Asian Symposium on Programming Languages and Systems
|
June 1, 2006 |
August 4, 2006
|
November 7, 2006 |
| FSE 2006 - ACM SIGSOFT Symposium on Foundations of Software Engineering
|
April 14, 2006 |
June 25, 2006
|
November 4, 2006 |
| DSAL 06 - First Workshop on Domain-Specific Aspect Languages
|
July 21, 2006 |
August 30, 2006
|
October 23, 2006 |
| Workshop on Domain-Specific Modeling
|
August 9, 2006 |
September 7, 2006
|
October 21, 2006 |
| LCSD 2006 - Library-Centric Software Design
|
August 10, 2006 |
September 11, 2006
|
October 21, 2006 |
| GPCE 2006 - Generative Programming and Component Engineering
|
May 13, 2006 |
June 27, 2006
|
October 21, 2006 |
| STS'06 - Software Transformation Systems Workshop
|
July 14, 2006 |
August 30, 2006
|
October 21, 2006 |
| OOPLSA 2006 - Object Oriented Programming, Languages, Systems, and Applications
|
March 17, 2006 |
None Specified
|
October 21, 2006 |
| SCAM 2006 - Source Code Analysis and Manipulation (abstracts due April 24)
|
May 1, 2006 |
June 9, 2006
|
September 26, 2006 |
| ICSM 2006 - International Conference on Software Maintenance
|
March 30, 2006 |
June 1, 2006
|
September 23, 2006 |
| Second IEEE Workshop on Software Evolvability
|
June 30, 2006 |
July 9, 2006
|
September 23, 2006 |
| ASE 2006 - Automated Software Engineering (abstracts due Feb 24)
|
March 2, 2006 |
May 19, 2006
|
September 17, 2006 |
| ICFP 2006 - International Conference on Functional Programming
|
April 6, 2006 |
May 26, 2006
|
September 17, 2006 |
| 2006 Haskell Workshop
|
June 1, 2006 |
July 2, 2006
|
September 16, 2006 |
| WGP 2006 - Workshop on Generic Programming
|
June 2, 2006 |
June 23, 2006
|
September 15, 2006 |
| RE 2006 - Requirements Engineering, 14th IEEE Intl' Conference (abstracts due Feb 6)
|
February 12, 2006 |
April 23, 2006
|
September 10, 2006 |
| SAS 2006 - Static Analysis Symposium
|
April 6, 2006 |
May 25, 2006
|
August 28, 2006 |
| SAS 2007 - Static Analysis Symposium (abstract due March 26)
|
March 29, 2007 |
May 6, 2007
|
August 21, 2006 |
| FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
|
February 23, 2006 |
April 27, 2006
|
August 20, 2006 |
| V & D - Verification and Debugging
|
April 23, 2006 |
May 21, 2006
|
August 20, 2006 |
| FM 2006 - Formal Methods
|
February 23, 2006 |
April 27, 2006
|
August 20, 2006 |
| WRS 2006 - Workshop on Reduction Strategies in Rewriting and Programming (abstracts due May 8)
|
May 14, 2006 |
June 11, 2006
|
August 10, 2006 |
| RULE 2006 - Workshop on Rule-Based Programming
|
May 13, 2006 |
June 14, 2006
|
August 10, 2006 |
| VSTTE 2006 - Verified Software: Tools, Techniques, and Experiments (DATES ARE ESTIMATES)
|
April 30, 2006 |
None Specified
|
August 9, 2006 |
| Federated Logic Conference
|
April 9, 2006 |
None Specified
|
August 9, 2006 |
| PLPV 2006 - Programming Languages meets Program Verification
|
February 28, 2006 |
None Specified
|
July 31, 2006 |
| International Symposium on Software Testing and Analysis
|
January 26, 2006 |
April 9, 2006
|
July 16, 2006 |
| PPDP 2006 - Principles and Practice of Declarative Programming
|
March 14, 2006 |
April 21, 2006
|
July 9, 2006 |
| ICALP 2006 - 33rd International Colloquium on Automata, Languages and Programming
|
February 9, 2006 |
April 8, 2006
|
July 8, 2006 |
| DSPD - 1st ECOOP Workshop on Domain-Specific Program Development
|
April 15, 2006 |
May 4, 2006
|
July 2, 2006 |
| ECOOP 2006 - European Conference on Object-Oriented Programming
|
December 1, 2005 |
February 19, 2006
|
July 2, 2006 |
| AMAST 2006 - Algebraic Methodology and Software Technology (abstracts due January 27)
|
February 2, 2006 |
March 16, 2006
|
July 1, 2006 |
| PODS 2006 - ACM Symposium on Principles of Database Systems
|
November 30, 2005 |
February 22, 2006
|
June 27, 2006 |
| WADS 2006 - Workshop on Architecting Depedenble Systems
|
March 6, 2006 |
April 3, 2006
|
June 26, 2006 |
| LCTES 2006 - Conference on Languages, Compilers, and Tools for Embedded Systems
|
February 3, 2006 |
April 1, 2006
|
June 13, 2006 |
| ICSR9 - 9th International Conference on Software Reuse
|
January 30, 2006 |
March 14, 2006
|
June 11, 2006 |
| PLAS 2006 - Program Languages and Analysis for Security
|
March 2, 2006 |
April 2, 2006
|
June 9, 2006 |
| SAM 2006 - 5th Workshop on System Analysis and Modelling
|
February 27, 2006 |
April 13, 2006
|
May 30, 2006 |
| ICCS 2006 - International Conference on Computational Science
|
November 30, 2005 |
January 30, 2006
|
May 27, 2006 |
| PAPP 2006 - Workshop on Practical Aspects of High-level Parallel Programming
|
December 1, 2005 |
January 30, 2006
|
May 27, 2006 |
| ICSE 2006 - International Conference on Software Engineering
|
September 8, 2005 |
December 15, 2005
|
May 19, 2006 |
| ICSE'06 Achievements and Challenges Track
|
October 29, 2005 |
December 19, 2005
|
May 19, 2006 |
| DepCos 2006 - International Conference on Dependability of Computer Systems
|
October 9, 2005 |
None Specified
|
April 30, 2006 |
| SAC 2005 - Symposium on Applied Computing: Tracts: Programming Languages, Embedded Systems, Software Verification, Software Engi
|
September 2, 2005 |
October 14, 2005
|
April 22, 2006 |
| 19th Conference on Software Engineering Education and Training
|
August 14, 2005 |
August 31, 2005
|
April 18, 2006 |
| COCV 2006 - Compiler Optimization Meets Compiler Verification
|
November 24, 2005 |
January 21, 2006
|
April 1, 2006 |
| CC 2006 - Complier Construction
|
October 6, 2005 |
December 8, 2005
|
March 26, 2006 |
| TACAS 2006 - Tools and Algorithms for the Construction and Analysis of Systems
|
October 6, 2005 |
December 8, 2005
|
March 26, 2006 |
| Engineering of Computer Based Systems (ECBS)
|
October 31, 2005 |
December 1, 2005
|
March 26, 2006 |
| FASE 2006 - Fundamental Approaches to Software Engineering
|
October 6, 2005 |
December 8, 2005
|
March 26, 2006 |
| Workshop on Model Based Testing
|
November 24, 2005 |
January 15, 2006
|
March 24, 2006 |
| SLAP 06 - Synchronous Languages, Applications, and Programming
|
December 10, 2005 |
January 19, 2006
|
March 24, 2006 |
| SC 2006 - Software Composition workshop
|
December 1, 2005 |
January 12, 2006
|
March 24, 2006 |
| CSMR 2006 - Conference on Software Maintenance and Reengineering
|
September 30, 2005 |
November 14, 2005
|
March 21, 2006 |
| AOSD 06 - Aspect Oriented Software Development
|
September 22, 2005 |
None Specified
|
March 19, 2006 |
| AOSD 2005 - International Conference on Aspect-Oriented Software Development
|
August 22, 2005 |
None Specified
|
March 19, 2006 |
| FOOL/WOOD '06 - Foundations and Developments of Object-Oriented Languages
|
October 2, 2005 |
November 20, 2005
|
January 15, 2006 |
| POPL - Principles of Programming Languages
|
July 17, 2005 |
September 25, 2005
|
January 10, 2006 |
| PADL 2006 - Practical Aspects of Declarative Languages
|
August 19, 2005 |
September 29, 2005
|
January 8, 2006 |
| PEPM - Partial Evaluation and Program Manipulation
|
October 6, 2005 |
November 17, 2005
|
January 8, 2006 |
| 12th ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE 2005 (APSEC2005)
|
August 14, 2005 |
October 2, 2005
|
December 14, 2005 |
| Fifth International Conference on Integrated Formal Methods
|
May 17, 2005 |
July 12, 2005
|
November 28, 2005 |
| Innovative Approaches in Software Engineering - IASE 2005
|
June 14, 2005 |
July 30, 2005
|
November 13, 2005 |
| Automated Software Engineering
|
May 30, 2005 |
None Specified
|
November 10, 2005 |
| 1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems
|
August 31, 2005 |
September 30, 2005
|
November 6, 2005 |
| ICFEM - Seventh International Conference on Formal Engineering Methods
|
May 19, 2005 |
August 18, 2005
|
October 31, 2005 |
| OOPSLA - Object Oriented Programming, Systems, Languages, and Applications
|
March 10, 2005 |
None Specified
|
October 15, 2005 |
| eTX 2005 - Eclipse Technology Exchance
|
August 16, 2005 |
September 6, 2005
|
October 15, 2005 |
| JLAP Special Issue on Theory and Found. of Prog. Language Interference and Dependence
|
June 26, 2005 |
September 11, 2005
|
October 9, 2005 |
| SCAM - Source Code Analysis and Manipulation
|
April 21, 2005 |
June 9, 2005
|
September 29, 2005 |
| GPCE - Generative Programming and Component Engineering
|
April 5, 2005 |
May 29, 2005
|
September 28, 2005 |
| ICFP - International Conference on Functional Programming
|
March 31, 2005 |
None Specified
|
September 28, 2005 |
| International Conference on Computer Safety, Reliability and Security
|
February 10, 2005 |
None Specified
|
September 27, 2005 |
| ICSM - International Conference on Software Maintenance
|
March 20, 2005 |
May 29, 2005
|
September 24, 2005 |
| VL/HCC'05 - IEEE Symposium on Visual Languages and Human-Centric Computing
|
March 5, 2005 |
May 2, 2005
|
September 20, 2005 |
| APPSEM II Workshop (APPSEM05)
|
July 7, 2005 |
August 11, 2005
|
September 11, 2005 |
| PDCS - Conf. on Parallel and Distributed Computing Systems
|
April 7, 2005 |
May 12, 2005
|
September 11, 2005 |
| Workshop on Language-Based Parallel Programming Models
|
April 29, 2005 |
June 14, 2005
|
September 10, 2005 |
| SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2005
|
March 17, 2005 |
May 25, 2005
|
September 6, 2005 |
| SAS - Static Analysis Symposium
|
April 10, 2005 |
May 9, 2005
|
September 6, 2005 |
| FSE - Foundations of Software Engineering
|
April 3, 2005 |
May 24, 2005
|
September 4, 2005 |
| Program Analysis for Software Tools and Engineering
|
May 31, 2005 |
June 26, 2005
|
September 4, 2005 |
| RHAS’05 - Requirements Engineering for High-Availability Systems
|
June 5, 2005 |
July 4, 2005
|
August 28, 2005 |
| 13th IEEE International Requirements Engineering Conference
|
February 6, 2005 |
April 21, 2005
|
August 28, 2005 |
| Symposium on Database Programming Languages
|
May 19, 2005 |
July 4, 2005
|
August 27, 2005 |
| Expressiveness in Concurrency
|
May 31, 2005 |
July 10, 2005
|
August 26, 2005 |
| CSL - Computer Science Logic
|
March 24, 2005 |
May 14, 2005
|
August 21, 2005 |
| MoChArt '05- Third Workshop on Model Checking and Artificial Intelligence
|
May 19, 2005 |
June 26, 2005
|
July 28, 2005 |
| ECOOP - European Conference on Object Oriented Programming
|
December 16, 2004 |
February 17, 2005
|
July 24, 2005 |
| Annual International Computer Software and Applications Conference-COMPSAC 2005
|
February 14, 2005 |
April 14, 2005
|
July 24, 2005 |
| International Symposium of Formal Methods Europe
|
January 23, 2005 |
April 8, 2005
|
July 17, 2005 |
| The 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005)
|
January 30, 2005 |
March 31, 2005
|
July 13, 2005 |
| RV - Runtime Verification
|
April 8, 2005 |
March 13, 2005
|
July 11, 2005 |
| PPDP - Principles and Practice of Declarative Programming
|
February 12, 2005 |
None Specified
|
July 10, 2005 |
| COMPUTER AIDED VERIFICATION (CAV)
|
January 24, 2005 |
March 24, 2005
|
July 5, 2005 |
| ICFI - International Conference on Feature Interactions in Telecommunications and Software Systems
|
January 2, 2005 |
February 13, 2005
|
June 27, 2005 |
| Compframe2005 - Workshop on Component Models and Frameworks in High Performance Computing
|
February 15, 2005 |
March 30, 2005
|
June 21, 2005 |
| The 10th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS2005)
|
November 14, 2004 |
January 9, 2005
|
June 15, 2005 |
| Conference on Languages, Compilers, and Tools for Embedded Systems
|
January 28, 2005 |
March 17, 2005
|
June 14, 2005 |
| RSP 06 - IEEE International Workshop on Rapid System Prototyping
|
January 6, 2006 |
March 3, 2006
|
June 13, 2005 |
| Workshop on Requirements Engineering: Foundation for Software Quality
|
February 28, 2005 |
April 14, 2005
|
June 12, 2005 |
| PLDI 2006 - Programming Language Design and Implementation
|
November 10, 2005 |
January 15, 2006
|
June 10, 2005 |
| WADS 2005 - ICSE Workshop on Architecting Dependable Systems
|
February 20, 2005 |
March 20, 2005
|
May 16, 2005 |
| Third International Workshop on Dynamic Analysis, WODA 2005
|
February 20, 2005 |
March 20, 2005
|
May 16, 2005 |
| MACS - Modeling and Analysis of Concerns in Software - @ ICSE
|
February 20, 2005 |
March 20, 2005
|
May 15, 2005 |
| Software Engineering for Secure Systems, SESS05
|
February 20, 2005 |
March 20, 2005
|
May 14, 2005 |
| ICSE - International Conference on Software Engineering
|
August 31, 2004 |
None Specified
|
May 14, 2005 |
| SE-HPCS - Second International Workshop on Software Engineering for High Performance Computing System Applications
|
February 20, 2005 |
March 20, 2005
|
May 14, 2005 |
| ICSE 2005 WORKSHOP PROPOSALS
|
October 3, 2004 |
November 14, 2004
|
May 14, 2005 |
| ACM Symposium on Software Visualization
|
November 30, 2004 |
January 20, 2005
|
May 13, 2005 |
| International Workshop on Program Comprehension
|
January 20, 2005 |
February 20, 2005
|
May 4, 2005 |
| Automated Verification of Infinite-State Systems (AVIS'05)
|
December 16, 2004 |
January 6, 2004
|
April 27, 2005 |
| 29th Annual IEEE/NASA Software Engineering Workshop
|
November 30, 2004 |
January 31, 2005
|
April 5, 2005 |
| TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
|
October 7, 2004 |
December 9, 2004
|
April 3, 2005 |
| FASE 2005: Fundamental Approaches to Software Engineering
|
October 7, 2004 |
December 9, 2004
|
April 3, 2005 |
| SLAP Synchronous Languages, Applications, and Programming
|
November 14, 2004 |
None Specified
|
April 2, 2005 |
| ETAPS - European conference on the Theory and Practice of Software
|
October 7, 2004 |
December 9, 2004
|
April 1, 2005 |
| Australian Software Engineering Conference
|
September 30, 2004 |
December 2, 2004
|
March 28, 2005 |
| Software-engineering Properties of Languages and Aspect Technologies (SPLAT)
|
January 16, 2005 |
February 2, 2005
|
March 14, 2005 |
| Workshop on Aspect-Oriented Modeling
|
January 9, 2005 |
January 30, 2005
|
March 13, 2005 |
| 6th International Workshop on Aspect-Oriented Modeling
|
January 9, 2006 |
January 30, 2005
|
March 13, 2005 |
| AOSD - Aspect-Oriented Software Development
|
September 22, 2004 |
July 7, 2004
|
March 13, 2005 |
| Early Aspects 2005: Aspect-Oriented Requirements Engineering and Architecture Design
|
January 16, 2005 |
February 6, 2005
|
March 13, 2005 |
| IEEE Aerospace Conference
|
July 31, 2004 |
None Specified
|
March 4, 2005 |
| VMCAI - Verification, Model Checking and Abstract Interpretation
|
September 5, 2004 |
None Specified
|
January 16, 2005 |
| TLDI - Types in Language Design and Implementation
|
September 26, 2004 |
October 24, 2004
|
January 9, 2005 |
| http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/
|
December 19, 2004 |
December 19, 2004
|
December 19, 2004 |
| International Infrastructure Survivability Workshop (IISW'04)
|
September 3, 2004 |
None Specified
|
December 4, 2004 |
| Workshop on System Testing and Validation
|
September 9, 2004 |
October 10, 2004
|
November 29, 2004 |
| SIGSOFT'04/FSE-12 Workshop on Interdisciplinary Software Engineering Research
|
July 29, 2004 |
September 14, 2004
|
November 4, 2004 |
| Third workshop on specification and verification of component-based systems - SAVCBS'04
|
August 14, 2004 |
September 14, 2004
|
October 30, 2004 |
| 1st International Symposium on Leveraging Applications of Formal Methods
|
July 3, 2004 |
August 26, 2004
|
October 29, 2004 |
| eTX - eclipse Technology eXchange Workshop at OOPSLA 2004
|
August 26, 2004 |
September 14, 2004
|
October 23, 2004 |
| Automated Software Engineering
|
April 8, 2004 |
June 3, 2004
|
September 19, 2004 |
| IEEE International Requirements Engineering Conference
|
January 25, 2004 |
None Specified
|
September 5, 2004 |
| PLDI - Programming Language Design and Implementation
|
November 10, 2004 |
None Specified
|
June 29, 2004 |
|
|
