Photos available at Flikr. If you want to contribute with more photos, drop me an email at joao-dot-lourenco-at-fct-dot-unl-dot-pt.
If you have been at MUSEPAT 2013, please give us your feedback at http://bit.ly/musepat13.
The conference proceedings are now available at Springer.
MUSEPAT is a forum for researchers and practitioners that face the multicore and distributed software challenge, addressing the full software development life-cycle of concurrent systems — software specification and design, programing models and techniques, testing, analysis, and debugging. The conference welcomes original, previously unpublished regular, and industrial papers, as well as tool presentations.
Topics of interest include, but are not limited to:
MUSEPAT will include a special session on Parallel and Distributed Testing, Analysis and Debugging, and welcomes contributions from the PADTAD community.
MUSEPAT proceedings will be published by Springer as a volume in the LNCS (Lecture Notes in Computer Science) series.
Authors of selected papers will be invited to submit an extended version to appear in a special issue of the Journal on Software Testing, Verification and Reliability.