Archive for September 24th, 2008

[Concurrency] PhD Project: Probabilistic Verification and

First sorry for using this list for a job posting, but I think the following research project is interesting for prospective PhD students. Project title: Probabilistic Verification and Model-Based Quality Evaluation Research topic: Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace [...]

PhD Program at IMT, Lucca

–===============0706314590== Content-Type: multipart/alternative; boundary=”============_-989849461==_ma============” –============_-989849461==_ma============ Content-Type: text/plain; charset=”us-ascii” ; format=”flowed” PhD in Lucca, Italy Call for applications: Computer Science and Engineering Deadline December 5th 2008 Classes start in March 2009 Students can apply if they obtain their degrees before December 24, 2008 PhD in Computer Science and Engineering The doctoral Program aims to prepare researchers [...]

PhD Program at IMT, Lucca

–===============1123897034== Content-Type: multipart/alternative; boundary=”============_-989849455==_ma============” –============_-989849455==_ma============ Content-Type: text/plain; charset=”us-ascii” ; format=”flowed” PhD in Lucca, Italy Call for applications: Computer Science and Engineering Deadline December 5th 2008 Classes start in March 2009 Students can apply if they obtain their degrees before December 24, 2008 PhD in Computer Science and Engineering The doctoral Program aims to prepare researchers [...]

(PN) LATA 2009: final call for papers

Apologies for multiple posting! Please, forward the announcement to whoever may be interested in it. Thanks. ********************************************************************* Final Call for Papers 3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2009) Tarragona, Spain, April 2-8, 2009 http://grammars.grlmc.com/LATA2009/ ********************************************************************* AIMS: LATA is a yearly conference in theoretical computer science and its applications. As linked [...]

(PN) Job announcement: Aassociate/Assistant Professor in

Dear all, below please find a job announcement for a position as Associate/Assistant Professor in Requirements Engineering at Denmark’s Technical University (DTU). For more information, please, have a look at http://www.imm.dtu.dk/Om_IMM/Ledige_stillinger.aspx?guid=23036021 Best regards, Ekkart Kindler – Ekkart Kindler Tel.: +45 4525 3750 Technical University of Denmark Fax.: +45 4525 2673 Informatics and Mathematical Modelling Room: [...]

[Concurrency] LATA 2009: final call for papers

Apologies for multiple posting! Please, forward the announcement to whoever may be interested in it. Thanks. ********************************************************************* Final Call for Papers 3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2009) Tarragona, Spain, April 2-8, 2009 http://grammars.grlmc.com/LATA2009/ ********************************************************************* AIMS: LATA is a yearly conference in theoretical computer science and its applications. As linked [...]