Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 80 to 80 | ||||||||
CC - International Conference on Compiler Construction
| ||||||||
Added: | ||||||||
> > | CHI - International Conference Computer-Human Interaction | |||||||
CONCUR - International Conference on Concurrency Theory | ||||||||
Line: 192 to 197 | ||||||||
ICSE - International Conference on Software Engineering
| ||||||||
Added: | ||||||||
> > | ||||||||
ICECCS - International Conference on Engineering of Complex Computer Systems
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 236 to 236 | ||||||||
M&A - Models and Aspects | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
MSFP - Workshop on Mathematically Structured Functional Programming | ||||||||
Line: 329 to 329 | ||||||||
TEAM - Towards Evaluation of Aspect Mining | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
TFP - Symposium on Trends in Functional Programming | ||||||||
Line: 345 to 345 | ||||||||
Added: | ||||||||
> > | VAR - Views, Aspects, and Roles | |||||||
VEE |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 233 to 233 | ||||||||
ML - Workshop on ML
| ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
M&A - Models and Aspects
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 132 to 132 | ||||||||
ETAPS - European Joint Conferences on Theory and Practice of Software
| ||||||||
Added: | ||||||||
> > | EXPRESS - International Workshop on Expressiveness in Concurrency | |||||||
FASE - Fundamental Approaches to Software Engineering
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 239 to 239 | ||||||||
Added: | ||||||||
> > | NODe - Objects, Aspects, Services | |||||||
OAL - Workshop on Open Aspect Languages
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 282 to 282 | ||||||||
PPoPP | ||||||||
Added: | ||||||||
> > | QPL - International Workshop on Quantum Programming Languages | |||||||
RAM-SE - Workshop on Reflection, AOP, and Meta-Data for Software Evolution | ||||||||
Line: 373 to 377 | ||||||||
Summer School on Language-Based Techniques for Concurrent and Distributed Software | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Marktoberdorf Summer School |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 98 to 98 | ||||||||
DAW - Dynamic Aspects Workshop
| ||||||||
Added: | ||||||||
> > | DCM - International Workshop on Developments in Computational Models | |||||||
DLS - Dynamic Languages Symposium | ||||||||
Line: 308 to 312 | ||||||||
SPLAT - Software Engineering Properties of Languages and Aspect Technologies
| ||||||||
Added: | ||||||||
> > | SVV - International Workshop on Software Verification and Validation | |||||||
TEAM - Towards Evaluation of Aspect Mining | ||||||||
Line: 372 to 380 | ||||||||
| ||||||||
Added: | ||||||||
> > | MGS - Midlands Graduate School
| |||||||
-- ChrisDutchyn - 20 Feb 2006 |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 104 to 104 | ||||||||
DSD - Digital System Design
| ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
EA - Workshop on Early Aspects
| ||||||||
Line: 140 to 140 | ||||||||
Added: | ||||||||
> > | FMCO - Internation Symposium on Formal Methods for Objects and Components | |||||||
FOAL - Workshop on Foundations of Aspect Languages
| ||||||||
Line: 185 to 191 | ||||||||
IFL - International Workshop on Implementation and Application of Functional Languages
| ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
IJCAR - International Joint Conference on Automated Reasoning
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 102 to 102 | ||||||||
Added: | ||||||||
> > | DSD - Digital System Design | |||||||
EA - Workshop on Early Aspects
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 307 to 307 | ||||||||
WGP - Workshop on Generic Programming | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
VEE |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 194 to 194 | ||||||||
ISSTA - International Symposium on Software Testing and Analysis
| ||||||||
Added: | ||||||||
> > | LFMTP - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice | |||||||
LISP - Lisp Workshop |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 233 to 233 | ||||||||
PADL - Practical Aspects of Declarative Languages<-- last one was <http://www.cs.brown.edu/people/pvh/PADL06.html> --> | ||||||||
Added: | ||||||||
> > | PDMC - Parallel and Distributed Methods in Verification | |||||||
PEPM - Workshop on Partial Evaluation and Program Manipulation<-- last one was <http://profs.sci.univr.it/~pepm04> --> | ||||||||
Line: 315 to 320 | ||||||||
WOOD/FOOL - International Workshop on Foundations and Developments of Object-oriented Languages<-- last one was <http://public.research.att.com/~kfisher/FOOL/FOOLWOOD06/participation.html> --> | ||||||||
Added: | ||||||||
> > | WS-FM - International Workshop on Web Services and Formal Methods | |||||||
Special Issues |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
... And correct and extend this list! | ||||||||
Changed: | ||||||||
< < | %CALENDAR{bgcolor="cyan" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+1" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+2" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+3" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+4" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+5" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+6" showweekdayheaders="1"}% | |||||||
> > | %CALENDAR{bgcolor="lightblue" showweekdayheaders="1" width="800"}% %CALENDAR{bgcolor="cyan" showweekdayheaders="1" width="800" month="+1"}% %CALENDAR{bgcolor="cyan" showweekdayheaders="1" width="800" month="+2"}% %CALENDAR{bgcolor="cyan" showweekdayheaders="1" width="800" month="+3"}% %CALENDAR{bgcolor="cyan" showweekdayheaders="1" width="800" month="+4"}% %CALENDAR{bgcolor="cyan" showweekdayheaders="1" width="800" month="+5"}% %CALENDAR{bgcolor="cyan" showweekdayheaders="1" width="800" month="+6"}% | |||||||
Conferences | ||||||||
Line: 208 to 208 | ||||||||
Added: | ||||||||
> > | M&A - Models and Aspects | |||||||
MSFP - Workshop on Mathematically Structured Functional Programming |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 194 to 194 | ||||||||
ISSTA - International Symposium on Software Testing and Analysis
| ||||||||
Added: | ||||||||
> > | LISP - Lisp Workshop | |||||||
LATE - Linking Aspect Technology and Evolution
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 38 to 38 | ||||||||
ACP4IS - Aspects, Components, and Patterns for Infrastructure Software
| ||||||||
Added: | ||||||||
> > | ADI - Workshop on Aspects, Dependencies, and Interactions | |||||||
AIT - Workshop on Aspects in Teaching
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 147 to 147 | ||||||||
Added: | ||||||||
> > | HOR - Higher-Order Rewriting | |||||||
ICALP - International Colloquium on Automata, Languages, and Programming
| ||||||||
Line: 238 to 242 | ||||||||
PPoPP | ||||||||
Added: | ||||||||
> > | RAM-SE - Workshop on Reflection, AOP, and Meta-Data for Software Evolution | |||||||
RULE - International Workshop on Rule-Based Programming |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 96 to 96 | ||||||||
EA - Workshop on Early Aspects
| ||||||||
Added: | ||||||||
> > | ECMDA - European Conference on Model Driven Architecture | |||||||
ECOOP - European Conference on Object-oriented Programming
| ||||||||
Line: 258 to 264 | ||||||||
SPLAT - Software Engineering Properties of Languages and Aspect Technologies
| ||||||||
Added: | ||||||||
> > | TEAM - Towards Evaluation of Aspect Mining | |||||||
TFP - Symposium on Trends in Functional Programming
| ||||||||
Line: 315 to 325 | ||||||||
| ||||||||
Changed: | ||||||||
< < | -- ChrisDutchyn - 07 Feb 2006 | |||||||
> > | -- ChrisDutchyn - 20 Feb 2006 | |||||||
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 278 to 278 | ||||||||
Changed: | ||||||||
< < | WMM - Workshop on Mechanizing MetaTheory | |||||||
> > | WMM - Workshop on Mechanizing MetaTheory | |||||||
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 48 to 48 | ||||||||
Added: | ||||||||
> > | APLAS - Asian Symposium on Programming Languages and Systems | |||||||
ASE - International Conference on Automated Software Engineering |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 144 to 144 | ||||||||
Added: | ||||||||
> > | ICLP - International Conference on Logic Programming | |||||||
ICSE - International Conference on Software Engineering
|
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 Reasoning
ISESE - 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 |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 131 to 131 | ||||||||
ICSE - International Conference on Software Engineering
| ||||||||
Changed: | ||||||||
< < | ICECCS -- International Conference on Engineering of Complex Computer Systems | |||||||
> > | ICECCS - International Conference on Engineering of Complex Computer Systems | |||||||
Added: | ||||||||
> > | IJCAR - International Joint Conference on Automated Reasoning | |||||||
ISESE - International Symposium on Empirical Software Engineering
ISSTA - International Symposium on Software Testing and Analysis |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 47 to 47 | ||||||||
ASE - International Conference on Automated Software Engineering | ||||||||
Added: | ||||||||
> > | ||||||||
ASPL - Aspects and Software Product Lines
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Changed: | ||||||||
< < | Some day, the list below will show graphically. | |||||||
> > | Please correct and extend this list with your information! | |||||||
%CALENDAR{bgcolor="cyan" showweekdayheaders="1"}% | ||||||||
Added: | ||||||||
> > | %CALENDAR{bgcolor="cyan" month="+1" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+2" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+3" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+4" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+5" showweekdayheaders="1"}% %CALENDAR{bgcolor="cyan" month="+6" showweekdayheaders="1"}% | |||||||
Conferences | ||||||||
Changed: | ||||||||
< < | Please extend this list with your information! | |||||||
> > | <-- I see this as primarily a planning tool for publication. Hence, the deadlines are more significant than the event dates and the highlighting standard supports this. -->
<-- Include items such as deadlines: abstracts, applications, contest, demos, papers, posters, registrations, volunteers, tools, workshops, separated by commas and terminated with a comma. Include meetings but without any description. Don't bother with NOTIFICATION dates, anyone who submits can track those themselves. -->
<-- These are listed in alphabetical order, to ease manual search for conferences. The calendar plug-in understands unsorted entries, so don't resort this by date. --> | |||||||
Changed: | ||||||||
< < | <-- Conferences are listed alphabetically by acronym --> <-- Include abstract, contest, papers, posters, abstracts, tools, conference, symposium, workshop --> <-- Don't bother with NOTIFICATION, anyone who submits can track that themselves --> <-- Also, this is in alphabetical order, to ease manual search for conferences. The calendar plug-in understands unsorted entries, so don't resort this by date. --> | |||||||
> > | <-- For details on formatting, consult http://web.brandeis.edu/pages/view/TWiki/Calendar | |||||||
ACP4IS - Aspects, Components, and Patterns for Infrastructure Software | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
AIT - Workshop on Aspects in Teaching | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
AOM - Aspect-oriented Modeling | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
AOSD - International Conference on Aspect-oriented Software Design | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
ASE - International Conference on Automated Software Engineering
ASPL - Aspects and Software Product Lines | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
BPAOSD - Best Practices in Applying Aspect-Oriented Software Development | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
CC - International Conference on Compiler Construction | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
CONCUR - International Conference on Concurrency Theory | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > | ||||||||
CT - International Category Theory Conference | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
DAW - Dynamic Aspects Workshop | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
DLS - Dynamic Languages Symposium | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
EA - Workshop on Early Aspects | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ECOOP - European Conference on Object-oriented Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ESOP - European Symposium on Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ETAPS - European Joint Conferences on Theory and Practice of Software | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
FASE - Fundamental Approaches to Software Engineering | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
FM - International Symposium on Formal Methods | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
FMCS - Foundational Methods in Computer Science | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
FOAL - Workshop on Foundations of Aspect Languages | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
FOSSACS - Foundations of Software Science and Computation Structures | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
FSE - Symposium on Foundations of Software Engineering | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
GPCE - Generative Programming, Component Engineering | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
ICALP - International Colloquium on Automata, Languages, and Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ICFP - International Conference on Functional Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ICSE - International Conference on Software Engineering | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ICECCS -- International Conference on Engineering of Complex Computer Systems | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > | ||||||||
ISESE - International Symposium on Empirical Software Engineering
ISSTA - International Symposium on Software Testing and Analysis | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
LATE - Linking Aspect Technology and Evolution | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
LCTES - Conference on Languages, Compilers, and Tools for Embedded Systems | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
MSFP - Workshop on Mathematically Structured Functional Programming | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
OAL - Workshop on Open Aspect Languages | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
OOPSLA - Object-oriented Programming Languages, Systems and Applications | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > | ||||||||
PADL - Practical Aspects of Declarative Languages
PEPM - Workshop on Partial Evaluation and Program Manipulation
PLDI - Conference on Programming Language Design and Implementation | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
PLoP - Pattern Languages of Programs Conference | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
POPL - Symposium on Principles of Programming Languages | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
PPDP - International Symposium on Principles and Practice of Declarative Programming | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
PPoPP - Symposium on Principles and Practice of Parallel Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
RULE - International Workshop on Rule-Based Programming | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
SC - International Workshop on Software Composition | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
SPIN - International SPIN Workshop on Model Checking of Software | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
SPLAT - Software Engineering Properties of Languages and Aspect Technologies | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
SOS - Workshop on Structural Operational Semantics | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
TFP - Symposium on Trends in Functional Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
TYPES - Conference of the Types Project | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
VERIFY - International Verification Workshop | |||||||
WOOD/FOOL - International Workshop on Foundations and Developments of Object-oriented Languages | ||||||||
Line: 186 to 207 | ||||||||
Special Issues
Transactions on Aspect-oriented Software Development | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Schools
AOSD - Summer School on Aspect-oriented Software Development | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
DGP - Spring School on Datatype-generic Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ESSLLI - European Summer School in Logic, Language and Information | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Summer School on Language-Based Techniques for Concurrent and Distributed Software | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Marktoberdorf Summer School | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Changed: | ||||||||
< < | -- ChrisDutchyn - 01 Feb 2006 | |||||||
> > | -- ChrisDutchyn - 07 Feb 2006 | |||||||
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 45 to 45 | ||||||||
| ||||||||
Added: | ||||||||
> > | CT - International Category Theory Conference | |||||||
DAW - Dynamic Aspects Workshop
| ||||||||
Line: 80 to 84 | ||||||||
FOAL - Workshop on Foundations of Aspect Languages
| ||||||||
Deleted: | ||||||||
< < | FOOL - International Workshop on Foundations and Developments of Object-oriented Languages | |||||||
FOSSACS - Foundations of Software Science and Computation Structures
| ||||||||
Line: 158 to 160 | ||||||||
Added: | ||||||||
> > | SC - International Workshop on Software Composition
| |||||||
SPIN - International SPIN Workshop on Model Checking of Software
| ||||||||
Line: 175 to 180 | ||||||||
TYPES - Conference of the Types Project
| ||||||||
Added: | ||||||||
> > | WOOD/FOOL - International Workshop on Foundations and Developments of Object-oriented Languages | |||||||
Special Issues
Transactions on Aspect-oriented Software Development | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Schools | ||||||||
Changed: | ||||||||
< < | DGP - Spring School on Datatype-Generic Programming | |||||||
> > | AOSD - Summer School on Aspect-oriented Software Development
DGP - Spring School on Datatype-generic Programming | |||||||
ESSLLI - European Summer School in Logic, Language and Information
| ||||||||
Added: | ||||||||
> > | Summer School on Language-Based Techniques for Concurrent and Distributed Software
| |||||||
Marktoberdorf Summer School
|
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 10 to 10 | ||||||||
Please extend this list with your information!
<-- Conferences are listed alphabetically by acronym --> | ||||||||
Changed: | ||||||||
< < | <-- Include abstract, contest, papers, posters, presubmission, submission, tools, conference, symposium, workshop --> | |||||||
> > | <-- Include abstract, contest, papers, posters, abstracts, tools, conference, symposium, workshop --> | |||||||
<-- Don't bother with NOTIFICATION, anyone who submits can track that themselves --> <-- Also, this is in alphabetical order, to ease manual search for conferences. The calendar plug-in understands unsorted entries, so don't resort this by date. --> | ||||||||
Line: 40 to 40 | ||||||||
CC - International Conference on Compiler Construction
| ||||||||
Added: | ||||||||
> > | CONCUR - International Conference on Concurrency Theory
| |||||||
DAW - Dynamic Aspects Workshop
DLS - Dynamic Languages Symposium | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
EA - Workshop on Early Aspects | ||||||||
Line: 63 to 69 | ||||||||
FM - International Symposium on Formal Methods | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
FMCS - Foundational Methods in Computer Science | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
FOAL - Workshop on Foundations of Aspect Languages | ||||||||
Line: 80 to 86 | ||||||||
FSE - Symposium on Foundations of Software Engineering | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
GPCE - Generative Programming, Component Engineering | ||||||||
Changed: | ||||||||
< < | ||||||||
> > | ||||||||
ICALP - International Colloquium on Automata, Languages, and Programming | ||||||||
Line: 99 to 105 | ||||||||
ICECCS -- International Conference on Engineering of Complex Computer Systems | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
ISESE - International Symposium on Empirical Software Engineering | ||||||||
Line: 114 to 120 | ||||||||
MSFP - Workshop on Mathematically Structured Functional Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
OAL - Workshop on Open Aspect Languages | ||||||||
Line: 134 to 140 | ||||||||
PLoP - Pattern Languages of Programs Conference | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
POPL - Symposium on Principles of Programming Languages | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
PPDP - International Symposium on Principles and Practice of Declarative Programming | ||||||||
Changed: | ||||||||
< < | PPoPP - Symposium on Principles and Pracice of Parallel Programming | |||||||
> > | PPoPP - Symposium on Principles and Practice of Parallel Programming | |||||||
RULE - International Workshop on Rule-Based Programming | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
SPIN - International SPIN Workshop on Model Checking of Software | ||||||||
Line: 173 to 179 | ||||||||
Special Issues
Transactions on Aspect-oriented Software Development | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Schools | ||||||||
Line: 182 to 188 | ||||||||
ESSLLI - European Summer School in Logic, Language and Information | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Marktoberdorf Summer School |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 12 to 12 | ||||||||
<-- Conferences are listed alphabetically by acronym --> <-- Include abstract, contest, papers, posters, presubmission, submission, tools, conference, symposium, workshop --> <-- Don't bother with NOTIFICATION, anyone who submits can track that themselves --> | ||||||||
Added: | ||||||||
> > | <-- Also, this is in alphabetical order, to ease manual search for conferences. The calendar plug-in understands unsorted entries, so don't resort this by date. -->
ACP4IS - Aspects, Components, and Patterns for Infrastructure Software
AIT - Workshop on Aspects in Teaching
AOM - Aspect-oriented Modeling
| |||||||
AOSD - International Conference on Aspect-oriented Software Design | ||||||||
Added: | ||||||||
> > | ||||||||
ASE - International Conference on Automated Software Engineering | ||||||||
Added: | ||||||||
> > | ASPL - Aspects and Software Product Lines
BPAOSD - Best Practices in Applying Aspect-Oriented Software Development
CC - International Conference on Compiler Construction
DAW - Dynamic Aspects Workshop
DLS - Dynamic Languages Symposium
EA - Workshop on Early Aspects
| |||||||
ECOOP - European Conference on Object-oriented Programming
| ||||||||
Added: | ||||||||
> > | ESOP - European Symposium on Programming
ETAPS - European Joint Conferences on Theory and Practice of Software
FASE - Fundamental Approaches to Software Engineering
| |||||||
FM - International Symposium on Formal Methods | ||||||||
Line: 31 to 72 | ||||||||
FOAL - Workshop on Foundations of Aspect Languages | ||||||||
Added: | ||||||||
> > |
| |||||||
FOOL - International Workshop on Foundations and Developments of Object-oriented Languages | ||||||||
Changed: | ||||||||
< < | FSE - Foundations of Software Engineering | |||||||
> > | FOSSACS - Foundations of Software Science and Computation Structures
FSE - Symposium on Foundations of Software Engineering | |||||||
GPCE - Generative Programming, Component Engineering
| ||||||||
Line: 50 to 98 | ||||||||
ICSE - International Conference on Software Engineering
| ||||||||
Added: | ||||||||
> > | ICECCS -- International Conference on Engineering of Complex Computer Systems
| |||||||
ISESE - International Symposium on Empirical Software Engineering
ISSTA - International Symposium on Software Testing and Analysis
| ||||||||
Added: | ||||||||
> > | LATE - Linking Aspect Technology and Evolution
| |||||||
LCTES - Conference on Languages, Compilers, and Tools for Embedded Systems | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
MSFP - Workshop on Mathematically Structured Functional Programming | |||||||
OAL - Workshop on Open Aspect Languages | ||||||||
Added: | ||||||||
> > |
| |||||||
OOPSLA - Object-oriented Programming Languages, Systems and Applications | ||||||||
Added: | ||||||||
> > |
| |||||||
PADL - Practical Aspects of Declarative Languages
PEPM - Workshop on Partial Evaluation and Program Manipulation
PLDI - Conference on Programming Language Design and Implementation | ||||||||
Changed: | ||||||||
< < |
| |||||||
> > |
| |||||||
Changed: | ||||||||
< < | POPL - Principles of Programming Languages | |||||||
> > | PLoP - Pattern Languages of Programs Conference
POPL - Symposium on Principles of Programming Languages | |||||||
PPDP - International Symposium on Principles and Practice of Declarative Programming
| ||||||||
Line: 82 to 152 | ||||||||
Changed: | ||||||||
< < | SOS - Structural Operational Semantics | |||||||
> > | SPIN - International SPIN Workshop on Model Checking of Software
SPLAT - Software Engineering Properties of Languages and Aspect Technologies
SOS - Workshop on Structural Operational Semantics | |||||||
Added: | ||||||||
> > | TFP - Symposium on Trends in Functional Programming
TYPES - Conference of the Types Project
| |||||||
Special Issues | ||||||||
Line: 94 to 176 | ||||||||
| ||||||||
Added: | ||||||||
> > | Schools
DGP - Spring School on Datatype-Generic Programming
ESSLLI - European Summer School in Logic, Language and Information
Marktoberdorf Summer School
| |||||||
-- ChrisDutchyn - 01 Feb 2006 |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 78 to 78 | ||||||||
PPoPP - Symposium on Principles and Pracice of Parallel Programming
| ||||||||
Added: | ||||||||
> > | RULE - International Workshop on Rule-Based Programming | |||||||
SOS - Structural Operational Semantics |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
Added: | ||||||||
> > |
%CALENDAR{bgcolor="cyan" showweekdayheaders="1"}%
ConferencesPlease extend this list with your information!
<-- Conferences are listed alphabetically by acronym --> <-- Include abstract, contest, papers, posters, presubmission, submission, tools, conference, symposium, workshop --> <-- Don't bother with NOTIFICATION, anyone who submits can track that themselves -->
AOSD - International Conference on Aspect-oriented Software Design
ASE - International Conference on Automated Software Engineering
ECOOP - European Conference on Object-oriented Programming
FM - International Symposium on Formal Methods
FMCS - Foundational Methods in Computer Science
FOAL - Workshop on Foundations of Aspect Languages
FOOL - International Workshop on Foundations and Developments of Object-oriented Languages
FSE - Foundations of Software Engineering
GPCE - Generative Programming, Component Engineering
ICALP - International Colloquium on Automata, Languages, and Programming
ICFP - International Conference on Functional Programming
ICSE - International Conference on Software Engineering
ISESE - International Symposium on Empirical Software Engineering
ISSTA - International Symposium on Software Testing and Analysis
LCTES - Conference on Languages, Compilers, and Tools for Embedded Systems
OAL - Workshop on Open Aspect Languages
OOPSLA - Object-oriented Programming Languages, Systems and Applications
PADL - Practical Aspects of Declarative Languages
PEPM - Workshop on Partial Evaluation and Program Manipulation
PLDI - Conference on Programming Language Design and Implementation
POPL - Principles of Programming Languages
PPDP - International Symposium on Principles and Practice of Declarative Programming
PPoPP - Symposium on Principles and Pracice of Parallel Programming
SOS - Structural Operational Semantics
Special Issues
Transactions on Aspect-oriented Software Development
-- ChrisDutchyn - 01 Feb 2006 |