- FMIndia - mail.cmi.ac.in

ATVA 2023 (Singapore): extended deadline
by Étienne André 03 May '23

03 May '23

************************************************************ Call for Papers ** ATVA 2023 ** 24-27 October 2023 Singapore https://atva-conference.org/2023/ ************************************************************ 21st International Symposium on Automated Technology for Verification and Analysis *** NEW: extended deadlines: May 11, 2023 (AoE) *** ## Important Dates * Abstract submission deadline: April 27, 2023 (AoE) ==> May 11, 2023 (AoE) NEW * Paper submission deadline: May 4, 2023 (AoE) ==> May 11, 2023 (AoE) NEW * Paper notification: June 30, 2023 (AoE) * Camera-ready deadline: July 25, 2023 (AoE) * Conference: October 24 – October 27, 2023 (UTC +8) ATVA 2023 is the 21st in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics: * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite-state, infinite-state and parameterized system * Program analysis and software verification * Analysis and verification of hardware circuits, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced, weighted and probabilistic systems * Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent systems * Analysis and verification of deep learning systems * Analysis and verification of blockchain based systems * Verification in industrial practice * Synthesis for hardware and software systems * Applications and case studies * Automated tool support ## Submissions ATVA welcomes submissions in the following two categories: * Regular research papers (18 pages, excluding references) * Tool papers (6 pages, excluding references) Submissions must be in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website. Adding line numbers (package lineno) is highly recommended. Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation. The URL must also contain a set of examples, and a user manual that describes usage of the tool through examples. In case the tool needs to be downloaded and installed, the URL must contain instructions for installation of the tool on Linux/Windows/MacOS. For (regular and tool) papers reporting experiments, uploading an artifact on a long-term available platform is recommended (though not compulsory) Papers must be submitted through EasyChair. https://easychair.org/conferences/?conf=atva2023 Accepted papers in both categories will be published in Springer's Lecture Notes in Computer Science series. At least one author of each accepted paper is expected to register and present the paper at the conference. A best paper award will be given to an outstanding paper; the award will come with a 1000€ cash prize provided by Springer. ## Committees General Chair * Jin Song DONG, National University of Singapore Program Co-Chairs * Jun Sun, Singapore Management University * Étienne André, Université Sorbonne Paris Nord Publicity Chair: * Lei Bu, Nanjing University Local Organization Chair * Xiaofei Xie, Singapore Management University Program committee * Mohamed Faouzi Atig (Uppsala University) * Saddek Bensalem (VERIMAG) * Udi Boker (Reichman University, Herzliya, Israel) * Lei Bu (Nanjing University) * Krishnendu Chatterjee (Institute of Science and Technology (IST)) * Yu-Fang Chen (Academia Sinica) * Chih-Hong Cheng (Fraunhofer IKS) * Yunja Choi (Kyungpook National University) * Thao Dang (CNRS/VERIMAG) * Susanna Donatelli (Dipartimento di Informatica) * Alexandre Duret-Lutz (EPITA's Research Lab (LRE)) * Bernd Finkbeiner (CISPA Helmholtz Center for Information Security) * Stefan Gruner (University of Pretoria) * Osman Hasan (National University of Sciences and Technology (NUST)) * Ichiro Hasuo (National Institute of Informatics) * Jie-Hong Roland Jiang (National Taiwan University) * Ondrej Lengal (Brno University of Technology) * Shang-Wei Lin (Nanyang Technological University) * Doron Peled (Bar Ilan University) * Jakob Piribauer (TU Dresden) * Pavithra Prabhakar (Kansas State University) * Sasinee Pruekprasert (National Institute of Advanced Industrial Science and Technology) * Kristin Yvonne Rozier (Iowa State University) * Indranil Saha (Indian Institute of Technology Kanpur) * Ocan Sankur (Univ Rennes) * Fu Song (School of Information Science and Technology) * Marielle Stoelinga (University of Twente) * Michael Tautschnig (Queen Mary University of London) * Tachio Terauchi (Waseda University) * Jingyi Wang (Zhejiang University) * Chao Wang (University of Southern California) * Bow-Yaw Wang (Academia Sinica) * Zhilin Wu (Laboratory of Computer Science) * Lijun Zhang (Institute of Software) ATVA 2023 is referred by https://conferences-computer.science/

1 0

FORMATS 2023 final call for papers with deadline extension
by B Srivathsan 24 Apr '23

24 Apr '23

FORMATS 2023: final call for papers with deadline extension - Abstract submission deadline extended to: 4 May 2023 (AoE) - Paper submission deadline extended to: 8 May 2023 (AoE) 21st International Conference on Formal Modeling and Analysis of Timed Systems https://www.uantwerpen.be/en/conferences/confest-2023/formats/ 19-21 September 2023, Antwerp, Belgium co-located with CONCUR, FMICS and QEST as part of CONFEST 2023 SCOPE & TOPICS FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems. Typical topics include (but are not limited to): - Foundations and Semantics: Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). - Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving). - Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics). This year, FORMATS will incorporate a special track on: - Monitoring of cyber-physical systems. We encourage the submission of papers on all approaches related to the monitoring of cyber-physical systems, including monitoring methods, monitoring applications (such as robustness-guided falsification), and related techniques (such as validation of a formal specification for monitoring). INVITED SPEAKERS FORMATS 2023 will feature the following invited speakers: - Joost-Pieter Katoen, RWTH Aachen University, Germany (joint with all CONFEST conferences) - Nicolas Markey, CNRS & University of Rennes, France (joint with CONCUR) - David Parker, Oxford University, UK (joint with QEST, CONCUR) - Jaco van de Pol, Aarhus University, Denmark (joint with CONCUR, FMICS) PAPER SUBMISSION FORMATS 2023 solicits high-quality papers describing research results, experience reports and/or tools related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. FORMATS 2023 has two categories of papers: - Regular papers, which should not exceed 15 pages in length - Short papers, which should not exceed 7 pages in length Both page limits exclude references, which are not limited in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers should be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2023 ARTIFACT EVALUATION FORMATS encourages authors to submit artifacts where appropriate, for example to demonstrate how to reproduce experimental data in a research paper or to examine the usability and applicability of a software tool. Artifacts will be evaluated by the Artifact Evaluation Committee and those that are accepted will receive a repeatability badge to be displayed on the first page of the published paper. For more details, see: https://www.uantwerpen.be/en/conferences/confest-2023/formats/artifact/ PUBLICATION AND BEST PAPER AWARD The proceedings of FORMATS 2023 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. IMPORTANT DATES - Abstract submission: 21 April 2023 *now extended to 4 May 2023* (Anywhere on Earth) - Paper submission: 28 April 2023 *now extended to 8 May 2023* (Anywhere on Earth) - Acceptance notification: 16 June 2023 - Camera-ready deadline: 14 July 2023 - Conference: 19-21 September 2023 For any questions, feel free to contact the program chairs Laure Petrucci (Laure.Petrucci(a)lipn.univ-paris13.fr) and Jeremy Sproston (sproston(a)di.unito.it) ORGANISATION Program Chairs - Laure Petrucci, University Sorbonne Paris Nord & CNRS, France - Jeremy Sproston, University of Turin, Italy Artifact Evaluation Chairs - Arnd Hartmanns, University of Twente, The Netherlands - Paolo Zuliani, Newcastle University, UK Special Track Chair - Masaki Waga, Kyoto University, Japan Program Committee - Alessandro Abate, University of Oxford, UK - Parosh Aziz Abdulla, Uppsala University, Sweden - Marcello M. Bersani, Politecnico di Milano, Italy - Patricia Bouyer-Decitre, CNRS & ENS Paris-Saclay, France - Franck Cassez, ConsenSys, USA - Pedro R. D'Argenio, National University of Córdoba, Argentina - Jyotirmoy Deshmukh, University of Southern California, USA - Catalin Dima, University Paris-Est Créteil, France - Miriam García Soto, Complutense University of Madrid, Spain - Gilles Geeraerts, Université Libre de Bruxelles, Belgium - Taylor T. Johnson, Vanderbilt University, USA - Jan Křetínský, Technical University of Munich, Germany - Engel Lefaucheux, INRIA Nancy & LORIA, Université de Lorraine, France - Jun Liu, University of Waterloo, Canada - Manuel Mazo Jr, Delft University of Technology, The Netherlands - Benjamin Monmege, Aix-Marseille Université, France - Dejan Ničković, Austrian Institute of Technology, Austria - Nicola Paoletti, King's College London, UK - Laure Petrucci, University Sorbonne Paris Nord & CNRS, France (chair) - Kristin Yvonne Rozier, Iowa State University, USA - Krishna S., IIT Bombay, India - Ocan Sankur, CNRS & Rennes University, France - Sadegh Soudjani, Newcastle University, UK - Jeremy Sproston, University of Turin, Italy (chair) - Jiri Srba, Aalborg University, Denmark - B. Srivathsan, Chennai Mathematical Institute, India - Natalie Sznajder, Sorbonne Université & CNRS, France - Patrick Totzke, University of Liverpool, UK - Stavros Tripakis, Northeastern University, USA - Enrico Vicario, University of Florence, Italy - Masaki Waga, Kyoto University, Japan - Naijun Zhan, Chinese Academy of Sciences, China Steering Committee - Rajeev Alur (USA) - Eugene Asarin (France) - Martin Fränzle (chair, Germany) - Thomas A. Henzinger (Austria) - Joost-Pieter Katoen (Germany) - Kim G. Larsen (Denmark) - Oded Maler (founding chair, France) (1957-2018) - Pavithra Prabhakar (USA) - Mariëlle Stoelinga (The Netherlands) - Wang Yi (Sweden)

1 0

Call for Presentations: Highlights 2023 (final call)
by Supratik Chakraborty 20 Apr '23

20 Apr '23

Please find attached the updated call for presentations for Highlights 2023 <https://highlights-conference.org/2023/cfp>, to be held in Kassel, Germany from July 24-28, 2023. The submission deadline for the second round of submissions is April 25, 2023 AoE. -Supratik

1 0

ICECCS 2023 (June 2023, Toulouse, France): call for participation
by Étienne André 19 Apr '23

19 Apr '23

Call for Participation ======================================================================================= 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) ======================================================================================= Dates: Wednesday, 14th June - Friday, 16th June 2023, Venue: Toulouse, France https://www.irit.fr/iceccs2023/ The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) is a well-established event that has been held around the world for over 25 years. Over the past years, we have seen a rapidly rising emphasis on the design, implementation and management of complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defence, transportation, aerospace, hazardous environments, energy, and healthcare. These complex systems are frequently distributed over heterogeneous networks and process a large amount of data. Complexity arises from many factors, including the dynamic environment and the scenarios these systems operate in, demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability, as well as the wide range of development methodologies, programming languages and implementation details. Performance, real-time behaviour, fault tolerance, security, adaptability, development time and cost, and long life concerns are some of the key issues arising in the development of such systems. The goal of this conference is to bring together industrial, academic, and government experts from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the conference includes long-term research issues, near-term requirements and challenges, established complex systems, emerging promising tools, and retrospective and prospective reflections of research and development into complex systems. REGISTRATION ------------------- Author registration deadline: 25 April 2023 Early-bird registration deadline: 15th May 2023 For additional Information: https://www.irit.fr/iceccs2023/#register PROGRAM --------------- ICECCS 2023 will feature keynote speakers, interesting talks from research and practice in the fields of AI-Robustness and Explainability, AI-Formalization and Certification, System Verification, Software Systems Modeling and Engineering, Formal System Development, Verification and Testing of Robotic Systems, and Transportation Systems Engineering. Keynote speakers: * Joao Marques-Silva, CNRS, IRIT Toulouse on 14th June 2023 * Jin Song Dong, National University of Singapore on 15th June 2023 * Ana Cavalcanti, University of York on 16th June 2023 The scientific programme is available at https://www.irit.fr/iceccs2023/#program VENUE ---------- ICECCS 2023 will take place at INPT-ENSEEIHT, Toulouse, France. We are looking forward to welcoming you in person. Organizing Committee – ICECCS 2023 ==================================================================================

1 0

IARCS Verification Seminar Series -- Talk by Sharon Shoham on Apr. 17 at 1900 hrs IST
by VSS IARCS 16 Apr '23

16 Apr '23

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Sharon Shoham Buchbinder, an Associate Professor in the School of Computer Science at Tel Aviv University.. The talk is scheduled on *Monday, April 17, at 1900 hrs IST* (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NzM0YmRkaW…>). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/) and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: SAT-Based Invariant Inference and Its Relation to Concept Learning Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In recent years SAT-based invariant inference algorithms such as interpolation-based model checking and PDR/IC3 have proven to be extremely successful in practice. However, the essence of their practical success and their performance guarantees are far less understood. This talk surveys results that establish formal connections and distinctions between SAT-based invariant inference and exact concept learning with queries, showing that learning techniques and algorithms can clarify foundational questions, illuminate existing algorithms, and suggest new directions for efficient invariant inference. Bio: Sharon Shoham Buchbinder is an Associate Professor in the School of Computer Science at Tel Aviv University. Her main areas of research are formal verification and program analysis.

1 0

WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC
by Tephilla 16 Apr '23

16 Apr '23

------------------------------------------------------------------------------------------------------------- 7th Women in Logic Workshop (WiL 2023) Second Call for Contributions Workshop Date: July 1, 2023 (Rome and online) Women in Logic: www.womeninlogic.org WiL 2023: https://sites.google.com/view/wil2023/home ------------------------------------------------------------------------------------------------------------- Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to: -provide a platform for female researchers to share their work and achievements; -increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty; -establish new connections and collaborations; -foster a welcoming culture of mutual support and growth within the logic research community. We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers. Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, Vancouver 2019, Paris 2020, Rome 2021, and Haifa 2022) were very successful in showcasing women's work and as catalysts for a recognition of the need for change in the community. WiL 2023 will be a hybrid event, however on-site participation is highly encouraged. TOPICS OF INTEREST (include but are not limited to) automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. INVITED SPEAKERS Marie Kerjean (CNRS, Université Sorbonne Paris Nord) Sandra Alves (Universidade de Porto, Portugal) IMPORTANT DATES Abstract submission deadline: April 23, 2023 Notification: May 15, 2023 Funding Application: June 18th 23:59 CEST, 2023 on WiL 2023 Website Contribution for Informal Proceedings: June 25, 2023 Workshop: July 1, 2023 SUBMISSIONS Abstracts should be written in English (1-2 pages), and prepared using the Easychair style (https://easychair.org/publications/for_authors) The abstracts should be uploaded to the WiL 2023 Easychair page as a PDF file before the submission deadline on April 23, 2023, anywhere on Earth. https://easychair.org/my/conference?conf=wil2023 FUNDING Due to the generous support of our sponsors, we have limited funding available for speakers and other participants. If you would like to apply for it, please fill out the funding application on our website until June 18th 23:59 CEST. ORGANIZING AND PROGRAM COMMITTEE Agata Ciabattoni (Vienna University of Technology) Zoé Christoff (University of Groningen) Amy Felty (University of Ottawa) Marie Fortin (IRIF) Sujata Ghosh (ISI Chennai) Sandra Kiefer (University of Oxford) – co-chair Cláudia Nalon (University of Brasília) Daniele Nantes-Sobrinho (Imperial College London) – co-chair Valeria de Paiva (Topos Institute) Catuscia Palamidessi (INRIA) Tephilla Prince (IIT Dharwad) – co-chair Krishna S. (IIT Bombay) Alexandra Silva (Cornell University) Renata Wasserman (University of São Paulo) Best regards, Tephilla Prince Research Scholar IIT Dharwad

1 0

IARCS Verification Seminar Series -- Talk by Sharon Shoham on Apr. 17 at 1900 hrs IST
by VSS IARCS 10 Apr '23

10 Apr '23

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Sharon Shoham Buchbinder, an Associate Professor in the School of Computer Science at Tel Aviv University.. The talk is scheduled on *Monday, April 17, at 1900 hrs IST* (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NzM0YmRkaW…>). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/) and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: SAT-Based Invariant Inference and Its Relation to Concept Learning Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In recent years SAT-based invariant inference algorithms such as interpolation-based model checking and PDR/IC3 have proven to be extremely successful in practice. However, the essence of their practical success and their performance guarantees are far less understood. This talk surveys results that establish formal connections and distinctions between SAT-based invariant inference and exact concept learning with queries, showing that learning techniques and algorithms can clarify foundational questions, illuminate existing algorithms, and suggest new directions for efficient invariant inference. Bio: Sharon Shoham Buchbinder is an Associate Professor in the School of Computer Science at Tel Aviv University. Her main areas of research are formal verification and program analysis.

1 0

ICFEM 2023 (Brisbane, Australia): First Call for Papers
by nsingh＠enseeiht.fr 31 Mar '23

31 Mar '23

***************************************************************************************** 24th International Conference on Formal Engineering Methods (ICFEM 2023) https://formal-analysis.com/icfem/2023/ ***************************************************************************************** ## Overview ICFEM (International Conference on Formal Engineering Methods) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world. This year, ICFEM 2023 will be held in Brisbane, Australia (physical) on November 21-24, 2023. ##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: - Abstraction, refinement and evolution - Formal specification and modelling - Formal verification and analysis - Model checking and equivalence checking - Automated and interactive theorem proving - Formal approaches to software testing and inspection - Formal methods for self-adaptive systems - Formal methods for object-oriented systems - Formal methods for component-based systems - Formal methods for concurrent and real-time systems - Formal methods for cloud computing - Formal methods for cyber-physical systems - Formal methods for hardware and embedded systems - Formal methods for software safety and security - Formal methods for software reliability and dependability - Development, integration and experiments involving verified systems - Formal certification of products under international standards - Formal model-based development and code generation ##Important Dates - Abstract Submission: May 14, 2023 (AOE) - Paper Submission: May 21, 2023 (AOE) - Author Notification: July 30, 2023 - Camera-ready versions: Aug 13, 2023 - Conference: Nov 21-24, 2023 More information can be found on the website of ICFEM 2023: https://formal-analysis.com/icfem/2023/ Submission Instructions Submission should be done through the ICFEM 2023 submission page, handled by the EasyChair conference system: https://easychair.org/conferences/?conf=icfem2023 As in previous years, 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 (including references) in the Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website (more details:https://www.springer.com/gp/computer-science/lncs/conference-procee…) ## Organizing Committee General Co-Chairs - Jin Song Dong, NUS and Griffith University, Singapore/Australia - Guangdong Bai, The University of Queensland, Australia Program Co-Chairs - Yi Li, Nanyang Technological University, Singapore - Sofiene Tahar, Concordia University, Canada Finance Chair - Zhe Hou, Griffith University, Australia Publicity Chair - Cheng-Hao Cai, Monash University at Suzhou, China - Neeraj Kumar Singh, IRIT-ENSEEIHT, Toulouse, France Workshop Chair - Xiaofei Xie, Singapore Management University, Singapore -- Neeraj Kumar Singh Associate Professor INPT-ENSEEIHT/IRIT F-313, 2 Rue Charles Camichel, BP 7122 31071 Toulouse, CEDEX 7, France Office: +33 5 34 32 21 82 Email: nsingh(a)enseeiht.fr <mailto:nsingh@enseeiht.fr> Web Page: http://singh.perso.enseeiht.fr <http://singh.perso.enseeiht.fr/>

1 0

ATVA 2023 (Singapore): call for papers
by Étienne André 28 Mar '23

28 Mar '23

************************************************************ Call for Papers ** ATVA 2023 ** 24-27 October 2023 Singapore https://atva-conference.org/2023/ ************************************************************ 21st International Symposium on Automated Technology for Verification and Analysis ## Important Dates * Abstract submission deadline: April 27, 2023 (AoE) * Paper submission deadline: May 4, 2023 (AoE) * Paper notification: June 30, 2023 (AoE) * Camera-ready deadline: July 25, 2023 (AoE) * Conference: October 24 – October 27, 2023 (UTC +8) ATVA 2023 is the 21st in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics: * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite-state, infinite-state and parameterized system * Program analysis and software verification * Analysis and verification of hardware circuits, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced, weighted and probabilistic systems * Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent systems * Analysis and verification of deep learning systems * Analysis and verification of blockchain based systems * Verification in industrial practice * Synthesis for hardware and software systems * Applications and case studies * Automated tool support ## Submissions ATVA welcomes submissions in the following two categories: * Regular research papers (16 pages, excluding references) * Tool papers (6 pages, excluding references) Submissions must be in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website. Adding line numbers (package lineno) is highly recommended. Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation. The URL must also contain a set of examples, and a user manual that describes usage of the tool through examples. In case the tool needs to be downloaded and installed, the URL must contain instructions for installation of the tool on Linux/Windows/MacOS. For (regular and tool) papers reporting experiments, uploading an artifact on a long-term available platform is recommended (though not compulsory) Papers must be submitted through EasyChair. https://easychair.org/conferences/?conf=atva2023 Accepted papers in both categories will be published in Springer's Lecture Notes in Computer Science series. At least one author of each accepted paper is expected to register and present the paper at the conference. ## Committees General Chair * Jin Song DONG, National University of Singapore Program Co-Chairs * Jun Sun, Singapore Management University * Étienne André, Université Sorbonne Paris Nord Publicity Chair: * Lei Bu, Nanjing University Local Organization Chair * Xiaofei Xie, Singapore Management University Program committee * Mohamed Faouzi Atig (Uppsala University) * Saddek Bensalem (VERIMAG) * Udi Boker (Reichman University, Herzliya, Israel) * Lei Bu (Nanjing University) * Krishnendu Chatterjee (Institute of Science and Technology (IST)) * Yu-Fang Chen (Academia Sinica) * Chih-Hong Cheng (Fraunhofer IKS) * Yunja Choi (Kyungpook National University) * Thao Dang (CNRS/VERIMAG) * Susanna Donatelli (Dipartimento di Informatica) * Alexandre Duret-Lutz (EPITA's Research Lab (LRE)) * Bernd Finkbeiner (CISPA Helmholtz Center for Information Security) * Stefan Gruner (University of Pretoria) * Osman Hasan (National University of Sciences and Technology (NUST)) * Ichiro Hasuo (National Institute of Informatics) * Jie-Hong Roland Jiang (National Taiwan University) * Ondrej Lengal (Brno University of Technology) * Shang-Wei Lin (Nanyang Technological University) * Doron Peled (Bar Ilan University) * Jakob Piribauer (TU Dresden) * Pavithra Prabhakar (Kansas State University) * Sasinee Pruekprasert (National Institute of Advanced Industrial Science and Technology) * Kristin Yvonne Rozier (Iowa State University) * Indranil Saha (Indian Institute of Technology Kanpur) * Ocan Sankur (Univ Rennes) * Fu Song (School of Information Science and Technology) * Marielle Stoelinga (University of Twente) * Michael Tautschnig (Queen Mary University of London) * Tachio Terauchi (Waseda University) * Jingyi Wang (Zhejiang University) * Chao Wang (University of Southern California) * Bow-Yaw Wang (Academia Sinica) * Zhilin Wu (Laboratory of Computer Science) * Lijun Zhang (Institute of Software) ATVA 2023 is referred by https://conferences-computer.science/

1 0

ASPLOS 2024: Call for Papers
by Madhavan Mukund 27 Mar '23

27 Mar '23

Message from Krishna Nandivada V <nvk(a)iitm.ac.in>, Publicity co-chair ASPLOS 2024. ====================================================================== Synopsis ASPLOS, the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, is the premier academic forum for multidisciplinary computer systems research spanning hardware, software, and their interaction. It focuses on computer architecture, programming languages, operating systems, and associated areas such as networking and storage. ASPLOS 2024 will take place in April 2024 in California. It has three submission deadlines – spring, summer and fall – which are meant to encourage authors to submit their papers when they are ready rather than before. Also, as an alternative to rejection, ASPLOS 2024 will allow the authors of some submissions to choose to apply a major revision to their submission in order to fix a well-defined list of problems. Important Dates and Submission Sites review cycle spring summer fall abstract submission 2023-04-13 2023-08-03 2023-11-23 full submission 2023-04-20 2023-08-10 2023-11-30 author response period start 2023-07-11 2023-10-24 2024-02-13 author response period end 2023-07-13 2023-10-26 2024-02-15 notification 2023-08-02 2023-11-15 2024-03-06 camera-ready 2023-09-19 2024-01-09 2024-03-27 submission site link All deadlines are at 3pm Eastern Time. Scope and Expectations The scope of ASPLOS 2024 covers all practical aspects related to the three main ASPLOS disciplines: computer architecture, programming languages, and operating systems, as well as closely-related associated areas. We seek original, high-quality research submissions that improve and further the knowledge of computer systems, with emphasis on the intersection between the main ASPLOS disciplines. Research submission may be applicable to computer systems of any scale, ranging from small, ultra-low power wearable devices to exascale parallel and cloud computers. We embrace research that directly targets new problems in innovative ways. The research may target diverse goals, such as performance, energy, and security. Non-traditional topics are encouraged, and the review process will be sensitive to the challenges of multidisciplinary work in emerging areas. We welcome experience submissions that have a novel aspect and that clearly articulate the lessons learned. We likewise welcome submissions that convincingly refute prior published results and common wisdom. We value submissions more highly if they are accompanied by clearly defined artifacts not previously available, including traces, original data, source code, or tools developed as part of the submitted work. We particularly encourage new ideas and approaches. Alphabetically sorted areas of interest related to practical aspects of computer architecture, programming languages, and operating systems include but are not limited to: □ Existing, emerging, and nontraditional compute platforms at all scales □ Heterogeneous architectures and accelerators □ Internet services, cloud computing, and datacenters □ Memory, storage, networking, and I/O □ Power, energy, and thermal management □ Profiling, debugging, and testing □ Security, reliability, and availability □ Systems for enabling parallelism and computation on big data □ Virtualization and virtualized systems A good submission will typically: motivate a significant problem; propose a practical solution or approach that makes sense; demonstrate not just the pros but also the cons of the proposal using sound experimental methods; explicitly disclose what has and has not been implemented; articulate the new contributions beyond previous work; and refrain from overclaiming, focusing the abstract and introduction sections primarily on the difference between the new proposal and what is already available. Submissions will be judged on relevance, novelty, technical merit, and clarity. Submissions are expected to avoid committing “benchmarking crimes,” and they must follow all the policies specified below. Resubmissions Authors of resubmitted work should describe in a separate note – uploaded to the submission site – the changes since the previous submission(s). This description helps reviewers who may have reviewed a previous draft of the work to appreciate any improvements to the currently submitted work. Please try to limit this document to one page. Submissions rejected from ASPLOS must not be submitted to the next two subsequent review cycles. The following table details when ASPLOS ’23 and ASPLOS ’24 rejections can be resubmitted to ASPLOS ’24 and ASPLOS ’25. if rejected from must not resubmit to may resubmit to 2023 spring – 2024 spring or later 2023 summer 2024 spring 2024 summer or later 2023 fall 2024 spring & summer 2024 fall or later 2024 spring 2024 summer & fall 2025 spring or later 2024 summer 2024 fall & 2025 spring 2025 summer or later 2024 fall 2025 spring & summer 2025 fall or later The above rules are strict and hold even if your submission has undergone extensive revisions. (We apologize to authors of any ASPLOS ‘23 rejections who might not have expected to be affected by this policy.) Major Revision Option When the outcome of a review cycle is publicized, some submissions will be associated with a “revise and resubmit” decision. The authors of such submissions will be given the opportunity to apply a major revision to their work and resubmit it after around 6 weeks. These submissions will be provided with clear and actionable reviewer feedback for their revision, and they will be typically reviewed by the same reviewers as the original submission. If the revision requirements are satisfactorily met, the revised submission will be accepted. Artifact Evaluation Artifact evaluation will continue in 2024 as has become a tradition at ASPLOS. More details will become available later. ======================================================================

1 0