- FMIndia - example.com

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Alastair Donaldson, a Professor and Director of Research in the Department of Computing at Imperial College London. The talk is scheduled on Tuesday, March 4, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=Nzd2Zmc1bn…> ). 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: Taking Back Control: Formally Modelling a Compiler Intermediate Representation for GPU Computing Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We will present our POPL 2023 work on using formal modelling and analysis techniques to understand and fix fundamental problems in the design of SPIR-V, a compiler intermediate representation that is widely-used in GPU computing. An innovation of SPIR-V is that it features special instructions that allow information about high level control flow constructs to be documented in its otherwise-unstructured basic block-based representation. The idea is that compilers can exploit this information to generate efficient GPU-specific machine code. However, the original definitions of these instructions and the rules that govern them were fraught with ambiguities, preventing users of SPIR-V from understanding their purpose and hindering their use by compiler developers. We used the Alloy modelling language and analysis tool to build an initial best-effort formal model of SPIR-V control flow, after which we iteratively refined the model by cross-checking it against official documentation, test suites and validation tools, consulting with experts in industry to resolve differences. Along the way we fixed numerous deficiencies in these test suites and validation tools, and ended up with agreement between our revised formal model and these other sources of truth about SPIR-V. We then rewrote relevant parts of the English language formal specification based on our rigorous formal model, and our changes to the language have been incorporated in the latest version of the SPIR-V specification. As an added bonus, we devised a novel technique for automated testing of SPIR-V compilers that uses our formal model to generate unusual control flow graphs which are then fleshed out into self-checking SPIR-V test cases. This led to the discovery of numerous bugs affecting open source and commercial SPIR-V compilers. Bio: Alastair Donaldson is a Professor in the Department of Computing at Imperial College London where he is Director of Research and leads the Multicore Programming Group, investigating novel techniques and tool support for programming, testing and reasoning about highly parallel systems and their programming languages. He was Founder and Director of GraphicsFuzz Ltd., a start-up company specialising in metamorphic testing of graphics drivers, which was acquired by Google in 2018, after which he spent time working with Google as a software engineer and then as a Visiting Researcher. He was the recipient of the 2017 BCS Roger Needham Award and an EPSRC Early Career Fellowship, and has published more than 100 articles in the fields of programming languages, formal verification, software testing and parallel programming. Alastair was previously a Visiting Researcher at Microsoft Research Redmond, an EPSRC Postdoctoral Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a PhD from the University of Glasgow, and is a Fellow of the British Computer Society.

9 months, 1 week

1
0
0 0

CFP: 1st Workshop on Hot Topics in Distributed Machine Learning @ IEEE ICDCS 2025. Deadline: March 16th, 2025

by HotDiML-Workshop

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Our apologies if you receive multiple copies of this CFPs. We would appreciate your help to contribute & forward this CFPs to your friends. ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Dear Colleagues, We are honored that IEEE ICDCS 2025 (https://icdcs2025.icdcs.org <https://icdcs2025.icdcs.org/>) will be hosting the 1st Workshop on Hot Topics in Distributed Machine Learning (HotDiML) this year! HotDiML provides researchers working in the Distributed Machine Learning field with a platform for critical thinking, sharing both successes and failures, and fostering constructive discussions. The workshop encourages novel directions, accepting papers that offer fresh perspectives or critical analyses, even if not fully developed. These papers can provide valuable insights to advance the field. We invite you to contribute with your recent work presented as position, research, experimental evaluation or report papers on Distributed Machine Learning. The accepted papers will be presented at the workshop and a plenary discussion will be held alongside these presentations. Please check the call for paper here: https://hotdiml.github.io/HotDiML2025/cfp/. Important Dates: Deadline for submissions: March 16th, 2025 Notification of acceptance: April 2nd, 2025 Camera-ready: April 16th, 2025 Workshop days: July 20th, 2025 Important Note: For each accepted paper, at least one author is required to register and attend the workshop in-person to present their paper on-site. No-show paper will be reported to the publisher and removed from the ICDCSW companion conference proceedings. All accepted and presented papers will be included in the IEEE ICDCSW companion conference proceedings and IEEE digital library. Note that the authors should adhere to ethic and professional standards of IEEE. Please refer to IEEE Code of Ethics and IEEE Policy of AI-Generated Text. We look forward to your submission and the eventual inspiring conversations in Glasgow, Scotland, UK! All the best! HotDiML 2025 Organizers Andrea Agiollo, Enkeleda Bardhi, Paolo Bellavista, Rajiv Khanna and Riccardo Lazzeretti hotdiml.workshop(a)gmail.com <mailto:hotdiml.workshop@gmail.com>

9 months, 1 week

1
0
0 0

Postdoc in Verification and Game Theory at the University of Liverpool

by Patrick Totzke

(apologies for the cross-posting!) Dear colleagues, Hi all, we are looking for a postdoc interested in games on graphs, automata/logics, and generally game theory, to join the verification group at the University of Liverpool. The post is for two years and is to be filled as soon as possible (there is some flexibility). The application deadline is 2025-03-30. All details here: <https://my.corehr.com/pls/ulivrecruit/erq_jobspec_version_4.display_form?p_…> Thanks and best wishes, P

9 months, 1 week

1
0
0 0

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Alastair Donaldson, a Professor and Director of Research in the Department of Computing at Imperial College London. The talk is scheduled on Tuesday, March 4, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=Nzd2Zmc1bn…> ). 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: Taking Back Control: Formally Modelling a Compiler Intermediate Representation for GPU Computing Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We will present our POPL 2023 work on using formal modelling and analysis techniques to understand and fix fundamental problems in the design of SPIR-V, a compiler intermediate representation that is widely-used in GPU computing. An innovation of SPIR-V is that it features special instructions that allow information about high level control flow constructs to be documented in its otherwise-unstructured basic block-based representation. The idea is that compilers can exploit this information to generate efficient GPU-specific machine code. However, the original definitions of these instructions and the rules that govern them were fraught with ambiguities, preventing users of SPIR-V from understanding their purpose and hindering their use by compiler developers. We used the Alloy modelling language and analysis tool to build an initial best-effort formal model of SPIR-V control flow, after which we iteratively refined the model by cross-checking it against official documentation, test suites and validation tools, consulting with experts in industry to resolve differences. Along the way we fixed numerous deficiencies in these test suites and validation tools, and ended up with agreement between our revised formal model and these other sources of truth about SPIR-V. We then rewrote relevant parts of the English language formal specification based on our rigorous formal model, and our changes to the language have been incorporated in the latest version of the SPIR-V specification. As an added bonus, we devised a novel technique for automated testing of SPIR-V compilers that uses our formal model to generate unusual control flow graphs which are then fleshed out into self-checking SPIR-V test cases. This led to the discovery of numerous bugs affecting open source and commercial SPIR-V compilers. Bio: Alastair Donaldson is a Professor in the Department of Computing at Imperial College London where he is Director of Research and leads the Multicore Programming Group, investigating novel techniques and tool support for programming, testing and reasoning about highly parallel systems and their programming languages. He was Founder and Director of GraphicsFuzz Ltd., a start-up company specialising in metamorphic testing of graphics drivers, which was acquired by Google in 2018, after which he spent time working with Google as a software engineer and then as a Visiting Researcher. He was the recipient of the 2017 BCS Roger Needham Award and an EPSRC Early Career Fellowship, and has published more than 100 articles in the fields of programming languages, formal verification, software testing and parallel programming. Alastair was previously a Visiting Researcher at Microsoft Research Redmond, an EPSRC Postdoctoral Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a PhD from the University of Glasgow, and is a Fellow of the British Computer Society.

9 months, 1 week

1
0
0 0

NETYS 2025 - Second Call for Papers

by Madhavan Mukund

Call for Papers THE 13th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS (NETYS 2025) 21-23 May, 2025, Rabat, Morocco http://www.netys.net AIM AND SCOPE NETYS aims to bring together researchers and engineers from the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of these systems, including, but not restricted to, cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning theory and applications, large language models, multicore architectures, networks, and security. NETYS will provide a forum to report on best practices, novel algorithms, results, and techniques on networked systems. Original research contributions and experience papers on the principles, design, implementation, modeling, analysis, verification and application of networked systems are solicited. Topics of interest are broadly divided into three categories: networked systems, distributed computing and machine learning. Topics of interest include (but are not limited to): 1. NETWORKED SYSTEMS - Cloud systems and data centers - Cyber-physical systems - Distributed database, embedded and operating systems - Multicore architectures and multithreaded applications - Distributed ledgers and blockchain technologies - Internet of Things, 5G, URLLC - Mobile, wireless, ad-hoc and sensor networks - Social networks - Overlay and peer-to-peer infrastructures 2. DISTRIBUTED COMPUTING - Concurrency, synchronization and persistence - Distributed and concurrent data structures - Languages, verification and formal methods for distributed systems - Design and analysis of distributed algorithms - Lower bounds and impossibility results for distributed computing - Game theory, mechanisms design - Fault-tolerance, reliability, self-stabilizing, self-organizing, and autonomic systems - Collaborative intelligent systems 3. MACHINE LEARNING - Collaborative/federated learning - Distributed Machine learning - Trustworthy machine learning - Large language models theory and applications - Fairness and privacy in machine learning - Reinforcement learning theory and applications - Generative AI - Optimization algorithms IMPORTANT DATES (all deadlines are at 23:59 AoE) - Abstract submission: March 1st, 2025 - Paper submission: March 8th, 2025 - Notifications: April 14th, 2025 - Conference dates: May 21st-23rd, 2025 INVITED SPEAKERS - Swarat Chaudhuri (University of Texas & Google DeepMind, Austin, USA) - Mohamed El Amine Seddik (Technology Innovation Institute, AD, UAE) - Sanjit Seshia (University of California, Berkeley, USA) - Marc Shapiro (Sorbonne Universite, Paris, France) - Praneeth Vepakomma (MBZUAI, Abu Dhabi, UAE & MIT, Cambridge, USA) PUBLICATION Springer's Lecture Notes in Computer Science series will publish conference proceedings (https://www.springer.com/gp/computer-science/lncs). One of the authors of each accepted paper must present it at the conference. SUBMISSION INSTRUCTIONS All submissions must follow the LNCS template and be written in English. Full papers are allowed a maximum of 15 pages in the LNCS format, excluding bibliographic references, whereas short papers are allowed a maximum of 5 pages (in the same format). Papers exceeding these limits may be rejected without review. A clearly marked appendix can be included for supplementary materials, but it will be read at the reviewers' discretion; therefore, the main body of the paper should contain sufficient details to assess its contributions. Submission of papers is via Microsoft CMT: https://cmt3.research.microsoft.com/NETYS2025/ PROGRAM CHAIRS Madhavan Mukund <madhavan(a)cmi.ac.in> Salem Lahlou <salem.lahlou(a)mbzuai.ac.ae> PROGRAM COMMITTEE El Mehdi Achour (RWTH Aachen University, Germany) S Akshay (IIT Bombay, India) Reda Alami (Technology Innovation Institute, UAE) Robert Basmadjian (University Mohammed VI Polytechnique, Ben Guerir, Morocco) Yahya Benkaouz (Mohammed V University, Rabat, Morocco) Mahmoud El Hamlaoui (ENSIAS, Morocco) Bernd Freisleben (Philipps-Universität Marburg, Germany) Eduard Gorbunov (Mohamed bin Zayed University of Artificial Intelligence, UAE) Loic Helouet (University Rennes, Inria, CNRS, IRISA, France) Alex Hernandez-Garcia (University of Montreal and Mila – Quebec AI Institute, Canada) Zahi Jarir (Cadi Ayyad University, Marrakech, Morocco) Mohamed Jmaeil (University of Sfax, Tunisia) Mohamed Amine Koulali (National School of Applied Sciences of Oujda, Morocco) Salem Lahlou (Mohamed bin Zayed University of Artificial Intelligence, UAE (Co-chair)) Tongliang Liu (University of Sydney, Australia) Nils Lukas (Mohamed bin Zayed University of Artificial Intelligence, UAE) Anisur Rahaman Molla (Indian Statistical Institute, Kolkata, India) Madhavan Mukund (Chennai Mathematical Institute, India (Co-chair)) Andreas Podelski (University of Freiburg, Germany) Maria Potop-Butucaru (LIP6, Sorbonne University, France) Sergio Rajsbaum (UNAM, Mexico) Mohamed El Amine Seddik (Technology Innovation Institute, UAE) Pradeep Sharma (ServiceNow, USA) B Srivathsan (Chennai Mathematical Institute, India) Afaf Taik (Mila – Quebec AI Institute, Canada) Sebastien Tixeuil (LIP6, Sorbonne University, France) Ahmed Touati (Meta AI, France) Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA)

9 months, 2 weeks

1
0
0 0

Call for Papers - ATVA 2025 conference - Bengaluru, India

by B Srivathsan

[Apologies if you receive multiple copies of this CFP] -------------------------------------------- ** ** *** Call for Papers ATVA 2025 23rd International Symposium on Automated Technology for Verification and Analysis 27-30 October 2025 Bangalore, India https://conf.researchr.org/home/atva-2025 ATVA 2025 is the 23rd 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 systems * 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 * Verification in industrial practice * Synthesis for hardware and software systems * Applications and case studies of verification * Automated tool support for verification * Testing and verification of neural networks * Testing and verification of autonomous systems IMPORTANT DATES * Abstract submission deadline: April 11, 2025 (AoE) * Paper submission deadline: April 18, 2025 (AoE) * Author response period: June 10 -- 13, 2025 * Paper notification: June 25, 2025 (AoE) * Camera-ready deadline: July 25, 2025 (AoE) * Tutorials and Workshops: October 27, 2025 * Conference: October 28 – October 30, 2025 SUBMISSIONS ATVA welcomes submissions in the following two categories: * Regular research papers (18 pages, excluding references, must be anonymized) * Tool papers (10 pages, excluding references, not anonymized) Submissions in both categories must be in Springer's LNCS format. Formatting style files and further guidelines for formatting can be found at the Springer website https://www.springer.com/gp/computer-science/lncs <https://www.springer.com/gp/computer-science/lncs>. Adding line numbers (LaTeX package lineno) is highly recommended. Submissions authored or co-authored by members of the program committee are allowed and encouraged. An artifact evaluation will be undertaken, which will be optional for regular papers and mandatory for tool papers. Papers must be submitted through EasyChair: https://easychair.org/conferences/?conf=atva202 <https://easychair.org/conferences/?conf=atva2023>5 Accepted papers in both categories will be published in Springer's Lecture Notes in Computer Science series. A few outstanding paperswill be selected for a distinguished paper award. At least one author of each accepted paper is expected to register and present the paper at the conference. Regular papers Regular papers should not exceed 18 pages in Springer’s LNCS format, not counting references and appendices. 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. Regular papers at ATVA 2025 will follow a full double-blind review process, which means that author names and affiliations must be omitted from the submission. Additionally, if a submission refers to prior work done by the authors, the reference should be made in the third person. These are firm submission requirements, and any regular paper that does not conform to these requirements will be rejected without review. We strongly encourage authors to not put the work on arXiv before (within 1 week) or shortly after (within 1 month) the submission deadline, because potential reviewers may be subscribed to receive updates on recently posted papers. Authors of accepted regular papers will be invited (but are not required) to submit a relevant artifact for evaluation by the artifact evaluation committee. The submission deadline for this artifact evaluation will be soon after the paper acceptance notification. Independent of the artifact evaluation process, research paper authors are encouraged to include a URL to an artifact in their original submission, if such an artifact is available and is pertinent to the paper. The artifact could contain code, datasets, results, etc. This would be for the consideration of the reviewers of the submission, at their discretion. If such a URL is included in the submission, the artifact it points to should not reveal the identities of the authors. Tool papers Tool papers should not exceed 10 pages in Springer’s LNCS format, not counting references. Tool papers will follow a single-blind review process. They do NOT need to be anonymized. Tool paper submissions MUST include a URL to an archival site from where the tool can be downloaded or accessed online for evaluation by the artifact evaluation committee. The site must also contain a set of examples, and a user manual that describes usage of the tool through examples. If the tool needs to be downloaded and installed, the site must contain instructions for installing the tool on Linux, Windows or MacOS. Packing the artifact as a Docker container is recommended. Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented. Acceptance of tool paper submissions is contingent on successful artifact evaluation at the “functional” level. In special cases, where an artifact cannot be submitted, the authors should contact the Artifact Evaluation chairs to find alternate modes of artifact evaluation. More details about artifact evaluation can be found on the<https://atva-conference.org/2024/artifact-evaluation/>conference web site. ORGANIZATION General Chair Deepak D’Souza, Indian Institute of Science, Bangalore, India Program Co-Chairs * Meenakshi D’Souza, IIIT-Bangalore, India * K. V. Raghavan, Indian Institute of Science, Bangalore, India * B. Srivathsan, Chennai Mathematical Institute, Chennai, India Local Organization Chair Sujit Kumar Chakrabarti, IIIT-Bangalore, India Artifact Evaluation Co-Chairs * Jie An, Institute of Software, Chinese Academy of Sciences, Beijing, China * Priyanka Golia, IIT Delhi, India Program Committee S. Akshay, IIT Bombay, India Etienne André, Université Sorbonne Paris Nord, France Guy Avni, University of Haifa, Israel Gogul Balakrishnan, Google, USA A R Balasubramanian, Max Planck Institute for Software Systems, Germany Ansuman Banerjee, Indian Statistical Institute, India Suguman Bansal, Georgia Institute of Technology, USA Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich), Germany Mingshuai Chen, Zhejiang University, China Yu-Fang Chen, Academia Sinica, Taiwan Yunja Choi, Kyungpook National University, South Korea Christoph Csallner, University of Texas at Arlington, USA Meenakshi D’Souza, International Institute of Information Technology Bangalore, India Rayna Dimitrova, CISPA, Germany Susanna Donatelli, Università degli Studi di Torino, Italy Grigory Fedyukovich, Florida State University, USA Hongfei Fu, Shanghai Jiao Tong University, China Orna Grumberg, Technion - Israel Institute of Technology, Israel Shibashis Guha, Tata Institute of Fundamental Research, India Ashutosh Gupta, Indian Institute of Technology Bombay, India Ichiro Hasuo, National Institute of Informatics, Japan Frédéric Herbreteau, Univ. Bordeaux, CNRS, LaBRI, France Orna Kupferman, Hebrew Univ, Jerusalem, Israel Milan Lopuaa-Zwakenberg, Univ of Twente, Netherlands Kumar Madhukar, Indian Institute of Technology Delhi, India Shahar Maoz, Tel Aviv University, Israel Umang Mathur, National University of Singapore, Singapore Ashish Mishra, Indian Institute of Technology Hyderabad, India Benjamin Monmege, Aix-Marseille Université, France Sergio Mover, École Polytechnique, France Kartik Nagar, Indian Institute of Technology Madras, India Daniel Neider, Technical University of Dortmund, Germany Youssouf Oualhadj, Université Paris Est Créteil, France Andreas Pavlogiannis, Aarhus University, Denmark Doron Peled, Bar-Ilan University, Israel Lauren Pick, The Chinese University of Hong Kong, Hong Kong Sumanth Prabhu, Tata Consultancy Services, India M. Praveen, Chennai Mathematical Institute, India Xiaokang Qiu, Purdue University, USA Komondoor Raghavan, Indian Institute of Science, India Muralikrishna Ramanathan, Amazon, USA Jie-Hong Roland Jiang, National Taiwan University, Taiwan Subhajit Roy, Indian Institute of Technology Kanpur, India Krishna S, Indian Institute of Technology Bombay, India Prakash Saivasan, Institute of Mathematical Sciences, India Sriram Sankaranarayanan, Univ. Colorado Boulder, USA Anne-Kathrin Schmuck, Max Planck Institute for Software Systems, Germany Arpit Sharma, Indian Institute of Science Education and Research Bhopal, India B Srivathsan, Chennai Mathematical Institute, India Quentin Stiévenart, Université du Québec à Montréal, Canada Vaishnavi Sundararajan, Indian Institute of Technology Delhi, India Nathalie Sznajder, Sorbonne Université, CNRS, LIP6, France Aditya V Thakur, University of California, Davis, USA Yakir Vizel, Technion, Israel Masaki Waga, Kyoto University, Japan Zhilin Wu, Chinese Academy of Sciences, China *

9 months, 2 weeks

1
0
0 0

The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers Extension

by Neeraj Kumar Singh

--------------- CALL FOR PAPERS - EXTENSION --------------- As requested by many authors, we extend the paper submission deadlines. The new submission deadlines are 16 February 2025 (Paper Registration) and 23 February 2025 (Full Paper Submission). The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) 2-4 July 2025, Gold Coast, Australia https://iwqos2025.ieee-iwqos.org/ Overview We invite the submission of manuscripts presenting original research results to the IEEE/ACM International Symposium on Quality of Service (IWQoS) 2025, which will be held from July 2-4, 2025, in Gold Coast, Australia. Quality of Service (QoS) has long been a central focus for communications and networking researchers worldwide. While traditional QoS research areas continue to garner significant interest, emerging domains such as the Internet of Things, data centers, virtualization, cloud and fog computing, green computing, and artificial intelligence are driving a new wave of research into service guarantees related to QoS, Quality of Experience (QoE), Quality of Protection (QoP), Software Quality, Data Quality, and, more broadly, Quality of Information Technology. For over two decades, IWQoS has established itself as a premier forum for presenting novel ideas on all QoS-related subjects. The 33rd International Symposium on Quality of Service (IEEE/ACM IWQoS 2025) aims to continue this tradition as an international platform for the presentation and discussion of cutting-edge research in the field. The scope of IWQoS encompasses both the latest theoretical advancements and experimental research papers. Topics of Interest - Artificial Intelligence for QoS - Data analytics for QoS - QoS for data analytics and machine learning - QoS in Internet of Things (IoT), cyber-physical networks - QoS in cloud computing, fog computing and edge computing - Blockchain for QoS - Security, privacy, system dependability, resilience and robustness - QoS in software-defined networking - QoS in information-centric networking - QoS in mobile and next generation cellular networks - System dependability, availability, resilience and robustness to faults and security attacks - Robustness against security vulnerabilities in critical infrastructures - QoS-aware scheduling, resource management, queue management, admission control - Traffic engineering approaches and tools for QoS provisioning and evaluation - QoS evaluation metrics and methodologies - Quality of software - QoE in multimedia networks - Measurement, evaluation, adaptation, and verification - Network operations, network economics, pricing and billing - Architectures and protocols for QoS, QoP or QoE support - Energy awareness in communication and computing systems - Design for future networks and computing systems with integrated QoS Important Dates (AoE) - Paper Registration Deadline: 16 February 2025 - Full Paper Submission Deadline: 23 February 2025 - Early Rejection Notification: 14 March 2025 - Notification of Acceptance: 4 April 2025 - Camera Ready Submission Deadline: 25 April 2025 Submission Instructions Authors are invited to submit manuscripts not exceeding 10 single-spaced, double-column pages (including references) using a font size of 10 points, formatted according to the standard IEEE template for LaTeX or Microsoft Word. Templates can be downloaded by selecting Conferences in the IEEE Template Selector at https://template-selector.ieee.org/. The review process will be double-blind, requiring submissions to avoid revealing the authors' names and affiliations, as well as to refrain from obvious self-references. Papers that do not adhere to these guidelines will be rejected without consideration of their merits. All submissions must be made electronically as PDF files. Please follow the submission like on https://iwqos2025.hotcrp.com/ to submit your paper. More information can be found on the website of IWQoS 2025: https://iwqos2025.ieee-iwqos.org/authors/call-papers Organizing Committee General Co-Chairs - Dan Kim, The University of Queensland, Australia - Surya Nepal, CSIRO's Data61, Australia Program Co-Chairs - Qi Li, Tsinghua University, China - Salil Kanhere, The University of New South Wales, Australia - Guangdong Bai, The University of Queensland, Australia Finance/Sponsorship Chair - Xingliang Yuan, The University of Melburne, Australia Local Co-Chairs - Naipeng Dong, The University of Queensland, Australia - Yu Zhang, Griffith University, Australia Publicity Co-Chairs - Jianliang Wu, Simon Fraser University, Canada - Neeraj Kumar Singh, IRIT-ENSEEIHT, France - Ruitao Feng, Southern Cross University, Australia Publication Chair - Kailong Wang, Huazhong University of Science and Technology, China

9 months, 3 weeks

1
0
0 0

CFP： Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities

by Qin Liu

Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities https://www.sciencedirect.com/special-issue/313735/security-and-privacy-in-… In a smart city, numerous artificial intelligence of things (AIoT) communicate and collaborate to improve our quality of life. Both artificial intelligence (AI) and Internet of things (IoT) are foundational technologies that have been interacting with each other to realize a smart life. As massive amounts of sensitive data are generated, processed, and exchanged through IoT devices and AI technologies, one of the fundamental problems is how to provide intelligent services in smart cities without compromising security and privacy. This special issue aims to bring together researchers and practitioners in IoT, AI, and network security, to share their novel ideas and latest findings in relation to security and privacy in AIoT-enabled smart cities. The scope and interests for the special issue include, but are not limited to, the following list: ● Secure IoT infrastructure for smart cities ● Secure smart city applications, including secure AI-driven IoT applications ● Authentication and access control in IoT-enabled smart cities ● Intrusion detection for IoT-enabled smart cities ● Architectures and standards for secure IoT systems ● AI and big data techniques for IoT-enabled secure smart cities ● Blockchain technology for IoT-enabled secure smart cities ● Secure multi-party computation techniques for ML ● Security optimization in heterogeneous environments ● AI-driven mechanisms and models to perform attacks ● Security and privacy issues in AI-enabled IoT communications and systems ● Privacy-preserving ML ● Privacy-preserving data mining ● Privacy and anonymity techniques for IoT and AI ● Data privacy in AIoT-enabled smart cities ● Privacy preserving techniques for IoT-enabled smart cities ● Privacy modeling and analysis for IoT-enabled smart cities ● Miscellaneous privacy issues in AIoT-enabled smart cities Important Dates Submissions Deadline: April 1, 2025; First-round pass notification: April 15, 2025; Review result notification: June 1, 2025; Acceptance/rejection: August 30, 2025; Publication: 2nd Quarter 2025 Submission Format and Guideline Authors should follow the "Guidelines for Authors" from The Journal of Systems Architecture (JSA). Details can be found at Guide for authors - Journal of Systems Architecture (https://www.sciencedirect.com/journal/journal-of-systems-architecture/publi…). Solicited original submissions must not be currently under consideration for publication in other venues. All manuscripts and any supplementary material should be submitted through Submission site for Journal of Systems Architecture ( https://www.editorialmanager.com/jsa/default.aspx). Please select the “VSI:SPASS” option as article type of the paper. Guest editors: Associate Prof. Qin Liu Hunan University, Changsha, China Prof. Kouichi Sakurai Kyushu University, Fukuoka, Japan Prof. Richard Hill University of Huddersfield, Huddersfield, UK Associate Prof. Wenjia Li UK New York Institute of Technology, Old Westbury, USA -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: https://qinliu-hnu.github.io/

9 months, 4 weeks

1
0
0 0

The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers

by Neeraj Kumar Singh

-------------------------- CALL FOR PAPERS -------------------------- The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) 2-4 July 2025, Gold Coast, Australia https://iwqos2025.ieee-iwqos.org/ Overview We invite the submission of manuscripts presenting original research results to the IEEE/ACM International Symposium on Quality of Service (IWQoS) 2025, which will be held from July 2-4, 2025, in Gold Coast, Australia. Quality of Service (QoS) has long been a central focus for communications and networking researchers worldwide. While traditional QoS research areas continue to garner significant interest, emerging domains such as the Internet of Things, data centers, virtualization, cloud and fog computing, green computing, and artificial intelligence are driving a new wave of research into service guarantees related to QoS, Quality of Experience (QoE), Quality of Protection (QoP), Software Quality, Data Quality, and, more broadly, Quality of Information Technology. For over two decades, IWQoS has established itself as a premier forum for presenting novel ideas on all QoS-related subjects. The 33rd International Symposium on Quality of Service (IEEE/ACM IWQoS 2025) aims to continue this tradition as an international platform for the presentation and discussion of cutting-edge research in the field. The scope of IWQoS encompasses both the latest theoretical advancements and experimental research papers. Topics of Interest - Artificial Intelligence for QoS - Data analytics for QoS - QoS for data analytics and machine learning - QoS in Internet of Things (IoT), cyber-physical networks - QoS in cloud computing, fog computing and edge computing - Blockchain for QoS - Security, privacy, system dependability, resilience and robustness - QoS in software-defined networking - QoS in information-centric networking - QoS in mobile and next generation cellular networks - System dependability, availability, resilience and robustness to faults and security attacks - Robustness against security vulnerabilities in critical infrastructures - QoS-aware scheduling, resource management, queue management, admission control - Traffic engineering approaches and tools for QoS provisioning and evaluation - QoS evaluation metrics and methodologies - Quality of software - QoE in multimedia networks - Measurement, evaluation, adaptation, and verification - Network operations, network economics, pricing and billing - Architectures and protocols for QoS, QoP or QoE support - Energy awareness in communication and computing systems - Design for future networks and computing systems with integrated QoS Important Dates (AoE) - Paper Registration Deadline: 9 February 2025 - Full Paper Submission Deadline: 16 February 2025† - Early Rejection Notification: 14 March 2025 - Notification of Acceptance: 4 April 2025 - Camera Ready Submission Deadline: 25†April 2025 Submission Instructions Authors are invited to submit manuscripts not exceeding 10 single-spaced, double-column pages (including references) using a font size of 10 points, formatted according to the standard IEEE template for LaTeX or Microsoft Word. Templates can be downloaded by selecting ìConferencesî in the IEEE Template Selector at https://template-selector.ieee.org/. The review process will be double-blind, requiring submissions to avoid revealing the authors' names and affiliations, as well as to refrain from obvious self-references. Papers that do not adhere to these guidelines will be rejected without consideration of their merits. All submissions must be made electronically as PDF files. Please follow the submission like on https://iwqos2025.hotcrp.com/ to submit your paper. More information can be found on the website of IWQoS 2025: https://iwqos2025.ieee-iwqos.org/authors/call-papers Organizing Committee General Co-Chairs - Dan Kim, The University of Queensland, Australia - Surya†Nepal, CSIRO's Data61, Australia Program Co-Chairs - Qi Li, Tsinghua University, China - Salil Kanhere, The University of New South Wales, Australia - Guangdong Bai,†The University of Queensland, Australia Finance/Sponsorship Chair - Xingliang Yuan, The University of Melburne, Australia Local Co-Chairs - Naipeng Dong, The University of Queensland, Australia - Yu Zhang, Griffith University, Australia Publicity Co-Chairs - Jianliang Wu, Simon Fraser University, Canada - Neeraj Kumar Singh, IRIT-ENSEEIHT, France - Ruitao Feng,†Southern Cross University, Australia Publication Chair - Kailong Wang, Huazhong University of Science and Technology, China

10 months

1
0
0 0

Final call for papers: Petri Nets 2025 (Paris)

by Étienne André

============================================================ Final call for papers PETRI NETS 2025 46th international conference on application and theory of Petri nets and concurrency ============================================================ *** DEADLINE EXTENSION *** Paris, France 23-27 June 2025 https://petrinets25.github.io/web/ ## Paper Submission Petri Nets 2025 solicits high quality papers reporting research results and/or tools related to the topics mentioned below. * Regular papers (20 pages LNCS excluding references) must describe original results pertaining to the development of the theory of Petri nets and distributed and concurrent systems in general, new results extending the applicability of Petri nets, or case studies, application and experience reports pertinent to the practical use of Petri nets and concurrency. * Tool papers (10 pages LNCS excluding references) must describe a computer tool based on Petri nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk. All papers must be original, unpublished, and not submitted for publication elsewhere. Papers must be written in English using the Springer LNCS format, including line numbers (e.g.,https://ctan.org/pkg/lineno LaTeX package) and submitted electronically (as a PDF file) by the deadline using EasyChair(https://easychair.org/conferences/?conf=petrinets2025). ## Important dates EXTENDED abstract submission : 15 January 2025 => 29 January 2025 EXTENDED aubmission of papers : 22 January 2025 => 29 January 2025 Notification : 10 March 2025 Final version due : 24 March 2025 Participation in tool exhibition: 30 May 2025 Workshops and Tutorials : 23-24 June 2025 Main Conference : 25-27 June 2025 The deadline is the end of day (AoE). ## Topics of Interest Topics specific to Petri Nets * Analysis and synthesis, structure and behavior of nets * System design and model-driven development using nets * Relationships between Petri nets and other approaches * Net-based semantical, logical and algebraic calculi * Higher-level net models (colored nets, timed nets, etc.) * Stochastic net models * Verification and model checking using nets * Process discovery and conformance checking * Computer tools for nets * Standardization of nets * Experience reports describing applications of nets to different kinds of systems and application fields (e.g., flexible manufacturing systems, office automation, real-time systems, workflows, embedded systems, process mining, biological systems, supervisory control, health and medical systems, protocols and networks, environmental systems, Internet and Web services, hardware, e-commerce and trading, telecommunications, programming languages, railway networks, performance evaluation, component based development, operations research) General topics of interest related to concurrency * Application of concurrency to system design: formal models for designing computer systems with concurrent behavior, applied research aimed at designing computer systems which exhibit concurrency, etc. * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems * Causality/partial order theory of concurrency * Educational issues related to concurrency * New developments in the theory of concurrency * Modeling of hardware and biological systems Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems or focused on applications of concurrency to system design are sought. The language of the conference is English, and its proceedings will be published by Springer-Verlag in LNCS. All accepted papers will be considered for an Outstanding Paper award. Authors of selected papers presented at the conference will be invited to submit an extended version that will be further reviewed for inclusion into a special issue of a renowned journal. ## Tool Exhibition An exhibition of Petri net tools will take place on Wednesday June 25. It consists of informal demonstrations for small groups/individuals and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition chairs by the deadline stated at the top of this Call for Papers. They should include a link to the Web pages for the tool (or a short description of the tool). The demonstrators should bring their own laptops, while the organisers may be requested to give access to the Internet. ## Courses, Workshops and Tutorials The main conference takes place from Wednesday 25 to Friday 27. The two days before the main conference also offer a wide range of activities. The Petri Net Course takes place from Monday 23 to Tuesday 24. It offers a thorough introduction to Petri nets in half-days and full-day modules. For successful participation in the entire course, including preparation and examination, two credit points (ECTS) will be awarded. Each module of the course can also be taken separately, without any credit. Detailed descriptions of Workshops and Tutorials will be made available via the conference Web page. It is also possible to arrange Meetings and Courses related to Petri Nets. Submissions for such activities must contain a 2-5 page description. They must be received by the Workshops and Tutorials chairs via email no later than January 15, 2025. ## Organization The 46th annual international Petri Nets conference will be organised by the LoVe (Logics and Verification) team at the Université Sorbonne Paris Nord (France) jointly with members of the MeFoSyLoMa group. The conference will take place at the Campus Condorcet. ### Organization Committee * Étienne André (Université Sorbonne Paris Nord) * Carlos Olarte (Université Sorbonne Paris Nord) ### Program committee co-chairs * Elvio Amparore, Italy * Łukasz Mikulski, Poland ### Workshops co-chairs * Giuliana Franceschinis, Italy * Karsten Wolf, Germany ### Petri Net Course and Tutorials co-chairs * Jörg Desel, Germany * Lars Kristensen, Norway ### Publicity chair * Benoît Barbot, France ## Program committee * Elvio Amparore, Italy (co-chair) * Abel Armas Cervantes, Australia * João Paulo Barros, Portugal * Benoît Delahaye, France * João Miguel Fernandes, Portugal * Guiliana Franceschinis, Italy * Luis Gomes, Portugal * Xudong He, USA * Loïc Helouet, France * Wojciech Jamroga, Luxemburg * Gabriel Juhás, Slovakia * Anna Kalenkova, Australia * Michael Köhler-Bußmeier, Germany * Lars Kristensen, Norway * Lisa Mannel, Germany * Łukasz Mikulski, Poland (co-chair) * Andrew Miner, USA * Guillermo Alberto Perez, Belgium * Marta Pietkiewicz-Koutny, UK * Artem Polyvyanyy, Australia * Lucia Pomello, Italy * Andrey Rivkin, Denmark * Natalia Sidorova, The Netherlands * Jiří Srba, Denmark * Jeremy Sproston, Italy * Nathalie Sznajder, France * Remigiusz Wisniewski, Poland * Karsten Wolf, Germany

10 months, 1 week

1
0
0 0

2025

2024

2023

2022