CS&P 2005 Person/Speaker: Wojtek Jamroga
Place: Ruciane-Nida, PolandFrom 28th till 30th September Wojtek Jamroga attended a Concurrency, Specification and Programming 2005 workshop where he will also present his joint paper with M. A. Bednarczyk and W. Pawłowski: "Expressing and Verifying Temporal and Structural Properties of Mobile Agents".-CS&P 2005-