Conferences (in progress ...)

  • euroTICS2006
    • European Computer Science Summit, 2nd Annual EuroTICS Meeting

    16-17 October 2006, Zurich

  • FORTE 2006
    • 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
    Special focus on verified middleware and distributed services

    Sept 25-28, 2006, Paris, France

  • AMAST 06 11th International Conference on Algebraic Methodology and Software Technology
    • Kuressaare, Estonia, 5-8 July 2006, colocated with MPC '06
    Submission of abstracts: 27 January 2006, full papers: 3 February 2006 Notification of authors: 17 March 2006, Camera-ready version: 14 April 2006
    SOFTWARE TECHNOLOGY, PROGRAMMING METHODOLOGY,
    ALGEBRAIC AND LOGICAL FOUNDATIONS, SYSTEMS AND TOOLS

  • IWAAPF06 2nd International Workshop on Applications and Advances in Problem Frames,
    • ICSE~06 Workshop, Shanghai, China - May 23rd, 2006
  • AICCSA'06 The 4th ACS/IEEE International Conference on Computer Systems and Applications
    • March 8-11, 2006, Dubai/Sharjah, UAE, American University of Sharjah (AUS) & Dubai Silicon Oasis (DSO), deadline August 31, 2005
  • Journées SPECIF