Preface

Paolo Ballarini, Jiri Barnat

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    14 Downloads (Pure)

    Abstract

    This volume contains the proceedings of the 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) joint with the proceedings of the 2nd International Workshop on High-performance computational systems Biology (HiBi). For the first time the PDMC and HiBi workshops were joint in a two-day event, held at the University of Twente (The Netherlands) on September 30 and October 1, 2010. The event was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and the 17th Annual SPIN Workshop on Model Checking Software (SPIN 2010). The idea of bringing together the PDMC and HiBi workshops originated in the autumn of 2009, with preliminary discussion started during HiBi 2009 and continued at PDMC 2009. Both PDMC and HiBi are concerned with as- pects related to the exploration and analysis of large and complex computer (PDMC) and biological (HiBi) systems in combination with the usage of methods and techniques that exploit state-of-the-art computing hardware.
    Original languageEnglish
    Title of host publication9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi)
    Place of PublicationPiscataway, NJ
    PublisherIEEE
    Pagesvii-viii
    Number of pages2
    ISBN (Print)978-0-7695-4265-2
    DOIs
    Publication statusPublished - 2010
    Event9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi) - University of Twente, Enschede, Netherlands
    Duration: 30 Sep 20101 Oct 2010

    Workshop

    Workshop9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi)
    Abbreviated titlePDMC-HiBi
    CountryNetherlands
    CityEnschede
    Period30/09/101/10/10

    Keywords

    • METIS-279233
    • EWI-19375
    • IR-75748

    Fingerprint Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

    Cite this