From francesco.osborne at open.ac.uk Thu Dec 2 22:18:35 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Thu, 2 Dec 2021 21:18:35 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Tutorials Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Tutorials ================== IMPORTANT DATES --------------- Submission deadline: January 29, 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 announce at cs.ucy.ac.cy Sat Dec 4 13:04:38 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 4 Dec 2021 14:04:38 +0200 Subject: [fg-arc] ACM International Conference on Information Technology for Social Good (GoodIT 2022): Last Call for Special Track Proposals Message-ID: *** Last Call for Special Track Proposals *** 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 ACM GoodIT focuses on the application of IT technologies to social good. Social good is typically defined as an action that provides some sort of benefit to the general public. In this case, 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 positive societal impact. GoodIT topics include but not limited to: • IT for education • Data Science • Digital solutions for Cultural Heritage • Data sensing, processing, and persistency • Game, entertainment, and multimedia applications • Health and social care • IT for development • Privacy and trust issues and solutions • Sustainable cities and transportation • Smart governance and e-administration • IT for smart living • Technology addressing the digital divide • IT for automotive • Frugal solutions for IT • Ethical computing • Decentralized approaches to IT • Citizen science • Socially responsible IT solutions • Sustainable IT • Social informatics • Civic intelligence Journal Special Issue and Best Paper Award Selected papers will be invited to submit an extended version to a special issue in the journal 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. Special Tracks Proposals GoodIT 2022 will feature special tracks whose aim is to focus on a specific topic of interest related to the overall scope of the conference. We solicit proposals for special tracks to be held within the main conference and whose publications will be included in the conference proceedings. Tracks proposals can focus on any contemporary themes that highlight social good aspects in the design, implementation, deployment, securing, and evaluation of IT technologies. Special Track Proposal Format A special track proposal must contain the following information: • Title of the special track. • The names of the organizers (indicatively, two) with affiliations, contact information, and a single paragraph of a brief bio. • A short description of the scope and topics of the track (max 1/2 page) and a brief explanation of: (1) why the topic is timely and important; (2) why the topic is related to the conference’s main theme; (3) why the track may attract a significant number of submissions of good quality. • Indication if a journal special issue is associated with the track, possibly with information on the process of selecting papers. • The plan to disseminate the call for papers of the special track for achieving a reasonable number of paper submissions (a list of emailing lists will help). • A tentative Program Committee list. • A draft Call for Papers (max 1 page). Publication Papers submitted to each particular track have to satisfy the same criteria as for the main conference. They must be original works and must not have been previously published. They have to be peer-reviewed by the track's Program Committee (at least three reviews per submitted paper are required). The final version of papers must follow the formatting instructions of the main conference (https://cyprusconferences.org/goodit2022/index.php/authors/). 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. The special track may provide an option for publishing extended versions of selected papers in a special issue of a journal. Special Track Proposal Submission Guidelines Special track proposals should be submitted as a single PDF file to the special track Chairs (see below) via email to: ombretta.gaggi at unipd.it, valentino.vranic at stuba.sk, and rysavy at fit.vut.cz. The subject of the e-mail must be: “GoodIT 2022 – special track proposal”. The special track chairs may ask proposers for supplying additional information during the review period. Important Dates • Special Track Proposal Submission Deadline: 13 December 2021 • Notification of Selection: 20 December 2021 Contact (Special Tracks Chairs) • Ombretta Gaggi (University of Padua, Italy) • Ondrej Rysavy (Brno University of Technology, Czech Republic) • Valentino Vranic (Slovak University of Technology in Bratislava, Slovakia) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Dec 5 13:45:37 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 5 Dec 2021 14:45:37 +0200 Subject: [fg-arc] 2022 IEEE International Conference on Evolving and Adaptive Intelligent Systems (IEEE EAIS 2022): Fifth Call for Papers Message-ID: *** Fifth Call for Papers *** 2022 IEEE International Conference on Evolving and Adaptive Intelligent Systems (IEEE EAIS 2022) May 25-27, 2022, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/eais2022/ (Proceedings to be published by the IEEE Xplore Digital Library; Special Journal Issue with Evolving Systems, Springer) IEEE EAIS 2022 will provide a working and friendly atmosphere and will be a leading international forum focusing on the discussion of recent advances, the exchange of recent innovations and the outline of open important future challenges in the area of Evolving and Adaptive Intelligent Systems. Over the past decade, this area has emerged to play an important role on a broad international level in today's real-world applications, especially those ones with high complexity and dynamic changes. Its embedded modelling and learning methodologies are able to cope with real-time demands, changing operation conditions, varying environmental influences, human behaviours, knowledge expansion scenarios and drifts in online data streams. Conference Topics Basic Methodologies Evolving Soft Computing Techniques. Evolving Fuzzy Systems. Evolving Rule-Based Classifiers. Evolving Neuro-Fuzzy Systems. Adaptive Evolving Neural Networks. Online Genetic and Evolutionary Algorithms. Data Stream Mining. Incremental and Evolving Clustering. Adaptive Pattern Recognition. Incremental and Evolving ML Classifiers. Adaptive Statistical Techniques. Evolving Decision Systems. Big Data. Problems and Methodologies in Data Streams Stability, Robustness, Convergence in Evolving Systems. Online Feature Selection and Dimension Reduction. Online Active and Semi-supervised Learning. Online Complexity Reduction. Computational Aspects. Interpretability Issues. Incremental Adaptive Ensemble Methods. Online Bagging and Boosting. Self-monitoring Evolving Systems. Human-Machine Interaction Issues. Hybrid Modelling, Transfer Learning. Reservoir Computing. Applications of EAIS Time Series Prediction. Data Stream Mining and Adaptive Knowledge Discovery. Robotics. Intelligent Transport and Advanced Manufacturing. Advanced Communications and Multimedia Applications. Bioinformatics and Medicine. Online Quality Control and Fault Diagnosis. Condition Monitoring Systems. Adaptive Evolving Controller Design. User Activities Recognition. Huge Database and Web Mining. Visual Inspection and Image Classification. Image Processing. Cloud Computing. Multiple Sensor Networks. Query Systems and Social Networks. Alternative Statistical and Machine Learning Approaches. Submissions Submitted papers should not exceed 8 pages plus at most 2 pages overlength. Submissions of full papers are accepted online through Easy Chair (https://easychair.org/conferences/?conf=eais2022). The EAIS 2022 proceedings will be published on IEEE Xplore Digital Library. Authors of selected papers will be invited to submit extended versions for possible inclusion in a special issue of Evolving Systems - An Interdisciplinary Journal for Advanced Science and Technology (Springer). Important Dates • Paper submission: January 10, 2022 • Notification of acceptance/rejection: February 19, 2022 • Camera ready submission: March 20, 2022 • Authors registration: March 20, 2022 • Conference Dates: May 25-27, 2022 Social Media FB: https://www.facebook.com/IEEEEAIS Twitter: https://twitter.com/IEEE_EAIS Linkedin: https://www.linkedin.com/events/2022ieeeconferenceonevolvingand6815560078674972672/ Organization Honorary Chairs • Dimitar Filev, Ford Motor Co., USA • Nikola Kasabov, Auckland University of Technology, New Zealand General Chairs • George A. Papadopoulos, University of Cyprus, Nicosia, Cyprus • Plamen Angelov, Lancaster University, UK Program Committee Chairs • Giovanna Castellano, University of Bari, Italy • José A. Iglesias, Carlos III University of Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From andreas.wortmann at isw.uni-stuttgart.de Wed Dec 8 11:50:09 2021 From: andreas.wortmann at isw.uni-stuttgart.de (Wortmann, Andreas) Date: Wed, 8 Dec 2021 10:50:09 +0000 Subject: [fg-arc] CfP: International Conference on Software Engineering and Advanced Applications (SEAA 2022) 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 mmosteiro at pace.edu Thu Dec 9 03:15:19 2021 From: mmosteiro at pace.edu (Mosteiro, Miguel A.) Date: Thu, 9 Dec 2021 02:15:19 +0000 Subject: [fg-arc] Call for Papers FUN 2022 Message-ID: <89352455-39E8-480F-9DDF-7C03F3A2291B@pace.edu> Apologies for multiple postings. ========================= 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 Luigia.Petre at abo.fi Wed Dec 8 09:39:35 2021 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Wed, 8 Dec 2021 08:39:35 +0000 Subject: [fg-arc] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce In-Reply-To: References: Message-ID: Dear all, In the FME Teaching Committee series of tutorials, we continue on Friday, December 3rd, with Assoc. Prof. David Pearce, who will present his experiences of teaching software verification with Whiley. Please note the special time (9am CET) - David lives in New Zealand and is 12h ahead of CET, so for him the talk is at 9 pm. Here is the info in our webpages: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/ And here is the zoom link: https://aboakademi.zoom.us/j/64254430116 Everyone welcome! Kind regards, Luigia Petre (on behalf of the FME Teaching Committee) -------------- next part -------------- An HTML attachment was scrubbed... URL: From francesco.osborne at open.ac.uk Wed Dec 8 15:13:39 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Wed, 8 Dec 2021 14:13:39 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Workshop Proposals Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Workshop Proposals =========================== IMPORTANT DATES --------------- - Submission of proposals: 29 January, 2022 (23h 59 AoE) - Notification of proposal acceptance: 12 February, 2022 (23h 59 AoE) CALL --------------- ICWE’22 is inviting proposals for high-quality workshops to complement its scientific program. Workshop topics should fall within the broad area of Web Engineering, but we specifically welcome workshops tackling novel, cutting-edge topics as well as workshops covering focused Web Engineering sub-areas, and cross-disciplinary workshops. The workshop organizers are highly encouraged to include interactive and hands-on working sessions. The organizers of approved workshops are responsible for advertising their workshops, collecting papers, managing the review process, making accepted papers available to workshop participants (e.g., workshop website), and collecting the camera-ready copies and copyright forms of accepted papers (verifying that they comply with formatting rules). Organizers are expected to be present to attend, run, and manage their workshops. Conference facilities such as meeting rooms, wireless Internet and meals will be provided by the local organizers. ICWE’22 provides workshop organizers with the opportunity to publish workshop proceedings as part of its dedicated post-workshop proceedings volume to appear in Springer’s LNCS series. Typically, workshop papers are 12 pages long and peer-reviewed; other forms of contributions can be discussed with the workshop chairs. Organizers who prefer to publish their own proceedings are of course welcome as well. SUBMISSION INSTRUCTIONS ----------------------- Workshop proposals should include the following information: 1. General Information – Title of the workshop – Organizers and primary contact (name/affiliation/email) – Abstract (200 words), intended for the main ICWE conference website – Expected length of the workshop (full day, half day) – Relationship with the ICWE community and topics 2. Objectives and Scope – Goals of the workshop including a list of possible workshop topics; if available, outcomes and results of previous editions of the workshop – Plans for advertising the workshop and making the workshop visible to the community – Estimated number of submissions and of papers to be accepted. If applicable, relevant information on previous editions of the workshop – Estimated number of participants. If applicable, relevant information on previous editions of the workshop 3. Organization Details – Information about workshop organizers: names, addresses, affiliations, short bio, and name of the main contact person. (Including relevant past experience in workshop organization) – Planned list of PC members 4. Workshop Format – Format of the workshop (paper-based, discussion-based, invitation-based, work sessions, or similar); at least 1 hands-on session is highly recommended – Format of hands-on session(s) (demos, hackathon, brainstorming, discussions, case elaboration, etc.) 5. Workshop web page (URL of the draft web page, if one exists) 6. Draft Call for Papers for the workshop (the Call for Papers that you intend to send out if your workshop is accepted) Workshop proposals should be submitted as a PDF file to workshopchair.icwe2022 at webengineering.org. WORKSHOPS CHAIRS --------------- - Cinzia Cappiello (Politecnico di Milano, Italy) - Azzurra Ragone (EY - Ernst & Young, Italy) From helma.torkamaan at uni-due.de Thu Dec 9 11:20:14 2021 From: helma.torkamaan at uni-due.de (Helma Torkamaan) Date: Thu, 9 Dec 2021 11:20:14 +0100 Subject: [fg-arc] ACM UMAP 2022 - Call for Papers Message-ID: <5ce8b9e3-2f38-cb90-2733-b5bc8b7ba6c7@uni-due.de> --- 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 and Tutorials, 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 jens.knodel at caruso-dataplace.com Fri Dec 10 00:18:17 2021 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Thu, 9 Dec 2021 23:18:17 +0000 Subject: [fg-arc] 24. Workshop Software-Reengineering & -Evolution: Call for Papers WSRE 2022 Message-ID: WSRE 2022, 02.-04. Mai 2022, Physikzentrum Bad Honnef Call for Papers, Einreichung der Kurzfassungen bis zum 11. März 2022 via https://easychair.org/conferences/?conf=wsre2022 ==== 24. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 2.-4. Mai 2022 https://fg-sre.gi.de/veranstaltung/24-workshop-software-reengineering-evolution ==== ==== Warum der WSRE? ==== Unser Ziel ist die Förderung der Zusammenarbeit und der Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen „Software-Reengineering“, „Software-Wartung“ und „Software-Evolution“. Darunter verstehen wir prinzipiell alle Aktivitäten rund um die Analyse, Bewertung, Visualisierung, Verbesserung, Migration und Weiterentwicklung von Software-Systemen. Wir laden Forscher*innen und Praktiker*innen herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden und Werkzeuge in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. ==== Was ist dieses Jahr besonders? ==== - Fachgruppensitzung / Wahl der FG-Leitung: In 2022 stehen Neuwahlen des Leitungsgremiums der Fachgruppe Software-Reengineering (SRE) an. Bitte denken Sie über mögliche Kandidat*innen oder sogar über eine eigene Kandidatur nach. Senden Sie gerne Vorschläge vorab an die derzeitigen FG-Sprecher. - 13. Workshop "Design For Future" des Arbeitskreises L2S2 "Langlebige Softwaresysteme" als besonderer Track des WSRE mit eigenem Call: http://akl2s2.ipd.kit.edu/veranstaltungen/dff2022/ - Student Papers: Wir rufen insbesondere den studentischen Nachwuchs (Bachelor- oder Master-Studierende) auf. Beiträge einzureichen und werden den besten Beitrag in dieser Kategorie prämieren. - Vorträge: Einblick in sowie Rückblick und Ausblick auf interessante Arbeiten und Ergebnisse rund ums Software-Reengineering und verwandte Themen aus Forschung und Praxis. Lernen und Diskutieren! - Networking: Interaktive Programmpunkte zum direkten Austausch und zur Vernetzung zwischen den Teilnehmer*innen inklusive eines Social Events und eines Conference Dinners. ==== Wann und wo? ==== Der Workshop findet vom 2.-4. Mai 2022 im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer*innen erfolgt wie üblich im Physikzentrum: https://www.dpg-physik.de/dpg/pbh/ Aufgrund der möglicherweise geltenden Corona-Bestimmungen behalten wir uns kurzfristige Änderungen am Format (hybrid, virtuell) und, falls notwendig, auch am Termin und Ort des Workshops vor. Information dazu werden über die Webseite und die Mailingliste https://fg-sre.gi.de/weiteres/mailingliste bereitgestellt. ==== Wie reiche ich einen Beitrag ein? ==== Eingereicht werden können Erfahrungs-, Ergebnis- und Projektberichte sowie Diskussionsbeiträge aus der Wissenschaft. Einreichung bitte über die EasyChair: https://easychair.org/conferences/?conf=wsre2022 Mögliche Themen sind u.a. Software-Analyse und -Transformation, Software-Qualität und Metriken, (intelligente) Wissensgewinnung aus Software-Repositorien, Software-Visualisierung, Analyse- und Reengineering-Werkzeuge, Continuous-Development-Ansätze, Wartung und Refactoring, Software-Migration und -Modernisierung, Modelle, Methoden, Prozesse für Reengineering und Software-Evolution, empirische Forschung und der Faktor Mensch im Reengineering, Wirtschaftlichkeit von Reengineering-Maßnahmen. Als Beiträge werden erweiterte Kurzfassungen in deutscher oder englischer Sprache auf maximal zwei Seiten im Format der Softwaretechnik-Trends erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE und Hinweise zum Format unter http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html ==== Wie ist der Zeitplan? ==== - Einreichung der Kurzfassungen: 11. März 2022 - Benachrichtigung über die Annahme: 31. März 2022 - Einreichung der druckfertigen Endfassung: 12. April 2022 - Anmeldeschluss zur Teilnahme: 12. April 2022 Kontakt? wsr at uni-koblenz.de FG SRE: Jens Knodel – Marco Konersmann – Torsten Görg – Matthias Gutheil – Stefan Sauer -- Dr. Jens Knodel Head of Platform Engineering Caruso GmbH I Harrlachweg 2 I 68163 Mannheim www.caruso-dataplace.com Caruso GmbH I Steinheilstraße 10 I 85737 Ismaning Managing Directors: Norbert Dohmen, Jürgen Buchert | registered Local Court Munich | HRB 233 669 From helma.torkamaan at uni-due.de Fri Dec 17 14:21:01 2021 From: helma.torkamaan at uni-due.de (Helma Torkamaan) Date: Fri, 17 Dec 2021 14:21:01 +0100 Subject: [fg-arc] ACM UMAP 2022 : First Call for Workshop and Tutorial Proposals Message-ID: <06e90816-75f5-7fbb-b112-477f09e2de58@uni-due.de> Please accept our apologies in case of multiple receptions. Please send it to interested colleagues. -------------------------------------------------------- # **30th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP'22)** Barcelona, Spain, and Online 4 - 7 July 2022 https://www.um.org/umap2022/ Proposal Submission Deadline: January 27, 2022 -------------------------------------------------------- **BACKGROUND AND SCOPE** ============================ **ACM UMAP'22** is pleased to invite proposals for workshops and tutorials to be held in conjunction with the conference. ACM UMAP is the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and which collect, represent, and model user information. We encourage both researchers and industry practitioners to submit workshop and tutorial proposals. We strongly suggest involving organizers from different institutions, bringing different perspectives to the workshop or tutorial topic. We welcome workshops and tutorials with a creative structure that may attract various types of attendees and ensure rich interactions. All the tutorials and workshops should support both virtual and physical attendance (although we hope physical to be the preferred option). -------------------------------------------------------- **Call for Workshop Proposals** ============================ The workshops provide a venue to discuss and explore emerging areas of User Modeling and Adaptive Hypermedia research with like-minded researchers and practitioners from industry and academia. -------------------------------------------------------- **Important Dates** ============================ - Proposals due: January 27, 2022 - Notification to proposers: February 10, 2022 - Workshop day(s): July TBD, 2022 All deadlines are 11:59 pm, AoE time (Anywhere on Earth). -------------------------------------------------------- **Workshop Formats** ============================ In this edition, our goal is to have a balanced workshop program, comprising workshops with different formats and addressing newly emerging, currently evolving and established research topics. Different schemas to organize the workshop are possible, such as: - Working group meetings around a problem or topic. - Mini-conferences on special topics, having their own paper submission and review processes. - Mini-competitions or challenges around selected topics with individual or team participation. - Interactive discussion meetings focusing on subtopics of the UMAP general research topics. - Joint panels for different workshops. The detailed instructions for the proposal content, the submission, the responsibilities, the proceedings and the registration are provided at https://www.um.org/umap2022/call-for-workshops/. -------------------------------------------------------- **Call for Tutorial Proposals** ============================ Tutorials are intensive instructional sessions that provide a comprehensive introduction to established or emerging research topics of interest for the UMAP community. -------------------------------------------------------- **Important Dates** ============================ - Proposals due: January 27, 2022 - Notification to proposers: February 10, 2022 - Tutorial day: July TBD, 2022 All deadlines are 11:59 pm, AoE time (Anywhere on Earth). -------------------------------------------------------- **Tutorial Topics** ============================ An ideal tutorial should be broad enough to provide a basic introduction to the chosen area, but it should also cover the most important topics in depth. Topics of interest include, but are not limited to: - New user modeling technologies, methods, techniques, and trends (e.g., exploiting data mining and big data analytics for user modeling, evaluation methodologies, data visualization, etc.). - User modeling and personalization techniques for specific domains (e.g., health, e-government, e-commerce, cultural heritage, education, internet of things, mobile, music, information retrieval, human-robot interaction etc.). - Application and impact of the user modeling and personalization techniques for information retrieval and recommender systems, including beyond-accuracy aspects (e.g., fairness). - Eliciting and learning user preferences by taking into account users'; emotional state, physical state, personality, trust, cognitive factors. The detailed instructions for the proposal content, the submission, the responsibilities, the proceedings and the registration are provided at https://www.um.org/umap2022/call-for-tutorials/. -------------------------------------------------------- **Workshop and Tutorial Chairs** ============================ - Mirko Marras, University of Cagliari, Italy - Elvira Popescu, University of Craiova, Romania - Contact: [umap2022-wt at um.org](mailto:umap2022-wt at um.org) From fm-announcements at lists.nasa.gov Thu Dec 9 16:56:58 2021 From: fm-announcements at lists.nasa.gov (Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements) Date: Thu, 9 Dec 2021 15:56:58 +0000 Subject: [fg-arc] [fm-announcements] Certified Programs and Proofs (CPP) 2022: Call for Participation Message-ID: *** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration deadline: 3 January 2022 - Getting a visa: https://popl22.sigplan.org/attending/visa-information - Registration: https://popl22.sigplan.org/attending/registration - Further reduced student participation fee: see below - Accommodation: https://popl22.sigplan.org/venue/POPL-2022-venue Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 17-18 January 2022 and will be co-located with POPL 2022. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and supported by a diverse set of industrial sponsors. Similarly to other events collocated with POPL 2022, CPP will take place as an in-person event at the Westin Philadelphia (99 South 17th Street at Liberty Place, 19103 Philadelphia), and will require attendees to provide proof of vaccination (details will be available soon). Authors who are unable to attend CPP in person will be able to present remotely. All talks will be recorded, and all recordings will be available either as a livestream or soon afterwards. For more information about this edition and the CPP series, please visit https://popl22.sigplan.org/home/CPP-2022 ### Invited talks * June Andronick (UNSW Sydney). The seL4 verification: the art and craft of proof and the reality of commercial support * Andrew W. Appel (Princeton). Coq’s vibrant ecosystem for verification engineering * Cesar Munoz (Currently at AWS, Formerly at NASA, USA). Structural Embeddings Revisited ### Accepted papers The list of accepted papers is available at https://popl22.sigplan.org/home/CPP-2022#event-overview ### Subsidized student registration To facilitate in-person participation of undergraduate and graduate students who require financial assistance, CPP 2022 offers the opportunity to register at a special reduced rate, determined on a case-by-case basis, and implemented using a special-purpose registration code on POPL's registration website. Students wishing to apply for such support may do so by sending an email to the CPP conference co-chairs (Beringer and Krebbers, see below for their email) preferably by December 24, 2021, with a brief description of their situation. Notifications will be sent out at most one week later; hence, students who cannot be supported will still have the opportunity to register at the publicly available reduced rate, which is available until January 3rd. Applications arriving after December 24th will be considered only in exceptional cases. Students who already receive registration support for PLMW or are supported by SIGPLAN PAC are not eligible. CPP's student support is made possible by our generous industrial supporters: https://popl22.sigplan.org/home/CPP-2022 ### Contact For any questions please contact the chairs: Andrei Popescu (PC co-chair) Steve Zdancewic (PC co-chair) Lennart Beringer (conference co-chair) Robbert Krebbers (conference co-chair) -------------- 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 danstru at chalmers.se Fri Dec 10 14:38:15 2021 From: danstru at chalmers.se (=?UTF-8?Q?Daniel_Str=c3=bcber?=) Date: Fri, 10 Dec 2021 14:38:15 +0100 Subject: [fg-arc] ICGT 2022: Call for Papers Message-ID: <388b2bdf-dafa-2805-d8ca-6467255b4eb6@chalmers.se> ======================================================= 15th International Conference on Graph Transformation ICGT 2022 - https://icgt2022.gitlab.io/ July 7-8, Nantes, France, co-located with STAF 2022 ======================================================= 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 - Abstract submission: February 21, 2022 - Paper submission: February 28, 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. 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) - 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. - 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 (details TBA). 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 announce at cs.ucy.ac.cy Sat Dec 11 11:17:34 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 11 Dec 2021 12:17:34 +0200 Subject: [fg-arc] 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022): First Call for Contributions Message-ID: <16CV8G33-5PNZ-UTK7-UTI1-DWQZQM54Z3XT@cs.ucy.ac.cy> *** First 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 • Georgios Gousios, Technical University Delft and Facebook, 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 cfp at mat.unical.it Mon Dec 13 21:28:53 2021 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Mon, 13 Dec 2021 21:28:53 +0100 Subject: [fg-arc] PADL 2022 - Call For Participation Message-ID: [apologies for multiple copies] === Call for Participation === 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) Philadelphia, Pennsylvania, United States 17-18th January 2022 https://popl22.sigplan.org/home/PADL-2022 Co-located with POPL 2022 == Venue and Conference Format == PADL 2022 is co-located with POPL 2022, which will be held in-person in Philadelphia at the Westin Philadelphia (https://www.marriott.com/hotels/travel/phlwi-the-westin-philadelphia). Authors that are unable to be at PADL in person can give their talk remotely. All talks will be recorded, and all recordings will be available either as a livestream or soon afterwards. For more details visit the POPL 2022 website: https://popl22.sigplan.org/ == Program == Conference program can be found at: https://popl22.sigplan.org/home/PADL-2022#program == Invited Talks== PADL 2022 features two invited talks: “People, Ideas, and the Path Ahead” by Marcello Balduccini (https://www.sju.edu/faculty/marcello-balduccini/) “Declarative Programming and Education” by Shriram Krishnamurthi (https://cs.brown.edu/~sk/) == Registration == Registration is open at: https://popl22.sigplan.org/attending/registration The early registration deadline is January 3. At least one author of each accepted paper must get registered. == Conference Description == Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. == Program Chairs == - James Cheney, University of Edinburgh - Simona Perri, University of Calabria == Program Committee == Andres Löh, WellTyped Chiaki Sakama, Wakayama University Daniela Inclezan, Miami University Ekaterina Komendantskaya, Heriot-Watt University Esra Erdem, Sabanci University Francesco Calimeri, University of Calabria Jan Christiansen, Flensburg University of Applied Sciences Konstantin Schekotihin, University of Klagenfurt Lionel Parreaux, Hong Kong University of Science and Technology Lukasz Ziarek, University at Buffalo, United States Marco Maratea, University of Genova Marina De Vos, University of Bath Martin Erwig, Oregon State University Martin Gebser, University of Klagenfurt Michael Greenberg, Stevens Institute of Technology Paul Tarau, University of North Texas Pavan Kumar Chittimalli, TCS Research, India Pedro Cabalar, University of Corunna Roly Perera, The Alan Turing Institute Tomas Petricek, University of Kent Torsten Grust, University of Tübingen Tran Cao Son, New Mexico State University Yukiyoshi Kameyama, University of Tsukuba From stefano.forti at di.unipi.it Thu Dec 16 11:14:19 2021 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Thu, 16 Dec 2021 11:14:19 +0100 Subject: [fg-arc] ESOCC 2022 - PhD Symposium CfP Message-ID: **** 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: January 14th, 2022 Paper notification: February 25th, 2022 Camera-ready version: March 11th, 2022 *** 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 Thu Dec 16 18:28:39 2021 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Thu, 16 Dec 2021 18:28:39 +0100 (CET) Subject: [fg-arc] [2nd CfP] ICLP 2022 - The 38th International Conference on Logic Programming Message-ID: <20211216172839.2110014087@software.imdea.org> ========================================================================= CALL FOR PAPERS ========================================================================= The 38th International Conference on Logic Programming (ICLP 2022) https://software.imdea.org/Conferences/ICLP2022/ Haifa, Israel August 2-8, 2022 ICLP 2022 will be a physical event in Haifa, Israel Part of the FLOC 2022 https://floc2022.org/ ========================================================================= Scope ***** Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations:Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education. Tracks and Special Sessions *************************** Besides the main track, ICLP 2022 will host additional tracks: ** Applications Track: this track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. ** Recently Published Research Track: this track provides a forum to discuss important results related to logic programming that appeared recently (from January 2020 onwards) in selective journals and conferences, but have not been previously presented at ICLP. In addition, ICLP 2022 will house: ** Doctoral Consortium and Mentoring Sessions: the Doctoral Consortium (DC) on Logic Programming provides students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare and succeed for a research career. We will have leaders in logic programming research from academia and industry to give invited talks on their research areas. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. ** Tutorials and Co-located Workshops. Important Dates *************** ** Abstract registration: January 14, 2022 ** Paper submission: January 21, 2022 ** Notification to authors (Regular papers): March 14, 2022 ** Revision submission (TPLP papers): April 1, 2022 ** Final notifications (all paper kinds): April 30, 2022 ** Camera-ready copy due (all paper kinds): May 16, 2022 ** Conference: July 31--August 8, 2022 Submission Details ****************** We note that papers accepted at ICLP may appear either in * Theory and Practice of Logic Programming Journal (TPLP), or * Technical Communication Proceeding (TC) published by Electronic Proceedings in Theoretical Computer Science (EPTCS) TPLP format is described at https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors EPTCS format is described at http://style.eptcs.org/ 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. Expected submissions: * For Main Track and Application Track: All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. ** Regular papers (14 pages in TPLP format, including references) The accepted regular papers will be published in TPLP. The program committee may recommend some regular papers to be published in Technical Communication Proceeding (TC). In this case, the papers will have to be reformatted into EPTCS format and not exceed 14 pages. Authors who submitted Regular papers that were accepted as TC may elect to convert their submissions into extended abstracts (2 or 3 pages in EPTCS format). This should allow authors to submit a long version elsewhere. ** Short papers (7 pages in EPTCS format, including references). The accepted short papers will be published in the Technical Communication Proceedings. * Recently Published Research Track ** Extended abstract (2 or 3 pages in EPTCS format) describing previously published research (from January 2020 onwards) in selective journals and conferences, but 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 EasyChair. The submission Web page for ICLP2022 is https://easychair.org/my/conference?conf=iclp2022 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 ** 10-year/20-year Test-of-Time Award Chairs Esra Erdem, Sabanci University, Turkey Paul Tarau, Univeristy of North Texas, USA ** Recently Published Research Track Chairs Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria Tuncay Tekle, Stony Brook University, 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 ========================================================================= Any additional question can be directed towards ICLP Chairs: iclp2022 at easychair.org ========================================================================= From U.K.Gadiraju at tudelft.nl Fri Dec 17 18:44:42 2021 From: U.K.Gadiraju at tudelft.nl (Ujwal Gadiraju) Date: Fri, 17 Dec 2021 17:44:42 +0000 Subject: [fg-arc] [ACM HT 2022] Call for Papers Message-ID: Hi everyone! **** Apologies for cross-posting **** The 33rd ACM Conference on Hypertext and Social Media (ACM HT) Barcelona*, Spain, June 28 - July 1, 2022 https://ht.acm.org/ht2022/ *co-located with ACM UMAP 2022 ### Call for Papers ### Due to the ongoing COVID-19 pandemic, we are planning for a hybrid conference and will accommodate online presentations where needed. ACM HT - Hypertext and Social Media conference - is a premium venue for high-quality peer-reviewed research on hypertext theory, systems and applications. It is concerned with all aspects of modern hypertext research including social media, linked open data and knowledge graphs, information exploration and visualisation, dynamic and computed hypermedia, as well applications for digital arts, culture, and humanities. ACM HT is sponsored by ACM SIGWEB. The proceedings are published by the ACM and will be part of the ACM Digital Library. Tracks: ================== HT 2022 will explore, study and shape a broad range of dimensions faced by modern hypertext studies, covering the following tracks chaired by leading researchers: * Social web content, language and network (chair: Marcelo Armentano) * Digital humanities, culture and society (chair: Jessica Rubart) * Information exploration and visualisation (chair: Claus Atzenbeck) * Personalized recommender systems (chairs: Markus Zanker, Eva Zangerle, Osnat Mokryn) Submissions: ================== HT 2022 will include high-quality peer-reviewed papers related to the above key areas. Maintaining the high quality and impact of the HT series, each paper will have three reviews by program committee members and a meta-review presenting the reviewers' consensual view; the review process will be coordinated by the program chairs in collaboration with the corresponding area chairs. * Peer reviewed, original, and principled research papers addressing both the theory and practice of HT and papers showcasing innovative use of HT and exploring the benefits and challenges of applying HT technology in real-life applications and contexts are welcome. Papers should present original reports of substantive new research techniques, findings, and applications of HT. They should place the work within the field and clearly indicate innovative aspects. Research procedures and technical methods should be presented in sufficient detail to ensure scrutiny and reproducibility. Results should be clearly communicated and implications of the contributions/findings for HT and beyond should be explicitly discussed. * Length: Papers should be at most 14 pages and will be reviewed according to the presented contributions. In other words, we don’t have a distinct category for short papers, which means that papers, no matter what page length, will be reviewed according to the same criteria. Publication: ================== Accepted papers will be published by ACM and will be available via the ACM Digital Library. Extended versions of selected papers presented at the conference could be selected to appear in different special issues in international journals according to the specific tracks (see the web site for details). At least one author of each accepted paper must register for the conference and present the paper there. Submission details will appear soon. Important Dates: ================== * 10 February 2022: Abstracts (mandatory) * 17 February 2022: Full Papers The submission time is 11:59pm AoE. Organization: ================== GENERAL CHAIRS Alejandro Bellogin, Universidad Autónoma de Madrid Ludovico Boratto, University of Cagliari PROGRAM CHAIR Federica Cena, University of Torino We look forward to your submissions! -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Tue Dec 21 16:53:55 2021 From: fm-announcements at lists.nasa.gov (Havelund, Klaus (US 348B) via fm-announcements) Date: Tue, 21 Dec 2021 15:53:55 +0000 Subject: [fg-arc] [fm-announcements] NFM 2022 - FINAL CALL FOR PAPERS Message-ID: <0A51779B-59D4-44B1-B9D9-23CFF5FAD980@jpl.nasa.gov> NFM 2022 – FINAL CALL FOR PAPERS The 14th NASA Formal Methods Symposium https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.caltech.edu%2F&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C3f277308e0784e198a8708d9c49a19d0%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637756988412205655%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=RZit6N9BO72zhZqfZw3aRHZARtEYbYrp8Xc%2BD82I9B0%3D&reserved=0 May 24-27, 2022 Pasadena, California, USA *** EXTENDED SUBMISSION DEADLINE: January 10, 2022 *** The symposium is planned to be held in person at California Institute of Technology, but potentially transitioning to fully virtual if the COVID situation persists. Virtual presentations will be possible even if the conference is held in-person. The symposium has NO registration fee for presenting and attending. IMPORTANT DATES - Abstract Submission: January 3, 2022 *** extended *** - Paper Submission: January 10, 2022 *** extended *** - Paper Notifications: February 28, 2022 - Camera-ready Papers: March 28, 2022 - Symposium: May 24-27, 2022 THEME OF SYMPOSIUM The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California. INVITED TALKS AND TUTORIALS - Dines Bjoerner, Technical University of Denmark, Denmark - Edwin Brady, University of St. Andrews, UK - Steve Chien, NASA Jet Propulsion Laboratory, USA - Ankush Desai, Amazon Web Services, USA - Daniel Jackson, MIT, USA - Julia Lawall, INTIA Paris, France - Anastasia Mavridou, KBR Inc / NASA Ames Research Center, USA - Leonardo De Moura, Microsoft Research, USA - Sriram Sankaranarayanan, University of Colorado Boulder, USA - Alex Summers, University of British Columbia, Canada - Emina Torlak, University of Washington, USA TOPICS ON INTEREST Topics of interest include, but are not limited to, the following aspects of formal methods: Advances in formal methods - Interactive and automated theorem proving - SMT and SAT solving - Model checking - Static analysis - Runtime verification - Automated testing - Specification languages, textual and graphical - Refinement - Code synthesis - Design for verification and correct-by-design techniques - Requirements specification and analysis Integration of formal methods techniques - Integration of diverse formal methods techniques - Use of machine learning and probabilistic reasoning techniques in formal methods - Integration of formal methods into software engineering practices. - Combination of formal methods with simulation and analysis techniques - Formal methods and fault tolerance, resilient computing, and self healing systems - Formal methods and graphical modeling languages such as SysML, UML, MATLAB/Simulink - Formal methods and autonomy, e.g., verification of systems and languages for planning and scheduling (PDDL, Plexil, etc.), self-sufficient systems, and fault-tolerant systems. Formal methods in practice - Experience reports of application of formal methods on real systems, such as autonomous systems, safety-critical systems, concurrent and distributed systems, cyber-physical, embedded, and hybrid systems, fault-detection, diagnostics, and prognostics systems, and human-machine interaction analysis. - Use of formal methods in systems engineering (including hardware components) - Use of formal methods in education - Reports on negative results in the development and the application for formal methods in practice. - Usability of formal method tools, and their infusion into industrial contexts. - Challenge problems for future reference by the formal methods community. The formulation of these papers can range from plain English description of a problem over formal specifications, to specific implementations in a programming language. NASA OPEN SOURCE Courageous authors, who want to delve in open source software being applied in real NASA missions, and find possible connections to and applications of Formal Methods, are invited to visit the open source repositories for the following two frameworks for programming flight software: - F' (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnasa.github.io%2Ffprime%2F&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C3f277308e0784e198a8708d9c49a19d0%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637756988412205655%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=%2FZTB0e7GTkQ8VGv9nSoCfhOHlYWXQz6TbZIS5v0j8zg%3D&reserved=0) - cFS (https://cfs.gsfc.nasa.gov/) SUBMISSIONS There are two categories of submissions: - Regular papers describing fully developed work and complete results (maximum 15 pages, excluding references); - Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages, excluding references). Additional appendices can be submitted as supplementary material for reviewing purposes. They will not be included in the proceedings. All papers must be in English and describe original work that has not been published. All submissions will be reviewed by at least three members of the Program Committee. Reviewing is Single-blind. We encourage authors to focus on readability of their submissions. Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C3f277308e0784e198a8708d9c49a19d0%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637756988412205655%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=WP7YOhZdYOy3WzMYFxf1oFOcwBQpYy9sCqxm7GeN3dA%3D&reserved=0). Papers must be submitted in PDF format at the EasyChair submission site: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dnfm2022&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C3f277308e0784e198a8708d9c49a19d0%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637756988412205655%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=BCFFTFpwBa6twmJiIqZGbt64v80kjFPRmVg%2BF36%2FV%2Bo%3D&reserved=0. Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fjournal%2F11334&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7C3f277308e0784e198a8708d9c49a19d0%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637756988412205655%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=AkGTwjyNUmqEImcNOPZKbZl%2FTtxRYeXZUCMJ4Lp3AZY%3D&reserved=0). ARTIFACTS Authors are encouraged, but not strictly required, to submit artifacts that support the conclusions of their work (if allowed by their institutions). Artifacts may contain software, mechanized proofs, benchmarks, examples, case studies and data sets. Artifacts will be evaluated by the Program Committee together with the paper. ORGANIZERS PC chairs - Klaus Havelund, JPL, USA - Jyo Deshmukh, USC, USA - Ivan Perez, NIA, USA Application Advisors - Robert Bocchino, JPL, USA - John Day, JPL, USA - Maged Elasaar, JPL, USA - Amalaye Oyake, Blue Origin, USA - Nicolas Rouquette, JPL, USA - Vandi Verma, JPL, USA Application advisors advise the PC chairs to ensure a strong connection to the problems facing NASA. Local Organizer - Richard Murray, Caltech, USA Scientific Advisor - Mani Chandy, Caltech, USA Program Committee - Aaron Dutle, NASA, USA - Alessandro Cimatti, Fondazione Bruno Kessler, Italy - Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA - Anne-Kathrin Schmuck, Max-Planck-Institute for Software Systems, Germany - Arie Gurfinkel, University of Waterloo, Canada - Bardh Hoxha, Toyota Research Institute North America, USA - Bernd Finkbeiner, CISPA Helmholtz Center for Information Security, Germany - Betty H.C. Cheng, Michigan State University, USA - Borzoo Bonakdarpour, Michigan State University, USA - Carolyn Talcott, SRI International, USA - Chuchu Fan, MIT, USA - Constance Heitmeyer, Naval Research Laboratory, USA - Corina Pasareanu, CMU, NASA, KBR, USA - Cristina Seceleanu, Mälardalen University, Sweden - Dejan Nickovic, Austrian Institute of Technology AIT, Austria - Dirk Beyer, LMU Munich, Germany - Doron Peled, Bar Ilan University, Israel - Erika Abraham, RWTH Aachen University, Germany - Ewen Denney, NASA, USA - Gerard Holzmann, Nimble Research, USA - Giles Reger, The University of Manchester, UK - Huafeng Yu, TOYOTA InfoTechnology Center USA, USA - Jean-Christophe Filliatre, CNRS, France - Johann Schumann, NASA, USA - John Day, Jet Propulsion Laboratory, USA - Julia Badger, NASA, USA - Julien Signoles, CEA LIST, France - Kerianne Hobbs, Air Force Research Laboratory, USA - Kristin Yvonne Rozier, Iowa State University, USA - Leonardo Mariani, University of Milano Bicocca, Italy - Lu Feng, University of Virginia, USA - Marcel Verhoef, European Space Agency, The Netherlands - Marie Farrell, Maynooth University, Ireland - Marieke Huisman, University of Twente, The Netherlands - Marielle Stoelinga, University of Twente, The Netherlands - Martin Feather, Jet Propulsion Laboratory, USA - Martin Leucker, University of Luebeck, Germany - Michael Lowry, NASA, USA - Misty Davies, NASA, USA - Natasha Neogi, NASA, USA - Nicolas Rouquette, Jet Propulsion Laboratory, USA - Nikos Arechiga, Toyota Research Institute, USA - Rajeev Joshi, Amazon Web Services, USA - Stanley Bak, Stony Brook University, USA - Sylvie Boldo, INRIA, France - Vandi Verma, NASA, USA - Willem Visser, Amazon Web Services, USA CONTACT Email: nfm2022 [at] easychair [dot] org -------------- 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 clemens.dubslaff at tu-dresden.de Tue Dec 28 22:49:40 2021 From: clemens.dubslaff at tu-dresden.de (Clemens Dubslaff) Date: Tue, 28 Dec 2021 21:49:40 +0000 Subject: [fg-arc] MARS@ETAPS'22: Call for Papers Message-ID: <22563b8c-0659-4716-8161-dab27e3d0148@MSX-T315.msx.ad.zih.tu-dresden.de> CALL FOR PAPERS QAVS 2022 Third Workshop on Quantitative Aspects of Variant-rich Systems 3 April 2022 @ ETAPS 2022, Munich, Germany https://qavs.edgecloud.de ============ Scope and Format System variants often arise by configuring parameters that have a direct impact on the system’s behavior. Most prominently, in feature-oriented system design, features describe optional or incremental system functionalities whose configuration is simply whether a feature is active or inactive. Since the configuration space usually suffers from an exponential blowup in the number of configuration parameters, such variant-rich systems require specialized methods for their design, implementation, and analysis. Quantitative aspects such as probability of failure, energy consumption, or also numerical parameter values gain more and more attention due to the rising impact of co-adaptive and autonomous cyber-physical systems. While there are well-developed methodologies for variant-rich systems that do not take quantitative specifications into account, research on quantitative aspects is still done in fairly isolated branches. The main goal of this workshop is to bring researchers of the field together and foster their collaboration, presenting the different approaches to deal with non-functional properties of variant-rich systems. ============ Topics of Interest The workshop is related but not limited to any combination of the following topics: design, modeling, implementation, analysis, verification OF performance, reliability, costs, stochastic effects IN feature-oriented systems, product lines, configurable systems =============== Submission Details The workshop solicits three kinds of submissions: • Regular papers that describe original research results or surveys, not exceeding 12 pages excluding references. • Short papers describing experiences, case studies, tools, work in progress, or exploratory ideas. Such papers should not exceed 6 pages excluding references. • Presentation-only submissions comprise an abstract that describes the tentative content of the talk. Such abstracts should not exceed 2 pages and may include already published material, unpublished work, and even challenges. All regular paper and short paper submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Artifacts required to judge the paper should be made available through an URL. Paper submission is done via EasyChair (https://easychair.org/conferences/?conf=qavs2022). All submissions must be written in English and formatted according to the guidelines for EPTCS papers (see http://info.eptcs.org). Presentation-only submissions will only be reviewed for suitability, while regular and short papers undergo a peer-reviewing process by at least three PC members where final versions will be published in the EPTCS workshop series in case of acceptance. At least one author of each accepted submission will need to register for the workshop and provide a presentation. As ETAPS 2022, the workshop is planned as an on-site event but with the possibility of virtual participation. =============== Important Dates Submission: 10 January 2022 Notification: 14 February 2022 Final version: 28 February 2022 Workshop: 3 April 2022 =============== Invited Speaker • Jan Křetínský (TU Munich, Germany) =============== Organizers • Maurice H. ter Beek (ISTI-CNR, Pisa, Italy) • Clemens Dubslaff (Technical University of Dresden, Germany) Program Committee • Sven Apel (Saarland University, Saarbrücken, Germany) • Christel Baier (Technical University of Dresden, Germany) • Maxime Cordy (University of Luxembourg, Luxembourg) • Erik de Vink (Eindhoven University of Technology, The Netherlands) • Uli Fahrenberg (EPITA Rennes, France) • Sebastian Junges (Radboud University Nijmegen, The Netherlands) • Axel Legay (UC Louvain, Belgium) • Alberto Lluch Lafuente (Technical University of Denmark, Denmark) • Mieke Massink (ISTI-CNR, Pisa, Italy) • Tatjana Petrov (University of Konstanz, Germany) • José Proença (CISTER Porto, Portugal) • Genaína Rodrigues (University of Brasilia, Brazil) • Christoph Seidl (IT University of Copenhagen, Denmark) • Thomas Thüm (University of Ulm, Germany) • Andrea Vandin (Sant'Anna School of Advanced Studies, Pisa, Italy) • Mahsa Varshosaz (IT University of Copenhagen, Denmark) -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5130 bytes Desc: not available URL: From francesco.osborne at open.ac.uk Thu Dec 30 21:36:40 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Thu, 30 Dec 2021 20:36:40 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Contributions Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Contributions ================== IMPORTANT DATES --------------- * Abstract submission: January 22, 2022 (AoE Time) * Full paper submission: January 29, 2022 (AoE Time) * Paper notification: March 12, 2022 (AoE Time) * Camera-ready paper: March 26, 2022 (AoE Time) ICWE 2022 AT A GLANCE --------------- 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 22nd edition of ICWE will accept contributions on a wide spectrum of topics related to Web Engineering, such as, among others: - 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 In addition to the research track, ICWE 2022 also seeks contributions of demos and posters, student papers to the PhD Symposium, tutorials, and workshops, which will be subject of individual calls. The conference will be held at Politecnico di Bari in Bari, Italy. Bari is a lively city located in the South-East part of Italy, easily reachable by car, train, and plane. Further information can be found at http://icwe2022.webengineering.org/. ORGANIZATION --------------- General Chair: - Tommaso Di Noia, Politecnico di Bari, Italy Program Co-Chairs: - Markus Schedl, Johannes Kepler University (JKU) Linz, Austria - In-Young Ko, Korea Advanced Institute of Science and Technology (KAIST), South Korea SUBMISSIONS TO THE RESEARCH TRACK --------------- This call addresses research contributions in one of the following categories: * Full papers: mature, original research contribution. Reported results must be supported by some type of validation, and also include a justification about the choice/suitability of the validation method. In addition, evidence of use in practice and/or demonstration of scalability is regarded as a plus. (15 pages) * Short papers: short papers presenting a discussion – analysis, criticism, proposal, etc. – about relevant aspects of Web engineering topics. These papers are intended to generate discussions that promise potential for research that will impact Web engineering in the coming years. (8 pages) Papers must be formatted according to the information for Springer LNCS authors at http://www.springer.de/comp/lncs/authors.html and submitted in PDF format. Papers submitted to ICWE 2022 must not be under review elsewhere while under consideration for ICWE 2022, nor may have been already previously published elsewhere. Please note that we strongly discourage authors to upload their ICWE submissions to arXiv while still being under review since doing so may hamper anonymity. Submissions that are not in compliance with the required submission format or that are out of the scope of the conference will be desk rejected without reviewing. Accepted contributions will be included into the ICWE 2022 Springer LNCS proceedings. The best papers will be selected to be proposed, in extended form, as part of a special issue of the Journal of Web Engineering. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form, through which the copyright for their paper is transferred to Springer. Submissions and reviewing are supported by the EasyChair system at https://easychair.org/conferences/?conf=icwe2022. CONTACT --------------- All questions about submissions should be emailed to icwe2022 at easychair.org. Further information can be found at http://icwe2022.webengineering.org. From jesse.heyninck at tu-dortmund.de Thu Dec 30 23:08:04 2021 From: jesse.heyninck at tu-dortmund.de (Heyninck, Jesse) Date: Thu, 30 Dec 2021 22:08:04 +0000 Subject: [fg-arc] 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) Message-ID: <04bdfcffc97940b99f3bc5a7155333c5@tu-dortmund.de> SECOND CALL FOR PAPERS 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) July 31 - August 5, 2022, Haifa, Israel https://kr2022.cs.tu-dortmund.de/ Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. ** IMPORTANT DATES ** * Submission of title and abstract: February 2, 2022 * Paper submission deadline: February 9, 2022 * Author response period: March 29-31, 2022 * Author notification: April 15, 2022 * Camera-ready papers: May 7, 2022 * Conference: July 31 - August 5, 2022 ** SCOPE ** We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Topics of interest include, but are not limited to: - Applications of KR - Argumentation - Belief revision, belief update and belief merging - Commonsense reasoning - Computational aspects of knowledge representation - Concept formation, similarity-based reasoning - Contextual reasoning - Decision making - Description logics - Explanation finding, diagnosis, causal reasoning, abduction - Geometric, spatial, and temporal reasoning - Inconsistency- and exception-tolerant reasoning - KR and autonomous agents and multi-agent systems - KR and cognitive modelling - KR and cognitive reasoning - KR and cognitive robotics - KR and cognitive systems - KR and cyber security - KR and education - KR and game theory - KR and machine learning, inductive logic programming, knowledge acquisition - KR and natural language processing and understanding - KR and the Web, Semantic Web - Knowledge graphs and open linked data - Knowledge representation languages - Logic programming, answer set programming - Modelling and reasoning about preferences - Multi- and order-sorted representations and reasoning - Nonmonotonic logics, default logics, conditional logics - Ontology formalisms and models - Ontology-based data access, integration, and exchange - Philosophical foundations of KR - Qualitative reasoning, reasoning about physical systems - Reasoning about actions and change, action languages - Reasoning about constraints, constraint programming - Reasoning about knowledge, beliefs, and other mental attitudes - Uncertainty, vagueness, many-valued and fuzzy logics The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. ** TRACKS AND SPECIAL SESSIONS ** In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics The Recently Published Research track, workshops, tutorials, and the doctoral consortium have different submission and notification dates, which are listed on the conference website. ** CO-LOCATED EVENTS ** KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel (https://floc2022.org/), and will be co-located with the 20th International Workshop on Non-Monotonic Reasoning (NMR 2022) and the 35th International Workshop on Description Logics (DL 2022). ** AUTHOR GUIDELINES AND SUBMISSION INFORMATION ** All submissions must be written in English and formatted using the style files provided on the KR'22 website. Papers must be submitted in PDF format, through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2022 For the main conference track and additional tracks/sessions (except for the Recently Published Research track), we invite: - Full papers of up to 9 pages, including abstract, figures, and appendices (if any), but excluding references and acknowledgements. - Short papers of up to 4 pages, excluding references and acknowledgements. Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXiv). Authors may optionally submit a separate PDF containing additional information that substantiates the claims made in their paper, such as proof details, additional experimental results, further details on experimental design, etc. If authors wish to make such material available to reviewers, they should do so by submitting a file through EasyChair, rather than by including links or references in their paper. The main paper must be self-contained, as the supplementary material will not be published. Reviewers will have the option, but not the obligation, to consult the supplementary material. The preceding submission guidelines apply to the main track, as well as to the Applications and Systems track, the KR & Machine Learning special session, and the KR & Robotics special session. Different submission guidelines apply to the Recently Published Research track, workshops, tutorials, and the Doctoral Consortium, which will be announced separately. ** CONFERENCE CHAIRS ** General Chair: Gerhard Lakemeyer (RWTH Aachen University, Germany) Program Chairs: Gabriele Kern-Isberner (TU Dortmund, Germany) Thomas Meyer (University of Cape Town and CAIR, South Africa) Workshop and Tutorial Chairs: Stefan Borgwardt (TU Dresden, Germany) Maria Vanina Martinez (University of Oxford, UK) Applications & Systems Track Chairs: Alessandro Antonucci (IDSIA, Switzerland ) Matthias Thimm (University of Hagen, Germany) Special Session on KR & Machine Learning Chairs: Steven Schockaert (Cardiff University, UK) Fabio Cozman (University of Sao Paulo, Brazil) Special Session on KR & Robotics Chairs: Gabriella Cortellessa (National Research Council, Italy) Enrico Motta (The Open University, UK) Recently Published Research Track Chairs: Ivan Varzinczak (Université d’Artois and CRIL, France) Sebastian Rudolph (TU Dresden, Germany) Doctoral Consortium Chairs: Giovanni Casini (ISTI - CNR Pisa, Italy) Jandson Santos Ribeiro Santos (University of Hagen, Germany) Local Chair: Ofer Arieli (Academic College of Tel Aviv-Yaffo, Israel Sponsorship Chairs: Martin Homola (Comenius University of Bratislava, Slovakia) Vladislav Ryzhikov Birkbeck (University of London, UK) Publicity Chairs: Elena Botoeva (University of Kent, UK) Jesse Heyninck (TU Dortmund, Germany, and University of Cape Town and CAIR, South Africa) Marco Wilhelm (TU Dortmund, Germany) Diversity and Inclusion Chairs: Renata Wassermann (University of Sao Paulo, Brazil) Yazmin Ibanez-Garcia (Cardiff University, UK) Abhaya Nayak (Macquarie University, Sydney, Australia) 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: