ConferenceCalendar < SPL

*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="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

<!-- 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. -->

<!-- For details on formatting, consult
http://web.brandeis.edu/pages/view/TWiki/Calendar -->

---+++++ ACP4IS - Aspects, Components, and Patterns for Infrastructure Software
   * 21 Mar 2006 - [[http://www.aosd.net/workshops/acp4is/2006][ACP4IS]]

---+++++ ADI - Workshop on Aspects, Dependencies, and Interactions
   *  1 Apr 2006 - [[http://www.aosd-europe.net/adi06][ADI]] *papers*,
   *  3 Jul 2006 - [[http://www.aosd-europe.net/adi06][ADI]]

---+++++ AIT - Workshop on Aspects in Teaching
   * 21 Mar 2006 - [[http://www.aosd.net/workshops/ait/2006][AIT]]

---+++++ AOM - Aspect-oriented Modeling
   * 21 Mar 2006 - [[http://dawis.informatik.uni-essen.de/events/AOM_AOSD2006/cfp.shtml][AOM]]

---+++++ [[http://www.aosd.net][AOSD]] - International Conference on Aspect-oriented Software Design
   *  8 Feb 2006 - [[http://www.aosd.net/2006][AOSD]] *posters*, *student volunteers*, *student extravaganza*,
   * 20 Mar 2006 - 26 Mar 2006 - [[http://www.aosd.net/2006][AOSD]]

---+++++ APLAS - Asian Symposium on Programming Languages and Systems
   *  2 Jun 2006 - [[http://www.kb.ecei.tohoku.ac.jp/aplas2006][APLAS]] *papers*,
   *  8 Nov 2006 - 10 Nov 2006 - [[http://www.kb.ecei.tohoku.ac.jp/aplas2006][APLAS]]

---+++++ ASE - International Conference on Automated Software Engineering
   * 15 Feb 2006 - [[http://www.ase-conference.jp][ASE]] *workshop proposals*,
   * 24 Feb 2006 - [[http://www.ase-conference.jp][ASE]] *abstracts*,
   *  3 Mar 2006 - [[http://www.ase-conference.jp][ASE]] *papers*,
   * 14 Apr 2006 - [[http://www.ase-conference.jp][ASE]] *tutorials*,
   *  2 May 2006 - [[http://www.ase-conference.jp][ASE]] *doctoral symposium*,
   * 10 May 2006 - [[http://www.ase-conference.jp][ASE]] *demos*,
   * 23 Jun 2006 - [[http://www.ase-conference.jp][ASE]] *workshop papers*,
   * 18 Sep 2006 - 22 Sep 2006 - [[http://www.ase-conference.jp][ASE]]

---+++++ ASPL - Aspects and Software Product Lines
   * 20 Mar 2006 - [[http://www.sei.cmu.edu/productlines/aspl_workshop.html][ASPL]]

---+++++ [[http://www.acm.org/sigs/sigplan/asplos.htm][ASPLOS]] - Architectural Support for Programming Languages and Operating Systems
   *  1 Mar 2006 - [[http://www.princeton.edu/~asplos06/index.html][ASPLOS]] *abstracts*,
   *  8 Mar 2006 - [[http://www.princeton.edu/~asplos06/index.html][ASPLOS]] *papers*,
   *  21 Oct 2006 - 25 Oct 2006 - [[http://www.princeton.edu/~asplos06/index.html][ASPLOS]]

---+++++ BPAOSD - Best Practices in Applying Aspect-Oriented Software Development
   * 21 Mar 2006 - [[http://www.aosd.net/workshops/bpaosd][BPAOSD]]

---+++++ CC - International Conference on Compiler Construction
   * 25 Mar 2006 - 2 Apr 2006 - [[http://www.st.cs.uni-sb.de/cc][CC]]

---+++++ CONCUR - International Conference on Concurrency Theory
   * 23 Mar 2006 - [[http://depend.cs.uni-sb.de/index.php?id=355][CONCUR]] *abstracts*,
   *  3 Apr 2006 - [[http://depend.cs.uni-sb.de/index.php?id=355][CONCUR]] *papers*,
   * 27 Aug 2006 - 30 Aug 2006 - [[http://depend.cs.uni-sb.de/index.php?id=355][CONCUR]]

---+++++ CSL - Conference of the European Association for Computer Science Logic
   * 24 Apr 2006 - [[http://www.inf.u-szeged.hu/~csl06][CSL]] *abstracts*,
   *  1 May 2006 - [[http://www.inf.u-szeged.hu/~csl06][CSL]] *papers*,
   * 25 Sep 2006 - 29 Sep 2006 - [[http://www.inf.u-szeged.hu/~csl06][CSL]]

---+++++ CT - International Category Theory Conference
   * 27 Feb 2006 - [[http://www.mathstat.dal.ca/~selinger/ct2006][CT]] *abstracts*,
   * 20 Apr 2006 - [[http://www.mathstat.dal.ca/~selinger/ct2006][CT]] *registration*,
   * 25 Jun 2006 - 1 Jul 2006 - [[http://www.mathstat.dal.ca/~selinger/ct2006][CT]]

---+++++ DAW - Dynamic Aspects Workshop
   * 20 Mar 2006 - [[http://www.aosd.net/workshops/daw][DAW]]

---+++++ DCM - International Workshop on Developments in Computational Models
   * 30 Apr 2006 - [[http://www.dcm-workshop.org.uk/2006][DCM]] *papers*,
   * 16 Jul 2006 - [[http://www.dcm-workshop.org.uk/2006][DCM]]

---+++++ DLS - Dynamic Languages Symposium
   * 18 Mar 2006 - [[http://www.oopsla.org/2006/dynamicLanguagesSymposium.html][DLS]] *papers*,
   * 23 Oct 2006 - [[http://www.oopsla.org/2006/dynamicLanguagesSymposium.html][DLS]]

---+++++ DSD - Digital System Design
   * 18 Mar 2006 - [[http://www.dsdconf.org][DSD]] *papers*,
   * 30 Aug 2006 - 1 Sep 2006 - [[http://www.dsdconf.org][DSD]]

---+++++ EA - Workshop on Early Aspects
   * 20 Mar 2006 - [[http://www.early-aspects.net/aosd06ws][EA]]

---+++++ ECMDA - European Conference on Model Driven Architecture
   * 24 Feb 2006 - [[http://www.ecmda-fa.org][ECMDA]] *abstracts*,
   *  3 Mar 2006 - [[http://www.ecmda-fa.org][ECMDA]] *papers*,
   * 10 May 2006 - [[http://www.ecmda-fa.org][ECMDA]] *tools*,
   * 10 Jul 2006 - 14 Jul 2006 - [[http://www.ecmda-fa.org][ECMDA]]

---+++++ ECOOP - European Conference on Object-oriented Programming
   *  3 Jul 2006 - 7 Jul 2006 - [[http://www.emn.fr/x-info/ecoop2006][ECOOP]]

---+++++ Erlang - Erlang Workshop
   *  3 Jun 2006 - [[http://www.erlang.se/workshop/2006][Erlang]] *papers*,
   * 16 Sep 2006 - [[http://www.erlang.se/workshop/2006][Erlang]]

---+++++ ESOP - European Symposium on Programming
   * 27 Mar 2006 - 28 Mar 2006 - [[http://www.itu.dk/research/esop06][ESOP]]

---+++++ ETAPS - European Joint Conferences on Theory and Practice of Software
   * 25 Mar 2006 - 2 Apr 2006 - [[http://www.complang.tuwien.ac.at/etaps06][ETAPS]]

---+++++ EXPRESS - International Workshop on Expressiveness in Concurrency
   *  1 Jun 2006 - [[http://www.doc.ic.ac.uk/express06][EXPRESS]] *papers*,
   * 26 Aug 2006 - [[http://www.doc.ic.ac.uk/express06][EXPRESS]]

---+++++ FASE - Fundamental Approaches to Software Engineering
   * 25 Mar 2006 - 2 Apr 2006 - [[http://fossacs06.ru.is][FASE]]

---+++++ FM - International Symposium on Formal Methods
   * 24 Feb 2006 - [[http://fm06.mcmaster.ca][FM]] *papers*,
   * 26 May 2006 - [[http://fm06.mcmaster.ca][FM]] *posters*, *tools*,
   * 21 Aug 2006 - 27 Aug 2006 - [[http://fm06.mcmaster.ca][FM]]

---+++++ FMCS - Foundational Methods in Computer Science
   * 21 May 2006 - [[http://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS_06/FMCS06.html][FMCS]] *papers*,
   *  7 Jul 2006 - 9 Jul 2006 - [[http://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS_06/FMCS06.html][FMCS]]

---+++++ FMCO - Internation Symposium on Formal Methods for Objects and Components
   *  5 Sep 2006 - [[http://fmco.liacs.nl/fmco06.html][FMCO]] *abstracts*,
   *  7 Nov 2006 - 10 Nov 2006 - [[http://fmco.liacs.nl/fmco06.html][FMCO]]
   * 28 Feb 2007 - [[http://fmco.liacs.nl/fmco06.html][FMCO]] *papers*,
   <-- yes, this is correct; selected papers will be published after the conference -->

---+++++ FOAL - Workshop on Foundations of Aspect Languages
   * 21 Mar 2006 - [[http://aosd.net/workshops/foal][FOAL]]

---+++++ FOSSACS - Foundations of Software Science and Computation Structures
   * 25 Mar 2006 - 31 Mar 2006 - [[http://fossacs06.ru.is][FOSSACS]]

---+++++ FSE - Symposium on Foundations of Software Engineering
   * 15 Apr 2006 - [[http://www.cs.uoregon.edu/fse-14][FSE]] *papers*,
   * 11 Aug 2006 - [[http://www.cs.uoregon.edu/fse-14][FSE]] *doctoral symposium*, *posters*,
   *  5 Nov 2006 - 11 Nov 2006 - [[http://www.cs.uoregon.edu/fse-14][FSE]]

---+++++ GPCE - Generative Programming, Component Engineering
   * 30 Apr 2006 - [[http://www.gpce.org/06/][GPCE]] *abstracts*,
   *  5 May 2006 - [[http://www.gpce.org/06/][GPCE]] *papers*,
   * 22 Oct 2006 - 26 Oct 2006 - [[http://www.gpce.org/06/][GPCE]]

---+++++ Haskell - Haskell Workshop
   *  2 Jun 2006 - [[http://haskell.org/haskell-workshop/2006][Haskell]] *papers*,
   * 17 Sep 2006 - [[http://haskell.org/haskell-workshop/2006][Haskell]]

---+++++ HOR - Higher-Order Rewriting
   *  8 May 2006 - [[http://hor.pps.jussieu.fr/06][HOR]] *papers*,
   * 15 Aug 2006 - [[http://hor.pps.jussieu.fr/06][HOR]]

---+++++ ICALP - International Colloquium on Automata, Languages, and Programming
   *  9 Jul 2006 - 16 Jul 2006 - [[http://icalp06.dsi.unive.it][ICALP]]

---+++++ [[http://www.acm.org/sigs/sigplan/icfp.htm][ICFP]] - International Conference on Functional Programming
   *  7 Apr 2006 - [[http://icfp06.cs.uchicago.edu][ICFP]] *papers*,
   * 18 Sep 2006 - 20 Sep 2006 - [[http://icfp06.cs.uchicago.edu][ICFP]]

---+++++ ICLP - International Conference on Logic Programming
   * 21 Feb 2006 - [[http://www.cs.uky.edu/iclp06][ICLP]] *abstracts*,
   *  2 Mar 2006 - [[http://www.cs.uky.edu/iclp06][ICLP]] *papers*,
   * 17 Aug 2006 - 20 Aug 2006 - [[http://www.cs.uky.edu/iclp06][ICLP]]

---+++++ ICSE - International Conference on Software Engineering
   * 20 May 2006 - 28 May 2006 - [[http://www.isr.uci.edu/icse-06][ICSE]]

---+++++ ICECCS - International Conference on Engineering of Complex Computer Systems
   * 19 Feb 2006 - [[http://www.iceccs.org][ICECCS]] *papers*,
   * 14 Aug 2006 - 18 Aug 2006 - [[http://www.iceccs.org][ICECCS]]

---+++++ IFL - International Workshop on Implementation and Application of Functional Languages
   *  4 Aug 2006 - [[http://plc.inf.elte.hu/ifl2006][IFL]] *papers*,
   *  4 Sep 2006 - 6 Sep 2006 - [[http://plc.inf.elte.hu/ifl2006][IFL]]

---+++++ IJCAR - International Joint Conference on Automated Reasoning
   * 27 Feb 2006 - [[http://ijcar06.uni-koblenz.de][IJCAR]] *abstracts*,
   *  6 Mar 2006 - [[http://ijcar06.uni-koblenz.de][IJCAR]] *papers*,
   * 16 Aug 2006 - 21 Aug 2006 - [[http://ijcar06.uni-koblenz.de][IJCAR]]

---+++++ ISESE - International Symposium on Empirical Software Engineering
   *  1 Mar 2006 - [[http://www.cos.ufrj.br/~ght/isese2006.htm][ISESE]] *papers*,
   * 15 May 2006 - [[http://www.cos.ufrj.br/~ght/isese2006.htm][ISESE]] *posters*, *short papers*,
   * 21 Sep 2006 - 22 Sep 2006 - [[http://www.cos.ufrj.br/~ght/isese2006.htm][ISESE]]

---+++++ [[http://www.acm.org/sigs/sigplan/ismm.htm][ISMM]] - International Symposium on Memory Management
   * 10 Jun 2006 - 11 Jun 2006 - [[http://www.cs.technion.ac.il/~erez/ismm06][ISMM]]

---+++++ ISSTA - International Symposium on Software Testing and Analysis
   * 17 Jul 2006 - 20 Jul 2006 - [[http://www.cis.udel.edu/issta06][ISSTA]]

---+++++ LFMTP - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
   * 15 May 2006 - [[http://www.cs.mcgill.ca/~bpientka/lfmtp06/index.html][LFMTP]] *papers*,
   * 16 Aug 2006 - [[http://www.cs.mcgill.ca/~bpientka/lfmtp06/index.html][LFMTP]]

---+++++ LISP - Lisp Workshop
   *  1 Apr 2006 - [[http://lisp-ecoop06.bknr.net][Lisp]] *papers*,
   *  3 Jul 2006 - 4 Jul 2006 - [[http://lisp-ecoop06.bknr.net][Lisp]]

---+++++ LATE - Linking Aspect Technology and Evolution
   * 20 Mar 2006 - [[http://www.aosd.net/workshops/late/2006][LATE]]

---+++++ [[http://www.acm.org/sigs/sigplan/lctes.htm][LCTES]] - Conference on Languages, Compilers, and Tools for Embedded Systems
   * 14 Jun 2006 - 16 Jun 2006 - [[http://www.elis.ugent.be/lctes2006][LCTES]]

---+++++ ML - Workshop on ML
   *  3 Jun 2006 - [[http://www.cl.cam.ac.uk/ml2006][ML]] *papers*,
   * 29 Jul 2006 - [[http://www.cl.cam.ac.uk/ml2006][ML]]

---+++++ M&amp;A - Models and Aspects
   *  1 Apr 2006 - [[http://www.kircher-schwanninger.de/workshops/MDD&AOSD][M&amp;A]] *papers*,
   *  3 Jul 2006 - [[http://www.kircher-schwanninger.de/workshops/MDD&AOSD][M&amp;A]]

---+++++ MSFP - Workshop on Mathematically Structured Functional Programming
   * 10 Apr 2006 - [[http://cs.ioc.ee/mpc-amast06/msfp][MSFP]] *papers*,
   *  2 Jul 2006 - [[http://cs.ioc.ee/mpc-amast06/msfp][MSFP]]

---+++++ NODe - Objects, Aspects, Services
   * 19 May 2006 - [[http://www.dcl.hpi.uni-potsdam.de/node2006][NODe]] *papers*,
   * 18 Sep 2006 - 21 Sep 2006 - [[http://www.dcl.hpi.uni-potsdam.de/node2006][NODe]]

---+++++ OAL - Workshop on Open Aspect Languages
   * 20 Mar 2006 - [[http://www.aosd.net/workshops/oal/2006][OAL]]

---+++++ [[http://www.acm.org/sigs/sigplan/oopsla.htm][OOPSLA]] - Object-oriented Programming Languages, Systems and Applications
   * 18 Mar 2006 - [[http://www.oopsla.org/2006][OOPSLA]] *papers*, *workshops*, *tutorials*,
   * 30 Jun 2006 - [[http://www.oopsla.org/2006][OOPSLA]] *posters*,
   *  1 Aug 2006 - [[http://www.oopsla.org/2006][OOPSLA]] *student volunteers*,
   * 22 Oct 2006 - 26 Oct 2006 - [[http://www.oopsla.org/2006][OOPSLA]]

---+++++ PACT - Parallel Architectures and Compilation Techniques
   * 27 Mar 2006 - [[http://www.pactconf.org][PACT]] *abstracts*,
   *  3 Apr 2006 - [[http://www.pactconf.org][PACT]] *papers*,
   * 16 Sep 2006 - 20 Sep 2006 - [[http://www.pactconf.org][PACT]]

---+++++ PADL - Practical Aspects of Declarative Languages
   <!-- last one was <http://www.cs.brown.edu/people/pvh/PADL06.html> -->

---+++++ PDMC - Parallel and Distributed Methods in Verification
   * 26 May 2006 - [[http://pdmc.informatik.tu-muenchen.de/PDMC06][PDMC]] *abstracts*,
   *  2 Jun 2006 - [[http://pdmc.informatik.tu-muenchen.de/PDMC06][PDMC]] *papers*,
   * 31 Aug 2006 - [[http://pdmc.informatik.tu-muenchen.de/PDMC06][PDMC]]

---+++++ PEPM - Workshop on Partial Evaluation and Program Manipulation
   <!-- last one was <http://profs.sci.univr.it/~pepm04> -->

---+++++ [[http://www.acm.org/sigs/sigplan/pldi.htm][PLDI]] - Conference on Programming Language Design and Implementation
   * 11 Jun 2006 - 16 Jun 2006 - [[http://research.microsoft.com/conferences/pldi06][PLDI]]

---+++++ !PLoP - Pattern Languages of Programs Conference
   * 15 May 2006 - [[http://hillside.net/plop/2006][PLoP]] *papers*,
   * 21 Oct 2006 - 23 Oct 2006 - [[http://hillside.net/plop/2006][PLoP]]

---+++++ [[http://www.acm.org/sigs/sigplan/popl.htm][POPL]] - Symposium on Principles of Programming Languages
   * 15 Jul 2006 - [[http://www.cs.ucsd.edu/popl/07][POPL]] *papers*,
   * 17 Jan 2007 - 19 Jan 2007 - [[http://www.cs.ucsd.edu/popl/07][POPL]]

---+++++ PPDP - International Symposium on Principles and Practice of Declarative Programming
   * 15 Mar 2006 - [[http://www.dsi.unive.it/ppdp2006][PPDP]] *papers*,
   * 10 Jul 2006 - 12 Jul 2006 - [[http://www.dsi.unive.it/ppdp2006][PPDP]]

---+++++ [[http://www.acm.org/sigs/sigplan/ppopp.htm][PPoPP]] - Symposium on Principles and Practice of Parallel Programming
   * 29 Mar 2006 - 31 Mar 2006 - [[http://www.ppopp.org][PPoPP ]]

---+++++ QPL - International Workshop on Quantum Programming Languages
   * 10 May 2006 - [[http://www.mathstat.dal.ca/~selinger/qpl2006][QPL]] *papers*,
   * 17 Jul 2006 - 19 Jul 2006 - [[http://www.mathstat.dal.ca/~selinger/qpl2006][QPL]]

---+++++ RAM-SE - Workshop on Reflection, AOP, and !Meta-Data for Software Evolution
   *  1 Apr 2006 - [[http://homes.dico.unimi.it/RAM-SE06.html][RAM-SE]] *papers*,
   <!-- Jul 2006 - [[http://homes.dico.unimi.it/RAM-SE06.html][RAM-SE]] -->

---+++++ RULE - International Workshop on Rule-Based Programming
   * 14 May 2006 - [[http://www.dcs.kcl.ac.uk/events/RULE06][RULE]] *papers*,
   * 11 Aug 2006 - [[http://www.dcs.kcl.ac.uk/events/RULE06][RULE]]

---+++++ SAS - International Static Analysis Symposium
   * 14 Apr 2006 - [[http://ropas.snu.ac.kr/sas06][SAS]] *papers*,
   * 29 Aug 2006 - 31 Aug 2006 - [[http://ropas.snu.ac.kr/sas06][SAS]]

---+++++ SC - International Workshop on Software Composition
   * 25 Mar 2006 - 26 Mar 2006 - [[http://www.emn.fr/sc06][SC]]

---+++++ SFP - Scheme and Functional Programming
   *  9 Jun 2006 - [[http://scheme2006/cs.uchicago.edu][SFP]] *papers*,
   * 17 Sep 2006 - [[http://scheme2006/cs.uchicago.edu][SFP]]

---+++++ SOS - Workshop on Structural Operational Semantics
   * 26 May 2006 - [[http://www.cse.unsw.edu.au/~rvg/SOS2006][SOS]] *abstracts*,
   *  4 Jun 2006 - [[http://www.cse.unsw.edu.au/~rvg/SOS2006][SOS]] *papers*,
   * 26 Aug 2006 - [[http://www.cse.unsw.edu.au/~rvg/SOS2006][SOS]]

---+++++ SPIN - International SPIN Workshop on Model Checking of Software
   * 30 Mar 2006 - 1 Apr 2006 - [[http://www.cs.tut.fi/SPIN2006][SPIN]]

---+++++ SPLAT - Software Engineering Properties of Languages and Aspect Technologies
   * 21 Mar 2006 - [[http://www.aosd.net/workshops/splat/2006][SPLAT]]

---+++++ SVV - International Workshop on Software Verification and Validation 
   *  1 May 2006 - [[http://www.comp.nus.edu.sg/~abhik/svv06][SVV]] *papers*,
   * 21 Aug 2006 - [[http://www.comp.nus.edu.sg/~abhik/svv06][SVV]]

---+++++ TEAM - Towards Evaluation of Aspect Mining
   *  1 Apr 2006 - [[http://www.st.cs.uni-sb.de/TEAM/2006][TEAM]] *papers*,
   *  4 Jul 2006 - [[http://www.st.cs.uni-sb.de/TEAM/2006][TEAM]]

---+++++ TFP - Symposium on Trends in Functional Programming
   * 19 Apr 2006 - 21 Apr 2006 - [[http://www.cs.nott.ac.uk/%7Enhn/TFP2006][TFP]]

---+++++ 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
   * 18 Apr 2006 - 21 Apr 2006 - [[http://www.cs.nott.ac.uk/types06][TYPES]]

---+++++ WGP - Workshop on Generic Programming
   *  3 Jun 2006 - [[http://www.informatik.uni-bonn.de/~ralf/wgp2006.html][WGP]] *papers*,
   * 16 Sep 2006 - [[http://www.informatik.uni-bonn.de/~ralf/wgp2006.html][WGP]]

---+++++ [[http://www.acm.org/sigs/sigplan/vee.htm][VEE]] - Virtual Execution Environments
   * 14 Jun 2006 - [[http://www.veeconference.org/vee06][VEE]]

---+++++ VERIFY - International Verification Workshop
   * 14 May 2006 - [[http://www.ags.uni-sb.de/~omega/workshops/Verify06/][VERIFY]] *papers*,
   * 15 Aug 2006 - 16 Aug 2006 - [[http://www.ags.uni-sb.de/~omega/workshops/Verify06/][VERIFY]]

---+++++ WMM - Workshop on Mechanizing !MetaTheory
   *  3 Jun 2006 - [[http://www.cis.upenn.edu/~sweirich/wmm/wmm06.htm][WMM]] *papers*,
   *  18 Sep 2006 - 19 Sep 2006 - [[http://www.cis.upenn.edu/~sweirich/wmm/wmm06.htm][WMM]]

---+++++ 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> -->

---+++++ WS-FM - International Workshop on Web Services and Formal Methods
   * 21 Apr 2006 - [[http://cs.unibo.it/ws-fm06][WS-FM]] *papers*,
   *  8 Sep 2006 - 9 Sep 2006 - [[http://cs.unibo.it/ws-fm06][WS-FM]]


---++ Special Issues

---+++++ Transactions on Aspect-oriented Software Development
   * 30 Jun 2006 - [[http://www.springer.com/sgw/cda/frontpage/0,11855,4-164-2-109318-0,00.html][ToAOSD Early Aspects]] *articles*,


---++ Schools

---+++++ AOSD - Summer School on Aspect-oriented Software Development
   *  1 May 2006 - [[http://www.aosd-europe.net/summerschool][AOSD School]] *registrations*,
   *  1 Jun 2006 - [[http://www.aosd-europe.net/summerschool][AOSD School]] *abstracts*,
   * 10 Jul 2006 - 14 Jul 2006 - [[http://www.aosd-europe.net/summerschool][AOSD School]]

---+++++ DGP - Spring School on Datatype-generic Programming
   * 24 Apr 2006 - 27 Apr 2006 - [[http://www.cs.nott.ac.uk/ssdgp2006][Datatype Generic Programming]]

---+++++ ESSLLI - European Summer School in Logic, Language and Information
   * 15 Feb 2006 - [[http://www.science.uva.nl/~katrenko/stus06][ESSLLI Student Session]] *applications*,
   * 31 Jul 2006 - 11 Aug 2006 - [[http://www.science.uva.nl/~katrenko/stus06][ESSLLI Student Session]]

---+++++ Summer School on Language-Based Techniques for Concurrent and Distributed Software
   * 31 Mar 2006 - [[http://www.cs.uoregon.edu/activities/summerschool/summer06/][Concurrent Languages]] *registration*,
   * 12 Jul 2006 - 21 Jul 2006 - [[http://www.cs.uoregon.edu/activities/summerschool/summer06/][Concurrent Languages]]

---+++++ Marktoberdorf Summer School
   * 28 Feb 2006 - [[http://asimod.in.tum.de][Marktoberdorf]] *applications*,
   *  1 Aug 2006 - 13 Aug 2006 - [[http://asimod.in.tum.de][Marktoberdorf]]

---+++++ MGS - Midlands Graduate School
   *  8 Apr 2006 - 12 Apr 2006 - [[http://www.cs.le.ac.uk/~mgs2006][MGS]]

-- Main.ChrisDutchyn - 20 Feb 2006
This topic: SPL > WebHome > ConferenceCalendar
Topic revision: r31 - 2006-03-30 - ChrisDutchyn