- FMIndia - example.com

by Patrick Totzke

======================================================== FINAL CALL FOR PAPERS ======================================================== The joint event for the International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) 9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella conference https://www.qest-formats.org/ IMPORTANT DATES (UPDATED) Abstract deadline: 10 April 2024 (Anytime on Earth) Paper deadline: 15 April 2024 (Anytime on Earth) Author notification: 31 May 2024 Camera ready submission: 17 June 2024 Conference: 9-13 September 2024 SCOPE AND TOPICS The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference in 2024, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems. Topics and scientific areas of interest include: - Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, and non-deterministic models including Markov chains, Markov decision processes, automata, Petri nets, process algebra, max-plus algebra, and their variations); - Languages and methods for the specification of quantitative properties of systems; - Techniques, algorithms, and data structures for analysis, evaluation, and verification of the models mentioned above, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; - Quantitative and probabilistic aspects of programming; - Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; - Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies; - Novel software tools to support the practical application of research results in all of the above areas; The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. The joint conference will have two tracks associated with QEST and FORMATS. The authors are required to select one of these tracks when submitting their papers. This is only used to facilitate the review process. This year, QEST+FORMATS will incorporate a special session on: - Data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems. SUBMISSIONS QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission): - Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. - Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. - Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: - Regular papers must not exceed 14 pages, excluding references. - Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair: https://easychair.org/conferences/?conf=qestformats2024 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer’s authors’ guidelines and use Springer’s LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. PUBLICATIONS All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ARTIFACT EVALUATION Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts will be available on the conference website. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. SPECIAL ISSUES A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and the Performance Evaluation (PEVA) journals. COMMITTEES Program Chairs Jane Hillston, Edinburgh University, UK Sadegh Soudjani, Max Planck Institute, Germany Track Chairs Morteza Lahijanian, UC Boulder, USA (QEST) Masaki Waga, Kyoto University, Japan (FORMATS) Publicity Chairs Jyotirmoy Deshmukh, University of Southern California, USA Patrick Totzke, University of Liverpool, UK Jie An, National Institute of Informatics (NII) in Tokyo, Japan Artifact Evaluation Chairs Tobias Meggendorfer, Lancaster University Leipzig, Germany Andrea Vandin, Sant'Anna School for Advanced Studies, Italy For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org).

2 years, 1 month

1
0
0 0

IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Suman Sadhukhan, a postdoctoral researcher at University of Haifa. The talk is scheduled on Tuesday, March 19, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=M2xsZmdnaG…> ). 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: Bidding Games on Graphs - In theory and in practice. Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In a two-player zero-sum graph game, the players move a token throughout the game, producing an infinite play, which determines the winner of the game. Bidding games are graph games in which in each turn, a bidding (auction) determines which player moves the token: the players have budgets, and in each turn, both players simultaneously submit the bids that do not exceed the available budgets. The higher bidder moves the token, and pays the bid to the lower bidder (called Richman bidding). The standard solution concept of interest in bidding games are threshold budgets: the necessary and sufficient budget for winning the game. In this survey talk, on the theoretical side, we will explore discrete bidding games, where the keyword discrete stands for the bids having a fixed granularity. We obtain membership in NP ∩ coNP for solving parity bidding games with exponentially succinct representation. This will be followed by our newly proposed application of bidding games to a decentralized synthesis problem for multi-objective decision making. Here, synthesized policies express their scheduling urgency via bids and a bounded budget guarantees long-run fairness. Moreover, our proposed solution framework is modular, in the sense that if one objective changes, we may still combine the policy for the other objective without having the need to recompute it from scratch. These works have been in collaboration with Guy Avni and Kaushik Mallik. Bio: Suman Sadhukhan is currently a postdoctoral researcher at the University of Haifa, primarily working with Guy Avni on Bidding Games on Graphs. He obtained his PhD in 2022 from Inria Rennes where he was advised by Nathalie Bertrand, Nicolas Markey and Ocan Sankur, and worked on dynamic network congestion games from a verification perspective. He is interested in, but not restricted to, Games on Graphs, studying different game theoretic models from formal verification and reactive synthesis viewpoint. Prior to his PhD training, he was a student at Chennai Mathematical Institute where he studied Theoretical Computer Science and Mathematics.

2 years, 1 month

1
0
0 0

IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Suman Sadhukhan, a postdoctoral researcher at University of Haifa. The talk is scheduled on Tuesday, March 19, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=M2xsZmdnaG…> ). 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: Bidding Games on Graphs - In theory and in practice. Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In a two-player zero-sum graph game, the players move a token throughout the game, producing an infinite play, which determines the winner of the game. Bidding games are graph games in which in each turn, a bidding (auction) determines which player moves the token: the players have budgets, and in each turn, both players simultaneously submit the bids that do not exceed the available budgets. The higher bidder moves the token, and pays the bid to the lower bidder (called Richman bidding). The standard solution concept of interest in bidding games are threshold budgets: the necessary and sufficient budget for winning the game. In this survey talk, on the theoretical side, we will explore discrete bidding games, where the keyword discrete stands for the bids having a fixed granularity. We obtain membership in NP ∩ coNP for solving parity bidding games with exponentially succinct representation. This will be followed by our newly proposed application of bidding games to a decentralized synthesis problem for multi-objective decision making. Here, synthesized policies express their scheduling urgency via bids and a bounded budget guarantees long-run fairness. Moreover, our proposed solution framework is modular, in the sense that if one objective changes, we may still combine the policy for the other objective without having the need to recompute it from scratch. These works have been in collaboration with Guy Avni and Kaushik Mallik. Bio: Suman Sadhukhan is currently a postdoctoral researcher at the University of Haifa, primarily working with Guy Avni on Bidding Games on Graphs. He obtained his PhD in 2022 from Inria Rennes where he was advised by Nathalie Bertrand, Nicolas Markey and Ocan Sankur, and worked on dynamic network congestion games from a verification perspective. He is interested in, but not restricted to, Games on Graphs, studying different game theoretic models from formal verification and reactive synthesis viewpoint. Prior to his PhD training, he was a student at Chennai Mathematical Institute where he studied Theoretical Computer Science and Mathematics.

2 years, 1 month

1
0
0 0

Postdoctoral fellowship: monitoring cyberphysical systems with quantities

by Étienne André

Dear all, A 12-month postdoctoral fellowship funded by CNRS on *monitoring cyberphysical systems with quantities* is available at LIPN, Université Sorbonne Paris Nord, starting anytime (and in any case September 2024 latest). *Full subject online*: https://lipn.univ-paris13.fr/~andre/sujets/postdoc-CNRS-monitoring.pdf /A key challenge in monitoring is to formalize complex requests involving quantities such as "the vehicle always remains at a minimum distance from other vehicles, with energy consumption maintained below a predefined threshold (where this threshold is not necessarily known a priori with full precision), except in the event of exceptional danger at most one minute per hour"; and then to detect possible violations of these requests on huge quantities of data./ /This implies being able to define expressive quantitative formalisms, as well as efficient verification algorithms./ /This post-doctoral fellowship fits within this framework, with both theoretical and algorithmic/implementation aspects./ / / /The goal of the postdoctoral fellowship may include:/ /- propose expressive formalisms (logics, automata) capturing quantitative values in multiple dimensions (time, cost, energy, etc.);/ /- propose efficient monitoring algorithms;/ /- implement these algorithms and evaluate them against benchmarks./ *Application*: informal contact by email first (preferred) at andre.etienne (at) lipn13 (dot) fr ; or direct application via https://emploi.cnrs.fr/Offres/CDD/UMR7030-ETIAND-002/Default.aspx?lang=EN Best, -- Étienne André Université Sorbonne Paris Nord https://lipn.univ-paris13.fr/~andre/

2 years, 2 months

1
0
0 0

CFP IEEE Edge 2024, Shenzhen, China.

by Nitin Auluck

IEEE EDGE 2024 - CALL FOR PAPERS https://conferences.computer.org/edge/2024/ Edge computing, as the convergence of computing and communications executed close to data collection and places of storage and application, provides a paradigm that offers several research and application opportunities across a wide range of domains. At the same time, it raises many fundamental and unprecedented research and development problems and challenges. The 2024 IEEE International Conference on Edge Computing and Communications (IEEE EDGE 2024) aims to continue to be recognized a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in state of the art and practice of edge computing, identify emerging research topics, and define the future of edge computing. IEEE EDGE is affiliated with IEEE World Congress on Services (SERVICES). IEEE EDGE 2024 will feature a comprehensive high-quality technical program including research track, tutorial and demonstration. IEEE EDGE 2024 will also include an attractive industry program aimed at practitioners, with keynotes and panels from prominent research, industry leaders, and technological exhibits. IEEE EDGE 2024 invites original papers addressing all aspects related to edge computing theories, technologies and applications. Topics of interest include but are not limited to the following: · Edge Computing Architectures · Edge Computing and Communications Theories · Edge Computing and Network Functions Virtualization · Edge Computing in Multi-cloud environments · Edge Centric Convergence of IoT & Cloud Computing · Collaborative Edge & Cloud Computing · Storage and Caching at the Edge · Edge Access Networks & Systems · Services for Edge Computing · CPU/GPU and Hardware for Edge Computing · Benchmarks and Workloads for Performance of Edge Systems · AI Enabled Edge Computing · Generative AI Continuum - from Edge to Cloud · Artificial Intelligence and ML at the Edge · QoS & QoE at the Edge · Signal Processing in Edge Computing · Edge Computing for Vehicular System & Network · Edge Computing for 5G/6G Network & Systems IMPORTANT DATES (ANYWHERE ON EARTH) * December 1, 2023: EasyChair open for DRAFT submissions * March 17, 2024: EasyChair closes for NEW submissions * March 24, 2024: EasyChair closes for revisions and uploads * May 6, 2024: Acceptance notification * July 7-13, 2024: SERVICES Congress in Shenzhen, China ORGANISING TEAM IEEE EDGE 2024 GENERAL CHAIRS Shuiguang Deng, Zhejiang University Nirmit Desai, IBM Research Gopal Pingali, Accenture IEEE EDGE 2024 PROGRAM CHAIRS Javid Taheri, Karlstad University Shiqiang Wang, IBM Research K. V. Subramaniam, AMD IEEE EDGE 2024 PUBLICITY CHAIRS Nitin Auluck, Indian Institute of Technology, Ropar Luiz F. Bittencourt, University of Campinas, Brazil Antonino Galletta, University of Messina, Italy Honghao Gao, Shanghai University, China Gautam Srivastava, Brandon University, Canada (TBC) -- Dr. Nitin Auluck / डॉ. नितिन औलक | Associate Professor / सह - प्राध्यापक Room #114, S. Ramanujan Block / कमरा #११४, एस. रामानुजम ब्लॉक Department of Computer Science & Engineering / कंप्यूटर विज्ञान और अभियांत्रिकी विभाग Indian Institute of Technology Ropar / भारतीय प्रौद्योगिकी संस्थान रोपड़ | Rupnagar, Punjab, India, 140001 / रूपनगर, पंजाब, भारत, १४०००१ nitin(a)iitrpr.ac.in | nauluck(a)ieee.org | http://www.iitrpr.ac.in/cse/nitin -- **CONFIDENTIALITY NOTICE: The contents of this email message and any attachments are intended solely for the addressee(s) and may contain confidential and/or privileged information and may be legally protected from disclosure. If you are not the intended recipient of this message or their agent, or if this message has been addressed to you in error, please immediately alert the sender by reply email and then delete this message and any attachments. If you are not the intended recipient, you are hereby notified that any use, dissemination, copying, or storage of this message or its attachments is strictly prohibited.* *

2 years, 2 months

1
0
0 0

QEST+FORMATS: Call for Papers

by Patrick Totzke

[Apologies for cross-posting] ======================================================== CALL FOR PAPERS ======================================================== The joint event for the International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) 9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella conference https://www.qest-formats.org/ IMPORTANT DATES (UPDATED) Abstract deadline: 10 April 2024 (Anytime on Earth) Paper deadline: 15 April 2024 (Anytime on Earth) Author notification: 31 May 2024 Camera ready submission: 17 June 2024 Conference: 9-13 September 2024 SCOPE AND TOPICS The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference in 2024, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems. Topics and scientific areas of interest include: - Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, and non-deterministic models including Markov chains, Markov decision processes, automata, Petri nets, process algebra, max-plus algebra, and their variations); - Languages and methods for the specification of quantitative properties of systems; - Techniques, algorithms, and data structures for analysis, evaluation, and verification of the models mentioned above, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; - Quantitative and probabilistic aspects of programming; - Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; - Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies; - Novel software tools to support the practical application of research results in all of the above areas; The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. The joint conference will have two tracks associated with QEST and FORMATS. The authors are required to select one of these tracks when submitting their papers. This is only used to facilitate the review process. This year, QEST+FORMATS will incorporate a special session on: - Data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems. SUBMISSIONS QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission): - Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. - Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. - Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: - Regular papers must not exceed 14 pages, excluding references. - Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair: https://easychair.org/conferences/?conf=qestformats2024 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer’s authors’ guidelines and use Springer’s LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. PUBLICATIONS All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ARTIFACT EVALUATION Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts will be available on the conference website. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. SPECIAL ISSUES A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and the Performance Evaluation (PEVA) journals. COMMITTEES Program Chairs Jane Hillston, Edinburgh University, UK Sadegh Soudjani, Max Planck Institute, Germany Track Chairs Morteza Lahijanian, UC Boulder, USA (QEST) Masaki Waga, Kyoto University, Japan (FORMATS) Publicity Chairs Jyotirmoy Deshmukh, University of Southern California, USA Patrick Totzke, University of Liverpool, UK Jie An, National Institute of Informatics (NII) in Tokyo, Japan Artifact Evaluation Chairs Tobias Meggendorfer, Lancaster University Leipzig, Germany Andrea Vandin, Sant'Anna School for Advanced Studies, Italy For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org).

2 years, 2 months

1
0
0 0

Invitation Guest Speaker @ ACFTI Cybersecurity stream

by Andrew Zayine

On behalf of the Association of Cyber Forensics and Threat Investigators (ACFTI), I am pleased to invite you to the new Cybersecurity stream lecture/seminar series. The presentation is a maximum of 1 hour in length, with an audience of about 60+, made up of undergraduate and postgraduate students plus cybersecurity students from developing countries. Our goal is to shine a spotlight on the broad array of new advances in cybersecurity science and operations currently adopted in the industry. This session will be conducted online. It will be fantastic to have any hands-on topics related to cyber forensics. Your discussion on this topic will be a great addition to our event. Expressions of interest to present from anyone doing research or applying cybersecurity techniques to practical or theoretical applications related to the interactions between cyber forensics and threat investigations can be sent as a summary of your work (c.200 words) to acfti (at) acfti (dot) org by February 15, 2024 Thank you in advance for your consideration, and we are very much looking forward to hearing from you. To get more news about our events, please join our low-traffic announcement group @ https://groups.google.com/g/acfti ________________________________________________________ Association of Cyber Forensics and Threat Investigators https://www.acfti.org Twitter: @acfti

2 years, 2 months

1
0
0 0

Call for Participation, ASPLOS'24

by Madhavan Mukund

----- Forwarded message from Krishna Nandivada V <nvk(a)iitm.ac.in> ----- From: Krishna Nandivada V <nvk(a)iitm.ac.in> Date: Fri, 9 Feb 2024 12:24:10 +0000 Subject: Call for Participation, ASPLOS'24 Dear colleagues, 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'24 is being held in San Diego, in beautiful Southern California April 27^th-May 1^st 2024. Early registration is now open until March 22: you can find the links to register and reserve your hotel room on the conference website:https://www.asplos-conference.org/asplos2024/attend/ Because ASPLOS moved to a three-deadline model, the program will not be finalized with papers under review from the third deadline. We will be filling in program details as this review process is completed. Please check the conference website for details: https://www.asplos-conference.org /asplos2024/ On behalf of the organizing committee, we look forward to seeing in San Diego! Rajiv Gupta and Nael Abu-Ghazaleh General Chairs, ASPLOS'24 ----- End forwarded message -----

2 years, 2 months

1
0
0 0

ACM India PhD Clinic mentoring at ISEC 2024

by Madhavan Mukund

----- Forwarded message from IMT2019057 Nandakishore S Menon <Nandakishore.Menon(a)iiitb.ac.in> ----- From: IMT2019057 Nandakishore S Menon <Nandakishore.Menon(a)iiitb.ac.in> Date: Fri, 9 Feb 2024 07:43:19 +0000 Dear esteemed mentor, If you have already registered for ISEC 2024 or are planning to do so soon and plan to be physically present at the conference, we extend a warm invitation for you to connect with the attending PhD students during the event. Throughout these three days, we will be hosting a PhD clinic at IIIT-B, offering a valuable opportunity for you to mentor three to four students. To be considered as a mentor, we kindly request those with a Ph.D. and a minimum of three years of experience to express their interest. If this aligns with your interests, we invite you to complete the mentorship form using the following link: https://docs.google.com/forms/d/1oPm7GSW82_YbcuXVEzUwGKJef3IJaD4TDguCFvAv8Q… For additional details about the ACM PhD Clinic, please refer to the information available here: https://india.acm.org/research/phd-clinic. This collaborative initiative is organized at IIIT-B as part of ISEC 2024. Thank you for considering this invitation. Best Regards, PhD Clinic Team, ISEC 2024 Regards, Nandakishore S Menon ----- End forwarded message -----

2 years, 2 months

1
0
0 0

SAT 2024: Second Call for Papers

by Supratik Chakraborty

(Apologies for cross-postings, if any) _*SAT 2024: Second Call for Papers*_ SAT 2024 is the 27th edition of the International Conference on Theory and Applications of Satisfiability Testing (SAT). The scope of SAT 2024 includes all aspects of the theory and applications of propositional satisfiability, broadly construed. This also includes Boolean optimization, such as MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Topics of interest include (but are not limited to): * Theoretical advances (including algorithms, proof complexity, parameterized complexity, and other complexity issues) * Practical search algorithms * Knowledge compilation * Implementation-level details of SAT and SMT solving tools and SAT/SMT-based systems * Problem encodings and reformulations * Applications (including novel application domains and improvements to existing applications) * Case studies and reports on insightful findings based on rigorous experimentation Out of Scope Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. Paper Categories Submissions to SAT 2024 are invited in the following three categories: * Long papers (9 to 15 pages, excluding references and appendices) * Short papers (up to 8 pages, excluding references and appendices) * Tool papers (up to 8 pages, excluding references and appendices) Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementation available with the submission. Submissions on applications and case studies are encouraged. Such papers should describe details, weaknesses and strengths of the proposed approaches in sufficient depth, but they are not expected to introduce novel solving methods. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. The authors should choose between a long or a short paper depending on the space they need to fully describe their contribution.The classification between long and short papers impacts the duration of the presentation of the work during the conference. It is the responsibility of the authors to make sure that their paper is self-contained in the chosen limit of pages. There will be no re-classification of submissions by the PC. Tool papers are expected to report on the design and implementation of a tool, its novel features, strengths, limitations and potential applications. A “tool” is interpreted in a broad sense, including descriptions of solvers, pre-processors etc., as well as systems that exploit SAT and related solvers or their extensions for use in a relevant problem domain. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Submission Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2024, and should not consist of previously published material. Submissions not consistent with these guidelines may be returned without review. Papers must be formatted in the LIPIcs LaTeX style available at https://submission.dagstuhl.de/series/details/LIPIcs#author Submissions must be made electronically in PDF format at https://easychair.org/conferences/?conf=sat2024 The reviewing process for SAT 2024 is single-blind. Authors may submit a supplement containing detailed proofs, examples, software, detailed experimental data, or other material related to the submission, to be consulted at the discretion of the reviewers. The supplement should not be used as overflow space for the main paper, which should be self-contained for review purposes. Supplements will be treated with the same degree of confidentiality as the paper itself. The supplement must consist of a single file in one of the following formats: zipped tarball (.tar.gz or .tgz), gzipped file (.gz), or zip archive (.zip). One author of each accepted paper is expected to register for the conference and present it there. Important dates Abstract submission: March 8, 2024 AoE Full paper submission: March 15, 2024 AoE Author response: May 9-13, 2024 AoE Notification of decisions: May 22, 2024 AoE Camera-ready version submission: July 1, 2024 AoE Workshops & Indian SAT+SMT School: August 18-20, 2024 SAT conference: August 21-24, 2024 Best Paper Awards Long and short papers may be considered for a Best Paper Award. If the main author is a student, both in terms of work and writing, the paper may be considered for a Best Student Paper Award. Proceedings All accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license. For more information, please visit http://satisfiability.org/SAT24

2 years, 3 months

1
0
0 0

2026

2025

2024

2023

2022

FMIndia