ACM SIGPLAN/SIGBED 
International Conference on 
Languages, Compilers and Tools for Embedded Systems 
June 20-21, 2013 
Seattle, Washington (co-located with PLDI) 

Web: http://www.dcs.gla.ac.uk/conferences/lctes13/ 
Twitter: @lctes13

 Early registration deadline: May 15, 2013 
 Register at: https://regmaster3.com/2013conf/PLDI13/register.php 

LCTES provides a link between the programming languages and embedded systems engineering communities. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.

Two Keynote Speakers

HW/SW Co-designed Acceleration of Dynamic Languages
Youfeng Wu, Intel

The Role of C in the Dark Ages of Multi-Core
Marcel Beemster, ACE

16 full papers

See http://www.dcs.gla.ac.uk/conferences/lctes13/program.html for details

-----------------------------------------------------------------------

                         Call for Participation

                        *** PROGRAM SUMMARY ***

                    18th International Conference on
            Reliable Software Technologies - Ada-Europe 2013

                    10-14 June 2013, Berlin, Germany

                http://www.ada-europe.org/conference2013

           Organized by Ada-Germany on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN

           *** Early registration discount until April 30 ***
   *** Conference AND hotel bookings ONLY via conference web site ***

-----------------------------------------------------------------------

The 18th International Conference on Reliable Software Technologies
- Ada-Europe 2013 will take place in Berlin, Germany, from June 10
to 14, 2013.  The conference will offer an outstanding technical
program, invited talks, plus an exhibition from Tuesday to Thursday,
and a series of tutorials on Monday and Friday.

The Ada-Europe series of conferences has become established as a
successful international forum for providers, practitioners and
researchers in all aspects of reliable software technologies.
These events highlight the increased relevance of Ada in safety-
and security-critical systems, and provide a unique opportunity
for interaction and collaboration between academics and industrial
practitioners.

The 16-page Preliminary Program (PP) brochure with extensive
information is available on the conference web site.  The PP contains
the list of accepted papers and industrial presentations, as well as
detailed descriptions of all tutorials, keynote presentations, and
panel sessions.  In the menu on the home page first select "Program",
and then the PP download link.  Also check the conference web site
for registration, accommodation and travel information.

Quick overview
- Mon 10 & Fri 14: tutorials
- Tue 11 - Thu 13: core program

Proceedings
- published by Springer
- volume 7896 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference

Program co-chairs
- Hubert B. Keller, Karlsruhe Institute of Technology, Germany
  hubert.keller@kit.edu
- Erhard Plödereder, University of Stuttgart, Germany
  ploedere@iste.uni-stuttgart.de

Invited speakers
- Bruce Powel Douglass, Chief Evangelist IBM Rational, USA,
  "Model-based Ada Development for DO-178B/C and the Application of
  Agile Methods"
- Jack G. Ganssle, The Ganssle Group, USA, "The Way Ahead in Software
  Engineering: Replacing Artists with Disciplined Grownups"
- Giorgio C. Buttazzo, Scuola Superiore Sant'Anna of Pisa, Italy,
  "Research Challenges in Exploiting Multi-Core Platforms for Real-Time
  Applications"

Tutorials (half day)
- "Multicore Programming using Divide-and-Conquer and Work Stealing",
   S. Tucker Taft, AdaCore, USA
- "Designing and Checking Coding Standards for Ada",
   Jean-Pierre Rosen, Adalog, France
- "Effective Requirements Development Practices and their Role in
   Effective Design", William Bail, The MITRE Corporation, USA
- "Understanding Dynamic Memory Management in Safety Critical Java",
   Tom Grosman, Kelvin Nilsen, Atego Systems, Inc., USA
- "Developing Code Analysis Applications with ASIS",
   Jean-Pierre Rosen, Adalog, France
- "Verification and Validation Techniques for Dependable Systems",
   William Bail, The MITRE Corporation, USA
- "Testing Real-Time Software",
   Ian Broster, Rapita Systems, UK
- "Service-Oriented Architecture and Enterprise Service Bus",
   Rick Sward, The MITRE Corporation, USA, Jeff Boleng, The Software
   Engineering Institute, Pittsburgh, USA
- "Developing High-Integrity Systems with GNAT GPL and the Ravenscar
   Profile", Juan de la Puente and Juan Zamorano, Universidad
   Politécnica de Madrid, Spain
- "Maximize your Application Potential",
   David Sauvage, AdaLabs Ltd, Republic of Mauritius

Tutorials (full day)
- "Design of Multitask Software: the Entity-Life Modeling Approach",
   Bo Sandén, Colorado Technical University, USA

Panel session "How to Use the Heap in Real-Time Systems":
- "On Region-Based Storage Management for Parallel Programming",
   S. Tucker Taft, AdaCore, USA
- "Extending the Java Type System to Enforce Disciplined Use of
   Scope-Allocated Objects", Tom Grosman, Atego Systems, USA
- "On Dynamic Memory Management in Real-Time, Safety-Critical System",
   James Hunt, aicas GmbH, Germany

Papers and Presentations
- 11 refereed technical papers in sessions on Multicore and Distributed
  Systems, Ada and Spark, Dependability, Real-Time Systems
- 5 industrial presentations in 2 sessions
- 1 special session "Introducing Ada 2012"
- submissions by authors from 17 countries, and accepted contributions
  from Canada, Denmark, France, Germany, Italy, Mauritius, Portugal,
  Spain, Switzerland, UK and USA.

Vendor exhibition
- 6 exhibitors already committed: AdaCore, Atego, Ellidiss Software,
  ETAS, Rapita, and Vector Software
- vendor presentation sessions in core program

Social events
- each day: coffee breaks and sit-down lunches offer ample time for
  interaction and networking
- Monday evening: Get Together
- Tuesday evening: Welcome Reception
- Wednesday evening: Conference Banquet Dinner at the Botanic Garden
  of the Freie Universität Berlin, one of the largest and most diverse
  botanical gardens in the world, within walking distance to the hotel

Registration
- early registration discount up to Tuesday April 30, 2013
- additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and
  SIGPLAN members
- a limited number of student grants is available
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes all social events
- payment possible by bank transfer or credit card

Please make sure you book accommodation as soon as possible.  A large
block of rooms at reduced prices has been reserved at the conference
hotel until April 30.  Note that those rooms are ONLY available for
reservations made through the conference web site!

For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2013>.

-----------------------------------------------------------------------

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk Craeynest, Ada-Europe'2013 Publicity Chair
Dirk.Craeynest@cs.kuleuven.be

*** 18th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2013
*** June 10-14, 2013 *** Berlin, Germany *** http://www.ada-europe.org

CALL FOR PARTICIPATION

ACM e-Energy 2013

The Forth International Conference on Future Energy Systems

May 22-24 2013, Berkeley, California, USA

Sponsored by ACM SIGCOMM


We are pleased to invite you to attend the Forth International Conference on Future Energy Systems (ACM e-Energy), where energy, computing and communication meet.

After the successful experiences of Passau (Germany) in 2010, New York City (USA) in 2011, and Madrid (Spain) in 2012, this forth edition will be held in Berkeley (California, USA), on May 22-24, 2013.

This year we are proud to present an exciting technical program including 22 high quality papers, and 18 posters and demos presenting the state-of-the-art research carried out by universities, research centers and companies in the broad areas of computing and communication for smart energy systems (including the smart grid), and in energy-efficient computing and communication systems.

The technical program will also include three Keynotes and one vibrant panel. The keynote speakers are Dr. Jeffrey D. Taft (CISCO Connected Energy Networks Chief Architect), Dr. Alexandra Von Meier (co-Director of the California Institute for Energy and Environment) and Dr. Arun Majumdar (Google Inc.).

Detailed information on the conference is available at the following website: http://conferences.sigcomm.org/eenergy/2013/

We encourage early registration as there is a strictly limited number of places available.  Early registration ends on April 30th, 2013.

We are looking forward to seeing you in Berkeley!!!


ACM e-Energy 2013 Organizing Committee

-----------------------------------------------------------------
Call for Papers
-----------------------------------------------------------------
E M B E D D E D    S Y S T E M S    W E E K
Montreal, Canada, September 29 - October 04, 2013
http://esweek.acm.org

=================================================================
++ CASES +++ CODES+ISSS +++ EMSOFT +++ Workshops +++ Tutorials ++
=================================================================

-----------------------------------------------------------------
About ESWeek
-----------------------------------------------------------------
ESWeek is the premier event covering all aspects of embedded 
systems and software. By bringing together three leading 
conferences (CASES, CODES+ISSS, and EMSOFT), two symposia 
(ESTIMedia and RSP) and several workshops and tutorials, ESWeek 
allows attendees to benefit from a wide range of topics covering 
the state of the art in embedded systems research & development.

-----------------------------------------------------------------
Dates
-----------------------------------------------------------------
- Abstract submission:      March 29, 2013
- Full paper submission:    April 05, 2013
- Acceptance notification:  July 05, 2013
- Camera ready version:     July 26, 2013
- Early Reg. deadline:     August 28, 2013
- Conference:               Sept 29 - Oct 04, 2013

For instructions on paper submissions as well as call for special
sessions and tutorials see: http://esweek.acm.org

-----------------------------------------------------------------
Organization
-----------------------------------------------------------------
ESWeek General Chairs:
Luca Carloni, Columbia University, USA
Karam S. Chatha, Arizona State University, USA

ESWeek Local Arrangement Chairs:
Gabriela Nicolescu, Polytechnique Montreal, Canada

CASES TPC Chairs:
Rodric Rabbah, IBM, USA
Anand Raghunathan, Purdue University, USA

CODES+ISSS TPC Chairs:
Radu Marculescu, Carnegie Mellon University, USA
Preeti Panda, IIT Delhi, India

EMSOFT TPC Chairs:
Rolf Ernst, TU Braunschweig, Germany
Oleg Sokolsky, University of Pennsylvania, USA
-----------------------------------------------------------------

ACM SIGPLAN/SIGBED Conference on
Languages, Compilers and Tools for Embedded Systems 
(LCTES)
June 16-23, 2013 in Seattle WA (with PLDI)
  http://www.dcs.gla.ac.uk/conferences/lctes13

Submissions due on Friday 8 February 2013.
[Full CFP]

CFP (deadline extended): ACM e-Energy 2013 - register by January 15th, submit by January 22nd

----------------------------------------------------------

Call for Papers:

ACM e-Energy 2013

Sponsored by ACM SIGCOMM

http://conferences.sigcomm.org/eenergy/2013/

----------------------------------------------------------
Date and location:
May 21-24 2013, Berkeley CA

----------------------------------------------------------

Computing and communication technologies impact energy systems in two
distinct ways. The exponential growth in deployment of these
technologies has made them large-scale energy consumers. Therefore,
new architectures, technologies and systems are being developed and
deployed to make computing and networked system more energy efficient.
 Additionally, and perhaps more importantly, these technologies are at
the center of the on-going revolution in next-generation 'smart' and
sustainable energy systems. They measure, monitor and control energy
systems such as the smart grid; inform and shape human demand; aid in
the prediction, deployment, storage and control of energy resources;
and determine how utilities, generators, regulators, and consumers
measure, analyze, and collectively control system elements.

The fourth International Conference on Future Energy Systems (ACM
e-Energy), to be held in Berkeley, CA in May 2013, aims to be the
premier venue for researchers working in the broad areas of computing
and communication for smart energy systems (including the smart grid),
and in energy-efficient computing and communication systems.  By
bringing together researchers in a high-quality single-track
conference with significant opportunities for individual and
small-group interaction, it will serve as a major forum for
presentations and discussions that will shape the future of this area.

We solicit high-quality papers in the area of computing and
communication for the Smart Grid and energy-efficient computing and
communications. We welcome submissions describing theoretical advances
as well as system design, implementation and experimentation. ACM
e-Energy is committed to a fair, timely, and thorough review process
providing authors of submitted papers with sound and detailed
feedback.

Relevant topics for the conference include, but are not limited to the
following:

- Advances in monitoring and control of smart homes and buildings
- Sensing, monitoring, control, and management of energy systems
- Energy-efficient computing and communication, including
energy-efficient data centers
- The impact of storage integration on the smart grid
- Electric Vehicle monitoring and control
- Distribution and transmission network control techniques
- Microgrid and distributed generation management and control
- Modeling, control, and architectures for renewable energy generation resources
- Smart grid communication architectures and protocols
- Privacy and security of smart grid infrastructure
- Innovative pricing and incentives for demand-side management
- Novel technologies to enhance reliability and robustness of energy systems
- HCI for energy monitoring, management, and awareness
- User studies and behavioral change enabled by computing and
communication technologies
- Data analytics for the smart grid and energy-efficient systems

Two type of contributions are solicited:
- Full papers, up to 12  pages in ACM double-column format, should
present original theoretical and/or experimental research in any of
the areas listed above that has not been previously published,
accepted for publication, or is not currently under review by another
conference or journal.
- Poster/demo descriptions, up to 2 pages in ACM double-column format
showcasing works-in-progress; accepted posters/demos will be presented
at the conference.  Topics of interest are the same as research topics
listed above.  Preference will be given to posters/demos where the
primary contribution is from one or more students.

Full submission details can be found at the conference website:
http://conferences.sigcomm.org/eenergy/2013/

Important Dates:
- January 15, 2013 (11:59:59 PM, PST): paper registration deadline
- January 22, 2013 (11:59:59 PM, PST): paper submission deadline
- March 20, 2013: Author notification
- April 20, 2013: Camera ready papers due
- May 21-24 2013, Berkeley CA: 2013 e-Energy conference

Organizing Committee:
- General Co-chairs: David Culler (UC Berkeley, USA), Catherine
Rosenberg (U. Waterloo, Canada)
- TPC Co-chairs: S. Keshav (U. Waterloo, Canada), Jim Kurose (U.
Massachusetts, USA)
- Local chair: Barath Raghavan (Google, USA)
- Registration Chair/Treasurer: Sarvapali Ramchurn (U. Southampton, UK)
- Publicity Chair: Vincenzo Mancuso, (IMDEA, Spain)
- Publication chair: Anirban Mahanti, (NICTA  Australia)
- Web administrator: Omid Ardakanian (U. Waterloo, Canada)

The 1st Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2013) will be held in Boston, USA in May 2013. ViPES 2013 is associated with the 27th Annual International Parallel & Distributed Processing Symposium (IPDPS 2013) and is sponsored by the IEEE Computer Society's Technical Committee on Parallel Processing.

Virtual prototyping stands for the development of hardware/software systems without using a real hardware prototype, i.e. no printed circuit board with electronic devices such as processors, field programmable gate arrays, peripherals and other devices is needed. The advantage is the possibility to exchange parts in the system setup with faster turnaround times in comparison to the traditional development process, where a time consuming redesign of the complete board has to be done. Since some years, the community exploiting these novel methods has grown as time to market plays a major role in industry. Additionally, the increasing complexity of embedded systems, which are more and more realized as parallel and distributed cyber-physical system, forces to perform a time-consuming design space exploration. For academics virtual prototyping is a hot topic and is used to develop future systems and to enable an outlook into the next generation of embedded systems and devices. The wide range of application scenarios for this type of development includes amongst others automotive, avionics, railway and medicine applications.

IEEE CS Press will publish the IPDPS symposium and workshop abstracts as a printed volume. The complete symposium and workshop proceedings will also be published by IEEE CS Press as a CD-ROM disk. Submitted papers should not have appeared in or be under consideration for a different workshop or conference.  

The 5 best ranked papers (according to the review results) will be invited to submit an extended version to the ACM Transactions on Embedded Computing Systems (TECS) journal.

For more information see: http://www.vipes-workshop.org

----------------------------------------------------------

Call for Papers:

ACM e-Energy 2013

----------------------------------------------------------
Date and location:
May 21-24 2013, Berkeley CA

----------------------------------------------------------

Computing and communication technologies impact energy systems in two
distinct ways. The exponential growth in deployment of these
technologies has made them large-scale energy consumers. Therefore,
new architectures, technologies and systems are being developed and
deployed to make computing and networked system more energy efficient.
 Additionally, and perhaps more importantly, these technologies are at
the center of the on-going revolution in next-generation 'smart' and
sustainable energy systems. They measure, monitor and control energy
systems such as the smart grid; inform and shape human demand; aid in
the prediction, deployment, storage and control of energy resources;
and determine how utilities, generators, regulators, and consumers
measure, analyze, and collectively control system elements.

The fourth International Conference on Future Energy Systems (ACM
e-Energy), to be held in Berkeley, CA in May 2013, aims to be the
premier venue for researchers working in the broad areas of computing
and communication for smart energy systems (including the smart grid),
and in energy-efficient computing and communication systems.  By
bringing together researchers in a high-quality single-track
conference with significant opportunities for individual and
small-group interaction, it will serve as a major forum for
presentations and discussions that will shape the future of this area.

We solicit high-quality papers in the area of computing and
communication for the Smart Grid and energy-efficient computing and
communications. We welcome submissions describing theoretical advances
as well as system design, implementation and experimentation. ACM
e-Energy is committed to a fair, timely, and thorough review process
providing authors of submitted papers with sound and detailed
feedback.

Relevant topics for the conference include, but are not limited to the
following:

- Advances in monitoring and control of smart homes and buildings
- Sensing, monitoring, control, and management of energy systems
- Energy-efficient computing and communication, including
energy-efficient data centers
- The impact of storage integration on the smart grid
- Electric Vehicle monitoring and control
- Distribution and transmission network control techniques
- Microgrid and distributed generation management and control
- Modeling, control, and architectures for renewable energy generation resources
- Smart grid communication architectures and protocols
- Privacy and security of smart grid infrastructure
- Innovative pricing and incentives for demand-side management
- Novel technologies to enhance reliability and robustness of energy systems
- HCI for energy monitoring, management, and awareness
- User studies and behavioral change enabled by computing and
communication technologies
- Data analytics for the smart grid and energy-efficient systems

Two type of contributions are solicited:
- Full papers, up to 12  pages in ACM double-column format, should
present original theoretical and/or experimental research in any of
the areas listed above that has not been previously published,
accepted for publication, or is not currently under review by another
conference or journal.
- Poster/demo descriptions, up to 2 pages in ACM double-column format
showcasing works-in-progress; accepted posters/demos will be presented
at the conference.  Topics of interest are the same as research topics
listed above.  Preference will be given to posters/demos where the
primary contribution is from one or more students.

Full submission details can be found at the conference website:
http://conferences.sigcomm.org/eenergy/2013/

Important Dates:
- January 15, 2013: paper submission deadline
- March 20, 2013: Author notification
- April 20, 2013: Camera ready papers due
- May 21-24 2013, Berkeley CA: 2013 e-Energy conference

Organizing Committee:
- General Co-chairs: David Culler (UC Berkeley, USA), Catherine
Rosenberg (U. Waterloo, Canada)
- TPC Co-chairs: S. Keshav (U. Waterloo, Canada), Jim Kurose (U.
Massachusetts, USA)
- Local chair: Barath Raghavan (Google, USA)
- Registration Chair/Treasurer: Sarvapali Ramchurn (U. Southampton, UK)
- Publicity Chair: Vincenzo Mancuso, (IMDEA, Spain)
- Publication chair: Anirban Mahanti, (NICTA  Australia)
- Web administrator: Omid Ardakanian (U. Waterloo, Canada)

The 1st Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2013) will be held in Boston, USA in May 2013. ViPES 2013 is associated with the 27th Annual International Parallel & Distributed Processing Symposium (IPDPS 2013) and is sponsored by the IEEE Computer Society's Technical Committee on Parallel Processing.

Virtual prototyping stands for the development of hardware/software systems without using a real hardware prototype, i.e. no printed circuit board with electronic devices such as processors, field programmable gate arrays, peripherals and other devices is needed. The advantage is the possibility to exchange parts in the system setup with faster turnaround times in comparison to the traditional development process, where a time consuming redesign of the complete board has to be done. Since some years, the community exploiting these novel methods has grown as time to market plays a major role in industry. Additionally, the increasing complexity of embedded systems, which are more and more realized as parallel and distributed cyber-physical system, forces to perform a time-consuming design space exploration. For academics virtual prototyping is a hot topic and is used to develop future systems and to enable an outlook into the next generation of embedded systems and devices. The wide range of application scenarios for this type of development includes amongst others automotive, avionics, railway and medicine applications.

IEEE CS Press will publish the IPDPS symposium and workshop abstracts as a printed volume. The complete symposium and workshop proceedings will also be published by IEEE CS Press as a CD-ROM disk. Submitted papers should not have appeared in or be under consideration for a different workshop or conference.  

The 5 best ranked papers (according to the review results) will be invited to submit an extended version to the ACM Transactions on Embedded Computing Systems (TECS) journal.

For more information see: http://www.vipes-workshop.org