From georgeangelos60 at gmail.com Tue May 2 13:36:28 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Tue, 2 May 2023 14:36:28 +0300 Subject: [fg-arc] 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023): Fifth Call for Submissions Message-ID: *** Fifth 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 georgeangelos60 at gmail.com Tue May 9 11:15:12 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Tue, 9 May 2023 12:15:12 +0300 Subject: [fg-arc] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Last Call for PhD Symposium Applications Message-ID: *** Last 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, Cyprus University of Technology, Cyprus • Demetris Thrihinas, University of Nicosia, 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 • Harald Gjermundrød, University of Nicosia, Cyprus • Vasileios Karakostas, University of Athens, Greece • Thomas Ludwig, University of Hamburg, Germany • 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 sauer at uni-paderborn.de Tue May 9 12:36:03 2023 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 9 May 2023 12:36:03 +0200 Subject: [fg-arc] HCSE@INTERACT 2023 Workshop - Call for Papers (Submissions due: May 30) Message-ID: ***** *Workshop date confirmed for August 29, 2023 ***** * * * **** Submission deadline extended to May 30, 2023 **** _Attending the HCSE at INTERACT 2023 workshop does not require paper submission/acceptance!_ If you only want to participate or present your work without submitting a paper, please contact the organizers! * * *(Apologies if you receive multiple e-mails on this subject via different channels!)* https://sites.google.com/view/hcse-interact2023 *Call for Papers*  HCSE at INTERACT 2023 International Workshop on Human-Centered Software Engineering Rethinking the Interplay of Human–Computer Interaction and Software Engineering in the Age of Digital Transformation organized by IFIP Working Group 13.2 onMethodologies for User-Centered Systems Design atINTERACT 2023 The 19th IFIP TC.13 International Conference on Human–Computer Interaction August 29, 2023 York, United Kingdom Theme The Fourth Industrial Revolution is characterized by a process of technological transformation that is affecting the social structure across the globe. It has changed the way of shopping, of relating to others, of living. At the core of the process are technologies that generate important cultural impacts in our lives. In Europe, this process is differently named, depending on the different countries: digitisation, digital transformation, digital transition, etc. Here we call it digital transformation, but no matter how you name it, it has in fact revolutionized every market and company, as well as our life. We follow the definition by Gong & Ribiere (2020) that states that Digital transformation is “A fundamental change process, enabled by the innovative use of digital technologies accompanied by the strategic leverage of key resources and capabilities, aiming to radically improve an entity* and redefine its value proposition for its stakeholders.” (*An entity could be: an organization, a business network, an industry, or society.). Various technologies enable the digital transformation process: mobile and wearable devices, Internet of Things, Cloud Computing, Big Data, Blockchain, Augmented, Virtual and Mixed Reality, Artificial Intelligence and Machine Learning, Digital Twin, Cybersecurity. However, while introducing undeniable benefits, they also bring some important issues. This workshop is looking for contributions from various fields, with a focus on: * the domain of Internet of Things (IoT) and IoT devices that are becoming more pervasive and social * IoT also introduces issues from the cybersecurity perspective * The impact of Artificial Intelligence (AI) on human lives and the economywith the problem thatthe required computing power is high, there are worriesof how AI models predict the output, data privacy and securityetc * Digital Twin (DT) is another protagonist of the digital transformation process. It is a virtual replica of a real-world object that is run in a simulation environment  to mirror its physical pendant, with digital and physical twins influencing each other including the ability to perform predictions. * benefits and issues of other technologies: usability of mobile and wearable devices, as well as of Augmented, Virtual and Mixed Reality; user awareness about the usage and the security of Cloud Computing, Big Data, Blockchain. What emerges is that Human-Centered Software Engineering (HCSE) is more relevant than ever. The interplay between Human–Computer Interaction and Software Engineering needs to be rethought and fortified for a rapid response to the evolution of technologies, while also considering aspects such as greater agility in service development, sustainability, ethical considerations, cybersecurity, user mindset and awareness, to name just a few.  But also the approaches for addressing them have to be carefully considered. For example, some software development companies show an increasing interest in low-code development platforms to facilitate application development by domain experts without sophisticated software development knowledge, as a possible solution to the need of more agile, fast and also sustainable service development. Domain experts are, however, not trained in software development methods. This introduces a risk of domain experts creating unusable applications or exceeding the designated time frame of a project (or both). Objective In this workshop, we aim to broaden the traditional scope of the workshop series of IFIP Working Group 13.2beyond the traditional themes of IFIP 13.2 workshops. Particularly, this edition promotes sharing of knowledge and experiences that address how to deal with the challenges of the digital transformation and its influence on human-centered socio-technical system design and development practices. This workshop is a follow-up of the successful workshops organized atINTERACT 2015 in Bamberg, Germany ,INTERACT 2017 in Mumbai, India ,INTERACT 2019 in Paphos, Cyprus , andINTERACT 2021 in Bari, Italy . Target Audience and Expected Outcomes This workshop is open to everyone who is interested in aspects of human–computer interaction from  a user-centered perspective. Typical contributions to this workshop focus on methods, processes and approaches for designing, building and testing interactive systems. We expect a high participation of IFIP Working Group 13.2 members. We particularly invite participants to present position papers describing real-life case studies that illustrate how they rethought HCI’s and SE’s interplay in order to address aspects such as agile development, sustainability, ethical considerations, and cybersecurity. Any perspective and related aspects of user interface design are welcome. We are especially interested in work that deals with current trends that change the way humans use, interact and collaborate with technical components in socio-technical systems. We are also interested in methods, theories and tools that combine human-centered design and software engineering practices. Position papers will be made available through the workshop website. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT workshops organized by the IFIP TC13 Working Groups. Workshop Format This full-day workshopisin person only. Itisorganized around presentation of position papers and working activities in small groups. From the set of contributions, a subset of selected case studies will be invited to be presented at the beginning of the workshop and will be used to support the discussion that follows. The morning session will be dedicated to welcoming participants and presenting case studies. Participants will be invited to comment on the case studies and to report similar experiences. The afternoon sessions will be devoted to interactive sessions, where participants will be engaged to work in small groups and propose solutions to the problems of the case st udies seen in the morning. Solutions proposed by the participants will be compiled and compared. Based on the lessons learned, participants will be incited to draft an agenda of future work that can be accomplished. We plan to run the workshoponsite in person only. If circumstances require it, we intend to switch to a completely digital format that will be run online. We will continuously adapt to any decision regarding the conference format by the INTERACT 2023 organizers. Submission Instructions In order to attend the workshop, participants are invited to submit position papers reporting original academic or industrial research relevant to the workshop's theme. These position papers (PDF files, 6-10 pages inSpringerLNCSformat , including abstract) shall report(practical) experiences related to research challenges and results on human-centered software engineering or user-centered development processes for interactive systems with a particular focus on digital-transformation aspects and technologies (such as mobile and wearable devices, Internet of Things, Cloud Computing, Big Data, Blockchain, Augmented, Virtual and Mixed Reality, Artificial Intelligence and Machine Learning, Digital Twin, Cybersecurity) and  their impact on software properties or software development practices.Submissions are not anonymous and should include all author names, affiliations, and contact information.Authors should also provide in their submission a short summary of their experience in the field and their motivation to participate in this workshop. Submissions will be processed via the workshop web pages that will be managed by the workshop organizers at IFIP WG 13.2.Papers are submitted through theEasyChair website . Submitted position paperswill be reviewed byan international program committee comprisingthe organizers and selected members of IFIP Working Group 13.2 who are experts in the field. Participants will be invited to attend the workshop based on the result of the reviewing process. Accepted position paperswill be made available through the workshop website.Upon acceptance, at least one author of each accepted position paper must register and attend the workshop.Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT 2023 workshops organized by the IFIP TC13 Working Groups. Important Dates Deadline for submission: May 30, 2023 [extended!](May 8, 2023) Acceptance notification:June 7, 2023[extended!] (May 31, 2023) Final version of position paper: June30, 2023 Workshop date: August29, 2023 (confirmed) Organizers Carmelo Ardito, UniversityLUM Giuseppe Degennaro, Italy Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Stefan Sauer, Paderborn University, Germany Contact Please write toorganizers at hcse-conference.org if you have any question. Venue The workshop will be hosted in the frame of the 19th IFIP TC13 International Conference on Human-Computer Interaction, August28– September1, 2023, inYork, United Kingdom. Look at the main conference web site for further information (https://www.interact2023.org/ ). * * ** -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/vcard Size: 464 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5449 bytes Desc: S/MIME Cryptographic Signature URL: From georgeangelos60 at gmail.com Wed May 10 11:43:50 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 10 May 2023 12:43:50 +0300 Subject: [fg-arc] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Last Mile for Posters and Demos Submissions Message-ID: *** Last Mile for Posters and Demos Submissions *** 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/conferences/?conf=europar2023workshops .   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 Tue May 16 11:01:44 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Tue, 16 May 2023 12:01:44 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Last Call for Tutorial Proposals Message-ID: *** Last 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 Wed May 17 11:00:14 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 17 May 2023 12:00:14 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Fifth Call for Papers Message-ID: <6V73B23S-JCFV-XW6Q-JJO-5PE18YRAXEA@gmail.com> *** Fifth 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 cfp at mat.unical.it Tue May 2 16:04:29 2023 From: cfp at mat.unical.it (cfp) Date: Tue, 02 May 2023 14:04:29 -0000 Subject: [fg-arc] ASPOCP 2023 @ ICLP- First Call for Paper Message-ID: ====================================================================================                                    CALL FOR PAPERS                                      ASPOCP 2023         16th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2023/                                   July 9 or July 10       Affiliated with ICLP 2023, 39th International Conference on Logic Programming https://iclp2023.imperial.ac.uk/home                                   July 9 - 15, 2023 ==================================================================================== AIMS AND SCOPE  Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms.  Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction).  A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This  workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS  Topics of interests include (but are not limited to):  - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).  - ASP and constraint programming.  - ASP and other logic programming paradigms, e.g., FO(ID).  - ASP and other nonmonotonic languages, e.g., action languages.  - ASP and external means of computation.  - ASP and probabilistic reasoning.  - ASP and knowledge compilation.  - ASP and machine learning.  - New methods of computing answer sets using algorithms or systems of other paradigms.  - Language extensions to ASP.  - ASP and multi-agent systems.  - ASP and multi-context systems.  - Modularity and ASP.  - ASP and argumentation.  - Multi-paradigm problem solving involving ASP.  - Evaluation and comparison of ASP to other paradigms.  - ASP and related paradigms in applications.  - Hybridizing ASP with procedural approaches.  - Enhanced grounding or beyond grounding. SUBMISSIONS  The workshop invites two types of submissions:   - original papers describing original research.   - non-original paper already published on formal proceedings or journals.  Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style available here .  A ready-to-clone overleaf project containing a 1-column CEURART style is available here .  Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page.  Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/my/conference?conf=aspocp2023.  IMPORTANT DATES   Abstract submission deadline:                              15 May 2023   Paper submission deadline:                                 22 May 2023   Notification:                                              12 June 2023   Camera-ready articles due:                                 22 June 2023 PROCEEDINGS  Authors of all accepted original contributions can opt for to publish their work on formal proceedings.  Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published.  A selection of extended and revised versions of accepted papers could appear in a special issue.  Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS  Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy  Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria CONTACTS  For any questions, please contact the workshop co-chairs at aspocp2023_AT_easychair.org PROGRAM COMMITTEE (To date)  Mario Alviano, University of Calabria  Marcello Balduccini, Saint Joseph's University  Pedro Cabalar, University of Corunna  Francesco Cauteruccio, Polytechnic University of Marche  Stefania Costantini, University of L'Aquila  Carmine Dodaro, University of Calabria  Stefan Ellmauthaler, TU Dresden  Esra Erdem, Sabanci University  Cristina Feier  Johannes K. Fichte, Linköping University  Martin Gebser  Antti Hyvärinen, Certora  Giovambattista Ianni, University of Calabria  Daniela Inclezan, Miami University  Tomi Janhunen, Tampere University  Joao Leite, Universidade NOVA de Lisboa  Vladimir Lifschitz, The University of Texas at Austin  Michael Morak, University of Klagenfurt  Javier Romero, University of Potsdam  Orkunt Sabuncu, TED University  Konstantin Schekotihin, Alpen-Adria Universität Klagenfurt  Tran Cao Son, New Mexico State University  Mirek Truszczynski, University of Kentucky  Johannes P. Wallner, TU Graz  Stefan Woltran, TU Wien  Jia-Huai You, University of Alberta  Jessica Zangari, University of Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From adho at itu.dk Wed May 3 09:42:54 2023 From: adho at itu.dk (Adrian Hoff) Date: Wed, 03 May 2023 07:42:54 -0000 Subject: [fg-arc] IEEE VISSOFT 2023 - Call for Papers Message-ID: VISSOFT 2023 (11th IEEE Working Conference on Software Visualization) Call for Papers ============================================================================== VISSOFT 2023: 1-2 October 2023, Bogotá, Colombia https://vissoft.info/2023/ ============================================================================== The VISSOFT conference is a venue for publishing and discussing research related to software visualization. Consequently, VISSOFT brings together a community of researchers from software engineering, information visualization, human-computer interaction, computer graphics, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. VISSOFT, co-located with ICSME, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, evaluations, and papers that present novel ideas and tools. Topics of interest include but are not limited to: - Innovative visualization and visual analytics techniques for the analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks like StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data - Visualization to support software development activities, including design, requirements engineering, software maintenance, program comprehension, software performance, software testing, and debugging - Interaction techniques and algorithms for software visualization - Visualization-based techniques in software engineering education - Integration of software visualization tools with development environments - Empirical evaluation of software visualizations, including eye-tracking - Industrial experience with using software visualization - Applications of new technologies to enhance software visualization, including virtual reality, augmented reality, gamification, and machine learning - Analytical approaches to understanding software-related aspects based on data science concepts ============================================================================== Tracks and Dates Research Track - Abstract Submission Deadline: June 19, 2023, AoE NIER/TD Track - Abstract Submission Deadline: June 19, 2023, AoE Journal First Track - Paper Submission Deadline: July 28, 2023, AoE ============================================================================== Further information on the reviewing process, artifact submissions, and the submission process are available at: https://vissoft.info/2023/submission.html We look forward to your contribution! -------------- next part -------------- An HTML attachment was scrubbed... URL: From T.A.C.Willemse at tue.nl Sat May 6 15:04:00 2023 From: T.A.C.Willemse at tue.nl (Willemse, Tim) Date: Sat, 6 May 2023 13:04:00 +0000 Subject: [fg-arc] SEFM 2023: Call for Papers Message-ID: Dear Colleague, ************************************************************************ Call for Papers - SEFM'23 21st Int. Conf. on Software Engineering and Formal Methods 8-10 November 2023 Up-to-date information: https://sefm-conference.github.io/2023/ ************************************************************************ SEFM'23 will be held at Eindhoven University of Technology, from Nov. 8 - 10, 2023, with workshops on Nov. 6 and 7. IMPORTANT DATES: Abstract submission: 2 June 2023 (AoE) Paper submission: 9 June 2023 (AoE) Notification: 18 August 2023 Camera-ready submission: 10 September 2023 Conference: 8 – 10 November 2023 OVERVIEW AND SCOPE The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods. # Software Development Methods - Formal modelling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent, and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: Regular papers describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages). Tool papers that describe an operational tool and its contributions should not exceed 8 pages (including bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). Submission site: https://easychair.org/conferences/?conf=sefm2023. ARTEFACT EVALUATION This edition of SEFM introduces an artefact evaluation (AE). An artefact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artefact is optional for regular papers and mandatory for tool papers. The artefacts will be judged by the Artefact Evaluation Committee (AEC). Artefacts can be submitted up-to one week after the paper submission deadline. PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journal "Software and Systems Modeling" (SoSyM). PROGRAMME COMMITTEE Mario Bravetti, University of Bologna Julien Brunel, ONERA Radu Calinescu, University of York Taolue Chen, Birkbeck, University of London Rance Cleaveland, University of Maryland Loek Cleophas, TU Eindhoven and Stellenbosch University Alcino Cunha, University of Minho Carla Ferreira, Universidade NOVA de Lisboa (co-chair) Adrian Francalanza, University of Malta Hubert Garavel, INRIA Silvia Ghilezan, University of Novi Sad, Mathematical Institute SASA Christian Johansen, Norwegian University of Science and Technology Daniela Kaufmann, TU Wien Zhiming Liu, Southwest University Burcu Kulahcioglu Ozkan, Delft University of Technology Marjan Mernik, University of Maribor Charles Morisset, Newcastle University Stephan Merz, Inria Nancy Rocco De Nicola, IMT - School for Advanced Studies Lucca Peter Ölveczky, University of Oslo Jovanka Pantovic, University of Novi Sad, Faculty of Technical Sciences Gwen Salaün, Université Grenoble Alpes Augusto Sampaio, Federal university of Pernambuco Marjan Sirjani, Malardalen University Ana Sokolova, University of Salzburg Pierre-Yves Schobbens, University of Namur Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS Rolando Trujillo, Universitat Rovira i Virgili (URV) Tim Willemse, Eindhoven University of Technology (co-chair) ************************************************************************ Best wishes, Carla Ferreira Department of Computer Science, NOVA University Lisbon, Portugal Tim Willemse Department of Computer Science & Mathematics, Eindhoven University of Technology, The Netherlands -- T.A.C. Willemse (T.A.C.Willemse at TUe.nl) Chair Formal System Analysis Department of Mathematics and Computer Science Eindhoven University of Technology +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://orcid.org/0000-0003-3049-7962 -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.jurjo at imdea.org Tue May 9 11:27:21 2023 From: daniel.jurjo at imdea.org (daniel.jurjo at imdea.org) Date: Tue, 09 May 2023 11:27:21 +0200 Subject: [fg-arc] LOPSTR 2023 (Lisbon) - Final Call for Papers - Paper Deadline: May 26, 2023. Message-ID: <20230509092723.C40A61660@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 fm-announcements at lists.nasa.gov Wed May 10 20:59:52 2023 From: fm-announcements at lists.nasa.gov (Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements) Date: Wed, 10 May 2023 18:59:52 +0000 Subject: [fg-arc] [fm-announcements] FMICS 2023 - Deadline extension Message-ID: <6CA999E1-AEA0-4E0D-95E9-A2D562086F8A@nasa.gov> FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems Antwerp, Belgium, 20-22 September 2023 https://www.uantwerpen.be/en/conferences/confest-2023/fmics/ 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: 28 May 2023 (extended) Authors’ response period: 12-14 July 2023 (extended) Notification: 21 July 2023 (extended) Camera-ready version: 31 July, 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 the 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 forums. 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://easychair.org/conferences/?conf=fmics2023. 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 an International Journal. 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 Mitsch (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. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From kosiolje at mathematik.uni-marburg.de Wed May 10 21:58:12 2023 From: kosiolje at mathematik.uni-marburg.de (Jens Kosiol) Date: Wed, 10 May 2023 21:58:12 +0200 Subject: [fg-arc] GCM '23: Deadline Extension Message-ID: <3e4a812c-4922-f4ff-510b-fb6a2eca6e3a@mathematik.uni-marburg.de> ---> DEADLINE EXTENSION <--- **************************************************************************** ***************************  CALL FOR PAPERS ****************************** **************************************************************************** 14th International Workshop on Graph Computation Models (GCM 2023) 18 July 2023 Venue: Leicester, UK Web site: https://conf.researchr.org/home/staf-2023/gcm-2023 Part of STAF 2023 (https://conf.researchr.org/home/staf-2023) ================================================================================ Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. They generalize classical computation models based on strings or trees, such as Chomsky grammars or term rewrite systems. Their mathematical foundation, in addition to their visual nature, facilitates specification, validation and analysis of complex systems. A variety of computation models have been developed using graphs and rule-based graph transformation. These models include features of programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, and biological and chemical computations. The International Workshop on Graph Computation Models aims at bringing together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among young and senior researchers from different communities who are interested in the foundations, applications, and implementations of graph computation models and related areas. -------------------------------------------------------------------------------- ** IMPORTANT DATES ** Abstract Submission:    15 May 2023 *new* Paper Submission:       21 May 2023 *new* Notification:           12 June 2023 Final version due:      26 June 2023 Workshop:               18 July 2023 -------------------------------------------------------------------------------- ** TOPICS ** GCM 2023 solicits papers on all aspects of graph computation models. This includes, but is not limited to the following topics: FOUNDATIONS * Models of graph transformation * Analysis and verification of graph transformation systems * Parallel, concurrent, and distributed graph transformation * Term graph rewriting * Formal graph languages APPLICATIONS * Graph-based programming models and visual programming * Program analysis and transformation * Graph-based machine learning, including graph neural networks and models of rule inference * Model-driven engineering and model transformation * Evolutionary computation; software architectures, validation and evolution * Databases * Graph-based security models * Workflow and business processes * Social network analysis * Bioinformatics and computational chemistry * Quantum computing * Case studies --------------------------------------- ** SUBMISSION TYPES ** Authors are invited to submit papers in any of the following three categories: (1) Regular papers of at most 16 pages describing innovative contributions. (2) Short papers (work in progress, system descriptions, or position papers) of 6 to 12 pages. (3) Short announcements of 1 or 2 pages, to be presented as lightning talks of 5 minutes. Papers in PDF format should be submitted electronically via the EasyChair system site (https://easychair.org/conferences/?conf=gcm23). Submissions must use the EPTCS LaTeX style (http://style.eptcs.org/). Simultaneous submission to other conferences with proceedings, as well as submission of material that has already been published elsewhere is not allowed for regular and short papers. The page limits include references. An optional appendix may be added if this is useful for the reviewing process. If a short announcement extensively draws on already published work, a copy of that work is to be attached to the submission. Submission of short announcements will be possible until mid-June. All submissions will be reviewed by the programme committee; short announcements will undergo a lightweight review and mainly be assessed for their potential to stir discussion on future research of the community. Electronic proceedings will be available at the time of the workshop. Selected authors of regular and short papers will be invited to contribute to post-proceedings to be published online by Electronic Proceedings in Theoretical Computer Science (EPTCS, http://www.eptcs.org/). --------------------------------------- ** PROGRAMME COMMITTEE ** * Andrea Corradini, Università di Pisa, Italy * Rachid Echahed, University of Grenoble - CNRS, France * Fabio Gadducci, Università di Pisa, Italy * Reiko Heckel, University of Leicester, Germany * Tobias Heindel (co-Chair), Heliax GmbH, Germany * Berthold Hoffmann, University of Bremen, Germany * Barbara König, University of Duisburg-Essen, Germany * Jens Kosiol (co-Chair), Philipps-Universität Marburg, Germany * Leen Lambers, Brandenburgische Technische Universität Cottbus-Senftenberg, Germany * Marino Miculan, University of Udine, Italy * Mark Minas, Universität der Bundeswehr München, Germany * Detlef Plump, University of York, UK * Sven Schneider, Hasso-Plattner-Institut, University of Potsdam, Germany -------------------------------------------------------------------------------- ** ORGANISERS ** * Tobias Heindel (tobias at heliax.dev) * Jens Kosiol (kosiolje at mathematik.uni-marburg.de) For more information, please visit the official workshop website at: https://conf.researchr.org/home/staf-2023/gcm-2023 From sebastian.geiss at rwth-aachen.de Thu May 11 14:01:01 2023 From: sebastian.geiss at rwth-aachen.de (Geiss, Sebastian) Date: Thu, 11 May 2023 12:01:01 +0000 Subject: [fg-arc] =?iso-8859-1?q?Expertensuche_f=FCr_die_Evaluation_einer?= =?iso-8859-1?q?_Modellierungssprache_mit_Spezialisierung_auf_Software_Sec?= =?iso-8859-1?q?urity?= Message-ID: <091a82ec955d4c9bad32770a89c25f93@rwth-aachen.de> Sehr geehrte Fachgruppe Architekturen, mein Name ist Sebastian Geiss und ich studiere zurzeit Informatik im Master an der RWTH Aachen University. Zusammen mit meinem Supervisor Alex Sabau, vom Lehr- und Forschungsgebiet Informatik 3 (Softwarekonstruktion) geleitet von Prof. Horst Lichter, habe ich mich im Rahmen meiner Master Thesis mit der Frage befasst, wie eine Modellierungssprache für Systemarchitekturen aussehen könnte, welche sich auf die Modellierung von Software Security spezialisiert. In einer vorangegangenen Arbeit wurden 6 Security-Dimensionen aus gängigen Security Design Patterns identifiziert. Eine Beispieldimension wäre bspw. die Secure Communication View, welche wie der Name vermuten lässt, die Kommunikation in einer Systemarchitektur so darstellt, dass sich mit diesen Informationen die Sicherheit evaluieren lässt. Aus den Dimensionen habe ich eine Security Tester View erstellt, welche Informationen aus dem Security Testbereich enthält. Zudem habe ich eine Modellierungssprache entworfen um die View zu visualisieren. Die Modelierungssprache ist an UML angelehnt und soll trotz neuer Elemente, leicht zu verwenden sein. Für die Evaluation suche ich nun Experten im Bereich Software Sicherheit, im besten Fall mit Erfahrung im Bereich Software Architektur Modellierung oder Software- und Systemarchitekten mit Erfahrung im Bereich Sicherheitsmodellierung. Um zu evaluieren, wie gut sich die Modelierungssprache dazu eignet die Sicherheit auf Architekturebene zu modellieren, plane ich ein ca. 30 bis 45 minütiges Experteninterview. Darin werden einzelne Charakteristika der Sprache diskutiert und evaluiert. Eine weitere Vorbereitung zu dem Thema, wie ein vorheriges einlesen, würde nicht benötigt. Allerdings würde ein Foliensatz für weitere Informationen mitgesendet. Das Ziel der Evaluation ist es, die Stärken und Schwächen der Modellierungssprache zu identifizieren, und um mögliche Forschungsrichtungen für zukünftige Arbeiten auszulegen. Falls Sie Interesse haben, würde ich Sie gerne zum Experteninterview einladen. Für die Terminfindung würde ich Sie dann bitten, einen Termin über diesen Link zu buchen: https://terminplaner6.dfn.de/p/5fa103f00d10c679fb3f26521bcad893-245123 Ich würde mich über Ihre Unterstützung freuen. Mit freundlichen Grüßen, Sebastian Geiss -------------- next part -------------- An HTML attachment was scrubbed... URL: From marie.farrell at manchester.ac.uk Thu May 11 15:33:22 2023 From: marie.farrell at manchester.ac.uk (Marie Farrell) Date: Thu, 11 May 2023 13:33:22 +0000 Subject: [fg-arc] SMC-IT/SCC 2023: Call For Participation Message-ID: IEEE SMC-IT / SCC 2023 9th International Conference on Space Mission Challenges for Information Technology 14th International Conference on Space Computing Caltech, Pasadena, CA, USA July 18-21, 2023 CALL FOR PARTICIPATION REGISTRATION IS NOW OPEN EARLY BIRD REDUCED RATE UNTIL JUN 1st! (Regular registration begins on June 2nd and continues throughout the conference.) Sponsored by: IEEE Computer Society and the Technical Committee on Software Engineering (TCSE) General Information: http://smcit-scc.space Email Inquiries: smcit-scc_chairs at list.jpl.nasa.gov Registration: http://smcit-scc.space/registration The International Conference on Space Mission Challenges for Information Technology (SMC-IT) and the Space Computing Conference (SCC) gather system designers, engineers, computer architects, scientists, practitioners, and space explorers with the objective of advancing information technology, and the computational capability and reliability of space missions. The forums will provide an excellent opportunity for fostering technical interchange on all hardware and software aspects of space missions. The joint conferences will focus on current systems practice and challenges as well as emerging hardware and software technologies with applicability for future space missions. Systems in all aspects of the space mission will be explored, including flight systems, ground systems, science data processing, engineering and development tools, operations, telecommunications, radiation-tolerant computing devices, reliable electronics, space-qualifiable packaging technologies. The entire information systems lifecycle of mission development will also be covered, such as conceptual design, engineering tools development, integration and test, operations, science analysis, quality control. Confirmed Keynote Speakers include: • Dr. Laurie Leshin (Director, Jet Propulsion Laboratory). • Dr. Katherine Bouman (Assistant Professor, California Institute of Technology). • Dr. Rachel Klima (Principal Staff Scientist, Johns Hopkins Applied Physics Laboratory). • Dr. Bethany Ehlman (Professor, California Institute of Technology). • Dr. Matthew Greenhouse (Project Scientist, James Webb Space Telescope, NASA GSFC). • Victoria Da Poian (Data Scientist, NASA Goddard Space Flight Center). EXHIBITS: Interested in exhibiting or providing sponsorship through a corporation grant? If so, please contact us at smcit-scc_chairs at list.jpl.nasa.gov CALL FOR STUDENT VOLUNTEERS: If you are a full-time student and have an interest in volunteering to help with conference operations, please drop us an email at smcit-scc_chairs at list.jpl.nasa.gov. TOUR OF JPL: Please indicate interest in joining a tour of JPL when you register. Limited spaces are available. We look forward to seeing you in person in July 2023! ORGANIZING COMMITEE: • General Chair (SMC-IT): Alessandro Pinto (NASA JPL) • General Chair (SCC): Jim Butler (NASA JPL) • General Co-chair (SMC-IT) Yogita Shah (NASA JPL) • Finance Chair: James Oyama (NASA JPL) • Program Chair (SMC-IT): Ivan Perez (KBR / NASA Ames Research Center) • Program Chair (SCC): Christopher Green (NASA Goddard) • Program Co-chair (SMC-IT): Marie Farrell (The University of Manchester, UK) • Program Co-chair (SCC): David Henriquez (NASA JPL) • Workshop Chair (SMC-IT): Sanaz Sheikhi (Stony Brook University) • Diversity Chair: Divya Gopinath (KBR / NASA Ames Research Center) • Social Media Chair: Dara MacConville (Maynooth University, Ireland) • Faculty Advisor: Prof. George Djorgovski (Caltech) • Advisors to the Chairs: ◦ Larry Bergman (NASA JPL, Ret.) ◦ Michael Campbell (The Aerospace Corporation, Ret.) ◦ Michelle Carter (The Aerospace Corporation) ◦ Amalaye Oyake (Past Chairperson - SMC-IT 2019) -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Fri May 12 10:50:05 2023 From: cfp at mat.unical.it (cfp) Date: Fri, 12 May 2023 10:50:05 +0200 Subject: [fg-arc] ASPOCP 2023 @ ICLP- EXTENDED DEADLINE Message-ID: <5a866cac-4514-5c03-3823-553f5ef22aa4@mat.unical.it> Please note the extended deadline for ASPOCP 2023 – in response to several requests. Apologies for multiple postings. ==================================================================================== *EXTENDED SUBMISSION DEADLINE* *IMPORTANT DATES* *Abstract submission deadline: 22 May 2023** **  Paper submission deadline:                                 29 May 2023** **Notification:                                              12 June 2023** **  Camera-ready articles due:                                 22 June 2023* ==================================================================================== ====================================================================================                                    CALL FOR PAPERS                                      ASPOCP 2023         16th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2023/                                   July 9 or July 10       Affiliated with ICLP 2023, 39th International Conference on Logic Programming https://iclp2023.imperial.ac.uk/home                                   July 9 - 15, 2023 ==================================================================================== AIMS AND SCOPE  Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms.  Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction).  A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This  workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS  Topics of interests include (but are not limited to):  - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).  - ASP and constraint programming.  - ASP and other logic programming paradigms, e.g., FO(ID).  - ASP and other nonmonotonic languages, e.g., action languages.  - ASP and external means of computation.  - ASP and probabilistic reasoning.  - ASP and knowledge compilation.  - ASP and machine learning.  - New methods of computing answer sets using algorithms or systems of other paradigms.  - Language extensions to ASP.  - ASP and multi-agent systems.  - ASP and multi-context systems.  - Modularity and ASP.  - ASP and argumentation.  - Multi-paradigm problem solving involving ASP.  - Evaluation and comparison of ASP to other paradigms.  - ASP and related paradigms in applications.  - Hybridizing ASP with procedural approaches.  - Enhanced grounding or beyond grounding. *SUBMISSIONS*  The workshop invites two types of submissions:   - original papers describing original research.   - non-original paper already published on formal proceedings or journals.  Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style available here .  A ready-to-clone overleaf project containing a 1-column CEURART style is available here .  Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page.  Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/my/conference?conf=aspocp2023. *IMPORTANT DATES* *Abstract submission deadline: 22 May 2023** **  Paper submission deadline:                                 29 May 2023** **Notification:                                              12 June 2023** **  Camera-ready articles due:                                 22 June 2023* PROCEEDINGS  Authors of all accepted original contributions can opt for to publish their work on formal proceedings.  Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published.  A selection of extended and revised versions of accepted papers could appear in a special issue.  Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS  Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy  Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria CONTACTS  For any questions, please contact the workshop co-chairs at aspocp2023_AT_easychair.org PROGRAM COMMITTEE  Mario Alviano, University of Calabria  Marcello Balduccini, Saint Joseph's University  Pedro Cabalar, University of Corunna  Francesco Cauteruccio, Polytechnic University of Marche  Stefania Costantini, University of L'Aquila  Carmine Dodaro, University of Calabria  Stefan Ellmauthaler, TU Dresden  Esra Erdem, Sabanci University  Cristina Feier  Johannes K. Fichte, Linköping University  Martin Gebser  Antti Hyvärinen, Certora  Giovambattista Ianni, University of Calabria  Daniela Inclezan, Miami University  Tomi Janhunen, Tampere University  Joao Leite, Universidade NOVA de Lisboa  Vladimir Lifschitz, The University of Texas at Austin  Marco Maratea, University of Calabria  Michael Morak, University of Klagenfurt  Javier Romero, University of Potsdam  Orkunt Sabuncu, TED University  Konstantin Schekotihin, Alpen-Adria Universität Klagenfurt  Tran Cao Son, New Mexico State University  Mirek Truszczynski, University of Kentucky  Johannes P. Wallner, TU Graz  Stefan Woltran, TU Wien  Jia-Huai You, University of Alberta  Jessica Zangari, University of Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Fri May 12 16:58:44 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Fri, 12 May 2023 16:58:44 +0200 Subject: [fg-arc] =?utf-8?q?3rd_CfP=3A_Onto4FAIR_Workshop_at_FOIS_2023?= Message-ID: <1cdc29-645e5400-9e5-6864fc00@47431299> --------------------------------- ** 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 This is a twin workshop proposal at both FOIS 2023 and Semantics 2023 conferences. The primary aim is to bring the gap between the scientific and the practitioner/industry sides, respectively, where we would take the greatest and latest advances in the state of the art to industry and bring back the practitioners' needs and challenges to the scientific community of figure out a solution. For more details please check the 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 20, 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 -------------- Joao Paulo Almeida, Federal University of Espirito Santo Emna Amdouni, Université de Lyon 2 Sophie Aubin, INRAE Nathalie Aussenac-Gilles, IRIT CNRS Maria Luiza Campos, PPGI - IM/NCE - Federal University of Rio de Janeiro María Poveda-Villalón, Universidad Politécnica de Madrid Tiago Prince Sales, Free University of Bozen-Bolzano Best regards Cassia Trojahn From eleblanc at protonmail.com Fri May 12 20:03:11 2023 From: eleblanc at protonmail.com (Emily C LeBlanc) Date: Fri, 12 May 2023 18:03:11 +0000 Subject: [fg-arc] CAUSAL 2023: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2023) Message-ID: <9C2pi2GjbnJtDBF5RX-OgrAIVoGD9oFK16RKk-J1BrqhCxyPGHRgsqFraH0RgNhxjkmBrOav1RSDQUAsBf__7_5vFvgaWqXJ76PthVoBziI=@protonmail.com> [Apologies for cross-postings] CAUSAL 2023 Fifth Workshop on Causal Reasoning and Explanation in Logic Programming Website: https://sites.google.com/view/causal-2023 CAUSAL 2023 is a workshop of ICLP 2023 be held in July 9-10 (TBD) at Imperial College London, UK. Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about and understanding causality enables us to identify how an outcome of interest came to be and gives us insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. Topics of interests include (but are not limited to): • Modeling causal theories in logic programming • Formalization of types of causes: sufficient, necessary, actual, etc • Causality, temporal reasoning and action theories • Causality and counterfactual reasoning • Causality and experimental design • Causality and probability • Causality and equivalence • Causality and ontology • Learning causal relations and information • Novel causal benchmarks • Relating LP based causality and Causal Networks • Challenging problems and benchmark examples • Justifications and argumentation • Explainable AI • Explanations for diagnosis and debugging • Tools, systems and applications Important dates: • Paper submission: May 21, 2023 • Notification: June 4, 2023 • Final Versions: June 18, 203 • Workshop Date: July 9-10 (TBD) Submission Guidelines Submissions must describe original research and be prepared using the Springer LNAI/LNCS format (which can be found here). The workshop invites submissions of two types: • Full papers not exceeding 13 pages (excluding references) • Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/my/conference?conf=causal2023 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2023 website for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Committee PC members: • (Chair) Francesco Fabiano, University of Parma • Joost Vennekens, KU Leuven, Belgium • Tran Cao Son, New Mexico State University, USA • Pedro Cabalar, Corunna University, Spain • Jorge Fandiño, University of Nebraska at Omaha, USA • Marcello Balduccini, Saint Joseph's University, USA • Brais Muñiz, University of Coruña, Spain • Emily LeBlanc, USA (eleblanc at protonmail.com) Contact: All questions about submissions should be emailed to Emily LeBlanc (eleblanc at protonmail.com) -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Tue May 16 11:00:13 2023 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Tue, 16 May 2023 11:00:13 +0200 (CEST) Subject: [fg-arc] Deadline extension: FCA4AI 2023 Workshop (colocated with IJCAI 2023) Message-ID: <437323521.28808768.1684227613771.JavaMail.zimbra@loria.fr> Sorry for duplicates. See new dates below! ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Eleventh Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2023, Macao, China August 20 2023 http://www.fca4ai.hse.ru/2023 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI-ECAI 2022) showed that many researchers working in Artificial Intelligence are indeed interested by powerful techniques for classification and data mining provided by Formal Concept Analysis. Again, we have the chance to organize the 11th edition of the workshop in Macao, co-located with the IJCAI 2023 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there are many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis, as well as on hybridization with other formalisms. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA. As usual, the FCA4AI workshop is dedicated to the discussion of such issues, and in particular: - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing... - By contrast, how the current developments in AI can be integrated within FCA to help AI researchers solve complex problems in their domain, - Which role can be played by FCA in the new trends in AI, especially in ML, XAI, fairness of algorithms, and ``hybrid systems'' combining symbolic and subsymbolic approaches. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: pattern structures, relational structures, distributive lattices. - Knowledge discovery and data mining: pattern mining, association rules, attribute implications, subgroup discovery, exceptional model mining, data dependencies, attribute exploration, stability, projections, interestingness measures, MDL principle, mining of complex data, triadic and polyadic analysis. - Knowledge and data engineering: knowledge representation, reasoning, ontology engineering, mining the web of data, text mining, data quality checking. - Analyzing the potential of FCA in supporting hybrid systems: how to combine FCA and data mining algorithms, such as deep learning for building hybrid knowledge discovery systems, producing explanations, and assessing system fairness. - Analyzing the potential of FCA in AI tasks such as classification, clustering, biclustering, information retrieval, navigation, recommendation, text processing, visualization, pattern recognition, analysis of social networks. - Practical applications in agronomy, astronomy, biology, chemistry, finance, manufacturing, medicine... The workshop will include time for audience discussion aimed at better understanding of of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 02 2023 Notification to authors: June 26 2023 Final version: July 10 2023 Workshop: August 20 2023 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format following the CEURART style 1-column (to be downloaded at https://ceur-ws.org/Vol-XXX/CEURART.zip). Submissions can be: - technical papers between 8 and 12 pages, - system descriptions or position papers on work in progress not exceeding 6 pages. Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2023 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-3233, Vol-2972, Vol-2729, Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Sebastian Rudolph Technische Universität Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From akihisa.yamada at aist.go.jp Fri May 19 03:50:11 2023 From: akihisa.yamada at aist.go.jp (YAMADA, Akihisa) Date: Fri, 19 May 2023 10:50:11 +0900 Subject: [fg-arc] 2nd Call for Papers: 19th International Workshop on Termination (WST 2023) Message-ID: <47f89513-b823-a12a-006f-0a7c0f58080a@aist.go.jp> ====================================================================== WST 2023 - Call for Papers 19th International Workshop on Termination https://termination-portal.org/wiki/WST2023 August 24-25, 2023, Obergurgl, Austria Co-located with 12th International Workshop on Confluence (IWC 2023) ====================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. IMPORTANT DATES: * submission deadline: June 1, 2023 * notification: June 15, 2023 * final version due: July 27, 2023 * workshop: August 24-25, 2023 INVITED SPEAKER: Benjamin Kaminski, Saarland University https://quave.cs.uni-saarland.de/benjamin-kaminski/ TOPICS: The 19th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to): * termination and complexity analysis in any domain (declarative programming, lambda calculus, procedural programming, rewriting, transition systems, etc.) * probabilistic termination, termination probability and expected complexity analysis * abstraction methods in termination analysis * certification of termination and complexity proofs * challenging termination problems * comparison and classification of termination methods * implementation of termination analysis methods * non-termination analysis and loop detection * normalization and infinitary normalization * operational termination of logic-based systems * ordinal notation and subrecursive hierarchies * SAT, SMT, and constraint solving for (non-)termination analysis * scalability and modularity of termination methods * well-founded relations and well-quasi-orders SUBMISSION GUIDELINES: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page: https://easychair.org/conferences/?conf=wst2023 Please, use LaTeX and the LIPIcs style file https://www.dagstuhl.de/en/publishing/series/details/LIPIcs to prepare your submission. PROGRAM COMMITTEE: * Martin Avanzini, INRIA Sophia Antipolis * Florian Frohn, RWTH Aachen * Carsten Fuhs, Birkbeck, U. London * Raúl Gutiérrez, U. Politécnica de Madrid * Étienne Payet, U. La Réunion * Albert Rubio, Complutense U. Madrid * René Thiemann, U. Innsbruck * Deivid Vale, Radboud U. Nijmegen * Johannes Waldmann, HTWK Leipzig * Akihisa Yamada, AIST Tokyo Waterfront (chair) From georgeangelos60 at gmail.com Sat May 20 13:13:20 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 20 May 2023 14:13:20 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Combo Call for Workshop Papers Message-ID: *** Combo Call for Workshop Papers *** 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 will host a number of workshops which will be co-located with the main conference on Monday, October 9 and Tuesday, October 10, 2023. The eScience conference has a long history of hosting well-attended workshops. These workshops share the goal of bringing together international and interdisciplinary research communities, developers, and users of eScience applications and enabling IT technologies. Workshops play a crucial role in the conference by providing an opportunity for researchers and practitioners to present their work in a more focused way than the conference itself and to have in-depth discussions of particular topics of interest to the community. eScience 2023 will host the following workshops: ● 1st Workshop on cItizeN Science engagemenT based on Ict soLutions (INSTIL 2023) http://www.instil-science.eu ● 3rd Workshop on E-science ReseaRch leading tO negative Results (ERROR 2023) https://error-workshop.org ● 3rd Workshop on Reproducible Workflows, Data Management, and Security (ReWorDS 2023) https://sites.google.com/vols.utk.edu/rewords23/home ● 4th Global Research Platform (4GRP) Workshop https://www.theglobalresearchplatform.net ● IEEE International Workshop on Artificial Intelligence for Health (AI4Health 2023) https://www.ai4health.icar.cnr.it ● Research Software Engineers in eScience: Sustainable RSE Ecosystems within eScience (RSE-eScience-2023) https://us-rse.org/rse-escience-2023/ KEY DATES   ● Workshop papers submission deadline: Defined per workshop, not before end June 2023 ● Notification of acceptance: Defined per workshop ● IEEE proceedings camera ready: July 21, 2023 ● Workshop days: October 9-10, 2023   Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. 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 Luigia.Petre at abo.fi Fri May 19 15:38:32 2023 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 19 May 2023 13:38:32 +0000 Subject: [fg-arc] FM Teaching Tutorial on May 26, 3 pm CEST: Research Director Thierry Lecomte (ClearSy, France): Teaching and Training in Formalisation with B Message-ID: Dear all, The Formal Methods Teaching tutorials series continues with a lecture on Friday, May 26! Research Director Thierry Lecomte (ClearSy, France) will lecture on his experiences of 20 years spent in the education of engineers (colleagues or customers) and students, together with the parallel design and improvement of supporting modelling tools on Friday, May 26, 2023 at 3 pm CEST. In a recently published paper, Thierry says: "Applying formal methods in software industry is still perceived as a difficult task. To ease the task, providing tools that help during the development cycle is essential, but proper education of computer scientists and software engineers is also an important challenge to take up!". Read more here: https://link.springer.com/chapter/10.1007/978-3-031-27534-0_6. Thierry's lecture is entitled "Teaching and Training in Formalisation with B". More information about our lecturer can be found here: https://www.researchgate.net/profile/Thierry-Lecomte-2. The zoom link for Thierry' lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: 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 giovanni.casini at isti.cnr.it Mon May 22 16:51:11 2023 From: giovanni.casini at isti.cnr.it (giovanni.casini) Date: Mon, 22 May 2023 16:51:11 +0200 Subject: [fg-arc] CfP - ENIGMA2023 Workshop @ KR2023 [Extended Deadline] Message-ID: <30ef0361d1ba024c5c6cce8225f742c7@isti.cnr.it> ENIGMA 2023 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering * Apologies if you receive multiple copies of this call * ============================== Call for Papers ENIGMA2023 @ KR2023 Dates: 2-4 September 2023 (exact day TBD) Rhodes, Greece * Extended Deadlines: 31 May & 7 June 2023 * ============================== 1st Workshop on AI-driven heterogeneous data management : Completing, merging, handling inconsistencies and query-answering (ENIGMA) https://sites.google.com/view/enigma-2023 ENIGMA 2023 is co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) https://kr.org/KR2023/. Real-world applications are increasingly fed by large-scale, multi-source, heterogeneous information/data. This concerns private companies as well as public institutions. Urban networks are a typical example of applications that need to manage considerable amounts of heterogenous data. Heterogeneity relates to the presence of different data forms and formats, such as digital images, structured and unstructured files, analog maps, incomplete and unreliable data, etc. Alongside the notion of data, there are also constraints, knowledge and preferences that are often under-exploited in real-world applications. In order to process and manage such heterogeneous data and information, it is important to identify the relevant elements in each data source, to detect them and finally represent them in a common format that can be easily queried. The objective of this workshop is to bridge fundamental research in knowledge representation and reasoning with applied research. The aim is to encourage the emergence of novel solutions for representing, combining, classifying, clustering, integrating domain knowledge, repairing, explaining and querying data/information of different nature. The workshop will be held in Rhodes, Greece, between the 2nd and the 4th September 2023 (date TBD). Workshop activities will include one invited talk and presentations of technical papers. -- Topics -- Topics of interest include but are not limited to: - Languages for heterogeneous information representation - Data completion - Mapping heterogeneous data to KR languages - Defeasible reasoning - Merging heterogeneous information - Inconsistency handling - Uncertainty reasoning - Graphical models - Query-answering based on heterogeneous data - Knowledge Representation and Machine Learning - Similarity measures and clustering - Explainability - Applications: urban networks data, access control, etc. -- Invited speaker -- TBA -- Submission Information -- We accept three kinds of submissions: - full papers: 9 pages at most - short papers: 4 pages at most - long abstracts 2 pages at most The page limits have to be intended excluding bibliography and acknowledgments. All papers must be formatted using the KR style, that can be downloaded from the KR website (https://kr.org/KR2023/submission-guidelines/). Papers must be submitted in PDF only. Please submit via Easychair to: https://easychair.org/conferences/?conf=enigma2023 Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page and the submission at ENIGMA 2023 falls within the authors’ rights. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page. -- Workshop Proceedings -- The accepted papers will be at least published online as a technical report. Depending on the number of accepted papers we intend to: - Publish the proceedings in the CEUR Workshop Proceedings series (http://ceur-ws.org/). The copyright of papers would remain with the authors. - Organise a Journal special issue. -- Important Dates -- All dates are 'Anywhere on Earth', namely 23:59 UTC-12. - Paper registration deadline: 31 May 2023 (extended) - Paper submission deadline: 7 June 2023 (extended) - Notification to authors: 4 July 2023 - Camera ready version: TBD - Workshop dates: 2-4 September 2023 (exact date TBD) -- Workshop Co-Chairs -- - Salem Benferhat (CNRS & Université d’Artois, France) - Giovanni Casini (CNR - ISTI, Italy) - Thomas Meyer (CAIR - University of Cape Town, South Africa) - Andrea Tettamanzi (Université Côte d’Azur, France) -- Program Committee -- • Alessandro Antonucci, Polo universitario Lugano. Switzerland • Ofer Arieli, Tel-Aviv Academic College. Israel • Ahlame Begdouri, University of Fez. Morocco • Isabelle Bloch, Sorbonne Université. France • Richard Booth, Cardiff University. The United Kingdom • Nanee Chahinian, IRD Montpellier, France • Carol Delenne, University of Montpellier. France • Dragan Doder, Utrecht university. The Netherlands • Eduardo Fermé, Universidade da Madeira. Portugal • Laura Giordano, Università del Piemonte Orientale. Italy • Anthony Hunter, University College London. The United Kingdom • Gabriele Kern-Isberner, TU Dortmund. Germany • Sébastien Konieczny, CRIL, CNRS, University of Artois. France • Vanina Martinez, CONICET - Universidad de Buenos Aires. Argentina • Ramón Pino Pérez, CRIL, CNRS, University of Artois. France • Tjitze Rienstra, Maastricht University. The Netherlands • Gerardo Simari, CONICET - Universidad Nacional del Sur. Argentina • Guillermo Simari, Universidad Nacional del Sur. Argentina • Umberto Straccia, CNR - ISTI. Italy • Ivan José Varzinczak, Université Paris 8. France • Leon van der Torre, University of Luxembourg. Luxembourg -- Further Information -- Please visit the workshop website (https://sites.google.com/view/enigma-2023/home-page) for further information and regular updates. Contact email: enigma2023 at easychair.org From a.w.laarman at liacs.leidenuniv.nl Mon May 22 20:21:29 2023 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W. (Alfons)) Date: Mon, 22 May 2023 18:21:29 +0000 Subject: [fg-arc] iFM 2023 - Second 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 IFM 2023 Abstract submission: 25 May 2023 Paper submission: 1 June 2023 Acceptance notification: 10 August 2023 Early registration: 15 August-10 October 2023 Late registration: from 11 October 2023 iFM 2023 main conference: 13-15 November 2023 Important dates IFM 2023 artifacts Artifact registration deadline: 17 August 2023 Artifact submission deadline: 24 August 2023 Test phase notification: 31 August 2023 Communication phase: 1 - 10 September 2023 Final artifact notification: 20 September 2023 KEYNOTE AND INVITED SPEAKERS (confirmed) Rustan Leino (Amazon Web Services, USA) – IFM 2023 Marieke Huisman (University of Twente, NL) – PhD Symposium 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 natures 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 artifact 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=ifm-2023 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. A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2023. We will apply for a special issue of the Original Software Publication track in Science of Computer Programming (see EAPLS Artifact Badging below). EAPLS ARTIFACT BADGING The 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 artifacts associated with their paper for evaluation, and based on the level of reproducibility they will be awarded one or more badges. Artifact submission is optional, and the result of the artifact evaluation will not alter the paper’s acceptance decision. Please, refer to the call at https://ifm23.liacs.nl/artifacts.html for more detailed information. To credit the effort of tool developers, we plan to apply for a special issue of the Original Software Publication track in the Science of Computer Programming journal. Authors of selected artifacts 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) ARTIFACT EVALUAION COMMITTEE CHAIRS Muhammad Osama (Eindhoven University of Technology, The Netherlands) Anna-Lena Lamprecht (University of Potsdam, Germany) PUBLICITY CHAIR 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 ecl.drexel at gmail.com Tue May 23 00:10:02 2023 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Mon, 22 May 2023 18:10:02 -0400 Subject: [fg-arc] [EXTENDED DEADLINE] CAUSAL 2023: Workshop on Causal Reasoning and Explanation in Logic Programming -- Co-located with ICLP 2023 Message-ID: [Apologies for cross-postings] [EXTENDED DEADLINE] CAUSAL 2023: Fifth Workshop on Causal Reasoning and Explanation in Logic Programming Website: https://sites.google.com/view/causal-2023 Submission link: https://easychair.org/conferences/?conf=causal2023 CAUSAL 2023 is a workshop of ICLP 2023 that will be held in July 9-10 (TBD) at Imperial College London, UK. Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about and understanding causality enables us to identify how an outcome of interest came to be and gives us insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g., Machine Learning, Diagnosis, Natural Language Processing, and Understanding). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. Topics of interest include (but are not limited to) * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning, and action theories * Causality and counterfactual reasoning * Causality and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Learning causal relations and information * Novel causal benchmarks * Relating LP-based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explainable AI * Explanations for diagnosis and debugging * Tools, systems, and applications Important dates: * Paper submission: May 29, 2023 (extended) * Notification: June 12, 2023 (extended) * Final Versions: June 22, 2023 (extended) * Workshop Date: July 9-10 (TBD) Submission Guidelines Submissions must describe original research and be prepared using the Springer LNAI/LNCS format (which can be found here). The workshop invites submissions of two types: * Full papers not exceeding 13 pages (excluding references) * Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/my/conference?conf=causal2023 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2023 website for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Committee * (Chair) Francesco Fabiano, University of Parma * Joost Vennekens, KU Leuven, Belgium * Tran Cao Son, New Mexico State University, USA * Pedro Cabalar, Corunna University, Spain * Jorge Fandiño, University of Nebraska at Omaha, USA * Marcello Balduccini, Saint Joseph's University, USA * Brais Muñiz, University of Coruña, Spain * Emily LeBlanc, USA (eleblanc at protonmail.com) Contact All questions about submissions should be emailed to Emily LeBlanc ( eleblanc at protonmail.com) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Tue May 23 09:45:29 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 23 May 2023 09:45:29 +0200 Subject: [fg-arc] =?utf-8?q?Last_CfP=3A_Onto4FAIR_Workshop_at_FOIS_2023?= In-Reply-To: <1cdc29-645e5400-9e5-6864fc00@47431299> Message-ID: <22641c-646c6f00-443-a7ccf20@245642809> --------------------------------- ** 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 This is a twin workshop proposal at both FOIS 2023 and Semantics 2023 conferences. The primary aim is to bring the gap between the scientific and the practitioner/industry sides, respectively, where we would take the greatest and latest advances in the state of the art to industry and bring back the practitioners' needs and challenges to the scientific community of figure out a solution. For more details please check the 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 20, 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 -------------- Joao Paulo Almeida, Federal University of Espirito Santo Emna Amdouni, Université de Lyon 2 Sophie Aubin, INRAE Nathalie Aussenac-Gilles, IRIT CNRS Maria Luiza Campos, PPGI - IM/NCE - Federal University of Rio de Janeiro María Poveda-Villalón, Universidad Politécnica de Madrid Tiago Prince Sales, Free University of Bozen-Bolzano Best regards Cassia Trojahn From georgeangelos60 at gmail.com Fri May 26 10:57:38 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Fri, 26 May 2023 11:57:38 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Last Call for Papers Message-ID: *** Last Call for Papers *** 19th IEEE eScience Conference (eScience 2023) October 9-13, 2023, St. Raphael Resort, Limassol, Cyprus https://www.escience-conference.org/2023/ (*** Submission Deadline Extension: June 19, 2023, AoE, FIRM!) 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: June 19, 2023 (AoE) (FIRM!) • Notification of Paper Acceptance: July 10, 2023 • Poster Submissions due: July 7, 2023 (AoE) • Poster Acceptance Notification: July 24, 2023 • All Camera-ready Submissions due: August 14, 2023 • Author Registration Deadline: 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 georgeangelos60 at gmail.com Sat May 27 15:05:38 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 27 May 2023 16:05:38 +0300 Subject: [fg-arc] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_Us?= =?utf-8?q?er_Modeling=2C_Adaptation_and_Personalization=3A_Call_for_Parti?= =?utf-8?q?cipation?= Message-ID: *** Call for Participation *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/ ACM UMAP – User Modeling, Adaptation and Personalization – is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. It is sponsored by ACM SIGCHI and SIGWEB, and organized with User Modeling Inc. as the Steering Committee. The proceedings are published by ACM and will be part of the ACM Digital Library. UMAP 2023 will feature 104 technical presentations of various categories (main conference papers, large breaking results, demos and posters, etc.). The participants can also attend a number of workshops and tutorials. Finally, the technical program also includes 3 keynote speakers. More information can be found on the conference web site. Please note that the early registration deadline has been extended by one week to June 2. -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Sat May 27 15:48:10 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 27 May 2023 16:48:10 +0300 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Fourth Call for Papers Message-ID: *** Fourth Call for Papers *** 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 BESC 2023 will also host the following Special Sessions. Papers accepted in any of the Special Sessions will be included in the same IEEE conference proceedings with the papers accepted for the general technical program. ● Computational Social Psychology in Post Covid-19 Period ● Artificial Intelligence for Mental Health, Mental Illness, Psychiatic Diagnosis, and Prediction ● Intelligent E-Learning at Post Covid-19 Era ● Big Data and AI-Powered Decision Support Systems in Business ● Understanding the Citizen's Behavior in Cognitive Cities ● Nudges and Behavioural Computing Models for a Sustainable and Equitable Development 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. • The use of artificial intelligence (AI)–generated text in an article shall be disclosed in the acknowledgements section of any paper submitted to an IEEE Conference or Periodical. The sections of the paper that use AI-generated text shall have a citation to the AI system used to generate the text. • 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). IMPORTANT DATES • 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 • Ting Yu, Zhejiang Lab, China 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 gidon.ernst at lmu.de Tue May 30 17:43:32 2023 From: gidon.ernst at lmu.de (Gidon Ernst) Date: Tue, 30 May 2023 17:43:32 +0200 Subject: [fg-arc] PhD Symposium iFM 2023 - Call for Papers Message-ID: --------------------------------------------------------------------------------------------------------------------------- PhD Symposium iFM 2023 - Call for Papers 18th International Conference on integrated Formal Methods 16 November 2023, Leiden, the Netherlands https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/phd.html --------------------------------------------------------------------------------------------------------------------------- IMPORTANT DATES Paper submission: 29 June 2023 (AoE) Author notification: 1 September 2023 Camera-ready: 14 September 2023 Symposium date: 16 November 2023 OBJECTIVE AND SCOPE The iFM PhD symposium provides PhD students an opportunity to present their work which lies in the fields of theory, implementation, integration or application of formal methods. WHO CAN SUBMIT? PhD students and young researchers at an early career stage (up to 2 years after PhD completion). WHY TO SUBMIT? Participants will have the possibility to give short presentations about their research projects. Moreover: The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. WHAT TO SUBMIT? There are two options for your submission: Extended abstract of 2-4 pages, describing your research project which you would like to present. Co-authors are allowed. The results may have been accepted or even published elsewhere. If published elsewhere then this should be appropriately referenced. If submitted to iFM2023 the authors should indicate this in their submission. Short papers describing previously unpublished work of at least 4 pages, up to 6 pages. These submissions will be included in the proceedings of iFM. Co-authors are allowed. This is a great opportunity to showcase preliminary results and ideas. SUBMISSION GUIDELINES Multiple submissions by one author are not permitted. Submissions should be written in English and follow the LNCS formatting guidelines, available at: https://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation Please submit your abstract electronically in PDF via the EasyChair page: https://easychair.org/my/conference?conf=phdifm2023