CALL FOR SPECIAL SESSION PROPOSALS
3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP)
May 24-26, 2017 | Funchal, Madeira, Portugal | http://ebccsp2017.org/
We invite all researchers interested in organizing special sessions on the event-driven paradigm and its applications in control, communication, and signal processing, at EBCCSP 2017, to submit their special session proposals according to the following format.
HOW TO PROPOSE A SPECIAL SESSION
The proposal for a special session should be sent by Special Session Organizers to the Special Session Chairs: Andrzej Pawlowski a.pawlowski@dia.uned.es and Amir Aminifar amir.aminifar@epfl.ch and should include:
1. Title of the session.
2. Names, affiliations, and contact addresses of the organizers, including telephone and email addresses.
3. Description of the technical focus area of the session: background and rationale for organizing the session, at least 150 words.
4. Tentative titles of at least four (4) contributions, together with the names and contact addresses of the contributing and committed authors, no more than a quarter of contributions is to be from the same institute.
IMPORTANT DATES
- Submission deadline for special session proposals: January 29, 2017
- Submission deadline for special session papers: February 26, 2017
- Notification of acceptance for special session papers: April 9, 2017
The detailed call for special session proposals is available at http://ebccsp2017.org/special_sessions_proposal
PROGRAM GUIDELINES
Solicitation 17-529
Important Information for Proposers
A revised version of the NSF Proposal & Award Policies & Procedures Guide (PAPPG) (NSF 16-1), is effective for proposals submitted, or due, on or after January 25, 2016. Please be advised that, depending on the specified due date, the guidelines contained in NSF 16-1 may apply to proposals submitted in response to this funding opportunity.
DUE DATES
Full Proposal Window
February 20, 2017 - March 6, 2017
SYNOPSIS
Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components. Advances in CPS will enable capability, adaptability, scalability, resiliency, safety, security, and usability that will far exceed the simple embedded systems of today. CPS technology will transform the way people interact with engineered systems -- just as the Internet has transformed the way people interact with information. New smart CPS will drive innovation and competition in sectors such as agriculture, energy, transportation, building design and automation, healthcare, and manufacturing.
The December 2010 report of the President's Council of Advisors on Science and Technology (PCAST) titled Designing a Digital Future: Federally Funded Research and Development in Networking and Information Technology calls for continued investment in CPS research because of its scientific and technological importance as well as its potential impact on grand challenges in a number of sectors critical to U.S. security and competitiveness such as the ones noted above. These challenges and technology gaps are further described in a CPS Vision Statement published in 2012 by the federal Networking and Information Technology Research and Development (NITRD) CPS Senior Steering Group.
Tremendous progress has been made in advancing CPS technology. We have explored foundational technologies that have spanned an ever-growing set of application domains, enabling breakthrough achievements in many of these fields. At the same time, the demand for innovation in these domains continues to grow, and is driving the need to accelerate fundamental research to keep pace.
Despite significant inroads into CPS technology in recent years, we do not yet have a mature science to support systems engineering of high-confidence CPS, and the consequences are profound. Traditional analysis tools are unable to cope with the full complexity of CPS or adequately predict system behavior. For example, as the Internet of Things (IoT) scales to billions of connected devices -- with the capacity to sense, control, and otherwise interact with the human and physical world -- the requirements for dependability, security, safety, and privacy grow immensely. One barrier to progress is the lack of appropriate science and technology to conceptualize and design for the deep interdependencies among engineered systems and the natural world. The challenges and opportunities for CPS are thus significant and far-reaching. New relationships between the cyber and physical components require new architectural models that redefine form and function. They integrate the continuous and discrete, compounded by the uncertainty of open environments. Traditional real-time performance guarantees are insufficient for CPS when systems are large and spatially, temporally, or hierarchically distributed in configurations that may rapidly change. With the greater autonomy and cooperation possible with CPS, greater assurances of safety, security, scalability, and reliability are demanded, placing a high premium on open interfaces, modularity, interoperability, and verification.
The goal of the CPS program is to develop the core system science needed to engineer complex cyber-physical systems that people can use or interact with and depend upon. Some of these may require high-confidence or provable behaviors. The program aims to foster a research community committed to advancing research and education in CPS and to transitioning CPS science and technology into engineering practice. By abstracting from the particulars of specific systems and application domains, the CPS program seeks to reveal cross-cutting fundamental scientific and engineering principles that underpin the integration of cyber and physical elements across all application sectors. To expedite and accelerate the realization of cyber-physical systems in a wide range of applications, the CPS program also supports the development of methods, tools, and hardware and software components based upon these cross-cutting principles, along with validation of the principles via prototypes and testbeds. We have also seen a convergence of CPS technologies and research thrusts that underpin Smart & Connected Communities (S&CC) and the Internet of Things (IoT). These domains offer new and exciting challenges for foundational research and provide opportunities for maturation at multiple time horizons.
In 2017, NSF is working closely with multiple agencies of the federal government, including the U.S. Department of Homeland Security (DHS) Science and Technology Directorate (S&T); the U.S. Department of Transportation (DOT) Federal Highway Administration (FHWA), and through FHWA, the U.S. DOT Intelligent Transportation Systems (ITS) Joint Program Office (JPO); the National Aeronautics and Space Administration (NASA) Aeronautics Research Mission Directorate (ARMD); several National Institutes of Health (NIH) institutes and centers [including the National Institute of Biomedical Imaging and Bioengineering (NIBIB), Office of Behavioral and Social Sciences Research (OBSSR), National Cancer Institute (NCI), and National Center for Advancing Translational Sciences (NCATS)]; and the U.S. Department of Agriculture-National Institute of Food and Agriculture (USDA-NIFA, hereafter referred to as NIFA). Key goals are to identify basic CPS research directions that are common across multiple application domains, along with opportunities for accelerated transition to practice.
Three classes of research and education projects -- differing in scope and goals -- will be considered through this solicitation:
-
Small projects may be requested for a total of up to $500,000 for a period of up to 3 years. They are well suited to emerging new and innovative ideas that will have high impact on the field of cyber-physical systems.
-
Medium projects may be requested for a total budget ranging from $500,001 to $1,000,000 for a period of up to four years. They are well suited to multi-disciplinary projects that accomplish clear goals requiring integrated perspectives spanning the disciplines.
-
Frontier projects must address clearly identified critical CPS challenges that cannot be achieved by a set of smaller projects. Funding may be requested for a total of $1,000,001 to $7,000,000 for a period of 4 to 5 years.
THIS PROGRAM IS PART OF
What Has Been Funded (Recent Awards Made Through This Program, with Abstracts)
Submitted by Emily Wehby on December 5th, 2016
Final Call for Workshops Proposals
The 13th International Conference on integrated Formal Methods (iFM 2017)
Turin, Italy | September 18th - 22nd, 2017 | http://www.ifm2017.di.unito.it/
Important Dates
- Workshop proposals due: *Monday, 19 December, 2016*
- Workshop proposals notification: Monday, January 16, 2017
- Workshops: September 18-19, 2017
About iFM
iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.
The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.
The workshops take place on September 18-19, 2017.
Proposal and Submission Guidelines
Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to the iFM workshop chairs, Wolfgang Ahrendt and Michael Lienhardt .
Proposals should include:
- The name, the duration (1 or 2 days) and the preferred date of the proposed workshop
- A short description of the workshop.
- If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance.
- The publicity strategy that will be used by the workshop organizers to promote the workshop.
- The participant solicitation and selection process.
- The target audience and expected number of participants.
- Approximate budget proposal (see section Budget below for details).
- The equipment and any other resource necessary for the organization of the workshop.
- The name and short CV of the organizer(s).
- The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).
Organizers Responsibilities
The scientific responsibility of organizing a workshop is on the workshop organizers. In particular, they are responsible for the following items:
- A workshop description (200 words) for inclusion in the iFM site.
- Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages.
- Workshop proceedings, if any. If there is sufficient interest, the iFM 2017 workshop organizers may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2017.
- Workshop publicity (possibly including call for papers, submission and review process).
- Scheduling workshop activities in collaboration with the iFM workshop chairs.
Budget
The iFM organization will provide registration and organizational support for the workshops (including linking from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid by all participants, including organizers and invited guests.
To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l. will require the workshop fees as requested by each workshop organizer.
Evaluation Process
The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples:
- iFM 2016: http://en.ru.is/ifm/calls/
- iFM 2014: http://ifm2014.cs.unibo.it/workshops.html
- iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php
- iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html
- iFM 2010: http://ifm2010.loria.fr/satellite.html
- iFM 2009: http://www.formal-methods.de/ifm09/workshops.html
Venue
iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cavallerizza Reale is set in the center of Turin, close to many historical buildings of the city, like the Mole Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo Carignano and the main building of the University.
Further Information and Enquiries
You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt and Michael Lienhardt