[TYPES/announce] VTSA 2024: 2nd call for applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Summer School on Verification Technology, Systems and Applications (VTSA 2024) July 8th-12th, 2024, Belval, Luxembourg The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut für Informatik in Saarbrücken, and the Universities of Liège and of Luxembourg, and will take place at the University of Luxembourg, Belval Campus, Maison du Savoir from July 8th to 12th, 2024. The following speakers have agreed to lecture at the school: - Wolfgang Ahrendt: Dynamic Logic for Practical Program Verification - Étienne André: (Parametric) Timed Verification - Joao Marques-Silva: An Overview of Symbolic Explainability - Caterina Urban: Formal Methods for Machine Learning Pipelines - Anton Wijs: Accelerated Verification Participation in the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Jennifer Müller ( jmuel...@mpi-inf.mpg.de) including - a one-page CV, - an application letter explaining your interest in the school and your experience in the area - a copy of your bachelor certificate (or equivalent or a more significant certificate) - a short statement if you want to contribute to the student sessions The deadline for application is May 24th, 2024. Notification of acceptance will be given by May 30th, 2024. Full details can be found on the school website at https://urldefense.com/v3/__https://www.mpi-inf.mpg.de/vtsa24__;!!IBzWLUs!XtTYc7dku5bct7AkfRwKkQHP-9bOJ8BUxk_rg9N86swQ5aUTF5HK3MVGaz7sLd7Oijg-oek6W1FnSvccLp1-8yeQgHTz3w$ .
[TYPES/announce] VTSA 2024: 1st call for applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Summer School on Verification Technology, Systems and Applications (VTSA 2024) July 8th-12th, 2024, Belval, Luxembourg The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut für Informatik in Saarbrücken, and the Universities of Liège and of Luxembourg, and will take place at the University of Luxembourg, Belval Campus, Maison du Savoir from July 8th to 12th, 2024. The following speakers have agreed to lecture at the school: - Wolfgang Ahrendt: Dynamic Logic for Practical Program Verification - Étienne André: (Parametric) Timed Verification - Joao Marques-Silva: An Overview of Symbolic Explainability - Caterina Urba: Formal Methods for Machine Learning Pipelines - Anton Wijs: Accelerated Verification Participation in the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Jennifer Müller (jmuel...@mpi-inf.mpg.de) including - a one-page CV, - an application letter explaining your interest in the school and your experience in the area - a copy of your bachelor certificate (or equivalent or a more significant certificate) - a short statement if you want to contribute to the student sessions The deadline for application is May 24th, 2024. Notification of acceptance will be given by May 30th, 2024. Full details can be found on the school website at https://urldefense.com/v3/__https://www.mpi-inf.mpg.de/vtsa24__;!!IBzWLUs!QauW03g21f9E-LuJlTbnlp-ispGy26BhFMfgFSkIw0wR2k8Unb-c0uYfwm0n4uJa2RSOwLzkR3o92kzPOAJIDVG8p2-ppQ$ .
[TYPES/announce] CfP TASE 2024 (extended deadlines)
University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Universite de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universite Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)
[TYPES/announce] 2nd CfP: TASE 2024
University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Université de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universität Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)
[TYPES/announce] CfP: TASE 2024
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering Overview - The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Conference website: https://urldefense.com/v3/__https://tase2024.github.io/__;!!IBzWLUs!WNd5My0fGShcJaMEZ2nILO6DgHjvyP8F6sCujJ4uPHxnb1luzikkiEWWxdW-7O8hJoX5IFUxllPBSjOl4SulIzmk5C-4Rw$ Topics of Interest - Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates - Abstract Submission : February 17, 2024 (not necessary even if missed) Paper Submission : February 24, 2024 (AoE) Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission - Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=tase2024__;!!IBzWLUs!WNd5My0fGShcJaMEZ2nILO6DgHjvyP8F6sCujJ4uPHxnb1luzikkiEWWxdW-7O8hJoX5IFUxllPBSjOl4SulIzlJ71Xqgg$ . Committees - * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Program Committee: Yamine Ait Ameur (IRIT/INPT-ENSEEIHT) Guangdong Bai (The University of Queensland) Yuqi Chen (ShanghaiTech University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Université de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University
[TYPES/announce] CMSB 2023: last call for papers (extended deadlines)
session and/or for flash presentations. Poster submissions will not be included in the Springer LNBI proceedings. D) HIGHLIGHT TALKS: Highlight talk proposals should be submitted in the form of an extended abstract, for possible oral presentation without publication of related material in the conference proceedings. We particularly welcome submissions of recently published work. Submitted abstracts summarising the results and their relevance should not exceed 2 pages including references. Extended abstracts will not be included in the Springer LNBI proceedings. SUBMISSION INFORMATION All submitted papers and extended abstracts have to be written in English and must be submitted in the form of a PDF file using the EasyChair online submission system, at the following link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=cmsb2023__;!!IBzWLUs!TVsSVhO3TnC35RCxAxOt7XTM2cWvcMq2swjtTrEAakc5WQdkx0oPSjWf911vb6ysgE2D_Mi0rOdJVytYHP13KvlM4YVoKg$ . Instruction for the Springer Nature LNCS style: https://urldefense.com/v3/__http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!TVsSVhO3TnC35RCxAxOt7XTM2cWvcMq2swjtTrEAakc5WQdkx0oPSjWf911vb6ysgE2D_Mi0rOdJVytYHP13KvnztKlehQ$ . Each submission will be reviewed by at least three members of the Program Committee (see above for specific reviewing information about tools). All accepted contributions must be presented at the conference by one of the authors. Springer Nature encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. If an author is interested in Open Access or Open Choice, please refer to Springer Nature’s webpage for prices and additional information. All CMSB authors should consult the Springer Nature Code of Conduct (https://urldefense.com/v3/__https://www.springernature.com/gp/authors/book-authors-code-of-conduct__;!!IBzWLUs!TVsSVhO3TnC35RCxAxOt7XTM2cWvcMq2swjtTrEAakc5WQdkx0oPSjWf911vb6ysgE2D_Mi0rOdJVytYHP13Kvk9z7J0gQ$ ), including guidelines for authorship principles, originality, redundant publications, conflicts of interests, etc. In particular, we draw your attention to the Springer Nature policies in the section Ethical Approval and Informed Consent. PROGRAMME COMMITTEE Tatsuya Akutsu – University of Kyoto (Japan) Claudio Altafini – University of Linköping (Sweden) Daniela Besozzi – University of Milan Bicocca (Italy) Luca Bortolussi – University of Trieste (Italy) Frank Bruggeman – Vrije Universiteit Amsterdam (Netherlands) Luca Cardelli – University of Oxford (United Kingdom) Milan Ceska – Brno University of Technology (Czech Republic) Eugenio Cinquemani – Inria Grenoble-Rhône-Alpes (France) François Fages – Inria Saclay (France) Christoph Flamm – University of Vienna (Austria) Maxime Folschette – École Centrale de Lille (France) Anna Gambin – University of Warsaw (Poland) Ashutosh Gupta – Indian Institute of Technology Bombay (India) Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany) Hillel Kugler – Bar-Ilan University (Israel) Luca Laurenti – TU Delft (Netherlands) Andrzej Mizera – University of Warsaw (Poland) Pedro T. Monteiro – University of Lisbon (Portugal) Joachim Niehren – Inria Lille (France) – co-chair Jun Pang – University of Luxembourg (Luxembourg) – co-chair Loïc Paulevé – CNRS, Bordeaux (France) Andrei Paun – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov – University of Konstanz (Germany) Maria Rodriguez Martinez – IBM, Zurich Research Laboratory (Switzerland) Jakob Ruess – Inria Paris (France) David Šafránek – Masaryk University (Czech Republic) Thomas Sauter – University of Luxembourg (Luxembourg) Abhyudai Singh – University of Delaware (United States) Chris Thachuk – University of Washington (United States) Andrea Vandin – Sant’Anna School of Advanced Studies, Pisa (Italy) Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy) Christoph Zechner – Max Planck Institute, Dresden (Germany) CONTACT All questions about the conference should be emailed to the organizers Joachim Niehren (joachim.nieh...@inria.fr) and Jun Pang (jun.p...@uni.lu).
[TYPES/announce] CMSB 2023: second call for papers
submissions will not be included in the Springer LNBI proceedings. D) HIGHLIGHT TALKS: Highlight talk proposals should be submitted in the form of an extended abstract, for possible oral presentation without publication of related material in the conference proceedings. We particularly welcome submissions of recently published work. Submitted abstracts summarising the results and their relevance should not exceed 2 pages including references. Extended abstracts will not be included in the Springer LNBI proceedings. SUBMISSION INFORMATION All submitted papers and extended abstracts have to be written in English and must be submitted in the form of a PDF file using the EasyChair online submission system, at the following link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=cmsb2023__;!!IBzWLUs!S_Qki52EtpmgjJ9AKgi6Pc4ngtkanlL6lzKBoGmQRk0srQPQoPOsCPBWTQaNE_XnSwuqDLkvehRINeOhDiVziKrk1M3Tdg$ . Instruction for the Springer Nature LNCS style: https://urldefense.com/v3/__http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!S_Qki52EtpmgjJ9AKgi6Pc4ngtkanlL6lzKBoGmQRk0srQPQoPOsCPBWTQaNE_XnSwuqDLkvehRINeOhDiVziKpqSrQFeQ$ . Each submission will be reviewed by at least three members of the Program Committee (see above for specific reviewing information about tools). All accepted contributions must be presented at the conference by one of the authors. Springer Nature encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. If an author is interested in Open Access or Open Choice, please refer to Springer Nature’s webpage for prices and additional information. All CMSB authors should consult the Springer Nature Code of Conduct (https://urldefense.com/v3/__https://www.springernature.com/gp/authors/book-authors-code-of-conduct__;!!IBzWLUs!S_Qki52EtpmgjJ9AKgi6Pc4ngtkanlL6lzKBoGmQRk0srQPQoPOsCPBWTQaNE_XnSwuqDLkvehRINeOhDiVziKqH3Qj98Q$ ), including guidelines for authorship principles, originality, redundant publications, conflicts of interests, etc. In particular, we draw your attention to the Springer Nature policies in the section Ethical Approval and Informed Consent. PROGRAMME COMMITTEE Tatsuya Akutsu – University of Kyoto (Japan) Claudio Altafini – University of Linköping (Sweden) Daniela Besozzi – University of Milan Bicocca (Italy) Luca Bortolussi – University of Trieste (Italy) Frank Bruggeman – Vrije Universiteit Amsterdam (Netherlands) Luca Cardelli – University of Oxford (United Kingdom) Milan Ceska – Brno University of Technology (Czech Republic) Eugenio Cinquemani – Inria Grenoble-Rhône-Alpes (France) François Fages – Inria Saclay (France) Christoph Flamm – University of Vienna (Austria) Maxime Folschette – École Centrale de Lille (France) Anna Gambin – University of Warsaw (Poland) Ashutosh Gupta – Indian Institute of Technology Bombay (India) Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany) Hillel Kugler – Bar-Ilan University (Israel) Luca Laurenti – TU Delft (Netherlands) Andrzej Mizera – University of Warsaw (Poland) Pedro T. Monteiro – University of Lisbon (Portugal) Joachim Niehren – Inria Lille (France) – co-chair Jun Pang – University of Luxembourg (Luxembourg) – co-chair Loïc Paulevé – CNRS, Bordeaux (France) Andrei Paun – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov – University of Konstanz (Germany) Maria Rodriguez Martinez – IBM, Zurich Research Laboratory (Switzerland) Jakob Ruess – Inria Paris (France) David Šafránek – Masaryk University (Czech Republic) Thomas Sauter – University of Luxembourg (Luxembourg) Abhyudai Singh – University of Delaware (United States) Chris Thachuk – University of Washington (United States) Andrea Vandin – Sant’Anna School of Advanced Studies, Pisa (Italy) Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy) Christoph Zechner – Max Planck Institute, Dresden (Germany) CONTACT All questions about the conference should be emailed to the organizers Joachim Niehren (joachim.nieh...@inria.fr) and Jun Pang (jun.p...@uni.lu).
[TYPES/announce] CMSB 2023: first call for papers
submissions of recently published work. Submitted abstracts summarising the results and their relevance should not exceed 2 pages including references. Extended abstracts will not be included in the Springer LNBI proceedings. SUBMISSION INFORMATION All submitted papers and extended abstracts have to be written in English and must be submitted in the form of a PDF file using the EasyChair online submission system, at the following link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=cmsb2023__;!!IBzWLUs!XDwWH0My74rAgRdOxpMQyTRZu6TcZ_bRl6jGcjhOF9_t1Pk6MZE2di14-4rS36-RwmSZjk9welX864EZnhD6R_ikZ9Rg7A$ . Instruction for the Springer Nature LNCS style: https://urldefense.com/v3/__http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!XDwWH0My74rAgRdOxpMQyTRZu6TcZ_bRl6jGcjhOF9_t1Pk6MZE2di14-4rS36-RwmSZjk9welX864EZnhD6R_gqtRhwEA$ . Each submission will be reviewed by at least three members of the Program Committee (see above for specific reviewing information about tools). All accepted contributions must be presented at the conference by one of the authors. Springer Nature encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. If an author is interested in Open Access or Open Choice, please refer to Springer Nature’s webpage for prices and additional information. All CMSB authors should consult the Springer Nature Code of Conduct (https://urldefense.com/v3/__https://www.springernature.com/gp/authors/book-authors-code-of-conduct__;!!IBzWLUs!XDwWH0My74rAgRdOxpMQyTRZu6TcZ_bRl6jGcjhOF9_t1Pk6MZE2di14-4rS36-RwmSZjk9welX864EZnhD6R_jWBHqs1w$ ), including guidelines for authorship principles, originality, redundant publications, conflicts of interests, etc. In particular, we draw your attention to the Springer Nature policies in the section Ethical Approval and Informed Consent. PROGRAMME COMMITTEE Tatsuya Akutsu – University of Kyoto (Japan) Claudio Altafini – University of Linköping (Sweden) Daniela Besozzi – University of Milan Bicocca (Italy) Luca Bortolussi – University of Trieste (Italy) Frank Bruggeman – Vrije Universiteit Amsterdam (Netherlands) Luca Cardelli – University of Oxford (United Kingdom) Milan Ceska – Brno University of Technology (Czech Republic) François Fages – Inria Saclay (France) Christoph Flamm – University of Vienna (Austria) Maxime Folschette – École Centrale de Lille (France) Anna Gambin – University of Warsaw (Poland) Ashutosh Gupta – Indian Institute of Technology Bombay (India) Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany) Hillel Kugler – Bar-Ilan University (Israel) Luca Laurenti – TU Delft (Netherlands) Andrzej Mizera – University of Warsaw (Poland) Pedro T. Monteiro – University of Lisbon (Portugal) Joachim Niehren – Inria Lille (France) – co-chair Jun Pang – University of Luxembourg (Luxembourg) – co-chair Loïc Paulevé – CNRS, Bordeaux (France) Andrei Paun – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov – University of Konstanz (Germany) Maria Rodriguez Martinez – IBM, Zurich Research Laboratory (Switzerland) Jakob Ruess – Inria Paris (France) David Šafránek – Masaryk University (Czech Republic) Thomas Sauter – University of Luxembourg (Luxembourg) Abhyudai Singh – University of Delaware (United States) Chris Thachuk – University of Washington (United States) Andrea Vandin – Sant’Anna School of Advanced Studies, Pisa (Italy) Christoph Zechner – Max Planck Institute, Dresden (Germany) CONTACT All questions about the conference should be emailed to the organizers Joachim Niehren (joachim.nieh...@inria.fr) and Jun Pang (jun.p...@uni.lu).
[TYPES/announce] FM 2021 - Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute, apologies for multiple postings.] FM 2021 is the 24th international symposium in a series organized by Institute of Software, Chinese Academy of Sciences, under the auspices of Formal Methods Europe (FME), held on-line during November 20-26, 2021. -- ABOUT FM FM 2021 is the 24th international symposium in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. FM 2021 will highlight the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems. -- INVITED TALKS • Mingsheng Ying (University of Technology Sydney, Australia) Model Checking for Verification of Quantum Circuits • Paula Herber (University of Münster, Germany) Combine Forces - How to Formally Verify Informally Defined Embedded Systems • Clark Barrett (Stanford University, USA) Domain-Specific Reasoning with Satisfiability Modulo Theories • Assia Mahboubi (Inria Nantes, France and Vrije Universiteit Amsterdam, Netherlands) Formal verification of computational mathematics -- CONTRIBUTED PAPERS • A list of accepted papers can be found at https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/accepted-papers/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq4ZK70Iqw$ . • A preliminary program can be found at https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/main_program/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq4wlmHYAQ$ . -- ASSOCIATED EVENTS The FM symposium also features the following associated events: • Announcement of the new FME fellow • Industry day (a list of accepted paper can be found at https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/i-day-accepted-papers/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq50mC-ZnA$ , and a preliminary program can be found at https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/program/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq6DIS4jDw$ ) • Doctoral Symposium • Journal First Track • Six workshops and five tutorials (see https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq7Hr6k_IA$ ) Moreover, we also have the following collocated events: • MEMOCODE 2021 - 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (https://urldefense.com/v3/__https://lcs.ios.ac.cn/memocode21/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq5YpdKwNg$ ) • SETTA 2021 – 7th Symposium on Dependable Software Engineering Theories, Tools and Applications (https://urldefense.com/v3/__https://lcs.ios.ac.cn/setta2021/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq75wz-y1g$ ) • VECoS 2021 - 15th International Conference on Verification and Evaluation of Computer and Communication Systems (https://urldefense.com/v3/__http://vecos-world.org/2021/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq5aO7KzKA$ ) The full program of FM 2021 and co-located events can be found at https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/overall_program/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq7CtqadWQ$ . -- REGISTRATION Registration fee is 30 EUR (220 Yuan RMB) for all events, and 10 EUR (75 Yuan RMB) for workshops and/or tutorials. Please visit https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/registration/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq7xjMEvRw$ for registration. For more information, please visit the website of FM 2021 https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq6BJw6uEg$ Please contact Dr. Bohua Zhan and Dr. Shuling Wang via fm2...@ios.ac.cn if you have any questions.
[TYPES/announce] Doctoral Symposium at FM 2021: Call for Research Abstracts
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Doctoral Symposium at FM 2021 Call for Research Abstracts --- (See also: https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/doctoral-symposim/__;!!IBzWLUs!H3hoYZY1-n2sZQPlKzcQ6UxuuRtvUTkzEXodugbJ-ML69GvmJ3IhViDQs4MiMhNVq8yIpGhWXeeo8Q$ ) A Doctoral Symposium will be held in conjunction with the 24th International Symposium on Formal Methods (FM 2021), 20-26 November. The hosting institution of FM 2021 is the Institute of Software, Chinese Academy of Sciences, Beijing, China. Just like the entire FM, the Doctoral Symposium will be held as an online event. Doctoral Symposium Chairs - - Wolfgang Ahrendt, Chalmers University of Technology, Gothenburg, Sweden - Ji Wang, National University of Defence Technology, Changsha, China Goals and Scope --- This symposium aims to provide a supportive environment in which selected PhD students can present and discuss their ongoing work, meet other students working in the field of formal methods, and receive feedback and advice from experienced researchers. In addition to talks followed by discussions, the event will also provide opportunities for PhD students to meet senior academics in smaller groupings, to informally discuss research strategies, career aspects, or any other topic of interest. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant of the Doctoral Symposium. There will be a best presentation award. Invited Speaker --- - Erika Abraham, RWTH Aachen University, Aachen, Germany Research Abstracts -- Research Abstracts should be no more than 4 pages in Springer LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: 1) the problem being addressed and/or 2) existing solutions as appropriate - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but may include references to relevant papers you have already published, including joint publications with collaborators. How to Submit - Please upload your Research Abstract via the Easy Chair submission page: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=dsfm2021__;!!IBzWLUs!H3hoYZY1-n2sZQPlKzcQ6UxuuRtvUTkzEXodugbJ-ML69GvmJ3IhViDQs4MiMhNVq8yIpGh7_NGrTg$ Important Dates: - Submission deadline: October 4th, 2021 - Notification: October 22nd, 2021
[TYPES/announce] Formal Methods 2021: Workshops and Tutorials
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 24th International Symposium on Formal Methods Beijing, November 20-26, 2021 (held virtually) -- Workshops and Tutorials === http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/ The FM'21 Symposium on Formal Methods will host six exciting workshops and tutorials on various topics related to formal methods. * FMTea: Formal Methods Teaching * appFM: Applicable Formal Methods * Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS * FMI Co-simulation Based Digital Twin * Momba: Python for Quantitative Models * Continuous Verification using CBMC For details about these events and how to participate or submit see the Workshops and Tutorials page: http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/ For questions about the general organization of workshops and tutorials: * FM Workshops Chairs: Carlo A. Furia (Università della Svizzera Italiana, Switzerland); Lijun Zhang (Chinese Academy of Sciences, China) * FM Tutorials Chairs: Luigia Petre (Åbo Akademi University, Finland); Tim A.C. Willemse (Eindhoven University of Technology, Netherlands)
[TYPES/announce] Formal Methods 2021 -- 2nd call for workshop & tutorial proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - FM 2021 – 24th International Symposium on Formal Methods Beijing, China, November 20-26, 2021 http://formalmethods2021.csp.escience.cn CALL FOR WORKSHOP & TUTORIAL PROPOSALS --- - Deadline for workshop & tutorial proposals: February 15, 2021 Notification of decision on workshops and tutorials: March 15, 2021 - ABOUT FM 2021 = FM 2021 is the 24th International Symposium in a series organised by Formal Methods Europe (FME), which focuses on the development and application of formal methods in a wide range of domains including software, cyber-physical systems, and integrated computer-based systems. The symposium is planned to take place during November 20-26, 2021, at the Institute of Software, Chinese Academy of Sciences. The organisers are monitoring closely the COVID-19 situation; although hoping for an in-person event, they are also planning carefully for a virtual event or a hybrid virtual/in-person event, in case there will be travel restrictions or health advisories following the global COVID-19 crisis. A decision on the nature of the meeting will be announced in due course. PROPOSALS = For this major event, we are now inviting proposals for workshops, tutorials, or other similar events that will complement the main FM Symposium. The general purpose of workshops and tutorials is to provide an informal setting for participants to discuss technical issues, exchange research ideas and educational approaches, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains. A workshop is an event with an open call for contributions. A tutorial is an event based entirely on invited talks by the organizers or by other speakers. Events that mix open and invited presentations will also be considered. We encourage a diversity of topics relating to different ways of developing and using formal methods. Workshops and tutorials will take place on November 20-21, 2021. Each event (workshop or tutorial) should typically run for 1/2 or 1 day, but 2-day events will also be considered. The FM 2021 organising committee aims to contribute to at least partial support for one invited speaker per event. SUBMISSION INFORMATION == Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs: Tutorial chairs: Luigia Petre (lpe...@abo.fi) and Tim Willemse (t.a.c.wille...@tue.nl) Workshop chairs: Carlo A. Furia (fur...@usi.ch) and Lijun Zhang (zhan...@ios.ac.cn) A proposal should not exceed three pages and should include the following information: * Title and brief technical description of the event, specifying its goals and formal methods focus, and whether the event is a workshop, tutorial, or any other kind of event. * The names and contact information (web page, email address) of the organisers. The organisers of a workshop will also be its Programme Committee (PC) chairs; in this case, the proposal may also list prospective international PC members. * Pointers to information about past editions of the event, if applicable. Workshop proposals should specify whether it has taken place before; how often it has been co-located with FM or with other conferences, and the number of participants in the most recent instalments. * A discussion of the proposed format and agenda (for example: paper presentations, tutorials, demo sessions, etc). The organisers are encouraged to describe their vision for an online event, should the need occur in light of the current global pandemic crisis. * The proposed duration: half or one day. Exceptionally, two days events may be considered. * Potential invited speaker(s). * Procedures for selecting papers and participants and plans for the publication of proceedings, if any. * A tentative schedule for paper submission and notification of acceptance. The organisers of the proposed events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. IMPORTANT DATES === Submission of proposals: February 15, 2021 Notification of success of proposals: March 15, 2021 FM 2021: November 20-26, 2021 Workshop/Tutorial dates: November 20-21, 2021 Best Wishes, Carlo A. Furia (fur...@usi.ch) Luigia Petre
[TYPES/announce] Formal Methods 2021 -- Call for workshop & tutorial proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - FM 2021 – 24th International Symposium on Formal Methods Beijing, China, November 20-26, 2021 http://formalmethods2021.csp.escience.cn CALL FOR WORKSHOP & TUTORIAL PROPOSALS --- - Deadline for workshop & tutorial proposals: February 15, 2021 Notification of decision on workshops and tutorials: March 15, 2021 - ABOUT FM 2021 = FM 2021 is the 24th International Symposium in a series organised by Formal Methods Europe (FME), which focuses on the development and application of formal methods in a wide range of domains including software, cyber-physical systems, and integrated computer-based systems. The symposium is planned to take place during November 20-26, 2021, at the Institute of Software, Chinese Academy of Sciences. The organisers are monitoring closely the COVID-19 situation; although hoping for an in-person event, they are also planning carefully for a virtual event or a hybrid virtual/in-person event, in case there will be travel restrictions or health advisories following the global COVID-19 crisis. A decision on the nature of the meeting will be announced in due course. PROPOSALS = For this major event, we are now inviting proposals for workshops, tutorials, or other similar events that will complement the main FM Symposium. The general purpose of workshops and tutorials is to provide an informal setting for participants to discuss technical issues, exchange research ideas and educational approaches, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains. A workshop is an event with an open call for contributions. A tutorial is an event based entirely on invited talks by the organizers or by other speakers. Events that mix open and invited presentations will also be considered. We encourage a diversity of topics relating to different ways of developing and using formal methods. Workshops and tutorials will take place on November 20-21, 2021. Each event (workshop or tutorial) should typically run for 1/2 or 1 day, but 2-day events will also be considered. The FM 2021 organising committee aims to contribute to at least partial support for one invited speaker per event. SUBMISSION INFORMATION == Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs: Tutorial chairs: Luigia Petre (lpe...@abo.fi) and Tim Willemse (t.a.c.wille...@tue.nl) Workshop chairs: Carlo A. Furia (fur...@usi.ch) and Lijun Zhang (zhan...@ios.ac.cn) A proposal should not exceed three pages and should include the following information: * Title and brief technical description of the event, specifying its goals and formal methods focus, and whether the event is a workshop, tutorial, or any other kind of event. * The names and contact information (web page, email address) of the organisers. The organisers of a workshop will also be its Programme Committee (PC) chairs; in this case, the proposal may also list prospective international PC members. * Pointers to information about past editions of the event, if applicable. Workshop proposals should specify whether it has taken place before; how often it has been co-located with FM or with other conferences, and the number of participants in the most recent instalments. * A discussion of the proposed format and agenda (for example: paper presentations, tutorials, demo sessions, etc). The organisers are encouraged to describe their vision for an online event, should the need occur in light of the current global pandemic crisis. * The proposed duration: half or one day. Exceptionally, two days events may be considered. * Potential invited speaker(s). * Procedures for selecting papers and participants and plans for the publication of proceedings, if any. * A tentative schedule for paper submission and notification of acceptance. The organisers of the proposed events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. IMPORTANT DATES === Submission of proposals: February 15, 2021 Notification of success of proposals: March 15, 2021 FM 2021: November 20-26, 2021 Workshop/Tutorial dates: November 20-21, 2021 Best Wishes, Carlo A. Furia (fur...@usi.ch) Luigia Petre
[TYPES/announce] Formal Methods 2021 -- 2nd Call for Papers
demonstration papers should explain enhancements made compared to previously published work. A tool demonstration paper need not present the theory behind the tool, but can focus on the tool’s features, how it is used, its evaluation, and examples and screenshots illustrating the tool’s use. Authors of tool and tool demonstration papers should make their tool available for use by the reviewers. We solicit various categories of papers: ● Regular Papers (max 15 pages) ● Long tool papers (max 15 pages) ● Case study papers (max 15 pages) ● Short papers (max 6 pages), including tool demonstration papers. Besides short tool demo papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be given short presentations at the conference. All page limits do not count references and appendices. For all papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary for the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2021 Best Paper. Publication Accepted papers will be published in the Symposium Proceedings to appear in Springer’s Lecture Notes in Computer Science in the subline on Formal Methods. Traditionally, extended versions of selected papers will be invited for publication in a special issue of one or more journals. General Chair Huimin Lin, Chinese Academy of Sciences, China Program Committee Chairs Marieke Huisman, University of Twente, Netherlands Corina Pasareanu, Carnegie Mellon University, USA Naijun Zhan, Chinese Academy of Science, China Program Committee Bernhard K. Aichernig, TU Graz, Austria Christel Baier, TU Dresden, Germany Gustavo Betarte, Universidad de la República, Uruguay Ivana Cerna, Masaryk University, Czech Pedro R. D'Argenio, Universidad Nacional de Córdoba – CONICET, Argentina Alessandro Fantechi, DINFO - Universita' di Firenze, Italy Bernd Fischer, Stellenbosch University, South Africa Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Vijay Ganesh, University of Waterloo, Canada Fatemeh Ghassemi, University of Tehran, Iran Stefania Gnesi, ISTI-CNR, Italy Ichiro Hasuo, National Institute of Informatics, Japan Paula Herber, University of Münster, Germany Peter Höfner, Australian National University, Australia Marieke Huisman, University of Twente, Netherlands Nils Jansen, Radboud University, Netherlands Einar Broch Johnsen, University of Oslo, Norway Jan Kofron, Charles University, Czech Dorel Lucanu, Alexandru Ioan Cuza University, Romania Radu Mateescu, INRIA, France Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA Annabelle McIver, Macquarie University, Australia Rosemary Monahan, Maynooth University, Ireland Nina Narodytska, VMware Research, USA David Naumann, Stevens Institute of Technology, USA Jose Oliveira, University of Minho, Portugal Jun Pang, University of Luxembourg, Luxembourg Dave Parker, University of Birmingham, UK Corina Pasareanu, CMU/NASA Ames Research Center, USA Gustavo Petri, IRIF, Université Paris Diderot, France Akshay Rajhans, MathWorks, USA Tamara Rezk, INRIA, France Partha Roop, University of Auckland, New Zealand Jun Sun, Singapore Management University, Singapore Maurice H. ter Beek, ISTI-CNR, Italy Elena Troubitsyna, KTH, Sweden Sebastian Uchitel, University of Buenos Aires and Imperial College London, UK Mattias Ulbrich, Karlsruhe Institute of Technology, Germany Tarmo Uustalu, Reykjavik University, Iceland Jaco van de Pol, Aarhus University, Denmark Michael Whalen, University of Minnesota, USA Ji Wang, National Laboratory for Parallel and Distributed Processing, China Anton Wijs, Eindhoven University of Technology, Netherlands Jim Woodcock, University of York, UK Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China Publicity Chair Eunsuk Kang, Carnegie Mellon University, US Jun Pang, University of Luxembourg, Luxembourg Local Organizers Naijun Zhan (chair), Chinese Academy of Sciences, China Bai Xue, Chinese Academy of Sciences, China Bohua Zhan Chinese Academy of Sciences, China Zhilin Wu, Chinese Academy of Sciences, China Andrea Turrini, Chinese
[TYPES/announce] Formal Methods 2021 -- 1st Call for Papers
their tool available for use by the reviewers. We solicit various categories of papers: ● Regular Papers (max 15 pages) ● Long tool papers (max 15 pages) ● Case study papers (max 15 pages) ● Short papers (max 6 pages), including tool demonstration papers. Besides short tool demo papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be given short presentations at the conference. All page limits do not count references and appendices. For all papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary for the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2021 Best Paper. Publication Accepted papers will be published in the Symposium Proceedings to appear in Springer’s Lecture Notes in Computer Science in the subline on Formal Methods. Traditionally, extended versions of selected papers will be invited for publication in a special issue of one or more journals. General Chair Huimin Lin, Chinese Academy of Sciences, China Program Committee Chairs Marieke Huisman, University of Twente, Netherlands Corina Pasareanu, Carnegie Mellon University, USA Naijun Zhan, Chinese Academy of Science, China Program Committee TBD Publicity Chair Eunsuk Kang, Carnegie Mellon University, US Jun Pang, University of Luxembourg, Luxembourg Local Organizers Naijun Zhan (chair), Chinese Academy of Sciences, China Bai Xue, Chinese Academy of Sciences, China Bohua Zhan Chinese Academy of Sciences, China Zhilin Wu, Chinese Academy of Sciences, China Andrea Turrini, Chinese Academy of Sciences, China David Jansen, Chinese Academy of Sciences, China Peng Wu, Chinese Academy of Sciences, China Web Team Bohua Zhan, Chinese Academy of Sciences, China Bai Xue, Chinese Academy of Sciences, China
[TYPES/announce] VTSA 2019 -- 2nd Call for applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019) July 1-5, 2019, Belval, Luxembourg The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut für Informatik in Saarbrücken, and the Universities of Liège and of Luxembourg, and will take place at the University of Luxembourg, Belval Campus, Maison du Savoir from July 1 to 5, 2019. The following speakers have agreed to lecture at the school: - Alexey Gotsman: Reasoning about data consistency in distributed systems - Jochen Hoenicke: Software model checking with Ultimate - Catalin Hritcu: Program verification with F* - Marieke Huisman: Verification of concurrent and distributed software - Cezary Kaliszyk: Artificial intelligence in theorem proving Participation in the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Soumya Paul (soumya.p...@uni.lu) including - a one-page CV, - an application letter explaining your interest in the school and your experience in the area - a copy of your bachelor certificate (or equivalent or a more significant certificate) - a short statement if you want to contribute to the student sessions The deadline for application is May 10, 2019. Notification of acceptance will be given by May 17, 2019. Full details can be found on the school Web page at https://www.mpi-inf.mpg.de/vtsa19
[TYPES/announce] VTSA 2019 -- Call for applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019) July 1-5, 2019, Belval, Luxembourg The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut für Informatik in Saarbrücken, and the Universities of Liège and of Luxembourg, and will take place at the University of Luxembourg, Belval Campus, Maison du Savoir from July 1 to 5, 2019. The following speakers have agreed to lecture at the school: - Alexey Gotsman: Reasoning about data consistency in distributed systems - Jochen Hoenicke: Software model checking with Ultimate - Catalin Hritcu: Program verification with F* - Marieke Huisman: Verification of concurrent and distributed software - Cezary Kaliszyk: Artificial intelligence in theorem proving Participation in the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Soumya Paul (soumya.p...@uni.lu) including - a one-page CV, - an application letter explaining your interest in the school and your experience in the area - a copy of your bachelor certificate (or equivalent or a more significant certificate) - a short statement if you want to contribute to the student sessions The deadline for application is May 10, 2019. Notification of acceptance will be given by May 17, 2019. Full details can be found on the school Web page at https://www.mpi-inf.mpg.de/vtsa19
[TYPES/announce] PhD and post-doc positions on Formal Methods for Voting Systems, University of Luxembourg
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Luxembourg/ Centre for Security and Trust is seeking to hire one research associate (postdoc) and one PhD candidate to perform research in formal methods for voting systems. The positions are part of the joint Luxembourg National Research Fund (FNR) and Norwegian RCN project “SURCVS” on the design and evaluation of secure yet usable voting systems. The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a dynamic and growing centre. Successful candidates will participate in the activities of the Security and Trust of Software Systems (SaToSS) research group led by Prof. Dr. Sjouke Mauw. The group is focused on formalising and applying formal reasoning to real-world security problems and trust issues. Further information and submission guidelines: - PhD Candidate: http://emea3.mrted.ly/1wot8 - Research Associate (Postdoc): http://emea3.mrted.ly/1wol3 Applications will be considered on basis of receipt so an early submission is encouraged; applications submitted within the stated deadline will be given preference. == Deadline for applications (for both positions): October 15th, 2018 ==
[TYPES/announce] TASE 2018 -- Last Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2018 - 2nd CALL FOR PAPERS ** The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018) August 29-31, Guangzhou, China http://tase2018.jnu.edu.cn For more information email: tase2...@easychair.org ** * Abstract submission: February 23, 2018 * Paper submission: March 2, 2018 OVERVIEW The 12th Theoretical Aspects of Software Engineering Conference (TASE 2018) will be held in Guangzhou, China in August, 2018. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2018 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2018 is the 12th in the TASE series. The past TASE symposia were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha('14), Nanjing('15), Shanghai('16) and Nice('17). The proceedings of the TASE 2018 symposium are planned to be published by the IEEE Computer Society Press. 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 Programs journal. -- TOPICS -- The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * Aspect oriented software * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Embedded and real-time systems * Feature-oriented software * Formal verification and program semantics * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Quantum computation * Requirements engineering * Reverse engineering and software maintenance * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioural typing * Tools exploiting theoretical results INVITED SPEAKERS * Rob van Glabbeek, CSIRO, and University of New South Wales, Australia * Dongmei Zhang, Microsoft Research, China * Lu Zhang, Peking University, China -- SUBMISSION -- Submission should be done through the TASE 2018 submission page, handled by the EasyChair conference system: https://www.easychair.org/conferences/?conf=tase2018 As in previous years, the proceedings of the conference are planned to be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format. --- IMPORTANT DATES --- Abstract submission : February 23, 2018 Paper submission : March 2, 2018 Notification : May 6, 2018 Camera-ready : June 6, 2018 Conference data: August 29-31, 2018 - GENERAL CHAIR - Jifeng He (East China Normal University, China) Jian Weng (Jinan University, China) - PROGRAM CO-CHAIRS - Jun Pang (University of Luxembourg, Luxembourg) Chenyi Zhang (Jinan University, China) - STEERING COMMITTEE - Keijiro Araki (Kyushu University, Japan) Jifeng He (East China Normal University, China) Michael Hinchey(Lero, Ireland) Shengchao Qin (Teesside University, UK) Huibiao Zhu(East China Normal University, China) -- PROGRAM COMMITTEE -- Erika Abraham, RWTH Aachen University, Germany Toshiaki Aoki, Japan Advanced Institute of Science and Technology (JAIST), Japan Farhad Arbab, CWI and Leiden University, The Netherlands Luis Barbosa, University of Minho, Portugal Marcello Bonsangue, Leiden University, The Netherlands Qingliang Chen, Jinan University, China Rocco de Nicola
[TYPES/announce] TASE 2018 -- 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2018 - 2nd CALL FOR PAPERS ** The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018) August 29-31, Guangzhou, China http://tase2018.jnu.edu.cn For more information email: tase2...@easychair.org ** * Abstract submission: February 23, 2018 * Paper submission: March 2, 2018 OVERVIEW The 12th Theoretical Aspects of Software Engineering Conference (TASE 2018) will be held in Guangzhou, China in August, 2018. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2018 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2018 is the 12th in the TASE series. The past TASE symposia were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha('14), Nanjing('15), Shanghai('16) and Nice('17). The proceedings of the TASE 2018 symposium are planned to be published by the IEEE Computer Society Press. 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 Programs journal. -- TOPICS -- The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * Aspect oriented software * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Embedded and real-time systems * Feature-oriented software * Formal verification and program semantics * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Quantum computation * Requirements engineering * Reverse engineering and software maintenance * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioural typing * Tools exploiting theoretical results INVITED SPEAKERS * Rob van Glabbeek, CSIRO, and University of New South Wales, Australia * Dongmei Zhang, Microsoft Research, China -- SUBMISSION -- Submission should be done through the TASE 2018 submission page, handled by the EasyChair conference system: https://www.easychair.org/conferences/?conf=tase2018 As in previous years, the proceedings of the conference are planned to be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format. --- IMPORTANT DATES --- Abstract submission : February 23, 2018 Paper submission : March 2, 2018 Notification : May 6, 2018 Camera-ready : June 6, 2018 Conference data: August 29-31, 2018 - GENERAL CHAIR - Jifeng He (East China Normal University, China) Jian Weng (Jinan University, China) - PROGRAM CO-CHAIRS - Jun Pang (University of Luxembourg, Luxembourg) Chenyi Zhang (Jinan University, China) - STEERING COMMITTEE - Keijiro Araki (Kyushu University, Japan) Jifeng He (East China Normal University, China) Michael Hinchey(Lero, Ireland) Shengchao Qin (Teesside University, UK) Huibiao Zhu(East China Normal University, China) -- PROGRAM COMMITTEE -- Erika Abraham, RWTH Aachen University, Germany Toshiaki Aoki, Japan Advanced Institute of Science and Technology (JAIST), Japan Farhad Arbab, CWI and Leiden University, The Netherlands Luis Barbosa, University of Minho, Portugal Marcello Bonsangue, Leiden University, The Netherlands Qingliang Chen, Jinan University, China Rocco de Nicola, Institute for Advanced Studies Lucca
[TYPES/announce] ESSS 2015 (co-located with FM 2015 in Oslo): submission deadline extended
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 4th International Workshop on Engineering Safety and Security Systems June 22, 2015, Oslo, Norway Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015 More information: http://pat.sce.ntu.edu.sg/esss15/ === Important dates - * March 23rd, 2015: Extended submission deadline * April 27th, 2015: Notification of acceptance/rejection * June 22nd, 2015: Workshop date Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2015. We invite two types of submissions: --Regular papers (up to 15 pages) describing original and unpublished work within the scope of the workshop. --Short papers (up to 6 pages) describing work in progress or less mature results. Case studies and tool papers are welcome as well. All submissions must be prepared in LATEX using the EPTCS macro package. The final versions of accepted regular and short papers will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS). Furthermore, authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal, after the workshop. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. Workshop chairs - Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Guandong Bai, National University of Singapore, Singapore Marieke Huisman, University of Twente, The Netherlands Weiqiang Kong, Dalian University of Technology, China Keqin Li, SAP Research, France Cong Tian, Xidian University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan Tian Zhang, Nanjing University, China
[TYPES/announce] TASE 2015 -- Final Call for Papers
Li(University of Macau, Macau) Xuandong Li(Nanjing University, China) Zhoujun Li (Beihang University, China) Shaoying Liu (Hosei University, Japan) Martin Leucker (University of L®πbeck, Germany) Xiaoqing(Frank) Liu(Missouri University of Science and Technology, USA) Antoine Min®¶ (Ecole Normale Sup®¶rieure Paris, France) Fernando Orejas(Universitat Politecnica de Catalunya, Spain) Paritosh K. Pandya (Tata Institute of Fundamental Research, India) Jun Pang (University of Luxembourg) Xin Peng (Fudan University, China) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu(Peking University, China) Cesar Sanchez (IMDEA Software Institute, Spain) Klaus Schneider(University of Kaiserslautern, Germany) Axel Simon (Technical University of Munich, Germany) Graeme Smith (University of Queensland, Australia) Colin Snook(University of Southampton, UK) Volker Stolz (Bergen University College, Norway) Kaile Su (Griffith University, Australia) Jing Sun (University of Auckland, New Zealand) Jean Pierre Talpin (INRIA, France) Yih-Kuen Tsay (National Taiwan University, Taiwan) Viktor Vafeiadis (MPI-SWS, Germany) Margus Veanes (Microsoft Research, USA) Tomas Vojnar (Brno University of Technology, Czech Republic) Yi Wang(Uppsala University, Sweden) Hongji Yang(Bath Spa University, UK) Hongli Yang(Beijing University of Technology, China) Hongwei Xi (Boston University, USA) Yingfei Xiong (Peking University, China) Naijun Zhan(Chinese Academy of Sciences, China) Hao Zhong (Shanghai Jiaotong University, China) Huibiao Zhu(East China Normal University, China) ORGANIZING CHAIR Ou Wei (Nanjing University of Aeronautics and Astronautics, China) PUBLICITY CHAIRS Jun Hun(Nanjing University of Aeronautics and Astronautics, China) Jun Pang (University of Luxembourg) Yu Zhou(Nanjing University of Aeronautics and Astronautics, China)
[TYPES/announce] ESSS 2015 (co-located with FM 2015 in Oslo): 2nd call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 4th International Workshop on Engineering Safety and Security Systems June 22, 2015, Oslo, Norway Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015 More information: http://pat.sce.ntu.edu.sg/esss15/ === Important dates - * March 16th, 2015: Submission deadline * April 27th, 2015: Notification of acceptance/rejection * June 22nd, 2015: Workshop date Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2015. We invite two types of submissions: --Regular papers (up to 15 pages) describing original and unpublished work within the scope of the workshop. --Short papers (up to 6 pages) describing work in progress or less mature results. Case studies and tool papers are welcome as well. All submissions must be prepared in LATEX using the EPTCS macro package. The final versions of accepted regular and short papers will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS). Furthermore, authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal, after the workshop. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. Workshop chairs - Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Guandong Bai, National University of Singapore, Singapore Marieke Huisman, University of Twente, The Netherlands Weiqiang Kong, Dalian University of Technology, China Keqin Li, SAP Research, France Cong Tian, Xidian University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan Tian Zhang, Nanjing University, China
[TYPES/announce] TASE 2015 -- Second Call for Papers
(University of L®πbeck, Germany) Xiaoqing(Frank) Liu(Missouri University of Science and Technology, USA) Antoine Min®¶ (Ecole Normale Sup®¶rieure Paris, France) Fernando Orejas(Universitat Politecnica de Catalunya, Spain) Paritosh K. Pandya (Tata Institute of Fundamental Research, India) Jun Pang (University of Luxembourg) Xin Peng (Fudan University, China) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu(Peking University, China) Cesar Sanchez (IMDEA Software Institute, Spain) Klaus Schneider(University of Kaiserslautern, Germany) Axel Simon (Technical University of Munich, Germany) Graeme Smith (University of Queensland, Australia) Colin Snook(University of Southampton, UK) Volker Stolz (Bergen University College, Norway) Kaile Su (Griffith University, Australia) Jing Sun (University of Auckland, New Zealand) Jean Pierre Talpin (INRIA, France) Yih-Kuen Tsay (National Taiwan University, Taiwan) Viktor Vafeiadis (MPI-SWS, Germany) Margus Veanes (Microsoft Research, USA) Tomas Vojnar (Brno University of Technology, Czech Republic) Yi Wang(Uppsala University, Sweden) Hongji Yang(Bath Spa University, UK) Hongli Yang(Beijing University of Technology, China) Hongwei Xi (Boston University, USA) Yingfei Xiong (Peking University, China) Naijun Zhan(Chinese Academy of Sciences, China) Hao Zhong (Shanghai Jiaotong University, China) Huibiao Zhu(East China Normal University, China) ORGANIZING CHAIR Ou Wei (Nanjing University of Aeronautics and Astronautics, China) PUBLICITY CHAIRS Jun Hun(Nanjing University of Aeronautics and Astronautics, China) Jun Pang (University of Luxembourg) Yu Zhou(Nanjing University of Aeronautics and Astronautics, China)
[TYPES/announce] ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 4th International Workshop on Engineering Safety and Security Systems June 22, 2015, Oslo, Norway Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015 More information: http://pat.sce.ntu.edu.sg/esss15/ === Important dates - * March 16th, 2015: Submission deadline * April 27th, 2015: Notification of acceptance/rejection * June 22nd, 2015: Workshop date Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2015. We invite two types of submissions: --Regular papers (up to 15 pages) describing original and unpublished work within the scope of the workshop. --Short papers (up to 6 pages) describing work in progress or less mature results. Case studies and tool papers are welcome as well. All submissions must be prepared in LATEX using the EPTCS macro package. The final versions of accepted regular and short papers will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS). Furthermore, authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal, after the workshop. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. Workshop chairs - Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Guandong Bai, National University of Singapore, Singapore Marieke Huisman, University of Twente, The Netherlands Weiqiang Kong, Dalian University of Technology, China Keqin Li, SAP Research, France Cong Tian, Xidian University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan Tian Zhang, Nanjing University, China
[TYPES/announce] TASE 2015 -- Preliminary Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2015 - Preliminary CALL FOR PAPERS ** The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015) 12-14 September 2015, Nanjing, China http://tase2015.nuaa.edu.cn For more information email: tase2...@easychair.org ** OVERVIEW The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2015 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2015 is the 9th in the TASE series. The past TASE symposiums were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha('14).The proceedings of the TASE 2015 symposium are planned to be published by the IEEE Computer Society Press. -- TOPICS -- The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented and Cloud Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Probability in Software Engineering -- SUBMISSION -- Submission should be done through the TASE 2015 submission page, handled by the EasyChair conference system: https://www.easychair.org/conferences/?conf=tase2015 As in previous years, the proceedings of the conference are planned to be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format --- IMPORTANT DATES --- Abstract submission: 7 March 2015 (23h59 GMT) Paper submission:14 March 2015 (23h59 GMT) Notification:23 May 2015 Camera-ready:13 June 2015 Conference: 12-14 September 2015 - GENERAL CHAIR - Jifeng He (East China Normal University, China) - PROGRAM CO-CHAIRS - Zhiqiu Huang (Nanjing University of Aeronautics and Astronautics, China) Jun Sun (Singapore University of Technology and Design) - STEERING COMMITTE - Keijiro Araki (Kyushu University, Japan) Shengchao Qin (Teesside University, UK) Jifeng He (East China Normal University, China) Huibiao Zhu (East China Normal University, China) Michael Hinchey (Lero, Ireland) - PROGRAM COMITTIEE - TBA ORGANIZING CHAIR Ou Wei(Nanjing University of Aeronautics and Astronautics, China) PUBLICITY CHAIRS Jun Hun (Nanjing University of Aeronautics and Astronautics, China) Jun Pang (University of Luxembourg) Yu Zhou (Nanjing University of Aeronautics and Astronautics, China)
[TYPES/announce] VTSA 2014: 2nd Call for Applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Summer School on Verification Technology, Systems and Applications October 27-31, 2014, University of Luxembourg, Luxembourg The summer school on verification technology, systems applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organised by the Universities of Liège and of Luxembourg, the Max-Planck-Institut für Informatik in Saarbrücken, and the Inria Research Center in Nancy, and will take place at the Interdisciplinary Centre for Security, Reliability and Trust in University of Luxembourg, Luxembourg from October 27-31, 2014. This year it is a co-located event with ICFEM 2014, which will be held in Luxembourg from November 3-7, 2014. PhD students can apply scholarships in order to attend the conference ICFEM 2014 as well. More details will be available on the following website icfem2014.uni.lu. The following speakers have agreed to lecture at the school: - Nikolaj Bjorner: Software Verification by Solving Horn Clauses - Laura Kovács: Symbolic Computation and Theorem Proving in Program Analysis - Joel Ouaknine: A Survey of Program Termination: Practical and Theoretical Challenges - Jaco van de Pol: Scalable Multi-core Model Checking: Technology Applications of Brute Force - Helmut Veith: Model Checking of Fault-Tolerant Distributed Algorithms Participation to the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, daily coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Eugen Denerz (edenerz_AT_mpi-inf.mpg.de) including - a one-page CV, - an application letter explaining your interest in the school and your experience in the area, and - a copy of your bachelor (or equivalent or higher) certificate. The deadline for application is September 05, 2014. Notification of acceptance will be given by September 12, 2014. Full details can be found on the school Web page at http://www.mpi-inf.mpg.de/VTSA14/.
[TYPES/announce] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- deadline extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] New dates - * February 17th, 2014: Extended submission deadline * March 17th, 2014: Notification of acceptance/rejection * May 13th, 2014: New workshop date == 3rd International Workshop on Engineering Safety and Security Systems May 13, 2014, Singapore Co-located with FM 2014 in Singapore, May 12-16, 2014 More information: http://pat.sce.ntu.edu.sg/esss14/ === Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2014. We invite two types of submissions: --Regular papers (up to 15 pages) describing original and unpublished work within the scope of the workshop. --Short papers (up to 6 pages) describing work in progress or less mature results. Case studies and tool papers are welcome as well. All submissions must be prepared in LATEX using the EPTCS macro package. The final versions of accepted regular and short papers will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS). Furthermore, authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal, after the workshop. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair - Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs - Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Toalue Chen, Middelsex University, UK Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan
[TYPES/announce] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 2nd call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 3rd International Workshop on Engineering Safety and Security Systems May 12, 2014, Singapore Co-located with FM 2014 in Singapore, May 12-26, 2014 More information: http://pat.sce.ntu.edu.sg/esss14/ === Important dates - * February 10th, 2014: Submission deadline * March 17th, 2014: Notification of acceptance/rejection * May 12th, 2014: Workshop Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2014. We invite two types of submissions: --Regular papers (up to 15 pages) describing original and unpublished work within the scope of the workshop. --Short papers (up to 6 pages) describing work in progress or less mature results. Case studies and tool papers are welcome as well. All submissions must be prepared in LATEX using the EPTCS macro package. The final versions of accepted regular and short papers will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS). Furthermore, authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal, after the workshop. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair - Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs - Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Toalue Chen, Middelsex University, UK Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan
[TYPES/announce] ICECCS 2013 in Singapore -- Last Call for Papers
. Submissions not adhering to the specified format and length may be rejected immediately, without review. All submissions should be made through the Easychair Website: https://www.easychair.org/account/signin.cgi?conf=iceccs2013 ORGANIZING COMMITTEES --- General Co-Chairs Jin Song Dong, National University of Singapore, Singapore Jun Sun, Singapore University of Technology and Design, Singapore Program Committee Co-Chairs Yang Liu, Nanyang Technological University, Singapore Andrew Martin, Oxford University, UK Workshop Chair Zhenjiang Hu, National Institute of Informatics, Japan Yuan-Fang Li, Monash University, Australia Publicity Chair Jun Pang, University of Luxembourg, Luxembourg Tutorial Chair Isabelle Perseil, INSERM Research, France Local Chair Shangwei Lin, National University of Singapore, Singapore Manchun Zheng, Singapore University of Technology and Design, Singapore Doctoral Symposium Chair Zhengchang Xin, Nanyang Technological University, Singapore Registration Chair ShaoJie Zhang, Singapore University of Technology and Design, Singapore Web Chair Jianqi Shi, National University of Singapore, Singapore PROGRAMME COMMITTEES --- Marc Aiguier, Ecole Centrale Paris, France Yamine Ait Ameur, LISI/ENSMA, France Luis Almeida, da Universidade do Porto, Portugal Etienne Andre, Université Paris 13, France Luciano Baresi, DEI - Politecnico di Milano, Italy Karin Breitman, PUC-RJ, Brazil Phillip J Brooke, Teesside University, United Kingdom Jean-Michel Bruel, IRIT, France Radu Calinescu, University of York, United Kingdom Corina Cirstea, University of Southampton, United Kingdom Felicita Di Giandomenico, ISTI-CNR, Italy Gilles Dowek, INRIA, France Kerstin Eder, University of Bristol, United Kingdom Carlo Alberto Furia, ETH Zurich, Switzerland Sebastien Gerard, CEA LIST, France Mark Grechanik, University of Illinois at Chicago, United States Lindsay Groves, Victoria University of Wellington, New Zealand Lars Grunske, Swinburne University of Technology, Australia Esther Guerra, Universidad Autónoma de Madrid, Spain Fei He, Tsinghua University, China Moonzoo Kim, KAIST, South Korea Joseph Kiniry, IT University of Copenhagen, Denmark Daniel Kroening, Oxford University, United Kingdom Ralf Laemmel, Universität Koblenz-Landau, Germany Regine Laleau, Paris Est Creteil University, France Phillip Laplante, Pennsylvania State University, United States Kung-Kiu Lau, The University of Manchester, United Kingdom Yuan-Fang Li, Monash University, Australia Xiaohong Li, Tianjin University, China Peter Lindsay, The University of Queensland, Australia Yang Liu, Nanyang Technological University, Singapore Gerald Luettgen, University of Bamberg, Germany Tiziana Margaria, University of Potsdam, Germany Andrew Martin, University of Oxford, United Kingdom Julie Mccann, Imperial College, United Kingdom Dominique Mery, Université de Lorraine, LORIA Raffaela Mirandola, Politecnico di Milano, Italy Jun Pang, University of Luxembourg, Luxembourg Isabelle Perseil, Inserm, France Robert Pettit, The Aerospace Corporation, USA Bernhard Rumpe, RWTH Aachen University, Germany Ricardo Sanz, Universidad Politecnica de Madrid, Spain Cristina Seceleanu, Mälardalen University, Västerås, SWEDEN Janet Smart, University of Oxford, United Kingdom Volker Stolz, University of Oslo, Norway Jing Sun, University of Auckland, New Zealand Clemens Szyperski, Microsoft Research, United States Kenji Taguchi, AIST, Japan Dalila Tamzalit LINA Laboratory, University of Nantes, France Tullio Vardanega University of Padua, Italy Xinyu Wang, Zhejiang University, China Chao Wang, Virginia Tech, United States Hai H. Wang, University of Aston, United Kingdom Bow-Yaw Wang, Academia Sinica, Taiwan Bechir Zalila, ReDCAD Laboratory, University of Sfax, Tunisia Naijun Zhan, Chinese Academy of Sciences, China Huibiao Zhu, East China Normal University, China Steffen Zschaler, King's College London, United Kingdom
[TYPES/announce] ESSS workshop 2013 (co-located with ICST 2013) -- submission deadline extended
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] New submission deadline: January 6th, 2013 == 2nd International Workshop on Engineering Safety and Security Systems March 18, 2013, Luxembourg Co-located with ICST 2013 in Luxembourg, March 18-22, 2013 More information: http://www.comp.nus.edu.sg/~pat/esss2013/ === Important dates - * January 6th 2013: Submission deadline (extended) * February 11th 2013: Notification of acceptance/rejection (extended) * March 18th 2013: Workshop Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2013. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html ). Papers should not exceed 6 pages for full papers and 2 pages for short papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All workshop papers will be published in the IEEE Digital Library in the form of a post-proceedings. A pre-workshop version of the papers will be available on the workshop website prior. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair - Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs - Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Cyrille Artho, AIST, Japan Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan
[TYPES/announce] ESSS workshop 2013 (co-located with ICST 2013) -- 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 2nd International Workshop on Engineering Safety and Security Systems March 18, 2013, Luxembourg Co-located with ICST 2013 in Luxembourg, March 18-22, 2013 More information: http://www.comp.nus.edu.sg/~pat/esss2013/ === Important dates - * December 21st 2012: Submission deadline * January 28th 2013: Notification of acceptance/rejection * March 18th 2013: Workshop Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2013. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html ). Papers should not exceed 6 pages for full papers and 2 pages for short papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All workshop papers will be published in the IEEE Digital Library in the form of a post-proceedings. A pre-workshop version of the papers will be available on the workshop website prior. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair - Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs - Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Cyrille Artho, AIST, Japan Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan
[TYPES/announce] ICECCS 2013 in Singapore -- 2nd Call for Papers
. Submissions not adhering to the specified format and length may be rejected immediately, without review. All submissions should be made through the Easychair Website: https://www.easychair.org/account/signin.cgi?conf=iceccs2013 ORGANIZING COMMITTEES --- General Co-Chairs Jin Song Dong, National University of Singapore, Singapore Jun Sun, Singapore University of Technology and Design, Singapore Program Committee Co-Chairs Yang Liu, Nanyang Technological University, Singapore Andrew Martin, Oxford University, UK Workshop Chair Zhenjiang Hu, National Institute of Informatics, Japan Yuan-Fang Li, Monash University, Australia Publicity Chair Jun Pang, University of Luxembourg, Luxembourg Tutorial Chair Isabelle Perseil, INSERM Research, France Local Chair Shangwei Lin, National University of Singapore, Singapore Manchun Zheng, Singapore University of Technology and Design, Singapore Doctoral Symposium Chair Zhengchang Xin, Nanyang Technological University, Singapore Registration Chair ShaoJie Zhang, Singapore University of Technology and Design, Singapore Web Chair Jianqi Shi, National University of Singapore, Singapore PROGRAMME COMMITTEES --- Marc Aiguier, Ecole Centrale Paris, France Yamine Ait Ameur, LISI/ENSMA, France Luis Almeida, da Universidade do Porto, Portugal Etienne Andre, Université Paris 13, France Luciano Baresi, DEI - Politecnico di Milano, Italy Karin Breitman, PUC-RJ, Brazil Phillip J Brooke, Teesside University, United Kingdom Jean-Michel Bruel, IRIT, France Radu Calinescu, University of York, United Kingdom Corina Cirstea, University of Southampton, United Kingdom Felicita Di Giandomenico, ISTI-CNR, Italy Gilles Dowek, INRIA, France Kerstin Eder, University of Bristol, United Kingdom Carlo Alberto Furia, ETH Zurich, Switzerland Sebastien Gerard, CEA LIST, France Mark Grechanik, University of Illinois at Chicago, United States Lindsay Groves, Victoria University of Wellington, New Zealand Lars Grunske, Swinburne University of Technology, Australia Esther Guerra, Universidad Autónoma de Madrid, Spain Fei He, Tsinghua University, China Moonzoo Kim, KAIST, South Korea Joseph Kiniry, IT University of Copenhagen, Denmark Daniel Kroening, Oxford University, United Kingdom Ralf Laemmel, Universität Koblenz-Landau, Germany Regine Laleau, Paris Est Creteil University, France Phillip Laplante, Pennsylvania State University, United States Kung-Kiu Lau, The University of Manchester, United Kingdom Yuan-Fang Li, Monash University, Australia Xiaohong Li, Tianjin University, China Peter Lindsay, The University of Queensland, Australia Yang Liu, Nanyang Technological University, Singapore Gerald Luettgen, University of Bamberg, Germany Tiziana Margaria, University of Potsdam, Germany Andrew Martin, University of Oxford, United Kingdom Julie Mccann, Imperial College, United Kingdom Dominique Mery, Université de Lorraine, LORIA Raffaela Mirandola, Politecnico di Milano, Italy Jun Pang, University of Luxembourg, Luxembourg Isabelle Perseil, Inserm, France Robert Pettit, The Aerospace Corporation, USA Bernhard Rumpe, RWTH Aachen University, Germany Ricardo Sanz, Universidad Politecnica de Madrid, Spain Cristina Seceleanu, Mälardalen University, Västerås, SWEDEN Janet Smart, University of Oxford, United Kingdom Volker Stolz, University of Oslo, Norway Jing Sun, University of Auckland, New Zealand Clemens Szyperski, Microsoft Research, United States Kenji Taguchi, AIST, Japan Dalila Tamzalit LINA Laboratory, University of Nantes, France Tullio Vardanega University of Padua, Italy Xinyu Wang, Zhejiang University, China Chao Wang, Virginia Tech, United States Hai H. Wang, University of Aston, United Kingdom Bow-Yaw Wang, Academia Sinica, Taiwan Bechir Zalila, ReDCAD Laboratory, University of Sfax, Tunisia Naijun Zhan, Chinese Academy of Sciences, China Huibiao Zhu, East China Normal University, China Steffen Zschaler, King's College London, United Kingdom
[TYPES/announce] ESSS workshop 2013 -- 1st Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 2nd International Workshop on Engineering Safety and Security Systems March 18, 2013, Luxembourg Co-located with ICST 2013 in Luxembourg, March 18-22, 2013 More information: http://www.comp.nus.edu.sg/~pat/esss2013/ === Important dates - * December 21st 2012: Submission deadline * January 28th 2013: Notification of acceptance/rejection * March 18th 2013: Workshop Introduction of the Workshop - The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry RD expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop - The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines - Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2013. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Papers should not exceed 6 pages for full papers and 2 pages for short papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All workshop papers will be published in the IEEE Digital Library in the form of a post-proceedings. A pre-workshop version of the papers will be available on the workshop website prior. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair - Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs - Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee - Etienne Andre, Universite Paris 13, France Cyrille Artho, AIST, Japan Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan
[TYPES/announce] Software Verification and Testing Track at ACM SAC 2013: last CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 28th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 18 - 22, 2013, Coimbra, Portugal (Proceedings published by ACM, Selected papers invited to a special issue of Science of Computer Programming) More information: http://www.win.tue.nl/sacsvt13/ and http://www.acm.org/conferences/sac/sac2013/ === Important dates --- * September 21st 2012: Submission deadline * November 10th 2012: Notification of acceptance/rejection * November 30th 2012: Camera-ready versions due ACM Symposium on Applied Computing -- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-seven years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2013 is sponsored by SIGAPP and will be held at the Institute of Engineering of the Polytechnic Institute of Coimbra, Coimbra, Portugal. Software Verification and Testing Track --- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - tools and techniques for verification of large scale software systems - real world applications and case studies applying software verification - static and run-time analysis - abstract interpretation - model checking - theorem proving - refinement and correct by construction development - model-based testing - verification-based testing - run-time verification - symbolic execution and partial evaluation - analysis methods for dependable systems - software certification and proof carrying code Submissions guidelines -- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/c/sac2013/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2013 proceedings. For accepted papers, registration for the conference is required and allows accepted papers to be printed in the conference proceedings. The accepted paper MUST be presented by an author or a proxy. This is a requirement for the paper to be part of the ACM/IEEE digital library. A special issue of Science of Computer Programming (SCP) has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of SCP. (New for SAC 2013) Student Research Competition (SRC) Program: Graduate students are invited to submit research abstracts (minimum of 2-page and maximum of 4-page) following the instructions published at SAC 2013 website. Submission of the same abstract to multiple tracks is not allowed. All research abstract submissions will be reviewed by researchers and practitioners with expertise in the track focus area to which they are submitted. Authors of selected abstracts will have the opportunity to give poster presentations of their work and compete for three top-winning places. The SRC committee will evaluate and select First-, Second-, and Third- place winners. The winners will receive cash awards and SIGAPP recognition certificates during the conference banquet. Authors of selected abstracts are eligible to apply to the SIGAPP Student Travel Award program for support. Program committee - Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Sarfraz Khurshid, University of Texas at Austin, USA Ramtin Khosravi, University of Tehran, Iran Keqin Li, SAP Research, France Yang Liu, National University of Singapore, Singapore Delphine Longuet, Universite Paris-Sud 11, France Yves Le Traon, University of Luxembourg, Luxembourg MohammadReza Mousavi (co-chair), Eindhoven University of Technology, The Netherlands Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France Markus Mueller-Olm, University of Muenster, Germany Jun Pang (co-chair), University of Luxembourg, Luxembourg Dave Parker, University of Birmingham, UK Hongyang Qu, Oxford University, UK Martin Steffen, University of Oslo, Norway Tim
[TYPES/announce] Software Verification and Testing Track at SAC 2013: First CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 28th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 18 - 22, 2013, Coimbra, Portugal More information: http://www.win.tue.nl/sacsvt13/ and http://www.acm.org/conferences/sac/sac2013/ === Important dates --- * September 21st 2012: Submission deadline * November 10th 2012: Notification of acceptance/rejection * November 30th 2012: Camera-ready versions due ACM Symposium on Applied Computing -- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-seven years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2013 is sponsored by SIGAPP and will be held at the Institute of Engineering of the Polytechnic Institute of Coimbra, Coimbra, Portugal. Software Verification and Testing Track --- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - tools and techniques for verification of large scale software systems - real world applications and case studies applying software verification - static and run-time analysis - abstract interpretation - model checking - theorem proving - refinement and correct by construction development - model-based testing - verification-based testing - run-time verification - symbolic execution and partial evaluation - analysis methods for dependable systems - software certification and proof carrying code Submissions guidelines -- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/c/sac2013/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Publication of accepted articles requires the commitment of one of the authors to register for the conference and present the paper. Accepted papers will be published in the ACM SAC 2013 proceedings. A special issue of Science of Computer Programming (SCP) has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of SCP. Program committee - Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Sarfraz Khurshid, University of Texas at Austin, USA Ramtin Khosravi, University of Tehran, Iran Yang Liu, National University of Singapore, Singapore Delphine Longuet, Université Paris-Sud 11, France Yves Le Traon, University of Luxembourg, Luxembourg MohammadReza Mousavi (co-chair), Eindhoven University of Technology, The Netherlands Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France Markus Mueller-Olm, University of Muenster, Germany Jun Pang (co-chair), University of Luxembourg, Luxembourg Dave Parker, University of Birmingham, UK Hongyang Qu, Oxford University, UK Martin Steffen, University of Oslo, Norway Tim Willemse, Eindhoven University of Technology, The Netherlands
[TYPES/announce] ICTAC 2012 - deadline extended by 1 week
by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. A special issue of a journal with extended version of selected papers from ICTAC 2012 is under negotiation. Submissions to the colloquium must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Submissions can be either Regular Papers or Short Papers. Short papers can present recent or ongoing work or discuss new ideas which are at an early stage of development and have not been thoroughly evaluated yet. Papers should be written in English. Regular Papers should not exceed 15 pages and Short Papers should be between 4 and 8 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers shall be submitted at http://www.easychair.org/conferences/?conf=ictac2012 All queries should be sent to: ictac2...@iist.unu.edu IMPORTANT DATES: Paper submission deadline:23 April 2012 Paper Accept/Reject Notification: 14 June 2012 Final paper submission:6 July 2012 PROGRAM COMMITTEE * Ana Cavalcanti, University of York, UK * Supratik Chakraborty, IIT Mumbai, India * Satish Chandra, IBM Watson, USA * Yifeng Chen, Peking University, China * Meenakshi D'Souza, IIIT Bangalore, India * Thao Dang, Verimag, France * Frank S. deBoer, CWI, Netherlands * Xinyu Feng, USTC, China * John Fitzgerald, University of Newcastle, UK * Susanne Graf, Verimag, France * Lindsay Groves, Victoria University, New Zealand * Zhenjiang Hu, NII, Japan * Lei Ju, Shandong University, China * Moonzoo Kim, KAIST, Korea * Daniel Kroening, Oxford University, UK * Kim G. Larsen, Aalborg University, Denmark * Martin Leucker, TU Munich, Germany * Zhiming Liu, UNU-IIST, Macau SAR, China * Kamal Lodaya, Inst. of Mathematical Sciences, India * Annabelle McIver Macquarie University, Australia * Madhavan Mukund, Chennai Mathematical Inst., India * Kedar Namjoshi, Bell Labs, USA * Jun Pang, Univ. of Luxembourg, Luxembourg * Sanjiva Prasad, IIT Delhi, India * Geguang Pu, ECNU, China * Zongyan Qiu, Peking University, China * Anders P. Ravn, Aalborg University, Denmark * Abhik Roychoudhury, National University of Singapore, Singapore (Chair) * Diptikalyan Saha, IBM Research, India * Augusto Sampaio, UFPE, Brazil * Bikram Sengupta, IBM Research, India * R.K. Shyamasundar, TIFR, India * Sofiene Tahar, Concordia University, Canada * Kapil Vaswani, Microsoft Research, India * Wang Yi, Uppsala University, Sweden * Naijun Zhan, Chinese Academy of Sciences, China * Jianjun Zhao, Shanghai Jiao Tong University, China ORGANISING COMMITTEE * Meenakshi D' Souza, IIIT-B (General Chair) * Jun Pang, Univ. of Luxembourg (Publicity Chair) * Deepak D'Souza, Indian Institute of Science * Sumesh Divakaran, IIIT-B. STEERING COMMITTEE * John Fitzgerald, UK * Martin Leucker, Germany * Zhiming Liu, Macau SAR China (Chair) * Tobias Nipkow, Germany * Augusto Sampaio, Brazil * Natarajan Shankar, USA * Jim Woodcock, UK
[TYPES/announce] ICTAC'12: Final Call For Papers
evaluated yet. Papers should be written in English. Regular Papers should not exceed 15 pages and Short Papers should be between 4 and 8 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers shall be submitted at http://www.easychair.org/conferences/?conf=ictac2012 All queries should be sent to: ictac2...@iist.unu.edu IMPORTANT DATES: Paper submission deadline: 16 April 2012 Paper Accept/Reject Notification: 8 June 2012 Final paper submission:29 June 2012 PROGRAM COMMITTEE * Ana Cavalcanti, University of York, UK * Supratik Chakraborty, IIT Mumbai, India * Satish Chandra, IBM Watson, USA * Yifeng Chen, Peking University, China * Meenakshi DíSouza, IIIT Bangalore, India * Thao Dang, Verimag, France * Frank S. deBoer, CWI, Netherlands * Xinyu Feng, USTC, China * John Fitzgerald, University of Newcastle, UK * Susanne Graf, Verimag, France * Lindsay Groves, Victoria University, New Zealand * Zhenjiang Hu, NII, Japan * Lei Ju, Shandong University, China * Moonzoo Kim, KAIST, Korea * Daniel Kroening, Oxford University, UK * Kim G. Larsen, Aalborg University, Denmark * Martin Leucker, TU Munich, Germany * Zhiming Liu, UNU-IIST, Macau SAR, China * Kamal Lodaya, Inst. of Mathematical Sciences, India * Annabelle McIver Macquarie University, Australia * Madhavan Mukund, Chennai Mathematical Inst., India * Kedar Namjoshi, Bell Labs, USA * Jun Pang, Univ. of Luxembourg, Luxembourg * Sanjiva Prasad, IIT Delhi, India * Geguang Pu, ECNU, China * Zongyan Qiu, Peking University, China * Anders P. Ravn, Aalborg University, Denmark * Abhik Roychoudhury, National University of Singapore, Singapore (Chair) * Diptikalyan Saha, IBM Research, India * Augusto Sampaio, UFPE, Brazil * Bikram Sengupta, IBM Research, India * R.K. Shyamasundar, TIFR, India * Sofiene Tahar, Concordia University, Canada * Kapil Vaswani, Microsoft Research, India * Wang Yi, Uppsala University, Sweden * Naijun Zhan, Chinese Academy of Sciences, China * Jianjun Zhao, Shanghai Jiao Tong University, China ORGANISING COMMITTEE * Meenakshi Dí Souza, IIIT-B (General Chair) * Jun Pang, Univ. of Luxembourg (Publicity Chair) * Deepak DíSouza, Indian Institute of Science * Sumesh Divakaran, IIIT-B. STEERING COMMITTEE * John Fitzgerald, UK * Martin Leucker, Germany * Zhiming Liu, Macau SAR China (Chair) * Tobias Nipkow, Germany * Augusto Sampaio, Brazil * Natarajan Shankar, USA * Jim Woodcock, UK
[TYPES/announce] ICTAC'12: 2nd Call For Papers
or discuss new ideas which are at an early stage of development and have not been thoroughly evaluated yet. Papers should be written in English. Regular Papers should not exceed 15 pages and Short Papers should be between 4 and 8 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers shall be submitted at http://www.easychair.org/conferences/?conf=ictac2012 All queries should be sent to: ictac2...@iist.unu.edu IMPORTANT DATES - Paper submission deadline: 16 April 2012 Paper Accept/Reject Notification: 8 June 2012 Final paper submission:29 June 2012 PROGRAM COMMITTEE - * Ana Cavalcanti, University of York, UK * Supratik Chakraborty, IIT Mumbai, India * Satish Chandra, IBM Watson, USA * Yifeng Chen, Peking University, China * Meenakshi D'Souza, IIIT Bangalore, India * Thao Dang, Verimag, France * Frank S. deBoer, CWI, Netherlands * Xinyu Feng, USTC, China * John Fitzgerald, University of Newcastle, UK * Susanne Graf, Verimag, France * Lindsay Groves, Victoria University, New Zealand * Zhenjiang Hu, NII, Japan * Lei Ju, Shandong University, China * Moonzoo Kim, KAIST, Korea * Daniel Kroening, Oxford University, UK * Kim G. Larsen, Aalborg University, Denmark * Martin Leucker, TU Munich, Germany * Zhiming Liu, UNU-IIST, Macau SAR, China * Kamal Lodaya, Inst. of Mathematical Sciences, India * Annabelle McIver Macquarie University, Australia * Madhavan Mukund, Chennai Mathematical Inst., India * Kedar Namjoshi, Bell Labs, USA * Jun Pang, Univ. of Luxembourg, Luxembourg * Sanjiva Prasad, IIT Delhi, India * Geguang Pu, ECNU, China * Zongyan Qiu, Peking University, China * Anders P. Ravn, Aalborg University, Denmark * Abhik Roychoudhury, National University of Singapore, Singapore (Chair) * Diptikalyan Saha, IBM Research, India * Augusto Sampaio, UFPE, Brazil * Bikram Sengupta, IBM Research, India * R.K. Shyamasundar, TIFR, India * Sofiene Tahar, Concordia University, Canada * Kapil Vaswani, Microsoft Research, India * Wang Yi, Uppsala University, Sweden * Naijun Zhan, Chinese Academy of Sciences, China * Jianjun Zhao, Shanghai Jiao Tong University, China ORGANISING COMMITTEE - * Meenakshi D'Souza, IIIT-B (General Chair) * Jun Pang, Univ. of Luxembourg (Publicity Chair) * Deepak D'Souza, Indian Institute of Science * Sumesh Divakaran, IIIT-B STEERING COMMITTEE - * John Fitzgerald, UK * Martin Leucker, Germany * Zhiming Liu, Macau SAR China (Chair) * Tobias Nipkow, Germany * Augusto Sampaio, Brazil * Natarajan Shankar, USA * Jim Woodcock, UK
[TYPES/announce] Software Verification and Testing Track at SAC'12: One week deadline extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 27th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 25 - 29, 2012, Riva del Garda (Trento), Italy More information: http://www.win.tue.nl/sacsvt12/ and http://www.acm.org/conferences/sac/sac2012/ === Important dates --- * September 7th 2011: Submission deadline (EXTENDED!!!) * October 12th 2011: Notification of acceptance/rejection * November 2nd 2011: Camera-ready versions due ACM Symposium on Applied Computing -- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-six years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2012 is sponsored by SIGAPP and will be hosted by the Microsoft Research - University of Trento Researcher Centre for Computational and Systems Biology, at Riva del Garda (Trento), Italy. Software Verification and Testing Track --- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - tools and techniques for verification of large scale software systems - real world applications and case studies applying software verification - static and run-time analysis - abstract interpretation - model checking - theorem proving - refinement and correct by construction development - model-based testing - verification-based testing - run-time verification - symbolic execution and partial evaluation - analysis methods for dependable systems - software certification and proof carrying code Submissions guidelines -- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/c/sac2012/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Publication of accepted articles requires the commitment of one of the authors to register for the conference and present the paper. Accepted papers will be published in the ACM SAC 2012 proceedings. A special issue of Innovations in Systems and Software Engineering (ISSE) has been. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of ISSE. Program committee - Bernhard K. Aichernig, Graz University of Technology, Austria Amy Felty, University of Ottawa, Canada Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Chris Hankin, Imperial College, UK Yves Le Traon, University of Luxembourg, Luxembourg MohammadReza Mousavi (co-chair), Eindhoven University of Technology, The Netherlands Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France Markus Mueller-Olm, University of Muenster, Germany Jun Pang (co-chair), University of Luxembourg, Luxembourg Dave Parker, Oxford University, UK Martin Steffen, University of Oslo, Norway Marielle Stoelinga, University of Twente, the Netherlands Tim Willemse, Eindhoven University of Technology, The Netherlands
[TYPES/announce] Software Verification and Testing Track at SAC'12: last CfP (deadline Aug. 31)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 27th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 25 - 29, 2012, Riva del Garda (Trento), Italy More information: http://www.win.tue.nl/sacsvt12/ and http://www.acm.org/conferences/sac/sac2012/ === Important dates --- * August 31th 2011: Submission deadline * October 12th 2011: Notification of acceptance/rejection * November 2nd 2011: Camera-ready versions due ACM Symposium on Applied Computing -- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-six years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2012 is sponsored by SIGAPP and will be hosted by the Microsoft Research - University of Trento Researcher Centre for Computational and Systems Biology, at Riva del Garda (Trento), Italy. Software Verification and Testing Track --- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - tools and techniques for verification of large scale software systems - real world applications and case studies applying software verification - static and run-time analysis - abstract interpretation - model checking - theorem proving - refinement and correct by construction development - model-based testing - verification-based testing - run-time verification - symbolic execution and partial evaluation - analysis methods for dependable systems - software certification and proof carrying code Submissions guidelines -- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/c/sac2012/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Publication of accepted articles requires the commitment of one of the authors to register for the conference and present the paper. Accepted papers will be published in the ACM SAC 2012 proceedings. A special issue of Innovations in Systems and Software Engineering (ISSE) has been. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of ISSE. Program committee - Bernhard K. Aichernig, Graz University of Technology, Austria Amy Felty, University of Ottawa, Canada Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Chris Hankin, Imperial College, UK Yves Le Traon, University of Luxembourg, Luxembourg MohammadReza Mousavi (co-chair), Eindhoven University of Technology, The Netherlands Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France Markus Mueller-Olm, University of Muenster, Germany Jun Pang (co-chair), University of Luxembourg, Luxembourg Dave Parker, Oxford University, UK Martin Steffen, University of Oslo, Norway Marielle Stoelinga, University of Twente, the Netherlands Tim Willemse, Eindhoven University of Technology, The Netherlands
[TYPES/announce] Software Verification and Testing Track at SAC'12: 2nd CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 27th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 25 - 29, 2012, Riva del Garda (Trento), Italy More information: http://www.win.tue.nl/sacsvt12/ and http://www.acm.org/conferences/sac/sac2012/ === Important dates --- * August 31th 2011: Submission deadline * October 12th 2011: Notification of acceptance/rejection * November 2nd 2011: Camera-ready versions due ACM Symposium on Applied Computing -- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-six years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2012 is sponsored by SIGAPP and will be hosted by the Microsoft Research - University of Trento Researcher Centre for Computational and Systems Biology, at Riva del Garda (Trento), Italy. Software Verification and Testing Track --- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - tools and techniques for verification of large scale software systems - real world applications and case studies applying software verification - static and run-time analysis - abstract interpretation - model checking - theorem proving - refinement and correct by construction development - model-based testing - verification-based testing - run-time verification - symbolic execution and partial evaluation - analysis methods for dependable systems - software certification and proof carrying code Submissions guidelines -- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/c/sac2012/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Publication of accepted articles requires the commitment of one of the authors to register for the conference and present the paper. Accepted papers will be published in the ACM SAC 2012 proceedings. A special issue of Innovations in Systems and Software Engineering (ISSE) has been. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of ISSE. Program committee - Bernhard K. Aichernig, Graz University of Technology, Austria Amy Felty, University of Ottawa, Canada Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Chris Hankin, Imperial College, UK Yves Le Traon, University of Luxembourg, Luxembourg MohammadReza Mousavi (co-chair), Eindhoven University of Technology, The Netherlands Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France Markus Mueller-Olm, University of Muenster, Germany Jun Pang (co-chair), University of Luxembourg, Luxembourg Dave Parker, Oxford University, UK Martin Steffen, University of Oslo, Norway Marielle Stoelinga, University of Twente, the Netherlands Tim Willemse, Eindhoven University of Technology, The Netherlands
[TYPES/announce] FHIES 2011: final Call for Papers
a paper, if accepted. All accepted papers will be included in the pre-event proceedings of the symposium and considered for EXCEPT FOR the proposals for panel discussions inclusion in a special issue of the Springer Journal Innovations in Systems and Software Engineering (ISSE), following revision and re-review. The post proceedings will include a brief summary of panel discussions. Important Dates === Abstract Submission 12June 2011 Paper Submission19 June 2011 Notification of acceptance 18July 2011 Final copy for proceedings 7 August 2011 FHIES 2011 29-30 August 2011 Organization = General Chairs * Peter Haddawy, UNU-IIST, Macao * Tom Maibaum, McMaster University, Canada Programme Chairs * Zhiming Liu, UNU-IIST, Macao * Alan Wassyng, McMaster University, Canada Organising Chair * Hao Wang, UNU-IIST, Macao Program Committee * Syed Mohamed Aljunid, UNU-IIGH * Sebastian Fischmeister, University of Waterloo, Canada * Peter Haddawy, UNU-IIST, Macao * Jozef Hooman, Embedded Systems Institute and Radboud University Nijmegen, The Netherlands * Michaela Huhn, TU Clausthal, Germany * Mark Lawford, McMaster University, Canada * Insup Lee, University of Pennsylvania, USA * Martin Leucker, TU Munich, Germany * Wendy MacCaull, St. Francis Xavier University, Canada * Tom Maibaum, McMaster University, Canada * Dominique Mery, LORIA and Universite Henri Poincare Nancy 1, France * Jun Pang, University of Luxembourg, Luxembourg * David Robertson, University of Edinburgh, UK * Lutz Schroeder, DFKI Bremen and University of Bremen, Germany * Jens H. Weber, University of Victoria, Canada * Liang Xiao, Hubei University of Technology, P.R.China
[TYPES/announce] SecCo 2011: Last CfP (extended deadline June 12th)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ ! ! ! SecCo 2011 ! ! 9th International Workshop on Security Issues in Concurrency ! ! Aachen, Germany! ! Monday, September 5th, 2011 ! ! http://www.lix.polytechnique.fr/~kostas/SecCo2011/! ! ! ! Affiliated with CONCUR 2011 ! ! ! +-+ IMPORTANT DATES === Papers due: June 12th, 2011 (extended) Notification: July 8th, 2011 Final paper due: July 22nd, 2011 Workshop: September 5th, 2011 BACKGROUND, AIM AND SCOPE = Emerging trends in concurrency theory require the definition of models and languages adequate for the design and management of new classes of applications, mainly to program either WANs (like Internet) or smaller networks of mobile and portable devices (which support applications based on a dynamically reconfigurable communication structure). Due to the openness of these systems, new critical aspects come into play, such as the need to deal with malicious components or with a hostile environment. Current research on network security issues (e.g. secrecy, authentication, etc.) usually focuses on opening cryptographic point-to-point tunnels. Therefore, the proposed solutions in this area are not always exploitable to support the end-to-end secure interaction between entities whose availability or location is not known beforehand. The aim of the workshop is to cover the gap between the security and the concurrency communities. More precisely, the workshop promotes the exchange of ideas, trying to focus on common interests and stimulating discussions on central research questions. In particular, we look for papers dealing with security issues -- such as authentication, integrity, privacy, confidentiality, access control, denial of service, service availability, safety aspects, fault tolerance, trust, language-based security, probabilistic and information theoretic models -- in emerging fields like web services, mobile ad-hoc networks, agent-based infrastructures, peer-to-peer systems, context-aware computing, global/ubiquitous/pervasive computing. SecCo 2011 follows the success of SecCo'03 (affiliated to ICALP'03), SecCo'04 (affiliated to CONCUR'04), SecCo'05 (affiliated to CONCUR'05), SecCo'07 (affiliated to CONCUR'07), SecCo'08 (affiliated to CONCUR'08), SecCo'09 (affiliated to CONCUR'09) and SecCo'10 (affiliated to CONCUR'10). Note that this is SecCo's last year as an independent workshop. Starting from next year, SecCo is merging with several other workshops in the field to form the Conference on Security and Trust Foundations (STF) which will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS). SUBMISSION == The workshop proceedings will be published in the new EPTCS series (Electronic Proceedings in Theoretical Computer Science, see http://www.cse.unsw.edu.au/~rvg/EPTCS/ and http://www.informatik.uni-trier.de/~ley/db/series/eptcs/index.html for the list of all published EPTCS volumes); we thus encourage submissions already in that format (A4 size). Submissions may be of two kinds: - Normal submissions, included in the EPTCS proceedings. - Presentation-only submissions. These could overlap with submissions to other conferences or journals, and will not be included in the proceedings. These provide an opportunity to present innovative ideas and get feedback from a technically competent audience. The page limit is 18 pages including the bibliography but excluding well-marked appendices. The page limit is the same for both kinds of submissions, please indicate clearly whether you intend you paper to be included in the proceedings or not. Papers must be submitted electronically at the following URL: http://www.easychair.org/conferences/?conf=secco11 A special issue of Journal of Computer Security (JCS) has been arranged in collaboration with TOSCA (ARSPA-WITS) 2011. Selected papers from both workshops will be invited for submission, and will be peer-reviewed according to the standard policy of JCS. PROGRAM COMMITTEE = * Miguel E. Andres (Ecole Polytechnique, France) * Kostas Chatzikokolakis (Ecole Polytechnique, France; co-chair) * Stephanie Delaune (ENS Cachan, France) * Ralf Kuesters (University of Trier, Germany) * Gavin Lowe (University of Oxford, UK) * Jun Pang (University
[TYPES/announce] Software Verification and Testing Track at SAC'12: 1st CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 27th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 25 - 29, 2012, Riva del Garda (Trento), Italy More information: http://www.win.tue.nl/sacsvt12/ and http://www.acm.org/conferences/sac/sac2012/ === Important dates --- * August 31th 2011: Submission deadline * October 12th 2011: Notification of acceptance/rejection * November 2nd 2011: Camera-ready versions due ACM Symposium on Applied Computing -- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-six years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2012 is sponsored by SIGAPP and will be hosted by the Microsoft Research - University of Trento Researcher Centre for Computational and Systems Biology, at Riva del Garda (Trento), Italy. Software Verification and Testing Track --- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - tools and techniques for verification of large scale software systems - real world applications and case studies applying software verification - static and run-time analysis - abstract interpretation - model checking - theorem proving - refinement and correct by construction development - model-based testing - verification-based testing - run-time verification - symbolic execution and partial evaluation - analysis methods for dependable systems - software certification and proof carrying code Submissions guidelines -- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/c/sac2012/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Publication of accepted articles requires the commitment of one of the authors to register for the conference and present the paper. Accepted papers will be published in the ACM SAC 2012 proceedings. A special issue of Innovations in Systems and Software Engineering (ISSE) has been. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of ISSE. Program committee - Bernhard K. Aichernig, Graz University of Technology, Austria Amy Felty, University of Ottawa, Canada Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Chris Hankin, Imperial College, UK Yves Le Traon, University of Luxembourg, Luxembourg MohammadReza Mousavi (co-chair), Eindhoven University of Technology, The Netherlands Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France Markus Mueller-Olm, University of Muenster, Germany Jun Pang (co-chair), University of Luxembourg, Luxembourg Dave Parker, Oxford University, UK Martin Steffen, University of Oslo, Norway Marielle Stoelinga, University of Twente, the Netherlands Tim Willemse, Eindhoven University of Technology, The Netherlands
[TYPES/announce] SecCo 2011: 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ ! ! ! SecCo 2011 ! ! Aachen, Germany! ! Monday, September 5th, 2011 ! ! http://www.lix.polytechnique.fr/~kostas/SecCo2011/! ! ! ! Affiliated with CONCUR 2011 ! ! ! +-+ IMPORTANT DATES === Papers due: June 3rd, 2011 Notification: July 8th, 2011 Final paper due: July 22nd, 2011 Workshop: September 5th, 2011 BACKGROUND, AIM AND SCOPE = Emerging trends in concurrency theory require the definition of models and languages adequate for the design and management of new classes of applications, mainly to program either WANs (like Internet) or smaller networks of mobile and portable devices (which support applications based on a dynamically reconfigurable communication structure). Due to the openness of these systems, new critical aspects come into play, such as the need to deal with malicious components or with a hostile environment. Current research on network security issues (e.g. secrecy, authentication, etc.) usually focuses on opening cryptographic point-to-point tunnels. Therefore, the proposed solutions in this area are not always exploitable to support the end-to-end secure interaction between entities whose availability or location is not known beforehand. The aim of the workshop is to cover the gap between the security and the concurrency communities. More precisely, the workshop promotes the exchange of ideas, trying to focus on common interests and stimulating discussions on central research questions. In particular, we look for papers dealing with security issues -- such as authentication, integrity, privacy, confidentiality, access control, denial of service, service availability, safety aspects, fault tolerance, trust, language-based security, probabilistic and information theoretic models -- in emerging fields like web services, mobile ad-hoc networks, agent-based infrastructures, peer-to-peer systems, context-aware computing, global/ubiquitous/pervasive computing. SecCo 2011 follows the success of SecCo'03 (affiliated to ICALP'03), SecCo'04 (affiliated to CONCUR'04), SecCo'05 (affiliated to CONCUR'05), SecCo'07 (affiliated to CONCUR'07), SecCo'08 (affiliated to CONCUR'08), SecCo'09 (affiliated to CONCUR'09) and SecCo'10 (affiliated to CONCUR'10). Note that this is SecCo's last year as an independent workshop. Starting from next year, SecCo is merging with several other workshops in the field to form the Conference on Security and Trust Foundations (STF) which will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS). SUBMISSION == The workshop proceedings will be published in the new EPTCS series (Electronic Proceedings in Theoretical Computer Science, see http://www.cse.unsw.edu.au/~rvg/EPTCS/ and http://www.informatik.uni-trier.de/~ley/db/series/eptcs/index.html for the list of all published EPTCS volumes); we thus encourage submissions already in that format (A4 size). Submissions may be of two kinds: - Normal submissions, included in the EPTCS proceedings. - Presentation-only submissions. These could overlap with submissions to other conferences or journals, and will not be included in the proceedings. These provide an opportunity to present innovative ideas and get feedback from a technically competent audience. The page limit is 18 pages including the bibliography but excluding well-marked appendices. The page limit is the same for both kinds of submissions, please indicate clearly whether you intend you paper to be included in the proceedings or not. Papers must be submitted electronically at the following URL: http://www.easychair.org/conferences/?conf=secco11 A special issue of Journal of Computer Security (JCS) has been arranged in collaboration with TOSCA (ARSPA-WITS) 2011. Selected papers from both workshops will be invited for submission, and will be peer-reviewed according to the standard policy of JCS. PROGRAM COMMITTEE = * Miguel E. Andres (Ecole Polytechnique, France) * Kostas Chatzikokolakis (Ecole Polytechnique, France; co-chair) * Stephanie Delaune (ENS Cachan, France) * Ralf Kuesters (University of Trier, Germany) * Gavin Lowe (University of Oxford, UK) * Jun Pang (University of Luxembourg, Luxembourg; co-chair) * Mark Ryan (University of Birmingham, UK) * Dominique Unruh
[TYPES/announce] SecCo 2011: First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ ! ! ! SecCo 2011 ! ! Aachen, Germany! ! Monday, September 5th, 2011 ! ! http://www.lix.polytechnique.fr/~kostas/SecCo2011/! ! ! ! Affiliated with CONCUR 2011 ! ! ! +-+ IMPORTANT DATES === Papers due: June 3rd, 2011 Notification: July 8th, 2011 Final paper due: July 22nd, 2011 Workshop: September 5th, 2011 BACKGROUND, AIM AND SCOPE = Emerging trends in concurrency theory require the definition of models and languages adequate for the design and management of new classes of applications, mainly to program either WANs (like Internet) or smaller networks of mobile and portable devices (which support applications based on a dynamically reconfigurable communication structure). Due to the openness of these systems, new critical aspects come into play, such as the need to deal with malicious components or with a hostile environment. Current research on network security issues (e.g. secrecy, authentication, etc.) usually focuses on opening cryptographic point-to-point tunnels. Therefore, the proposed solutions in this area are not always exploitable to support the end-to-end secure interaction between entities whose availability or location is not known beforehand. The aim of the workshop is to cover the gap between the security and the concurrency communities. More precisely, the workshop promotes the exchange of ideas, trying to focus on common interests and stimulating discussions on central research questions. In particular, we look for papers dealing with security issues -- such as authentication, integrity, privacy, confidentiality, access control, denial of service, service availability, safety aspects, fault tolerance, trust, language-based security, probabilistic and information theoretic models -- in emerging fields like web services, mobile ad-hoc networks, agent-based infrastructures, peer-to-peer systems, context-aware computing, global/ubiquitous/pervasive computing. SecCo 2011 follows the success of SecCo'03 (affiliated to ICALP'03), SecCo'04 (affiliated to CONCUR'04), SecCo'05 (affiliated to CONCUR'05), SecCo'07 (affiliated to CONCUR'07), SecCo'08 (affiliated to CONCUR'08), SecCo'09 (affiliated to CONCUR'09) and SecCo'10 (affiliated to CONCUR'10). SUBMISSION == The workshop proceedings will be published in the new EPTCS series (Electronic Proceedings in Theoretical Computer Science, see http://www.cse.unsw.edu.au/~rvg/EPTCS/ and http://www.informatik.uni-trier.de/~ley/db/series/eptcs/index.html for the list of all published EPTCS volumes); we thus encourage submissions already in that format (A4 size). Submissions may be of two kinds: - Normal submissions, included in the EPTCS proceedings. - Presentation-only submissions. These could overlap with submissions to other conferences or journals, and will not be included in the proceedings. These provide an opportunity to present innovative ideas and get feedback from a technically competent audience. The page limit is 18 pages including the bibliography but excluding well-marked appendices. The page limit is the same for both kinds of submissions, please indicate clearly whether you intend you paper to be included in the proceedings or not. Papers must be submitted electronically at the following URL: http://www.easychair.org/conferences/?conf=secco11 A special issue of Journal of Computer Security (JCS) has been arranged in collaboration with TOSCA (ARSPA-WITS) 2011. Selected papers from both workshops will be invited for submission, and will be peer-reviewed according to the standard policy of JCS. PROGRAM COMMITTEE = * Miguel E. Andres (Ecole Polytechnique, France) * Kostas Chatzikokolakis (Ecole Polytechnique, France; co-chair) * Stephanie Delaune (ENS Cachan, France) * Ralf Kuesters (University of Trier, Germany) * Gavin Lowe (University of Oxford, UK) * Jun Pang (University of Luxembourg, Luxembourg; co-chair) * Mark Ryan (University of Birmingham, UK) * Dominique Unruh (Saarland University, Germany) * Luca Vigano (University of Verona, Italy) * Chenyi Zhang (University of New South Wales, Australia)
[TYPES/announce] ICTAC 2011: First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] First Call for Papers ICTAC 2011 International Colloquium on Theoretical Aspects of Computing URL: http://www.ictac.net/ictac2011/ 31 August - 2 September 2011, Johannesburg, South Africa BACKGROUND ICTAC 2011 is the 8th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2011 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. TOPICS The topics of the conference include, but are not limited to: * automata theory and formal languages; * principles and semantics of programming languages; * logics and their applications; * software architectures and their description languages; * software specification, refinement, verification and testing; * model checking and theorem proving; * formal techniques in software testing; * models of object and component systems; * coordination and feature interaction; * integration of theories, formal methods and tools for engineering computing systems; * service-oriented development; * service-oriented architectures: models and development methods; * document-driven development; * models of concurrency, security, and mobility; * theory of parallel, distributed, and grid computing; * real-time, embedded and hybrid systems; * type and category theory in computer science; * models for learning and education; * cognitive architectures; * qualitative reasoning; * case studies, theories, tools and experiments of verified systems; * domain-specific modeling and technology: examples, frameworks and experience. KEYNOTE SPEAKERS * Jayadev Misra * David Parnas * Willem Visser PUBLICATION AND SUBMISSION The proceedings of ICTAC 2011 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be avaialble at the colloquium. A special issue of a journal with extended version of selected papers from ICTAC 2011 is under negotiation. Submissions to the colloquium must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Papers should be written in English and not exceed 15 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers shall be submitted at http://www.easychair.org/conferences/?conf=ictac2011. All queries should be sent to: ictac2...@iist.unu.edu IMPORTANT DATES: Paper abstract submission deadline: 15 March 2011 Paper submission deadline: 22 March 2011 Paper Accept/Reject Notification: 15 May 2011 Final paper submission 31 May 2011 PROGRAM COMMITTEE * Bernhard K. Aichernig, Austria * Junia Anacleto, Brazil * Jonathan P. Bowen, UK * Christiano Braga, Brazil * Vasco Brattka, South Africa * Andrew Butterfield, Ireland * Ana Cavalcanti, UK * Antonio Cerone, Macau SAR China (co-chair) * Dang Van Hung, Vietnam * Jim Davies, UK * David Deharbe, Brazil * Wan Fokkink, Netherlands * Pascal Fontaine, France * Marcelo Frias, Argentina * Lindsay Groves, New Zealand * Stefan Gruner, South Africa * Michael R. Hansen, Denmark * Rob Hierons, UK * Lynne Hunt, Australia * Moonzoo Kim, Korea * Coenraad Labuschagne, South Africa * Martin Leucker, Germany * Liu Zhiming, Macau SAR China * Patricia Machado, Brazil * Mieke Massink, Italy * Ali Mili, USA * Marius Minea, Romania * Tobias Nipkow, Germany * Ogawa Mizuhito, Japan * Odejobi Odetunji, Nigeria * Jose Oliveira, Portugal * Ekow Otoo, South Africa * Pekka Pihlajasaari, South Africa (co-chair) * Anders Ravn, Denmark * Francesca Pozzi, Italy * Markus Roggenbach, UK * Augusto Sampaio, Brazil * Bernhard Schätz, Germany * Gerardo Schneider, Sweden * Natarajan Shankar, USA * Marjan Sirjani, Iceland * Fausto Spoto, Italy * Clint van Alten, South Africa * Franck van Breugel, Canada * Govert van Drimmelen, South Africa * Daniel Varro, Hungary * Herbert Wiklicky, UK ORGANISING COMMITTEE * Antonio Cerone, Macau SAR China * Coenraad Labuschagne, South Africa * Pekka Pihlajasaari, South Africa * David Sherwell, South Africa * Clint van Alten,
[TYPES/announce] Call for participation: VTSA 2010 Summer School on Verification Technology, Systems Applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Summer School on Verification Technology, Systems Applications http://www.mpi-inf.mpg.de/VTSA10/ Application Deadline: 07/23/2010 Notification until: 08/06/2010 Summer School: 09/06/2010 - 09/10/2010 A summer school on verification technology, systems and applications will be organized by the Interdisciplinary Centre for Security, Reliability and Trust at the University of Luxemburg, in cooperation with the Max-Planck Institute für Informatik in Saarbrücken and the INRIA research center in Nancy. The school will take place from September 6th to 10th 2010 in Luxembourg. The following speakers have accepted to give courses: Javier Esparza: Building a Software Model-Checker Wan Fokkink: Protocol Validation with mCRL Marta Kwiatkowska: Probabilistic Model Checking Markus Müller-Olm: Fundamentals of Software Model Checking Wang Yi: Modeling and Analysis of Timed Systems Participation is free (except for travel and accommodation costs) and open to anybody holding at least a Bachelor degree (or equivalent) in computer science. The number of participants is limited. Please apply electronically by *July 23th, 2010* by sending - a one-page CV, - an application letter explaining your interest in the school and your experience in the area, - a copy of your bachelor certificate (or equivalent or higher) to jun.p...@uni.lu. For details please see the Web page of the school.
[TYPES/announce] ATVA 2009: Call for participants
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ATVA 2009 - Early registration: (on or before) 15 August 2009] * * ATVA 2009 Call for Participation * * 7th International Symposium on * Automated Technology for Verification and Analysis * 13-16 October 2009, Macao SAR, China * [http://www.iist.unu.edu/atva09] * We are pleased to announce the 7th International Symposium on Automated Technology for Verification and Analysis, to be held in Macao SAR, China, in October 2009, at the Main Campus of the Macau Polytechnic Institute. On-line registration for the conference is open at: http://www.iist.unu.edu/atva09/registration_page.html Early Registration deadline: (on or before) 15 August 2009 *** There are a lot of good reasons to be part of ATVA 2009. This year, the technical program will include 26 papers selected from 84 submissions, 3 excellent invited talks. The keynote speakers will also give tutorials on 13 October, the day before the conference. A post-conference tour to Guiling, China is organized. There is one more reason to visit Macao -- Macanese food, wine and entertainment. Information about registration and hotel is available on the conference website. The list of accepted papers can be found at: http://www.iist.unu.edu/atva09/acceptedpapers.html Invited talks include the following presentations (http://www.iist.unu.edu/atva09/keynote.html): * Verifying VLSI Circuits Mark Greenstreet (U. British Columbia) * 3-Valued Abstraction for (Bounded) Model Checking Orna Grumberg (Technion) * Local Search in Model Checking Bill Roscoe (Oxford University) Invited tutorials include the following presentations (http://www.iist.unu.edu/atva09/tutorials.html) * Mathematics, Models, and Methods for Circuit Verification Mark Greenstreet (U. British Columbia) * The 2-valued and 3-Valued Abstraction-Refinement Frameworks Orna Grumberg (Technion) * Using FDR to Compile and Analyse Shared Variable Programs Bill Roscoe (Oxford University) *** Program Chairs Zhiming Liu, UNU-IIST, Macao Anders P. Ravn, Aalborg University, DK Organisation Chair Antonio Cerone, UNU-IIST, Macao Publicity Chair Jun Pang, U. Luxembourg Workshop Chair Xu Wang, UNU-IIST, Macao Sponsored by: UNU-IIST, University of Macau Macao Polytechnic Institute Keynote Speakers Mark Greenstreet (U. British Columbia) Orna Grumberg (Technion) Bill Roscoe (Oxford University) PC Members Rajeev Alur (U. Pennsylvania, US) Christel Baier (TU Dresdenn, ED) Jonathan Billington (U. South Australia) Laurent Fribourg ((CNRS, FR) Masahiro Fujita (U. Tokyo, JP) Susanne Graf (VERIMAG, FR) Mark Greenstreet (U. British Columbia) Wolfgang Grieskamp (Microsoft Research, US) Teruo Higashino (U. Osaka, JP) Moonzoo Kim (KAIST, KR) Orna Kupferman (U. Hebrew, IL) Marta Kwiatkowska (Oxford U., UK) Insup Lee (U. Pennsylvania, US) Xuandong Li (U. Nanjing, CN) Shaoying Liu (U. Hosei, JP) Hanne Nielson (DTU, DK) Kedar Namjoshi (Bell Labs, US) Ernst-Ruediger Olderog (U. Oldenburg, DE) Jun Pang (U. Luxembourg ) Doron A. Peled (U. Warwick, UK) Abhik Roychoudhury (National U. Singapore) Natarajan Shankar (SRI, US) Irek Ulidowski (U. Leicester, UK) Mahesh Viswanathan (UIUC, US) Farn Wang (National Taiwan University) Ji Wang (NLPDS, CN Xu Wang (UNU-IIST, Macao) Hsu-Chun Yen (National Taiwan University) Wang Yi (Uppsala University, SE) Tomohiro Yoneda (NII, JP) Wenhui Zhang (CAS, CN) Steering Committee E. Allen Emerson (U. Texas-Austin) Teruo Higashino (Osaka University) Oscar H. Ibarra (U. California-S.Barbara) Insup Lee (U. Pennsylvania) Doron A. Peled (U. Warwick, Univ. Bar Ilan) Farn Wang (National Taiwan University) Hsu-Chun Yen (National Taiwan University)
[TYPES/announce] ATVA 2009: Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Our apology for possible multiple copies. == ATVA 2009 Call for Papers 7th International Symposium on Automated Technology for Verification and Analysis 14-16 October 2009, Macao SAR, China [http://www.iist.unu.edu/atva09] The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous six events were held in Taiwan (2003-5), Beijing (2006), Tokyo (2007) and Seoul (2008). The proceedings of ATVA 2009 will be published by Springer as a volume in the LNCS series. SCOPE: The scope of interest is intentionally kept broad; it includes: -- Theory useful for providing designers with automated support for obtaining correct software or hardware systems, including both functional and non functional aspects, such as: theory of (timed and hybrid) automata, process calculi, Petri-nets, concurrency theory, compositionality, model-checking, automated theorem proving, synthesis, performance analysis, correctness-by-construction, infinite state systems, abstract interpretation, decidability results, parametric analysis or synthesis. -- Applications of theory in engineering methods and other particular domains and handling of practical problems occurring in tools, such as analysis and verification tools, synthesis tools, model transformation tools. Techniques of reducing complexity of verification by abstraction, improved representations. Methods and tools in handling user level notations, such as UML. Practice in industrial applications to hardware, software or real-time and embedded systems. Case studies, illustrating the usefulness of tools or a particular approach are also welcome. Theory papers should be motivated by practical problems and applications should be rooted in sound theory. We are interested both in algorithms and in methods and tools for integrating formal approaches into industrial practice. Submissions: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. ATVA 2009 calls for two types of contributions: RESEARCH PAPERS and TOOL DEMONSTRATION PAPERS. Both types of contributions will appear in the proceedings and have oral presentations at the conference. Papers should be written in English in LNCS format. Research papers: Research papers should contain original research, and sufficient detail to assess the mer its and relevance of the contribution. Submissions reporting on industrial case studies are welcome, and should describe both strengths and weaknesses in sufficient depth. Research papers should be no more than 15 pages. Tool demonstration papers: Tool demonstration papers present tools based on aforementioned theories or fall into the above application areas. Tool demonstration papers allow researchers to stress the technical and practical side, illustrating how one can apply the theoretic contributions in practice. Tool demonstration papers should be no more than 6 pages. Submission Procedure: Further information and instruction about submission can be found at the conference website http://www.iist.unu.edu/atva09. Important Dates: paper submission: 1 May 2009, notification of acceptance: 15 June 2009, final copy for proceedings: 29 June 2009, ATVA 2009: 14-16 October 2009. General Chair Chris George, UNU-IIST, Macao Program Chairs Zhiming Liu, UNU-IIST, Macao Anders P. Ravn, Aalborg University, DK Organisation Chair Antonio Cerone, UNU-IIST, Macao Publicity Chair Jun Pang, U. Luxembourg Workshop Chair Xu Wang, UNU-IIST, Macao Sponsored by: UNU-IIST, University of Macau Macao Polytechnic Institute Associated Events -- Workshops, 11-12 October 2009 -- Tutorials, 13 October 2009 Keynote Speakers Mark Greenstreet (U. British Columbia) Orna Grumberg (Technion) Bill Roscoe (Oxford University) PC Members Rajeev Alur (U. Pennsylvania, US) Christel Baier (TU Dresdenn, ED) Jonathan Billington (U. South Australia) Laurent Fribourg ((CNRS, FR) Masahiro Fujita (U. Tokyo, JP) Susanne Graf (VERIMAG, FR) Mark Greenstreet (U. British Columbia) Wolfgang Grieskamp (Microsoft Research, US) Teruo Higashino (U. Osaka, JP) Moonzoo Kim (KAIST, KR) Orna Kupferman (U. Hebrew, IL) Marta Kwiatkowska (Oxford U., UK) Insup Lee (U. Pennsylvania, US) Xuandong Li (U. Nanjing, CN) Shaoying Liu (U. Hosei, JP) Hanne Nielson (DTU, DK) Kedar Namjoshi (Bell Labs, US) Ernst-Ruediger Olderog (U. Oldenburg, DE) Jun Pang (U. Luxembourg ) Doron