CALL FOR NOMINATIONS

VCLA International Student Awards 2018 in Memory of Helmut Veith

The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:

• Outstanding Master Thesis Award
• Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process) 

The main areas of interest are:

• Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, algorithmic lower and upper bounds, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics), computational complexity (complexity analysis, parameterized complexity, decomposition methods).
• Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
• Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.

The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his  commitment to promoting young talent and promising researchers in these areas.
 
Award
The Outstanding Master Thesis Award is accompanied by a prize of € 1200, and the Outstanding Undergraduate Research Award by a prize of € 800.  Additionally, the winners will be invited to present their work at an award ceremony during the Federated Logic Conference (FLoC) 2018 in Oxford. 
 
Eligibility

The degree must have been awarded between November 15th 2015 and December 31st 2017. Students who obtained the degree at TU Wien are excluded from the nomination.

Important dates

• Submission deadline: March 15, 2018 (anywhere on Earth)
• Notification of decision: End of May 2018
• Award ceremony: July 2018 (during FLoC, details to be announced)

Nomination Procedures
For nomination instructions, please visit http://logic-cs.at/award-call-2018/
Kindly address all inquiries to award@logic-cs.at

VCLA Award Committee

• Federico Aschieri
• Paolo Baldi
• Ezio Bartocci
• Johannes Fichte
• Ekaterina Fokina
• Robert Ganian (committee co-chair)
• Yazmin A. Ibanez-Garcia
• Roman Kuznets
• Bjoern Lellmann
• Nysret Musliu
• Michael Morak
• Martin Nöllenburg
• Sebastian Ordyniak
• Magdalena Ortiz (general chair)
• Revantha Ramanayake (committee co-chair)
• Martin Suda
• Friedrich Slivovsky

ACM SIGBED Paul Caspi Dissertation Award

 http://sigbed.blogspot.fr/p/awards.html

Nominations should be submitted via EasyChair: https://easychair.org/conferences/?conf=caspiaward18
Deadline:  March 1, 2018 

The Paul Caspi Memorial Dissertation Award is a SIGBED award established in 2013. The award recognizes 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.
 
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 

• Nikil Dutt
• Christoph Kirsch
• Tei-Wei Kuo
• Florence Maraninchi
• Oleg Sokolsky
• Reinhard Wilhelm
• Wang Yi (Chair)

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.

For further information,  contact Wang.Yi@it.uu.se

CALL FOR NOMINATIONS

ACM SIGBED Paul Caspi Dissertation Award    

 http://sigbed.blogspot.fr/p/awards.html

The nomination should be submitted via EasyChair at https://easychair.org/conferences/?conf=caspiaward16
by March 1, 2016.

For further information,  contact Wang Yi (yi@it.uu.se)

The Paul Caspi Dissertation Award is a new ACM 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 ACM SIGBED Paul Caspi 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 Committee

• Christoph Kirsch
• Nikil Dutt
• Rolf Ernst
• Tei-Wei Kuo
• Florence Maraninchi
• Oleg Sokolsky
• Reinhard Wilhelm
• Wang Yi (Chair)

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.

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.

SIGBED Paul Caspi Memorial Dissertation Award

  http://sigbed.blogspot.fr/p/awards.html

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

•    Sanjoy Baruah
•    Christoph Kirsch (Chair)
•    Xenofon Koutsoukos
•    Florence Maraninchi
•    John Regehr
•    Lothar Thiele

Nomination Process

Nominations will be solicited annually, 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.

The IEEE Council on Design Automation (CEDA) invites nominations for the position of Editor-in-Chief (EiC) for the IEEE Embedded Systems Letters (ESL). Self-nominations are permitted.

ESL is a quarterly published forum for rapid dissemination (4 to 6 weeks) of short papers in the area of embedded systems and software.

The term of duty of the new EiC begins on January 1, 2016 and ends December 31, 2017. The start of the period may be antedated if applicable. A period of approximately three months prior to the beginning of the term will be spent on enabling a smooth transition from the current EiC to the new EiC.

An EiC Selection Committee will evaluate all nominations and make recommendations to the CEDA Executive Committee for appointment based upon the CEDA bylaws. After the EiC is chosen, the Selection Committee will identify the Deputy EiC, in agreement with the newly appointed EiC. The EiC will then constitute an own Editorial Board of Associate Editors.

Nominations should be sent electronically to Lynn Bannister (admin@ieee-ceda.com) and should be received by March 15, 2015 to ensure full consideration. The nomination package should include:

• Name, postal address, email address and telephone numbers of the nominee and the publication (IEEE Embedded Systems Letters) for which the candidate is nominated.
• Written confirmation that the candidate intends to accept a nomination for the EiC position and has the necessary resources to fulfill the position.
• Curriculum vitae of the nominee, including the track record with IEEE service and publications details, with particular reference to ESL.
• Position statement of the nominee indicating the view of the candidate on the future of IEEE ESL, the ESL-specific opportunities and challenges, and any plans that the candidate wants to pursue.

The nominee must be a member in good standing of the IEEE. Desirable qualities of the candidates include: An established track record of technical accomplishments, leadership, integrity and ethical standards, demonstrable organizational and management skills, and an energetic eagerness to continue moving the journal forward toward visibly higher levels of accomplishment and contributions to the relevant technical community.

The Advanced Research Projects Agency Energy (ARPA-E) is seeking researchers interested in partnering on “Traveler Response Architecture using Novel Signaling for Network Efficiency in Transportation” (TRANSNET). The overall objective of the TRANSNET program is to reduce energy use in a multi-modal, urban transportation network through network control mechanisms employing personalized signaling.  More information is located under RFI-0000013 located at https://arpa-e-foa.energy.gov/.

Connected Vehicle Pilot Deployment Program; Request for Information

A Notice by the Federal Highway Administration on 03/12/2014

Notice.

This notice is a Request for Information (RFI) and comments that will be used to help refine the plans for one or more pilot deployments, which combines connected vehicle and mobile device technologies innovations to improve traveler mobility and system productivity, while reducing environmental impacts and enhancing safety. The FHWA anticipates a procurement action for one or more pilot deployment concepts in 2015. The FHWA is issuing this RFI in collaboration with, and on behalf of, other agencies within the DOT, specifically the Federal Transit Administration, the Federal Motor Carrier Safety Administration, National Highway Traffic Safety Administration (NHTSA), and the Office of the Assistant Secretary for Research and Technology. Feedback and comments on any aspect of the RFI are welcome from all interested public, private, and academic entities. While all feedback is welcome, DOT is particularly interested in feedback on the questions provided in the last section of this RFI.

==============================================
SIGBED Paul Caspi Memorial Dissertation Award http://sigbed.blogspot.fr/p/awards.html

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


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.

NRC invites the public to review and engage the issues layed out in their evolving draft research information letter (RIL)-1101 "Technical basis to review hazard analysis of digital safety systems".  Please join the discussion at the Assurance Case Research Group's online forum.  

Please contact Virginia Talati (see below) you have any suggestions of people to involve in this National Research Council's Computer Science and Telecommunication Board study. Self-recommendations are welcome.

The Computer Science and Telecommunications Board of the National Research Council is launching a new study titled “Toward 21st-Century Cyber-Physical Systems Education” sponsored by the National Science Foundation.

We are currently soliciting nominations for study committee members and briefers to the committee.  We are looking for experts who could help the Academies address the topics below. This includes experts in STEM education, computer science and engineering expertise (e.g. sensing, control, networking), and sector-specific expertise (e.g. transportation, healthcare, etc).

Topics the study committee might usefully address include:

• A vision for a CPS-skilled U.S. workforce, and the 2l-st century CPS-capable scientist, engineer, or skilled worker.
• Current and anticipated workforce needs for CPS expertise.
• Core capabilities required for various CPS careers and how such requirements can be addressed though: curriculum content, degree programs, minors/specialization, internships, informal education, degrees, and (re) certification strategies.
• Methods to build up today's faculty preparation for CPS teaching and research including available and prospective shared resources and effective community-building strategies.
• Identification of other barriers in the educational pipeline to developing needed CPS knowledge, skills, and capabilities.
• Content that can be incorporated into K-12 preparation.
• Pedagogical and resource strategies for CPS education (e.g., on-line education, team teaching, and so on).

Please contact Virginia Talati (see below) you have any suggestions of people to involve in this study. Self-recommendations are welcome.  A longer description of the study is enclosed below.  In addition, if there are projects, papers, or other activities that we should be aware of as we go forward, please do send along pointers to those as well.
 

Contact information:

Virginia Bacon Talati
Program Officer
Computer Science and Telecommunications Board
National Research Council - The National Academies
vbtalati@nas.edu | 202.334.1802 | www.cstb.org

 

Toward 21st-Century Cyber-Physical Systems Education

Statement of Task

A National Academies study would consider the current and future needs in education for cyber-physical systems (CPS). Two workshops would be convened early on to gather input and foster dialogue, and a brief interim report would highlight emerging themes and summarize related discussions from the workshops.  The final report would articulate a vision for a 2l-st century CPS-capable U.S. workforce. It would explore the corresponding educational requirements, examine efforts already under way, and propose strategies and programs to develop the needed faculty and teachers, materials, and curricula. It would consider core, cross-domain, and domain-specific knowledge and requirements. The study would focus on undergraduate education but also consider implications for graduate education, workforce training, certification, the K-12 pipeline, and informal education.  It would emphasize the skills needed for the CPS scientific, engineering, and technical workforce but would also consider broader needs for CPS “fluency.”

Context

Cyber Physical Systems (CPS) are smart networked systems with embedded sensors, processors and actuators that sense and interact with the physical world (including the human users) and support real-time, guaranteed performance in safety-critical applications.  Such systems, in which computational and physical elements are tightly coupled, are increasing prevalent in a range of sectors, including transportation (aviation, automotive, rail, and marine), health care, manufacturing, and electrical power generation and distribution.  Computing, control, sensing, and networking are deeply integrated into every component, and the actions of components and systems must be carefully orchestrated.  Such systems combine sensors, actuators, computational hardware, communications networks, wireless devices, and software.  Their design draws on the fruits of research from many disciplines, including computer science, electrical engineering, control theory, and materials science, among others.

Cyber-physical systems have the potential to provide much richer functionality—including “adaptability, autonomy, efficiency, functionality, reliability, safety, and usability”—than those that are loosely coupled, discrete, or manually operated.   Advances in CPS could yield systems that can respond faster than humans (e.g., autonomous collision avoidance for automobiles) or more precisely (e.g., robotic surgery), could enable better control and coordination of large-scale systems such as the electrical grid or traffic controls, could improve the efficiency of systems (e.g., “smart buildings”), and could enable advances in many areas of science.

Many of the most important applications of CPS relate to economically or societally important capabilities, and have critical infrastructure or life-safety implications. Examples include:

• Transportation. There is an urgent need to improve efficiency and safety in our transportation network. Some estimate that CPS technologies could eliminate most of the 6M automotive crashes each year caused by human error that the cost of highway congestion (currently over S8OB/year) could be greatly reduced. CPS technologies for aviation and airport safety technology could relieve congestion and enable safe integration of autonomous air vehicles into the US airspace.
• Manufacturing. The complexity of what we are able to design and build, and what society demands is constantly increasing. The time scale for product development cycles is decreasing, even as product variety is increasing.  CPS technologies could enhance both product design and manufacturing.
• Healthcare. Challenges and opportunities provided by inexpensive sensing, ubiquitous communication and computation and the demand for 24/7 care will lead to an explosion of CPS-based medical products and services. This will help to scale access to care for an aging population. CPS correct-by-construction design methodologies could help in the design of cost-effective, easy-to-certify, and safe medical products.
• Energy. Renewable electric energy resources are intermittent and uncertain, necessitating not only new sensors, switches and meters, but also a smart infrastructure for realizing an adaptive, resilient, efficient and cost-effective electricity distribution system that will allow consumers to manage their energy consumption.
• Agriculture.  With global population projected to surpass 9 billion people by 2050, an uncertain and changing climate future, and up to 50% of food lost between production and consumption, the efficiency of systems that generate food, fiber, feed, and biofuels need to be smarter and more efficient. CPS technologies could increase sustainability and efficiency (less waste) throughout the value chain.

The potential macro-economic benefits of the development and deployment of CPS systems in the coming decades are potentially enormous, as are the possibilities for enhanced safety and efficiency.

Each sector deploying cyber-physical systems has tended to work independently of others in developing the necessary science, engineering, workplace skills, and regulatory approach—reflecting in part the historically modest “cyber content” of most systems and organic efforts to solve the problems at hand.  Today, there is growing interest in seeking advances with common application in science and engineering (including scientific and engineering principles, algorithms, models, and theories); tools (including programming languages and tools for reasoning about the properties of CPS); and building blocks (innovative hardware and software components, infrastructure, and platforms). With success in designing and deploying CPS will come new technical challenges associated with the complexity of CPS and their use in applications where there is a low tolerance for failure.  Nonfunctional challenges related to dependability, safety, and security are likely to rise in importance, suggesting these as especially important areas for science and engineering advances.

These trends have important implications for education. To sustain innovation and support an industrial economy fueled by advanced cyber-physical systems technology, The U.S. will need to develop the requisite CPS researchers, educators, and a skilled scientific, engineering and technical workforce.

Unfortunately, even as the need and opportunity for advances in CPS is increasing, there are indications of an educational shortfall. Even today, there are many jobs reportedly available for which there is a shortage of skilled workers to fill them. The recent McKinsey Report, Education to Employment, notes that almost 40 percent of employers say a lack of skills is the main reason for entry-level vacancies. That report argues the need for post-secondary education to overcome high levels of youth unemployment and a shortage of job seekers with critical skills.

CPS has been a focus of federal research investment and faculty positions in CPS are now being created at a number of universities across the nation, but educational efforts have not been carried out in a broad or sustained fashion, which leads to concerns that the educational pipeline is neither teaching enough students the foundations for CPS studies nor preparing them for CPS careers.

To make progress, it will be important to understand the nature of current barriers and to develop strategies to overcome them. One challenge is the multidisciplinary character of educational foundations for CPS literacy. Looking across computer science, electrical engineering, and other engineering disciplines will be critical. Moreover, the audience for education in CPS is not found only in a traditional academic context where disciplines and knowledge are relatively settled. The challenges also include re-educating today's faculty, devising new preparation paths for university computer science and engineering students, upgrading K-12 teachers and the K-12 pipeline, as well as the existing workforce. New modalities for lab-centric, team-taught, and online education are emerging, which merit investigation as potential tools for accelerating progress toward a more CPS-capable workforce and society.

Proposed Activity

For this study, an interdisciplinary expert committee would be assembled with approximately 12-15 individuals from a range of domains and science/engineering disciplines.  The committee would approximately 6 times over the course of the study.  It would plan and host 2 workshops early in the study process to gather input and foster dialogue.

Topics the workshops and study committee might usefully address include:

• A vision for a CPS-skilled U.S. workforce, and the 2l-st century CPS-capable scientist, engineer, or skilled worker.
• Current and anticipated workforce needs for CPS expertise.
• Core capabilities required for various CPS careers and how such requirements can be addressed though: curriculum content, degree programs, minors/specialization, internships, and informal education, degrees, and (re) certification strategies.
• Methods to build up today's faculty preparation for CPS teaching and research including available and prospective shared resources and effective community-building strategies.
• Identification of other barriers in the educational pipeline to developing needed CPS knowledge, skills, and capabilities.
• Content that can be incorporated into K-12 preparation.
• Pedagogical and resource strategies for CPS education (e.g., on-line education, team teaching, and so on).

The committee will issue two reports. An interim report after the workshops have been completed will highlight key emerging themes and summarize related discussions from the workshops.  A final report with findings and recommendations drawing on the workshops, other inputs received, and additional briefings as needed, will be issued at the end of the project.

The National Academies Study Process

This project would be undertaken under the aegis of the Computer Science and Telecommunications Board (CSTB) of the National Academies.

The Computer Science and Telecommunications Board was established in 1986 to provide independent technical and policy analysis relating to information technology.  A pioneer in framing and assessing Internet and information policy issues, CSTB works by engaging groups of leaders from industry and academia who present differing views and deliberate about trends and impacts.  It provides a neutral meeting ground for the exchange of ideas among academia, industry, and government—a tri-sector division that embraces a range of non-profit organizations—plus a track record of producing quality results that have influenced debate and decision making in a variety of spheres.  CSTB is unique in its comprehensive scope and effective, interdisciplinary appraisal of technical, economic, social, and policy issues.  (See http://www.cstb.org for more on CSTB.)

For this project an interdisciplinary committee would constitute the responsible body.  Committee members are drawn from nominations by individuals and organizations who are active in the area, through a process carefully vetted within the National Academies; suggestions for committee members with relevant attributes are solicited broadly from sponsors and other interested parties.  The mixture of people envisioned will assure intellectual cross-fertilization and a fresh look at the issues involved.

As a committee empanelled by the National Academies, this committee will have intellectual responsibility for developing a line of thought and generating compelling reports.  The length of the process ensures that the committee will have time to learn how to communicate within its membership as well as with others, to gather relevant information and opinions, and to develop and refine a shared set of ideas.  Also, the National Academies context allows a committee to draw on its wisdom to pursue issues and lines of thought that emerge as it works: this flexibility lets us make the most of the talent assembled.

Academy committees meet, confer electronically, and build analyses through their deliberations.  The neutral auspices provided by the National Academies and the search for consensus motivates the finding of new ideas for broad communities to pursue and common ground where there are key differences of opinion.  Additional expertise from around the country is tapped in a rigorous process of review and critique, further enhancing the quality of Academy reports.  Groups of people of stature comparable to the committee and with a relevant mix of attributes are asked to submit review comments, and the committee and staff work to assure maximal constructive response to those comments.