[TYPES/announce] SAFECOMP17 Call for Papers

[Rozier, Kristin Yvonne [AER E]]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


===
CALL FOR PAPERS SAFECOMP 2017
The 36th International Conference on Computer Safety, Reliability and Security
12 - 15 September 2017
Trento, Italy
http://www.safecomp.org
===
IMPORTANT DATES:
Workshop proposal submission: 6 February 2017
Full paper submission: 28 February 2017
Notification of acceptance: May 8 2017
Camera-ready Submission:  12 June 2017
Conference: 13-15 September 2017

CO-LOCATED EVENTS:
SAFECOMP Workshops:
12 September 2017
IMBSA (International Symposium on Model-Based Safety Assessment):
11-13 September 2017
SEFM (Intern. Conference on Software Engineering and Formal Methods):
5-8 September 2017

ABOUT SAFECOMP
SAFECOMP was established in 1979 by the European Workshop on
Industrial Computer Systems, Technical Committee 7 on Reliability,
Safety and Security (EWICS TC7). Since then, it has contributed to the
progress of the state-of-the-art in dependable application of
computers in safety-related and safety-critical systems.
SAFECOMP is an annual event covering the state-of-the-art, experience
and new trends in the areas of safety, security and reliability of
critical computer applications.
SAFECOMP provides ample opportunity to exchange insights and
experience on emerging methods, approaches and practical solutions. It
is a single track conference without parallel sessions, allowing easy
networking.

TOPICS
The conference covers all aspects related to the development,
assessment, operation and maintenance of safety-related and
safety-critical computer systems. Topics include, but are not
limited to:
* Fault-tolerant and resilient hardware and software architectures
* Fault detection and recovery mechanisms
* Distributed and real-time monitoring and control
* Security and privacy protection mechanisms for safety applications
* Safety/security risk assessment
* Model-based analysis, design, and assessment
* Formal methods for verification, validation, and fault tolerance
* Probabilistic verification and validation
* In-the-loop and model-based testing
* Validation and verification methodologies and tools
* Methods for qualification, assurance and certification
* Compositional verification and certification
* Architecture-driven assurance of safety and security
* Dependability analysis using simulation and experimental measurement
* Cyber-physical threats and vulnerability analysis
* Safety guidelines, standards and certification
* Safety and security interactions and tradeoffs
* Safety and security cases
* Multi-concern dependability assurance and standardization

Domains of application include (but are not limited to):
* Railways, automotive, space, avionics, nuclear and process industries
* Autonomous systems, advanced robotics, construction engines and
off-road vehicles
* Telecommunication and networks
* Safety-related applications of smart systems and IoT (Internet of Things, 
Smart Anything Everywhere)
* Critical infrastructures, smart grids, SCADA
* Medical devices and healthcare
* Defense, emergency & rescue
* Logistics, industrial automation, off-shore technology
* Education & training

2017 SPECIAL THEME:
Design, verification, and assurance of space systems.

PAPER SUBMISSION DETAILS
The tradition of SAFECOMP is to act as a platform for bringing
academic research and industrial needs together. Therefore, industrial
contributions and real-world experience reports are explicitly
invited.
We solicit two types of papers:
1) regular papers (up to 14 pages),
2) practical experience reports and tool reports (up to 8 pages)
Papers exceeding the page limit will be excluded from the review
process.
All papers will be reviewed by at least three program committee
members. Papers must not have been previously published or
concurrently submitted elsewhere.

CONFERENCE PROCEEDINGS & JOURNAL SPECIAL ISSUE

All accepted papers will be published by Springer in the LNCS series
(Lecture Notes on Computer Science). Submitted papers must conform to
Springer LNCS author guidelines 
(www.springer.com/lncs). In addition,
extended versions of the best papers will be considered for
publication in a special issue of a safety-related international
journal.

WORKSHOPS AND EXHIBITION
It is planned to have one day for workshops. Workshop proposals are
welcome. The proposals must be sent by email to the SAFECOMP17
Workshop Chair (erwin.schoit...@ait.ac.at). 
They should include
planned scope and contents, Program Committee, and duration (one full
or half day). SAFECOMP Workshop Proceedings are planned if a properly
reviewing process is implemented.
A dedicated space will be available for a Technical Exhibition in the
area where coffee breaks and lunches take place. Organizations wishing
to present their products or projects are 

[TYPES/announce] NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium

[Rozier, Kristin Yvonne [AER E]]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


  The Eleventh NASA Formal Methods Symposium

  https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html

    7 - 9 May 2019
     Rice University, Houston, Texas, USA



Theme of the Symposium:
---
The widespread use and increasing complexity of mission-critical and 
safety-critical systems at NASA and in the aerospace industry require 
advanced techniques that address these systems' specification, design, 
verification, validation, and certification requirements. The NASA 
Formal Methods Symposium (NFM) is a forum to foster collaboration 
between theoreticians and practitioners from NASA, academia, and 
industry. NFM's goals are to identify challenges and to provide 
solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for 
uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial 
Systems (UAS), UAS Traffic Management (UTM), and the need for 
system-wide fault detection, diagnosis, and prognostics provide new 
challenges for system specification, development, and verification 
approaches. The focus of these symposiums are on formal techniques and 
other approaches for software assurance, including their theory, current 
capabilities and limitations, as well as their potential application to 
aerospace, robotics, and other NASA-relevant safety-critical systems 
during all stages of the software life-cycle.

The NASA Formal Methods Symposium is an annual event organized by the 
NASA Formal Methods (NFM) Steering Committee, comprised of researchers 
spanning several NASA centers. NFM 2019 
(https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html) is being 
co-organized by Rice University and NASA- Johnson Space Center in 
Houston, TX.

Topics of Interest:
---
We encourage submissions on cross-cutting approaches that bring together 
formal methods and techniques from other domains such as probabilistic 
reasoning, machine learning, control theory, robotics, and quantum 
computing among others.
     * Formal verification, including theorem proving, model checking, 
and static analysis
     * Advances in automated theorem proving including SAT and SMT solving
     * Use of formal methods in software and system testing
     * Run-time verification
     * Techniques and algorithms for scaling formal methods, such as 
abstraction and symbolic methods, compositional techniques, as well as 
parallel and/or distributed techniques
     * Code generation from formally verified models
     * Safety cases and system safety
     * Formal approaches to fault tolerance
     * Theoretical advances and empirical evaluations of formal methods 
techniques for safety-critical systems, including hybrid and embedded 
systems
     * Formal methods in systems engineering and model-based development
     * Correct-by-design controller synthesis
     * Formal assurance methods to handle adaptive systems


Important Dates:

Abstract Submission:  7 Dec 2018
Paper Submission:    14 Dec 2018
Paper Notifications: 22 Feb 2019
Camera-ready Papers: 22 Mar 2019
Symposium:  7-9 May 2019


Location & Cost:

The symposium will take place in the McMurtry Auditorium, Rice 
University, Houston, Texas, USA, May 7--9, 2019.

There will be no registration fee for participants. All interested 
individuals, including non-US citizens, are welcome to attend, to listen 
to the talks, and to participate in discussions; however, all attendees 
must register.


Submission Details:
---
There are two categories of submissions:

    1. Regular papers describing fully developed work and complete 
results (15 pages + references)
    2. Two categories of short papers: (6 pages + references)
    (a) Tool Papers describing novel, publicly-available tools
    (b) Case Studies detailing complete applications of formal methods 
to real systems with publicly-available artifacts

All papers should be in English and describe original work that has not 
been published or submitted elsewhere. All submissions will be fully 
reviewed by members of the Programme Committee. Papers will appear in a 
volume of Springer's Lecture Notes on Computer Science (LNCS), and must 
use LNCS style formatting. Papers should be submitted in PDF format 
here: https://easychair.org/conferences/?conf=nfm2019.


Keynote Speakers:
-
* Virginie Wiels, ONERA, France
* Richard Murray, CalTech, USA
* NASA Panel: Challenges for Future Exploration


Organizers:
---
Moshe Y. Vardi (General Chair)
Julia Badger (PC Chair)
Kristin Yvonne Rozier (PC Chair)


Programme Committee:

Erika Ábrahám, RWTH Aachen University, Germany
Dirk Beyer, LMU Munich, Germany

[TYPES/announce] NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium

[Rozier, Kristin Yvonne [AER E]]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


  The Eleventh NASA Formal Methods Symposium

  https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html

    7 - 9 May 2019
     Rice University, Houston, Texas, USA



Theme of the Symposium:
---
The widespread use and increasing complexity of mission-critical and 
safety-critical systems at NASA and in the aerospace industry require 
advanced techniques that address these systems' specification, design, 
verification, validation, and certification requirements. The NASA 
Formal Methods Symposium (NFM) is a forum to foster collaboration 
between theoreticians and practitioners from NASA, academia, and 
industry. NFM's goals are to identify challenges and to provide 
solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for 
uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial 
Systems (UAS), UAS Traffic Management (UTM), and the need for 
system-wide fault detection, diagnosis, and prognostics provide new 
challenges for system specification, development, and verification 
approaches. The focus of these symposiums are on formal techniques and 
other approaches for software assurance, including their theory, current 
capabilities and limitations, as well as their potential application to 
aerospace, robotics, and other NASA-relevant safety-critical systems 
during all stages of the software life-cycle.

The NASA Formal Methods Symposium is an annual event organized by the 
NASA Formal Methods (NFM) Steering Committee, comprised of researchers 
spanning several NASA centers. NFM 2019 
(https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html) is being 
co-organized by Rice University and NASA- Johnson Space Center in 
Houston, TX.

Topics of Interest:
---
We encourage submissions on cross-cutting approaches that bring together 
formal methods and techniques from other domains such as probabilistic 
reasoning, machine learning, control theory, robotics, and quantum 
computing among others.
     * Formal verification, including theorem proving, model checking, 
and static analysis
     * Advances in automated theorem proving including SAT and SMT solving
     * Use of formal methods in software and system testing
     * Run-time verification
     * Techniques and algorithms for scaling formal methods, such as 
abstraction and symbolic methods, compositional techniques, as well as 
parallel and/or distributed techniques
     * Code generation from formally verified models
     * Safety cases and system safety
     * Formal approaches to fault tolerance
     * Theoretical advances and empirical evaluations of formal methods 
techniques for safety-critical systems, including hybrid and embedded 
systems
     * Formal methods in systems engineering and model-based development
     * Correct-by-design controller synthesis
     * Formal assurance methods to handle adaptive systems


Important Dates:

Abstract Submission:  7 Dec 2018
Paper Submission:    14 Dec 2018
Paper Notifications: 22 Feb 2019
Camera-ready Papers: 22 Mar 2019
Symposium:  7-9 May 2019


Location & Cost:

The symposium will take place in the McMurtry Auditorium, Rice 
University, Houston, Texas, USA, May 7--9, 2019.

There will be no registration fee for participants. All interested 
individuals, including non-US citizens, are welcome to attend, to listen 
to the talks, and to participate in discussions; however, all attendees 
must register.


Submission Details:
---
There are two categories of submissions:

    1. Regular papers describing fully developed work and complete 
results (15 pages + references)
    2. Two categories of short papers: (6 pages + references)
    (a) Tool Papers describing novel, publicly-available tools
    (b) Case Studies detailing complete applications of formal methods 
to real systems with publicly-available artifacts, or substantial 
work-in-progress describing results from designing a new technique for a 
new application, with appropriate available artifacts

All papers should be in English and describe original work that has not 
been published or submitted elsewhere. All submissions will be fully 
reviewed by members of the Programme Committee. Papers will appear in a 
volume of Springer's Lecture Notes on Computer Science (LNCS), and must 
use LNCS style formatting.

Artifacts enabling reproducibility of the paper's major contributions 
are strongly encouraged and will be considered in PC evaluations. 
Appendices are allowed but will be read at the discretion of the PC. 
Websites with additional artifacts, e.g., for reproducibility or 
additional correctness proofs, are encouraged. Papers should be 

[TYPES/announce] 1st Call for Papers: NASA Formal Methods (NFM) 2023

[Rozier, Kristin-Yvonne [AER E]]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*
  The Fifteenth NASA Formal Methods Symposium

https://urldefense.com/v3/__https://conf.researchr.org/home/nfm-2023__;!!IBzWLUs!XOkKka_seEkO6JGA4HkCBe768k-xMTacQbtr9gLmwk--BYM-ajJ5_OxiisjroNJozOTN49VAqScuqWSrurRwUbdaNfWEcOBKEVI$
  

    16 - 18 May 2023
University of Houston Clear Lake, Houston, Texas, USA
*


Theme of the Symposium:
---
The widespread use and increasing complexity of mission-critical and 
safety-critical systems at NASA and in the aerospace industry require 
advanced techniques that address these systems' specification, design, 
verification, validation, and certification requirements. The NASA 
Formal Methods Symposium (NFM) is an annual forum to foster 
collaboration between theoreticians and practitioners from NASA, 
academia, and industry. NFM's goals are to identify challenges and to 
provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for 
uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial 
Systems (UAS), UAS Traffic Management (UTM), and the need for 
system-wide fault detection, diagnosis, and prognostics provide new 
challenges for system specification, development, and verification 
approaches. The focus of these symposiums are on formal techniques and 
other approaches for software assurance, including their theory, current 
capabilities and limitations, as well as their potential application to 
aerospace, robotics, and other NASA-relevant safety-critical systems 
during all stages of the software life-cycle.

Topics of Interest:
---
We encourage submissions on cross-cutting approaches that bring together 
formal methods and techniques from other domains such as probabilistic 
reasoning, machine learning, control theory, robotics, and quantum 
computing among others.
     * Formal verification, including theorem proving, model checking, 
and static analysis
     * Advances in automated theorem proving including SAT and SMT solving
     * Use of formal methods in software and system testing
     * Run-time verification
     * Techniques and algorithms for scaling formal methods, such as 
abstraction and symbolic methods, compositional techniques, as well as 
parallel and/or distributed techniques
     * Code generation from formally verified models
     * Safety cases and system safety
     * Formal approaches to fault tolerance
     * Theoretical advances and empirical evaluations of formal methods 
techniques for safety-critical systems, including hybrid and embedded 
systems
     * Formal methods in systems engineering and model-based development
     * Correct-by-design controller synthesis
     * Formal assurance methods to handle adaptive systems


Important Dates:

Abstract Submission:  9 Dec 2022
Paper Submission:    16 Dec 2022
Paper Notifications: 20 Feb 2023
Camera-ready Papers: 12 Mar 2023
Symposium:    16-18 May 2023


Location & Cost:

The symposium will take place in the STEM Building at University of 
Houston Clear Lake, Houston, Texas, USA, 16-18 May 2023.

There will be no registration fee for participants. All interested 
individuals, including non-US citizens, are welcome to attend, to listen 
to the talks, and to participate in discussions; however, all attendees 
must register.


Submission Details:
---
There are two categories of submissions:

    1. Regular papers describing fully developed work and complete 
results (15 pages + references)
    2. Two categories of short papers: (6 pages + references)
    (a) Tool Papers describing novel, publicly-available tools
    (b) Case Studies detailing complete applications of formal methods 
to real systems with publicly-available artifacts

All papers should be in English and describe original work that has not 
been published or submitted elsewhere. All submissions will be fully 
reviewed by members of the Programme Committee. Papers will appear in 
the Formal Methods subline of Springer's Lecture Notes in Computer 
Science (LNCS) and must use LNCS style formatting 
(https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!XOkKka_seEkO6JGA4HkCBe768k-xMTacQbtr9gLmwk--BYM-ajJ5_OxiisjroNJozOTN49VAqScuqWSrurRwUbdaNfWEAkBEOs4$
  ). 
Papers must be submitted in PDF format at the EasyChair submission site:

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=nfm2023__;!!IBzWLUs!XOkKka_seEkO6JGA4HkCBe768k-xMTacQbtr9gLmwk--BYM-ajJ5_OxiisjroNJozOTN49VAqScuqWSrurRwUbdaNfWE4aF5qnY$
  


Organizers:
---
Swarat Chaudhuri (UT Austin)
Jim Dabney (University of Houston Clear Lake/NASA JSC)
Kristin Yvonne Rozier 

[TYPES/announce] NFM 2023: Deadline extension & final CFP

[Rozier, Kristin-Yvonne [AER E]]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Due to numerous requests, we have extended the submission deadline.

*
  The Fifteenth NASA Formal Methods Symposium

https://urldefense.com/v3/__https://conf.researchr.org/home/nfm-2023__;!!IBzWLUs!U7Di2ZFaaP6ZgPiAiBcTszXTXV5PwERR3IZMv_UVba9i748-qcATGKPMuHo96dfKdvjZ8BbeePg5nF0qfEe1rr59-c6ph5tKm8I$
 

    16 - 18 May 2023
University of Houston Clear Lake, Houston, Texas, USA
*


Theme of the Symposium:
---
The widespread use and increasing complexity of mission-critical and 
safety-critical systems at NASA and in the aerospace industry require 
advanced techniques that address these systems' specification, design, 
verification, validation, and certification requirements. The NASA 
Formal Methods Symposium (NFM) is an annual forum to foster 
collaboration between theoreticians and practitioners from NASA, 
academia, and industry. NFM's goals are to identify challenges and to 
provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for 
uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial 
Systems (UAS), UAS Traffic Management (UTM), and the need for 
system-wide fault detection, diagnosis, and prognostics provide new 
challenges for system specification, development, and verification 
approaches. The focus of these symposiums are on formal techniques and 
other approaches for software assurance, including their theory, current 
capabilities and limitations, as well as their potential application to 
aerospace, robotics, and other NASA-relevant safety-critical systems 
during all stages of the software life-cycle.

Topics of Interest:
---
We encourage submissions on cross-cutting approaches that bring together 
formal methods and techniques from other domains such as probabilistic 
reasoning, machine learning, control theory, robotics, and quantum 
computing among others.
     * Formal verification, including theorem proving, model checking, 
and static analysis
     * Advances in automated theorem proving including SAT and SMT solving
     * Use of formal methods in software and system testing
     * Run-time verification
     * Techniques and algorithms for scaling formal methods, such as 
abstraction and symbolic methods, compositional techniques, as well as 
parallel and/or distributed techniques
     * Code generation from formally verified models
     * Safety cases and system safety
     * Formal approaches to fault tolerance
     * Theoretical advances and empirical evaluations of formal methods 
techniques for safety-critical systems, including hybrid and embedded 
systems
     * Formal methods in systems engineering and model-based development
     * Correct-by-design controller synthesis
     * Formal assurance methods to handle adaptive systems


Important Dates:

Abstract Submission:  6 Jan 2023 (firm)
Paper Submission: 6 Jan 2023 (firm)
Paper Notifications:  6 Mar 2023
Camera-ready Papers: 27 Mar 2023
Symposium:    16-18 May 2023


Location & Cost:

The symposium will take place in the STEM Building at University of 
Houston Clear Lake, Houston, Texas, USA, 16-18 May 2023.

There will be no registration fee for participants. All interested 
individuals, including non-US citizens, are welcome to attend, to listen 
to the talks, and to participate in discussions; however, all attendees 
must register.


Submission Details:
---
There are two categories of submissions:

    1. Regular papers describing fully developed work and complete 
results (15 pages + references)
    2. Two categories of short papers: (6 pages + references)
    (a) Tool Papers describing novel, publicly-available tools
    (b) Case Studies detailing complete applications of formal methods 
to real systems with publicly-available artifacts

All papers should be in English and describe original work that has not 
been published or submitted elsewhere. All submissions will be fully 
reviewed by members of the Programme Committee. Papers will appear in 
the Formal Methods subline of Springer's Lecture Notes in Computer 
Science (LNCS) and must use LNCS style formatting 
(https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!U7Di2ZFaaP6ZgPiAiBcTszXTXV5PwERR3IZMv_UVba9i748-qcATGKPMuHo96dfKdvjZ8BbeePg5nF0qfEe1rr59-c6ptZg8Z_E$
 ). 
Papers must be submitted in PDF format at the EasyChair submission site:

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=nfm2023__;!!IBzWLUs!U7Di2ZFaaP6ZgPiAiBcTszXTXV5PwERR3IZMv_UVba9i748-qcATGKPMuHo96dfKdvjZ8BbeePg5nF0qfEe1rr59-c6p1bqxtwc$
 


Keynote Speakers:
-
Julia Badger, NASA 

[TYPES/announce] Call for Papers: NASA Formal Methods (NFM) 2023

[Rozier, Kristin-Yvonne [AER E]]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*
  The Fifteenth NASA Formal Methods Symposium

https://urldefense.com/v3/__https://conf.researchr.org/home/nfm-2023__;!!IBzWLUs!TNwWDVGGjF5GKWPzLkg1kPtWoG8XbHzoEwK1GcdcpBBaZP5zeJYQK9QR_kD2xbkX6f0XVWinRMMge4dgmcWC2OM56Ay0Ck6ZXzM$
 

    16 - 18 May 2023
University of Houston Clear Lake, Houston, Texas, USA
*


Theme of the Symposium:
---
The widespread use and increasing complexity of mission-critical and 
safety-critical systems at NASA and in the aerospace industry require 
advanced techniques that address these systems' specification, design, 
verification, validation, and certification requirements. The NASA 
Formal Methods Symposium (NFM) is an annual forum to foster 
collaboration between theoreticians and practitioners from NASA, 
academia, and industry. NFM's goals are to identify challenges and to 
provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for 
uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial 
Systems (UAS), UAS Traffic Management (UTM), and the need for 
system-wide fault detection, diagnosis, and prognostics provide new 
challenges for system specification, development, and verification 
approaches. The focus of these symposiums are on formal techniques and 
other approaches for software assurance, including their theory, current 
capabilities and limitations, as well as their potential application to 
aerospace, robotics, and other NASA-relevant safety-critical systems 
during all stages of the software life-cycle.

Topics of Interest:
---
We encourage submissions on cross-cutting approaches that bring together 
formal methods and techniques from other domains such as probabilistic 
reasoning, machine learning, control theory, robotics, and quantum 
computing among others.
     * Formal verification, including theorem proving, model checking, 
and static analysis
     * Advances in automated theorem proving including SAT and SMT solving
     * Use of formal methods in software and system testing
     * Run-time verification
     * Techniques and algorithms for scaling formal methods, such as 
abstraction and symbolic methods, compositional techniques, as well as 
parallel and/or distributed techniques
     * Code generation from formally verified models
     * Safety cases and system safety
     * Formal approaches to fault tolerance
     * Theoretical advances and empirical evaluations of formal methods 
techniques for safety-critical systems, including hybrid and embedded 
systems
     * Formal methods in systems engineering and model-based development
     * Correct-by-design controller synthesis
     * Formal assurance methods to handle adaptive systems


Important Dates:

Abstract Submission:  9 Dec 2022
Paper Submission:    16 Dec 2022
Paper Notifications: 20 Feb 2023
Camera-ready Papers: 12 Mar 2023
Symposium:    16-18 May 2023


Location & Cost:

The symposium will take place in the STEM Building at University of 
Houston Clear Lake, Houston, Texas, USA, 16-18 May 2023.

There will be no registration fee for participants. All interested 
individuals, including non-US citizens, are welcome to attend, to listen 
to the talks, and to participate in discussions; however, all attendees 
must register.


Submission Details:
---
There are two categories of submissions:

    1. Regular papers describing fully developed work and complete 
results (15 pages + references)
    2. Two categories of short papers: (6 pages + references)
    (a) Tool Papers describing novel, publicly-available tools
    (b) Case Studies detailing complete applications of formal methods 
to real systems with publicly-available artifacts

All papers should be in English and describe original work that has not 
been published or submitted elsewhere. All submissions will be fully 
reviewed by members of the Programme Committee. Papers will appear in 
the Formal Methods subline of Springer's Lecture Notes in Computer 
Science (LNCS) and must use LNCS style formatting 
(https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!TNwWDVGGjF5GKWPzLkg1kPtWoG8XbHzoEwK1GcdcpBBaZP5zeJYQK9QR_kD2xbkX6f0XVWinRMMge4dgmcWC2OM56Ay0gHg_8X4$
 ). 
Papers must be submitted in PDF format at the EasyChair submission site:

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=nfm2023__;!!IBzWLUs!TNwWDVGGjF5GKWPzLkg1kPtWoG8XbHzoEwK1GcdcpBBaZP5zeJYQK9QR_kD2xbkX6f0XVWinRMMge4dgmcWC2OM56Ay05Yjshho$
 


Keynote Speakers:
-
Julia Badger, NASA Johnson Space Center
Ken McMillan, UT Austin
Sanjit Seshia, UC Berkeley

[TYPES/announce] FMCAD 2023 Student Forum: Call for Contributions

[Rozier, Kristin-Yvonne [AER E]]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(apologies for multiple copies)

==
  2023 Formal Methods in Computer-Aided Design (FMCAD): Student Forum
   October 23-27, Ames, Iowa, USA


   Call for Student Contributions!

==

Please consider submitting or encouraging your students to submit to
this year's FMCAD student forum. More information can be found here:

https://urldefense.com/v3/__https://fmcad.org/FMCAD23/student_forum/__;!!IBzWLUs!V9w1pljmm4ILAWcDnSpWzLEuZZLIYoePvPoOsmD9F5VpweyksJbcY0bUKG6PYSVYrsy0SB2_UX5knEyT6rQSO-TztC0fys_sC6g$
 


Student Forum
Continuing the tradition of the previous years, FMCAD 2023 is hosting
a Student Forum that provides a platform for students at any career
stage (undergraduate or graduate) to introduce their research to the
wider Formal Methods community, and solicit feedback.

Main Activities
Each student will give a short presentation and present their poster
in the poster session.

Submissions for the event must be short reports describing research
ideas or ongoing work that the student is currently pursuing and must
be within the scope of FMCAD. Work, part of which has been previously
published, will be considered; the novel aspect to be addressed in
future work must be clearly described in such cases. All submissions
will be reviewed by the Student Forum's program committee.

Important Dates
Student forum submission: July 12, 2023
Student forum notification: Aug 10, 2023
These deadlines are 11:59 pm AoE (Anywhere on Earth)

Format
The event will consist of short presentations by the student authors
of each accepted submission and of a poster that will be on display
throughout the duration of the conference. All participants of the
conference are encouraged to attend the talks and approach the
students during the poster presentation. Instructions for the
preparation of the talks and poster sessions will be announced on
notification of acceptance.

Visibility
Accepted submissions will be listed, with title and author name, in
the event description in the conference proceedings. The authors will
also have the option to upload their slide deck/poster/presentation to
the FMCAD website. The report itself will not appear in the FMCAD
proceedings. Thus, the presentation at the forum should not interfere
with potential future submissions of this research (to FMCAD or
elsewhere).

Travel Awards
Most of the applicants will receive travel reimbursement after the
conference (the amount of support will be announced later). The first
author of each contribution will be given priority over other authors.
Please make sure you hold on to all receipts for reimbursement.
Further instructions on how to apply for travel grants will be on the
website.

--

  
 __
/\   \ \_
   /  \   ###[==_>
  /\ /_/  __
 /  __  \ \ \_
 | (  ) |  ###[==_>
/| /\/\ |\/_/
   / | |  | | \
  /  |=|==|=|  \   Kristin Yvonne Rozier, Ph.D.
/| |  | |\ Associate Professor, Iowa State Univ
   / USA | ~||~ |NASA \Departments of Aerospace Engineering,
  |__|  ~~  |__| Computer Science, Mathematics, and
 (__||__)Electrical and Computer Engineering
 /_\  /_\
 !!!  !!!  laboratory.temporallogic.org