Archive for May 15th, 2008

[Concurrency] Two PhD positions on “Transformations,

–===============0386666882== Content-Class: urn:content-classes:message Content-Type: multipart/alternative; boundary=”—-_=_NextPart_001_01C8B67F.D47AEE0A” ——_=_NextPart_001_01C8B67F.D47AEE0A Content-Type: text/plain; charset=”us-ascii” Content-Transfer-Encoding: quoted-printable The Eindhoven University of Technology (TU/e) has the following two vacancies:=20 2 PhD Students on “Transformations, Refinements and Abstractions of Embedded System Models” (V35.397 and V32.019 )=20 This is a cooperation between one PhD student at the Systems Engineering (SE) Group , Department [...]

[Concurrency] FORMATS’08 — Last Chance to Submit Your Paper –

It is still possible to submit your paper to FORMATS’08; Deadline has been extended to ** May 19th, 2008 ** (Firm) ——————————————————————– Extended Deadline — FORMATS’08 ——————————————————————– ——————————————– | Extended Deadline: ** May 19th, 2008 ** | ——————————————– 6th International Conference on Formal Modelling and Analysis of Timed Systems Saint-Malo, France, September 15–17, 2008 (Co-Located [...]