September 2024 - Haskell

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 04 Nov '24

04 Nov '24

Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 31st May 2024. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2024 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the student and the advisor/supervisor although we encourage them to coordinate. Habilitation dissertations are also eligible for inclusion. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 31st May 2024. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 1

Call for Papers: FORMALISE 2025
by Gwen Salaün 30 Sep '24

30 Sep '24

Call for Papers: FORMALISE 2025 13th International Conference on Formal Methods in Software Engineering 27 and 28 April, 2025 co-located with ICSE 2025 (April 27-May 3, 2025), Ottawa, Canada https://conf.researchr.org/home/Formalise-2025 Overview Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as safety-critical software. In recent times, the outlook has considerably improved: on the one hand, formal methods research has delivered more flexible techniques and tools that can support various aspects of the software development process: from user requirements elicitation, to design, implementation, verification and validation, as well as the creation of documentation. On the other hand, software engineering has developed a growing interest in rigorous techniques applied at scale. The FormaliSE conference series promotes work at the intersection of the formal methods and software engineering communities, providing a venue to exchange ideas, experiences, techniques, and results. We believe more collaboration between these two communities can be mutually beneficial by fostering the creation of formal methods that are practically useful and by helping develop higher-quality software. Originally a workshop event, since 2018 FormaliSE has been organized as a conference co-located with ICSE. The 13th edition of FormaliSE will also take place as a co-located conference of ICSE 2025. Areas of interest include but are not limited to: * requirements formalization and formal specification; * approaches, methods and tools for verification and validation; * formal approaches to safety and security related issues; * analysis of performance and other non-functional properties based on formal approaches; * scalability of formal method applications * integration of formal methods within the software development lifecycle (e.g., change management, continuous integration, regression testing, and deployment) * model-based engineering approaches; * correctness-by-construction approaches for software and systems engineering; * application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems; * formal methods for AI-based systems (FM4AI), and AI applied in formal method approaches (AI4FM); * formal methods in a certification context * case studies developed/analyzed with formal approaches * experience reports on the application of formal methods to real-world problems; * guidelines to use formal methods in practice; * usability of formal methods. Important dates : * Abstracts due: 11 November 2024 * Submissions: 18 November 2024 * Notifications: 13 January 2025 * Camera ready copies: 5 February 2025 * FormaliSE conference: 27-28 April 2025 Paper submission guidelines We accept papers in three categories: * Full research papers describing original research work and results. We encourage authors to include validation of their contributions by means of a case study or experiments. We also welcome research papers focusing on tools and tool development. * Case study papers discussing a significant application that suggests general lessons learned and motivates further research, or empirically validates theoretical results (such as a technique's scalability). * Research ideas papers describing new ideas in preliminary form, in a way that can stimulate interesting discussions at the conference, and suggest future work. All papers submitted to the FormaliSE 2025 conference must be written in English, must be unpublished original work, and must not be under review or submitted elsewhere at the time of submission. Submissions must comply with the FormaliSE's lightweight double-anonymous review process (see below). Full research papers and case study papers can take up to 10 pages including all text, figures, tables and appendices, but excluding references. Research ideas papers can take up to 4 pages, plus up to 1 additional page solely for references. To avoid that authors waste time fitting their papers into the stated limit at the expense of presentation clarity, paper lengths slightly exceeding the stated limit will still be considered, provided that the reviewers find that the presentation is of high quality. All submissions must be in PDF format and must conform to the IEEE conference proceedings template, specified in the IEEE Conference Proceedings Formatting Guidelines (i.e., title in 24pt font and full text in 10pt type): https://www.ieee.org/conferences/publishing/templates.html In LaTeX, use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf options. To submit a paper to FormaliSE 2025 use this HotCRP link: https://formalise25.hotcrp.com/ Lightweight Double-Blind Review Process for Papers As in recent editions, FormaliSE 2025 will use a lightweight double-anonymous process. Authors must omit their names and institutions from the title page, cite their own work in the third person, and omit acknowledgments that may reveal their identity or affiliation. The purpose is reducing chances of reviewer bias influenced by the authors’ identities. The double-anonymous process is, however, lightweight, which means that it should not pose a heavy burden for authors, nor should make a paper's presentation weaker or more difficult to review. Also, advertising the paper as part of your usual research activities (for example, on your personal web-page, in a pre-print archive, by email, in talks or discussions with colleagues) is permitted without penalties. Paper selection Each paper will be reviewed by at least three program committee members that will judge its overall quality in terms of its soundness, significance, novelty, verifiability, and presentation clarity. FormaliSE 2025 will adopt a lightweight response process: if all the reviewers of a given paper agree that a clarification from the authors regarding a specific question could move the paper from "borderline" to "accept", the chairs will relay the reviewers' questions to the authors by email, and then share their reply with the reviewers in HotCRP. The goal of lightweight responses is reducing the chance of random decisions on borderline papers. Hence, they will only be used for a minority of submissions; most papers will not require such an author response. Nevertheless, we would ask the corresponding authors of all submissions to make sure that they are available to answer questions by email upon request. Artifact Evaluation Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, FormaliSE 2025 continues its Artifact Evaluation (AE) procedure. An artifact is any additional material (software, data sets, machine-checkable proofs, etc.) that substantiates the claims made in the paper and ideally makes them fully reproducible. Submission of an artifact is optional but encouraged for all papers where it can support the results presented in the paper. Artifact review is single-anonymous (the paper corresponding to an artifact must still follow the double-anonymous submissions requirements) and will be conducted concurrently with the paper reviewing process. Artifacts will be handled by a separate Artifact Evaluation Committee, and the Artifact Evaluation process will be set up such that the anonymization of the corresponding papers will not be compromised. Accepted papers with a successfully evaluated artefact will be awarded the [EAPLS badges ( [ https://eapls.org/pages/artifact_badges/ | https://eapls.org/pages/artifact_badges/ ] ) that apply (among "Functional", "Reusable", and "Available"). Awarded badges are to be added to the camera-ready version of the paper. Artifacts will be assessed with respect to their consistency with the results presented in the paper, their completeness, their documentation, and their ease of use. The Artifact Evaluation will include an initial check for technical issues; authors of artifacts may be contacted by email within the first two weeks after artifact submission to help resolve any technical problems that prevent the evaluation of an artifact if necessary. The results of an artifact evaluation will not be available to the reviewers of the corresponding paper; hence, they will not affect the paper's acceptance decision. However, reviewers will know whether a paper has submitted *any* artifacts; this piece of information may be taken into account to decide whether the paper should be accepted. Thus, if there are justifiable reasons why a paper's artifacts cannot be submitted, they should be pointed out in the paper so that the reviewers can appreciate them and adjust their expectations accordingly. Detailed guidelines for preparation and submission of artifacts will be described in a dedicated page in FormaliSE 2025's website. Publication All accepted papers are published as part of the ICSE 2025 Proceedings in the ACM and IEEE Digital Libraries. At least one author of each accepted paper is required to register for the conference and present the paper at the conference — physically or, if the circumstances do not allow so, virtually. Failure to register an author will result in a paper being removed from the proceedings. General Chairs * Stefania Gnesi, Istituto di Scienza e Tecnologie dell’Informazione, Italy * Nico Plat, Thanos, The Netherlands Program Chairs * Anastasia Mavridou, KBR / NASA Ames Research Center, USA * Gwen Salaün, University Grenoble Alpes, France Artifact Evaluation Chairs * Ákos Hajdu, Meta, UK * Lina Marsso, University of Toronto, Canada Social Media Chair * Quentin Nivon, University Grenoble Alpes, France Program committee * Bernhard Aichernig, TU Graz, Austria * Toshiaki Aoki, Japan Advanced Institute of Science and Technology, Japan * Kyungmin Bae, Pohang University of Science and Technology, Korea * Domenico Bianculli, University of Luxembourg, Luxembourg * Simon Bliudze, INRIA Lille - Nord Europe, France * Giovanna Broccia, ISTI - CNR, Italy * Radu Calinescu, University of York, UK * Pablo Castro, National University of Rio Cuarto, Argentina * Zhenbang Chen, NUDT, China * Nancy Day, University of Waterloo, Canada * Francisco Durán, University of Málaga, Spain * Marie Farrell, University of Manchester, UK * Carlo A. Furia, USI Lugano, Switzerland * Fatemeh Ghassemi, University of Tehran, Iran * Divya Gopinath, KBR/ NASA Ames Research Center, USA * Yann-Gaël Guéhéneuc, Concordia University, Canada * Paula Herber, University of Münster, Germany * Marieke Huisman, University of Twente, The Netherlands * Fuyuki Ishikawa, National Institute of Informatics, Japan * Xiaoqing Jin, Apple Inc., USA * Violet Ka I Pun, Western Norway University of Applied Sciences, Norway * Oleksandr Kolchyn, Glushkov Institute of Cybernetics, Ukraine * Antónia Lopes, University of Lisbon, Portugal * Larissa Meinicke, University of Queensland, Australia * Camilo Rocha, Pontificia Universidad Javeriana, Colombia * Cristina Seceleanu, Mälardalen University, Sweden * Arpit Sharma, EECS Department, IISER Bhopal, India * Allison Sullivan, University of Texas, Arlington, USA * Heike Wehrheim, University of Oldenburg, Germany

1 0

PADL 2025: Second Call for Papers
by Germán Vidal 27 Sep '24

27 Sep '24

============================================================================== Call for Papers 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025) https://popl25.sigplan.org/home/PADL-2025 Denver, Colorado, United States, January 20-21, 2025 Co-located with ACM POPL 2025 ============================================================================== (Apologies if you receive multiple copies of this CFP) * News: - The deadline for paper submission has been extended to Oct 11 (abstract) / 18 (paper). - Some student grants available. Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2025 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. PADL 2025 will take place on January 20th and 21st, 2025, as a physical (in-person) event. For each accepted paper at least one author is required to register for the conference and present the paper in person. PADL 2025 encourages students to participate in the symposium by providing some student grants to partially cover the registration and travel costs. The selection process will give preference to students who present their paper in the symposium. Students from underrepresented groups are strongly encouraged to apply. Important Dates --------------- Abstract submission: October 4, 2024 (AoE) Paper submission: October 11, 2024 (AoE) Notification: November 11, 2024 Symposium: January 20-21, 2025 Submissions ----------- PADL 2025 welcomes regular papers (max. 15 pages, excluding references) and short papers (max. 8 pages, excluding references) that describe original and previously unpublished research results on - complex and/or real-world applications in industry or in other areas of research, that rely on an innovative use of declarative languages, - tools and/or systems developed for such applications, and/or to improve practical aspects of declarative languages, - technical results related to the practical aspects of declarative languages. Application and systems descriptions, engineering solutions, and real-world experiences (both positive and negative) are in particular solicited. Regular and short papers will be published in the formal proceedings. PADL 2025 also welcomes extended abstracts (max. 3 pages) on the topics above, that describe new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… The review process of PADL 2025 is double-anonymous. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version -for example, details of proofs- may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2025 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published Workshop proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Previous PADL proceedings can be found on SpringerLink. Papers should be submitted electronically via EquinOCS (registration is required if you do not have an account): https://equinocs.springernature.com/service/padl2025 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP), and for papers related to functional programming, in Journal of Functional Programming (JFP). The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2025 PC Co-Chairs ---------------------- - Esra Erdem, Sabanci University, Turkey - German Vidal, Universitat Politecnica de Valencia, Spain Programme Committee ------------------- Ozgur Akgun, University of St Andrews (UK) Nada Amin, Harvard University (USA) Marcello Balduccini, Saint Joseph's University (USA) Mutsunori Banbara, Nagoya University (Japan) Clara Benac Earle, Universidad Politécnica de Madrid (Spain) Malgorzata Biernacka, University of Wroclaw (Poland) Manuel Carro, IMDEA Software Institute and Universidad Politécnica de Madrid (Spain) Laura M. Castro, University of A Coruña (Spain) Martin Gebser, University of Klagenfurt (Austria) Gopal Gupta, University of Texas at Dallas (USA) Michael Hanus, CAU Kiel (Germany) Daniela Inclezan, Miami University (USA) Yusuf Izmirlioglu, University of Roehampton (UK) Tomi Janhunen, Tampere University (Finland) Ekaterina Komendantskaya, Heriot-Watt University and Southampton University (UK) Ivan Lanese, University of Bologna/INRIA (Italy) Michael Leuschel, Heinrich-Heine-Universität Düsseldorf (Germany) Naoki Nishida, Nagoya University (Japan) Alberto Pardo, Universidad de la Republica (Uruguay) Enrico Pontelli, New Mexico State University (USA) Orkunt Sabuncu, Potassco Solutions (Turkey) Zeynep Saribatur, TU Wien (Austria) Tom Schrijvers, KU Leuven (Belgium) Paul Tarau, University of North Texas (USA) Laura Titolo, NIA/NASA LaRC (USA) Melinda Tóth, Eötvös Loránd University (Hungary) Joost Vennekens, KU Leuven (Belgium) Sam Westrick, New York University (USA) Jessica Zangari, University of Calabria (Italy) Neng-Fa Zhou, City University of New York (USA) Contact Addresses ----------------- esraerdem _AT_ sabanciuniv.edu gvidal _AT_ dsic.upv.es

1 0

DEADLINE EXTENDED - Call for Papers: HC@AIxIA 2024 (co-located with AIxIA 2024)
by Francesco Calimeri 17 Sep '24

17 Sep '24

* apologize for multiple postings * ****************************************************************** *** DEADLINE EXTENDED - please check new important dates below *** ****************************************************************** ================================================================== Third AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2024 November 25 - 28, 2024, Bolzano, Italy https://sites.google.com/unical.it/hcaixia2024 CO-LOCATED with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024) ( https://aixia2024.events.unibz.it/) JOINT event with the 5th Data4SmartHealth workshop (D4SH 2024) ( https://www.data4smarthealth.it/) ================================================================== = IMPORTANT DATES = Abstract submission: September 30, 2024 (*** NEW ***) Paper submission: September 30, 2024 (*** NEW ***) Notification to authors: October 10-13, 2024 (*** NEW ***) Camera-ready copy due: October 27, 2024 (*** NEW ***) Main Workshop starts: November 25, 2024 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: To be announced = Background = In recent years, we have witnessed the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain become a major research topic, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision-making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. Consequently, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. To move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to healthcare and clinical problems. = The Workshop = Following the success of the first two editions, the HC@AIxIA workshop aims at gathering researchers from academia, industry and medical centres to present and discuss the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, ***but are not limited to***: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection with electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; four types of submissions are invited: - full papers (min 10 and up to 15 pages plus references); - short papers (min 5 and up to 9 pages, including references): particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects; - systems or prototype software descriptions (min 5 and up to 9 pages, including references): must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Systems of both research and industrial character are welcome; - papers already submitted/published to other conferences or journals (no page restrictions), i.e., non-original works suitable for dissemination and opening discussion. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2024 No page limit is set for non-original contributions. Manuscripts should be formatted using the CEUR-ART style available at the link: https://ceur-ws.org/HOWTOSUBMIT.html. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to: - register to AIxIA 2024; - attend HC@AIxIA 2024 workshop and present the paper (each attendee should not present more than 2 works at the workshop). The event is organized by AIxIA. = Proceedings = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop website, including a link to the original publication if already published. = Journal Special Issue = Workshop post-proceedings will be part of a special issue of an international journal (TBD), provided that a sufficient amount of quality papers is collected. In such cases, authors of accepted papers (including non-originals, if not published in a journal yet) will be invited to submit extended and revised versions of their papers. A review formal process will be run to meet the expected quality of a journal. = Working Group Meeting All authors of accepted papers are invited to participate in the annual meeting of the AI and Healthcare Working Group of AIxIA, which will be held right after the workshop. = Venue = The workshop will be held in Bolzano, Italy; the event is organized by AIxIA 2024 (aixia2024.events.unibz.it/). = Committees = See https://sites.google.com/unical.it/hcaixia2024/. = Contacts = All questions about submissions should be emailed to hc-aixia(a)googlegroups.com.

1 0

PriSC @ POPL'25: Call for Presentations
by PriSC PC Chairs 16 Sep '24

16 Sep '24

================================================ Call for Presentations: PriSC @ POPL 2025 ================================================ Secure compilation is an emerging field that puts together advances in security, programming languages, compilers, verification, systems, and hardware architectures in order to devise more secure compilation chains that eliminate many of today's security vulnerabilities and that allow sound reasoning about security properties in the source language. For a concrete example, all modern languages provide a notion of structured control flow and an invoked procedure is expected to return to the right place. However, today's compilation chains (compilers, linkers, loaders, runtime systems, hardware) cannot efficiently enforce this abstraction against linked low-level code, which can call and return to arbitrary instructions or smash the stack, blatantly violating the high-level abstraction. Other problems arise because today's languages fail to specify security policies, such as data confidentiality, and the compilation chains thus fail to enforce them, especially against powerful side-channel attacks. The emerging secure compilation community aims to address such problems by identifying precise security goals and attacker models, designing more secure languages, devising efficient enforcement and mitigation mechanisms, and developing effective verification techniques for secure compilation chains. 9th Workshop on Principles of Secure Compilation (PriSC 2025) ============================================================= The Workshop on Principles of Secure Compilation (PriSC) is an informal 1-day workshop without any proceedings. The goal of this workshop is to identify interesting research directions and open challenges and to bring together researchers interested in working on building secure compilation chains, on developing proof techniques and verification tools, and on designing software or hardware enforcement mechanisms for secure compilation. The 9th edition of PriSC will be held on January 20 in Denver, Colorado, United States together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025. Important Dates =============== * Thu 7 Nov 2024: Submission Deadline * Thu 5 Dec 2024: Acceptance Notification * Mon 20 Jan 2025: Workshop Presentation Proposals and Attending the Workshop ================================================= Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below) covering past, ongoing, or future work. Any topic that could be of interest to secure compilation is in scope. Secure compilation should be interpreted very broadly to include any work in security, programming languages, architecture, systems or their combination that can be leveraged to preserve security properties of programs when they are compiled or to eliminate low-level vulnerabilities. Presentations that provide a useful outside view or challenge the community are also welcome. This includes presentations on new attack vectors such as microarchitectural side-channels, whose defenses could benefit from compiler techniques. Specific topics of interest include but are not limited to: * Attacker models for secure compiler chains. * Secure compiler properties: fully abstract compilation and similar properties, memory safety, control-flow integrity, preservation of safety, information flow and other (hyper-)properties against adversarial contexts, secure multi-language interoperability. * Secure interaction between different programming languages: foreign function interfaces, gradual types, securely combining different memory management strategies. * Enforcement mechanisms and low-level security primitives: static checking, program verification, typed assembly languages, reference monitoring, program rewriting, software-based isolation/hiding techniques (SFI, crypto-based, randomization-based, OS/hypervisor-based), security-oriented architectural features such as Intel's SGX, MPX and MPK, capability machines, side-channel defenses, object capabilities. * Experimental evaluation and applications of secure compilers. * Proof methods relevant to compilation: (bi)simulation, logical relations, game semantics, trace semantics, multi-language semantics, embedded interpreters. * Formal verification of secure compilation chains (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing. Guidelines for Submitting Extended Abstracts ============================================ Extended abstracts should be submitted in PDF format and not exceed 2 pages (references not included). They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new acmart LaTeX style in sigplan mode. Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Contact and More Information ============================ You can find more information on the workshop website: https://popl25.sigplan.org/home/prisc-2025 Submission website: https://prisc25.hotcrp.com For questions please contact the workshop chairs, Marco Patrignani (marco.patrignani(a)unitn.it) and Marco Vassena (m.vassena(a)uu.nl)

1 0

[TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
by Peter Achten 04 Sep '24

04 Sep '24

# TFP 2025 - Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline (pre-symposium, full papers): Wed 13th Nov 2024 (AOE) Notification (pre-symposium, full papers): Wed 11th Dec 2024 Submission deadline (pre-symposium draft papers): Wed 11th Dec 2024 (AOE) Notification (pre-symposium draft papers): Mon 16th Dec 2024 Submission deadline (post-symposium review): Wed 19th Feb 2025 (AOE) Notification (post-symposium submissions): Wed 26th Mar 2025 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. This year, TFP will take place in-person at the University of Oxford, UK. It is co-located with the Trends in Functional Programming in Education (TFPIE) workshop, which will take on the day before the main symposium. Please be aware that TFP has several submission deadlines. The first, 13th November, is for authors who wish to have their full paper reviewed prior to the symposium. Papers that are accepted in this way must also be presented at the symposium. The second, 11th December, is for authors who wish to present their work or work-in-progress at the symposium first without submitting to the full review process for publication. These authors can then take into account feedback received at the symposium and submit a full paper for review by the third deadline, 19th February. ## Scope The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five paper categories. High-quality submissions are solicited in any of these categories: * Research Papers: Leading-edge, previously unpublished research work * Position Papers: On what new trends should or should not be * Project Papers: Descriptions of recently started new projects * Evaluation Papers: What lessons can be drawn from a finished project * Overview Papers: Summarizing work with respect to a trendy subject Papers must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: * Functional programming and multicore/manycore computing * Functional programming in the cloud * High performance functional computing * Extra-functional (behavioural) properties of functional programs * Dependently typed functional programming * Validation and verification of functional programs * Debugging and profiling for functional languages * Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. * Interoperability with imperative programming languages * Novel memory management techniques * Program analysis and transformation techniques * Empirical performance studies * Abstract/virtual machines and compilers for functional languages * (Embedded) domain specific languages * New implementation strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your paper is within the scope of TFP, please contact the programme chair, Jeremy Gibbons. ## Best Paper Awards TFP awards two prizes for the best papers each year. First, to reward excellent contributions, TFP awards a prize for the best overall paper accepted for the post-conference formal proceedings. Second, each year TFP also awards a prize for the best student paper. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are the paper's first authors, and a student would present the paper. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, then that paper will receive both prizes. ## Instructions to Authors Submission is via EquinOCS (https://equinocs.springernature.com/service/tfp2025) Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. Further, pre-symposium submissions may either be full (earlier deadline) or draft papers (later deadline). ## Pre-symposium formal review Papers to be formally reviewed before the symposium should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected for publication but accepted for presentation may be revised and resubmitted for the post-symposium formal review. ## Post-symposium formal review Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these papers for formal publication. ## Paper categories Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (up to 20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. ## Format Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS Guidelines web site (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) ## Organizing Committee Jeremy Gibbons University of Oxford, UK Programme Chair Jason Hemann Seton Hall University, US Conference Chair Peter Achten Radboud University Nijmegen, NL Publicity Chair Marco T. Morazán Seton Hall University, US Steering Committee Chair ## Programme Committee Peter Achten Radboud University Nijmegen, NL Edwin Brady University of St Andrews, UK Laura Castro University of A Coruña, ES Youyou Cong Tokyo Institute of Technology, JP Paul Downen University of Massachusetts Lowell, US João Paulo Fernandes University of Coimbra, PT Ben Greenman University of Utah, US Jurriaan Hage Heriot-Watt University, UK Jason Hemann Seton Hall University, US Zhenjiang Hu Peking University, CN Hans-Wolfgang Loidl Heriot-Watt University, UK Kazutaka Matsuda Tohoku University, JP Zoe Paraskevopoulou Ethereum Foundation, US Alejandro Serrano 47 Degrees, ES Nick Smallbone Chalmers University, SE Alley Stoughton Boston University, US Wouter Swierstra Utrecht University, NL Niki Vazou IMDEA Software Institute, ES Marcos Viera Universidad de la República, UY Viktória Zsók Eötvös Loránd University of Sciences, HU

1 0

HC@AIxIA 2024 CALL FOR PAPERS + AI&Health Seminar Series (2024) - SEPTEMBER 16
by Francesco Calimeri 02 Sep '24

02 Sep '24

[apologize for multiple postings] Please find below the Call for Papers to HC@AIxIA 2024 + some pieces of information about the next seminar in the AI&Health Seminar Series (2024). ================================================================== Third AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2024 November 25 - 28, 2024, Bolzano, Italy https://sites.google.com/unical.it/hcaixia2024 CO-LOCATED with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024) ( https://aixia2024.events.unibz.it/) JOINT event with the 5th Data4SmartHealth workshop (D4SH 2024) ( https://www.data4smarthealth.it/) ================================================================== = IMPORTANT DATES (tentative) = Abstract submission: September 17, 2024 Paper submission: September 24, 2024 Notification to authors: October 6-13, 2024 Camera-ready copy due: October 20, 2024 Main Workshop starts: November 25, 2024 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop = Background = In recent years, we have witnessed the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain become a major research topic, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision-making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. Consequently, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. To move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to healthcare and clinical problems. = The Workshop = Following the success of the first two editions, the HC@AIxIA workshop aims at gathering researchers from academia, industry and medical centres to present and discuss the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, ***but are not limited to***: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection with electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; four types of submissions are invited: - full papers (min 10 and up to 15 pages plus references); - short papers (min 5 and up to 9 pages, including references): particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects; - systems or prototype software descriptions (min 5 and up to 9 pages, including references): must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Systems of both research and industrial character are welcome; - papers already submitted/published to other conferences or journals (no page restrictions), i.e., non-original works suitable for dissemination and opening discussion. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2024 No page limit is set for non-original contributions. Manuscripts should be formatted using the CEUR-ART style available at the link: https://ceur-ws.org/HOWTOSUBMIT.html. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to: - register to AIxIA 2024; - attend HC@AIxIA 2024 workshop and present the paper (each attendee should not present more than 2 works at the workshop). The event is organized by AIxIA. = Proceedings = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop website, including a link to the original publication if already published. = Journal Special Issue = Workshop post-proceedings will be part of a special issue of an international journal (TBD), provided that a sufficient amount of quality papers is collected. In such cases, authors of accepted papers (including non-originals, if not published in a journal yet) will be invited to submit extended and revised versions of their papers. A review formal process will be run to meet the expected quality of a journal. = Working Group Meeting All authors of accepted papers are invited to participate in the annual meeting of the AI and Healthcare Working Group of AIxIA, which will be held right after the workshop. = Venue = The workshop will be held in Bolzano, Italy; the event is organized by AIxIA 2024 (aixia2024.events.unibz.it/). = Committees = See https://sites.google.com/unical.it/hcaixia2024/. = Contacts = All questions about submissions should be emailed to hc-aixia(a)googlegroups.com. ================================= ================================= ================================= Dear Madam/Sir, This is to officially announce the SEVENTH seminar of the "AI & Health" series as hosted by HC@AIxIA, i.e., the "Artificial Intelligence for Healthcare" working group of the Italian Association for Artificial Intelligence. *Save the date: 16 SEPTEMBER 2024.* We hope you will attend and participate in the discussion on the relevant topics that will be presented and by our speakers. *Feel free to share this with those potentially interested.* Please find some details below, and a poster attached. All directions for participating are available at https://aixia.it/en/gruppi/hc/. *== Are you interested in Joining the group? ==* Please head to https://aixia.it/en/gruppi/hc/ fo find out how. Do not hesitate to contact us at hc-aixia(a)googlegroups.com for any information or clarification. Thank you for your interest in the AI & Health seminar series and the HC@AIxIA working group, and see you soon! Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella (coordinators of the HC@AIxIA working group) *== September 2024 seminar ==* *Link to participate: * https://unimib.webex.com/unimib/j.php?MTID=m80c19d32afb95a9e29ef9d395a516b9c *2024 September 16 - 4:30PM CET* *Giuseppe Jurman*, Head of DSH (Data Science for Health) Unit, Fondazione Bruno Kessler – FBK (Trento, Italy) *Title*: Generative AI in sequencing: enhancing models by synthetic omics data. *Abstract*: Synthetic data have recently gained momentum in several scientific areas as an effective solution to deal with several aspects of data poverty and missingness. In translational medicine, biomedical images and EHR data have been the first to benefit from synthetic augmentation techniques through generative AI algorithms such as GANs or, more recently, Diffusion-like models. Extension of these methods to omics data poses further challenges due to the nature of the signal, such as the need of taking into account sample variability and multilevel omics coherence. In this talk, we will present an overview of the state-of-the-art of the synthetic data in the omics universe, including the generative methodologies, the future perspectives, and the related caveats, concluding with some applicative use cases. *(joint work with Marco Chierici and Silvia Menchetti)* *Short Bio*: Giuseppe Jurman is a mathematician, with a PhD in Algebra, currently Head of the Data Science for Health (DSH) Unit at FBK. His main interest is the development and the application of artificial intelligence, machine learning and complex network models for diagnosis, prognosis and prediction in medicine, life science and computational biology, starting from EHRs, omics data and biomedical images, including digital pathology, with a particular emphasis on reproducibility and explainability. He is also interested in scientific programming with Python and other computing languages, and he teaches Data Visualization at the M.Sc. in Data Science at the University of Trento. [image: HC@AIxIA - Seminars AI & Health 2024 - Locandina 08.png]

1 0

PADL 2025: First Call for Papers
by Germán Vidal 02 Sep '24

02 Sep '24

============================================================================== Call for Papers 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025) https://popl25.sigplan.org/home/PADL-2025 Denver, Colorado, United States, January 20-21, 2025 Co-located with ACM POPL 2025 ============================================================================== Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: Innovative applications of declarative languages Declarative domain-specific languages and applications Practical applications of theoretical results New language developments and their impact on applications Declarative languages and software engineering Evaluation of implementation techniques on practical applications Practical experiences and industrial applications Novel uses of declarative languages in the classroom Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2025 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. PADL 2025 will take place on January 20th and 21st, 2025, as a physical (in-person) event. For each accepted paper at least one author is required to register for the conference and present the paper in person. Important Dates --------------- Abstract submission: October 4, 2024 (AoE) Paper submission: October 11, 2024 (AoE) Notification: November 11, 2024 Symposium: January 20-21, 2025 Submissions ----------- PADL 2025 welcomes regular papers (max. 15 pages) and short papers (max. 8 pages) that describe original and previously unpublished research results on - complex and/or real-world applications in industry or in other areas of research, that rely on an innovative use of declarative languages, - tools and/or systems developed for such applications, and/or to improve practical aspects of declarative languages, - technical results related to the practical aspects of declarative languages. Application and systems descriptions, engineering solutions, and real-world experiences (both positive and negative) are in particular solicited. Regular and short papers will be published in the formal proceedings. PADL 2025 also welcomes extended abstracts (max. 3 pages) on the topics above, that describe new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… The review process of PADL 2025 is double-anonymous. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version -for example, details of proofs- may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2025 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published Workshop proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Previous PADL proceedings can be found on SpringerLink. Papers should be submitted electronically via EquinOCS (registration is required if you do not have an account): https://equinocs.springernature.com/service/padl2025 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP), and for papers related to functional programming, in Journal of Functional Programming (JFP). The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2025 PC Co-Chairs ---------------------- - Esra Erdem, Sabanci University, Turkey - German Vidal, Universitat Politecnica de Valencia, Spain Programme Committee ------------------- TBD Contact Addresses ----------------- esraerdem _AT_ sabanciuniv.edu gvidal _AT_ dsic.upv.es

1 0

FSEN 2025 - Final Call for Papers
by Petra van den Bos 02 Sep '24

02 Sep '24

FINAL CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- Abstract Submission: October 7, 2024 (AoE) Paper Submission: October 14, 2024 (AoE) Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025 <https://www.easychair.org/conferences/?conf=fsen2025>. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui… <http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui…>) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ <http://www.ifip.org/> under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Marjan Sirjani, Malardalen University, Sweden Robbert Jongeling, Malardalen University, Sweden Antonio Cicchetti, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025>

1 0