1. SIGBED EMSOFT 2014 Best Paper Award

    ACM SIGBED is delighted to announce the EMSOFT 2014 Best Paper Award:

    Multiple Shooting, CEGAR-based Falsification for Hybrid Systems by Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski 

    The award was presented on October 15, in New Delhi, India during ESWeek 2014. 

    The SIGBED EMSOFT Best Paper Award is presented to the individual(s) judged by the award committee to have written the best paper appearing in the EMSOFT conference proceedings. The selection criteria are the scientific quality of the paper and the exposition of the ideas. 

    Add a comment

  2. CALL FOR PAPERS: ACM e-Energy 2015
    July 14-17, 2015,  Bangalore, India


    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 sixth International Conference on Future Energy Systems (ACM e-Energy), to be held in Bangalore, India in July 2015 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 interactions, 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 eEnergy 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
    • Modeling, management and control of variability and uncertainty in energy supply and demand


    Three types of contributions are solicited:
    • Regular papers, up to 10 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. Regular papers are intended to describe high quality research work based on novel ideas that have been thoroughly evaluated. The 10 pages limit is intended to be an upper bound and we encourage the authors to take fewer pages if appropriate. The review process for regular papers will include a thorough evaluation by the program committee, opportunity for authors to respond to reviews, and a shepherding process to ensure compliance with review comments before the paper acceptance is finalized.
    • Challenge Papers, up to 6 pages in ACM double-column format, should present revolutionary new ideas that challenge existing assumptions prevalent among the e-Energy research community. Challenge papers should provide stimulating ideas or visions that may open up exciting avenues and/or influence the direction of future research. Descriptions of new products or evolution of existing work are not appropriate topics for papers in this category. While an exhaustive evaluation of the proposed ideas is not necessary, insight into and in-depth understanding of the issues is expected. Challenges papers will be reviewed by the program committee and will be part of the technical program and published in the proceedings. The title of these papers must start with the prefix "Challenge:" i.e., "Challenge: Rest of the Title."
    • Poster and Demo Abstracts, 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. Additionally, the demo abstracts should be accompanied by a third page (which will not be published) describing the script of the demo to be presented as well as any special resource requirements (space, networking, electricity etc.). The title for the abstracts must have the prefix “Poster Abstract:” or “Demo Abstract:” as appropriate.
    The submission must be in PDF format with all fonts embedded, and be formatted according to the official ACM Proceedings format. Papers that do not meet the size and formatting requirements will not be reviewed. Word and LaTeX templates are available at http://www.acm.org/sigs/publications/proceedings-templates. Please note that you must use the “Strict Adherence to SIGS style” template option.
    Submissions are to be made via the Easychair website at: https://easychair.org/conferences/?conf=eenergy2015

    Important Dates

    Abstract Registration: Regular Papers
    January 5, 2015
    Manuscript Submission: Regular Papers
    January 12, 2015
    Manuscript Submission: Challenge Papers
    January 31, 2015
    Author Rebuttals Solicited: Regular Papers
    February 20, 2015
    Author Rebuttals Due: Regular Papers
    March 1, 2015
    Decision Notification: Regular Papers
    April 1, 2015
    Manuscript Submission: Poster/Demo
    April 10, 2015
    Decision Notification: Poster/Demo
    April 30, 2015
    ACM e-Energy conference, Bangalore, India
    July 14-17, 2015

    Organizing Committee

    General Chairs

    Shivkumar Kalyanaraman - IBM, Australia
    Deva P. Seetharam - Independent Researcher, India
    Rajeev Shorey - IT Research Academy, DEITY, India

    TPC Chairs

    Mani Srivastava - UCLA, USA
    Sarvapali D. (Gopal) Ramchurn - University of Southampton, UK

    Poster/Demo Track Chairs

    Matteo Vasirani - EPFL, Switzerland
    Sid Chi-Kin Chau - Masdar Institute, Abu Dhabi, UAE
    Niranth Amogh - Huawei, India

    For more details, please check the e-Energy 2015 website (http://conferences.sigcomm.org/eenergy/2015).

    Add a comment

  3. CPSArch 2014

    First Workshop on Cyber-Physical System Architectures and Design Methodologies

    October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014.

    Submission Deadline: August 1

    Cyber-Physical Systems (CPS) are poised to play a pivotal role in addressing a variety of planetary-scale grand challenges such as energy conservation, climate change, healthcare, transportation, etc. These systems tightly integrate computing, communication, sensing, and control functionality to enable the creation of new computing platforms that can act as a bridge between the cyber and physical worlds. The design of cyber-physical systems poses many new design challenges to hardware and software architects. For example, how do we build platforms for cyber-physical systems? What design methodologies are suitable for control/computing and cyber/physical co-design? Do software design reuse methodologies apply in cyber-physical systems?
    The design of cyber-physical systems today is more of an art than a science, largely consisting of deployment-specific solutions that depend, in large part, on designer intuition and experience. The embedded systems community, as a whole, has a tremendous amount of experience in the development of structured and rigorous design methodologies for hardware and software design. The purpose of this workshop is to bring some of that expertise and structured design to the world of cyber-physical systems.
    The workshop will cover various cyber-physical system architecture and design methodology related topics (see the CFP for further details). It is designed to foster interaction and presentation of early results, new ideas, and speculative directions in this emerging and cross-disciplinary area. Prospective authors are invited to submit original contributions that will be included in an informal workshop digest distributed to all registered attendees. The workshop will also include a number of invited talks from researchers in academia and industry.

    Add a comment

  4. ------------------------------------------------------------------------------------------------

                        Preliminary Call for Papers

                                    ACM e-Energy 2015

                                    Bangalore, India

                              June 2015 (Exact date TBC)


    As countries round the world rally to reduce their carbon emissions in the face of rising energy costs, there is a growing need to research computing and communication technologies that will support smarter and more sustainable energy solutions (e.g., Smart Grid). Such technologies, measure, monitor and control energy systems (e.g., micro-grids and electric vehicles); 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. In turn, the exponential growth in the deployment  of communication and computing  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.

    The Sixth International Conference on Future Energy Systems (ACM  e-Energy), to be held in Bangalore, India in June 2015, 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 from a range of disciplines  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 areas 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.

    Topics covered:


    . 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.

    Papers will be judged in terms of technical quality and originality.

    Important Dates: (TBC)


    Submission Deadline: January 2015

    Reviews and Notification: March-April 2015

    Conference: June 2015

    General Co-Chairs:


    Shivkumar Kalyanaraman (IBM Research, AUS)

    Deva P. Seetharam (IBM Research, INDIA)

    TPC Co-chairs:


    Mani Srivastava (UCLA)

    Sarvapali (Gopal) Ramchurn (U. Southampton)

    Add a comment

  5. ACM SIGBED is delighted to announce the winner of the 2013 ACM SIGBED Paul Caspi Memorial Dissertation Award:

    Bernard Blackham
    University of New South Wales, NICTA

    for his thesis

    Towards Verified Microkernels for Real-Time Mixed-Criticality Systems

    The winner has been chosen from a total of 11 nominations. The selection committee found the winning thesis to be an outstanding contribution at the intersection of operating systems, worst-case execution time analysis, and model checking.


    Add a comment

  6. Call for Participation: 19th International Conference on Architectural Support for Programming Languages and Operating Systems being held in Salt Lake City, UT, USA March 1-5, 2014 
    Please note the following: 
    Deadline for Wild and Crazy Ideas (WACI) Submissions : Jan 17th 
    Student Travel Grant Application Deadline :  Feb 2nd
    Early Registration Deadline: Feb 10th
    Hotel Reservation Deadline: Jan 30th
    Technical Program https://www.cs.utah.edu/asplos14/program.html 
    Co-located Events Program https://www.cs.utah.edu/asplos14/colocated_events.html 
    Upcoming Deadlines for ASPLOS Workshop Submissions: 
      WACAS -- Approximate Computing -- Jan 17th 
      W-MOS -- Overprovisioned Systems -- Feb 3rd 
    ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and compilers, and operating systems and 
    networking. The program covers cross-cutting research spanning mobile systems to data centers, targeting diverse goals such as performance, energy efficiency, resiliency, and security. 
    The conference program (March 3rd-5th) features: 
        - 49 technical papers 
        - Two keynotes 
                    - Brad Calder, Microsoft 
                    - Jeff Gehlhaar, Qualcomm 
        - A debate 
                    - Resolved: Specialized architectures, languages, and system software should 
                      largely supplant general-purpose alternatives within the next decade 
                      Moderator: David Wood, University of Wisconsin-Madison 
        - A Wild and Crazy Ideas (WACI) session featuring 
                    - WACInote: RF-powered computing and communication 
                      Josh Smith, University of Washington 
        - A poster session and lightning talk session for all accepted papers 
    ASPLOS Co-Located Events: 
    Saturday March 1st 2014 
      - ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) 
      - Workshop on Managing Overprovisioned Systems (W-MOS) 
      - 7th Workshop on General Purpose Processing Using GPUs (GPGPU-7) 
      - 4th Workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware  (BPOE-4) 
      - Tutorial: Towards Database Virtualization for Database as a Service 
      - Tutorial: Pin Binary Instrumentation Tutorial 
      - Tutorial: Accelerating Big Data Processing with Hadoop and MemCached on Datacenters with Modern Networking and Storage Architecture 
      - Tutorial: Analyzing Analytics for Parallelism 
    Sunday March 2nd 2014 
      - ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) 
      - 5th Workshop on Determinism and Correctness for Parallel Programs (WODET) 
      - 9th Workshop on Transactional Computing (TRANSACT) 
      - 1st Workshop on Approximate Computing Across the System Stack (WACAS) 
      - Tutorial: System Analytics in the Cloud 
      - Tutorial: Concord: Homogeneous Programming for Heterogeneous Platforms 
      - Tutorial: Rigorous and Practical Server Design Evaluation 
      - Tutorial: Machine Learning on Big Data 
      - Tutorial: Multi2Sim - A Compilation and Simulation Framework for Heterogeneous Computing 
    Wild and Crazy Ideas (WACI) Call for Submissions: 
    Keeping with the decade-long ASPLOS tradition of holding Wild and Crazy 
    Ideas sessions, ASPLOS 2014 is looking for forward looking, visionary, 
    inspiring, far out and just plain amazing ideas for its WACI session. 
    What we are aiming for is a session full of creativity presented in an 
    exciting way. We do not have a prescribed list of topics. Anything 
    directly or indirectly related to computing systems is appropriate. If 
    you are unsure whether a topic is appropriate, please get in touch with 
    the WACI organizers via the email address below. 
    This is a great opportunity to show the community new directions, new 
    ideas, new ways of thinking, new perspectives, etc. So why not use 
    some time over the next week to brainstorm with your colleagues and 
    friends and submit a great idea? Please submit! 
    Submission instructions: 
    You can submit either a 2-page abstract or a 6-minute video/narrated 
    slide deck.  Please email a file or a link to asplos2014.ideas@gmail.com
    Submission Deadline: January 17

    Add a comment

  7. Please note the paper registration for ViPES has been extended to January 20th.

    2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems - ViPES
    May 23rd, Phoenix, USA (in conjunction with IPDPS)

    The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES'2014) will be held in Phoenix, USA in May 2014. ViPES 2014 is associated with the 28th Annual International Parallel & Distributed Processing Symposium (IPDPS 2014) 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 the use of real hardware, i.e. no printed circuit boards with electronic components such as processors, field programmable gate arrays, peripherals or other devices are needed. The advantage is the possibility to exchange parts in the system setup with faster turnaround times in comparison to a traditional development process, where a time-consuming redesign of the complete physical prototype has to be done. Additionally, with increasing complexity of embedded and cyber-physical systems, which are more and more realized in parallel and distributed form, virtual prototyping promises to enable otherwise time-consuming design space exploration rapidly at early design stages.

    For some years now, the industry community exploiting associated methods and tools has grown as complexity and time to market pressures continue to play a major role. In academia, virtual prototyping is a hot research topic, and is used to develop future systems by enabling a novel 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, transportation and medical applications.

    This workshop targets the domain of virtual prototyping focusing on the following topics:

    - Virtual prototyping development tools
    - Methods for virtual prototyping of complex systems
    - Application development with virtual platforms
    - Methods for Hardware / Software Codesign with virtual platforms
    - Design space exploration for parallel and distributed multicore and cyber-physical systems
    - Estimation of system characteristics in an early stage of development
    - Functional verification at a high level of abstraction
    - Methods for modeling of IP cores with SystemC
    - Usage of Architecture Description Languages (ADL) for IP core development

    Submission guidelines:

    All manuscripts will be reviewed by at least three members of the program committee. Submissions should be a complete manuscript (not to exceed 6 pages of single spaced text, including figures and tables. Submissions should be in PDF-format. Templates for paper preparation can be found at:http://www.ieee.org/web/publications/pubservices/confpub/AuthorTools/conferenceTemplates.html

    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 ACM TECS journal.

    Important Dates:

    Submission deadline                  January 20th, 2014

    Decision notification                   February 12th, 2014
    Camera-Ready papers due        February 21st, 2014

    The submission interface via Easychair is available at:

    Add a comment


    SIGBED Paul Caspi Memorial Dissertation Award

    The Paul Caspi Memorial Dissertation Award is a new SIGBED award established in 2013. The award will recognize outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems, in the spirit and legacy of Dr. Paul Caspi's work.

    The SIGBED Paul Caspi Memorial Dissertation Award will be presented annually to the author of an outstanding dissertation in the area of Embedded Systems. The author of the winning dissertation will be invited to publish a dissertation summary in the ACM SIGBED Newsletter and to submit their work to the journal ACM TECS (Transactions on Embedded Computing Systems) for possible publication, after the normal peer-review process. The award will include an award certificate for the author and an honorarium of 2000 USD. A public citation for the award paper will be placed on the SIGBED web site. 

    Selection Process

    The award is for an outstanding doctoral dissertation dated within one year preceding the nomination due date. A selection committee and a selection committee chair will be selected by the current SIGBED Executive Committee. A member of the current SIGBED Executive Committee will be one of the selection committee members. The committee chair shall adjudicate conflicts of interest, appointing substitutes to the committee as necessary. Dissertations supervised by a selection committee member are ineligible to be nominated. For purposes of continuity, committee members may remain on the committee for up to three years. The selection committee shall be no less than three persons in size.

    Selection Committee

    • Rajeev Alur
    • Christoph Kirsch (Chair)
    • Xenofon Koutsoukos
    • Florence Maraninchi
    • Lothar Thiele
    • Stavros Tripakis

    Nomination Process

    Nominations will be solicited annually, being due March 1st each year, via major mailing lists and web forums. Additionally, dissertation advisers of each eligible year will be contacted for solicitation of award nominations.

    A nomination should consist of the following items:
    • Name, address, phone number, and email address of the person making the nomination (the nominator).
    • Name, address, phone number, and email address of the candidate for whom an award is recommended (the nominee).
    • A short statement (200-500 words) explaining why the nominee deserves the award.
    • Supporting statements from up to two persons in addition to the nominator. 
    • The nominated dissertation in an English language version.
    • A list of the nominee's publications that were used as the basis of chapters in the nominated dissertation.
    • The CV of the nominee.
    The selection committee will make a recommendation on the winner of the award to the SIGBED Executive Committee, which will approve and announce the final winner. SIGBED Executive Committee members who have conflicts of interest with any nominee will be excluded from the approval process. The primary selection criterion will be the quality of the candidate's work, with the aim to recognize outstanding doctoral dissertations. The selection committee may choose to issue no award in a given year. The award may not be given to multiple recipients.

    Nomination Deadline

    The nomination should be sent by email to paul-caspi-award@googlegroups.com by March 1, 2014.

    Add a comment

  9. ACM Conference on Languages, Compilers, and Tools for Embedded Systems

    About LCTES
    LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. 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.

    LCTES 2014 is co-located with PLDI 2014, in Edinburgh, UK, June 12 -- 13, 2014. This will be the fifteenth conference in the LCTES series.

    Call for Papers
    Embedded system design faces many challenges both with respect to functional requirements and nonfunctional requirements, many of which are conflicting. They are found in areas such as design and developer productivity, verification, validation, maintainability, and meeting performance goals and resource constraints. Novel design-time and run-time approaches are needed to meet the demand of emerging applications and to exploit new hardware paradigms, and in particular to scale up tomulticores (including GPUs and FPGAs) and distributed systems built from multicores.

    LCTES 2014 solicits papers presenting original work on programming languages, compilers, tools, theory, and architectures that help in overcoming these challenges. Research papers on innovative techniques are welcome, as well as experience papers on insights obtained by experimenting with real-world systems and applications.

    Papers are solicited on, but not limited to, the following topics in embedded systems:

    Programming language challenges, including:
    • Domain-specific languages
    • Features to exploit multicore, reconfigurable, and other emerging architectures
    • Features for distributed, adaptive, and real-time control embedded systems
    • Language capabilities for specification, composition, and construction of embedded systems
    • Language features and techniques to enhance reliability, verifiability, and security
    • Virtual machines, concurrency, inter-processor synchronization, and memory management
    Compiler challenges, including:
    • Interaction between embedded architectures, operating systems, and compilers
    • Interpreters, binary translation, just-in-time compilation, and split compilation
    • Support for enhanced programmer productivity
    • Support for enhanced debugging, profiling, and exception/interrupt handling
    • Optimization for low power/energy, code and data size, and best-effort and real-time performance
    • Parameterized and structural compiler design space exploration and autotuning
    Tools for analysis, specification, design, and implementation, including:
    • Hardware, system software, application software, and their interfaces
    • Distributed real-time control, media players, and reconfigurable architectures
    • System integration and testing
    • Performance estimation, monitoring, and tuning
    • Run-time system support for embedded systems
    • Design space exploration tools
    • Support for system security and system-level reliability
    • Approaches for cross-layer system optimization
    Theory and foundations of embedded systems, including:
    • Predictability of resource behavior: energy, space, time
    • Validation and verification, in particular of concurrent and distributed systems
    • Formal foundations of model-based design as basis for code generation, analysis, and verification
    • Mathematical foundations for embedded systems
    • Models of computations for embedded applications

    Novel embedded architectures, including:
    • Design and implementation of novel architectures
    • Workload analysis and performance evaluation
    • Architecture support for new language features, virtualization, compiler techniques, debugging tools
    Important Dates

    - Paper submission:      Friday, January 31, 2014
    - Author notification:      Friday, March 14, 2014


    Submissions must be in ACM proceedings format, 9-point type, and may not exceed 10 pages (all inclusive). 
    Word and LaTeX templates for this format are available at
    Submissions must be in PDF, printable on US 
    Letter and A4 sized paper. To enable double-blind reviewing, submissions must adhere to two rules:

        author names and their affiliations must be omitted; and,
        references to related work by the authors should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ...").

    However, nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). Papers must describe unpublished work that is not currently submitted for publication elsewhere as discussed here:
    Authors of accepted papers will be required to sign an ACM copyright release.

    Add a comment

  10. CALL FOR PAPERS: 19th International Conference on Reliable Software Technologies - Ada-Europe 2014

    23-27 June 2014, Paris, France

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


    The 19th International Conference on Reliable Software Technologies- Ada-Europe 2014 will take place in Paris, France.  As per its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with tutorials and workshops on Monday and Friday.

    15 December 2013: Submission of regular papers, tutorial and workshop proposals (firm deadline)
    19 January 2014:  Submission of industrial presentation proposals
    16 February 2014: Notification of acceptance to all authors
    16 March 2014:  Camera-ready version of regular papers required
    18 May 2014: Industrial presentations, tutorial and workshop material required

    The conference has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies.  The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains.  The program will allow ample time for keynotes, Q&A sessions and discussions, and social events.  Participants include practitioners and researchers representing industry, academia and government organizations active in the promotion and development of reliable software technologies.

    Topics of interest to this edition of the conference include but are not limited to:

    - Multicore and Manycore Programming: Predictable Programming
      Approaches for Multicore and Manycore Systems, Parallel Programming
      Models, Scheduling Analysis Techniques.

    - Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods
      and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability
      and Performance Analysis.

    - Theory and Practice of High-Integrity Systems: Challenges from
      Mixed-Criticality Systems; Medium to Large-Scale Distribution,
      Fault Tolerance, Security, Reliability, Trust and Safety, Languages

    - Software Architectures: Design Patterns, Frameworks, Architecture-
      Centered Development, Component-based Design and Development.

    - Methods and Techniques for Software Development and Maintenance:
      Requirements Engineering, Model-driven Architecture and Engineering,
      Formal Methods, Re-engineering and Reverse Engineering, Reuse,
      Software Management Issues.

    - Enabling Technologies: Compilers, Support Tools (Analysis,
      Code/Document Generation, Profiling), Run-time Systems and Libraries.

    - Software Quality: Quality Management and Assurance, Risk Analysis,
      Program Analysis, Verification, Validation, Testing of Software

    - Mainstream and Emerging Applications: Manufacturing, Robotics,
      Avionics, Space, Health Care, Transportation, Cloud Environments,
      Smart Energy systems, Serious Games, etc.

    - Experience Reports in Reliable System Development: Case Studies
      and Comparative Assessments, Management Approaches, Qualitative
      and Quantitative Metrics.

    - Experiences with Ada and its Future: Reviews of the Ada 2012 new
      language features, implementation and use issues, positioning in
      the market and in the software engineering curriculum, lessons
      learned on Ada Education and Training Activities with bearing on
      any of the conference topics.

    Call for Regular Papers
    Authors of regular papers which are to undergo peer review for acceptance are invited to submit original contributions. Paper submissions shall not exceed 14 LNCS-style pages in length.  Authors shall submit their work via EasyChair following the relevant link on the conference web site (https://www.easychair.org/conferences/?conf=ae20140).
    The format for submission is solely PDF.

    The conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer, and will be available at the start of the conference.  The authors of accepted regular papers shall prepare camera-ready submissions in full conformance with the LNCS style, not exceeding 14 pages and strictly by March 16, 2014. For format and style guidelines authors should refer to
    http://www.springer.de/comp/lncs/authors.html.  Failure to comply and to register for the conference by that date will prevent the paper from appearing in the proceedings.

    The CORE ranking (dated 2008) has the conference in class A. The CiteSeerX Venue Impact Factor had it in the top quarter. Microsoft Academic Search has it in the top third for conferences on programming languages by number of citations in the last 10 years. The conference is listed in DBLP, SCOPUS and Web of Science Conference
    Proceedings Citation index, among others.

    Ada-Europe will offer honorary awards for the best regular paper and the best presentation.

    Call for Industrial Presentations
    The conference seeks industrial presentations which deliver value and insight but may not fit the selection process for regular papers.  Authors are invited to submit a presentation outline of exactly 1 page in length by January 19, 2014.  Submissions shall be made via EasyChair following the relevant link on the conference web site.  The Industrial Committee will review the submissions and make the selection.  The authors of selected presentations shall prepare a final short abstract and submit it by May 18, 2014, aiming at a 20-minute talk.  The authors of accepted presentations will be invited to submit corresponding articles for publication in the Ada User Journal, which will host the proceedings of the Industrial Program of the Conference.  For any further information please contact the Industrial Chair directly.

    Call for Tutorials
    Tutorials should address subjects that fall within the scope of the conference and may be proposed as either half-or full-day events. Proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's lecturing expertise in general and with the proposed topic in particular, the proposed duration (half day or full day), the intended level of the tutorial (introductory, intermediate, or advanced), the recommended audience experience and background, and a statement of the reasons for attending.  Proposals should be submitted by e-mail to the Tutorial Chair.  The authors of accepted full day tutorials will receive a complimentary conference registration as well as a fee for every paying participant in excess of 5; for half-day tutorials, these benefits will be accordingly halved.  The Ada User Journal will offer space for the publication of summaries of the accepted tutorials.

    Call for Workshops
    Workshops on themes that fall within the conference scope may be proposed.  Proposals may be submitted for half-or full-day events, to be scheduled at either end of the conference week.  Workshop proposals should be submitted to the General Chair.  The workshop organizer shall also commit to preparing proceedings for timely publication in the Ada User Journal.

    Call for Exhibitors
    The commercial exhibition will span the three days of the main conference.  Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time.

    Grants for Reduced Student Fees
    A limited number of sponsored grants for reduced fees is expected to be available for students who would like to attend the conference or tutorials.  Contact the General Chair for details.

    Organizing Committee
    General Chair
      Jean-Pierre Rosen, Adalog

    Program co-Chairs
      Laurent George, LIGM/UPEMLV - ECE Paris
      Tullio Vardanega, University of Padova

    Industrial Chair
      Jørgen Bundgaard, Rambøll Denmark A/S

    Tutorial co-Chairs
      Liliana Cucu, INRIA
      Albert Llemosí, Universitat de les Illes Balears

    Exhibition Chair
      Jamie Ayre, AdaCore

    Publicity Chair
      Dirk Craeynest, Ada-Belgium & KU Leuven

    Local Chair
      Magali Munos, ECE


    Add a comment