From georgeangelos60 at gmail.com Sat Apr 1 12:23:05 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 1 Apr 2023 13:23:05 +0300 Subject: [fg-arc] 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023): Fourth Call for Submissions Message-ID: *** Fourth Call for Submissions *** 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023) October 24-26, 2023, Golden Bay Beach Hotel, Larnaca, Cyprus https://cyprusconferences.org/esocc2023/ (Proceedings to be published in Springer LNCS; Journal Special Issue with Springer Computing) AIM AND SCOPE Nowadays, Service-Oriented and Cloud Computing are the primary approaches to build large-scale distributed systems and deliver software services to end users. Cloud-native software is pervading the delivery of enterprise applications, as they are composed of (micro)services that can be independently developed and deployed by exploiting multiple heterogeneous technologies. Resulting applications are polyglot service compositions that can then be shipped in serverful or serverless platforms (e.g., using virtualization technologies). These characteristics make Service-Oriented and Cloud Computing the natural answers for fulfilling the industry’s need for flexibly scalable and maintainable enterprise applications, to be delivered through state-of-the-art methodologies, like DevOps. To further support this, researchers and practitioners need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service-oriented applications in the Cloud, now also considering the Cloud-IoT computing continuum to exploit widespread adoption of smart connected things and the increasing growth of their computing capabilities. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state-of-the-art and practice of Service-Oriented Computing and Cloud Computing in Europe. ESOCC aims to facilitate the exchange between researchers and practitioners in the areas of Service-Oriented Computing and Cloud Computing, as well as to explore the new trends in those areas and foster future collaborations in Europe and beyond. TOPICS OF INTEREST ESOCC 2023 seeks original, high-quality contributions related to all aspects of Service-Oriented and Cloud computing. Specific topics of interest include, but are not limited to:
• Applications for Service-Oriented and Cloud Computing, e.g., big data, commerce, energy, finance, health, scientific computing, smart cities
• Blockchains for Service-Oriented and Cloud Computing
• Business aspects of Service-Oriented and Cloud Computing, e.g., business models, brokerage, marketplaces, costs, pricing
• Business processes, e.g., service-based workflow deployment and management
• Cloud interoperability, service and Cloud standards,
• Cloud-IoT computing continuum, e.g., edge computing, fog computing, mobility computing, next generation services/IoT
• Cloud-native architectures and paradigms, e.g., microservices and DevOps
• Cloud service models, e.g., IaaS, PaaS, SaaS, DBaaS, FaaS, etc.
• Deployment, composition, and management of applications in Service-Oriented and Cloud Computing
• Foundations and formal methods for Service-Oriented and Cloud Computing
• Enablers for Service-Oriented and Cloud Computing, e.g., service discovery, orchestration, matchmaking, monitoring, and analytics
• Model-Driven Engineering for Service-Oriented and Cloud Computing
• Multi-Cloud, cross-Cloud, and federated Cloud solutions
• Requirements engineering, design, development, and testing of applications in Service-Oriented and Cloud Computing
• Semantic services and service mining
• Service and Cloud middlewares and platforms
• Software/service adaptation and evolution in Service-Oriented and Cloud Computing
• Storage, computation and network Clouds
• Sustainability and energy issues in Service-Oriented and Cloud Computing
• Quality aspects (e.g., governance, privacy, security, and trust) of Service-Oriented and Cloud Computing
• Quality of Service (QoS) and Service-Level Agreement (SLA) for Service-Oriented and Cloud Computing
• Social aspects of Service-Oriented and Cloud Computing, e.g., crowdsourcing services, social and crowd-based Clouds
• Virtualization for Service-Oriented and Cloud Computing, e.g., serverless, container-based virtualization, VMs IMPORTANT DATES • Submission of abstracts: June 4th, 2023 (AoE)
• Submission of full papers: June 11th, 2023 (AoE)
• Notification to authors: July 14th, 2023 (AoE)
• Camera-ready versions due: July 31st, 2023 (AoE) TYPES OF SUBMISSIONS ESOCC 2023 invites submissions of the following kinds:
• Regular Research Papers (15 pages including references, for the technical and special tracks)
• PhD Symposium (12 pages including references)
• Projects and Industry Reports (Projects and Industry Reports (1 to 6 pages including references, describing an ongoing EU or national project, or providing industrial perspectives on innovative applications, technologies, or methods in ESOCC’s scope)  We only accept original papers, not submitted for publication elsewhere. The papers must be formatted according to the proceedings guidelines of Springer’s Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/lncs). They must be submitted to the EasyChair site at:
 https://easychair.org/conferences/?conf=esocc2023  by selecting the right track. Accepted papers from all tracks will be published in the main conference proceedings by Springer in the LNCS series. For publication to happen, at least one author of each accepted paper is expected to register and present the work at the conference. The best papers accepted will be invited to submit extended versions for a Journal Special Issue to be published by Springer Computing. ORGANISATION General Chair • George A. Papadopoulos, University of Cyprus, CY (george at ucy.ac.cy)   Program Chairs • Florian Rademacher, University of Applied Sciences and Arts Dortmund, DE (florian.rademacher at fh-dortmund.de)
• Jacopo Soldani, University of Pisa, IT (jacopo.soldani at unipi.it) Steering and Program Committee https://cyprusconferences.org/esocc2023/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From gisellitto at unisa.it Mon Apr 3 10:35:58 2023 From: gisellitto at unisa.it (Giulia SELLITTO) Date: Mon, 3 Apr 2023 10:35:58 +0200 Subject: [fg-arc] [DEADLINE EXTENDED] Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Message-ID: Euromicro Conference SEAA 2023 is announcing that, in response to a number of requests, the final deadline for paper submission has been extended until *April 17th, 2023, 11.59 PM AoE*. The 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2023) will be held September 6-8 at the University of Aleksandër Moisiu Durrës, Faculty of Information Technology, Durres, Albania. SEAA is a long-standing international forum for researchers, practitioners, and students to present and discuss the latest innovations, trends, experiences, and concerns in the field of Software Engineering and Advanced Applications in information technology for software-intensive systems. Tracks - CPS: Cyber-Physical Systems - DAIDE: Data and AI-Driven Engineering - ECT: Emerging Computing Technologies - MDEML: Model-Driven Engineering and Modeling Languages - SEaDeM: Software Engineering and Debt Metaphors - SM: Software management: Measurement, Peopleware, and Innovation - SMSE: Systematic Literature Reviews and Mapping Studies in Software Engineering - SPPI: Software Process and Product Improvement - STREAM: Software Analytics: Mining Software Open Datasets and Repositories Special Session - EUP: European Research Projects Important Dates (*Updated*) - Deadline for paper submission: *April 17th, 2023* - Notification of acceptance: *May 29th, 2023* - Camera-ready papers: *June 12th, 2023* Details available at https://dsd-seaa2023.com/seaa/ Twitter: https://twitter.com/EuromicroOrg -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Mon Apr 3 13:31:45 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 3 Apr 2023 14:31:45 +0300 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Open Invitation for Self-Nomination to the Program Committee of BESC 2023 Message-ID: *** Open Invitation for Self-Nomination to the Program Committee of BESC 2023 *** 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 is recruiting new PC members. If you are interested to join the PC and assist in the review process, please fill the form available here: https://forms.gle/X2cYY2jfmVBMHcNi9 Please note the submission deadline and bear in mind that your assistance in the review process will be required between mid-July and mid-September. IMPORTANT DATES • Submission of all papers: 15 July 2023 • Notification of acceptance for submitted papers: 15 September 2023 ORGANISATION Steering Committee Chair • Guandong Xu, University of Technology Sydney, Australia General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Georgia Kapitsaki, University of Cyprus, Cyprus • Ji Zhang, University of Southern Queensland, Australia Special Session Chairs • Taotao Cai, University of Southern Queensland, Australia (taotao.cai AT usq.edu.au) • Ting Yu, Zhejiang Lab, China (yuting AT zhejianglab.com) Doctoral Symposium Chair • Barbara Caci, University of Palermo, Italy Panel and Tutorial Chair • Philippe Fournier-Viger, Shenzhen University, China Proceedings Chair • Md Rafiqul Islam, University of Technology Sydney, Australia Publicity Chairs • Chandan Gautam, Institute for Infocomm Research (I2R), A*STAR, Singapore • Thanveer Shaik, University of Southern Queensland, Australia • Sanjay Sonbhadra, ITER, Siksha 'O' Anusandhan, India Webmaster • Shiqing Wu, University of Technology Sydney, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Tue Apr 4 10:10:31 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Tue, 4 Apr 2023 11:10:31 +0300 Subject: [fg-arc] 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023): Final Call for Special Track Proposals Message-ID: *** Final Call for Special Track Proposals *** 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/ AIM AND SCOPE 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. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of Service-oriented Computing and Cloud Computing and to foster future collaborations in Europe and beyond. ESOCC 2023 will host Special Tracks as part of its program. Special Tracks provide a space where ESOCC participants can discuss, e.g., topics relevant to Service-Oriented and Cloud Computing even if not explicitly mentioned in ESOCC’s topics of interest (cf. https://cyprusconferences.org/esocc2023/call-for-papers/), early-stage research ideas and/or results, or demonstrate industry-ready tools and research prototypes. Special Tracks may be driven by research interests, needs from specific application domains, or aim at bringing together practitioners and researchers from the area of Service-Oriented and Cloud Computing. Proposals for special tracks should indicate the title of the Special Track, its aims and scope (150-300 words), the Special Track chair(s), and the tentative members of the track’s  PC. Please email your proposals as a PDF file to the PC chairs of ESOCC 2023, Florian Rademacher (florian.rademacher at fh-dortmund.de) and Jacopo Soldani (jacopo.soldani at unipi.it). Special Tracks will be selected for ESOCC 2023 using a lightweight review process. IMPORTANT DATES • Special Track Proposal Submission: April 18th, 2023 (AoE) • Notification of Acceptance: April 24th, 2023 (AoE) ORGANISATIONAL INFORMATION Chairs of accepted Special Tracks can devise a Call for Papers for their track, which will be published on ESOCC 2023 website, together with the provided information on the track (title, aims and scope, PC). The Call for Papers for their track will then be disseminated alongside that of ESOCC, and submissions will be handled through the EasyChair of ESOCC, which will include a special track link.  Papers accepted for Special Tracks will be included in the main conference proceedings of ESOCC 2023, published by Springer in the LNCS series. The best papers accepted in the Special Tracks will be eligible for consideration to be invited to submit extended versions for a Journal Special Issue to be published by Springer Computing. Special Track chairs, presenters, and participants will be required to register through the ESOCC 2023 registration page. In case of any questions related to the Special Tracks, please do not hesitate to contact the Program Chairs. 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 sauer at uni-paderborn.de Tue Apr 4 14:27:13 2023 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 4 Apr 2023 14:27:13 +0200 Subject: [fg-arc] HCSE@INTERACT 2023 Workshop on Human-Centered Software Engineering - Call for Papers (Submissions due: May 08) Message-ID: *(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 28/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: May8, 2023 Acceptance notification:May 31, 2023 Final version of position paper: June30, 2023 Workshop date: August28 or 29, 2023 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: From georgeangelos60 at gmail.com Wed Apr 5 09:11:56 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 5 Apr 2023 10:11:56 +0300 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Last Call for Special Session Proposals Message-ID: *** Last Call for Special Session Proposals *** 10th International Conference on Behavioural and Social Computing (BESC 2023) October 30 - November 1, 2023, 5* Golden Bay Beach Hotel, Larnaca, Cyprus http://besc-conf.org/2023/ The International Conference on Behavioural and Social Computing (BESC) is a major international forum that brings together academic researchers and industry practitioners from artificial intelligence, computational social sciences, natural language processing, business and marketing, and behavioural and psychological sciences to present updated research efforts and progresses on foundational and emerging interdisciplinary topics of BESC, exchange new ideas and identify future research directions. The BESC series of conferences are technically sponsored by IEEE SMC (Systems, Man and Cybernetics) Society as well as IEEE CIS (Computational Intelligence Society) and the proceedings are published by IEEE The Organizing Committee invites proposals for Special Sessions that cover any topic related to BESC. Special Sessions can also cover any other area focusing on challenging open problems of relevance in applications on Behavioural, Economic, and Socio-Cultural Computing. Papers accepted in the Special Sessions will be included in the same conference volume with those accepted in the main track and will be candidates for being invited to the journal special issues that will be organised for BESC 2023. The proposals for organising Special Sessions should be submitted to the Special Sessions Chairs by the indicated deadline. A proposal should be submitted in PDF, be no longer than 2 pages in length, and contain the following: (i) Title of the proposed Special Session. (ii) Names, affiliations and contact information of the proposers. (iii) Names and affiliations of the Program Committee of the proposed Special Session. (iv) Description of the proposed Special Session, including the covered topics and the rationale as to why it fits into the themes of BESC. (v) A dissemination plan of the CFP for the proposed Special Session that the proposers will undertake, if their proposal is accepted. E-mails for submission of Special Session Proposals: taotao.cai AT usq.edu.au / yuting AT zhejianglab.com IMPORTANT DATES • Submission of Special Session proposals:  10 April 2023 • Acceptance notification for Special Session proposals: 15 April 2023 ORGANISATION Steering Committee Chair • Guandong Xu, University of Technology Sydney, Australia General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Georgia Kapitsaki, University of Cyprus, Cyprus • Ji Zhang, University of Southern Queensland, Australia Special Session Chairs • Taotao Cai, University of Southern Queensland, Australia (taotao.cai AT usq.edu.au) • Ting Yu, Zhejiang Lab, China (yuting AT zhejianglab.com) Doctoral Symposium Chair • Barbara Caci, University of Palermo, Italy Panel and Tutorial Chair • Philippe Fournier-Viger, Shenzhen University, China Proceedings Chair • Md Rafiqul Islam, University of Technology Sydney, Australia Publicity Chairs • Chandan Gautam, Institute for Infocomm Research (I2R), A*STAR, Singapore • Thanveer Shaik, University of Southern Queensland, Australia • Sanjay Sonbhadra, ITER, Siksha 'O' Anusandhan, India Webmaster • Shiqing Wu, University of Technology Sydney, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Thu Apr 6 11:30:11 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Thu, 6 Apr 2023 12:30:11 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Fourth Call for Papers Message-ID: <7TTFXCMH-QS7H-EBOV-UWX2-C5QDO4XDXIGH@gmail.com> *** Fourth 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 georgeangelos60 at gmail.com Mon Apr 10 13:08:32 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 10 Apr 2023 14:08:32 +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_Last_Call_for_?= =?utf-8?q?Late-Breaking_Results_and_Demos?= Message-ID: *** Last Call for Late-Breaking Results and Demos *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/call-for-late-breaking-results-and-demos/  Submissions due: April 24, 2023 Submission site: https://easychair.org/conferences/?conf=umap23 IMPORTANT DATES ● Submission of papers: April 24, 2023 ● Notification of acceptance: May 10, 2023 ● Camera-ready versions of accepted papers: May 18, 2023 ● Conference: June 26-29, 2023  Note: The submission times are 11:59 pm AoE time (Anywhere on Earth) SUBMISSION FORMATS Demonstrations ● Max. 5 pages + max. 1 additional page for references; ● (Optional) video or external material demonstrating the system; ● Publication in ACM UMAP 2023 Adjunct Proceedings; ● Presentation as a demo + poster at the conference. Description: Demonstrations will showcase research prototypes and commercially available products in a dedicated session. Demo submissions must be based on an implemented and tested system that pursues one or more innovative ideas in the interest areas of the conference. Demonstrations are an excellent and exciting way to showcase implementations and get valuable feedback from the community. Each demo submission must make clear which aspects of the system will be demonstrated, and how these will be demonstrated on-site as well as online. To better identify the value of demos, we also encourage authors to submit a pointer to a screencast (max. 5 minutes on Vimeo or YouTube) or any external material related to the demo (e.g., shared code on GitHub). Descriptions of demonstrations should have a length of max. 5 pages + 1 page of references in the new ACM single-column style. On an extra page (not to be published), submissions should include a specification of the technical requirements for demonstrating the system at UMAP 2023.  Late-Breaking Results ● Max. 7 pages + max. 2 additional pages for references; ● (Required) unpublished page with a list of questions the authors aim to get feedback on; ● Publication in ACM UMAP 2023 Adjunct Proceedings; ● Presentation as a poster at the conference. Description: Late-Breaking Results (LBR) are research-in-progress that must contain original and unpublished accounts of innovative research ideas, preliminary results, industry showcases, and system prototypes, addressing both the theory and practice of User Modeling, Adaptation, and Personalization. In addition, papers introducing recently started research projects or summarizing project results are welcome as well. We encourage researchers and practitioners to submit late-breaking work as it provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work, and fostering discussions and collaborations among colleagues. Late-Breaking Results papers have a length of up to 7 pages + 2 pages of references in the new ACM single-column style and will be presented to the conference as posters. On an extra page (not to be published), submissions should include a list of questions that the authors aim to get feedback on during the poster session at UMAP 2023. SUBMISSION AND REVIEW PROCESS Papers will be reviewed single-blind and do not need to be anonymised before submission Papers must be formatted according to the new workflow for ACM publications. The templates and instructions are available here: https://www.acm.org/publications/taps/word-template-workflow. Authors should submit their papers as single-column. The templates are available here (we strongly recommend the usage of LaTeX for the camera-ready papers to minimize the extent of reformatting): ● LaTeX (use \documentclass[manuscript,review]{acmart} in the sample- authordraft.tex file for single-column):  ◦ https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-primary.zip ● Overleaf (use \documentclass[manuscript,review]{acmart} for single-column): ◦ https://www.overleaf.com/latex/templates/acm-conference-proceedings-master-template/pnrfvrrdbfwt   ● MS Word: ◦ https://www.acm.org/binaries/content/assets/publications/taps/acm_submission_template.docx   Note: Accepted papers will require further revision to meet the requirements and page limits of the camera-ready format required by ACM. Instructions for the preparation of the camera-ready versions of the papers will be provided after acceptance. The ACM Code of Ethics gives the UMAP program committee the right to (desk-) reject papers that perpetuate harmful stereotypes, employ unethical research practices, or uncritically present outcomes/implications that clearly disadvantage minority communities.  Submit your papers in PDF format via EasyChair for ACM UMAP 2023 Demos and Late-Breaking Results at  https://easychair.org/conferences/?conf=umap23 (choose “New Submission” and make sure to select “UMAP'23 - LBR and Demos” track). The review process will be single-blind, i.e., authors’ names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential contribution to the research field, potential impact in particular use cases, and the usefulness of presented experiences, as well as their overall readability. Papers that exceed the page limits or do not adhere to the formatting guidelines will be returned without review. UMAP has a *no dual submission* policy, which is why full paper submissions should not be currently under review at another publication venue. Further, UMAP operates under the ACM Conference Code of Conduct (https://www.acm.org/about-acm/policy-against-harassment) as well as the ACM Publication Policies and Procedures (https://www.acm.org/publications/policies). PUBLICATION AND PRESENTATION Accepted Demo and Late-Breaking Results papers will be published in the ACM UMAP 2023 Adjunct Proceedings in the ACM Digital Library. Papers will be accessible from the UMAP 2023 website through ACM OpenToc Service for one year after publication in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference.  To be included in the Proceedings, at least one author of each accepted paper must register for the conference and present the paper there. LATE-BREAKING RESULTS AND DEMO CHAIRS ● Ludovico Boratto, University of Cagliari, Italy ● Alisa Rieger, Delft University of Technology, Netherlands ● Shaghayegh (Sherry) Sahebi, University at Albany – SUNY, USA ● Contact: umap2023-lbr at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Wed Apr 12 14:40:36 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 12 Apr 2023 15:40:36 +0300 Subject: [fg-arc] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Call for Workshop Papers Message-ID: *** Call for Workshop Papers *** 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023) August 28 - September 1, 2023, St. Raphael Resort, Limassol, Cyprus http://2023.euro-par.org SCOPE Euro-Par is the prime European conference covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to applications, from architecture, compiler, language and interface design and implementation, to tools, support infrastructures, and application performance aspects. To provide a meeting point for researchers to discuss and exchange new ideas and hot topics related to parallel and distributed computing and their applications, Euro-Par 2023 will co-locate workshops that will be held on August 28 - August 29, 2023, the first two days of the conference. Accepted papers are published by Springer in LNCS. WORKSHOPS TO BE HELD • AMTE 2023
The 3rd International Asynchronous Many-Task systems for Exascale 2023 http://amte2023.stellar-group.org/ • HETEROPAR 2023
The 21st International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms https://icl.utk.edu/workshops/heteropar2023/ • PECS 2023
The 3rd International Workshop on Performance and Energy-efficiency in Concurrent and Distributed Systems https://pecs-workshop.github.io/ • QUICKPAR 2023
The 1st International Workshop on Urgent Analytics for Distributed Computing https://quickpar.github.io/ • RAW 2023
The 2nd International Workshop on Resource AWareness of Systems and Society
https://www.cerciras.org/action-events/raw-workshop/raw-2023/call-for-papers/ • TDLPP 2023
The 1st International Workshop on Tools for Data Locality, Power and Performance https://www.tdlpp-workshop.org/ • WSCC 2023
The 1st International Workshop on Scalable Compute Continuum https://wscc2023.di.unipi.it/ WORKSHOP CO-CHAIRS • Demetris Zeinalipour, University of Cyprus, Cyprus (dzeina-AT-ucy.ac.cy) • Dora Blanco Heras, University of Santiago de Compostela, Spain (dora.blanco-AT- usc.es) -------------- next part -------------- An HTML attachment was scrubbed... URL: From T.A.C.Willemse at tue.nl Wed Apr 5 20:19:15 2023 From: T.A.C.Willemse at tue.nl (Willemse, Tim) Date: Wed, 5 Apr 2023 18:19:15 +0000 Subject: [fg-arc] SEFM 2023: First Call for Papers Message-ID: ************************************************************************ 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). 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). ************************************************************************ 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 Cassia.Trojahn at irit.fr Tue Apr 11 14:20:01 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 11 Apr 2023 14:20:01 +0200 Subject: [fg-arc] =?utf-8?q?2nd_CfP=3A_Onto4FAIR_Workshop_at_FOIS_2023?= In-Reply-To: <28f8a-6406e700-1b5-52c7ce00@258421544> Message-ID: ---------------------------------- ** 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 News: 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 -------------- (to be completed soon) Joao Paulo Almeida, Federal University of Espirito Santo Emna Amdouni, Université de Lyon 2 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 opensciencegraphs at rda-groups.org Tue Apr 11 14:20:09 2023 From: opensciencegraphs at rda-groups.org (cassia.trojahn via Open Science Graphs for FAIR Data IG) Date: Tue, 11 Apr 2023 12:20:09 +0000 Subject: [fg-arc] [opensciencegraphs] 2nd CfP: Onto4FAIR Workshop at FOIS 2023 In-Reply-To: <28f8a-6406e700-1b5-52c7ce00@258421544> Message-ID: ---------------------------------- ** 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 News: 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 -------------- (to be completed soon) Joao Paulo Almeida, Federal University of Espirito Santo Emna Amdouni, Université de Lyon 2 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 -- Full post: https://www.rd-alliance.org/group/open-science-graphs-fair-data-ig/post/1st-cfp-onto4fair-workshop-fois-2023 Manage my subscriptions: https://www.rd-alliance.org/mailinglist Stop emails for this post: https://www.rd-alliance.org/mailinglist/unsubscribe/77244 From cposkitt at smu.edu.sg Wed Apr 5 08:07:38 2023 From: cposkitt at smu.edu.sg (Christopher Michael POSKITT) Date: Wed, 5 Apr 2023 06:07:38 +0000 Subject: [fg-arc] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation Message-ID: SMU Classification: Restricted [apologies for cross-posting] ***** CALL FOR JOURNAL-FIRST SUBMISSIONS ***** ================================================================= 16th International Conference on Graph Transformation (ICGT 2023) web: https://conf.researchr.org/home/icgt-2023 19-20 July in Leicester, UK, as part of STAF 2023 web: https://conf.researchr.org/home/staf-2023 ================================================================= ** CALL FOR JOURNAL-FIRST CONTRIBUTIONS ** We invite authors of previously published papers in all areas of graph transformation to submit a journal-first contribution. Authors of accepted journal-first papers will be invited to present their work at ICGT 2023, enriching the programme, and providing an additional pathway to engage with the community. Contributions in this category must have been published in high-quality journals in 2019 or later. For ICGT 2023, we will additionally accept contributions that have been published in book chapters or other quality conferences. --------------------------------------- ** IMPORTANT DATES ** Submission Deadline: 25 Apr 2023 Notification: 09 May 2023 Conference: 19-20 Jul 2023 All deadlines are by end-of-day, AoE --------------------------------------- ** CRITERIA ** * The original contribution must have been peer-reviewed and published in a quality journal, quality conference (other than ICGT), or as a book chapter in 2019 or later. * It must be within the scope of ICGT (authors should briefly justify this in their submission). * The paper should not be an extended journal version of a paper previously published at ICGT. * Authors should indicate whether the paper has previously been presented in equivalent Journal-First tracks of other conferences. As contributions in this track will have already been peer-reviewed, they will not be reviewed again for technical content. Rather, the Journal-First committee will evaluate presentation proposals against the criteria above. In the case where we have more submissions than available presentation slots at ICGT 2023, we will prioritise presentation proposals that: (1) will allow more authors to attend the conference, e.g., those with presenters who are not represented in the research papers track; and (2) will best complement the conference’s technical programme. --------------------------------------- ** HOW TO SUBMIT ** Please refer to the Journal-First Track page on the ICGT 2023 website: https://conf.researchr.org/track/icgt-2023/icgt-2023-journal-first --------------------------------------- ** ORGANISATION ** Programme Chairs * Maribel Fernandez (King's College London, UK) * Chris Poskitt (Singapore Management University, Singapore) Journal-First Committee * Paolo Bottoni (Sapienza University of Rome, Italy) * Reiko Heckel (University of Leicester, UK) * Fernando Orejas (Technical University of Catalonia, Spain) * Arend Rensink (University of Twente, Netherlands) --------------------------------------- ** CONTACT ** All questions about submissions should be emailed to both PC Chairs via cposkitt at smu.edu.sg and maribel.fernandez at kcl.ac.uk --------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.jurjo at imdea.org Fri Apr 14 15:10:38 2023 From: daniel.jurjo at imdea.org (daniel.jurjo at imdea.org) Date: Fri, 14 Apr 2023 15:10:38 +0200 Subject: [fg-arc] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023. Message-ID: <20230414131040.4F8B81637@mail.imdea.org> ** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates: - Abstract submission: May 19, 2023 (AoE) - Paper submission: May 26, 2023 (AoE) - Author notification: July 24, 2023 (AoE) - Camera-ready: August 18, 2023 - Symposium: October 23-24, 2023 OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as part of SPLASH 2023. At least one of the authors of the accepted paper is expected to attend the conference and present the paper. Information about venue and travel is available on the SPLASH 2023 website. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI-methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security, cyber-physical and distributed system - applications, tools and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References do NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe the original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research and tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the standard reviewing process of the journal. SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page, and use their proceedings templates, either for LaTeX (available also in overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2023 BEST PAPER AWARD Thanks to Springer's sponsorship, two best paper awards (one for each submission category), with a 500 EUR prize, will be given at LOPSTR 2023. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). PROGRAM CHAIRS Robert Glück, University of Copenhagen, Denmark Bishoksan Kafle, IMDEA Software Institute, Spain PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Slim Abdennadher, German International University, Egypt José Júlio Alferes, Universidade Nova de Lisboa, Portugal Roberto Amadini, University of Bologna, Italy William Byrd, University of Alabama at Birmingham, USA Michael Codish, Ben-Gurion University of the Negev, Israel Gregory Duck, National University of Singapore, Singapore Isabel García-Contreras, University of Waterloo, Canada Ashutosh Gupta, IIT Bombay, India Gopal Gupta, The University of Texas at Dallas, USA Michael Hanus, University of Kiel, Germany Temesghen Kahsai, Amazon, USA Maja Hanne Kirkeby, Roskilde University, Denmark Michael Leuschel, Heinrich Heine University Düsseldorf, Germany Nai-Wei Lin, National Chung Cheng University, Taiwan Fred Mesnard, University of Reunion, France José F. Morales, IMDEA Software Institute, Spain Carlos Olarte, Universitè Sorbonne Paris Nord, France Alberto Pettorossi, Università di Roma Tor Vergata, Italy Christoph Reichenbach, Lund University, Sweden Peter Schachte, The University of Melbourne, Australia Helge Spieker, Simula Research Laboratory, Norway Theresa Swift, Universidade Nova de Lisboa, Portugal Laura Titolo, National Institute of Aerospace, USA Kazunori Ueda, Waseda University, Japan Germán Vidal, Universitat Politècnica de València, Spain Nisansala Yatapanage, Australian National University, Australia Florian Zuleger, Vienna University of Technology, Austria HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: http://lopstr.webs.upv.es/. You might have a look at the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr). Cheers, From georgeangelos60 at gmail.com Sat Apr 15 14:32:37 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 15 Apr 2023 15:32:37 +0300 Subject: [fg-arc] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_Us?= =?utf-8?q?er_Modeling=2C_Adaptation_and_Personalization=3A_Final_Combo_Ca?= =?utf-8?q?ll_for_Workshop_Papers?= Message-ID: *** Final Combo Call for Workshop Papers *** UMAP ’23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/workshops/ ACM UMAP 2023, the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and which collect, represent, and model user information, is organising a number of workshops to be held in conjunction with the conference. The workshops provide a venue to discuss and explore emerging areas of User Modeling and Adaptive Hypermedia research with a group of like-minded researchers and practitioners from industry and academia. There will be a conference adjunct proceedings published by ACM where all the workshop papers will be published. ● CRUM 2023: The first edition of the workshop on Context Representation in User Modelling https://crum-workshop.github.io/ ● ExUM 2023: 5th Workshop on Explainable User Models and Personalised Systems http://www.di.uniba.it/~swap/exum ● GMAP 2023: 2nd Workshop on Group Modelling, Adaptation and Personalisation https://sites.google.com/view/gmap2023 ● HAAPIE 2023: 8th International Workshop on Human Aspects in Adaptive and Personalised Interactive Environments http://haapie.cs.ucy.ac.cy ● PATCH 2023: The 14th International Workshop on Personalised Access to Cultural Heritage https://patch2023.di.unito.it/ ● FairUMAP: 6th UMAP Workshop on Fairness in Uder Modelling, Adaptation, and Personalisation https://fairumap.wordpress.com/ ● ADAPPT: Adaptive and Personalised Persuasive Technologies Workshop https://adappt2023.wordpress.com/ IMPORTANT DATES FOR WORKSHOP PAPERS SUBMISSIONS ● Workshop papers submission deadline: Defined per workshop, not before April 20 ● Notification of acceptance: Defined per workshop, around May 8, 2023 ● Adjunct proceedings camera ready: May 18, 2023 ● Workshop day: June 26, 2023 Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. WORKSHOPS CHAIRS ● Veronika Bogina, Haifa University, Israel sveron AT gmail.com ● Antonela Tommasel, ISISTAN, CONICET-UNICEN antonela.tommasel AT isistan.unicen.edu.ar -------------- next part -------------- An HTML attachment was scrubbed... URL: From gisellitto at unisa.it Mon Apr 17 18:37:38 2023 From: gisellitto at unisa.it (Giulia SELLITTO) Date: Mon, 17 Apr 2023 18:37:38 +0200 Subject: [fg-arc] [DEADLINE EXTENDED] Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Message-ID: Euromicro Conference SEAA 2023 is announcing that, in response to a number of requests, the final deadline for paper submission has been extended until *April 30th*, 2023, 11.59 PM AoE. The 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2023) will be held September 6-8 at the University of Aleksandër Moisiu Durrës, Faculty of Information Technology, Durres, Albania. SEAA is a long-standing international forum for researchers, practitioners, and students to present and discuss the latest innovations, trends, experiences, and concerns in the field of Software Engineering and Advanced Applications in information technology for software-intensive systems. Tracks - CPS: Cyber-Physical Systems - DAIDE: Data and AI-Driven Engineering - ECT: Emerging Computing Technologies - MDEML: Model-Driven Engineering and Modeling Languages - SEaDeM: Software Engineering and Debt Metaphors - SM: Software management: Measurement, Peopleware, and Innovation - SMSE: Systematic Literature Reviews and Mapping Studies in Software Engineering - SPPI: Software Process and Product Improvement - STREAM: Software Analytics: Mining Software Open Datasets and Repositories Special Session - EUP: European Research Projects Important Dates (*Updated*) *- Deadline for paper submission: April 30th, 2023* - Notification of acceptance: *June 12th, 2023* - Camera-ready papers: *June 26th, 2023* Details available at https://dsd-seaa2023.com/seaa/ Twitter: https://twitter.com/EuromicroOrg -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Tue Apr 18 12:27:34 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Tue, 18 Apr 2023 13:27:34 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Second Call for Tutorial Proposals Message-ID: *** Second 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 jung.juergen at fb2.fra-uas.de Wed Apr 19 08:57:59 2023 From: jung.juergen at fb2.fra-uas.de (=?iso-8859-1?Q?Jung=2C_J=FCrgen?=) Date: Wed, 19 Apr 2023 06:57:59 +0000 Subject: [fg-arc] Call for Participation: 13th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2023) Message-ID: <27e28d857bcc4d0dac3a9cac65e8cf0f@fb2.fra-uas.de> The 13th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2023) will be held in Stockholm, Sweden (May 11 and 12, 2023). EMISA 2023 is the 13. international workshop in a series that provides a key forum for researchers and practitioners in the field on design methods for information systems. The workshop series emphasizes the need for a coherent view on this field, fostering integrated approaches that address and relate all relevant aspects of enterprises (e.g., value propositions, business services, business processes, business rules, information systems, IT infrastructures), cross-cutting concerns (e.g. security, privacy, compliance) across stakeholders, designers, engineers, and domain experts. The program is comprised of scientific talks, PhD proposals and two keynotes: * Are you creating a new method? Make it smart! - Jolita Ralyté, PhD, Senior Researcher and Lecturer at the University of Geneva, Switzerland * How SEB uses data models for their data plattforms in order to become data-driven - Markus Buschle, PhD, Lead Data Architect at Skandinaviska Enskilda Banken AB (SEB), Sweden The full program is available here: https://emisa2023.blogs.dsv.su.se/program/ Registration for the event: https://emisa2023.blogs.dsv.su.se/registration/ (Early bird until April 23) Prof. Dr. Jürgen Jung Program Director Business Information Systems (M.Sc.) Frankfurt University of Applied Sciences Nibelungenplatz 1 D-60318 Frankfurt am Main Gebäude BCN, Raum 327 Tel.: +49 69 1533-3377 E-Mail: jung.juergen at fb2.fra-uas.de http://www.frankfurt-university.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Wed Apr 19 11:36:32 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 19 Apr 2023 12:36:32 +0300 Subject: [fg-arc] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Last Call for Posters and Demos Message-ID: *** Last Call for Posters and Demos *** 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023) August 28 - September 1, 2023, St. Raphael Resort, Limassol, Cyprus http://2023.euro-par.org SCOPE Euro-Par is the prime European conference covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to applications, from architecture, compiler, language and interface design and implementation, to tools, support infrastructures, and application performance aspects. We invite participants to submit original and unpublished works as posters and/or demos to the Euro-Par 2023 conference presenting the latest breakthroughs which have been developed in H2020, Horizon Europe, EuroHPC JU, national, regional and international R&D projects. Topics of interest should cover the conference scope and tracks (please visit the conference web site for more information about the topics covered by Euro-Par). The poster/demo sessions will provide an excellent opportunity for students and researchers to present early- stage research results and receive valuable feedback on their ongoing research from the community. SUBMISSION AND REVIEW PROCESS The authors are invited to submit poster and/or demo papers formatted in the Springer LNCS style: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and not exceeding 4 pages (including references, etc.) Submission should be done via Easy Chair, using the following link: https://easychair.org/my/conference?conf=europar2023   Submissions to the poster and demo track will be evaluated through a comprehensive peer-review process by the Poster and Demo Track Program Committee. The posters and demos will be evaluated in terms of technical merit, innovation, and the potential to stimulate interesting discussions and exchange of ideas at the conference.   The authors of accepted poster and demo papers must register and present them at the conference. Accepted poster and demo papers will be included in the workshop proceedings to be published by Springer in LNCS after the conference.     BEST POSTER AND DEMO AWARD  All posters and demos will be considered for the Best Poster Award and the Best Demo Award, respectively. Decisions will be based on the quality of the submission, as well as live interactions with the Committee during the conference.     IMPORTANT DATES • Deadline for Submission of Posters/Demos: May 20, 2023 • Notification of Acceptance: July 1, 2023     POSTER & DEMO CHAIR • George Pallis, University of Cyprus, Cyprus (pallis-AT-ucy.ac.cy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From akihisa.yamada at aist.go.jp Wed Apr 19 10:29:31 2023 From: akihisa.yamada at aist.go.jp (YAMADA, Akihisa) Date: Wed, 19 Apr 2023 17:29:31 +0900 Subject: [fg-arc] Call for Papers: 19th International Workshop on Termination (WST 2023) Message-ID: <62398c46-4bd2-2b3a-1036-320d9ddcbb16@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 SPEAKERS: TBA 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 giovanni.casini at isti.cnr.it Wed Apr 19 10:38:25 2023 From: giovanni.casini at isti.cnr.it (giovanni.casini) Date: Wed, 19 Apr 2023 10:38:25 +0200 Subject: [fg-arc] CfP - ENIGMA2023 Workshop @ KR2023 Message-ID: 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 * Deadlines: 24 May & 31 May 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: 24 May 2023 - Paper submission deadline: 31 May 2023 - 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 kosiolje at mathematik.uni-marburg.de Sat Apr 22 11:33:26 2023 From: kosiolje at mathematik.uni-marburg.de (Jens Kosiol) Date: Sat, 22 Apr 2023 11:33:26 +0200 Subject: [fg-arc] GCM 2023: Final Call for Papers Message-ID: <4a2a482e-220a-77c5-fe04-aee39f6d6ff1@mathematik.uni-marburg.de> ******************************************************************************** ***************************** 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:    07 May 2023 Paper Submission:       14 May 2023 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 maurice.terbeek at isti.cnr.it Sun Apr 23 18:12:29 2023 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Sun, 23 Apr 2023 18:12:29 +0200 Subject: [fg-arc] FSEN 2023 Call for Participation - free virtual registration Message-ID: <6255ae82-fec8-8f30-0be2-52f795d651af@isti.cnr.it> ########################## FSEN 2023 Call for Participation Tenth International Conference on Fundamentals of Software Engineering 2023 Theory and Practice (FSEN 2023) http://fsen.ir/2023/ Tehran, Iran (Hybrid - virtual participation possible) 4 - 5 May, 2023 ########################## FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This year, FSEN will be held in hybrid format on Thursday, May 4th and Friday, May 5th, 2023. The two-day event includes four keynote talks and four sessions. The preliminary conference programme can be found at: http://fsen.ir/2023/Programme.aspx Attendance is free of charge but requires registration. Please register no later than May 1st at: http://fsen.ir/2023/Registration.aspx Keynote Speakers ------------------------ Wolfgang Ahrendt, Chalmers University of Technology, Sweden Dines Bjørner, Technical University of Denmark, Denmark Mohammad Reza Mousavi, King's College London, UK Heike Wehrheim, University of Oldenburg, Germany PC Co-Chairs ------------------- Hossein Hojjat, Tehran Institute for Advanced Studies, Iran Erika Abraham, RWTH Aachen University, Germany -- Maurice H. ter Beek head FMT lab, ISTI-CNR, Pisa, Italy e-mail: maurice.terbeek at isti.cnr.it homepage: fmt.isti.cnr.it/~mtbeek office phone:   +39-050-6213471 mobile phone: +39-348-2436998 -------------- next part -------------- An HTML attachment was scrubbed... URL: From vida.groznik at fri.uni-lj.si Sun Apr 23 19:21:09 2023 From: vida.groznik at fri.uni-lj.si (Vida Groznik) Date: Sun, 23 Apr 2023 19:21:09 +0200 Subject: [fg-arc] [Courses] European Summer School on Artificial Intelligence - ESSAI 2023 Message-ID: CALL FOR PARTICIPATION 1st European Summer School on Artificial Intelligence - ESSAI 2023 24-28 July 2023 Faculty of Computer and Information Science, University of Ljubljana, Slovenia https://essai.si/ ******************** We are happy to announce that registration for the First European Summer School on Artificial Intelligence (ESSAI) is now open! ESSAI 2023 offers 24 one-week courses in different areas of artificial intelligence, offering a wide perspective and bridging across subdisciplines. The courses, organized in six parallel tracks, are at foundational, introductory, and advanced levels. ESSAI 2023 comprises the third TAILOR Summer School, and includes EurAI’s Advanced Course on AI (ACAI 2023), consisting of 10 invited tutorials on the topic of AI for Science as an additional advanced track of ESSAI. The courses and tutorials, presented by top AI researchers from all over the world, are complemented with keynotes and social events. ESSAI 2023 will be an in-person one-week-long event in beautiful Ljubljana, a relaxed, green, and vibrant European capital. ESSAI 2023 is colocated with the 34th School in Logic, Language and Information ESSLLI 2023, happening one week later at the same location. Attendees of both schools benefit from reduced registration. *Early registration is available until the 15th of May 2023; go to https://essai.si/registrations/ * Hope to see you in Ljubljana! Best regards, Vida Groznik, Local organisation chair Univerza* v Ljubljani* Fakulteta *za računalništvoin informatiko* Assist. Prof. Dr. Vida Groznik *Laboratorij za umetno inteligenco* / *Artificial Intelligence Laboratory* Fakulteta *za računalništvo in informatiko* / Faculty *of Computer and Information Science* Večna pot 113, SI-1000 Ljubljana, Slovenija / Slovenia vida.groznik at fri.uni-lj.si, www.fri.uni-lj.si [image: Univerza v Ljubljani] -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Sun Apr 23 22:18:43 2023 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Sun, 23 Apr 2023 22:18:43 +0200 (CEST) Subject: [fg-arc] CFP FCA4AI 2023 Workshop at IJCAI 2023 Message-ID: <762714280.13954664.1682281123827.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Eleventh Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2023, Macao, China 19th-25th August 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: May 15 2023 Notification to authors: June 05 2023 Final version: July 03 2023 Workshop: August 19-21 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 sauer at uni-paderborn.de Mon Apr 24 10:20:40 2023 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 24 Apr 2023 10:20:40 +0200 Subject: [fg-arc] HCSE@INTERACT 2023 Workshop on Human-Centered Software Engineering - Call for Papers (Submissions due: May 08) Message-ID: *(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 28/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: May8, 2023 Acceptance notification:May 31, 2023 Final version of position paper: June30, 2023 Workshop date: August28 or 29, 2023 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: From georgeangelos60 at gmail.com Mon Apr 24 14:36:20 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 24 Apr 2023 15:36:20 +0300 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Third Call for Papers Message-ID: *** Third 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 Luigia.Petre at abo.fi Mon Apr 24 12:24:48 2023 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Mon, 24 Apr 2023 10:24:48 +0000 Subject: [fg-arc] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods Message-ID: <5af4744317b1463a89adccc93f12ed31@abo.fi> Dear all, The Formal Methods Teaching tutorials series continues with a lecture on Friday, April 28! Assoc Prof Stefan Hallerstede (Aarhus University, Denmark) will lecture on how NOT to teach Formal Methods on Friday, April 28, 2023 at 3 pm CEST. His talk is based on his experience in creating a new curriculum for Software Engineering studies at the undergraduate level, where they embedded Formal Methods somewhat inconspicuously in about 9 fundamental courses. A paper describing this process can be checked here: https://doi.org/10.1007/978-3-030-57663-9_12. Stefan's lecture on Friday is entitled "A guide to Not teaching Formal Methods". More information about our lecturer can be found here: https://pure.au.dk/portal/en/persons/stefan-hallerstede%2865c96a3f-b4af-473c-a0d8-7909b2f2903c%29.html. The zoom link for Stefan' lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: the tutorial series webpage is below; we have speakers planned until June! https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From aarontomb at gmail.com Wed Apr 26 17:27:38 2023 From: aarontomb at gmail.com (Aaron Tomb) Date: Wed, 26 Apr 2023 08:27:38 -0700 Subject: [fg-arc] Call for Papers -- Formal Techniques for Java-Like Programs 2023 Message-ID: ========================================================== CALL FOR PAPERS FTfJP 2023 25th Workshop on Formal Techniques for Java-like Programs July 18th, 2023, Seattle, WA, USA https://2023.ecoop.org/track/ftfjp-2023 =========================================================== === Important Dates === * Paper submission: May 22nd, 2023 (AoE) * Author notification: June 23rd, 2023 (AoE) * Workshop date: July 18th, 2023 (co-located with ECOOP 2023) Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Submission site: https://easychair.org/conferences/?conf=ftfjp2023 === Objectives and Scope === Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme. The most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submissions relating to programming languages in general, beyond Java, including submissions related to C#, Scala, and similar languages, and submissions on more general topics that may be relevant to such languages. Example topics of interest include: * Language design and semantics * Type systems * Concurrency and new application domains * Specification and verification of program properties * Program analysis (static or dynamic) * Program synthesis * Security * Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers. Webpages for previous workshops in this series are available at: https://ftfjp.github.io/ === Paper Categories === Contributions are sought in two categories: * Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. * Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage, e.g., established researchers to set out a personal vision, and beginning researchers to present a planned path to a Ph.D. Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Reviewing will be single blind, there is no need to anonymize submissions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. === Submission Guidelines === All submissions and reviews will be managed within EasyChair. Submissions should be made via https://easychair.org/conferences/?conf=ftfjp2023 There is no need to indicate the paper category (long/short). Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author). We plan that, as in previous years, accepted papers will be published in the ACM Digital Library, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must register to the conference by the early registration date and attend the workshop to present the work and participate in the discussions. Selected papers will also be considered for extended versions to be submitted to the Journal of Object Technology (JOT). -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Sat Apr 29 13:44:45 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sat, 29 Apr 2023 14:44:45 +0300 Subject: [fg-arc] 7th International Conference on Internet Science (INSCI 2023): Sixth Call for Papers Message-ID: *** Sixth Call for Papers *** 7th International Conference on Internet Science (INSCI 2023) September 13-15, 2023, 5* St. Raphael Resort, Limassol, Cyprus https://cyprusconferences.org/insci2023/ Submissions due: May 15, 2023 (AoE) (Proceedings to be published by Springer in LNCS; Best Paper Award sponsored by Springer with 300 EUR; Special Journal Issue in the Future Internet journal) “Internet for Survival”: How the effective and democratic evolution of the Internet towards an infrastructure/ecosystem supporting resilience and equality depends on deeply intertwined considerations rooted in technological, social and economic sciences.   INSCI is a multidisciplinary conference that brings together scholars and practitioners at the intersection of technological, social and economic sciences seeking to learn how the Internet can be used to make our world a better place. Its insights are expected to create a better understanding of this complex socio-technical system we call “Internet”, for instance to inform political decisions on the technological priorities for public funding and to drive a more sustainable and equitable development of the innovation and social ecosystems it supports. INSCI welcomes fundamental and applied multidisciplinary research, including policy- oriented studies and works offering technological solutions, that investigate the role of Internet for sustainable development, social and economic resilience, collective intelligence, reliable information processing and protection, and, more generally, for a holistic understanding of societal transformations, governance shifts and innovation quests.  INSCI welcomes works done in interdisciplinary teams that may include computer scientists, sociologists, policy makers, economists, designers and artists, or complex system scholars, among others, preferably uniting expertise from social, economic and technical sciences. This kind of work is expected to close the gap between societal / economic impact and requirements and technological developments, seen as both drivers and consequences of each other. Thus, INSCI 2023 welcomes submissions to a wide range of topics including but not limited to the following list. TOPICS Green, Sustainability, and Innovation • The challenges of Responsible Research and Innovation on Internet solution • The technological, social and economic benefits of Transnational and Inter-Cultural Projects • Internet solutions supporting Environmental policies related to Climate Change • Green Computing in a holistic perspective: trade-offs of computing power, social benefits, economic and environmental impacts (e.g. blockchains) • Design, Implementation, and Analysis of Novel Platforms for alternative distributed economic models • Distributed environmental awareness: creating a collective consciousness of environmental issues and possible solutions at individual and collective level. Collective intelligence, sensing and action • Energy optimisation from from networked production to shared consumption, relying on top-down and bottom-up approaches • Networks for circular economy models: conceiving and putting in place platforms and solutions effectively supporting circular and social economy models, collaborative making, art and creativity. Enabling Technologies, Applications and Infrastructures • Social implications of Reinforcement Algorithms, Machine Learning and Intelligent Systems • Feasibility and social /economic aspects of Algorithms for mediation content • Data Sovereignty and inclusion aspects of Cloud, Grid and Cluster Computing • Recommender, Adaptive and Context Aware Systems: design, social and inclusion aspects, feasibility and adoption • Networking and Wireless Systems as enablers: inclusion, health, privacy and pervasiveness aspects • People-driven Internet Technologies and Applications, including Collaborative Platforms & Social Search, Open Data and New Interfaces  Societal Structures • How will Internet of Things change Society and interaction models • Digital Competences and Participation • Virtual Communities and Behavioural Patterns: how are they affected by the technological platforms being used  • Knowledge, Education, Technology Enhanced Learning, and Societal Web Impact on Internet Evolution  • Offline and Online Human Behaviour with Emphasis on Social Media and Online/ER/ VR Interactions  Digital Politics and Governance • Internet and Political Participation • Online Political Freedoms in Policing and in Effect: Regional and Local Perspectives, technological impacts and requirements • Citizen Involvement into Decision-Making: Platforms, Actors, and Experiences • Political Discussions Online: Issues and Groups Behind Them, technical and collaborative solutions to moderate them • E-governance Practices of Today’s Authorities across the world • Internet regulation: Security vs. Openness Free Communication Patterns and Democracy • Freedom of Speech Online: a Contested Area of Policing • Algorithms as New Total Communicative Power • Extremist and Radical Talk Online and Policies or socio-Technical solutions to counteract it • Universal Internet Freedoms vs. Dark Web • Participatory Democracy and Budgeting: citizens’ involvement in democratic processes, for more equal and inclusive resource allocation • Cognitive, Psychological Aspects and Incentive Mechanisms for online Engagement, Collaboration and Participation  (smart citizenship, e-literacy, participation skills, decision support and recommendations for informed citizens and collective actions) • E-Democracy and E-Participation: risks and opportunities, lessons learnt from currently deployed solutions (e.g. e-voting, Decidim) • Reliable online information: collaborative models and processes to produce/qualify online information (e.g. post-truth Practices Online, filter bubble and fact checking), for health (e.g. vaccination), democracy (international decision-making, political campaigns, opinion and sentiment modelling, governmental censure and influence), economy (product labelling, ethical marketing), safety of online ecosystems (children protection, fake news, digital rebels) • Crowdsourcing: implications, enablers Sustainable Network Economy • Legal, economic, technological and innovation hurdles related to Intellectual Property and the Digital Commons  • New Collaborative Markets Analytics  • Economic Power of Online Platforms: Expropriation of Digital Labour, Open Data solutions and their applicability • Digital Corporations: World Leaders and Regional Alternatives • Analogous Elites, Technological Precariat • Digital Professions and Reshaping of Online Labour Markets • New decentralised economic models: enabling and sustaining a distributed ecosystem of platforms and solutions intrinsically respectful of privacy, self- disclosure and digital sovereignty • The consumer perspective: unlawful profiling, discrimination and lock-in, automated contracts and warranties Global Access Opportunities • Internet Resilience: Defining/Comparing non-disconnection Technologies, Monitoring Approaches and Internet Governance Models ensuring resiliency and citizens’ empowerment and sovereignty • Global and Local Faces of Today’s Digital Divide • Comparing existing and future Open Distance Education and Life-long Learning Environments on online/Virtual Reality Platforms, Practices Around the World • Global Media Online: Translation and Language Divide • Empowerment of Disabled with New Body Extensions • Post-human and Tech-human Individuals and Societies Data Sharing and Protection • Data Openness vs. User Protection: tech and social aspects of open data policies • Limits of Privacy and Anonymization, their dependance on technological solutions and intended applications • Clouds, Big Data and Data Protection Regulation vs. knowledge sharing and open innovation • Global Tech Powers and Alternative Solutions based on decentralisation • Open Science and Access to Scientific Production: technological enablers, platform governance, economic and innovation aspects IMPORTANT DATES • Submission of Papers: May 15, 2023 (AoE) • Notification of Decision: July 1, 2023 • Camera-Ready Submission: July 15, 2023 • Author Registration Deadline: July 15. 2023 PAPER REQUIREMENTS All submitted papers must: • Describe original results that have not been accepted or submitted for publication elsewhere • Be written in English and be submitted in PDF format • Contain author names, affiliations, and email addresses • Be formatted according to the Springer’s LNCS format Proceedings template: http://www.springer.de/comp/lncs/authors.html  • Contain three to seven keywords characterizing the paper, to be indicated at the end of the abstract • Be submitted via the conference system in EasyChair, using the submission link: https://easychair.org/conferences/?conf=insci2023 Full paper submissions should not exceed 15 pages (including all text, figures, references and appendices). We encourage a length of 12 pages for full papers. The Program Committee reserves the right to accept a submission as a short paper. Submissions not conforming to the LNCS format, exceeding the submission page limits or being obviously out of the scope of the conference, will be rejected without review. SELECTION All submissions will be evaluated by at least three members of the international Program Committee, with a mix of social, economic and technological expertise. The review process will be single-blind. Selection will be based on: • Degree of interdisciplinarity (between social, economic and/or technical sciences) • Novelty and technical merit • Relevance of the generated insights for the future Internet development The best paper will be sponsored with 300 EUR by Springer. CAMERA-READY Camera-ready submissions should be corrected by following the remarks of the reviewers and submitted using the same submission link in zip format including: • The camera-ready version of the authors’ work in pdf format • The camera-ready version of the authors’ work in editable sources format • The Consent to Publish signed in ink and scanned to image file PUBLICATION Accepted papers will be presented at INSCI2023 and published in the conference proceedings volume, which will be published in the Springer Lecture Notes in Computer Science (LNCS). Authors of selected best papers from the conference will be contacted in order to consider submission of an expanded version of their papers for publication in a special issue to be organised with the international journal Future Internet (https://www.mdpi.com/journal/futureinternet), published by MDPI. ORGANISATION General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Vasileios Mezaris, Information Technologies Institute, Greece • Fabrizio Sestini, European Commission DG CONNECT, Belgium Steering & Program Committees https://cyprusconferences.org/insci2023/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: