From Cassia.Trojahn at irit.fr Mon Jul 4 09:45:05 2022 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 04 Jul 2022 09:45:05 +0200 Subject: [fg-arc] =?utf-8?q?Final_CfP=3A_Onto4FAIR_Workshop_at_SEMANTICS_?= =?utf-8?q?2022?= In-Reply-To: <133b-62b99880-19-7acae600@179374525> Message-ID: <1d82-62c29a80-f-1b6091a0@70202536> ** With apologies for multiple posting ** -------------- Onto4FAIR Workshop at SEMANTICS 2022 -------------- 1st Workshop on Ontologies for FAIR and FAIR Ontologies (Onto4FAIR) in conjunction with SEMANTiCS 2022, Vienna, Austria Website: https://onto4fair.github.io -------------- Important dates -------------- - July 04, 2022 (11:59 pm, Hawaii time): Submission deadline - July 30, 2022 (11:59 pm, Hawaii time): Notification of acceptance - August 15, 2022 (11:59 pm, Hawaii time): Camera-ready version - September 13, 2022: Workshop The workshop is planned to take place physically in Vienna, Austria. https://2022-eu.semantics.cc/venue -------------- Presentation -------------- Making the huge and diverse kinds of data produced by researchers, data stewards, and service providers, fully reusable and understood requires specific efforts. The Findable, Accessible, Interoperable and Reusable (FAIR) principles were laborated to address these issues, describing a set of requirements for data reusability and interoperability. These principles have been gaining increasing attention in a range of different areas and applications, including in the industrial area. A key aspect in making data FAIR is the ability of machines to automatically find, access, interoperate, and reuse data with none or minimal human intervention. For that, the ability of properly and semantically describing data is essential. The workshop has the following main goals: - to bring together leaders from academia, industry and user institutions to discuss the adoption of FAIR principles in real-world requirements. - to serve to inform industry and user representatives about existing research efforts that may meet their requirements. - to investigate how the FAIR principles are supported by the use of schemes, vocabulaires, and ontologies that ideally are themselves FAIR.%, including creation, reuse and alignment of schemas, vocabularies and ontologies, to support the FAIR principles and their adoption in diverse areas of application. - 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.). -------------- Submissions -------------- - Full research papers: 12 pages (including references). - Short papers: 6 pages (including references). Please submit your contribution on EasyChair (https://easychair.org/conferences/?conf=onto4fair). Submissions must be in PDF, formatted in the style of LNCS conference proceedings. The workshop proceedings will be published in the CEUR-WS.org online proceedings. -------------- Workshop Chairs -------------- - Luiz Olavo Bonino da Silva Santos, University of Twente and Leiden University Medical Center, the Netherlands - Giancarlo Guizzardi, Free University of Bozen-Bolzano, Italy & 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 - Cassia Trojahn, Institut de Recherche en Informatique de Toulouse, France -------------- Program Committee -------------- (to be completed) 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 Daniel Garijo, Universidad Politécnica de Madrid Nicolas Matentzoglu, Semanticly Ltd María Poveda-Villalón, Universidad Politécnica de Madrid Tiago Prince Sales, Free University of Bozen-Bolzano From mb at petanux.com Mon Jul 4 11:36:47 2022 From: mb at petanux.com (Petanux, Mahdi Bohlouli) Date: Mon, 4 Jul 2022 11:36:47 +0200 Subject: [fg-arc] Various Ph.D. and Postdoc Positions, AI and Computer Vision Message-ID: <771673A5-8C30-49A9-997F-3B944D2B80BC@petanux.com> Dear Colleagues, We have multiple full-time job openings on AI and Computer Vision for healthcare (skin cancer detection) and blind people support through wearable devices. There is an opportunity to obtain the Ph.D. degree in the frame of our funded projects as well. Both English and German Speaking applications are warmly welcome. More details are provided in attached position announcements. The positions can be considered and restructured for Postdoc candidates as well. For any further issue or technical questions, please do not hesitate to contact me directly: Mahdi Bohlouli (mb at petanux.com). If you want to Apply: We use the first come, first served mechanism to review the applications, so in order not to miss this opportunity, you are invited to send your applications as soon as possible to our HR department at career at petanux.com . I would also appreciate if you kindly forward this announcement to your group members or mailing lists for further information. Further job openings can be checked at https://www.petanux.com/career/ Best Regards, Mahdi Bohlouli P.S. While I may be sending this message outside my normal working hours, I have no expectations to receive a response outside of yours. ———————————————————— Mahdi Bohlouli, Adjunct Professor, PhD (Dr.-Ing.) CEO and Founder, Petanux GmbH Postal Address: Petanux GmbH, Regus Business Center, Bornheimerstr. 127, D-53119 Bonn, Germany Tel: +49 (0) 228 28616557 Fax: +49 (0) 228 28616558 Cell: +49 (0) 176 62499911 E-mail (office): info at petanux.com WEB: http://www.petanux.com Skype: mahdi.uni Registered in the Commercial Register of the AG Bonn HRB 23027 Founder and CEO: Prof. Dr. Mahdi Bohlouli USt.-IdNr.: DE312613807 This email contains confidential and legally protected information. If you are not the correct addressee and have received this e-mail in error, please inform the sender immediately and destroy these e-mails. The copying of contents of this e-mail, the transmission without permission is not allowed and represents a violation of the rights of the sender. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: PETA_PhD_Researcher_Blind_EN.pdf Type: application/pdf Size: 186140 bytes Desc: not available URL: -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: PETA_PhD_Researcher_Skin_EN.pdf Type: application/pdf Size: 185969 bytes Desc: not available URL: -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Tue Jul 5 10:43:40 2022 From: cfp at mat.unical.it (cfp) Date: Tue, 5 Jul 2022 10:43:40 +0200 Subject: [fg-arc] RCRA 2022 last call for paper (-5 days to deadline) In-Reply-To: References: Message-ID: [APOLOGIES FOR MULTIPLE POSTINGS] * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organizes the 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) affiliated to the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) https://sites.google.com/view/lpnmr2022 September, 5th, 2022; Genova, Italy RCRA group web site:http://rcra.aixia.it/ Workshop web site: TBA e-mail:marco at dibris.unige.it,M.Vallati at hud.ac.uk * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in Artificial Intelligence. * ______________________________________________________________________ * IMPORTANT DATES Paper submission deadline: July 10th, 2022 Notification of acceptance: August 1st, 2022 Final version of accepted original papers: August 22nd, 2022 RCRA workshop: September 5th, 2022 AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o argumentation o temporal reasoning o combinatorial optimization o quantified boolean formulae and quantified constraints o modal logics o logic programming o answer set programming o ontological reasoning * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridization * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences (visualization, graphics, security, transports,...) WORKSHOP CHAIRS Marco Maratea University of Genova, Italy Mauro Vallati University of Huddersfield, UK HOST ORGANIZATION AND VENUE University of Genova, Italy The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/), which is a college directly situated on the see. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. SUBMISSIONS Authors are invited to submit either original and non-original papers. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS style. RCRA 2022 uses EasyChair for the submission of contributions. Contributions must be submitted through this page: https://easychair.org/conferences/?conf=rcra2022 All submissions will be reviewed by at least three members of the program committee (TBD). CONTACT In case of need, the workshop co-chairs can be contacted by sending an email to: marco at dibris.unige.it,M.Vallati at hud.ac.uk PROCEEDINGS CEUR-WS Proceedings: Accepted original papers will be published in the AIxIA series of CEUR-WS AI*IA Series on CEUR-WS.org (upon authors confirmation) Moreover, as in some previous editions (http://rcra.aixia.it/publications), we are considering the possibility of having a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. All technical papers, original and non-original, will be eligible. HISTORY OF THE RECENT WORKSHOP SERIES * RCRA 2021 as a workshop of AI*IA 2021, Virtual https://rcra2020.wordpress.com/ * RCRA 2020 as a workshop of AI*IA 2020, Virtual https://rcra2020.wordpress.com/ * RCRA 2018 as a workshop of FLoC 2018, Oxford, UK http://rcra.aixia.it/rcra~2018 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2017 as a workshop of AI*IA 2017, Bari, Italy http://rcra.aixia.it/rcra2017 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2016 as a workshop of AI*IA 2016, Genova, Italy http://rcra.aixia.it/rcra2016 Extended versions of the best papers will appear in a special issue of JETAI * RCRA 2015 as a workshop of AI*IA 2015, Ferrara, Italy http://rcra.aixia.it/rcra2015 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014, Vienna, Austria -http://rcra.aixia.it/rcra2014 Extended versions of the best papers will appear in a special issue of AI Communications * Previous editions:http://rcra.aixia.it/workshops -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Wed Jul 6 13:34:49 2022 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Wed, 6 Jul 2022 13:34:49 +0200 Subject: [fg-arc] Second Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) Message-ID: ------------------------------------------------------------------------ 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) December 5-10, 2022 Auckland, New Zealand https://conf.researchr.org/home/sle-2022 http://www.sleconf.org/2022 Follow us on twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022), held in conjunction with SPLASH, GPCE and SAS 2022. Based on the future developments the conference will be hosted in Auckland, New Zealand on December 5-10, 2022. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: - Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g. design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches - Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages - Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms - Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines - Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) - Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications - "Synergies between Language Engineering and emerging/promising research areas" - AI and ML language engineering (e.g., ML compiler testing, code classification) Quantum language engineering (e.g., language design for quantum machines) - Language engineering for physical systems (e.g., CPS, IoT, digital twins) - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: - **Research papers**: These are "traditional" papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length, and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. - **New ideas / vision papers**: These are papers that may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas / vision papers must not exceed 5 pages, and may optionally include 1 further page of bibliography / appendices. - **SLE Body of Knowledge**: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools and methods developed by the SLE community. To this respect, the SLE conference will accept surveys, essays, open challenges, empirical observations and case study papers on the SLE topics. These can focus on but they are not limited to methods, techniques, best practices and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. - **Tool papers**: These are papers which focus on the tooling aspects which are often forgotten or neglected in research papers. A good tool paper focuses on practical insights that are likely to be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography / appendices. They may optionally come with an appendix with a demo outline / screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found at the SPLASH 2022 Website. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Abstract submissions: August 8, 2022 * Paper submissions: August 12, 2022 * Review notification: September 18, 2022 (starting of the rebuttal) * Author response period: September 28, 2022 (end of the rebuttal) * Notification: September 30, 2022 * Artifact submissions: October 11, 2022 * Camera-ready (for both rounds): October 15, 2022 * Artifact kick-the-tires Author response: October 24, 2022 * Artifact notification: November 11, 2022 * Conference: December 5-10, 2022 --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart"(http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template(https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle22.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research comply with their local governing laws and regulations and the ACM’s general principles as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). Submissions that violate this policy will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas/vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. SLEBoK papers will be reviewed on their significance, readability, topicality and capacity of presenting/evaluating/demonstrating a piece of BoK about SLE. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. After each review round, authors will get a chance to respond before a final decision is made. --------------------------- Artifact Evaluation --------------------------- For the seventh year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation (http://www.sleconf.org/2022/ArtifactEvaluation.html) page. --------------------------- Special Issue --------------------------- There will be a special issue on Software Language Engineering in the Journal of Systems and Software (JSS). The best papers accepted at the conference will be invited to submit an extended version of their work. --------------------------- Awards --------------------------- - **Distinguished paper**: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. - **Distinguished artifact**: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted papers will have the chance to present their work to the SLE audience, too. --------------------------- Organisation --------------------------- Chairs: * General chair: Bernd Fischer, Stellenbosch University, South Africa * PC co-chair: Lola Burgueño, Open University of Catalonia, Spain * PC co-chair: Walter Cazzola, Università degli Studi di Milano, Italy * Artefact Evaluation co-chair: Thomas Kühn, Karlsruhe Institute of Technology, Germany * Artefact Evaluation co-chair: Juliana A. Pereira, Pontifical Catholic University of Rio de Janeiro, Brazil Program committee: Shaukat Ali, Simula Research Laboratory, Norway Arvid Butting, Aachen University, Germany Marsha Chechik, University of Toronto, Canada Shigeru Chiba, University of Tokyo, Japan Benoît Combemale, University of Rennes, France Zhenjiang Hu, Peking University, China Jörg Kienzle, McGill University, Canada Dimitris Kolovos, University of York, UK Thomas Kühn, Karlsruhe Institute of Technology, Germany Juan de Lara, Universidad Autónoma de Madrid, Spain Stefan Marr, University of Kent, UK Marjan Mernik, University of Maribor, Slovenia Natsuko Noda, Shibaura Institute of Technology, Japan Juliana A. Pereira, Pontifical Catholic University of Rio de Janeiro, Brazil Elizabeth Scott, University of London, UK Marco Servetto, Victoria University of Wellington, New Zealand Emma Söderberg, Lund University, Sweden Walid Taha, Halmstad University , Sweden Marco Tullio Valente, Universidade Federal de Minas Gerais, Brazil Erik Van Wyk, University of Minnesota , USA Alfonso de la Vega, University of Cantabria, Spain Ran Wei, Dalian University of Technology, China Andreas Wortmann, Stuttgart University, Germany Vadim Zaytsev, University of Twente, Netherlands Steffen Zschaler, King’s College London, UK --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the Programme Chairs (Lola Burgueño and Walter Cazzola) at sle22-chairs _at_ di.unimi.it. From Cassia.Trojahn at irit.fr Fri Jul 8 11:00:59 2022 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Fri, 08 Jul 2022 11:00:59 +0200 Subject: [fg-arc] =?utf-8?q?=5BOM-2022=5D_2nd_CFP=3A_17th_workshop_on_Ont?= =?utf-8?q?ology_Matching_collocated_with_ISWC?= In-Reply-To: <4ff0-62877b00-1b-e5144d0@189364743> Message-ID: <6528-62c7f280-1d-4dadd800@90550517> ** With apologies for multiple posting ** The Seventeenth International Workshop on ONTOLOGY MATCHING (OM-2022) http://om2022.ontologymatching.org/ October 23rd or 24th, 2022, International Semantic Web Conference (ISWC) Workshop Program, Hybrid conference, Hangzhou, China 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) 2022 campaign: http://oaei.ontologymatching.org/2022/ 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 (e.g., public sector); Application of matching techniques in real-world scenarios (e.g., in cloud, with mobile apps); 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 2022 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than August 9th, 2022) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2022 Contributors to the OAEI 2022 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2022/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 9th, 2022: Deadline for the submission of papers. September 6th, 2022: Deadline for the notification of acceptance/rejection. September 20th, 2022: Workshop camera ready copy submission. October 23rd or 24th, 2022: OM-2022, hybrid conference, Hangzhou, China. 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 (to be completed): 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, Instituto Gulbenkian de Ciéncia, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulic, 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 Majid Mohammadi, Eindhoven University of Technology, Netherlands Hoa Ngo, CSIRO, Australia George Papadakis, University of Athens, Greece Henry Rosales-Méndez, University of Chile, Chile Booma Sowkarthiga, Microsoft, USA Kavitha Srinivas, IBM, USA Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Science, China Lu Zhou, TigerGraph, USA --------------------- Best regards, Cassia From Cassia.Trojahn at irit.fr Wed Jul 13 11:11:46 2022 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 13 Jul 2022 11:11:46 +0200 Subject: [fg-arc] [OAEI 2022] 1st call for system participation In-Reply-To: <6528-62c7f280-1d-4dadd800@90550517> Message-ID: <469f-62ce8c80-21-3274e24@161418290> ** Apologies for multiple postings ** ------------------------------- Ontology Alignment Evaluation Initiative 2022 (OAEI 2022) First call for the 2022 edition of the Ontology Alignment Evaluation Initiative (OAEI) -- http://oaei.ontologymatching.org/2022/ This evaluation campaign is collocated with the Ontology Matching workshop -- http://om2022.ontologymatching.org/ ----------------- Tracks ----------------- The OAEI 2022 campaign will once again confront ontology matchers to ontology and data sources to be matched. This year, the following test sets are available: T-Box/Schema matching: - Anatomy - Conference - Cross-lingual conference - Complex - Food Nutritional Composition **new track** - Bio-ML **new track** - Biodiversity and Ecology - Material sciences and engineering - Crosswalks metadata **new track** - Common Knowledge Graphs Instance and schema matching: - Knowledge graph Instance matching or link discovery: - Spimbench - Link Discovery - GeoLink cruise Tabular data to Knowledge Graph matching: - TD→KG (special track) ----------------- Evaluation ----------------- Systems will be evaluated with respect to all of the OAEI tracks (when possible). The results will be reported at the International Workshop on Ontology Matching, which will be collocated with the 21st International Semantic Web Conference (ISWC 2022). ----------------- Schedule (tentative) ----------------- June 30th: preliminary datasets available. July 31st: preparation phase ends and final datasets are available. July 31st: participants register their tool (mandatory). August 31st: execution phase ends and participants submit final versions of their tools. September 30th: evaluation phase ends and results are available. October 14th: preliminary version of system papers due. October 23rd or 24th: the 17th Ontology matching workshop October 23-27th: the 21st International Semantic Web Conference. November 15th: final version of system papers due. ---- Best regards Cassia Trojahn on behalf of the OAEI track organisers From announce at cs.ucy.ac.cy Thu Jul 14 09:36:46 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 14 Jul 2022 10:36:46 +0300 Subject: [fg-arc] 8th IEEE International Smart Cities Conference (ISC2 2022): Last Mile for Paper Submission to Special Sessions and Workshops Papers Message-ID: *** Last Mile for Paper Submission to Special Sessions and Workshops Papers *** 8th IEEE International Smart Cities Conference (ISC2 2022) "Community Smartification and towards ZERO emission Smart Cities for a Green New Era" September 26-29, 2022, Aliathon Resort, Paphos, Cyprus https://attend.ieee.org/isc2-2022  (*** Submission Deadline: July 20, 2022 AoE (firm!)) The IEEE ISC2 will be held in-person on September 26-29, 2022, in Paphos, Cyprus and the theme of the conference is “Community Smartification and towards ZERO emission Smart Cities for a Green New Era.” The IEEE ISC2 is the flagship conference sponsored by the IEEE Smart Cities Technical Community, a coalition of eight IEEE technical societies and organizations. It is still possible to submit papers to the following Special Sessions (more information available here, https://attend.ieee.org/isc2-2022/special-sessions/ ):   • Special Session 1: 5G technology and cloud native solutions for smart grids and smart cities applications 
• Special Session 2: Smartification from Pilot Projects to New Trends in Urban Ecosystems 
• Special Session 3: Advances toward air pollution monitoring and mitigation solutions for smart cities as well as the following Workshops (more information available here, https://attend.ieee.org/isc2-2022/workshops/ ): • First International Workshop on MARV: Multimodal and AI-Responsible data processing and deliVery in smart cities • First International Workshop on Sustainable Digital Transformation of Urban Landscape through Disruptive Technologies & Standards • Second International Workshop On Intelligent IoT Solutions for Smart Cities • First International Workshop on Smart and Circular Cities • First International Workshop on Improving Quality of Life for People with Disabilities (PwD) through the use of Technologies in Smart Cities Paper Submission Guidelines Prospective authors are invited to submit high quality original (Full or Short) papers via the EasyChair submission site at https://easychair.org/conferences/?conf=isc22022 . Full papers should describe novel research contributions with evaluation results and are limited to seven (7) pages. Short papers, limited in length to four (4) pages, should be more visionary in nature and are meant to discuss new challenges and visions, highlight early research results, and explore novel research directions. All submitted papers must be unpublished and not considered elsewhere for publication, should be written in English and formatted according to the IEEE Template ( https://www.ieee.org/conferences/publishing/templates.html ). Each submitted paper will pass through the standard IEEE peer-review process. If accepted and presented at the conference, it will appear in the conference proceedings and be submitted for inclusion in the IEEE Xplore Digital Library. The conference organisers are currently negotiating a number of special issues with high quality journals. More information is available on the conference web site (https://attend.ieee.org/isc2-2022/journal-special-issues/ ). The best papers will be awarded in the conference Best Paper Award and a Best Student Paper Award contests.  For more information, please visit the conference website: https://attend.ieee.org/isc2-2022 . Sponsorship Opportunities Please refer to the web site for further details: https://attend.ieee.org/isc2-2022/sponsorships/ . Important Dates • Special Sessions and Workshops Papers Submission Deadline: July 20, 2022 AoE (firm!) • Special Sessions and Workshops Papers Acceptance Notification: August 7, 2022 • Special Sessions and Workshops Papers Camera-Ready Deadline: August 15, 2022 • Special Sessions and Workshops Papers Author Registration Deadline: August 15, 2022 • Conference Dates: September 26-29, 2022 Organizing Committee https://attend.ieee.org/isc2-2022/chairs/ Special Track Chairs Committee https://attend.ieee.org/isc2-2022/special-tracks-committee2/ IEEE Smart Cities https://smartcities.ieee.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jul 18 08:49:58 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 18 Jul 2022 09:49:58 +0300 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Sixth Call for Papers Message-ID: *** Sixth Call for Papers *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Golden Bay Beach Hotel 5*, Larnaca, Cyprus https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics • Artificial Intelligence methods for medical device testing. • Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). • Algorithms, methods and services for predicting and monitoring infectious disease. • Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. • Medical Data and/or Medical Image Analysis. • Electronic Medical Records Analysis. • Computational methods for medical devices. Human Computer Interaction and Cognition • Human-Machine Interaction for healthcare and well-being. • Cognitive Mechatronics for healthcare and well-being. • Models for human-device interaction for medicine. • Cobotics for healthcare and well-being. • Model-based design and configuration tools for healthcare and well-being. Assistive Devices • Precision medicine. • ICT for in-silicon trials. • Implantable medical devices. • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing • Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). • Smart Systems and services promoting access to the socio-economical and cultural environment. • IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. • eHealth smart solutions in the fight against a COVID-19 like pandemic. • IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services • Distributed and connected digital healthcare services. • IoT services for real-time monitoring of health data and status of patients and/or older adults. • Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. • mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. • Sustainable city environments for emergency health management. • 5G and beyond for healthcare in sustainable smart cities. • Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems • New experimental validation methods with end-users. • Systems and services for ensuring patient’s commitment to the medication schedule. • Digital health systems and tools for health care professional training and workforce development. • Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. • Methods and Technology for Improving the quality of services-oriented care delivery systems. • Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. • Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization • Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). • Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). • Security and privacy of digital health systems and service. • Socio-economic issues of smart healthcare in sustainable societies. • Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates • Submission Deadline: August 22, 2022 (AoE) • Notification: September 26, 2022 • Camera-Ready Submission Deadline: October 10, 2022 • Author Registration Deadline: October 10, 2022 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair • Jessica Allingham, Lakehead University, Canada Finance Chair • Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee • https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Thu Jul 21 11:54:23 2022 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Thu, 21 Jul 2022 09:54:23 +0000 Subject: [fg-arc] New lecture in FME Teaching Tutorials series on July 29, at 3 pm CEST: Prof. Erika Abraham (RWTH Aachen University, Germany) on "Automatic exercise generation for satisfiability checking" Message-ID: <2829d4b15569407faaf454304159d178@abo.fi> Dear all, I hope that, even though the summer holidays are upon us, you'll find the time to join us at the upcoming FME Teaching Tutorial, on the last Friday of July! We now have the pleasure of listening to Prof. Erika Abraham's (RWTH Aachen University, Germany) lecture on Friday July 29, 2022, at 3 pm CEST. Her talk is entitled "Automatic exercise generation for satisfiability checking". The abstract of Prof Abraham's lecture is here: We offer a lecture on satisfiability checking, repeated annually each winter term since 2009. The contents cover SAT solving to check the satisfiability of propositional logic formulas as well as SAT-modulo-theories (SMT) solving for checking the satisfiability of logical formulas over different theories (equality logic with uninterpreted functions, bit-vector arithmetic, linear and nonlinear real and integer arithmetic). This lecture is challenging to teach, as the underlying math is - at least for the arithmetic theories - quite involved. The manual execution of the algorithms by the students plays a substantial role, thus it is important to offer the students a pool of exercises. Furthermore, with more that 500 registered students in the last winter term under pandemic conditions, we needed a large number of individual but comparable exercises for interactions during the lecture as well as for the online exam. However, the automated generation of comparable SMT-solving exercises turned out to be a hard nut. In this talk we discuss the obstacles and propose some solutions. The zoom link is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS1: the tutorial series webpage is updated with the list of speakers who confirmed their lectures in 2022 here: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. Please note that we have a speaker scheduled every month until October!! __ 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 chisvasileandrei at gmail.com Tue Jul 26 14:13:34 2022 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Tue, 26 Jul 2022 14:13:34 +0200 Subject: [fg-arc] Call for Papers: Eelco Visser Commemorative Symposium Message-ID: Due to the untimely passing of Eelco Visser, members of his former research communities TU Delft, CWI, OOPSLA, SLE, and IFIP Working Groups 2.11 & 2.16 have joined in organizing the Eelco Visser Commemorative Symposium. The event will be held on the occasion of the first anniversary of his passing in April of next year. You are cordially invited to contribute to this symposium, by writing a paper and giving a presentation related to Eelco and his influential work, or by just attending. Please see the CfP below. Best regards, The EVCS Organizing Committee ------------------------------------------------------------------------ ------------------------------------------------------------------------ Eelco Visser Commemorative Symposium (EVCS) 5 April 2023 Delft, The Netherlands https://symposium.eelcovisser.org ------------------------------------------------------------------------ Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the software language engineering and programming language design communities. His many scientific contributions about meta-languages and domain-specific languages have been of high importance in both the scientific and industrial communities. He was a founding member of IFIP Working Groups 2.11 (Program Generation) and 2.16 (Programming Language Design). Eelco Visser’s work on the cutting-edge language workbench Spoofax started with a ground-breaking publication in 2010, for which he received a Most Influential Paper award at OOPSLA 2020. As a strong advocate of tool-supported programming education, he led the development of WebLab, a learning management system that is in use for a range of programming languages and courses at TU Delft. He also led the design, implementation and use of conf.researchr.org, a content management system for scientific events used by hundreds of international events since 2011. --------------------------- Call for Papers --------------------------- A commemorative symposium for Eelco Visser is to be held on the first anniversary of his untimely passing away in April 2022. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and other academic activities. --------------------------- Topics of Interest --------------------------- Topics of interest include, but are not limited to: - Language engineering - Program transformation - Language workbenches - Declarative language specification - Name binding and scope graphs - Type soundness and intrinsically-typed interpreters - Language specification testing - Language implementation generation - Domain-specific programming languages - DSLs for software deployment - DSLs for web application development - Tool-supported programming education --------------------------- Important Dates --------------------------- - Friday 30 September 2022: Declaration of intent to submit - Friday 28 October 2022: Paper submission deadline - Monday 28 November 2022: Notifications - Wednesday 5 April 2023: Symposium --------------------------- Types of Submissions --------------------------- - **Unpublished research**: These are extended abstracts of novel research contributions related to Eelco Visser’s work. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by selected members of the relevant research communities. Subsequent submission of full papers including the same results to other venues is encouraged. - **On the relationship between Eelco Visser's work and other frameworks**: These are papers that present some framework and explain its relationship to his work, but without novel research contributions. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by an expert on the relevant topic. - **Personal reflections on Eelco Visser's activities**: These are short papers that recall and reflect upon personal experiences of his contributions in academia or industry. Papers may range from 1 to 4 pages in length, including bibliography. Papers will be lightly reviewed for relevance. --------------------------- Submissions --------------------------- Declaration of intent to submit is optional, but helpful for allocation of appropriate reviewers. It is to include a provisional title, the type of submission, and an indication of the topics covered. The other details regarding submissions will be announced later. The page ranges for submissions (see above) are assuming a format such as Springer LNCS or Dagstuhl OASIcs. --------------------------- Publication --------------------------- All accepted papers are to be published in an open access volume by the start of the symposium (publisher to be decided). Authors retain copyright. --------------------------- Presentations --------------------------- All accepted papers are to be presented at the symposium. Presenters may choose between 5, 10, and 15-minute slots (including questions) subject to availability. Remote presentations are allowed. --------------------------- Organising Committee --------------------------- - Jonathan Aldrich, Carnegie Mellon University - Benoit Combemale, University of Rennes, Inria, and IRISA - Paul Klint, CWI and University of Amsterdam - Ralf Lämmel, University of Koblenz - Peter Mosses (chair), TU Delft and Swansea University - Friedrich Steimann, Fernuniversität in Hagen - Tijs van der Storm, CWI and University of Groningen - Eric Van Wyk, University of Minnesota --------------------------- Local Organisation Committee --------------------------- - Arie van Deursen - Jasper van Dijck - Peter Mosses - Roniet Sharabi - Shémara van der Zwet --------------------------- Contact --------------------------- For all enquiries about the symposium, please use the contact form at symposium.eelcovisser.org/contact or email symposium at eelcovisser.org From M.Daggitt at hw.ac.uk Tue Jul 26 17:38:14 2022 From: M.Daggitt at hw.ac.uk (Daggitt, Matthew) Date: Tue, 26 Jul 2022 15:38:14 +0000 Subject: [fg-arc] Call for Participation -- Mathematics of Program Construction 2022 Message-ID: ====================================================================== *** CALL FOR PARTICIPATION -- MPC 2022 *** 14th International Conference on Mathematics of Program Construction 26th-28th of September 2022, Tbilisi, Georgia Co-located with the Computational Logic Autumn Summit (CLAS'22) ====================================================================== BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2022 will be held in Tbilisi, Georgia, on the 26th-28th September 2022, and is co-located with the Computational Logic Autumn Summit (CLAS'22). There will be a wide range of other conferences and workshops co-located with MPC, including CICM, PPDP and RV. KEYNOTE SPEAKERS: Daniela Petrisan University Paris Diderot, France Conor McBride University of Strathclyde, UK ACCEPTED PAPERS: The program can be found here. CONFERENCE VENUE: The conference will be held at the Ivane Javakhishvili Tbilisi State University (TSU), which is the oldest and largest educational and research institution not only in Georgia, but also in the South Caucasus. The venue is located in the city center, with many hotels, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) within walking distance. Social events as part of CLAS include a wine tour in Katheti. Georgia is one of the oldest wine-making countries in the world and Kakheti is a region where wine making has a long tradition. Tbilisi International Airport is 15 km away from the city and offers direct connections to more than 30 destinations in Europe, Asia, and the Middle East. From the airport, the city can be reached by bus or taxi. Another option is to fly to Kutaisi in the west of Georgia, where low budget air companies (such as WizzAir) are operating. A shuttle bus from the Kutaisi airport to Tbilisi takes about 3 hours. Georgia allows visa-free entry for nearly 100 countries around the world. Further details may be found at the website of the Georgian government. LOCAL ORGANISERS: Besik Dundua International Black Sea University For any queries about local issues please contact the local organiser, Besik Dundua . ________________________________ Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes: 1. Heriot-Watt University, a Scottish charity registered under number SC000278 2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS. The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Wed Jul 27 17:43:21 2022 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 27 Jul 2022 17:43:21 +0200 Subject: [fg-arc] HCSE 2022 - Call for Participation - Aug 24-26 in Eindhoven NL Message-ID: <27aed770-9ca0-98b9-3329-0c8605b55c84@uni-paderborn.de> Apologies for cross-postings! Dear colleagues in HCI and SE, We kindly invite you to attend *HCSE 2022 - 9th International Working Conference on Human-Centered Software Engineering* August 24-26, 2022 in Eindhoven, The Netherlands - live and in presence! We have compiled an*interesting program * including * one Keynote by Panos Markopoulus on "Past, Present and Future of Ambulatory Assessment Methods in Human-Computer Interaction" * one Invited Talk by Ilaria Bortone on "The Potential of Human-Centered Software Engineering in Promoting a Tailored and Adapted Rehabilitation" * 11 peer-reviewed paper presentations of Full Research Papers and Late-breaking Results * one Demo and Poster Presentations * a Walking Meeting and an Interactive Session / Panel on Redefining HCSE as a Venue * a Welcome Reception and a Conference Dinner The conference will be hosted by TU/e, Eindhoven University of Technology. Detailed information about attending the conference (registration, venue) and the program can be found on our *website *https://hcse-conference.org/ This is an excellent opportunity to learn about latest research results, exchange ideas, and meet again colleagues that you may not have seen for a while or make new relationships. We are looking forward to seeing you in Eindhoven! Regina Bernhaupt - Carmelo Ardito - Stefan Sauer HCSE 2022 Co-Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Fri Jul 29 15:57:27 2022 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Fri, 29 Jul 2022 15:57:27 +0200 Subject: [fg-arc] =?utf-8?q?=5BOM-2022=5D_Final_CFP=3A_17th_wshop_on_Onto?= =?utf-8?q?logy_Matching_collocated_with_ISWC=3A_the_submission_deadline_i?= =?utf-8?q?s_approaching_on_Aug=2E_9th?= Message-ID: <13f0-62e3e780-1-29b12040@65583672> The Seventeenth International Workshop on ONTOLOGY MATCHING (OM-2022) http://om2022.ontologymatching.org/ October 23rd or 24th, 2022, International Semantic Web Conference (ISWC) Workshop Program, Hybrid conference, Hangzhou, China ===================================================================== The submission deadline for tech. papers is approaching in 2 weeks on Aug. 9th: https://www.easychair.org/conferences/?conf=om2022 ===================================================================== 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) 2022 campaign: http://oaei.ontologymatching.org/2022/ 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 (e.g., public sector); Application of matching techniques in real-world scenarios (e.g., in cloud, with mobile apps); 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 2022 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than August 9th, 2022) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2022 Contributors to the OAEI 2022 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2022/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 9th, 2022: Deadline for the submission of papers. September 6th, 2022: Deadline for the notification of acceptance/rejection. September 20th, 2022: Workshop camera ready copy submission. October 23rd or 24th, 2022: OM-2022, hybrid conference, Hangzhou, China. 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, Instituto Gulbenkian de Ciéncia, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulic, 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 Majid Mohammadi, Eindhoven University of Technology, Netherlands Hoa Ngo, CSIRO, Australia George Papadakis, University of Athens, Greece Henry Rosales-Méndez, University of Chile, Chile Booma Sowkarthiga, Microsoft, USA Kavitha Srinivas, IBM, USA Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Science, China Lu Zhou, TigerGraph, USA ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- Best regards Cassia Trojahn