[isabelle] aosd 2007



           AOSD 2007: CALL FOR RESEARCH PAPERS
6th Conference on Aspect-Oriented Software Development
       http://www.aosd.net/2007/cfc/research.php
    >> abstract submission by September 22, 2006 <<
------------------------------------------------------
    The program committee especially welcomes 
    submissions from researchers in automated reasoning 
    on any topic relating to
    aspect-oriented specification languages 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.