IFIP WG 1.3 meetings

    Some informations on IFIP WG 1.3 meetings

    Our next meeting will be in Salamanca on 11-13 June 2012, after WADT2012 (6-10 June), please refer to the presenting slides

    Please refer to IFIP WG1.3 Working Group on Foundations of System Specification pages for the official informations
    This page provides links to the list of talks at the meetings together with abstracts,
    and other information provided by the speakers (slides, papers, web pages, a movie ! ...)

  • the Winchester meeting (September 3-4th, 2011): list of talks, with abstracts, slides, papers, ...

  • the Aussois meeting (January 6-9th, 2011): list of talks, with abstracts, slides, papers, ...

  • the Etelsen meeting (June 4-6th, 2010): list of talks, with abstracts, slides, papers, ...

  • the Udine meeting (September 11-12th, 2009): list of talks, with abstracts, slides, papers, ...

  • the Urbana Champaign meeting (July 31st- August 2nd, 2008): list of talks, with abstracts, slides, papers, ...

  • the Sierra Nevada meeting (January 14-18th, 2008): list of talks, with abstracts, slides, papers, ...

  • the Braga meeting (March 23-24, 2007): list of talks, with abstracts, slides, papers, web pages ...

  • the La Roche meeting (June 3-6, 2006): list of talks, with abstracts, slides, papers, 1 MOVIE !! ...

  • the Swansea meeting (Sept 6-8, 2005): list of talks, with abstracts, slides, papers, ...