From announce at ucy.ac.cy Sat Sep 2 14:30:36 2023 From: announce at ucy.ac.cy (Announce) Date: Sat, 2 Sep 2023 12:30:36 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): First Call for Workshop Proposals Message-ID: *** First Call for Workshop Proposals *** 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: October 13, 2023 AoE ***) CAiSE is a well-established, highly visible conference series on Advanced Information Systems (IS) Engineering. It covers all relevant topics in the area, including methodologies and approaches for IS engineering, innovative platforms, architectures and technologies, and engineering of specific kinds of IS. CAiSE conferences also have the tradition of hosting workshops in related fields. Workshops are intended to focus on particular topics and provide ample room for discussions of new ideas and developments. CAiSE 2024, the 36th edition of the CAiSE series, invites proposals for workshops to be held in conjunction with the main conference, related to the CAiSE topics, covering new emerging topics and targeting innovative papers in special focus areas. Prospective workshop organisers should specify whether they plan an event with a presentation-oriented track, a discussion-oriented track, or both. Presentation-oriented track This track focuses on accepted papers with presentations followed by Q&A sessions, akin to conferences. The proceedings of these workshops are intended to be published in a joint volume in the Springer LNBIP series. Submissions must  conform to the Springer LNCS/LNBIP format and should  not exceed 12 pages. According to the Springer standards, the overall acceptance rate cannot exceed 45%-50%. Discussion-oriented track This track emphasizes discussions facilitated by paper presentations revolving around novel ideas and early-stage research. Since the main criterion for paper acceptance in such workshops is relevance and potential for raising discussion, they are not expected to have their proceedings in the Springer LNBIP volume. The edition of a joint proceedings volume next to the LNBIP one for the discussion-oriented track is underway. Proceedings shall be submitted to CEUR-WS.org for online publication. Details on this aspect will be provided separately. Proposal submission Workshop proposals should be submitted via EasyChair at the following address: 
https://easychair.org/conferences/?conf=caise2024 
Please select the Author role and the CAiSE 2024 Workshops track. Prior contact with the workshop chairs (caise2024-workshops at easychair.org) is encouraged. The organizer(s) of approved workshops will be responsible for advertising their workshop, eliciting high-quality submissions, organizing the reviewing process of their workshop’s papers according to the principles and guidelines of CAiSE, and collecting camera-ready copies of accepted papers (verifying that they comply with the formatting rules). Organizers (including co-organizers) are expected to attend their entire workshop. Detailed instructions for workshop proposers The proposal (up to 1000 words) should cover the following points: • Workshop title, duration (1 day or 2 days), preferred date (3-4 June 2024) • Workshop type (presentation-oriented or discussion-oriented, or both). • Information on the organizers (PC chairs, other organizers who will be present at the workshop or are otherwise involved, including the person responsible for web presence and communication). Please include names, addresses, and affiliations, indicating the main responsible person. The submission should include a one-paragraph biographical sketch for each organizer, describing relevant qualifications and experience. Please specify at least one PC chair. PC chairs will not be allowed to submit papers to the workshop, but other organizers (who will have no oversight over the review process) are encouraged to do so. • Purpose: What are the main goals of the workshop? Please list the workshop topics. How does the focus of the workshop differ from the main conference? How does the focus of the workshop differ from other potential CAiSE events? (Proponents are advised to look at the workshops and working conferences held at CAiSE 2022 and CAiSE 2023 and differentiate your scope from theirs.) • Organization of the workshop: Specify the type of contributions, distribution into sessions, type of sessions, etc. Mention if you plan to have any keynote speaker (please note that the conference organization will not cover fees, travel expenses, accommodation and registration costs of keynote speakers). Include any special requirements regarding infrastructure and room layout. • Tentative list of PC members. • An estimate of the number of papers to be accepted, and the number of attendees. If applicable, short information on previous editions of the workshop series (this should include submission, acceptance, and attendance information). Short information on your plans for advertising your workshop and making it highly visible. Services provided by CAiSE • EasyChair installation for the management of the workshop submissions (each organizer will be made chair of their own workshop). • Publication of papers in an LNBIP volume for presentation-oriented tracks, and in a CEUR-WS.org online volume for discussion-oriented tracks. • One free workshop-only registration if more than 10 people are registered for the workshop. Organizers willing to attend the whole event (main conference) will have to register for the conference at their own expense. • Local organizational infrastructure and administrative support (registration, badges, refreshments, beamers, screens, etc.). In particular, all venue issues (rooms, meals and catering, social dinner, etc.) as well as the management of the registrations and the financing/administrative issues will be handled by the CAiSE Organization Board and are not under the responsibility of the workshop organizers. • Advertisement of the workshop on the CAiSE 2024 homepage and mailings. Please note that the workshop may be canceled if the number of registrations is less than 10. Also, in the case of workshops with topics that are similar, two or more workshops may be suggested to merge together. Key Dates • Submission of workshops proposals (via Easychair): October 13th, 2023 • Workshop notifications: November 3rd, 2023 • Workshop paper submission (tentative, recommended for presentation-oriented tracks): March 6th, 2024 • Workshop paper decision (recommended for presentation-oriented tracks): April 3rd, 2024 • Camera-ready due (recommended for presentation-oriented tracks): April 22nd, 2024 • Workshops: June 3rd-4th, 2024 Contact For more information and inquiries, please feel free and welcome to contact the Workshop Chairs at the following address: caise2024-workshops at easychair.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From t.s.neele at tue.nl Fri Sep 8 15:22:03 2023 From: t.s.neele at tue.nl (Thomas Neele) Date: Fri, 8 Sep 2023 15:22:03 +0200 Subject: [fg-arc] SPIN 2024: first Call for Papers Message-ID: **************************************************************************                              CALL FOR PAPERS SPIN 2024 - 30th International Symposium on Model Checking of Software Luxembourg City, Luxembourg, April, 2024 co-located with ETAPS 2024 (6-11 April) Conference website: https://spin-web.github.io/SPIN2024/ Submission link: will be published later Celebration of the 30th SPIN symposium: special anniversary track ************************************************************************** The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the SPIN model checker. However, over the years it has evolved to a broadly-scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: https://spinroot.com/spin/Workshops/. In celebration of the 30th edition of the symposium, SPIN 2024 features a special track for historical accounts and other broad discussions (see below). Topics of interest include, but are not limited to: - Insightful surveys or historical accounts on topics of relevance to the symposium, for the special anniversary track (see below) - Formal verification techniques for automated analysis of (concurrent) software/hardware, including:     - Model checking     - Deductive verification - Automated theorem proving, including SAT and SMT - Abstraction and symbolic execution techniques - Static analysis and abstract interpretation - Modular and compositional verification techniques - Verification of timed and probabilistic systems - Automated testing using advanced analysis techniques - Program synthesis - Derivation of specifications, test cases etc. via formal analysis - Formal specification languages, temporal logic, design-by-contract - Formal analysis of learned systems - Any combination of the above - Application and/or engineering of verification tools, including:     - Case studies of interesting systems or with interesting results - Implementation of novel verification tools - Benchmarks and comparative studies for verification tools - Verification tools using modern hardware, e.g.: multi-core CPU, GPU, TPU, cloud, and quantum  IMPORTANT DATES Submissions due: January 15, 2024 (23:59:59 Anywhere on Earth) Author notification: February 26, 2024 Camera ready: March 11, 2024 Symposium: between April 6 and 11, 2024. Exact dates will be announced later.  SUBMISSION CATEGORIES AND GUIDELINES Papers should be submitted via the EasyChair SPIN 2024 submission website. The link will be published later on the SPIN 2024 website. The proceedings of SPIN 2024 will be published in Springer’s Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers: * Full Research Papers describing fully developed work and complete results (16 pages, excluding bibliography); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages, excluding bibliography). * Special anniversary track: to celebrate the 30th edition of SPIN, we invite submissions that present the field of formal methods in a broad sense. These may be historical accounts, discussion of successful research lines, surveys, position papers etc (16 pages, excluding bibliography). All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. At least one author of each accepted paper must attend the symposium and present the paper. A Best Paper award will be announced and handed out at the conference. Traditionally, a selection of papers were invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).  ARTIFACTS SPIN 2024 introduces an artifact evaluation, performed by an Artifact Evaluation Committee (AEC). The AEC evaluates artifacts based on documentation, availability, reproducibility of results and reusability. Papers with an accompanying artifact may be awarded one or more badges from the EAPLS artifact badging scheme (https://eapls.org/pages/artifact_badges/). Submission of an artifact is optional.  ORGANIZATION Program Chairs Thomas Neele, Eindhoven University of Technology Anton Wijs, Eindhoven University of Technology Program Committee TBA  CONTACT INFORMATION Thomas Neele, t.s.neele at tue.nl Anton Wijs, a.j.wijs at tue.nl From michael at se-rwth.de Wed Sep 20 09:40:45 2023 From: michael at se-rwth.de (Michael, Judith) Date: Wed, 20 Sep 2023 07:40:45 +0000 Subject: [fg-arc] =?iso-8859-1?q?Fachtagung_Software_Engineering_=28SE=29?= =?iso-8859-1?q?_=7C_Gemeinsamer_Aufruf_zur_Einreichung_von_Workshop-Beitr?= =?iso-8859-1?q?=E4gen_=285_Workshops=29?= Message-ID: <8bad137fd6d44944bf3bc75027459992@se-rwth.de> -------------------------------------------------------------------------------- Software Engineering 2024 26.2.-1.3.2024 | Johannes Kepler Universität Linz, Österreich | https://se2024.se.jku.at/    Gemeinsamer Aufruf zur Einreichung von Workshop-Beiträgen -------------------------------------------------------------------------------- Die Fachtagung Software Engineering (SE) der Gesellschaft für Informatik (GI) findet vom 26. Februar bis zum 1. März 2024 statt. Die Organisation liegt beim LIT Cyber-Physical System Lab und dem Institut für Wirtschaftsinformatik - Software Engineering der Johannes Kepler Universität Linz. Die jährlich stattfindende Tagung Software Engineering (SE) des Fachbereichs Softwaretechnik der Gesellschaft für Informatik dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler:innen aus der Praxis, als auch an Forscher:innen aus dem akademischen Umfeld. Im Rahmen der SE 2024 werden die folgenden Workshops am 26. und 27.02.2024 stattfinden: - 5. Workshop: Anforderungsmanagement in Enterprise Systems-Projekten (AESP'24) - 21. Workshop Automotive Software Engineering (ASE'24) - 6. Workshop für Avionics Systems- und Software-Engineering (AvioSE'24) - Workshop Generative und Neurosymbolische KI im Software-Engineering (GenSE'24) - 6. Workshop on Software Engineering for Cyber-Physical Production Systems (SECPPS'24) Die Einreichungsfrist für Beiträge zu den Workshops ist der 27.10.2023. Für die Einreichung von Beiträgen ist die GI LNI-Vorlage (https://github.com/gi-ev/LNI) zu verwenden. Alle angenommenen Beiträge werden in einem gemeinsamen Workshopband in der GI Digital Library veröffentlicht. Für angenommene Einreichungen wird von mindestens einer:m der Autor:Innen eine Registrierung für den Workshop zur Camera-Ready Deadline und die Präsentation der Arbeit erwartet. Weitere Details zu den Workshops ================================ https://se2024.se.jku.at/programm/workshops/ ------------------------------------------------------------------------------- 5. Workshop: Anforderungsmanagement in Enterprise Systems-Projekten (AESP'24) Christoph Weiss, Johannes Keckeis https://www.sis-consulting.com/se24-anforderungsmanagement-in-enterprise-systems-projekten/ Viele Enterprise Systems-Auswahl-, Einführungs- und Weiterentwicklungsprojekte scheitern aufgrund fehlender, falscher, mangelhafter bzw. lückenhafter Anforderungen. Dies darum, weil es in diesen Projekten häufig falsche Erwartungshaltungen, Definitions- und Meinungsverschiedenheiten zum Anforderungsmanagement zwischen Kunden und Lieferanten gibt. Neben den von Enterprise Systems getriebenen Anforderungen sehen sich Unternehmen bei Enterprise Systems-Projekten oft mit zusätzlichen organisatorischen Anforderungen und Herausforderungen konfrontiert wie bspw.: * Neue oder geänderte Geschäftsprozesse * Neue oder geänderte Unternehmensorganisation * Bedarf, Kapazität und Verfügbarkeit der relevanten Projekt-Personals wie bspw. Key-User * ERP- und Prozesskompetenz der Mitarbeiter * ERP Fähigkeit der Organisation und des Personals * Finanzierung und Budgetierung - Operationalisierung von agilen Methoden Diese Herausforderungen sollen bei diesem Workshop aufgezeigt, besprochen und diskutiert werden. ------------------------------------------------------------------------------- 21. Workshop Automotive Software Engineering (ASE'24) Stefan Kugele, Franz Wotawa https://ase-workshop.github.io/2024/ Wie seine Vorgänger setzt sich der 21. Workshop Automotive Software Engineering mit der Problematik der Softwareentwicklung im Automobilbereich und folglich mit dafür geeigneten Methoden, Techniken undWerkzeugen auseinander. Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den Herausforderungen des voll automatisierten Fahrens spielt die Automobilsoftware heutzutage mehr denn je eine wichtige Rolle. Neben der stetig ansteigenden Komplexität müssen immer strengere Anforderungen an Zuverlässigkeit, Sicherheit (Security und Safety) und Datenschutz (Privacy) erfüllt werden. Weiterhin spielt die ablenkungsfreie und intuitive, multimodale Bedienung der Fahrzeugapplikationen mittels Sprach- und Gestensteuerung eine immer größere Rolle. Der Trend zur Vernetzung hat das Fahrzeug längst erreicht. Das Autofahren wird somit durch voranschreitende "digitale Kulturen" verändert: Mehrwertdienste (z. B. Social Media, Streaming, Office) werden noch konsequenter im Fahrzeug integriert sein und dann von den Nutzenden während der Fahrt bedient werden können. In diesem Workshop werden Herausforderungen und Lösungsansätze des Automotive Software Engineering diskutiert. Insbesondere von Interesse ist der Einsatz agiler Methoden in einem regulierten Umfeld. Beiträge aus allen Bereichen der Entwicklung von Software für moderne Fahrzeuge sind erwünscht. ------------------------------------------------------------------------------- 6. Workshop für Avionics Systems- und Software-Engineering (AvioSE'24) Marina Reich, Björn Annighöfer, Andreas Schweiger https://aviose-workshop.github.io/ Software development in the aerospace domain is driven by demanding fault tolerance, increasing complexity, new application potentials, rising certification effort, and increasing cost pressure. New software development methodologies are required for future applications such as e.g. Advanced Air Mobility (AAM), aircrew (workload) reduction, and further enhancement of existing functionality. At the same time, there are challenges in communication and navigation in airspace, certification for multi-core processors, artificial intelligence (AI) as well as security of software, hardware, and connectivity. The aim of the workshop is to exchange information on software and systems engineering methods and tools with an application in avionics. Presentations of new methods and technologies in this field are welcome. This is a one-day event with presentations, keynotes and discussions. Participants also from outside the aerospace industry are welcome. ------------------------------------------------------------------------------- Workshop Generative und Neurosymbolische KI im Software-Engineering (GenSE'24) Rubén Ruiz-Torrubiano, Alois Haselböck, Danilo Valerio https://gense-workshop.github.io/ Generative Methoden haben die Entwicklungen im Bereich Künstliche Intelligenz (KI) im vergangenen Jahr stark geprägt, angefangen von ChatGPT bis hin zu Open-Source Modellen wie Llama-2. Die automatische Generierung von Computer-Code oder strukturierter Daten anhand einer Beschreibung in natürlicher Sprache kann als die erste Anwendung von generativen Modellen in der Software-Entwicklung betrachtet werden. Da aber die Richtigkeit und Zuverlässigkeit der Outputs solcher generativen Modelle nicht garantiert werden können, ist ihre Anwendung in der Praxis oft mit Risiken behaftet. In der Software-Entwicklung kann das zu Softwarefehlern führen oder in Sicherheitslücken resultieren. In diesem Workshop wollen wir Herausforderungen beim Einsatz von generativen KI-Methoden im Software-Engineering diskutieren und Lösungsansätze zu den davor genannten Risiken und Herausforderungen vorschlagen und validieren. Der praktische Einsatz neurosymbolischer Verfahren wird besonders hervorgehoben. Der Workshop richtet sich an Forscher:Innen, Wissenschaftler:Innen, Entwickler:Innen und Anwender:Innen sowohl aus dem akademischen Umfeld als auch aus der Industrie. ------------------------------------------------------------------------------- 6. Workshop on Software Engineering for Cyber-Physical Production Systems (SECPPS'24) Sandra Greiner, Jörg Walter, István Koren https://rickrabiser.github.io/secpps-ws/se24 Software spielt eine essentielle Rolle, um industrielle Produktionssysteme effizient zu betreiben. Obwohl Variabilität und Komplexität in cyber-physischen Produktionssystemen (CPPS) eine Kernherausforderung darstellen, finden aktuelle Entwicklungen im Bereich der Softwaretechnik bislang (zu) wenig Einzug in der Automatisierung von Produktionssystemen. Verschiedene Möglichkeiten, Softwaretechnik zu integrieren, sollen im Rahmen des Workshops Software Engineering in Cyber-Physical Production Systems (SECPPS) diskutiert werden. Achtung: Anders als in Vorgängerversionen des Workshops suchen wir explizit nach Kurzpapieren, die Anwendungen der Softwaretechnik in CPPS präsentieren. Angereichert soll der Workshop durch Lightning Talks und Gruppendiskussionen werden. -------------------------------------------------------------------- Dipl.-Ing. Dr. techn. Judith Michael          |   http://www.se-rwth.de Team Leader Model-Based Assistance and Information Services Lehrstuhl für Software Engineering          |   Informatik 3 Ahornstr. 55, 52074 Aachen, Germany    |   RWTH Aachen University From divya.gopinath at nasa.gov Mon Sep 18 21:04:19 2023 From: divya.gopinath at nasa.gov (Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC]) Date: Mon, 18 Sep 2023 19:04:19 +0000 Subject: [fg-arc] NFM 2024 Call for Papers Message-ID: The 16th NASA Formal Methods Symposium NFM 2024 June 4-6, 2024 Moffett Field, California -------------------------------------------------- Important Dates: -------------------------------------------------- Abstract submission: December 1, 2023 Full paper submission: December 8, 2023 Notification: February 16, 2024 Camera-ready version: March 15, 2024 -------------------------------------------------- Theme of the Symposium: -------------------------------------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. For example, there is an increasing need for autonomous systems in deep space missions including NASA’s Moon to Mars exploration plans. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems. This year’s symposium extends the focus to safety assurance of machine learning enabled autonomous systems, formal methods for digital transformation, and accessibility for new industries. -------------------------------------------------- Topics of Interest: -------------------------------------------------- Advances in Formal Methods * Formal verification, model checking, and static analysis * Interactive and automated theorem proving * Program and specification synthesis, code transformation and generation * Run-time verification and test case generation * Techniques and algorithms for scaling formal methods * Design for verification and correct-by-design techniques * Requirements generation, specification, and validation Safety Assurance of Autonomous Systems * Verification of machine learning (ML) enabled systems * Run-time monitoring or model checking to ensure safe operation * Formal specifications and modeling of ML enabled systems * Case-studies/experience reports exploring the application of formal methods in autonomous safety-critical, cyber-physical and hybrid systems * Using formal evidence for certification of ML enabled systems Formal Methods in Practice * Experience reports of application of formal methods in industry * Use of formal methods in education * Applications of formal methods in: - concurrent and distributed systems - fault-detection, diagnostics, and prognostics systems - human-machine interaction analysis Safety Assurance of Autonomous Systems * Verification of machine learning (ML) enabled systems * Runtime monitoring or model checking to ensure safe operation * Formal specifications and modeling of ML enabled systems * Case-studies/experience reports exploring the application of formal methods in autonomous safety-critical, cyber-physical and hybrid systems * Using formal evidence for certification of ML enabled systems Formal Methods for Digital Transformation * Applications related to Digital Twin & Digital Thread * Verification for integrated design and manufacturing * AI digital assistants for system design * Runtime monitoring for Smart Campus & Smart Cities Accessibility of Formal Methods for New Industries * "New Space" markets * Advanced Air Mobility and Startup Aviation * Formal Methods as a Service -------------------------------------------------- Submissions: -------------------------------------------------- There are two categories of submissions: * Regular Papers (15 pages) including references, describing fully developed work and complete results * Short Papers (6 pages) including references, in one of the categories below: - Tool papers describing novel and publicly available tools - Case studies detailing applications of formal methods - New emerging ideas in the topics of interest All papers should be in English and describe original work that has not been published or submitted elsewhere. NFM24 will be a hybrid conference. Authors of accepted papers are encouraged to present their work in person at the conference. There will be a tool demonstration session at the conference, where tool developers get to showcase their tools interactively with the attendees. All tool papers, under the short papers category, are required to participate in the tool demonstration session. uthors of regular papers are also welcome to participate in the tool demonstration session to showcase their application. All submitters who are interested in participating in the tool demonstration session must include an additional appendix (maximum 4 pages and will not appear in the proceedings) containing the description of the proposed demo and the URL to a screencast demonstrating the tool. Authors of all accepted papers additionally have an opportunity to present a poster. All submissions will be fully reviewed by members of the Program Committee. Accepted regular and short papers will be published in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting described on https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Papers must be submitted in PDF format at the EasyChair submission site, https://easychair.org/conferences/?conf=nfm2024. -------------------------------------------------- Location and Cost: -------------------------------------------------- The symposium will take place at the NASA Ames Conference Center, Moffett Field, California, USA. There will be no registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, listen to the talks, and participate in discussions. However, all attendees must register. Nathan Benz Divya Gopinath Nija Shi NFM '24 Chairs nfm24-chairs at lists.nasa.gov -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.w.laarman at liacs.leidenuniv.nl Thu Sep 21 14:56:37 2023 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W. (Alfons)) Date: Thu, 21 Sep 2023 12:56:37 +0000 Subject: [fg-arc] iFM 2023 call for participation Message-ID: ----------------------------------------------------------------------- iFM 2023 - Call for Participation 18th International Conference on integrated Formal Methods 13-16 November 2023, Leiden, the Netherlands https://ifm23.liacs.nl ----------------------------------------------------------------------- This year, iFM 2023 and its associated events will be held in Leiden, The Netherlands, on 13-16 November 2023. The four-day event consists of the main conference iFM 2023, the workshop on Formal Methods for Autonomous Systems (FMAS 2023), a PhD Symposium and an artifact session. The programme will include the following keynote and invited speakers: * Erika Ábrahám (RWTH Aachen University, DE) - IFM 2023 and FMAS 2023 * Marieke Huisman (University of Twente, NL) – PhD Symposium * Barbara Jobstmann (EPFL and Cadence Design Systems, CH) - IFM 2023 * Rustan Leino (Amazon Web Services, USA) – IFM 2023 and PhD Symposium * Alice Miller (University of Glasgow, UK) - FMAS 2023 The list of accepted papers at iFM 2023 can be found at https://ifm23.liacs.nl/program.html To register for the main conference and the affiliated events, go to https://ifm23.liacs.nl/registration.html The early registration fees (until October 15th) for the iFM 2023 main conference, the PhD symposium, and the FMAS 2023 workshop are as follows: iFM 2023 main conference EUR 500 PhD symposium EUR 150 FMAS 2023 workshop EUR 200 iFM 2023 + PhD symposium EUR 600 iFM 2023 + FMAS 2023 workshop EUR 650 The registration fees include lunches and tea/coffee breaks during the registered event, as well as a social dinner. Additionally, the registration fees for the main conference iFM 2023 include a small reception on the first conference day. ----------- GENERAL CHAIR Marcello M. Bonsangue (LIACS, Leiden University, The Netherlands) iFM 2023 PROGRAM COMMITTE CHAIRS Paula Herber (University of Münster, Germany) Anton Wijs (Eindhoven University of Technology, The Netherlands) iFM 2023 ARTIFACT EVALUATION COMMITTEE CHAIRS Muhammad Osama (Eindhoven University of Technology, The Netherlands) Anna-Lena Lamprecht (University of Potsdam, Germany) PhD Symposium Chairs Crystal Chang Din (University of Bergen, Norway) Gidon Ernst (Ludwig-Maximilians-University of Munich, Germany) FMAS 2023 Workshop Chairs Marie Farrell (University of Manchester, United Kingdom) Mario Gleirscher (University of Bremen, Germany) Matt Luckcuck (University of Derby, United Kingdom) Maike Schwammberger (Karlsruhe Institute of Technology, Germany) iFM 2023 PUBLICITY CHAIRS Alfons Laarman (LIACS, Leiden University, The Netherland) © iFM 2023 -------------- next part -------------- An HTML attachment was scrubbed... URL: From martin.gebser at aau.at Fri Sep 22 21:37:20 2023 From: martin.gebser at aau.at (Martin Gebser) Date: Fri, 22 Sep 2023 21:37:20 +0200 Subject: [fg-arc] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) Message-ID: *** Apologies for cross-posting *** ============================================================================== Call for Papers 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) https://popl24.sigplan.org/home/PADL-2024 London, United Kingdom, January 15-16, 2024 Co-located with ACM POPL 2024 ============================================================================== 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 2024 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. Submissions ----------- PADL 2024 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing 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-guidelines 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 2024 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://padl2024.hotcrp.com Important Dates --------------- Paper submission: October 5, 2023 (AoE) Notification: November 9, 2023 Symposium: January 15-16, 2024 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) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. 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 2024 PC Co-Chairs ---------------------- - Martin Gebser, University of Klagenfurt, Austria - Ilya Sergey, National University of Singapore, Singapore Programme Committee ------------------- Alexandra Mendes University of Porto & INESC TEC, Portugal Annie Liu Stony Brook University, USA Anton Trunov Fuel Labs, UAE Arnaud Spiwack Tweag, France Daniela Inclezan Miami University, USA Emilia Oikarinen University of Helsinki, Finland Enrico Pontelli New Mexico State University, USA Esra Erdem Sabanci University, Turkey Gopal Gupta University of Texas at Dallas, USA Jesper Cockx Delft University of Technology, Netherlands Jessica Zangari University of Calabria, Italy Johannes Wallner Graz University of Technology, Austria Leo White Jane Street, UK Magnus Myreen Chalmers University of Technology, Sweden Manuel Carro IMDEA Software Institute, Spain Marcello Balduccini Saint Joseph's University, USA Matthew Flatt University of Utah, USA Mukund Raghothaman University of Southern California, USA Patrick Bahr University of Copenhagen, Denmark Roland Yap National University of Singapore, Singapore Simon Fowler University of Glasgow, UK Stefania Costantini University of L'Aquila, Italy Tom Schrijvers KU Leuven, Belgium Tomi Janhunen Tampere University, Finland Weronika T. Adrian University of Krakow, Poland Youyou Cong Tokyo Institute of Technology, Japan Zeynep G. Saribatur TU Wien, Austria Contact Addresses ----------------- martin.gebser _AT_ aau.at ilya _AT_ nus.edu.sg ------------------------------------------------------------------------------- -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4810 bytes Desc: S/MIME Cryptographic Signature URL: From announce at ucy.ac.cy Mon Sep 25 16:22:30 2023 From: announce at ucy.ac.cy (Announce) Date: Mon, 25 Sep 2023 14:22:30 +0000 Subject: [fg-arc] 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024): First Call for Papers Message-ID: <5F2F2GM8-OBAI-5B08-LUO-5NMU36NHJXOP@ucy.ac.cy> *** First Call for Papers *** 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024) June 19-21, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/iceccs2024/ (*** Submission Deadline: December 8, 2023 AoE ***) Recent years have witnessed a rapidly rising emphasis on the design, implementation and management of complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defence, transportation, aerospace, hazardous environments, energy, and healthcare. These complex systems are frequently distributed over heterogeneous networks and process a large amount of data, leveraging emerging artificial intelligence (AI), large language models, and machine learning techniques. Complexity arises from many factors, including the dynamic environment and the scenarios these systems operate in, demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability, data heterogeneity, as well as the wide range of development methodologies, programming languages and implementation details. Performance, real-time behaviour, fault tolerance, robustness, security, adaptability, development time and cost, and long life concerns are some of the key issues arising in the development of such systems. The International Conference on Engineering of Complex Computer Systems (ICECCS) is a well-established event that has been held around the world for over 25 years. The goal of this conference is to bring together industrial, academic, and government experts from a variety of application domains and software disciplines, to discuss how the disciplines’ problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the conference includes long-term research issues, near-term requirements and challenges, established complex systems, emerging promising tools, and retrospective and prospective reflections of research and development into complex systems. LIST OF TOPICS Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: Requirements, modeling and formal methods • Requirements analysis and specification • Model-driven development • Model checking • SAT/SMT solvers for software analysis and testing AI, Complex intelligent models and complex systems • Big data management • Data-drive and AI-backed systems • Machine learning for Software Engineering • AI4SE and SE4AI • Adaptive, self-managing and multi-agent systems Security, reliability and dependability • Safety-critical and fault-tolerant architectures • Formal methods • Security and privacy of complex systems • Privacy-preserving AI • Fairness Software engineering • Verification and validation • Reverse engineering and refactoring • Software architecture • Human Machine Interaction • Agile methods Realistic complex systems • Ubiquitous computing, context awareness, sensor networks • Cyber-physical systems and Internet of Things (IoT) • Autonomous systems and self-healing systems • Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. SUBMISSION AND PUBLICATION Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by the program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in the industry, and reflect on the lessons learnt from them. Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by the program committee members, and accepted short papers will be published in the conference proceedings. Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings have been published by the Conference Publishing Services (CPS) of the IEEE Computer Society. Submitted manuscripts should be in English and formatted in the style of the double-column IEEE CPS format. Full papers should not exceed 9 pages + 1 page for bibliography, and short papers should not exceed 5 pages + 1 page for bibliography, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately without review. Please prepare your manuscripts in accordance with the IEEE CPS guidelines. https://www.ieee.org/conferences/publishing/templates.html . We invite all prospective authors to submit their manuscripts via the ICECCS 2024 portal, hosted by the EasyChair conference management system. https://easychair.org/conferences/?conf=iceccs2024 IMPORTANT DATES • Abstract Submissions Due: 08 December, 2023 AoE • Full Paper Submissions Due: 15 December, 2023 AoE • Acceptance/Rejection Notification: 15 March, 2024 • Camera-ready Due: 15 April, 2024 • Author Registration Due: 15 April, 2024 • Conference Dates: 19-21 June 2024 ORGANISATION Steering Committee Jin Song Dong, National University of Singapore, Singapore Mike Hinchey, University of Limerick, Ireland Xiaohong Li, Tianjin University, China Shaoying Liu, Hiroshima University, Japan Mauro Pezze, University in Lugano, Switzerland Roy Sterritt, Ulster University, United Kingdom Jing Sun (Chair), University of Auckland, New Zealand General Co-Chairs • Yamine Ait-Ameur, IRIT, France • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Guangdong Bai, University of Queensland, Australia • Fuyuki Ishikawa, National Institute of Informatics, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From andreas.wortmann at isw.uni-stuttgart.de Thu Sep 28 14:08:36 2023 From: andreas.wortmann at isw.uni-stuttgart.de (Wortmann, Andreas) Date: Thu, 28 Sep 2023 12:08:36 +0000 Subject: [fg-arc] Einreichungsfrist in einem Monat - Fachtagung Software Engineering 2024: 26.02.-01.03.24 in Linz Message-ID: <0AA583F1-4A6E-4D93-8096-EC138895A96F@isw.uni-stuttgart.de> Liebe Kolleginnen und Kollegen, es ist nur noch ein Monat bis zur Einreichungsfrist der SE 2024, welche vom 26. Februar bis 1. März 2024 an der Johannes Kepler Universität Linz, Österreich stattfindet https://se2024.se.jku.at Wie es bereits Tradition ist, wird das wissenschaftliche Hauptprogramm wieder aus Vorträgen zu bereits publizierten Artikeln in internationalen Journalen oder Konferenzen bestehen, so dass die SE wieder ein "Best of" der Publikationen der Forschergruppen im deutschsprachigen Raum anbietet. Dies ermöglicht sich einen kompakten Überblick über die Aktivitäten der Kolleg*innen zu verschaffen, fördert den wissenschaftlichen Diskurs bei und erhöht die Sichtbarkeit der Beiträge. Wir würden uns über eine Einreichung freuen! Für die Einreichung werden benötigt: 1. Vortragszusammenfassung von max. 200 Wörtern (Deutsch oder Englisch). Die Zusammenfassung muss auf einen eigenen Beitrag in einer internationalen Konferenz oder Fachzeitschriften des Software Engineerings verweisen. Im ersten Satz der Zusammenfassung (Abstract) ist der genaue Name der Konferenz oder Fachzeitschrift und das Jahr des Erscheinens des Beitrags anzugeben. Es werden ausschließlich Vorschläge von begutachteten technischen Beiträgen akzeptiert, die auf der entsprechenden Hauptkonferenz (bzw. in der Fachzeitschrift) in voller Länge angenommen und bei der SE noch nicht eingereicht wurden. Für diesen Call werden nicht akzeptiert: Kurzbeiträge, eingeladene Beiträge, Beiträge zu Doktorandensymposien, "New Idea" Tracks, Werkzeug-Demonstrationen, Nebenveranstaltungen, Workshops oder Ähnliches. Dabei ist die LNI-Vorlage der GI zu verwenden: https://github.com/gi-ev/LNI-proceedings 2. PDF-Volltext des Beitrags, der unter (1.) genannt wurde. Dieser Beitrag muss nach dem 01.01.2022 veröffentlicht oder zur Veröffentlichung angenommen sein. Der/die Vortragende muss (Mit-) Autor/Autorin der genannten Beiträge sein und kann zusammen mit den Forschungsergebnissen ggf. auch den größeren Projektkontext vorstellen. Die Einreichungen werden durch das Programmkomitee ausgewählt. Wir verwenden dazu einen zweistufigen Prozess: Zuerst sortieren die Mitglieder des Programmkomitees völlig unpassende oder fundamental fehlerhafte Beiträge aus. Die restlichen Beiträge werden nach der Passung zu den Themen des Software Engineerings bewertet und u.a. hinsichtlich der Qualität der Konferenz bzw. Fachzeitschrift des Originalbeitrags gereiht. Dazu sollen die Arbeiten und Daten frei verfügbar sein bspw. auf Zenodo, Figshare oder Arxiv. Für Daten, die nicht bereitgestellt werden können (z.B. durch Geheimhaltungsverpflichtung oder aus Datenschutzgründen), muss eine Begründung angegeben werden. Wir vergeben dann Vortragstermine nach dieser Reihung. Einreichung: Die Vorschläge können jederzeit über EasyChair (https://easychair.org/conferences/?conf=se2024 im "SE 2024 Research Track") eingereicht werden. Beste Grüße und einen guten Start ins Semester Iris Groher und Andreas Wortmann SE'24 Program Chairs https://se2024.se.jku.at -- 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  -- 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