From jose.proenca at fc.up.pt Mon Aug 4 09:51:22 2025 From: jose.proenca at fc.up.pt (=?utf-8?B?Sm9zw6kgUHJvZW7Dp2E=?=) Date: Mon, 4 Aug 2025 07:51:22 +0000 Subject: [fg-arc] 2nd CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 11, 2025 Message-ID: <15A922ED-6E92-4D37-A0E0-DA32F05A5AC5@fc.up.pt> ================================================== ReacTS'25 International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications ================================================== https://reacts-workshop.github.io/2025/ Tuesday, 11 November 2025, Toledo, Spain Satellite event of SEFM 2025 (https://sefm-conference.github.io/sefm2025) ================================================== IMPORTANT DATES (AoE) ================================================== - Abstract submission: August 13, 2025 - Paper submission: August 20, 2025 - Author notification: September 22, 2025 - Workshop: November 11, 2025 ================================================== INVITED SPEAKERS ================================================== - Speaker 1: Alessandra Palmigiano, Vrije Universiteit Amsterdam (The Netherlands) - Speaker 2: TBA ================================================== OVERVIEW ================================================== Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in a determined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations. This workshop aims to bring together the whole community of researchers working on different ways to model reconfigurable and reactive systems from a formal perspective. This includes theoretical approaches (like hybrid logics, reactive frames, model-update logics, and topological and algebraic semantics), or formalisms designed for specific purposes (like separation logic in software verification, dynamic epistemic logic in AI planning, and others). Also, our goal is to devise novel approaches and potential applications, and share a common perspective on the discipline. ================================================== SUBMISSION GUIDELINES ================================================== Authors are invited to submit, via CMT, research contributions or experience reports (https://cmt3.research.microsoft.com/reacts2025). All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html. There are two categories of submissions: - FULL PAPERS up to 12 pages (excluding references) – to present original research and the analysis, interpretation and validation of the research findings. - SHORT PRESENTATIONS up to 4 pages (excluding references) – to present work in progress and preliminary results. Both kinds of submissions allow system descriptions, to present a new tool, a new tool component or novel extensions to an existing tool aiming at supporting open community approaches, or the use/customisation of an existing tool in the context of RTS. Accepted full papers will be included in the workshop programme and will appear in the workshop LNCS proceedings. Accepted short presentations will be included in the pre-proceeding (available online before the Workshop) but not published in the LNCS proceedings. ================================================== LIST OF TOPICS ================================================== The scope of the workshop includes (but it is not limited to): - Reconfigurable transitions systems (RTS) * Models for the analysis of reconfigurable systems * Applications of formal models for reconfigurable systems * Computational tools to animate and analyze RTS * Generalizations of RTS - Fuzzy RTS, Paraconsistent RTS, Weighted RTS, - Stochastic RTS, etc. * Featured Transition Systems * Reconfigurable Cyber Physical Systems - Logical Methods * Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS * Bisimulations and general algebraic constructions * Model Checking and Tools * Reactive systems and Process Algebra * Logics for Cyber Physical Systems * Topological and Algebraic Semantics * Applications of AI for RTS ================================================== PROGRAM CO-CHAIRS ================================================== - José Proença, University of Porto (Portugal) - Umberto Rivieccio, Universidad Nacional de Educación a Distancia (Spain) ================================================== PROGRAM COMMITTEE ================================================== - Luís Soares Barbosa, Universidade Do Minho (Portugal) - Benjamin Bedregal, Universidade Federal do Rio Grande do Norte (Brazil) - Mario Benevides, Universidade Federal Fluminense (Brazil) - Patrick Blackburn, University of Roskilde (Denmark) - Valentin Cassano, Universidad Nacional de Río Cuarto and CONICET (Argentina) - Madalena Chaves, Centre Inria d'Université Côte d'Azur (France) - Gabriel Ciobanu, Institute of Computer Science, Romanian Academy (Romania) - Raul Fervari, Universidad Nacional de Córdoba and CONICET (Argentina) - Daniel Figueiredo, University of Aveiro (Portugal) - Sabine Frittella, Université d'Orleans (France) - Sujata Gosh, Indian Statistical Institute, Chennai (India) - Andreas Herzig, CNRS, Université Paul Sabatier (France) - Juha Kontinen, University of Helsinki (Finland) - Alexandre Madeira, University of Aveiro (Portugal) - Sérgio Marcelino, IT & Dep. Mathematics IST, University of Lisbon (Portugal) - Vanina Martínez, IIIA-CSIC, Barcelona (Spain) - Manuel Martins, University of Aveiro (Portugal) - Carles Noguera i Clofent, Università degli Studi di Siena (Italy) - Aybüke Özgün, University of Amsterdam (The Netherlands) - Alessandra Palmigiano, Vrije Universiteit Amsterdam (The Netherlands) - Regivan Santiago, Universidade Federal do Rio Grande do Norte (Brazil) - François Schwarzentruber, ENS Rennes (France) - Sonja Smets, ILLC, University of Amsterdam (The Netherlands) - Ionuț Țuțu, Simion Stoilow Institute of Mathematics of the Romanian Academy (Romania) - Fernando R. Velázquez-Quesada, University of Bergen (Norway) - Fan Yang, Utrecht University (The Netherlands) ================================================== PUBLICATION ================================================== Accepted full papers will be published by Springer in a volume of Lecture Notes in Computer Science (http://www.springer.com/lncs), which will collect contributions to some workshops co-located with SEFM 2025. Condition for inclusion in proceedings is that at least one of the co-authors has presented the paper at the Workshop. Similarly to the last edition of ReacTS, we plan to invite authors of selected contributions to submit extended versions to a special issue, e.g. to the Journal of Applied Logics. ================================================== CONTACT ================================================== If you have any problems or questions, please contact us via e-mail at: jose.proenca at fc.up.pt / umberto at fsof.uned.es From announce at ucy.ac.cy Mon Aug 11 12:32:48 2025 From: announce at ucy.ac.cy (Announce) Date: Mon, 11 Aug 2025 10:32:48 +0000 Subject: [fg-arc] The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026): Last Call for Workshop Proposals Message-ID: *** Last Call for Workshop Proposals *** The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026) 17 March, 2026, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/track/saner-2026/saner-2026-workshops-tutorials-track In SANER 2026, we solicit proposals for workshops to be held in conjunction with the main conference. Workshops can be full or half-day and should highlight a specific topic of interest related to software analysis, evolution, and reengineering. We encourage workshop organizers to include activities that provide their participants with a true workshop experience. All workshops will tentatively be scheduled for the first day of the conference (March 17, 2026), the day before the main conference. Should you be interested in joining SANER, please keep the deadlines below in mind. Submission Instructions Proposal submission: By August 20th, 2025 AoE, the workshop proposal (in the form of call for papers) should be submitted to the workshops EasyChair page: https://easychair.org/my/conference?conf=saner2026 . The submission could be a PDF file (no more than two pages) or a public link to a call for papers webpage. The call for papers should include: • a workshop title, • a description of the workshop topic and scope, • an indication of whether the workshop will take ½ day or a full day, • a link to the workshop website, • and the contact information. The website should be live and include (at least) the following information: the topic of the workshop, its scope, list of topics of interest, names of the organizing committee members and their affiliations, types of submissions and the important dates as follows (all dates are 23:59h AoE): • Abstract Submission: 12 December, 2025 • Paper Submission: 18 December, 2025 • Notification: January 14, 2026 • Camera-Ready: 20 January, 2026 Evaluation Criteria The proposals will be evaluated by the workshops track chairs based on the novelty of the workshop topic, its importance to the field, as well as the composition of the organizing team. Workshop PC and Submission System No later than mid of-September 2025, the workshop PC should have been finalized and the paper submission system should be live. Workshop organizers are free to select EasyChair, HotCRP or any other commonly used paper submission system. The workshop proceedings will be included in a separate section of the conference’s proceedings – the companion proceedings. SUBMISSION LINK https://easychair.org/my/conference?conf=saner2026 IMPORTANT DATES • Workshop Proposals Submissions: 20 August, 2025 • Workshop Proposals Notification: 27 August, 2025 All dates are 23:59h AoE (anywhere on Earth). ORGANISATION General Chair • Georgia Kapitsaki, University of Cyprus, Cyprus Local Organizing Chair • George Angelos Papadopoulos, University of Cyprus, Cyprus Workshops and Tutorials Co-Chairs • Marcelo De Almeida Maia, Federal University of Uberlandia, Brazil • Juri Di Rocco, University of L'Aquila, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Aug 12 16:30:24 2025 From: announce at ucy.ac.cy (Announce) Date: Tue, 12 Aug 2025 14:30:24 +0000 Subject: [fg-arc] The Annual ACM Conference on Intelligent User Interfaces (IUI 2026): Last Call for Workshop Proposals Message-ID: *** Last Call for Workshop Proposals *** The Annual ACM Conference on Intelligent User Interfaces (IUI 2026) March 23-26, 2026, 5* Coral Beach Hotel & Resort, Paphos, Cyprus https://iui.hosting.acm.org/2026/ We are pleased to invite proposals for workshops to be held in conjunction with the Annual International ACM Conference on Intelligent User Interfaces (ACM IUI 2026), Paphos, Cyprus. Workshops aim to provide a venue for presenting research on emerging or specialized topics of interest and to offer an informal forum for discussing research questions and challenges. Potential workshop topics should be related to the general theme of the conference (“Where HCI meets AI”). We welcome proposals for a wide range of *full-day* or *half-day* workshops, including but not limited to: • Mini Conferences: Workshops that focus on a specific topic and may have their own paper submission and review processes. • Interactive Formats: Workshops that encourage active participation and hands-on experiences through break-out sessions or group work to explore specific topics. They may have their own paper submission and review process or target a report summarizing the discussions and outcomes. • Emerging Work Sessions: Workshops that foster discussion around emerging ideas. Organizers may raise specific topics and invite position papers, late-breaking results, or extended abstracts. • Project-Centric Formats: Workshops tied closely to a specific existing large-scale funded project(e.g., NSF, EU) with the goal to engage a broader community. • Interactive Competitions: Formats that invite individuals and teams to participate in challenges or hackathons on selected topics relevant to IUI. Review and Oversight by Workshop Chairs Proposals will be reviewed and evaluated by the Workshop Chairs. It is possible that workshops may be cancelled, shortened, merged, or restructured if there are insufficient submissions. Workshop summaries will be included in the ACM Digital Library for ACM IUI 2026. We will also publish joint workshop proceedings for accepted workshop submissions (through CEUR or a similar venue). Responsibilities of Workshop Organizers • Coordinate the Call for Papers, including solicitation, submission handling, and peer review process. • Create and maintain a dedicated website with workshop information. The IUI 2026 website will link to this page. • Prepare and communicate a Call for Participation, targeting both IUI and broader relevant communities (e.g., via mailing lists, social media, newsgroups, or offline events). • Facilitate the planned activities, including paper presentations, discussions, and/or interactive elements. • Submit a workshop summary for inclusion in the ACM Digital Library. • Collect camera-ready papers and author agreements from workshop participants for the joint workshop proceedings (CEUR or similar). Note that for the joint proceedings (CEUR or similar), submissions should be peer-reviewed and will need to meet publishers’ guidelines. CEUR, for example, requires a 5-page minimum per contribution. Note that not all workshop formats listed above may meet these requirements, and we may not be able to include them. IUI 2026 is an in-person event, and we expect workshop organizers to attend, allowing the workshop to be conducted on-site. One author per paper is expected to attend in person to present the work. Proposal Format Workshop proposals should be a maximum of four pages long (single-column format). Prepare your submission using the latest templates: Word Submission Template (https://authors.acm.org/binaries/content/assets/publications/taps/acm_submission_template.docx), or the LaTex Template (https://authors.acm.org/proceedings/production-information/preparing-your-article-with-latex). For Latex, please use “\documentclass[manuscript,review]{acmart}”. The proposals should be organized as follows: • Name and title: A one-word acronym and a full title. Please indicate “(Workshop)” after the title. • Abstract: A brief summary of the workshop. • Description of workshop topic: Should discuss the relevance of the proposed topic to IUI and its interest for the IUI 2026 audience. Include a concise discussion of why this workshop is particularly relevant for the intended audience and how it will complement and enhance topics covered at the main conference. • Previous history: List of previous workshops on this topic, including the conferences that hosted them and the number of participants. If available, report on past editions of the workshop (including URLs), along with a brief statement of the workshop series (e.g., covering topics, number of paper submissions, and participants), as well as post-workshop publications over the years and acceptance statistics. If this is the first edition of the workshop, describe how it differs from others on similar topics (e.g., by including conference names and years). • Organizer(s): Names, affiliations, emails, and web pages of the organizer(s). Provide a brief description of the background of the organizer(s). Strong proposals normally include organizers who bring differing perspectives on the topic and are actively connected to the communities of potential participants. Please indicate the primary contact person and the organizers who will attend the workshop. Also, please provide a list of other workshops organized by workshop organizers in the past. • Workshop program committee: Names and affiliation of the members of the (tentative) workshop program committee that will evaluate the workshop submissions. • Participants: Include a statement of how many participants you expect and how you plan to invite participants for the workshop. If possible, include the names of at least 10 people who have expressed interest in participating in the workshop or tutorial. • Workshop activities: A brief description of the format regarding the mix of events or activities, such as paper presentations, invited talks, panels, demonstrations, teaching activities, hands-on practical exercises, and general discussion. • Planned outcomes of the workshop: What are you hoping to achieve by the end of the workshop? Please list here any planned publications or other outcomes expected. • Length: Full-day or half-day. Submission Platform • All materials must be submitted electronically to PCS 2.0 http://new.precisionconference.com/~sigchi by the proposal submission deadline. • In PCS 2.0, first click "Submissions" at the top of the page, from the dropdown menus for society, conference, and track, select "SIGCHI", "IUI 2026", and then "IUI 2026 Workshops", and press "Go". We encourage both researchers and industry practitioners to submit workshop proposals. To support diverse perspectives in the workshops, we strongly recommend including organizers from varied institutions and backgrounds. Furthermore, we welcome workshops with an innovative structure that can attract diverse types of contributions and foster valuable interactions. Prospective organizers are encouraged to contact the Workshop Chairs in advance (workshops2026 at iui.acm.org) to discuss ideas, receive feedback, or seek assistance in preparing engaging proposals. Especially for workshop proposals featuring innovative interactive formats, we are happy to help further develop and implement the ideas. Important Dates (AoE) • Workshop Proposals: August 22, 2025 • Decision Notification: September 19, 2025 • Camera-ready Summaries: February 6, 2026 Workshop Chairs Karthik Dinakar, Pienso, USA Werner Geyer, IBM Research, USA Patricia Kahr, University of Zurich, Switzerland Antonela Tommasel, CONICET, Argentina -------------- next part -------------- An HTML attachment was scrubbed... URL: From philip.wizenty at fh-dortmund.de Tue Aug 12 08:53:05 2025 From: philip.wizenty at fh-dortmund.de (Philip Wizenty) Date: Tue, 12 Aug 2025 06:53:05 +0000 Subject: [fg-arc] [AK-MSDO] 11. Treffen des AK MSDO - Call for Talks Message-ID: Liebe Microservices- und DevOps-Interessierte, wir freuen uns Ihnen mitteilen zu dürfen, dass das nächste Treffen des Arbeitskreises Microservices und DevOps am 1. und 2. Oktober 2025 in Dortmund bei der Code Centric stattfinden wird. In der Tradition der vergangenen Treffen möchten wir auch gern wieder ein kleines Vortragsprogramm anbieten. Wenn Sie einen Vortrag halten möchten, füllen Sie bitte die folgende Umfrage bis 10.09.2025 aus. https://forms.cloud.microsoft/e/Uv5HDzZudJ Eine Anmeldung zum Treffen ist über die folgende Seite möglich: https://forms.cloud.microsoft/e/gE9w36173G Weiterhin freuen wir uns Ihnen Mitzuteilen, dass Talks zu den folgenden Themen auch sehr willkommen in AK MSDO sind: - Verteilte- / Service basierte Architekturen - Modulithen - AI-enhanced Software Development - Referenz Architekturen - Platform Engineering - Organisatorische Aspekte der Software Entwicklung - DevOps, DevSecOps und MLOps Vielen Dank und viele Grüße Sandro Speth und Philip Wizenty -------------- next part -------------- An HTML attachment was scrubbed... URL: