From georgeangelos60 at gmail.com Sun Jul 2 14:08:48 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sun, 2 Jul 2023 15:08:48 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Last Call for Poster Submission Message-ID: *** Last Call for Poster Submission *** 19th IEEE eScience Conference (eScience 2023) October 9-13, 2023, St. Raphael Resort, Limassol, Cyprus https://www.escience-conference.org/2023/ (*** Submission Deadline: July 14, 2023, AoE ***) 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 contributions for Posters (2 pages) showcasing early-stage results and innovations. Submitted poster 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. Accepted posters will be presented during a poster reception. Accepted poster papers will be published in the conference proceedings. At least one author of each accepted 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 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 • Poster Submissions due: July 14, 2023 (AoE) • Poster Acceptance Notification: July 24, 2023 • All Camera-ready Submissions due: August 14, 2023 • Author Registration Deadline: August 14, 2023 ORGANISATION General Chair • George Angelos Papadopoulos, University of Cyprus, Cyprus Technical Program Co-Chairs • Rafael Ferreira da Silva, Oak Ridge National Laboratory, USA • Rosa Filgueira, University of St Andrews, UK Organisation Committee https://www.escience-conference.org/2023/organizers Steering Committee https://www.escience-conference.org/about/#steering-committee Email contact: Technical-Program at eScience-conference.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Tue Jul 4 09:05:46 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Tue, 4 Jul 2023 10:05:46 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Last Combo Call for Workshop Papers Message-ID: <7ZZ0Q2EL-4STA-7JJ4-IP8T-M4PNGBQWK1L@gmail.com> *** Last Combo Call for Workshop Papers *** 19th IEEE eScience Conference (eScience 2023) October 9-13, 2023, St. Raphael Resort, Limassol, Cyprus https://www.escience-conference.org/2023/ The 19th IEEE eScience Conference will be held in Limassol, Cyprus on October 9-13, 2023. eScience 2023 will host a number of workshops which will be co-located with the main conference on Monday, October 9 and Tuesday, October 10, 2023. The eScience conference has a long history of hosting well-attended workshops. These workshops share the goal of bringing together international and interdisciplinary research communities, developers, and users of eScience applications and enabling IT technologies. Workshops play a crucial role in the conference by providing an opportunity for researchers and practitioners to present their work in a more focused way than the conference itself and to have in-depth discussions of particular topics of interest to the community. eScience 2023 will host the following workshops: ● 1st Workshop on cItizeN Science engagemenT based on Ict soLutions (INSTIL 2023) http://www.instil-science.eu ● 3rd Workshop on E-science ReseaRch leading tO negative Results (ERROR 2023) https://error-workshop.org ● 3rd Workshop on Reproducible Workflows, Data Management, and Security (ReWorDS 2023) https://sites.google.com/vols.utk.edu/rewords23/home ● 4th Global Research Platform (4GRP) Workshop https://www.theglobalresearchplatform.net ● IEEE International Workshop on Artificial Intelligence for Health (AI4Health 2023) https://www.ai4health.icar.cnr.it ● Research Software Engineers in eScience: Sustainable RSE Ecosystems within eScience (RSE-eScience-2023) https://us-rse.org/rse-escience-2023/ KEY DATES   ● Workshop papers submission deadline: Defined per workshop ● Notification of acceptance: Defined per workshop ● IEEE proceedings camera ready: July 21, 2023 ● Workshop days: October 9-10, 2023   Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. ORGANISATION General Chair • George Angelos Papadopoulos, University of Cyprus, Cyprus Technical Program Co-Chairs • Rafael Ferreira da Silva, Oak Ridge National Laboratory, USA • Rosa Filgueira, University of St Andrews, UK Organisation Committee https://www.escience-conference.org/2023/organizers Steering Committee https://www.escience-conference.org/about/#steering-committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Tue Jul 4 16:42:52 2023 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 4 Jul 2023 14:42:52 +0000 Subject: [fg-arc] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers Message-ID: ======================================================================== Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023 ======================================================================== The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: - design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism); - compilation (static and dynamic compilation strategies, optimizations, data representations); - memory management; - security considerations; - concurrency (both internal and user-facing); - performance engineering; - tool support and related infrastructure (profiling, debugging, liveness, persistence); - the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc.); - empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design; - the use of VMs in teaching programming, programming languages, and programming language implementation. ---------------------------------- Submission Guidelines ---------------------------------- We invite high-quality papers in the following two categories: - Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10 pages, excluding references). - Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. The workshop has two submission deadlines. For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere. For the second deadline, we will consider only work-in-progress and position papers. These will not be published in the ACM DL, and will only appear on the website. The address of the submission site is: https://vmil23.hotcrp.com ---------------------------------- Important Dates ---------------------------------- All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h 2023-07-12: Abstract submission deadline (research and experience papers) 2023-07-17: Submission deadline (research and experience papers) 2023-07-27: Submission deadline (WIP and position papers only) 2023-08-24: Acceptance notification 2023-09-10: Camera-ready paper deadline ---------------------------------- Format Instructions ---------------------------------- Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word. ---------------------------------- Organization ---------------------------------- PC Chairs: Andrea Rosà, Università della Svizzera italiana Martin Henz, National University Singapore Program Committee: Edd Barrett, King’s College London Steve Blackburn, Australian National University and Google Rodrigo Bruno, INESC-ID / Técnico, ULisboa Juan Fumero, University of Manchester Christine H. Flood, Red Hat, Inc. Doug Lea, State University of New York (SUNY) Oswego Hidehiko Masuhara, Tokyo Institute of Technology Fabio Niephaus, Oracle Labs, Potsdam Guido Salvaneschi, University of St. Gallen Adam Welc, Uber Technologies ------------------------- Andrea Rosà Faculty of Informatics - Office D5.10 Università della Svizzera italiana (USI) Via la Santa 1 CH-6962 Viganello Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Wed Jul 5 18:03:41 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 05 Jul 2023 18:03:41 +0200 Subject: [fg-arc] =?utf-8?q?=5BOM-2023=5D_2nd_CFP=3A_18th_workshop_on_Ont?= =?utf-8?q?ology_Matching_collocated_with_ISWC?= Message-ID: The 18th International Workshop on ONTOLOGY MATCHING (OM-2023) http://om2023.ontologymatching.org/ November 6th or 7th, 2023, International Semantic Web Conference (ISWC) Workshop Program, Athens, Greece BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2023 campaign: http://oaei.ontologymatching.org/2023/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios; Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2023 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 6 pages. Posters/statements of interest should not exceed 3 pages. All contributions have to be prepared using the CEUR-ART, 1-column style. Overleaf page for LaTeX users is available at https://www.overleaf.com/read/gwhxnqcghhdt, while offline version with the style files is available from http://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions should be uploaded in PDF format through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2023 Contributors to the OAEI 2023 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2023/. DATES FOR TECHNICAL PAPERS AND POSTERS: July 31st, 2023: Deadline for the submission of papers. August 28th, 2023: Deadline for the notification of acceptance/rejection. September 4th, 2023: Workshop camera ready copy submission. November 6th or 7th, 2023: OM-2023, M.A.I.C.C., Athens, Greece. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France PROGRAM COMMITTEE: Alsayed Algergawy, Jena University, Germany Manuel Atencia, Universidad de Málaga, Spain Jiaoyan Chen, University of Oxford, UK Jérôme David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Daniel Faria, INESC-ID&IST, University of Lisbon, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulić, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Naouel Karam, Fraunhofer, Germany Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linköpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Fiona McNeill, University of Edinburgh, UK Hoa Ngo, CSIRO, Australia George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Booma Sowkarthiga, Microsoft, USA Kavitha Srinivas, IBM, USA Giorgos Stoilos, University of Oxford, UK Valentina Tamma, University of Liverpool, UK Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondřej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China Lu Zhou, TigerGraph, USA ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- Best Regards, Cassia From Cassia.Trojahn at irit.fr Fri Jul 7 15:34:32 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Fri, 07 Jul 2023 15:34:32 +0200 Subject: [fg-arc] =?utf-8?q?CfP=3A_3rd_Onto4FAIR_Workshop_at_Semantics_20?= =?utf-8?q?23_=28deadline_extension_21/07=29?= Message-ID: ** With apologies for multiple posting ** -------------- Onto4FAIR Workshop at Semantics 2023 -------------- 3rd Workshop on Ontologies for FAIR and FAIR Ontologies (Onto4FAIR), in conjunction with Semantics 2023, 20 September 2023, Leipzig, Germany 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/2023-semantics.html -------------- 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 deadline: July 21, 2023 (extended) - Author notification: August 07, 2023 - Camera-ready version: August 28, 2023 -------------- Submissions -------------- - Full research papers: 12 pages (including references) - Short papers: 6 pages (including references) Submissions must be in PDF, formatted in the style of IOS Press template. -------------- 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 Best regards Cassia Trojahn From georgeangelos60 at gmail.com Wed Jul 12 10:06:59 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Wed, 12 Jul 2023 11:06:59 +0300 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Final Call for Papers Message-ID: *** Final 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/ (*** Submission Deadline: 29 July, 2023 AoE ***) 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: 29 July 2023 AoE (*** extended ***) • 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 andrea.rosa at usi.ch Thu Jul 13 15:39:43 2023 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Thu, 13 Jul 2023 13:39:43 +0000 Subject: [fg-arc] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension Message-ID: *** The abstract and paper submission deadlines have been extended *** The new deadlines are: 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: Abstract and submission deadline (WIP and position papers only) ======================================================================== Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023 ======================================================================== The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: - design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism); - compilation (static and dynamic compilation strategies, optimizations, data representations); - memory management; - security considerations; - concurrency (both internal and user-facing); - performance engineering; - tool support and related infrastructure (profiling, debugging, liveness, persistence); - the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc.); - empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design; - the use of VMs in teaching programming, programming languages, and programming language implementation. ---------------------------------- Submission Guidelines ---------------------------------- We invite high-quality papers in the following two categories: - Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10 pages, excluding references). - Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. The workshop has two submission deadlines. For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere. For the second deadline, we will consider only work-in-progress and position papers. These will not be published in the ACM DL, and will only appear on the website. The address of the submission site is: https://vmil23.hotcrp.com ---------------------------------- Important Dates ---------------------------------- All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: Abstract and submission deadline (WIP and position papers only) 2023-08-28: Acceptance notification 2023-09-10: Camera-ready paper deadline ---------------------------------- Format Instructions ---------------------------------- Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word. ---------------------------------- Organization ---------------------------------- PC Chairs: Andrea Rosà, Università della Svizzera italiana Martin Henz, National University Singapore Program Committee: Edd Barrett, King’s College London Steve Blackburn, Australian National University and Google Rodrigo Bruno, INESC-ID / Técnico, ULisboa Juan Fumero, University of Manchester Christine H. Flood, Red Hat, Inc. Doug Lea, State University of New York (SUNY) Oswego Hidehiko Masuhara, Tokyo Institute of Technology Fabio Niephaus, Oracle Labs, Potsdam Guido Salvaneschi, University of St. Gallen Adam Welc, Uber Technologies ---------------------------------- AUTHORS TAKE NOTE ---------------------------------- The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks before the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. -------------- next part -------------- An HTML attachment was scrubbed... URL: From hasselbring at email.uni-kiel.de Thu Jul 13 17:44:16 2023 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Thu, 13 Jul 2023 17:44:16 +0200 Subject: [fg-arc] Einladung zum 9. Treffen des Arbeitskreises Microservices und DevOps Message-ID: Liebe Microservice- und DevOps-Interessierte in der Fachruppe Architekturen, hiermit möchten wir Sie herzlich zum neunten Treffen unseres Arbeitskreises einladen. Das Treffen wird am 14. und 15. September 2023 in Köln bei der toom Baumarkt GmbH stattfinden. Zur Teilnahme ist eine kostenfreie Registrierung bis zum 20.08.2023 unter https://forms.gle/8a2Jcjf8CyP8mbo57 erforderlich. Eine GI-Mitgliedschaft wird für die Teilnahme am Treffen nicht benötigt. Wie bei den vorherigen Treffen wird das Programm wieder aus einer Kombination aus Fachvorträgen und Diskussionselementen bestehen. Das vorläufige Programm ist wie folgt: Tag 1 (14.09.2023) 13:00 Eintreffen 13:30 Willkommen, Organisatorisches 13:45 toom Baumarkt GmbH: DevOps bei toom 14:30 André van Hoorn (Uni Hamburg): Domain-Centric Runtime Quality Analysis of Business-Critical Application Systems 15:15 Kaffeepause 15:45 Egon Wuchner, Konstantin Sokolov (Cape of Good Code GmbH): Unabhängig von Microservices - wie geht man praktisch vor, um Code nachträglich entlang von Fachlichkeiten zu refactoren? 16:30 Henning Schnoor (Uni Kiel): Refactoring von jahrzehntelang entwickelter Software mit genetischen Algorithmen ca 17:15 Ende des offiziellen Teils 19:00 Gemeinsames Abendessen Tag 2 (15.09.2023) 09:00 Begrüßung 09:15 Sandro Speth (Uni Stuttgart): Towards a Visual Explanation System for Self-Adaptation Events on Kubernetes 10:00 Philip Wizenty (FH Dortmund): Towards semi-automated Viewpoint-based Reconstruction of Microservice Architecture 10:45 Kaffeepause 11:15 Sandro Speth (Uni Stuttgart): Developing Microservice Architectures with the Distributed Application Runtime (DAPR): Is DAPR Ready? 12:00 Diskussion: Microservices: Noch ein aktuelles Thema? 12:45 Abschluss --- Termin: 14. September 2023, 13:00 Uhr bis 15. September 2023, 13:00 Uhr Gastgeber: toom Baumarkt GmbH/REWE Digital Humboldtstraße 140-144 51149 Köln Organisation: Holger Knoche hkn at informatik.uni-kiel.de Registrierung: https://forms.gle/8a2Jcjf8CyP8mbo57 Bitte registrieren Sie sich bis zum 20.08.2023. Eine GI-Mitgliedschaft ist für die Teilnahme nicht erforderlich. Aktuelle Informationen zum Treffen finden Sie unter: https://ak-msdo.gi.de/veranstaltung/9-treffen-des-arbeitskreises-msdo Wir freuen uns auf Ihre Teilnahme! Holger Knoche, Andreas Steffens, Thomas Düllmann und Wilhelm Hasselbring From andrei.v.sipos at gmail.com Fri Jul 14 10:24:50 2023 From: andrei.v.sipos at gmail.com (=?UTF-8?Q?Andrei_Sipo=C8=99?=) Date: Fri, 14 Jul 2023 11:24:50 +0300 Subject: [fg-arc] =?utf-8?q?FROM_2023_=E2=80=93_THIRD_CALL_FOR_PAPERS?= Message-ID: FROM 2023 Seventh Working Formal Methods Symposium September 21-22, 2023, Bucharest, Romania https://from2023.cs.unibuc.ro co-located with the ILDS Coq and Lean Summer School https://events.ilds.ro/autumnschool2023/ DESCRIPTION ----------- The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical contributions. The program of the symposium includes invited lectures and regular contributions. Submissions on the general topics of formal methods, theoretical computer science, logic and applications are welcome. This event is co-located with the ILDS Coq and Lean Autumn School 2023 (see https://events.ilds.ro/autumnschool2023/), for which there is a special discounted fee for FROM 2023 participants. ORGANIZERS ---------- Faculty of Mathematics and Computer Science of the University of Bucharest ( https://fmi.unibuc.ro/) Institute for Logic and Data Science (ILDS, https://ilds.ro/) IMPORTANT DATES --------------- Deadline for paper/abstract submission: 25 July 2023 Deadline for author notification: 25 August 2023 Deadline for revised paper/abstract submission: 1 September 2023 Deadline for registration: 7 September 2023 Symposium: 21-22 September 2023 INVITED SPEAKERS ---------------- Radu Iosif (CNRS-VERIMAG) Ulrich Kohlenbach (Technische Universität Darmstadt) Eugenio Omodeo (Università degli Studi di Trieste) Alicia Villanueva (Universitat Politècnica de València) SUBMISSIONS ----------- Papers of up to 16 pages prepared according to the EPTCS template (see http://style.eptcs.org/) must be submitted electronically using the EasyChair submission system at: https://easychair.org/my/conference?conf=from2023 Research papers must contain original research results not submitted and not published elsewhere. They will be considered for inclusion in the EPTCS proceedings of the symposium. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 8 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics. TOPICS OF INTEREST ------------------ The topics of interest for FROM 2023 include, but are not limited to: Areas and formalisms: + Category theory in computer science + Distributed systems and concurrency + Domain science and engineering + Formal languages and automata theory + Formal modelling, verification and testing + Logic in computer science + Logical frameworks + Mathematical structures in computer science + Models of computation + Semantics of programming languages + Type systems Methods: + Automated reasoning and model generation + Automated induction + Certified programs + Data-flow and control-flow analysis + Deductive verification + Mechanized proofs + Model checking + Proof mining + Symbolic computation + Term rewriting Applications: + Computational logic + Computer mathematics + Knowledge representation, ontology reasoning, deductive databases + Program analysis + Verification and synthesis of software and hardware + Uncertainty reasoning and soft computing Submissions on any other related topics are welcome. PROGRAMME COMMITTEE ------------------- Florin Crăciun (Babeș-Bolyai University of Cluj-Napoca) Temur Kutsia (Johannes Kepler University Linz) Laurențiu Leuștean (University of Bucharest & ILDS & IMAR) (co-chair) Dorel Lucanu (Alexandru Ioan Cuza University of Iași) Mircea Marin (West University of Timișoara) David Nowak (CNRS & University of Lille) Peter Csaba Ölveczky (University of Oslo) Corina Păsăreanu (NASA & Carnegie Mellon University) Andrei Popescu (University of Sheffield) Thomas Powell (University of Bath) Grigore Roșu (University of Illinois at Urbana-Champaign) Vlad Rusu (INRIA Lille) Andrei Sipoș (University of Bucharest & ILDS & IMAR) (co-chair) Viorica Sofronie-Stokkermans (University of Koblenz and Landau) REGISTRATION ------------ The registration fee is 100 EUR for the general public and 50 EUR for students. It covers the symposium kit, lunch, coffee breaks, and the symposium dinner. To register, please use the common registration form (https://forms.gle/aZ7zqK3UNwLeGaRL6) for FROM 2023 and the ILDS Coq and Lean Autumn School 2023 (https://events.ilds.ro/autumnschool2023/), for which there is a special discounted fee for FROM 2023 participants. Note that one can still register later, separately, for the autumn school and still benefit from the discount. *************** Further information is available on our website, https://from2023.cs.unibuc.ro/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.v.sipos at gmail.com Fri Jul 14 10:25:56 2023 From: andrei.v.sipos at gmail.com (=?UTF-8?Q?Andrei_Sipo=C8=99?=) Date: Fri, 14 Jul 2023 11:25:56 +0300 Subject: [fg-arc] =?utf-8?q?ILDS_Coq_and_Lean_Autumn_School_2023_?= =?utf-8?q?=E2=80=93_THIRD_CALL_FOR_PARTICIPATION?= Message-ID: ILDS Coq and Lean Autumn School 2023 interactive theorem proving school September 18-20, 2023, Bucharest, Romania https://events.ilds.ro/autumnschool2023/ co-located with FROM 2023 https://from2023.cs.unibuc.ro DESCRIPTION ----------- The ILDS Coq and Lean Autumn School 2023 aims to introduce potential students to the Coq and Lean proof assistants, as well as to theoretical underpinnings of interactive theorem proving. It is the second school on interactive theorem proving organized in Bucharest, following the ICUB Coq Autumn School, which was held in September 2018. The event is co-located with FROM 2023 (https://from2023.cs.unibuc.ro/), whose participants are eligible for a special discounted fee for the school. ORGANIZERS ---------- Institute for Logic and Data Science (ILDS, https://ilds.ro/) Research Center for Logic, Optimization and Security (LOS), University of Bucharest (https://los.cs.unibuc.ro/) SPEAKERS -------- Horațiu Cheval (University of Bucharest) Vlad Rusu (INRIA Lille) Andrei Sipoș (University of Bucharest & ILDS & IMAR) Julian Sutherland (Nethermind) Traian Florin Șerbănuță (RV & University of Bucharest & ILDS) COURSES ------- Andrei Sipoș, Introduction to Type Theory for Interactive Theorem Proving Vlad Rusu, Traian Florin Șerbănuță, Introduction to Coq Julian Sutherland, Horațiu Cheval, Introduction to Lean No parallel sessions are planned, so it will be possible to attend all the courses. REGISTRATION ------------ The registration fee is 150 EUR for the general public and 75 EUR for those who participate at FROM 2023. It covers attendance, lunch, coffee breaks, and the official dinner. To register, please use the common registration form (https://forms.gle/aZ7zqK3UNwLeGaRL6) for the ILDS Coq and Lean Autumn School 2023 and FROM 2023. Note that one can still register later, separately, for the autumn school and still benefit from the discount. ILDS offers a limited number of fellowships (waiving the registration fee) for students. Students interested in getting a fellowship need to complete an application form (https://forms.gle/ByrWCxUahQcfK35HA) by 1 August 2023. Applicants will be notified by 14 August 2023. IMPORTANT DATES --------------- Deadline for fellowship (fee waiver) application: 1 August 2023 Notification of fellowship applicants: 14 August 2023 Deadline for registration: 7 September 2023 School: 18-20 September 2023 *************** Further information is available on our website, https://events.ilds.ro/autumnschool2023/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From orilahav at gmail.com Sat Jul 22 12:03:24 2023 From: orilahav at gmail.com (Ori Lahav) Date: Sat, 22 Jul 2023 12:03:24 +0200 Subject: [fg-arc] VMCAI 2024: First Call for Papers Message-ID: [We apologize for possible cross-posting] ******************************************************************************* CALL FOR PAPERS 25th International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2024 January 15-16, 2024 https://popl24.sigplan.org/home/VMCAI-2024 ******************************************************************************* * Call for Papers * VMCAI 2024 is the 25th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held on January 15-16, 2024, in London, UK, co-located with POPL 2024. VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. * Scope * The program of VMCAI 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: - Program Verification - Model Checking - Abstract Interpretation - Abstract Domains - Program Synthesis - Static Analysis - Type Systems - Deductive Methods - Program Logics - First-Order Theories - Decision Procedures - Interpolation - Horn Clause Solving - Program Certification - Separation Logic - Probabilistic Programming and Analysis - Error Diagnosis - Detection of Bugs and Security Vulnerabilities - Program Transformations - Hybrid and Cyber-physical Systems - Concurrent and distributed Systems - Analysis of numerical properties - Analysis of smart contracts - Analysis of neural networks - Case Studies on all of the above topics Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. * Important Dates AoE (UTC-12) * August 31st, 2023 Paper submission October 11th, 2023 Notification October 31st, 2023 Camera-ready Conference Submission Link https://easychair.org/my/conference?conf=vmcai2024 * Submissions * Submissions are required to follow Springer’s LNCS format. The page limit depends on the paper’s category (see below). In each category, additional material beyond the page limit may be placed in a clearly marked appendix to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . All accepted papers will be published in Springer’s Lecture Notes in Computer Science series. Submissions will undergo a single-blind review process. There will be three categories of papers: regular papers, tool papers, and case studies. Papers in each category have a different page limit and will be evaluated differently. Regular papers clearly identify and justify an advance to the field of verification, abstract interpretation, or model checking. Where applicable, they are supported by experimental validation. Regular papers are restricted to 20 pages in LNCS format, not counting references. Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations and emphasize the design and implementation concerns, including software architecture and core data structures. A regular tool paper should give a clear account of the tool’s functionality, discuss the tool’s practical capabilities with reference to the type and size of problems it can handle, describe experience with realistic case studies, and, where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Authors are strongly encouraged to make their tools publicly available and submit an artifact. Tool papers are restricted to 12 pages in LNCS format, not counting references. Case studies are expected to describe the use of verification, model checking, and abstract interpretation techniques in new application domains or industrial settings. Papers in this category do not necessarily need to present original research results but are expected to contain novel applications of formal methods and techniques as well as an evaluation of these techniques in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting and reflect on any lessons learned from this technology transfer experience. Case study papers are restricted to 20 pages in LNCS format, not counting references. (Shorter case study papers are also welcome.) * Artifacts * VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable. Artifacts of interest include (but are not limited to): - Software, Tools, or Frameworks - Data sets - Test suites - Machine checkable proofs - Any combination of them - Any other artifact described in the paper Artifact submission is optional. However, we highly encourage all authors to also submit an artifact. A successfully evaluated artifact can increase your chance of being accepted since the evaluation result of your artifact is taken into account during the paper review. The artifact will be evaluated in parallel with the submission by the artifact evaluation committee (AEC). The AEC will read the paper and evaluate the artifact on the following criteria: - consistency with and replicability of results in the paper, - completeness, - documentation, and - ease of use. More information will be available on the conference webpage: https://popl24.sigplan.org/home/VMCAI-2024 * Organizing Committee * Rayna Dimitrova, CISPA Helmholtz Center for Information Security Ori Lahav, Tel Aviv University Sebastian Wolff, New York University -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Tue Jul 25 18:27:11 2023 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 25 Jul 2023 16:27:11 +0000 Subject: [fg-arc] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers Message-ID: *** VMIL 2023 is accepting work-in-progress and position papers until 2023-08-02. Accepted papers will be published in the ACM Digital Library *** ======================================================================== Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023 ======================================================================== The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: - design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism); - compilation (static and dynamic compilation strategies, optimizations, data representations); - memory management; - security considerations; - concurrency (both internal and user-facing); - performance engineering; - tool support and related infrastructure (profiling, debugging, liveness, persistence); - the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc.); - empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design; - the use of VMs in teaching programming, programming languages, and programming language implementation. ---------------------------------- Submission Guidelines ---------------------------------- We invite high-quality papers in the following two categories: - Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10 pages, excluding references). - Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. The workshop has two submission deadlines. For the first submission deadline, we will consider all paper types. For the second deadline, we will consider only work-in-progress and position papers. Regardless of the submission deadline, all accepted papers will be published in the ACM Digital Library, except if the authors prefer not to be included. The address of the submission site is: https://vmil23.hotcrp.com ---------------------------------- Important Dates ---------------------------------- All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: Abstract and submission deadline (WIP and position papers only) 2023-08-28: Acceptance notification 2023-09-10: Camera-ready paper deadline ---------------------------------- Format Instructions ---------------------------------- Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word. ---------------------------------- Organization ---------------------------------- PC Chairs: Andrea Rosà, Università della Svizzera italiana Martin Henz, National University Singapore Program Committee: Edd Barrett, King’s College London Steve Blackburn, Australian National University and Google Rodrigo Bruno, INESC-ID / Técnico, ULisboa Juan Fumero, University of Manchester Christine H. Flood, Red Hat, Inc. Doug Lea, State University of New York (SUNY) Oswego Hidehiko Masuhara, Tokyo Institute of Technology Fabio Niephaus, Oracle Labs, Potsdam Guido Salvaneschi, University of St. Gallen Adam Welc, Uber Technologies ---------------------------------- AUTHORS TAKE NOTE ---------------------------------- The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks before the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Tue Jul 25 12:30:57 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 25 Jul 2023 12:30:57 +0200 Subject: [fg-arc] =?utf-8?q?=5BOM-2023=5D_2nd_CFP=3A_18th_workshop_on_Ont?= =?utf-8?q?ology_Matching___collocated_with_ISWC?= In-Reply-To: Message-ID: <141150-64bfa480-35f-7c7b2300@57475266> Le Mercredi, Juillet 05, 2023 18:03 CEST, "Cassia TROJAHN" a écrit: > The 18th International Workshop on ONTOLOGY MATCHING (OM-2023) > http://om2023.ontologymatching.org/ > November 6th or 7th, 2023, > International Semantic Web Conference (ISWC) Workshop Program, Athens, Greece > > BRIEF DESCRIPTION AND OBJECTIVES > Ontology matching is a key interoperability enabler for the Semantic Web, > as well as a useful technique in some classical data integration tasks > dealing with the semantic heterogeneity problem. It takes ontologies > as input and determines as output an alignment, that is, a set of > correspondences between the semantically related entities of those > ontologies. > These correspondences can be used for various tasks, such as ontology > merging, data interlinking, query answering or navigation over knowledge > graphs. > Thus, matching ontologies enables the knowledge and data expressed > with the matched ontologies to interoperate. > > The workshop has three goals: > 1. > To bring together leaders from academia, industry and user institutions > to assess how academic advances are addressing real-world requirements. > The workshop will strive to improve academic awareness of industrial > and final user needs, and therefore, direct research towards those needs. > Simultaneously, the workshop will serve to inform industry and user > representatives about existing research efforts that may meet their > requirements. The workshop will also investigate how the ontology > matching technology is going to evolve, especially with respect to > data interlinking, knowledge graph and web table matching tasks. > > 2. > To conduct an extensive and rigorous evaluation of ontology matching > and instance matching (link discovery) approaches through > the OAEI (Ontology Alignment Evaluation Initiative) 2023 campaign: > http://oaei.ontologymatching.org/2023/ > > 3. > To examine similarities and differences from other, old, new and emerging, > techniques and usages, such as web table matching or knowledge embeddings. > > TOPICS of interest include but are not limited to: > Business and use cases for matching (e.g., big, open, closed data); > Requirements to matching from specific application scenarios; > Formal foundations and frameworks for matching; > Novel matching methods, including link prediction, ontology-based > access; > Matching and knowledge graphs; > Matching and deep learning; > Matching and embeddings; > Matching and big data; > Matching and linked data; > Instance matching, data interlinking and relations between them; > Privacy-aware matching; > Process model matching; > Large-scale and efficient matching techniques; > Matcher selection, combination and tuning; > User involvement (including both technical and organizational aspects); > Explanations in matching; > Social and collaborative matching; > Uncertainty in matching; > Expressive alignments; > Reasoning with alignments; > Alignment coherence and debugging; > Alignment management; > Matching for traditional applications (e.g., data science); > Matching for emerging applications (e.g., web tables, knowledge graphs). > > SUBMISSIONS > Contributions to the workshop can be made in terms of technical papers and > posters/statements of interest addressing different issues of ontology > matching > as well as participating in the OAEI 2023 campaign. Long technical papers > should > be of max. 12 pages. Short technical papers should be of max. 6 pages. > Posters/statements of interest should not exceed 3 pages. > All contributions have to be prepared using the CEUR-ART, 1-column style. > Overleaf page for LaTeX users is available at > https://www.overleaf.com/read/gwhxnqcghhdt, > while offline version with the style files is available from > http://ceur-ws.org/Vol-XXX/CEURART.zip. > Submissions should be uploaded in PDF format > through the workshop submission site at: > > https://www.easychair.org/conferences/?conf=om2023 > > Contributors to the OAEI 2023 campaign have to follow the campaign > conditions > and schedule at http://oaei.ontologymatching.org/2023/. > > DATES FOR TECHNICAL PAPERS AND POSTERS: > July 31st, 2023: Deadline for the submission of papers. > August 28th, 2023: Deadline for the notification of > acceptance/rejection. > September 4th, 2023: Workshop camera ready copy submission. > November 6th or 7th, 2023: OM-2023, M.A.I.C.C., Athens, Greece. > > > Contributions will be refereed by the Program Committee. > Accepted papers will be published in the workshop proceedings as a volume > of CEUR-WS as well as indexed on DBLP. > > > ORGANIZING COMMITTEE > 1. Pavel Shvaiko (main contact) > Trentino Digitale, Italy > > 2. Jérôme Euzenat > INRIA & Univ. Grenoble Alpes, France > > 3. Ernesto Jiménez-Ruiz > City, University of London, UK & SIRIUS, University of Oslo, Norway > > 4. Oktie Hassanzadeh > IBM Research, USA > > 5. Cássia Trojahn > IRIT, France > > PROGRAM COMMITTEE: > Alsayed Algergawy, Jena University, Germany > Manuel Atencia, Universidad de Málaga, Spain > Jiaoyan Chen, University of Oxford, UK > Jérôme David, University Grenoble Alpes & INRIA, France > Gayo Diallo, University of Bordeaux, France > Daniel Faria, INESC-ID&IST, University of Lisbon, Portugal > Alfio Ferrara, University of Milan, Italy > Marko Gulić, University of Rijeka, Croatia > Wei Hu, Nanjing University, China > Ryutaro Ichise, National Institute of Informatics, Japan > Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands > Naouel Karam, Fraunhofer, Germany > Prodromos Kolyvakis, EPFL, Switzerland > Patrick Lambrix, Linköpings Universitet, Sweden > Oliver Lehmberg, University of Mannheim, Germany > Fiona McNeill, University of Edinburgh, UK > Hoa Ngo, CSIRO, Australia > George Papadakis, University of Athens, Greece > Catia Pesquita, University of Lisbon, Portugal > Henry Rosales-Méndez, University of Chile, Chile > Booma Sowkarthiga, Microsoft, USA > Kavitha Srinivas, IBM, USA > Giorgos Stoilos, University of Oxford, UK > Valentina Tamma, University of Liverpool, UK > Ludger van Elst, DFKI, Germany > Xingsi Xue, Fujian University of Technology, China > Ondřej Zamazal, Prague University of Economics, Czech Republic > Songmao Zhang, Chinese Academy of Sciences, China > Lu Zhou, TigerGraph, USA > > ------------------------------------------------------- > More about ontology matching: > http://www.ontologymatching.org/ > http://book.ontologymatching.org/ > ------------------------------------------------------- > > Best Regards, > Cassia From taravanis at upatras.gr Fri Jul 28 16:01:23 2023 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Fri, 28 Jul 2023 17:01:23 +0300 Subject: [fg-arc] KR 2023 - Extension of Early Registration Deadline Message-ID: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece Dear KR participants, Please note that the Early Registration deadline has been moved to 7 August, 2023. Note also that registrations are now open! Further registration details can be found at: https://kr.org/KR2023/registration/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Sun Jul 30 13:58:41 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Sun, 30 Jul 2023 14:58:41 +0300 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Call for Late Breaking Results Message-ID: *** Call for Late Breaking Results *** 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/ (*** Submission Deadline: 31 August, 2023 AoE ***) 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 now submissions for Late Breaking Results. The submitted papers should be of original, high-quality research 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 in the LBR category: 31 August 2023 AoE • 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: