Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Changed: | ||||||||
< < | Please correct and extend this list with your information! | |||||||
> > | This list is not guaranteed to be complete nor correct; please check your deadlines against the actual calls for papers. ... And correct and extend this list! | |||||||
%CALENDAR{bgcolor="cyan" showweekdayheaders="1"}% | ||||||||
Line: 42 to 44 | ||||||||
AOM - Aspect-oriented Modeling
| ||||||||
Changed: | ||||||||
< < | AOSD - International Conference on Aspect-oriented Software Design | |||||||
> > | AOSD | |||||||
Line: 59 to 61 | ||||||||
ASPL - Aspects and Software Product Lines
| ||||||||
Added: | ||||||||
> > | ASPLOS | |||||||
BPAOSD - Best Practices in Applying Aspect-Oriented Software Development
| ||||||||
Line: 88 to 95 | ||||||||
ECOOP - European Conference on Object-oriented Programming
| ||||||||
Added: | ||||||||
> > | Erlang - Erlang Workshop | |||||||
ESOP - European Symposium on Programming
| ||||||||
Line: 122 to 133 | ||||||||
Added: | ||||||||
> > | Haskell - Haskell Workshop | |||||||
ICALP - International Colloquium on Automata, Languages, and Programming
| ||||||||
Changed: | ||||||||
< < | ICFP - International Conference on Functional Programming | |||||||
> > | ICFP | |||||||
ICSE - International Conference on Software Engineering | ||||||||
Line: 135 to 151 | ||||||||
Added: | ||||||||
> > | IFL - International Workshop on Implementation and Application of Functional Languages | |||||||
IJCAR - International Joint Conference on Automated ReasoningISESE - International Symposium on Empirical Software Engineering | ||||||||
Added: | ||||||||
> > |
ISMM | |||||||
ISSTA - International Symposium on Software Testing and Analysis
| ||||||||
Line: 148 to 174 | ||||||||
LATE - Linking Aspect Technology and Evolution
| ||||||||
Changed: | ||||||||
< < | LCTES - Conference on Languages, Compilers, and Tools for Embedded Systems | |||||||
> > | LCTES | |||||||
| ||||||||
Added: | ||||||||
> > | ML - Workshop on ML | |||||||
MSFP - Workshop on Mathematically Structured Functional Programming | ||||||||
Line: 158 to 188 | ||||||||
OAL - Workshop on Open Aspect Languages
| ||||||||
Changed: | ||||||||
< < | OOPSLA - Object-oriented Programming Languages, Systems and Applications | |||||||
> > | OOPSLA | |||||||
Added: | ||||||||
> > | PACT - Parallel Architectures and Compilation Techniques | |||||||
PADL - Practical Aspects of Declarative Languages | ||||||||
Added: | ||||||||
> > | <-- last one was <http://www.cs.brown.edu/people/pvh/PADL06.html> --> | |||||||
PEPM - Workshop on Partial Evaluation and Program Manipulation | ||||||||
Added: | ||||||||
> > | <-- last one was <http://profs.sci.univr.it/~pepm04> --> | |||||||
Changed: | ||||||||
< < | PLDI - Conference on Programming Language Design and Implementation | |||||||
> > | PLDI | |||||||
PLoP - Pattern Languages of Programs Conference | ||||||||
Changed: | ||||||||
< < | POPL - Symposium on Principles of Programming Languages | |||||||
> > | POPL | |||||||
Line: 183 to 220 | ||||||||
Changed: | ||||||||
< < | PPoPP - Symposium on Principles and Practice of Parallel Programming | |||||||
> > | PPoPP | |||||||
RULE - International Workshop on Rule-Based Programming | ||||||||
Added: | ||||||||
> > | SAS - International Static Analysis Symposium | |||||||
SC - International Workshop on Software Composition
| ||||||||
Changed: | ||||||||
< < | SPIN - International SPIN Workshop on Model Checking of Software
SPLAT - Software Engineering Properties of Languages and Aspect Technologies
| |||||||
> > | SFP - Scheme and Functional Programming | |||||||
SOS - Workshop on Structural Operational Semantics | ||||||||
Added: | ||||||||
> > | SPIN - International SPIN Workshop on Model Checking of Software
SPLAT - Software Engineering Properties of Languages and Aspect Technologies
| |||||||
TFP - Symposium on Trends in Functional Programming
| ||||||||
Added: | ||||||||
> > | TLDI - Workshop on Types in Language Design and Implementation<-- last one was 2005 <http://research.microsoft.com/~maf/tldi05> --> | |||||||
TYPES - Conference of the Types Project
| ||||||||
Added: | ||||||||
> > | WGP - Workshop on Generic Programming VEE | |||||||
VERIFY - International Verification Workshop | ||||||||
Added: | ||||||||
> > | WMM - Workshop on Mechanizing MetaTheory | |||||||
WOOD/FOOL - International Workshop on Foundations and Developments of Object-oriented Languages | ||||||||
Added: | ||||||||
> > | <-- last one was <http://public.research.att.com/~kfisher/FOOL/FOOLWOOD06/participation.html> --> | |||||||
Special Issues |