Archive for December 1st, 2008

(PN) Call for Papers: MOMPES @ ICSE 2009

–===============1213516742== Content-Type: multipart/alternative; boundary=Apple-Mail-31-757416100 –Apple-Mail-31-757416100 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1; format=flowed ****************************************************************** CALL FOR PAPERS 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009) http://www.di.uminho.pt/mompes within the ICSE 2009 (31st International Conference on Software Engineering) Vancouver – Canada May 16, 2009 ****************************************************************** SCOPE Model Based Development (MBD) comprises approaches to software [...]

(PN) Last Call for Tutorial Proposals Petri nets 2009 (deadline

********************************************************** *********** Call for Tutorial Proposals ************* *********** Petri nets 2009 ************* ********************************************************** The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri nets 2009) will take place in Paris (as usual in the last week of June, cf. http://petrinets2009.lip6.fr/). For this major event, we are inviting people [...]

(PN) CFP: QoSA 2009

===================================================================5th International Conference on the Quality of Software Architectures (QoSA 2009) East Stroudsburg University, Pennsylvania, USA June 22-26, 2009 http://qosa.ipd.uka.de/ =================================================================== IMPORTANT DATES Submission of papers: February 8, 2009 Notification of acceptance: March 14, 2009 Camera-ready paper due: April 11, 2009 =================================================================== CALL FOR PAPERS – ARCHITECTURES FOR ADAPTIVE SOFTWARE SYSTEMS The goal of QoSA [...]

[Concurrency] Two research positions on the CONNECT-IP project at

OXFORD UNIVERSITY COMPUTING LABORATORY Two Research Assistant Posts (Grade 7 and 6) Project: CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems The Computing Laboratory has two vacancies on an EU-funded FP7 research project CONNECT-IP which runs for three and a half years from 1st February 2009 (subject to contract). The project is centred on [...]

[Concurrency] IEEE Computer Security Foundations (CSF 22) : Call

This is a multipart message in MIME format. ——=_NextPart_000_01D5_01C95327.977FE0E0 Content-Type: text/plain; charset=”US-ASCII” Content-Transfer-Encoding: 7bit Call For Papers and Panels 22nd IEEE Computer Security Foundations Symposium (CSF 22) July 8-10, 2008 Port Jefferson, New York, USA Sponsored by the Technical Committee on Security and Privacy of the IEEE Computer Society The IEEE Computer Security Foundations (CSF) [...]