Call for Papers and Other Useful Academic Information

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 mathematics of computer
science. We […]

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,
Hajo Reijers
p: + 31 40 […]

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 Business Process Modeling in
Software Systems Design. Science of Computer Programming, Vol. 71, N 1,
pp […]

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 papers out of 143 submitted abstracts, […]

MeCBIC 2008
2nd Meeting on Membrane Computing and
Biologically Inspired Process Calculi
3-4 September 2008, Iasi, Romania
[…]

———————— 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
Program Committee
Betty Cheng, Michigan State University, USA
Fabio M. Costa, Federal University of Goias, […]