May 16 is a hard deadline for paper submissions. Please read the complete CFP for more details.

This conference is sponsored by the IEEE, the IEEE Computer Society and the IEEE Technical Committee of Scalable Computing (TCSC).

A detailed CFP can be obtained from the conference’s website.

Important dates

• Submission Deadline: 08 February, 2010
• Authors Notification: 26 March, 2010
• Final Manuscript Due: 18 April, 2010
• Conference dates: 29 June — 1 July, 2010

Area: Dependable Real-time and Embedded Software Systems
Ref: F1-050002

The professor position opened is intended to complement and strengthen the existing research expertise in the Computer Science and Communication Research Unit (CSC) of the Faculty of Science, Technology and Communication at the University of Luxembourg.

We welcome candidates with an excellent research record in Software and Systems, focusing on real-time & embedded systems engineering. The research encompasses the software dimension while being aware of the hardware layer (or the other way round). Furthermore the candidate should be knowledgeable in the following research areas currently covered by the research unit: fault tolerance, distributed frameworks and infrastructures, automated testing, formal verification, model driven engineering and development methodologies.

The University of Luxembourg will provide means to the new professor to build a research team and a project portfolio. The new professor will be offered a highly competitive salary and will be able to benefit from a very dynamic environment of a young and growing university. The University of Luxembourg, created in 2003, aims to build a strong and excellent academic staff and for this provides excellent opportunities for newly recruited academic staff for developing their own research and academic career.

The Computer Science and Communication Research Unit (CSC) has succeeded in attracting many excellent researchers. The full CSC staff, made of 150 members, provides a rich and dynamic environment for the new professor to develop a research group.

Teaching will be done in the existing and future curricula at bachelor, master and PhD levels.

Requirements

Candidates should have a PhD and at least five years of relevant work experience after their PhD. They must have a strong affinity with the indicated research areas, an excellent international scientific standing, adequate experience in teaching and in managing research activities, and a past performance in obtaining externally funded research projects. We welcome industrial experience. Excellent junior researchers are also encouraged to apply; they may be offered an associate professor position.

Offer

The University offers competitive salaries. The University of Luxembourg is an equal opportunity employer.

Application letters with clear referral to the concerned position and containing a detailed CV, a list of publications and a short research statement must be sent by ordinary mail to the Dean of the Faculty:

Prof. Dr. Paul Heuschling
Université du Luxembourg – Campus Kirchberg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg

Please include all application documents as pdf-documents on a CD-ROM as
well.

Applications are to be received no later than Thursday, April 15th, 2010.

For further information, please contact Prof. Dr. Nicolas Guelfi, responsible for the Laboratory for Advanced Software Systems of the University of Luxembourg (http://lassy.uni.lu – email: nicolas.guelfi@uni.lu)

Special Issue on The Synthesis of Cyber-Physical Systems (SCPS)

http://acmtecs.acm.org/scps09.htm

Deadline: 20 February 2010.

Cyber-Physical Systems (CPS) are characterized by a tight integration of computation and control with the sensing and actuation of physical components. The study of CPS has its roots in the embedded systems, real-time systems, and control research areas.  These systems have a wide array of applications, including aerospace, automotive, energy, and personal health care. CPSs transform the way human beings interact with the physical world.  However, research on the design and synthesis of CPS is still in its infancy. An ad-hoc design process is used for most CPS. Many CPSs must be reliable, adaptable, easy-to-use, and low-power. Although these challenges are significant for embedded systems without tight interaction with the physical world, they are amplified in CPS: many types of actuation permit no method of reversing a poor decision.  Integrating special-purpose software systems with heterogeneous sensors and actuators is also challenging.

This journal special issue will cover recent progress on scientific foundations, implementation technologies, and system integration techniques for CPSs. More specifically, the following topics will be considered, as well as other topics relevant to the synthesis of cyber-physical systems.

Topics of interest include but are not limited to:

• CPS design case studies
• Specification languages for CPS
• Characterization and modeling of CPS
• Design-time optimization of CPS
• Run-time adaptation of CPS
• Testing and evaluation of CPS

The papers should be submitted via the Manuscript Central website and should adhere to standard ACMTECS formatting requirements.  The page count limit is 25.

Timetable:
Submission deadline: extended to 20 Feb 2010
Review results: approx. 20 April 2010
Final copy deadline: approx. 20 May 2010

Please note: Disclosure of review results and the final copy deadline may differ.

Guest Editors:

Robert Dick
Dept. of Electrical Engineering and Computer Science
University of Michigan
Phone: (734) 763-3329
dickrp@eecs.umich.edu

Nikil Dutt
Dept. of Computer Science
University of California, Irvine
Phone: (949) 824-7219
dutt@uci.edu

Li Shang
Dept. of Electrical, Computer, and Energy Engineering
University of Colorado
Boulder Phone: (303) 429-8785
Li.Shang@colorado.edu

To submit articles to WORNUS 2010 please read the detailed CFP. The submission deadline is February 8, 2010.

• Core Track — new deadline is October 16 11:59 p.m.
• Tracks A and B — new deadline is October 26 11:59 p.m.

All times are US Central Time (GMT – 6).

Please use this opportunity to submit articles to RTAS 2010, which will be held in Stockholm.