From sauer at uni-paderborn.de Wed Feb 2 10:24:10 2022 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 2 Feb 2022 10:24:10 +0100 Subject: [fg-arc] WSRE 2022: Best Student Paper Award - Teilnehmen bis 11.03. Message-ID: <6f502f58-4e18-31f3-f910-270a7252c5e1@uni-paderborn.de> *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 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: OpenPGP_signature Type: application/pgp-signature Size: 840 bytes Desc: OpenPGP digital signature URL: From helma.torkamaan at uni-due.de Thu Feb 3 18:23:55 2022 From: helma.torkamaan at uni-due.de (Helma Torkamaan) Date: Thu, 3 Feb 2022 18:23:55 +0100 Subject: [fg-arc] ACM UMAP 2022: Last Call for Papers Message-ID: <26774e68-890c-2127-ff6b-16c2904892c8@uni-due.de> --- Please forward to anyone who might be interested --- --- Apologies for cross-posting --- -------------------------------------------------------- # **30th ACM Conference on User Modeling, Adaptation and Personalization (UMAP ’22)** Barcelona*, Spain, July 4–7, 2022 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. Submission Deadline: - Abstracts due: *February 10, 2022* (mandatory) - Full paper due: February 17, 2022 -------------------------------------------------------- **BACKGROUND AND SCOPE** ============================ **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 (https://sigchi.org) and SIGWEB (https://www.sigweb.org), and organized with User Modeling Inc. (https://um.org) 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 (https://dl.acm.org). **ACM UMAP** covers a wide variety of research areas where personalization and adaptation may be applied. The main theme of **UMAP 2022** is ***“User control in personalized systems”***. Specifically, we welcome submissions related to user modeling, personalization, and adaptation in all areas of personalized systems, with an emphasis on how to balance adaptivity and user control. Below we present a short (but not prescriptive) list of topics of importance to the conference. ACM UMAP is co-located and collaborates with the ACM Hypertext conference (https://ht.acm.org/ht2022/). UMAP takes place one week after Hypertext, and uses the same submission dates and formats. We expect authors to submit research on personalized systems to UMAP and invite authors to submit their Web-related work without a focus on personalization to the Hypertext conference. The two conferences will organize one shared track on **personalized recommender systems** (same track chairs and PC, see the track description). --------------------------------------------------------  **IMPORTANT DATES** ============================ - Paper Abstracts:   February 10, 2022 (mandatory) - Full paper:             February 17, 2022 - Notification:           April 11, 2022 - Conference:          July 4-July 7, 2022 **Note**: The submissions deadlines are at 11:59pm AoE time (Anywhere on Earth) --------------------------------------------------------  **CONFERENCE TOPICS**  ============================ We welcome submissions related to *user modeling, personalization, and adaptation in any area*. The topics listed below are not intended to limit possible contributions. **Detailed descriptions and the suggested topics for each track are reported in the online version of the CFP on the UMAP 2022 web site.** ### **Personalized Recommender Systems*** **Track Chairs: Osnat Mokryn (University of Haifa), Eva Zangerle (University of Innsbruck, Austria) and Markus Zanker (University of Bolzano, Italy, and University of Klagenfurt, Austria)** (*) This is a joint track between ACM UMAP and ACM Hypertext (same track chairs, overlapping PC). Authors planning to contribute to this track can submit to either conference, depending on their broader interest in either Hypertext or UMAP. Track chairs organize a special issue in the journal New Review of Hypermedia and Multimedia. This track aims to provide a forum for researchers and practitioners to discuss open challenges, latest solutions and novel research approaches in the field of recommender systems. In addition to mature research works addressing technical aspects pertaining to recommendations, we also particularly welcome research contributions that address questions related to the user perception and the business value of recommender systems. ### **Adaptive Hypermedia, Semantic, and Social Web** **Track Chairs: Alexandra I. Cristea (Durham University, UK) and Peter Brusilovsky (University of Pittsburgh, US)** This track aims to provide a forum to researchers to discuss open research problems, solid solutions, latest challenges, novel applications, and innovative research approaches in adaptive hypermedia, semantic and social web. We invite original submissions addressing all aspects of personalization, user models building, and personal experience in online social systems. ### **Intelligent User Interfaces** **Track chairs: Elisabeth Lex (Graz University of Technology, Austria) and Marko Tkalcic (University of Primorska, Slovenia)** This topic can be characterized by exploring how to make the interaction between computers and people smarter and more productive, which may leverage solutions from human-computer interaction, data mining, natural language processing, information visualization, and knowledge representation and reasoning. ### **Technology-Enhanced Adaptive Learning** **Track chairs: Judy Kay (University of Sydney, Australia) and Sharon Hsiao (Santa Clara University, US)** This track invites researchers, developers, and practitioners from various disciplines to present their innovative learning solutions, share acquired experience, and discuss their modeling challenges for personalized adaptive learning. ### **Fairness, Transparency, Accountability, and Privacy** **Track chairs: Bamshad Mobasher (DePaul University College of Computing and Digital Media, US) and Munindar P. Singh (NC State University, US)** Adaptive systems researchers and developers have a social responsibility to care about the impact of their technologies on individual people (users, providers, and other stakeholders) and on society. This track invites work that pertains to the science of building, maintaining, evaluating, and studying adaptive systems that are fair, transparent, respectful of users’ privacy, and beneficial to society. ### **Personalization for Persuasive and Behavior Change Systems** **Track chairs: Julita Vassileva (University of Saskatchewan, Canada) and Panagiotis Germanakos (SAP SE, Germany)** This track invites original submissions addressing the areas of personalization and tailoring for persuasive technologies, including but not limited to personalization models, user models, computational personalization, design and evaluation methods, and personal experience designing personalized and adaptive behaviour change technologies. ### **Virtual Assistants and Personalized Human-robot Interaction** **Track chairs: Radhika Garg (Syracuse University, US) and Cristina Gena (University of Torino, Italy)** This track aims at investigating new models and techniques for the adaptation of synthetic companions (e.g., virtual assistants, chatbots, social robots) to the individual user. ### **Research Methods and Reproducibility** **Track chairs: Odd Erik Gundersen (Norwegian University of Science and Technology, Norway) and Dietmar Jannach (University of Klagenfurt, Austria)** This track accepts works on methodologies for the evaluation of personalized systems, benchmarks, measurement scales, with particular attention to reproducibility of results and of techniques. --------------------------------------------------------  **SUBMISSION AND REVIEW PROCESS**  ============================ Please consult the conference website for the submission link: http://www.um.org/umap2022/. The maximum length is **14 pages (excluding references) in the ACM new single-column format**. We encourage papers of any length up to 14 pages; reviewers will be asked to comment on whether the length is appropriate for the contribution. **Additional review criteria are available in the online version of the CFP on the UMAP 2022 web site.** Each accepted paper will be included in the conference proceedings and presented at the conference. UMAP uses a **double blind** review process. Authors must omit their names and affiliations from submissions, and avoid obvious identifying statements. For instance, citations to the authors' own prior work should be made in the third person. Failure to anonymize your submission results in the desk-rejection of your paper. -------------------------------------------------------- **ORGANIZERS** ============================ **General chairs** - Ludovico Boratto, University of Cagliari, Italy - Alejandro Bellogín, Universidad Autónoma de Madrid, Spain - Olga C. Santos, Spanish National University for Distance Education, Spain **Program Chairs** - Liliana Ardissono, University of Torino, Italy - Bart Knijnenburg, Clemson University, US -------------------------------------------------------- **RELATED EVENTS** ============================ Separate calls will be sent for Workshops, Doctoral Consortium, and Demo/Late-Breaking Results, as these have different deadlines and submission requirements. -- Helma Torkamaan Researcher University of Duisburg-Essen Interactive Systems Group Room LF 288, Forsthausweg 2, 47057 Duisburg, GERMANY helma.torkamaan at uni-due.de / +49 203 379-2276 -------------- next part -------------- An HTML attachment was scrubbed... URL: From M.Daggitt at hw.ac.uk Wed Feb 2 11:09:31 2022 From: M.Daggitt at hw.ac.uk (Daggitt, Matthew) Date: Wed, 2 Feb 2022 10:09:31 +0000 Subject: [fg-arc] 2nd Call for papers -- Mathematics of Program Construction 2022 Message-ID: ====================================================================== *** 2nd 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: From mmosteiro at pace.edu Wed Feb 2 23:01:53 2022 From: mmosteiro at pace.edu (Mosteiro, Miguel A.) Date: Wed, 2 Feb 2022 22:01:53 +0000 Subject: [fg-arc] FUN 2022: 2nd call for papers Message-ID: ========================= Call for Papers FUN 2022 ========================= 11th International Conference on Fun with Algorithms May 30 - June 3, 2022 Island of Favignana, Sicily, Italy https://nam12.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Ffun2022%2Fhome&data=04%7C01%7C%7C59fab751c1a145d1db0e08d9b432e2f2%7C0799c53eca9a49e88901064a6412a41d%7C0%7C0%7C637738952912828901%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=IEfHMyTiGBomnY324OHO%2F%2BdJcsrSk26wx771P6lU5yw%3D&reserved=0 FUN is a series of conferences dedicated to the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty but nonetheless original and scientifically profound contributions to the area. Fun is a notion that can be judged from different perspectives, and be defined in many different manners. The conference defines fun in a broad sense, including aspects such as elegance, simplicity, amusement, surprise, originality, etc. The topics of interest include all aspects of algorithm design and analysis, and of computational complexity, under all types of models (sequential, parallel, distributed, streaming, online, etc.). The conference is planned to be with all participants on site, if the situation with the pandemic allows FUN to be held that way. FUN 2022 will be co-located with FUN 2020, which was postponed due to the pandemic. Important dates: - Submission deadline: February 18, 2022 - Notification date: March 22, 2022 - Final version due: March 30, 2022 - Conference date: May 30 - June 3, 2022 Proceedings published by LIPIcs, Schloss Dagstuhl – Leibniz Center for Informatics. A selected set of papers accepted to FUN will be invited to a special issue of Theoretical Computer Science (TCS). Program Committee: Oswin Aichholzer (Graz University of Technology, Austria) Alkida Balliu (University of Freiburg, Germany) Pierluigi Crescenzi (Gran Sasso Science Institute, Italy) Miriam Di Ianni (Università di Roma Tor Vergata, Italy) David Eppstein (University of California, Irvine, USA) Panagiota Fatourou (University of Crete, Greece) Fedor Fomin (University of Bergen, Norway) Pierre Fraigniaud (Université de Paris and CNRS, France) — co-chair Magnús M. Halldórsson (Reykjavik University, Iceland) Taisuke Izumi (Osaka University, Japan) Kei Kimura (Kyushu University, Japan) Masashi Kiyomi (Seikei University, Japan) Lisa Kohl (CWI, Netherlands) Irina Kostitsyna (TU Eindhoven, Netherlands) Jayson Lynch (University of Waterloo, Canada) Till Miltzow (Utrecht University, Netherlands) Neeldhara Misra (IIT Gandhinagar, India) Valia Mitsou (Université de Paris, France) Takaaki Mizuki (Tohoku University, Japan) Lata Narayanan (Concordia University, Canada) Harumichi Nishimura (Nagoya University, Japan) Yoshio Okamoto (University of Electro-Communications, Japan) Boaz Patt-Shamir (Tel-Aviv University, Israel) Andrea Pietracaprina (University of Padova, Italy) Sergio Rajsbaum (UNAM, Mexico) Adele Rescigno (University of Salerno, Italy) Ryuhei Uehara (JAIST, Japan) Yushi Uno (Osaka Prefecture University, Japan) — co-chair Virginia Vassilevska Williams (MIT, USA) Aaron Williams (Williams College, USA) Prudence Wong (University of Liverpool, UK) Tom van der Zanden (Maastricht University, Netherlands) ========================= From francesco.osborne at open.ac.uk Fri Feb 4 14:27:07 2022 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Fri, 4 Feb 2022 13:27:07 +0000 Subject: [fg-arc] CfP ICWE 2022 - Call for Demos & Posters - Deadline Extension - 1 March Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Demos & Posters =========================== DEADLINE EXTENSION Given the high number of requests, the deadline has been extended to March 1. NEW IMPORTANT DATES --------------- Submission deadline (demos and posters): March 1, 2022 (AoE Time) Notification of acceptance: March 19, 2022 (AoE Time) Camera-ready deadline: March 26, 2022 (AoE Time) CALL --------------- Overview The International Conference on Web Engineering (ICWE) is the premier annual conference on Web Engineering and associated technologies. ICWE aims to bring together researchers and practitioners from various disciplines in academia and industry to tackle the emerging challenges in the engineering of Web applications, the problems of its associated technologies, and the impact of those technologies on society and culture. The track Demos and Posters of ICWE 2022 provides an unique forum for researchers and practitioners alike to showcase demonstrators, to present projects, to discuss preliminary research results, and obtain feedback from members of the Web Engineering community. * Demos ICWE 2022 sees significant value in demonstrations and aims to provide visibility and a discussion forum for state-of-the-art technical solutions, implementation experiences and recent research activities. The Demos track offers an exciting and highly interactive way of presenting and discussing demonstrators of promising research. It is an excellent way of showcasing prototypes and the applicability of your research. Submissions about open source software and commercial solutions are also welcome. Note that demonstrations should be brief so that they can be shown repeatedly. We particularly encourage demos with which attendees can interact. * Posters The Posters track invites researchers, practitioners, PhD students and others working in any area of Web Engineering, that do not have a demonstration, to submit a poster of their research. We solicit submission of original research, as well as experience and vision papers from both researchers and practitioners. Like Demos, Poster contributions may address any topic that fits within the ICWE 2022 topics of interest. Topics of interests (not exhaustively) includes the following: * Web application modelling and engineering * Web mining and knowledge extraction * Web Big Data and Web data analytics * Mobile Web applications * Web of Things applications * Social Web applications * Web crowdsourcing and human computation * Semantic Web, Web ontologies, and Linked Open Data applications * Web composition and mashups * Web user interfaces * Quality and accessibility aspects of Web applications * Web security and privacy * Web services, computing, and standards * Microservice architecture for Web applications * Cloud, fog, and edge computing for Web applications * Fairness of Web technology * User Modelling and Recommender Systems based on Web technology * Explainable Web technology SUBMISSION INFORMATION --------------- The submissions to the track Demo and Poster must include: * A description of the work (up to 4 pages in LNCS format including references) to be included into the proceedings of ICWE 2022. Authors should consult Springer’s authors’ guidelines and use proceedings templates as instructed at http://www.springer.de/comp/lncs/authors.html. Submissions should be in PDF format. * An appendix (in free format) informing what will be demonstrated and how the contributions will be illustrated interactively. For demos, the appendix should include a URL that points to a preliminary version of the demo (e.g., screenshots, videos, or a running system). For posters, it should include a link to download a poster in PDF format, A0 size. All submissions should through EasyChair using the link https://easychair.org/conferences/?conf=icwe2022 Publication of Accepted Submissions Camera-ready versions of accepted Demos and Posters submissions will be published in the ICWE 2022 main conference proceedings. At least one author of each accepted submission must register for the conference and present the work during the demos and posters sessions. The final version of each accepted paper must strictly adhere to the LNCS guidelines (http://www.springer.de/comp/lncs/authors.html) and must include a printable file of the camera-ready version as well as all required source files (either MS Word or Latex). No changes to the LNCS formatting rules are permitted. Authors of accepted papers must also download and sign a copyright form that will be made available in due time. DEMO & POSTER CHAIRS --------------- Yashar Deldjoo (Politecnico di Bari, Italy) Irene Garrigos (University of Alicante, Spain) Marco Tkalcic (University of Primorska, Slovenia) CONTACT --------------- All questions about submissions should be emailed to: pdchair.icwe2022 at webengineering.org From announce at cs.ucy.ac.cy Sat Feb 5 14:25:46 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 5 Feb 2022 15:25:46 +0200 Subject: [fg-arc] 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022): Third Call for Contributions Message-ID: <622XAAO2-2D3C-D4YH-4LA8-N7LU75ARODF@cs.ucy.ac.cy> *** Third 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 announce at cs.ucy.ac.cy Sun Feb 6 13:30:38 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 6 Feb 2022 14:30:38 +0200 Subject: [fg-arc] 8th IEEE International Smart Cities Conference (ISC2 2022): First Call for Papers Message-ID: <53JGQTUJ-3CJ-NGFZ-L87J-6CCZHOM6CAFN@cs.ucy.ac.cy> *** First Call for Papers *** 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-Papers 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 this year 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. Learn more about IEEE Smart Cities here. 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 complete list of technical areas can be found here: https://attend.ieee.org/isc2-2022/call-for-papers/ . Important Dates • Conference Paper Submission Deadline – May 15, 2022 • Conference Acceptance Notification – July 15, 2022 • Conference Camera-ready Deadline – July 31, 2022 • Conference Dates – September 26-29, 2022 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 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 organizers 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 . Should you need further clarifications or have any inquiries, please do not hesitate to contact us at: isc22022 at easychair.org . If you want to become a Sponsor of our event, please send an email to: smartcities-info at ieee.org . 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 chisvasileandrei at gmail.com Wed Feb 9 09:05:24 2022 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Wed, 9 Feb 2022 09:05:24 +0100 Subject: [fg-arc] First Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) Message-ID: <54DD459C-1D78-469B-82FE-8D3DFC512D07@gmail.com> ------------------------------------------------------------------------ 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) December 5-10, 2022 Auckland, New Zealand https://conf.researchr.org/home/sle-2022 http://www.sleconf.org/2022 Follow us on twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022), held in conjunction with SPLASH, GPCE and SAS 2022. Based on the future developments the conference will be hosted in Auckland, New Zealand on December 5-10, 2022. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: - Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g. design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches - Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages - Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms - Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines - Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) - Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications - "Synergies between Language Engineering and emerging/promising research areas" - AI and ML language engineering (e.g., ML compiler testing, code classification) Quantum language engineering (e.g., language design for quantum machines) - Language engineering for physical systems (e.g., CPS, IoT, digital twins) - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: - **Research papers**: These are "traditional" papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length, and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. - **New ideas / vision papers**: These are papers that may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas / vision papers must not exceed 5 pages, and may optionally include 1 further page of bibliography / appendices. - **SLE Body of Knowledge**: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools and methods developed by the SLE community. To this respect, the SLE conference will accept surveys, essays, open challenges, empirical observations and case study papers on the SLE topics. These can focus on but they are not limited to methods, techniques, best practices and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. - **Tool papers**: These are papers which focus on the tooling aspects which are often forgotten or neglected in research papers. A good tool paper focuses on practical insights that are likely to be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography / appendices. They may optionally come with an appendix with a demo outline / screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found at the SPLASH 2022 Website. --------------------------- Two submission rounds --------------------------- For the first time, SLE is introducing a two-phase submission and review process. This will give authors submitting to the first round an extra opportunity to improve their work (if needed) based on the comments and feedback by the reviewers. Furthermore, this will increase the quality of SLE accepted papers. Manuscripts can be submitted to any of the two submission rounds. Decisions on the papers submitted to the **first round** will be: accept, reject or re-submit revised version. While rejected papers must not, revised versions may be submitted to the second round, with an accompanying response letter to the reviewers stating the changes made and how the authors addressed the reviewers’ criticisms. Re-submissions will be reviewed by the same reviewers. Decisions on fresh papers submitted to the **second round** will be: accept or reject. The authors of those papers that are likely to be rejected but have at least one reviewer who is championing it will have the chance to respond to the reviewers before the final decision is made. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * 1st round submissions * Abstract submissions: April 6, 2022 * Paper submissions: April 13, 2022 * Notification: May 13, 2022 * 2nd round submissions * Abstract submissions: July 8, 2022 (tentative) * Paper submissions: July 15, 2022 (tentative) * Review notification: September 7, 2022 (tentative) * Author response period: September 12, 2022 (tentative) * Notification: September 19, 2022 (tentative) * Artifact submissions: September 26, 2022 (tentative) * Artifact kick-the-tires Author response: October 10, 2022 (tentative) * Artifact notification: October 24, 2022 (tentative) * Camera-ready (for both rounds): November 4, 2022 (tentative) * Conference: December 5-10, 2022 (TENTATIVE) **COVID-19 Disclaimer** Due to the uncertainties related to the current COVID-19 pandemic, the second round submission deadlines, the artifact evaluation deadlines, the camera-ready deadline and the conference dates are still *preliminary* and will be closed in the next few weeks. --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart"(http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template(https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle22.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research comply with their local governing laws and regulations and the ACM’s general principles as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). Submissions that violate this policy will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas/vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. SLEBoK papers will be reviewed on their significance, readability, topicality and capacity of presenting/evaluating/demonstrating a piece of BoK about SLE. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. After each review round, authors will get a chance to respond before a final decision is made. --------------------------- Artifact Evaluation --------------------------- For the seventh year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation (http://www.sleconf.org/2022/ArtifactEvaluation.html) page. --------------------------- Special Issue --------------------------- A special issue on the conference topic in a high-impact journal is under negotiation. --------------------------- Awards --------------------------- - **Distinguished paper**: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. - **Distinguished artifact**: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted papers will have the chance to present their work to the SLE audience, too. --------------------------- Organisation --------------------------- Chairs: * General chair: Bernd Fischer, Stellenbosch University, South Africa * PC co-chair: Lola Burgueño, Open University of Catalonia, Spain * PC co-chair: Walter Cazzola, Università degli Studi di Milano, Italy * Artefact Evaluation co-chair: Thomas Kühn, Karlsruhe Institute of Technology, Germany * Artefact Evaluation co-chair: Juliana A. Pereira, Pontifical Catholic University of Rio de Janeiro, Brazil Program committee: Shaukat Ali, Simula Research Laboratory, Norway Arvid Butting, Aachen University, Germany Marsha Chechik, University of Toronto, Canada Shigeru Chiba, University of Tokyo, Japan Benoît Combemale, University of Rennes, France Zhenjiang Hu, Peking University, China Jörg Kienzle, McGill University, Canada Dimitris Kolovos, University of York, UK Thomas Kühn, Karlsruhe Institute of Technology, Germany Juan de Lara, Universidad Autónoma de Madrid, Spain Stefan Marr, University of Kent, UK Marjan Mernik, University of Maribor, Slovenia Natsuko Noda, Shibaura Institute of Technology, Japan Juliana A. Pereira, Pontifical Catholic University of Rio de Janeiro, Brazil Elizabeth Scott, University of London, UK Marco Servetto, Victoria University of Wellington, New Zealand Emma Söderberg, Lund University, Sweden Walid Taha, Halmstad University , Sweden Marco Tullio Valente, Universidade Federal de Minas Gerais, Brazil Erik Van Wyk, University of Minnesota , USA Alfonso de la Vega, University of Cantabria, Spain Ran Wei, Dalian University of Technology, China Andreas Wortmann, Stuttgart University, Germany Vadim Zaytsev, University of Twente, Netherlands Steffen Zschaler, King’s College London, UK --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the Programme Chairs (Lola Burgueño and Walter Cazzola) at sle22-chairs _at_ di.unimi.it. From stefano.forti at di.unipi.it Wed Feb 9 14:11:46 2022 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Wed, 9 Feb 2022 14:11:46 +0100 Subject: [fg-arc] PhD Symposium at ESOCC 2022 - Call for papers Message-ID: <39D2B7F8-B5ED-4F75-BF43-2C36E3559A23@di.unipi.it> **** CALL FOR PAPERS **** PhD Symposium track ESOCC 2022 (9th European Conference and Service-Oriented and Cloud Computing) March 22nd-24th, 2022 Lutherstadt Wittenberg, Germany *** Aims and scope *** The ESOCC 2022 PhD Symposium is an international forum for PhD students working in the areas addressed by the ESOCC conference (which list of topics of interest is recapped at the end of this message). The main aim of the Symposium is to give PhD students an opportunity to present their research activity and perspectives, to critically discuss them with other PhD students and with established researchers in the area, and to get fruitful feedback and advices on their research activities. PhD students working on topics related to the scope of the ESOCC conference can submit a short report providing a clear statement of the problem they intend to address including the current state of the art, motivating the interest and novelty of the underlying research challenges, demonstrating the ideas by examples, and describing the proposed research plan and expected results. *** Submissions *** Papers should not exceed 8 pages formatted according to the Springer LNCS proceedings guidelines. They should be first-authored by the PhD student and indicate the name of her/his supervisor(s) and their affiliation. Papers can be submitted via the EasyChair submission page of the conference (https://easychair.org/conferences/?conf=esocc2022 ), by selecting "ESOCC 2022 - PhD Symposium" track. Papers will be peer-reviewed by the members of the program committee. All accepted papers will appear in the post-conference proceedings devoted to the satellite events of ESOCC 2022, in the Springer CCIS series. The best student paper will also be awarded with the "Best PhD student award", which will be announced at the end of the symposium. PhD students authoring accepted papers are expected to attend the symposium to present their paper. If not, the paper will not be included in post-conference proceedings and it will not be eligible for the "Best PhD student award". *** Important dates *** Paper submission: February 27h, 2022 Acceptance notification: March 10th, 2022 (Camera-ready to be submitted after the conference) *** PC Chairs *** Jacopo Soldani, University of Pisa, Italy Massimo Villari, University of Messina, Italy *** Topics of interest (ESOCC 2022) *** In line with the main conference track, the PhD symposium track of ESOCC 2020 seeks reports on research work in areas related to all aspects of service-oriented and cloud computing. Specific topics of interest include but are not limited to: - Service and Cloud Computing Models * Design patterns, guidelines and methodologies * Governance models * Architectural models * Requirements engineering * Formal Methods * Model-Driven Engineering * Quality models * Security, Privacy & Trust models * Self-Organizing Service-Oriented and Cloud Architectures Models * Testing models - Service and Cloud Computing Engineering * Service Discovery, Matchmaking, Negotiation, and Selection * Monitoring and Analytics * Governance and management * Cloud Interoperability, Multi-Cloud, Cross-Cloud, Federated Cloud solutions * Frameworks & Methods for Building Service and Cloud based Applications * Cross-layer adaptation * Edge/Fog computing * Cloud, Service Orchestration & Management * Service Level Agreement Management * Service Evolution/Optimisation * Service & Cloud Testing and Simulation * QoS for Services and Clouds * Semantic Web Services * Service mining * Service & Cloud Standards * FaaS / Serverless computing - Technologies * DevOps in the Cloud * Containerized services * Emerging Trends in Storage, Computation and Network Clouds * Microservices Design, Analysis, Deployment and Management * Next Generation Services Middleware and Service Repositories * RESTful Services * Service and Cloud Middleware & Platforms * Blockchain for Services & Clouds * Services and Clouds with IoT * Fog Computing with Service and Cloud - Business and Social aspects * Enterprise Architectures for Service and Cloud * Service-based Workflow Deployment & Life-cycle Management * Core Applications, e.g., Big Data, Commerce, Energy, Finance, Health, Scientific Computing, Smart Cities * Business Process as a Service - BPaaS * Service and Cloud Business Models * Service and Cloud Brokerage * Service and Cloud Marketplaces * Service and Cloud Cost & Pricing * Crowdsourcing Business Services * Social and Crowd-based Cloud * Energy issues in Cloud Computing * Sustainability issues -------------- next part -------------- An HTML attachment was scrubbed... URL: From victor.perez at software.imdea.org Wed Feb 9 17:51:07 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Wed, 9 Feb 2022 17:51:07 +0100 (CET) Subject: [fg-arc] [CfP] ICLP 2022 - Call for Recently Published Research Papers Message-ID: <20220209165107.51F4D1407F@software.imdea.org> Call for Recently Published Research Papers for ICLP 2022 Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought for the Recently Published Research Track for papers related to logic programming that appeared recently (from January 2020 onwards) in selective journals and conferences, but have not been previously presented at ICLP. Recently published research from all areas of logic programming are welcome, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education. Important Dates *************** ** Extended abstract submission: March 12, 2022 ** Final notifications: April 30, 2022 ** Camera-ready copy due: May 16, 2022 ** Conference: July 31--August 8, 2022 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. Submission Details ****************** Expected submissions for the Recently Published Research Track: ** Extended abstract (2 or 3 pages in EPTCS format: http://style.eptcs.org/) describing previously published research (from January 2020 onwards) in selective journals and conferences, based on papers that have not been previously presented at ICLP. A title page should be appended to the submission with (i) details on the venue, where the original paper appeared, (ii) a link to the original paper, (iii) a paragraph describing why the authors believe this work warrants a presentation at ICLP. The extended abstracts will be published in the Technical Communication Proceedings. Submissions will be done via emailing both track chairs: * Martin Gebser: martin.gebser at aau.at * Tuncay Tekle: tuncay at cs.stonybrook.edu All accepted papers will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions must be written in English. Organization ************ ** General Chair Michael Codish, Ben-Gurion University of the Negev, Israel ** Program Chairs Yuliya Lierler, University of Nebraska Omaha, USA Jose F. Morales, IMDEA and Universidad Politécnica de Madrid, Spain ** Publicity Chair Victor Perez, IMDEA Software Institute, Spain ** Workshop Chair Daniela Inclezan, Miami University, USA ** Doctoral Consortium and Fall School Chairs Veronica Dahl, Simon Fraser University, Canada Carmine Dodaro, University of Calabria, Italy ** Programming Contest Chairs Mario Alviano, University of Calabria, Italy Vitaly Lagoon, Cadence Design Systems, USA Program Committee ***************** Salvador Abreu, Universidade de Évora, Portugal Mario Alviano, University of Calabria, Italy Marcello Balduccini, Saint Joseph's University, USA Mutsunori Banbara, Nagoya University, Japan Alex Brik, Google Inc., USA François Bry, Ludwig Maximilian University of Munich, Germany Pedro Cabalar,University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Manuel Carro, Technical University of Madrid and IMDEA, Spain Angelos Charalambidis, University of Athens, Greece Michael Codish, Ben-Gurion University of the Negev, Israel Stefania Costantini, University of L'Aquila, Italy Marc Denecker, KU Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Inês Dutra, University of Porto, Portugal Thomas Eiter, Vienna University of Technology, Austria Esra Erdem, Sabanci University, Turkey Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria Jorge Fandinno, University of Nebraska Omaha, USA Paul Fodor, Stony Brook University, USA Andrea Formisano, University of Udine, Italy Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria Sarah Alice Gaggl, Technische Universität Dresden, Germany Marco Gavanelli, University of Ferrara, Italy Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria Michael Gelfond, Texas Tech University, USA Laura Giordano, Università del Piemonte Orientale, Italy Gopal Gupta, University of Texas, USA Michael Hanus, CAU Kiel, Germany Manuel Hermenegildo, IMDEA and Universidad Politécnica de Madrid, Spain Giovambattista Ianni, University of Calabria, Italy Katsumi Inoue, National Institute of Informatics, Japan Tomi Janhunen, Tampere University, Finland Matti Järvisalo, University of Helsinkia, Finland Jianmin Ji, University of Science and Technology of China Nikos Katzouris, NCSR Demokritos Zeynep Kiziltan, University of Bologna, Italy Michael Kifer, Stony Brook University, USA Ekaterina Komendantskaya, Heriot-Watt University, UK Nicola Leone, University of Calabria, Italy Michael Leuschel, University of Dusseldorf, Germany Y. Annie Liu, Stony Brook University, USA Vladimir Lifschitz, University of Texas, USA Jorge Lobo, Pompeu Fabra University, Barcelona, Spain Marco Maratea, University of Genova, Italy Viviana Mascardi, University of Genova, Italy Alessandra Mileo, Dublin City University, INSIGHT Centre for Data Analytics, Ireland Manuel Ojeda-Aciego, University of Malaga, Spain Enrico Pontelli, New Mexico State University, USA Francesco Ricca, University of Calabria, Italy Orkunt Sabuncu, TED University, Turkey Chiaki Sakama, Wakayama University, Japan Vitor Santos Costa, University of Porto, Portugal Torsten Schaub, University of Potsdam, Germany Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt, Austria Tom Schrijvers, KU Leuven, Belgium Mohan Sridharan, University of Birmingham, UK Tran Cao Son, New Mexico State University, USA Theresa Swift, Universidade Nova de Lisboa, Portugal Paul Tarau, University of North Texas, USA Tuncay Tekle, Stony Brook University, USA Daniele Theseider Dupré, University of Piemonte Orientale, Italy Mirek Truszczynski, University of Kentucky, USA Joost Vennekens, KU Leuven, Belgium German Vidal, Universitat Politècnica de València, Spain Alicia Villanueva, VRAIN - Universitat Politècnica de València, Spain Antonius Weinzierl, Vienna University of Technology, Austria Kewen Wang, Griffith University Australia David Warren, SUNY Stony Brook, USA Jan Wielemaker, VU University of Amsterdam, Netherlands Stefan Woltran, Vienna University of Technology, Austria Roland Yap, National University of Singapore, Republic of Singapore Fangkai Yang, NVIDIA, USA Jia-Huai You, University of Alberta, Canada Yuanlin Zhang, Texas Tech University, US Zhizheng Zhang, Southeast University, China Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA From victor.perez at software.imdea.org Wed Feb 9 17:54:44 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Wed, 9 Feb 2022 17:54:44 +0100 (CET) Subject: [fg-arc] ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <20220209165444.401DF14080@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 Affiliated with 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 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 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, University of Calabria, Italy - zangari at mat.unical.it Markus Hecher, TU Wien, Austria - hecher at dbai.tuwien.ac.at PROGRAM COMMITTEE TBA From victor.perez at software.imdea.org Wed Feb 9 17:56:08 2022 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Wed, 9 Feb 2022 17:56:08 +0100 (CET) Subject: [fg-arc] EELP 2022: The Third Workshop on Epistemic Extensions of Logic Programming Message-ID: <20220209165608.E742A14082@software.imdea.org> ============================================================================== CALL FOR PAPERS EELP 2022 The Third Workshop on Epistemic Extensions of Logic Programming July 31, 2022 Haifa, Israel https://www.semsys.aau.at/events/eelp2022/ ============================================================================== AFFILIATION This workshop is part of the Federated Logic Conference (FLoC) 2022, to take place in Haifa, Israel. AIMS AND SCOPE Several successful logic programming languages, evidenced by the availability of a multitude of solvers, industrial applications, and an active research community, have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages. This led to a flurry of research on this topic, and renewed interest in recent years. A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated. Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems. The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas. Topics of interests include (but are not limited to): - Semantics of epistemic operators in logic programming - New methods for solving epistemic extensions of logic programs - Computational properties of epistemic extensions of logic programs - Relating epistemic extensions of logic programs with other logic-based formalisms - Practical applications of logic programming extended with epistemic extensions - Additional language features - Multi-paradigm problem solving involving epistemic extensions of logic programming - Evaluation and comparison of logic programs with epistemic extensions to other paradigms - Grounding of non-ground logic programs programs with epistemic extensions SUBMISSION GUIDELINES We welcome two categories of submissions: - Full Papers, that is, original, unpublished research (at most 15 pages), and - Extended Abstracts of already published research (at most 2 pages). All submissions should be in the Springer LNCS format. Paper submission will be handled electronically by means of the Easychair system. All submissions will be peer-reviewed. The submission page is available here: http://www.easychair.org/conferences/?conf=eelp2022. EELP is a non-archival venue and there will be no published proceedings. However, informal proceedings will be provided and the papers will be posted informally on the workshop website. Submissions to other conferences and journals both in parallel and subsequent to EELP 2022 are allowed. IMPORTANT DATES Paper submission: May 10, 2022 AoE Notification: June 15, 2022 Camera-ready: TBD Workshop Dates: July 31, 2022, as a workshop of FLoC 2022 ORGANIZERS AND CO-CHAIRS Wolfgang Faber, University of Klagenfurt Jorge Fandinno, University of Nebraska Omaha Michael Morak, University of Klagenfurt CONTACT Please direct any questions to eelp2022 at easychair.org. From cposkitt at smu.edu.sg Sat Feb 12 18:02:25 2022 From: cposkitt at smu.edu.sg (Christopher Michael POSKITT) Date: Sat, 12 Feb 2022 17:02:25 +0000 Subject: [fg-arc] CfP GCM 2022 - 13th International Workshop on Graph Computation Models Message-ID: <390F193E-675E-4FCA-A30D-44143FDB73DB@smu.edu.sg> [apologies for cross-posting] ***** CALL FOR PAPERS ***** ======================================= 13th International Workshop on Graph Computation Models (GCM 2022) 4-8 July 2022 (exact day TBC) Venue: Nantes, France Web site: https://gcm2022.github.io/ Part of STAF 2022 (https://staf2022.univ-nantes.io/) ======================================= Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. They generalize classical computation models based on strings or trees, such as Chomsky grammars or term rewrite systems. Their mathematical foundation, in addition to their visual nature, facilitates specification, validation and analysis of complex systems. A variety of computation models have been developed using graphs and rule-based graph transformation. These models include features of programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, and biological and chemical computations. The International Workshop on Graph Computation Models aims at bringing together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among young and senior researchers from different communities who are interested in the foundations, applications, and implementations of graph computation models and related areas. --------------------------------------- ** IMPORTANT DATES ** Abstract Submission: 20 April 2022 Paper Submission: 27 April 2022 Notification: 25 May 2022 Final version due: 15 June 2022 Workshop: 4–8 July 2022 (exact day TBC) --------------------------------------- ** TOPICS ** GCM 2022 solicits papers on all aspects of graph computation models. This includes, but is not limited to the following topics: FOUNDATIONS * Models of graph transformation * Analysis and verification of graph transformation systems * Parallel, concurrent, and distributed graph transformation * Term graph rewriting * Formal graph languages APPLICATIONS * Graph-based programming models and visual programming * Program analysis and transformation * Graph-based machine learning, including graph neural networks and models of rule inference * Model-driven engineering and model transformation * Evolutionary computation; software architectures, validation and evolution * Databases * Graph-based security models * Workflow and business processes * Social network analysis * Bioinformatics and computational chemistry * Quantum computing * Case studies --------------------------------------- ** SUBMISSION TYPES ** Authors are invited to submit papers in two possible categories: (1) Regular papers of at most 16 pages describing innovative contributions. (2) Position papers, system descriptions, or work in progress of 6 to 12 pages. Papers in PDF format should be submitted electronically via the EasyChair system site (https://easychair.org/conferences/?conf=gcm2022). Submissions must use the EPTCS LaTeX style (http://style.eptcs.org/). Simultaneous submission to other conferences with proceedings, as well as submission of material that has already been published elsewhere is not allowed. The page limits include references. An optional appendix can be added if this is useful for the reviewing process. All submissions will be reviewed by the programme committee. Electronic proceedings will be available at the time of the workshop. Selected authors will be invited to contribute to post-proceedings to be published online by Electronic Proceedings in Theoretical Computer Science (EPTCS, http://www.eptcs.org/). --------------------------------------- ** INVITED SPEAKER ** * Elizabeth Dinella (University of Pennsylvania, USA) – graph-based machine learning in program transformation and analysis --------------------------------------- ** PROGRAMME COMMITTEE ** Confirmed programme committee members at the time of this call include: * Andrea Corradini, Università di Pisa, Italy * Frank Drewes, Umeå University, Sweden * Annegret Habel, University of Oldenburg, Germany * Reiko Heckel (co-Chair), University of Leicester, Germany * Berthold Hoffmann, University of Bremen, Germany * Barbara König, University of Duisburg-Essen, Germany * Leen Lambers, Brandenburgische Technische Universität Cottbus-Senftenberg, Germany * Mark Minas, Universität der Bundeswehr München, Germany * Fernando Orejas, Universitat Politècnica de Catalunya, Spain * Detlef Plump, University of York, UK * Chris Poskitt (co-Chair), Singapore Management University, Singapore --------------------------------------- ** ORGANISERS ** * Reiko Heckel (rh122 at leicester.ac.uk) * Chris Poskitt (cposkitt at smu.edu.sg) For more information, please visit the official workshop website at: https://gcm2022.github.io/ --------------------------------------- From francesco.osborne at open.ac.uk Sun Feb 13 11:40:13 2022 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Sun, 13 Feb 2022 10:40:13 +0000 Subject: [fg-arc] CfP ICWE 2022 - Call for Tutorials - 18 February Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Tutorials ================== DEADLINE EXTENSION Given the high number of requests, the deadline has been extended to February 18. NEW IMPORTANT DATES --------------- Submission deadline: February 18, 2022 Acceptance notification: March 12, 2022 Camera ready: March 26, 2022 CALL --------------- ICWE 2022 invites proposals for tutorials in a broad range of Web Engineering topics. Conference participants include researchers and practitioners who are seeking to gain insight and knowledge of up-to-date strategies, methodologies, technologies, and tools used for developing, maintaining and evolving Web applications. Examples of relevant topics include, but are not limited to: - Web application modelling and engineering - Web mining and knowledge extraction - Web Big Data and Web data analytics - Mobile Web applications - Web of Things applications - Social Web applications - Web crowdsourcing and human computation - Semantic Web, Web ontologies, and Linked Open Data applications - Web composition and mashups - Web user interfaces - Quality and accessibility aspects of Web applications - Web security and privacy - Web services, computing, and standards - Microservice architecture for Web applications - Cloud, fog, and edge computing for Web applications - Fairness of Web technology - User Modelling and Recommender Systems based on Web technology - Explainable Web technology All proposed tutorials should be half-day (3 hours) or fully-day (6 hours) in length. The length of tutorial proposals is limited to 4 pages. Proposals must clearly define both the scope and the depth of the tutorial, and they must clearly identify the intended audience, the assumed background knowledge and learning objectives. All tutorial proposals must include the following information: - Title of the Tutorial - Contact information of the presenters (name, affiliation, email, mailing address, phone) - Abstract outlining the goals and content of the tutorial (max 250 words) - Definition of intended audience and assumed background and knowledge - Overview of the tutorial structure, list of topics covered, and short description of learning objectives/outcomes - Biographies of presenter(s), including information regarding their expertise relevant to the tutorial - Any relevant references to the work of the presenters or other references relevant to the tutorial - Statement about any previous related tutorial presentations, including information regarding how the ICWE 2022 tutorial would differ - Sample slides of the tutorial, if available The tutorial may be cancelled if the number of registrations for them is very small. Along with a notification of acceptance, presenters will receive further instructions on how to prepare a two-page summary of the tutorial to be included in the conference proceedings, tutorial notes to be made available on the conference website, and a brief biography to be published in the conference program. Tutorials papers proposals should be submitted as a single PDF file in the EasyChair system as described in the SUBMISSION INFORMATION section. TUTORIALS CHAIRS ---------------- Alejandro Bellogin (Universidad Autonoma de Madrid, Spain) Vito Walter Anelli (Politecnico di Bari, Italy) SUBMISSION INFORMATION ---------------------- All submitted proposal must be formatted in accordance to the information for Springer LNCS authors at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and submitted in PDF. Accepted contributions will be included into the ICWE 2022 Springer LNCS proceedings. Submissions and reviewing are supported by the EasyChair system (https://easychair.org/conferences/?conf=icwe2022). ICWE 2022 will follow the single-blind review process. Consequently, all submissions should include the names and affiliation of all authors, and this information is made visible to the reviewers. Still, the identity of the reviewers will be kept confidential from the authors. Submitted proposals must not be under review elsewhere while under consideration for ICWE 2022. Submissions that do not comply with the required submission format or that fall outside the scope of the conference will be desk rejected without reviewing. All questions about submissions should be emailed to tutorialchair.icwe2022 at webengineering.org. From andreas.wortmann at isw.uni-stuttgart.de Tue Feb 15 13:40:38 2022 From: andreas.wortmann at isw.uni-stuttgart.de (Wortmann, Andreas) Date: Tue, 15 Feb 2022 12:40:38 +0000 Subject: [fg-arc] Software Engineering and Advanced Applications (SEAA 2022): Call for Papers Message-ID: -------------------------------------------------------------------------------- 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2022) Aug. 31th – Sept. 2nd, 2022, ExpoMeloneras, Maspalomas, Gran Canaria, Spain https://dsd-seaa2022.iuma.ulpgc.es -------------------------------------------------------------------------------- The Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) is a long-standing international forum for researchers, practitioners, and students to present and discuss the latest innovations, trends, experiences, and concerns in the field of Software Engineering and Advanced Applications in information technology for software-intensive systems. ---------------------------------------- Tracks and Organizers ---------------------------------------- - AI4DevOps: AI-Enabled Software Development and Operations. M. Chaudron (University of Gothenburg, Sweden), M. Felderer (University of Innsbruck, Austria), A. Metzger (University of Duisburg-Essen & Big Data Value Association (BDVA), Germany), R. Ramler (Software Competence Center Hagenberg GmbH, Austria), D. Winkler (TU Vienna, Austria) - CNADO:CloudNativeAndDevOps. D. Taibi (Tampere University, Finland) and Nabil El Ioini (Free University of Bolzano, Italy) - MDEML: Model-Driven Engineering and Modeling Languages. F. Ciccozzi (Mälardalen University, Sweden), A. Wortmann (Stuttgart University, Germany), A. Bucaioni (Mälardalen University, Sweden) - SEaDeM: Software Engineering and Debt Metaphors. A. Martini (University of Oslo, Norway), D. Feitosa (University of Groningen, The Netherlands) - SM: Software management: Measurement, Peopleware and Innovation. O. Demirors (Izmir Institute of Technology, Turkey) and C. Gravino ( University of Salerno, Italy) - SMSE: Systematic Literature Reviews and Mapping Studies in Software Engineering. N. Ali (Brunel University, London, United Kingdom), S. Counsell (Brunel University, London, United Kingdom) and S. Swift (Brunel University, London, United Kingdom) - SPPI: Software Process and Product Improvement. S. Biffl (TU Vienna, Austria), D. Winkler (TU Vienna, Austria), R. Rabiser ( Johannes Kepler University Linz, Austria) ---------------------------------------- Special Sessions and Organizers ---------------------------------------- - CPS: Cyber-Physical Systems. K.-E. Großpietsch (Euromicro), K. Kloeckner (Euromicro), V. Klös (Technische Universität Berlin, Germany) - DAIDE: Data and AI Driven Engineering. H. Holmström Olsson (Malmö University, Sweden) and J. Bosch (Chalmers & Gothenburg University, Sweden) - STREAM: Software Analytics: Mining Software Open Datasets and Repositories. M. Kechagia (University College London, UK) and Elvira-Maria Arvanitou ( University of Macedonia, Gr ---------------------------------------- Submission Guidelines ---------------------------------------- SEAA 2022 encourages the submission of full research papers, short papers and tool demo papers (maximum 4 pages), and posters (maximum 2 pages). A maximum of 8 pages is allowed for each full research paper. Papers follow a single-blinded reviewing process and must contain original unpublished work, describe significant novel contributions, and provide evidence on the validation of results. Reports on industrial applications are also welcome. Papers submitted to SEAA 2022 must not be under review or submitted for review elsewhere whilst under consideration for SEAA 2022. Contravention of this concurrent submission policy will be deemed as a serious breach of scientific ethics, and appropriate action will be taken in all such cases. Conference Publishing Services (CPS) will publish accepted papers in the conference proceedings and the proceedings will be submitted to the IEEE Xplore digital library and indexing services. We reserve the right to exclude a paper from distribution after the conference (e.g., by not placing it in the IEEE Xplore Digital Library) if the paper is not presented at the conference. Best papers of SEAA 2022 will be invited to submit extended versions for a theme issue the Journal on Systems and Software. Selected papers will be expected to comply with the standard guidelines of the journal when publishing an extended version of a paper, including the addition of about 30% new material. Papers must strictly adhere to the two-column IEEE conference proceedings format. Please use the templates available at (https://www.ieee.org/conferences/publishing/templates. html). LaTeX users should use the following configuration: \documentclass[conference]{IEEEtran}. Microsoft Word users should use the US Letter format template. All submissions of all the tracks and special sessions at SEAA 2022 must be in PDF and must be submitted online by the deadline via the EasyChair conference management system at https://easychair.org/conferences/?conf=seaa2022 For further information contact Regina Hebig or Andreas Wortmann via seaa2022 at easychair.org. ---------------------------------------- Important Dates ---------------------------------------- - Deadline for paper submission: April 1st - Notification of acceptance: May 15th - Camera-ready papers: June 15th ---------------------------------------- Organizers ---------------------------------------- General Chair -------------------- - Gustavo Marrero Callico (Universidad de Las Palmas de Gran Canaria, Spain) Program Chairs -------------------- - Regina Hebig (Chalmers & Gothenburg University, Sweden) - Andreas Wortmann (Stuttgart University, Germany) Publication Chair -------------------- - Fadhl Hujainah (Chalmers & Gothenburg University, Sweden) Steering Committee -------------------- - Stefan Biffl - Chairman (Vienna University of Technology, Austria) - Michel Chaudron (Eindhoven University of Technology, The Netherlands) - Onur Demirors (IzTech / UNSW, Turkey and Australia) - Rick Rabiser (Johannes Kepler University Linz, Austria) -- 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: andreas.wortmann at isw.uni-stuttgart.de Web: http://www.isw.uni-stuttgart.de From cfp at mat.unical.it Mon Feb 14 12:26:09 2022 From: cfp at mat.unical.it (cfp) Date: Mon, 14 Feb 2022 12:26:09 +0100 Subject: [fg-arc] LPNMR 2022 - second call for workshops In-Reply-To: References: Message-ID: <393b51d6-a010-7dc9-580d-405af00ba7a0@mat.unical.it> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---------------------------------------------------------------------------                             CALL FOR WORKSHOPS                        16th International Conference on                 Logic Programming and Non-monotonic Reasoning                                LPNMR 2022 https://sites.google.com/view/lpnmr2022                              Genova, Italy                           September 5-8, 2022 --------------------------------------------------------------------------- The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) will be held in Genova, Italy. The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics. Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributes. Workshops will likely be half-day or one-day in duration, but we may consider longer programs. DATES    * Workshop proposals submissions: February 25th, 2022    * Workshop proposals notifications: March 7th, 2022    * Workshop program: September 5th, 2022 (tentative date) SUBMISSION  Proposals must be submitted via EasyChair: https://easychair.org/my/conference?conf=lpnmrws2022  Proposals should clearly specify the following:    * Workshop title and acronym    * A brief description, emphasizing why this workshop would appeal to      audiences from LPNMR    * A list of organizers with email addresses, web page URLs, and a short      description of their experience in organizing events    * A short description of the format of planned activities (talks, posters,      panels, invited speakers if any, etc.)    * The proposed duration (half day, one day, etc.)    * A description of the history of the workshop (if any)    * Expected number of participants VENUE Workshops are planned to be held at the University, which is in the city center of Genova. Genova is the capital of Liguria, stretching along the bay of Genova from Nervi to the east as far as Voltri to the west. Its old town district 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. 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. 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 CONTACT  For any details on workshops, please contact the Workshop Chair: viviana.mascardi at unige.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Fri Feb 18 15:34:05 2022 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 18 Feb 2022 15:34:05 +0100 Subject: [fg-arc] SE22: Einladung zum Industrieprogramm der Software-Engineering-Konferenz am 24.02.2022 (online) - Teilnahme kostenlos! Message-ID: <6b74a0bd-55e9-4bfd-f226-dbdd55ff7c4a@uni-paderborn.de> Sehr geehrte Damen und Herren, liebe Kolleginnen und Kollegen, wir möchten Sie herzlich zum *Industrieprogramm der SE22* am *Donnerstag, den 24. Februar 2022* im Programm der Konferenz "Software Engineering" einladen, die vom Fachbereicht Softwaretechnik der Gesellschaft für Informatik (GI) ausgerichtet wird. Die gesamte Tagung einschließlich des Industrieprogramms findet *online *statt. _Die Teilnahme ist kostenlos!_ Eine *Registrierung * für die Konferenz ist allerdings erforderlich. Das Industrieprogramm umfasst ein *Vortragsprogramm *zu aktuellen Themen und Herausforderungen der Softwareentwicklung/Softwaretechnik, die sowohl aus Sicht der Wirtschaft als auch der Wissenschaft relevant sind, mit anschließender Diskussion. Abgerundet wird das Industrieprogramm durch ein *virtuelles Kamingespräch* zum Thema *„Quo vadis Softwareentwicklung?“* -------------------------------------------------------------------------------- Industrieprogramm SE22: Vorträge Donnerstag, 24. Februar 2022 09:00 - 10:30 Uhr Eröffnung des Industrieprogramms (Stefan Sauer, Peter Munk) *Industrievortrag: /*/Neue Software für Smart Devices/* /* Alexander Hofmann (MaibornWolff GmbH, München) *Industrievortrag: /*/Industrial AutoML – Wie lässt sich Machine Learning einfach in industrielle Anwendungen integrieren?/* /* Markus Köster (Weidmüller Interface GmbH & Co. KG, Detmold) 10:30 - 11:00 Uhr Pause 11:00 - 12:30 Uhr *Industrie-Keynote: /*/How Automotive Safety is Trying to Keep Up with Software Eating the Car/* /* Andreas Heyl (Robert Bosch GmbH, Stuttgart) *Industrievortrag:/*Mehr als nur Apps - Android Automotive OS Entwicklung für OEMs* /* Tom-Ole Bolle (IAV GmbH, Berlin) 12:30 - 13:30 Uhr Mittagspause 13:30 - 15:00 Uhr *Industrievortrag: /*/Low-Code: A Platform to Deliver Innovation/* /* Rodrigo Sousa Coutinho (OutSystems, Lissabon, Portugal) *Industrievortrag: /*/Was bringt die Behebung von technischen Schulden? Ergebnisse einer retrospektiven Nutzenrechnung nach 10 Jahren/* /* Elmar Jürgens (CQSE GmbH, München) -------------------------------------------------------------------------------- *Virtuelles Kamingespräch zum Thema „Quo vadis Softwareentwicklung?“ (Englisch/Deutsch)* Donnerstag, 24. Februar 2022 17:00 - 18:30 Uhr Bei diesem virtuellen Kamingespräch unter dem Leitgedanken „/Quo vadis Softwareentwicklung/“ diskutieren wir u.a. folgende Fragestellungen: Wie verändert die Pandemie (und ggf. andere aktuelle Entwicklungen) die Art und Weise, wie Softwarefirmen agieren? Welche Auswirkungen hat das auf die Menschen, die in unserer Branche arbeiten? Und welche Anforderungen ergeben sich hieraus an die Wissenschaft? Wir nähern uns den Fragen aus unterschiedlichen Perspektiven – großer, international agierender Konzerne, mittelständischer Softwareunternehmen und der Wissenschaft. Am virtuellen Kaminfeuer nehmen Platz: * *Geraldine Fitzpatrick*(TU Wien) * *Anke Jedrkowiak*(Robert Bosch GmbH) * *Michael Mlynarski*(QualityMinds GmbH) Alle Teilnehmer*innen sind eingeladen, sich über interaktive digitale Medien an dem Gespräch zu beteiligen. Das virtuelle Kamingespräch wird moderiert von Stefan Sauer, Geschäftsführer des SICP – Software Innovation Campus Paderborn an der Universität Paderborn. Peter Munk ist verantwortlich für die Interaktion mit dem Publikum über die digitale Plattform. Das Gespräch wird in englischer Sprache geführt, Fragen aus dem Publikum können in Englisch oder Deutsch gestellt werden. / The discussion will be in English, questions may be asked in English or German. Bitte leiten Sie diese Einladung auch gern an interessierte Kolleginnen und Kollegen weiter! Freundliche Grüße Stefan Sauer & Peter Munk Industry Co-Chairs der SE22 -- "Software.Innovation.Zukunft" Follow us @ Twitter: SICPaderborn, SoftwareQLab Follow me @ Twitter: stsauer13 -- Dr. Stefan Sauer Diplom-Informatiker Geschäftsführer F&E-Manager "Software Engineering" Senior Researcher Universität Paderborn | SICP - Software Innovation Campus Paderborn Software Innovation Lab Zukunftsmeile 2 33102 Paderborn Fon +49 5251 60-6820 Fax +49 5251 60-6819 E-Mailsauer at uni-paderborn.de Web go.uni-paderborn.de/sauer www.sicp.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/vcard Size: 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 Luigia.Petre at abo.fi Thu Feb 17 10:43:47 2022 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Thu, 17 Feb 2022 09:43:47 +0000 Subject: [fg-arc] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US Message-ID: Dear all, We restart the FME Teaching Committee's series of tutorials in 2022 with Prof. Shriram Krishnamurthi's lecture on Friday, February 25, at 3 pm CET. His talk in entitled "From Tests to Properties: Property-Based Testing Using Relational Problems". The zoom link is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Kind regards, Luigia Petre (on behalf of the FME Teaching Committee) PS1: the tutorial series webpage is updated with the list of speakers who confirmed their lectures in 2022 here: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. PS2: the tutorial series aims to increase the awareness and sharing of tools and techniques used for teaching formal methods __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Feb 18 15:03:20 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 18 Feb 2022 16:03:20 +0200 Subject: [fg-arc] ACM International Conference on Information Technology for Social Good (GoodIT 2022): Fourth Call for Contributions Message-ID: *** Fourth Call for Contributions *** ACM International Conference on Information Technology for Social Good (GoodIT 2022) 7–9 September, 2022, 5* St. Raphael Resort & Marina, Limassol, Cyprus https://cyprusconferences.org/goodit2022/ Scope The ACM GoodIT conference seeks papers describing significant research contributions related to the application of information technologies (IT) to social good. Social good is typically defined as something that provides a benefit to the general public. In this context, clean air and water, Internet connection, education, and healthcare are all good examples of social goods. However, new media innovations and the explosion of online communities have added new meaning to the term. Social good is now about global citizens uniting to unlock the potential of individuals, technology, and collaboration to create a positive societal impact. GoodIT solicits papers that address important research challenges related to, but not limited to: • Citizen science • Civic intelligence • Decentralized approaches to IT • Digital solutions for Cultural Heritage • Environmental monitoring • Ethical computing • Frugal solutions for IT • Game, entertainment, and multimedia applications • Health and social care • IT for automotive • IT for development • IT for education • IT for smart living • Privacy, trust and ethical issues in ICT solutions • Smart governance and e-administration • Social informatics • Socially responsible IT solutions • Sustainable cities and transportation • Sustainable IT • Technology addressing the digital divide Paper Submission The papers should not exceed six (6) pages (US letter size) double-column, including figures, tables, and references in standard ACM format (https://cyprusconferences.org/goodit2022/index.php/authors/ ). They must be original works and must not have been previously published. At least one of the authors of all accepted papers must register and present the work at the conference; otherwise, the paper will not be published in the proceedings. All accepted and presented papers will be included in the conference proceedings published in the ACM Digital Library. In addition to a Main Track, the conference features 9 additional Special Tracks. More information on these tracks is available on the conference web site. Journal Special Issues and Best Paper Award Selected papers will be invited to submit an extended version to two special journal issues: • FGCS, Elsevier • MDPI Sensors, where the theme of the special issue will be "Application of Information Technology (IT) to Social Good" (https://www.mdpi.com/journal/sensors/special_issues/topical_collection_goodit ). Specifically 5 papers will be invited free of charge and another 5 papers will get a 20% discount on the publication fees. Furthermore, MDPI Sensors will sponsor a Best Paper Award with the amount of 400 CHF. Work-in-Progress and PhD Track Inside ACM GoodIT, the Work-in-Progress and PhD Track provides an opportunity to showcase interesting new work that is still at an early stage. We encourage practitioners and researchers to submit to the Work-in-Progress venue as it provides a unique opportunity for sharing valuable ideas, eliciting feedback on early-stage work, and fostering discussions and collaborations among colleagues. Moreover, this track provides a platform for PhD students to present and receive feedback on their ongoing research. Students at different stages of their research will have the opportunity to present and discuss their research questions, goals, methods and results. This is an opportunity to obtain guidance on various aspects of their research from established researchers and other PhD students working in research areas related to technologies for social good. Important: For this specific track, papers must not exceed four (4) pages (US letter size) double column, including figures, tables, and references in standard ACM format (https://cyprusconferences.org/goodit2022/index.php/authors/ ). Submission Instructions All papers must be submitted electronically via the hotcrp web site (https://goodit2022.hotcrp.com ). Once on the submission page, you will be able to select the track where to submit your paper. Important Dates • Submission deadline for all types of contributions: 23 May 2022 • Notification of acceptance: 20 June 2022 • Camera-ready submission and author registration: 11 July 2022 Conference Committees https://cyprusconferences.org/goodit2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Feb 21 11:10:45 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 21 Feb 2022 12:10:45 +0200 Subject: [fg-arc] Faculty Opening -- Department of Computer Science -- University of Cyprus Message-ID: <6L2A76R4-ESUQ-LOZA-GZUK-3Q15ACBDWNUZ@cs.ucy.ac.cy> VACANCY ANNOUNCEMENT FOR AN ACADEMIC POSITION The University of Cyprus was founded in 1989 and admitted its first students in 1992. Within a short time, the University of Cyprus achieved international distinctions. Today, it is ranked as the 108th young university (under 50 years) and among the #401-500 best universities worldwide by the Times Higher Education Rankings. These notable distinctions, achieved in the highly competitive field of research, are the result of commitment and dedication to continuous development and research excellence, the promotion and strengthening of which constitutes a key strategic objective of the University of Cyprus. Moreover, the University continually extends and develops its undergraduate and graduate programs of studies. To best serve its research and educational aims, the University recruits high-caliber academic staff who can make significant contributions to the development of internationally competitive research projects and to the design and delivery of new curricula. DEPARTMENT OF COMPUTER SCIENCE The University of Cyprus invites applications for one (1) tenure-track academic position at the rank of Lecturer or Assistant Professor in the Department of Computer Science, in the field of “Artificial Intelligence with emphasis in machine learning”. For all academic ranks, a Doctoral degree from an accredited University is required. The minimum requirements for each academic rank are available at https://www.ucy.ac.cy/acad.staff.procedures and include: previous academic experience, outstanding research achievements and notable scientific contributions, experience in developing and teaching of high quality undergraduate and graduate curricula. Candidates do not need to be citizens of the Republic of Cyprus. The official languages of instruction are Greek and Turkish. For the above position, fluency in the Greek language is necessary. In case the selected candidate is not proficient in the Greek language, the candidate and the Department shall ensure that the former acquires sufficient knowledge of the Greek language within 3 years from the date of appointment. Each Department sets its own criteria concerning the required level of fluency in the Greek language. In accordance with the applicable legislation, the annual gross salary (including the 13th salary) for full-time employment is: Assistant Professor (Scale A13-A14). €59.173,18- €79.802,36 Lecturer (Scale A12-A13) €44.975,98- €73.185,96 Employee contributions to the various State funds will be deducted from the above amounts. Candidates are invited to submit their applications electronically by uploading the following documents in English and in PDF format at the following link: https://applications.ucy.ac.cy/recruitment 1. Cover Letter 2. Curriculum Vitae 3. Copy of ID/Passport 4. Copies of degree certificates 5. Review of previous research work and a brief description of future research projects (up to 3 pages) 6. List of publications 7. Representative publications (up to 3 publications which should be submitted separately). For the rank of Lecturer, the submission of representative publications is optional. 8. The names and email addresses of three academic referees, who, upon submission of the application, will be automatically notified to provide recommendation letters (in English), up to seven days following the deadline for submission of applications. The above documents (1-7) must be uploaded as separate PDF documents. No change can be possible upon submission of your application. The deadline for applications is on Wednesday 18th of May 2022. The selected applicants will be required to submit copies of degree certificates certified by the Ministry of Education (if the degrees were obtained from universities n Cyprus) or from the Issuing Authority (if the degrees were obtained from foreign universities). Applications, supporting documents and recommendation letters submitted in response to previous vacancy announcements will not be considered and must be resubmitted. Applications not providing all the required documents specified in the online application form at the above link will not be considered. The applicant shall ensure that their application has been successfully submitted. Upon submission, the candidate will receive an automated confirmation email. For more information, please contact the Human Resources Services (tel.: 00357 22 89 4146) or the Department of Computer Science (+357 22 89 2669). -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.lammich at utwente.nl Fri Feb 18 12:37:32 2022 From: p.lammich at utwente.nl (Lammich, Peter (UT-EEMCS)) Date: Fri, 18 Feb 2022 11:37:32 +0000 Subject: [fg-arc] VerifyThis 2022 --- Call for Participation Message-ID: <50fcb86f9d9415acdd88f0e88e1b6ef7c7f1e33c.camel@utwente.nl> apologies for multiple postings. *********************************************************************** ********* VerifyThis Verification Competition 2022 CALL FOR PARTICIPATION -- TRAVEL GRANTS Competition to be held at ETAPS 2022 http://verifythis.ethz.ch *********************************************************************** ********* IMPORTANT DATES Grant application deadline: March 7, 2022 Competition: April 2 and 3, 2022 ABOUT VerifyThis 2022 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022) on April 2-3, 2022 in Munich, Germany. It is the 10th event in the VerifyThis competition series. The competition will offer a number of challenges presented in natural language and pseudo code. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness, and elegance. PARTICIPATION Participation is open for anybody interested. Teams of up to two people are allowed. Registration for ETAPS workshops and physical presence on site is required. We particularly encourage participation of: - student teams (this includes PhD students) - non-developer teams using a tool someone else developed - several teams using the same tool TRAVEL GRANTS The competition has funds for a limited number of travel grants. A grant covers the incurred travel and accommodation costs up to a certain limit. The expected limit is EUR 350 for those coming from Europe and EUR 600 for those coming from outside Europe. To apply for a travel grant, send an email to verifythis at googlegroups.com by March 7, 2022. The application should include: - your name - your affiliation - the verification system(s) you plan to use at the competition - the planned composition of your team (and whether you are developers of the tools you'll be using) - a short letter of motivation explaining your involvement with formal verification so far - if you are a student, please state the academic degree you are seeking and have your supervisor send a brief letter of support to verifythis at googlegroups.com ORGANIZERS * Marie Farrell, Maynooth University, Ireland * Peter Lammich, University of Twente, The Netherlands CONTACT Email: verifythis at googlegroups.com Web: http://verifythis.ethz.ch From announce at cs.ucy.ac.cy Sat Feb 19 11:56:34 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 19 Feb 2022 12:56:34 +0200 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): First Call for Papers Message-ID: *** First 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 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. As was also the case for IHAW 2021, the authors of the best papers accepted for IHAW2022 will be invited to submit extended versions for a special issue in a high quality journal (currently under negotiation). 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 matthias.riebisch at uni-hamburg.de Mon Feb 21 14:16:49 2022 From: matthias.riebisch at uni-hamburg.de (Riebisch, Prof. Dr. Matthias) Date: Mon, 21 Feb 2022 13:16:49 +0000 Subject: [fg-arc] =?utf-8?q?Modellierung2022=3A_Einreichungsfrist_Techn?= =?utf-8?b?LiBCZWl0csOkZ2UgdmVybMOkbmdlcnQgMDguMDMu?= Message-ID: <1E5C777D-8FAB-454E-8E1E-F85E6AC63293@uni-hamburg.de> Verlängerung der Einreichungsfrist für Technische Beiträge Modellierung2022 https://qfam.gi.de/modellierung2022-1 ----------------------- - Bitte entschuldigen Sie eventuelle Mehrfach-Zusendungen - Aufgrund von Anfragen haben wir uns entschlossen, den Autoren mehr Zeit zur Fertigstellung ihres Beitrags zu geben. Für den rechtzeitigen Start des Reviewing benötigen wir jedoch Titel und Abstracts in Easychair zum ursprünglichen Termin. Die neuen Termine sind: Bereitstellung von Abstracts (Voraussetzung für Beitrag) 25.02.22 Einreichungsschluss für Beiträge (verlängert) 08.03.22 Für alle weiteren Termine und Informationen möchten wir Sie auf die Webseite der Konferenz verweisen https://qfam.gi.de/modellierung2022 Mit freundlichen Grüßen Matthias Riebisch Im Namen der Organisatoren -- Prof. Dr. Matthias Riebisch Universitaet Hamburg, MIN-Fakultaet, FB Informatik, Software-Entwicklungs- und Konstruktionsmethoden (SWK) Phone +49-4042883-2427, Sec -2312, Fax +49-40-4273-14630 matthias.riebisch at uni-hamburg.de http://uhh.de/inf-swk-riebisch From danstru at chalmers.se Mon Feb 21 16:14:50 2022 From: danstru at chalmers.se (=?UTF-8?Q?Daniel_Str=c3=bcber?=) Date: Mon, 21 Feb 2022 16:14:50 +0100 Subject: [fg-arc] ICGT 2022: Second Call for Papers Message-ID: <2b7b9695-e3b7-d9f8-93d8-02500e104518@chalmers.se> ========================================================= 15th International Conference on Graph Transformation ICGT 2022 - https://icgt2022.gitlab.io/ July 7-8, Nantes, France, co-located with STAF 2022 Second call-for-papers with new and updated information: * Updated extended submission deadlines   abstracts due: February 28, 2022   full papers due: March 7, 2022 * Details on keynote speaker and journal for special issue * Highlighted special focus of ICGT 2022:    Executable Applied Category Theory ========================================================== AIMS AND SCOPE The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights. The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas. The 15th International Conference on Graph Transformation (ICGT 2022) will be held in Nantes, France, as part of STAF 2022 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. IMPORTANT DATES (updated) - Abstract submission: February 28, 2022 - Paper submission: March 7, 2022 - Notification: April 18, 2022 - Camera-ready: May 9, 2022 - Conference: July 7-8, 2022 Note: All times are end-of-day Anywhere on Earth. SPECIAL INTEREST TOPIC OF ICGT 2022: EXECUTABLE APPLIED CATEGORY THEORY A special focus of this conference will consist of new approaches to formalizing the knowledge in the research field of graph transformation theory via proof assistants such as Coq. Referring to the homepage of the GReTA-ExACT workgroup for further information [1], a long-term goal of this kind of approach will consist in establishing a Coq-enriched wiki for our research field akin to the nLab. This platform will serve as a sustainable mechanism for curating applied and mathematical knowledge in graph transformation research, and eventually as a research tool in its own right, notably through the provision of interactive database-supported proof construction. Another avenue of research will concern executable applied category theory (ExACT), i.e., code extraction from formalized categorical structures, with the perspective of curating a database of correct-by-construction reference prototype algorithms for various forms of graph transformation semantics and graph-like data structures. To introduce the initiative and facilitate the broad involvement of the ICGT community and collect feedback from participants regarding the scope and format of such a wiki project, a peer-reviewed brainstorming session is planned as one of the events at the conference. KEYNOTE In line with this special focus, we are delighted to announce a keynote to be held by Christian Doczkal (Max-Planck Institute for Security and Privacy, Bochum, Germany). Christian Doczkal will present his work on a library of formalized graph theory results in Coq and share some of the lessons learned along the way. SUBMISSIONS - TOPICS OF INTEREST In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2022 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one. Topics of interest include, but are not limited to the following subjects: - General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graphs - Structuring and modularization of graph transformation - Hierarchical graphs and decomposition of graphs - Parallel, concurrent, and distributed graph transformation - Term graph and string diagram rewriting - Petri nets and other models of concurrency - Business process models and notations - Bigraphs and bigraphical reactive systems - Graph databases and graph queries - Model-driven development and model transformation - Model checking, program analysis and verification, simulation and animation - Syntax, semantics and implementation of programming languages, including domain-specific and visual languages - Graph transformation languages and tool support - Efficient algorithms (e.g. pattern matching, graph traversal, network analysis) - Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation) - Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual) - Graph transformation and artificial intelligence (e.g., AI for graph transformations, applying graph transformations in AI engineering and search-based software engineering) - SUBMISSION GUIDELINES Papers can be submitted via EasyChair [2] using Springer’s LNCS format (cf. LNCS Overleaf template [3]). For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. At least one author for each accepted paper must register before the early registration deadline and present the paper during the conference [4]. Papers are solicited in three categories: - Regular papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. We also solicit case studies describing applications of graph transformation in any application domain. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. - Tool presentation papers (limited to 8 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 4 pages), which will be reviewed but not included in the proceedings. - New ideas papers (limited to 2 pages in Springer LNCS format) report on relevant contributions to the theory or applications of graph transformation, which may have been published (or accepted for publication) in a peer-reviewed conference other than ICGT, as a book chapter or journal article since 2018. Papers in this category will be selected for presentation at the conference according to their relevance to the graph transformation community, and they will be considered for the special issues. Submissions will consist of a 2-page abstract. In case of extended abstracts of published papers, the submission must refer to the published paper and include the original paper in PDF. SPECIAL ISSUE Authors of the best papers at the conference will be invited to prepare and submit extended journal versions to be considered for publication in a special issue after an independent round of peer review. The special issue will be published in the Journal of Logical and Algebraic Methods in Programming (Elsevier). PROGRAM & LOCAL INFORMATION TBA on the conference website [5]. ORGANIZATION Program Chairs - Nicolas Behr (CNRS, IRIF, Université de Paris, France) - Daniel Strüber (Chalmers | University of Gothenburg, Sweden, and Radboud University, Netherlands) Program Committee - Paolo Baldan (Università degli Studi di Padova, Italy) - Paolo Bottoni (Sapienza Università di Roma, Italy) - Andrea Corradini (University of Pisa, Italy) - Juan de Lara (Universidad Autónoma de Madrid, Spain) - Juergen Dingel (Queen’s University Kingston, Ontario, Canada) - Fabio Gadducci (University of Pisa, Italy) - Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany) - Russ Harmer (CNRS, ENS Lyon, Université de Lyon, France) - Reiko Heckel (University of Leicester, United Kingdom) - Thomas Hildebrandt (University of Copenhagen, Denmark) - Wolfram Kahl (McMaster University, Canada) - Timo Kehrer (Humboldt-Universität zu Berlin, Germany) - Aleks Kissinger (University of Oxford, United Kingdom) - Barbara König (Universität Duisburg-Essen, Germany) - Leen Lambers (Technical University of Brandenburg (BTU) Cottbus-Sentenberg, Germany) - Yngve Lamo (Western Norway University of Applied Sciences Bergen, Norway) - Koko Muroya (RIMS, Kyoto University) - Fernando Orejas (Universitat Politècnica de Catalunya) - Detlef Plump (University of York, United Kingdom) - Arend Rensink (University of Twente Enschede, Netherlands) - Leila Ribeiro (Federal University of Rio Grande do Sul (UFRGS) Porto Alegre, Brazil) - Andy Schürr (Technische Universität Darmstadt, Germany) - Gabriele Taentzer (Philipps-Universität Marburg, Germany) - Matthias Tichy (Universität Ulm, Germany) - Uwe Wolter (University of Bergen, Norway) - Steffen Zschaler (King’s College London, United Kingdom) CONTACT All questions about submissions should be emailed to icgt2022.info at gmail.com. LINKS [1] GReTA ExACT: International Online Workgroup on Executable Applied Category Theory for Rewriting Systems https://www.irif.fr/~greta/gretaexact/ [2] EasyChair submission site: https://easychair.org/conferences/?conf=icgt2022 [3] LNCS Template: https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg [4] STAF 2022 Registration: https://staf2022.univ-nantes.io/registration/ [5] ICGT 2022: https://icgt2022.gitlab.io/ -- Dr. Daniel Strüber https://www.danielstrueber.de/ Senior Lecturer Department of Computer Science and Engineering Chalmers University of Technology | University of Gothenburg Assistant Professor Department of Software Science Radboud University Nijmegen From ffiorett at syr.edu Tue Feb 22 04:50:54 2022 From: ffiorett at syr.edu (Ferdinando Fioretto) Date: Tue, 22 Feb 2022 03:50:54 +0000 Subject: [fg-arc] CFP [OptLearnMAS 2022] The 13th Workshop on Optimization and Learning in Multiagent Systems Message-ID: <01F2A314-A299-418E-B119-A7626FBB3B20@syr.edu> 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 fm-announcements at lists.nasa.gov Wed Feb 23 20:15:42 2022 From: fm-announcements at lists.nasa.gov (Martin Zimmermann via fm-announcements) Date: Wed, 23 Feb 2022 19:15:42 +0000 Subject: [fg-arc] [fm-announcements] 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022) Message-ID: <71d9e86ef38a46b0a7b2056bbdb22a58@cs.aau.dk> 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022) WHERE? Aalborg University, Aalborg, Denmark WHEN? June 13 - 17, 2022 WEBSITE: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmovep2022.cs.aau.dk%2F&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C9dd96af126fc4682c5ae08d9f700e5c6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637812406393546584%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=it8lCPACe44i0KU8qtqyW%2F49HHI7kRDkTdBGVwKuq0Y%3D&reserved=0 == MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems. MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings. The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually. == Speakers == * Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics via Couplings * David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols with Squirrel * Christel Baier (Technische Universität Dresden, Germany): From Verification to Causality-based Explications * Wojciech Czerwiński (University of Warsaw, Poland): The Reachability Problem for Vector Addition Systems * Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets with Atoms * Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem Proving and Vampire * Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String Transducers * Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis * Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and Invariant Generation * Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes == Student Session == We encourage participants to present their (ongoing or published) work. Talks will last around 20 minutes. 1-2 page abstracts (no particular format is required) should be submitted via easychair: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dmovep2022&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C9dd96af126fc4682c5ae08d9f700e5c6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637812406393546584%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=yYZr17%2BzFcCFQdm7BI%2FPe5CL4lp0ZCLjxPa%2BfmSCPeo%3D&reserved=0 Important Dates Abstract submission: May 1st, 2022 Notification of acceptance: May 14, 2022 == Fees and Registration == The fees include coffee and lunch breaks as well as the conference dinner. Early-bird 350 Euro (before May 1st, 2022) Late 400 Euro https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmovep2022.cs.aau.dk%2Fregistration.html&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C9dd96af126fc4682c5ae08d9f700e5c6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637812406393546584%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=VKjpGmNBedFNDf%2F92PlP2S4G%2FdGJxU8Qv31qNhYSPCA%3D&reserved=0 == Committees == Organising committee * Peter G. Jensen (Aalborg University, Denmark) * Florian Lorber (Aalborg University, Denmark) * Martin Zimmermann (chair, Aalborg University, Denmark) Program committee * Saddek Bensalem (Universirsité Grenoble Alpes, France) * Patricia Bouyer-DeCitre (LMF, CNRS & ENS Paris-Saclay, France) * Emmanuel Filiot (Université libre de Bruxelles, Belgium) * Dana Fisman (Ben-Gurion University, Israel) * Radu Grosu (Vienna University of Technology, Austria) * Holger Hermanns (Saarland University, Germany) * Nils Jansen (Radboud University Nijmegen, Netherlands) * Marcin Jurdzinski (University of Warwick, United Kingdom) * Steve Kremer (Inria Nancy - Grand Est, France) * K Narayan Kumar (Chennai Mathematical Institute, India) * Denis Kuperberg (ENS Lyon, France) * Anca Muscholl (LaBRI & Université Bordeaux, France) * Paritosh K. Pandya (IIT Bombay, India) * Gabrielle Puppis (Udine University, Italy) * Nir Piterman (Chalmers University of Technology, Sweden) * Kristin Rozier (Iowa State University, United States) * César Sánchez (IMDEA Software Institute, Spain) * Szymon Torunczyk (University of Warsaw, Poland) * Martin Zimmermann (chair, Aalborg University, Denmark) Steering committee * Nathalie Bertrand (INRIA Rennes, France) * Benedikt Bollig (LMF, CNRS & ENS Paris-Saclay, France) * Radu Iosif (CNRS & Verimag, France) * Didier Lime (Ecole centrale de Nantes, France) * Christof Löding (RWTH Aachen University, Germany) * Nicolas Markey (CNRS & INRIA & Univ. Rennes 1, France) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From cfp at mat.unical.it Tue Feb 22 10:43:58 2022 From: cfp at mat.unical.it (cfp) Date: Tue, 22 Feb 2022 10:43:58 +0100 Subject: [fg-arc] LPNMR 2022 - last call for workshops - 3 days to deadline In-Reply-To: References: Message-ID: <280a0d48-2767-af19-a091-d71e92c92c56@mat.unical.it> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---------------------------------------------------------------------------                             CALL FOR WORKSHOPS                        16th International Conference on                 Logic Programming and Non-monotonic Reasoning                                LPNMR 2022 https://sites.google.com/view/lpnmr2022                              Genova, Italy                           September 5-8, 2022 --------------------------------------------------------------------------- The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) will be held in Genova, Italy. The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics. Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributes. Workshops will likely be half-day or one-day in duration, but we may consider longer programs. DATES    * Workshop proposals submissions: February 25th, 2022    * Workshop proposals notifications: March 7th, 2022    * Workshop program: September 5th, 2022 (tentative date) SUBMISSION  Proposals must be submitted via EasyChair: https://easychair.org/my/conference?conf=lpnmrws2022  Proposals should clearly specify the following:    * Workshop title and acronym    * A brief description, emphasizing why this workshop would appeal to      audiences from LPNMR    * A list of organizers with email addresses, web page URLs, and a short      description of their experience in organizing events    * A short description of the format of planned activities (talks, posters,      panels, invited speakers if any, etc.)    * The proposed duration (half day, one day, etc.)    * A description of the history of the workshop (if any)    * Expected number of participants VENUE Workshops are planned to be held at the University, which is in the city center of Genova. Genova is the capital of Liguria, stretching along the bay of Genova from Nervi to the east as far as Voltri to the west. Its old town district 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. 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. 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 CONTACT  For any details on workshops, please contact the Workshop Chair: viviana.mascardi at unige.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From jesse.heyninck at tu-dortmund.de Thu Feb 24 19:08:56 2022 From: jesse.heyninck at tu-dortmund.de (Heyninck, Jesse) Date: Thu, 24 Feb 2022 18:08:56 +0000 Subject: [fg-arc] CFP: Recently Published Research Track of KR2022 Message-ID: <87b87cbeb1c443458c781645b2e077db@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: