From announce at ucy.ac.cy Mon Feb 5 14:19:03 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 5 Feb 2024 13:19:03 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering: Last Call for Workshop Papers Message-ID: *** Last Call for Workshop Papers *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 26th February, 2024 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'24, the 36th edition of the CAiSE series, will host the following workshops. For more information for each workshop please visit the workshops' web sites. CAiSE'24 WORKSHOPS • 3rd International Workshop on Agile Methods for Information Systems Engineering (Agil-ISE) https://agilise.github.io/2024/index.html • International Workshop on Blockchain for Information Systems (BC4IS24) and Blockchain for Trusted Data Sharing (B4TDS) https://pros.unicam.it/bc4isb4tds/ • 2nd International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS) https://hybridaims.com/ • 2nd Workshop on Knowledge Graphs for Semantics-driven Systems Engineering https://www.omilab.org/activities/events/caise2024_kg4sdse/ • 16th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2024) https://eomas2024.fel.cvut.cz/ • Digital Transformation with Business Process Mining (DigPro2024) https://digpro.iiita.ac.in/ IMPORTANT DATES • Paper Submission Deadline: 26th February, 2024 (AoE) • Notification of Acceptance: 27th March, 2024 • Camera-ready Deadline: 5th April, 2024 • Author Registration Deadline: 5th April, 2024 WORKSHOP CHAIRS • João Paulo A. Almeida, Federal University of Espírito Santo, Brazil • Claudio di Ciccio, Sapienza University of Rome, Italy • Christos Kalloniatis, University of the Aegean, Greece -------------- next part -------------- An HTML attachment was scrubbed... URL: From vdheuvel.bas at gmail.com Sat Feb 3 10:57:23 2024 From: vdheuvel.bas at gmail.com (Bas van den Heuvel) Date: Sat, 3 Feb 2024 10:57:23 +0100 Subject: [fg-arc] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Message-ID: [Apologies for multiple copies, please forward it to interested parties] =================================================================== JOINT CALL FOR PAPERS DisCoTec 2024 19th International Federated Conference on Distributed Computing Techniques June 17-21, 2024 Groningen, The Netherlands Sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). Submission deadline: February 23, 2024 (Extended!) https://www.discotec.org/2024 =================================================================== DisCoTec 2024 will gather three conferences that cover a broad spectrum of distributed computing subjects: from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. == COORDINATION == (https://www.discotec.org/2024/coordination) 26th International Conference on Coordination Models and Languages Chairs: - Ilaria Castellani (INRIA Sophia Antipolis, FR) - Francesco Tiezzi (University of Florence, IT) == DAIS == (https://www.discotec.org/2024/dais) 24th International Conference on Distributed Applications and Interoperable Systems Chairs: - Rolando Martins (University of Porto, PT) - Mennan Selimi (South East European University, MK) == FORTE == (https://www.discotec.org/2024/forte) 44th International Conference on Formal Techniques for Distributed Objects, Components and Systems Chairs: - Valentina Castiglioni (Eindhoven University of Technology, NL) - Adrian Francalanza (University of Malta, MT) === Artefact Evaluation (all conferences) === Chair: - Roberto Casadei (University of Bologna, IT) === Keynote Speakers === - Marieke Huisman (University of Twente, NL) - Laura Kovács (Vienna University of Technology, AT) - Paulo Veríssimo (KAUST, SA) === Important Dates (for all main conferences) - EXTENDED === - Abstract submission: February 16, 2024 (Extended) - Paper submission: February 23, 2024 (Extended) - Paper notification: April 5, 2024 (Extended) - Camera-ready: April 24, 2024 - DisCoTec conference: June 17-21, 2024 Deadlines expire at 23:59 (AoE, anywhere on earth) on the dates displayed above. See each conference site for topics of interest, paper categories, and submission instructions. === Satellite Events === We invite the community to submit proposals for one day workshops and tutorials on topics related to the distributed computing field. Details: http://www.discotec.org/2024/csep - Proposal submission deadline: February 12, 2024 === Proceedings === The proceedings of COORDINATION, DAIS, and FORTE will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. === Journal Special Issues === Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals: - Logical Methods in Computer Science (https://lmcs.episciences.org) - Science of Computer Programming (TBC). === Organizing Committee === - Jorge A. Pérez (University of Groningen, NL — General Chair) - Ivan Bliznets (University of Groningen, NL) - Anton Chernev (University of Groningen, NL) - Dan Frumin (University of Groningen, NL — Workshops and Tutorials Co-chair) - Helle Hvid Hansen (University of Groningen, NL) - Bas van den Heuvel (Karlsruhe University of Applied Sciences and University of Freiburg, DE — Publicity Chair) - Juan C. Jaramillo (University of Groningen, NL) - Claudio Antares Mezzina (University of Urbino, IT — Workshops and Tutorials Co-chair) - Revantha Ramanayake (University of Groningen, NL) -------------- next part -------------- An HTML attachment was scrubbed... URL: From luis.magdalena at upm.es Sat Feb 3 11:48:29 2024 From: luis.magdalena at upm.es (Luis Magdalena) Date: Sat, 3 Feb 2024 11:48:29 +0100 Subject: [fg-arc] [ECAI-2024] Deadline for Tutorial Proposals approaching Message-ID: The 27th European Conference on Artificial Intelligence will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. We invite proposals for tutorials to be held during the first two days of the conference, alongside workshops and the doctoral consortium. We recently received 48 workshop proposals, so expect a very lively pre-conference programme. The deadline is fast approaching: Thursday, 15 February 2024. Full details here: https://www.ecai2024.eu/calls/tutorials Check the website for further opportunities to participate: submitting a paper to either the main conference or PAIS, submitting a demo paper, or taking part in the doctoral consortium. -- Luis Magdalena Publicity Chair of the European Conference on Artificial Intelligence (ECAI-2024) -------------- next part -------------- An HTML attachment was scrubbed... URL: From saverio.giallorenzo at gmail.com Sat Feb 3 16:42:15 2024 From: saverio.giallorenzo at gmail.com (Saverio Giallorenzo) Date: Sat, 3 Feb 2024 16:42:15 +0100 Subject: [fg-arc] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Message-ID: Deadline Extension Call For Papers COORDINATION 2024 26th International Conference on Coordination Models and Languages Part of 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024), together with FORTE and DAIS conferences. Dates: June 18-20, 2024 Location: University of Groningen, The Netherlands Website: https://www.discotec.org/2024/coordination (Extended) Paper submission deadline: February 23, 2024 Submission Link: https://easychair.org/conferences/?conf=coordination2024 Scope ======== Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable, and heterogeneous components. New models, architectures, languages, and verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination. Main Topics ============== Topics of interest encompass all areas of coordination, including (but not limited to) coordination-related aspects of: - Theoretical models and foundations for coordination: component composition, concurrency, distribution, mobility; dynamic, spatial and probabilistic aspects of coordination; logic, types, semantics. - Coordination of multi-agent and collective systems: models, languages, infrastructures, self-adaptation, self-organisation, distributed solving, collective intelligence and emerging behaviour. - Coordination and modern distributed computing: web services, microservices, peer-to-peer networks, grid computing, context-awareness, ubiquitous computing, mobile computing, reversible computing. - Session-based programming: models, languages, behavioural types, and tools. - Models, languages, verification techniques, and tools for interacting smart contracts and (blockchain-based) decentralised applications. - Languages, methodologies, and tools for secure coordination. - Cybersecurity aspects of coordinated systems, coordinated approaches to cybersecurity. - Nature- and bio-inspired approaches to coordination. - Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and security aspects. - Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing. - Coordination platforms for infrastructures of emergent new application domains, like IoT, fog-, and edge-computing. - Programming methodologies, languages, middleware, tools, and environments for the development and verification of coordinated applications, including DevOps approaches. - Coordination in business process management: coordination models for business process management, process mining techniques and tools for coordination models. - Industrial relevance of coordination and software architectures: programming in the large, domain-specific software architectures and coordination models, industry-driven efforts in coordination and case studies. - Interdisciplinary aspects of coordination. Invited Speakers ================== Marieke Huisman, University of Twente, The Netherlands Laura Kovács, Vienna University of Technology, Austria Paulo Veríssimo, KAUST, Kingdom of Saudi Arabia Important dates ================== - Abstract submission: February 16, 2024 - Paper submission: February 23, 2024 - Paper notification: April 5, 2024 - Camera-ready: April 24, 2024 Dates are Anywhere on Earth (AoE). Submission ============= We invite you to submit: - Regular papers (7-15 pages, not counting references): describing thorough and complete research results and experience reports. In a clear case of need, as an exception, authors may ask for permission via email to the PC co-chairs to exceed the paper's max length by at most 10%, under the condition that last-minute shortening would really damage the clarity of the paper or result in non-submission. The authors must make a draft of the paper available to the PC co-chairs via EasyChair. - Short papers (4-6 pages, not counting references): describing research in progress or opinion papers on the past of COORDINATION research, on the current state of the art, or on prospects for the years to come. - Survey papers (16-25 pages, not counting references): describing important results and success stories related to the topics of COORDINATION. - Tool papers (4-15 pages, not counting references): describing technological artefacts in the scope of the research topics of COORDINATION. Tool papers should provide a clear account of the tool's functionality, discuss the tool's practical capabilities possibly with reference to the type and size of problems it can handle, and, when applicable, report on realistic case studies (possibly providing a rigorous experimental evaluation). Tool papers may also provide an account of the theoretical foundations, including relevant citations, and present design and implementation concerns, possibly including software architecture and core data structures. Papers that present extensions to existing tools should clearly describe the improvements or extensions with respect to previously published versions of the tool, possibly providing data on enhancements in terms of resources and capabilities. Papers may contain a link to a publicly downloadable MPEG-4 demo video of at most 10 minutes length. Artefacts ============ Following ACM's definition [1], an artefact is "a digital object that was either created by the authors to be used as part of the study or generated by the experiment itself. For example, artifacts can be software systems, scripts used to run experiments, input datasets, raw data collected in the experiment, or scripts used to analyze results". To improve and reward reproducibility and to give more visibility and credit to the effort of tool developers in the COORDINATION community, authors of submitted papers are invited to submit publicly available artefacts (using permanent repositories such as Software Heritage, Zenodo, etc.), which will be associated with their paper for evaluation. Based on the result of the artefact evaluation, one or more badges may be applied to a paper. Specifically, COORDINATION uses the EAPLS badging scheme [2], which in its own turn is based on and consistent with the ACM initiative. Artefact submission is mandatory for tool papers and the result of the artefact evaluation will be considered in the tool paper's acceptance decision. Instead, artefact submission is optional for all the other paper categories and the result of the artefact evaluation will not affect the paper's acceptance decision but may affect the best paper selection. Dates (AoE): - Artefact submission: February 29, 2024 - Kick-the-tires phase: - Problem reports from reviewers: 8 March, 2024 - Authors' response to reviewers: 15 March, 2024 - Artefact notification: March 29, 2024 [1] https://www.acm.org/publications/policies/artifact-review-and-badging-current [2] https://eapls.org/pages/artifact_badges Proceedings ============== The conference proceedings, consisting of accepted submissions from any paper category, will be published by Springer in LNCS-IFIP volumes. Special issues ================= After the conference, selected papers from the COORDINATION and FORTE programmes (except for tool papers) will be invited to a special issue of the Logical Methods in Computer Science journal. The paper submission deadline is planned for October/November 2024, and the notifications for the first round of reviews around February 2025. Selected accepted tool papers, instead, will be invited to a special issue of a reputable journal with a track dedicated to software, like the Journal of Science of Computer Programming's Software Track. The most recent special issue is out: COORDINATION 2021, Special Issue of Logical Methods in Computer Science, edited by Ferruccio Damiani and Ornela Dardha, available at: https://lmcs.episciences.org/volume/view/id/449. Previous special issues can be found at https://www.discotec.org/2024/coordination#proceedings-and-special-issues-from-previous-editions . Programme Committee chairs ============================= Ilaria Castellani (INRIA Sophia Antipolis, France) Francesco Tiezzi (University of Florence, Italy) Publicity chair ================== Saverio Giallorenzo (University of Bologna, Italy) Programme Committee ====================== Giorgio Audrito (University of Turin, Italy) Laura Bocchi (University of Kent, UK) Chiara Bodei (University of Pisa, Italy) Marcello Bonsangue (Leiden University, The Netherlands) Silvia Crafa (University of Padova, Italy) Cinzia Di Giusto (Université Côte d'Azur, France) Paola Giannini (University of Piemonte Orientale, Italy) Hannah Gommerstadt (Vassar College, USA) Heerko Groefsema (University of Groningen, The Netherlands) Thomas Hildebrandt (University of Copenhagen, Denmark) Sung-Shik Jongmans (Open University of the Netherlands, The Netherlands) Dimka Karastoyanova (University of Groningen, The Netherlands) Jean Krivine (IRIF, CNRS, France) Eva Kühn (Vienna University of Technology, Austria) Roland Kuhn (Actyx, Germany) Alberto Lluch Lafuente (Technical University of Denmark, Denmark) Antónia Lopes (University of Lisbon, Portugal) Michele Loreti (University of Camerino, Italy) Mieke Massink (CNR-ISTI, Italy) Hernán Melgratti (University of Buenos Aires, Argentina) Maurizio Murgia (Gran Sasso Science Institute, Italy) Anna Philippou (University of Cyprus, Cyprus) José Proença (University of Porto, Portugal) Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) Barbara Re (University of Camerino, Italy) Marjan Sirjani (Mälardalen University, Sweden) Meng Sun (Peking University, China) Carolyn Talcott (SRI International, USA) Peter Thiemann (Universität Freiburg, Germany) Mirko Viroli (University of Bologna, Italy) Franco Zambonelli (University of Modena and Reggio Emilia, Italy) Artefact Evaluation Committee chair ====================================== Rumyana Neykova (Brunel University London, UK) Artefact Evaluation Committee ---------------------------------------- Nour Ali (Brunel University London, UK) Tiago Cogumbreiro (UMass Boston, USA) Saverio Giallorenzo (University of Bologna, Italy) Arwa Hameed (University of Glasgow, UK) Keigo Imai (DeNA, Japan) Omar Inverso (Gran Sasso Science Institute, Italy) Doriana Medic (University of Turin, Italy) Mário Pereira (NOVA School of Science and Technology, Portugal) Lorenzo Rossi (University of Camerino, Italy) Cristina Seceleanu( Mälardalen University, Sweden) Felix Stutz (MPI SWS, Germany) Fangyi Zhou (Amazon, UK) Steering Committee ===================== Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) Simon Bliudze (INRIA Lille, France) Laura Bocchi (University of Kent, UK) Ferruccio Damiani (University of Turin, Italy) Ornela Dardha (University of Glasgow, UK) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) Giovanna di Marzo Serugendo (Université de Genève, Switzerland) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Sung-Shik Jongmans (Open University of the Netherlands, Netherlands) Christine Julien (University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Alberto Lluch Lafuente (Technical University of Denmark, Denmark) Antónia Lopes (University of Lisbon, Portugal) Michele Loreti (Università di Camerino, Italy) Mieke Massink (ISTI-CNR, Pisa, Italy) - chair José Proença (University of Porto, Portugal) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Mälardalen University, Sweden) Carolyn Talcott (SRI International, California, USA) Maurice ter Beek (CNR-ISTI, Italy) Emilio Tuosto (Gran Sasso Science Institute, Italy) Vasco T. Vasconcelos (University of Lisbon, Portugal) Mirko Viroli (Università di Bologna, Italy) Gianluigi Zavattaro (Università di Bologna, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Feb 6 15:21:17 2024 From: announce at ucy.ac.cy (Announce) Date: Tue, 6 Feb 2024 14:21:17 +0000 Subject: [fg-arc] CAiSE'24 Ph.D. Award: Last Call for Applications Message-ID: *** Ph.D. Award: Last Call for Applications *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 1st March, 2024 AoE ***) The deadline to apply for the CAiSE 2024 PhD Award is March 1st 2024. The conditions to apply are: • having participated as an author in a previous CAiSE Doctoral Consortium or at a main CAiSE Event: either the main conference, the CAiSE Forum, EMMSAD, or BPMDS; • having successfully defended the PhD thesis in the last two years (i.e., since January 2022). The application must be submitted electronically to the PhD Awards track of CAiSE 2024 via EasyChair . The application must be a single PDF file containing: • a short cover letter that includes the list of PhD committee members, • a support letter from the thesis advisor, • the candidate's defended PhD thesis, • the candidate’s CV. ABOUT THE PHD AWARD The CAiSE PhD Award 2024 is granted annually to an outstanding recent PhD thesis in the field of Information Systems Engineering. The award is co-sponsored by the CAiSE Steering Committee and Springer. It consists of a certificate, free full registration (5 days) to the next two editions of the CAiSE conference, and a book voucher for a free selection worth EUR 500 from Springer’s printed books collection. In addition, the selected thesis will be recommended for publication as a monograph in the LNBIP series published by Springer, provided that Springer’s publication conditions are met. The PhD theses submitted for the award will be reviewed by a standing committee of senior members selected from the CAiSE Advisory Committee, the CAiSE Steering Committee, and the CAiSE Program Committee. AWARD CHAIR Professor Andreas L Opdahl, University of Bergen, Norway IMPORTANT DATES • Submission of application: 1st March, 2024 (AoE) • Notification: 15th April, 2024 PAST RECIPIENTS • 2023: Anna Bernasconi, PhD from Politecninco Milano (Italy), thesis title “Model, Integrate, Search... Repeat: a Sound Approach to Building Integrated Repositories of Genomic Data”
(link to the forthcoming monograph: https://link.springer.com/book/9783031449062) • 2022: Volodymyr Leno, PhD from University of Melbourne (Australia), thesis title “Robotic Process Mining: Accelerating the adoption of Robotic Process Automation”
(link to the thesis: https://minerva-access.unimelb.edu.au/bitstream/handle/ 11343/297274/98f9efca-4dd2-eb11-94dc-0050568d0279_manuscript.pdf) • 2021: Orlenys Lopez Pintado, PhD from University of Tartu (Estonia), thesis title “Collaborative Business Process Execution on the Block Chain: the Caterpillar System”
(link to the thesis: https://dspace.ut.ee/items/1e09072c-5442-463a-b8c6-0425951cb90b) • 2020: Steven Mertens, PhD from Ghent University (Belgium), thesis title “Enabling process management for loosely framed knowledge-intensive processes”
(link to the published monograph: https://www.springer.com/gp/book/9783030661922) • 2019: Giovanni Meroni, PhD from Politecnico di Milano (Italy), thesis title “Artifact-driven business process monitoring”
(link to the published monograph: https://www.springer.com/gp/book/9783030324117) • 2018: Wei Wang, PhD from University of Queensland (Australia) thesis title “Integrated Modeling of Business Processes and Business Rules”
(link to the published monograph: https://www.springer.com/gp/book/9783030118082) • 2017: Marcela Ruiz, PhD from the Universidad Politécnica de Valencia (Spain), thesis title “TraceME: A Traceability-Based Method for Conceptual Model Evolution”
(link to the published monograph: https://www.springer.com/gp/book/9783319897158) • 2016: Le Minh Sang Tran, PhD from University of Trento (Italy), thesis title “Managing the Uncertainty of the Evolution of Requirements Models”
(testimony of the 2016 CAiSE PhD Award winner: https://www.youtube.com/watch?v=q-vvlH66lC4) -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at se-rwth.de Wed Feb 7 12:23:01 2024 From: michael at se-rwth.de (Michael, Judith) Date: Wed, 7 Feb 2024 11:23:01 +0000 Subject: [fg-arc] Call for Participation - Modellierung 2024 Message-ID: Call for Participation - Modellierung 2024 March 12-15, 2024 Potsdam, Germany https://bpt.hpi.uni-potsdam.de/modellierung2024 Welcome to the Modelling 2024 conference, which will be held from 12-15 March 2024 at the Hasso Plattner Institute, University of Potsdam. The conference is the central scientific event of QFAM, the Expert Committee Modelling of the German Informatics Society. The modelling community has been meeting for more than twenty years to discuss modelling issues across the entire spectrum of computer science. These include fundamentals, methods, techniques, tools, domains and applications. The conference is characterised by timely topics, extensive opportunities for personal exchanges of experience, lively discussions and committed feedback from science and practice. The capital region Berlin/Potsdam offers an inspiring environment for this event. Registration information: https://bpt.hpi.uni-potsdam.de/modellierung2024/registration notice that Early Bird Registration ends on February 16, 2024 Program: https://bpt.hpi.uni-potsdam.de/modellierung2024/program/ Keynote speakers (https://bpt.hpi.uni-potsdam.de/modellierung2024/keynotes) - Giancarlo Guizzardi: Semantic Models for Trustworthy Systems: A Hybrid Intelligence Augmentation Program - Stefanie Rinderle-Ma: Model-driven Design and Automation of Process Orchestrations in Manufacturing - Nelly Bencomo: Models for Human-Machine Teaming for Shared Decision-Making under Uncertainty Panel: Automated Modelling: Utopia or Reality More at https://bpt.hpi.uni-potsdam.de/modellierung2024/panel/ Workshops - Modeling in the Age of Large Language Models - Research Data Management in Modelling in Computer Science - Virtues and Values in Conceptual Modeling and Requirements Engineering Social event includes visit to Museum Barberini, "Edvard Munch: Trembling Earth" More at https://www.museum-barberini.de/en In the name of the organizing committee Mathias Weske (General Chair & PC Co-Chair) and Judith Michael (PC Co-Chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Wed Feb 7 14:45:21 2024 From: announce at ucy.ac.cy (Announce) Date: Wed, 7 Feb 2024 13:45:21 +0000 Subject: [fg-arc] 12th IEEE International Conference on Intelligent Systems: Invited Session on Intelligent Tools in e/m/d Learning Message-ID: *** First Call for Papers *** 12th IEEE International Conference on Intelligent Systems (IS'24) Invited Session on Intelligent Tools for e/m/d Learning August 29-31, 2024, Golden Sands Resort, Varna, Bulgaria https://www.ieee-is.org (*** Submission Deadline: April 1, 2024 AoE ***) This invited session aims to explore state-of-the-art advancements in intelligent tools designed to revolutionize the landscape of e-learning (electronic learning), m-learning (mobile learning) and d-learning (digital learning). With the rapid integration of technology into education, there is a growing need to investigate and showcase innovative intelligent solutions that can enhance the effectiveness of online, mobile and digital learning environments. Intelligent solutions for the educational context can have a groundbreaking and revolutionary impact on learners and faculty alike, with integrated educational tools offering enhanced engagement, support for different learning levels, styles and abilities, and personalized learning experiences with immediate feedback at its core. Papers submitted to this session are expected to present results on various aspects of intelligent tools for e-learning, m-learning and d-learning. Topics may include but are not limited to adaptive learning systems, personalized learning experiences, artificial intelligence-driven content creation, data analytics for educational insights, and the integration of emerging technologies such as augmented reality and virtual reality in educational settings. Authors are encouraged to share empirical research, case studies, and practical implementations that demonstrate the impact of intelligent tools on learner/faculty engagement, knowledge retention, and overall educational outcomes. The session aims to provide a comprehensive overview of the current state-of-the-art in intelligent tools in e-learning, m-learning and d-learning, fostering discussions on their implications for the future of education and their potential to address challenges in diverse learning environments and educational levels, as well as diverse learner ability. PAPER SUBMISSION INSTRUCTIONS Submitted papers should be in IEEE 2-column format and should adhere to the template available here: https://www.ieee-is.org/wp-content/uploads/2024/02/IS_A4_format-AAu.docx The expected paper length in camera-ready format should not exceed 6 pages. Submissions should be done in PDF using Easy Chair and the submission link is: https://easychair.org/conferences/?conf=itl24 . PUBLICATION All accepted papers will be included in the IS'24 proceedings to be published by IEEE. The proceedings of the previous editions of IS can be found here: https://ieeexplore.ieee.org/xpl/conhome/1000395/all-proceedings . Traditionally, extended versions of conference-selected papers appear within 1-2 years after the conference dates in well-known international iournals and/or post-conference books. More information can be found on the conference web site (https://www.ieee-is.org/publication-information/ ). CONTACT POINT For any additional information or clarification please contact the Invited Session Chair, George A. Papadopoulos at george at ucy.ac.cy . IMPORTANT DATES • Paper submission: April 1, 2024, AoE • Notification: May 15, 2024 • Camera Ready: June 6, 2024 • Author Registration: June 6, 2024 ORGANISATION Committees https://www.ieee-is.org/program-committee/ Invited Session Chair • George A. Papadopoulos, University of Cyprus, Cyprus (george at ucy.ac.cy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From L.Jozwiak at tue.nl Wed Feb 7 21:40:24 2024 From: L.Jozwiak at tue.nl (Jozwiak, Lech) Date: Wed, 7 Feb 2024 20:40:24 +0000 Subject: [fg-arc] =?cp1250?q?CPS=26IoT=922024_Summer_School_and_Conferenc?= =?cp1250?q?e_Event_-_Deadline_Extension?= In-Reply-To: References: Message-ID: Paper Submission Deadline: 15 March 2024 Reduced participation fee: till 30 March 2024 Dear Colleagues, You are encouraged to participate in the CPS&IoT’2024 Summer School - the 5th Summer School on Cyber-Physical Systems and Internet-of-Things and submit papers to the CPS&IoT'2024 Conference - the 12th International Conference on Cyber-Physical Systems and Internet-of-Things that will be held in the Conference Venue: Hotel Budva, Budva, Montenegro, and online, 11-14 June, 2024. Special Focus: Green CPS&IoT for Green World Special Theme of CPS&IoT’2024: Artificial Intelligence, Edge Computing, Architectures, Methods and Tools for Autonomous Robots, Vehicles, Assistive, Environmental and other advanced CPS&IoT The Summer School as a part of a major European CPS&IoT’2024 Conference Event composed of: * CPS&IoT’2024 Summer School – the 5th Summer School on Cyber-Physical Systems and Internet-of-Things, * CPS&IoT’2024 Conference - the 12th International Conference on Cyber-Physical Systems and Internet-of-Things, and * MECO'2024 Conference - the 13th Mediterranean Conference on Embedded Computing (more details: https://mecoconference.me/ss-cpsiot2024/). Registration to CPS&IoT’2024 Summer School entitles to free participation in CPS&IoT’2024 Conference and MECO’2024 Conference sessions. A distinguishing feature of the CPS&IoT’2024 Summer School is that its lectures, demonstrations, and practical hands-on sessions: • are based on results from numerous currently running or recently finished European R&D projects in Cyber-Physical Systems (CPS), Internet-of-Things (IoT) and Artificial Intelligence (AI), and • will be given by top specialists in particular CPS, IoT and AI fields form European industry and academia, and will deliver very fresh advanced knowledge. The School gives a unique opportunity to interact with outstanding specialists in the CPS, IoT and AI area. Both industrial participation and academic participation are encouraged. Ph.D. students and Postdocs participation is especially encouraged. Only a limited number of participants will be admitted to the CPS&IoT’2023 Summer School. Register as soon as possible. Reduced participation fee is till 30 March 2024. To submit your application and register follow the instructions at the CPS&IoT’2024 Summer School web-page: https://mecoconference.me/ss-cpsiot2024/#registration In case of any problem or question related to the registration or fee payment please do not hesitate to contact Radovan Stojanović (stox at ac.me). In case of questions related to the CPS&IoT’2023 Summer School Program please contact Lech Jóźwiak (L.Jozwiak at tue.nl). You are encouraged to submit your papers to the CPS&IoT’2024 Conference or MECO’2024 Conference – Paper Submission Deadline: 15 March 2024. To submit papers follow the instructions at the CPS&IoT’2024 Conference web-page: https://mecoconference.me/cpsiot-submissions/. Please distribute this Call among your colleagues, students, and within your project consortia. Best regards, Lech Jóźwiak Program Chairman of the CPS&IoT’2024 Summer School and Conference Event Eindhoven University of Technology, The Netherlands and Radovan Stojanović Organizing Chairman of the CPS&IoT’2024 Summer School and Conference Event University of Montenegro, Montenegro -------------- next part -------------- An HTML attachment was scrubbed... URL: From gisellitto at unisa.it Thu Feb 8 10:21:32 2024 From: gisellitto at unisa.it (Giulia SELLITTO) Date: Thu, 8 Feb 2024 10:21:32 +0100 Subject: [fg-arc] Call for Participation - 17th International Summer School on Software Engineering (ISSSE 2024) Salerno, Italy Message-ID: 17th International Summer School on Software Engineering ISSSE 2024, co-located with EASE 2024 June 17-18, 2024 University of Salerno, Italy https://sesalabunisa.github.io/ISSSE-2024/ THEME The 17th edition of the International Summer School on Software Engineering intends to provide a contribution to PhD students and academic and industrial researchers on latest findings in the field of Software Engineering. The invited lecturers are internationally recognised research leaders and will cover very relevant topics for the scientific community, including evidence-based research, software security, AI based code generation, and software testing. The program of the school will aim at creating discussion forums between lecturers and industrial and academic attendees. Submission of student talks and tool demos will also be encouraged to further stimulate the discussion. DOCTORAL SYMPOSIUM This year, ISSSE 2024 is co-located with the 28th Edition of the International Conference on Evaluation and Assessment in Software Engineering (EASE 2024). EASE is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A conference in CORE. ISSSE 2024 attendees are invited to submit papers to the EASE 2024 tracks, in particular to the Doctoral Symposium track which will be open to ISSSE 2024 attendees. See https://conf.researchr.org/home/ease-2024 for more information. LECTURERS Muhammad Ali Babar, University of Adelaide, Australia “Evidence-Based Research for Supporting Software Security in Software Development: Methodological Challenges & Strategies” Gabriele Bavota, University of Lugano, Switzerland “AI-based Code Generation: Achievements and Open Problems” Mark Harman, Meta and University College London, United Kingdom “The Role of Software Measurement in Assured LLM-Based Software Engineering“ SCHOOL LOCATION The school will be held at the campus of the University of Salerno, located in Via G. Paolo II, 132, I-84084 Fisciano (SA), Italy. The University of Salerno is very close to some of the most beautiful and historical places of Italy, such as Amalfi Coast, Capri, Pompei, and Paestum. REGISTRATION AND INFORMATION Registration fees are EUR 300 for early registration (EUR 400 for late registration). They include admission to all the lectures and to the EASE 2024 Doctoral Symposium, slides and other materials prepared by the lecturers, luncheons, coffee breaks, and social functions. The deadline for early registration is May 5th, 2024. Detailed information about program, registration, travel, and accommodation is available at: https://sesalabunisa.github.io/ISSSE-2024/ ORGANIZED BY Software Engineering Lab Department of Informatics University of Salerno, Italy https://sesalabunisa.github.io/ CONTACT INFORMATION International Summer School on Software Engineering Scientific Secretariat Department of Informatics University of Salerno Via Giovanni Paolo II, 132, 84084 Fisciano (SA), Italy phone: +39 089 963381 e-mail: sesalab at unisa.it URL: https://sesalabunisa.github.io/ISSSE-2024/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Fri Feb 9 10:07:28 2024 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 9 Feb 2024 10:07:28 +0100 Subject: [fg-arc] Call for Papers: HCSE 2024 Conference on Human-Centered Software Engineering (submissions due: February 16 / April 5) Message-ID: <5b49689b-e975-45ed-994f-378a80474d9f@uni-paderborn.de> *(Apologies if you receive multiple e-mails on this subject via different channels!)* *_One week_ left for submission of technical full papers & late breaking results! * -------------------------------------------------------------------------------- *HCSE 2024* *Call for Papers* *10th International Working Conference on Human-Centered Software Engineering* *8th to 10th of July, 2024, Reykjavik, Iceland*** *http://www.hcse-conference.org* ** *Submission dates:* *Technical full papers, late breaking results: *Friday, February 16th, 2024 *Demos, posters and Discussion Forum short papers*: Friday, April 5th, 2024 *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes - more info on the topics on: https://hcse-conference.org/ A novelty of *HCSE 2024* is the *Discussion Forum for PhD students* who want to present and intensively discuss with established researchers their research ideas and get feedback and/or guidance for the continuation of their work in a friendly and constructive atmosphere. Altogether, HCSE 2024 welcomes the following types of contributions: * * * Technical full papers (up to 20 pages) * Late-breaking result papers (up to 12 pages) * Demonstration papers (5–8 pages) * Poster papers (5–8 pages, plus poster design draft) * Discussion Forum papers from PhD students (5–8 pages, plus poster design draft) * * Further information on these formats can be obtained from:https://hcse-conference.org/ All accepted papers will appear in the conference proceedings published by Springer in the *LNCS* series. *Submissions and Reviewing Process* All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*; demonstrations, posters and Discussion Forum submissions *single-blind*. Authors must prepare their submission files accordingly! For poster and Discussion Forum submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Proceedings* All accepted papers will appear in conference proceedings published by Springer.They must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results papers to give tool demos as well without submitting additional demo papers. * * *Important Dates* *Technical full and late breaking results papers* -Submission: Friday, February 16th, 2024 -Notification to authors: Friday, March 22nd, 2024 -Camera-ready due: Friday, April 19th, 2024 *Demos, posters and Discussion Forum short papers* -Submission: Friday, April 5th, 2024 -Notification to authors: Friday, April 19th, 2024 -Camera-ready due: Friday, May 3rd, 2024 *Conference dates*: July 8th – 10th, 2024 * * *Organizers* *General Conference Chairs:* * Marta Kristín Lárusdóttir, Reykjavik University, Iceland * Bilal Naqvi, LUT University, Lappeenranta, Finland *Technical Paper Chairs:* * Carmelo Ardito, LUM Giuseppe Degennaro University, Italy * Regina Bernhaupt, Eindhoven University of Technology, The Netherlands * Stefan Sauer, Paderborn University, Germany *Demos & Posters Chair:* Bilal Naqvi, LUT University, Lappeenranta, Finland *Discussion Forum for PhD Students Chair:* Marta Kristín Lárusdóttir, Reykjavik University, Iceland *Local Organizers:* * Marta Kristín Lárusdóttir, Reykjavik University, Iceland * Anna Sigríður Islind, Reykjavik University, Iceland * Grischa Liebel, Reykjavik University, Iceland -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Feb 12 15:45:16 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 12 Feb 2024 14:45:16 +0000 Subject: [fg-arc] 21st International Conference on Software and Systems Reuse (ICSR 2024): Last Call for Papers Message-ID: <3FT5HSG7-X2BK-407A-JOV2-3RK2R26LE5I8@ucy.ac.cy> *** Last Call for Papers *** 21st International Conference on Software and Systems Reuse (ICSR 2024) June 10-12, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/icsr2024/ (*** Submission Deadline: March 4, 2024 AoE (extended) ***) The International Conference on Software and Systems Reuse (ICSR) is a biannual conference in the field of software reuse research and technology. ICSR is a premier event aiming to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The guiding theme of this edition is Sustainable Software Reuse. We invite submissions on new and innovative research results and industrial experience reports dealing with all aspects of software reuse within the context of the modern software development landscape. Topics include but are not limited to the following. 1 Technical aspects of reuse, including • Reuse in/for Quality Assurance (QA) techniques, testing, verification, etc. • Domain ontologies and Model-Driven Development • Variability management and software product lines • Context-aware and Dynamic Reuse • Reuse in and for Machine Learning • Domain-specific languages (DSLs) • New language abstractions for software reuse • Generative Development • COTS-based development and reuse of open source assets • Retrieval and recommendation of reusable assets • Reuse of non-code artefacts • Architecture-centric reuse approaches • Service-oriented architectures and microservices • Software composition and modularization • Sustainability and software reuse • Economic models of reuse • Benefit and risk analysis, scoping • Legal and managerial aspects of reuse • Reuse adoption and transition to software reuse • Lightweight reuse approaches • Reuse in agile projects • Technical debt and software reuse 2 Software reuse in industry and in emerging domains • Reuse success stories • Reuse failures, and lessons learned • Reuse obstacles and success factors • Return on Investment (ROI) studies • Reuse in hot topic domains (Artificial Intelligence, Internet of Things, Virtualization, Network functions, Quantum Computing, etc.) We welcome research (16 pages) and industry papers (12 pages) following the Springer Lecture Notes in Computer Science format. Submissions will be handled via EasyChair (https://easychair.org/my/conference?conf=icsr2024). Submissions will be **double-blindly** reviewed, meaning that authors should: • Omit all authors’ names and affiliations from the title page • Do not include the acknowledgement section, if you have any, in the submitted paper • Refer to your own work in the third person • Use anonymous GitHub, Zenondo, FigShare or equivalent to provide access to artefacts without disclosing your identity Both research and industry papers will be reviewed by members of the same program committee (check the website for details). Proceedings will be published by Springer in their Lecture Notes for Computer Science (LNCS) series. An award will be given to the best research and the best industry papers. The authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material) to a special issue in the Journal of Systems and Software (Elsevier). More details will follow. IMPORTANT DATES • Abstract submission: February 26, 2024, AoE (*** extended ***) • Full paper submission: March 4, 2024, AoE (*** extended ***) • Notification: April 8, 2024, AoE • Camera Ready: April 15, 2024, AoE • Author Registration: April 15, 2024 AoE ORGANISATION Steering Committee • Eduardo Almeida, Federal University of Bahia, Brazil • Goetz Botterweck, Lero, University of Limerick, Ireland • Rafael Capilla, Rey Juan Carlos University, Spain • John Favaro, Trust-IT, Italy • William B. Frakes, IEEE TCSE committee on software reuse, USA • Martin L. Griss, Carnegie Mellon University, USA • Oliver Hummel, University of Applied Sciences, Germany • Hafedh Mili, Université du Québec à Montréal, Canada • Nan Niu, University of Cincinnati, USA • George Angelos Papadopoulos, University of Cyprus, Cyprus • Claudia M.L. Werner, Federal University of Rio de Janeiro, Brazil General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs • Achilleas Achilleos, Frederick University, Cyprus • Lidia Fuentes, University of Malaga, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From kosiolje at mathematik.uni-marburg.de Mon Feb 12 09:49:48 2024 From: kosiolje at mathematik.uni-marburg.de (Jens Kosiol) Date: Mon, 12 Feb 2024 09:49:48 +0100 Subject: [fg-arc] ICGT '24 Final Call for Papers Message-ID: [apologies for cross-posting] ***** FINAL CALL FOR PAPERS ***** ================================================================= 17th International Conference on Graph Transformation (ICGT 2024)   web: https://conf.researchr.org/home/icgt-2024 Part of STAF 2024, 8th-12th July in Twente, NL   web: https://conf.researchr.org/home/staf-2024 ================================================================= ** AIMS AND SCOPE ** The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights. The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and provide leeway for new ideas. The 17th International Conference on Graph Transformation (ICGT 2024) will be held at the University of Twente in Enschede, NL, as part of STAF 2024 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. --------------------------------------- ** IMPORTANT DATES ** Abstracts:              20 Feb 2024 Paper Submission:       27 Feb 2024 Notification:           23 Apr 2024 Final version due:      14 May 2024 Conference:             within 8-12 Jul 2024 All deadlines are by end-of-day, AoE --------------------------------------- ** TOPICS ** In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2024 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one. Topics of interest include, but are not limited to the following subjects: - General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Structuring and modularisation of graph transformation - Hierarchical graphs and decomposition of graphs - Parallel, concurrent, and distributed graph transformation - Graph-theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Term graph and string diagram rewriting - Petri nets and other models of concurrency - Bigraphs and bigraphical reactive systems - Computational models based on graphs - Model checking, program analysis and verification, simulation and animation - Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual) - Graph databases and graph queries - Model-driven development and model transformation - Business process models and notations - Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation) - Syntax, semantics and implementation of programming languages, including domain-specific and visual languages - Graph transformation languages and tool support - Efficient algorithms (e.g. pattern matching, graph traversal, network analysis) - Graph-based machine learning, including graph neural networks and models of rule inference - Graph transformation and artificial intelligence (e.g., AI for graph transformations, applying graph transformations in AI engineering and search-based software engineering) --------------------------------------- ** SUBMISSION TYPES ** Authors are invited to submit papers in four possible categories, which must be prepared using Springer's LNCS format. (1) Regular research papers (up to 16 pages, excluding references and appendices), including papers describing applications and case studies. Papers will be evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers (but not publication) may be included in a clearly marked appendix. (2) Tool presentation papers (up to 8 pages, excluding references and appendices), which demonstrate the main features and functionality of graph-based tools. A tool presentation may have an appendix with a detailed demo description (up to 4 pages) which will be reviewed but not included in the proceedings. (3) "Blue Skies" (up to 8 pages), reporting on new research directions or ideas which are not yet sufficiently developed to fit in other categories. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Furthermore, there will also be a "Journal-First" track allowing for previously published work (in book chapters, journals, or other conferences since 2020) to be presented at ICGT 2024. The submission deadline for the Journal-First track will be later and announced separately. Please refer to the ICGT 2024 website for further information as well as the Easychair submission link: https://conf.researchr.org/home/icgt-2024 --------------------------------------- ** SPECIAL ISSUE ** Authors of the best papers at the conference will be invited to prepare and submit extended journal versions to be considered for publication in a special issue after an independent round of peer review (details TBA). --------------------------------------- ** ORGANISATION ** Programme Chairs * Russ Harmer (CNRS, Lyon, France) * Jens Kosiol (Philipps-Universität Marburg & Universität Kassel, Germany) Programme Committee * Nicolas Behr (CNRS, Paris, France) * Paolo Bottoni (Sapienza University of Rome, Italy) * Andrea Corradini (Università di Pisa, Italy) * Juergen Dingel (Queens University, Ontario, Canada) * Rachid Echahed (CNRS, Grenoble, France) * Jörg Endrullis (Vrije Universiteit Amsterdam, Netherlands) * James Fairbanks (University of Florida, USA) * Maribel Fernandez (King's College London, UK) * Fabio Gadducci (Università di Pisa, Italy) * Reiko Heckel (University of Leicester, UK) * Barbara König (Universität Duisburg-Essen, Germany) * Leen Lambers (BTU Cottbus - Senftenberg, Germany) * Juan De Lara (Universidad Autonoma de Madrid, Spain) * Yngve Lamo (Høgskulen på Vestlandet, Norway) * Mark Minas (Universität der Bundeswehr München, Germany) * Fernando Orejas (Technical University of Catalonia, Spain) * Detlef Plump (University of York, UK) * Chris Poskitt (Singapore Management University, Singapore) * Arend Rensink (University of Twente, Netherlands) * Andy Schürr (TU Darmstadt, Germany) * Gabi Taentzer (Philipps-Universität Marburg, Germany) * Kazunori Ueda (Waseda University, Japan) * Steffen Zschaler (King's College London, UK) --------------------------------------- ** CONTACT ** All questions about submissions should be emailed to both PC Chairs via russell.harmer at ens-lyon.fr and kosiolje at mathematik.uni-marburg.de --------------------------------------- From stavros at helvia.ai Wed Feb 14 17:56:25 2024 From: stavros at helvia.ai (Stavros Vassos) Date: Wed, 14 Feb 2024 19:56:25 +0300 Subject: [fg-arc] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS Message-ID: <1707927669783.cb91a47d-91e4-482d-a516-335bd9dcccd9@bf01.hubspotstarter.net> FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions (1st call) : 25 March 2024 Conference web site: www.kr.org/KR2024 -- First Call for Tutorial and Workshop Proposals-- The 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) solicits proposals for its tutorial and workshop program. Tutorials and workshops will be held on 2nd to 4th of November 2024, prior to the KR main technical program. KR will take place physically in Hanoi, Vietnam. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. -- Important Dates -- • Proposal submission deadline: March 25, 2024 • Notification: April 17, 2024 • Workshop paper submission deadline: July 17, 2024 • Workshop paper notification: August 21, 2024 • Workshop registration deadline: September 4, 2024 • Tutorial and workshop dates: November 2-4, 2024 -- Submission Instructions -- Each proposal (tutorial or workshop) should be in English and must be submitted electronically to the Workshop and Tutorial track of KR 2024. The submission site will open on Thursday 15 February 2024. For all accepted proposals, KR will take care of all local arrangements. -- Submission Requirements for Tutorial Proposals -- KR tutorials are half-day or (exceptionally) full-day events that introduce general or special topics in KR and relevant neighboring areas. They can be first introductions to an established area or an emerging field, but also advanced courses on specialized methods or new approaches. The content should be adequately established and balanced, and not be limited to advertising an individual research work or product. A focus on specific tools and methodologies can still be useful to offer concrete examples and hands-on activities to participants. Each accepted tutorial will entitle a discount on the KR registration fee for one tutorial presenter. Each tutorial proposal should contain the following information: • Title, presenters and proposed length of the tutorial (half-day is recommended, but an argument can be made for a full-day tutorial) • A half-page introduction to the tutorial's subject and relevance to KR • A half-page on the target audience, prerequisite knowledge, and learning goals • One page outline of the tutorial contents and intended structure • A brief resume of each presenter including name, affiliation, email address, and evidence of scholarship in the area, mentioning relevant publications or professional experience. The main duties of tutorial organizers are: • Setup a web-page for the tutorial, which should at least include the information from the proposal, tutorial material and related references. • Deliver the tutorial at KR 2024. A future call will provide details on the presentation options. -- Submission Requirements for Workshop Proposals -- Workshops provide a place to exchange ideas in emerging fields in KR research and application. They can take many forms, including mini-conferences (with peer-reviewed publications), competitions and shared tasks, working sessions (discussions, hackathons, etc.), line-ups of invited contributions, or a mix of these. Innovative formats are welcome, but organizers must provide means of estimating attendance and required length up-front (by number of submissions, invited speakers, or early registered participants). Workshop proposals can use up to 4 pages, which should include the following information: • Title, acronym of the workshop, proposed duration (half day, one day, ...) • Workshop description: goals, format, and expected activities during the workshop • Audience: target audience, research groups in the area, planned or confirmed invited speakers, expected number of submissions and participants • Related events: history of the workshop (if applicable), relationship to recent similar events • Tentative list of PC members with their respective affiliations • A brief resume of each organizer including name, affiliation, contact details, and evidence of scholarship in the area, mentioning relevant publications or professional experience. • Appendix: tentative call for contributions The main duties of the chair(s) of each accepted workshop are: • Set up a webpage for the workshop • Advertise the workshop, distribute its call for papers and call for participation • Coordinate the peer-reviewing of submitted contributions • If workshop proceedings are desired, it is the duty of the organizers to produce and distribute their workshop proceedings • Organize a schedule for the workshop in collaboration with the local organizers and the KR workshop co-chairs • Coordinate and moderate the workshop participation and content KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. -- Inquiries -- Inquiries should be sent by email to the KR 2024 Tutorial and Workshop Chairs: • Elena Botoeva, University of Kent (e.botoeva at kent.ac.uk) • Abhaya Nayak, Macquarie University, Australia (abhaya.nayak at mq.edu.au) KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-H6W2zKWG21S3vHlW30hY_m2-fLZ2W2HZxkc24RPNrW4mkvJg2Wsww4W3d7k5X43rf_rW1VgCKT41zy3jW2TwfF34r9C5gW2YKvZq2Pt8_TW1XglMW3P8NZLW2PmfV5233wjBW49KV0V4tD5yWW3F1ckj1Skj5yW4kLJ7f3VM_CNW3B-9lK4czjgSW3XZxnj4kv221W1ZqwWv2qLGPtW1ZtR_j4pr4BZW2CqQ3G3VMy5_W20YcSw3_ZbyMW24_BWk41VcPPW2zLcBw3SZ53FW36Djkc2xwTj7W3P5WFd3F04jBW2RRWrY4pq9-jW1SdfDC1V9C81W1VnNbz3M7NDZW3QZQxv2zDSfSW253JnL34G_-0W20XPq13Fd3NMW3Vz_k53ZM_zTW1Qs-7X2KXDZvW3j0BFg1_bZYYW49HP1G21c9K4W2v_TP42t4-F3W1-_0wz4hxL-jW3gbpDz2Tq_ZhW34vnYt3BQ27xW2-J1XG4tdJYvW3_Mlxs3zhNwXW3SQJfM2MLVgQW41zYnl4mGMCxW3dykx72PTpLGW3R2mlk4mlGh_W364zpT1Qld94W3f-P9q2p3Nx1W4kfrM44pFPlvf47R5Ff04&_hsenc=p2ANqtz-80jGZhni-wll5NtBu25v3B9dLBe-dlFHUmFUw5FJq3le9JkA4xQtgotRsjfNJ6AmtyL7Bw0FxMAfHU1MuWD33axsJpCNNtUSB3EtCDL7LzNgFO_Wo&_hsmi=294125681 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From gisellitto at unisa.it Thu Feb 15 12:21:12 2024 From: gisellitto at unisa.it (Giulia SELLITTO) Date: Thu, 15 Feb 2024 12:21:12 +0100 Subject: [fg-arc] Call for Papers - Workshops co-located with EASE 2024 - Evaluation and Assessment in Software Engineering Message-ID: Call for Papers Workshops co-located with the 28th International Conference on Evaluation and Assessment in Software Engineering (EASE 2024) June 21st, 2024 University of Salerno, Italy https://conf.researchr.org/track/ease-2024/ease-2024-workshops EASE is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A conference in CORE; the 28th edition will take place in Salerno, Italy, from June 18th to 21st. Following the tradition of previous conferences, EASE 2024 will host a number of workshops, during the day after the main conference (Friday, June 21st). The workshops will provide a collaborative forum to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussions of innovative ideas, recent progress, or practical experience on evidence-based software engineering. This year, five workshops are co-located with EASE, all sharing the same important dates, which can be found at the end of this message. WORKSHOPS DETAILS 4th International Workshop on Software Security: Challenges, Opportunities, and Lessons Learned (Secure Software ’24) Organized by: Sajjad Mahmood, Mohammad Alshayeb, and Mahmood Niazi Description: Over the last decade, many organizations have focused on software security because modern applications typically operate in a hostile network-based environment. Traditionally, organizations have tried to address security concerns by finding and fixing security vulnerabilities once the software development cycle is completed. Software needs to be secured against any unauthorized users, and this can be achieved by incorporating security mechanisms into different phases of the software development lifecycle. However, incorporating security practices and processes into different software development life cycle phases remains a challenge. Software security is evolving due to increasing failure rates of software projects, economic downturn, software development without security in mind, globalization, and outsourcing. The empirical software engineering researchers need new approaches, models, and tools for addressing various emerging software security challenges in this modern age. There is a need for empirical evidence to support different new approaches in software security research and practice. This will provide researchers with innovative knowledge on developing different software security processes and practices. This will also help improve existing software security approaches and processes to build secure software effectively. This workshop will bring together and advance the work undertaken on software security. The outcome of this workshop will provide researchers and practitioners with a firm basis on which to develop different practices/ tools/ techniques based on an understanding of how and where they fit into secure software development and research. New practices/ tools/ techniques could then be developed targeting the secure software engineering community. 5th International DevOps Quality Management (DevOps-QM) Organized by: Arif Khan, Muhammad Azeem Akbar, and Shahid Hussain Description: DevOps is a framework that integrates both the development and operation activities and bridges the gap between them. DevOps practices are getting significant research and industrial attention because of its attributes, i.e., continuous value delivery, faster time to market, frequent accommodation of changes, and superior quality. The 2017 software trends highlighted that DevOps would become a well-established and accepted approach across the software industry. However, quality management plays a significant role between the development and operation silos. In DevOps, quality assurance works as a bridge between all the disciplines from customers and business to development and operation. For instance, exploring the quality management issues in DevOps becomes an urgent need for software companies striving to adopt DevOps practices. This workshop aims to provide a venue for advances in state of the art in DevOps quality management approaches, practices, and tools. To this end, the workshop brings together experts from academia and industry, working in the diverse areas of quality assurance, testing, performance engineering, agile software engineering, and model-based development to identify, define, and disseminate novel quality-aware approaches to DevOps. Security Testing for Complex Software Systems (SECUTE) Organized by: Emanuele Iannone, Valeria Pontillo, Coen De Roover, and Riccardo Scandariato Description: Modern software systems have increasing complexity and risk falling into security issues if such systems are not developed with a proper security mindset. Security testing is one recommended activity to employ for ensuring highly secure systems. However, there is still a need for new empirically grounded methods, techniques, and investigations that tackle the challenges of new application domains and facilitate developers’ adoption of security testing practices and tools. This workshop aims to foster a community where researchers and practitioners can discuss novel ideas and share fresh insights on the security testing of software systems. The purpose is to channel attention to new application domains adopting unconventional and more complex architectures, like AI-based, cyber-physical, Virtual Reality, or IoT systems. Empirical Studies for Quantum Software Engineering (E-QSE) Organized by: Fabiano Pecorelli, Maria Teresa Baldassarre, and Manuel A. Serrano Description: Quantum Programming has been increasingly recognized in recent years, with a growing consensus among researchers and practitioners that this emerging technology has the potential to significantly reshape the landscape of computation. The workshop’s objective is to foster a community where both researchers and practitioners can engage in discussions about novel ideas and share fresh insights on Empirical Studies in Quantum Software Engineering, with the ultimate goal of addressing previously unsolved problems. Workshop on evaLuation and assEssment in softwARe eNgineers’ Education and tRaining (LEARNER) Organized by: Beatriz Marin, Tanja E. J. Vos, Anna Rita Fasolino, Felix Cammaerts, and Mehrdad Saadatmand Description: Software engineers need to acquire a rich set of soft and hard skills in order to be able to deliver high-quality software systems that meet stakeholders’ needs. Such a skill set can be acquired through different educational and training approaches: from formal education in schools and universities to workplace training and capstone projects, from offline classes to those online, from coding clubs to boot camps and contests, up to the use of any resource or technology for the education and training of present and future software engineers. These educational and training approaches need to be assessed by educators or trainers. To do so, it is needed to compare the desired or expected learning outcomes with the actual results. LEARNER 2024 is a workshop interested in any aspect concerning the evaluation and assessment of educational and training approaches for present and future software engineers. Contributions aiming to evaluate and assess the skills above-mentioned, as well as engagement and retention in the education and training of software engineers, are also of interest to the workshop. IMPORTANT DATES (Same for all the five workshops) Submission deadline: March 8th, 2024 Notification: April 12th, 2024 Camera ready deadline: April 26th, 2024 Early registration deadline: May 5th, 2024 WORKSHOPS CO-CHAIRS Davide Di Ruscio, University of L'Aquila (Italy) Sira Vegas, Universidad Politecnica de Madrid (Spain) ADDITIONAL INFORMATION For further information please visit EASE website ( https://conf.researchr.org/track/ease-2024/ease-2024-workshops) and follow our X account (https://twitter.com/ConfEASE) #EASE2024 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Thu Feb 15 14:41:50 2024 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Thu, 15 Feb 2024 14:41:50 +0100 Subject: [fg-arc] Einladung zum Fachgruppentreffen am 28.02. bei der SE24 Message-ID: <8e7f5a00-f64e-4015-8c9d-19a6cdbe10c5@uni-paderborn.de> Liebe Mitglieder GI-Fachgruppe Architekturen, wir beabsichtigen, im Rahmen der Konferenz Software Engineering (SE24) in *Linz *ein Fachgruppentreffen abzuhalten. Das Fachgruppentreffen findet am Mittwoch, den *28. Februar 2024* um *14:00 Uhr* im Besprechungsraum 5 der JKU statt. Folgende *Agenda *haben wir vorgesehen: * Begrüßung * Berichte aus FG-Leitung und Arbeitskreisen * Gründung eines AKs "Modellierung sicherer Software" * Initiierung weiterer AKs * Webseite der Fachgruppe * Planung FG-Konferenz "Architekturen" * Verschiedenes Ergänzungswünsche für weitere Agendapunkte berücksichtigen wir sehr gern. Wir freuen uns auf eine rege Teilnahme. Viele Grüße im Namen der Fachgruppenleitung Stefan Sauer -- "Software.Innovation.Zukunft" Follow us @ Twitter: SICPaderborn, SoftwareQLab Follow me @ Twitter: stsauer13 -- Prof. Dr. Stefan Sauer Diplom-Informatiker Geschäftsführer F&E-Manager "Software Engineering" Senior Researcher Universität Paderborn | SICP - Software Innovation Campus Paderborn Software Innovation Lab Zukunftsmeile 2 33102 Paderborn Fon +49 5251 60-6820 Fax +49 5251 60-6819 E-Mailsauer at uni-paderborn.de Web go.uni-paderborn.de/sauer www.sicp.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/vcard Size: 464 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5449 bytes Desc: Kryptografische S/MIME-Signatur URL: From Jochen.Quante at de.bosch.com Thu Feb 15 08:20:11 2024 From: Jochen.Quante at de.bosch.com (Quante Jochen (CR/ADX4.2)) Date: Thu, 15 Feb 2024 07:20:11 +0000 Subject: [fg-arc] Call for Papers: WSRE 2024 - Reminder Message-ID: Call for Papers: WSRE 2024 26. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum Bad Honnef, 29.-30. April 2024 https://fg-sre.gi.de/veranstaltung/26-workshop-software-reengineering-evolution Der Workshop findet vom 29. bis 30. April 2024 im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer*innen erfolgt wie üblich im Physikzentrum: https://www.dpg-physik.de/dpg/pbh/ Die Anreise und Übernachtung im Physikzentrum ist bereits am 28. April möglich. Eingereicht werden können Erfahrungs-, Ergebnis- und Projektberichte, Diskussionsbeiträge sowie Vorschläge für Tool-Demos aus der Forschung und Praxis. Die Einreichung eines Papers zur Tool-Demo ist optional. Einreichungen bitte über EasyChair: https://easychair.org/conferences/?conf=wsre2024 Als Beiträge werden erweiterte Kurzfassungen in deutscher oder englischer Sprache auf maximal zwei Seiten im Format der Softwaretechnik-Trends erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE und Hinweise zum Format unter https://fb-swt.gi.de/publikationen/softwaretechnik-trends Bitte beachten Sie auch die separate Ausschreibung für studentische Arbeiten mit "Best Student Paper Award": https://fg-sre.gi.de/aktivitaeten/call-for-student-papers/2024 Zeitplan: - Einreichung der Kurzfassungen: 23. Februar 2024 - Benachrichtigung über die Annahme: 22. März 2024 - Einreichung der druckfertigen Endfassung: 12. April 2024 - Anmeldeschluss zur Teilnahme: 12. April 2024 Organisatoren für die FG SRE: Jochen Quante, Marco Konersmann, Stefan Sauer, Daniela Schilling, Sandro Schulze Kontakt: mailto:wsr at uni-koblenz.de Mit freundlichen Grüßen / Best regards Dr. Jochen Quante Senior Expert Software Analysis & Design
Dependable Cyber-Physical Systems Engineering (CR/ADX4) Robert Bosch GmbH | Renningen | 70465 Stuttgart | GERMANY | www.bosch.com Tel. +49 711 811-42170 | Mobile +49 1525 8813421 | Fax +49 711 811-24932 | Jochen.Quante at de.bosch.com Registered Office: Stuttgart, Registration Court: Amtsgericht Stuttgart, HRB 14000; Chairman of the Supervisory Board: Prof. Dr. Stefan Asenkerschbaumer; Managing Directors: Dr. Stefan Hartung, Dr. Christian Fischer, Dr. Markus Forschner, Stefan Grosch, Dr. Markus Heyn, Dr. Frank Meyer, Dr. Tanja Rückert From Cassia.Trojahn at irit.fr Thu Feb 15 13:40:22 2024 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 15 Feb 2024 13:40:22 +0100 Subject: [fg-arc] =?utf-8?q?Third_Call_for_Papers=3A_Special_issue_on_Ont?= =?utf-8?q?ology_Matching_and__Machine_Learning_=28Semantic_Web_Journal=29?= Message-ID: <356dbf-65ce0600-d-d8715d0@207218764> Special issue on Ontology Matching and Machine Learning https://www.semantic-web-journal.net/blog/special-issue-ontology-matching-and-machine-learning ------------------- This special issue aims to discuss the latest research proposals and on the use of machine learning for ontology matching, data interlinking, and data integration in general. Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. While early approaches have addressed the use of machine learning, new deep learning and large language models have gained attention in the field, proving new ways of capturing the relationships between the entities of different ontologies. The special issue aims at providing a comprehensive view of the latest research advancements and inspire further research in this evolving area. We welcome original research papers that propose novel techniques, models, and frameworks for ontology matching, data interlink and data integration. ------------------- Themes and Topics ------------------- We are interested in (including but not limited to) the following themes and topics that study the application of deep learning and large language models in general: - Matching and deep learning - Matching and large language models - Learning in instance matching, data interlinking - Large-scale and efficient matching techniques - Matching and neuro-symbolic techniques - Matcher selection, combination and tuning - User involvement - Explanations in matching - Social and collaborative matching - Uncertainty in matching - Expressive alignments - Reasoning with alignments - Alignment coherence and debugging - Matching for emerging applications (e.g., web tables, knowledge graphs) - Benchmarks for machine learning oriented matching ------------------- Deadline ------------------- Submission deadline: 20th February 2024. Papers submitted before the deadline will be reviewed upon receipt. ------------------- Author Guidelines ------------------- We invite full papers, dataset descriptions, application reports and reports on tools and systems. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this special issue. Authors can extend previously published conference or workshop papers; guidelines for this can be found in FAQ 9. Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Prospective authors must take notice of the submission guidelines posted at http://www.semantic-web-journal.net/authors. We welcome any submission type as described http://www.semantic-web-journal.net/authors#types. While there is no upper limit, paper length must be justified by content. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the "Ontology Matching and Machine Learning" special issue. All manuscripts will be reviewed based on the SWJ open and transparent review policy and will be made available online during the review process. Also note that the Semantic Web journal is open access and all submissions rely on an open and transparent review process (see FAQ 1). Finally please note that submissions must comply with the journal’s Open Science Data requirements, which are detailed in the corresponding blog post. ------------------- Guest Editors The guest editors can be reached at om-ml at googlegroups.com . ------------------- Cássia Trojahn, IRIT, France Sven Hertling, University of Mannheim, Germany Huanyu Li, Linköping University, Sweden Oktie Hassanzadeh, IBM Research, USA ------------------- Guest Editorial Board ------------------- Ernesto Jiménez-Ruiz, City, Univeristy of London, UK & SIRIUS, Univeristy of Oslo, Norway Pavel Shvaiko, Trentino Digitale, Italy Jérôme Euzenat, INRIA & Univ. Grenoble Alpes, France Vasilis Efthymiou, Harokopio University of Athens, Greece George Papadakis, National and Kapodistrian University of Athens, Greece Heiko Paulheim, University of Mannheim, Germany Catia Pesquita, Universidade de Lisboa, Portugal Pierre Monnin, Université Côte d’Azur, INRIA, France Alsayed Algergawy, University of Passau, Germany Yuan He, University of Oxford, United Kingdom Jiaoyan Chen, University of Oxford, United Kingdom Zhu Wang, University of Illinois, Chicago, USA Valentina Tamma, University of Liverpool United Kingdom Olivier Teste, Institut de Recherche en Informatique de Toulouse, France From luis.magdalena at upm.es Fri Feb 16 11:51:18 2024 From: luis.magdalena at upm.es (Luis Magdalena) Date: Fri, 16 Feb 2024 11:51:18 +0100 Subject: [fg-arc] [ECAI-2024] Call for PC Members for ECAI-2024 Message-ID: <71dcc39d-d92c-4ce0-9d1c-01ea2bc49932@upm.es> We are reaching out to the research community to ask for volunteers to join the programme committee of ECAI-2024, the 27th European Conference on Artificial Intelligence. We are looking for volunteers who have completed their PhD, who have published at good AI conferences in the past, and who have prior experience with reviewing. If you're interested, please sign up here: https://bit.ly/join-ecai-pc Thanks a lot for your support! -- Luis Magdalena Publicity Chair of the European Conference on Artificial Intelligence (ECAI-2024) -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Feb 19 16:39:58 2024 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 19 Feb 2024 16:39:58 +0100 Subject: [fg-arc] Call for Papers: HCSE 2024 Conference on Human-Centered Software Engineering (submissions due: February 16 / April 5) Message-ID: <780ccc9c-c8c8-47ac-8a59-79af76cffaea@uni-paderborn.de> *(Apologies if you receive multiple e-mails on this subject via different channels!)* *_ATTENTION: DEADLINE EXTENSION: Upon several requests, we have extended the submission deadline for Technical full papers and Late breaking results papers to February 26 AoE._* *_Shortcut to submission page: https://easychair.org/conferences/?conf=hcse2024._* _If you encounter problems with the link from the conference website to the EasyCair submission page (due to security settings), please copy the URL to your browser's address field. _*_ _* -------------------------------------------------------------------------------- *HCSE 2024* *Call for Papers* *10th International Working Conference on Human-Centered Software Engineering* *8th to 10th of July, 2024, Reykjavik, Iceland*** *http://www.hcse-conference.org* ** *Submission dates:* *Technical full papers, late breaking results: Monday*, *February 26th*, 2024 (NEW!) *Demos, posters and Discussion Forum short papers*: Friday, April 5th, 2024 *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes - more info on the topics on: https://hcse-conference.org/ A novelty of *HCSE 2024* is the *Discussion Forum for PhD students* who want to present and intensively discuss with established researchers their research ideas and get feedback and/or guidance for the continuation of their work in a friendly and constructive atmosphere. Altogether, HCSE 2024 welcomes the following types of contributions: * * * Technical full papers (up to 20 pages) * Late-breaking result papers (up to 12 pages) * Demonstration papers (5–8 pages) * Poster papers (5–8 pages, plus poster design draft) * Discussion Forum papers from PhD students (5–8 pages, plus poster design draft) * * Further information on these formats can be obtained from:https://hcse-conference.org/ All accepted papers will appear in the conference proceedings published by Springer in the *LNCS* series. *Submissions and Reviewing Process* All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*; demonstrations, posters and Discussion Forum submissions *single-blind*. Authors must prepare their submission files accordingly! For poster and Discussion Forum submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Proceedings* All accepted papers will appear in conference proceedings published by Springer.They must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results papers to give tool demos as well without submitting additional demo papers. * * *Important Dates* *Technical full and late breaking results papers* -Submission: Monday, February 26th, 2024 -Notification to authors: Friday, March 22nd, 2024 -Camera-ready due: Friday, April 19th, 2024 *Demos, posters and Discussion Forum short papers* -Submission: Friday, April 5th, 2024 -Notification to authors: Friday, April 19th, 2024 -Camera-ready due: Friday, May 3rd, 2024 *Conference dates*: July 8th – 10th, 2024 * * *Organizers* *General Conference Chairs:* * Marta Kristín Lárusdóttir, Reykjavik University, Iceland * Bilal Naqvi, LUT University, Lappeenranta, Finland *Technical Paper Chairs:* * Carmelo Ardito, LUM Giuseppe Degennaro University, Italy * Regina Bernhaupt, Eindhoven University of Technology, The Netherlands * Stefan Sauer, Paderborn University, Germany *Demos & Posters Chair:* Bilal Naqvi, LUT University, Lappeenranta, Finland *Discussion Forum for PhD Students Chair:* Marta Kristín Lárusdóttir, Reykjavik University, Iceland *Local Organizers:* * Marta Kristín Lárusdóttir, Reykjavik University, Iceland * Anna Sigríður Islind, Reykjavik University, Iceland * Grischa Liebel, Reykjavik University, Iceland -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Wed Feb 21 14:30:46 2024 From: announce at ucy.ac.cy (Announce) Date: Wed, 21 Feb 2024 13:30:46 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Last Call for Tutorial Proposals Message-ID: <1AKRYV2-1DGW-O85T-MKBF-128C5V4QA4I@ucy.ac.cy> *** Last Call for Tutorial Proposals *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 28th February, 2024 AoE ***) CAiSE'24 invites proposals for tutorials on advanced topics in the field of Information Systems Engineering. Tutorials should aim at offering new insights, knowledge, and skills to professionals, educators, researchers, and students seeking to gain a better understanding either about methods of broad interest in the field, or emergent paradigms that are ripe for practical adoption or that require further research to reach maturity. Proposals emphasizing the special theme of the CAISE'24 conference “Information Systems in the Age of Artificial Intelligence” are encouraged, but proposals on other new or long-standing topics in information systems engineering are also welcome. Tutorials should be focused on principles, concepts, and methods. Commercial or sales-oriented presentations are not allowed and will not be accepted. Tutorials are intended to provide a pedagogic introduction to or overview of a topic of relevance. Potential presenters should keep in mind that there may be a heterogeneous audience, including novice graduate students, experienced practitioners, and specialized researchers. Tutorial speakers should be prepared to cope with this diversity in the audience. Tutorials will be 90 minutes long and organized in parallel with the technical sessions of the main conference and participants of the conference will have free access to all of them. Potential proposers are free to contact the tutorial chairs via e-mail to validate their idea prior to the submission. SELECTION CRITERIA The tutorial chairs will review each proposal and select a subset of them based on the following criteria: 1. relevance to the field of IS engineering; 2. anticipated appeal to the conference audience; 3. timeliness and importance for the conference audience; 4. past experience and qualifications of the instructor(s). The tutorial chairs will also consider the complementarity of the proposal w.r.t. the conference program and other tutorial proposals. SUBMISSION GUIDELINES Tutorial proposals should be submitted to Easy Chair using the conference submission site (https://easychair.org/conferences/?conf=caise2024) and then selecting the “CAiSE 2024 Tutorials” track. The proposal (length up to 1500 words) should cover the following points: • Title • Presenters and affiliation • Goal: The overall goal of the tutorial. • Scope: Intended audience, level (basic or advanced), and prerequisites. • Topic relevance and novelty: Specifically indicate the relevance to the scope of CAiSE, the relevance to practice, the novel aspects that would make this tutorial beneficiary and appealing to CAiSE participants. • Structure of contents: Here you should provide a structured overview of your planned tutorial, organized into numbered sections and subsections. For each subsection, you should sketch its contents in a few sentences or bullet points. • References: Provide references to papers, books, etc. that your tutorial builds on. Please specify previous venues at which similar tutorials have been presented by you and indicate the difference between the proposed tutorial and previous ones. CAiSE usually does not accept tutorials that have been presented in other venues. • Sample Slides: Include at least 5 sample slides of the presentation you plan to give if your tutorial is accepted. Select slides that are typical of your presentation style. These slides have to be submitted in a separate PDF file. Services provided to tutorialists • A 2-page tutorial abstract will be published in the CAiSE LNCS proceedings • Tutorials will benefit from the local organizational infrastructure (registration, badges, refreshments, beamers, screens, etc.). • Advertisement of the tutorial on CAISE 2024 homepage and mailings. • The conference fee will be waived for tutorial presenters (one fee per tutorial). IMPORTANT DATES • Submission of Tutorial Proposals: 28th February, 2024 (AoE) • Notification of Acceptance: 15th March, 2024 • Camera-ready Abstracts: 5th April, 2024 • Tutorial Presenters Registration Deadline: 8th April, 2024 TUTORIAL CHAIRS • Adela del Rio Ortega, University of Seville, Spain (adeladelrio at us.es) • Tiago Prince Sales, University of Twente, The Netherlands (t.princesales at utwente.nl) Other Committee Members https://cyprusconferences.org/caise2024/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Fri Feb 23 11:31:26 2024 From: announce at ucy.ac.cy (Announce) Date: Fri, 23 Feb 2024 10:31:26 +0000 Subject: [fg-arc] CAiSE'24 Forum: Final Call for Papers and Tool Demonstrations Message-ID: *** CAiSE'24 Forum: Final Call for Papers and Tool Demonstrations *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 4th March, 2024 AoE ***) The CAiSE Forum is a space within the CAiSE conference to present and discuss the new exciting ideas and tools related to Information Systems Engineering. The Forum intends to serve as an interactive platform, encourage potential authors to present emerging topics and controversial positions, and demonstrate innovative systems, tools, and applications. The Forum sessions at the CAiSE conference will facilitate the interaction, discussion, and exchange of ideas among presenters and participants. Contributions to the CAiSE'24 Forum are welcome to address any of the CAiSE'24 conference topics and, particularly, this year's theme—Information Systems in the Age of Artificial Intelligence. We invite two types of submissions: • Visionary papers present innovative research projects, which are still at a relatively early stage and do not necessarily include a full-scale validation. Visionary papers will be presented as posters in the Forum. • Demo papers describe innovative tools and prototypes that implement the results of research efforts. The tools and prototypes will be presented as demos in the Forum, accompanied by a poster. Both visionary papers and demo papers must not exceed 8 pages in LNCS format. See authors' guidelines at the Springer site: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . Papers should be submitted in PDF format through the conference management system available at Easy Chair (https://easychair.org/my/conference?conf=caise2024) and select the Forum option. The submitted papers must be unpublished and must not be under review elsewhere. PUBLICATION AND PRESENTATIONS Accepted papers will be published by Springer in a CAISE Forum proceedings volume within the Lecture Notes in Business Information Processing (LNBIP) series (https://www.springer.com/series/7911). Authors should consult Springer's authors guidelines and use their LaTeX or Word proceedings templates for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. It is expected that at least one of the authors attends CAiSE'24, presents the poster/delivers the demo, and interacts with the Forum participants. We also envision a short oral presentation for all papers to attract participants to the posters. IMPORTANT DATES • Paper Submission Deadline: 4th March, 2024 (AoE) • Notification of Acceptance: 1st April, 2024 • Camera-ready Deadline: 8th April, 2024 • Author Registration Deadline: 8th April, 2024 FORUM CHAIRS • Shareeful Islam, Anglia Ruskin University, United Kingdom • Arnon Sturm, Ben-Gurion University of the Negev, Israel FORUM COMMITTEE • Steven Alter, University of San Francisco • Abel Armas Cervantes, The University of Melbourne • Giuseppe Berio, Université de Bretagne Sud and IRISA UMR 6074 • Drazen Brdjanin, University of Banja Luka • Corentin Burnay, University of Namur • Cinzia Cappiello, Politecnico di Milano • Suphamit Chittayasothorn, King Mongkut's Institute of Technology Ladkrabang • Maya Daneva, University of Twente • Sergio de Cesare, University of Westminster • Johannes De Smedt, KU Leuven • Marne de Vries, University of Pretoria • Michael Fellmann, University of Rostock • Christophe Feltus, Luxembourg Institute of Science and Technology • Hans-Georg Fill, University of Fribourg • Janis Grabis, Riga Technical University • Sergio Guerreiro, INESC-ID / Instituto Superior Técnico • Martin Henkel, Stockholm University • Jennifer Horkoff, Chalmers University of Technology • Shareeful Islam, Anglia Ruskin University • Janis Kampars, RTU • Evangelia Kavakli, University of the Aegean • Marite Kirikova, Riga Technical University • Janne J. Korhonen, Aalto University • Elena Kornyshova, CNAM • Agnes Koschmider, University of Bayreuth • Chung Lawrence, University of Texas at Dallas • Henrik Leopold, Kühne Logistics University • Tong Li, Beijing University of Technology • Beatriz Marín, Universidad Politecnica de Valencia • Andrea Marrella, Sapienza University of Rome • Raimundas Matulevicius, University of Tartu • Jose Ignacio Panach Navarrete, Universitat de València • Oscar Pastor, Universidad Politécnica de Valencia • Francisca Pérez, Universidad San Jorge • Pierluigi Plebani, Politecnico di Milano • Manuel Resinas, University of Seville • Genaina Rodrigues, University of Brasilia • Ben Roelens , Open Universiteit, Ghent University • Mattia Salnitri, Politecnico di Milano • Stefan Strecker, University of Hagen • Arnon Sturm, Ben-Gurion University of the Negev • Irene Vanderfeesten, Katholieke Universiteit Leuven • Yves Wautelet, Katholieke Universiteit Leuven • Hans Weigand, Tilburg University • Manuel Wimmer, Johannes Kepler University Linz • Anna Zamansky, University of Haifa -------------- next part -------------- An HTML attachment was scrubbed... URL: From wadt2024 at outlook.com Wed Feb 21 15:38:09 2024 From: wadt2024 at outlook.com (WADT 2024) Date: Wed, 21 Feb 2024 16:38:09 +0200 Subject: [fg-arc] Call for Abstracts - WADT 2024 Message-ID: [Apologies for cross-posting] ====================================================================== WADT 2024 - Call for Abstracts 27th International Workshop on Algebraic Development Techniques https://conf.researchr.org/home/wadt-2024 Part of the STAF 2024 multi-conference taking place Mon 8 – Fri 12 July 2024 in Enschede, the Netherlands ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: – Foundations of algebraic specification – Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems – Specification languages, methods, and environments – Semantics of conceptual modelling methods and techniques – Model-driven development – Graph transformations, term rewriting, and proof systems – Integration of formal specification techniques – Theorem-proving technologies and integration with specification languages – Formal testing and quality assurance, validation, and verification – Algebraic approaches to knowledge representation and cognitive sciences WORKSHOP FORMAT AND LOCATION The workshop will be part of the STAF 2024 multi-conference at Twente, the Netherlands. Presentations will be selected on the basis of submitted abstracts. IMPORTANT DATES Abstract submission: 15 Apr 2024 Abstract notification: 29 Apr 2024 Full-paper submission: 16 Sep 2024 Full-paper notification: 25 Nov 2024 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Programme Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages, including references, in LNCS format. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts will have to be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=staf2024. POST-PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. The selection of papers will be based on originality, soundness, and significance of the presented ideas and results. The post-proceedings will then be published by Springer as a volume of Lecture Notes in Computer Science. SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. STEERING COMMITTEE Andrea Corradini (Italy) José Fiadeiro (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Hans-Jörg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) Grigore Roșu (USA) PROGRAMME COMMITTEE Mihai Codescu (Romania) Andrea Corradini (Italy) Tom van Dijk (Netherlands) Fabio Gadducci (Italy) Rolf Hennicker (Germany) Alex Kavvos (UK) Alexander Knapp (Germany) Leen Lambers (Germany) Alexandre Madeira (Portugal) Manuel A. Martins (Portugal) Narciso Martí-Oliet (Spain) Dominique Mery (France) Till Mossakowski (Germany) Renato Neves (Portugal) Peter Ölveczky (Norway) Fernando Orejas (Spain) Florian Rabe (Germany) Adrián Riesco (Spain) Markus Roggenbach (UK) Pierre Yves Schobbens (Belgium) Ionuț Țuțu (Romania) [chair] Uwe Wolter (Norway) CONTACT INFORMATION Email: wadt2024 at outlook.com Homepage: https://conf.researchr.org/home/wadt-2024 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Feb 24 13:43:28 2024 From: announce at ucy.ac.cy (Announce) Date: Sat, 24 Feb 2024 12:43:28 +0000 Subject: [fg-arc] The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering (IEEE Mobile Cloud 2024): First Call for Papers Message-ID: *** First Call for Papers *** IEEE Mobile Cloud 2024 The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering July 15-18, 2024 | Shanghai, China https://ieeemobilecloud.com IEEE Mobile Cloud is a pioneering IEEE sponsored international conference devoted to the research in mobile, edge, and cloud computing. It covers all aspects of mobile, edge, and cloud computing from architectures, techniques, tools and methodologies to applications. This year's conference is scheduled to take place in Shanghai, China, from 15-18 July 2024. IEEE Mobile Cloud 2024 is part of the IEEE International Congress On Intelligent And Service- Oriented Systems Engineering offering a broad spectrum of international events, sharing renowned keynotes and fostering exchange among researchers and practitioners (see common homepage for all colocated events, https://ieee-cisose-congress.org). The fusion of mobile communications, computing, and intelligence is catalysing the emergence of innovative systems and applications that facilitate intelligent resource provisioning, process extensive data from mobile sensors and interconnected hardware platforms, and bolster the Internet of Things (IoT) through robust edge and cloud-based backend infrastructure. The pivotal role of current and forthcoming communication technologies, machine learning implementation, and mobile cloud infrastructures as facilitators for this convergence cannot be understated. These mobile intelligent applications are poised to revolutionise various facets of daily life, encompassing domains such as transportation, e-commerce, healthcare, smart homes, smart cities, social interaction, and more. Mobile intelligence serves as an inclusive platform for both academic and industrial researchers to share their latest research insights, experimental findings, and the latest advancements in industry technologies related to mobile systems, machine learning, edge and cloud computing, services, and engineering. Leveraging the synergy of mobile communications, machine intelligence, edge computing, and edge/cloud infrastructures, the future of Mobile Intelligence Systems is envisioned to provide a multitude of critical and personalised services across diverse application domains, ranging from education, transportation, to public health, safety, and security. Submissions will be evaluated on the criteria of originality, significance, clarity, relevance, and accuracy. TOPICS OF INTEREST They include but not limited to: Theory, Modelling, and Methodologies • Mobile cloud computing models, architectures, infrastructures, and platforms • Mobile intelligence theories, concepts, algorithms, and methodologies • Mobile cloud data management • Mobile cloud tools, middleware, and data centres • Mobile intelligence as a service • Mobile networking, protocols, and technologies • Quality of service (QoS) • Mobile intelligence security and privacy Applications and Industry Practice • Mobile intelligence for autonomous driving systems, V2X, intelligent transportation systems (ITS), telematics • Mobile intelligence for robotics, unmanned aerial vehicles (UAVs), and unmanned ground vehicles (UGVs) • Mobile intelligence for sensor networks, Industrial IoT, industrial 4.0, and industry 5.0 • Mobile intelligence for future wireless technologies, 5G/6G, WiFi, Satellite, etc. • Mobile intelligence for aviation, airports, and railway • Mobile intelligence for Augmented Reality/Virtual Reality (AR/VR) • Mobile intelligence for computer vision and video analytics • Mobile intelligence for surveillance and disaster management • Mobile intelligence for healthcare • Mobile intelligence for the metaverse • Mobile intelligence for smart city • Mobile intelligence for satellite • Mobile intelligence for mission-critical systems • Mobile intelligence for community services and social networking • Mobile intelligence computing for sustainable development PAPER SUBMISSION GUIDELINES Papers must be written in English. All papers must be prepared in the IEEE double column proceedings format. Please see the following link for details: https://www.ieee.org/conferences/publishing/templates.html . All accepted conference papers will be published by IEEE Computer Society and IEEE Explore digital library with EI-index. Selected papers will be recommended to SCI-index journals as special issue papers. The paper length should be up to 8 pages for regular conference papers and 6 pages for work-in-progress papers. Submitted papers should contain original work and not being submitted elsewhere. Each paper must be presented by an author at the conference. Presentations via teleconference are not permitted. Permissions to have the paper presented by a qualified substitute presented may be granted by the TCP Chairs under extraordinary circumstances, upon written request. Submissions should be made via Easy Chair using the following link: https://easychair.org/my/conference?conf=imc24 . IMPORTANT DATES • Abstract submission: March 31st, 2024 (AoE) • Paper submission: April 7th, 2024 (AoE) • Notification of acceptance: May 15th, 2024 • Final manuscript submission: May 22nd, 2024 • Author registration: May 22nd, 2024 • Conference: July 15th-18th, 2024 COMMITTEES General Chairs • Hiroyuki Sato, University of Tokyo, Japan • Yan Bai, University of Washington Tacoma, USA Program Chairs • Lan Zhang, Clemson University, USA • Sun Yao, The University of Glasgow, Scotland, UK • Tomoki Watanabe, Kanagawa Institute Technology, Japan • Fan Wu, Shanghai Jiao Tong University, China Publicity Chair George Angelos Papadopoulos, University of Cyprus, Cyprus Program Committee • Ouri Wolfson, University of illinois • Felix Beierle, University of Würzburg • Thomas Richter, Rhein-Waal University of Applied Sciences • Dan Grigoras, University College Cork • Sergio Ilarri, University of Zaragoza • Iulian Sandu Popa, University of Versailles Saint-Quentin & INRIA Saclay-Ile-de-France • Haiping Xu, University of Massachusetts Dartmouth • Prasad Calyam, University of Missouri • Dana Petcu, West University of Timisoara • Fabio Costa, Federal University of Goias • Cristian Borcea, New Jersey Institute of Technology • Lei Huang, Prairie View A&M University • Chunsheng Zhu, Southern University of Science and Technology • Xuyun Zhang, Macquarie University • Jia Zhao, Changchun Institute of Technology • Richard Han, University of Colorado Boulder CISOSE General Chairs • Jerry Gao, San Jose State University, USA • Iraklis Varlamis, Harokopio University of Athens, Greece CISOSE Steering Committee • Jerry Gao, San Jose State University, USA • Guido Wirtz, University of Bamberg, Germany • Huaimin Wang, NUDT, China • Jie Xu, University of Leeds, UK • Wei-Tek Tsai, Arizona State University, USA • Axel Kupper, TU Berlin, Germany • Hong Zhu, Oxford Brookes University, UK • Longbin Cao, University of Technology Sydney, Australia • Cristian Borcea, New Jersey Institute of Technology, USA • Sato Hiroyuki, University of Tokyo, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Feb 27 10:46:41 2024 From: announce at ucy.ac.cy (Announce) Date: Tue, 27 Feb 2024 09:46:41 +0000 Subject: [fg-arc] 21st International Conference on Software and Systems Reuse (ICSR 2024): Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission *** 21st International Conference on Software and Systems Reuse (ICSR 2024) June 10-12, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/icsr2024/ (*** Submission Deadline: March 4, 2024 AoE (extended) ***) The International Conference on Software and Systems Reuse (ICSR) is a biannual conference in the field of software reuse research and technology. ICSR is a premier event aiming to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The guiding theme of this edition is Sustainable Software Reuse. We invite submissions on new and innovative research results and industrial experience reports dealing with all aspects of software reuse within the context of the modern software development landscape. Topics include but are not limited to the following. 1 Technical aspects of reuse, including • Reuse in/for Quality Assurance (QA) techniques, testing, verification, etc. • Domain ontologies and Model-Driven Development • Variability management and software product lines • Context-aware and Dynamic Reuse • Reuse in and for Machine Learning • Domain-specific languages (DSLs) • New language abstractions for software reuse • Generative Development • COTS-based development and reuse of open source assets • Retrieval and recommendation of reusable assets • Reuse of non-code artefacts • Architecture-centric reuse approaches • Service-oriented architectures and microservices • Software composition and modularization • Sustainability and software reuse • Economic models of reuse • Benefit and risk analysis, scoping • Legal and managerial aspects of reuse • Reuse adoption and transition to software reuse • Lightweight reuse approaches • Reuse in agile projects • Technical debt and software reuse 2 Software reuse in industry and in emerging domains • Reuse success stories • Reuse failures, and lessons learned • Reuse obstacles and success factors • Return on Investment (ROI) studies • Reuse in hot topic domains (Artificial Intelligence, Internet of Things, Virtualization, Network functions, Quantum Computing, etc.) We welcome research (16 pages) and industry papers (12 pages) following the Springer Lecture Notes in Computer Science format. Submissions will be handled via EasyChair (https://easychair.org/my/conference?conf=icsr2024). Submissions will be **double-blindly** reviewed, meaning that authors should: • Omit all authors’ names and affiliations from the title page • Do not include the acknowledgement section, if you have any, in the submitted paper • Refer to your own work in the third person • Use anonymous GitHub, Zenondo, FigShare or equivalent to provide access to artefacts without disclosing your identity Both research and industry papers will be reviewed by members of the same program committee (check the website for details). Proceedings will be published by Springer in their Lecture Notes for Computer Science (LNCS) series. An award will be given to the best research and the best industry papers. The authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material) to a special issue in the Journal of Systems and Software (Elsevier). More details will follow. IMPORTANT DATES • Full paper submission: March 4, 2024, AoE (*** extended ***) • Notification: April 8, 2024, AoE • Camera Ready: April 15, 2024, AoE • Author Registration: April 15, 2024 AoE ORGANISATION Steering Committee • Eduardo Almeida, Federal University of Bahia, Brazil • Goetz Botterweck, Lero, University of Limerick, Ireland • Rafael Capilla, Rey Juan Carlos University, Spain • John Favaro, Trust-IT, Italy • William B. Frakes, IEEE TCSE committee on software reuse, USA • Martin L. Griss, Carnegie Mellon University, USA • Oliver Hummel, University of Applied Sciences, Germany • Hafedh Mili, Université du Québec à Montréal, Canada • Nan Niu, University of Cincinnati, USA • George Angelos Papadopoulos, University of Cyprus, Cyprus • Claudia M.L. Werner, Federal University of Rio de Janeiro, Brazil General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs • Achilleas Achilleos, Frederick University, Cyprus • Lidia Fuentes, University of Malaga, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Feb 23 18:40:08 2024 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 23 Feb 2024 17:40:08 +0000 Subject: [fg-arc] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line Message-ID: Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, March 1, 2024 at 10 am CET. Please note the unusual time, due to our speaker's location (Sydney, Australia). Prof Carroll Morgan, University of New South Wales (UNSW), Australia will lecture on his experiences in teaching Formal Methods to Computer Science students, without focusing on the theoretical, formal aspects of the topic. The roots of this talk can be found in Prof Morgan’s invited lecture at the FM19 symposium in Porto - check that lecture’s abstract here: https://www.easychair.org/smart-program/FMTea19/2019-10-07.html. He argued there for incorporating Formal Methods thinking into the very programming courses we teach and simply rename the whole approach as Programming. The lecture was truly inspirational and Carroll continued teaching in this way at UNSW. However, a not-so-small problem occurred since 2019: his class became mandatory and so the attendance increased about 7 times. In the tutorial talk on March 1, Prof Morgan will discuss how he handles this new challenge. More information about our lecturer can be found here: https://www.unsw.edu.au/staff/carroll-morgan. The zoom link for Carroll’s lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Sun Feb 25 14:20:22 2024 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Sun, 25 Feb 2024 14:20:22 +0100 Subject: [fg-arc] [FOIS2024][CfP] FOIS 2024 deadline extension main track In-Reply-To: References: Message-ID: <3917c3-65db3e80-95-7c470e00@74066094> (Apologies for cross postings) [FOIS2024][CfP] FOIS 2024 deadline extension main track ============================ 14th International Conference on Formal Ontology in Information Systems (FOIS 2024) 15-19 July 2024 (Enschede, Netherlands) - 08-09 July 2024 (online) Website: https://www.utwente.nl/en/eemcs/fois2024/ Paper submission deadline (extended): 04 March 2024 (AoE) ============================ **Definition & scope** The FOIS conference is a meeting point for all researchers interested in formal ontology. Formal ontology is the systematic study of the types of entities and relations comprising the domains of interest represented in modern information systems. The conference encourages the submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2024 will have distinct tracks for foundational issues, ontology applications and methods, and domain ontologies. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. FOIS 2024 will be held both online and in Enschede, the Netherlands, by the Semantics, Cybersecurity & Services group of the University of Twente. **Important dates** Abstracts: 26 February 2024 (AoE) Paper submission deadline (extended): 04 March 2024 (AoE) Notifications: 15 April 2024 Virtual conference: 8-9 July 2024 Onsite conference: 15-19 July 2024 Camera-ready papers: 30 July 2024 **Submission types** FOIS 2024 seeks three types of full-length (14 pages) high-quality papers on a wide range of topics: * Foundational papers address content-related ontological issues, their formal representation, and their relevance to some aspect of information systems. * Application and Methods papers address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. * Domain ontology papers describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use. For more information on the submission instructions, please visit: https://www.utwente.nl/en/eemcs/fois2024/calls/#submission-instructions As usual, the FOIS proceedings will be published by IOS Press. **Topics of interest** Foundational Issues: * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts, events/processes * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues: * Top-level vs. domain-specific ontologies * Role of reference ontologies * Ontology similarity, integration, alignment, matching and entity reconciliation * Ontology modularity, patterns, and contextuality * Ontology evaluation, quality, reuse, adaptation, and evolution * Ontology compliance with FAIR principles * Formal comparison among ontologies * Relationship between conceptual modeling and ontologies * Relationship with cognition, language, semantics, and context * Connections between knowledge graphs and ontologies * Methodological issues in the applications of ontologies * Social issues, such as trust or bias, with respect to ontologies Applications: * Technical applications of ontologies, such as: * Semantic Web * Other areas of AI (Machine Learning, Explainable AI, Rules) * Qualitative modeling * Systems applications of ontologies, such as: * Ontology-driven information systems design * Ontology-based data access * Knowledge managementInformation retrieval * Computational linguistics * Metadata management * Domain applications of ontologies, such as: * Ontologies for business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, geoscience, cognitive sciences, linguistics, etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture, etc. * Ontologies for the humanities: arts, cultural studies, history, literature, philosophy, etc. * Ontologies for the social sciences: economics, law, political science, anthropology, archeology, etc. * Ontologies for Open Science and dataset sharing Domain-specific ontologies: * Ontology of physical reality (matter, space, time, motion, etc.) * Ontology of biological reality (organisms, genes, proteins, cells, etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, perceptions, cognition, etc.) * Ontology of artifacts, functions, capacities and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, etc.) **Organisation** General Chairs Giancarlo Guizzardi; University of Twente; The Netherlands Program Committee Chairs Cassia Trojahn, IRIT Université Toulouse 2, France Daniele Porello, University of Genova, Italy Local Organisation Chair Tiago Prince Sales, University of Twente, The Netherlands JOWO Chairs Claudenir M. Fonseca, University of Twente, The Netherlands Guendalina Righetti, Free University of Bozen-Bolzano, Italy Online Chairs Sergio de Cesare, University of Westminster, UK FAIR Chairs Luiz Olavo Bonino, University of Twente, The Netherlands Journal-first Chairs Emilio Sanfilippo, ISTC-CNR Laboratory for Applied Ontology, Italy Adrien Barton, IRIT & CNRS, France Ontology Showcase Chairs Laura Daniele, TNO, The Netherlands João Paulo A. Almeida, Federal University of Espírito Santo, Brazil Demonstration Chairs Pawel Garbacz, John Paul II Catholic University of Lublin, Poland Robert Pergl, Czech Technical University, Czech Republic Project Exhibition Chair Enrico Franconi, Free University of Bozen-Bolzano, Italy Paul Johannesson, Stockholm University, Sweden Industry Chairs Jan Voskuil, Taxonic, The Netherlands Mara Abel, Federal University of Rio Grande do Sul, Brazil Tutorial Chairs Chiara Ghidini, Fondazione Bruno Kessler, Italy Veruska Zamborlini, Federal University of Espírito Santo, Brazil Early Career Symposium Chairs Zubeida Dawood, Council for Scientific and Industrial Research, South Africa Pedro Paulo F. Barcelos, University of Twente, The Netherlands Publicity Chairs Mattia Fumagalli, Free University of Bozen-Bolzano, Italy Greta Adamo, Basque Centre for Climate Change, Spain Proceedings Chairs Pedro Paulo F. Barcelos, University of Twente, The Netherlands From Cassia.Trojahn at irit.fr Wed Feb 28 15:01:38 2024 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 28 Feb 2024 15:01:38 +0100 Subject: [fg-arc] =?utf-8?q?=5BFOIS2024=5D=5BCfP=5D_FOIS_2024_deadline_ex?= =?utf-8?q?tension_main_track=3A_final_deadline_submission=3A_04_March_202?= =?utf-8?q?4_=28AoE=29?= Message-ID: <3a7534-65df3d00-103-75ff1000@255337561> (Apologies for cross postings) [FOIS2024][CfP] FOIS 2024 deadline extension main track NEWS: - final deadline submission: 04 March 2024 (AoE) - abstracts were not mandatory on 26 February 2024 (AoE)!!! ============================ 14th International Conference on Formal Ontology in Information Systems (FOIS 2024) 15-19 July 2024 (Enschede, Netherlands) - 08-09 July 2024 (online) Website: https://www.utwente.nl/en/eemcs/fois2024/ Paper submission deadline (extended): 04 March 2024 (AoE) ============================ **Definition & scope** The FOIS conference is a meeting point for all researchers interested in formal ontology. Formal ontology is the systematic study of the types of entities and relations comprising the domains of interest represented in modern information systems. The conference encourages the submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2024 will have distinct tracks for foundational issues, ontology applications and methods, and domain ontologies. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. FOIS 2024 will be held both online and in Enschede, the Netherlands, by the Semantics, Cybersecurity & Services group of the University of Twente. **Important dates** Paper submission deadline (extended): 04 March 2024 (AoE) Notifications: 15 April 2024 Virtual conference: 8-9 July 2024 Onsite conference: 15-19 July 2024 Camera-ready papers: 30 July 2024 **Submission types** FOIS 2024 seeks three types of full-length (14 pages) high-quality papers on a wide range of topics: * Foundational papers address content-related ontological issues, their formal representation, and their relevance to some aspect of information systems. * Application and Methods papers address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. * Domain ontology papers describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use. For more information on the submission instructions, please visit: https://www.utwente.nl/en/eemcs/fois2024/calls/#submission-instructions As usual, the FOIS proceedings will be published by IOS Press. **Topics of interest** Foundational Issues: * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts, events/processes * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues: * Top-level vs. domain-specific ontologies * Role of reference ontologies * Ontology similarity, integration, alignment, matching and entity reconciliation * Ontology modularity, patterns, and contextuality * Ontology evaluation, quality, reuse, adaptation, and evolution * Ontology compliance with FAIR principles * Formal comparison among ontologies * Relationship between conceptual modeling and ontologies * Relationship with cognition, language, semantics, and context * Connections between knowledge graphs and ontologies * Methodological issues in the applications of ontologies * Social issues, such as trust or bias, with respect to ontologies Applications: * Technical applications of ontologies, such as: * Semantic Web * Other areas of AI (Machine Learning, Explainable AI, Rules) * Qualitative modeling * Systems applications of ontologies, such as: * Ontology-driven information systems design * Ontology-based data access * Knowledge managementInformation retrieval * Computational linguistics * Metadata management * Domain applications of ontologies, such as: * Ontologies for business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, geoscience, cognitive sciences, linguistics, etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture, etc. * Ontologies for the humanities: arts, cultural studies, history, literature, philosophy, etc. * Ontologies for the social sciences: economics, law, political science, anthropology, archeology, etc. * Ontologies for Open Science and dataset sharing Domain-specific ontologies: * Ontology of physical reality (matter, space, time, motion, etc.) * Ontology of biological reality (organisms, genes, proteins, cells, etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, perceptions, cognition, etc.) * Ontology of artifacts, functions, capacities and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, etc.) **Organisation** General Chairs Giancarlo Guizzardi; University of Twente; The Netherlands Program Committee Chairs Cassia Trojahn, IRIT Université Toulouse 2, France Daniele Porello, University of Genova, Italy Local Organisation Chair Tiago Prince Sales, University of Twente, The Netherlands JOWO Chairs Claudenir M. Fonseca, University of Twente, The Netherlands Guendalina Righetti, Free University of Bozen-Bolzano, Italy Online Chairs Sergio de Cesare, University of Westminster, UK FAIR Chairs Luiz Olavo Bonino, University of Twente, The Netherlands Journal-first Chairs Emilio Sanfilippo, ISTC-CNR Laboratory for Applied Ontology, Italy Adrien Barton, IRIT & CNRS, France Ontology Showcase Chairs Laura Daniele, TNO, The Netherlands João Paulo A. Almeida, Federal University of Espírito Santo, Brazil Demonstration Chairs Pawel Garbacz, John Paul II Catholic University of Lublin, Poland Robert Pergl, Czech Technical University, Czech Republic Project Exhibition Chair Enrico Franconi, Free University of Bozen-Bolzano, Italy Paul Johannesson, Stockholm University, Sweden Industry Chairs Jan Voskuil, Taxonic, The Netherlands Mara Abel, Federal University of Rio Grande do Sul, Brazil Tutorial Chairs Chiara Ghidini, Fondazione Bruno Kessler, Italy Veruska Zamborlini, Federal University of Espírito Santo, Brazil Early Career Symposium Chairs Zubeida Dawood, Council for Scientific and Industrial Research, South Africa Pedro Paulo F. Barcelos, University of Twente, The Netherlands Publicity Chairs Mattia Fumagalli, Free University of Bozen-Bolzano, Italy Greta Adamo, Basque Centre for Climate Change, Spain Proceedings Chairs Pedro Paulo F. Barcelos, University of Twente, The Netherlands