The Eindhoven University of Technology (TU/e) has the following vacancy (V32.022): Postdoc “INtegrated European Signalling System” (INESS) project within the expertise group Formal Methods (FM). The Formal Methods (FM) group aims at a systematic and scientific study of issues in computer science, based on solid mathematical principles. The research area of Formal Methods develops the [...]
Dear Glenn, You may also want to take a look at a paper by Monique Jansen-Vullers and myself: “Business Process Redesign at a Mental Healthcare Institute: A Coloured Petri Net Approach”, see http://www.daimi.au.dk/CPnets/workshop05/cpn/papers/Jansen-Vullers.pdf. The paper describes the use of CPN tools to capture and simulate a business process in a particular healthcare setting. Best regards, [...]
This is a multi-part message in MIME format. –===============0663962276== Content-class: urn:content-classes:message Content-Type: multipart/alternative; boundary=”—-_=_NextPart_001_01C8E0D9.1EF66B7C” This is a multi-part message in MIME format. ——_=_NextPart_001_01C8E0D9.1EF66B7C Content-Type: text/plain; charset=”us-ascii” Content-Transfer-Encoding: quoted-printable Dear all, =20 I was wandering if the following paper can be of interest, which seems marginally related to patient flow: Barjis, J. (2008). The Importance of [...]
Appologize for the cross posting, please forward those information to anyone who interest to attend the conference. —————————– CALL FOR PARTICIPANTS ———————— 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK ’08) Turin, 1-5 September, 2008 http://www.dexa.org/dawak —————————————————————————- DaWaK (Data Warehousing and Knowledge Discovery) series reach 10th age this year. From 121 full submitted [...]
MeCBIC 2008 2nd Meeting on Membrane Computing and Biologically Inspired Process Calculi 3-4 September 2008, Iasi, Romania http://www.info.uaic.ro/~mecbic *** Submission Deadline: 12 July 2008 *** Biological membranes play a fundamental role in the complex reactions which take place in cells of living organisms. The importance of this role has been considered in two different types [...]
———————— CALL FOR PAPERS ———————— WORKSHOP Models@run.time http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT At the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems MODELS’08, 28 September – 3 October, Toulouse, France ********************************************************************** Important Dates: Submission deadline: Wednesday August 13th Notification of acceptance: September 7th (or before early registration deadline at MODELS08) Workshop at MODELS: Tuesday 30th September [...]