Call for Papers and Other Useful Academic Information

========================================================== Call for Papers Trustworthy Global Computing 2008 November 3-4, 2008, Barcelona, Spain ========================================================== The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorously about their behaviour and properties. [...]

Second CALL FOR PAPERS iFM 2009 7th International Conference on integrated Formal Methods Duesseldorf, Germany, 16 – 19 February, 2009 www.formal-methods.de/ifm2009 Invited Speakers: David Basin – Michael Butler – Byron Cook Objectives and scope: Applying formal methods may involve the modelling of different aspects of a system that are expressed through different paradigms. Applying formal [...]

Glenn Lewis wrote: > Hi all, > > Just wondering if anyone is aware of any work that uses Petri Nets to model and analyse patient flow in a hospital or similar patient care setting? Jens B?k J?rgensen has done a lot with high level Petri nets. See http://www.daimi.au.dk/~jbj/ for a list of his publications. [...]