From inclezd at miamioh.edu Wed Oct 5 23:00:06 2022 From: inclezd at miamioh.edu (Inclezan, Daniela) Date: Wed, 5 Oct 2022 17:00:06 -0400 Subject: [fg-arc] [CfP] PADL 2023: Final Call for Papers (with updated deadlines!) Message-ID: [Apologies for cross-posting. Please forward to whomever you think may be interested.] ============================================================================== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023 ============================================================================== FINAL DEADLINES: ---------------- Abstract submission: October 12, 2022 (AoE) Paper submission: October 19, 2022 (AoE) 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. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2023 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2023 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2023 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://easychair.org/conferences/?conf=padl2023 Important Dates (UPDATED!) -------------------------- Abstract submission: October 12, 2022 (AoE) Paper submission: October 19, 2022 (AoE) Notification: November 15, 2022 Camera-ready papers: December 1, 2022 Symposium: January 16-17, 2023 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming , and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2023 PC Co-Chairs ---------------------- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee ------------------- Andreas Abel Gothenburg University, Sweden Annette Bieniusa TU Kaiserslautern, Germany Joachim Breitner Epic Games, Germany William Byrd University of Alabama at Birmingham, USA Pedro Cabalar University of Corunna, Spain Francesco Calimeri University of Calabria, Italy Stefania Costantini University of L'Aquila, Italy Esra Erdem Sabanci University, Turkey Martin Gebser University of Klagenfurt, Austria Robert Glueck University of Copenhagen, Denmark Gopal Gupta University of Texas at Dallas, USA Michael Hanus CAU Kiel, Germany (co-chair) Daniela Inclezan Miami University, USA (co-chair) Tomi Janhunen Tampere University, Finland Patricia Johann Appalachian State University, USA Yukiyoshi Kameyama University of Tsukuba, Japan Ekaterina Komendantskaya Heriot-Watt University, UK Simona Perri University of Calabria, Italy Enrico Pontelli New Mexico State University, USA Tom Schrijvers Katholieke Universiteit Leuven, Belgium Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Peter Van Roy Universite catholique de Louvain, Belgium Janis Voigtlaender University of Duisburg-Essen, Germany Ningning Xie University of Cambridge, UK Contact Address --------------- padl2023 _AT_ easychair.org ------------------------------------------------------------------------------- -- Daniela Inclezan Mary Lou Schallek Associate Professor CSE Graduate Program Director Committee Chair of the Humanitarian Engineering and Computing Minor Miami University 205C Benton Hall 510 E. High St, Oxford, OH 45056 T: 513-529-0355 | MiamiOH.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From Iris.Groher at jku.at Mon Oct 10 14:02:57 2022 From: Iris.Groher at jku.at (Iris Groher) Date: Mon, 10 Oct 2022 14:02:57 +0200 Subject: [fg-arc] =?utf-8?q?Aufruf_zur_Einreichung_von_Workshop-Beitr?= =?utf-8?q?=C3=A4gen_bei_der_SE_2023?= Message-ID: <2116F060-CF0E-4BE1-B4B4-6E972D585A1D@jku.at> Gemeinsamer Aufruf zur Einreichung von Workshop-Beiträgen bei der SE 2023 Die Tagung Software Engineering (SE) der Gesellschaft für Informatik (GI) findet vom 20.-24. Februar 2023 in Paderborn statt. Sie dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler und Softwareentwicklerinnen aus der Praxis, als auch an Forscherinnen und Forscher aus dem akademischen Umfeld. Im Rahmen der SE 2023 werden die drei folgenden Workshops am 20. und 21.02.2023 stattfinden: - 5. Workshop für Avionics Systems- und Software-Engineering (AvioSE'23) - 4. Workshop für Anforderungsmanagement in Enterprise Systems-Projekten (AESP'23) - 20. Workshop für Automotive Software Engineering (ASE'23) Die Einreichungsfrist für Beiträge zu den Workshops ist der 02.12.2022. Für die Einreichung von Beiträgen ist die GI LNI-Vorlage (https://github.com/gi-ev/LNI) zu verwenden. Alle angenommenen Beiträge werden in einem gemeinsamen Workshopband in der GI Digital Library veröffentlicht. Weitere Details zu den Workshops ================================ https://se-2023.gi.de/programm/workshops ------------------------------------------------------------------------------- 5. Workshop für Avionics Systems- und Software-Engineering (AvioSE'23) Bjoern Annighoefer, University of Stuttgart, Institute of Aircraft Systems Andreas Schweiger, Airbus Defence and Space GmbH, Manching https://aviose-workshop.github.io/ Die Software-Entwicklung in der Luft- und Raumfahrt ist geprägt von hohen Anforderungen an die Fehlertoleranz, zunehmender Komplexität, neuen Anwendungen, steigendem Zertifizierungsaufwand und zunehmendem Kostendruck. Neue Software­-Entwicklungs­methoden werden benötigt, um zukünftige Anwendungen wie z.B. Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung der Flugzeugbesatzung und die weitere Verbesserung bestehender Funktionen umsetzen zu können. Gleichzeitig existieren ungelöste Herausforderungen in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung für Multicore-Prozessoren, künstliche Intelligenz (KI) sowie Sicherheit von Software, Hardware und Konnektivität. Ziel des Workshops ist der Austausch über Software- und Systems-Engineering-Methoden und -Werkzeuge mit einer Anwendung in der Avionik. Erwünscht sind Präsentationen von neuen Methoden und Technologien in diesem Bereich. Es handelt sich um eine eintägige Veranstaltung mit Vorträgen, Keynotes und Diskussionen. Teilnehmer auch aus außerhalb der Luft- und Raumfahrt sind herzlich willkommen. ------------------------------------------------------------------------------- 4. Workshop für Anforderungsmanagement in Enterprise Systems-Projekten (AESP'23) Christoph Weiss, SIS Consulting GmbH, Innsbruck, Austria Johannes Keckeis, SIS Consulting GmbH, Innsbruck, Austria https://www.sis-consulting.com/se23-anforderungsmanagement-in-enterprise-systems-projekte/ Viele Enterprise Systems-Auswahl-, Einführungs- und Weiterentwicklungsprojekte scheitern aufgrund fehlender, falscher, mangelhafter bzw. lückenhafter Anforderungen. Dies darum, weil es in diesen Projekten häufig falsche Erwartungshaltungen, Definitions- und Meinungsverschiedenheiten zum Anforderungsmanagement zwischen Kunden und Lieferanten gibt. Neben den von Enterprise Systems getriebenen Anforderungen sehen sich Unternehmen bei Enterprise Systems-Projekten oft mit zusätzlichen organisatorischen Anforderungen und Herausforderungen konfrontiert wie bspw.: - Neue oder geänderte Geschäftsprozesse - Neue oder geänderte Unternehmensorganisation - Bedarf, Kapazität und Verfügbarkeit der relevanten Projekt-Personals wie bspw. Key-User - ERP- und Prozesskompetenz der Mitarbeiter - ERP Fähigkeit der Organisation und des Personals - Finanzierung und Budgetierung – Operationalisierung von agilen Methoden Diese Herausforderungen sollen bei diesem Workshop aufgezeigt, besprochen und diskutiert werden. ------------------------------------------------------------------------------- 20. Workshop für Automotive Software Engineering (ASE'23) Prof. Dr. Stefan Kugele, Technische Hochschule Ingolstadt Prof. Dr. Lars Grunske, Humboldt-Universität zu Berlin https://ase-workshop.github.io/2023/ Wie seine Vorgänger setzt sich der 20. Workshop Automotive Software Engineering mit der Problematik der Softwareentwicklung im Automobilbereich und folglich mit dafür geeigneten Methoden, Techniken und Werkzeugen auseinander. Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den Herausforderungen des vollautomatisierten Fahrens spielt die Automobilsoftware heutzutage mehr denn je eine wichtige Rolle. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind erwünscht. Assoz. Univ.-Prof. in Dr.in Iris Groher Institute of Business Informatics – Software Engineering Dean for Teaching & Learning (JKU Business School) Program Director Business Informatics (Bachelor) JOHANNES KEPLER UNIVERSITY LINZ Altenberger Straße 69 S3 0085 4040 Linz, Austria P +43 732 2468 4259 F +43 732 2468 4245 iris.groher at jku.at www.se.jku.at https://www.jku.at/business-school/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From shang at encs.concordia.ca Wed Oct 12 15:44:13 2022 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Wed, 12 Oct 2022 09:44:13 -0400 Subject: [fg-arc] [Extend of deadline] SPEC Kaivalya Dixit Distinguished Dissertation Award 2022 Message-ID: The SPEC Kaivalya Dixit Distinguished Dissertation Award ( https://research.spec.org/awards/call-for-nominations/) aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. The winner will receive $1000, which will be awarded at the ACM/SPEC International Conference on Performance Engineering (ICPE 2023). Nomination Guidelines A nomination consists of one PDF file less than 20MB that must include the following information in this order: A nomination letter with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. The nomination letter should outline the outstanding contributions of the dissertation and should not exceed 2 pages (letter size) using 11 point font. A C.V. of the nominee (up to three pages) that clearly marks all publications/technical reports that are included in the dissertation. The dissertation itself, including a one-page extended abstract of the dissertation. The dissertation may be accompanied by publications describing the same research as the dissertation. However, the dissertation itself also needs to be submitted. SPEC Kaivalya Dixit Distinguished Dissertation Award is open to dissertations that have been defended between October 2021 and September 2022. If there are several outstanding submissions, the committee may choose to split the award. Nominations should be uploaded to EasyChair at URL: https://easychair.org/conferences/?conf=specaward2022. The submission system will open at the end of June, with a hard nomination deadline of *October 21st*, AOE. Nominations can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people – especially experts in performance evaluation – can do so as well. List of Topics The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. Selection committee Philipp Leitner (Chalmers and University of Gothenburg, SE), selection committee chair Cristina Abad (University in Guayaquil, Ecuador) Sven Apel (Saarland University,Germany) Varsha Apte (IIT Bombay, India) Robert Birke (ABB, Switzerland) Klaus-Dieter Lange (HP Enterprise, US) Manoj Nambiar (Tata Consultancy Services, India) Alexander Podelko (Amazon Web Services, US) Contact All questions about submissions should be emailed to nominations at spec dot org. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Oct 13 13:32:35 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 13 Oct 2022 14:32:35 +0300 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Call for Late Breaking Results Message-ID: <6CNPGDRG-3QCX-3JAP-WNWI-UTXXVW2CO10@cs.ucy.ac.cy> *** Call for Late Breaking Results *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Virtual Event https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) *** Deadline: November 1st AoE (firm!) *** IHAW 2022 accepts now submissions for late breaking results. The instructions to authors remain the same, as for the regular submissions. Accepted papers will be published in the same proceedings volume with the regular submissions and will be eligible both for the Best Paper Award and to be selected for the special journal issues that will be prepared after the conference. ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics • Artificial Intelligence methods for medical device testing. • Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). • Algorithms, methods and services for predicting and monitoring infectious disease. • Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. • Medical Data and/or Medical Image Analysis. • Electronic Medical Records Analysis. • Computational methods for medical devices. Human Computer Interaction and Cognition • Human-Machine Interaction for healthcare and well-being. • Cognitive Mechatronics for healthcare and well-being. • Models for human-device interaction for medicine. • Cobotics for healthcare and well-being. • Model-based design and configuration tools for healthcare and well-being. Assistive Devices • Precision medicine. • ICT for in-silicon trials. • Implantable medical devices. • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing • Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). • Smart Systems and services promoting access to the socio-economical and cultural environment. • IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. • eHealth smart solutions in the fight against a COVID-19 like pandemic. • IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services • Distributed and connected digital healthcare services. • IoT services for real-time monitoring of health data and status of patients and/or older adults. • Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. • mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. • Sustainable city environments for emergency health management. • 5G and beyond for healthcare in sustainable smart cities. • Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems • New experimental validation methods with end-users. • Systems and services for ensuring patient’s commitment to the medication schedule. • Digital health systems and tools for health care professional training and workforce development. • Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. • Methods and Technology for Improving the quality of services-oriented care delivery systems. • Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. • Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization • Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). • Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). • Security and privacy of digital health systems and service. • Socio-economic issues of smart healthcare in sustainable societies. • Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates • Submission Deadline: November 1, 2022 (AoE, firm!) • Notification: November 15, 2022 • Camera-Ready Submission Deadline: November 24, 2022 • Author Registration Deadline: November 24, 2022 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair • Jessica Allingham, Lakehead University, Canada Finance Chair • Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee • https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Oct 13 16:54:42 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 13 Oct 2022 17:54:42 +0300 Subject: [fg-arc] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_Us?= =?utf-8?q?er_Modeling=2C_Adaptation_and_Personalization=3A_Preliminary_Ca?= =?utf-8?q?ll_for_Papers?= Message-ID: *** Preliminary Call for Papers *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/  ACM UMAP is the premier international conference for researchers and practitioners working on systems that adapt to individual users or groups of users, and that collect, represent, and model user information. ACM UMAP  is sponsored by ACM SIGCHI and SIGWEB. User Modeling Inc., as the core Steering Committee, oversees the conference organization. The proceedings, published by ACM, will be part of the ACM Digital Library. The theme of UMAP 2023 is "Personalization in Times of Crisis”. Specifically, we welcome submissions that highlight the impact that critical periods (such as the COVID-19 pandemic, ongoing wars, and climate change, to name a few) can have on user modeling, personalization, and adaptation of (intelligent) systems; the focus is on investigations that capture how these trying times may have influenced user behavior and whether new models are required.  While we encourage submissions related to this theme, the scope of the conference is not limited to the theme only. As always, contributions from academia, industry, and other organizations discussing open challenges or novel research approaches are expected to be supported by rigorous evidence appropriate to the claims (e.g., user study, system evaluation, computational analysis). Important Dates • Paper Abstracts: January 19, 2023 (mandatory) • Full paper: January 26, 2023 • Notification: April 11, 2023 • Camera-ready: May 2, 2023 • Conference: June 26 - 29, 2023 Note: The submissions deadlines are at 11:59 pm AoE time (Anywhere on Earth) Conference Topics We welcome submissions related to user modeling, personalization, and adaptation of (intelligent) systems targeting a broad range of users and domains. Detailed descriptions and the suggested topics for each track will be available shortly in the extended version of the CFP on the UMAP 2023 website. Personalized Recommender Systems This track invites works from researchers and practitioners on recommender systems. In addition to mature research works addressing technical aspects of recommendations, we welcome research contributions that address questions related to user perception, decision-making, and the business value of recommender systems. Adaptive, Semantic, Knowledge, and Social Graphs This track welcomes works focused on the use of knowledge representations (i.e., novel knowledge bases), graph algorithms (i.e., graph embedding techniques), and social network analysis at the service of addressing all aspects of personalization, user model building, and personal experience in online social systems. Moreover, this track invites works in adaptive hypermedia, as well as semantic and social web. Intelligent User Interfaces This track invites works exploring how to make the interaction between computers and people smarter and more productive, leveraging solutions from human-computer interaction, data mining, natural language processing, information visualization, and knowledge representation and reasoning. Personalizing Learning Experiences through User Modeling This track invites researchers, developers, and practitioners from various disciplines to submit their innovative learning solutions, share acquired experiences, and discuss their modeling challenges for personalized adaptive learning. Fairness, Transparency, Accountability, and Privacy Researchers, developers, and practitioners have a social responsibility to account for the impact that technologies have on individuals (users, providers, and other stakeholders) and society. This track invites works related to the science of building, maintaining, evaluating, and studying adaptive systems that are fair, transparent, respectful of users’ privacy, beneficial to society, and accountable for their impacts. Personalization for Persuasive and Behavior Change Systems This track invites submissions focused on personalization and tailoring for persuasive technologies, including but not limited to personalization models, user models, computational personalization, design, and evaluation methods. It also welcomes work that brings attention to the user experience and designing personalized and adaptive behavior change technologies. Virtual Assistants, Conversational Interactions, and Personalized Human-robot Interaction This track invites works investigating new models and techniques for adapting synthetic companions (e.g., virtual assistants, chatbots, social robots) to individual users. With the conversational modality so in vogue across disciplines, this track welcomes work highlighting the model and deployment of synthetic companions driven by conversational search and recommendation paradigms. Research Methods and Reproducibility This track invites submissions on methodologies to evaluate personalized systems, benchmarks, and measurement scales, with particular attention to the reproducibility of results and techniques. Furthermore, the track looks for submissions that report new insights from reproducing existing works.   Submission and Review Process Submissions for any of the aforementioned tracks should have a maximum length of *14 pages* (excluding references) in the ACM new single-column format (https://www.acm.org/publications/proceedings-template). (Papers of any length up to 14 pages are encouraged; reviewers will comment on whether the size is appropriate for the contribution.)  Additional review criteria and submission link will be available shortly on the conference website: https://www.um.org/umap2023/ . Accepted papers will be included in the conference proceedings and presented at the conference. At least one author should register for the conference by the early registration date cut-off. UMAP uses a *double-blind* review process. Authors must omit their names and affiliations from their submissions; they should also avoid obvious identifying statements. For instance, citations to the authors' prior work should be in the third person. Submissions not abiding by anonymity requirements will be desk rejected.   UMAP has a *no dual submission* policy, which is why full paper submissions should not be currently under review at another publication venue. Further, UMAP operates under the ACM Conference Code of Conduct (https://www.acm.org/about-acm/policy-against-harassment). Program Chairs • Julia Neidhardt, TU Wien, Austria  • Sole Pera, TU Delft, The Netherlands          Contact information: umap2023-program at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Oct 14 16:14:59 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 14 Oct 2022 17:14:59 +0300 Subject: [fg-arc] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): First Call for Workshops and Minisymposia Message-ID: *** First Call for Workshops and Minisymposia *** 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023) August 28 - September 1, 2023, St. Raphael Resort, Limassol, Cyprus http://2023.euro-par.org SCOPE Euro-Par is the prime European conference covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to applications, from architecture, compiler, language and interface design and implementation, to tools, support infrastructures, and application performance aspects. To provide a meeting point for researchers to discuss and exchange new ideas and hot topics related to parallel and distributed computing and their applications, Euro-Par 2023 will co-locate workshops and, for the first time, minisymposia with the main conference. This is an invitation to send proposals for the workshop and, for the first time, a minisymposium program. Both workshops and minisymposia will be held on August 28 - August 29, 2023, the first two days of the conference. WORKSHOPS Workshop Proposal Guidelines The proposals should include the following information: - Workshop title and acronym, preference for length (half or full-day) - Information of the organizers, including a short biography of each organizer (5-10 lines). Each workshop will have a single main organizer, the corresponding contact. Others can be co-organizers. All the organizers must be a staff member at an institution or a company, and no PhD or other students can be organizers. - A tentative program committee (10-15 members) - Motivation of the workshop: * scientific objective * interest to the Euro-Par community * positioning with respect to the currently existing Euro-Par workshops - Description of the workshop: * content * format (contributed papers, invited talks, panels, posters or any other kind of activity including european project meetings) * organizational aspects - Workshop background (number of previous editions jointly with Europar or in any other format) - Link to international projects/initiatives The decision about the acceptance/rejection of a workshop proposal will be made on the basis of the overall quality of the proposal and the degree to which it matches the scope of the conference. In the case that several workshop proposals have very similar objectives and scopes, a merge of overlapping workshops may be recommended. The topics covered by a workshop should not overlap with the main topics of the conference. Decisions will be made on a rolling basis. Proposals can already be sent, and the organizers may be notified before the notification deadline in case of a strong proposal. Workshop Organizer Responsibilities - Preparing the call for papers for the workshop and publicizing it - Preparing and maintaining the workshop Web site including the relevant sections according to the organization guidelines - Selecting the workshop program committee considering that each member of the committee should make at least one review - Selecting papers through a rigorous peer-review process including at least three reviews per submission using the provided EasyChair installation and considering the possible conflicts of interest - Delivering the final workshop program to the Euro-Par 2020 conference co-chairs in time - Delivering the preliminary workshop proceedings in time before the conference - Providing the Euro-Par Steering Committee with a Management Report, after the conference, with key indicators such as: number of submitted and accepted papers, program committee and review process management - Delivering the final workshop proceedings with a revised version of the papers in time after the conference in the required Springer LNCS format (12 pages max.) and writing a preface to the workshop. Camera-ready papers will be published only if the management report has been delivered - Short papers can be accepted and presented at the workshop. However, to be included in the formal Springer proceedings, the minimum length is of 10 pages per paper - Registering for the conference - Meet the deadlines according to the organization guidelines Workshop Proceedings and Paper Review The workshop proceedings will be published in a separate LNCS workshop volume after the conference. The principal coordinator of each workshop will appear as co-editor of the workshop volume. Registered workshop participants will receive an electronic copy of the volume by email. All authors of accepted papers will be requested to sign a Springer copyright form. The Euro-Par organizers will provide an EasyChair setup for all Euro-Par 2020 workshops, and its use is mandatory to facilitate paper submissions, reviewing, and collecting the camera-ready versions. The workshop papers will not be published in the proceedings otherwise. Each workshop will be an independent track within the Workshops' EasyChair installation, but it will be fully manageable by the respective organizers. Papers of less than 10 pages will be considered as short papers that can be presented at the conference but not published in the proceedings. (Submission address and deadline at the end) MINISYMPOSIA A minisymposium is a session of coordinated presentations for promoting interdisciplinary communication on a topic of current interest and importance in the field of parallel and distributed computing, ideally having potential application in other domains. The length and program will be decided by the organizers; half-day (three-hour) minisymposia are very welcome, longer is possible, not exceeding one day (6 hours). The contributions to the minisymposia will not be published in the proceedings. Minisymposium Proposal Guidelines The proposals should include the following information: - Minisymposium title and acronym, preference for length (half or full-day) - Information of the organizers (full name, affiliation, country and email address), including a short biography of each organizer (5-10 lines). Each minisymposium will have a single main organizer, the corresponding contact. Others can be co-organizers. - Motivation and scope of the minisymposium: * Problem area to be addressed by the speakers and possible applications [max 1500 characters]; * Description of target audience and estimated number of participants [max 1500 characters] * Link to international projects/initiatives - Format (contributed papers, invited talks, panels, posters or any other kind of activity including European project meetings), - Speakers: * a tentative list of speakers detailing their names, affiliation, email address and title of their presentations. Nominated speakers should be approached in advance and should have agreed that they will participate. * companies and/or institutions involved Minisymposium Selection Process All the submitted proposals will be assessed by the organizing committee. The decision about the acceptance/rejection of a minisymposium proposal will be made on the basis of the overall quality of the proposal and the degree to which it matches the scope of the conference. Overlapping minisymposia will be avoided (or possibly merged). Decisions will be made on a rolling basis. Proposals can already be sent, and the organizers may be notified before the notification deadline. Minisymposium Organizer Responsibilities Minisymposium organizers will be in charge of making publicity of the minisymposium and specify the number of talks and other activities. The contributions will be sent to the same web page as the contributions for the workshops. The review process will be decided by the minisymposium organizers. One of the organizers will be the contact with the conference organization. - Preparing the call for papers for the workshop and publicizing it - Preparing and maintaining the minisymposium website mentioning the Euro-Par vinculation. - Deciding the length of the minisymposium, the program and type of activities and the names of the speakers. - Use the provided EasyChair installation for receiving the contributions - Delivering the program to the Euro-Par 2023 conference co-chairs in time - Providing the Euro-Par Steering Committee with a Management Report, after the conference, summarizing the experience and including number of persons involved in the activities as well as any consideration useful for future editions. - Registering for the conference as well as all the participants to the minisymposium. - Meet the deadlines according to the organization guidelines Minisymposium publication The contributions to the minisymposia will not be published in the proceedings. However, the organizers are invited to send one non-compulsory 4-page summary of the minisymposium. The document should summarize the scientific discussion promoted by the minisymposium and it will be published in the same LNCS volume as the workshop proceedings after the conference. The authors of the summary will be requested to sign a Springer copyright form. SUBMISSION (for Workshop and Minisymposium Organizers) Workshop and Minisymposium proposals should be sent in PDF format via email to the workshop co-chairs (contact details at the end of this call). An email verification will be sent to each successful submission. In case the verification is not received, submitters are asked to contact the workshop chairs. IMPORTANT DATES (for Workshop and Minisymposium Organizers) - Workshop and minisymposium proposals due: February 10, 2023 - Workshop and minisymposium notifications: February 24, 2023 - Workshop website online and launches of Call for Workshop Papers: March 24, 2023 - Workshop and minisymposium dates: August 28-29, 2023 - Workshop and minisymposium management report summarizing the experience and results of the activity due: September 15, 2023 WORKSHOP CO-CHAIRS - Demetris Zeinalipour, University of Cyprus, Cyprus (dzeina-AT-ucy.ac.cy) - Dora Blanco Heras, University of Santiago de Compostela, Spain (dora.blanco-AT- usc.es) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Oct 15 13:12:23 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 15 Oct 2022 14:12:23 +0300 Subject: [fg-arc] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_Us?= =?utf-8?q?er_Modeling=2C_Adaptation_and_Personalization=3A_First_Call_for?= =?utf-8?q?_Workshop_and_Tutorial_Proposals?= Message-ID: *** First Call for Workshop and Tutorial Proposals *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/  Proposals due: January 16, 2023 Submission site: https://easychair.org/conferences/?conf=umap23 PROPOSAL FORMAT Workshop and tutorial proposals should be submitted in PDF format via the Easy Chair submission site: https://easychair.org/conferences/?conf=umap23, not exceeding 5 pages, and following the ACM single-column format. DETAILED INSTRUCTIONS FOR PROPOSALS ● For tutorials: https://www.um.org/umap2023/call-for-tutorials/ ● For workshops: https://www.um.org/umap2023/call-for-workshops/ WORKSHOP PROPOSALS ACM UMAP 2023, 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, is pleased to invite proposals for workshops to be held in conjunction with the conference. The workshops provide a venue to discuss and explore emerging areas of User Modeling and Adaptive Hypermedia research with a group of like-minded researchers and practitioners from industry and academia. In this edition, our goal is to have a balanced workshop program comprising different workshop formats, combining newly emerging, currently evolving and established research topics. Different full-day and half-day workshop schemas are possible, such as: ● Working group meetings around a specific problem or topic; participants may be asked to submit a white paper or position statement ● Mini-conferences on specialized 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 We encourage both researchers and industry practitioners to submit workshop proposals. Researchers interested in submitting a workshop proposal are invited to contact us in advance, so we can help to design successful proposals. In particular, for workshop proposals with novel interactive formats, we are happy to assist in further developing and implementing the ideas. We strongly suggest involving organizers from different institutions, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that may attract various types of contributions and may ensure rich interactions. The organizers of accepted workshops will prepare a workshop web site containing the call for papers and detailed information about the workshop organization and timeline. They will be responsible for their own publicity and reviewing processes. There will be a conference adjunct proceedings published by ACM where all the workshop papers will be published. Hence, the workshop organizers will need to adhere to the adjunct proceedings publication timeline. IMPORTANT DATES FOR WORKSHOP PROPOSALS ● Proposal submission: January 16, 2023 ● Notification of proposal acceptance: January 30, 2023 ● Send the workshop description & website URL: February 23, 2023 ● Workshop Date: June 26, 2023 Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. TUTORIAL PROPOSALS 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 sciences, e-government, e-commerce, cultural heritage, education, internet of things, mobile, music, information retrieval, etc.) ● Application of user modeling and personalization techniques for information retrieval and recommender systems ● Eliciting and learning user preferences by taking into account users’ emotional state, physical state, personality, trust, cognitive factors 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. Tutorial presenters can have one page in the adjunct proceedings. IMPORTANT DATES FOR TUTORIAL PROPOSALS Proposals due: January 16, 2023 Notification of acceptance: January 30, 2023 Camera-ready tutorial summary: May 18, 2023 Adjunct proceedings camera ready: May 18, 2023 Tutorial Day: June 26, 2023 Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. WORKSHOPS AND TUTORIALS CHAIRS ● Veronika Bogina, Haifa University, Israel sveron AT gmail.com ● Antonela Tommasel, ISISTAN, CONICET-UNICEN antonela.tommasel AT isistan.unicen.edu.ar -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Oct 21 07:56:37 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 21 Oct 2022 08:56:37 +0300 Subject: [fg-arc] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_Us?= =?utf-8?q?er_Modeling=2C_Adaptation_and_Personalization=3A_Preliminary_Ca?= =?utf-8?q?ll_for_Papers?= Message-ID: *** Preliminary Call for Papers *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/  ACM UMAP is the premier international conference for researchers and practitioners working on systems that adapt to individual users or groups of users, and that collect, represent, and model user information. ACM UMAP  is sponsored by ACM SIGCHI and SIGWEB. User Modeling Inc., as the core Steering Committee, oversees the conference organization. The proceedings, published by ACM, will be part of the ACM Digital Library. The theme of UMAP 2023 is "Personalization in Times of Crisis”. Specifically, we welcome submissions that highlight the impact that critical periods (such as the COVID-19 pandemic, ongoing wars, and climate change, to name a few) can have on user modeling, personalization, and adaptation of (intelligent) systems; the focus is on investigations that capture how these trying times may have influenced user behavior and whether new models are required.  While we encourage submissions related to this theme, the scope of the conference is not limited to the theme only. As always, contributions from academia, industry, and other organizations discussing open challenges or novel research approaches are expected to be supported by rigorous evidence appropriate to the claims (e.g., user study, system evaluation, computational analysis). Important Dates • Paper Abstracts: January 19, 2023 (mandatory) • Full paper: January 26, 2023 • Notification: April 11, 2023 • Camera-ready: May 2, 2023 • Conference: June 26 - 29, 2023 Note: The submissions deadlines are at 11:59 pm AoE time (Anywhere on Earth) Conference Topics We welcome submissions related to user modeling, personalization, and adaptation of (intelligent) systems targeting a broad range of users and domains. Detailed descriptions and the suggested topics for each track will be available shortly in the extended version of the CFP on the UMAP 2023 website. Personalized Recommender Systems This track invites works from researchers and practitioners on recommender systems. In addition to mature research works addressing technical aspects of recommendations, we welcome research contributions that address questions related to user perception, decision-making, and the business value of recommender systems. Adaptive, Semantic, Knowledge, and Social Graphs This track welcomes works focused on the use of knowledge representations (i.e., novel knowledge bases), graph algorithms (i.e., graph embedding techniques), and social network analysis at the service of addressing all aspects of personalization, user model building, and personal experience in online social systems. Moreover, this track invites works in adaptive hypermedia, as well as semantic and social web. Intelligent User Interfaces This track invites works exploring how to make the interaction between computers and people smarter and more productive, leveraging solutions from human-computer interaction, data mining, natural language processing, information visualization, and knowledge representation and reasoning. Personalizing Learning Experiences through User Modeling This track invites researchers, developers, and practitioners from various disciplines to submit their innovative learning solutions, share acquired experiences, and discuss their modeling challenges for personalized adaptive learning. Fairness, Transparency, Accountability, and Privacy Researchers, developers, and practitioners have a social responsibility to account for the impact that technologies have on individuals (users, providers, and other stakeholders) and society. This track invites works related to the science of building, maintaining, evaluating, and studying adaptive systems that are fair, transparent, respectful of users’ privacy, beneficial to society, and accountable for their impacts. Personalization for Persuasive and Behavior Change Systems This track invites submissions focused on personalization and tailoring for persuasive technologies, including but not limited to personalization models, user models, computational personalization, design, and evaluation methods. It also welcomes work that brings attention to the user experience and designing personalized and adaptive behavior change technologies. Virtual Assistants, Conversational Interactions, and Personalized Human-robot Interaction This track invites works investigating new models and techniques for adapting synthetic companions (e.g., virtual assistants, chatbots, social robots) to individual users. With the conversational modality so in vogue across disciplines, this track welcomes work highlighting the model and deployment of synthetic companions driven by conversational search and recommendation paradigms. Research Methods and Reproducibility This track invites submissions on methodologies to evaluate personalized systems, benchmarks, and measurement scales, with particular attention to the reproducibility of results and techniques. Furthermore, the track looks for submissions that report new insights from reproducing existing works.   Submission and Review Process Submissions for any of the aforementioned tracks should have a maximum length of *14 pages* (excluding references) in the ACM new single-column format (https://www.acm.org/publications/proceedings-template). (Papers of any length up to 14 pages are encouraged; reviewers will comment on whether the size is appropriate for the contribution.)  Additional review criteria and submission link will be available shortly on the conference website: https://www.um.org/umap2023/ . Accepted papers will be included in the conference proceedings and presented at the conference. At least one author should register for the conference by the early registration date cut-off. UMAP uses a *double-blind* review process. Authors must omit their names and affiliations from their submissions; they should also avoid obvious identifying statements. For instance, citations to the authors' prior work should be in the third person. Submissions not abiding by anonymity requirements will be desk rejected.   UMAP has a *no dual submission* policy, which is why full paper submissions should not be currently under review at another publication venue. Further, UMAP operates under the ACM Conference Code of Conduct (https://www.acm.org/about-acm/policy-against-harassment). Program Chairs • Julia Neidhardt, TU Wien, Austria  • Sole Pera, TU Delft, The Netherlands          Contact information: umap2023-program at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Oct 21 07:58:03 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 21 Oct 2022 08:58:03 +0300 Subject: [fg-arc] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_Us?= =?utf-8?q?er_Modeling=2C_Adaptation_and_Personalization=3A_First_Call_for?= =?utf-8?q?_Workshop_and_Tutorial_Proposals?= Message-ID: <56CTDEI4-5HCP-T8W5-7Z8P-SKPPMZUGSKZ@cs.ucy.ac.cy> *** First Call for Workshop and Tutorial Proposals *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/  Proposals due: January 16, 2023 Submission site: https://easychair.org/conferences/?conf=umap23 PROPOSAL FORMAT Workshop and tutorial proposals should be submitted in PDF format via the Easy Chair submission site: https://easychair.org/conferences/?conf=umap23, not exceeding 5 pages, and following the ACM single-column format. DETAILED INSTRUCTIONS FOR PROPOSALS ● For tutorials: https://www.um.org/umap2023/call-for-tutorials/ ● For workshops: https://www.um.org/umap2023/call-for-workshops/ WORKSHOP PROPOSALS ACM UMAP 2023, 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, is pleased to invite proposals for workshops to be held in conjunction with the conference. The workshops provide a venue to discuss and explore emerging areas of User Modeling and Adaptive Hypermedia research with a group of like-minded researchers and practitioners from industry and academia. In this edition, our goal is to have a balanced workshop program comprising different workshop formats, combining newly emerging, currently evolving and established research topics. Different full-day and half-day workshop schemas are possible, such as: ● Working group meetings around a specific problem or topic; participants may be asked to submit a white paper or position statement ● Mini-conferences on specialized 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 We encourage both researchers and industry practitioners to submit workshop proposals. Researchers interested in submitting a workshop proposal are invited to contact us in advance, so we can help to design successful proposals. In particular, for workshop proposals with novel interactive formats, we are happy to assist in further developing and implementing the ideas. We strongly suggest involving organizers from different institutions, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that may attract various types of contributions and may ensure rich interactions. The organizers of accepted workshops will prepare a workshop web site containing the call for papers and detailed information about the workshop organization and timeline. They will be responsible for their own publicity and reviewing processes. There will be a conference adjunct proceedings published by ACM where all the workshop papers will be published. Hence, the workshop organizers will need to adhere to the adjunct proceedings publication timeline. IMPORTANT DATES FOR WORKSHOP PROPOSALS ● Proposal submission: January 16, 2023 ● Notification of proposal acceptance: January 30, 2023 ● Send the workshop description & website URL: February 23, 2023 ● Workshop Date: June 26, 2023 Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. TUTORIAL PROPOSALS 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 sciences, e-government, e-commerce, cultural heritage, education, internet of things, mobile, music, information retrieval, etc.) ● Application of user modeling and personalization techniques for information retrieval and recommender systems ● Eliciting and learning user preferences by taking into account users’ emotional state, physical state, personality, trust, cognitive factors 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. Tutorial presenters can have one page in the adjunct proceedings. IMPORTANT DATES FOR TUTORIAL PROPOSALS Proposals due: January 16, 2023 Notification of acceptance: January 30, 2023 Camera-ready tutorial summary: May 18, 2023 Adjunct proceedings camera ready: May 18, 2023 Tutorial Day: June 26, 2023 Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. WORKSHOPS AND TUTORIALS CHAIRS ● Veronika Bogina, Haifa University, Israel sveron AT gmail.com ● Antonela Tommasel, ISISTAN, CONICET-UNICEN antonela.tommasel AT isistan.unicen.edu.ar -------------- next part -------------- An HTML attachment was scrubbed... URL: From maurice.terbeek at isti.cnr.it Mon Oct 17 11:36:11 2022 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Mon, 17 Oct 2022 11:36:11 +0200 Subject: [fg-arc] FSEN 2023 final CfP: deadline extension and hybrid format Message-ID: <445e0d12-cddf-8567-b392-1f6c85abf9c7@isti.cnr.it> FINAL CALL FOR PAPERS Tenth International Conference on Fundamentals of Software Engineering 2023 - Theory and Practice (FSEN '23) http://fsen.ir/2023 Tehran, Iran May 3-5, 2023 ###################################################################### IMPORTANT INFORMATION: Under the current circumstances, the FSEN Steering and Organizing Committees have decided to hold FSEN 2023 in a *hybrid or mixed format*, offering virtual presentation as an option to participants. All accepted papers will be published in the conference proceedings, regardless of whether a physical or virtual presentation is given. More details will follow in the course of time via the FSEN 2023 website. ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry andpromoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 3-5, 2023. -- Important Dates -- Paper Submission: November 4, 2022 (AoE)  -*extended deadline*- Notification: December 2, 2022 Final pre-Conference Version: January 20, 2023 (AoE) Conference: May 3-5, 2023 -- Keynote Speakers (confirmed) -- Wolfgang Ahrendt, Chalmers University of Technology, Sweden Dines Bjørner, Technical University of Denmark, Denmark Mohammad Reza Mousavi, King's College London, UK Heike Wehrheim, University of Oldenburg, Germany -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2023. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Moreover, contributions must not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS post-proceedings and conference pre-proceedings 2) Short paper for the LNCS post-proceedings and conference pre-proceedings 3) Poster included only in the pre-proceedings Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'23 will be published by Springer in the LNCS series. Pre-proceedings, printed locally by IPM, will be available at the conference. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'23. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Pejman Lotfi-Kamran - IPM, Iran -- Program Chairs -- Hossein Hojjat - Tehran Institute for Advanced Studies, Iran Erika Abraham - RWTH Aachen University, Germany -- Publicity Chair -- Maurice ter Beek - CNR-ISTI Pisa, Italy -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, the Netherlands; Leiden University, the Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- SEE WEBSITE -- Maurice H. ter Beek head FMT lab, ISTI-CNR, Pisa, Italy e-mail: maurice.terbeek at isti.cnr.it homepage: fmt.isti.cnr.it/~mtbeek office phone:   +39-050-6213471 mobile phone: +39-348-2436998 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Oct 21 12:49:24 2022 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 21 Oct 2022 10:49:24 +0000 Subject: [fg-arc] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET Message-ID: Dear all, The Formal Methods Teaching tutorials series continues on the last Friday of October with a lecture on Frama-C! Dr Allan Blanchard (CEA-LIST, France) will lecture on Friday October 28, 2022, at 3 pm CEST with a talk entitled "Formal methods for beginners and for C programs - Using Frama-C and its WP plug-in for teaching". More information about our lecturer can be found here: https://allan-blanchard.fr. The zoom link for Allan's lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: the tutorial series webpage is here: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Oct 25 07:49:26 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 25 Oct 2022 08:49:26 +0300 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Final Call for Late Breaking Results Message-ID: *** Final Call for Late Breaking Results *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Virtual Event https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) *** Deadline: November 1st, AoE (firm!) *** IHAW 2022 accepts now submissions for late breaking results. The instructions to authors remain the same, as for the regular submissions. Accepted papers will be published in the same proceedings volume with the regular submissions and will be eligible both for the Best Paper Award and to be selected for the special journal issues that will be prepared after the conference. ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics • Artificial Intelligence methods for medical device testing. • Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). • Algorithms, methods and services for predicting and monitoring infectious disease. • Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. • Medical Data and/or Medical Image Analysis. • Electronic Medical Records Analysis. • Computational methods for medical devices. Human Computer Interaction and Cognition • Human-Machine Interaction for healthcare and well-being. • Cognitive Mechatronics for healthcare and well-being. • Models for human-device interaction for medicine. • Cobotics for healthcare and well-being. • Model-based design and configuration tools for healthcare and well-being. Assistive Devices • Precision medicine. • ICT for in-silicon trials. • Implantable medical devices. • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing • Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). • Smart Systems and services promoting access to the socio-economical and cultural environment. • IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. • eHealth smart solutions in the fight against a COVID-19 like pandemic. • IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services • Distributed and connected digital healthcare services. • IoT services for real-time monitoring of health data and status of patients and/or older adults. • Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. • mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. • Sustainable city environments for emergency health management. • 5G and beyond for healthcare in sustainable smart cities. • Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems • New experimental validation methods with end-users. • Systems and services for ensuring patient’s commitment to the medication schedule. • Digital health systems and tools for health care professional training and workforce development. • Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. • Methods and Technology for Improving the quality of services-oriented care delivery systems. • Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. • Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization • Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). • Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). • Security and privacy of digital health systems and service. • Socio-economic issues of smart healthcare in sustainable societies. • Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates • Submission Deadline: November 1, 2022 (AoE, firm!) • Notification: November 15, 2022 • Camera-Ready Submission Deadline: November 24, 2022 • Author Registration Deadline: November 24, 2022 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair • Jessica Allingham, Lakehead University, Canada Finance Chair • Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee • https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Oct 27 13:52:52 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 27 Oct 2022 14:52:52 +0300 Subject: [fg-arc] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_Us?= =?utf-8?q?er_Modeling=2C_Adaptation_and_Personalization=3A_First_Call_for?= =?utf-8?q?_Late-Breaking_Results_and_Demos?= Message-ID: *** First Call for Late-Breaking Results and Demos *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/  Submissions due: April 24, 2023 Submission site: https://easychair.org/conferences/?conf=umap23 IMPORTANT DATES ● Submission of papers: April 24, 2023 ● Notification of acceptance: May 10, 2023 ● Camera-ready versions of accepted papers: May 18, 2023 ● Conference: June 26-29, 2023  Note: The submission times are 11:59 pm AoE time (Anywhere on Earth) SUBMISSION FORMATS Demonstrations ● Max. 5 pages + max. 1 additional page for references; ● (Optional) video or external material demonstrating the system; ● Publication in ACM UMAP 2023 Adjunct Proceedings; ● Presentation as a demo + poster at the conference. Description: Demonstrations will showcase research prototypes and commercially available products in a dedicated session. Demo submissions must be based on an implemented and tested system that pursues one or more innovative ideas in the interest areas of the conference. Demonstrations are an excellent and exciting way to showcase implementations and get valuable feedback from the community. Each demo submission must make clear which aspects of the system will be demonstrated, and how these will be demonstrated on-site as well as online. To better identify the value of demos, we also encourage authors to submit a pointer to a screencast (max. 5 minutes on Vimeo or YouTube) or any external material related to the demo (e.g., shared code on GitHub). Descriptions of demonstrations should have a length of max. 5 pages + 1 page of references in the new ACM single-column style. On an extra page (not to be published), submissions should include a specification of the technical requirements for demonstrating the system at UMAP 2023.  Late-Breaking Results ● Max. 7 pages + max. 2 additional pages for references; ● (Required) unpublished page with a list of questions the authors aim to get feedback on; ● Publication in ACM UMAP 2023 Adjunct Proceedings; ● Presentation as a (potentially virtual) poster at the conference. Description: Late-Breaking Results (LBR) are research-in-progress that must contain original and unpublished accounts of innovative research ideas, preliminary results, industry showcases, and system prototypes, addressing both the theory and practice of User Modeling, Adaptation, and Personalization. In addition, papers introducing recently started research projects or summarizing project results are welcome as well. We encourage researchers and practitioners to submit late-breaking work as it provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work, and fostering discussions and collaborations among colleagues. Late-Breaking Results papers have a length of up to 7 pages + 2 pages of references in the new ACM single-column style and will be presented to the conference as posters. On an extra page (not to be published), submissions should include a list of questions that the authors aim to get feedback on during the poster session at UMAP 2023. SUBMISSION AND REVIEW PROCESS Papers will be reviewed single-blind and do not need to be anonymised before submission Papers must be formatted according to the new workflow for ACM publications. The templates and instructions are available here: https://www.acm.org/publications/taps/word-template-workflow. Authors should submit their papers as single-column. The templates are available here (we strongly recommend the usage of LaTeX for the camera-ready papers to minimize the extent of reformatting): ● LaTeX (use \documentclass[manuscript,review]{acmart} in the sample- authordraft.tex file for single-column):  ◦ https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-primary.zip ● Overleaf (use \documentclass[manuscript,review]{acmart} for single-column): ◦ https://www.overleaf.com/latex/templates/acm-conference-proceedings-master-template/pnrfvrrdbfwt   ● MS Word: ◦ https://www.acm.org/binaries/content/assets/publications/taps/acm_submission_template.docx   Note: Accepted papers will require further revision to meet the requirements and page limits of the camera-ready format required by ACM. Instructions for the preparation of the camera-ready versions of the papers will be provided after acceptance. The ACM Code of Ethics gives the UMAP program committee the right to (desk-) reject papers that perpetuate harmful stereotypes, employ unethical research practices, or uncritically present outcomes/implications that clearly disadvantage minority communities.  Submit your papers in PDF format via EasyChair for ACM UMAP 2023 Demos and Late-Breaking Results at  https://easychair.org/conferences/?conf=umap23 (choose “New Submission” and make sure to select “UMAP'23 - LBR and Demos” track). The review process will be single-blind, i.e., authors’ names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential contribution to the research field, potential impact in particular use cases, and the usefulness of presented experiences, as well as their overall readability. Papers that exceed the page limits or do not adhere to the formatting guidelines will be returned without review. PUBLICATION AND PRESENTATION Accepted Demo and Late-Breaking Results papers will be published in the ACM UMAP 2023 Adjunct Proceedings in the ACM Digital Library. Papers will be accessible from the UMAP 2023 website through ACM OpenToc Service for one year after publication in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference.  To be included in the Proceedings, at least one author of each accepted paper must register for the conference and present the paper there. LATE-BREAKING RESULTS AND DEMO CHAIRS ● Ludovico Boratto, University of Cagliari, Italy ● Alisa Rieger, Delft University of Technology, Netherlands ● Shaghayegh (Sherry) Sahebi, University at Albany – SUNY, USA ● Contact: umap2023-lbr at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: