[TYPES/announce] Deadline extension: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2023 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Cascais, Portugal, October 22, 2023 (an OOPSLA/SPLASH 2023 workshop) https://urldefense.com/v3/__https://2023.splashcon.org/home/ftscs-2023__;!!IBzWLUs!WnV6Phm_WBNyKlpQV1h14K2-CPRkzfmPrV-pl0OHuTM4FgaC8tBz5n6oIvXV1WR6BqU0LcN-ZuSG_3VX980hyiCCLugKg5_I$ - *** Submission deadline extended to July 21 *** *** ACM Digital Library proceedings *** *** Science of Computer Programming special issue (tbc) *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, medical systems, and autonomous vehicles. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (10 pages max, ACM format); B- applications and experiences (10 pages max, ACM format); C- surveys, comparisons, and state-of-the-art reports (10 pages max, ACM); D- tool papers (5 pages max, ACM format); E- position papers and work in progress (5 pages max, ACM format) related to the topics mentioned above. (The page limits do not include the references.) KTH currently does not allow collaboration with Russia or Belarus. We therefore cannot accept papers with affiliation in Russia or Belarus. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via HotCRP at https://urldefense.com/v3/__https://ftscs23.hotcrp.com/__;!!IBzWLUs!WnV6Phm_WBNyKlpQV1h14K2-CPRkzfmPrV-pl0OHuTM4FgaC8tBz5n6oIvXV1WR6BqU0LcN-ZuSG_3VX980hyiCCLncKr3YW$ . Submissions should be prepared in LaTeX, adhering to the ACM format available at https://urldefense.com/v3/__https://www.acm.org/publications/proceedings-template__;!!IBzWLUs!WnV6Phm_WBNyKlpQV1h14K2-CPRkzfmPrV-pl0OHuTM4FgaC8tBz5n6oIvXV1WR6BqU0LcN-ZuSG_3VX980hyiCCLi_sLJEw$ using the "sigplan" option. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2023. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in the ACM Digital Library. As usual, we plan to invite authors of selected accepted papers to submit extended versions of their papers to a special issue of the Science of Computer Programming journal (to be confirmed). Important dates: Submission deadline: extended to July 21, 2023 (AoE) Notification of acceptance: August 27, 2023 Camera ready paper due: September 10, 2023 Workshop: October 22, 2023 Venue: Cascais, Portugal Program chairs: Cyrille ArthoKTH Royal Institute of Technology, Sweden Peter Olveczky University of Oslo, Norway Program committee: Etienne AndreUniversity Sorbonne Paris Nord, France Cyrille ArthoKTH Royal Institute of Technology, Sweden Kyungmin Bae Pohang University of Science and Technology, Korea Armin Biere Albert-Ludwigs-University Freiburg, Germany Patricia Derler Zoox, USA Alessandro Fantechi University of Florence, Italy Marie FarrellUniversity of Manchester, UK Osman Hasan
[TYPES/announce] CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2023 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Cascais, Portugal, October 22, 2023 (an OOPSLA/SPLASH 2023 workshop) https://urldefense.com/v3/__https://2023.splashcon.org/home/ftscs-2023__;!!IBzWLUs!X97lXsm62r0gVUBnEIC00goojvG-mdeP_KG6915xzU447KINWCJ1yWwxMnTHIL-3kE6JgcLBvpYdTiQ8qNxS6SGL6kmFZKVL$ - *** Submission deadline July 12 *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, medical systems, and autonomous vehicles. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (10 pages max, ACM format); B- applications and experiences (10 pages max, ACM format); C- surveys, comparisons, and state-of-the-art reports (10 pages max, ACM); D- tool papers (5 pages max, ACM format); E- position papers and work in progress (5 pages max, ACM format) related to the topics mentioned above. (The page limits do not include the references.) KTH currently does not allow collaboration with Russia or Belarus. We therefore cannot accept papers with affiliation in Russia or Belarus. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via HotCRP at https://urldefense.com/v3/__https://ftscs23.hotcrp.com/__;!!IBzWLUs!X97lXsm62r0gVUBnEIC00goojvG-mdeP_KG6915xzU447KINWCJ1yWwxMnTHIL-3kE6JgcLBvpYdTiQ8qNxS6SGL6p32TsYu$ . Submissions should be prepared in LaTeX, adhering to the ACM format available at https://urldefense.com/v3/__https://www.acm.org/publications/proceedings-template__;!!IBzWLUs!X97lXsm62r0gVUBnEIC00goojvG-mdeP_KG6915xzU447KINWCJ1yWwxMnTHIL-3kE6JgcLBvpYdTiQ8qNxS6SGL6uhN87Xo$ using the "sigplan" option. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2023. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in the ACM Digital Library. As usual, we plan to invite authors of selected accepted papers to submit extended versions of their papers to a special issue of the Science of Computer Programming journal (to be confirmed). Important dates: Submission deadline: July 12, 2023 Notification of acceptance: August 27, 2023 Camera ready paper due: September 10, 2023 Workshop: October 22, 2023 Venue: Cascais, Portugal Program chairs: Cyrille ArthoKTH Royal Institute of Technology, Sweden Peter Olveczky University of Oslo, Norway Program committee: Etienne AndreUniversity Sorbonne Paris Nord, France Cyrille ArthoKTH Royal Institute of Technology, Sweden Kyungmin Bae Pohang University of Science and Technology, Korea Armin Biere Albert-Ludwigs-University Freiburg, Germany Patricia Derler Zoox, USA Alessandro Fantechi University of Florence, Italy Marie FarrellUniversity of Manchester, UK Osman Hasan National University of Sciences & Technology, Pakistan Eduard Kamburjan University of Oslo, Norway Alexander Knapp
[TYPES/announce] PhD position in formal methods at the University of Oslo
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 3 year PhD research fellowship available in formal methods at the University of Oslo: Rewrite-based methods for real-time systems. ** Application deadline February 28, 2023 ** ** Competitive salary ** See https://urldefense.com/v3/__https://www.jobbnorge.no/en/available-jobs/job/239420/phd-research-fellow-in-formal-methods-for-real-time-systems__;!!IBzWLUs!Q341qFmiVQefQTniHI0J0ieZvTdGDhk36c1-O62EiVZTyxIUC4lDL-vFn_iTE2V6N8ZndVExmsNhQc-RZfpQDSbJxJQ1_sXd$ for details and on how to apply. --- This PhD project is part of a broader project which aims at developing formal modeling languages and analysis methods that can be successfully applied to complex modern cyber-physical systems. In particular, the goal of this PhD project is to integrate symbolic analysis methods, such as narrowing analysis and SMT solving, into rewriting-based analysis techniques for real-time and hybrid/cyber-physical systems, and into tools such as Real-Time Maude and Synchronous AADL. The project also involves researchers at the University Sorbonne Paris Nord, POSTECH Korea, University of Illinois at Urbana-Champaign, and others. ** Apply online https://urldefense.com/v3/__https://www.jobbnorge.no/jobseeker/*/application/apply/239420__;Iw!!IBzWLUs!Q341qFmiVQefQTniHI0J0ieZvTdGDhk36c1-O62EiVZTyxIUC4lDL-vFn_iTE2V6N8ZndVExmsNhQc-RZfpQDSbJxA2rAWnE$ *before February 28, 2023* --- Contact Professor Peter Ölveczky (peterol AT ifi.uio.no) for more information about the position.
[TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'18)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2018 6th International Workshop on Formal Techniques for Safety-Critical Systems Gold Coast, Australia, November 16, 2018 (satellite workshop of ICFEM 2018) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** *** Extended and final submission deadline: September 11, 2018 *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, medical systems, and autonomous vehicles. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (16 pages max, LNCS format); B- applications and experiences (16 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (16 pages max, LNCS); D- tool papers (6 pages max, LNCS format); E- position papers and work in progress (6 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2018. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2018. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 11, 2018 (extended and final) Notification of acceptance: October 5, 2018 Workshop: November 16, 2018 Venue: Gold Coast, Australia Program chairs: Cyrille ArthoKTH Royal Institute of Technology, Sweden Peter Olveczky University of Oslo, Norway Program committee: Etienne AndreUniversity Paris 13, France Toshiaki AokiJAIST, Japan Cyrille ArthoKTH Royal Institute of Technology, Sweden Kyungmin Bae Pohang University of Science and Technology, Korea Daniel Fava University of Oslo, Norway Sabine Glesner Technical University of Berlin, Germany Osman Hasan National University of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Jerome HuguesInstitute for Space and Aeronautics Engineering, France Marieke Huisman University of Twente, The Netherlands Ralf Huuck Synopsys, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Thierry Lecomte ClearSy System Engineering, France Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli "Federico II", Italy Thomas Noll
[TYPES/announce] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'18)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2018 6th International Workshop on Formal Techniques for Safety-Critical Systems Gold Coast, Australia, November 16, 2018 (satellite workshop of ICFEM 2018) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Submission deadline: September 4, 2018 Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, medical systems, and autonomous vehicles. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (16 pages max, LNCS format); B- applications and experiences (16 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (16 pages max, LNCS); D- tool papers (6 pages max, LNCS format); E- position papers and work in progress (6 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2018. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2018. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 4, 2018 Notification of acceptance: October 5, 2018 Workshop: November 16, 2018 Venue: Gold Coast, Australia Program chairs: Cyrille ArthoKTH Royal Institute of Technology, Sweden Peter Olveczky University of Oslo, Norway Program committee: Etienne AndreUniversity Paris 13, France Toshiaki AokiJAIST, Japan Cyrille ArthoKTH Royal Institute of Technology, Sweden Kyungmin Bae Pohang University of Science and Technology, Korea Daniel Fava University of Oslo, Norway Sabine Glesner Technical University of Berlin, Germany Osman Hasan National University of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Jerome HuguesInstitute for Space and Aeronautics Engineering, France Marieke Huisman University of Twente, The Netherlands Ralf Huuck Synopsys, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Thierry Lecomte ClearSy System Engineering, France Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli "Federico II", Italy Thomas Noll RWTH Aachen University, Germany Peter Olveczky
[TYPES/announce] 2nd CfP and Deadline extension: FACS'18 -- 15th Int'l Conf on Formal Aspects of Component Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers FACS 2018 15th International Conference on Formal Aspects of Component Software Pohang, Korea, October 10-12, 2018 http://sevlab.postech.ac.kr/facs18 - IMPORTANT DATES Abstract submission deadline: June 15, 2018 (AoE) (extended!) Paper submission deadline: June 25, 2018 (AoE) (extended!) Notification: August 7, 2018 Conference: Oct 10-12, 2018 OVERVIEW AND SCOPE Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2018 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * components for the Internet of things and cyber-physical systems; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. PAPER SUBMISSION We solicit submissions, related to the topics mentioned above, in the following categories: A) original research contributions (18 pages max); B) applications and experiences (18 pages max); C) surveys, comparisons, and state-of-the-art reports (18 pages max); D) tool papers (6 pages max). All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2018. Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). In addition, we solicit submissions to the Doctoral Track of FACS 2018, in the form of abstracts (3 pages max) concisely capturing work in progress, research questions, envisaged contributions, and/or partial results. Doctoral Track submission deadline: August 5, 2018 (AoE) Doctoral Track notification: August 15, 2018 PUBLICATION All accepted papers in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in Springer’s LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. INVITED SPEAKERS Edward A. Lee (University of California, Berkeley) Grigore Rosu(University of Illinois, Urbana-Champaign) PROGRAM COMMITTEE Farhad Arbab(CWI & Leiden University) Cyrille Artho (KTH Royal Institute of Technology) Kyungmin Bae (chair)(Pohang University of Science and Technology) Luis Barbosa(University of Minho) Simon Bliudze (INRIA Lille) Roberto Bruni (University of Pisa) Zhenbang Chen (National University of Defense Technology) Yunja Choi (Kyungpook National University) Jose Luiz Fiadeiro (Royal Holloway University of London) Xudong He (Florida International University) Sung-Shik Jongmans (Open University of the Netherlands) Yunho Kim (Korea Advanced Institute of Science and Technology) Olga
[TYPES/announce] Call for Papers: 15th International Conference on Formal Aspects of Component Software (FACS'18)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers FACS 2018 15th International Conference on Formal Aspects of Component Software Pohang, Korea, October 10-12, 2018 http://sevlab.postech.ac.kr/facs18 - IMPORTANT DATES Abstract submission deadline: June 8, 2018 (AoE) Paper submission deadline: June 15, 2018 (AoE) Notification: August 7, 2018 Conference: Oct 10-12, 2018 OVERVIEW AND SCOPE Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2018 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * components for the Internet of things and cyber-physical systems; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. PAPER SUBMISSION We solicit submissions, related to the topics mentioned above, in the following categories: A) original research contributions (18 pages max); B) applications and experiences (18 pages max); C) surveys, comparisons, and state-of-the-art reports (18 pages max); D) tool papers (6 pages max). All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2018. Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). In addition, we solicit submissions to the Doctoral Track of FACS 2018, in the form of abstracts (3 pages max) concisely capturing work in progress, research questions, envisaged contributions, and/or partial results. Doctoral Track submission deadline: August 5, 2018 (AoE) Doctoral Track notification: August 15, 2018 PUBLICATION All accepted papers in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in Springer’s LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. INVITED SPEAKERS Edward A. Lee (University of California, Berkeley) Grigore Rosu(University of Illinois, Urbana-Champaign) PROGRAM COMMITTEE Farhad Arbab(CWI and Leiden University) Cyrille Artho (KTH Royal Institute of Technology) Kyungmin Bae (chair)(Pohang University of Science and Technology) Luis Barbosa(University of Minho) Simon Bliudze (INRIA Lille) Roberto Bruni (University of Pisa) Zhenbang Chen (National University of Defense Technology) Yunja Choi (Kyungpook National University) Jose Luiz Fiadeiro (Royal Holloway University of London) Xudong He (Florida International University) Sung-Shik Jongmans (Open University of the Netherlands) Yunho Kim (Korea Advanced Institute of Science and Technology) Olga Kouchnarenko (FEMTO-ST & University
[TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'16)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2016 5th International Workshop on Formal Techniques for Safety-Critical Systems Tokyo, November 14/15, 2016 (satellite workshop of ICFEM 2016) http://www.ftscs.org - *** Deadline extension: Final submission deadline September 11 *** *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2016. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2016. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 4, 2016; extended to September 11, 2016 Notification of acceptance: October 7, 2016 Workshop: November 14/15, 2016 Venue: Tokyo, Japan Program chairs: Cyrille ArthoAIST, Japan and KTH, Sweden Peter Olveczky University of Oslo, Norway Program committee: Etienne AndreUniversity Paris 13, France Toshiaki AokiJAIST, Japan Cyrille ArthoAIST, Japan and KTH, Sweden Kyungmin Bae Pohang University of Science and Technology, Korea Eun-Hye Choi AIST, Japan Alessandro Fantechi University of Florence and ISTI-CNR, Pisa, Italy Bernd FischerStellenbosch University, South Africa Osman Hasan National University of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Jerome HuguesInstitute for Space and Aeronautics Engineering, France Marieke Huisman University of Twente, The Netherlands Ralf Huuck Synopsys, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Thierry Lecomte ClearSy System Engineering, France Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone
[TYPES/announce] Associate professor position in information security at the University of Oslo
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have an opening for an associate professor position (tenured/permanent) in information security at the Department of Informatics, University of Oslo. Application deadline: August 31, 2016. Further information about the position and details about how to apply are given at http://uio.easycruit.com/vacancy/1648101/64290?iso=no
[TYPES/announce] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'16)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2016 5th International Workshop on Formal Techniques for Safety-Critical Systems Tokyo, November 14/15, 2016 (satellite workshop of ICFEM 2016) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2016. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2016. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 4, 2016 Notification of acceptance: October 7, 2016 Workshop: November 14/15, 2016 Venue: Tokyo, Japan Program chairs: Cyrille ArthoAIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Etienne AndreUniversity Paris 13, France Toshiaki AokiJAIST, Japan Cyrille ArthoAIST, Japan Kyungmin Bae Pohang University of Science and Technology, Korea Eun-Hye Choi AIST, Japan Alessandro Fantechi University of Florence and ISTI-CNR, Pisa, Italy Bernd FischerStellenbosch University, South Africa Osman Hasan National University of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Jerome HuguesInstitute for Space and Aeronautics Engineering, France Marieke Huisman University of Twente, The Netherlands Ralf Huuck Synopsys, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Thierry Lecomte ClearSy System Engineering, France Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli "Federico II", Italy Vivek Nigam Federal University of ParaÃba, Brazil Thomas Noll RWTH Aachen
[TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2015 4th International Workshop on Formal Techniques for Safety-Critical Systems Paris, November 6, 2015 (satellite workshop of ICFEM 2015) http://www.ftscs.org - *** Extended deadlines: --- abstract submission: September 11 --- paper submission: September 13 *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2015. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2015. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: (Extended) abstract submission deadline: September 11, 2015 (AoE) (Extended) paper submission deadline: September 13, 2015 (AoE) Notification of acceptance: October 5, 2015 Workshop: November 6/7, 2015 Venue: Paris, France (city center!) Program chairs: Cyrille ArthoAIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Musab AlTurkiKing Fahd U. of Petroleum and Minerals, Saudi Arabia Etienne AndreUniversity Paris 13, France Toshiaki AokiJAIST, Japan Cyrille ArthoAIST, Japan Kyungmin Bae SRI International, USA David Broman KTH, Sweden and UC Berkeley, USA Bernd FischerStellenbosch University, South Africa Osman Hasan National U. of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Brian Larson Kansas State University, USA Wenchao Li SRI International, USA Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli "Federico II", Italy Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur
[TYPES/announce] 2nf CfP: Formal Techniques for Safety-Critical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2015 4th International Workshop on Formal Techniques for Safety-Critical Systems Paris, November 6, 2015 (satellite workshop of ICFEM 2015) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** *** Paper submission deadline: September 5 *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2015. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2015. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 5, 2015 Notification of acceptance: October 5, 2015 Workshop: November 6/7, 2015 Venue: Paris, France (city center!) Program chairs: Cyrille ArthoAIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Musab AlTurkiKing Fahd U. of Petroleum and Minerals, Saudi Arabia Etienne AndreUniversity Paris 13, France Toshiaki AokiJAIST, Japan Cyrille ArthoAIST, Japan Kyungmin Bae SRI International, USA David Broman KTH, Sweden and UC Berkeley, USA Bernd FischerStellenbosch University, South Africa Osman Hasan National U. of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Brian Larson Kansas State University, USA Wenchao Li SRI International, USA Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli "Federico II", Italy Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de
[TYPES/announce] 1st CfP: 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2015 4th International Workshop on Formal Techniques for Safety-Critical Systems Paris, November 6, 2015 (satellite workshop of ICFEM 2015) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** *** Paper submission deadline: September 5 *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2015. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2015. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 5, 2015 Notification of acceptance: October 5, 2015 Workshop: November 6/7, 2015 Venue: Paris, France (city center!) Program chairs: Cyrille ArthoAIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Musab AlTurkiKing Fahd U. of Petroleum and Minerals, Saudi Arabia Etienne AndreUniversity Paris 13, France Toshiaki AokiJAIST, Japan Cyrille ArthoAIST, Japan Kyungmin Bae Carnegie Mellon University, USA David Broman KTH, Sweden and UC Berkeley, USA Bernd FischerStellenbosch University, South Africa Osman Hasan National U. of Sciences Technology, Pakistan Klaus Havelund NASA JPL, USA Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Brian Larson Kansas State University, USA Wenchao Li SRI International, USA Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli Federico II, Italy Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de
[TYPES/announce] Final CfP/Deadline extension: International Conference on Formal Aspects of Component Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers FACS 2015 12th International Conference on Formal Aspects of Component Software Rio de Janeiro, Brazil, October 14-16, 2015 http://facs2015.ic.uff.br - *** (Extended) Paper submission deadline:July 12 OVERVIEW AND SCOPE Component-based software development proposes sound engineering principles and techniques to cope with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain. Furthermore, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones in order to take advantage of the opportunities offered by those architectures. As software applications themselves become components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on resources that can change in various ways. FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures and the systems that now pervade the world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, ensembles, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * model-based and GUI-based testing of components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * probabilistic techniques for modeling and verification; * case studies and experience reports; * update and reconfiguration of component and service architectures; * formal and rigorous approaches to software adaptation and self-adaptive systems; * tools supporting formal methods for components and services. PAPER SUBMISSION We solicit high-quality submissions, related to the topics mentioned above, in the following categories: A) original research contributions (18 pages max); B) applications and experiences (18 pages max); C) surveys, comparisons, and state-of-the-art reports (18 pages max); D) tool papers (6 pages max). In addition, we solicit submissions to the Doctoral Track of FACS 2015, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2015. Papers must be formatted according to the guidelines for Springer LNCS papers. PUBLICATION All accepted papers will appear in the pre-proceedings of FACS 2015. Accepted papers in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. IMPORTANT DATES Paper submission deadline: July 12 (AoE) (extended) Notification: August 28 Conference: Oct 14-16 INVITED SPEAKERS Martin Wirsing Ludwig-Maximilians-University Munich David Deharbe Universidade Federal do Rio Grande do Norte, Brazil Renato CerqueiraIBM Research, Brazil PROGRAM COMMITTEE CHAIRS Christiano BragaUniversidade Federal Fluminense Peter Olveczky University of Oslo PROGRAM COMMITTEE Dalal Alrajeh Imperial College Farhad ArbabCWI and Leiden University Cyrille Artho AIST Kyungmin BaeCarnegie-Mellon University Luis BarbosaUniversidade do Minho Christiano BragaUniversidade Federal Fluminense
[TYPES/announce] Deadline extension: FACS'15
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers FACS 2015 12th International Conference on Formal Aspects of Component Software Rio de Janeiro, Brazil, October 14-16, 2015 http://facs2015.ic.uff.br - *** (Extended) Abstract submission deadline: July 3 *** (Extended) Paper submission deadline:July 8 OVERVIEW AND SCOPE Component-based software development proposes sound engineering principles and techniques to cope with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain. Furthermore, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones in order to take advantage of the opportunities offered by those architectures. As software applications themselves become components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on resources that can change in various ways. FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures and the systems that now pervade the world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, ensembles, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * model-based and GUI-based testing of components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * probabilistic techniques for modeling and verification; * case studies and experience reports; * update and reconfiguration of component and service architectures; * formal and rigorous approaches to software adaptation and self-adaptive systems; * tools supporting formal methods for components and services. PAPER SUBMISSION We solicit high-quality submissions, related to the topics mentioned above, in the following categories: A) original research contributions (18 pages max); B) applications and experiences (18 pages max); C) surveys, comparisons, and state-of-the-art reports (18 pages max); D) tool papers (6 pages max). In addition, we solicit submissions to the Doctoral Track of FACS 2015, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2015. Papers must be formatted according to the guidelines for Springer LNCS papers. PUBLICATION All accepted papers will appear in the pre-proceedings of FACS 2015. Accepted papers in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. IMPORTANT DATES Abstract submission deadline: July 3 (AoE) (extended and final) Paper submission deadline: July 8 (AoE) (extended and final) Notification: August 28 Conference: Oct 14-16 INVITED SPEAKERS Martin Wirsing Ludwig-Maximilians-University Munich David Deharbe Universidade Federal do Rio Grande do Norte, Brazil Renato CerqueiraIBM Research, Brazil PROGRAM COMMITTEE CHAIRS Christiano BragaUniversidade Federal Fluminense Peter Olveczky University of Oslo PROGRAM COMMITTEE Dalal Alrajeh Imperial College Farhad ArbabCWI and Leiden University Cyrille Artho AIST Kyungmin Bae
[TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'14)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2014 3rd International Workshop on Formal Techniques for Safety-Critical Systems Luxembourg, November 6-7, 2014 (satellite workshop of ICFEM 2014) http://www.ftscs.org - *** Submission deadline extended to September 12 *** *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2014. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2014. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Extended submission deadline: September 12, 2014 Notification of acceptance: October 3, 2014 Workshop: November 6/7, 2014 Venue: Luxembourg Program chairs: Cyrille ArthoAIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika AbrahamRWTH Aachen University, Germany Musab AlTurkiKing Fahd Univ. of Petroleum and Minerals, Saudi Arabia Toshiaki AokiJAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille ArthoAIST, Japan Kyungmin Bae University of Illinois at Urbana-Champaign, USA Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Ansgar Fehnker University of the South Pacific, Fiji Mamoun FilaliIRIT, France Bernd FischerStellenbosch University, South Africa Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Yang Liu Nanyang Technological University, Singapore Frederic Mallet INRIA Sophia Antipolis, France Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles
[TYPES/announce] 2nd CfP: Formal Techniques for Safety-Critical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2014 3rd International Workshop on Formal Techniques for Safety-Critical Systems Luxembourg, November 6-7, 2014 (satellite workshop of ICFEM 2014) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2014. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2014. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 6, 2014 Notification of acceptance: October 3, 2014 Workshop: November 6/7, 2014 Venue: Luxembourg Program chairs: Cyrille ArthoAIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika AbrahamRWTH Aachen University, Germany Musab AlTurkiKing Fahd Univ. of Petroleum and Minerals, Saudi Arabia Toshiaki AokiJAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille ArthoAIST, Japan Kyungmin Bae University of Illinois at Urbana-Champaign, USA Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Ansgar Fehnker University of the South Pacific, Fiji Mamoun FilaliIRIT, France Bernd FischerStellenbosch University, South Africa Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Yang Liu Nanyang Technological University, Singapore Frederic Mallet INRIA Sophia Antipolis, France Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Paul
[TYPES/announce] 1st CfP: Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2014 3rd International Workshop on Formal Techniques for Safety-Critical Systems Luxembourg, November 6-7, 2014 (satellite workshop of ICFEM 2014) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2014. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2014. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 6, 2014 Notification of acceptance: October 3, 2014 Workshop: November 6/7, 2014 Venue: Luxembourg Program chairs: Cyrille ArthoAIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika AbrahamRWTH Aachen University, Germany Musab AlTurkiKing Fahd Univ. of Petroleum and Minerals, Saudi Arabia Toshiaki AokiJAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille ArthoAIST, Japan Kyungmin Bae University of Illinois at Urbana-Champaign, USA Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Ansgar Fehnker University of the South Pacific, Fiji Mamoun FilaliIRIT, France Bernd FischerStellenbosch University, South Africa Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Yang Liu Nanyang Technological University, Singapore Frederic Mallet INRIA Sophia Antipolis, France Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Paul
[TYPES/announce] PhD Position in Formal Methods and Security at the University of Oslo
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Informatics, University of Oslo, has an opening for a Ph.D. position in formal methods. ** Application deadline: April 20, 2014. ** Salary: NOK 421 100 (currently 51,000 EUR or 71,000 USD) per year ** The applicants should preferably have completed a Master's degree (or similar), or being on the verge of completing one. ** The candidate should preferably have a background in formal methods. The Ph.D. research project focuses on designing, formalizing, and formally verifying seamless and continuous user authentication architectures. A key part of the project is the development of formal analysis methods for security ceremonies. The project is a joint project between the formal methods group and experts on computer security. The fellowship is for a period of up to 4 years, with 25 % compulsory work, and should lead to a PhD thesis at the University of Oslo The PhD candidate will be jointly supervised by Professors Peter Ölveczky, Audun Jøsang, and Olaf Owe (see contact details below). Information about how to apply is given in the following link: http://uio.easycruit.com/vacancy/1149293 Further details --- For further information about the position, informal requests, etc., please contact Professor Peter Ölveczky, email peterol AT ifi.uio.no Professor Audun Jøsang, email audun.josang AT mn.uio.no Professor Olaf Owe, email olaf AT ifi.uio.no How to apply As mentioned, all information about how to apply can be found at http://uio.easycruit.com/vacancy/1149293 (it seems that one applies electronically by clicking on the Institutt for informatikk link below Choose department to apply in the lefthand side of the web page). The application should include: --Application letter --CV (summarizing education, positions and academic work - scientific publications) --Copies of educational certificates, transcript of records and letters of recommendation --Documentation of English proficiency (if needed) --List of publications and academic work that the applicant wishes to be considered by the evaluation committee (if any; no problems if there aren't any) --Names and contact details of 2-3 references (name, relation to candidate, e-mail and telephone number) --Foreign applicants are advised to attach an explanation of their University’s grading system.
[TYPES/announce] Deadline extension: 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2013 2nd International Workshop on Formal Techniques for Safety-Critical Systems Queenstown, New Zealand, October 29, 2013 (satellite workshop of ICFEM 2013) http://www.ftscs.org - *** Submission deadline extended to September 6 *** *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS format); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2013. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: (Extended and final) submission deadline: September 6, 2013 Notification of acceptance: September 28, 2013 Workshop: October 29, 2013 Venue: Queenstown, New Zealand Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Santiago Escobar Universidad Politecnica de Valencia, Spain Ansgar FehnkerUniversity of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa and University of Southampton, UK Kokichi Futatsugi JAIST, Japan Klaus HavelundNASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf HuuckNICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Paddy KrishnanOracle Labs Brisbane, Australia Yang Liu Nanyang Technological University,
[TYPES/announce] 2nd CfP: 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2013 2nd International Workshop on Formal Techniques for Safety-Critical Systems Queenstown, New Zealand, October 29, 2013 (satellite workshop of ICFEM 2013) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS format); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2013. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 1, 2013 Notification of acceptance: September 28, 2013 Workshop: October 29, 2013 Venue: Queenstown, New Zealand Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Santiago Escobar Universidad Politecnica de Valencia, Spain Ansgar FehnkerUniversity of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa and University of Southampton, UK Kokichi Futatsugi JAIST, Japan Klaus HavelundNASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf HuuckNICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Paddy KrishnanOracle Labs Brisbane, Australia Yang Liu Nanyang Technological University, Singapore Robi MalikUniversity of Waikato, New Zealand Cesar Munoz
[TYPES/announce] 1st CfP: 2nd International Workshop on Formal Techniques for Safety-Critical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2013 2nd International Workshop on Formal Techniques for Safety-Critical Systems Queenstown, New Zealand, October 29, 2013 (satellite workshop of ICFEM 2013) http://www.ftscs.org - *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS format); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2013. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 1, 2013 Notification of acceptance: September 28, 2013 Workshop: October 29, 2013 Venue: Queenstown, New Zealand Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Santiago Escobar Universidad Politecnica de Valencia, Spain Ansgar FehnkerUniversity of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa and University of Southampton, UK Kokichi Futatsugi JAIST, Japan Klaus HavelundNASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf HuuckNICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Paddy KrishnanOracle Labs Brisbane, Australia Yang Liu Nanyang Technological University, Singapore Robi MalikUniversity of Waikato, New Zealand Cesar Munoz NASA Langley, USA Tang
[TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS 2012)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2012 1st International Workshop on Formal Techniques for Safety-Critical Systems Kyoto, Japan, November 12, 2012 (satellite workshop of ICFEM 2012) http://www.ftscs12.org - *** Extended submission deadline: September 8, 2012 *** *** Science of Computer Programming special issue *** *** EPTCS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (16 pages max, EPTCS format); B- applications and experiences (16 pages max, EPTCS format); C- surveys, comparisons, and state-of-the-art reports (16 pages max, EPTCS format); D- tool papers (4 pages max, EPTCS format); E- position papers and work in progress (4 pages max, EPTCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2012. The final version of the paper must be prepared in LaTeX, adhering to the EPTCS format available at http://style.eptcs.org/. Note, in particular, that EPTCS requires that you include the doi of each reference in the bibliography. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2012. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Electronic Proceedings in Theoretical Computer Science. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 8, 2012 Notification of acceptance: October 1, 2012 Workshop: November 12, 2012 Venue: Kyoto, Japan Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Armin BiereJohannes Kepler University, Austria Saddek BensalemVerimag, France Peter BokorTechnical University Darmstadt, Germany Santiago Escobar Universidad Politecnica de Valencia, Spain Bernd Fischer University of Southampton, UK Klaus Havelund NASA JPL, USA Marieke HuismanUniversity of Twente, The Netherlands Ralf Huuck NICTA/UNSW, Sydney, Australia Fuyuki IshikawaNational Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander KnappAugsburg University, Germany Yang Liu NUS, Singapore Steven P. Miller Rockwell Collins, USA Tang NguyenAIST, Japan Thomas NollRWTH Aachen University, Germany Peter
[TYPES/announce] Final CfP: Formal Techniques for Safety-Critical Systems (FTSCS 2012)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2012 1st International Workshop on Formal Techniques for Safety-Critical Systems Kyoto, Japan, November 12, 2012 (satellite workshop of ICFEM 2012) http://www.ftscs12.org - *** Science of Computer Programming special issue *** *** EPTCS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (16 pages max, EPTCS format); B- applications and experiences (16 pages max, EPTCS format); C- surveys, comparisons, and state-of-the-art reports (16 pages max, EPTCS format); D- tool papers (4 pages max, EPTCS format); E- position papers and work in progress (4 pages max, EPTCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2012. The final version of the paper must be prepared in LaTeX, adhering to the EPTCS format available at http://style.eptcs.org/. Note, in particular, that EPTCS requires that you include the doi of each reference in the bibliography. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2012. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Electronic Proceedings in Theoretical Computer Science. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 2, 2012 Notification of acceptance: October 1, 2012 Workshop: November 12, 2012 Venue: Kyoto, Japan Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Armin BiereJohannes Kepler University, Austria Saddek BensalemVerimag, France Peter BokorTechnical University Darmstadt, Germany Santiago Escobar Universidad Politecnica de Valencia, Spain Bernd Fischer University of Southampton, UK Klaus Havelund NASA JPL, USA Marieke HuismanUniversity of Twente, The Netherlands Ralf Huuck NICTA/UNSW, Sydney, Australia Fuyuki IshikawaNational Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander KnappAugsburg University, Germany Yang Liu NUS, Singapore Steven P. Miller Rockwell Collins, USA Tang NguyenAIST, Japan Thomas NollRWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Grigore Rosu
[TYPES/announce] FACS 2011: First Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Participation FACS 2011 8th International Symposium on Formal Aspects of Component Software Oslo, Norway, September 14-16, 2011 http://facs2011.ifi.uio.no - *** Early registration deadline: September 2 *** FACS 2011 is concerned with the application of formal methods in component-based and service-oriented software development. FACS 2011 is hosted by the Department of Informatics at the University of Oslo. Oslo is the capital city of Norway, and is mentioned as one of the 31 places to go to in 2010 by The New York Times. Invited speakers: Jose Meseguer (University of Illinois at Urbana-Champaign) John Rushby (SRI International) Ketil Stølen (SINTEF) Registration: Please register at http://facs2011.ifi.uio.no/index.php?n=General.Registration Early registration deadline: September 2 Accepted appers: The list of accepted papers can be found at http://facs2011.ifi.uio.no/index.php?n=Conference.AcceptedPapers Contact: (web)http://facs2011.ifi.uio.no (email) facs-2...@ifi.uio.no
[TYPES/announce] Final CfP: Doctoral Track at FACS 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Abstracts FACS-DT 2011 Doctoral Track at the 8th International Symposium on Formal Aspects of Component Software Oslo, Norway, September 14-16, 2011 http://facs2011.ifi.uio.no - *** Submission deadline: August 12 *** We solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) describing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results related to the topics of FACS. All accepted abstracts will appear in the pre-proceedings of FACS 2011. Paper submission will be done electronically via EasyChair at https://www.easychair.org/conferences/?conf=facsdt2011 FACS Aims and Scope: FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, and business processes - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems Past Events: FACS'11 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), and Guimaraes (October 2010). FACS invited speakers: Jose Meseguer (University of Illinois at Urbana-Champaign) John Rushby (SRI International) Important dates: Doctoral Track submission: August 12, 2011 Doctoral Track acceptance notification: August 20, 2011 Symposium: September 14-16, 2011 Venue: FACS 2011 is hosted by the Department of Informatics at the University of Oslo. The symposium will take place in the new modern computer science building on the main campus of the university. Oslo is the capital city of Norway, and is mentioned as one of the 31 places to go to in 2010 by The New York Times. Doctoral Track program chairs: Farhad Arbab (Leiden University and CWI, The Netherlands) and Peter Olveczky (University of Oslo, Norway) Contact: (web)http://facs2011.ifi.uio.no (email) facs-2...@ifi.uio.no
[TYPES/announce] 1st Call for Abstracts: Doctoral Track at FACS 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Abstracts FACS-DT 2011 Doctoral Track at the 8th International Symposium on Formal Aspects of Component Software Oslo, Norway, September 14-16, 2011 http://facs2011.ifi.uio.no - *** Submission deadline: August 12 *** We solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) describing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results related to the topics of FACS. All accepted abstracts will appear in the pre-proceedings of FACS 2011. Paper submission will be done electronically via EasyChair at https://www.easychair.org/conferences/?conf=facsdt2011 FACS Aims and Scope: FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, and business processes - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems Past Events: FACS'11 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), and Guimaraes (October 2010). FACS invited speakers: Jose Meseguer (University of Illinois at Urbana-Champaign) John Rushby (SRI International) Important dates: Doctoral Track submission: August 12, 2011 Doctoral Track acceptance notification: August 20, 2011 Symposium: September 14-16, 2011 Venue: FACS 2011 is hosted by the Department of Informatics at the University of Oslo. The symposium will take place in the new modern computer science building on the main campus of the university. Oslo is the capital city of Norway, and is mentioned as one of the 31 places to go to in 2010 by The New York Times. Doctoral Track program chairs: Farhad Arbab (Leiden University and CWI, The Netherlands) and Peter Olveczky (University of Oslo, Norway) Contact: (web)http://facs2011.ifi.uio.no (email) facs-2...@ifi.uio.no
[TYPES/announce] Deadline extension: 8th International Symposium on Formal Aspects of Component Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FACS 2011 8th International Symposium on Formal Aspects of Component Software Oslo, Norway, September 14-16, 2011 http://facs2011.ifi.uio.no - *** Extended submission deadline: June 26 *** *** Springer LNCS proceedings *** *** Science of Computer Programming special issue *** Aims and Scope: The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm. FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, and business processes - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems Past Events: FACS'11 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), and Guimaraes (October 2010). Invited speakers: Jose Meseguer (University of Illinois at Urbana-Champaign) John Rushby (SRI International) Submission: We solicit high-quality submissions reporting on: A- original research contributions (18 pages max, LNCS format); B- applications and experiences (18 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format); D- tool papers (6 pages max, LNCS format); related to the topics mentioned above. In addition, we also solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=facs2011. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format. Publication: All accepted papers will appear in the pre-proceedings of FACS 2011. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in Springer's Lecture Notes in Computer Science series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Categories A-D submission: June 26, 2011 (extended and final deadline!)
[TYPES/announce] Final CfP: 8th International Symposium on Formal Aspects of Component Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FACS 2011 8th International Symposium on Formal Aspects of Component Software Oslo, Norway, September 14-16, 2011 http://facs2011.ifi.uio.no - *** Springer LNCS proceedings *** *** Science of Computer Programming special issue *** *** Abstract submission deadline: June 10 *** Aims and Scope: The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm. FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, and business processes - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems Past Events: FACS'11 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), and Guimaraes (October 2010). Invited speakers: Jose Meseguer (University of Illinois at Urbana-Champaign) John Rushby (SRI International) Submission: We solicit high-quality submissions reporting on: A- original research contributions (18 pages max, LNCS format); B- applications and experiences (18 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format); D- tool papers (6 pages max, LNCS format); related to the topics mentioned above. In addition, we also solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=facs2011. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format. Publication: All accepted papers will appear in the pre-proceedings of FACS 2011. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in Springer's Lecture Notes in Computer Science series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Categories A-D abstract submission: June 10, 2011 Categories A-D submission:
[TYPES/announce] 2nd CfP: 8th International Symposium on Formal Aspects of Component Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FACS 2011 8th International Symposium on Formal Aspects of Component Software Oslo, Norway, September 14-16, 2011 http://facs2011.ifi.uio.no - *** Springer LNCS proceedings *** *** Science of Computer Programming special issue *** *** Abstract submission deadline: June 10 *** Aims and Scope: The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm. FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, and business processes - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems Past Events: FACS'11 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), and Guimaraes (October 2010). Invited speakers: Jose Meseguer (University of Illinois at Urbana-Champaign) John Rushby (SRI International) Submission: We solicit high-quality submissions reporting on: A- original research contributions (18 pages max, LNCS format); B- applications and experiences (18 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format); D- tool papers (6 pages max, LNCS format); related to the topics mentioned above. In addition, we also solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=facs2011. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format. Publication: All accepted papers will appear in the pre-proceedings of FACS 2011. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in Springer's Lecture Notes in Computer Science series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Categories A-D abstract submission: June 10, 2011 Categories A-D submission:
[TYPES/announce] First CfP: 8th International Symposium on Formal Aspects of Component Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FACS 2011 8th International Symposium on Formal Aspects of Component Software Oslo, Norway, September 14-16, 2011 http://facs2011.ifi.uio.no - Aims and Scope: The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm. FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, and business processes - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems Past Events: FACS'11 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), and Guimaraes (October 2010). Invited speakers: TBA Submission: We solicit high-quality submissions reporting on: A- original research contributions (18 pages max, LNCS format); B- applications and experiences (18 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format); D- tool papers (6 pages max, LNCS format); related to the topics mentioned above. In addition, we also solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=facs2011. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format. Publication: All accepted papers will appear in the pre-proceedings of FACS 2011. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in Springer's Lecture Notes in Computer Science series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Categories A-D abstract submission: June 10, 2011 Categories A-D submission: June 17, 2011 Categories A-D acceptance notification: August 9, 2011 Doctoral Track submission: August 12, 2011 Doctoral Track acceptance notification: August 20, 2011 Symposium: September 14-16, 2011 Venue: FACS 2011 is
[TYPES/announce] University of Oslo: PhD Position in Formal Methods.
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Formal Methods group at the Department of Informatics, University of Oslo, has available 1 PhD position. * The starting date of the employment should be no later than October 1, 2010. * The applicants should preferably have completed a Master's degree (or similar), or being on the verge of completing one. * The candidate should preferably have a background in formal methods (including type theory), concurrency and distributed systems, real- time systems, or probabilistic systems. * Applications must be received no later than May 15, 2010. The intended topic for the PhD project is modeling of Probabilistic Real-Time Systems in Rewriting Logic. This includes theoretical and practical investigations as well as tool implementation. The tool development will build on Real-Time Maude and Probabilistic Maude. (Information about rewriting logic and Maude can be found at http://maude.cs.uiuc.edu/). Applicants may submit a project proposal related to the research challenges outlined above, including a description of main approach, a more detailed outline of research topics, and proposals for choice of theory and method. The fellowship is for a period of up to 4 years, with 25 % compulsory work, and should lead to a PhD thesis at the University of Oslo *** Applications must be received no later than May 15, 2010! *** Information about how to apply is given in the following link: http://uio.easycruit.com/vacancy/401037/64290?iso=no The research group for formal methods - The Formal Methods group at the Department of Informatics, University of Oslo, Norway, is working on tools and languages for object-oriented and component-based software development. Our current research focus includes * formal specification and analysis of real-time systems * object-orientation and open distributed systems * rewriting logic * specification and verification of OO-programs Our research combines theoretical foundations with the goal to develop practical tools and languages to capture software adaptability. The group's activities include both theoretical, foundational, and experimental work within formal methods, semantics, and language design. For more information, see the following web-page: http://www.ifi.uio.no/forskning/grupper/pma/index_e.html Terms of employment --- The salary and terms at the University of Oslo are in accordance with Norwegian state regulations. Salary is in the range NOK 355,400 – 394,200 (currently EUR 45.100 - 50.000 and USD 59.800 - 66.300) per year, depending on relevant work experience. Further details --- For further information about the position, informal requests, etc., please contact Professor Peter Ölveczky, email peterol AT ifi.uio.no, How to apply As mentioned, all information about how to apply can be found at http://uio.easycruit.com/vacancy/401037/64290?iso=no In addition to those requirements, an electronic copy of the application must be sent to Peter Ölveczky at e-mail peterol AT ifi.uio.no. Please make sure that you mention the reference number 2010/4800 in your aplications and inquiries.
[TYPES/announce] CfP: Workshop on Rewriting Techniques for Real-Time Systems (Spitsbergen/polar bears/EPTCS proceedings)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 1st International Workshop on Rewriting Techniques for Real-Time Systems R T R T S 2010 Longyearbyen, Spitsbergen, Norway, April 6-9, 2010 http://rtrts10.ifi.uio.no/ *** Proceedings will be published by EPTCS *** IMPORTANT DATES February 24, 2010 Deadline for submission Early March, 2010 Notification of acceptance April 6-9, 2010Workshop in Spitsbergen AIMS AND SCOPE The aim of the workshop is to bring together researchers with an interest in the use of rewriting-based techniques (including rewriting logic) and tools for the modeling, analysis, and/or implementation of real-time and hybrid systems, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to: - methods and tools supporting rewriting-based modeling and analysis of real-time and hybrid systems, and extensions of such systems; - use of rewriting techniques to provide rigorous support for model-based software engineering of timed systems; - applications and case studies; - comparison with other formalisms and tools. PROGRAM COMMITTEE Erika Ábrahám RWTH Aachen Francisco Durán Universidad de Malaga Narciso Marti-Oliet Universidad Complutense de Madrid José Meseguer University of Illinois at Urbana-Champaign Sayan Mitra University of Illinois at Urbana-Champaign Thomas Noll RWTH Aachen Peter Ölveczky (chair) University of Oslo Joel Ouaknine Oxford University Olaf OweUniversity of Oslo Grigore RosuUniversity of Illinois at Urbana-Champaign Stavros TripakisUniversity of California, Berkeley Martin WirsingLudwig-Maximillian University, Munich VENUE RTRTS 2010 will be held in Longyearbyen, Spitsbergen. Spitsbergen is a fascinating archipelago pretty close to the North Pole (same latitude as northern Greenland!). April is the high season, with the sun above the horizon yet it should be wintry enough to do the usual winter activities, like dog sledding, snow scooter trips, and ice cave exploration, etc. Maybe this could be your last chance to see polar bears roaming around freely? SUBMISSIONS Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published by Electronic Proceedings in Theoretical Computer Science. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Papers should not exceed 20 pages, formatted according to EPTCS guidelines (http://style.eptcs.org), and should be submitted electronically using Easychair: http://www.easychair.org/conferences/?conf=rtrts2010 INVITED SPEAKERS (to be announced) CONTACT INFORMATION For more information, please contact the organizer pete...@ifi.uio.no or visit the workshop web page http://rtrts10.ifi.uio.no/
[TYPES/announce] Final CfP: WRLA 2010 (LNCS proceedings, journal special issue, deadline extension, etc.)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 8th International Workshop on Rewriting Logic and its Applications W R L A 2010 Paphos, Cyprus, March 20-21, 2010 http://wrla10.ifi.uio.no/ The workshop will be held in conjunction with ETAPS 2010 12th European Joint Conferences on Theory and Practice of Software March 20 - 28, 2010 http://www.etaps10.cs.ucy.ac.cy *** Proceedings to be published as a Springer LNCS volume *** *** Special issue of The Journal of Logic and Algebraic Programming *** WRLA 2010 IMPORTANT DATES December 18, 2009Deadline for submission January 18, 2010 Notification of acceptance Early February, 2010 Final version in electronic form March 20-21, 2010Workshop in Paphos AIMS AND SCOPE Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to: - foundations and models of RL; - languages based on RL, including implementation issues; - RL as a logical framework; - RL as a semantic framework, including applications of RL to object-oriented systems, concurrent and/or parallel systems, interactive, distributed, open ended and mobile systems, specification of languages and systems; - use of RL to provide rigorous support for model-based software engineering; - formalisms related to RL, including real-time and probabilistic extensions of RL, tile logic, rewriting approaches to behavioral specifications; - verification techniques for RL specifications, including equational and coherence methods, and verification of properties expressed in first-order, higher-order, modal and temporal logics; - comparisons of RL with existing formalisms having analogous aims; - application of RL to specification and analysis of distributed systems, physical systems. PROGRAM COMMITTEE Artur BoronatUniversity of Leicester Mark van den Brand Technical University of Eindhoven Roberto Bruni Universita di Pisa Manuel Clavel IMDEA Software and Universidad Complutense de Madrid Francisco Duran Universidad de Malaga Steven Eker SRI International, Menlo Park Santiago Escobar Universidad Politecnica de Valencia Kokichi Futatsugi JAIST, Tatsunokuchi Claude Kirchner INRIA Research Center Bordeaux - Sud-Ouest Alexander Knapp Universität Augsburg Dorel Lucanu Alexandru Ioan Cuza University, Iasi Salvador Lucas Universidad Politecnica de Valencia Narciso Marti-Oliet Universidad Complutense de Madrid Ugo Montanari Universita di Pisa Pierre-Etienne Moreau INRIA Lorraine LORIA, Nancy and Ecoles des Mines, Nancy Thomas Noll RWTH Aachen Peter Olveczky (chair) University of Oslo Miguel Palomino Universidad Complutense de Madrid Grigore Rosu University of Illinois at Urbana-Champaign Mark-Oliver Stehr SRI International, Menlo Park Carolyn Talcott SRI International, Menlo Park Eelco Visser Delft University of Technology SUBMISSIONS The proceedings will be published in Springer's Lecture Notes in Computer Science (LNCS) series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Papers should not exceed 15 pages, should be formatted according to the guidelines for Springer LNCS papers and should be submitted electronically using Easychair: http://www.easychair.org/conferences/?conf=wrla10 Authors of selected papers will be invited to submit extended versions of their papers for publication in a special issue of The Journal of Logic and Algebraic Programming. THE 3rd REWRITE ENGINE COMPETITION: There will also be a rewrite engine competition at WRLA'10. If you are a rewrite engine developer, you are welcome to participate. A paper will be published in the proceedings, with all the tool participants as authors, where the problems and the results of the competition will be discussed. More details on the rewrite competition can be found at the following link: http://www.lcc.uma.es/~duran/rewriting_competition/ Feel free to contact the WRLA'10 rewrite