[Hol-info] SEFM'24 -- Deadline extended!
= DEADLINE EXTENSION == 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024 University of Aveiro, Portugal https://sefm-conference.github.io/2024/ The 21st edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 8 November 2024, with workshops taking place on 4 and 5 November 2024. *Important dates* Abstract submission: 21 June 2024 (AoE) -- Extended! Paper submission: 28 June 2024 (AoE) -- Extended! Author notification: 15 August 2024 Workshops: 4-5 November 2024 Conference: 6-8 November 2024 *Overview and Scope* The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods. -Software Development Methods .Formal modelling, specification, and design .Software evolution, maintenance, re-engineering, and reuse .Design Principles -Programming languages .Domain-specific languages .Type theory .Abstraction and refinement -Software Testing, Validation, and Verification .Model checking, theorem proving, and decision procedures .Testing and runtime verification .Statistical and probabilistic analysis .Synthesis .Performance estimation and analysis of other non-functional properties .Other light-weight and scalable formal methods .Security and Safety -Security, privacy, and trust .Safety-critical, fault-tolerant, and secure systems .Software certification .Applications and Technology Transfer -Service-oriented and cloud computing systems, Internet of Things .Component, object, multi-agent and self-adaptive systems .Real-time, hybrid, and cyber-physical systems .Intelligent systems and machine learning .Quantum systems .HCI, interactive systems, and human error analysis .Education -Case studies, best practices, and experience reports *Invited Speakers* Luís S. Barbosa, University of Minho, PT Paula Herber, Universitat Munster, DE Aleks Kissinger, University of Oxford, UK *Paper submission* We solicit two categories of papers: .Regular papers - describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages). .Tool papers - that describe an operational tool and its contributions should not exceed 8 pages. Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=sefm2024. *Artifact Evaluation* This edition of SEFM introduces an artifact evaluation (AE). An artifact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artifact is optional for regular papers and mandatory for tool papers. The artifacts will be judged by the Artifact Evaluation Committee (AEC). More details will be available soon. *Publication* All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer’s LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the journal Software and Systems Modeling (SoSyM). --- Alexandre Madeira http://sweet.ua.pt/madeira/ ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] 19th International Conference on Integrated Formal Methods - iFM 2024
== iFM 2024 - 3rd Call for Papers - 19th International Conference on Integrated Formal Methods Manchester, UK, November 13-15, 2024. https://ifm2024.cs.manchester.ac.uk/ == ***Invited speakers*** - Philippa Gardner, Imperial College London, UK - Daniel Kröning, University of Oxford, UK ***Objectives and scope*** In the last decades, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. To credit the effort of tool developers, we use EAPLS artifact badging. Areas of interest include (but are not limited to): - Formal and semi-formal modelling notations - Combining formal methods with different performance, simulation and system analysis techniques - Program verification, model checking, and static analysis - Theorem proving, decision procedures and SAT/SMT solving - Runtime analysis, monitoring and testing - Program synthesis - Modelling, analysis and synthesis of cyber-physical, hybrid, embedded, probabilistic, distributed or concurrent systems - Abstraction and refinement - Model learning and inference - Approaches to integrating formal methods into software engineering practice or industry - Approaches to integrating formal methods into standardisation or certification processes - Formal methods for artificial intelligence, including machine learning and data-based techniques - Tools and case studies supporting the integration of formal methods ***Important Dates (AoE)*** Abstract submission: 13 June 2024 - EXTENDED Paper submission: 17 June 2024 - EXTENDED Acceptance notification: 5 August 2024 Artifact Registration: 12 August 2024 Artifact Submission: 19 August 2024 Artifact Notification: 16 September 2024 Camera-ready: 18 September 2024 iFM 2024 main conference: 13-15 November 2024 ***Paper Categories*** iFM 2024 solicits high-quality papers reporting research results and/or experience reports related to the overall theme of formal methods integration. We solicit papers in the following categories: (1) Regular papers (limit 16 pages) presenting original scientific research results, tools, their foundation and evaluations, applications of formal methods, including rigorous evaluations and case studies. (2) Short papers (limit 6 pages) describing any work in the area of formal methods, including work-in-progress and preliminary results that are sufficiently interesting for the iFM community. All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion. Regular and short papers must be original, unpublished, and not submitted for publication elsewhere. Papers will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. The submissions will be reviewed and selected for publication based on the above-mentioned criteria as well as suitability to the conferenceâs technical program. The review process is single blind. ***Submission guidelines*** Submissions for all categories should be made using the iFM 2024 EasyChair site: https://easychair.org/conferences/?conf=ifm24 Submissions must be in PDF format, using the Springer LNCS style files. Springer requires that authors should consult Springerâs authorsâ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. After a paper is accepted, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The conference proceedings will be published in Springerâs Lecture Notes in Computer Science series. A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2024. All accepted papers must be presented at the conference. At least one
[Hol-info] 18th International Conference on Reachability Problems - RP'24
The 18th International Conference on Reachability Problems (RP'24) Sep 25, 2024 - Sep 27, 2024Vienna, Austria https://easychair.org/smart-program/RP24/ - The 18th International Conference on Reachability Problems (RP'24) is being organised as a physical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien. When: Sep 25, 2024 - Sep 27, 2024 Where: TU Wien, Vienna, Austria - Abstract submission deadline: June 24, 2024 - Paper Submission deadline Jun 26, 2024 - Notification: Jul 30, 2024 - Final Version: Aug 5, 2024 Keynote Speakers: - Ezio Bartocci, TU Wien - Joost-Pieter Katoen, RWTH Aachen - AntonÃn KuÄera, Masaryk University - Ruzica Piskac, Yale University Tutorial Speaker: - K. S. Thejaswini, IST Austria Original research papers (up to 12 pages) and presentation-only contributions (short abstract), with clear relevance to reachability problems, are both encouraged. Topics of interest include (but are not limited to): reachability problems in infinite-state systems rewriting systems dynamical and hybrid systems reachability problems in logic and verification reachability analysis in different computational models counter timed/ cellular/ communicating automata Petri nets computational and combinatorial aspects of algebraic structures (semigroups, groups and rings) frontiers between decidable and undecidable reachability problems predictability in iterative maps and new computational paradigms. winning strategies and reachability analysis in computational games reachability in computational models and computability theory Submissions should be prepared using the Springer LNCS guidelines and submitted via the link https://easychair.org/conferences/?conf=rp24 Accepted original papers will be published in the Springer LNCS proceedings of RP'24. Program Committee (to be completed): Parosh Aziz Abdulla (Uppsala University) Luca Aceto (Reykjavik University) Christel Baier (TU Dresden) Valerie Berthe (CNRS IRIF) Valentina Castiglioni (Eindhoven University of Technology) Michele Chiari (TU Wien) Laure Daviaud (University of East Anglia) Jim de Groot (The Australian National University) Christoph Haase (University of Oxford) Vesa Halava (University of Turku) Ichiro Hasuo (National Institute of Informatics) Jarkko Kari (University of Turku) George Kenison (Liverpool John Moores University) Sandra Kiefer (University of Oxford) Laura Kovacs (TU Wien) - chair Jérôme Leroux (CNRS) Rupak Majumdar (MPI-SWS) Kaushik Mallik (Institute of Science and Technology Austria) Tobias Meggendorfer (Lancaster University Leipzig) Anca Muscholl (LaBRI, Universite Bordeaux) Igor Potapov (University of Liverpool) Amaury Pouly (IRIF/CNRS - Université Paris Diderot) Jurriaan Rot (Radboud University) Martina Seidl (Johannes Kepler University Linz) Mahsa Shirmohammadi (CNRS) Ana Sokolova (University of Salzburg) - chair Maximilian Weininger (Institute of Science and Technology Austria) Thorsten WiÃmann (Friedrich-Alexander-Universität Erlangen-Nürnberg) James Worrell (University of Oxford) Dmitry Zaitsev (The University of Derby, UK) Florian Zuleger (Technische Universität Wien) ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FCA-Doctoral Consortium
DOCTORAL CONSORTIUM FIRST CALL FOR APPLICATIONS KR 2024 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Doctoral Consortium - First Call for Applications The 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) invites PhD students to apply for the Doctoral Consortium program. Important Dates - Applications deadline: 31 July 2024 (Wednesday). - Acceptance notification: 7 August 2024 (Wednesday). - Conference: 2 - 8 November. Several scholarships will be available. Information about scholarships will be announced at a later time at the KR24 webpage. Aims and Scope The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: - to provide a forum for students to present their current research and receive feedback from other students and senior researchers; - to promote contacts among PhD students working in similar areas; - to support students with information and advice on academic research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but we also encourage students to apply who are at an earlier or more advanced stage of the completion of their thesis. Accepted students will participate in several dedicated DC events, which will likely consist of a lightning talk session and a poster and mentoring session (the precise format of the DC will be finalized closer to the conference). Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. Application Submission Applications must be submitted through the CMT conference system: cmt3.research.microsoft.com/KR2024 (www.kr.org/KR2024/) Each application must contain the following elements combined into a single PDF document: 1. Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. The maximum number of pages is four (bibliography included) and the same style as for KR paper submissions should be used (see www.kr.org/KR2024/ (www.kr.org/KR2024/) ) 2. Curriculum Vitae. A description of your background and relevant experience (research, education, employment), max imum two pages. 3. Brief letter of recommendation. A brief letter from your thesis advisor that states that they support your participation in the DC. 4. Optionally, a suggestion of some potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. For inspiration who to name, you can refer to program committee members of previous KR conferences. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Proposals of the selected students will not be published, so doctoral students who submit to the DC are permitted to have previously published their research, and are encouraged to submit papers to KR 2024 and associated conferences and workshops. Doctoral Consortium Chairs Inquiries should be sent by email to the KR 2024 Doctoral Consortium Chairs: -Camille Bourgaux, CNRS, ENS, Paris, France (camille.bourg...@ens.fr (mailto:camille.bourg...@ens.fr) ) -Johannes P. Wallner, TU Graz, Austria (wall...@ist.tugraz.at (mailto:wall...@ist.tugraz.at) ) KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Unsubscribe (https://hs-5228907.s.hubspotstarter.net/preferences/en/unsubscribe?data=W2nXS-N30h-RQW2Wv8Kg3VBP0kW4ttBf11QmxHmW3dh_js251hRxW3LSYKl2YNP5yW3_XTtF3T304WW36nNqV2RlK_sW1NFGMx34zzjhW47tlPt38wH-zW3jkLRZ47lFpHW1Qv7Vz2CxFdvW2MShDN4tGx0xW43nMxP36y92vW2sZtSt2q_PrgW1LDfbz49BPZrW36fGCj1LB8X9W45xqsx4kmPBsW2KRhQ32YddHWW4fQRTl3jc3lNW23596H3bzLk7W3GYV4r1Z7VBMW21k1Bx2TRHHfW3CdGv647KcXlW3JYkMp2WJ05dW3C6TC24hwrFhW3SyW963bp_8QW3XR2hn2FvNmrW3_Zy3n2KqfykW2xZtLf4mlFpWW36ksf_38ykRdW255qyd2zJCBlW4tFg2-2MT-d2W3g1f161BJqQ8W2-B9V04cp_RpW23h8rz1S1VZmW4rkY1W41LLqtW3bdYfk2vJ9Q2W41C9s_3b1hMlW3H5csx4pp0XYW3bm5lN3K253BW2sCNPR2WFT_yW2qPFr12PRgm_W23b8Q-4cBdSTW30bzS93Y29WZW49yjnW3QLj70W2HKJR33DH5JsW3BTPjX329938f45P7Cv04&_hsenc=p2ANqtz-8v-WGxlSMDic6XV7m9y4MgznCDJ9CFegabbbYraA-h3x48sp3rE0NSbb44pJ2bfWExCppiwlUUQdls2SJ3rWU-xWoIbyfgAXCjVtFBKQHCYjQDtcU&_hsmi=310575042 ) Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-RQW2Wv8Kg3VBP0kW4ttBf11QmxHmW3dh_j