May 2023 - FMIndia - mail.cmi.ac.in

CRiSIS 2023 CfP: The 18th International Conference on Risks and Security of Internet and Systems
by Guillermo Navarro-Arribas 26 May '23

26 May '23

*************************************************************************** CALL FOR PAPERS *************************************************************************** (Apologies if you receive multiple copies of this CFP) 18th International Conference on Risks and Security of Internet and Systems (CRiSIS 2023). https://crisis-conference.org/ 6-8 Dec, 2023, Rabat, Morocco IMPORTANT DATES ---------------------------- Submission deadline: June 23th, 2023 Notification of acceptance: August 10th, 2023 Camera-ready paper due: September 23nd, 2023 The International Conference on Risks and Security of Internet and Systems 2023 will be the 18th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defense, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. TOPICS ----------- We target contributions from both academia and industrials on the following topics, but not limited to: - AI and machine learning based security approaches - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Authorization, Authentication, and Identity Management - Blockchain and Distributed Ledger Technologies - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical, and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Analysis and management of cyber crisis - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security in Cloud/Edge/Fog computing - Security models and security policies - Security of big data - Security of industrial control systems - Security of intelligent transportation systems - Security of e-commerce, electronic voting and database systems - Security of new generation networks - Security of smart cities - Security of smart grid - Security of social networks - Security of the IoT and IIoT - Security of VoIP and multimedia - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Ubiquitous computing security - Use of smart cards and personal devices for Internet applications - Virtualization security - Web and Web-service security PAPER SUBMISSION ----------------------------- Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style. (http://www.springer.de/comp/lncs/authors.html) Authors must upload their paper as PDF file using the EasyChair submission system: https://easychair.org/conferences/?conf=crisis2023 GENERAL CHAIRS ---------------------- - Redouane Benaini, Mohammed V University, Morocco - Frédéric Cuppens, Polytechnique Montreal, Canada - Nora Cuppens, Polytechnique Montreal, Canada PROGRAM COMMITTEE CHAIRS ---------------------- - Abderrahim Ait Wakrime, Mohammed V University, Morocco - Guillermo Navarro-Arribas, Autonomous University of Barcelona, Spain PUBLICITY CHAIRS ---------------------- - Slim Kallel, University of Sfax, Tunisia - Khadija Slimani, LDR-ESIEA Paris, France ORGANIZING COMMITTEE ---------------------- - Yassine Ouhammou, LIAS/ISAE-ENSMA, France - Abderrahim Ait Wakrime, Mohammed V University, Morocco - Meryam Belhiah, Mohammed V University, Morocco - Ayoub Nfissi, Mohammed V University, Morocco - Mouad Ben Mamoun, Mohammed V University, Morocco - Ahmed El-yahyaoui, Mohammed V University, Morocco - Abderrahmane Ez-zahout, Mohammed V University, Morocco

1 0

Formal Methods Update Meeting 2023
by Sreejith A V 08 May '23

08 May '23

Dear all, The Formal Methods Update Meeting 2023 will be held as a physical meeting at IIT Goa during 29th June - 1st July, 2023. Please visit the website https://fmindia.cmi.ac.in/update2023/ for registration and other details. The FM Update Meeting is an informal event organized by the FM community in India annually, with the aim of getting FM researchers together to present and discuss topical developments in their areas of interest. Everybody interested in the use of Formal Methods in Program Design and Verification and Theoretical Computer Science is welcome to join. If you would like to give a talk at the meeting, please send us a title and an abstract of your talk to fmupdatemeet(a)gmail.com. Best regards, Organizing Committee, FM Update Meeting 2023

1 0

ICECCS 2023 (June 2023, Toulouse, France): call for participation
by Neeraj Kumar Singh 08 May '23

08 May '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

CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023)
by Neeraj 05 May '23

05 May '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-proceedings-gu…) ## 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

1 0

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