From announce at ucy.ac.cy Wed Mar 1 10:47:05 2023 From: announce at ucy.ac.cy (Announce Announcements) Date: Wed, 1 Mar 2023 11:47:05 +0200 Subject: [fg-arc] 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023): Third Call for Submissions Message-ID: <1X5BO2ZW-MBF7-GNXS-V0YY-2HDWSJJ5PSRQ@ucy.ac.cy> *** Third Call for Submissions *** 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023) October 24-26, 2023, Golden Bay Beach Hotel, Larnaca, Cyprus https://cyprusconferences.org/esocc2023/ (Proceedings to be published in Springer LNCS; Journal Special Issue with Springer Computing) AIM AND SCOPE Nowadays, Service-Oriented and Cloud Computing are the primary approaches to build large-scale distributed systems and deliver software services to end users. Cloud-native software is pervading the delivery of enterprise applications, as they are composed of (micro)services that can be independently developed and deployed by exploiting multiple heterogeneous technologies. Resulting applications are polyglot service compositions that can then be shipped in serverful or serverless platforms (e.g., using virtualization technologies). These characteristics make Service-Oriented and Cloud Computing the natural answers for fulfilling the industry’s need for flexibly scalable and maintainable enterprise applications, to be delivered through state-of-the-art methodologies, like DevOps. To further support this, researchers and practitioners need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service-oriented applications in the Cloud, now also considering the Cloud-IoT computing continuum to exploit widespread adoption of smart connected things and the increasing growth of their computing capabilities. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state-of-the-art and practice of Service-Oriented Computing and Cloud Computing in Europe. ESOCC aims to facilitate the exchange between researchers and practitioners in the areas of Service-Oriented Computing and Cloud Computing, as well as to explore the new trends in those areas and foster future collaborations in Europe and beyond. TOPICS OF INTEREST ESOCC 2023 seeks original, high-quality contributions related to all aspects of Service-Oriented and Cloud computing. Specific topics of interest include, but are not limited to:
• Applications for Service-Oriented and Cloud Computing, e.g., big data, commerce, energy, finance, health, scientific computing, smart cities
• Blockchains for Service-Oriented and Cloud Computing
• Business aspects of Service-Oriented and Cloud Computing, e.g., business models, brokerage, marketplaces, costs, pricing
• Business processes, e.g., service-based workflow deployment and management
• Cloud interoperability, service and Cloud standards,
• Cloud-IoT computing continuum, e.g., edge computing, fog computing, mobility computing, next generation services/IoT
• Cloud-native architectures and paradigms, e.g., microservices and DevOps
• Cloud service models, e.g., IaaS, PaaS, SaaS, DBaaS, FaaS, etc.
• Deployment, composition, and management of applications in Service-Oriented and Cloud Computing
• Foundations and formal methods for Service-Oriented and Cloud Computing
• Enablers for Service-Oriented and Cloud Computing, e.g., service discovery, orchestration, matchmaking, monitoring, and analytics
• Model-Driven Engineering for Service-Oriented and Cloud Computing
• Multi-Cloud, cross-Cloud, and federated Cloud solutions
• Requirements engineering, design, development, and testing of applications in Service-Oriented and Cloud Computing
• Semantic services and service mining
• Service and Cloud middlewares and platforms
• Software/service adaptation and evolution in Service-Oriented and Cloud Computing
• Storage, computation and network Clouds
• Sustainability and energy issues in Service-Oriented and Cloud Computing
• Quality aspects (e.g., governance, privacy, security, and trust) of Service-Oriented and Cloud Computing
• Quality of Service (QoS) and Service-Level Agreement (SLA) for Service-Oriented and Cloud Computing
• Social aspects of Service-Oriented and Cloud Computing, e.g., crowdsourcing services, social and crowd-based Clouds
• Virtualization for Service-Oriented and Cloud Computing, e.g., serverless, container-based virtualization, VMs IMPORTANT DATES • Submission of abstracts: June 4th, 2023 (AoE)
• Submission of full papers: June 11th, 2023 (AoE)
• Notification to authors: July 14th, 2023 (AoE)
• Camera-ready versions due: July 31st, 2023 (AoE) TYPES OF SUBMISSIONS ESOCC 2023 invites submissions of the following kinds:
• Regular Research Papers (15 pages including references, for the technical and special tracks)
• PhD Symposium (12 pages including references)
• Projects and Industry Reports (Projects and Industry Reports (1 to 6 pages including references, describing an ongoing EU or national project, or providing industrial perspectives on innovative applications, technologies, or methods in ESOCC’s scope)  We only accept original papers, not submitted for publication elsewhere. The papers must be formatted according to the proceedings guidelines of Springer’s Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/lncs). They must be submitted to the EasyChair site at:
 https://easychair.org/conferences/?conf=esocc2023  by selecting the right track. Accepted papers from all tracks will be published in the main conference proceedings by Springer in the LNCS series. For publication to happen, at least one author of each accepted paper is expected to register and present the work at the conference. The best papers accepted will be invited to submit extended versions for a Journal Special Issue to be published by Springer Computing. ORGANISATION General Chair • George A. Papadopoulos, University of Cyprus, CY (george at ucy.ac.cy)   Program Chairs • Florian Rademacher, University of Applied Sciences and Arts Dortmund, DE (florian.rademacher at fh-dortmund.de)
• Jacopo Soldani, University of Pisa, IT (jacopo.soldani at unipi.it) Steering and Program Committee https://cyprusconferences.org/esocc2023/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From gisellitto at unisa.it Thu Mar 2 10:51:53 2023 From: gisellitto at unisa.it (Giulia SELLITTO) Date: Thu, 2 Mar 2023 10:51:53 +0100 Subject: [fg-arc] [Call for Papers] Euromicro SEAA (deadline April 4th) Message-ID: The 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2023) will be held September 6-8 at the University of Aleksandër Moisiu Durrës, Faculty of Information Technology, Durres, Albania. 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 - CPS: Cyber-Physical Systems - DAIDE: Data and AI-Driven Engineering - ECT: Emerging Computing Technologies - MDEML: Model-Driven Engineering and Modeling Languages - SEaDeM: Software Engineering and Debt Metaphors - SM: Software management: Measurement, Peopleware, and Innovation - SMSE: Systematic Literature Reviews and Mapping Studies in Software Engineering - SPPI: Software Process and Product Improvement - STREAM: Software Analytics: Mining Software Open Datasets and Repositories Special Session - EUP: European Research Projects Important Dates - Deadline for paper submission: April 3rd, 2023 - Notification of acceptance: May 15th, 2023 - Camera-ready papers: May 29th, 2023 Details available at https://dsd-seaa2023.com/seaa/ Twitter: https://twitter.com/EuromicroOrg -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Sat Mar 4 15:11:28 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 4 Mar 2023 16:11:28 +0200 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_Fourth_Call_fo?= =?utf-8?q?r_Late-Breaking_Results_and_Demos?= Message-ID: *** Fourth 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/call-for-late-breaking-results-and-demos/ 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. 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) as well as the ACM Publication Policies and Procedures (https://www.acm.org/publications/policies). 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: HYPERLINK "mailto:umap2023-lbr at um.org"umap2023-lbr at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From jung.juergen at fb2.fra-uas.de Mon Mar 6 09:53:13 2023 From: jung.juergen at fb2.fra-uas.de (=?iso-8859-1?Q?Jung=2C_J=FCrgen?=) Date: Mon, 6 Mar 2023 08:53:13 +0000 Subject: [fg-arc] Deadline extension EMISA 2023: March 19th Message-ID: Deadline for submissions has been extended to March 19th. EMISA 2023 13th International Workshop on Enterprise Modelling and Information Systems Architectures Stockholm University Stockholm, Sweden, May 11-12, 2023 New information technologies such as AI, Digital Twins, Block Chain, Big Data, IoT, etc, enable enterprises to innovate their core activities, from their information systems, via their business processes, to their business models. These innovations pose design and engineering challenges which, in their turn, result in several research challenges for the fields of enterprise modelling and information systems architectures. At the same time, the new information technologies also provide new opportunities to support the work involved in (continuous) design and engineering of enterprises and their information systems. Examples include (IoT based) process and enterprise mining, the use of AI to help in the creation of models, low-code platforms, etc. EMISA 2023 is the thirteenth international workshop in a series that provides a key forum for researchers and practitioners in the field on design methods for information systems. The workshop series emphasises the need for a coherent view on this field, fostering integrated approaches that address and relate all relevant aspects of enterprises (e.g. value propositions, business services, business processes, business rules, information systems, IT infrastructures), cross-cutting concerns (e.g. security, privacy, compliance) across stakeholders, designers, engineers, and domain experts Subjects ======== The workshop is open to a broad range of subjects. Possible topics include, but are not limited to: * Patterns for enterprise and information systems architectures * Service and value modelling * Process modelling and process-aware information systems * Complex event processing and event-driven architectures * Domain-specific modeling methods and languages * Meta-modeling and foundational ontologies * Theoretical foundations of (enterprise) modelling * Method engineering * Quality of modelling methods and languages, and, (architecture) models * Learning and teaching methods and languages * Process mining, and enterprise mining in general * Assisted enterprise and information systems modelling The workshop is organized by the GI Special Interest Group on Design Methods for Information Systems (GI-SIG EMISA), which provides a forum for researchers from various disciplines who develop and apply methods to support the analysis and design of information systems. Submissions =========== EMISA 2023 calls for submissions in the following categories: 1) PhD Research Proposals (short paper of up to 5 pages): There will be a dedicated slot in the program to discuss PhD research proposals including the current status and the further plan of the research work. 2) Current Research Talk Proposals (extended abstract of up to 2 page): Proposals for scientific talks of international excellence. Eligible are proposal submissions that are based on published or accepted papers from international conferences or journals. 3) Novel Directions Talk Proposals (short paper of up to 6 pages): Proposals for talks that motivate a novel research direction, outline the research gaps to address, and carve out major challenges. These talks shall serve as a stimulus for discussions as part of a dedicated slot in the workshop program. 4) Case Reports: EMISA 2023 explicitly welcomes reports on real-world cases involving modelling in an enterprise context. To this end, EMISA 2023 collaboratives with other events (e.g. EMMSAD, ER, CBI, and PoEM) to gather such case reports. See https://www.models-at-work.org for more details. Making a submission: Any manuscript should be submitted to https://easychair.org/conferences/?conf=emisa2023. You will have to choose the category as a topic during the submission process in EasyChair. Please, select exactly one of the topics for indicating whether you are submitting for the category PhD Research Proposals, Current Research Talk Proposals, Novel Direction Talk Proposals or Case Report. Publication The extended abstracts of the Current Research Talks will be published in the Digital Library of the GI (Template). The short papers of PhD Research Proposals and Novel Directions Talk, are aimed to be published as an electronic CEUR proceedings volume (Overleaf/ZIP one column). For the publication channel used for Case Reports, please refer to www.models-at-work.org Important dates =============== * Submission: March 19th * Notification: April 9th * Camera-ready copies: April 23rd * EMISA 2023: May 11th and 12th Organisation ============ Conference co-chairs * Simon Hacks, Stockholm University, Sweden * Jürgen Jung, Frankfurt University of Applied Sciences, Germany Models at Work co-chairs for EMISA 2023 * Christophe Feltus, Luxembourg Institute of Science and Technology, Luxembourg * Qin Ma, University of Luxembourg, Luxembourg Program committee * Dominik Bork, TUWien, Austria * Dirk Fahland, Eindhoven University of Technology, the Netherlands * Michael Fellmann, University of Rostock, Germany * Peter Fettke, Saarland University, Germany * Hans-Georg Fill, University of Fribourg, Switzerland * Thomas Hildebrandt, University of Copenhagen, Denmark * Horst Kremers, CODATA, Germany * Agnes Koschmider, Christian-Albrechts-Universität zu Kiel, Germany * Ralf Laue, University of Applied Sciences Zwickau, Germany * Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria * Jan Mendling, Humboldt-Universität zu Berlin, Germany * Judith Michael, RWTH Aachen University, Germany * Markus Nüttgens, University of Hamburg, Germany * Andreas Oberweis, Karlsruhe Institute of Technology, Germany * Hansjürgen Paul, Institute for Work and Technology, Germany * Louise Pufahl, TU Berlin, Germany * Stefan Strecker, University of Hagen, Germany * Manfred Reichert, University of Ulm, Germany * Ulrich Reimer, Eastern Switzerland University of Applied Sciences, Switzerland * Stefanie Rinderle-Ma, Technical University of Munich, Germany * Gottfried Vossen, Westfälische Wilhelms-Universität Münster, Germany * Matthias Weidlich, Humboldt University of Berlin, Germany * Mathias Weske, Hasso Plattner Institute, University of Potsdam, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Mon Mar 6 14:34:31 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 6 Mar 2023 15:34:31 +0200 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Third Call for Papers Message-ID: *** Third Call for Papers *** 19th IEEE eScience Conference (eScience 2023) October 9-13, 2023, St. Raphael Resort, Limassol, Cyprus https://www.escience-conference.org/2023/ eScience 2023 provides an interdisciplinary forum for researchers, developers, and users of eScience applications and enabling IT technologies. Its objective is to promote and encourage all aspects of eScience and its associated technologies, applications, algorithms, and tools, with a strong focus on practical solutions and open challenges. The conference welcomes conceptualization, implementation, and experience contributions enabling and driving innovation in data- and compute-intensive research across all disciplines, from the physical and biological sciences to the social sciences, arts, and humanities; encompassing artificial intelligence and machine learning methods; and targeting a broad spectrum of architectures, including HPC, Cloud, and IoT. The overarching theme of the eScience 2023 conference is “open eScience”. This year, the conference is promoting four additional key topics: • Computational Science for sustainable development • FAIR • Research Infrastructures for eScience • Continuum Computing: Convergence between Cloud Computing and the Internet of Things (IoT) The conference is soliciting two types of contributions: • Full papers (10 pages) presenting previously unpublished research achievements or eScience experiences and solutions • Posters (2 pages) showcasing early-stage results and innovations Submitted papers should use the IEEE 8.5×11 manuscript guidelines: double-column text using single-spaced 10-point font on 8.5×11-inch pages. Templates are available from http://www.ieee.org/conferences_events/conferences/publishing/templates.html . Submissions should be made via the Easy Chair system using the submission link: https://easychair.org/conferences/?conf=escience2023 . All submissions will be single-blind peer reviewed. Selected full papers will receive a slot for an oral presentation. Accepted posters will be presented during a poster reception. Accepted full papers and poster papers will be published in the conference proceedings. Rejected full papers can be re-submitted for a poster presentation. At least one author of each accepted paper or poster must register as an author at the full registration rate. Each author registration can be applied to only one accepted submission. AWARDS eScience 2023 will host the following awards, which will be announced at the conference. • Best Paper Award • Best Student Paper Award • Best Poster Award • Best Student Poster Award • Outstanding Early Career Contribution – this award is associated with poster submissions and short presentations of attendees in their early career phase (i.e., postdoctoral researchers and junior scientists). KEY DATES • Paper Submissions Due: Friday, May 26, 2023 (AoE) • Notification of Paper Acceptance: Friday, June 30, 2023 • Poster Submissions due: Friday, July 7, 2023 (AoE) • Poster Acceptance Notification: Monday, July 24, 2023 • All Camera-ready Submissions due: Monday, August 14, 2023 • Author Registration Deadline: Monday, August 14, 2023 ORGANISATION General Chair • George Angelos Papadopoulos, University of Cyprus, Cyprus Technical Program Co-Chairs • Rafael Ferreira da Silva, Oak Ridge National Laboratory, USA • Rosa Filgueira, University of St Andrews, UK Organisation Committee https://www.escience-conference.org/2023/organizers Steering Committee https://www.escience-conference.org/about/#steering-committee Email contact: Technical-Program at eScience-conference.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Tue Mar 7 08:25:49 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 07 Mar 2023 08:25:49 +0100 Subject: [fg-arc] =?utf-8?q?1st_CfP=3A_Onto4FAIR_Workshop_at_FOIS_2023?= Message-ID: <28f8a-6406e700-1b5-52c7ce00@258421544> ** With apologies for multiple posting ** -------------- Onto4FAIR Workshop at FOIS 2023 -------------- 2nd Workshop on Ontologies for FAIR and FAIR Ontologies (Onto4FAIR), in conjunction with FOIS 2023, Sherbrooke, Qc, Canada, July, 2023 Website: https://onto4fair.github.io -------------- Presentation -------------- Making the resources produced by researchers fully reusable and understood requires specific efforts. The Findable, Accessible, Interoperable and Reusable (FAIR) principles were elaborated to address these issues, describing a set of requirements for resource reusability and interoperability. These principles have been gaining increasing attention in a range of different areas and applications. One the one hand, a key aspect is the ability of properly and semantically describing resources, in particular with the help of ontologies. On the other hand, ontologies themselves have to be compliant with the FAIR principles. The workshop has the following main goals: (i) to bring together leaders from academia, industry and user institutions to discuss the adoption of FAIR principles in research and real-world requirements. (ii) to serve to inform about existing research efforts that may meet their requirements. (iii) to investigate how the FAIR principles are supported by the use of ontologies that ideally are themselves FAIR. (iv) to discuss the challenges and perspectives in adopting FAIR principles. -------------- Workshop topics -------------- The topics of interest include, but are not limited to, the following: - schemes, ontologies and vocabulaires for FAIR data and metadata; - domain and cross-domain ontologies for FAIR data; - making vocabularies and ontologies FAIR; - alignment of schemes, vocabulaires and ontologies for FAIR; - data management for FAIR data; - best practices for implementing the FAIR principles; - FAIRification process and use cases; - metrics for FAIRness assessment; - provenance in FAIR environments; - FAIR principles and open science; - FAIR principles and linked open data; - FAIR in industry, scientific communities (life science, digital humanities, health, smart cities, etc.). -------------- Important dates -------------- - Workshop paper submission: May 24, 2023 - Author notification: June 30, 2023 - Camera-ready version: June 30, 2023 (strict) - Workshop: July 17-19, 2023 -------------- Submissions -------------- - Regular papers: 10-14 pages (including references) - Short papers: 5-9 pages (including references) Submissions must be in PDF, formatted in CEUR-ART, 1-column style conference proceedings. A Overleaf template is available (https://www.overleaf.com/project/5e76702c4acae70001d3bc87). We strongly encourage authors to use Latex. Please submit your contribution on EasyChair at the following link: https://easychair.org/conferences/?conf=fois2023. Papers have to be submitted to the track Workshop on FAIR Ontologies and Ontologies for FAIR. The proceedings will be made available through CEUR within the IAOA's series. -------------- Workshop Chairs -------------- - Cassia Trojahn, Institut de Recherche en Informatique de Toulouse, France - Luiz Olavo Bonino da Silva Santos, University of Twente and Leiden University Medical Center, the Netherlands - Giancarlo Guizzardi, University of Twente, the Netherlands - Clement Jonquet, French National Research Institute for Agriculture, Food and Environment, Mathematics, Informatics and STatistics for Environment and Agronomy research unit, Montpellier, France -------------- Program Committee -------------- (to be confirmed soon) From chisvasileandrei at gmail.com Tue Mar 7 10:23:38 2023 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Tue, 7 Mar 2023 10:23:38 +0100 Subject: [fg-arc] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: ------------------------------------------------------------------------ 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023) October 22-27, 2023 Cascais, Lisbon, Portugal http://www.sleconf.org/2023/ Follow us on Twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023), held in conjunction with SPLASH 2023. The conference will be hosted in Cascais, Lisbon, Portugal on October 22-27, 2023. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and emerging/promising research areas - AI and ML language engineering (e.g., ML compiler testing, code classification) Quantum language engineering (e.g., language design for quantum machines) - Language engineering for physical systems (e.g., CPS, IoT, digital twins) - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: * Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. * New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. * SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. In this respect, the SLE conference will accept surveys, essays, open challenges, empirical observations, and case study papers on the SLE topics. These can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. * Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2023 Website. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * 1st round submissions - Abstract submissions: March 31, 2023 - Paper submissions: April 7, 2023 - Notification: May 5, 2023 * 2nd round submissions - Abstract submissions: June 26, 2023 - Paper submissions: June 30, 2023 - Review notification: August 11, 2023 (starting of the rebuttal) - Author response period: August 18, 2023 (end of the rebuttal) - Notification: August 25, 2023 * Artifact submissions: August 30, 2023 * Artifact kick-the-tires Author response: September 15, 2023 * Artifact notification: September 29, 2023 * Conference: October 22-27, 2023 (co-located with SPLASH, precise dates to be announced) --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart"(http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template(https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle23.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research comply with their local governing laws and regulations and the ACM’s general principles as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). Submissions that violate this policy will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas/vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. SLEBoK papers will be reviewed on their significance, readability, topicality and capacity of presenting/evaluating/demonstrating a piece of BoK about SLE. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Artifact Evaluation --------------------------- For the seventh year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation (http://www.sleconf.org/2023/ArtifactEvaluation.html) page. --------------------------- Awards --------------------------- - **Distinguished paper**: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. - **Distinguished artifact**: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted papers will have the chance to present their work to the SLE audience, too. --------------------------- Organisation --------------------------- Chairs: * General chair: João Saraiva, Universidade do Minho, Portugal * PC co-chair: Thomas Degueule, CNRS/LaBRI, France * PC co-chair: Elizabeth Scott, Royal Holloway University of London, United Kingdom * Publicity chair: Andrei Chis, feenk gmbh, Switzerland --------------------------- Contact --------------------------- For additional information, clarification, or answers, please get in touch with the program co-chairs (E.Scott at rhul.ac.uk and thomas.degueule at labri.fr). From a.w.laarman at liacs.leidenuniv.nl Tue Mar 7 20:32:57 2023 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W. (Alfons)) Date: Tue, 7 Mar 2023 19:32:57 +0000 Subject: [fg-arc] iFM 2023 - Call for Papers Message-ID: ----------------------------------------------------------------------- iFM 2023 - Call for Papers 18th International Conference on integrated Formal Methods 13-15 November 2023, Leiden, the Netherlands https://ifm23.liacs.nl ----------------------------------------------------------------------- IMPORTANT DATES Abstract submission: 25 May 2023 Paper submission: 1 June 2023 Acceptance notification: 10 August 2023 iFM 2023 main conference: 13-15 November 2023 OBJECTIVE AND SCOPE In the last decades, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. To credit the effort of tool developers, we use EAPLS artefact badging . Areas of interest include (but are not limited to): * Formal and semi-formal modelling notations * Combining formal methods with different performance, simulation and system analysis techniques * Program verification, model checking, and static analysis * Theorem proving, decision procedures and SAT/SMT solving * Runtime analysis, monitoring and testing * Program synthesis * Modelling, analysis and synthesis of cyber-physical, hybrid, embedded, probabilistic, distributed or concurrent systems * Abstraction and refinement * Model learning and inference * Approaches to integrating formal methods into software engineering practice or industry * Approaches to integrating formal methods into standardisation or certification processes * Formal methods for AI * Tools and case studies supporting the integration of formal methods PAPER CATEGORIES iFM 2023 solicits high-quality papers reporting research results and/or experience reports related to the overall theme of formal methods integration. We accept papers in the following categories: (1) Regular papers (limit 16 pages) on * original scientific research results * tools, their foundation and evaluations * applications of formal methods, including rigorous evaluations (2) Short papers (limit 6 pages) on * any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion. Regular and short papers must be original, unpublished, and not submitted for publication elsewhere. Papers will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality and clarity. The submissions will be reviewed and selected for publication based on the above mentioned criteria as well as suitability to the conference’s technical program. SUBMISSION GUIDELINES Submissions for all categories should be made using the iFM 2023 EasyChair site https://easychair.org/conferences/?conf=ifm2023 Submissions must be in PDF format, using the Springer LNCS style files. Springer requires that 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. After a paper is accepted, 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. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The conference proceedings will be published in Springer’s Lecture Notes in Computer Science series. We will apply for a special issue of the Formal Aspects of Computing journal for extended versions of selected papers from iFM 2023, as well as a special issue of the Original Software Publication track in Science of Computer Programming (see EAPLS Artifact Badging below). All accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference by the early registration date. EAPLS ARTEFACT BADGING Reproducibility of experiments is crucial to foster an atmosphere of open, reusable and trustworthy research. To improve and reward reproducibility and to give more visibility and credit to the effort of tool developers in our community, authors of accepted papers will be invited to submit possible artefacts associated with their paper for evaluation, and based on the level of reproducibility they will be awarded one or more badges. See https://eapls.org/pages/artifact_badges/. Artefact submission is optional and the result of the artefact evaluation will not alter the paper’s acceptance decision. To credit the effort of tool developers, we plan to apply for a special issue of the Original Software Publication track in Science of Computer Programming. Authors of selected artefacts will be invited to contribute to this issue. GENERAL CHAIR Marcello M. Bonsangue (LIACS, Leiden University, The Netherlands) PROGRAM COMMITTE CHAIRS Paula Herber (University of Münster, Germany) Anton Wijs (Eindhoven University of Technology, The Netherlands) PUBLICITY CHAIRS Alfons Laarman (LIACS, Leiden University, The Netherland) PROGRAM COMMITTEE Wolfgang Ahrendt (Chalmers University, Sweden) Maurice H. ter Beek (ISTI-CNR, Italy) Petra van den Bos (University of Twente, The Netherlands) Alessandro Cimatti (University of Trento, Italy) David Safranek (Masaryk University, Czech Republic) Pedro D’Argenio (Universidad Nacional de Córdoba, Spain) Richard DeFrancisco (Augusta University, Georgia, USA) John Derrick (University of Sheffield, United Kingdom) Claire Dross (AdaCore, France) Karine Even-Mendoza (King’s College London, United Kingdom) Marie Farrell (University of Manchester, United Kingdom) Carlo A. Furia (Universita della Svizzera italiana, Switzerland) Dilian Gurov (KTH Stockholm, Sweden) Marieke Huisman (University of Twente, The Nethrlands) Sebastian Junges (Radboud University, The Netherlands) Einar Broch Johnson (University of Oslo, Norway) Nikolai Kosmatov (CEA List, CEA Saclay, France) Alfons Laarman (Leiden University, The Netherlands) Martin Leucker (University of Lübeck, Germany) Rosemary Monahan (Maynooth University, Ireland) Thomas Neele (Eindhoven University of Technology, The Netherlands) Wytse Oortwijn (TNO, The Netherlands) Jun Pang (University of Luxembourg, Luxembourg) Luigia Petre (Åbo Akademi University, Finland) Giles Reger (Amazon Web Services and University of Manchester, United Kingdom) Anne Remke (University of Münster, Germany) Thomas Santen (Formal Assurance, Germany) Ina Schäfer (Karlsruhe Institute of Technology, Germany) Ana Sokolova (University of Salzburg, Germany) Silvia Lizeth Tapia Tarifa (University of Oslo, Norway) Heike Wehrheim (University of Oldenburg, Germany) Kirsten Winter (University of Queensland, Australia) Naijun Zhan (Chinese Academy of Sciences, P.R. of China) © iFM 2023 From daniel.jurjo at imdea.org Fri Mar 10 17:23:27 2023 From: daniel.jurjo at imdea.org (daniel.jurjo at imdea.org) Date: Fri, 10 Mar 2023 17:23:27 +0100 Subject: [fg-arc] LOPSTR 2023 - Call for Papers Message-ID: <20230310162329.7C40E1510@mail.imdea.org> ** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates: - Abstract submission: May 19, 2023 (AoE) - Paper submission: May 26, 2023 (AoE) - Author notification: July 24, 2023 (AoE) - Camera-ready: August 18, 2023 - Symposium: October 23-24, 2023 OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as part of SPLASH 2023. At least one of the authors of the accepted paper is expected to attend the conference and present the paper. Information about venue and travel is available on the SPLASH 2023 website. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI-methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security, cyber-physical and distributed system - applications, tools and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References do NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe the original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research and tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the standard reviewing process of the journal. SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page, and use their proceedings templates, either for LaTeX (available also in overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, 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. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2023 BEST PAPER AWARD Thanks to Springer's sponsorship, two best paper awards (one for each submission category), with a 500 EUR prize, will be given at LOPSTR 2023. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). PROGRAM CHAIRS Robert Glück, University of Copenhagen, Denmark Bishoksan Kafle, IMDEA Software Institute, Spain PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Slim Abdennadher, German International University, Egypt José Júlio Alferes, Universidade Nova de Lisboa, Portugal Roberto Amadini, University of Bologna, Italy William Byrd, University of Alabama at Birmingham, USA Michael Codish, Ben-Gurion University of the Negev, Israel Gregory Duck, National University of Singapore, Singapore Isabel García-Contreras, University of Waterloo, Canada Ashutosh Gupta, IIT Bombay, India Gopal Gupta, The University of Texas at Dallas, USA Michael Hanus, University of Kiel, Germany Temesghen Kahsai, Amazon, USA Maja Hanne Kirkeby, Roskilde University, Denmark Michael Leuschel, Heinrich Heine University Düsseldorf, Germany Nai-Wei Lin, National Chung Cheng University, Taiwan Fred Mesnard, University of Reunion, France José F. Morales, IMDEA Software Institute, Spain Carlos Olarte, Universitè Sorbonne Paris Nord, France Alberto Pettorossi, Università di Roma Tor Vergata, Italy Christoph Reichenbach, Lund University, Sweden Peter Schachte, The University of Melbourne, Australia Helge Spieker, Simula Research Laboratory, Norway Theresa Swift, Universidade Nova de Lisboa, Portugal Laura Titolo, National Institute of Aerospace, USA Kazunori Ueda, Waseda University, Japan Germán Vidal, Universitat Politècnica de València, Spain Nisansala Yatapanage, Australian National University, Australia Florian Zuleger, Vienna University of Technology, Austria HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: http://lopstr.webs.upv.es/. You might have a look at the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr). Cheers, From georgeangelos60 at gmail.com Wed Mar 15 15:54:37 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 15 Mar 2023 16:54:37 +0200 Subject: [fg-arc] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Fourth Call for Posters and Demos Message-ID: <7HBHQ3IW-MST2-ZAFW-LPF-5FA7WUF2LKQ@gmail.com> *** Fourth Call for Posters and Demos *** 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. We invite participants to submit original and unpublished works as posters and/or demos to the Euro-Par 2023 conference presenting the latest breakthroughs which have been developed in H2020, Horizon Europe, EuroHPC JU, national, regional and international R&D projects. Topics of interest should cover the conference scope and tracks (please visit the conference web site for more information about the topics covered by Euro-Par). The poster/demo sessions will provide an excellent opportunity for students and researchers to present early- stage research results and receive valuable feedback on their ongoing research from the community. SUBMISSION AND REVIEW PROCESS The authors are invited to submit poster and/or demo papers formatted in the Springer LNCS style: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and not exceeding 4 pages (including references, etc.) Submission should be done via Easy Chair, using the following link: https://easychair.org/my/conference?conf=europar2023   Submissions to the poster and demo track will be evaluated through a comprehensive peer-review process by the Poster and Demo Track Program Committee. The posters and demos will be evaluated in terms of technical merit, innovation, and the potential to stimulate interesting discussions and exchange of ideas at the conference.   The authors of accepted poster and demo papers must register and present them at the conference. Accepted poster and demo papers will be included in the workshop proceedings to be published by Springer in LNCS after the conference.     BEST POSTER AND DEMO AWARD  All posters and demos will be considered for the Best Poster Award and the Best Demo Award, respectively. Decisions will be based on the quality of the submission, as well as live interactions with the Committee during the conference.     IMPORTANT DATES • Deadline for Submission of Posters/Demos: May 20, 2023 • Notification of Acceptance: July 1, 2023     POSTER & DEMO CHAIR • George Pallis, University of Cyprus, Cyprus (pallis-AT-ucy.ac.cy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Thu Mar 16 15:09:25 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Thu, 16 Mar 2023 16:09:25 +0200 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_Last_Call_for_?= =?utf-8?q?Doctoral_Consortium_Papers?= Message-ID: *** Last Call for Doctoral Consortium 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/call-for-doctoral-consortium-papers/ Submissions due: March 31, 2023 Submission site: https://easychair.org/conferences/?conf=umap23 ACM UMAP 2023 is the premier international conference on systems that adapt to users and user models for adaptation. The UMAP 2023 Doctoral Consortium (DC) will take place as part of the 31st International Conference on User Modeling, Adaptation, and Personalization. The DC provides an opportunity for doctoral students to explore and develop their research interests under the guidance of distinguished researchers and industry practitioners from the field. Doctoral students are invited to apply to present their research to experienced scholars who will provide constructive feedback and advice. Students should consider participating in the DC if they are at least one year away from completing their dissertation at the time of the event, but after having settled on a research area or dissertation topic. This forum will provide Ph.D. students with an opportunity to • Present and discuss their research ideas to experienced scholars in a supportive, formative, and yet critical environment • Explore and develop their research interests under the guidance of distinguished researchers from the field who will provide constructive feedback and advice; • Explore career pathways available after completing their Ph.D. degree • Network and build collaborations with other members of the community Students are asked to submit a brief proposal outlining their doctoral research, which will be evaluated by the consortium committee. Good quality applications will be selected for presentation at a DC Session as part of the conference. Each student with an accepted submission will be assigned a mentor who will provide feedback on the student’s work and will discuss the doctoral research with the student and the audience at the consortium. GENERAL GUIDELINES FOR A DOCTORAL CONSORTIUM PAPER AND SUBMISSION INSTRUCTIONS Please refer to the conference web site for more detailed information regarding the preparation and submission of DC contributions: https://www.um.org/umap2023/call-for-doctoral-consortium-papers/ IMPORTANT DATES ● Submission of papers: March 31, 2023 ● Notification of acceptance: April 28, 2023 ● Camera-ready versions of accepted papers: May 2, 2023 ● Conference: June 26-29, 2023  Note: The submission times are 11:59 pm AoE time (Anywhere on Earth) DC CHAIRS ● Antonija Mitrovic, Canterbury University, New Zealand ● Michel Desmarais, Polytechnique Montreal, Canada ● Martijn Willemsen, Eindhoven University of Technology and JADS, Netherlands ● Contact: umap2023-doctoral at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Sat Mar 18 12:40:42 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 18 Mar 2023 13:40:42 +0200 Subject: [fg-arc] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Fourth Call for PhD Symposium Applications Message-ID: *** Fourth Call for PhD Symposium Applications *** 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 The Euro-Par PhD Symposium is a welcoming and supportive forum for PhD students to present their work, meet and interact with peers, and to receive constructive feedback about their work from experts in the Euro-Par community. The program will feature technical presentations by PhD students, and discussions in panel and open formats. Contributions accepted to the PhD Symposium will appear in the Euro-Par companion proceedings. CALL FOR APPLICATIONS We invite submissions from PhD students at any stage of their doctoral studies. Applicants must be officially enrolled in a PhD Program at the time of submission, and each submission MUST be backed by an endorsement from the official PhD adviser(s). Required submission files are as follows: 1. Proposed Paper (in Springer LNCS format, no longer than 6 pages with references), including:
• Title of work, author and affiliation; necessary condition: the first author, corresponding author and the person presenting (if the proposal is accepted) is a PhD student 
• Abstract of the work
• Brief description of work being/planned to be done, including the problem being addressed, the research methodology, and preliminary results (if any) 2. Adviser Statement of Support on institutional letterhead (no longer than 1 page), including:
• Name of advisor(s)/supervisor(s) • Declaration that the applicant is their PhD student • Stage of PhD (date started and expected date of completion) • Confirmation of support for applicant’s participation REGISTRATION STUDENTSHIPS We are happy to announce that we can cover the registration fees of 15 student attendees; 15 awards will be funded by the Euro-Par Foundation. To qualify, you should be a PhD student studying Informatics and Computing Science at the time of the event. On top of the above specific criteria for each studentship, the following criteria will be used: • Explicit recommendation by the advisor(s) is paramount, as awards will be given based on the strength of the advisor(s) letter • Priority will be given to in-person attendees Successful applicants may be asked to undertake some tasks to assist the running of Euro-Par 2023. SUBMISSION GUIDELINES The submission consists of: • Proposal: A manuscript that address item 1 of the call -- see above. • Adviser letter: A statement of support from the applicant's adviser(s) as described in the call. Both elements are to be submitted together as a single PDF to EasyChair: https://easychair.org/conferences/?conf=europar2023 REVIEW OF APPLICATIONS The symposium committee members will review the submitted applications based on originality, technical strength, quality of presentation, and relevance to the conference. Submitted documents that do not meet the above requirements might be rejected without a review. All submitted proposals will be checked for originality by Springer iThenticate (proposals which show an insufficient originality might be rejected without a review). IMPORTANT DATES • Submission: May 20, 2023 (AoE) • Notification: July 1, 2023 • Camera-Ready: July 15, 2023 PHD SYMPOSIUM CHAIRS • Herodotos Herodotou, University of Cyprus. Cyprus • Demetris Thrihinas, University of Cyprus. Cyprus PHD SYMPOSIUM PROGRAM COMMITTEE MEMBERS • Marco Aldinucci, University of Torino, Italy • Georgios Bouloukakis, Télécom SudParis, France • Thaleia Dimitra Doudali, IMDEA Software Institute, Spain • Yehia Elkhatib, University of Glasgow, United Kingdom • Vasileios Karakostas, University of Athens, Greece • Sameer Shende, University of Oregon, USA • Henk Sips, Delft University of Technology, Netherlands • Lauritz Thamsen, University of Glasgow, United Kingdom • Zheng Wang, University of Leeds, United Kingdom -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Sun Mar 19 11:59:58 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sun, 19 Mar 2023 12:59:58 +0200 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): First Call for Tutorial Proposals Message-ID: <0KRACWCZ-XXJC-J5GT-L6CL-TI360C5DYKW@gmail.com> *** First Call for Tutorial Proposals *** 19th IEEE eScience Conference (eScience 2023) October 9-13, 2023, St. Raphael Resort, Limassol, Cyprus https://www.escience-conference.org/2023/ The 19th IEEE eScience Conference will be held in Limassol, Cyprus on October 9-13, 2023. eScience 2023 welcomes proposals for tutorials to be held with the main conference October 9-10 2023. The eScience 2023 Tutorial Program is intended to teach new and/or state-of-the art tools and techniques relevant to the eScience audience, disseminate information to conference attendees on recently emerging topics and trends, or provide surveys and overviews of related digital technologies. We encourage all submissions that fall in the area of the conference, and particularly those that have a practical (hands-on) component that helps attendees learn new technologies in eScience. We also encourage submissions that disseminate new technologies in eScience to a more diverse audience. TUTORIAL SUBMISSION GUIDELINES Tutorial proposals should be submitted per email as a single pdf file; the file should include (1) a cover sheet and (2) an extended abstract. Submission email: tutorials at escience-conference.org . REQUIREMENTS FOR THE COVER SHEET The cover sheet should include the following elements: • Full title • Abstract (300 words) • Brief schedule - please plan for a half-day tutorial (approx 3 hours plus breaks) • Intended audience (introductory, intermediate, advanced) • Prerequisite knowledge or skills required for attendees • Previous offerings of the tutorial, if any • Detailed contact information of all presenters (and indication of the main contact person) • Brief biography (max. 2 paragraphs) for each presenter, highlighting relevant teaching experience REQUIREMENTS FOR THE EXTENDED ABSTRACT The extended abstract (up to 2 pages) should include the following sections: • Motivation • Brief outline of the topics to be covered • Detailed agenda of the tutorial • Links to related resources • Type of support materials to be supplied to attendees • Requirements for online conference system KEY DATES • Tutorial Submissions Due: Friday, May 26, 2023 (AoE) • Tutorial Acceptance: Friday, June 30, 2023 • Tutorials at the Conference: October 9-10, 2023 CONTACT INFORMATION Tutorial Chairs (tutorials at escience-conference.org) • Silvina Caino-Lores, University of Tennessee, Knoxville, TN, USA • Philipp Gschwandtner, University of Innsbruck, Austria ORGANISATION General Chair • George Angelos Papadopoulos, University of Cyprus, Cyprus Technical Program Co-Chairs • Rafael Ferreira da Silva, Oak Ridge National Laboratory, USA • Rosa Filgueira, University of St Andrews, UK Organisation Committee https://www.escience-conference.org/2023/organizers Steering Committee https://www.escience-conference.org/about/#steering-committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Sat Mar 25 13:41:29 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 25 Mar 2023 14:41:29 +0200 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Second Call for Papers and Special Session Proposals Message-ID: *** Second Call for Papers and Special Session Proposals *** 10th International Conference on Behavioural and Social Computing (BESC 2023) October 30 - November 1, 2023, 5* Golden Bay Beach Hotel, Larnaca, Cyprus http://besc-conf.org/2023/ The International Conference on Behavioural and Social Computing (BESC) is a major international forum that brings together academic researchers and industry practitioners from artificial intelligence, computational social sciences, natural language processing, business and marketing, and behavioural and psychological sciences to present updated research efforts and progresses on foundational and emerging interdisciplinary topics of BESC, exchange new ideas and identify future research directions. The BESC series of conferences are technically sponsored by IEEE SMC (Systems, Man and Cybernetics) Society as well as IEEE CIS (Computational Intelligence Society) and the proceedings are published by IEEE BESC 2023 invites submissions of original, high-quality research papers addressing cutting-edge developments from all areas of behavioural and social computing. The conference aims to bring together researchers and practitioners from academia and industry to share their knowledge, experience, and perspectives on the latest trends, challenges, and opportunities in this rapidly evolving field. Topics of interest include, but are not limited to: Social Computing, Computational Social Science and Applications • Computational models of social phenomena • Social behaviour • Social network analysis • Semantic web • Collective intelligence • Security, privacy, trust in social contexts • Social recommendation • Social influence and social contagions • Quantifying offline phenomena through online data • Forecasting of social phenomena • Science and technology studies approaches to computational social science • Social media and health behaviours • Social psychology and personality • New theories, methods, and objectives in computational social science Digital Humanities • Digital media • Digital humanities • Digital games and learning • Digital footprints and privacy • Crowd dynamics • Digital arts • Digital healthcare • Activity streams and experience design • Virtual communities (e.g., open-source, multiplayer gaming, etc.) Information Management and Information Systems (IS) • Decision analytics • E-Business • Decision analytics • Computational finance • Societal impacts of IS • Human behaviour and IS • IS in healthcare • IS security and privacy • IS strategy, structure and organizational impacts • Service science and IS Natural Language Processing • Web mining and its social interpretations • Sentiment Analysis, Stylistic Analysis, and Argument Mining • Opinion mining and social media analytics • Credibility of online content • Computational Linguistics • Mining big social data • Cognitive Modelling and Psycholinguistics Behaviour and User Modelling, Privacy, and Ethics • Behaviour change • Positive technology • Personalization for individuals, groups and populations • Large scale personalization, adaptation and recommendation • Web dynamics and personalization • Privacy, perceived security and trust • Technology and Wellbeing • Ethics of computational research on human behaviour Technology Enhanced Learning (TEL) • E-Learning and M-Learning • Open and Distance Learning • User modeling and personalization in TEL • TEL in secondary and in higher education • New tools for TEL SUBMISSION INSTRUCTIONS The paper submission system is using Easy Chair and the submission link is: https://easychair.org/conferences/?conf=besc2023 . All papers will be reviewed by the Program Committee on the basis of technical quality, relevance to BESC 2023, originality, significance and clarity. Please note: • All submissions should use IEEE two-column style. Templates are available here: https://www.ieee.org/conferences/publishing/templates.html • All papers must be submitted electronically through the paper submission system in PDF format only. BESC 2023 accepts research papers (6 pages), special session papers (6 pages) and Doctoral Symposium papers (4 pages). • The page count above excludes the references (but includes any appendices). • Paper review will be double-blind, and submissions not properly anonymized will be desk-rejected without review. • Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. • Papers must be clearly submitted in English and will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. • Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. • All accepted papers will be included in IEEE Xplore and indexed by EI. Top quality papers after presented in the conference will be selected for extension and publication in several special issues of international journals, e.g., World Wide Web Journal (Springer), Web Intelligence (IOS Press), and Social Network Analysis and Mining (Springer), Human-Centric Intelligent Systems (Springer), Information Discovery and Delivery (Emerald Publishing). SPECIAL SESSION PROPOSALS The Organizing Committee invites proposals for Special Sessions that cover any topic related to BESC. Special Sessions can also cover any other area focusing on challenging open problems of relevance in applications on Behavioural, Economic, and Socio-Cultural Computing. Papers accepted in the Special Sessions will be included in the same conference volume with those accepted in the main track and will be candidates for being invited to the journal special issues that will be organised for BESC 2023. The proposals for organising Special Sessions should be submitted to the Special Sessions Chairs by the indicated deadline. A proposal should be submitted in PDF, be no longer than 2 pages in length, and contain the following: (i) Title of the proposed Special Session. (ii) Names, affiliations and contact information of the proposers. (iii) Names and affiliations of the Program Committee of the proposed Special Session. (iv) Description of the proposed Special Session, including the covered topics and the rationale as to why it fits into the themes of BESC. (v) A dissemination plan of the CFP for the proposed Special Session that the proposers will undertake, if their proposal is accepted. E-mails for submission of Special Session Proposals: taotao.cai AT usq.edu.au / yuting AT zhejianglab.com IMPORTANT DATES • Submission of Special Session proposals:  10 April 2023 • Acceptance notification for Special Session proposals: 15 April 2023 • Submission of all papers: 15 July 2023 • Notification of acceptance for submitted papers: 15 September 2023 • Camera-Ready Submission: 1 October 2023 • Author Registration: 1 October 2023 ORGANISATION Steering Committee Chair • Guandong Xu, University of Technology Sydney, Australia General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Georgia Kapitsaki, University of Cyprus, Cyprus • Ji Zhang, University of Southern Queensland, Australia Special Session Chairs • Taotao Cai, University of Southern Queensland, Australia (taotao.cai AT usq.edu.au) • Ting Yu, Zhejiang Lab, China (yuting AT zhejianglab.com) Doctoral Symposium Chair • Barbara Caci, University of Palermo, Italy Panel and Tutorial Chair • Philippe Fournier-Viger, Shenzhen University, China Proceedings Chair • Md Rafiqul Islam, University of Technology Sydney, Australia Publicity Chairs • Chandan Gautam, Institute for Infocomm Research (I2R), A*STAR, Singapore • Thanveer Shaik, University of Southern Queensland, Australia • Sanjay Sonbhadra, ITER, Siksha 'O' Anusandhan, India Webmaster • Shiqing Wu, University of Technology Sydney, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From siegel at udel.edu Thu Mar 23 17:34:01 2023 From: siegel at udel.edu (Stephen Siegel) Date: Thu, 23 Mar 2023 12:34:01 -0400 Subject: [fg-arc] VerifyThis 2023: Call for Participation Message-ID: VerifyThis Verification Competition 2023 CALL FOR PARTICIPATION -- GRANTS -- PRIZES Competition to be held at ETAPS 2023 http://verifythis.ethz.ch IMPORTANT DATES Grant Registration Deadline: April 7th, 2023 Registration deadline: April 14th, 2023 Competition: April 22nd and 23rd, 2023 ABOUT THE COMPETITION VerifyThis 2023 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023) on 22 and 23 April 2023. It is the 11th event in the VerifyThis competition series. Information on previous events and participants can be found at: http://verifythis.ethz.ch The aims of the competition are: * to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, and * to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language and pseudo code. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness and elegance. PARTICIPATION Participation is open for anybody interested. Teams of up to two people are allowed. VerifyThis will be held at ETAPS 2023 in Paris, each challenge will be given 90 minutes. More details and a full program will be announced on the website. We particularly encourage participation of: - people from under-represented communities - student teams (this includes PhD students) - non-developer teams using a tool someone else developed - several teams using the same tool ## GRANTS The competition has funds for a limited number of registration grants, sponsored by Amazon AWS. Grants will cover the registration costs for ETAPS. To apply for a grant, fill out the relevant section of the registration form and, if you are a student, have your supervisor send a brief letter of support to the following address: verifythis at googlegroups.com ## PRIZES Thanks to our sponsors, VerifyThis typically offer team prizes such as the best overall team, the most distinguished tool features and the best student team. VerifyThis 2023 prizes are sponsored by Amazon AWS. REGISTRATION Please register by filling out the following form: https://forms.gle/muWABKXkX6taPM9r9 Grant Deadline: April 7th, 2023 Deadline: April 14th, 2023 ORGANIZERS Stephen Siegel, University of Delaware, United States Xavier Denis, Université Paris-Saclay, France STEERING COMMITTEE Marieke Huisman, University of Twente, the Netherlands Rosemary Monahan, Maynooth University, Ireland Peter Müller, ETH Zurich, Switzerland Mattias Ulbrich, Karlsruhe Institute of Technology, Germany CONTACT Email: verifythis at googlegroups.com Web: http://verifythis.ethz.ch From gianfranco.lombardo at unipr.it Fri Mar 24 13:50:10 2023 From: gianfranco.lombardo at unipr.it (Gianfranco LOMBARDO) Date: Fri, 24 Mar 2023 12:50:10 +0000 Subject: [fg-arc] [cfp] AI4DTCP @IJCAI 2023 - 1st Workshop on AI for Digital Twins and Cyber-physical applications Message-ID: [Apologies for cross-posting] The first workshop on AI for Digital Twins and Cyber-physical applications (AI4DT&CP) Date: 19-21 August 2023 Web: https://ai4dtcp.github.io/ In conjunction with IJCAI 2023, 19-25 August 2023, Macao, S.A.R Workshop Overview The general advances in the Internet of Things (IoT) technology have led to the emergence of new applications that seamlessly blend the physical and digital worlds. Notwithstanding this trend, there are still open issues. A major one, due to the heterogeneity of the several models involved, is dealing with the complexity of the physical world to develop and deploy intelligent services that continuously perceive and learn from data coming from the environment. The idea gained traction among both academic institutions and industry players, revitalizing the Digital Twin technology that enables the creation of virtual replicas of physical objects by mirroring their properties, data,, and behaviors and enabling new intelligent and augmented functionalities such as learning, modeling, simulation, and cognitive capabilities. We believe that Artificial Intelligence (AI) will transform the field of Digital Twin technology by enabling the creation of intelligent virtual replicas that may offer smart services and lead to adaptive AI in cyber-physical environments. Digital Twin and cyber-physical systems can be enhanced with AI in several ways since AI enables real-time monitoring and control of physical systems with the possibility of delivering intelligent services with applications in several domains. At the same time, incorporating machine learning models into digital twin systems can be critical when monitoring or controlling critical systems. Machine Learning Operations (MLOps) approaches are attracting increasing interest to ensure that intelligent models are deployed robustly and reliably, especially when exploiting Continual Learning or Reinforcement Learning techniques. The workshop aims to bring together experts in the fields of Artificial Intelligence, Digital Twin technology, and Cyber-Physical systems to explore the latest developments and best practices in the use of AI-based digital twins for a wide range of cyber-physical services and applications. Topics of interest Topics of interest include, but are not limited to, the following: - What-if scenarios with Cyber-Physical applications - MLOps in Cyber-Physical systems - Digital Twin intelligence management - Digital Twins modeling for AI for physical augmentation - Cyber-Physical application and MLOps for anomaly detection - Digital Twins for synthetic data generation in Cyber-Physical applications - Predictive Maintenance in Cyber-Physical systems - Intelligent Digital Twins for optimization use cases (Smart cities, smart buildings, environmental monitoring) - Digital human replica with AI - Cyber-Physical application with AI in healthcare - Digital Twins for continual learning scenarios - Reinforcement Learning in Cyber-Physical applications Important dates - Submission deadline: May 2, 2023 - Paper notification: June 4, 2023 - Camera-ready: July 5, 2023 - Workshop: August 19-21,2023 Submission Papers must comply with the CEURART paper style (1 column) and can fall in one of the following categories: * Full research papers (minimum 7 pages) * Short research papers (4-6 pages) * Position papers (2 pages) The CEURART template can be found at: https://it.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw Papers can be submitted as PDF via EasyChair: https://easychair.org/my/conference?conf=ai4dtcp Accepted papers (after blind review of at least 3 experts) will be included in a volume of the CEUR Workshop Proceedings. We are also planning to organize a special issue in a Q1 journal, and the authors of the most interesting and relevant papers will be invited to submit an extended manuscript. At least one author of each accepted paper must travel to the IJCAI venue in person Multiple submissions of the same paper to more IJCAI workshops are forbidden Organization Gianfranco Lombardo, University of Parma, Italy. Marco Picone, University of Modena and Reggio Emilia, Italy Diego Reforgiato Recupero, University of Cagliari, Italy. Giuseppe Vizzari - University of Milano-Bicocca, Italy ————————————————— Dr. Gianfranco Lombardo, Ph.D - Postdoctoral Research Fellow - Adjunct Professor of “Big Data and Business Intelligence” 2021/2022 @Laurea Ingegneria dei sistemi informativi Department of Engineering and Architecture University of Parma Parco Area delle Scienze 181/A I-43124 Parma, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Mar 24 22:41:11 2023 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 24 Mar 2023 21:41:11 +0000 Subject: [fg-arc] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming Message-ID: <587efd2aeb12401c8c7cadda2d8a79ef@abo.fi> Dear all, The Formal Methods Teaching tutorials series resumes in 2023 with a lecture on Friday, March 31! Prof. Emil Sekerinski (McMaster University, Canada) will lecture on Teaching Concurrent Programming on Friday, March 31, 2023 at 3 pm CEST. An abstract for his talk comes below: The education in programming has in a certain sense deteriorated since the 80’s and 90’s: programming languages and environments, as common in industry and to which students are exposed in Computer Science, Software Engineering, and related programs, have become complex. Mastering them consumes students to an extent that courses cannot decouple the (timeless) principles of programming from the (short-lived) specifics of the programming environments at hand; the mathematical background on program design is often not taught. This is particularly critical for concurrent programming, which has become increasingly relevant but cannot be mastered without a theoretical background. The author has been developing course material for a required 3rd year Software Engineering course at McMaster University, Concurrent System Design with around 170 students, since 2018 to address that issue by web-based interactive notebooks using Jupyter that combine explanations, the mathematical theory, and execution of programs directly in the notebooks. Correctness reasoning, including non-interference of processes, is explained through hierarchical state diagrams. This talk gives an overview of the course material, which is available as an open educational resource, and reports on the experience. More information about our lecturer can be found here: http://www.cas.mcmaster.ca/~emil/. The zoom link for Emil' 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 below; we have speakers planned until June! 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 georgeangelos60 at gmail.com Wed Mar 29 11:08:55 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 29 Mar 2023 12:08:55 +0300 Subject: [fg-arc] 7th International Conference on Internet Science (INSCI 2023): Fifth Call for Papers Message-ID: <660ZRE4I-7MWR-APJT-2P6-RW2CEMGVFYS@gmail.com> *** Fifth Call for Papers *** 7th International Conference on Internet Science (INSCI 2023) September 13-15, 2023, 5* St. Raphael Resort, Limassol, Cyprus https://cyprusconferences.org/insci2023/ Submissions due: May 1, 2023 (AoE) (Proceedings to be published by Springer in LNCS; Best Paper Award sponsored by Springer with 300 EUR) “Internet for Survival”: How the effective and democratic evolution of the Internet towards an infrastructure/ecosystem supporting resilience and equality depends on deeply intertwined considerations rooted in technological, social and economic sciences.   INSCI is a multidisciplinary conference that brings together scholars and practitioners at the intersection of technological, social and economic sciences seeking to learn how the Internet can be used to make our world a better place. Its insights are expected to create a better understanding of this complex socio-technical system we call “Internet”, for instance to inform political decisions on the technological priorities for public funding and to drive a more sustainable and equitable development of the innovation and social ecosystems it supports. INSCI welcomes fundamental and applied multidisciplinary research, including policy- oriented studies and works offering technological solutions, that investigate the role of Internet for sustainable development, social and economic resilience, collective intelligence, reliable information processing and protection, and, more generally, for a holistic understanding of societal transformations, governance shifts and innovation quests.  INSCI welcomes works done in interdisciplinary teams that may include computer scientists, sociologists, policy makers, economists, designers and artists, or complex system scholars, among others, preferably uniting expertise from social, economic and technical sciences. This kind of work is expected to close the gap between societal / economic impact and requirements and technological developments, seen as both drivers and consequences of each other. Thus, INSCI 2023 welcomes submissions to a wide range of topics including but not limited to the following list. TOPICS Green, Sustainability, and Innovation • The challenges of Responsible Research and Innovation on Internet solution • The technological, social and economic benefits of Transnational and Inter-Cultural Projects • Internet solutions supporting Environmental policies related to Climate Change • Green Computing in a holistic perspective: trade-offs of computing power, social benefits, economic and environmental impacts (e.g. blockchains) • Design, Implementation, and Analysis of Novel Platforms for alternative distributed economic models • Distributed environmental awareness: creating a collective consciousness of environmental issues and possible solutions at individual and collective level. Collective intelligence, sensing and action • Energy optimisation from from networked production to shared consumption, relying on top-down and bottom-up approaches • Networks for circular economy models: conceiving and putting in place platforms and solutions effectively supporting circular and social economy models, collaborative making, art and creativity. Enabling Technologies, Applications and Infrastructures • Social implications of Reinforcement Algorithms, Machine Learning and Intelligent Systems • Feasibility and social /economic aspects of Algorithms for mediation content • Data Sovereignty and inclusion aspects of Cloud, Grid and Cluster Computing • Recommender, Adaptive and Context Aware Systems: design, social and inclusion aspects, feasibility and adoption • Networking and Wireless Systems as enablers: inclusion, health, privacy and pervasiveness aspects • People-driven Internet Technologies and Applications, including Collaborative Platforms & Social Search, Open Data and New Interfaces  Societal Structures • How will Internet of Things change Society and interaction models • Digital Competences and Participation • Virtual Communities and Behavioural Patterns: how are they affected by the technological platforms being used  • Knowledge, Education, Technology Enhanced Learning, and Societal Web Impact on Internet Evolution  • Offline and Online Human Behaviour with Emphasis on Social Media and Online/ER/ VR Interactions  Digital Politics and Governance • Internet and Political Participation • Online Political Freedoms in Policing and in Effect: Regional and Local Perspectives, technological impacts and requirements • Citizen Involvement into Decision-Making: Platforms, Actors, and Experiences • Political Discussions Online: Issues and Groups Behind Them, technical and collaborative solutions to moderate them • E-governance Practices of Today’s Authorities across the world • Internet regulation: Security vs. Openness Free Communication Patterns and Democracy • Freedom of Speech Online: a Contested Area of Policing • Algorithms as New Total Communicative Power • Extremist and Radical Talk Online and Policies or socio-Technical solutions to counteract it • Universal Internet Freedoms vs. Dark Web • Participatory Democracy and Budgeting: citizens’ involvement in democratic processes, for more equal and inclusive resource allocation • Cognitive, Psychological Aspects and Incentive Mechanisms for online Engagement, Collaboration and Participation  (smart citizenship, e-literacy, participation skills, decision support and recommendations for informed citizens and collective actions) • E-Democracy and E-Participation: risks and opportunities, lessons learnt from currently deployed solutions (e.g. e-voting, Decidim) • Reliable online information: collaborative models and processes to produce/qualify online information (e.g. post-truth Practices Online, filter bubble and fact checking), for health (e.g. vaccination), democracy (international decision-making, political campaigns, opinion and sentiment modelling, governmental censure and influence), economy (product labelling, ethical marketing), safety of online ecosystems (children protection, fake news, digital rebels) • Crowdsourcing: implications, enablers Sustainable Network Economy • Legal, economic, technological and innovation hurdles related to Intellectual Property and the Digital Commons  • New Collaborative Markets Analytics  • Economic Power of Online Platforms: Expropriation of Digital Labour, Open Data solutions and their applicability • Digital Corporations: World Leaders and Regional Alternatives • Analogous Elites, Technological Precariat • Digital Professions and Reshaping of Online Labour Markets • New decentralised economic models: enabling and sustaining a distributed ecosystem of platforms and solutions intrinsically respectful of privacy, self- disclosure and digital sovereignty • The consumer perspective: unlawful profiling, discrimination and lock-in, automated contracts and warranties Global Access Opportunities • Internet Resilience: Defining/Comparing non-disconnection Technologies, Monitoring Approaches and Internet Governance Models ensuring resiliency and citizens’ empowerment and sovereignty • Global and Local Faces of Today’s Digital Divide • Comparing existing and future Open Distance Education and Life-long Learning Environments on online/Virtual Reality Platforms, Practices Around the World • Global Media Online: Translation and Language Divide • Empowerment of Disabled with New Body Extensions • Post-human and Tech-human Individuals and Societies Data Sharing and Protection • Data Openness vs. User Protection: tech and social aspects of open data policies • Limits of Privacy and Anonymization, their dependance on technological solutions and intended applications • Clouds, Big Data and Data Protection Regulation vs. knowledge sharing and open innovation • Global Tech Powers and Alternative Solutions based on decentralisation • Open Science and Access to Scientific Production: technological enablers, platform governance, economic and innovation aspects IMPORTANT DATES • Submission of Papers: May 1, 2023 (AoE) • Notification of Decision: July 1, 2023 • Camera-Ready Submission: July 15, 2023 • Author Registration Deadline: July 15. 2023 PAPER REQUIREMENTS All submitted papers must: • Describe original results that have not been accepted or submitted for publication elsewhere • Be written in English and be submitted in PDF format • Contain author names, affiliations, and email addresses • Be formatted according to the Springer’s LNCS format Proceedings template: http://www.springer.de/comp/lncs/authors.html  • Contain three to seven keywords characterizing the paper, to be indicated at the end of the abstract • Be submitted via the conference system in EasyChair, using the submission link: https://easychair.org/conferences/?conf=insci2023 Full paper submissions should not exceed 15 pages (including all text, figures, references and appendices). We encourage a length of 12 pages for full papers. The Program Committee reserves the right to accept a submission as a short paper. Submissions not conforming to the LNCS format, exceeding the submission page limits or being obviously out of the scope of the conference, will be rejected without review. SELECTION All submissions will be evaluated by at least three members of the international Program Committee, with a mix of social, economic and technological expertise. The review process will be single-blind. Selection will be based on: • Degree of interdisciplinarity (between social, economic and/or technical sciences) • Novelty and technical merit • Relevance of the generated insights for the future Internet development The best paper will be sponsored with 300 EUR by Springer. CAMERA-READY Camera-ready submissions should be corrected by following the remarks of the reviewers and submitted using the same submission link in zip format including: • The camera-ready version of the authors’ work in pdf format • The camera-ready version of the authors’ work in editable sources format • The Consent to Publish signed in ink and scanned to image file PUBLICATION Accepted papers will be presented at INSCI2023 and published in the conference proceedings volume, which will be published in the Springer Lecture Notes in Computer Science (LNCS). Authors of selected best papers from the conference will be contacted in order to consider submission of an expanded version of their papers for publication in a special issue to be organised with the international journal Future Internet (https://www.mdpi.com/journal/futureinternet), published by MDPI. ORGANISATION General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Vasileios Mezaris, Information Technologies Institute, Greece • Fabrizio Sestini, European Commission DG CONNECT, Belgium Steering & Program Committees https://cyprusconferences.org/insci2023/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Fri Mar 31 17:13:46 2023 From: fm-announcements at lists.nasa.gov (Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements) Date: Fri, 31 Mar 2023 15:13:46 +0000 Subject: [fg-arc] [fm-announcements] FMICS 2023 - Second call for papers Message-ID: Second Call for Papers FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems Antwerp, Belgium, 20-22 September 2023 https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uantwerpen.be%2Fen%2Fconferences%2Fconfest-2023%2Ffmics%2F&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C53ca130b0ada45931e8008db31fa863b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638158724292489439%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=ojRXAdeGbjqoCzsEfF5Uw89HsUM6vHV%2BQTp%2FoYGMOBw%3D&reserved=0 The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in the industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. IMPORTANT DATES: Paper submission: 15 May 2023 Authors’ response period: 28-30 June 2023 Notification: 14 July 2023 Camera-ready version: July 31, 2023 Conference: 20-22 September 2023 TOPICS: Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification). - Impact of the adoption of formal methods on the development process and associated costs. - Application of formal methods in standardization and industrial forum. PAPER SUBMISSION: Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee, which will make a selection among the submissions based on the novelty, soundness, and applicability of the presented ideas and results. Papers must be written in English and should be submitted as PDF files using the EasyChair submission site: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dfmics2023&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C53ca130b0ada45931e8008db31fa863b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638158724292489439%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=Zt5MJ7ecKjoAecpY2OMTGWVXGie3AYlz%2F5T8JQi44es%3D&reserved=0. PROCEEDINGS: The conference proceedings will be published by Springer in the LNCS series. At least one author of each accepted paper is expected to present the paper at the conference as a registered participant. BEST PAPER AWARD: An award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2023 Best Paper. This submission will be awarded a 1.000 Euro prize sponsored by Springer. SPECIAL ISSUE: The Program Committee of FMICS 2023 will invite a selection of accepted papers to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). PC CHAIRS: Alessandro Cimatti, FBK, Italy Laura Titolo, NIA/NASA LaRC, USA PROGRAM COMMITTEE: Jasmin Blanchette (Vrije Universiteit Amsterdam, the Netherlands) Supratik Chakraborty (IIT Bombay, India) Pedro D'Argenio (Universidad Nacional de Cordoba, Argentina) Jennifer Davis (Collins Aerospace, USA) David Deharbe (Federal University of Rio Grande do Norte, Brazil) Alexandre Duret-Lutz (Laboratoire de Recherche et Développement de l'Epita, France) Alessandro Fantechi (University of Florence, Italy) Alessio Ferrari (CNR, Italy) Hubert Garavel (INRIA, France) Pierre-Loic Garoche (ENAC, France) Klaus Havelund (JPL, USA) Jean-Baptiste Jeannin (University of Michigan, USA) Barbara Jobstmann (EPFL, Switzerland) Laura Kovac (TU Wien, Austria) Tiziana Margaria (University of Limerick and LERO, Ireland) Paolo Masci (NIA/NASA Langley, USA) Stefan Mitch (CMU, USA) Rosemary Monahan (Maynooth University, Ireland) David Monniaux (VERIMAG, France) Sergio Mover (Ecole Politechnique, France) Yannick Moy (ADACORE, France) Jorge Navas (Certora, USA) Dejan Nickovic (Austrian Institute of Technology, Austria) Kristine Yvonne Rozier (Iowa State University, USA) Cristina Seceleanu (Malardalen University, Sweden) Martina Seidl (Johannes Kepler University, Austria) Jaco van de Pol (Aarhus University, Denmark) Alicia Villanueva (Universitat Politecnica de Valencia, Spain) Virginie Wiels (Onera, France) FMICS STEERING COMMITTEE: Maurice ter Beek (ISTI-CNR, Italy) Alessandro Fantechi (University of Florence, Italy) Hubert Garavel (INRIA, France) Tiziana Margaria (University of Limerick and LERO, Ireland) Radu Mateescu (INRIA, France) Jaco van de Pol (Aarhus University, Denmark) VENUE: As in previous years, FMICS 2023 is part of the CONFEST umbrella conference. In addition to FMICS, CONFEST also comprises CONCUR, FORMATS, and QEST, as well as workshops and tutorials. CONFEST will be held in Antwerp, Belgium on 18-23 September 2023. --- 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