[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Papers - PDMC 2010 ======================================================================= 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2010) joint with 2nd International Workshop on High Performance Computational Systems Biology (HiBi 2010) ======================================================================= September 30 - October 1, 2010, Twente, The Netherlands http://www.pdmc.cz/PDMC10/ Co-locating with the joint ICGT/SPIN conference, Sep 27 - Oct 2 ----------------------------------------------------------------------- IMPORTANT DATES: ---------------- * Abstract submission: June 14, 2010 * Paper submission: June 21, 2010 * Author notification: July 31, 2010 * Workshop: September 30 - October 1, 2010 AIM AND SCOPE: -------------- The aim of the PDMC workshop series is to cover all aspects related to the verification and analysis of very large and complex systems using methods and techniques that exploit state-of-the-art hardware architectures. As such, the workshop provides a working forum for presenting, sharing, and discussing recent achievements in the field of high-performance verification. Topics of interest include, but are not limited to: * multi-core model checking * distributed model checking * multi-threaded/distributed equivalence checking * distributed state space generation * slicing and distributing the state space * parallel/distributed satisfiability checking * parallel/distributed theorem proving * parallel/distributed constraint solving * parallel methods in probabilistic model checking * parallel methods in performance evaluation * I/O efficient algorithms for verification * GPU accelerated verification * (libraries for) distributed graph algorithms * tools and case studies * industrial applications SUBMISSIONS: ------------ We accept * regular papers (max. 8 pages in IEEE format) * tool papers (max. 2 pages in IEEE format) * work-in-progress presentations All submissions must be original and unpublished. Regular and tool papers accepted for the presentation at the workshop will appear in IEEE post-proceedings. High-quality and mature work-in-progress papers might be invited for the proceedings, depending on the presentation at the workshop. INVITED SPEAKERS: ----------------- To be announced. PROGRAMME CHAIRS: ----------------- Jiri Barnat (Masaryk University, Czech Republic) Michael Weber (University of Twente, Netherlands) PROGRAMME COMMITTEE: -------------------- Henri Bal (Free University Amsterdam, Netherlands) Dragan Bosnacki (Eindhoven University of Technology, Netherlands) Lubos Brim (Masaryk University, Czech Republic) Gianfranco Ciardo (University of California at Riverside, USA) Stefan Edelkamp (TZI Bremen, Germany) Ganesh Gopalakrishnan (University of Utah, USA) Keijo Heljanko (Aalto University, Finland) Gerard Holzmann (NASA/JPL, USA) William Knottenbelt (Imperial College, UK) Radu Mateescu (INRIA, France) Jaco van de Pol (University of Twente, Netherlands) Wheeler Ruml (University of New Hampshire, USA) Anna Slobodova (Centaur Technology, USA) -- Michael Weber University of Twente, The Netherlands http://fmt.cs.utwente.nl/~michaelw/