From a.dabrowski at uci.edu Mon Mar 1 00:22:16 2021 From: a.dabrowski at uci.edu (Adrian Dabrowski) Date: Mon, 1 Mar 2021 00:22:16 +0100 Subject: [fg-arc] [ACM WiSec 2021] Submission Site open In-Reply-To: References: Message-ID: Submission is due in less than 3 weeks on March 18th: https://wisec21.hotcrp.com/ ============================================================================= Call for Papers: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec 2021) ============================================================================= The 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec 2021, https://nyuad.nyu.edu/wisec21) will be held virtually from June 28 to July 1, 2021. ACM WiSec is the leading ACM and SIGSAC conference dedicated to all aspects of security and privacy in wireless and mobile networks and their applications. In addition to the traditional ACM WiSec topics of physical, link, and network layer security, we welcome papers focusing on the increasingly diverse range of mobile or wireless applications such as Internet of Things, Cyber-Physical Systems, as well as the security and privacy of mobile software platforms, usable security and privacy, biometrics, and cryptography. The conference welcomes both theoretical as well as systems contributions. Topics of interest include, but are not limited to - Cryptographic primitives for wireless and mobile security - Data-driven security attacks and countermeasures - Economics of mobile security and privacy - Jamming attacks and defenses - Key management (agreement or distribution) for wireless or mobile systems - Lightweight cryptography primitives and protocols - Mobile malware and platform security - NFC and smart payment applications - Next generation cellular network fraud and security - Physical tracking security and privacy - Resilience and dependability for mobile and wireless networks - Reverse engineering of and tampering with mobile applications - Security and privacy for cognitive radio and dynamic spectrum access systems - Security and privacy for mobile applications (e.g., mobile sensing systems) - Security and privacy for smart devices (e.g., smartphones) - Secure localization and location privacy - Security protocols for wireless networking - Side-channel and fault attacks on smart devices - Side-channel attacks on mobile and wearable systems - Theoretical and formal approaches for wireless and mobile security - Usable mobile security and privacy - Vehicular networks security (e.g., drones, automotive, avionics, autonomous driving) - Wireless and mobile privacy and anonymization techniques - Wireless or mobile security for cyber-physical systems (e.g, healthcare, smart grid) and IoT systems - Wireless network security for critical infrastructures The proceedings of ACM WiSec, sponsored by SIGSAC, will be published by the ACM. Important dates =============== - Paper submission deadline: March 18, 2021 (23:59 AoE) - Author notification: April 29, 2021 - Camera-ready deadline: May 21, 2021 (23:59 AoE) - WiSec conference: June 28 to July 1, 2021 For more information on papers formats, posters, demos, replicability, the organizing committee, and the reviewers, visit https://nyuad.nyu.edu/wisec21. From koziolek at kit.edu Mon Mar 1 17:52:08 2021 From: koziolek at kit.edu (Anne Koziolek (IPD)) Date: Mon, 1 Mar 2021 17:52:08 +0100 Subject: [fg-arc] Validierung von SE-Forschungsergebnissen: CfP Workshop on Properties of Software Engineering Research and their Systematic Documentation and Evaluation (PROPSER) Message-ID: <173011bd-9cb7-a59a-e383-914fa930e6ad@kit.edu> Liebe Kolleg:innen, für alle von Ihnen, die sich dafür interessieren, wie SE-Forschung validiert werden kann und sollte, möchten wir auf unseren Workshop on Properties of Software Engineering Research and their Systematic Documentation and Evaluation (PROPSER) auf der EASE-Konferenz hinweisen. Bitte leiten Sie den Aufruf gern auch an potentiell interessierte Forscher:innen, insbesondere Doktorand:innen, weiter! Für viele interessant könnte die Paper-Kategorie "method-not-obvious", in der wir Beiträge suchen, die erst diskutieren, wie ein bestimmter konkreter Beitrag validiert werden könnte. Vielen Dank und viele Grüße Anne Koziolek für alle Organisatoren Antonia Bertolino, ISTI-CNR, Italy Anne Koziolek, Karlsruhe Institute of Technology (KIT), Germany Ralf Reussner, Karlsruhe Institute of Technology (KIT) / FZI – IT Research Centre, Germany (main contact) *** First International Workshop on Properties of Software Engineering Research (PROPSER) *** co-located with the International Conference on Evaluation and Assessment in Software Engineering (EASE), 21 - 23 June 2021 = Aim = This workshop aims to bring together researchers at various points in their career and practitioners alike, for discussing the systematic description and evaluation of software engineering research. Motivation The workshop is motivated by two observations: 1) writing and reviewing software engineering research results is often hindered by the lack of a community understanding what are important questions (hypotheses) to validate research and which methods are suitable, appropriate and needed for demonstrating evidence; 2) retrieving research results just through syntactical terms of the paper title (or even abstract) is often very hard, and, as a consequence, comprehensively relating research results to each other in terms of support, strengthening or contradiction is rarely done. Therefore, in PROPSER we want to discuss in particular: * properties for describing software engineering research, such as relevance, evidence, applicability, appropriateness, etc; * general patterns for suitable empirical validations of research results and hypotheses; * suitable classifications of software engineering research, beyond established subject categories; * experiences, rules or guidelines, on how to decide on suitable validation questions and subsequently suitable empirical methods; * managing and organising research knowledge at a finer grain than paper citations; * methods for evaluating the impact of research on software engineering practice. The workshop aims to discuss these subjects as such, it is not meant to be a platform for original research results in a specific software engineering topic. Therefore, we intentionally do not require original new ideas to be submitted. Of course, for inclusion in the proceedings a paper should be original text. = Submissions = Concretely, we invite three types of submissions: * taxonomy papers (up to 8 pages): papers presenting or surveying classifications of software engineering subjects, empirical methods, areas of software applications, etc.; including hypotheses about relationships between such categories (e.g., "contributions of type X should be validated with method Y.") * method-not-obvious papers (up to 6 pages): papers describing ongoing research that has unsolved questions regarding how to demonstrate the validity and relevance of the work. * proposal papers (up to 6 pages): papers that directly address one or a few of the above-mentioned topics. None of these submission types strictly requires a conventional sequence of sections; please find a suitable section format for your respective case, but make heavy use of headings to help readers with orientation. Papers will be reviewed with respect of their strength of argumentation and their potential to spark interesting discussions during the workshop regarding the above-mentioned topics. Submitted papers must be written in English and conform to the ACM Proceedings Format: https://www.acm.org/publications/proceedings-template Submissions are done via the Easychair site of EASE at https://easychair.org/conferences/?conf=ease2021 = Deadlines = The deadlines and important dates for the submissions are as follows: * Paper submission: 26 March 2021 * Author notification: 19 April 2021 * Workshop: 30 April 2021 All accepted papers will be published at ACM EASE Companion Proceedings. = Chairs = * Antonia Bertolino, ISTI-CNR, Italy * Anne Koziolek, Karlsruhe Institute of Technology (KIT), Germany * Ralf Reussner, Karlsruhe Institute of Technology (KIT) / FZI – IT Research Centre, Germany (main contact) = Programme Committee = Robert Feldt, Chalmers University, Sweden Paul Ralph, Dalhousie University, Canada Carlo Ghezzi, Politecnico di Milano, Italia Gustavo Pinto, Federal University of Pará, Brasil Barbara Kitchenham, Keele University, UK Lutz Prechelt, FU Berlin, Germany Walter Tichy, Karlsruhe Institute of Technology, Germany Sira Vegas, Universidad Politécnica de Madrid, Spain -- Karlsruhe Institute of Technology (KIT) KASTEL – Institute of Information Security and Dependability MCSE – Modelling for Continuous Software Engineering group Prof. Dr.-Ing. Anne Koziolek Am Fasanengarten 5, Building 50.34, Room 326 76131 Karlsruhe, Germany Phone: +49 721 608-4-3473 Fax: +49 721 608-4-5990 Web: http://are.ipd.kit.edu/people/anne_koziolek/ Registered office: Kaiserstraße 12, 76131 Karlsruhe, Germany KIT -- The Research University in the Helmholtz Association -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5212 bytes Desc: S/MIME Cryptographic Signature URL: From thanh.dinhvan at gmail.com Tue Mar 2 15:46:08 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Tue, 2 Mar 2021 21:46:08 +0700 Subject: [fg-arc] KR 2021: Call for Workshop and Tutorial Proposals (Applications due March 17th) Message-ID: Call For Tutorial And Workshop Proposals 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) solicits proposals for its tutorial and workshop programme. Tutorials and workshops will be held on the days of 6-8 November 2021, prior to the KR main technical program. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** Submission Requirements for Tutorial Proposals ** KR tutorials are half-day or (exceptionally) full-day events that introduce general or special topics in KR and relevant neighboring areas. They can be first introductions to an established area or an emerging field, but also advanced courses on specialised methods or new approaches. The content should be adequately established and balanced, and not be limited to advertising an individual research work or product. A focus on specific tools and methodologies can still be useful to offer concrete examples and hands-on activities to participants. Each tutorial proposal should contain the following information: - Short title, presenters and proposed length (half-day is recommended, but an argument can be made for a full-day tutorial) - A half-page introduction to the tutorial's subject and relevance to KR - A half-page on the target audience, prerequisite knowledge, and learning goals - One page outline of the tutorial contents and intended structure - A brief resume of each presenter including name, affiliation, email address,   and evidence of scholarship in the area, mentioning relevant publications or   professional experience The main duties of the tutorial organizers are: - Setup a web-page for the tutorial, which should at least include the   information from the proposal, tutorial materials and related references. - Deliver the tutorial at KR 2021. Virtual presentation will be allowed. Each accepted tutorial will entitle a discount on the KR registration fee for one tutorial presenter. ** Submission Requirements for Workshop Proposals ** Workshops provide a place to exchange ideas in emerging fields in KR research and application. They can take many forms, including mini-conferences (with peer-reviewed publications), competitions, working sessions (discussions, hackathons, etc.), line-ups of invited contributions, or a mix of these. Innovative formats are welcome, but organizers must provide means of estimating attendance and required length up-front (by number of submissions, invited speakers, or early registered participants). Workshop proposals can use up to 4 pages, which should include the following information: - Title and acronym of the workshop, - Workshop description: goals, format, and expected activities during the   workshop; proposed duration (half day, one day, ...), - Audience: target audience, research groups in the area, planned or confirmed   speakers, expected number of submissions/participants, - Related events: history of the workshop (if applicable), relationship to   recent similar events, - Tentative list of PC members with their respective affiliations, - A brief resume of each organizer including name, affiliation, contact   details, and evidence of scholarship in the area, mentioning relevant   publications or professional experience. - Appendix: Tentative call for contributions The main duties of the chair of each accepted workshop are: - Set up a webpage for the workshop, - Advertise the workshop and distribute its call for papers/participation, - Coordinate the peer-reviewing of submitted contributions, - If workshop proceedings are desired, it is the duty of the organizers to   produce and distribute their workshop proceedings, - Organize a schedule for the workshop in collaboration with the local   organizers and the KR workshop co-chairs, and - Coordinate and moderate the workshop participation and content. We do not require workshop organizers to commit to physically attending the conference and will work with them to find a suitable (hybrid or fully virtual) format for each workshop. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** Submission Instructions ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically to the Workshop and Tutorial track of KR 2021 via EasyChair: https://easychair.org/conferences/?conf=kr2021 For all accepted proposals, KR will take care of all local and/or virtual arrangements. ** Important Dates ** Proposal submission deadline: 17 March 2021 Notification: 20 April 2021 Workshop paper submission deadline: 2 July 2021 Workshop paper notification: 6 August 2021 Workshop registration deadline: TBA Tutorial and workshop dates: 6-8 November 2021 ** Remote Participation Due to Covid-19 Pandemic ** We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing tutorial and workshop presenters to present remotely, and we will work with workshop organizers to find a suitable (hybrid or fully virtual) format for each workshop. Inquiries should be sent by email to the KR 2021 Tutorial and Workshop Chairs: Markus Krötzsch and Yongmei Liu kr21-workshops-tutorials at easychair.org From thanh.dinhvan at gmail.com Tue Mar 2 15:51:36 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Tue, 2 Mar 2021 21:51:36 +0700 Subject: [fg-arc] [CFP] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Message-ID: <60b69f9a-2641-a476-ea7e-13951917e44d@gmail.com> CALL FOR PAPERS 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam -> see note below about remote participation https://kr2021.kbsg.rwth-aachen.de Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. ** SCOPE ** We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. Topics of interest include, but are not limited to: - Applications of KR - Argumentation - Belief revision and update, belief merging, information fusion - Commonsense reasoning - Computational aspects of knowledge representation - Concept formation, similarity-based reasoning - Contextual reasoning - Decision making - Description logics - Explanation finding, diagnosis, causal reasoning, abduction - Geometric, spatial, and temporal reasoning - Inconsistency- and exception-tolerant reasoning, paraconsistent logics - KR and autonomous agents and multi-agent systems - KR and cognitive robotics - KR and cyber security - KR and education - KR and game theory - KR and machine learning, inductive logic programming, knowledge acquisition - KR and natural language processing and understanding - KR and the Web, Semantic Web - Knowledge graphs and open linked data - Knowledge representation languages - Logic programming, answer set programming - Modeling and reasoning about preferences - Multi- and order-sorted representations and reasoning - Nonmonotonic logics, default logics, conditional logics - Ontology formalisms and models - Ontology-based data access, integration, and exchange - Philosophical foundations of KR - Qualitative reasoning, reasoning about physical systems - Reasoning about actions and change, action languages - Reasoning about constraints, constraint programming - Reasoning about knowledge, beliefs, and other mental attitudes - Uncertainty, vagueness, many-valued and fuzzy logics The KR2021 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. ** TRACKS AND SPECIAL SESSIONS ** In addition to the main conference track, KR2021 will host the following tracks and sessions: * Applications and Systems Track * Recently Published Research Track * Special Session on KR and Machine Learning * Special Session on KR and Robotics ** IMPORTANT DATES ** Submission of title and abstract:     March 24, 2021 Paper submission deadline:          March 31, 2021 Author response period:         May 24-26, 2021 Notification:                 June 15, 2021 Camera-ready papers:             July 14, 2021 Conference dates:             November 6-12, 2021 The Recently Published Research track, workshops, tutorials, and the doctoral consortium have different submission and notification dates, which are listed on the conference website. **AUTHOR GUIDELINES AND SUBMISSION INFORMATION** All submissions must be written in English and formatted using the style files provided on the KR'21 website. Papers must be submitted in PDF format, through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2021 For the main conference track and additional tracks/sessions (except for the Recently Published Research track), we invite - Full papers of up to 9 pages, including abstract, figures, and appendices   (if any), but excluding references and acknowledgements. - Short papers of up to 4 pages, excluding references and acknowledgements. Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXiv). Accepted full papers and short papers will be published in the KR2021 proceedings. Authors may optionally submit a separate PDF containing additional information that substantiates the claims made in their paper, such as proof details, additional experimental results, further details on experimental design, etc. If authors wish to make such material available to reviewers, they should do so by submitting a file through EasyChair, rather than by including links or references in their paper. Please note that the main paper must be self contained, as the supplementary material will not be published. Moreover, reviewers will have the option but not the obligation to consult the supplementary material. The preceding submission guidelines apply to the main track, as well as to the Applications and Systems track, the KR & Machine Learning special session, and the KR & Robotics special session. By contrast, different submission guidelines apply to the Recently Published Research track, workshops, tutorials, and the doctoral consortium, please consult the KR21 website for further information. ** REMOTE PARTICIPATION DUE TO COVID-19 PANDEMIC ** We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ** CONFERENCE CHAIRS ** General:    Esra Erdem (Sabanci University, Turkey) Program:    Meghyn Bienvenu (CNRS & University of Bordeaux, France)    Gerhard Lakemeyer (RWTH Aachen University, Germany) Applications and Systems Track:    Martin Gebser (University of Klagenfurt, Austria)    Ulrike Sattler (University of Manchester, UK) Recently Published Research Track:    Vladimir Lifschitz (University of Texas at Austin, USA)    Pierre Marquis (Artois University & Institut Universitaire de France, France) Special Session on KR & Machine Learning:    Vaishak Belle (University of Edinburgh, UK)    Luc de Raedt (KU Leuven, Belgium) Special Session on KR & Robotics:    Alessandro Saffioti (University of Örebro, Sweden)    Mary-Anne Williams (University of Technology Sydney, Australia) Workshop and Tutorials:    Markus Kroetzsch (TU Dresden, Germany)    Yongmei Liu (Sun Yat-sen University, China) Doctoral Consortium:    Jens Classen (Simon Fraser University)    Magdalena Ortiz (TU Vienna, Austria) Local Organization:    Giuseppe De Giacomo (Sapienza University, Italy)    Son Tran (New Mexico State University, USA)    Long Tran-Thanh (University of Warwick, UK)    Thanh Van Dinh (East Asia University of Technology, Vietnam) Virtual Conference Arrangements:    Stefan Borgwardt (TU Dresden, Germany)    Marco Console (Sapienza University Italy)    Long Tran-Thanh (University of Warwick, UK) Sponsorship:    Kuldeep S. Meel (NUS, Singapore)    Zeynep G. Saribatur (TU Wien, Austria) Publicity:    Thanh Van Dinh (East Asia University of Technology, Vietnam)    Paolo Felli (Free University of Bozen-Bolzano, Italy) From thanh.dinhvan at gmail.com Wed Mar 3 04:11:22 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Wed, 3 Mar 2021 10:11:22 +0700 Subject: [fg-arc] [CFP]**Special Session on Knowledge Representation and Machine Learning** at the, 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Message-ID: <4e364fe6-d418-527b-1dc0-ff325de5c894@gmail.com> Call for Papers **Special Session on Knowledge Representation and Machine Learning** at the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de ------------------ Important Dates ------------------ Submission of title and abstract:     March 24, 2021 Paper submission deadline:         March 31, 2021 Author response period:         May 24-26, 2021 Notification:                 June 15, 2021 Camera-ready papers:             July 14, 2021 Conference dates:             November 6-12, 2021 ----------- Description ----------- Over the last two decades, Machine Learning (ML) has made incredible progress and become very effective at solving specific tasks while being robust across many experimental learning applications. Deep learning, statistical (relational) learning, reinforcement learning and logic-based and/or probabilistic learning are among the many ML approaches that are witnessing such advancements. On the other hand, Knowledge Representation and Reasoning (KR) has continued to be at the core of Artificial Intelligence (AI) research providing solutions for explicit declarative representation of knowledge and knowledge-based inference, which have theoretical and practical relevance in many aspects of AI as well as in new emerging fields outside AI. The synergy between these two areas of AI has the potential to lead to new advancements on the foundations of AI that offer novel insights into open fundamental challenges including, but not limited to, learning symbolic generalisations from raw (multi-modal) data, using knowledge to facilitate data-efficient learning, supporting interpretability of learned outcomes, federated multi-agent learning and decision making. This year, for the second time, KR2021 will host a special session on "Knowledge Representation and Machine Learning". This special session aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to computational learning and symbolic knowledge representation and reasoning. This special session provides the opportunity for fostering meaningful connections between researchers from these two main areas of AI and, at the same time, offering the possibility to learn about progress made on these topics, share their own views and learn about approaches that could lead to effective cross-fertilisation among research in ML and KR and new innovative solutions to key AI research challenges. ---------------------- Expected contributions ---------------------- The Special Session on KR and ML at KR2021 invites submissions of papers across KR and ML on advancements in one of these areas for the purpose of addressing open research challenges in the other, integration of computational learning and knowledge representation and reasoning, and the application of combined KR and ML approaches to solve real-world problems, including case studies and benchmarks. We welcome papers on a wide range of topics, including but not limited to: -- Learning ontologies and knowledge graphs -- Learning action theories -- Learning common-sense knowledge -- Learning spatial and temporal theories -- Learning preference models -- Learning causal models -- Learning tractable probabilistic models -- Probabilistic reasoning and learning -- Graphical models for knowledge representation and reasoning -- Reasoning and learning over knowledge graphs -- Logic-based learning algorithms -- Neural-symbolic learning -- Interplay between logic & neural and other learning paradigms (e.g., logics for reasoning about neural networks, embedding of logical reasoning in neural paradigms) -- Statistical relational learning -- Multi-agent learning -- Machine learning for efficient knowledge inference -- Symbolic reinforcement learning -- Learning symbolic abstractions from unstructured data -- Machine-learning-driven reasoning algorithms -- Explainable AI -- Transfer learning -- Multi-agent learning -- Expressive power of learning representations -- Knowledge-driven natural language understanding and dialogue -- Knowledge-driven decision making -- Knowledge-driven intelligent systems for internet of things and cybersecurity -- Application of knowledge-driven ML to question answering and story understanding -- Application of knowledge-driven ML to Robotics --------------------------------------------- Submission Guidelines and Evaluation Criteria --------------------------------------------- The special session emphasizes KR and ML, and welcomes contributions that extend the state of the art at the intersection of KR and ML. Therefore, KR-only or ML-only submissions will not be accepted for evaluation in this special session. Submissions will be rigorously peer reviewed by PC members who are active in KR and ML. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. In this special session, the selection process of the highest quality papers will apply the following criteria: * Importance and novelty of using knowledge representation and reasoning to advance machine learning, or novelty of using machine learning solutions to advance knowledge representation and reasoning. * Applicability of the proposed solutions in real-world. * Reusability of datasets, case studies and benchmarks for systems and/or application papers. * Proved theoretical or empirically demonstrated practical advancement of the proposed solution with respect to baseline pure KR or ML approaches. Details on formatting and submission can be found on the KR21 website. -------------------------------------------------- Remote Participation Due to the Covid-19 Pandemic -------------------------------------------------- We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------ Chairs ------    Vaishak Belle (University of Edinburgh, UK)    Luc De Raedt (KU Leuven, Belgium) From thanh.dinhvan at gmail.com Wed Mar 3 04:06:44 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Wed, 3 Mar 2021 10:06:44 +0700 Subject: [fg-arc] [CFP]*Applications and Systems Track* of the, 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Message-ID: <12cc23ec-be73-e7df-8ce9-3d407824c730@gmail.com> CALL FOR PAPERS *Applications and Systems Track* of the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de/ ------------------ Important Dates ------------------ Submission of title and abstract: March 24, 2021 Paper submission deadline: March 31, 2021 Author response period: May 24-26, 2021 Notification: June 15, 2021 Camera-ready papers: July 14, 2021 Conference dates: November 6-12, 2021 ------------------ Description ------------------ Systems and applications incorporating Knowledge Representation and Reasoning (KR) have made tremendous progress over the last decades and become more and more pervasive in scientific, industrial and everyday life. Popular knowledge representation formalisms range from databases, ontologies, classical, probabilistic and non-monotonic logics to natural language, offering rich means to describe a variety of static as well as dynamic phenomena. Automated reasoning systems harness machine learning, combinatorial search and optimization methods, planning, proving, design and diagnosis techniques to provide powerful tools for analyzing and deriving conclusions from complex input data. Novel, general and interdisciplinary approaches are thus vital contributions at the intersection of science, industry and society, aiming to enhance the capabilities and outreach of KR principles and technologies. This year, for the second time, KR 2021 will host a track on "Applications and Systems". This track aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to applications of KR formalisms and automated reasoning systems. This track provides the opportunity for fostering meaningful connections between researchers from both practical and theoretical areas of AI and, at the same time, offers participants the possibility to learn about progress made on these topics, share their own views and elaborate about approaches that could lead to effective cross-fertilisation among research in challenging KR applications and new innovative systems for solving them. ------------------ Expected Contributions ------------------ The Applications and Systems Track at KR 2021 invites submissions of papers on all aspects of the development, deployment, and evaluation of KR systems to solve significant and challenging application problems, including * case studies, including suitable descriptions of the problem setting, data and tools used, and “lessons learnt”,
 * use cases, including task specifications, related tasks/approaches, challenges, and a sketch of possible KR solution,
 * benchmarks, including suitable descriptions of the dataset, reasoning tasks, and ideally some “solution set” or gold standard,
 * system descriptions, including descriptions of the algorithm, implementation and empirical evaluation on a suitable dataset.
 We welcome the above kinds of papers on a wide range of topics, including classic KR tools/techniques as well as their usage for solving or supporting tasks in a range of areas, for example: * Computational Biology
 * Computer Vision and Image/Video Recognition
 * Creative Computing
 * Cybersecurity and Blockchain
 * Data Analytics
 * Databases and Query Answering
 * Diagnosis and Explanation
 * Game Theory and Social Choice
 * Intelligent Transportation and Logistics
 * Intelligent User Interfaces
 * Internet of Things
 * Machine Learning
 * Natural Language Processing
 * Digital Forensics
 * Robotics and Human Robot Collaboration
 * Semantic Web and Knowledge Graphs
 * Software Engineering
 * System Design
 We welcome submissions talking about interdisciplinary applications of KR, for example in economics, education, life sciences, medicine, and pharmacology. ------------------ Submission Guidelines and Evaluation Criteria ------------------ The Applications and Systems Track will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the instructions on the KR2021 website. The track emphasizes applications of KR and development of KR systems, and welcomes contributions showcasing the impact of KR research as well as driving future research by presenting challenging data, use cases and problems together with observations and insights gained. Submissions will be rigorously peer reviewed by PC members, who are active in applications of KR and/or development of KR systems. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. In this track, the selection process of the highest quality papers will further apply the following criteria: - (for case studies) quality of the evaluation and significance of the “lessons learnt”
 - (for use cases) importance and novelty of these use cases for KR
 - (for system descriptions) quality of the empirical evaluation and its reporting
 - (for benchmarks) reusability, coverage, and complexity of the datasets
 ------------------ Remote Participation Due to the Covid-19 Pandemic ------------------ We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------------------ Chairs ------------------ Martin Gebser (University of Klagenfurt & Graz University of Technology, Austria) Martin.Gebser at aau.at Uli Sattler (University of Manchester, UK) Uli.Sattler at manchester.ac.uk From a.w.laarman at liacs.leidenuniv.nl Wed Mar 3 15:55:14 2021 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W.) Date: Wed, 3 Mar 2021 14:55:14 +0000 Subject: [fg-arc] SPIN 2021 - Deadline extension to April 20 Message-ID: <28E2DC4A-53B6-4299-8EDC-7C830E5D8A83@liacs.leidenuniv.nl> ******************************************************************************* Call for Papers (deadline extension) SPIN 2021 International Symposium on Model Checking of Software July 12-13, 2021 (UPDATED) ONLINE from Aarhus, Denmark Conference website: https://conf.researchr.org/home/spin-2021 Submission link: https://easychair.org/conferences/?conf=spin20210 Important Dates: *** The paper submission deadline is extended to 20 April 2021 because of COVID *** Submission: April 20, 2021 (AoE) Notification: May 20, 2021 Camera-ready: May 30, 2021 Conference: July 12-13, 2021 Scope The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms (classical and quantum), tool development, including for modern hardware (parallel and distributed), and empirical evaluation. Invited speakers * ‪Vincenzo Ciancia‬, ISTI-CNR * Mariëlle Stoelinga, Twente / Radboud University * Moshe Vardi, Rice University Topics of Interest Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods of education and training * Insightful surveys or historical accounts on topics of relevance to the symposium * Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, FPGA, cloud, and quantum Submission Guidelines The proceedings of SPIN 2021 will be published in Springer's Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format: LNCS Information for Authors With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers: * Full Research / Tool Papers describing fully developed work and complete results (16 pages - references are not included in this limit); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages - references are not included in this limit). * Tool Demo Papers presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (4 pages to describe the tool foundations, features and use examples, plus an appendix explaining the content of the demo). Papers should be submitted via the EasyChair SPIN 2021 submission website: https://easychair.org/conferences/?conf=spin20210 All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. At least one author of each accepted paper must attend the symposium and present the paper. STTT A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). Program Committee Members Jiří Barnat, Masaryk University Maurice H. ter Beek, ISTI-CNR Tom van Dijk, University of Twente Vedran Dunjko, Leiden University Stefan Edelkamp, University of Koblenz Grigory Fedyukovich, Florida State University Henri Hansen, Tampere University of Technology Arnd Hartmanns, University of Twente Gerard Holzmann, Nimble research Antti Hyvärinen, Università della Svizzera italiana Nils Jansen, Radboud University Nijmegen Peter Gjøl Jensen, Aalborg University Sung-Shik Jongmans, Open University NL, CWI Jeroen Keiren, Eindhoven University of Technology Igor Konnov, Informal Systems Inc Alberto Lluch Lafuente, Technical University of Denmark Kuldeep S. Meel, National University of Singapore Alice Miller, University of Glasgow Sergio Mover, École Polytechnique Rajagopal Nagarajan, Middlesex University Doron Peled, Bar Ilan University Tatjana Petrov, University of Konstanz Jaco van de Pol, Aarhus University Stephen F. Siegel, University of Delaware Carsten Sinz, Karlsruhe Institute of Technology Jiří Srba, Aalborg University Michael Tautschnig, Amazon Web Services Yann Thierry-Mieg, Sorbonne University - LIP6 Yakir Vizel, Technion Georg Weissenbacher, Vienna University of Technology Anton Wijs, Eindhoven University of Technology Organizing committee Alfons Laarman, Leiden University Ana Sokolova, University of Salzburg Venue The conference will take place online. Contact All questions about submissions should be emailed to a.w.laarman at liacs.leidenuniv.nl. -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Thu Mar 4 11:46:40 2021 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Thu, 4 Mar 2021 11:46:40 +0100 Subject: [fg-arc] IEEE WETICE 2021 - Deadline Extended Message-ID: <7FC3A49A-918A-4B84-A035-F3017F9319A3@di.unipi.it> ====================================================================== IEEE WETICE 2021 The 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 23-25 June 2021, Basque Coast - Bayonne, France Website: http://wetice.org ======================================================================= Important Dates Paper Submission Deadline (Extended): February 28th, 2021 March 31, 2021 Notification of Acceptance: April 25th, 2021 Camera-ready: May 15th, 2021 Early registration: May 15th, 2021 Conference: June 23-25, 2021 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is a forum on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 30th WETICE edition will be held on June 23-25, 2021 in Bayonne (French Basque country), France. WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management List of Tracks · Adaptive Computing (and Agents) for Enhanced Collaboration · Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures · Convergence of Distributed Clouds, Grids and their Management · Collaborative Modeling and Simulation · Complex Networks Monitoring and Security and Fraud Detection for Enterprises · Future Internet Services and Applications · Security, Safety and Trust Management · Validating Software for Critical Systems · Semantic Technologies for Smart Information Sharing and Web Collaboration · Gerontechnology · Advances in Blockchain Technologies and Applications Keynote Speakers · Luigi Atzori, University og Cagliari, Italy · Sabri Skhiri, Eura Nova, Belgium · Barbara Pernici, Politecnoco di Milano, Italy Manuscript Guidelines and Submission Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform through the following submission link: https://easychair.org/conferences/?conf=wetice2021 General Chairs Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France Program Chairs Stefania Monica, Università degli Studi di Modena e Reggio Emilia, Italy Sami Yangui, LAAS-CNRS, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From gauthier.picard at onera.fr Thu Mar 4 13:49:30 2021 From: gauthier.picard at onera.fr (Gauthier Picard) Date: Thu, 4 Mar 2021 13:49:30 +0100 Subject: [fg-arc] 3rd CFP [OptLearnMAS 2021] DEADLINE EXTENSION The 12th International Workshop on Optimization and Learning in Multi-Agent Systems Message-ID: <6b95a145-4a79-2d75-4b51-fe5655c47c66@onera.fr> [Apologies for cross-posting. Please share with anyone may be interested] The 12th Workshop on Optimization and Learning in Multiagent Systems (OptLearnMAS'21) To be held in conjunction with the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Online, from May 3-7, 2021. ======================================================= This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. OptLearnMAS 2021 website: https://optlearnmas21.github.io/ Workshop submission site: https://easychair.org/conferences/?conf=optlearnmas21 Important dates --------------- * March 17, 2021 – Submission Deadline (Extended) * April 17, 2021 – Acceptance notification (Extended) * April 30,2021 – AAMAS/IJCAI Fast Track Submission Deadline * May 1, 2021 – AAMAS/IJCAI Fast Track Acceptance Notification * May 3 or 4, 2021 – Workshop Date Background ---------- Stimulated by emerging applications, such as those powered by the Internet of the Things, critical infrastructure network, and security games, intelligent agents commonly leverage different forms optimization and/or learning to solve complex problems. The goal of the workshop is to provide researchers with a venue to discuss techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions, and algorithms to compute Nash and other equilibria in games. This year, the workshop will have a special focus on contributions at the intersection of optimization and learning. For example, agents which use optimization often employ machine learning to predict unknown parameters appearing in their decision problem. Or, machine learning techniques may be used to improve the efficiency of optimization. While submissions across the spectrum of multi-agent optimization are welcome, contributions at the intersection with learning are especially encouraged. Keywords -------- Topics include but are not limited to the theory and applications of:     * Optimization for learning agents     * Learning for multiagent optimization problems     * Distributed constraint satisfaction and optimization     * Winner determination algorithms in auctions     * Coalition formation algorithms     * Algorithms to compute Nash and other equilibria in games     * Optimization under uncertainty     * Optimization with incomplete or dynamic input data     * Algorithms for real-time applications     * Cloud, distributed and grid computing     * Learning and Optimization in Societally Beneficial Domains Submission Information ---------------------- Submission URL: https://easychair.org/conferences/?conf=optlearnmas21 Submission Types:     * Technical Papers: Full-length research papers of up to 7 pages (excluding references and appendices) detailing high quality work in progress or work that could potentially be published at a major conference.     * Short Papers: Position or short papers of up to 4 pages (excluding references and appendices) that describe initial work or the release of privacy-preserving benchmarks and datasets on the topics of interest. Fast Track (Rejected AAMAS or IJCAI papers): Rejected AAMAS or IJCAI papers with *average* scores of at least 5.0 may be submitted directly to OptLearnMAS along with previous reviews. These submissions will not undergo the regular review process, but a light one, performed by the chairs, and will be accepted if the previous reviews are judged to meet the workshop standard. All papers must be submitted in PDF format, using the AAMAS-21 author kit. Submissions should include the name(s), affiliations, and email addresses of all authors. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. Submissions of papers rejected from the AAMAS 2021 and IJCAI 2021 technical program are welcomed. For questions about the submission process, contact the workshop chairs. Reviewing process ----------------- Papers will be reviewed by at least 2 program committee members. Criteria for selection of papers will include technical quality, novelty, significance, and clarity. Format ------ The workshop will be a one-day meeting. It will include a number of (possibly parallel) technical sessions, a virtual poster session where presenters can discuss their work, with the aim of further fostering collaborations, multiple invited speakers covering crucial challenges for the field of multiagent optimization and learning and will conclude with a panel discussion. Attendance ---------- Attendance is open to all. At least one author of each accepted submission must be present at the workshop. Organizing committee --------------------     * Ferdinando Fioretto - Syracuse University, NY, USA     * Gauthier Picard - ONERA, Toulouse, France     * Amulya Yadav - Penn State University, PA, USA     * Bryan Wilder - Harvard University, MA, USA Programme Committee -------------------     * Ana L. C. Bazzan - Universidade Federal do Rio Grande do Sul     * Filippo Bistaffa - IIIA-CSIC     * Alessandro Farinelli - Computer Science Department, Verona University     * Tal Grinshpoun - Ariel University     * Md. Mosaddek Khan - University of Dhaka     * Rene Mandiau - LAMIH, Université de Valenciennes     * Zinovi Rabinovich - Nanyang Technological University     * Juan Antonio Rodriguez Aguilar - IIIA-CSIC     * Marius Silaghi - FIT     * William Yeoh - Washington University in St. Louis     * Makoto Yokoo - Kyushu University     * Roie Zivan - Ben Gurion University of the Negev     * Maryam Tabar - Penn State University     * Hangzhi Guo - Penn State University     * Archie Chapman - University of Queensland     * Harel Yedidsion - University of Texas at Austin     * Pierre Rust - Orange Labs, France     * Mohamed Wahbi - Collins Aerospace     * Rica Gonen - Open University of Israel// -- Gauthier Picard, PhD, HDR Senior Research Fellow ONERA - DTIS - SYD BP74025 - 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4 Tel. +33 (0)5 62 25 26 54 -------------- next part -------------- An HTML attachment was scrubbed... URL: From events at aaisi.org Mon Mar 8 15:11:53 2021 From: events at aaisi.org (AAISI - Events Helpdesk) Date: Mon, 8 Mar 2021 15:11:53 +0100 Subject: [fg-arc] AI Colloquium Talk (Knowledge Graphs), Registration Deadline: 09.03.2021 11:59 AM Message-ID: <05F399BA-474F-4A27-A5C8-70B47B14B0BC@aaisi.org> Hello together, Just as a reminder, today is the last registration deadline to our this week’s invited AI speech. Please register as soon as possible, since the registration is limited. Further information: Invited Speaker: Prof. Soeren Auer, Professor and Director, German Technical Information Library (TIB), Germany Title: Knowledge Graphs for organizing Research Contributions and Industrial Data Date & Time: 09 Mar. 2021, 16:00 CET (10:00 EST) Registration Link: http://tiny.cc/ai210309 For any questions and difficulties, you can reach us anytime by email. Best Regards, AAISI Events Team ================================ AAISI Events Team The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: events at aaisi.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Mar 14 10:19:15 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 14 Mar 2021 11:19:15 +0200 Subject: [fg-arc] 8th International Symposium on End-User Development (IS-EUD 2021): Last Mile for Paper Submission Message-ID: <8EN3N7LO-J2YX-2MG-R5N3-ZE4DWALDTEN@cs.ucy.ac.cy> *** Last Mile for Paper Submission *** 8th International Symposium on End-User Development (IS-EUD 2021): "Democratizing AI Development" July 6-8, 2021, Atlantica Miramare Beach Hotel 4*, Limassol, Cyprus http://cyprusconferences.org/iseud2021/ (Proceedings to be published by Springer) End-user development (EUD) aims at empowering end users to develop and adapt systems at a level of complexity that is adequate to their expertise, practices, and skills. EUD may occur along the entire software lifecycle, with the purpose of making users able to participate in their artifact development, not only at design time, but also during actual use. Originally, EUD was conceived as a more general concept than end-user programming; thus, scholars proposed methods, techniques and tools that allow end users to modify or extend software artifacts, such as spreadsheets, web applications, video games, and mobile applications. In the co-called Internet of Things era, end-user development moved on to address the problem of defining and modifying the behavior of smart environments, including smart objects, pervasive displays, smart homes, smart cities, and so on. Therefore, the term "end-user development" acquired a broader meaning covering approaches, frameworks and socio-technical environments that allow end users to express themselves in crafting digital artifacts that encompass both software and hardware technology. Recent research and technological trends like Artificial Intelligence (AI), Big Data, Cyber-Security, Robotics, and Industry 4.0, have contributed to renew the vision of end-user development, by providing tools and platforms that allow end users to harness the power of AI to create solutions involving Computer Vision, Image Processing, Conversational User Interfaces, as well as solutions for smart environments. Such developments lower the threshold for creating AI solutions, and expand the programmer base for such solutions, by extending AI application both for professional and discretionary use. IS-EUD is a bi-annual event for researchers and practitioners with an interdisciplinary approach to EUD, including: Human-Computer Interaction, Software Engineering, Computer Supported Cooperative Work, Human-Work Interaction Design, and related areas. IS-EUD 2021 Theme: Democratizing AI Development The 2021 edition of IS-EUD focuses on EUD for AI-based systems, where end users are called on to become end-user developers of intelligent agents, digital twins, collaborative and social robots. This edition would like to discuss the adoption of EUD in new fields, the proposal of novel EUD paradigms, and the impact of AI-based EUD in terms of user acceptability and appropriation. One of the most interesting topics in human-AI interaction is explainability of AI-based systems: research submissions presenting end- user oriented solutions to this problem will be particularly welcome. Theoretical and empirical work analyzing pros and cons of this new EUD wave, identifying requirements for end-user development of AI and acceptance of related solutions is invited. Software infrastructures and eco- systems supporting the reuse of solutions and the emergence of meta- design practices are of particular interest to this community, linking the challenges relating AI to topics central to the IS-EUD community. Conference Topics The conference welcomes contributions that: · describe new, simple and efficient environments for end-user development · describe new processes, methods and techniques for empowering users to create, modify and tailor digital artifacts · present case studies and design implications on challenges and practices of end-user development · develop theoretical concepts and foundations for the field of end-user development Specific topics include (but are not limited to) the following ones: · User-oriented orchestration of AI-based devices · Conversational interfaces for end-user development · End-user development for big data visualization and exploration · End-user development for collaborative robotics · End-user development for social robotics · End-user development in Industry 4.0 · End-user development and explainable AI-based systems · Cybersecurity and end-user development · End-user development in daily life · Technologies and infrastructures for end-user development · Empirical studies of end-user development · Recommender systems to support end-user development · Cultures of participation and meta-design approaches · Technology acceptance and adoption studies of end-user development technologies · Evaluation of end-user development technologies · Supporting creative work through end-user development Submissions We invite two types of paper submissions: 1. Regular papers, up to 16 pages, describing original unpublished research making a substantial contribution to the research field 2. Short papers, up to 8 pages, describing original unpublished research, making a small but solid contribution to the field All submissions will be reviewed by the Program Committee. The review process for this category is double-blind, thus submissions must be anonymized. Accepted papers (both regular and short) will appear in the archival proceedings of IS-EUD 2021, published by Springer in the Lecture Notes on Computer Science (LNCS) series, and will be presented in plenary sessions of the conference. Workshop proposals are invited (max 6 pages) aligned to the themes of the conference. Workshops provide an informal setting where participants have the opportunity to discuss specific topics in an atmosphere that fosters the active exchange of ideas. Workshops can be half day or one-day long and will be held on July 6, 2021. Accepted workshop proposals will be included in the IS-EUD 2021 adjunct proceedings, which will be submitted to http://ceur-ws.org for online publication. Submissions of regular papers, short papers and workshop proposals should indicate in the title page "Regular", "Short" or "Workshop" respectively. Demonstration and Work in Progress papers are also welcomed. A Demonstration paper (max 6 pages) should be structured according to the following: · Abstract (150 words maximum) · Topics to be covered and their relevance to the EUD community · Detailed description of the planned demonstration activity · Diagrams or screenshots (if relevant) · Supporting documentation (e.g., project website) · References Work in Progress submissions (max 6 pages) are intended for presenting preliminary results or tentative findings and position papers. The authors of accepted contributions will have the opportunity to give an oral presentation during parallel sessions. Finally, the IS-EUD Doctoral Consortium is intended to bring together PhD students working on theory and application of EUD. We particularly encourage students that are about half-way through their doctoral research to submit doctoral consortium contributions (max 6 pages) describing the topic of their PhD, their approach and a summary of their progress. Demonstration, Work in Progress and Doctoral Consortium submissions should indicate in the title page "Demo", "WiP" or "DC" respectively. Accepted submissions will be included in IS-EUD 2021 adjunct proceedings, which will be submitted to http://ceur-ws.org for online publication. Submissions of all types should be carefully formatted according to the Springer LNCS format: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and should be submitted through the Easy Chair system at: https://easychair.org/conferences/?conf=iseud2021 Important Dates · Regular and Short papers submission: March 22, 2021 · Notification: April 14, 2021 · Camera-ready: May 15, 2021 · Workshop proposal submission: March 8, 2021 · Notification: March 15, 2021 · Camera-ready: May 31, 2021 · Demonstration and Work in Progress submission: April 21, 2021 · Notification: May 15, 2021 · Camera-ready: May 31, 2021 · Doctoral Consortium submission: April 21, 2021 · Notification: May 15, 2021 · Camera-ready: May 31, 2021 Organizers General Chairs · Panos Markopoulos (Eindhoven University of Technology, The Netherlands) · George A. Papadopoulos (University of Cyprus, Cyprus) Program Chairs · Daniela Fogli (University of Brescia, Italy) · Daniel Tetteroo (Eindhoven University of Technology, The Netherlands) Short papers Chairs · Barbara Rita Barricelli (University of Brescia, Italy) · Simone Borsci (University of Twente, The Netherlands) Work in Progress Chairs · Jelle Van Dijk (University of Twente, The Netherlands) · Carmen Santoro (ISTI-CNR, Italy) Demonstration Chair · Stefano Valtolina (University of Milan, Italy) Workshop Chairs · Styliani Kleanthous (Open University of Cyprus, Cyprus) · Simone Stumpf (City University London, UK) Doctoral Consortium Chairs · Monica Maceli (Pratt Institute, USA) · Antonio Piccinno (University of Bari, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From miguel-areias at dcc.fc.up.pt Sun Mar 14 12:20:44 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Sun, 14 Mar 2021 11:20:44 +0000 Subject: [fg-arc] Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021) Message-ID: <6b517fd3-8790-9211-ae55-f1d163f8c793@dcc.fc.up.pt> =========================================================================                             CALL FOR WORKSHOPS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) https://iclp2021.dcc.fc.up.pt/ September 20--27, 2021 Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2021 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposals ****************** Those interested in organizing a workshop at ICLP 2021 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: ** The title of the workshop; ** A brief technical description of the topics covered by the workshop; ** A discussion of the timeliness and relevance of the workshop; ** A list of any related workshops held in the last years; ** The estimated length of the workshop and an estimate of the number    of expected attendees; ** The names, affiliation and contact details (email, web page, phone)    of the workshop organizers together with a designated contact    person; ** Previous experience of the workshop organizers in    workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by May 3rd, 2021. Reviewing Process ***************** Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by May 10th, 2021. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare meeting facilities. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks ************************** ** Producing a "Call for Papers" for the workshop and posting it on    the Internet and other means. A web page URL should be provided by    May 15th, 2021, and will be published on the ICLP 2021 home page; ** Providing a brief description of the workshop for the conference    program; ** Reviewing/accepting submitted papers; ** Scheduling workshop activities in collaboration with the local    organizers and the Workshop Chair; ** Providing a workshop program in a format specified by the    conference organizers for posting by August 31st, 2021; ** Coordinating the preparation of the workshop proceedings according    to the specifications provided by the Workshop Chair. Location ******** Workshops will be virtually collocated with ICLP 2021. See the ICLP 2021 web site (https://iclp2021.dcc.fc.up.pt/) for further details. Important Dates (Tentative) *************************** ** May 3rd, 2021: Proposal submission deadline ** May 10th, 2021: Notification ** May 15th, 2021: Deadline for receipt of CfP and workshop web page URL ** August 18th, 2020: Deadline for acceptance notification to paper authors ** August 31st, 2020: Deadline for workshop program Submissions *********** Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair ************** Nicos Angelopoulos https://www.cardiff.ac.uk/people/view/2436650-angelopoulos-nicos ========================================================================= From events at aaisi.org Mon Mar 15 11:02:18 2021 From: events at aaisi.org (AAISI - Events Helpdesk) Date: Mon, 15 Mar 2021 11:02:18 +0100 Subject: [fg-arc] AI Colloquium Talk (Robot Assisted Surgery), Registration Deadline: 16.03.2021 11:59 AM Message-ID: <7296143D-3CFE-48B2-B394-DDF6962628A9@aaisi.org> Hello together, Just as a reminder, today is the last registration deadline to our this week’s invited AI speech. Please register as soon as possible, since the registration is limited. This week’s invited speaker: Prof. Mahdi Tavakoli, Professor in the Department of Electrical and Computer Engineering, University of Alberta, Canada. Title: “Enabling Shared Autonomy in Robot-assisted Surgery and Therapy via Intelligent Control and Machine Learning" Date & Time : 16.03.2021, 15:00 CET (10:00 EST) Registration Link: http://tiny.cc/ai210316 ATTENTION: Due to daylight saving hours in Canada, we will exceptionally start our invited AI speech of this week at 15:00 CET. ---------------------------------------------------------------------------------------------------------------------- Next Invited Speaker: Invited Speaker: Prof. Rolf Findeisen, Professor and director, Otto-von-Guericke University Magdeburg, Germany Date & Time: 23 Mar. 2021, 16:00 CET (10:00 EST) Registration Link: http://tiny.cc/ai210323 ---------------------------------------------------------------------------------------------------------------------- For any questions and difficulties, you can reach us anytime by email. Best Regards, AAISI Helpdesk ================================ AAISI Events Team The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: events at aaisi.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From thanh.dinhvan at gmail.com Mon Mar 15 16:28:28 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Mon, 15 Mar 2021 22:28:28 +0700 Subject: [fg-arc] Final CFP for KR 2021: 18th Conference on Principles of Knowledge Representation and Reasoning (Abstracts due March 24th) Message-ID: <44acc2e8-8d26-c1b0-36d3-2e3a671c6695@gmail.com> CALL FOR PAPERS 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam -> see note below about remote participation https://kr2021.kbsg.rwth-aachen.de Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. ** SCOPE ** We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. Topics of interest include, but are not limited to: - Applications of KR - Argumentation - Belief revision and update, belief merging, information fusion - Commonsense reasoning - Computational aspects of knowledge representation - Concept formation, similarity-based reasoning - Contextual reasoning - Decision making - Description logics - Explanation finding, diagnosis, causal reasoning, abduction - Geometric, spatial, and temporal reasoning - Inconsistency- and exception-tolerant reasoning, paraconsistent logics - KR and autonomous agents and multi-agent systems - KR and cognitive robotics - KR and cyber security - KR and education - KR and game theory - KR and machine learning, inductive logic programming, knowledge acquisition - KR and natural language processing and understanding - KR and the Web, Semantic Web - Knowledge graphs and open linked data - Knowledge representation languages - Logic programming, answer set programming - Modeling and reasoning about preferences - Multi- and order-sorted representations and reasoning - Nonmonotonic logics, default logics, conditional logics - Ontology formalisms and models - Ontology-based data access, integration, and exchange - Philosophical foundations of KR - Qualitative reasoning, reasoning about physical systems - Reasoning about actions and change, action languages - Reasoning about constraints, constraint programming - Reasoning about knowledge, beliefs, and other mental attitudes - Uncertainty, vagueness, many-valued and fuzzy logics The KR2021 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. ** TRACKS AND SPECIAL SESSIONS ** In addition to the main conference track, KR2021 will host the following tracks and sessions: * Applications and Systems Track * Recently Published Research Track * Special Session on KR and Machine Learning * Special Session on KR and Robotics ** IMPORTANT DATES ** Submission of title and abstract:     March 24, 2021 Paper submission deadline:          March 31, 2021 Author response period:         May 24-26, 2021 Notification:                 June 15, 2021 Camera-ready papers:             July 14, 2021 Conference dates:             November 6-12, 2021 The Recently Published Research track, workshops, tutorials, and the doctoral consortium have different submission and notification dates, which are listed on the conference website. **AUTHOR GUIDELINES AND SUBMISSION INFORMATION** All submissions must be written in English and formatted using the style files provided on the KR'21 website. Papers must be submitted in PDF format, through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2021 For the main conference track and additional tracks/sessions (except for the Recently Published Research track), we invite - Full papers of up to 9 pages, including abstract, figures, and appendices   (if any), but excluding references and acknowledgements. - Short papers of up to 4 pages, excluding references and acknowledgements. Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXiv). Accepted full papers and short papers will be published in the KR2021 proceedings. Authors may optionally submit a separate PDF containing additional information that substantiates the claims made in their paper, such as proof details, additional experimental results, further details on experimental design, etc. If authors wish to make such material available to reviewers, they should do so by submitting a file through EasyChair, rather than by including links or references in their paper. Please note that the main paper must be self contained, as the supplementary material will not be published. Moreover, reviewers will have the option but not the obligation to consult the supplementary material. The preceding submission guidelines apply to the main track, as well as to the Applications and Systems track, the KR & Machine Learning special session, and the KR & Robotics special session. By contrast, different submission guidelines apply to the Recently Published Research track, workshops, tutorials, and the doctoral consortium, please consult the KR21 website for further information. ** REMOTE PARTICIPATION DUE TO COVID-19 PANDEMIC ** We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ** CONFERENCE CHAIRS ** General:    Esra Erdem (Sabanci University, Turkey) Program:    Meghyn Bienvenu (CNRS & University of Bordeaux, France)    Gerhard Lakemeyer (RWTH Aachen University, Germany) Applications and Systems Track:    Martin Gebser (University of Klagenfurt, Austria)    Ulrike Sattler (University of Manchester, UK) Recently Published Research Track:    Vladimir Lifschitz (University of Texas at Austin, USA)    Pierre Marquis (Artois University & Institut Universitaire de France, France) Special Session on KR & Machine Learning:    Vaishak Belle (University of Edinburgh, UK)    Luc de Raedt (KU Leuven, Belgium) Special Session on KR & Robotics:    Alessandro Saffioti (University of Örebro, Sweden)    Mary-Anne Williams (University of Technology Sydney, Australia) Workshop and Tutorials:    Markus Kroetzsch (TU Dresden, Germany)    Yongmei Liu (Sun Yat-sen University, China) Doctoral Consortium:    Jens Classen (Simon Fraser University)    Magdalena Ortiz (TU Vienna, Austria) Local Organization:    Giuseppe De Giacomo (Sapienza University, Italy)    Son Tran (New Mexico State University, USA)    Long Tran-Thanh (University of Warwick, UK)    Thanh Van Dinh (East Asia University of Technology, Vietnam) Virtual Conference Arrangements:    Stefan Borgwardt (TU Dresden, Germany)    Marco Console (Sapienza University Italy)    Long Tran-Thanh (University of Warwick, UK) Sponsorship:    Kuldeep S. Meel (NUS, Singapore)    Zeynep G. Saribatur (TU Wien, Austria) Publicity:    Thanh Van Dinh (East Asia University of Technology, Vietnam)    Paolo Felli (Free University of Bozen-Bolzano, Italy) From thanh.dinhvan at gmail.com Mon Mar 15 17:02:06 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Mon, 15 Mar 2021 23:02:06 +0700 Subject: [fg-arc] Final CFP: Special Session on KR & Machine Learning at KR 2021 (Abstracts due March 24th) Message-ID: Call for Papers **Special Session on Knowledge Representation and Machine Learning** at the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de ------------------ Important Dates ------------------ Submission of title and abstract:     March 24, 2021 Paper submission deadline:         March 31, 2021 Author response period:         May 24-26, 2021 Notification:                 June 15, 2021 Camera-ready papers:             July 14, 2021 Conference dates:             November 6-12, 2021 ----------- Description ----------- Over the last two decades, Machine Learning (ML) has made incredible progress and become very effective at solving specific tasks while being robust across many experimental learning applications. Deep learning, statistical (relational) learning, reinforcement learning and logic-based and/or probabilistic learning are among the many ML approaches that are witnessing such advancements. On the other hand, Knowledge Representation and Reasoning (KR) has continued to be at the core of Artificial Intelligence (AI) research providing solutions for explicit declarative representation of knowledge and knowledge-based inference, which have theoretical and practical relevance in many aspects of AI as well as in new emerging fields outside AI. The synergy between these two areas of AI has the potential to lead to new advancements on the foundations of AI that offer novel insights into open fundamental challenges including, but not limited to, learning symbolic generalisations from raw (multi-modal) data, using knowledge to facilitate data-efficient learning, supporting interpretability of learned outcomes, federated multi-agent learning and decision making. This year, for the second time, KR2021 will host a special session on "Knowledge Representation and Machine Learning". This special session aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to computational learning and symbolic knowledge representation and reasoning. This special session provides the opportunity for fostering meaningful connections between researchers from these two main areas of AI and, at the same time, offering the possibility to learn about progress made on these topics, share their own views and learn about approaches that could lead to effective cross-fertilisation among research in ML and KR and new innovative solutions to key AI research challenges. ---------------------- Expected contributions ---------------------- The Special Session on KR and ML at KR2021 invites submissions of papers across KR and ML on advancements in one of these areas for the purpose of addressing open research challenges in the other, integration of computational learning and knowledge representation and reasoning, and the application of combined KR and ML approaches to solve real-world problems, including case studies and benchmarks. We welcome papers on a wide range of topics, including but not limited to: -- Learning ontologies and knowledge graphs -- Learning action theories -- Learning common-sense knowledge -- Learning spatial and temporal theories -- Learning preference models -- Learning causal models -- Learning tractable probabilistic models -- Probabilistic reasoning and learning -- Graphical models for knowledge representation and reasoning -- Reasoning and learning over knowledge graphs -- Logic-based learning algorithms -- Neural-symbolic learning -- Interplay between logic & neural and other learning paradigms (e.g., logics for reasoning about neural networks, embedding of logical reasoning in neural paradigms) -- Statistical relational learning -- Multi-agent learning -- Machine learning for efficient knowledge inference -- Symbolic reinforcement learning -- Learning symbolic abstractions from unstructured data -- Machine-learning-driven reasoning algorithms -- Explainable AI -- Transfer learning -- Multi-agent learning -- Expressive power of learning representations -- Knowledge-driven natural language understanding and dialogue -- Knowledge-driven decision making -- Knowledge-driven intelligent systems for internet of things and cybersecurity -- Application of knowledge-driven ML to question answering and story understanding -- Application of knowledge-driven ML to Robotics --------------------------------------------- Submission Guidelines and Evaluation Criteria --------------------------------------------- The special session emphasizes KR and ML, and welcomes contributions that extend the state of the art at the intersection of KR and ML. Therefore, KR-only or ML-only submissions will not be accepted for evaluation in this special session. Submissions will be rigorously peer reviewed by PC members who are active in KR and ML. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. In this special session, the selection process of the highest quality papers will apply the following criteria: * Importance and novelty of using knowledge representation and reasoning to advance machine learning, or novelty of using machine learning solutions to advance knowledge representation and reasoning. * Applicability of the proposed solutions in real-world. * Reusability of datasets, case studies and benchmarks for systems and/or application papers. * Proved theoretical or empirically demonstrated practical advancement of the proposed solution with respect to baseline pure KR or ML approaches. Details on formatting and submission can be found on the KR21 website. -------------------------------------------------- Remote Participation Due to the Covid-19 Pandemic -------------------------------------------------- We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------ Chairs ------    Vaishak Belle (University of Edinburgh, UK)    Luc De Raedt (KU Leuven, Belgium) From thanh.dinhvan at gmail.com Mon Mar 15 17:10:13 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Mon, 15 Mar 2021 23:10:13 +0700 Subject: [fg-arc] Final CFP: Special Session on KR & Robotics at KR 2021 (Abstracts due March 24th) Message-ID: CALL FOR PAPERS **Special Session on Knowledge Representation and Robotics** at the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de/ ------------------ Important Dates ------------------ Submission of title and abstract:         March 24, 2021 Paper submission deadline:                 March 31, 2021 Author response period:                 May 24-26, 2021 Notification:                                 June 15, 2021 Camera-ready papers:                         July 14, 2021 Conference dates:                         November 6-12, 2021 ------------------ Much progress has been made in robotics through the introduction of machine learning, often leading to autonomous systems that are effective but opaque with inexplicable behaviours. Many applications, however, require robots to explicitly capture knowledge and reason with it in order to achieve high-level cognitive skills. This special session is devoted to exploring the intersection of Knowledge Representation and Robotics. Papers are solicited in all areas of this intersection.  In particular, we welcome papers that extend knowledge representation techniques to cope with the challenges posed by interacting with the physical world, such as: - dealing with uncertain, incomplete or contradictory information; - reasoning with time, space and perceptions; - grounding representations in the physical world; - combining discrete and continuous representations; - reasoning with bounded computational resources; - trustworthy and accountable robot behaviours; and - social intelligence for robots in human-centric environments. Robots are the archetypical integrated cognitive systems.  Thus, we also welcome papers that address the integration of knowledge representation into whole robotic systems, such as: - integrating knowledge representation and machine learning; - integrating symbolic and sub-symbolic approaches; - integrating reasoning about actions and control; or - cognitive robot architectures. Finally, we welcome papers that show concrete examples where real robotic systems benefit from knowledge representation, for instance in: - sensor interpretation and understanding; - human-robot interaction; - multi-robot planning and coordination; or - dealing with errors and unexpected situations. ------------------ Information for Authors ------------------ The Special Session on KR & Robotics will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the instructions on the KR2021 website. The special session emphasizes KR & Robotics, and welcomes contributions that extend the state of the art at the intersection of KR & Robotics. Therefore, KR-only or Robotics-only submissions will not be accepted for evaluation in this special session. Submissions will be rigorously peer reviewed by PC members who are active in KR & Robotics.  Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. ------------------ Remote Participation Due to the Covid-19 Pandemic ------------------ We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------------------ Chairs ------------------ Alessandro Saffiotti (University of Orebro, Sweden) Mary-Anne Williams (University of New South Wales, Australia) ------------------ From thanh.dinhvan at gmail.com Thu Mar 11 04:40:07 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Thu, 11 Mar 2021 10:40:07 +0700 Subject: [fg-arc] Final Call for Workshop and Tutorial Proposals for KR 2021 (Deadline: March 17th) Message-ID: <03c272b1-9511-1f58-a0c7-f5a3e275ab81@gmail.com> Call For Tutorial And Workshop Proposals 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) solicits proposals for its tutorial and workshop programme. Tutorials and workshops will be held on the days of 6-8 November 2021, prior to the KR main technical program. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** Submission Requirements for Tutorial Proposals ** KR tutorials are half-day or (exceptionally) full-day events that introduce general or special topics in KR and relevant neighboring areas. They can be first introductions to an established area or an emerging field, but also advanced courses on specialised methods or new approaches. The content should be adequately established and balanced, and not be limited to advertising an individual research work or product. A focus on specific tools and methodologies can still be useful to offer concrete examples and hands-on activities to participants. Each tutorial proposal should contain the following information: - Short title, presenters and proposed length (half-day is recommended, but an argument can be made for a full-day tutorial) - A half-page introduction to the tutorial's subject and relevance to KR - A half-page on the target audience, prerequisite knowledge, and learning goals - One page outline of the tutorial contents and intended structure - A brief resume of each presenter including name, affiliation, email address,   and evidence of scholarship in the area, mentioning relevant publications or   professional experience The main duties of the tutorial organizers are: - Setup a web-page for the tutorial, which should at least include the   information from the proposal, tutorial materials and related references. - Deliver the tutorial at KR 2021. Virtual presentation will be allowed. Each accepted tutorial will entitle a discount on the KR registration fee for one tutorial presenter. ** Submission Requirements for Workshop Proposals ** Workshops provide a place to exchange ideas in emerging fields in KR research and application. They can take many forms, including mini-conferences (with peer-reviewed publications), competitions, working sessions (discussions, hackathons, etc.), line-ups of invited contributions, or a mix of these. Innovative formats are welcome, but organizers must provide means of estimating attendance and required length up-front (by number of submissions, invited speakers, or early registered participants). Workshop proposals can use up to 4 pages, which should include the following information: - Title and acronym of the workshop, - Workshop description: goals, format, and expected activities during the   workshop; proposed duration (half day, one day, ...), - Audience: target audience, research groups in the area, planned or confirmed   speakers, expected number of submissions/participants, - Related events: history of the workshop (if applicable), relationship to   recent similar events, - Tentative list of PC members with their respective affiliations, - A brief resume of each organizer including name, affiliation, contact   details, and evidence of scholarship in the area, mentioning relevant   publications or professional experience. - Appendix: Tentative call for contributions The main duties of the chair of each accepted workshop are: - Set up a webpage for the workshop, - Advertise the workshop and distribute its call for papers/participation, - Coordinate the peer-reviewing of submitted contributions, - If workshop proceedings are desired, it is the duty of the organizers to   produce and distribute their workshop proceedings, - Organize a schedule for the workshop in collaboration with the local   organizers and the KR workshop co-chairs, and - Coordinate and moderate the workshop participation and content. We do not require workshop organizers to commit to physically attending the conference and will work with them to find a suitable (hybrid or fully virtual) format for each workshop. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** Submission Instructions ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically to the Workshop and Tutorial track of KR 2021 via EasyChair: https://easychair.org/conferences/?conf=kr2021 For all accepted proposals, KR will take care of all local and/or virtual arrangements. ** Important Dates ** Proposal submission deadline: 17 March 2021 Notification: 20 April 2021 Workshop paper submission deadline: 2 July 2021 Workshop paper notification: 6 August 2021 Workshop registration deadline: TBA Tutorial and workshop dates: 6-8 November 2021 ** Remote Participation Due to Covid-19 Pandemic ** We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing tutorial and workshop presenters to present remotely, and we will work with workshop organizers to find a suitable (hybrid or fully virtual) format for each workshop. Inquiries should be sent by email to the KR 2021 Tutorial and Workshop Chairs: Markus Krötzsch and Yongmei Liu kr21-workshops-tutorials at easychair.org From miguel-areias at dcc.fc.up.pt Thu Mar 11 22:51:12 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Thu, 11 Mar 2021 21:51:12 +0000 Subject: [fg-arc] Call For Papers - 37th International Conference on, Logic Programming (ICLP 2021) Message-ID: =========================================================================                              CALL FOR PAPERS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) https://iclp2021.dcc.fc.up.pt/ Fully virtual event organized by the Department of Computer Science of the University of Porto. Besides the main track, ICLP 2021 will host additional tracks and special sessions. In attach, follows the CFP for the Applications Track and for the Recently Published Research Track. ========================================================================= Scope ***** Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.  Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations:Semantics, Formalisms, Nonmonotonic reasoning,    Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility,    Higher order, Types, Modes, Assertions, Modules, Meta-programming,    Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation,    Verification, Debugging, Profiling, Testing, Execution    visualization. ** Implementation: Compilation, Virtual machines, Memory management,    Parallel/distributed execution, Constraint handling rules, Tabling,    Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic    programming, Constraint logic programming, Answer set programming,    Interaction with SAT, SMT and CSP solvers, Theorem proving,    Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation,    Software engineering, Natural language processing, Web and semantic    web, Agents, Artificial intelligence, Computational life sciences,    Cybersecurity, Robotics, Education. Tracks and Special Sessions *************************** Besides the main track, ICLP 2021 will host additional tracks: ** Applications Track: this track invites submissions of papers on    emerging and deployed applications of LP, describing all aspects of    the development, deployment, and evaluation of logic programming    systems to solve real-world problems, including interesting case    studies and benchmarks, and discussing lessons learned. ** Recently Published Research Track: this track provides a forum to    discuss important results related to logic programming that    appeared recently (from January 2019 onwards) in selective journals    and conferences, but have not been previously presented at ICLP. Each track will have its own dedicated chairs, PC and evaluation criteria. The attached CFPs specify the submission details. ICLP 2021 will also host: ** MentorLP - Mentoring Workshop on Logic Programming: the purpose of    MentorLP is to support students and newcomers to pursue careers in    logic programming research. This workshop will hold technical    sessions on cutting-edge research in logic programming, and    mentoring sessions on how to prepare and succeed for a research    career. We will have leaders in logic programming research from    academia and industry to give talks on their research areas. We    will also have live discussions among participants on how to    overcome challenges and make contributions to the research    community. MentorLP is dedicated to fostering and supporting    diversity, equity, and inclusion. We especially encourage members    of underrepresented groups to attend. ** Fall School on Logic and Constraint Programming: the school is    suited for those who wish to learn advanced topics in logic    programming and constraint programming. It will consist of a serie    of half-day tutorials. ** Doctoral Consortium: the Doctoral Consortium (DC) on Logic    Programming provides students with the opportunity to present and    discuss their research directions, and to obtain feedback from both    peers and experts in the field. The best paper from the DC will be    given the opportunity to make a presentation in a session of the    main ICLP conference. ** Tutorials and Co-located Workshops. Important Dates *************** ** Abstract registration (regular papers): May 3, 2021 ** Paper submission (regular paper): May 10, 2021 ** Notification to authors (regular paper): June 27, 2021 ** Paper Submission (short papers): July 4, 2021 *+ Revision submission (TPLP papers): July 14, 2021 ** Final notifications (all paper kinds): July 30, 2021 ** Camera-ready copy due (all paper kinds): August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** Expected submissions to the main track (for the additional tracks, please follow the specific CFP): ** Regular papers (14 pages in TPLP format, including references) must    describe original, previously unpublished research, and must not    simultaneously be submitted for publication elsewhere. These    restrictions do not apply to previously accepted workshop papers    with a limited audience and/or without archival proceedings. The    accepted regular papers will be published in TPLP, along with the    selected ICLP-TPLP papers. The program committee may recommend some    regular papers to be published as technical communications (TCs),    along with the selected ICLP-TC papers. The authors of the TCs can    also elect to convert their submissions into extended abstracts (2    or 3 pages) for inclusion in the proceedings. This should allow    authors to submit a long version elsewhere. ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/),    including references) can describe published research. The accepted    short papers that describe original and previously unpublished work    will be published as TCs, along with the selected ICLP-TC    papers. The accepted short papers that describe published research    will be made available at the conference webpage, with the    permission of the authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions must be written in English. Submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 Organization ************ ** General Chair    Ricardo Rocha, University of Porto, Portugal ** Program Chairs    Andrea Formisano, University of Udine, Italy    Y. Annie Liu, Stony Brook University, USA ** Organizing and Publicity Chair    Miguel Areias, University of Porto, Portugal ** Applications Track    Alex Brik, Google Inc., USA    Joost Vennekens, KU Leuven, Belgium ** Recently Published Research Track    Gian Luca Pozzato, University of Genova, Italy    Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA ** MentorLP - Mentoring Workshop on Logic Programming    Veronica Dahl, Simon Fraser University, Canada    Paul Fodor, Stony Brook University, USA ** Workshop Chair    Nicos Angelopoulos, Cardiff University, UK ** Doctoral Consortium and Fall School Chairs    Bart Bogaerts, Vrije Universiteit Brussel, Belgium    Carmine Dodaro, University of Calabria, Italy ** Programming Contest Chair    Mario Alviano, University of Calabria, Italy Program Committee ***************** TO BE ANNOUNCED ========================================================================= Any additional question can be directed towards ICLP Chairs: iclp2021 at easychair.org ========================================================================= -------------- next part -------------- ========================================================================= CALL FOR PAPERS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) Recently Published Research Track https://iclp2021.dcc.fc.up.pt/ Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= Objectives ********** The program committee of the 37th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Recently Published Research Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2019 in selective journals or were presented at related conferences, but that have not been previously presented at ICLP. The goals of this track are: ** To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. ** To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentation ****************** All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2021 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2021 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements *********************** Submissions must meet the following criteria: ** Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA, SAT, POPL, PADL, LICS, etc. ** Candidate papers must have appeared since 2019. ** Papers that are in press may be submitted as long as the final camera-ready version is available at some URL (such as, ArXiv). ** Extensions of papers that have been previously presented at ICLP (or co-located Workshops) are not eligible for this track. Submission Process ****************** All submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 The submission will be in the following format: ** Title and authors of the work for the ICLP Recently Published Research Track (to be published on the Web - see note below about title and authors), ** An accompanying letter containing: ** Complete bibtex reference of the original paper (only 1 reference!) (to be published on the Web) + a URL where the paper can be downloaded from the publisher (if available) (to be published on the Web); ** An explanation of why this paper is interesting to the logic programming community (at most 1 page in PDF). ** The original paper (in PDF) (for reviewers only, it will not be posted on the Web because of copyright issues) because some reviewers could be at universities that don’t have contracts with publishers, such as, Elsevier, Cambridge Publishing, ACM, etc. ** Optional: only if the authors wish to publish an extended abstract in the technical communications of ICLP2021 please submit a 2-page extended abstract of the paper (PDF in EPTCS format http://style.eptcs.org/) for the ICLP Recently Published Research Track (note: we will ask for LaTex sources and HTML sources after the notification). Note: the 2 pages abstract should not contain new material since this is just a report of a publication in a related conference. The title should be a bit different than the original publication (since it would look odd to have a paper with the same title, but much shorter after the original publication), such as, add Report or Summary in the title. It is not necessary to radically change it. The authors should be the same and in the same order with respect to the original publication. The papers in this track will be grouped under a subsection Recently Published Research Track, so other researchers can see that this is a report on the original publication. We advise authors to start the paper with a sentence stating that this abstract is a report or summary of the original publication (with immediately citing that work). Evaluation criteria ******************* Submissions will go through a peer review selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates *************** ** Paper Submission: July 4, 2021 ** Final Notification: July 30, 2021 ** Camera-ready copy due: August 10, 2021 ** Conference: September 20--27, 2021 ========================================================================= Any additional questions can be directed towards the Recently Published Research Track Chairs: Gian Luca Pozzato, University of Genova, Italy Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA iclp2021RPR at easychair.org ========================================================================= -------------- next part -------------- ========================================================================= CALL FOR PAPERS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) Applications Track https://iclp2021.dcc.fc.up.pt/ Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= Objectives ********** Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, maritime situational awareness, etc. Motivated by such a wide range of applications, ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry, to share the recent advancements, challenges and insight for LP applications. The goal of the Application Track is two-fold. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products, and their expectations from the development of theory and tools from the LP community. Expected Contributions ********************** The Applications Track at ICLP 2021 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to: ** stream reasoning ** composite event recognition ** industrial applications ** commonsense reasoning, knowledge representation ** declarative problem solving ** education ** bioinformatics, computational biology ** life sciences, genetics, medicine, pharmacology ** cognitive robotics, social robotics, human-robot interactions ** intelligent transportation, logistics, maritime situational awareness ** computer vision, sensing, internet of things ** data analysis, machine learning ** creative computing ** digital forensics, cybersecurity, blockchain ** economics, game theory, social choice ** software engineering, intelligent user interfaces ** multi-agent systems, argumentation, epistemic reasoning ** constraint programming, SAT, SMT ** natural language understanding, story telling, question answering ** explanation generation, diagnosis ** spatial/temporal/probabilistic reasoning ** planning and scheduling ** databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria ******************* In addition to the usual evaluation criteria concerning the quality of the presentation, for the Applications track the criteria will include: ** Significance of the real-world problem being addressed. ** Importance and novelty of using LP technologies to solve this problem. ** Evaluation and applicability of the system in the real world. ** Clear evidence of the potential benefits of applying and improving LP tools and techniques. ** Reproducibility of the empirical analysis. Concerning reproducibility, whenever possible, datasets, case studies, knowledge repositories and benchmarks must be made public. If this is not possible (e.g, because it would reveal trade secrets of industrial partners), the paper should clearly describe which assets cannot be made reusable and why. Important Dates *************** ** Abstract registration (regular papers): May 3, 2021 ** Paper submission (regular paper): May 10, 2021 ** Notification to authors (regular paper): June 27, 2021 ** Paper Submission (short papers): July 4, 2021 ** Revision submission (TPLP papers): July 14, 2021 ** Final notifications (all paper kinds): July 30, 2021 ** Camera-ready copy due (all paper kinds): August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** All submissions must be written in English. ** Regular papers (14 pages in TPLP format, including references) must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. The accepted regular papers will be published in TPLP, along with the selected ICLP-TPLP papers. The program committee may recommend some regular papers to be published as technical communications (TCs), along with the selected ICLP-TC papers. The authors of the TCs can also elect to convert their submissions into extended abstracts (2 or 3 pages) for inclusion in the proceedings. This should allow authors to submit a long version elsewhere. ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/), including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 Applications Track Program Committee ************************************ TO BE ANNOUNCED ========================================================================= Any additional questions can be directed towards the Application Track Chairs: Alex Brik, Google Inc., USA Joost Vennekens, KU Leuven, Belgium iclp2021applications at easychair.org ========================================================================= From thanh.dinhvan at gmail.com Mon Mar 15 16:47:05 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Mon, 15 Mar 2021 22:47:05 +0700 Subject: [fg-arc] Final CFP: Applications and Systems Track of KR 2021 (Abstracts due March 24th) Message-ID: <61179fd2-3384-1bfd-c700-fafba61f2f7c@gmail.com> CALL FOR PAPERS *Applications and Systems Track* of the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de/ ------------------ Important Dates ------------------ Submission of title and abstract: March 24, 2021 Paper submission deadline: March 31, 2021 Author response period: May 24-26, 2021 Notification: June 15, 2021 Camera-ready papers: July 14, 2021 Conference dates: November 6-12, 2021 ------------------ Description ------------------ Systems and applications incorporating Knowledge Representation and Reasoning (KR) have made tremendous progress over the last decades and become more and more pervasive in scientific, industrial and everyday life. Popular knowledge representation formalisms range from databases, ontologies, classical, probabilistic and non-monotonic logics to natural language, offering rich means to describe a variety of static as well as dynamic phenomena. Automated reasoning systems harness machine learning, combinatorial search and optimization methods, planning, proving, design and diagnosis techniques to provide powerful tools for analyzing and deriving conclusions from complex input data. Novel, general and interdisciplinary approaches are thus vital contributions at the intersection of science, industry and society, aiming to enhance the capabilities and outreach of KR principles and technologies. This year, for the second time, KR 2021 will host a track on "Applications and Systems". This track aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to applications of KR formalisms and automated reasoning systems. This track provides the opportunity for fostering meaningful connections between researchers from both practical and theoretical areas of AI and, at the same time, offers participants the possibility to learn about progress made on these topics, share their own views and elaborate about approaches that could lead to effective cross-fertilisation among research in challenging KR applications and new innovative systems for solving them. ------------------ Expected Contributions ------------------ The Applications and Systems Track at KR 2021 invites submissions of papers on all aspects of the development, deployment, and evaluation of KR systems to solve significant and challenging application problems, including * case studies, including suitable descriptions of the problem setting, data and tools used, and “lessons learnt”,
 * use cases, including task specifications, related tasks/approaches, challenges, and a sketch of possible KR solution,
 * benchmarks, including suitable descriptions of the dataset, reasoning tasks, and ideally some “solution set” or gold standard,
 * system descriptions, including descriptions of the algorithm, implementation and empirical evaluation on a suitable dataset.
 We welcome the above kinds of papers on a wide range of topics, including classic KR tools/techniques as well as their usage for solving or supporting tasks in a range of areas, for example: * Computational Biology
 * Computer Vision and Image/Video Recognition
 * Creative Computing
 * Cybersecurity and Blockchain
 * Data Analytics
 * Databases and Query Answering
 * Diagnosis and Explanation
 * Game Theory and Social Choice
 * Intelligent Transportation and Logistics
 * Intelligent User Interfaces
 * Internet of Things
 * Machine Learning
 * Natural Language Processing
 * Digital Forensics
 * Robotics and Human Robot Collaboration
 * Semantic Web and Knowledge Graphs
 * Software Engineering
 * System Design
 We welcome submissions talking about interdisciplinary applications of KR, for example in economics, education, life sciences, medicine, and pharmacology. ------------------ Submission Guidelines and Evaluation Criteria ------------------ The Applications and Systems Track will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the instructions on the KR2021 website. The track emphasizes applications of KR and development of KR systems, and welcomes contributions showcasing the impact of KR research as well as driving future research by presenting challenging data, use cases and problems together with observations and insights gained. Submissions will be rigorously peer reviewed by PC members, who are active in applications of KR and/or development of KR systems. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. In this track, the selection process of the highest quality papers will further apply the following criteria: - (for case studies) quality of the evaluation and significance of the “lessons learnt”
 - (for use cases) importance and novelty of these use cases for KR
 - (for system descriptions) quality of the empirical evaluation and its reporting
 - (for benchmarks) reusability, coverage, and complexity of the datasets
 ------------------ Remote Participation Due to the Covid-19 Pandemic ------------------ We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------------------ Chairs ------------------ Martin Gebser (University of Klagenfurt & Graz University of Technology, Austria) Martin.Gebser at aau.at Uli Sattler (University of Manchester, UK) Uli.Sattler at manchester.ac.uk From a.dabrowski at uci.edu Tue Mar 16 21:39:22 2021 From: a.dabrowski at uci.edu (Adrian Dabrowski) Date: Tue, 16 Mar 2021 21:39:22 +0100 Subject: [fg-arc] [WiSec 2021] Deadline extended In-Reply-To: References: Message-ID: <24fed9d0-6323-220b-a56f-51134f86f374@uci.edu> ** New submission deadline March 25, 2021 (23:59 AoE) ** ============================================================================= Call for Papers: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec 2021) ============================================================================= The 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec 2021, https://nyuad.nyu.edu/wisec21) will be held virtually from June 28 to July 1, 2021. ACM WiSec is the leading ACM and SIGSAC conference dedicated to all aspects of security and privacy in wireless and mobile networks and their applications. In addition to the traditional ACM WiSec topics of physical, link, and network layer security, we welcome papers focusing on the increasingly diverse range of mobile or wireless applications such as Internet of Things, Cyber-Physical Systems, as well as the security and privacy of mobile software platforms, usable security and privacy, biometrics, and cryptography. The conference welcomes both theoretical as well as systems contributions. Topics of interest include, but are not limited to - Cryptographic primitives for wireless and mobile security - Data-driven security attacks and countermeasures - Economics of mobile security and privacy - Jamming attacks and defenses - Key management (agreement or distribution) for wireless or mobile systems - Lightweight cryptography primitives and protocols - Mobile malware and platform security - NFC and smart payment applications - Next generation cellular network fraud and security - Physical tracking security and privacy - Resilience and dependability for mobile and wireless networks - Reverse engineering of and tampering with mobile applications - Security and privacy for cognitive radio and dynamic spectrum access systems - Security and privacy for mobile applications (e.g., mobile sensing systems) - Security and privacy for smart devices (e.g., smartphones) - Secure localization and location privacy - Security protocols for wireless networking - Side-channel and fault attacks on smart devices - Side-channel attacks on mobile and wearable systems - Theoretical and formal approaches for wireless and mobile security - Usable mobile security and privacy - Vehicular networks security (e.g., drones, automotive, avionics, autonomous driving) - Wireless and mobile privacy and anonymization techniques - Wireless or mobile security for cyber-physical systems (e.g, healthcare, smart grid) and IoT systems - Wireless network security for critical infrastructures The proceedings of ACM WiSec, sponsored by SIGSAC, will be published by the ACM. Important dates =============== - Paper submission deadline: March 25, 2021 (23:59 AoE) - Author notification: April 29, 2021 - Camera-ready deadline: May 21, 2021 (23:59 AoE) - WiSec conference: June 28 to July 1, 2021 Full and short papers ===================== Full paper submissions to ACM WiSec 2021 can be up to 10 pages in the ACM conference style excluding the bibliography and well-marked appendices, and up to 12 pages in total. ACM WiSec also encourages the submission of short papers with a length of up to 6 pages (including bibliography and appendices), which describe mature work of a more succinct nature. All papers must be thoroughly anonymized for double-blind reviewing. Detailed submission instructions are available on the WiSec 2021 website at https://nyuad.nyu.edu/wisec21. For the first time in WiSec, we solicit Systematization of Knowledge (SoK) papers that evaluate, systematize, and contextualize existing knowledge on any of the above topics. Suitable papers provide an important new viewpoint on an established research area, support or challenge long-held beliefs with compelling evidence, present a convincing new taxonomy of such an area, and/or identify research gaps with evidence and a structured approach. Survey papers without such contributions are not suitable. SoK submissions will be distinguished by the prefix "SoK:" in the title and a checkbox on the submission form. They will be reviewed by the program committee and held to the same standards as regular research papers, except instead of emphasizing novel research contributions the emphasis will be on value to the community. Accepted papers will be presented at the symposium and included in the proceedings. Posters and demos ================= WiSec will solicit submission of posters and demos. The instructions to submit posters/demos will be made available on the WiSec 2021 website. Replicability label =================== WiSec will again offer a replicability label for reproducible results. Authors are encouraged to plan ahead when running their experiments to minimize the overhead of applying for this label. The process of reviewing the work for replicability will be largely similar to the previous years. Double submissions ================== It is a policy of the ACM to disallow double/simultaneous submissions, where the same (or substantially similar) paper is concurrently submitted to multiple conferences/journals. Any double submissions detected will be immediately rejected from all conferences/journals involved. Workshops and Tutorial ================== ACM WiSec will host workshops/tutorial co-organized with the main conference. Details will be made available on the website. Organisation committee ====================== - General Chairs * Christina Pöpper, New York University Abu Dhabi, UAE * Mathy Vanhoef, New York University Abu Dhabi, UAE - PC Chairs * Lejla Batina, Radboud University, The Netherlands * René Mayrhofer, Johannes Kepler University Linz, Austria - Reproducibility Chairs * Aanjhan Ranganathan, Northeastern University, Boston, USA * Bradley Reaves, North Carolina State University, Raleigh, NC, USA Program committee ================= • Adrian Dabrowski, University of California, Irvine, US • Ahmad-Reza Sadeghi, TU Darmstadt, DE • Alexandra Dmitrienko, University Wurzburg, DE • Bradley Reaves, North Carolina State University, US • Christian Doerr, University of Potsdam, DE • Cristina Onete, University of Limoges, FR • Daniel Gruss, TU Graz, AT • Dave Singelee, KU Leuven, BE • David (Aziz) Mohaisen, University of Central Florida, US • David Barrera, Carleton University, CA • Doowon Kim, University of Tennessee, Knoxville, US • Eleonora Losiouk, University of Padua, IT • Erik Tews, University Twente, NL • Fareena Saqib, University of North Carolina at Charlotte, US • Gang Wang, University of Illinois at Urbana, US • Gerhard Hancke, City University of Hong Kong, HK • Gildas Avoine, Rennes, FR • Guevara Noubir, Northeastern University, US • Ioana Boureanu, University of Surrey, UK • Jian (Jack) Liu, University of Tennessee, Knoxville, US • Jie Yang, Florida State University, US • Jiska Classen, TU Darmstadt, DE • Jorge Guajardo, Bosch, US • Jorge Toro-Pozo, ETH, CH • Katerina Mitrokotsa, University of St. Gallen, CH • Katharina Kohls, Radboud University, NL • Kazuo Sakiyama, University of Telecommunication Tokyo, US • Kerstin Lemke-Rust, University of Applied Sciences Bonn-Rhein-Sieg, DE • Kevin Butler, University of Florida, US • Luyi Xing, Indiana University Bloomington, US • Martin Henze, Fraunhofer FKIE, DE • Mathy Vanhoef, NYU Abu Dhabi, UAE • Matthias Hollick, TU Darmstadt, DE • Matthias Payer, EPFL, CH • Michael Roland, Johannes Kepler University Linz, AT • Naofumi Homma, Tohoku University, JP • Nele Mentens, Leiden University and KU Leuven, NL • Nils Ole Tippenhauer, CISPA Saarbrucken, DE • Nitesh Saxena, University of Alabama at Birmingham, US • Panos Papadimitratos, KTH, SE • Patrick Traynor, University of Florida, US • Rolando Trujillo Rasua, Deakin Melbourne, AU • Selcuk Uluagac, Florida International University, US • Shivam Bhasin, NTU, SG • Srdjan Capkun, ETH Zurich, CH • Stjepan Picek, TU Delft, NL • William Enck, NC State University, US • Xiayu Ji, ZJU, CN • Xun Chen, Samsung Research, US • Yanick Fratantonio, Cisco Talos, AT • Yao Zheng, University of Hawaiʻi at Mānoa, US • Yingying Chen, Rutgers University, US • Yuan Tian, University of Virginia, US Steering committee ================= • Patrick Traynor, University of Florida, USA • Kevin Butler, University of Florida, USA • William Enck, North Carolina State University, USA • René Mayrhofer, Johannes Kepler University Linz, Austria • Guevara Noubir, Northeastern University, USA • Panos Papadimitratos, KTH Royal Institute of Technology, Sweden • Christina Pöpper, New York University Abu Dhabi, UAE From facs.conf.2021 at gmail.com Wed Mar 17 14:23:07 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Wed, 17 Mar 2021 14:23:07 +0100 Subject: [fg-arc] FACS 2021 - First Call for Papers Message-ID: ============================================================================= ** ** First Call for Papers: FACS 2021 ** ** 17th International Conference on Formal Aspects of Component Software ** ** Virtual Event ** ** https://facs2021.inria.fr ** ============================================================================= ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## INVITED SPEAKERS * Radu Calinescu (University of York, UK) * Corina Pasareanu (NASA Ames, CMU, USA) ## DATES * Abstract: June 25, 2021 * Paper: July 2, 2021 * Notification: August 20, 2021 * Conference: October 28-29, 2021 All deadlines are AoE. ## SCOPE The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and other artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * (behavioral) type systems for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * components for the Internet of things and cyber-physical systems; * artificial intelligence and machine learning for components and services; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. ## SUBMISSION & PUBLICATION We solicit submissions related to the topics mentioned above in the following categories: * full papers: original research, applications and experiences, surveys (16 pages max, excluding references); * short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references). Paper submission is done via EasyChair at: https://easychair.org/conferences/?conf=facs2021. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. The proceedings of FACS 2021 will be published as a volume of LNCS. All accepted papers will be published in this LNCS volume. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. A special issue of an international journal on FACS 2021 will be prepared and published. After the conference, authors of select papers will be invited to submit an extended version for inclusion in this special issue. ## CHAIRS Gwen Salaün, University Grenoble Alpes, France Anton Wijs, Eindhoven University of Technology, The Netherlands ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology, Korea Christel Baier, TU Dresden, Germany Luís Soares Barbosa, University of Minho, Portugal, Simon Bliudze, Inria Lille, France Javier Camara, University of York, UK Francisco Duran, University of Malaga, Spain Fatemeh Ghassemi, University of Tehran, Iran Sung-Shik Jongmans, Open University and CWI, the Netherlands Olga Kouchnarenko, University of Franche-Comté, France Alfons Laarman, Leiden University, The Netherlands Ivan Lanese, University of Bologna, Italy Zhiming Liu, Southwest University, China Alberto Lluch-Lafuente, Technical University of Denmark, Denmark Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, Inria Sophia Antipolis, France Mieke Massink, CNR ISTI, Italy Hernán Melgratti, University of Buenos Aires, Argentina Fabrizio Montesi, University of Southern Denmark Peter Csaba Ölveczky, University of Oslo, Norway Jun Pang, University of Luxembourg José Proença, CISTER, Portugal Jorge Pérez, University of Groningen, The Netherlands Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Gwen Salaün, Université Grenoble Alpes, France Ana Sokolova, University of Salzburg, Austria Jacopo Soldani, University of Pisa, Italy Anton Wijs, Eindhoven University of Technology, The Netherlands Shoji Yuen, Nagoya University, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From thanh.dinhvan at gmail.com Sat Mar 20 16:09:12 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Sat, 20 Mar 2021 22:09:12 +0700 Subject: [fg-arc] Final Call for Workshop and Tutorial Proposals for KR 2021 (Deadline extended until April 2nd) Message-ID: <59fd4d28-5925-648c-e7ae-176d49a7d1d4@gmail.com> ** EXTENDED DEADLINE ** Due to some requests, we have decided to extend the deadline for workshop and tutorial proposals until *April 2nd, 2021*. ***** Call For Tutorial And Workshop Proposals 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) solicits proposals for its tutorial and workshop programme. Tutorials and workshops will be held on the days of 6-8 November 2021, prior to the KR main technical program. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** Submission Requirements for Tutorial Proposals ** KR tutorials are half-day or (exceptionally) full-day events that introduce general or special topics in KR and relevant neighboring areas. They can be first introductions to an established area or an emerging field, but also advanced courses on specialised methods or new approaches. The content should be adequately established and balanced, and not be limited to advertising an individual research work or product. A focus on specific tools and methodologies can still be useful to offer concrete examples and hands-on activities to participants. Each tutorial proposal should contain the following information: - Short title, presenters and proposed length (half-day is recommended, but an argument can be made for a full-day tutorial) - A half-page introduction to the tutorial's subject and relevance to KR - A half-page on the target audience, prerequisite knowledge, and learning goals - One page outline of the tutorial contents and intended structure - A brief resume of each presenter including name, affiliation, email address,   and evidence of scholarship in the area, mentioning relevant publications or   professional experience The main duties of the tutorial organizers are: - Setup a web-page for the tutorial, which should at least include the   information from the proposal, tutorial materials and related references. - Deliver the tutorial at KR 2021. Virtual presentation will be allowed. Each accepted tutorial will entitle a discount on the KR registration fee for one tutorial presenter. ** Submission Requirements for Workshop Proposals ** Workshops provide a place to exchange ideas in emerging fields in KR research and application. They can take many forms, including mini-conferences (with peer-reviewed publications), competitions, working sessions (discussions, hackathons, etc.), line-ups of invited contributions, or a mix of these. Innovative formats are welcome, but organizers must provide means of estimating attendance and required length up-front (by number of submissions, invited speakers, or early registered participants). Workshop proposals can use up to 4 pages, which should include the following information: - Title and acronym of the workshop, - Workshop description: goals, format, and expected activities during the   workshop; proposed duration (half day, one day, ...), - Audience: target audience, research groups in the area, planned or confirmed   speakers, expected number of submissions/participants, - Related events: history of the workshop (if applicable), relationship to   recent similar events, - Tentative list of PC members with their respective affiliations, - A brief resume of each organizer including name, affiliation, contact   details, and evidence of scholarship in the area, mentioning relevant   publications or professional experience. - Appendix: Tentative call for contributions The main duties of the chair of each accepted workshop are: - Set up a webpage for the workshop, - Advertise the workshop and distribute its call for papers/participation, - Coordinate the peer-reviewing of submitted contributions, - If workshop proceedings are desired, it is the duty of the organizers to   produce and distribute their workshop proceedings, - Organize a schedule for the workshop in collaboration with the local   organizers and the KR workshop co-chairs, and - Coordinate and moderate the workshop participation and content. We do not require workshop organizers to commit to physically attending the conference and will work with them to find a suitable (hybrid or fully virtual) format for each workshop. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** Submission Instructions ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically to the Workshop and Tutorial track of KR 2021 via EasyChair: https://easychair.org/conferences/?conf=kr2021 For all accepted proposals, KR will take care of all local and/or virtual arrangements. ** Important Dates ** Proposal submission deadline: 2 April 2021 Notification: 20 April 2021 Workshop paper submission deadline: 2 July 2021 Workshop paper notification: 6 August 2021 Workshop registration deadline: TBA Tutorial and workshop dates: 6-8 November 2021 ** Remote Participation Due to Covid-19 Pandemic ** We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing tutorial and workshop presenters to present remotely, and we will work with workshop organizers to find a suitable (hybrid or fully virtual) format for each workshop. Inquiries should be sent by email to the KR 2021 Tutorial and Workshop Chairs: Markus Krötzsch and Yongmei Liu kr21-workshops-tutorials at easychair.org From kbdmm360 at yahoo.co.jp Sun Mar 21 00:43:11 2021 From: kbdmm360 at yahoo.co.jp (kbdmm360 at yahoo.co.jp) Date: Sun, 21 Mar 2021 08:43:11 +0900 (JST) Subject: [fg-arc] \title{\bf Announcement 600: References: <302303840.1052828.1616283791817.JavaMail.yahoo.ref@mail.yahoo.co.jp> Message-ID: <302303840.1052828.1616283791817.JavaMail.yahoo@mail.yahoo.co.jp>   \documentclass[12pt]{article}\usepackage{latexsym,amsmath,amssymb,amsfonts,amstext,amsthm}\numberwithin{equation}{section}\begin{document}       \title{\bf  Announcement 600:  The 7th birthday of the division by zero $z/0=0$ \\(2021.2.2)\\ For Founding a new International Journal of Division by Zero Calculus}      \author{{\it Institute of Reproducing Kernels}\\Kawauchi-cho, 5-1648-16,\\Kiryu 376-0041, Japan\\{\bf kbdmm360 at yahoo.co.jp}\\ }\date{2021.1.26.}\maketitle The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus and declares that the division by zero was discovered as $0/0=1/0=z/0=0$ in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotele (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta  (598 - 668 ?).  However, note that the division by zero $1/0=0$ having a mysterious long history was, in fact, known as the generalized Moore-Penrose solution of the fundamental equation:  $ax=b$. \medskip The division by zero calculus is  a new and fundamental concept,  and it  may be defined simply as follows:\medskip For a function $y = f(x)$ which is $n$ order differentiable at $x =a$, we will {\bf define} the valueof the function, for $n \ge 0$$$\frac{f(x)}{(x -a)^n}$$at the point $x=a$ by the value$$\frac{f^{(n)}(a)}{n!}.$$For the important case of $n=1$,$$\frac{f(x)}{x -a} |_{x=a} = f^\prime(a).$$\medskip Look the simple evidence of its importance:\medskip   viXra:2010.0228 submitted on 2020-10-28 21:39:06,Division by Zero Calculus and Euclidean Geometry - Revolution in Euclidean Geometry\medskip Look a simple video talk for its essence at some international conference:\medskip https://media.cmd.gunma-u.ac.jp/media/Play/ef7ca967c3fd4dabb188128fd6038cb81d \medskip For the detailed information, the book will be published soon as:\medskip S. Saitoh, Introduction to the Division by Zero Calculus, Scientific Research Publishing (2021) (in press).\medskip Some publisher of London is wishing some publication of a new International Journal of Division by Zero Calculus. The topics may be identified as the division by zero calculus. However, the contents will be related to our serious problems:\medskip What is ZERO?\medskip  What is Division by Zero, in some serious sense?\medskip The problems may be related to mathematical philosophy, long history and our culture.The starting of the International Journal will not be still easy at this moment, however, for its importance, we would like to manage to found the new Journal in some near future. So, we will need the kind help of the leading mathematical scientists.\medskip How will be the related physicists?\medskip Computer scientists?\medskip We attached the journal style (in a rough way) in the below. You can express your positive suggestions and comments for the style.For your great contributions in connection with this topics, how will be your editorial member?However, the final decision may be done by the publisher.We wish to have your positive answer with your valuable suggestions and comments.If you kindly are interested in the editorial member, then please send your simple CV with your wishes for some estimation by the publisher.Please kindly forward this announcement to your related colleagues that you think suitable persons. \bigskip   {\it For your starting email, I think as follows: Many thanks for your email. The journals suggested by you are very interesting and new to the subject area. We accept to publish both journals under your editorship. We need following things from your side for preparing the sample web page of the journals. 1. Aim and Scope , Instructions to Authors, List of the editorial board members, Frequency of the journal. Of course, they are important. However, for Frequency of the journal, we should consider it in a new type. We should not loss our valuable time for us and for the authors. We all do not like to loss our time for publication and refereeing time. This will mean that we should not fix Frequency of the journal. When a paper was accepted officially, then, soon the paper should be presented on line. So, some time, we can give the number for an accepted paper. If you wish to publish the papers in some Journal style or book, you will be able to publish them in some papers with a suitable page numbers. How will be this idea? 2. The journal will be free for the readers (open Access publications). The journal will not charge any fee from the authors for getting published in the journal.Fine: However is it possible? 3. We need some sample images from your end to prepare the cover page for the journals.We can consider them with computer graphics.For a paper style, how will be it in a free style, we request it PDF in order not toloss any valuable time for us and for the authors. I think: this is an ideal style viXra:2010.0228 submitted on 2020-10-28 21:39:06,Division by Zero Calculus and Euclidean Geometry - Revolution in Euclidean Geometry The problem is no refereeing procedures. We are requested to have some authority, some check system for the paper. This is a problem only.I think you will be able to consider new journals in this spirit. The publisher already gave a very good sample manuscript form by LaTex; very simple way. No problem. 4. We will provide the support to the editor to check the plagiarism in the articles via turnitin software. We will request minor corrections formally for the accepted paper.}   \bigskip   \bibliographystyle{plain}\begin{thebibliography}{10}    \bibitem{boyer}C. B. Boyer, An early reference to division by zero,  The Journal of the American Mathematical Monthly, {\bf 50} (1943), (8), 487- 491. Retrieved March 6, 2018, from the JSTOR database.   \bibitem{cs}L. P.  Castro and S. Saitoh,  Fractional functions and their representations,  Complex Anal. Oper. Theory {\bf7} (2013), no. 4, 1049-1063.  \bibitem{kmsy}M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,New meanings of the division by zero and interpretations on $100/0=0$ and on $0/0=0$,Int. J. Appl. Math.  {\bf 27} (2014), no 2, pp. 191-198,  DOI: 10.12732/ijam.v27i2.9. \bibitem{ms16}T. Matsuura and S. Saitoh,Matrices and division by zero $z/0=0$,Advances in Linear Algebra \& Matrix Theory, {\bf 6}(2016), 51-58Published Online June 2016 in SciRes.   http://www.scirp.org/journal/alamt\\ http://dx.doi.org/10.4236/alamt.2016.62007.  \bibitem{mms18}T. Matsuura, H. Michiwaki and S. Saitoh,$\log 0= \log \infty =0$ and applications. Differential and Difference Equations with Applications. Springer Proceedings in Mathematics \& Statistics. {\bf 230}  (2018), 293-305. \bibitem{msy}H. Michiwaki, S. Saitoh and  M.Yamada,Reality of the division by zero $z/0=0$.  IJAPM  International J. of Applied Physics and Math. {\bf 6}(2015), 1--8. http://www.ijapm.org/show-63-504-1.html \bibitem{mos}H. Michiwaki, H. Okumura and S. Saitoh, Division by Zero $z/0 = 0$ in Euclidean Spaces, International Journal of Mathematics and Computation, {\bf 2}8(2017); Issue  1, 1-16.   \bibitem{oku18} H. Okumura,  Is It Really Impossible To Divide By Zero?  Biostat Biometrics Open Acc J. 2018; 7(1): 555703.DOI: 10.19080/BBOJ.2018.07.555703. \bibitem{o}H. Okumura, Wasan geometry with the division by 0. https://arxiv.org/abs/1711.06947 International  Journal of Geometry. {\bf 7}(2018), No. 1, 17-20.  \bibitem{ok1812}H. Okumura,An Analogue to Pappus Chain theorem with Division by Zero, Forum Geom., {\bf 18} (2018),  409--412.   \bibitem{okumurafield}H. Okumura, To Divide by Zero is to Multiply by Zero, viXra: 1811.0283  submitted on 2018-11-18 20:46:54. \bibitem{okumura19a}H. Okumura, A Remark of the Definition of $0/0=0$ by Brahmagupta,  viXra:1902.0221 submitted on 2019-02-12 23:41:31. \bibitem{okumura20}H. Okumura, A Chain of Circles Touching a Circle and Its Tangent and Division by Zero,viXra:2001.0034 submitted on 2020-01-03 01:08:58. \bibitem{okumura20b}H. Okumura, Pappus Chain and Division by Zero, viXra:2001.0123 replaced on 2020-01-08 06:57:36.  \bibitem{osm}H. Okumura, S. Saitoh and T. Matsuura, Relations of   $0$ and  $\infty$,Journal of Technology and Social Science (JTSS), {\bf 1}(2017),  70-77. \bibitem{os}H. Okumura and S. Saitoh, The Descartes circles theorem and division by zero calculus. https://arxiv.org/abs/1711.04961 (2017.11.14).    \bibitem{os18april}H.  Okumura and S. Saitoh,Harmonic Mean and Division by Zero,Dedicated to Professor Josip Pe\v{c}ari\'{c} on the occasion of his 70th birthday,　Forum Geometricorum,　{\bf 18} (2018), 155—159. \bibitem{os18}H. Okumura and S. Saitoh,Remarks for The Twin Circles of Archimedes in a Skewed Arbelos by H. Okumura and M. Watanabe, Forum Geometricorum, {\bf 18}(2018), 97-100. \bibitem{os18e}H. Okumura and S. Saitoh,Applications of the division by zero calculus to Wasan geometry.GLOBAL JOURNAL OF ADVANCED RESEARCH ON CLASSICAL AND MODERN GEOMETRIES” (GJARCMG),  {\bf 7}(2018), 2, 44--49. \bibitem{os1811}H. Okumura and S. Saitoh,Wasan Geometry and Division by Zero Calculus,Sangaku Journal of Mathematics (SJM), {\bf  2 }(2018),  57--73.  \bibitem{ps18}S. Pinelas and S. Saitoh,Division by zero calculus and differential equations. Differential and Difference Equations with Applications. Springer Proceedings in Mathematics \& Statistics. {\bf 230}  (2018), 399-418. \bibitem{romig}H. G. Romig, Discussions: Early History of Division by Zero,American Mathematical Monthly, {\bf 3}1, No. 8. (Oct., 1924),  387-389.  \bibitem{s14}S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices,  Advances in Linear Algebra \& Matrix Theory.  {\bf 4}  (2014), no. 2,  87--95. http://www.scirp.org/journal/ALAMT/ \bibitem{s16}S. Saitoh, A reproducing kernel theory with some general applications,Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and Applications - Plenary Lectures: Isaac 2015, Macau, China, Springer Proceedings in Mathematics and Statistics,  {\bf 177}(2016),     151-182.  \bibitem{ttk}S.-E. Takahasi, M. Tsukada and Y. Kobayashi,  Classification of continuous fractional binary operations on the real and complex fields,  Tokyo Journal of Mathematics,   {\bf 38}(2015), no. 2, 369-380.  \bibitem{ann179}Announcement 179 (2014.8.30): Division by zero is clear as z/0=0 and it is fundamental in mathematics. \bibitem{ann185}Announcement 185 (2014.10.22): The importance of the division by zero $z/0=0$. \bibitem{ann237}Announcement 237 (2015.6.18):  A reality of the division by zero $z/0=0$ by  geometrical optics. \bibitem{ann246}Announcement 246 (2015.9.17): An interpretation of the division by zero $1/0=0$ by the gradients of lines. \bibitem{ann247}Announcement 247 (2015.9.22): The gradient of y-axis is zero and $\tan (\pi/2) =0$ by the division by zero $1/0=0$. \bibitem{ann250}Announcement 250 (2015.10.20): What are numbers? -  the Yamada field containing the division by zero $z/0=0$. \bibitem{ann252}Announcement 252 (2015.11.1): Circles andcurvature - an interpretation by Mr.Hiroshi Michiwaki of the division byzero $r/0 = 0$. \bibitem{ann281}Announcement 281 (2016.2.1): The importance of the division by zero $z/0=0$. \bibitem{ann282}Announcement 282 (2016.2.2): The Division by Zero $z/0=0$ on the Second Birthday. \bibitem{ann293}Announcement 293 (2016.3.27):  Parallel lines on the Euclidean plane from the viewpoint of division by zero 1/0=0. \bibitem{ann300}Announcement 300 (2016.05.22): New challenges on the division by zero z/0=0. \bibitem{ann326} Announcement 326 (2016.10.17): The division by zero z/0=0 - its impact to human beings through education and research.  \bibitem{ann352}Announcement 352 (2017.2.2):   On the third birthday of the division by zero z/0=0. \bibitem{ann354}Announcement 354 (2017.2.8):　What are $n = 2,1,0$ regular polygons inscribed in a disc? -- relations of $0$ and infinity. \bibitem{362}Announcement 362 (2017.5.5): Discovery of the division by zero as  $0/0=1/0=z/0=0$  \bibitem{380}Announcement 380 (2017.8.21):  What is the zero? \bibitem{388}Announcement 388 (2017.10.29):   Information and ideas on zero and division by zero (a project).  \bibitem{409}Announcement 409 (2018.1.29.): 　Various Publication Projects on the Division by Zero. \bibitem{410}Announcement 410 (2018.1 30.):  What is mathematics? -- beyond logic; for great challengers on the division by zero.  \bibitem{412}Announcement 412 (2018.2.2.): The 4th birthday of the division by zero $z/0=0$. \bibitem{433}Announcement 433 (2018.7.16.):  Puha's Horn Torus Model for the Riemann Sphere >From the Viewpoint of Division by Zero. \bibitem{448}Announcement 448 (2018.8.20):  Division by Zero; Funny History and New World. \bibitem{454}Announcement 454 (2018.9.29): The International Conference on Applied Physics and Mathematics, Tokyo, Japan, October 22-23. \bibitem{460}Announcement 460 (2018.11.06): Change the Poor Idea to the Definite Results For the Division by Zero - For the Leading Mathematicians. \bibitem{461}Announcement 461 (2018.11.10): An essence of division by zero and a new axiom. \bibitem{471}Announcement 471(2019.2.2):  The 5th birthday of the division by zero $z/0=0$. \bibitem{478}Announcement 478(2019.3.4):  Who did derive first the division by zero $1/0$ and the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of a computer?  \bibitem{540}Announcement 540(2020.2.2): The 6th birthday of the division by zero $z/0=0$. \end{thebibliography}   \end{document}      Dear  Colleagues: Please note that the 7th birthday of the division by zero has passed as in the attached Announcement 600 and we are planing a new International Journal of the Division by Zero Calculus.Could you kindly recommend some suitable editorial members?Please kindly give me your kind suggestions and comments.Please look the below information also.With best regards,Sincerely yours,Saburou Saitoh2021.2.14. As Fundamental of Mathematics,  the division by zero was known as the generalized Moore-Penrose solution of the fundamental equation:  ax=b. Look the simple evidence of its importance: viXra:2010.0228 submitted on 2020-10-28 21:39:06, Division by Zero Calculus and Euclidean Geometry - Revolution in Euclidean Geometry  Look a simple video talk for its essence at some international conference: https://media.cmd.gunma-u.ac.jp/media/Play/ef7ca967c3fd4dabb188128fd6038cb81d Book was published:INTRODUCTION TO THEDIVISION BY ZERO CALCULUSSABUROU SAITOHJanuary, 2021 https://www.scirp.org/book/DetailedInforOfABook.aspx?bookID=2746 https://www.amazon.com/dp/1649970889?ref=myi_title_dp https://books.google.com.ua/books/about?id=BnkZEAAAQBAJ&redir_esc=y https://play.google.com/store/books/details?id=BnkZEAAAQBAJ ____________________________________________________________    #令和革新の推進0除算#2014年2月2日ゼロ除算の発見#0除算#2014年3月8日ゼロ除算算法の発見#2021年#更新#再生核研究所#ゼロ除算#再生核研究所声明600#ゼロ除算の発見7周年AD -------------- next part -------------- An HTML attachment was scrubbed... URL: From genaim at gmail.com Sun Mar 21 09:40:42 2021 From: genaim at gmail.com (Samir Genaim) Date: Sun, 21 Mar 2021 09:40:42 +0100 Subject: [fg-arc] WST 2021 - Call for Papers Message-ID: ====================================================================== WST 2021 - Call for Papers 17th International Workshop on Termination http://costa.fdi.ucm.es/wst2021 July 16, 2021, Pittsburgh, PA, United States Co-located with CADE-28 *** The Workshop will be Virtual *** ====================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. IMPORTANT DATES: * submission deadline: April 25, 2021 * notification: May 30, 2021 * final version due: June 13, 2021 * workshop: July 16, 2021 INVITED SPEAKERS: TBA TOPICS: The 17th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to): * abstraction methods in termination analysis * certification of termination and complexity proofs * challenging termination problems * comparison and classification of termination methods * complexity analysis in any domain * implementation of termination methods * non-termination analysis and loop detection * normalization and infinitary normalization * operational termination of logic-based systems * ordinal notation and subrecursive hierarchies * SAT, SMT, and constraint solving for (non-)termination analysis * scalability and modularity of termination methods * termination analysis in any domain (lambda calculus, declarative programming, rewriting, transition systems, etc.) * well-founded relations and well-quasi-orders SUBMISSION GUIDELINES: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page: https://easychair.org/conferences/?conf=wst2021 Please, use LaTeX and the LIPIcs style file http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. PROGRAM COMMITTEE: * Martin Avanzini - INRIA Sophia, Antipolis * Carsten Fuhs - Birkbeck, U. of London * Samir Genaim (chair) - U. Complutense de Madrid * Jürgen Giesl - RWTH Aachen * Matthias Heizmann - U. of Freiburg * Cynthia Kop - Radboud U. Nijmegen * Salvador Lucas - U. Politècnica de València * Étienne Payet - U. de La Réunion * Albert Rubio - U. Complutense de Madrid * René Thiemann - U. of Innsbruck -------------- next part -------------- An HTML attachment was scrubbed... URL: From facs.conf.2021 at gmail.com Wed Mar 24 14:39:17 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Wed, 24 Mar 2021 14:39:17 +0100 Subject: [fg-arc] FACS 2021 - First Call for Papers Message-ID: ============================================================================= ** ** First Call for Papers: FACS 2021 ** ** 17th International Conference on Formal Aspects of Component Software ** ** Virtual Event ** ** https://facs2021.inria.fr ** ============================================================================= ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## INVITED SPEAKERS * Radu Calinescu (University of York, UK) * Corina Pasareanu (NASA Ames, CMU, USA) ## DATES * Abstract: June 25, 2021 * Paper: July 2, 2021 * Notification: August 20, 2021 * Conference: October 28-29, 2021 All deadlines are AoE. ## SCOPE The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and other artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * (behavioral) type systems for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * components for the Internet of things and cyber-physical systems; * artificial intelligence and machine learning for components and services; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. ## SUBMISSION & PUBLICATION We solicit submissions related to the topics mentioned above in the following categories: * full papers: original research, applications and experiences, surveys (16 pages max, excluding references); * short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references). Paper submission is done via EasyChair at: https://easychair.org/conferences/?conf=facs2021. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. The proceedings of FACS 2021 will be published as a volume of LNCS. All accepted papers will be published in this LNCS volume. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. A special issue of an international journal on FACS 2021 will be prepared and published. After the conference, authors of select papers will be invited to submit an extended version for inclusion in this special issue. ## CHAIRS Gwen Salaün, University Grenoble Alpes, France Anton Wijs, Eindhoven University of Technology, The Netherlands ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology, Korea Christel Baier, TU Dresden, Germany Luís Soares Barbosa, University of Minho, Portugal, Simon Bliudze, Inria Lille, France Javier Camara, University of York, UK Francisco Duran, University of Malaga, Spain Fatemeh Ghassemi, University of Tehran, Iran Sung-Shik Jongmans, Open University and CWI, the Netherlands Olga Kouchnarenko, University of Franche-Comté, France Alfons Laarman, Leiden University, The Netherlands Ivan Lanese, University of Bologna, Italy Zhiming Liu, Southwest University, China Alberto Lluch-Lafuente, Technical University of Denmark, Denmark Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, Inria Sophia Antipolis, France Mieke Massink, CNR ISTI, Italy Hernán Melgratti, University of Buenos Aires, Argentina Fabrizio Montesi, University of Southern Denmark Peter Csaba Ölveczky, University of Oslo, Norway Jun Pang, University of Luxembourg José Proença, CISTER, Portugal Jorge Pérez, University of Groningen, The Netherlands Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Gwen Salaün, Université Grenoble Alpes, France Ana Sokolova, University of Salzburg, Austria Jacopo Soldani, University of Pisa, Italy Anton Wijs, Eindhoven University of Technology, The Netherlands Shoji Yuen, Nagoya University, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Mar 29 14:36:24 2021 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 29 Mar 2021 14:36:24 +0200 Subject: [fg-arc] Call for Papers: HCSE-Workshop at INTERACT 2021 (submit by April 30) Message-ID: <6b37b0e5-4cef-ba60-e66b-95648c81009c@uni-paderborn.de> *International Workshop on Human-Centered Software Engineering for Changing Contexts of Use* *organized by IFIP Working Group 13.2 on Methodologies for User-Centered Systems Design* *August 31, 2021 * *https://sites.google.com/site/hcse-workshop-interact2021/* *at INTERACT 2021 **- The 18th IFIP TC 13 International Conference on Human-Computer Interaction*** *August 30 – September 3, 2021 Bari, Italy* *Call for Papers* *Submissions: **position papers reporting original academic or industrial research relevant to the workshop's theme (PDF files, 6-10 pages in Springer LNCS format)* *Deadline for submission: April 30, 2021* *Theme* The context of use plays an important role in Human-Centered Software Engineering (HCSE) and Human-Computer Interaction (HCI) research. Typically, user, environment, and platform are considered to make up the core aspects of the context of use. Changing the context of use, for example due to unplanned circumstances like the current pandemic situation, has significant impact on how we use systems, and how we adapt and adopt them even if the systems were not designed for such usages. In HCSE research we have to account for this change, making interactive system development context-aware or design and develop in a way that systems can adapt for novel forms of usage. Recently, we observe developments that strongly change contexts of use. For example, in the area of industrial automation (Industry 4.0) work environments change, new kinds of user assistance evolve, and workers are going to be supported by innovative types of devices and digital assistance tools to accomplish their working tasks. Typical examples are augmented, virtual, and mixed reality applications in training or support situations. The COVID-19 pandemic has drastically changed where and the way how we work, particularly in collaboration with others to keep distance and increase personal safety. In contrast, the trend towards increasingly autonomous systems and systems that use and provide artificial intelligence gives rise to new kinds of interaction, particularly, human-machine interaction (HMI), in areas such as autonomous driving or human-robot collaboration in different domains such as industrial production, logistics, or health. These trends should be accounted for in the way we design and build such interactive systems, possibly coming to evolutionary or even revolutionary solutions. For example, expected or unforeseen changes of usage scenarios and their context of use may be accounted for by flexible and more resilient system solutions and be reflected in the development practices and technical frameworks. Specific kinds of interaction such as HMI, but also social and socio-technical interaction may demand for more prominent and explicit consideration. Quality aspects such as ubiquity, security, and safety may be seen in a different light. Changing contexts of use may even have an impact on the way we think about user motivation and user experience, away from short-term notions like emotions towards long-term traits like users’ values. We want to specifically account for these developments in addition to the general concerns of HCSE. Discussions and interactive working sessions will particularly deal with these concerns. *Objective* In this workshop, we aim to broaden the traditional scope of the workshop series of IFIP Working Group 13.2. We focus on the study of context of use, its long-term evolutionary trends as well as its short-term design and management in a user-centered design process, from a social and user-centered methodological viewpoint as well as from a technical viewpoint. Our aim is to cover a large set of user interface perspectives, aspects, and properties and fuel new ideas and approaches for research and practice. The long-term perspective of this workshop is to foster the development of theories, methods, tools and approaches for dealing with the changing context of use and its impact on HCI and collaboration that should be taken into account when developing interactive and socio-technical systems. This workshop is a follow-up of the successful workshops organized at INTERACT 2017 in Mumbai, India and INTERACT 2019 in Paphos, Cyprus . *Target Audience and Expected Outcomes* This workshop is open to everyone who is interested in aspects of human-computer interaction froma user-centered perspective. Typical contributions to this workshop focus on user interface properties while designing and building interactive systems and study associated methods, processes and approaches. We expect a high participation of IFIP Working Group 13.2 members. We particularly invite participants to present position papers describing real-life case studies that illustrate the role of the context of use in HCI and its impact on thesystem design and use. Any perspective and related aspects of user interface design are welcome. However, we are especially interested in work that deals with current trends that change the way how humans use, interact and collaborate with technical components in socio-technical systems. We are also interested in methods, theories and tools for managing context of use at design and run-time. Position papers will be made available through the workshop website. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT workshops organized by the IFIP TC13 Working Groups. *Workshop Format* This full-day workshop is organized around presentation of position papers and working activities in small groups. From the set of contributions, a subset of selected case studies will be invited to be presented at the beginning of the workshop and will be used to support the discussion that follows. The morning session will be dedicated to welcoming participants and presenting case studies. Participants will be invited to comment on the case studies and to report similar experiences. The afternoon sessions will be devoted to interactive sessions, where participants will be engaged to work in small groups and propose solutions to the problems of the case studies seen in the morning. Solutions proposed by the participants will be compiled and compared. Based on the lessons learned, participants will be incited to draft an agenda of future work that can be accomplished. We plan to run the workshop in a hybrid setting, allowing attendees to participate both physically and remotely in the workshop. If circumstances require it, we intend to switch to a completely digital format that will be run online. We will continuously adapt to any decision regarding the conference format by the INTERACT 2021 organizers. *Submission Instructions* In order to attend the workshop, participants are invited to submit position papers reporting original academic or industrial research relevant to the workshop's theme. These position papers (PDF files, 6-10 pages in Springer LNCS forma t , including abstract) shall report practical experiences related to research results on user-centered development processes for interactive systems with a particular focus on context-of-use aspects and the impact on software properties. Submissions are not anonymous and should include all author names, affiliations, and contact information. Authors should also provide in their submission a short summary of their experience in the field and their motivation to participate in this workshop. Papers are submitted through the EasyChair website . Submitted position papers will be reviewed by an international program committee comprising the organizers and selected members of IFIP Working Group 13.2 who are experts in the field. Participants will be invited to attend the workshop based on the result of the reviewing process. Accepted position papers will be made available through the workshop website. Upon acceptance, at least one author of each accepted position paper must register and attend the workshop. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT 2021 workshops organized by the IFIP TC13 Working Groups. *Important Dates* Deadline for submission: April 30, 2021 Acceptance notification: June 11th, 2021 Final version of position paper: June 28, 2021 Workshop date: August 31, 2021 *Organizers * Stefan Sauer, Paderborn University, Germany (sauer[at]uni-paderborn.de) Regina Bernhaupt, Eindhoven University of Technology, The Netherlands (r.bernhaupt[at]tue.nl) Carmelo Ardito, Polytechnic University of Bari, Italy (carmelo.ardito[at]poliba.it) *Venue* The workshop will be hosted in the frame of the 18th IFIP TC13 International Conference on Human-Computer Interaction, August 30 – September 3, 2021, in Bari, Italy. Look at the main conference web site for further information (https://www.interact2021.org/ ). -------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_signature Type: application/pgp-signature Size: 840 bytes Desc: OpenPGP digital signature URL: From announce at cs.ucy.ac.cy Thu Mar 25 11:40:37 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 25 Mar 2021 12:40:37 +0200 Subject: [fg-arc] 8th International Symposium on End-User Development (IS-EUD 2021): Call for Demos, Work in Progress and DC Message-ID: *** Call for Demos, Work in Progress and DC *** 8th International Symposium on End-User Development (IS-EUD 2021): "Democratizing AI Development" July 6-8, 2021, Atlantica Miramare Beach Hotel 4*, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/GPListManager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogQ2FsbCBmb3IgRGVtb3MsIFdvcmsgaW4gUHJvZ3Jlc3MgYW5kIERDCTU4MglMaXN0cwkxMjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fiseud2021%2F End-user development (EUD) aims at empowering end users to develop and adapt systems at a level of complexity that is adequate to their expertise, practices, and skills. EUD may occur along the entire software lifecycle, with the purpose of making users able to participate in their artifact development, not only at design time, but also during actual use. Originally, EUD was conceived as a more general concept than end-user programming; thus, scholars proposed methods, techniques and tools that allow end users to modify or extend software artifacts, such as spreadsheets, web applications, video games, and mobile applications. In the co-called Internet of Things era, end-user development moved on to address the problem of defining and modifying the behavior of smart environments, including smart objects, pervasive displays, smart homes, smart cities, and so on. Therefore, the term "end-user development" acquired a broader meaning covering approaches, frameworks and socio-technical environments that allow end users to express themselves in crafting digital artifacts that encompass both software and hardware technology. Recent research and technological trends like Artificial Intelligence (AI), Big Data, Cyber-Security, Robotics, and Industry 4.0, have contributed to renew the vision of end-user development, by providing tools and platforms that allow end users to harness the power of AI to create solutions involving Computer Vision, Image Processing, Conversational User Interfaces, as well as solutions for smart environments. Such developments lower the threshold for creating AI solutions, and expand the programmer base for such solutions, by extending AI application both for professional and discretionary use. IS-EUD is a bi-annual event for researchers and practitioners with an interdisciplinary approach to EUD, including: Human-Computer Interaction, Software Engineering, Computer Supported Cooperative Work, Human-Work Interaction Design, and related areas. IS-EUD 2021 Theme: Democratizing AI Development The 2021 edition of IS-EUD focuses on EUD for AI-based systems, where end users are called on to become end-user developers of intelligent agents, digital twins, collaborative and social robots. This edition would like to discuss the adoption of EUD in new fields, the proposal of novel EUD paradigms, and the impact of AI-based EUD in terms of user acceptability and appropriation. One of the most interesting topics in human-AI interaction is explainability of AI-based systems: research submissions presenting end- user oriented solutions to this problem will be particularly welcome. Theoretical and empirical work analyzing pros and cons of this new EUD wave, identifying requirements for end-user development of AI and acceptance of related solutions is invited. Software infrastructures and eco- systems supporting the reuse of solutions and the emergence of meta- design practices are of particular interest to this community, linking the challenges relating AI to topics central to the IS-EUD community. Conference Topics The conference welcomes contributions that: · describe new, simple and efficient environments for end-user development · describe new processes, methods and techniques for empowering users to create, modify and tailor digital artifacts · present case studies and design implications on challenges and practices of end-user development · develop theoretical concepts and foundations for the field of end-user development Specific topics include (but are not limited to) the following ones: · User-oriented orchestration of AI-based devices · Conversational interfaces for end-user development · End-user development for big data visualization and exploration · End-user development for collaborative robotics · End-user development for social robotics · End-user development in Industry 4.0 · End-user development and explainable AI-based systems · Cybersecurity and end-user development · End-user development in daily life · Technologies and infrastructures for end-user development · Empirical studies of end-user development · Recommender systems to support end-user development · Cultures of participation and meta-design approaches · Technology acceptance and adoption studies of end-user development technologies · Evaluation of end-user development technologies · Supporting creative work through end-user development Submissions We invite submissions for Demos, Work in Progress and Doctoral Consortium. A Demonstration paper (max 6 pages) should be structured according to the following: · Abstract (150 words maximum) · Topics to be covered and their relevance to the EUD community · Detailed description of the planned demonstration activity · Diagrams or screenshots (if relevant) · Supporting documentation (e.g., project website) · References Work in Progress submissions (max 6 pages) are intended for presenting preliminary results or tentative findings and position papers. The authors of accepted contributions will have the opportunity to give an oral presentation during parallel sessions. Finally, the IS-EUD Doctoral Consortium is intended to bring together PhD students working on theory and application of EUD. We particularly encourage students that are about half-way through their doctoral research to submit doctoral consortium contributions (max 6 pages) describing the topic of their PhD, their approach and a summary of their progress. Demonstration, Work in Progress and Doctoral Consortium submissions should indicate in the title page "Demo", "WiP" or "DC" respectively. Accepted submissions will be included in IS-EUD 2021 adjunct proceedings, which will be submitted to http://www.cs.ucy.ac.cy/~george/GPListManager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogQ2FsbCBmb3IgRGVtb3MsIFdvcmsgaW4gUHJvZ3Jlc3MgYW5kIERDCTU4MglMaXN0cwkxMjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fceur-ws.org for online publication. Submissions of all types should be carefully formatted according to the Springer LNCS format: http://www.cs.ucy.ac.cy/~george/GPListManager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogQ2FsbCBmb3IgRGVtb3MsIFdvcmsgaW4gUHJvZ3Jlc3MgYW5kIERDCTU4MglMaXN0cwkxMjcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines and should be submitted through the Easy Chair system at: http://www.cs.ucy.ac.cy/~george/GPListManager2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogQ2FsbCBmb3IgRGVtb3MsIFdvcmsgaW4gUHJvZ3Jlc3MgYW5kIERDCTU4MglMaXN0cwkxMjcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diseud2021 Important Dates · Submissions in all categories: April 21, 2021 · Notification: May 15, 2021 · Camera-ready: May 31, 2021 Organizers General Chairs · Panos Markopoulos (Eindhoven University of Technology, The Netherlands) · George A. Papadopoulos (University of Cyprus, Cyprus) Program Chairs · Daniela Fogli (University of Brescia, Italy) · Daniel Tetteroo (Eindhoven University of Technology, The Netherlands) Short papers Chairs · Barbara Rita Barricelli (University of Brescia, Italy) · Simone Borsci (University of Twente, The Netherlands) Work in Progress Chairs · Jelle Van Dijk (University of Twente, The Netherlands) · Carmen Santoro (ISTI-CNR, Italy) Demonstration Chair · Stefano Valtolina (University of Milan, Italy) Workshop Chairs · Styliani Kleanthous (Open University of Cyprus, Cyprus) · Simone Stumpf (City University London, UK) Doctoral Consortium Chairs · Monica Maceli (Pratt Institute, USA) · Antonio Piccinno (University of Bari, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From shankar at csl.sri.com Mon Mar 29 03:50:14 2021 From: shankar at csl.sri.com (Natarajan Shankar) Date: Sun, 28 Mar 2021 18:50:14 -0700 Subject: [fg-arc] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021 In-Reply-To: <9eb14ee9-e10b-ccf6-b2b1-9b290df216c4@csl.sri.com> References: <5A9832E8.3020003@csl.sri.com> <0e5c7eb9-65d3-96fe-6ca9-4259841bf175@csl.sri.com> <9eb14ee9-e10b-ccf6-b2b1-9b290df216c4@csl.sri.com> Message-ID: Tenth Summer School on Formal Techniques , May 22 - May 28, 2020 (http://fm.csl.sri.com/SSFT21)   [Due to the pandemic, the Tenth Summer School on Formal Techniques that was    postponed from 2020 will be virtual this year.] Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. ============================================================= The lecturers at  the school include: * Thomas Reps (University of Wisconsin)   Algebraic Program Analysis: Automating Abstract Interpretation * Natasha Sharygina (University of Lugano, Switzerland)   SMT-streamlined Software Model Checking * Warren A. Hunt, Jr. and J Strother Moore (University of Texas)   Proving Properties of Algorithms, Hardware, and Software with ACL2 * Jose Meseguer (University of Illinois at Urbana-Champaign)   Executable Formal Specification and Verification in Maude The main lectures in the summer school start on Monday May 24 and  will be preceded by a background course on logic on Saturday May 22 and  Sunday May 23: * Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole Polytechnique)   Speaking Logic ============================================================= The summer school also include several distinguished invited talks. Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 http://fm.csl.sri.com/SSFT15 http://fm.csl.sri.com/SSFT16 http://fm.csl.sri.com/SSFT17 http://fm.csl.sri.com/SSFT18 http://fm.csl.sri.com/SSFT19 Jay Bosamiya of CMU has blogged about the 2018 Summer School at https://www.jaybosamiya.com/blog/2018/05/31/ssft/ ======================================================================= Registration is at the URL: http://fm.csl.sri.com/SSFT21   Those who already registered for the 2020 event need not re-register, and you will be contacted to check if you would like your registration to be processed. Although the summer school is virtual and there is no registration fee, attendance is restricted to registered participants. Attendees who complete the summer school will receive a certificate by mail. Applications should be submitted together with names of two references (preferably advisors, professors, or senior colleagues).   Applicants are urged to submit their applications before April 30, 2021, since there are only a limited number of spaces available. We strongly encourage the participation of women and under-represented minorities in the summer school. From maurice.terbeek at isti.cnr.it Mon Mar 29 11:34:54 2021 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Mon, 29 Mar 2021 11:34:54 +0200 Subject: [fg-arc] [FSEN2021] Call for Participation Message-ID: <79d2411c-9be1-66aa-73de-187f8f506e7b@isti.cnr.it> ###################################################################### FSEN 2021 Call for Participation Ninth International Conference on Fundamentals of Software Engineering 2021 Theory and Practice (FSEN 2021) http://fsen.ir/2021/ Virtual Conference 19 - 21 May, 2021 ###################################################################### FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. FSEN 2021 will be held online from Wednesday, May 19th to Friday, May 21st, 2021. The three-day event includes three keynote talks and seven sessions as well as a number of social events in the form of a virtual tour along the many beautiful and historical places in Iran. The preliminary conference programme can be found at: http://www.fsen.ir/2021/Programme.aspx Attendance is free of charge but requires registration. Please register no later than May 1st at: http://www.fsen.ir/2021/Registration.aspx Keynote Speakers ---------------- Marta Kwiatkowska, University of Oxford Mira Mezini, Technische Universität Darmstadt Pavol Cerny, Vienna University of Technology PC Co-Chairs ------------ Hossein Hojjat, University of Tehran, Iran Mieke Massink, CNR-ISTI, Italy From events at aaisi.org Mon Mar 29 14:01:27 2021 From: events at aaisi.org (AAISI - Events Helpdesk) Date: Mon, 29 Mar 2021 14:01:27 +0200 Subject: [fg-arc] AI Colloquium Talk (Bias in AI-systems), Registration Deadline: 30.03.2021 11:59 AM Message-ID: <2FA8026B-218F-453F-BB03-4897BCA61F1A@aaisi.org> Hello together, Just as a reminder, today is the last registration deadline to our this week’s online invited AI speech. Please register as soon as possible, since the registration is limited. Invited speaker: Prof. Eirini Ntoutsi, Professor and Director, Institute of Computer Science, Free University of Berlin, Germany. Title: “Bias in AI-systems: A multi-step approach” Date & Time : 30.03.2021, 16:00 CEST (10:00 EST) Registration Link: http://tiny.cc/210330 ---------------------------------------------------------------------------------------------------------------------- Next Week’s Invited Speaker: Invited Speaker: Dr. Mohammad Shokoohi Yekta, Senior Data Scientist, Microsoft Title: “Hottest Trends and Challenges of Deep Learning" Date & Time: 06 Apr. 2021, 16:00 CEST (10:00 EST) Registration Link: http://tiny.cc/210406 ---------------------------------------------------------------------------------------------------------------------- For any questions and difficulties, you can reach us anytime by email. Best Regards, AAISI Helpdesk, on behalf of Asst. Prof. Dr. Mahdi Bohlouli, General Chair, The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: events at aaisi.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Mar 29 16:46:21 2021 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 29 Mar 2021 16:46:21 +0200 Subject: [fg-arc] Call for Papers: HCSE-Workshop at INTERACT 2021 (submit by April 30) Message-ID: <27f1b468-402b-62c3-aa89-2ca5b0beba47@uni-paderborn.de> Broken Weblink to workshop homepage fixed! Sorry for the erroneous posting! *International Workshop on Human-Centered Software Engineering for Changing Contexts of Use* *organized by IFIP Working Group 13.2 on Methodologies for User-Centered Systems Design* *August 31, 2021 * *https://sites.google.com/view/hcse-workshop-interact2021/* *at INTERACT 2021 **- The 18th IFIP TC 13 International Conference on Human-Computer Interaction*** *August 30 – September 3, 2021 Bari, Italy* *Call for Papers* *Submissions: **position papers reporting original academic or industrial research relevant to the workshop's theme (PDF files, 6-10 pages in Springer LNCS format)* *Deadline for submission: April 30, 2021* *Theme* The context of use plays an important role in Human-Centered Software Engineering (HCSE) and Human-Computer Interaction (HCI) research. Typically, user, environment, and platform are considered to make up the core aspects of the context of use. Changing the context of use, for example due to unplanned circumstances like the current pandemic situation, has significant impact on how we use systems, and how we adapt and adopt them even if the systems were not designed for such usages. In HCSE research we have to account for this change, making interactive system development context-aware or design and develop in a way that systems can adapt for novel forms of usage. Recently, we observe developments that strongly change contexts of use. For example, in the area of industrial automation (Industry 4.0) work environments change, new kinds of user assistance evolve, and workers are going to be supported by innovative types of devices and digital assistance tools to accomplish their working tasks. Typical examples are augmented, virtual, and mixed reality applications in training or support situations. The COVID-19 pandemic has drastically changed where and the way how we work, particularly in collaboration with others to keep distance and increase personal safety. In contrast, the trend towards increasingly autonomous systems and systems that use and provide artificial intelligence gives rise to new kinds of interaction, particularly, human-machine interaction (HMI), in areas such as autonomous driving or human-robot collaboration in different domains such as industrial production, logistics, or health. These trends should be accounted for in the way we design and build such interactive systems, possibly coming to evolutionary or even revolutionary solutions. For example, expected or unforeseen changes of usage scenarios and their context of use may be accounted for by flexible and more resilient system solutions and be reflected in the development practices and technical frameworks. Specific kinds of interaction such as HMI, but also social and socio-technical interaction may demand for more prominent and explicit consideration. Quality aspects such as ubiquity, security, and safety may be seen in a different light. Changing contexts of use may even have an impact on the way we think about user motivation and user experience, away from short-term notions like emotions towards long-term traits like users’ values. We want to specifically account for these developments in addition to the general concerns of HCSE. Discussions and interactive working sessions will particularly deal with these concerns. *Objective* In this workshop, we aim to broaden the traditional scope of the workshop series of IFIP Working Group 13.2. We focus on the study of context of use, its long-term evolutionary trends as well as its short-term design and management in a user-centered design process, from a social and user-centered methodological viewpoint as well as from a technical viewpoint. Our aim is to cover a large set of user interface perspectives, aspects, and properties and fuel new ideas and approaches for research and practice. The long-term perspective of this workshop is to foster the development of theories, methods, tools and approaches for dealing with the changing context of use and its impact on HCI and collaboration that should be taken into account when developing interactive and socio-technical systems. This workshop is a follow-up of the successful workshops organized at INTERACT 2017 in Mumbai, India and INTERACT 2019 in Paphos, Cyprus . *Target Audience and Expected Outcomes* This workshop is open to everyone who is interested in aspects of human-computer interaction froma user-centered perspective. Typical contributions to this workshop focus on user interface properties while designing and building interactive systems and study associated methods, processes and approaches. We expect a high participation of IFIP Working Group 13.2 members. We particularly invite participants to present position papers describing real-life case studies that illustrate the role of the context of use in HCI and its impact on thesystem design and use. Any perspective and related aspects of user interface design are welcome. However, we are especially interested in work that deals with current trends that change the way how humans use, interact and collaborate with technical components in socio-technical systems. We are also interested in methods, theories and tools for managing context of use at design and run-time. Position papers will be made available through the workshop website. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT workshops organized by the IFIP TC13 Working Groups. *Workshop Format* This full-day workshop is organized around presentation of position papers and working activities in small groups. From the set of contributions, a subset of selected case studies will be invited to be presented at the beginning of the workshop and will be used to support the discussion that follows. The morning session will be dedicated to welcoming participants and presenting case studies. Participants will be invited to comment on the case studies and to report similar experiences. The afternoon sessions will be devoted to interactive sessions, where participants will be engaged to work in small groups and propose solutions to the problems of the case studies seen in the morning. Solutions proposed by the participants will be compiled and compared. Based on the lessons learned, participants will be incited to draft an agenda of future work that can be accomplished. We plan to run the workshop in a hybrid setting, allowing attendees to participate both physically and remotely in the workshop. If circumstances require it, we intend to switch to a completely digital format that will be run online. We will continuously adapt to any decision regarding the conference format by the INTERACT 2021 organizers. *Submission Instructions* In order to attend the workshop, participants are invited to submit position papers reporting original academic or industrial research relevant to the workshop's theme. These position papers (PDF files, 6-10 pages in Springer LNCS format , including abstract) shall report practical experiences related to research results on user-centered development processes for interactive systems with a particular focus on context-of-use aspects and the impact on software properties. Submissions are not anonymous and should include all author names, affiliations, and contact information. Authors should also provide in their submission a short summary of their experience in the field and their motivation to participate in this workshop. Papers are submitted through the EasyChair website . Submitted position papers will be reviewed by an international program committee comprising the organizers and selected members of IFIP Working Group 13.2 who are experts in the field. Participants will be invited to attend the workshop based on the result of the reviewing process. Accepted position papers will be made available through the workshop website. Upon acceptance, at least one author of each accepted position paper must register and attend the workshop. Furthermore, an extended version of selected papers will be considered for inclusion in a Springer LNCS post-proceedings volume published in conjunction with the other INTERACT 2021 workshops organized by the IFIP TC13 Working Groups. *Important Dates* Deadline for submission: April 30, 2021 Acceptance notification: June 11th, 2021 Final version of position paper: June 28, 2021 Workshop date: August 31, 2021 *Organizers * Stefan Sauer, Paderborn University, Germany (sauer[at]uni-paderborn.de) Regina Bernhaupt, Eindhoven University of Technology, The Netherlands (r.bernhaupt[at]tue.nl) Carmelo Ardito, Polytechnic University of Bari, Italy (carmelo.ardito[at]poliba.it) *Venue* The workshop will be hosted in the frame of the 18th IFIP TC13 International Conference on Human-Computer Interaction, August 30 – September 3, 2021, in Bari, Italy. Look at the main conference web site for further information (https://www.interact2021.org/ ). -------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_signature Type: application/pgp-signature Size: 840 bytes Desc: OpenPGP digital signature URL: