From jens.knodel at caruso-dataplace.com Thu Apr 8 22:59:43 2021 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Thu, 8 Apr 2021 20:59:43 +0000 Subject: [fg-arc] Einladung zu "WSRE light" am Mittwoch, den 5. Mai 2021 um 15 Uhr Message-ID: Einladung zu "WSRE light" (und Absage von WSRE 2021 im Physikzentrum, Bad Honnef) Auf Grund der weiterhin bestehenden Corona-Problematik kann der WSRE auch in diesem Jahr leider nicht in der gewohnten Weise im Mai in Bad Honnef stattfinden. Da die dritte Corona-Welle gerade erst an Fahrt aufnimmt, gehen wir davon aus, dass auch noch im Mai Präsenzveranstaltungen weder erlaubt noch vertretbar sein werden. Aufgrund der aktuellen Randbedingungen erachten wir eine Terminverschiebung des Workshops in diesem Jahr nicht als sinnvoll. Wir hoffen sehr, dass nach den Impfungen der WSRE 2022 dann wieder vor Ort in Bad Honnef stattfinden kann. Um dennoch auch in diesem Jahr als Fachgruppe weiterhin miteinander in Kontakt zu bleiben, laden wir Sie/Euch für Mittwoch, den 5. Mai 2021 (also in der Woche, für die der WSRE auch ursprünglich geplant war), zu einem "WSRE light" ein. Dieser wird als virtuelle Veranstaltung und in einem reduzierten Umfang von nur etwa 3 Stunden mit folgendem Programm stattfinden: 15:00 Uhr: Begrüßung ca. 15:15 Uhr: Keynote-Vortrag von Elmar Jürgens zum Thema "Ist das wichtig oder kann das weg? Überraschende Ergebnisse dynamischer Analysen im Großen" ca. 16:00 Uhr: Vorträge zu den WSRE-Einreichungen kurze Pause ca. 16:45 Uhr: Interaktive Session, in der wir die Erstellung einer "Wissensbasis" zu Software-Reengineering auf den Weg bringen wollen ca. 17:45 Uhr: SRE-Fachgruppensitzung ca. 18:00 Uhr: "Virtuelle Eisdiele" (Open-End) Um am "WSRE light" teilzunehmen, ist eine kostenfreie Registrierung bis zum 28.04. erforderlich über die Webseite: https://rgse.uni-koblenz.de/wsre/registration.php Die Einwahldaten für den "WSRE light" werden wir an die registrierten Teilnehmer dann kurz vor der Veranstaltung verteilen. Euch/Ihnen weiterhin alles Gute und vor allem, bleiben Sie gesund! Eure SRE-Fachgruppenleitung. Jens Knodel Marco Konersmann Stefan Sauer Matthias Gutheil Torsten Görg -- Dr. Jens Knodel Head of Platform Engineering +49 179 5343284 Caruso GmbH I Harrlachweg 2 I 68163 Mannheim www.caruso-dataplace.com [Caruso Logo] Sign up to our quarterly Newsletter: Caruso Connect Newsletter Caruso GmbH I Steinheilstraße 10 I 85737 Ismaning Managing Directors: Norbert Dohmen, Jürgen Buchert | registered Local Court Munich | HRB 233 669 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: image001.png Type: image/png Size: 8059 bytes Desc: image001.png URL: From jung.juergen at fb2.fra-uas.de Fri Apr 16 14:13:19 2021 From: jung.juergen at fb2.fra-uas.de (=?utf-8?B?SnVuZywgSsO8cmdlbg==?=) Date: Fri, 16 Apr 2021 12:13:19 +0000 Subject: [fg-arc] First call for papers: 16th TEAR 2021 @ IEEE CBI 2021 and IEEE EDOC 2021 Message-ID: <0cd197294b9d4a1f9cdf3d68aa96a854@fb2.fra-uas.de> Call for papers 16th TEAR 2021 - New frontiers In collaboration with IEEE CBI 2021 and IEEE EDOC 2021 Since 2006 the international TEAR workshop series has brought together Enterprise Architecture (EA) researchers and practitioners from different research communities, and has provided a forum to present EA research results from academia and practice and to discuss future EA research directions. This year’s TEAR workshop will see a new online format, while addressing new frontiers in EA-related research. New frontiers in EA-related research The field of Enterprise Architecture (EA) has gained considerable maturity over the last years. EA significantly contributes to organizations’ need to adapt increasingly fast to changing customer requirements and business goals. New societal and technological (including AI, IoT, Digital Twins, etc) trends now provide new challenges and opportunities to the field of EA. What remains core to EA is the need for a multi-disciplinary approach aiming for a coherent design of enterprises across all relevant aspects, such as services, processes, IT support, the role of human actors, etc. Therefore, there is a need to consider new frontiers in EA research, taking us into the direction of what might be termed “Enterprise Governance 4.0”. Therefore this year’s TEAR workshop has a broadened scope, including several new topics: * Enterprise governance 4.0 - Including the use of Enterprise Digital Twins, AI and IoT to support the governance and management of enterprises, and their coherence, in all their facets. * Enterprise cyber risk management - Managing cyber risks, which include e.g. cyber security risks, but also other risks, such as the negative consequences of AI-based errors, systemic ripple effects, etc. * Digital transformation - Consequences for EA (or the role of EA in) digital transformation, including e.g. migration to data stream architectures, big data, IoT, etc. * Enterprise architecture decision-making and decision-execution - Including drivers for change, architecture governance, stakeholder management, etc. * Enterprise architecture modeling and analysis - Including modeling languages, model-based analysis and analytics, reference models, viewpoints, human-model interaction, etc. * Relevant research approaches in terms of research methodologies and theories. * Cases and implementations We cordially invite submissions of three types of paper, reporting on original research results related to EA that have not been accepted or submitted for publication elsewhere: 1. Regular research papers. These papers will be reviewed based on their scientific and technical contribution, originality, and relevance. 2. Emergent research papers. These papers involve novel research ideas and challenges (by doctoral students, practitioners, or senior researchers) related to EA. 3. Experience reports. These papers reflect practical and personal industry experiences of EA practitioners, including EA related challenges seen and the approach(es) taken. These papers are advised to follow the STARR template (Situation, Tasks, Actions, Results, and Reflection). New workshop format The workshop is organized, in a collaboration between the IEEE CBI 2021 (September 1-3) and the IEEE EDOC 2021 (October 25-29) conferences. The workshop part of TEAR 2021 will take place during CBI 2021 (both events will take place online) in terms of a writer's workshop format that more explicitly focuses on in-depth discussions of the paper submissions with the aim to improve these papers further. During the writer's workshop the strengths and weaknesses of the different papers will be discussed, while accentuating positive aspects and suggesting improvements. As such, an active participation of the authors and audience is expected. Improved (in the sense of maturing and / or extending) high-quality papers will be accepted to an EA track at the EDOC 2021 conference. Based on the paper submitted to the writer’s workshop, and the presentations and discussions during the writer’s workshop, a selection of papers will be made which potentially qualify for EDOC 2021 inclusion. These papers will be shepherded by an experienced reviewer from the EA community, towards potential EDOC 2021 inclusion. This new workshop format aims to help authors in maturing their papers, while also creating a more open and constructive review and feedback process. Key steps in the submission, selection & acceptance process 1. Authors: Submission of initial workshop papers 2. PC: Review of initial submissions 3. PC: Selection of submissions to be included in the writer’s workshop 4. PC: Initial feedback to authors 5. Authors: Submission of improved version by authors of papers accepted to the writer’s workshop 6. Organizers: All accepted submissions made available to the participants of the writer’s workshop 7. Online writer’s workshop at CBI 2021 8. PC: Selection of papers with potential to be accepted for EDOC 2021 9. Authors: Submission of final papers (in CRC state) 10. PC: Selection of papers accepted to EDOC 2021 11. EDOC 2021 Important dates Initial workshop paper submission deadline: Sunday, July 4, 2021 Acceptance notification for TEAR 2021 workshop: Sunday, August 8, 2021 (i.e. + 5 weeks) Author registration for TEAR 2021 workshop Friday, August 20 Improved workshop paper version deadline: Sunday, August 22, 2021 (to be distributed and discussed at the workshop) TEAR Workshop at CBI: Wednesday, September 1, 2021 Selection of potential papers to be included at EDOC: Sunday, September 5, 2021 EDOC final paper version deadline: Monday, October 10th, 2021 Final selection of papers to be included at EDOC: Monday, October 15th, 2021 Submissions Papers should describe innovative and significant original research relevant to TEAR as described in the topics section. Papers submitted for consideration must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Submissions solicited below will be reviewed by the program committee based on relevance, rigor, novelty, replicability, and quality. All submissions that have been accepted will be subject to shepherding by a designated committee member. Papers submitted to the writer’s workshop must not exceed 10 pages and conform to the IEEE submission guidelines. All submissions should include title, authors, and full contact information. Detailed instructions for authors are available on the IEEE website. At submission, authors will also be required to identify the type of their submission. Submission URL: https://easychair.org/conferences/?conf=tear2021. Workshop co-chairs * Florian Matthes, Fakultät für Informatik, Technische Universität München, Germany * Henderik A. Proper, Luxembourg Institute of Science and Technology (LIST), Luxembourg * Ömer Uludag, Fakultät für Informatik, Technische Universität München, Germany Steering committee * Florian Matthes, Fakultät für Informatik, Technische Universität München, Germany * Henderik Proper, Luxembourg Institute of Science and Technology (LIST), Luxembourg * James Lapalme, École de technologie supérieure, Canada * João Paulo Almeida, Federal University of Espírito Santo, Brazil * Mathias Ekstedt, Royal Institute of Technology, Sweden * Marc Lankhorst, BiZZdesign, the Netherlands * Pontus Johnson, Royal Institute of Technology, Sweden * Stephan Aier, University of St. Gallen, Switzerland Program committee (tentative; to be finalized) * Adina Aldea, University of Twente, Netherlands * Agnes Nakakawa, Makerere University Kampala, Uganda * Alexandre Moise, University of Sherbrooke, Canada * Andreas Gadatsch, Hochschule Bonn-Rhein-Sieg, Germany * Andreas L. Opdahl, University of Bergen, Norway * Aurona Gerber, CAIR, University of Pretoria, South Africa * Daniel Fürstenau, Freie Universität Berlin, Germany * Dirk Stelzer, TU Ilmenau, Germany * Dominik Bork, TU Wien, Austria * Elena Kornyshova, CNAM, France * Fabian Lang, Hannover University of Applied Sciences and Arts, Germany * François Coallier, École de technologie supérieure, France * Giuseppe Berio, Université de Bretagne Sud and IRISA UMR 6074, France * João Paulo Almeida, Federal University of Espirito Santo, Brazil * Jürgen Jung, Frankfurt University of Applied Sciences, Germany * Jānis Grabis, Riga Technical University, Latvia * Kazem Haki, University of St. Gallen, Switzerland * Kurt Sandkuhl, Rostock University, Germany * Lutz Kirchner, Scape Consulting GmbH, Germany * Marc Lankhorst, BiZZdesign, Germany * Maria-Eugenia Iacob, University of Twente, Netherlands * Markus Borg, RISE, Sweden * Markus Buschle, http://zeb.consulting AB, Germany * Marten van Sinderen, University of Twente, Netherlands * Mathias Ekstedt, KTH Royal Institute of Technology, Sweden * Paul Drews, Leuphana University of Lüneburg , Germany * Peter Loos, IWi at DFKI, Saarland University, Germany * Pierre-Martin, Tardif Université de Sherbrooke, Canada * Piotr Wojtowicz, DHL, Germany * Pontus Johnson, KTH Royal Institute of Technology, Sweden * Rainer Schmidt, Munich University of Applied Sciences, Germany * Remco Dijkman, Eindhoven University of Technology, Netherlands * Robert Lagerström, Royal Institute of Technology Stockholm, Sweden * Selmin Nurcan, Université Paris 1 Panthéon Sorbonne, France * Simon Hacks, RWTH Aachen University, Germany * Stefan Strecker, University of Hagen, Germany * Stefanie-Rinderle-Ma, Technical University of Munich, Germany * Stephan Aier, University of St. Gallen, Switzerland * Sybren de Kinderen, University of Luxembourg , Luxembourg * Sylvain Halle, University of Québec, Canada * Ulrik Franke, RISE, Sweden * Ulrike Steffens, HAW Hamburg, Germany * Zoran Milosevic, University of Queensland, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From shankar at csl.sri.com Wed Apr 14 09:47:17 2021 From: shankar at csl.sri.com (Natarajan Shankar) Date: Wed, 14 Apr 2021 00:47:17 -0700 Subject: [fg-arc] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice", 10th May 2021 to 14th May 2021 (Register by April 17) In-Reply-To: References: <5A9832E8.3020003@csl.sri.com> <0e5c7eb9-65d3-96fe-6ca9-4259841bf175@csl.sri.com> <9eb14ee9-e10b-ccf6-b2b1-9b290df216c4@csl.sri.com> Message-ID:                                                          Isaac Newton Institute Virtual Workshop                                                        Verified Software: From Theory to Practice                                                             10th May 2021 to 14th May 2021                                                               Registration Deadline: April 17, 2021                                                          URL: https://www.newton.ac.uk/event/vsow03 WORKSHOP THEME Formal methods for the specification and verification of software-intensive systems bridge the gap between theory and applications.  Verification techniques have to be tuned to application areas such as concurrency, cyber-physical systems, distributed systems, machine learning, computer security, networks, and programming languages.   The INI Virtual Workshop is a precursor event to the program on Verified Software.  It will involve an intensive exchange of ideas between researchers facing the challenges of cutting-edge applications and theoreticians armed with the conceptual tools to potentially address these challenges. SPEAKERS: Amal Ahmed (Northeastern), Jade Alglave (ARM/UCL), Rajeev Alur (Penn), Karthikeyan Bhargavan (INRIA), Ahmed Bouajjani (Paris 7), Adam Chlipala (MIT), Veronique Cortier (LORIA Nancy), Javier Esparza (TU Munich), Aarti Gupta (Princeton), Thomas Henzinger (IST Austria), Maurice Herlihy (Brown), Sir Tony Hoare, Justin Hsu (Wisconsin), Zachary Kincaid (Princeton), Marta Kwiatkowska (Oxford), P. Madhusudhan (UIUC), Rupak Majumdar (Max Planck Institute), Annabelle McIver (Macquarie), Anca Muscholl (Bourdeaux), Pavithra Prabhakar (Kansas), Jean-Francois Raskin (Université Libre de Bruxelles), Ilya Sergey (Yale-NUS), Sanjit Seshia (UC Berkeley), Alexandra Silva (UCL), Victor Vafeiadis (MPI-SWS), Martin Vechev (ETH Zurich), Hongseok Yang (KAIST). From announce at cs.ucy.ac.cy Sat Apr 17 12:44:18 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 17 Apr 2021 13:44:18 +0300 Subject: [fg-arc] 8th International Symposium on End-User Development (IS-EUD 2021): Last Call for Demos, Work in Progress and DC Message-ID: <1LJN7ZHB-YY6T-AQIH-6A0M-S68ZXJGO00QO@cs.ucy.ac.cy> *** Last Call for Demos, Work in Progress and DC *** 8th International Symposium on End-User Development (IS-EUD 2021): "Democratizing AI Development" July 6-8, 2021, Atlantica Miramare Beach Hotel 4*, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/GPList_Manager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogTGFzdCBDYWxsIGZvciBEZW1vcywgV29yayBpbiBQcm9ncmVzcyBhbmQgREMJNTkxCUxpc3RzCTEyNwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fiseud2021%2F End-user development (EUD) aims at empowering end users to develop and adapt systems at a level of complexity that is adequate to their expertise, practices, and skills. EUD may occur along the entire software lifecycle, with the purpose of making users able to participate in their artifact development, not only at design time, but also during actual use. Originally, EUD was conceived as a more general concept than end-user programming; thus, scholars proposed methods, techniques and tools that allow end users to modify or extend software artifacts, such as spreadsheets, web applications, video games, and mobile applications. In the co-called Internet of Things era, end-user development moved on to address the problem of defining and modifying the behavior of smart environments, including smart objects, pervasive displays, smart homes, smart cities, and so on. Therefore, the term "end-user development" acquired a broader meaning covering approaches, frameworks and socio-technical environments that allow end users to express themselves in crafting digital artifacts that encompass both software and hardware technology. Recent research and technological trends like Artificial Intelligence (AI), Big Data, Cyber-Security, Robotics, and Industry 4.0, have contributed to renew the vision of end-user development, by providing tools and platforms that allow end users to harness the power of AI to create solutions involving Computer Vision, Image Processing, Conversational User Interfaces, as well as solutions for smart environments. Such developments lower the threshold for creating AI solutions, and expand the programmer base for such solutions, by extending AI application both for professional and discretionary use. IS-EUD is a bi-annual event for researchers and practitioners with an interdisciplinary approach to EUD, including: Human-Computer Interaction, Software Engineering, Computer Supported Cooperative Work, Human-Work Interaction Design, and related areas. IS-EUD 2021 Theme: Democratizing AI Development The 2021 edition of IS-EUD focuses on EUD for AI-based systems, where end users are called on to become end-user developers of intelligent agents, digital twins, collaborative and social robots. This edition would like to discuss the adoption of EUD in new fields, the proposal of novel EUD paradigms, and the impact of AI-based EUD in terms of user acceptability and appropriation. One of the most interesting topics in human-AI interaction is explainability of AI-based systems: research submissions presenting end- user oriented solutions to this problem will be particularly welcome. Theoretical and empirical work analyzing pros and cons of this new EUD wave, identifying requirements for end-user development of AI and acceptance of related solutions is invited. Software infrastructures and eco- systems supporting the reuse of solutions and the emergence of meta- design practices are of particular interest to this community, linking the challenges relating AI to topics central to the IS-EUD community. Conference Topics The conference welcomes contributions that: • describe new, simple and efficient environments for end-user development • describe new processes, methods and techniques for empowering users to create, modify and tailor digital artifacts • present case studies and design implications on challenges and practices of end-user development • develop theoretical concepts and foundations for the field of end-user development Specific topics include (but are not limited to) the following ones: • User-oriented orchestration of AI-based devices • Conversational interfaces for end-user development • End-user development for big data visualization and exploration • End-user development for collaborative robotics • End-user development for social robotics • End-user development in Industry 4.0 • End-user development and explainable AI-based systems • Cybersecurity and end-user development • End-user development in daily life • Technologies and infrastructures for end-user development • Empirical studies of end-user development • Recommender systems to support end-user development • Cultures of participation and meta-design approaches • Technology acceptance and adoption studies of end-user development technologies • Evaluation of end-user development technologies • Supporting creative work through end-user development Submissions We invite submissions for Demos, Work in Progress and Doctoral Consortium. A Demonstration paper (max 6 pages) should be structured according to the following: • Abstract (150 words maximum) • Topics to be covered and their relevance to the EUD community • Detailed description of the planned demonstration activity • Diagrams or screenshots (if relevant) • Supporting documentation (e.g., project website) • References Work in Progress submissions (max 6 pages) are intended for presenting preliminary results or tentative findings and position papers. The authors of accepted contributions will have the opportunity to give an oral presentation during parallel sessions. Finally, the IS-EUD Doctoral Consortium is intended to bring together PhD students working on theory and application of EUD. We particularly encourage students that are about half-way through their doctoral research to submit doctoral consortium contributions (max 6 pages) describing the topic of their PhD, their approach and a summary of their progress. Demonstration, Work in Progress and Doctoral Consortium submissions should indicate in the title page “Demo”, “WiP” or “DC” respectively. Accepted submissions will be included in IS-EUD 2021 adjunct proceedings, which will be submitted to http://www.cs.ucy.ac.cy/~george/GPList_Manager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogTGFzdCBDYWxsIGZvciBEZW1vcywgV29yayBpbiBQcm9ncmVzcyBhbmQgREMJNTkxCUxpc3RzCTEyNwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fceur-ws.org for online publication. Submissions of all types should be carefully formatted according to the Springer LNCS format: http://www.cs.ucy.ac.cy/~george/GPList_Manager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogTGFzdCBDYWxsIGZvciBEZW1vcywgV29yayBpbiBQcm9ncmVzcyBhbmQgREMJNTkxCUxpc3RzCTEyNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines and should be submitted through the Easy Chair system at: http://www.cs.ucy.ac.cy/~george/GPList_Manager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogTGFzdCBDYWxsIGZvciBEZW1vcywgV29yayBpbiBQcm9ncmVzcyBhbmQgREMJNTkxCUxpc3RzCTEyNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diseud2021 Important Dates • Submissions in all categories: April 21, 2021 • Notification: May 15, 2021 • Camera-ready: May 31, 2021 Organizers General Chairs • Panos Markopoulos (Eindhoven University of Technology, The Netherlands) • George A. Papadopoulos (University of Cyprus, Cyprus) Program Chairs • Daniela Fogli (University of Brescia, Italy) • Daniel Tetteroo (Eindhoven University of Technology, The Netherlands) Short papers Chairs • Barbara Rita Barricelli (University of Brescia, Italy) • Simone Borsci (University of Twente, The Netherlands) Work in Progress Chairs • Jelle Van Dijk (University of Twente, The Netherlands) • Carmen Santoro (ISTI-CNR, Italy) Demonstration Chair • Stefano Valtolina (University of Milan, Italy) Workshop Chairs • Styliani Kleanthous (Open University of Cyprus, Cyprus) • Simone Stumpf (City University London, UK) Doctoral Consortium Chairs • Monica Maceli (Pratt Institute, USA) • Antonio Piccinno (University of Bari, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Apr 3 10:32:26 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 03 Apr 2021 08:32:26 -0000 Subject: [fg-arc] First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021): Third Call for Papers Message-ID: <8V0LJSCF-ETVU-XBU8-61BR-6MDNMYOH0OG8@cs.ucy.ac.cy> *** Third Call for Papers *** First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021) November 8-10, 2021, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/ihaw2021/ (Proceedings to be published by Springer; Special Journal Issue with SN Computer Science) ICT for Health, Accessibility and Wellbeing (IHAW 2021) is the first of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: · AI and Cognition, Cognitive Mechatronics, Human-Machine Interaction, Cobotics, Model-based design and configuration tools for healthcare and well-being, AI methods for medical device testing · Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self-management, patient-centered systems for survivorship, palliation and/or end-of-life care) · Precision medicine · ICT for in-silico trials · Implantable medical devices · Computational methods for medical device · Models for human-device interaction for medicine · Systems promoting access to the socio-economical and cultural environment · Age-friendly systems for active and healthy aging (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection) · Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments · ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition) · Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention) · New experimental validation methods with end-users · Standardization, certification, labeling, privacy, security and communication issues (related to aging well, to sensory impairment) High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Early works and works- in-progress are invited to submit a short or demo paper. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite three types of paper submissions: 1. Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field 2. Short papers, up to 6 pages, describing original unpublished research, making a small but solid contribution to the field 3. Demos, up to 4 pages, describing innovative tools that address topics relevant to the conference All submissions will be reviewed by the Program Committee. Accepted contributions will appear in the archival proceedings of IHAW 2021, published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899), and will be presented in plenary sessions of the conference. The authors of the best papers accepted for IHAW2021 will be invited to submit extended versions for a special issue with SN Computer Science (https://www.springer.com/journal/42979). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and should specify on the first page the type of submission ("R&T", "Short", "Demo"). The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/conferences/?conf=icihaw2021 . Important Dates · Submission Deadline: June 7, 2021 (AoE) · Notification: August 23, 2021 · Camera-Ready Submission Deadline: September 6, 2021 · Author Registration Deadline: September 6, 2021 Organizers Honorary General Chair · Edwige Pissaloux, University of Rouen Normandy, France General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair · Salim Bouhlel, University of Sfax, Tunisia Scientific Vice-Chair · Achilleas Achilleos, Frederick University, Cyprus Publicity Chair · Ramiro Velazquez, Universidad Panamericana, Mexico Finance Chair · Petros Stratis, Easy Conferences LTD., Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From miguel-areias at dcc.fc.up.pt Thu Apr 15 12:30:40 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Thu, 15 Apr 2021 11:30:40 +0100 Subject: [fg-arc] 2nd Call For Papers - 37th International Conference on Logic Programming (ICLP 2021) Message-ID: <7848a17b-040a-6361-96f0-9743e70f0480@dcc.fc.up.pt> =========================================================================                              CALL FOR PAPERS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) https://iclp2021.dcc.fc.up.pt/ Fully virtual event organized by the Department of Computer Science of the University of Porto. Besides the main track, ICLP 2021 will host additional tracks and special sessions. In attach, follows the CFP for the Applications Track and for the Recently Published Research Track. ========================================================================= Scope ***** Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.  Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations:Semantics, Formalisms, Nonmonotonic reasoning,    Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility,    Higher order, Types, Modes, Assertions, Modules, Meta-programming,    Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation,    Verification, Debugging, Profiling, Testing, Execution    visualization. ** Implementation: Compilation, Virtual machines, Memory management,    Parallel/distributed execution, Constraint handling rules, Tabling,    Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic    programming, Constraint logic programming, Answer set programming,    Interaction with SAT, SMT and CSP solvers, Theorem proving,    Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation,    Software engineering, Natural language processing, Web and semantic    web, Agents, Artificial intelligence, Computational life sciences,    Cybersecurity, Robotics, Education. Tracks and Special Sessions *************************** Besides the main track, ICLP 2021 will host additional tracks: ** Applications Track: this track invites submissions of papers on    emerging and deployed applications of LP, describing all aspects of    the development, deployment, and evaluation of logic programming    systems to solve real-world problems, including interesting case    studies and benchmarks, and discussing lessons learned. ** Recently Published Research Track: this track provides a forum to    discuss important results related to logic programming that    appeared recently (from January 2019 onwards) in selective journals    and conferences, but have not been previously presented at ICLP. Each track will have its own dedicated chairs, PC and evaluation criteria. The attached CFPs specify the submission details. ICLP 2021 will also host: ** MentorLP - Mentoring Workshop on Logic Programming: the purpose of    MentorLP is to support students and newcomers to pursue careers in    logic programming research. This workshop will hold technical    sessions on cutting-edge research in logic programming, and    mentoring sessions on how to prepare and succeed for a research    career. We will have leaders in logic programming research from    academia and industry to give talks on their research areas. We    will also have live discussions among participants on how to    overcome challenges and make contributions to the research    community. MentorLP is dedicated to fostering and supporting    diversity, equity, and inclusion. We especially encourage members    of underrepresented groups to attend. ** Fall School on Logic and Constraint Programming: the school is    suited for those who wish to learn advanced topics in logic    programming and constraint programming. It will consist of a series    of half-day tutorials. ** Doctoral Consortium: the Doctoral Consortium (DC) on Logic    Programming provides students with the opportunity to present and    discuss their research directions, and to obtain feedback from both    peers and experts in the field. The best paper from the DC will be    given the opportunity to make a presentation in a session of the    main ICLP conference. ** Tutorials and Co-located Workshops. Important Dates *************** ** Abstract registration (regular papers): May 3, 2021 ** Paper submission (regular paper): May 10, 2021 ** Notification to authors (regular paper): June 27, 2021 ** Paper Submission (short papers): July 4, 2021 *+ Revision submission (TPLP papers): July 14, 2021 ** Final notifications (all paper kinds): July 30, 2021 ** Camera-ready copy due (all paper kinds): August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** Expected submissions to the main track (for the additional tracks, please follow the specific CFP): ** Regular papers (14 pages in TPLP format, including references) must    describe original, previously unpublished research, and must not    simultaneously be submitted for publication elsewhere. These    restrictions do not apply to previously accepted workshop papers    with a limited audience and/or without archival proceedings. The    accepted regular papers will be published in TPLP, along with the    selected ICLP-TPLP papers. The program committee may recommend some    regular papers to be published as technical communications (TCs),    along with the selected ICLP-TC papers. The authors of the TCs can    also elect to convert their submissions into extended abstracts (2    or 3 pages) for inclusion in the proceedings. This should allow    authors to submit a long version elsewhere. ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/),    including references) can describe published research. The accepted    short papers that describe original and previously unpublished work    will be published as TCs, along with the selected ICLP-TC    papers. The accepted short papers that describe published research    will be made available at the conference webpage, with the    permission of the authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions must be written in English. Submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 Organization ************ ** General Chair    Ricardo Rocha, University of Porto, Portugal ** Program Chairs    Andrea Formisano, University of Udine, Italy    Y. Annie Liu, Stony Brook University, USA ** Organizing and Publicity Chair    Miguel Areias, University of Porto, Portugal ** Applications Track    Alex Brik, Google Inc., USA    Joost Vennekens, KU Leuven, Belgium ** Recently Published Research Track    Gian Luca Pozzato, University of Genova, Italy    Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA ** MentorLP - Mentoring Workshop on Logic Programming    Veronica Dahl, Simon Fraser University, Canada    Paul Fodor, Stony Brook University, USA ** Workshop Chair    Nicos Angelopoulos, Cardiff University, UK ** Doctoral Consortium and Fall School Chairs    Bart Bogaerts, Vrije Universiteit Brussel, Belgium    Carmine Dodaro, University of Calabria, Italy ** Programming Contest Chair    Mario Alviano, University of Calabria, Italy Program Committee *****************    Agostino Dovier, University of Udine, Italy    Alicia Villanueva, Universitat Politècnica de València, Spain    Allen van Gelder, University of California Santa Cruz, USA    Antonius Weinzierl, Vienna University of Technology, Austria    Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil    Chiaki Sakama, Wakayama University, Japan    Ekaterina Komendantskaya,  Heriot-Watt University, UK    Enrico Pontelli,  New Mexico State University, USA    Esra Erdem, Sabanci University, Turkey    Fangzhen Lin, Hong Kong University of Science and Technology    Francesca Alessandra Lisi, University of Bari, Italy    Francesco Ricca, University of Calabria, Italy    German Vidal, Universitat Politècnica de València, Spain    Giovambattista Ianni, University of Calabria, Italy    Gopal Gupta, University of Texas, USA    Inês Dutra, University of Porto, Portugal    Jan Wielemaker, VU University of Amsterdam, Netherlands    Jia-Huai You, University of Alberta, Canada    Jorge Lobo, Pompeu Fabra University, Barcelona, Spain    Jose F. Morales, IMDEA Software Institute, Spain    Katsumi Inoue, National Institute of Informatics, Japan    Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt, Austria    Laura Giordano, Università del Piemonte Orientale, Italy    Magdalena Ortiz, Vienna University of Technology, Austria    Manuel Carro, Technical University of Madrid and IMDEA, Spain    Manuel Hermenegildo, IMDEA and Universidad Politécnica de Madrid, Spain    Manuel Ojeda-Aciego, University of Malaga, Spain    Marcello Balduccini, Saint Joseph's University, USA    Marco Gavanelli,  University of Ferrara, Italy    Marina De Vos, University of Bath, UK    Mario Alviano, University of Calabria, Italy    Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria    Mauricio Osorio, Universidad de las Americas Puebla, Mexico    Michael Gelfond, Texas Tech University, USA    Michael Hanus, CAU Kiel, Germany    Michael Kifer, Stony Brook University, USA    Michael Leuschel, University of Dusseldorf, Germany    Michael Thielscher, The University of New South Wales, Australia    Mirek Truszczynski, University of Kentucky, USA    Nicola Leone, University of Calabria, Italy    Ondřej Lhoták, University of Waterloo, Canada    Orkunt Sabuncu, TED University, Turkey    Paul Tarau, University of North Texas, USA    Pedro Cabalar,University of Corunna, Spain    Roland Yap, National University of Singapore, Republic of Singapore    Roman Barták, Charles University, Czech Republic    Salvador Abreu, Universidade de Évora, Portugal    Sarah Alice Gaggl, Technische Universität Dresden, Germany    Stefan Woltran, Vienna University of Technology, Austria    Stefania Costantini, University of L'Aquila, Italy    Theresa Swift,  Universidade Nova de Lisboa, Portugal    Thomas Eiter, Vienna University of Technology, Austria    Thomas Meyer, University of Cape Town, South Africa    Toby Walsh, University of New South Wales, Australia    Tom Schrijvers, KU Leuven, Belgium    Tomi Janhunen, Tampere University, Finland    Torsten Schaub, University of Potsdam, Germany    Tran Cao Son, New Mexico State University, USA    Tuncay Tekle, Stony Brook University, USA    Vitor Santos Costa, University of Porto, Portugal    Viviana Mascardi, University of Genova, Italy    Vladimir Lifschitz, University of Texas, USA    Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria ========================================================================= Any additional question can be directed towards ICLP Chairs: iclp2021 at easychair.org ========================================================================= -------------- next part -------------- ========================================================================= CALL FOR PAPERS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) Recently Published Research Track https://iclp2021.dcc.fc.up.pt/ Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= Objectives ********** The program committee of the 37th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Recently Published Research Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2019 in selective journals or were presented at related conferences, but that have not been previously presented at ICLP. The goals of this track are: ** To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. ** To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentation ****************** All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2021 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2021 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements *********************** Submissions must meet the following criteria: ** Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA, SAT, POPL, PADL, LICS, etc. ** Candidate papers must have appeared since 2019. ** Papers that are in press may be submitted as long as the final camera-ready version is available at some URL (such as, ArXiv). ** Extensions of papers that have been previously presented at ICLP (or co-located Workshops) are not eligible for this track. Submission Process ****************** All submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 The submission will be in the following format: ** Title and authors of the work for the ICLP Recently Published Research Track (to be published on the Web - see note below about title and authors), ** An accompanying letter containing: ** Complete bibtex reference of the original paper (only 1 reference!) (to be published on the Web) + a URL where the paper can be downloaded from the publisher (if available) (to be published on the Web); ** An explanation of why this paper is interesting to the logic programming community (at most 1 page in PDF). ** The original paper (in PDF) (for reviewers only, it will not be posted on the Web because of copyright issues) because some reviewers could be at universities that don’t have contracts with publishers, such as, Elsevier, Cambridge Publishing, ACM, etc. ** Optional: only if the authors wish to publish an extended abstract in the technical communications of ICLP2021 please submit a 2-page extended abstract of the paper (PDF in EPTCS format http://style.eptcs.org/) for the ICLP Recently Published Research Track (note: we will ask for LaTex sources and HTML sources after the notification). Note: the 2 pages abstract should not contain new material since this is just a report of a publication in a related conference. The title should be a bit different than the original publication (since it would look odd to have a paper with the same title, but much shorter after the original publication), such as, add Report or Summary in the title. It is not necessary to radically change it. The authors should be the same and in the same order with respect to the original publication. The papers in this track will be grouped under a subsection Recently Published Research Track, so other researchers can see that this is a report on the original publication. We advise authors to start the paper with a sentence stating that this abstract is a report or summary of the original publication (with immediately citing that work). Evaluation criteria ******************* Submissions will go through a peer review selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates *************** ** Paper Submission: July 4, 2021 ** Final Notification: July 30, 2021 ** Camera-ready copy due: August 10, 2021 ** Conference: September 20--27, 2021 ========================================================================= Any additional questions can be directed towards the Recently Published Research Track Chairs: Gian Luca Pozzato, University of Genova, Italy Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA iclp2021RPR at easychair.org ========================================================================= -------------- next part -------------- ========================================================================= CALL FOR PAPERS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) Applications Track https://iclp2021.dcc.fc.up.pt/ Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= Objectives ********** Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, maritime situational awareness, etc. Motivated by such a wide range of applications, ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry, to share the recent advancements, challenges and insight for LP applications. The goal of the Application Track is two-fold. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products, and their expectations from the development of theory and tools from the LP community. Expected Contributions ********************** The Applications Track at ICLP 2021 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to: ** stream reasoning ** composite event recognition ** industrial applications ** commonsense reasoning, knowledge representation ** declarative problem solving ** education ** bioinformatics, computational biology ** life sciences, genetics, medicine, pharmacology ** cognitive robotics, social robotics, human-robot interactions ** intelligent transportation, logistics, maritime situational awareness ** computer vision, sensing, internet of things ** data analysis, machine learning ** creative computing ** digital forensics, cybersecurity, blockchain ** economics, game theory, social choice ** software engineering, intelligent user interfaces ** multi-agent systems, argumentation, epistemic reasoning ** constraint programming, SAT, SMT ** natural language understanding, story telling, question answering ** explanation generation, diagnosis ** spatial/temporal/probabilistic reasoning ** planning and scheduling ** databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria ******************* In addition to the usual evaluation criteria concerning the quality of the presentation, for the Applications track the criteria will include: ** Significance of the real-world problem being addressed. ** Importance and novelty of using LP technologies to solve this problem. ** Evaluation and applicability of the system in the real world. ** Clear evidence of the potential benefits of applying and improving LP tools and techniques. ** Reproducibility of the empirical analysis. Concerning reproducibility, whenever possible, datasets, case studies, knowledge repositories and benchmarks must be made public. If this is not possible (e.g, because it would reveal trade secrets of industrial partners), the paper should clearly describe which assets cannot be made reusable and why. Important Dates *************** ** Abstract registration (regular papers): May 3, 2021 ** Paper submission (regular paper): May 10, 2021 ** Notification to authors (regular paper): June 27, 2021 ** Paper Submission (short papers): July 4, 2021 ** Revision submission (TPLP papers): July 14, 2021 ** Final notifications (all paper kinds): July 30, 2021 ** Camera-ready copy due (all paper kinds): August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** All submissions must be written in English. ** Regular papers (14 pages in TPLP format, including references) must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. The accepted regular papers will be published in TPLP, along with the selected ICLP-TPLP papers. The program committee may recommend some regular papers to be published as technical communications (TCs), along with the selected ICLP-TC papers. The authors of the TCs can also elect to convert their submissions into extended abstracts (2 or 3 pages) for inclusion in the proceedings. This should allow authors to submit a long version elsewhere. ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/), including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 Applications Track Program Committee ************************************ Alessandra Mileo, Dublin City University, INSIGHT Centre for Data Analytics, Ireland Angelos Charalambidis, University of Athens, Greece Daniele Theseider Dupré, University of Piemonte Orientale, Italy David Warren, SUNY Stony Brook, USA Fangkai Yang, NVIDIA, USA Federico Chesani, University of Bologna, Italy Ferdinando Fioretto, Syracuse University, USA Francesco Calimeri, University of Calabria, Italy François Bry, Ludwig Maximilian University of Munich, Germany Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria Jacob Feldman, OpenRules, Inc. Jianmin Ji, University of Science and Technology of China Kewen Wang, Griffith University Australia Marco Maratea, University of Genova, Italy Matti Järvisalo, University of HelsinkiA, Finland Mohan Sridharan, University of Birmingham, UK Mutsunori Banbara, Nagoya University, Japan Nikos Katzouris, NCSR Demokritos Paolo Torroni, University of Bologna, Italy Yunsong Meng, General Motors, USA Zeynep Kiziltan, University of Bologna, Italy Zhizheng Zhang, Southeast University, China ========================================================================= Any additional questions can be directed towards the Application Track Chairs: Alex Brik, Google Inc., USA Joost Vennekens, KU Leuven, Belgium iclp2021applications at easychair.org ========================================================================= From miguel-areias at dcc.fc.up.pt Thu Apr 15 12:37:43 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Thu, 15 Apr 2021 11:37:43 +0100 Subject: [fg-arc] 2nd Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021) Message-ID: =========================================================================                             CALL FOR WORKSHOPS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) https://iclp2021.dcc.fc.up.pt/ September 20--27, 2021 Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2021 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposals ****************** Those interested in organizing a workshop at ICLP 2021 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: ** The title of the workshop; ** A brief technical description of the topics covered by the workshop; ** A discussion of the timeliness and relevance of the workshop; ** A list of any related workshops held in the last years; ** The estimated length of the workshop and an estimate of the number    of expected attendees; ** The names, affiliation and contact details (email, web page, phone)    of the workshop organizers together with a designated contact    person; ** Previous experience of the workshop organizers in    workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by May 3rd, 2021. Reviewing Process ***************** Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by May 10th, 2021. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare meeting facilities. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks ************************** ** Producing a "Call for Papers" for the workshop and posting it on    the Internet and other means. A web page URL should be provided by    May 15th, 2021, and will be published on the ICLP 2021 home page; ** Providing a brief description of the workshop for the conference    program; ** Reviewing/accepting submitted papers; ** Scheduling workshop activities in collaboration with the local    organizers and the Workshop Chair; ** Providing a workshop program in a format specified by the    conference organizers for posting by August 31st, 2021; ** Coordinating the preparation of the workshop proceedings according    to the specifications provided by the Workshop Chair. Location ******** Workshops will be virtually collocated with ICLP 2021. See the ICLP 2021 web site (https://iclp2021.dcc.fc.up.pt/) for further details. Important Dates (Tentative) *************************** ** May 3rd, 2021: Proposal submission deadline ** May 10th, 2021: Notification ** May 15th, 2021: Deadline for receipt of CfP and workshop web page URL ** August 18th, 2020: Deadline for acceptance notification to paper authors ** August 31st, 2020: Deadline for workshop program Submissions *********** Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair ************** Nicos Angelopoulos https://www.cardiff.ac.uk/people/view/2436650-angelopoulos-nicos ========================================================================= From sauer at uni-paderborn.de Wed Apr 21 08:17:06 2021 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 21 Apr 2021 08:17:06 +0200 Subject: [fg-arc] DFF 2021 findet nicht statt - stattdessen "WSRE light" am 05.05. Message-ID: Liebe Kolleginnen und Kollegen, sehr geehrte Interessierte, leider müssen wir den geplanten *12. Workshop „Design For Future (DFF) – Software für Langlebige Systeme“* des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2)  der Fachgruppen „Architekturen“ und „Software-Reengineering“, der gemeinsam mit dem "Workshop Software-Reengineering und -Evolution" (WSRE) in der Zeit vom 3. – 5. Mai 2021 in Bad Honnef stattfinden sollte, aufgrund der aktuellen Situation absagen bzw. auf das kommende Jahr verschieben. Gemeinsam mit der Fachgruppenleitung und den Organisatoren des WSRE weisen wir aber auf die Online-Ersatzveranstaltung *"WSRE light"* (siehe unten) hin und laden Sie hierzu herzlich ein. Informationen zum Programm sowie zur kostenlosen Anmeldung und Teilnahme finden Sie nachfolgend. Wir hoffen, im Jahr 2022 wieder einen Workshop - nach Möglichkeit in Präsenz - anbieten und durchführen zu können. Ihre/Eure AK-Leitung Robert Heinrich Marco Konersmann Stefan Sauer ** -------------------------------------------------------------------------------- *Einladung zu "WSRE light"* (und Absage von WSRE 2021 im Physikzentrum, Bad Honnef) Auf Grund der weiterhin bestehenden Corona-Problematik kann der WSRE auch in diesem Jahr leider nicht in der gewohnten Weise im Mai in Bad Honnef stattfinden. Wir müssen davon ausgehen, dass auch im Mai Präsenzveranstaltungen weder erlaubt noch vertretbar sein werden. Aufgrund der aktuellen Randbedingungen erachten wir eine Terminverschiebung des Workshops in diesem Jahr nicht als sinnvoll. Wir hoffen sehr, dass nach den Impfungen der WSRE 2022 dann wieder vor Ort in Bad Honnef stattfinden kann. Um dennoch auch in diesem Jahr als Fachgruppe weiterhin miteinander in Kontakt zu bleiben, laden wir Sie/Euch für *Mittwoch, den 5. Mai 2021* (also in der Woche, für die der WSRE auch ursprünglich geplant war), zu einem "*WSRE light*" ein. Dieser wird als *virtuelle Veranstaltung* und in einem reduzierten Umfang von nur etwa 3 Stunden mit folgendem Programm stattfinden: 15:00 Uhr:Begrüßung ca. 15:15 Uhr:Keynote-Vortrag von Elmar Jürgens zum Thema "Ist das wichtig oder kann das weg? Überraschende Ergebnisse dynamischer Analysen im Großen" ca. 16:00 Uhr:Vorträge zu den WSRE-Einreichungen /kurze Pause/ ca. 16:45 Uhr:Interaktive Session, in der wir die Erstellung einer "Wissensbasis" zu Software-Reengineering auf den Weg bringen wollen ca. 17:45 Uhr:SRE-Fachgruppensitzung ca. 18:00 Uhr:"Virtuelle Eisdiele" (Open-End) Um am "WSRE light" teilzunehmen, ist eine *kostenfreie Registrierung bis zum 28.04.* erforderlich über die Webseite: https://rgse.uni-koblenz.de/wsre/registration.php Die *Einwahldaten *für den "WSRE light" werden wir an die registrierten Teilnehmer dann kurz vor der Veranstaltung verteilen. *Euch/Ihnen weiterhin alles Gute und vor allem, bleiben Sie gesund!* Eure/Ihre SRE-Fachgruppenleitung  Jens Knodel  Marco Konersmann  Stefan Sauer  Matthias Gutheil  Torsten Görg -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_signature Type: application/pgp-signature Size: 840 bytes Desc: OpenPGP digital signature URL: From a.w.laarman at liacs.leidenuniv.nl Mon Apr 19 12:14:34 2021 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W.) Date: Mon, 19 Apr 2021 10:14:34 +0000 Subject: [fg-arc] SPIN 2021 - Final Call for Papers Message-ID: ******************************************************************************* Call for Papers (deadline extension) SPIN 2021 International Symposium on Model Checking of Software July 12-13, 2021 (UPDATED) ONLINE from Aarhus, Denmark Conference website: https://conf.researchr.org/home/spin-2021 Submission link: https://easychair.org/conferences/?conf=spin20210 Important Dates: *** The paper submission deadline is extended to 20 April 2021 because of COVID *** Submission: April 20, 2021 (AoE) Notification: May 20, 2021 Camera-ready: May 30, 2021 Conference: July 12-13, 2021 Scope The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms (classical and quantum), tool development, including for modern hardware (parallel and distributed), and empirical evaluation. Invited speakers * ‪Vincenzo Ciancia‬, ISTI-CNR * Mariëlle Stoelinga, Twente / Radboud University * Moshe Vardi, Rice University Topics of Interest Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods of education and training * Insightful surveys or historical accounts on topics of relevance to the symposium * Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, FPGA, cloud, and quantum Submission Guidelines The proceedings of SPIN 2021 will be published in Springer's Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format: LNCS Information for Authors With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers: * Full Research / Tool Papers describing fully developed work and complete results (16 pages - references are not included in this limit); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages - references are not included in this limit). * Tool Demo Papers presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (4 pages to describe the tool foundations, features and use examples, plus an appendix explaining the content of the demo). Papers should be submitted via the EasyChair SPIN 2021 submission website: https://easychair.org/conferences/?conf=spin20210 All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. At least one author of each accepted paper must attend the symposium and present the paper. STTT A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). Program Committee Members Jiří Barnat, Masaryk University Maurice H. ter Beek, ISTI-CNR Tom van Dijk, University of Twente Vedran Dunjko, Leiden University Stefan Edelkamp, University of Koblenz Grigory Fedyukovich, Florida State University Henri Hansen, Tampere University of Technology Arnd Hartmanns, University of Twente Gerard Holzmann, Nimble research Antti Hyvärinen, Università della Svizzera italiana Nils Jansen, Radboud University Nijmegen Peter Gjøl Jensen, Aalborg University Sung-Shik Jongmans, Open University NL, CWI Jeroen Keiren, Eindhoven University of Technology Igor Konnov, Informal Systems Inc Alberto Lluch Lafuente, Technical University of Denmark Kuldeep S. Meel, National University of Singapore Alice Miller, University of Glasgow Sergio Mover, École Polytechnique Rajagopal Nagarajan, Middlesex University Doron Peled, Bar Ilan University Tatjana Petrov, University of Konstanz Jaco van de Pol, Aarhus University Stephen F. Siegel, University of Delaware Carsten Sinz, Karlsruhe Institute of Technology Jiří Srba, Aalborg University Michael Tautschnig, Amazon Web Services Yann Thierry-Mieg, Sorbonne University - LIP6 Yakir Vizel, Technion Georg Weissenbacher, Vienna University of Technology Anton Wijs, Eindhoven University of Technology Organizing committee Alfons Laarman, Leiden University Ana Sokolova, University of Salzburg -------------- next part -------------- An HTML attachment was scrubbed... URL: From events at aaisi.org Mon Apr 19 15:24:18 2021 From: events at aaisi.org (AAISI Events Team) Date: Mon, 19 Apr 2021 15:24:18 +0200 Subject: [fg-arc] AI Colloquium Talk (AI for Industry and Environment), Registration Deadline: 13.04.2021 11:59 AM Message-ID: Hello together, Just as a reminder, today is the last opportunity to resigner to our this week’s online AI colloquium. Please register as soon as possible, since the registration is limited. Invited Speaker: Ute Schmid, Professor of Applied Computer Science/Cognitive Systems, University of Bamberg, Germany Title: "The Third Wave of Artificial Intelligence — From Blackbox Machine Learning to Explanation-based Cooperation" Date & Time: 20 Apr. 2021, 16:00 CEST (10:00 EST) Registration Link: https://tinyurl.com/ai210420 ---------------------------------------------------------------------------------------------------------------------- Next Week’s Invited Speaker: Invited Speaker: Tara Javidi, Professor at University of California San Diego, US Date & Time: 27 Apr. 2021, 16:00 CEST (10:00 EST) Registration Link: tinyurl.com/ai210427tj ---------------------------------------------------------------------------------------------------------------------- For any questions and difficulties, you can reach us anytime by email. Best Regards, AAISI Helpdesk, on behalf of Asst. Prof. Dr. Mahdi Bohlouli, General Chair, The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: events at aaisi.org ================================ AAISI Events Team The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: events at aaisi.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Fri Apr 23 12:57:03 2021 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 23 Apr 2021 12:57:03 +0200 Subject: [fg-arc] Call for Papers: HCSE-Workshop at INTERACT 2021 (submit by April 30) Message-ID: <10aab0d3-0a66-58b6-0665-16819fa656fe@uni-paderborn.de> *_One week left until paper submission deadline!_*_*(Apologies for cross-postings.)*_ *International Workshop on Human-Centered Software Engineering for Changing Contexts of Use* *organized by IFIP Working Group 13.2 on Methodologies for User-Centered Systems Design* *August 31, 2021 * *https://sites.google.com/view/hcse-workshop-interact2021/* *at INTERACT 2021 **- The 18th IFIP TC 13 International Conference on Human-Computer Interaction*** *August 30 – September 3, 2021 Bari, Italy* *Call for Papers* *Submissions: **position papers reporting original academic or industrial research relevant to the workshop's theme (PDF files, 6-10 pages in Springer LNCS format)* *Deadline for submission: April 30, 2021* *Theme* The context of use plays an important role in Human-Centered Software Engineering (HCSE) and Human-Computer Interaction (HCI) research. Typically, user, environment, and platform are considered to make up the core aspects of the context of use. Changing the context of use, for example due to unplanned circumstances like the current pandemic situation, has significant impact on how we use systems, and how we adapt and adopt them even if the systems were not designed for such usages. In HCSE research we have to account for this change, making interactive system development context-aware or design and develop in a way that systems can adapt for novel forms of usage. Recently, we observe developments that strongly change contexts of use. For example, in the area of industrial automation (Industry 4.0) work environments change, new kinds of user assistance evolve, and workers are going to be supported by innovative types of devices and digital assistance tools to accomplish their working tasks. Typical examples are augmented, virtual, and mixed reality applications in training or support situations. The COVID-19 pandemic has drastically changed where and the way how we work, particularly in collaboration with others to keep distance and increase personal safety. In contrast, the trend towards increasingly autonomous systems and systems that use and provide artificial intelligence gives rise to new kinds of interaction, particularly, human-machine interaction (HMI), in areas such as autonomous driving or human-robot collaboration in different domains such as industrial production, logistics, or health. These trends should be accounted for in the way we design and build such interactive systems, possibly coming to evolutionary or even revolutionary solutions. For example, expected or unforeseen changes of usage scenarios and their context of use may be accounted for by flexible and more resilient system solutions and be reflected in the development practices and technical frameworks. Specific kinds of interaction such as HMI, but also social and socio-technical interaction may demand for more prominent and explicit consideration. Quality aspects such as ubiquity, security, and safety may be seen in a different light. Changing contexts of use may even have an impact on the way we think about user motivation and user experience, away from short-term notions like emotions towards long-term traits like users’ values. We want to specifically account for these developments in addition to the general concerns of HCSE. Discussions and interactive working sessions will particularly deal with these concerns. *Objective* In this workshop, we aim to broaden the traditional scope of the workshop series of IFIP Working Group 13.2. We focus on the study of context of use, its long-term evolutionary trends as well as its short-term design and management in a user-centered design process, from a social and user-centered methodological viewpoint as well as from a technical viewpoint. Our aim is to cover a large set of user interface perspectives, aspects, and properties and fuel new ideas and approaches for research and practice. The long-term perspective of this workshop is to foster the development of theories, methods, tools and approaches for dealing with the changing context of use and its impact on HCI and collaboration that should be taken into account when developing interactive and socio-technical systems. This workshop is a follow-up of the successful workshops organized at INTERACT 2017 in Mumbai, India and INTERACT 2019 in Paphos, Cyprus . *Target Audience and Expected Outcomes* This workshop is open to everyone who is interested in aspects of human-computer interaction froma user-centered perspective. Typical contributions to this workshop focus on user interface properties while designing and building interactive systems and study associated methods, processes and approaches. We expect a high participation of IFIP Working Group 13.2 members. We particularly invite participants to present position papers describing real-life case studies that illustrate the role of the context of use in HCI and its impact on thesystem design and use. Any perspective and related aspects of user interface design are welcome. However, we are especially interested in work that deals with current trends that change the way how humans use, interact and collaborate with technical components in socio-technical systems. We are also interested in methods, theories and tools for managing context of use at design and run-time. Position papers will be made available through the workshop website. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT workshops organized by the IFIP TC13 Working Groups. *Workshop Format* This full-day workshop is organized around presentation of position papers and working activities in small groups. From the set of contributions, a subset of selected case studies will be invited to be presented at the beginning of the workshop and will be used to support the discussion that follows. The morning session will be dedicated to welcoming participants and presenting case studies. Participants will be invited to comment on the case studies and to report similar experiences. The afternoon sessions will be devoted to interactive sessions, where participants will be engaged to work in small groups and propose solutions to the problems of the case studies seen in the morning. Solutions proposed by the participants will be compiled and compared. Based on the lessons learned, participants will be incited to draft an agenda of future work that can be accomplished. We plan to run the workshop in a hybrid setting, allowing attendees to participate both physically and remotely in the workshop. If circumstances require it, we intend to switch to a completely digital format that will be run online. We will continuously adapt to any decision regarding the conference format by the INTERACT 2021 organizers. *Submission Instructions* In order to attend the workshop, participants are invited to submit position papers reporting original academic or industrial research relevant to the workshop's theme. These position papers (PDF files, 6-10 pages in Springer LNCS forma t , including abstract) shall report practical experiences related to research results on user-centered development processes for interactive systems with a particular focus on context-of-use aspects and the impact on software properties. Submissions are not anonymous and should include all author names, affiliations, and contact information. Authors should also provide in their submission a short summary of their experience in the field and their motivation to participate in this workshop. Papers are submitted through the EasyChair website . Submitted position papers will be reviewed by an international program committee comprising the organizers and selected members of IFIP Working Group 13.2 who are experts in the field. Participants will be invited to attend the workshop based on the result of the reviewing process. Accepted position papers will be made available through the workshop website. Upon acceptance, at least one author of each accepted position paper must register and attend the workshop. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT 2021 workshops organized by the IFIP TC13 Working Groups. *Important Dates* Deadline for submission: April 30, 2021 Acceptance notification: June 11th, 2021 Final version of position paper: June 28, 2021 Workshop date: August 31, 2021 *Organizers * Stefan Sauer, Paderborn University, Germany (sauer[at]uni-paderborn.de) Regina Bernhaupt, Eindhoven University of Technology, The Netherlands (r.bernhaupt[at]tue.nl) Carmelo Ardito, Polytechnic University of Bari, Italy (carmelo.ardito[at]poliba.it) *Venue* The workshop will be hosted in the frame of the 18th IFIP TC13 International Conference on Human-Computer Interaction, August 30 – September 3, 2021, in Bari, Italy. Look at the main conference web site for further information (https://www.interact2021.org/ ). -------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_signature Type: application/pgp-signature Size: 840 bytes Desc: OpenPGP digital signature URL: From genaim at gmail.com Sun Apr 25 15:19:41 2021 From: genaim at gmail.com (Samir Genaim) Date: Sun, 25 Apr 2021 15:19:41 +0200 Subject: [fg-arc] WST 2021: deadline extension (9 May, 2021) Message-ID: ====================================================================== WST 2021 - Call for Papers 17th International Workshop on Termination http://costa.fdi.ucm.es/wst2021 July 16, 2021, Pittsburgh, PA, United States Co-located with CADE-28 **** The workshop will be virtual **** ====================================================================== *[The submission deadline was extended to May 9, 2021].* The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. IMPORTANT DATES: * * submission deadline: May 9, 2021* (extended) * notification: June 6, 2021 * final version due: June 20, 2021 * workshop: July 16, 2021 INVITED SPEAKERS: TBA TOPICS: The 17th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to): * abstraction methods in termination analysis * certification of termination and complexity proofs * challenging termination problems * comparison and classification of termination methods * complexity analysis in any domain * implementation of termination methods * non-termination analysis and loop detection * normalization and infinitary normalization * operational termination of logic-based systems * ordinal notation and subrecursive hierarchies * SAT, SMT, and constraint solving for (non-)termination analysis * scalability and modularity of termination methods * termination analysis in any domain (lambda calculus, declarative programming, rewriting, transition systems, etc.) * well-founded relations and well-quasi-orders SUBMISSION GUIDELINES: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page: https://easychair.org/conferences/?conf=wst2021 Please, use LaTeX and the LIPIcs style file http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. PROGRAM COMMITTEE: * Martin Avanzini - INRIA Sophia, Antipolis * Carsten Fuhs - Birkbeck, U. of London * Samir Genaim (chair) - U. Complutense de Madrid * Jürgen Giesl - RWTH Aachen * Matthias Heizmann - U. of Freiburg * Cynthia Kop - Radboud U. Nijmegen * Salvador Lucas - U. Politècnica de València * Étienne Payet - U. de La Réunion * Albert Rubio - U. Complutense de Madrid * René Thiemann - U. of Innsbruck -------------- next part -------------- An HTML attachment was scrubbed... URL: From ecsa.publicity at gmail.com Sun Apr 25 08:48:41 2021 From: ecsa.publicity at gmail.com (ECSA Publicity) Date: Sun, 25 Apr 2021 08:48:41 +0200 Subject: [fg-arc] [Deadlines extension] CFP: 15th European Conference on Software Architecture (ECSA 2021) Message-ID: ********************************************************** CFP: 15th European Conference on Software Architecture (ECSA 2021) Växjö, Sweden, September 13-17, 2021 (virtual) ********************************************************** Web: https://conf.researchr.org/home/ecsa-2021 Twitter: @ECSACONF The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The 15th European Conference on Software Architecture (ECSA 2021) will be held from 13 to 17 September 2021. ECSA 2021 was originally planned in the beautiful city of Växjö Sweden. Yet due to COVID-19 and considering what impact this may have on the conference, the ECSA Steering and Organizing Committee decided to organize ECSA 2021 as a virtual event. We would like to express our empathy and condolences with those affected by COVID-19. Our primary concern is that members of our community, and their families and friends, remain safe and well. ***SPECIAL ISSUE*** Selected papers from the conference will be considered for a Special Issue on “Architecting for the Digital Society” in the Journal of Systems and Software (JCR IF 2.450): https://www.journals.elsevier.com/journal-of-systems-and-software/call-for-papers/special-issue-on-architecting-for-the-digital-society ***SCOPE*** ECSA 2021 aims to focus on how Software Architecture can enable the success of the next generation of software-enabled systems to address the challenges of society, such as health, climate, sustainability, mobility, diversity, and future of production. This raises questions such as: What are the current research successes that position Software Architecture at the core of the ability to build and sustain systems of the future? What automation, tools, and techniques do software architects and engineers need in order to ensure architectures developed are adaptable, evolvable, verifiable, and meet their quality and functional requirements? The program committee of 15th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research, new methods, approaches, and processes, novel applications, approaches for education and training in software architecture, and experience reports on all topics related to software architecture including, but not limited to: - Foundational principles of software architecture - Linking requirements engineering and software architectures - Quality attributes and software architectures - Architectural design, analysis and evaluation - Architecture description languages and meta-models - Architecture verification and validation - Management of architectural knowledge, decisions, and rationale - Cross-disciplinary efforts and software architecture - Architectures for reconfigurable and self-adaptive systems - Architectural concerns of autonomic systems - Architectural patterns, styles and tactics, reference architectures - Architecture viewpoints and views - Architecture conformance - Software architecture and virtualization - Architecture-centric process models and frameworks - Software architecture and agility, continuous integration, continuous development and DevOps tools - Component-based models and deployment, middleware - Software architecture and system architecture, including software-defined networking - Software tools and environments for architecture-centric software engineering - Cultural, economic, business, social and managerial aspects of software architecture - Software architecture in different areas such as the cloud/edge-cloud, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems of systems, energy-aware software - Architecture and technical debt - Empirical studies, systematic literature reviews, and mapping studies in software architecture. ***PAPER SUBMISSIONS*** ECSA 2021 seeks three types of papers for the research track: - Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) - Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices in teaching and training of software architecture. - Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in-progress or challenges in a topic of software architecture research or education and training software architectures. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous peer review process. Papers will be selected based on originality, quality, soundness and relevance. All contributions must be original, not published, accepted or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. For this aim, plagiarism checking will be conducted and any paper reporting more than 20% of coincidence will be desk-rejected. All contributions must be formatted according to the Springer LNCS style ( http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The aforementioned limit of pages includes figures and references. Contributions need to be submitted in pdf format via EasyChair to the ECSA 2021 Research Track. The proceedings will be published by Springer-Verlag as part of the Lecture Notes in Computer Science (LNCS) series. ***IMPORTANT DATES*** Main Conference & Journal First - Abstracts submission May 13, 2021 - Papers submission May 17, 2021 - Notification of papers June 14, 2021 - Camera ready June 29, 2021 Industry Program - Full papers abstracts submission May 13, 2021 - Full paper submission May 17, 2021 - Notification of full papers June 14, 2021 - Full papers camera ready June 29, 2021 ---------------------------------------------------------------- - Short papers and presentations submission June 25, 2021 - Notification of short papers and presentations July 16, 2021 - Short papers camera ready July 29, 2021 Tools & Demos, Diversity, Equity and Inclusion & Doctoral Symposium: - Papers submission June 25, 2021 - Notification of papers July 16, 2021 - Camera ready July 29, 2021 Submission dates are 23:59h AoE (anywhere on Earth). Submission dates are strict and no extensions will be granted. ***ORGANIZERS*** - General Co-Chair, Raffaela Mirandola, Politecnico di Milano, Italy - General Co-Chair, Danny Weyns, KU Leuven, Belgium and Linnaeus University, Sweden - Program Co-Chair, Stefan Biffl, Technische Universität Wien, Austria - Program Co-Chair, Elena Navarro, University of Castilla‐La Mancha, Spain - Industrial Co-Chair, Marjan Sirjani, Malardalen University, Sweden - Industrial Co-Chair, Welf Löwe, Linnaeus University, Sweden - Workshop & Tutorial Co-Chair, Patrizia Scandurra, University of Bergamo, Italy - Workshop & Tutorial Co-Chair, Matthias Galster, University of Canterbury, New Zealand - Tool Demos Co-Chair, Romina Spalazzese, Malmö University, Sweden - Tool Demos Co-Chair, Ilias Gerostathopoulos, Vrije Universiteit Amsterdam, Netherlands - DE&I Co-Chair, Ingrid Nunes, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil - DE&I Co-Chair, Thomas Vogel, Humboldt-Universität zu Berlin, Germany - Doctoral Symposium Co-Chair, Genaina Rodrigues, University of Brasilia, Brazil - Doctoral Symposium Co-Chair, Radu Calinescu, University of York, United Kingdom - Journal First Chair, Tomi Männistö, University of Helsinki, Finland - Proceeding Chair, Robert Heinrich, Karlsruhe Institute of Technology (KIT), Germany - Publicity Co-Chair, Aurora Macías, University of Castilla-La Mancha, Spain - Publicity Co-Chair, Jürgen Musil, TU Wien, Austria - Local Chair, Diana Unander, Linnaeus University, Sweden - Virtualization Co-Chair, Mauro Caporuscio, Linnaeus University, Sweden - Virtualization Co-Chair, Romain Christian Herault, Linnaeus University, Sweden - Web Chair, Mirko D’Angelo, Ericsson Research, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: From shacks at kth.se Wed Apr 28 13:27:29 2021 From: shacks at kth.se (Simon Hacks) Date: Wed, 28 Apr 2021 11:27:29 +0000 Subject: [fg-arc] [Call for Paper] 3rd Workshop on the Value and Quality of Enterprise Modelling Message-ID: *********************************************************************** 3rd Workshop on the Value and Quality of Enterprise Modelling (VEnMo 2021) in conjunction with the 23rd IEEE International Conference on Business Informatics (CBI 2021) September 1, 2021 Virtual Event *********************************************************************** In computer science and information systems development, Enterprise Modelling (EM) is used for different purposes, like representing requirements, visualizing established work processes, specifying system design, expressing information structures, formalizing the relationships between organizational structures and IT landscapes and many more. Despite this large spectrum of modeling purposes and use cases, the value of modelling in general and of Enterprise Models in particular is still subject of research. The 3rd VEnMo Workshop invites researchers and practitioners with strong interest in the value of Enterprise Modelling to discuss approaches and experiences in measuring, assessing, evaluating, and improving the value of enterprise related models like Enterprise Models, Enterprise Architecture Models, or Business Process Models. While it is common sense that EM adds value to organizations, existing research is still vague regarding how this value manifests. Therefore, the workshop aims to shed light on existing as well as new theories, concepts and frameworks for describing, understanding and measuring the added value of EM. One important aspect in this context may be the quality of EM, as only models of an adequate quality with respect to their intended purpose allow organizations to exploit the full value of EM. Therefore, the workshop further encourages researchers or practitioners to report on insights or approaches how to assess the quality of enterprise models. However, we support a broad interpretation of the topics "value" and "quality" and encourage submissions also in related areas. **Topics** * interpretations or conceptualizations of the terms "value" and "quality" in the context of Enterprise related Models (EM, EA models, BPM, ...) * new approaches to measure, assess, evaluate, or improve the value of enterprise related models * interrelations between model, method, and tool value * perceived value of models, methods, and tools * stakeholder perspectives on value and quality of EM * metrics, quantitative, and qualitative approaches to assess the quality of enterprise related models. * theories or best practices for maximizing modelling value * relationship between quality, quantity and value * management of value aspects in modelling * case studies and industrial experience reports on successful or failed application of approaches to assess the value or quality of enterprise related models. * tools, infrastructure and environments supporting the assessment of value or quality of enterprise related models. * empirical studies, evaluation and comparison of measurement techniques and models. * we support a broad interpretation of the topics "value" and "quality" and encourage submissions also in related areas. **Submissions** Two kinds of papers will be accepted: * Full papers with a page limit of 10 pages, * Short papers with a page limit of 6 pages. Papers should be written in English, following the IEEE double column format and should be submitted through the VEnMo easychair installation, accessible via https://easychair.org/my/conference?conf=venmo2021. **(Tentative) Key Dates** * Workshop papers submission deadline: June 19, 2021 * Workshop papers notification deadline: July 16, 2021 * Workshop camera-ready papers deadline: July 31, 2021 * Workshop VEnMo: September 1, 2021 **Web Site** More information and link to the submission site: https://ea-debts.org/venmo-workshop/ **Organization Committee** * Simon Hacks, KTH Royal Institute of Technology * Kurt Sandkuhl, University of Rostock * Michael Fellmann, University of Rostock * Felix Timm, University of Rostock -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Fri Apr 30 20:21:21 2021 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 30 Apr 2021 20:21:21 +0200 Subject: [fg-arc] Extended submission deadline (May 11): Call for Papers: HCSE-Workshop at INTERACT 2021 Message-ID: *_Submission deadline extended until May 11, 2021. (Apologies for cross-postings.)_*_**_ *International Workshop on Human-Centered Software Engineering for Changing Contexts of Use* *organized by IFIP Working Group 13.2 on Methodologies for User-Centered Systems Design* *August 31, 2021 * *https://sites.google.com/view/hcse-workshop-interact2021/* *at INTERACT 2021 **- The 18th IFIP TC 13 International Conference on Human-Computer Interaction*** *August 30 – September 3, 2021 Bari, Italy* *Call for Papers* *Submissions: **position papers reporting original academic or industrial research relevant to the workshop's theme (PDF files, 6-10 pages in Springer LNCS format)* *Deadline for submission: May 11, 2021 (extended!) April 30, 2021* *Theme* The context of use plays an important role in Human-Centered Software Engineering (HCSE) and Human-Computer Interaction (HCI) research. Typically, user, environment, and platform are considered to make up the core aspects of the context of use. Changing the context of use, for example due to unplanned circumstances like the current pandemic situation, has significant impact on how we use systems, and how we adapt and adopt them even if the systems were not designed for such usages. In HCSE research we have to account for this change, making interactive system development context-aware or design and develop in a way that systems can adapt for novel forms of usage. Recently, we observe developments that strongly change contexts of use. For example, in the area of industrial automation (Industry 4.0) work environments change, new kinds of user assistance evolve, and workers are going to be supported by innovative types of devices and digital assistance tools to accomplish their working tasks. Typical examples are augmented, virtual, and mixed reality applications in training or support situations. The COVID-19 pandemic has drastically changed where and the way how we work, particularly in collaboration with others to keep distance and increase personal safety. In contrast, the trend towards increasingly autonomous systems and systems that use and provide artificial intelligence gives rise to new kinds of interaction, particularly, human-machine interaction (HMI), in areas such as autonomous driving or human-robot collaboration in different domains such as industrial production, logistics, or health. These trends should be accounted for in the way we design and build such interactive systems, possibly coming to evolutionary or even revolutionary solutions. For example, expected or unforeseen changes of usage scenarios and their context of use may be accounted for by flexible and more resilient system solutions and be reflected in the development practices and technical frameworks. Specific kinds of interaction such as HMI, but also social and socio-technical interaction may demand for more prominent and explicit consideration. Quality aspects such as ubiquity, security, and safety may be seen in a different light. Changing contexts of use may even have an impact on the way we think about user motivation and user experience, away from short-term notions like emotions towards long-term traits like users’ values. We want to specifically account for these developments in addition to the general concerns of HCSE. Discussions and interactive working sessions will particularly deal with these concerns. *Objective* In this workshop, we aim to broaden the traditional scope of the workshop series of IFIP Working Group 13.2. We focus on the study of context of use, its long-term evolutionary trends as well as its short-term design and management in a user-centered design process, from a social and user-centered methodological viewpoint as well as from a technical viewpoint. Our aim is to cover a large set of user interface perspectives, aspects, and properties and fuel new ideas and approaches for research and practice. The long-term perspective of this workshop is to foster the development of theories, methods, tools and approaches for dealing with the changing context of use and its impact on HCI and collaboration that should be taken into account when developing interactive and socio-technical systems. This workshop is a follow-up of the successful workshops organized at INTERACT 2017 in Mumbai, India and INTERACT 2019 in Paphos, Cyprus . *Target Audience and Expected Outcomes* This workshop is open to everyone who is interested in aspects of human-computer interaction froma user-centered perspective. Typical contributions to this workshop focus on user interface properties while designing and building interactive systems and study associated methods, processes and approaches. We expect a high participation of IFIP Working Group 13.2 members. We particularly invite participants to present position papers describing real-life case studies that illustrate the role of the context of use in HCI and its impact on thesystem design and use. Any perspective and related aspects of user interface design are welcome. However, we are especially interested in work that deals with current trends that change the way how humans use, interact and collaborate with technical components in socio-technical systems. We are also interested in methods, theories and tools for managing context of use at design and run-time. Position papers will be made available through the workshop website. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT workshops organized by the IFIP TC13 Working Groups. *Workshop Format* This full-day workshop is organized around presentation of position papers and working activities in small groups. From the set of contributions, a subset of selected case studies will be invited to be presented at the beginning of the workshop and will be used to support the discussion that follows. The morning session will be dedicated to welcoming participants and presenting case studies. Participants will be invited to comment on the case studies and to report similar experiences. The afternoon sessions will be devoted to interactive sessions, where participants will be engaged to work in small groups and propose solutions to the problems of the case studies seen in the morning. Solutions proposed by the participants will be compiled and compared. Based on the lessons learned, participants will be incited to draft an agenda of future work that can be accomplished. We plan to run the workshop in a hybrid setting, allowing attendees to participate both physically and remotely in the workshop. If circumstances require it, we intend to switch to a completely digital format that will be run online. We will continuously adapt to any decision regarding the conference format by the INTERACT 2021 organizers. *Submission Instructions* In order to attend the workshop, participants are invited to submit position papers reporting original academic or industrial research relevant to the workshop's theme. These position papers (PDF files, 6-10 pages in Springer LNCS forma t , including abstract) shall report practical experiences related to research results on user-centered development processes for interactive systems with a particular focus on context-of-use aspects and the impact on software properties. Submissions are not anonymous and should include all author names, affiliations, and contact information. Authors should also provide in their submission a short summary of their experience in the field and their motivation to participate in this workshop. Papers are submitted through the EasyChair website . Submitted position papers will be reviewed by an international program committee comprising the organizers and selected members of IFIP Working Group 13.2 who are experts in the field. Participants will be invited to attend the workshop based on the result of the reviewing process. Accepted position papers will be made available through the workshop website. Upon acceptance, at least one author of each accepted position paper must register and attend the workshop. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT 2021 workshops organized by the IFIP TC13 Working Groups. *Important Dates* Deadline for submission: *May 11, 2021 (extended!) April 30, 2021* Acceptance notification: June 11th, 2021 Final version of position paper: June 28, 2021 Workshop date: August 31, 2021 *Organizers * Stefan Sauer, Paderborn University, Germany (sauer[at]uni-paderborn.de) Regina Bernhaupt, Eindhoven University of Technology, The Netherlands (r.bernhaupt[at]tue.nl) Carmelo Ardito, Polytechnic University of Bari, Italy (carmelo.ardito[at]poliba.it) *Venue* The workshop will be hosted in the frame of the 18th IFIP TC13 International Conference on Human-Computer Interaction, August 30 – September 3, 2021, in Bari, Italy. Look at the main conference web site for further information (https://www.interact2021.org/ ). -------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_signature Type: application/pgp-signature Size: 840 bytes Desc: OpenPGP digital signature URL: From events at aaisi.org Mon Apr 26 18:05:47 2021 From: events at aaisi.org (AAISI Events Team) Date: Mon, 26 Apr 2021 16:05:47 -0000 Subject: [fg-arc] AI Colloquium Talk (Black-box Optimization in Theory and in Practice), Registration Deadline: 27.04.2021 11:59 AM Message-ID: <7437BA84-B105-46B2-879E-E83E2F923421@aaisi.org> Hello together, Just as a reminder, today is the last opportunity to resigner to our this week’s online AI colloquium. Please register as soon as possible, since the registration is limited. Invited Speaker: Tara Javidi, Professor at University of California San Diego, US Title: "Black-box Optimization in Theory and in Practice" Date & Time: 27 Apr. 2021, 16:00 CEST (10:00 EST) Registration Link: tinyurl.com/ai210427tj For any questions and difficulties, you can reach us anytime by email. Best Regards, AAISI Helpdesk, on behalf of Asst. Prof. Dr. Mahdi Bohlouli, General Chair, The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: events at aaisi.org ================================ AAISI Events Team The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: events at aaisi.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Mon Apr 26 18:40:01 2021 From: fm-announcements at lists.nasa.gov (Munoz, Cesar (LARC-D320) via fm-announcements) Date: Mon, 26 Apr 2021 16:40:01 -0000 Subject: [fg-arc] [fm-announcements] Call for (Virtual) Participation - NFM 2021 Message-ID: ***********************************************************************                       CALL FOR (VIRTUAL) PARTICIPATION                 13th NASA Formal Methods Symposium (NFM 2021)                                  May 24-28, 2021                https://shemesh.larc.nasa.gov/nfm2021            NFM 2021 is a virtual event organized by                  the Formal Methods Team at        NASA Langley Research Center, Hampton, VA, USA                      ** Free Registration ** *********************************************************************** Virtual Symposium ----------------- Due to concerns about COVID-19, NFM 2021 is going virtual. We invite the formal methods and aligned communities to use this opportunity of a virtual symposium to participate and engage in a very exciting set of paper presentations and keynote talks. Theme of the Symposium ---------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2021 is being organized by the NASA Langley Research Center in Hampton, VA. More information about past NFM Symposiums can be found here: https://shemesh.larc.nasa.gov/NFM. Registration ------------ There is no registration fee charged to participants.  All interested individuals are welcome to attend; however, all attendees must register here: https://shemesh.larc.nasa.gov/nfm2021/#loc-registration. Keynote Speakers ---------------- * Erika Abraham (RWTH Aachen University, Germany) * Cristina Cifuentes (Oracle Labs, Australia) * Matthew B. Dwyer (University of Virginia, USA) * Azadeh Farzan (University of Toronto, Canada) * Rob Manning (NASA Jet Propulsion Laboratory, USA) NFM2021 Program & F-IDE 2021 Workshop -------------------------- The complete program is available here: https://shemesh.larc.nasa.gov/nfm2021/program.html. This year the 6th Workshop on Formal Integrated Development Environment (F-IDE 2021) will be virtually hosted with NFM 2021. More information can be found at https://cister-labs.pt/f-ide2021. Organizers ---------- * Cesar Munoz (General co-chair) * Ivan Perez (General co-chair) * Aaron Dutle (PC co-chair) * Mariano Moscato (PC co-chair) * Laura Titolo (PC co-chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7429 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From fm-announcements at lists.nasa.gov Thu Apr 29 15:36:37 2021 From: fm-announcements at lists.nasa.gov (Graydon, Mallory (LARC-D320) via fm-announcements) Date: Thu, 29 Apr 2021 13:36:37 +0000 Subject: [fg-arc] [fm-announcements] CFP: Workshop on Formal Methods for Autonomous Systems Message-ID: <963AC21A-1E72-4415-A0EE-2EEBC9859E11@nasa.gov> Call for Participation: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021) FMAS 2021 is a one-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers. More details can be found on our website: https://fmasworkshop.github.io/FMAS2021/ Our twitter account is: https://twitter.com/FMASWorkshop and posts about this year's workshop use the tag #FMAS2021 Important Dates Submission: 30th of July 2021 (Anywhere on Earth https://www.timeanddate.com/time/zones/aoe ) Notification: 3rd of September 2021 Final Version due: 24th of September 2021 Workshop: 21st of October 2021 Scope Autonomous systems present unique challenges for formal methods. They are often embodied in robotic systems that can interact with the real world, and they make independent decisions. Amongst other categories, they can be viewed as safety-critical, cyber-physical, hybrid, and real-time systems. Key challenges for applying formal methods to autonomous systems include: the system's dynamic deployment environment; verifying the system's decision making capabilities -- including planning, ethical, and reconfiguration choices; and using formal methods results as evidence given to certification or regulatory organisations. FMAS welcomes submissions that use formal methods to specify, model, or verify autonomous systems; in whole or in part. We are especially interested in work using Integrated Formal Methods, where multiple (formal or non-formal) methods are combined. Autonomous systems are often embedded in robotic or cyber-physical systems, and they share many features (and verification challenges) with automated systems. FMAS welcomes submissions with applications to: automated systems, semi-autonomous systems, fully-autonomous systems, or systems that have the potential to be autonomous in the future. Topics Topics of interest include (but are not limited to): Novel or Integrated Formal Methods that are suited to Autonomous or Automated Systems, Runtime Verification or other formal approaches to deal with the reality gap (the gap between models/simulations and the real world), Verification against safety assurance arguments or standards documents, Case Studies that identify challenges when applying formal methods to autonomous systems, Experience Reports that provide guidance for tackling challenges with formal methods or tools, or Discussions of the future directions of the field. Submission and Publication There are two categories of submission: Short papers -- 6 pages (excluding references), suitable for overviews of an approach or work-in-progress. Work from PhD students is particularly welcome; Long papers -- 15 pages (excluding references), suitable for descriptions of completed studies, new approaches, or new directions. Submission will be via easychair; FMAS has a single track that accepts both categories of submission. Submissions must be prepared using the EPTCS LaTeX style. Each submission will receive at least three, single-blind reviews. If a paper is accepted, at least one of the authors must attend the workshop to present their work. We intend that accepted papers will be published via EPTCS. Venue FMAS 2021 hopes to be a hybrid event to facilitate both virtual and in-person attendance (COVID-permitting) at Maynooth University, Ireland. This will be confirmed by the 3rd of September 2021 after we assess the possibility of the in-person component. If this is not possible then the workshop will be purely online. Chairs Matt Luckcuck (matt.luckcuck at mu.ie), Maynooth University, Ireland Marie Farrell (marie.farrell at mu.ie), Maynooth University, Ireland -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 11685 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov