From sauer at uni-paderborn.de Tue Mar 1 11:42:47 2022 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 1 Mar 2022 11:42:47 +0100 Subject: [fg-arc] HCSE 2022 - 9th International Working Conference on Human-Centered Software Engineering - Call for Papers Message-ID: <17b48056-c7a9-c27b-77b9-1f684f61abdb@uni-paderborn.de> * * **** Apologies for cross postings **** * *************************************************************************** HCSE 2022 9th International Working Conference on Human-Centered Software Engineering 24th to 26th of August, 2022, Eindhoven, The Netherlands http://www.hcse-conference.org *************************************************************************** CALL FOR PAPERS HCSE is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design (http://ifip-tc13.org/working-groups/working-group-13-2/). We aim at bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes. Other topics of interest include: * contributions to the theory and best practices of user-centered design * involvement of end-users, clients and stakeholders in the design and development process of interactive systems * innovative methods for identifying end-user requirements for interactive systems * integration of user experience (and any other user interface property) in development processes * methods for designing, building and assessing interactive systems beyond the desktop (e.g. the living room, ubiquitous and multi-display, cockpits, etc.) * models and model-based approaches for building interactive systems * methods and tools for low-code and no-code development paradigms * integration of multiple properties (e.g. usability, (cyber)security, reliability, user experience, privacy, accessibility, etc.) in software development and making them more accessible to developers and users * context-aware and adaptive interactive systems (e.g. in areas such as digital collaboration, digital and worker assistance) * design and integration of novel interaction techniques such as augmented, virtual, and mixed reality * support for new kinds of human-machine interaction (HMI) for increasingly autonomous systems and systems that use or provide artificial intelligence (e.g. autonomous driving or human-robot collaboration) * socio-technical aspects of interactive software development * artificial intelligence and machine learning to support the development of interactive systems * software architectures and architectural patterns for interactive systems * rational design, design patterns and traceability of design choices. HCSE 2022 welcomes contributions as technical full papers, late breaking results, demonstrations and posters. All papers are peer-reviewed and selected contributions will appear in the proceedings published by Springer in the LNCS series. In the present edition of HCSE 2022 we are particularly interested in studies focused on multi-stakeholder concepts and how to cope with multi-stakeholders taking into account not only micro perspective, but on the systemic change level. This research area is central to the host of the current edition of the conference, the Eindhoven University of Technology, Industrial Design, Systemic Change group. In addition, building on the activities carried out by the WG13.2 during the workshop held at the INTERACT 2021 IFIP TC-13 conference, special consideration will be given to issues related to “changing the context of use”, which has significant impact on how to design and develop with a user-centered perspective and how usage of these systems changed for example in the current pandemic situation. As in past editions, the focus of the working group is on user interface properties (such as usability, ux, privacy, trust, security, reliability, adaptability, among others) and how to design, develop and evaluate based on a user-centered development process. We are interested in understanding how different stakeholders and developers value diverse user interface properties and how they manage conflicts between them (when one property might degrade the value of another) on a systemic change level. Our aim is to cover a large set of user interface properties and try to reveal their inner dependencies. We are particularly interested in the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. HCSE welcomes the following types of contributions: * Technical full papers (up to 20 pages) should describe substantial research contributions of novel work that has produced advanced results including validation of results. * Late-breaking results (up to 12 pages) are short papers that present work in progress, new practice and experience reports containing good (and bad) practices and/or recent practical evaluations of methods, techniques and tools. * Demonstrations and posters (5–8 pages, plus poster design draft) should present ongoing work and/or late-breaking results related to the use of innovative tools and cutting-edge systems not described in other paper submissions. Demonstration papers should provide description of tools including user tasks and evidence of use to end-users. Demo submissions should summarize the system’s significance and its performance and should either include screenshots or link to an online-accessible resource. The poster design draft should show the planned design and content of the poster that will be presented at the conference. Industry contributions to demos and posters are particularly welcome and highly encouraged. SUBMISSIONS AND REVIEWING PROCESS All contributions should be submitted via the EasyChair system (https://easychair.org/my/conference?conf=hcse2022conference). All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed double-blind, demonstrations and posters single-blind. Authors must prepare their submission files accordingly! For poster submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. PRESENTATIONS If we hold a physical conference, under the current circumstances, all accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results short papers to give tool demos as well without submitting additional demo papers. The conference will NOT enable hybrid participation. PROCEEDINGS Accepted contributions must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer (http://www.springer.com/computer/lncs?SGWID=0-164-12-73062-0). Authors are requested to prepare submissions as close as possible to final camera-ready versions. IMPORTANT DATES Technical full papers, late breaking results * Submission: Friday, April 15th, 2022 * Notification to authors: Monday, May 16th, 2022 * Camera-ready due: Monday, June 13th, 2022 Demos, posters * Submission: Monday, May 30th, 2022 * Notification to authors: Monday, June 13th, 2022 * Camera-ready due: Monday, June 27th, 2022 CONFERENCE DATES: August 24th – 26th, 2022 ORGANIZERS General Conference Chairs: Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Carmelo Ardito, Politecnico di Bari, Italy Stefan Sauer, Paderborn University, Germany * -------------- 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 andreas.wortmann at isw.uni-stuttgart.de Thu Mar 3 16:49:08 2022 From: andreas.wortmann at isw.uni-stuttgart.de (Wortmann, Andreas) Date: Thu, 3 Mar 2022 15:49:08 +0000 Subject: [fg-arc] =?utf-8?q?Modellierung_2022=3A_Aufruf_zur_Einreichung_v?= =?utf-8?q?on_Workshopbeitr=C3=A4gen?= Message-ID: <5D45B44C-4874-4E6B-B5CE-63F045D1629D@isw.uni-stuttgart.de> -------------------------------------------------------------------------------- Joint Call for Workshop Papers Modellierung 2022 27. Juni - 01. Juli 2022 | Hamburg | https://qfam.gi.de/modellierung2022 -------------------------------------------------------------------------------- Die Tagung Modellierung der Gesellschaft für Informatik (GI) findet vom 27.6. - 1.7. 2022 in Hamburg statt., die Organisation liegt bei der HAW Hamburg und der Universität Hamburg. Den Start der Konferenz bilden am 27. und 28. Juni eine Reihe spannender Workshops, für die wir hier gemeinsam zu Beiträgen aufrufen. Modelle stellen eines der wichtigsten Hilfsmittel zur Beherrschung komplexer Systeme dar. Die Themenbereiche der Entwicklung, Nutzung, Kommunikation und Verarbeitung von Modellen sind so vielfältig wie die Informatik mit all ihren Anwendungen. Systeme über mehrere technische Plattformen hinweg sowie die Einbeziehung des organisatorischen und technischen Umfelds in den Entwurf stellen zusätzliche Herausforderungen dar. Digital Twin als Abbildung der Eigenschaften von Systemen ist ein Konzept, das eine solche Unterstützung verspricht. Die Anwendung für Domänen wie Embedded Systems, Automatisierung, Fertigungstechnik, Smart City und Unternehmensorganisation verspricht viele Vorteile. Die Modellierung 2022 bietet eine Plattform für Beiträge der unterschiedlichen Modellierungscommunities sowie Workshops und Tools & Demos. Es wird einen Konferenzband geben und Workshop, Tools & Demos Beiträge werden als gemeinsamer Tagungsband in der Digital Library der Gesellschaft für Informatik (GI e.V.) unter https://dl.gi.de publiziert. Wir freuen uns über Einreichungen für die folgenden Workshops (Details auf den Websites der jeweiligen Workshops): +++ Modellierung in der Hochschullehre (MoHoL) Meike Ullrich, Peter Fettke, Peter Pfeiffer, Selina Schüler und Michael Striewe http://butler.aifb.kit.edu/MoHoL2022/ Bislang wird die Modellierung in der Hochschullehre überwiegend in klassischen Frontalveranstaltungen, wie z.B. Vorlesungen unterrichtet. Jedoch wird aus der Wissenschaftsforschung und Hochschuldidaktik in den letzten Jahrzehnten verstärkt ein Perspektivenwechsel von einer dozenten- zu einer studierendenzentrierten sowie einer kompetenzorientierten Lehre hin gefordert, die eine aktive Rolle der Studierenden und praktische Anwendung theoretischer Inhalte vorsieht. Ebenso gewinnt nicht zuletzt durch den Bologna-Prozess die Frage nach der Qualität von Hochschulabschlüssen und damit verbunden die faire, objektive und lernzielgerichtete Überprüfung studentischer Leistungen zunehmend an Bedeutung. Mit diesen Herausforderungen muss sich auch die Hochschullehre rund um das Thema Modellierung auseinandersetzen. Die Zielgruppe für den Workshop umfasst alle an der Modellierung in der Hochschullehre interessierten und beteiligten Personen. Insbesondere werden unterschiedliche Perspektiven von Dozenten aber auch Tutoren oder Studierenden gesucht. Darüber hinaus ist auch die Meinung von Personen aus der Praxis gefragt, die wertvolle Hinweise zu wünschenswerten Lernzielen und zur Praxisrelevanz des üblicherweise zur Modellierung gelehrten Stoffes liefern können. Daher sind neben beispielsweise didaktischen Konzepten und wissenschaftlichen Untersuchungen ausdrücklich auch Beiträge erwünscht, die Erfahrungswerte aus der (Hochschul-)Praxis liefern oder Ideen und Anregungen für zukünftige Entwicklungen vorstellen. Ebenso sind Zusammenfassungen von thematisch verwandten Beiträgen, die bereits an anderer Stelle veröffentlicht worden sind (submission of resubmissions), und Beispiele für besondere Modellierungsaufgaben gerne gesehen. Insgesamt sollen mit dem Workshop Austausch und Diskussion über das Thema Modellierung in der Hochschullehre angeregt werden, um zukünftigen Weiterentwicklungsbedarf und relevante Forschungsschwerpunkte zu identifizieren. +++ Modelle und KI (MoKI) Dominik Bork, Peter Fettke and Ulrich Reimer https://workshop-moki.github.io/2022/ Mit der zunehmenden Verfügbarkeit großer Datenmengen in praktisch allen Anwendungsbereichen erfährt der Bereich der künstlichen Intelligenz (KI) seit einiger Zeit wachsende Aufmerksamkeit. Das neue Paradigma der datengesteuerten KI, d. h. das Erlernen von (Domänen-) Modellen und deren Aktualisierung durch den Einsatz von Data-Mining-Techniken, ist äußerst attraktiv, da es den Aufwand für die Erstellung von Anwendungssystemen verringert. Allerdings hat sie auch viele Nachteile. So können die aus Daten generierten Modelle in der Regel nicht von einem Menschen überprüft und verstanden werden, und es ist schwierig, bereits vorhandenes Domänenwissen in gelernte Modelle zu integrieren - vor oder nach dem Lernen. Die Ansätze zur konzeptionellen Modellierung sowie frühere KI-Ansätze konzentrierten sich hauptsächlich auf die manuelle Erstellung von Modellen, was einen hohen Zeit- und Kostenaufwand erfordert. Je nach Anwendungsbereich lassen sich diese Ansätze daher nur schlecht skalieren. In der Kombination von manueller Modellierung und datengesteuerter Modellgenerierung liegt ein großes Potenzial: Die Vorteile beider Ansätze können kombiniert und ihre Nachteile gemildert werden. In diesem Workshop sind wir an allen Arten von Einreichungen interessiert, die an der Schnittstelle zwischen konzeptioneller Modellierung und KI angesiedelt sind. Insbesondere möchten wir Beiträge sehen, die den Wert der konzeptionellen Modellierung für die KI und umgekehrt den Wert der KI für die konzeptionelle Modellierung untersuchen. Die Beiträge können unter anderem neue Ideen und Lösungen präsentieren, Probleme und mögliche Lösungen kritisch reflektieren oder neue Forschungsagenden präsentieren. +++ Modeling in (and for) Production (MoPro) Judith Michael and István Koren https://judithmichael.github.io/mopro22/ The production domain is permeated by heterogeneous data sources, a variety of IT systems, and complex industrial use cases - aspects that offer an exciting field for research. The MoPro Workshop aims to be a platform for researchers and practitioners within the production domain to exchange their modeling techniques, interesting use cases, and challenges. We are interested in the use of models for development, production, and usage cycles, as well as model-based and model-driven approaches that span these domains across disciplinary boundaries. Specifically, digital shadows as contextual data traces could be considered an adequate data-driven vehicle to digitally bridge domain silos, and serve digital twins. We accept the following submission formats: short and long research papers, novel directions talks and digital shadow use cases. +++ Modellierung und Simulation im Engineering und zur virtuellen Inbetriebnahme im Maschinen- und Anlagenbau Ronald Schmidt-Vollus Die virtuelle Inbetriebnahme (VIBN) hat sich im Laufe der Jahre in vielen Bereichen des Maschinen- und Anlagenbaus zu einem etablierten Instrument im Engineering von Maschinen und Anlagen entwickelt. Dennoch gibt es noch immer zahlreiche Herausforderungen, und bei vielen Unternehmen ist die VIBN noch nicht integraler Bestandteil ihrer Unternehmensprozesse. Die Grundidee der VIBN ist das Testen eines Automatisierungssystems für eine Produktions- oder Fertigungsanlage bzw. Maschine an Hand eines Modells dieser, noch bevor die eigentliche physische Anlage bzw. Maschine vollständig gebaut ist. Das heißt, das reale Steuerungssystem wird, gegebenenfalls auf emulierter Hardware, mit einem virtuellen Abbild der Anlage, welches in einem Simulationssystem ausgeführt wird, verbunden. Dies erfolgt idealerweise in Echtzeit. Für das der Simulation zugrundeliegende Modell hat sich auch der Begriff des ausführbaren digitalen Zwillings als geeignet erwiesen. Für den hier vorgestellten Workshop sind alle allen Arten von Einreichungen rund um VIBN im engeren, wie auch im erweiterten Sinne, interessant. Sowohl wissenschaftliche Beitrage aus dem aktuellen Stand der Forschung als auch Anwendungsbereiche sind willkommen. Die Beiträge können unter anderem neue Ideen und Lösungen präsentieren, Probleme und mögliche Lösungen kritisch reflektieren oder zukünftige Forschungsbedarfe aufzeigen. Mögliche Themen sind: (1) Einführung der virtuellen Inbetriebnahme in Unternehmen, Integration der virtuellen Inbetriebnahme in den Engineering-Prozess; (2) Modellbildung, Modellgenerierung sowie Durchführung der VIBN; (3) Bibliothekmanagement und Tools zur VIBN; (4) Operator-Training; (5) Betriebs- und produktionsbegleitende Simulation +++ Research Data Management in Modeling (RDM4MOD) Michael Goedicke and Ulrike Lucke https://nfdixcs.org/event/research-data-management-in-modelling The demand increases to substantiate the claims made in the scientific processes in the realm of modeling in all areas of computer science. Thus, publications, funding proposals etc. require more often that empirical data (if available) along with the related context of experiments and the artifacts in terms of descriptions, software and other tools will be part of the publication or proposed project as well. Infrastructure will be provided to store and make available this kind of research data according to the FAIR – principles (Findable, Accessible, Interoperable, Reusable) as part of the National Research Data Infrastructure. With this workshop, the consortium NFIDxCS aims at collecting requirements as well as existing approaches to build such an infrastructure with a special focus on modeling issues. The key questions for research in modeling are manifold. The aim of the workshop is to connect interested individuals who are willing to contribute here. The outcome shall be a manifesto on the importance of research data management for modeling (in computer science) as well as a discussion of key challenges in this context. This will be a working workshop. Thus, we request contributions on the topic of this workshop in the form of extended abstracts beforehand but will be open to any form of contributions on short notice as well. Based on these presentations and facilitating the joint forces of participants on-site, the manifesto will be created. This core result of the workshop will be published afterwards. +++ State of the Art Methods and Tools in Model-based Systems Engineering Wolfgang Böhm, David Schmalzing and Nico Jansen https://spesml.github.io/workshop.html Der Übergang von dokumentenbasiertem zu modellbasiertem Systems Engineering (engl. „Model-based Systems Engineering, MBSE) bietet einen Ansatz, komplexe cyber-physische Systeme im interdisziplinären Kontext nachhaltig und verständlich zu entwickeln. Die Fähigkeit eines Unternehmens, solche Systeme im interdisziplinären Kontext effizient entwickeln zu können, ist bereits heute ein entscheidender Wettbewerbsfaktor. Herausforderungen bei der interdisziplinären Entwicklung cyber-physischer Systeme basieren insbesondere auf der Kollaboration unterschiedlicher Domänenexperten, dem Fehlen einer zugrundeliegenden (expliziten) Semantik für verwendete Modellierungstechniken, sowie der Toolunterstützung zur effizienten und agilen Weiterentwicklung von Systemen. Techniken wie Abstraktion, Komposition und Verfeinerung wurden bereits intensiv erforscht, finden im industriellen Kontext aber trotzdem weiterhin wenig Anwendung. Zwar bieten moderne Werkzeuge im Systems Engineering bereits eine Vielzahl von Modellierungstechniken, allerdings werden EntwicklerInnen wenig bei Verwaltung von Komplexität unterstützt. Der Modellierungsprozess selbst ist methodisch nur wenig geführt, sodass viel Potential ungenutzt bleibt. Ziel dieses Workshops ist die Förderung neuer Methoden und Werkzeuge im MBSE Kontext. Der Fokus wird hierbei insbesondere auf die Verbindung von Theorie und Praxis, die nachhaltige Beherrschung der Komplexität in der Entwicklung, sowie die Einordnung des Modells in einen semantischen Kontext gelegt. ---------------------------------------- Wichtige Daten ---------------------------------------- 23.04.2022: Einreichungsfrist für Workshop-Beiträge 14.05.2022: Benachrichtigung für Workshop-Beiträge 26.05.2022: Einreichung der finalen Workshop-Beiträge 27./28.06.2022: Workshop Präsentationen ---------------------------------------- Einreichungen ---------------------------------------- Details zu den Einreichungen finden Sie auf den jeweiligen Webseiten der Workshops. Die Beiträge müssen verpflichtend die Autorenhinweise der LNI Reihe befolgen und werden als gemeinsamer Workshop Band in der Digital Library der Gesellschaft für Informatik veröffentlicht. Wir freuen uns auf Ihre Beiträge! Judith Michael und Andreas Wortmann -- Jun.-Prof. Dr. rer. nat. habil. Andreas Wortmann Institute for Control Engineering of Machine Tools and Manufacturing Units (ISW) University of Stuttgart Seidenstr. 36 / Room 5.017 70174 Stuttgart GERMANY Tel: +49 711 685-84624 E-Mail: wortmann at isw.uni-stuttgart.de Web: http://www.isw.uni-stuttgart.de From reussner at kit.edu Tue Mar 1 15:29:39 2022 From: reussner at kit.edu (Ralf Reussner) Date: Tue, 1 Mar 2022 15:29:39 +0100 Subject: [fg-arc] Deadline-Extension Propser 2022 March 14th, 2022 Message-ID: <8d275d31-7b5a-6843-f298-be280295db99@kit.edu> * * *PROPSER 2022 Call For Papers* The Second International Workshop on Properties of Software Engineering Research and their Systematic Documentation and Evaluation (PROPSER) http://propser.ipd.kit.edu/home/ *The deadlines for the submissions are as follows:* * Optional abstract submission: March 7th, 2022 * Paper submission: (Feb. 28th 2022) *extended to March 14th, 2022* Organized by Prof. Dr. Ralf H. Reussner, Prof. Dr.-Ing. Anne Koziolek, Dr. Francesca Lonetti The Second International Workshop on Properties of Software Engineering Research and their Systematic Documentation and Evaluation (PROPSER) aims to bring together researchers at various points in their career and practitioners alike, for discussing the systematic description and evaluation of software engineering research and their documentation. The extend of software engineering research is rapidly growing and still needs to be demand-driven searched, to be understood and evaluated by researchers and practitioners. Researchers need to understand how to present their work, how to evaluate the work by other researchers in peer reviews and to build own research on top. Practitioners need to understand how to judge suitability and relevance for own projects. The workshop is motivated by two observations: (i) writing and reviewing software engineering research results is often hindered by the lack of a community understanding what are important questions (hypotheses) to validate research and which methods are suitable, appropriate and needed for demonstrating evidence. (ii) retrieving research results just through syntactical terms of the paper title (or even abstract) is often very hard, and, as a consequence, comprehensively relating research results to each other in terms of support, strengthening or contradiction is rarely done. Thus, this workshop aims to consider insights, new proposals and open questions on (i) planning and conducting research; (ii) writing research papers; (iii) reviewing research papers; (iv) communicating research and (v) effectively finding research results in a digital world. Therefore, in PROPSER we want to discuss in particular: ·properties for describing software engineering research, such as relevance, evidence, applicability, appropriateness, etc; ·general patterns for suitable empirical validations of research results and hypotheses; ·suitable classifications of software engineering research, beyond established subject categories; ·experiences, rules or guidelines, on how to decide on suitable validation questions and subsequently suitable empirical methods; ·managing and organising research knowledge at a finer grain than paper citations; ·methods for evaluating the impact of research on software engineering practice. The workshop aims to discuss these subjects as such, it is not meant to be a platform for original research results in a specific software engineering topic. Therefore, we intentionally do not require original new ideas to be submitted. Of course, for inclusion in the proceedings a paper should be original text. * * *TOPICS OF INTEREST* Topics of interest of the proposed workshop include, but are not limited to, the following themes: • properties for describing software engineering research, such as relevance, evidence, applicability, appropriateness, etc. • general patterns for suitable empirical validations of research results and hypotheses. • suitable classifications of software engineering research, beyond established subject categories. • experiences, rules or guidelines, on how to decide on suitable validation methods depending on properties of the research. • managing and organizing research knowledge more fine grained than paper citations. ** *SUBMISSION* Concretely, we invite three types of submissions: ·taxonomy and overview papers (up to 8 pages): papers presenting or surveying classifications of software engineering subjects, empirical methods, areas of software applications, etc.; including hypotheses about relationships between such categories (e.g., "contributions of type X should be validated with method Y.") ·open question papers (up to 6 pages): papers describing ongoing research that has unsolved questions regarding how to demonstrate the validity and relevance of the work. ·proposal-for-solution papers (up to 6 pages): papers describing sketches or solutions to address one or several of the mentioned topics. Note, that the "open question papers" are different from the commonly used format of research result submissions (like: "motivation, idea, foundations, approach, state of the art, validation, conclusion"). Of course, any paper of that format could be presented as an open question paper (keeping the first parts, but substituting the validation with open questions accordingly). But we also encourage the submission of papers on ongoing research, where validation is indeed open. Please note, that we intentionally to not require original new work to be submitted, as the workshop does not aim to be a platform for original research results in a specific software engineering subject. In fact, the workshop wants to discuss the above described subjects concerning the organisation, validation and documentation of software engineering research as such. Papers will be reviewed with respect of their rigour of argumentation, potential to spark interesting discussions during the workshop regarding the above mentioned topics. Submissions are done via the Easychair site of EASE. * * *PUBLICATION* All accepted papers will be published at ACM EASE 2022 conference companion proceedings. -- -------------------------------------------------------------- Karlsruhe Institute of Technology (KIT) KASTEL - Institute of Information Security and Dependability Forschungszentrum Informatik (FZI) Prof. Dr. Ralf H. Reussner KIT: Chair Dependability of Software-intensive Systems (DSiS):reussner at kit.edu KIT: Vice Dean of KIT-Department of Informatics:reussner at kit.edu FZI: Director:reussner at fzi.de Am Fasanengarten 5, Building 50.34, Room 328 D-76131 Karlsruhe GERMANY Phone: +49 721 608-45993 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu /http://www.fzi.de Registered office: Kaiserstrasse 12, 76131 Karlsruhe, Germany KIT -- The Research University in the Helmholtz Association -------------------------------------------------------------- The Palladio book:https://mitpress.mit.edu/books/modeling-and-simulating-software-architectures The Design For Future book:https://www.springer.com/gp/book/9783030134983 -------------- next part -------------- An HTML attachment was scrubbed... URL: From jens.knodel at caruso-dataplace.com Mon Mar 7 08:36:19 2022 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Mon, 7 Mar 2022 07:36:19 +0000 Subject: [fg-arc] =?utf-8?q?REMINDER=3A_WSRE_Einreichungen_bis_zum_11=2E_?= =?utf-8?q?M=C3=A4rz_2022?= Message-ID: 24. Workshop Software-Reengineering & -Evolution (WSRE) 02.-04. Mai 2022, Physikzentrum Bad Honnef https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution REMINDER zur Einreichung von Beiträgen zum WSRE 2022 bis zum 11. März 2022 via https://easychair.org/conferences/?conf=wsre2022 REMINDER zum Best Student Paper Award: Best Student Paper Award mit einem Preisgeld in Höhe von 250 EUR https://fg-sre.gi.de/aktivitaeten/call-for-student-papers-/-best-student-paper-award Einreichung bis zum 11. März 2022 via https://easychair.org/conferences/?conf=wsre2022 Wir freuen uns auf viele interessante und spannende Beiträge und einen tollen Workshop im Physikzentrum in Bad Honnef! Kontakt? mailto:wsr at uni-koblenz.de FG SRE: Jens Knodel – Marco Konersmann – Torsten Görg – Matthias Gutheil – Stefan Sauer -----Original Message----- From: Jens Knodel Sent: Freitag, 10. Dezember 2021 00:18 To: Reengineering at list.uni-koblenz.de Subject: 24. Workshop Software-Reengineering & -Evolution: Call for Papers WSRE 2022 WSRE 20+2+2, 24. Workshop Software-Reengineering & -Evolution, 02.-04. Mai 2022, Physikzentrum Bad Honnef Call for Papers, Einreichung der Kurzfassungen bis zum 11. März 2022 via https://easychair.org/conferences/?conf=wsre2022 ==== 24. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 2.-4. Mai 2022 https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution ==== ==== Warum der WSRE? ==== Unser Ziel ist die Förderung der Zusammenarbeit und der Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen „Software-Reengineering“, „Software-Wartung“ und „Software-Evolution“. Darunter verstehen wir prinzipiell alle Aktivitäten rund um die Analyse, Bewertung, Visualisierung, Verbesserung, Migration und Weiterentwicklung von Software-Systemen. Wir laden Forscher*innen und Praktiker*innen herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden und Werkzeuge in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. ==== Was ist dieses Jahr besonders? ==== - Fachgruppensitzung / Wahl der FG-Leitung: In 2022 stehen Neuwahlen des Leitungsgremiums der Fachgruppe Software-Reengineering (SRE) an. Bitte denken Sie über mögliche Kandidat*innen oder sogar über eine eigene Kandidatur nach. Senden Sie gerne Vorschläge vorab an die derzeitigen FG-Sprecher. - 13. Workshop "Design For Future" des Arbeitskreises L2S2 "Langlebige Softwaresysteme" als besonderer Track des WSRE mit eigenem Call: http://akl2s2.ipd.kit.edu/veranstaltungen/dff2022/ - Student Papers: Wir rufen insbesondere den studentischen Nachwuchs (Bachelor- oder Master-Studierende) auf. Beiträge einzureichen und werden den besten Beitrag in dieser Kategorie prämieren. - Vorträge: Einblick in sowie Rückblick und Ausblick auf interessante Arbeiten und Ergebnisse rund ums Software-Reengineering und verwandte Themen aus Forschung und Praxis. Lernen und Diskutieren! - Networking: Interaktive Programmpunkte zum direkten Austausch und zur Vernetzung zwischen den Teilnehmer*innen inklusive eines Social Events und eines Conference Dinners. ==== Wann und wo? ==== Der Workshop findet vom 2.-4. Mai 2022 im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer*innen erfolgt wie üblich im Physikzentrum: https://www.dpg-physik.de/dpg/pbh/ Aufgrund der möglicherweise geltenden Corona-Bestimmungen behalten wir uns kurzfristige Änderungen am Format (hybrid, virtuell) und, falls notwendig, auch am Termin und Ort des Workshops vor. Information dazu werden über die Webseite und die Mailingliste https://fg-sre.gi.de/weiteres/mailingliste bereitgestellt. ==== Wie reiche ich einen Beitrag ein? ==== Eingereicht werden können Erfahrungs-, Ergebnis- und Projektberichte sowie Diskussionsbeiträge aus der Wissenschaft. Einreichung bitte über die EasyChair: https://easychair.org/conferences/?conf=wsre2022 Mögliche Themen sind u.a. Software-Analyse und -Transformation, Software-Qualität und Metriken, (intelligente) Wissensgewinnung aus Software-Repositorien, Software-Visualisierung, Analyse- und Reengineering-Werkzeuge, Continuous-Development-Ansätze, Wartung und Refactoring, Software-Migration und -Modernisierung, Modelle, Methoden, Prozesse für Reengineering und Software-Evolution, empirische Forschung und der Faktor Mensch im Reengineering, Wirtschaftlichkeit von Reengineering-Maßnahmen. Als Beiträge werden erweiterte Kurzfassungen in deutscher oder englischer Sprache auf maximal zwei Seiten im Format der Softwaretechnik-Trends erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE und Hinweise zum Format unter http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html ==== Wie ist der Zeitplan? ==== - Einreichung der Kurzfassungen: 11. März 2022 - Benachrichtigung über die Annahme: 31. März 2022 - Einreichung der druckfertigen Endfassung: 12. April 2022 - Anmeldeschluss zur Teilnahme: 12. April 2022 - WSRE 2022 02. - 04. Mai 2022 Kontakt? mailto:wsr at uni-koblenz.de FG SRE: Jens Knodel – Marco Konersmann – Torsten Görg – Matthias Gutheil – Stefan Sauer -- Dr. Jens Knodel Head of Platform Engineering Caruso GmbH I Harrlachweg 2 I 68163 Mannheim http://www.caruso-dataplace.com Caruso GmbH I Steinheilstraße 10 I 85737 Ismaning Managing Directors: Norbert Dohmen, Jürgen Buchert | registered Local Court Munich | HRB 233 669 From ffiorett at syr.edu Sat Mar 5 14:43:34 2022 From: ffiorett at syr.edu (Ferdinando Fioretto) Date: Sat, 5 Mar 2022 13:43:34 +0000 Subject: [fg-arc] CFP [OptLearnMAS 2022] The 13th Workshop on Optimization and Learning in Multiagent Systems Message-ID: Workshop Submission Deadline Extension — Apologies for cross-posting CFP [OptLearnMAS 2022] The 13th Workshop on Optimization and Learning in Multiagent Systems Main Track * Submission Deadline: March 19 (23:59 UTC-12) * Author Notification: April 23 (23:59 UTC-12) * Poster and Presentations Due: May 5 (23:59 UTC-12) * OptLearnMAS-22: May 9 or 10 (A full-day workshop at AAMAS 2022) Fast Track (Rejected AAMAS or IJCAI papers) * Submission Deadline: April 23 (23:59 UTC-12) * Author Notification: April 28 (23:59 UTC-12) Website: https://optlearnmas22.github.io/ AAMAS Website: https://aamas2022-conference.auckland.ac.nz/ Submission Website: https://easychair.org/conferences/?conf=optlearnmas22 UPDATE: AAMAS 2022 and the OptLearnMAS-22 to be held as fully virtual events. Scope Stimulated by various emerging applications involving agents to solve complex problems in real-world domains, such as intelligent sensing systems for the Internet of the Things (IoT), automated configurators for critical infrastructure networks, and intelligent resource allocation for social domains (e.g., security games for the deployment of security resources or auctions/procurements for allocating goods and services), agents in these domains commonly leverage different forms optimization and/or learning to solve complex problems. The goal of the workshop is to provide researchers with a venue to discuss models or techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions and procurements, and algorithms to compute Nash and other equilibria in games. Of particular emphasis are contributions at the intersection of optimization and learning. See below for a (non-exhaustive) list of topics. This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. Topics * The workshop organizers invite paper submissions on the following (and related) topics: * Optimization for learning (strategic and non-strategic) agents * Learning for multi-agent optimization problems * Distributed constraint satisfaction and optimization * Winner determination algorithms in auctions and procurements * Coalition or group formation algorithms * Algorithms to compute Nash and other equilibria in games * Optimization under uncertainty * Optimization with incomplete or dynamic input data * Algorithms for real-time applications * Cloud, distributed and grid computing * Applications of learning and optimization in societally beneficial domains * Multi-agent planning Multi-robot coordination The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. Finally, the workshop will welcome papers that describe the release of benchmarks and data sets that can be used by the community to solve fundamental problems of interest, including in machine learning and optimization for health systems and urban networks, to mention but a few examples. Format The workshop will be a one-day meeting. It will include a number of technical sessions, a virtual poster session where presenters can discuss their work, with the aim of further fostering collaborations, multiple invited speakers covering crucial challenges for the field of multiagent optimization and learning. Submission Information and Types Submission Website: https://easychair.org/conferences/?conf=optlearnmas22 * Technical Papers: Full-length research papers of up to 8 pages (excluding references and appendices) detailing high quality work in progress or work that could potentially be published at a major conference. * Short Papers: Position or short papers of up to 4 pages (excluding references and appendices) that describe initial work or the release of privacy-preserving benchmarks and datasets on the topics of interest. All papers must be submitted in PDF format, using the AAMAS-22 author kit. Submissions should include the name(s), affiliations, and email addresses of all authors. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. Submissions of papers rejected from the AAMAS 2022 and IJCAI 2022 technical program are welcomed. Fast Track (Rejected AAMAS or IJCAI papers) Rejected AAMAS or IJCAI papers with *average* scores of at least 5.0 may be submitted to OptLearnMAS along with previous reviews and scores and an optional letter indicating how the authors have addressed the reviewers comments. The deadline for the fast track is as follows: * AAMAS/IJCAI Fast Track Submission Deadline: April 23 (23:59 UTC-12) * AAMAS/IJCAI Fast Track Acceptance Notification: April 28 (23:59 UTC-12) Please use the submission link above and indicate that the submission is a resubmission from of an AAMAS/IJCAI rejected paper. Also OptLearnMAS submission, reviews and optional letter need to be compiled into a single pdf file. These submissions will not undergo the regular review process, but a light one, performed by the chairs, and will be accepted if the previous reviews are judged to meet the workshop standard. Best Papers Per the AAMAS Workshop organizers: There will be a Springer issue for best workshop papers and visionary papers, so each workshop should nominate two papers, one for each special issue. The authors should be aware that if the nominated workshop paper is also an AAMAS paper (or some other conference paper), the version in the Springer books should have additional material (at least 30% more). Organizing Committee Hau Chan, University of Nebraska-Lincoln Ferdinando Fioretto, Syracuse University Jiaoyang Li, University of Southern California -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Mar 6 10:37:45 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 6 Mar 2022 11:37:45 +0200 Subject: [fg-arc] 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022): Fourth Call for Contributions Message-ID: *** Fourth Call for Contributions *** 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022) 3–7 October, 2022, 4* Atlantica Miramare Beach Hotel, Limassol, Cyprus https://cyprusconferences.org/icsme2022/ Goals and Scope The IEEE International Conference on Software Maintenance and Evolution (ICSME) is the premier forum for researchers and practitioners to present and discuss the most recent innovations, trends, experiences, and challenges in software maintenance and evolution. We invite high quality submissions describing significant, original, and unpublished results related to but not limited to any of the following software maintenance and evolution topics (in alphabetical order): • Change and defect management • Code cloning and provenance • Concept and feature location • Continuous integration/deployment • Empirical studies of software maintenance and evolution • Evolution of non-code artifacts • Human aspects of software maintenance and evolution • Maintenance and evolution of model-based methods • Maintenance and evolution processes • Maintenance and evolution of mobile apps • Maintenance and evolution of service-oriented and cloud computing systems • Maintenance versus release process • Mining software repositories • Productivity of software engineers during maintenance and evolution • Release engineering • Reverse engineering and re-engineering • Run-time evolution and dynamic configuration • Software and system comprehension • Software migration and renovation • Software quality assessment • Software refactoring and restructuring • Software testing theory and practice • Source code analysis and manipulation • Technical Debt ICSME welcomes innovative ideas that are timely, well presented, and evaluated. All submissions must position themselves within the existing literature, describe the relevance of the results to specific software engineering goals, and include a clear motivation and presentation of the work. ICSME invites contributions to a number of different tracks. These are listed below with more information, including submission instructions, available on the conference web site (submission dates are midnight, AoE, UTC-12). The submission link for all tracks is: https://easychair.org/conferences/?conf=icsme2022 . Please use this link and choose the appropriate track for your submission. Research Track • Abstract Submission: March 25th, 2022. • Paper Submission: April 1st, 2022. • Notification: June 10th, 2022. • Camera-Ready: July 1st, 2022. Please refer to https://cyprusconferences.org/icsme2022/call-for-research-track/ . Doctoral Symposium • Paper Submission: July 8th, 2022. • Notification: August 1st, 2022. • Camera-Ready: August 19th, 2022. Please refer to https://cyprusconferences.org/icsme2022/call-for-doctoral-symposium/ . Journal First Track • Paper Submission: June 17th, 2022. • Notification: July 8th, 2022. Please refer to https://cyprusconferences.org/icsme2022/call-for-journal-first-track/ . Tool Demo Track • Abstract Submission: June 13th, 2022. • Paper Submission: June 20th, 2022. • Notification: July 19th, 2022. • Camera-Ready: July 26th, 2022. Please refer to https://cyprusconferences.org/icsme2022/tool-demo-track/ . Joint Artifact Evaluation Track and ROSE Festival • Artifact Submission: August 26th, 2022. • Notification: September 16th, 2022. Please refer to https://cyprusconferences.org/icsme2022/call-for-joint-artifact-evaluation-track-and-rose-festival-track/ . Industry Track • Full/Short Papers Abstract Submission: April 22nd, 2022. • Full/Short Paper Submission: April 29th, 2022. • Full/Short Paper Notification: June 15th, 2022. • Full/Short Camera-Ready: July 15th, 2022. • Extended Abstract Submission: May 20th, 2022. • Extended Abstract Notification: June 15th, 2022. • Camera-Ready: July 15th, 2022. Please refer to https://cyprusconferences.org/icsme2022/call-for-industry-track/ . News Ideas and Emerging Results Track • Abstract Submission: June 17th, 2022. • Paper Submission: June 24th, 2022. • Notification: July 18th, 2022. • Camera-Ready: July 31st, 2022. Please refer to https://cyprusconferences.org/icsme2022/new-ideas-and-emerging-results/ . Registered Reports Track • Initial Report Submission: June 3rd, 2022. • Feedback from PC: July 8th, 2022. • Authors Response: July 22nd, 2022. • Notification for Stage 1: August 12th, 2022. • Submission of Accepted Report: August 19th, 2022. Please refer to https://cyprusconferences.org/icsme2022/registered-reports-track/ . Organisation General Chairs • Rainer Koschke, University of Bremen, Germany • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Paris Avgeriou, University of Groningen, The Netherlands • Dave Binkley, Loyola University Maryland, USA Local Organising Chair and Industry Liaison • Georgia M. Kapitsaki, University of Cyprus, Cyprus New Ideas and Emerging Results Track Chairs • Eleni Constantinou, Eindhoven University of Technology, The Netherlands • Christian Newman, Rochester Institute of Technology, USA Tool Demonstrations Chairs • Sherlock Licorish, University of Otago, New Zealand • Gilles Perrouin, University of Namur, Belgium Industry Track Chairs • Andrea Capiluppi, University of Groningen, The Netherlands • Shi Han, Microsoft Research Beijing, China Journal First Track Chairs • Alexander Chatzigeorgiou, University of Macedonia, Greece • Amjed Tahir, Massey University, New Zealand Doctoral Symposium • Matthias Galster, University of Canterbury, New Zealand • Mark Hills, East Carolina University, USA Joint Artifact Evaluation Track and ROSE Festival Chairs • Maria Papoutsoglou, University of Cyprus, Cyprus • Christoph Treude, University of Melbourne, Australia Most Influential Paper Awards Chairs • Massimiliano Di Penta, University of Sannio, Italy • Jonathan I. Maletic, Kent State University, USA Diversity and Inclusion • Hadil Abukwaik, ABB Corporate Research, Germany • Sonia Haiduc, Florida State University, USA Registered Reports • Maria Teresa Baldassarre, University of Bari, Italy • Mike Papadakis, University of Luxembourg, Luxembourg -------------- next part -------------- An HTML attachment was scrubbed... URL: From ffiorett at syr.edu Sat Mar 5 14:43:34 2022 From: ffiorett at syr.edu (Ferdinando Fioretto) Date: Sat, 5 Mar 2022 13:43:34 +0000 Subject: [fg-arc] CFP [OptLearnMAS 2022] The 13th Workshop on Optimization and Learning in Multiagent Systems Message-ID: Workshop Submission Deadline Extension — Apologies for cross-posting CFP [OptLearnMAS 2022] The 13th Workshop on Optimization and Learning in Multiagent Systems Main Track * Submission Deadline: March 19 (23:59 UTC-12) * Author Notification: April 23 (23:59 UTC-12) * Poster and Presentations Due: May 5 (23:59 UTC-12) * OptLearnMAS-22: May 9 or 10 (A full-day workshop at AAMAS 2022) Fast Track (Rejected AAMAS or IJCAI papers) * Submission Deadline: April 23 (23:59 UTC-12) * Author Notification: April 28 (23:59 UTC-12) Website: https://optlearnmas22.github.io/ AAMAS Website: https://aamas2022-conference.auckland.ac.nz/ Submission Website: https://easychair.org/conferences/?conf=optlearnmas22 UPDATE: AAMAS 2022 and the OptLearnMAS-22 to be held as fully virtual events. Scope Stimulated by various emerging applications involving agents to solve complex problems in real-world domains, such as intelligent sensing systems for the Internet of the Things (IoT), automated configurators for critical infrastructure networks, and intelligent resource allocation for social domains (e.g., security games for the deployment of security resources or auctions/procurements for allocating goods and services), agents in these domains commonly leverage different forms optimization and/or learning to solve complex problems. The goal of the workshop is to provide researchers with a venue to discuss models or techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions and procurements, and algorithms to compute Nash and other equilibria in games. Of particular emphasis are contributions at the intersection of optimization and learning. See below for a (non-exhaustive) list of topics. This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. Topics * The workshop organizers invite paper submissions on the following (and related) topics: * Optimization for learning (strategic and non-strategic) agents * Learning for multi-agent optimization problems * Distributed constraint satisfaction and optimization * Winner determination algorithms in auctions and procurements * Coalition or group formation algorithms * Algorithms to compute Nash and other equilibria in games * Optimization under uncertainty * Optimization with incomplete or dynamic input data * Algorithms for real-time applications * Cloud, distributed and grid computing * Applications of learning and optimization in societally beneficial domains * Multi-agent planning Multi-robot coordination The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. Finally, the workshop will welcome papers that describe the release of benchmarks and data sets that can be used by the community to solve fundamental problems of interest, including in machine learning and optimization for health systems and urban networks, to mention but a few examples. Format The workshop will be a one-day meeting. It will include a number of technical sessions, a virtual poster session where presenters can discuss their work, with the aim of further fostering collaborations, multiple invited speakers covering crucial challenges for the field of multiagent optimization and learning. Submission Information and Types Submission Website: https://easychair.org/conferences/?conf=optlearnmas22 * Technical Papers: Full-length research papers of up to 8 pages (excluding references and appendices) detailing high quality work in progress or work that could potentially be published at a major conference. * Short Papers: Position or short papers of up to 4 pages (excluding references and appendices) that describe initial work or the release of privacy-preserving benchmarks and datasets on the topics of interest. All papers must be submitted in PDF format, using the AAMAS-22 author kit. Submissions should include the name(s), affiliations, and email addresses of all authors. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. Submissions of papers rejected from the AAMAS 2022 and IJCAI 2022 technical program are welcomed. Fast Track (Rejected AAMAS or IJCAI papers) Rejected AAMAS or IJCAI papers with *average* scores of at least 5.0 may be submitted to OptLearnMAS along with previous reviews and scores and an optional letter indicating how the authors have addressed the reviewers comments. The deadline for the fast track is as follows: * AAMAS/IJCAI Fast Track Submission Deadline: April 23 (23:59 UTC-12) * AAMAS/IJCAI Fast Track Acceptance Notification: April 28 (23:59 UTC-12) Please use the submission link above and indicate that the submission is a resubmission from of an AAMAS/IJCAI rejected paper. Also OptLearnMAS submission, reviews and optional letter need to be compiled into a single pdf file. These submissions will not undergo the regular review process, but a light one, performed by the chairs, and will be accepted if the previous reviews are judged to meet the workshop standard. Best Papers Per the AAMAS Workshop organizers: There will be a Springer issue for best workshop papers and visionary papers, so each workshop should nominate two papers, one for each special issue. The authors should be aware that if the nominated workshop paper is also an AAMAS paper (or some other conference paper), the version in the Springer books should have additional material (at least 30% more). Organizing Committee Hau Chan, University of Nebraska-Lincoln Ferdinando Fioretto, Syracuse University Jiaoyang Li, University of Southern California -------------- next part -------------- An HTML attachment was scrubbed... URL: From konersmann at uni-koblenz.de Tue Mar 8 11:11:46 2022 From: konersmann at uni-koblenz.de (Marco Konersmann) Date: Tue, 8 Mar 2022 11:11:46 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers=3A_13=2E_Workshop_=E2=80=9EDe?= =?utf-8?q?sign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=28DFF_2022=29?= In-Reply-To: References: Message-ID: <1451efea-8649-b76d-4af0-ea0e0b7b9f61@uni-koblenz.de> REMINDER zur Einreichung von Beiträgen zum DFF 2022 (gemeinsam mit dem WSRE 2022) bis zum 11. März 2022 via https://easychair.org/conferences/?conf=wsre2022 Wir freuen uns auf viele interessante und spannende Beiträge und einen tollen Workshop im Physikzentrum in Bad Honnef! AK L2S2: http://akl2s2.ipd.kit.edu/ Robert Heinrich - Marco Konersmann - Stefan Sauer Am 14.01.22 um 14:26 schrieb Marco Konersmann: > Call for Papers > =============== > > 13. Workshop Design for Future 2022 > Software Engineering für langlebige Systeme > http://akl2s2.ipd.kit.edu/veranstaltungen/dff2022/ > > des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2) > der Fachgruppen „Architekturen“ und „Software-Reengineering“ > > 2.–4. Mai 2022 im Physikzentrum Bad Honnef > > gemeinsam mit dem 24. Workshop Software-Reengineering & Evolution (WSRE 2022) > https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution > > ======================================================================= > Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um COVID-19 > ======================================================================= > Aufgrund der möglicherweise geltenden Corona-Bestimmungen behalten wir uns in Abstimmung mit dem Workshop Software-Reenginering und Evolution kurzfristige Änderungen am Format (hybrid, virtuell) und, falls notwendig, auch am Termin und Ort des Workshops vor. Informationen dazu werden über die Webseite und die Mailingliste https://lists.ira.uni-karlsruhe.de/mailman/listinfo/ak-l2s2 bereitgestellt. > > > Termine > ======= > Einreichung von Beiträgen        11. März 2022 > Benachrichtigung über Annahme    31. März 2022 > Einreichung der finalen Fassung  12. April 2022 > Anmeldeschluss zur Teilnahme     12. April 2022 > Workshop *2.–4. Mai 2022* > > > Inhalte und Ziele > ================== > Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Neue Paradigmen treten zutage wie z.B. Edge Computing, Blockchains oder Smart Contracts. > Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. > > Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. > > Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI-Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler*innen und Praktiker*innen zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 13. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. > > > Themen > ====== > Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: >     • Methoden zur Software-Modernisierung und Software-Migration >     • Re-Engineering zum Erkennen und Beheben von Legacy-Problemen >     • Anpassungsfähige und zukunftssichere Software-Architekturen >     • Evolution und Co-Evolution von Modellen und Code >     • Verhinderung von Software-Erosion >     • Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme >     • Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) >     • Evolutionsherausforderungen im Kontext von Big Data >     • Integration oder Migration in Bezug auf Blockchain-Technologien oder Smart Contracts >     • Migrationsszenarien im Kontext von Cloud- und Edge-Computing >     • Qualitätsmanagement für langlebige Softwaresysteme >     • Fallstudien zu den vorgenannten Themen >     • Praxis- und Erfahrungsberichte zu den vorgenannten Themen > > > Einreichung und Veröffentlichung von Beiträgen > ============================================== > Praktiker*innen und Wissenschaftler*innen, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. > Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. > > Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=wsre2022 freigeschaltet. Der Workshop DFF wird in EasyChair als Teil des WSRE behandelt. Bitte wählen Sie bei der Einreichung unter Topics das Akronym "DFF" aus. > > > Organisation > ============ > Der Workshop wird organisiert vom GI-Arbeitskreis "Langlebige Softwaresysteme" (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 24. Workshop Software-Reengineering & Evolution (WSRE 2022) der Fachgruppe "Software-Reengineering" durchgeführt. > > AK- und Workshop-Leitung: >     • Robert Heinrich, robert.heinrich(at)kit.edu, >     • Marco Konersmann, konersmann(at)uni-koblenz.de, >     • Stefan Sauer, sauer(at)sicp.upb.de -- Dr. Marco Konersmann Postdoctoral Researcher Research Group Software Engineering Institute for Software Technology (IST) University of Koblenz-Landau https://mkonersmann.de/ From sauer at uni-paderborn.de Tue Mar 8 18:58:49 2022 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 8 Mar 2022 18:58:49 +0100 Subject: [fg-arc] Final Call: WSRE 2022: Best Student Paper Award - Teilnehmen bis 11.03. Message-ID: *+++ Einreichungstermin rückt unaufhaltsam näher: Freitag, 11.03.2022 +++ * *Liebe Studierende, liebe Betreuer*innen von Studierenden,* in diesem Jahr gibt es beim *Workshop Software-Reengineering & -Evolution *erstmalig einen *Best Student Paper Award. *Bitte reichen Sie Ihre Arbeiten ein! Es gibt eine *Auszeichnung mit Preisgeld *und *Reisekostenzuschüsse für Finalist*innen.* /*Wir freuen uns auf Ihre Beiträge!*/ -------------------------------------------------------------------------------- *WSRE 20+2+2* *24. Workshop Software-Reengineering & -Evolution* 02.-04. Mai 2022, Physikzentrum Bad Honnef https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution *Call for Student Papers / Best Student Paper Award** * *-- Reisekostenzuschuss & Preisgeld --* Einreichung der Bewerbungen bis zum 11. März 2022 via https://easychair.org/conferences/?conf=wsre2022 Liebe Studentinnen und Studenten, beim WSRE 2022 soll erstmals in der Geschichte der Workshopreihe der Preis für den besten studentischen Beitrag ausgelobt werden. Der *Best Student Paper Award* ist mit einem *Preisgeld in Höhe von 250 €* verbunden, das von Sponsoren bereitgestellt wird. Teilnehmen können Studierende mit ihrem eigenen Projekt, z.B. ihrer*Master- *oder *Bachelorarbeit* oder einem andersartigen *studentischen Projekt*, das sie im Rahmen oder im Kontext ihres Studiums (bspw. auch innerhalb einer Werkstudententätigkeit) durchgeführt haben. Hierbei kann es sich um Einzel- oder Gruppenarbeiten handeln. Beiträge müssen sich mit einem *Thema *aus dem Themenspektrum des WSRE beschäftigen, so wie es im allgemeinen Call for Papers des WSRE (siehe Webseite ) dargestellt ist. Mögliche Themen sind u.a. Software-Analyse und -Transformation, Software-Qualität und Metriken, (intelligente) Wissensgewinnung aus Software-Repositorien, Software-Visualisierung, Analyse- und Reengineering-Werkzeuge, Continuous-Development-Ansätze, Wartung und Refactoring, Software-Migration und -Modernisierung, Modelle, Methoden, Prozesse für Reengineering und Software-Evolution, empirische Forschung und der Faktor Mensch im Reengineering, Wirtschaftlichkeit von Reengineering-Maßnahmen. *Bewerbungen/Einreichungen* werden in Form von Kurzbeschreibungen in deutscher oder englischer Sprache erwartet. Der Beitrag sollte das Thema, die Motivation und Zielsetzung, die Durchführung und die Ergebnisse umreißen. Die Beiträge sollen *maximal zwei Seiten* lang sein und idealerweise im Format der Softwaretechnik-Trends eingereicht werden. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE und Hinweise zum Format unter http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html. In diesem Format sollen die für die Finalrunde akzeptierten Beiträge anschließend auch im Workshopband (*Proceedings*) des WSRE in der Zeitschrift *Softwaretechnik-Trends* veröffentlicht werden. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=wsre2022 freigeschaltet. Bitte wählen Sie bei der Einreichung unter Topics *"Student Paper"* aus. Eine *Experten-Jury* wird aus den eingegangenen Einreichungen eine *Vorauswahl *der Beiträge treffen, die für den *Best Student Paper Award***nominiert und zur *Präsentation beim Workshop* eingeladen werden. Mit der Einladung zur *Finalrunde *ist ein Reisekostenzuschuss in Höhe von 100 € pro Beitrag verbunden, der von den Sponsoren beigesteuert wird. Die Präsentation erfolgt im Hauptprogramm des WSRE 2022. Auf Basis der Begutachtung der schriftlichen Beiträge und der Präsentation wird dann durch die Jury der Beitrag bestimmt, der die Auszeichnung "Best Student Paper Award" erhält. Die Auszeichnung ist mit einem Preisgeld in Höhe von 250 € verbunden. Alle Finalisten und der Gewinnerbeitrag erhalten eine *Urkunde *und werden mit ihren Beiträgen in den Workshopband aufgenommen. Die finanzielle Abwicklung erfolgt über die Gesellschaft für Informatik e.V. *Zeitplan:* - Einreichung der Beiträge: 11. März 2022 - Benachrichtigung über Nominierung & Einladung zur Präsentation bei der Finalrunde: 31. März 2022 - Einreichung der ggf. überarbeiteten Endfassung: 12. April 2022 - Anmeldeschluss zur Workshopteilnahme: 12. April 2022 - Workshopteilnahme, Präsentation und Preisverleihung: 2.-4. Mai 2022 *Jury:* - Prof. Dr. Rainer Koschke (Universität Bremen) - Dr. Marco Konersmann (Universität Koblenz-Landau) - Dr. Jochen Quante (Robert Bosch GmbH) - Jens Borchers (Borchers Information Management Consulting) Weitere *Informationen *zum WSRE, zum Tagungsort, zur Unterbringung und Verpflegung finden Sie auf der Webseite des WSRE 2022 . Wenn Sie *Fragen *haben, kontaktieren Sie bitte die Organisatoren des WSRE unter wsr at uni-koblenz.de Wir freuen uns auf Ihre Beiträge! Die Leitung der Fachgruppe Software-Reengineering der GI Jens Knodel – Marco Konersmann – Torsten Görg – Matthias Gutheil – Stefan Sauer -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/vcard Size: 458 bytes Desc: not available 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 helma.torkamaan at uni-due.de Wed Mar 9 16:52:32 2022 From: helma.torkamaan at uni-due.de (Helma Torkamaan) Date: Wed, 9 Mar 2022 16:52:32 +0100 Subject: [fg-arc] ACM UMAP 2022: Call for Late-breaking Results and Demos Message-ID: --- Please forward to anyone who might be interested --- --- Apologies for cross-posting --- ----------------------------------------------------------------- # ** Call for LBR and Demos: 30th ACM Conference on User Modeling, Adaptation and Personalization (UMAP ’22)** http://www.um.org/umap2022/ (*) Due to the ongoing COVID-19 pandemic, we are planning for a hybrid conference and will accommodate online presentations where needed. ----------------------------------------------------------------- ***Important Dates*** ============================ - Submission of demos and LBR papers: April 15, 2022 - Notification of acceptance: May 10, 2022 - Camera-ready versions of accepted papers: May 18, 2022 - Conference: July 4-7, 2022 **Note: The submissions times are 11:59 pm AoE time (Anywhere on Earth)** -------------------------------------------------------- ACM UMAP – User Modeling, Adaptation and Personalization – is the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and that collect, represent, and model user information. ACM UMAP is sponsored by ACM SIGCHI and SIGWEB, and organized with User Modeling Inc. as the core Steering Committee, extended with past years' chairs. The proceedings are published by the ACM and will be part of the ACM Digital Library. ACM UMAP 2022 invites Demonstrations and Late-Breaking Results (LBR) papers of innovative UMAP-based systems (including research prototypes). You are encouraged to submit your Demo or LBR by April 15th, 2022. -------------------------------------------------------- ***Submission formats*** ============================ For more details, see below! *# Demonstrations* - Max. 5 pages + max. 1 additional page for references - (Required) unpublished page describing how they would present the demo virtually and/or in person - (Optional) video or external material demonstrating the system - Publication in ACM UMAP 2022 Adjunct Proceedings - Presentation as a (potentially virtual) demo + poster at the conference *# Late-Breaking Results* - Max. 7 pages + max. 2 additional pages for references - (NEW: required) unpublished page with a list of questions the authors aim to get feedback on - Publication in ACM UMAP 2022 Adjunct Proceedings - Presentation as a (potentially virtual) poster at the conference **Submission via** : https://easychair.org/conferences/?conf=umap22 ***Demonstrations*** ============================ Demonstrations will showcase research prototypes and commercially available products in a dedicated session. Demo submissions must be based on an implemented and tested system that pursues one or more innovative ideas in the interest areas of the conference. Demonstrations are an excellent and exciting way to showcase implementations and to get valuable feedback from the community. Each demo submission must make clear which aspects of the system will be demonstrated, and how these will be demonstrated on-site as well as online. To better identify the value of demos, we also encourage authors to submit a pointer to a screencast (max. 5 minutes on Vimeo or YouTube) or any external material related to the demo (e.g., shared code on GitHub). Descriptions of demonstrations should have a length of max. 3 pages + 1 page of references in the new ACM single-column style. On an extra page (not to be published), submissions should include a specification of the technical requirements for demonstrating the system at UMAP 2022. Given uncertainties surrounding the COVID-19 pandemic, this extra page should also describe if/how the demo can be presented in a virtual setting (e.g. with a video or a live link to the system). ***Late-Breaking Results*** ============================ Late-Breaking Results (LBR) are research-in-progress that must contain original and unpublished accounts of innovative research ideas, preliminary results, industry showcases, and system prototypes, addressing both the theory and practice of User Modeling, Adaptation and Personalization. In addition, papers introducing recently started research projects or summarizing project results are welcome as well. We encourage researchers and practitioners to submit a late-breaking work as it provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work, and fostering discussions and collaborations among colleagues. Late-Breaking Results papers have a length of up to 7 pages + 2 pages of references in the new ACM single-column style and will be presented to the conference as (in-person and virtual) posters. On an extra page (not to be published), submissions should include a list of questions that the authors aim to get feedback on during the poster session at UMAP 2022. -------------------------------------------------------- ***Submission and Review Process*** ============================ Papers will be reviewed single-blind and do not need to be anonymized before submission. Papers (demo and LBR) must be formatted according to the new workflow for ACM publications. The templates and instructions are available here: https://www.acm.org/publications/taps/word-template-workflow. Authors should submit their papers as single-column. The templates are available here (we strongly recommend the usage of LaTeX for the camera-ready papers to minimize the extent of reformatting): - LaTeX (use \documentclass[manuscript,review,anonymous]{acmart} in the sample-authordraft.tex file for single-column): https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-primary.zip - Overleaf (use \documentclass[manuscript,review,anonymous]{acmart} for single-column): https://www.overleaf.com/latex/templates/acm-conference-proceedings-master-template/pnrfvrrdbfwt - MS Word: https://www.acm.org/binaries/content/assets/publications/taps/acm_submission_template.docx Note: Accepted papers will require a further revision to meet the requirements and page limits of the camera-ready format required by ACM. Instructions for the preparation of the camera-ready versions of the papers will be provided after acceptance. The ACM Code of Ethics gives the UMAP program committee the right to (desk-)reject papers that perpetuate harmful stereotypes, employ unethical research practices, or uncritically present outcomes/implications that clearly disadvantage minority communities. Submit your papers in PDF format via EasyChair for ACM UMAP 2022 Demos and Late-Breaking Results at https://easychair.org/conferences/?conf=umap22 (choose *New Submission* and make sure to select *UMAP 2022 Demo and LBR* track). The review process will be single-blind, i.e. authors' names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential contribution to the research field, potential impact in particular use cases, and the usefulness of presented experiences, as well as their overall readability. Papers that exceed the page limits or do not adhere to the formatting guidelines will be returned without review. -------------------------------------------------------- ***Publication and Presentation*** ============================ Accepted Demo and Late-Breaking Results papers will be published in the ACM UMAP 2022 Adjunct Proceedings in the ACM Digital Library. Papers will be accessible from the UMAP '22 website through ACM OpenToc Service for one year after publication in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference. Due to the uncertainties regarding the COVID-19 pandemic, the poster session may be partially or fully virtual. **To be included in the Proceedings, at least one author of each accepted paper must register for the conference and present the paper there.** -------------------------------------------------------- ***Late-Breaking Results and Demo Chairs*** ============================ - Cataldo Musto, University of Bari, Italy - Veronika Bogina, University of Haifa, Israel - Contact: umap2022-lpd at um.org -------------------------------------------------------- ***Follow UMAP 2022 on Social Media*** ============================ - Twitter: @UMAPconf #umap2022 (https://twitter.com/UMAPconf) - Facebook: https://www.facebook.com/acmumap -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Mar 9 14:03:07 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 9 Mar 2022 15:03:07 +0200 Subject: [fg-arc] 8th IEEE International Smart Cities Conference (ISC2 2022): Second Call for Contributions Message-ID: <3AZWUT4Y-M2MO-RSDQ-FADK-QFC432GB4W4G@cs.ucy.ac.cy> *** Second Call for Contributions *** 8th IEEE International Smart Cities Conference (ISC2 2022) "Community Smartification and towards ZERO emission Smart Cities for a Green New Era" September 26-29, 2022, Aliathon Resort, Paphos, Cyprus https://attend.ieee.org/isc2-2022  The Call-for-Contributions for the 8th IEEE International Smart Cities Conference (ISC2 2022) is OPEN! The IEEE ISC2 2022 Organizing Committee is glad to announce that it is currently accepting papers for the 8th edition of the IEEE International Smart Cities Conference.  This year, the IEEE ISC2 will be held in-person on September 26-29, 2022, in Paphos, Cyprus and the theme of the conference is “Community Smartification and towards ZERO emission Smart Cities for a Green New Era.” The IEEE ISC2 is the flagship conference sponsored by the IEEE Smart Cities Technical Community, a coalition of eight IEEE technical societies and organizations. Besides contributions addressing the conference theme, authors are welcome to submit their original research results in traditional topics across broad application and functional domains, within the context of smart urban infrastructure systems. The technical areas include, but are not limited to:   • Smart city theory, modelling and simulation 
• Intelligent infrastructure
• Sensors and actuators
• Open data and big data analytics
• AI powered smart cities services
• Safety and security systems
• Smart healthcare
• Smart emergency management
• IoT and Smart X services • Data security and privacy
• Connected Vehicle (CV) technologies
• Unmanned Aerial Vehicles (UAVs)
• Smart mobility and transportation
• Smart energy systems
• Smart buildings and Smart grid
• Digital city and smart growth
• Smart traffic system operations
• Environmental monitoring technologies The complete list of technical areas can be found here: https://attend.ieee.org/isc2-2022/call-for-papers/ . Should you need further clarifications or have any inquiries, please do not hesitate to contact us at: isc22022 at easychair.org . Paper Submission Guidelines Prospective authors are invited to submit high quality original (Full or Short) papers via the EasyChair submission site at https://easychair.org/conferences/?conf=isc22022 . Full papers should describe novel research contributions with evaluation results and are limited to seven (7) pages. Short papers, limited in length to four (4) pages, should be more visionary in nature and are meant to discuss new challenges and visions, highlight early research results, and explore novel research directions. All submitted papers must be unpublished and not considered elsewhere for publication, should be written in English and formatted according to the IEEE Template ( https://www.ieee.org/conferences/publishing/templates.html ). Each submitted paper will pass through the standard IEEE peer-review process. If accepted and presented at the conference, it will appear in the conference proceedings and be submitted for inclusion in the IEEE Xplore Digital Library. The conference organisers are currently negotiating a number of special issues with high quality journals. More information will be available on the conference web site. The best papers will be awarded in the conference Best Paper Award and a Best Student Paper Award contests.  For more information, please visit the conference website: https://attend.ieee.org/isc2-2022 . Special Sessions Proposals Please refer to the web site for further details: https://attend.ieee.org/isc2-2022/call-for-special-sessions/ . Workshops Proposals Please refer to the web site for further details: https://attend.ieee.org/isc2-2022/call-for-workshop-proposals/ . Tutorials Proposals Please refer to the web site for further details: https://attend.ieee.org/isc2-2022/call-for-tutorial-proposals/ . Sponsorship Opportunities Please refer to the web site for further details: https://attend.ieee.org/isc2-2022/sponsorships/ . Important Dates • Conference Paper Submission Deadline: May 15, 2022 • Conference Acceptance Notification: July 15, 2022 • Conference Camera-ready Deadline: July 31, 2022 • Special Sessions and Workshops Proposals Submission Deadline: April 15, 2022 • Special Sessions and Workshops Proposals Selection: April 21, 2022 • Tutorial Proposals Submission Deadline: May 27, 2022 • Tutorial Proposals Selection: June 3, 2022 • Conference Dates: September 26-29, 2022 Organizing Committee https://attend.ieee.org/isc2-2022/chairs/ Special Track Chairs Committee https://attend.ieee.org/isc2-2022/special-tracks-committee2/ IEEE Smart Cities https://smartcities.ieee.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From jesse.heyninck at tu-dortmund.de Wed Mar 9 22:45:15 2022 From: jesse.heyninck at tu-dortmund.de (Heyninck, Jesse) Date: Wed, 9 Mar 2022 21:45:15 +0000 Subject: [fg-arc] Recently Published Research Track of KR2022 Message-ID: <512dc040941a4a0394b716d3f6dfeabd@tu-dortmund.de> CALL FOR PAPERS Recently Published Research Track of the 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) July 31 - August 5, 2022, Haifa, Israel https://kr2022.cs.tu-dortmund.de/cfp_recently_published_research_track.php The 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, invites submissions of abstracts of papers previously published in journals and conference proceedings for the Recently Published Research Track. The track is designed to provide a forum to discuss recent research on topics related to KR that may not be immediately familiar or easily accessible to the KR community. ** IMPORTANT DATES ** The key dates are as follows: Submission: March 27, 2022 Notification: April 29, 2022 ** SCOPE ** The track seeks papers that fall into one or both of the following two categories: 1) Papers that: - bridge KR to other areas of AI, computer science, or to other disciplines for which an interface with KR exists (this includes database theory, game theory, social choice, logic and philosophy, etc.); -bridge KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding, machine learning, explainable AI; or -go beyond the commonly-understood boundaries of KR. 2) Papers that are tightly related to KR and - have been published in journals but have not been presented at workshops or conferences; - have been presented at conferences that are not typically attended by the KR community; or - have been accepted at general high-profile AI conferences such as IJCAI, ECAI, or AAAI, where the time allotted has not allowed for a full discussion of all key aspects of the paper. - Submitted papers need only be of interest to a sub-community in KR (e.g. DL, argumentation, NMR, etc.). However, they need to be made friendly to a KR audience. ** AUTHOR GUIDELINES AND SUBMISSION INFORMATION ** The materials to be submitted include: - a cover page (single page) listing the title, the authors, a complete reference to the original paper, and a public or privately accessible URL from which the paper can be downloaded. A list of keywords is also expected. Finally, the cover page must contain a statement that the work the submission is based on has not been already presented to a KR audience in a major forum. - A one-page (preferred) and no more than two-page extended abstract of the paper following the format for regular paper KR 2022 submissions. The abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results. A single pdf file with the materials should be submitted according to the instructions detailed on the submission page. Submissions must meet the following criteria: - Candidate papers must have been published in a journal or conference proceedings in 2020 or later. - Papers that are in press may be submitted as long as the final camera-ready version is available. - Extensions of papers that have been previously presented at a KR conference are not eligible for this track. Extended abstracts of the accepted papers will be linked from the conference website. Authors of accepted papers will present their work at the KR conference, focussing on its significance and relevance to KR. Significant time will be allocated for discussion of the interdisciplinary aspects of the work and its potential impact on future research opportunities for KR. ** CHAIRS ** Ivan Varzinczak (Université d'Artois and CRIL, France) Sebastian Rudolph (TU Dresden, Germany) Wichtiger Hinweis: Die Information in dieser E-Mail ist vertraulich. Sie ist ausschließlich für den Adressaten bestimmt. Sollten Sie nicht der für diese E-Mail bestimmte Adressat sein, unterrichten Sie bitte den Absender und vernichten Sie diese Mail. Vielen Dank. Unbeschadet der Korrespondenz per E-Mail, sind unsere Erklärungen ausschließlich final rechtsverbindlich, wenn sie in herkömmlicher Schriftform (mit eigenhändiger Unterschrift) oder durch Übermittlung eines solchen Schriftstücks per Telefax erfolgen. Important note: The information included in this e-mail is confidential. It is solely intended for the recipient. If you are not the intended recipient of this e-mail please contact the sender and delete this message. Thank you. Without prejudice of e-mail correspondence, our statements are only legally binding when they are made in the conventional written form (with personal signature) or when such documents are sent by fax. -------------- next part -------------- An HTML attachment was scrubbed... URL: From jens.knodel at caruso-dataplace.com Fri Mar 11 17:01:36 2022 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Fri, 11 Mar 2022 16:01:36 +0000 Subject: [fg-arc] =?utf-8?q?DEADLINE_EXTENSION=3A_WSRE-Einreichungen_bis_?= =?utf-8?q?25=2E_M=C3=A4rz_2022=2C_Student_Paper_bis_18=2E_M=C3=A4rz_2022_?= =?utf-8?q?m=C3=B6glich?= Message-ID: ================================================================== DEADLINE EXTENSION: WSRE-Einreichungen noch bis zum 25. März 2022 möglich Student Paper Einreichungen noch bis 18. März 2022 möglich ================================================================== 24. Workshop Software-Reengineering & -Evolution (WSRE) 02.-04. Mai 2022, Physikzentrum Bad Honnef https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution Zeitplan zur Einreichung von Beiträgen zum WSRE 2022 via https://easychair.org/conferences/?conf=wsre2022 - Einreichung der Beiträge: 25. März 2022 - Benachrichtigung : 7. April 2022 - Einreichung der ggf. überarbeiteten Endfassung: 21. April 2022 - Anmeldeschluss zur Workshopteilnahme: 14. April 2022 Zeitplan zum Best Student Paper Award: Best Student Paper Award mit einem Preisgeld in Höhe von 250 EUR https://fg-sre.gi.de/aktivitaeten/call-for-student-papers-/-best-student-paper-award Einreichung bis zum 18. März 2022 via https://easychair.org/conferences/?conf=wsre2022 Wir danken für die bisherigen Einreichungen, aber freuen uns noch auf hoffentlich viele weitere Beiträge! Kontakt? mailto:wsr at uni-koblenz.de FG SRE: Jens Knodel – Marco Konersmann – Torsten Görg – Matthias Gutheil – Stefan Sauer -----Original Message----- From: Jens Knodel Sent: Freitag, 10. Dezember 2021 00:18 To: Reengineering at list.uni-koblenz.de Subject: 24. Workshop Software-Reengineering & -Evolution: Call for Papers WSRE 2022 WSRE 20+2+2, 24. Workshop Software-Reengineering & -Evolution, 02.-04. Mai 2022, Physikzentrum Bad Honnef Call for Papers, Einreichung der Kurzfassungen bis zum 11. März 2022 via https://easychair.org/conferences/?conf=wsre2022 ==== 24. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 2.-4. Mai 2022 https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution ==== ==== Warum der WSRE? ==== Unser Ziel ist die Förderung der Zusammenarbeit und der Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen „Software-Reengineering“, „Software-Wartung“ und „Software-Evolution“. Darunter verstehen wir prinzipiell alle Aktivitäten rund um die Analyse, Bewertung, Visualisierung, Verbesserung, Migration und Weiterentwicklung von Software-Systemen. Wir laden Forscher*innen und Praktiker*innen herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden und Werkzeuge in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. ==== Was ist dieses Jahr besonders? ==== - Fachgruppensitzung / Wahl der FG-Leitung: In 2022 stehen Neuwahlen des Leitungsgremiums der Fachgruppe Software-Reengineering (SRE) an. Bitte denken Sie über mögliche Kandidat*innen oder sogar über eine eigene Kandidatur nach. Senden Sie gerne Vorschläge vorab an die derzeitigen FG-Sprecher. - 13. Workshop "Design For Future" des Arbeitskreises L2S2 "Langlebige Softwaresysteme" als besonderer Track des WSRE mit eigenem Call: http://akl2s2.ipd.kit.edu/veranstaltungen/dff2022/ - Student Papers: Wir rufen insbesondere den studentischen Nachwuchs (Bachelor- oder Master-Studierende) auf. Beiträge einzureichen und werden den besten Beitrag in dieser Kategorie prämieren. - Vorträge: Einblick in sowie Rückblick und Ausblick auf interessante Arbeiten und Ergebnisse rund ums Software-Reengineering und verwandte Themen aus Forschung und Praxis. Lernen und Diskutieren! - Networking: Interaktive Programmpunkte zum direkten Austausch und zur Vernetzung zwischen den Teilnehmer*innen inklusive eines Social Events und eines Conference Dinners. ==== Wann und wo? ==== Der Workshop findet vom 2.-4. Mai 2022 im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer*innen erfolgt wie üblich im Physikzentrum: https://www.dpg-physik.de/dpg/pbh/ Aufgrund der möglicherweise geltenden Corona-Bestimmungen behalten wir uns kurzfristige Änderungen am Format (hybrid, virtuell) und, falls notwendig, auch am Termin und Ort des Workshops vor. Information dazu werden über die Webseite und die Mailingliste https://fg-sre.gi.de/weiteres/mailingliste bereitgestellt. ==== Wie reiche ich einen Beitrag ein? ==== Eingereicht werden können Erfahrungs-, Ergebnis- und Projektberichte sowie Diskussionsbeiträge aus der Wissenschaft. Einreichung bitte über die EasyChair: https://easychair.org/conferences/?conf=wsre2022 Mögliche Themen sind u.a. Software-Analyse und -Transformation, Software-Qualität und Metriken, (intelligente) Wissensgewinnung aus Software-Repositorien, Software-Visualisierung, Analyse- und Reengineering-Werkzeuge, Continuous-Development-Ansätze, Wartung und Refactoring, Software-Migration und -Modernisierung, Modelle, Methoden, Prozesse für Reengineering und Software-Evolution, empirische Forschung und der Faktor Mensch im Reengineering, Wirtschaftlichkeit von Reengineering-Maßnahmen. Als Beiträge werden erweiterte Kurzfassungen in deutscher oder englischer Sprache auf maximal zwei Seiten im Format der Softwaretechnik-Trends erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE und Hinweise zum Format unter http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html ==== Wie ist der Zeitplan? ==== - Einreichung der Kurzfassungen: 11. März 2022 - Benachrichtigung über die Annahme: 31. März 2022 - Einreichung der druckfertigen Endfassung: 12. April 2022 - Anmeldeschluss zur Teilnahme: 12. April 2022 - WSRE 2022 02. - 04. Mai 2022 Kontakt? mailto:wsr at uni-koblenz.de FG SRE: Jens Knodel – Marco Konersmann – Torsten Görg – Matthias Gutheil – Stefan Sauer -- Dr. Jens Knodel Head of Platform Engineering Caruso GmbH I Harrlachweg 2 I 68163 Mannheim http://www.caruso-dataplace.com Caruso GmbH I Steinheilstraße 10 I 85737 Ismaning Managing Directors: Norbert Dohmen, Jürgen Buchert | registered Local Court Munich | HRB 233 669 From konersmann at uni-koblenz.de Fri Mar 11 17:12:54 2022 From: konersmann at uni-koblenz.de (Marco Konersmann) Date: Fri, 11 Mar 2022 17:12:54 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers=3A_13=2E_Workshop_=E2=80=9EDe?= =?utf-8?q?sign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=28DFF_2022=29?= In-Reply-To: References: Message-ID: <74448eb5-2db3-60cf-d6bb-a029c36a03b8@uni-koblenz.de> DEADLINE EXTENSION: DFF-Einreichungen noch bis zum 25. März 2022 möglich ================================================================== 13. Workshop Design for Future (DFF 2022) 02.-04. Mai 2022, Physikzentrum Bad Honnef https://akl2s2.ipd.kit.edu/ Gemeinsam mit dem 24. Workshop für Software Reengineering und Evolution (WSRE 2022) Zeitplan zur Einreichung von Beiträgen zum DFF 2022 via https://easychair.org/conferences/?conf=wsre2022 - Einreichung der Beiträge: 25. März 2022 - Benachrichtigung : 7. April 2022 - Einreichung der ggf. überarbeiteten Endfassung: 21. April 2022 - Anmeldeschluss zur Workshopteilnahme: 14. April 2022 Wir danken für die bisherigen Einreichungen, aber freuen uns noch auf hoffentlich viele weitere Beiträge! AK L2S2: http://akl2s2.ipd.kit.edu/ Robert Heinrich - Marco Konersmann - Stefan Sauer Am 14.01.22 um 14:26 schrieb Marco Konersmann: > Call for Papers > =============== > > 13. Workshop Design for Future 2022 > Software Engineering für langlebige Systeme > http://akl2s2.ipd.kit.edu/veranstaltungen/dff2022/ > > des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2) > der Fachgruppen „Architekturen“ und „Software-Reengineering“ > > 2.–4. Mai 2022 im Physikzentrum Bad Honnef > > gemeinsam mit dem 24. Workshop Software-Reengineering & Evolution (WSRE 2022) > https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution > > ======================================================================= > Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um COVID-19 > ======================================================================= > Aufgrund der möglicherweise geltenden Corona-Bestimmungen behalten wir uns in Abstimmung mit dem Workshop Software-Reenginering und Evolution kurzfristige Änderungen am Format (hybrid, virtuell) und, falls notwendig, auch am Termin und Ort des Workshops vor. Informationen dazu werden über die Webseite und die Mailingliste https://lists.ira.uni-karlsruhe.de/mailman/listinfo/ak-l2s2 bereitgestellt. > > > Termine > ======= > Einreichung von Beiträgen        11. März 2022 > Benachrichtigung über Annahme    31. März 2022 > Einreichung der finalen Fassung  12. April 2022 > Anmeldeschluss zur Teilnahme     12. April 2022 > Workshop *2.–4. Mai 2022* > > > Inhalte und Ziele > ================== > Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Neue Paradigmen treten zutage wie z.B. Edge Computing, Blockchains oder Smart Contracts. > Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. > > Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. > > Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI-Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler*innen und Praktiker*innen zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 13. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. > > > Themen > ====== > Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: >     • Methoden zur Software-Modernisierung und Software-Migration >     • Re-Engineering zum Erkennen und Beheben von Legacy-Problemen >     • Anpassungsfähige und zukunftssichere Software-Architekturen >     • Evolution und Co-Evolution von Modellen und Code >     • Verhinderung von Software-Erosion >     • Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme >     • Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) >     • Evolutionsherausforderungen im Kontext von Big Data >     • Integration oder Migration in Bezug auf Blockchain-Technologien oder Smart Contracts >     • Migrationsszenarien im Kontext von Cloud- und Edge-Computing >     • Qualitätsmanagement für langlebige Softwaresysteme >     • Fallstudien zu den vorgenannten Themen >     • Praxis- und Erfahrungsberichte zu den vorgenannten Themen > > > Einreichung und Veröffentlichung von Beiträgen > ============================================== > Praktiker*innen und Wissenschaftler*innen, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. > Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. > > Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=wsre2022 freigeschaltet. Der Workshop DFF wird in EasyChair als Teil des WSRE behandelt. Bitte wählen Sie bei der Einreichung unter Topics das Akronym "DFF" aus. > > > Organisation > ============ > Der Workshop wird organisiert vom GI-Arbeitskreis "Langlebige Softwaresysteme" (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 24. Workshop Software-Reengineering & Evolution (WSRE 2022) der Fachgruppe "Software-Reengineering" durchgeführt. > > AK- und Workshop-Leitung: >     • Robert Heinrich, robert.heinrich(at)kit.edu, >     • Marco Konersmann, konersmann(at)uni-koblenz.de, >     • Stefan Sauer, sauer(at)sicp.upb.de -- Dr. Marco Konersmann Postdoctoral Researcher Research Group Software Engineering Institute for Software Technology (IST) University of Koblenz-Landau https://mkonersmann.de/ From victor.perez at software.imdea.org Mon Mar 14 09:42:29 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Mon, 14 Mar 2022 09:42:29 +0100 (CET) Subject: [fg-arc] ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming Message-ID: <20220314084229.BA64614082@software.imdea.org> *** ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming *** The 18th 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 preliminary website of the DC can be found at: https://sites.google.com/view/iclpdc2022/iclp-2022-doctoral-consortium The DC will take place during the 38th International Conference on Logic Programming (ICLP) https://software.imdea.org/Conferences/ICLP2022/ (July 31st-August 08th, 2022), Haifa, Israel. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates Paper submission: 22nd April, 2022 Notification: 23td May, 2022 Camera-ready copy: 30th May, 2022 DC presentations: 2nd August, 2022 (tentative) DC students are highly recommended to attend the School on Logic Programming and Constraint Programming (https://sites.google.com/view/iclpdc2022/school-on-logic-programming). Audience The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals * To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. * To provide students with relevant information about important issues for doctoral candidates and future academics. * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclpdc2022 Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: * Introduction and problem description * Background and overview of the existing literature * Goal of the research * Current status of the research * Preliminary results accomplished (if any) * Open issues and expected achievements * Bibliographical references Review Criteria The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration Registration is part of the ICLP 2022 registration. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs: Veronica Dahl , Simon Fraser University Carmine Dodaro , University of Calabria From nasim.sonboli at gmail.com Sat Mar 19 08:42:53 2022 From: nasim.sonboli at gmail.com (Nasim Sonboli) Date: Sat, 19 Mar 2022 01:42:53 -0600 Subject: [fg-arc] =?utf-8?q?2nd_CFP=3A_UMAP=E2=80=9922_Doctoral_Consortiu?= =?utf-8?q?m_Papers?= Message-ID: --- Please forward to anyone who might be interested --- --- Apologies for cross-posting --- ----------------------------------------------------------------------------- 30th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP'22) Barcelona, Spain, and Online 4 - 7 July 2022 https://www.um.org/umap2022/ ----------------------------------------------------------------------------- Important Dates: - Doctoral Consortium Submission: March 31, 2022; - Notification to authors: April 28, 2022; - Camera-ready submission: May 2, 2022; - Conference: July 4-7, 2022; - DC day: July TBD, 2022; Note: All the deadlines must be intended at 11:59 PM AoE time (Anywhere on Earth) ----------------------------------------------------------------------------- Background and Scope The UMAP 2022 Doctoral Consortium (DC) will take place as part of the 30th International Conference on User Modeling, Adaptation, and Personalization. Doctoral students are invited to apply to present their research to experienced scholars who will provide constructive feedback and advice. Students should consider participating in the DC if they are at least fifteen months away from completing their dissertation at the time of the event, but after having settled on a research area or dissertation topic. This forum will provide Ph.D. students an opportunity to: - Present and discuss their research ideas to experienced scholars in a supportive, formative, and yet critical environment; - Explore and develop their research interests under the guidance of distinguished researchers and industry practitioners from the field who will provide constructive feedback and advice; - Explore career pathways available after completing their Ph.D. degree, and finally - Network and build collaborations with other members of the community. Students are asked to submit a brief proposal outlining their doctoral research (see detailed requirements below), which will be evaluated by the consortium committee. Good quality applications will be selected for presentation at a DC Session as part of the conference. Each student with an accepted submission will be assigned a mentor who will provide feedback on the student’s work and will discuss the doctoral research with the student and the audience at the consortium. ----------------------------------------------------------------------------- A Brief Review of The General Guidelines for a Doctoral Consortium Paper Candidates must submit their DC proposals –aligning with topics pertaining to the ACM UMAP 2022 key areas– by the submission deadline. Each proposal should be a single PDF, with four required components: a six-page description of your Ph.D., an expected benefits statement, a recommendation letter, and a two-page curriculum vitae. If you are unable to obtain a letter of recommendation from your dissertation advisor, please include a short explanation. For more details please refer to the website: https://www.um.org/umap2022/call-for-doctoral-consortium-papers/ ----------------------------------------------------------------------------- Financial Support ACM UMAP has a history of supporting students who want to attend the conference. Students of accepted DC proposals will have higher priority for UMAP grant applications. ----------------------------------------------------------------------------- DC Chairs: umap2022-doctoral at um.org - Rita Orji (Dalhousie University, Canada) - Giovanni Stilo (University of L’Aquila, Italy) ----------------------------------------------------------------------------- Follow UMAP 2022 on Social Media - Twitter: @UMAPconf #umap2022 (https://twitter.com/UMAPconf) - Facebook: https://www.facebook.com/acmumap -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Mar 19 11:10:46 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 19 Mar 2022 12:10:46 +0200 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Second Call for Papers Message-ID: <2I4HKQJC-7ZLI-8P26-TTGY-0SHNNG12K2U@cs.ucy.ac.cy> *** Second Call for Papers *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Golden Bay Beach Hotel 5*, Larnaca, Cyprus https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second 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: Artificial Intelligence, Computation and Data Analytics • Artificial Intelligence methods for medical device testing. • Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). • Algorithms, methods and services for predicting and monitoring infectious disease. • Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. • Medical Data and/or Medical Image Analysis. • Electronic Medical Records Analysis. • Computational methods for medical devices. Human Computer Interaction and Cognition • Human-Machine Interaction for healthcare and well-being. • Cognitive Mechatronics for healthcare and well-being. • Models for human-device interaction for medicine. • Cobotics for healthcare and well-being. • Model-based design and configuration tools for healthcare and well-being. Assistive Devices • Precision medicine. • ICT for in-silicon trials. • Implantable medical devices. • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing • Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). • 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). • Smart Systems and services promoting access to the socio-economical and cultural environment. • IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. • eHealth smart solutions in the fight against a COVID-19 like pandemic. • IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services • Distributed and connected digital healthcare services. • IoT services for real-time monitoring of health data and status of patients and/or older adults. • Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. • mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. • Sustainable city environments for emergency health management. • 5G and beyond for healthcare in sustainable smart cities. • Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems • New experimental validation methods with end-users. • Systems and services for ensuring patient’s commitment to the medication schedule. • Digital health systems and tools for health care professional training and workforce development. • Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. • Methods and Technology for Improving the quality of services-oriented care delivery systems. • Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. • Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. • 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). Privacy, Security & Standardization • Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). • Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). • Security and privacy of digital health systems and service. • Socio-economic issues of smart healthcare in sustainable societies. • Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. 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. 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 Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). 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 . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates • Submission Deadline: July 18, 2022 (AoE) • Notification: September 26, 2022 • Camera-Ready Submission Deadline: October 10, 2022 • Author Registration Deadline: October 10, 2022 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair • Jessica Allingham, Lakehead University, Canada Finance Chair • Petros Stratis, Easy Conferences LTD, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From nasim.sonboli at gmail.com Wed Mar 23 20:49:50 2022 From: nasim.sonboli at gmail.com (Nasim Sonboli) Date: Wed, 23 Mar 2022 13:49:50 -0600 Subject: [fg-arc] =?utf-8?q?Call_for_UMAP=E2=80=9922=3A_Theory=2C_Opinion?= =?utf-8?q?=2C_and_Reflection_=28TOR=29_Position_Papers?= Message-ID: --- Please forward to anyone who might be interested --- --- Apologies for cross-posting --- ----------------------------------------------------------------------------- 30th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP'22) Barcelona, Spain, and Online 4 - 7 July 2022 https://www.um.org/umap2022/ ----------------------------------------------------------------------------- Important Dates: - Submission Deadline: April 15, 2022; - Notification to authors: May 10, 2022; - Camera-ready submission: May 18, 2022; - Conference: July 4-7, 2022; Note: All the deadlines must be intended at 11:59 PM AoE time (Anywhere on Earth) More information in: https://www.um.org/umap2022/call-for-theory-opinion-reflection/ ----------------------------------------------------------------------------- ACM UMAP 2022 is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. Theory, Opinion, and Reflection (TOR) are position papers that critically look at ongoing and emerging research topics, reflections on persistent or fleeting trends in the field, and blue sky future ideas for UMAP research. They offer an opportunity for discussing thought-provoking work relevant to the UMAP community, albeit they are not yet ready to be published as full-length research papers at a refereed conference. Moreover, to mark the 30th year of the UMAP conference, this track encourages papers that consider a broad perspective on how the field has evolved and the challenges and directions that lay ahead. We encourage both qualitative and quantitative historical analyses, and reflections on persistent or fleeting trends in the field, although blue-sky ideas and early-stage works are also welcome, as long as their aim is to foster discussions and collaborations among colleagues. Submissions should have a length of up to 4 pages (excluding references) in the new ACM single-column style and will be published as part of the ACM UMAP 2022 Adjunct Proceedings. More information in: https://www.um.org/umap2022/call-for-theory-opinion-reflection/ ----------------------------------------------------------------------------- UMAP’s General Chairs: umap2022-general at um.org - Alejandro Bellogín (Universidad Autónoma de Madrid, Spain) - Ludovico Boratto (University of Cagliari, Italy) - Olga C. Santos (UNED, Spain) ----------------------------------------------------------------------------- Follow UMAP 2022 on Social Media - Twitter: @UMAPconf #umap2022 (https://twitter.com/UMAPconf) - Facebook: https://www.facebook.com/acmumap -------------- next part -------------- An HTML attachment was scrubbed... URL: From jesse.heyninck at tu-dortmund.de Tue Mar 22 08:49:25 2022 From: jesse.heyninck at tu-dortmund.de (Heyninck, Jesse) Date: Tue, 22 Mar 2022 07:49:25 +0000 Subject: [fg-arc] Recently Published Research Track of KR2022 Message-ID: CALL FOR PAPERS Recently Published Research Track of the 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) July 31 - August 5, 2022, Haifa, Israel https://kr2022.cs.tu-dortmund.de/cfp_recently_published_research_track.php The 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, invites submissions of abstracts of papers previously published in journals and conference proceedings for the Recently Published Research Track. The track is designed to provide a forum to discuss recent research on topics related to KR that may not be immediately familiar or easily accessible to the KR community. ** IMPORTANT DATES ** The key dates are as follows: Submission: March 27, 2022 Notification: April 29, 2022 ** SCOPE ** The track seeks papers that fall into one or both of the following two categories: 1) Papers that: - bridge KR to other areas of AI, computer science, or to other disciplines for which an interface with KR exists (this includes database theory, game theory, social choice, logic and philosophy, etc.); -bridge KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding, machine learning, explainable AI; or -go beyond the commonly-understood boundaries of KR. 2) Papers that are tightly related to KR and - have been published in journals but have not been presented at workshops or conferences; - have been presented at conferences that are not typically attended by the KR community; or - have been accepted at general high-profile AI conferences such as IJCAI, ECAI, or AAAI, where the time allotted has not allowed for a full discussion of all key aspects of the paper. - Submitted papers need only be of interest to a sub-community in KR (e.g. DL, argumentation, NMR, etc.). However, they need to be made friendly to a KR audience. ** AUTHOR GUIDELINES AND SUBMISSION INFORMATION ** The materials to be submitted include: - a cover page (single page) listing the title, the authors, a complete reference to the original paper, and a public or privately accessible URL from which the paper can be downloaded. A list of keywords is also expected. Finally, the cover page must contain a statement that the work the submission is based on has not been already presented to a KR audience in a major forum. - A one-page (preferred) and no more than two-page extended abstract of the paper following the format for regular paper KR 2022 submissions. The abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results. A single pdf file with the materials should be submitted according to the instructions detailed on the submission page. Submissions must meet the following criteria: - Candidate papers must have been published in a journal or conference proceedings in 2020 or later. - Papers that are in press may be submitted as long as the final camera-ready version is available. - Extensions of papers that have been previously presented at a KR conference are not eligible for this track. Extended abstracts of the accepted papers will be linked from the conference website. Authors of accepted papers will present their work at the KR conference, focussing on its significance and relevance to KR. Significant time will be allocated for discussion of the interdisciplinary aspects of the work and its potential impact on future research opportunities for KR. ** CHAIRS ** Ivan Varzinczak (Université d'Artois and CRIL, France) Sebastian Rudolph (TU Dresden, Germany) Wichtiger Hinweis: Die Information in dieser E-Mail ist vertraulich. Sie ist ausschließlich für den Adressaten bestimmt. Sollten Sie nicht der für diese E-Mail bestimmte Adressat sein, unterrichten Sie bitte den Absender und vernichten Sie diese Mail. Vielen Dank. Unbeschadet der Korrespondenz per E-Mail, sind unsere Erklärungen ausschließlich final rechtsverbindlich, wenn sie in herkömmlicher Schriftform (mit eigenhändiger Unterschrift) oder durch Übermittlung eines solchen Schriftstücks per Telefax erfolgen. Important note: The information included in this e-mail is confidential. It is solely intended for the recipient. If you are not the intended recipient of this e-mail please contact the sender and delete this message. Thank you. Without prejudice of e-mail correspondence, our statements are only legally binding when they are made in the conventional written form (with personal signature) or when such documents are sent by fax. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ecl.drexel at gmail.com Tue Mar 22 13:44:11 2022 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Tue, 22 Mar 2022 08:44:11 -0400 Subject: [fg-arc] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022) Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Fourth Workshop on Causal Reasoning and Explanation in Logic Programming CALL FOR PAPERS *** CAUSAL 2022 *** July 31 2022 Fourth Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2022 is a workshop of ICLP 2022 to be held in Haifa, Israel. CAUSAL 2022 IMPORTANT DATES ----------------------- * Paper submission: May 22nd 2022 * Notification: June 5th 2022 * Final Versions: June 20th 2022 * Workshop Date: July 31 2022 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2022 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2022 website for registration procedure and fees. https://software.imdea.org/Conferences/ICLP2022/ ORGANIZERS ---------- Emily LeBlanc, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, University of Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From victor.perez at software.imdea.org Thu Mar 24 10:30:33 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Thu, 24 Mar 2022 10:30:33 +0100 (CET) Subject: [fg-arc] ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs - Call for papers Message-ID: <20220324093033.DD9F41407F@software.imdea.org> CALL FOR PAPERS!! CALL FOR PAPERS ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs https://utdallas.edu/~gupta/gde22 Date: August 1, 2022 located with ICLP'22: 38th International Conference on Logic Programming July 31 - Aug 8, 2022, Haifa, Israel Workshop Aim: Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present. Tentative list of topics include: Non-grounding based implementations of ASP Constructive Negation Implementation Technology for Goal-directed ASP Applications of Goal-directed ASP Query-driven Constraint ASP System Description Tabling in goal-directed ASP Systems Coinductive Logic Programming and ASP Submission Instructions: Technical papers, position papers, as well as extended abstracts are welcome. Papers should be maximum 8 pages long and in LNCS Format. Submissions must be made via EasyChair: https://easychair.org/conferences/?conf=gde20220 Important Dates: Paper Submission: May 20, 2022 Decision Notification: June 5, 2022 Final Paper: June 20, 2022 Workshop Date: August 1, 2022 Program Chair: Joaquín Arias, Universidad Rey Juan Carlos, Spain; joaquin.arias at urjc.es Program Committee: Pedro Cabalar, University of Corunna, Spain Manuel Carro, Universidad Politécnica de Madrid and IMDEA, Spain Agostino Dovier, Università degli Studi di Udine, Italy Esra Erdem, Sabanci University, Turkey Daniela Inclezan, Miami University, USA Luis Moniz Pereira, Nueva Universidad de Lisboa, Portugal Jose Morales, Universidad Politécnica de Madrid and IMDEA, Spain Jan Wielemaker, Vrije Universiteit Amsterdam, Netherlands Organizers: Joaquín Arias, Universidad Rey Juan Carlos, Spain; joaquin.arias at urjc.es Gopal Gupta, The University of Texas at Dallas, USA; gopal.gupta at utdallas.edu Elmer Salazar, The University of Texas at Dallas, USA; elmer.salazar at utdallas.edu From danai.symeonidou at inrae.fr Mon Mar 28 16:31:38 2022 From: danai.symeonidou at inrae.fr (Danai Symeonidou) Date: Mon, 28 Mar 2022 16:31:38 +0200 Subject: [fg-arc] =?utf-8?q?Postdoc_position_at_INRAE_Montpellier=2C_Fran?= =?utf-8?q?ce_=E2=80=93_Semantic_Web=2C_Data_linking?= Message-ID: <1a6e5ee1-0fef-2668-95b4-a84fe6ddc9e1@inrae.fr> ** ** *Postdoc position at MISTEA, INRAE Montpellier, France – Semantic Web, Data linking* *Areas:Semantic Web, Linked Data, Data linking, Representation learning * *Qualifications: PhD in Informatics, AI. Background in knowledge engineering. * *Context:ANR DACE-DL (DAta-CEntric AI-driven Data Linking)* *Contact & Collaboration:* *Danai Symeonidou, danai.symeonidou at inrae.fr * *Clement Jonquet, clement.jonquet at inrae.fr * *Dates:Position available for 2 years. Beginning date is flexible. * *Location:INRAE, Centre Occitanie-Montpellier, MISTEA research unit* *Salary:Between 2200€ and 2700€ gross monthly depending on qualifications and situation. * *Institut: INRAE is the French research organization in agriculture, food and environmental sciences; it is a pioneer in France in terms of data sharing and Open Science commitment. The MathNum research department gathers around 200 scientists in mathematics and digital technologies in 13 research units in France. MISTEA is a joint research unit of INRAE and Montpellier Institut Agro engineering school with activities in the development of mathematical, statistical and informatics methods dedicated to analysis and decision support for agronomy and environment. The team is also recognized for its expertise in knowledge engineering and ontology-based scientific data management and information systems.* *Project context: Data linking is the scientific challenge of automatically establishing typed links between the entities of two or more structured datasets. A variety of complex data linking systems exists, evaluated on public benchmarks [1,2,3]. While they have allowed for the generation of vast amounts of linked data in the context of various dedicated projects, data generic systems often have limited applicability in many real-world scenarios, where data are highly heterogeneous and domain-specific. The ANR project DACE-DL (2022-2024) targets a paradigm shift in the data linking field with a data-centric bottom-up methodology relying on machine learning and representation learning models [4]. We hypothesize there exists a finite number of identifiable and generalisable linking problem types (LPTs), that we need  to categorize and analyze to provide better linking results. * *Topic:The postdoc will work to identify and provide a categorisation/taxonomy of the different linking problem types based on an in-depth analysis of the linked datasets provided by the project and beyond. The first objective is to provide an in-depth analysis of the linked data available along with an exhaustive study of the state-of-the-art in the field of data linking. A finite number of generalisable linking problem types will be classified including the relations and inherent structure of the LPTs made explicit to both human and machine. The goal is to answer questions such as: are certain LPTs or groups of LPTs (e.g. siblings at a given level of the taxonomy) specific to a domain, language or a community? Are certain LPTs inherent to specific types of data? Once a formal taxonomy of LPTs is produced, various datasets will be manually annotated. These annotations on existing pairs of datasets will be used to learn, using machine learning strategies, features for the automatic categorization of other datasets. The postdoc will co-supervise a PhD student working on the machine learning methods.* *Application: Send application to the contact emails including:* * *a short description of introducing yourself * * *your adequacy to the position * * *a CV and * * *one major publication* *References* *[1] M. Nentwig, (...) E. Rahm. A survey of current link discovery frameworks, Semantic Web, 2017.* *[2] Euzenat, J., (...), Trojahn, C. Ontology matching benchmarks: generation, stability, and discriminability. Web Semantics, 2013.* *[3] Zhou, L, (...), Trojahn, C., Zamazal, O: Towards evaluating complex ontology alignments. Knowl. Eng. Rev., 2020.* *[4] Todorov, K. Datasets First! A Bottom-up Data Linking Paradigm. ISWC 2019 Satellite Tracks, Auckland, New Zealand, October 26-30, 2019.* * * -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Wed Mar 23 17:07:26 2022 From: cfp at mat.unical.it (cfp) Date: Wed, 23 Mar 2022 17:07:26 +0100 Subject: [fg-arc] LPNMR 2022 - 2nd Call for Papers Message-ID: <79669325-f5c4-fe83-ed69-f632b467ced4@mat.unical.it> [Apologies in case of multiple posting] 1 month to abstract submission! Call for Papers --------------------------------------------------------------------------------------------- 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022 https://lpnmr2022.dibris.unige.it Genova, Italy September 5-9, 2022 --------------------------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION AND PUBLICATION LPNMR 2022 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2022 Easychair site: https://easychair.org/conferences/?conf=lpnmr2022 The two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the 2-5 best papers with a logic programming focus will be invited for rapid publication in the journal of Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2022 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED WORKSHOPS * DATALOG 2.0 Workshop * 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) * 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW:https://lpnmr2022.dibris.unige.it Email:lpnmr2022 at easychair.org (program) lpnmr2022 at dibris.unige.it (general matters) Facebook:https://www.facebook.com/lpnmr2022 Twitter:https://twitter.com/lpnmr2022 Instagram:https://www.instagram.com/lpnmr2022 IMPORTANT DATES * Paper registration: April 23, 2022 * Paper submission: April 30, 2022 * Notification: June 10, 2022 * Final versions due: June 30, 2022 VENUE The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Associated events (workshops) are planned to be held at the University, which is in the city center of Genova, but we are still considering if they can be done in the main conference venue. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR Georg Gottlob, Oxford University, UK PROGRAM CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, University of Genova, Italy PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION Matteo Cardellini, University of Genova, Italy Angelo Ferrando, University of Genova, Italy (Chair) Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE Mario Alviano, Department of Mathematics and Computer Science, University of Calabria Chitta Baral, Arizona State University Marcello Balduccini, Saint Joseph's University Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria Marina De Vos, University of Bath Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria Agostino Dovier, University of Udine Daniele Theseider Dupré, Universita' del Piemonte Orientale Thomas Eiter, Vienna University of Technology Esra Erdem, Sabanci University Wolfgang Faber, Alpen-Adria-Universität Klagenfurt Johannes K. Fichte, TU Wien Paul Fodor, Stony Brook University Gerhard Friedrich, Alpen-Adria-Universitaet Sarah Alice Gaggl, TU Dresden Martin Gebser, University of Klagenfurt Michael Gelfond, Texas Tech University Gopal Gupta, The University of Texas at Dallas Katsumi Inoue, NII Tomi Janhunen, Tampere University Gabriele Kern-Isberner, Technische Universitaet Dortmund Matthias Knorr, Universidade NOVA de Lisboa Emily Leblanc, Drexel University Joao Leite, Universidade NOVA de Lisboa Vladimir Lifschitz, The University of Texas at Austin Enrico Pontelli, New Mexico State University Francesco Ricca, Department of Mathematics and Computer Science University of Calabria Alessandra Russo, Imperial College London Orkunt Sabuncu, TED University, Ankara Chiaki Sakama, Wakayama University Torsten Schaub, University of Potsdam Guillermo R. Simari, Universidad del Sur in Bahia Blanca Theresa Swift, NOVALINKS, Universidade Nova de Lisboa Matthias Thimm, FernUniversität in Hagen Hans Tompits, Vienna University of Technology Mirek Truszczynski, Computer Science Department, University of Kentucky Johannes P. Wallner, TU Graz Kewen Wang, Griffith University Stefan Woltran, Vienna University of Technology Jia-Huai You, University of Alberta -------------- next part -------------- An HTML attachment was scrubbed... URL: From victor.perez at software.imdea.org Thu Mar 24 10:28:08 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Thu, 24 Mar 2022 10:28:08 +0100 (CET) Subject: [fg-arc] ASPOCP 2022 - Call for papers Message-ID: <20220324092808.7DE331407C@software.imdea.org> ================================================================================= CALL FOR PAPERS ASPOCP 2022 15th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/view/aspocp2022 July 31, 2022 Affiliated with ICLP 2022, 38th International Conference on Logic Programming https://software.imdea.org/Conferences/ICLP2022 Part of FLOC 2022, the Federated Logic Conference https://floc2022.org July 31 - August 12, 2022 ================================================================================= AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and knowledge compilation. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published on formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using using the 1-column CEURART style available here. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/my/conference?conf=aspocp2022. IMPORTANT DATES All dates are 'Anywhere on Earth', namely 23:59 UTC-12. Abstract submission deadline: 26 April 2022 Paper submission deadline: 10 May 2022 Notification: 15 June 2022 Camera-ready articles due: 24 June 2022 PROCEEDINGS Authors of all accepted original contributions can opt for to publish their work on formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers will appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. LOCATION The FLoC organizing committee will make all possible effort to ensure everyone is able to attend in person. We are, however, very much aware that there might be members of the community who cannot travel to Israel and, in cases where travel is not possible, we will ensure people can participate remotely. WORKSHOP CO-CHAIRS Jessica Zangari Markus Hecher aspocp2022_AT_easychair.org PROGRAM COMMITTEE Antti Hyvärinen Carmine Dodaro Cristina Feier Daniela Inclezan Esra Erdem Francesco Cauteruccio Giovambattista Ianni Javier Romero Jia-Huai You Joao Leite Johannes K. Fichte Johannes P. Wallner Konstantin Schekotihin Marcello Balduccini Marco Maratea DIBRIS Mario Alviano Martin Gebser Michael Morak Mirek Truszczynski Orkunt Sabuncu Pedro Cabalar Sarah Alice Gaggl Stefan Ellmauthaler Stefan Woltran Stefania Costantini Tobias Stolzmann Tran Cao Son Vladimir Lifschitz Wolfgang Faber Zeynep G. Saribatur From victor.perez at software.imdea.org Thu Mar 24 10:29:07 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Thu, 24 Mar 2022 10:29:07 +0100 (CET) Subject: [fg-arc] CAUSAL 2022 - Call for papers Message-ID: <20220324092907.B798C14080@software.imdea.org> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Fourth Workshop on Causal Reasoning and Explanation in Logic Programming CALL FOR PAPERS *** CAUSAL 2022 *** July 31 2022 Fourth Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2022 is a workshop of ICLP 2022 to be held in Haifa, Israel. CAUSAL 2022 IMPORTANT DATES ----------------------- * Paper submission: May 22nd 2022 * Notification: June 5th 2022 * Final Versions: June 20th 2022 * Workshop Date: July 31 2022 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2022 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2022 website for registration procedure and fees. https://software.imdea.org/Conferences/ICLP2022/index.html ORGANIZERS ---------- Emily LeBlanc, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, University of Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA From cfp at mat.unical.it Mon Mar 28 17:31:57 2022 From: cfp at mat.unical.it (cfp) Date: Mon, 28 Mar 2022 17:31:57 +0200 Subject: [fg-arc] Datalog 2.0 - 1st Call for Papers Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---------------------------------------------------------------------------                               CALL FOR PAPERS                        4th International Workshop on              the Resurgence of Datalog in Academia and Industry                              Datalog 2.0 2022 https://tinyurl.com/datalog20-22                      September 5, 2022, Genova, Italy                           Workshop of LPNMR 2022 --------------------------------------------------------------------------- AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions. INVITED SPEAKERS TBA TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2022 welcomes two types of submissions     * Long papers of up to 12 pages, presenting original research     * Short papers of up to 5 pages that may contain either original ongoing research       or recently published results in the following categories     * Technical papers     * System descriptions     * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the Datalog 2.0 2022 EasyChair site: https://easychair.org/conferences/?conf=datalog20-22 FURTHER INFORMATION WWW: https://tinyurl.com/datalog20-22 Email: datalog20-22 at easychair.org IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 1 Final versions due: August 20 VENUE The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the see. (To be confirmed. Alternative: University of Genova.) Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova’s old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi". The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas, and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy PROGRAM COMMITTEE TBA -------------- next part -------------- An HTML attachment was scrubbed... URL: From victor.perez at software.imdea.org Tue Mar 29 09:26:33 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Tue, 29 Mar 2022 09:26:33 +0200 (CEST) Subject: [fg-arc] PLP 2022 - Call for Papers Message-ID: <20220329072633.75A0B14081@software.imdea.org> ================================================================================ PLP 2022 The 9th Workshop on Probabilistic Logic Programming Collocated with ICLP 2022 Haifa, Israel, 1 August 2022 http://stoics.org.uk/~plp2022/ ================================================================================ Call for Papers =============== Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory as well as algorithms that operate over programs in these formalisms. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be run over programs that represent highly structured probability spaces. Partly due to logic programming's strong theoretical underpinnings, PLP is fast becoming a very well founded area of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of a large number of possible states before any answers can be produced thus breaking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. It aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. Interactions between theoretical and applied minded researchers are encouraged. Topics of Interest ------------------ This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to probabilistic logic programming; including, but not limited to: * probabilistic logic programming formalisms * probabilistic logic programming languages * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * neuro-symbolic representation and reasoning * constraints in statistical inference * PLP applications, such as bioinformatics, semantic web, robotics,... * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software along with any other PLP-related topic. Submissions --------------- Submissions will be managed via EasyChair: https://easychair.org/conferences/?conf=plp22. Contributions should be prepared in the 1-column CEURART style (also available as an overleaf project https://www.overleaf.com/project/5e76702c4acae70001d3bc87). A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Important Dates --------------- Paper submission deadline: June 10th, 2022 Notification: July 10th, 2022 Camera Ready: July 20th, 2022 Workshop: August 1st, 2022 (the deadline for all dates is intended Anywhere on Earth (UTC-12)) Program Chairs --------------- * Roberta Calegari * Luke Dickens From M.Daggitt at hw.ac.uk Tue Mar 29 10:30:51 2022 From: M.Daggitt at hw.ac.uk (Daggitt, Matthew) Date: Tue, 29 Mar 2022 08:30:51 +0000 Subject: [fg-arc] Final Call for Papers -- Mathematics of Program Construction 2022 Message-ID: ====================================================================== *** FINAL CALL FOR PAPERS -- MPC 2022 *** 14th International Conference on Mathematics of Program Construction 26th-28th of September 2022, Tbilisi, Georgia Co-located with the Computational Logic Autumn Summit (CLAS'22) ====================================================================== TIMELINE: Abstract submission 10th April 2022 Paper submission 17th April 2022 Author notification 27th May 2022 Camera ready copy 24th June 2022 Conference 26th-28th September 2022 BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2022 will be held in Tbilisi, Georgia, on the 26th-28th September 2022, and is co-located with the Computational Logic Autumn Summit (CLAS'22). Previous conferences were held in Porto, Portugal (2019); Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 10th April 2022. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 17th April 2022. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2022 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2022 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Ekaterina Komendantskaya or publicity chair Matthew Daggitt KEYNOTE SPEAKERS: Daniela Petrisan University Paris Diderot, France Conor McBride University of Strathclyde, UK PROGRAMME COMMITTEE: Georg Struth University of Sheffield, UK Ana Sokolova University of Salzburg, Austria Annabelle McIver Macquerie University, Australia Jacques Carette McMaster University, Canada Shin-Cheng Mu Academia Sinica, Taiwan Jose Oliveira University of Minho, Portugal Johan Jeuring Utrecht University, Netherlands Ambrus Kaposi Eötvös Loránd University, Hungary Henning Basold Leiden University, Netherlands Peter Hoefner Australian National University, Australia Grant Passmore Imandra, USA Kathrin Stark Princeton University, USA Philip Saville University of Oxford, UK William Byrd University of Arizona, USA Andrea Costea National University of Singapore, Singapore Radu Mardare University of Strathclyde, UK Patricia Johann Appalachian State University, USA Aurore Alcolei University of Bologna, Italy Abdulaziz Mohammad TU Munich, Germany CONFERENCE VENUE: The conference will be held at the Ivane Javakhishvili Tbilisi State University (TSU), which is the oldest and largest educational and research institution not only in Georgia, but also in the South Caucasus. The venue is located in the city center, with many hotels, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) within walking distance. Tbilisi International Airport is 15 km away from the city and offers direct connections to more than 30 destinations in Europe, Asia, and the Middle East. From the airport, the city can be reached by bus or taxi. Another option is to fly to Kutaisi in the west of Georgia, where low budget air companies (such as WizzAir) are operating. A shuttle bus from the Kutaisi airport to Tbilisi takes about 3 hours. Georgia allows visa-free entry for nearly 100 countries around the world. Further details may be found at LOCAL ORGANISERS: Besik Dundua International Black Sea University For any queries about local issues please contact the local organiser, Besik Dundua . ________________________________ Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes: 1. Heriot-Watt University, a Scottish charity registered under number SC000278 2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS. The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: