From robert.heinrich at kit.edu Wed Aug 16 10:18:33 2023 From: robert.heinrich at kit.edu (Heinrich, Robert (KASTEL)) Date: Wed, 16 Aug 2023 08:18:33 +0000 Subject: [fg-arc] Deadline Extension: 14th Symposium on Software Performance 2023 Message-ID: *** Paper Submission Deadline Extension: 14th Symposium on Software Performance 2023 *** The 14th Symposium on Software Performance 2023 (SSP'23) takes place from 6th to 8th November in Karlsruhe, Germany. Paper submission deadline has been extended until August 21, 2023! The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as "the amount of useful work accomplished by a software system compared to the time and resources used", as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. We solicit technical papers (maximum 3 pages) and extended abstracts for industry or experience talks (maximum 700 words). Accepted papers will be published in the GI Softwaretechnik-Trends. Please see the full CfP: https://easychair.org/cfp/ssp23 More information is available on our website: https://www.performance-symposium.org/2023/ We look forward to your submission and to seeing you in Karlsruhe. Kind regards, The SSP'23 organization team -------------------------------------------------------------------- PD Dr. rer. nat. Robert Heinrich Head of Quality-driven System Evolution Research Group Karlsruhe Institute of Technology (KIT) KASTEL - Institute of Information Security and Dependability DSiS - Dependability of Software-intensive Systems group https://dsis.kastel.kit.edu/staff_robert_heinrich.php -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 6746 bytes Desc: not available URL: From orilahav at gmail.com Wed Aug 16 20:17:23 2023 From: orilahav at gmail.com (Ori Lahav) Date: Wed, 16 Aug 2023 21:17:23 +0300 Subject: [fg-arc] VMCAI 2024: Second Call for Papers Message-ID: [We apologize for possible cross-posting] ******************************************************************************* CALL FOR PAPERS 25th International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2024 January 15-16, 2024 https://popl24.sigplan.org/home/VMCAI-2024 ******************************************************************************* *Call for Papers* VMCAI 2024 is the 25th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held on January 15-16, 2024, in London, UK, co-located with POPL 2024. VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. *Scope* The program of VMCAI 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: * Program Verification * Model Checking * Abstract Interpretation * Abstract Domains * Program Synthesis * Static Analysis * Type Systems * Deductive Methods * Program Logics * First-Order Theories * Decision Procedures * Interpolation * Horn Clause Solving * Program Certification * Separation Logic * Probabilistic Programming and Analysis * Error Diagnosis * Detection of Bugs and Security Vulnerabilities * Program Transformations * Hybrid and Cyber-physical Systems * Concurrent and distributed Systems * Analysis of numerical properties * Analysis of smart contracts * Analysis of neural networks * Case Studies on all of the above topics Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. *Important Dates AoE (UTC-12)* August 31st, 2023 Paper submission October 11th, 2023 Notification October 31st, 2023 Camera-ready Conference Submission Link https://easychair.org/my/conference?conf=vmcai2024 *Submissions* Submissions are required to follow Springer’s LNCS format. The page limit depends on the paper’s category (see below). In each category, additional material beyond the page limit may be placed in a clearly marked 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: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . Submission link: https://easychair.org/my/conference?conf=vmcai2024 All accepted papers will be published in Springer’s Lecture Notes in Computer Science series. Submissions will undergo a single-blind review process. There will be three categories of papers: regular papers, tool papers, and case studies. Papers in each category have a different page limit and will be evaluated differently. Regular papers clearly identify and justify an advance to the field of verification, abstract interpretation, or model checking. Where applicable, they are supported by experimental validation. Regular papers are restricted to 20 pages in LNCS format, not counting references. Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations and emphasize the design and implementation concerns, including software architecture and core data structures. A regular tool paper should give a clear account of the tool’s functionality, discuss the tool’s practical capabilities with reference to the type and size of problems it can handle, describe experience with realistic case studies, and, where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Authors are strongly encouraged to make their tools publicly available and submit an artifact. Tool papers are restricted to 12 pages in LNCS format, not counting references. Case studies are expected to describe the use of verification, model checking, and abstract interpretation techniques in new application domains or industrial settings. Papers in this category do not necessarily need to present original research results but are expected to contain novel applications of formal methods and techniques as well as an evaluation of these techniques in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting and reflect on any lessons learned from this technology transfer experience. Case study papers are restricted to 20 pages in LNCS format, not counting references. (Shorter case study papers are also welcome.) *Artifacts* VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable. Artifacts of interest include (but are not limited to): * Software, Tools, or Frameworks * Data sets * Test suites * Machine checkable proofs * Any combination of them * Any other artifact described in the paper Artifact submission is optional. However, we highly encourage all authors to also submit an artifact. A successfully evaluated artifact can increase your chance of being accepted since the evaluation result of your artifact is taken into account during the paper review. The artifact will be evaluated in parallel with the submission by the artifact evaluation committee (AEC). The AEC will read the paper and evaluate the artifact on the following criteria: - consistency with and replicability of results in the paper, - completeness, - documentation, and - ease of use. More information will be available on the conference webpage: https://popl24.sigplan.org/home/VMCAI-2024 *Organizing Committee* Rayna Dimitrova CISPA Helmholtz Center for Information Security Ori Lahav Tel Aviv University Sebastian Wolff New York University -------------- next part -------------- An HTML attachment was scrubbed... URL: From andreas.wortmann at isw.uni-stuttgart.de Mon Aug 28 11:22:46 2023 From: andreas.wortmann at isw.uni-stuttgart.de (Wortmann, Andreas) Date: Mon, 28 Aug 2023 09:22:46 +0000 Subject: [fg-arc] Nach der SE'23 ist vor der SE'24 Message-ID: <3308F907-75E3-41FE-BF65-2312670491A9@isw.uni-stuttgart.de> Liebe Kolleginnen und Kollegen, unsere Hauskonferenz findet Ende Februar in Linz statt und wir freuen uns wieder über viele hochklassige Beiträge im üblichen Modell. ================================================================= Software Engineering (SE) 2024 26.02. - 01.03.2024 Johannes Kepler Universität Linz | Altenberger Straße 69, 4040 Linz, Österreich https://se2024.se.jku.at |se2024 at easychair.org ================================================================= Einreichungsfrist: 27. Oktober 2023 Benachrichtigungen: 24. November 2023 Finale Version: 08. Dezember 2023 Hauptkonferenz: 26. Februar bis 01. März 2024 EasyChair: https://easychair.org/conferences/?conf=se2024 LNI Vorlage: https://github.com/gi-ev/LNI-proceedings Weiteres unter https://se2024.se.jku.at. Wir sehen uns in Linz. Viele Grüße Andreas  -- Jun.-Prof. Dr. rer. nat. habil. Andreas Wortmann Institute for Control Engineering of Machine Tools and Manufacturing Units (ISW) University of Stuttgart Seidenstr. 36 / Room 5.017 70174 Stuttgart GERMANY Tel: +49 711 685-84624 E-Mail: wortmann at isw.uni-stuttgart.de Web: http://www.isw.uni-stuttgart.de From orilahav at gmail.com Mon Aug 28 17:59:37 2023 From: orilahav at gmail.com (Ori Lahav) Date: Mon, 28 Aug 2023 18:59:37 +0300 Subject: [fg-arc] VMCAI 2024: Extended Deadline September 7th Message-ID: [We apologize for possible cross-posting] ******************************************************************************* CALL FOR PAPERS 25th International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2024 January 15-16, 2024 https://popl24.sigplan.org/home/VMCAI-2024 ******************************************************************************* * Call for Papers * VMCAI 2024 is the 25th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held on January 15-16, 2024, in London, UK, co-located with POPL 2024. VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. * Scope * The program of VMCAI 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: - Program Verification - Model Checking - Abstract Interpretation - Abstract Domains - Program Synthesis - Static Analysis - Type Systems - Deductive Methods - Program Logics - First-Order Theories - Decision Procedures - Interpolation - Horn Clause Solving - Program Certification - Separation Logic - Probabilistic Programming and Analysis - Error Diagnosis - Detection of Bugs and Security Vulnerabilities - Program Transformations - Hybrid and Cyber-physical Systems - Concurrent and distributed Systems - Analysis of numerical properties - Analysis of smart contracts - Analysis of neural networks - Case Studies on all of the above topics Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. * Important Dates AoE (UTC-12) * September 7th, 2023 (extended) Paper submission October 11th, 2023 Notification October 31st, 2023 Camera-ready Conference Submission Link https://easychair.org/my/conference?conf=vmcai2024 * Submissions * Submissions are required to follow Springer’s LNCS format. The page limit depends on the paper’s category (see below). In each category, additional material beyond the page limit may be placed in a clearly marked 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: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. All accepted papers will be published in Springer’s Lecture Notes in Computer Science series. Submissions will undergo a single-blind review process. There will be three categories of papers: regular papers, tool papers, and case studies. Papers in each category have a different page limit and will be evaluated differently. Regular papers clearly identify and justify an advance to the field of verification, abstract interpretation, or model checking. Where applicable, they are supported by experimental validation. Regular papers are restricted to 20 pages in LNCS format, not counting references. Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations and emphasize the design and implementation concerns, including software architecture and core data structures. A regular tool paper should give a clear account of the tool’s functionality, discuss the tool’s practical capabilities with reference to the type and size of problems it can handle, describe experience with realistic case studies, and, where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Authors are strongly encouraged to make their tools publicly available and submit an artifact. Tool papers are restricted to 12 pages in LNCS format, not counting references. Case studies are expected to describe the use of verification, model checking, and abstract interpretation techniques in new application domains or industrial settings. Papers in this category do not necessarily need to present original research results but are expected to contain novel applications of formal methods and techniques as well as an evaluation of these techniques in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting and reflect on any lessons learned from this technology transfer experience. Case study papers are restricted to 20 pages in LNCS format, not counting references. (Shorter case study papers are also welcome.) * Artifacts * VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable. Artifacts of interest include (but are not limited to): - Software, Tools, or Frameworks - Data sets - Test suites - Machine checkable proofs - Any combination of them - Any other artifact described in the paper Artifact submission is optional. However, we highly encourage all authors to also submit an artifact. A successfully evaluated artifact can increase your chance of being accepted since the evaluation result of your artifact is taken into account during the paper review. The artifact will be evaluated in parallel with the submission by the artifact evaluation committee (AEC). The AEC will read the paper and evaluate the artifact on the following criteria: - consistency with and replicability of results in the paper, - completeness, - documentation, and - ease of use. More information will be available on the conference webpage: https://popl24.sigplan.org/home/VMCAI-2024 * Organizing Committee * Rayna Dimitrova, CISPA Helmholtz Center for Information Security Ori Lahav, Tel Aviv University Sebastian Wolff, New York University -------------- next part -------------- An HTML attachment was scrubbed... URL: