text_combined: isabelle linden bkyinfofundpacbe apologies multiple copies second call papers 1st international workshop methods tools coordinating concurrent distributed mobile systems mtcoord 2005 april 23 2005 namur belgium workshop affiliated coordination2005 april 20 23 2005 important dates march 1 2005 abstract submission deadline march 8 2005 paper submission deadline april 1 2005 notification acceptance april 10 2005 final version april 23 2005 meeting date scope various classes computational models languages formalisms emerged aim providing highlevel descriptions concurrent distributed mobile systems typical examples include socalled coordination languages models eg gamma linda manifold reo klaim lime concurrent constraint languages eg cc languages mozart process algebras eg csp ccs picalculus models based generative communication via shared data space data communication channels cases software components typically conceived isolation assuming required data eventually available however making whole system components particular ensuring interactions occur properly far obvious aim workshop precisely bring together researchers working different communities coordination constraints process algebras methods tools construction concurrent distributed mobile systems topics interest topics interest include limited model checking techniques particular parallel distributed probabilistic ones design highlevel specifications eg based firstorder modal temporal logics techniques requirements capture analysis theorem proving based methodologies compositional refinementbased methodologies debugging techniques abstract interpretation program analysis transformation simulation testing formal methods security tools environments architectures applications case studies particular web services biology submission guidelines papers describing original work solicited contributions mtcoord 2005 submitted papers limited 6 000 words preferrably formatted according electronical notes theoretical computer science submitted conference management system available workshop web site httpwwwinfofundpacbemtcoordmtcoord05 publication selected work published volume electronical notes theoretical computer science location workshop held namur april 23 2005 satellite workshop coordination 2005 venue registration see coordination2005 web page httpwwwcoordination2005org workshop organizers lubos brim masaryk university brno czech republic isabelle linden university namur belgium programme comittee provisional ivana cerna masaryk university brno czech republic rance cleaveland state university new york stony brook usa giorgio delzanno university genova italy wan fokkink cwi netherlands jeanmarie jacquet university namur belgium marta kwiatkowska university birmingham united kingdom angelika mader university twente netherlands andreas podelski max planck institute germany kaisa sere abo akademi university finland peter van roy university louvainlaneuve belgium mirko viroli alma mater studiorum università di bologna cesena italy wed 06 aug 2008 052720 0100 uai mtcoord05 second call papers