Home Page
Participants
Research and Integration
Dissemination
Embedded System Links
intranet
»
Dissemination
»
Workshops
»
Workshops and Seminars in 2006
»
CORDIE’06: Concurrency, Real-Time and Distribution in Eiffel–like Languages
Dissemination
Workshops
UML&AADL’2010
GREEMBED 2010
FESA 2010
WARM 2010
MoBE-RTES 2010
ICE’10
COESD 2010
SCOPES 2010
Mapping Applications to MPSoCs 2010
WCET 2010
OSPERT 2010
Waters 2010
Memocode 2010
FIT 2010
Past Workshops
Schools and Seminars
International Collaboration
Publications
Contributions to Standards
Course Materials Available Online
Subscriptions
ARTIST Mailing List
CORDIE’06: Concurrency, Real-Time and Distribution in Eiffel–like Languages
Overview
Programme
Organisation
Proceedings
July 4-5, 2006 York, UK
organised and funded by ARTIST
Organisation
Programme Co-Chairs
Richard Paige (University of York)
Phil Brooke (University of Teesside)
Programme Committee
Simon Dobson (UC Dublin, Ireland)
Jin Song Dong (NUS, Singapore)
Chris Gill (Washington University, USA)
Michael Gonzalez Harbour (University of Cantabria, Spain)
Jeremy Jacob (University of York, UK)
Jeff Magee (Imperial College, UK)
Bertrand Meyer (ETH Zurich, Switzerland)
Piotr Nienaltowski (ETH Zurich, Switzerland)
Jonathan Ostroff (York University, Canada)
Jan Vitek (Purdue, USA)
Alan Wood (University of York, UK)
Jim Woodcock (University of York, UK)
Supporters and Sponsors
Formal Methods Europe
School of Computing, University of Teesside, UK
University of York, UK
Chair of Software Engineering, ETH Zurich
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009
Réalisation Axome
-
Création de sites Internet