From shang at encs.concordia.ca Tue Jun 1 16:15:48 2021 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Tue, 1 Jun 2021 10:15:48 -0400 Subject: [fg-arc] Call for 2021 SPEC Kaivalya Dixit Distinguished Dissertation Award Message-ID: The SPEC Kaivalya Dixit Distinguished Dissertation Award aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. The winner will receive $1000, which will be awarded at the ICPE 2022 International Conference on Performance Engineering Submission Guidelines A nomination consists of one PDF file less than 20MB that must include the following information in this order: · A nomination letter with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. The nomination letter should outline the outstanding contributions of the dissertation and should not exceed 2 pages (letter size) using 11 point font. · A C.V. of the nominee (up to three pages) that clearly marks all publications/technical reports that are included in the dissertation. · The dissertation itself, including a one-page extended abstract of the dissertation. If the dissertation is written in language other than English, it may be accompanied by publications, in English, describing the same research as the dissertation. SPEC Kaivalya Dixit Distinguished Dissertation Award is open to dissertations that have been defended between October 2020 and September 2021. If there are several outstanding submissions, the committee may split the award between them. The submission deadline is September 30, 2021. Nominations are welcome at any time before the final submission deadline. Nominations should be uploaded to EasyChair [at URL: https://easychair.org/conferences/?conf=spec2021award ] The nomination can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people – especially experts in performance evaluation – can do so as well. List of Topics The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. Selection committee · Mathew Colgrove (NVIDIA, OR, USA) · David Daley (MongoDB, NY, USA) · William Knottenbelt (Imperial College London, UK) · Andrea Marin (Università Ca' Foscari di Venezia, Italy) · John Murphy (University College Dublin, Ireland) (Chair) · Rekha Singhal (Tata Consultancy Services, India) · Evgenia Smirni (College of William and Mary, VA, USA) Contact All questions about submissions should be emailed to nominations at spec dot org -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.garcia-dominguez at aston.ac.uk Thu Jun 3 13:57:07 2021 From: a.garcia-dominguez at aston.ac.uk (Garcia-Dominguez, Antonio) Date: Thu, 3 Jun 2021 11:57:07 +0000 Subject: [fg-arc] CfP: Hands-on Workshop on Collaborative Modeling 2021 (HoWCoM) Message-ID: ================================================================= CALL FOR PAPERS 1st International Hands-on Workshop on Collaborative Modeling 2021 (HoWCoM) 10 - 12 October 2021 -- Virtual Edition https://howcom2021.github.io/ Co-located with the MODELS 2021 conference ================================================================= HoWCoM aims to bring together developers of collaborative MDE tools, and the extended modeling community, to discuss and enable the evaluation of these tools by hands-on experimentation. The results of the evaluations will be used to assess the features, maturity, and challenges of the domain. ***TOPICS OF INTEREST*** The topics of interest include, but are not limited to: -Real-time synchronous means of collaboration -Asynchronous means of collaboration -(In)consistency management -Advanced conflict visualization and resolution techniques -Data-level collaborative techniques -Domain-specific collaborative solutions -Informal means of collaboration -Semantic techniques (versioning, visualization, etc.) -Human factors in collaboration -Submissions ***SUBMISSIONS*** We invite the following three types of submissions. -CASE PAPERS (up to 10 pages) elaborating on a collaborative case, and demonstrating its solution via a tool of choice. The description of the case should include a general challenge, and an example scenario of that challenge. Authors of the accepted papers will be invited to give a talk during the morning session, and their tools will be used during the afternoon session. The submitted cases will be used by the organizers to construct the modeling tasks of the afternoon session. Please refer to the specific instructions for case papers on the official website. -VISION PAPERS (5 pages) presenting innovative ideas. Authors of the accepted vision papers will be invited to give a regular talk. -EXTENDED ABSTRACTS (1 page) presenting innovative ideas or position statements. Authors of the accepted extended abstracts will be invited for a lightning talk. All submitted papers must adhere to the IEEE Conference format, and submitted electronically through EasyChair. All submissions will be reviewed by at least 3 members of the program committee. Authors of case papers should expect a particularly detailed feedback to allow them to leverage the opportunity the workshop provides to the fullest extent. Case papers and vision papers will be published in the MODELS Companion proceedings. Extended abstracts will not be published. All accepted papers will be available on the workshop website prior to the start of the workshop. To be published in the proceedings, at least one author of an accepted paper must present their work at the workshop. Additionally, authors of accepted case papers commit to conduct a hands-on session for their tool during the afternoon session. ***IMPORTANT DATES*** -July 16, 2021 - Abstract submission deadline. -July 23, 2021 - Paper submission deadline. -August 21, 2021 - Notification of acceptance. -August 28, 2021 - Final papers submission deadline. -September 6–10, 2021 [Case papers only] - Technical preparations. -September 30, 2021 [Case papers only] - Final case descriptions. -October 1, 2021 - Final program announced. -October 10-12, 2021 - Workshop. ================================================================= ***PROGRAM COMMITTEE*** -Sanaa Alwidian, Ontario Tech University, Canada -Kousar Aslam, VU Amsterdam, Netherlands -Jordi Cabot, ICREA / Open University of Catalonia, Spain -Juan de Lara, Universidad Autonoma de Madrid, Spain -Davide Di Ruscio, Università degli Studi dell'Aquila, Italy -Steven Kelly, MetaCase, Finland -Sahar Kokaly, General Motors / McMaster University, Canada -Ivano Malavolta, VU Amsterdam, Netherlands -Gunter Mussbacher, McGill University, Canada -Blazho Nastov, Axellience, France -Ahsan Qamar, Ford Motor Company, USA -Alexander Raschke, Ulm University, Germany -Taylor Riche, National Instruments, USA -Vasco Sousa, University of Montreal, Canada -André van der Hoek, University of California Irvine, USA -Manuel Wimmer, Johannes Kepler University Linz, Austria ***ORGANIZING COMMITTEE*** -Istvan David, University of Montreal, Canada -Eugene Syriani, University of Montreal, Canada -Antonio Garcia-Dominguez, Aston University, UK From sebastian.goetz1 at tu-dresden.de Thu Jun 10 08:23:57 2021 From: sebastian.goetz1 at tu-dresden.de (=?UTF-8?Q?Sebastian_G=c3=b6tz?=) Date: Thu, 10 Jun 2021 08:23:57 +0200 Subject: [fg-arc] Call for Papers: 15th International Workshop Models@run.time at MODELS 2021 Message-ID: Call for Papers 15th International Workshop Models at run.time at MODELS 2021 at MODELS 2021 Workshop dates: October 10–12, 2021 Virtual (Fukuoka, Japan) https://mrt21.bitbucket.io Call for Papers: https://mrt21.bitbucket.io/CFP2021.pdf ------------------------ ------------------------ ------------------------ Workshop Motivation ------------------------ Motivation The complexity of adapting software during runtime has spawned interest in how models can be used to validate, monitor, and adapt runtime behavior. The use of models during runtime extends the use of modeling techniques beyond the design and implementation phases. The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We aim to continue the discussion of research ideas and proposals from researchers who work in relevant areas such as MDE, software architectures, reflection, and autonomic and self-adaptive systems, and provide a "state-of-the-art" research assessment expressed in terms of challenges and achievements Goals ------------------------ The objectives of this year’s edition of the models at run.time workshop are: a) to foster work on novel topics covering fundamental as well as applied research on models at run.time or, in general, work that attempts to apply model-driven techniques at runtime, b) to bring together researchers from the model-driven software development community of different specialized areas including model evolution, model transformation, model validation and multi-paradigm modeling and c) to discuss the applicability of research results on models at run.time to industrial case studies. Moreover, we plan to use the workshop as a meeting place for the community and want to collect and classify research results of the past 10 years for an overview paper of the maturing research area. Workshop Format ------------------------  Workshop format The workshop participants will be selected based on their experience and ideas related to this maturing field. You are invited to apply for attendance by sending • a full paper (10 pages) on original research, lessons learned from realizing an approach or experiences on transferring a research prototype into practice, • a position paper (6 pages) covering a well-argued vision or position, • a demo paper (2 pages) describing a demonstration to be shown at the workshop, • an artifact paper (2 pages) together with the artifact, which is of use to the community (e.g., a reusable case study or a challenging example) or • a short motivation (max. 100 words) to give a 5-minute lightning talk, to introduce yourself to the community at the end of the first session of the workshop. All papers have to be formatted according to the IEEE format of the main conference and will be published via CEUR-WS. Artifacts will be published in ReMoDD, the repository for model-driven development (http://www.cs.colostate.edu/remodd/v1/). Motivations for lightning talks will not be published. At least three PC members will review each submission. The authors will be notified about acceptance before the MODELS 2021 early registration deadline. Topics of Interest Papers on models at run.time can relate (but are not limited) to the following domains: - Machine Learning models: runtime models created by and for machine learning approaches - Cyber-physical Systems: hybrid runtime models - Digital Twins (DT), DevOps, Microservices, CyberSecurity, Systems of Systems: runtime models to make Innovative Industrial Applications autonomic and self-adaptive - Business Processes: runtime models of (business) workflows - Cloud Computing: runtime models for, e.g., multi-tenant systems - Self-modeling: approaches able to create models on-the-fly - Self-adaptive and self-organizing systems in general We strongly encourage authors to address the following topics in their papers: - The causal connection between the system and the runtime model, with particular focus on a transaction concept for this causal connection (timing, roll-back ability, and data consistency) - Distributed models at run.time, i.e., having multiple, interacting systems, each having an own runtime model - Modular models at run.time, i.e., approaches to improve the modularity of models at run.time systems - Co-evolving models at run.time, i.e., systematic approaches to synchronize multiple, interacting models at run.time systems - No papers on executable models, unless they are causally (bi-)connected to a running system (else consider submitting to the co-located workshop on executable modeling). Further Information Web site: https://mrt21.bitbucket.io Contact: Sebastian Götz (sebastian.goetz at acm.org) Organizers ------------------------ Sebastian Götz (main contact) TU Dresden, Germany Antonio Bucchiarone Fondazione Bruno Kessler, Italy Nelly Bencomo Aston University, UK For further information, please send us an email at mdederun2021 at easychair.com . Program Committee ------------------------ Walter Cazzola Uni. Milano, Italy Luciano Baresi Politecnico di Milano Thais Batista Federal University of Rio Grande do Norte Carlos Cetina San Jorge University Antonio Cicchetti Mälardalen University Federico Ciccozzi Mälardalen University Peter Clarke Florida International University Fabio Costa Federal University of Goias Martina De Sanctis Gran Sasso Science Institute - GSSI Antonio Filieri Imperial College London Nikolaos Georgantas INRIA Ta’id Holmes Google Gang Huang Peking University Paola Inverardi Università dell'Aquila Mahdi Manesh Porsche Digital GmbH Lionel Seinturier University of Lille Rui, Silva Moreira Universidade Fernando Pessoa & INESC Porto Matthias Tichy Ulm University Markus Voelter itemis, Stuttgart Vadim Zaytsev University of Twente Uwe Zdun University of Vienna -- Dr.-Ing. Sebastian Götz Researcher (tenured) Technische Universität Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2084 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5245 bytes Desc: S/MIME Cryptographic Signature URL: From miguel-areias at dcc.fc.up.pt Mon Jun 7 12:09:09 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Mon, 7 Jun 2021 11:09:09 +0100 Subject: [fg-arc] CFP - Workshop on Probabilistic Logic Programming (PLP 2021) Message-ID: =========================================================================                           CALL FOR PAPERS     PLP 2021: The Eighth Workshop on Probabilistic Logic Programming                   http://stoics.org.uk/plp/plp2021 =========================================================================    A workshop of 37th International Conference on Logic Programming                        September 20-27, 2021                      (the event will be virtual) ========================================================================= ** Deadline for submissions: August 1st 2021 Overview ******** Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus breaking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software This list is by no means exhaustive. Purpose ******** After seven successful editions of this workshop, the eighth edition of PLP will be held at the ICLP virtual conference organised by the University of Porto. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP. Submissions *********** Submissions will be managed via EasyChair (to be announced). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results; work in progress; and technical summaries of recent substantial contributions.  Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication *********** Informal proceedings will be made available electronically to attendees and submitted to CEUR Workshop Proceedings repository (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ********* Papers due: August 1st, 2021 Notification to authors: September 1st, 2021 Camera ready version due: September 10th, 2021 Workshop date: September 20-27, 2021 (all dates are AoE) Invited Speaker(s) ****************** TBA Programme Committee Chairs ************************** Rafael Penaloza (University of Milano-Bicocca, Italy) Felix Weitkämper (LMU München, Germany) Programme Committee ******************* TBA ========================================================================= From C.E.Brandt at tudelft.nl Wed Jun 2 15:18:18 2021 From: C.E.Brandt at tudelft.nl (Carolin Brandt) Date: Wed, 2 Jun 2021 13:18:18 +0000 Subject: [fg-arc] Special Issue on "Visualization applied to Software Engineering" in the Information and Software Technology Journal Message-ID: ==================================== Call for submission to Special Issue on "Visualization applied to Software Engineering" in the Information and Software Technology Journal ==================================== https://www.journals.elsevier.com/information-and-software-technology/call-for-papers/visualization-applied-to-software-engineering Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from information visualization and computer graphics and applying these in the software engineering domain. This special issue on software visualization aims to bring together a community of researchers from software engineering, information visualization, computer graphics, human-computer interaction, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. === Topics of interest include: • Innovative visualization and visual analytics techniques for analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks like StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data • Visualization to support software development activities, including design, requirements engineering, program comprehension, software testing, and debugging • Interaction techniques and algorithms for software visualization • Visualization-based techniques in software engineering education • Integration of software visualization tools with development environments • Empirical evaluation of software visualizations • Industrial experience with using software visualization • Applications of new technologies to enhance software visualization, including virtual reality, augmented reality, gamification, and machine learning • Analytical approaches to understand software-related aspects based on data science concepts === Important Dates: • Submission deadline: 17th December 2021 • Author Notification: 90 days (3 months) === Submission Guidelines All submissions should follow the journal submission guidelines, including maximum length requirements and having a structured abstract. The guidelines for authors can be found at: https://www.elsevier.com/journals/information-and-software-technology/0950-5849/guide-for-authors All manuscripts submission and review will be handled through the Editorial Manager system: https://www.editorialmanager.com/infsof/Default.aspx . When submitting, please select the following article type from the special issues: “VSI: VSE”. === Guest Editors Paul Leger, Universidad Católica del Norte, Chile. Alexandre Bergel, University of Chile, Chile. Juan-Pablo Sandoval Alcocer, Universidad Católica Boliviana “San Pablo”, Bolivia. Leonel Merino, Universität Stuttgart, Germany. === Link to Special Issue: https://www.journals.elsevier.com/information-and-software-technology/call-for-papers/visualization-applied-to-software-engineering -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: Message signed with OpenPGP URL: From announce at cs.ucy.ac.cy Mon Jun 7 16:04:47 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 7 Jun 2021 17:04:47 +0300 Subject: [fg-arc] First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021): Fifth Call for Papers Message-ID: *** Fifth Call for Papers *** First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021) November 8-10, 2021, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/ihaw2021/ (Proceedings to be published by Springer; Special Journal Issue with SN Computer Science) ICT for Health, Accessibility and Wellbeing (IHAW 2021) is the first of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: • AI and Cognition, Cognitive Mechatronics, Human-Machine Interaction, Cobotics, Model-based design and configuration tools for healthcare and well-being, AI methods for medical device testing • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self-management, patient-centered systems for survivorship, palliation and/or end-of-life care) • Precision medicine • ICT for in-silico trials • Implantable medical devices • Computational methods for medical device • Models for human-device interaction for medicine • Systems promoting access to the socio-economical and cultural environment • Age-friendly systems for active and healthy aging (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection) • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition) • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention) • New experimental validation methods with end-users • Standardization, certification, labeling, privacy, security and communication issues (related to aging well, to sensory impairment) High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Early works and works- in-progress are invited to submit a short or demo paper. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Special Session on Active Assisted Living (AAL) Do you do research or commercial work in the active and healthy ageing area and you want to participate in the discussion driving the future of healthy ageing? Do you have a funded project in the AAL programme and would like to present the results of the project? Then the Special Session on AAL is the perfect opportunity for you to be involved in an ecosystem that promotes active and healthy ageing. This special session at the IHAW 2021 conference aims to bring together the community of healthy ageing to present their results and to discuss the existing opportunities in health technology and reflect on the future of ageing well in the digital world. You will be presented with the opportunity to meet and discuss with several stakeholders from universities, industry, regional and national authorities, private companies working with older adults and many more. You can use the opportunity to showcase the best practices and find solutions to challenges through presentations, discussions, workshops and networking. The Special Session on AAL is the ideal meeting place for presenting the results from cutting-edge, funded AAL projects, as well as independent research or commercial work in the active and healthy ageing area, performed from: • Universities and research institutions • End-user organisations and companies working with older adults • Industry professionals involved in the technology sector with an interest in active and healthy ageing • Health care and social care providers • Individuals and organisations implicated in the AAL funded projects The goal of this Special Session is to engage researchers and all relevant stakeholders of the healthy ageing value chain into networking and discussions to present their experiences and provide answers and solutions to problems and issues faced by older adults. This community is of great importance since it drives and aims to achieve better conditions and a healthier and improved society for the future of older adults. The proactive involvement of the community in conceptualising, designing and developing cost-effective systems that offer services to serve our ageing society, as well as the presentation of the solutions and discussion and exchange of ideas in this special session aims to drive and cultivate innovative thinkers, creative people and change makers in the area of active and healthy ageing. Please follow the submission guidelines and important dates as they are stated below and make sure that under the abstract of your submitted paper there is the statement: "Submitted to the Special Session on AAL". Accepted papers will be published by Springer in the CCIS Series. Submissions We invite three types of paper submissions: 1. Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field 2. Short papers, up to 6 pages, describing original unpublished research, making a small but solid contribution to the field 3. Demos, up to 4 pages, describing innovative tools that address topics relevant to the conference All submissions will be reviewed by the Program Committee. Accepted contributions will appear in the archival proceedings of IHAW 2021, published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899), and will be presented in plenary sessions of the conference. The authors of the best papers accepted for IHAW2021 will be invited to submit extended versions for a special issue with SN Computer Science (https://www.springer.com/journal/42979). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and should specify on the first page the type of submission ("R&T", "Short", "Demo"). The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/conferences/?conf=icihaw2021 . Important Dates • Submission Deadline: July 7, 2021 (AoE) • Notification: August 23, 2021 • Camera-Ready Submission Deadline: September 6, 2021 • Author Registration Deadline: September 6, 2021 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Salim Bouhlel, University of Sfax, Tunisia Scientific Vice-Chair and Special Session Chair • Achilleas Achilleos, Frederick University, Cyprus Publicity Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Finance Chair • Petros Stratis, Easy Conferences LTD., Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From C.E.Brandt at tudelft.nl Wed Jun 2 15:18:19 2021 From: C.E.Brandt at tudelft.nl (Carolin Brandt) Date: Wed, 2 Jun 2021 13:18:19 +0000 Subject: [fg-arc] Call for Tool Demos & Second Call for Papers: VISSOFT 2021 - 9th IEEE Working Conference on Software Visualization Message-ID: <921AB54B-F952-486D-9B60-ACB7F44649F8@tudelft.nl> ==================================== VISSOFT 2021: 9th IEEE Working Conference on Software Visualization Call for Tool Demos ++++ Second Call for Papers (Abstract Deadline June 11th) ==================================== Call for Tool Demos ============ https://vissoft.info/2021/submission.html#demo === Goal and Scope: The tool demo session is an opportunity for researchers and practitioners to present and discuss visualization-related tools in an informal setting. It is open to authors of VISSOFT papers as well as to authors of visualization-related tools published at ICSME and SCAM from both the current year and the previous year. === How to submit: Please submit your tool demo proposal to https://easychair.org/conferences/?conf=vissoft2021 including - a title, - a short description (max. 500 words), and - a teaser video (max. 1 min). In addition to presenting your tool demo at VISSOFT, you have the option to present it at ICSME. If you want to use this option please send a mail with the above-mentioned information to Eleni Constantinou (e.constantinou at tue.nl) and Xavier Devroey (x.d.m.devroey at tudelft.nl). === Important Dates: Tool demo submission: September 1, 2021 Notification: September 12, 2021 Presentation (VISSOFT): September 27, 2021 Presentation (ICSME): see https://icsme2021.github.io/ === Track Chair: Richard Müller (rmueller at wifa.uni-leipzig.de), Leipzig University, Germany Call for Papers ============ Conference website: https://vissoft.info/2021/ Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from areas such as information visualization, human-computer interaction, computer graphics, and data science, and applying these in the software engineering domain. The VISSOFT conference is principally a venue for publishing and discussing research related to software visualization. Consequently, VISSOFT brings together a community of researchers from software engineering, information visualization, human-computer interaction, computer graphics, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. This year’s VISSOFT, co-held with ICSME, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, evaluations, applications/design studies, systems and formalisms, and papers that present novel ideas and tools. === Topics of interest include: - Innovative visualization and visual analytics techniques for analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks like StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data - Visualization to support software development activities, including design, requirements engineering, software maintenance, program comprehension, software performance, software testing, and debugging - Interaction techniques and algorithms for software visualization - Visualization-based techniques in software engineering education - Integration of software visualization tools with development environments - Empirical evaluation of software visualizations, including eye-tracking - Industrial experience with using software visualization - Applications of new technologies to enhance software visualization, including virtual reality, augmented reality, gamification, and machine learning - Analytical approaches to understand software-related aspects based on data science concepts We solicit papers that present original, unpublished research results. Papers will be rigorously reviewed by an international program committee. In addition to technical papers, VISSOFT features a New Ideas and Emerging Results and Tool Demo (NIER/TD) track. All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. Submission Types =============== ==== Technical papers: A technical paper contribution must describe an in-depth and mature research result relevant to software visualization. The content of a technical paper can be at a maximum 10 pages long (including all figures, tables, and appendices). However, the 10 page limit does not include the bibliography, which is limited by two additional pages. The submission of a video (up to 5 minutes in length) to accompany the paper is highly encouraged to show interaction possibilities. Authors who wish to submit a video can submit the video together with their paper if the size of the video is smaller than 50 MB, alternatively a URL to the video could be provided. Authors of technical papers that do not receive an acceptance recommendation from reviewers can, eventually, be invited to adapt the paper and make it acceptable for the NIER/TD track. Awards: VISSOFT 2021 will award best technical papers. Special issue: A selection of best papers will be invited to submit extended versions for tentative publication in a Special Section of the journal of Information and Software Technology published by Elsevier http://www.elsevier.com/locate/infsof Artifact evaluation: Paper authors are encouraged to submit research artifacts (e.g., tools, data repositories, frameworks, videos) to the artifact evaluation track of ICSME. Please find further details in https://icsme2021.github.io/ == Important Dates: Paper Abstract: June 11, 2021 Paper Submission: June 18, 2021 Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference: September 27-28, 2021 (to be confirmed) Submission link: https://easychair.org/conferences/?conf=vissoft2021 ==== NIER/TD Track: The NIER/TD Track of VISSOFT accepts two types of contributions: NIER (New Ideas and Emerging Results) and Tool Demonstrations (TD). Both NIER and TD contributions have a page limit of 5 (including bibliography). NIER contributions describe work-in-progress and preliminary exciting results. Authors are encouraged to include open questions and even provocative hypotheses to get early feedback on their research ideas. A sound evaluation is not required for NIER contributions. One of the goals of the NIER Track is to foster collaboration among different research groups. Tool Demonstrations (TD) describe the design or actual utilization of software visualization tools, with a focus on the architecture of the tool or its use to gain new insights. During the conference, we will organize an informal tool demonstration session where authors of TD papers are invited to demonstrate their tools. The submission may also contain a link to a screencast (e.g., YouTube or Vimeo) to show the interaction possibilities offered by the tool. == Important Dates: Paper Abstract: June 11, 2021 Paper Submission: June 18, 2021 Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference: September 27-28, 2021 (to be confirmed) Submission link: https://easychair.org/conferences/?conf=vissoft2021 ==== Journal First Track A submission to the VISSOFT 2021 call for journal-first paper presentations must adhere to the following criteria: - The paper was accepted to a relevant journal and it is in the scope of the conference - The paper was published between June 1, 2018 and June 10, 2021: - The paper reports new research results and/or presents novel contributions that significantly extend, and were not previously reported in, prior work - The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences Authors of a paper that meets these criteria are invited to submit a one-page presentation proposal consisting of the paper’s title, the paper’s authors, a short statement on how the work satisfies the journal first criteria, and a pointer to the original journal paper at the journal’s Web site. If the paper is not online yet, then specify so. The original paper should also be uploaded during submission. If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and present the paper at the conference. The journal-first manuscripts are published through the journals and will not be part of the Conference proceedings. The journal-first papers will be listed in the conference program. Journal first presentations will have the same presentation time than technical papers. == Important Dates: Paper Submission: July 2, 2021 Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference: September 27-28, 2021 (to be confirmed) Submission link: https://easychair.org/conferences/?conf=vissoft2021 How to submit ============ Technical papers must not exceed 10 pages (including figures and appendices) plus up to 2 pages that contain ONLY references. NIER/TD papers must not exceed 5 pages including references. Journal-first presentations must submit a one-page proposal. Papers must strictly adhere to the two-column IEEE conference proceedings format. Please use the available IEEE Manuscript Templates for Conference Proceedings: https://www.ieee.org/conferences/publishing/templates.html Supplemental material (e.g., video, data, software) that might be helpful for the reviewers can be submitted together with your paper. All material must be included in a single ZIP file. Note that VISSOFT uses a single-blind review process (i.e., the authors' names and affiliations are revealed to reviewers but reviewers' identities are not revealed to authors). The authors do not need to anonymize their papers. Important Dates ============= All dates refer to midnight 23:59:59 AoE (http://www.timeanddate.com/time/zones/aoe ). Paper Abstract: June 11, 2021 Paper Submission: June 18, 2021 (Technical Papers, NIER/TD Track) July 2, 2021 (Journal First Track) Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference Date: September 27-28, 2021 (to be confirmed) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: Message signed with OpenPGP URL: From miguel-areias at dcc.fc.up.pt Thu Jun 3 16:17:40 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Thu, 3 Jun 2021 15:17:40 +0100 Subject: [fg-arc] CFP - Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021) Message-ID: =========================================================================                           CALL FOR PAPERS          CAUSAL 2021: Workshop on Causal Reasoning and Explanation                       in Logic Programming                   https://sites.google.com/view/causal2021/ =========================================================================    A workshop of 37th International Conference on Logic Programming                        September 20-27, 2021                      (the event will be virtual) ========================================================================= Important Dates *************** * Paper submission:  July 17th 2021 * Notification:      July 31st 2021 * Final Versions:    August 15th 2021 * Workshop Date:     TBA (in September 20-27, 2021) Overview ******** Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. Topics of interests include (but are not limited to): ***************************************************** * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Learning causal relations and information * Novel causal benchmarks * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explainable AI * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format, available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The workshop invites submissions of two types: * Full papers not exceeding 13 pages (excluding references) * Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2021 At least one co-author of each accepted paper must register for and attend the workshop.  Please check the ICLP 2021 website (https://iclp2021.dcc.fc.up.pt/) for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Organizers ********** * Emily LeBlanc, US Naval Research Lab, USA   (emily.leblanc at nrl.navy.mil) * Joost Vennekens, KU Leuven, Belgium * Tran Cao Son, New Mexico State University, USA * Pedro Cabalar, Corunna University, Spain * Jorge Fandiño, University of Nebraska at Omaha, USA * Marcello Balduccini, Saint Joseph's University, USA * Yuliya Lierler, University of Nebraska at Omaha, USA ========================================================================= From miguel-areias at dcc.fc.up.pt Wed Jun 9 19:17:10 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Wed, 9 Jun 2021 18:17:10 +0100 Subject: [fg-arc] CFP - Workshop on Machine Ethics and Explainability - The Role of Logic Programming (MEandE-LP 2021) Message-ID: <6dde9778-0436-31c5-cfef-50d096571ca7@dcc.fc.up.pt> =========================================================================                           CALL FOR PAPERS               MEandE-LP 2021: 1st Workshop on Machine Ethics               and Explainability-The Role of Logic Programming                   https://sites.google.com/view/meande2021 =========================================================================    A workshop of 37th International Conference on Logic Programming                        September 20-27, 2021                      (the event will be virtual) ========================================================================= AIMS AND SCOPE ************** Machine Ethics, Explainability are two recent topics that have been attracting a lot of attention and concern in the last years. This global concern has manifested in many initiatives at different levels. There is an intrinsic relation between these two topics. It is not enough for an autonomous agent to behave ethically, it should also be able to explain its behavior, i.e. there is a need for both ethical component and explanation component. Furthermore, an explainable behavior is obviously not acceptable if it is not ethical (i.e., does not follow the ethical norms of the society). In many application domains especially when human lives are involved (and ethical decisions must be made), users need to understand well the system recommendations, so as to be able to explain the reasons for their decisions to other people.One of the most important ultimate goals of explainable AI systems is the efficient mapping between explainability and causality. Explainability is the system ability to explain itself in natural language to average user by being able to say, "I generated this output because x,y,z". In other words, the ability of the system to state the causes behind its decision is central for explainability. However, when critical systems (ethical decisions) are concerned, is it enough to explain system's decisions to the human user? Do we need to go beyond the boundaries of the predictive model to be able to observe a cause and effect within the system? There exists a big corpus of research work on explainability, trying to explain the output of some blackbox model following different approaches. Some of them try to generate logical rules as explanations. However, It is worth noting that most methods for generating post-hoc explanations are themselves based on statistical tools, that are subject to uncertainty or errors. Many of the post-hoc explainability techniques try to approximate deep-learning black-box models with simpler interpretable models that can be inspected to explain the black-box models. However, these approximate models are not provably loyal with respect to the original model, as there are always trade-offs between explainability and fidelity. On the other side, a good corpus of researchers have used inherently interpretable approaches to design and implement their ethical autonomous agents. Most of them are based on logic programming, from deontic logics to non-monotonic logics and other formalisms. Logic Programming has a great potential in these two emerging areas of research, as logic rules are easily comprehensible by humans, and favors causality which is crucial for ethical decision making . Anyway, in spite of the significant amount of interest that machine ethics has received over the last decade mainly from ethicists and artificial intelligence experts, the question "are artificial moral agents possible?" is still roaming around.There have been several attempts for implementing ethical decision making into intelligent autonomous agents using different approaches. But, so far, no fully descriptive and widely acceptable model of moral judgment and decision making exists. None of the developed solutions seem to be fully convincing to provide a trusted moral behavior. The same goes for explainability, in spite of the global concern about the explainability of the autonomous agents' behaviour, existing approaches do not seem to be satisfactory enough. There are many questions that remain open in these two exciting, expanding fields. This workshop aims to bring together researchers working in all aspects of machine ethics and explainability, including theoretical work, system implementations, and applications. The co-location of this workshop with ICLP is intended also to encourage more collaboration with researchers from different fields of logic programming.This workshop provides a forum to facilitate discussions regarding these topics and a productive exchange of ideas. Topics of interest include (but not limited to): ************************************************ * New approaches to programming machine ethics; * New approaches to explainability of blackbox models; * Evaluation and comparison of existing approaches; * Approaches to verification of ethical behavior; * Logic programming applications in machine ethics; * Integrating logic programing with methods for machine ethics; * Integrating logic programing with methods for explainability. SUBMISSIONS *********** The workshop invites two types of submissions: * original papers describing original research. * non-original paper already published on formal proceedings or journals. Original papers must be formatted using the Springer LNCS style available here: * regular papers must not exceed 14 pages (including references) * extended abstract must not exceed 4 pages (excluding references) Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=meandelp2021 IMPORTANT DATES **************** * Paper submission deadline:  August 2, 2021 * Author Notification:        August 18, 2021 * Camera-ready articles due:  August 25, 2021 Workshop:                     TBA (in September 20-27, 2021) PROCEEDINGS *********** Authors of all accepted original contributions can opt for to publish their work on formal proceedings.  Accepted non-original contributions will be given visibility on the workshop web site including a link to the original publication, if already published. Accepted original papers will be published (details will be added soon). LOCATION ******** Fully Virtual. WORKSHOP CHAIRS *************** * Abeer Dyoub, DISIM, University of L'Aquila. * Fabio Aurelio D’Asaro, Logic Group, Department of Philosophy, University of Milan. * Ari Saptawijaya, Faculty of Computer Science, University of   Indonesia. PROGRAM COMMITTEE ***************** TBA ========================================================================= From a.dabrowski at uci.edu Thu Jun 10 20:12:19 2021 From: a.dabrowski at uci.edu (Adrian Dabrowski) Date: Thu, 10 Jun 2021 20:12:19 +0200 Subject: [fg-arc] 5th Reversing and Offensive-oriented Trends Symposium (ROOTS 2021) Message-ID: <78a1a336-518d-14a8-a476-6907db905dc3@uci.edu> Reversing and Offensive-oriented Trends Symposium 2021 (ROOTS) =============================================================== https://www.roots-conference.org/cfp.html Call for Papers ================ The Reversing and Offensive-oriented Trends Symposium, an academic workshop, is again co-located with the DeepSec conference in its fifth year. ROOTS solicits contributions that focus on theorems and root shells: In security, two things you absolutely cannot argue with. Security is hard to define. Most often, security is defined by its absence. For scientists, this is particularly unsatisfactory. A lack of definition increases the difficulty to find suitable quantitative and qualitative models. It is an academic landscape that needs further surveying. ROOTS explores how exploitation, reverse engineering, and offensive techniques fit into and enrich that field, as well as surveying the territory as a whole. The first European symposium of its kind, ROOTS aims to provide an industry-friendly academic platform to discuss trends in exploitation, reversing, offensive techniques, and effective protections. Submissions should provide novel attack forms, describe novel reversing techniques, or effective deployable defenses. Submissions can also provide a comprehensive overview of the state-of-the-art, and pinpoint promising areas that have not received appropriate attention in the past. Topics of interest include but are not limited to: - New exploitation techniques and methodologies - New reverse engineering techniques and methodologies - The science of (in)security - The role of exploitation in the science of security - The role of reverse engineering in the science of security - Novel approaches to security scalability, in the actual world or in simulated environments (CTF) - New unintended programming and execution models (“weird machines”) wherein the program is encoded in data, metadata, descriptors, etc. - Automated code analysis and semantic understanding - Formal models of exploitation and formal methods for exploitation - Systematization of knowledge in exploitation - Systematization of knowledge in reverse engineering - Exploitation of trending platforms and architectures: IoT, cloud, SDNs, etc. - Reverse engineering of trending platforms and architectures: embedded systems, IoT, cloud, SDNs, etc. - Exploitation perspectives on emerging trust models: SGX, enclaves, blockchains, etc. PC & Publisher =============== Program Chairs: Adrian Dabrowski (University of California, Irvine), René Pfeiffer (DeepSec) General chair: Edgar Weippl (Universität Wien, SBA Research) Program & Review Committee 2021 ================================ Patroklos Argyroudis (CENSUS S.A.) Jean-Philippe Aumasson (Kudelski Security, Switzerland) Sergey Bratus (Dartmouth College) Martina Lindorfer (University of Technology, Vienna) Georg Merzdovnik (SBA Research) Marius Muench (VU Amsterdam) Sebastian Neuner (Google LLC) Marcus Niemietz (Ruhr-University Bochum) Konrad Rieck (TU Braunschweig) Sebastian Schinzel (Münster University of Applied Sciences) Juraj Somorovsky (Paderborn University) Alexios Voulimeneas (KU Leuven) Stefano Zanero (Politecnico di Milano) Publication ============ Similar to 2017-2020, proceedings will be published via ACM's Digital Library. See http://authors.acm.org/main.html for details about the author's rights. Submission instructions ======================== Submissions to ROOTS are not limited in page count, but their length should be commensurate with the results. We expect that 5--10 pages of two-column PDF using the sigconf template should be sufficient. We encourage submissions of papers based on results previously presented at industry or hacker conferences, so long as the papers themselves have not been presented or published elsewhere. We also encourage Systematization of Knowledge (SoK) submissions. Papers should be submitted through https://easychair.org/conferences/?conf=roots2021. Submissions should be anonymous and direct references to the author should be blinded or written as a 3rd person reference, where possible. Additionally, submissions should not contain endorsements of specific products or vendors. Important dates ================ Submission deadline: August 20 (anywhere in the world) Author notification: October 1 Camera-ready papers due: October 22 Workshop and DeepSec: November 18/19 Travel cost reimbursement ========================== Authors will be expected to present their papers at ROOTS. ROOTS (co-located with DEEPSEC) will follow the industry conference practice of reimbursing presenters for lodgings at the conference hotel (limited to two nights) and up to EUR 800 of other travel expenses. From thanh.dinhvan at gmail.com Thu Jun 10 16:50:20 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Thu, 10 Jun 2021 21:50:20 +0700 Subject: [fg-arc] Call for Applications: Doctoral Consortium of KR 2021 (deadline: June 30) Message-ID: <67ebc28b-470f-8681-1b23-43f211c05bc6@gmail.com> KR Doctoral Consortium Call for Applications November 3-12, 2021 Virtual (Originally: Hanoi, Vietnam) https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research,   and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic,   research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. Accepted students will participate in several dedicated DC events, which are planned to include a lightning talk session, a poster session, a mentoring event, and a DC invited talk. Details will be announced in due time. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. Note that due to the ongoing global Covid-19 pandemic, KR 2021 and all of the DC events will take place online. 2) APPLICATION SUBMISSION Applications must be submitted through the EasyChair conference system (a link will be provided later). Each application must contain the following elements combined into a single PDF document: (1) Thesis summary. A description of the problem being addressed, your     motivation for addressing the problem, proposed plan of research,     the progress to date (what you have already achieved and what     remains to be done), and related work. It must be four pages     maximum and use the same style as for KR paper submissions. (2) Curriculum Vitae. A description of your background and relevant     experience (research, education, employment), of two pages     maximum. (3) Letter of recommendation. A letter from your thesis advisor that     states that he/she supports your participation in the DC. (4) Optionally, a suggestion of up to 5 potential mentors with similar     research interests, who could give good advice on technical     aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published their research, and are encouraged to submit papers to workshops associated to KR 2021. 3) IMPORTANT DATES Application deadline: June 30, 2021 Acceptance notification: July 21, 2021 Doctoral Consortium: November 3 - 12, 2021 For further information, please contact the DC chairs: Jens Classen, Simon Fraser University (jens_classen at sfu.ca) Magdalena Ortiz, TU Vienna (ortiz at kr.tuwien.ac.at) From ecsa.publicity at gmail.com Thu Jun 10 20:04:58 2021 From: ecsa.publicity at gmail.com (ECSA Publicity) Date: Thu, 10 Jun 2021 20:04:58 +0200 Subject: [fg-arc] [Deadlines in 2 weeks] CFP: 15th European Conference on Software Architecture (ECSA 2021) Message-ID: ********************************************************** CFP: 15th European Conference on Software Architecture (ECSA 2021) Växjö, Sweden, September 13-17, 2021 (virtual) ********************************************************** Web: https://conf.researchr.org/home/ecsa-2021 Twitter: @ECSACONF The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The 15th European Conference on Software Architecture (ECSA 2021) will be held from 13 to 17 September 2021. ECSA 2021 was originally planned in the beautiful city of Växjö Sweden. Yet due to COVID-19 and considering what impact this may have on the conference, the ECSA Steering and Organizing Committee decided to organize ECSA 2021 as a virtual event. We would like to express our empathy and condolences with those affected by COVID-19. Our primary concern is that members of our community, and their families and friends, remain safe and well. ***SPECIAL ISSUE*** Selected papers from the conference will be considered for a Special Issue on “Architecting for the Digital Society” in the Journal of Systems and Software (JCR IF 2.450): https://www.journals.elsevier.com/journal-of-systems-and-software/call-for-papers/special-issue-on-architecting-for-the-digital-society ***SCOPE*** ECSA 2021 aims to focus on how Software Architecture can enable the success of the next generation of software-enabled systems to address the challenges of society, such as health, climate, sustainability, mobility, diversity, and future of production. This raises questions such as: What are the current research successes that position Software Architecture at the core of the ability to build and sustain systems of the future? What automation, tools, and techniques do software architects and engineers need in order to ensure architectures developed are adaptable, evolvable, verifiable, and meet their quality and functional requirements? The program committee of 15th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research, new methods, approaches, and processes, novel applications, approaches for education and training in software architecture, and experience reports on all topics related to software architecture including, but not limited to: - Foundational principles of software architecture - Linking requirements engineering and software architectures - Quality attributes and software architectures - Architectural design, analysis and evaluation - Architecture description languages and meta-models - Architecture verification and validation - Management of architectural knowledge, decisions, and rationale - Cross-disciplinary efforts and software architecture - Architectures for reconfigurable and self-adaptive systems - Architectural concerns of autonomic systems - Architectural patterns, styles and tactics, reference architectures - Architecture viewpoints and views - Architecture conformance - Software architecture and virtualization - Architecture-centric process models and frameworks - Software architecture and agility, continuous integration, continuous development and DevOps tools - Component-based models and deployment, middleware - Software architecture and system architecture, including software-defined networking - Software tools and environments for architecture-centric software engineering - Cultural, economic, business, social and managerial aspects of software architecture - Software architecture in different areas such as the cloud/edge-cloud, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems of systems, energy-aware software - Architecture and technical debt - Empirical studies, systematic literature reviews, and mapping studies in software architecture. ***PAPER SUBMISSIONS*** ECSA 2021 seeks three types of papers for the research track: - Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) - Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices in teaching and training of software architecture. - Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in-progress or challenges in a topic of software architecture research or education and training software architectures. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous peer review process. Papers will be selected based on originality, quality, soundness and relevance. All contributions must be original, not published, accepted or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. For this aim, plagiarism checking will be conducted and any paper reporting more than 20% of coincidence will be desk-rejected. All contributions must be formatted according to the Springer LNCS style ( http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The aforementioned limit of pages includes figures and references. Contributions need to be submitted in pdf format via EasyChair to the ECSA 2021 Research Track. The proceedings will be published by Springer-Verlag as part of the Lecture Notes in Computer Science (LNCS) series. ***IMPORTANT DATES*** Main Conference & Journal First - Notification of papers June 14, 2021 - Camera ready June 29, 2021 Industry Program - Notification of full papers June 14, 2021 - Full papers camera ready June 29, 2021 ---------------------------------------------------------------- - Short papers and presentations submission June 25, 2021 - Notification of short papers and presentations July 16, 2021 - Short papers camera ready July 29, 2021 Tools & Demos, Diversity, Equity and Inclusion & Doctoral Symposium: - Papers submission June 25, 2021 - Notification of papers July 16, 2021 - Camera ready July 29, 2021 Submission dates are 23:59h AoE (anywhere on Earth). Submission dates are strict and no extensions will be granted. ***ORGANIZERS*** - General Co-Chair, Raffaela Mirandola, Politecnico di Milano, Italy - General Co-Chair, Danny Weyns, KU Leuven, Belgium and Linnaeus University, Sweden - Program Co-Chair, Stefan Biffl, Technische Universität Wien, Austria - Program Co-Chair, Elena Navarro, University of Castilla‐La Mancha, Spain - Industrial Co-Chair, Marjan Sirjani, Malardalen University, Sweden - Industrial Co-Chair, Welf Löwe, Linnaeus University, Sweden - Workshop & Tutorial Co-Chair, Patrizia Scandurra, University of Bergamo, Italy - Workshop & Tutorial Co-Chair, Matthias Galster, University of Canterbury, New Zealand - Tool Demos Co-Chair, Romina Spalazzese, Malmö University, Sweden - Tool Demos Co-Chair, Ilias Gerostathopoulos, Vrije Universiteit Amsterdam, Netherlands - DE&I Co-Chair, Ingrid Nunes, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil - DE&I Co-Chair, Thomas Vogel, Humboldt-Universität zu Berlin, Germany - Doctoral Symposium Co-Chair, Genaina Rodrigues, University of Brasilia, Brazil - Doctoral Symposium Co-Chair, Radu Calinescu, University of York, United Kingdom - Journal First Chair, Tomi Männistö, University of Helsinki, Finland - Proceeding Chair, Robert Heinrich, Karlsruhe Institute of Technology (KIT), Germany - Publicity Co-Chair, Aurora Macías, University of Castilla-La Mancha, Spain - Publicity Co-Chair, Jürgen Musil, TU Wien, Austria - Local Chair, Diana Unander, Linnaeus University, Sweden - Virtualization Co-Chair, Mauro Caporuscio, Linnaeus University, Sweden - Virtualization Co-Chair, Romain Christian Herault, Linnaeus University, Sweden - Web Chair, Mirko D’Angelo, Ericsson Research, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Sat Jun 12 11:20:52 2021 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Sat, 12 Jun 2021 11:20:52 +0200 (CEST) Subject: [fg-arc] CFP FCA4AI 2021 (Workshop at IJCAI 2021): deadline extension Message-ID: <1756311652.27906351.1623489652652.JavaMail.zimbra@loria.fr> hello all, sorry for multiple receptions, the deadline for submissiosn is extended until June 26 2021! ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Nineth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2021, Montréal, Canada August 21 2021 http://www.fca4ai.hse.ru/2021 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (from ECAI 2012 until ECAI 2020) showed that many researchers working in Artificial Intelligence are indeed interested by powerful techniques for classification and data mining provided by Formal Concept Analysis. Again, we have the chance to organize a new edition of the workshop in Montréal, co-located with the IJCAI 2021 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there are many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis, as well as on hybridization with other formalisms. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA. As usual, the FCA4AI workshop is dedicated to discuss such issues, and in particular: - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing... - By contrast, how the current developments in AI can be integrated within FCA to help AI researchers to solve complex problems in their domain. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, dimensionality reduction, classification, clustering, and biclustering. - Pattern mining, subgroup discovery, exceptional model mining, interestingness measures, MDL-based approaches in data mining. - Machine learning and hybridization: neural networks, random forests, SVM, and combination of classifiers with FCA. - Knowledge engineering, knowledge representation and reasoning, and ontology engineering. - Scalable and distributed algorithms for FCA and artificial intelligence, and for mining big data. - AI tasks based on FCA: information retrieval, recommendation, social network analysis, data visualization and navigation, pattern recognition... - Practical applications in agronomy, biology, chemistry, finance, manufacturing, medicine... The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 26 2021 Notification to authors: July 16 2021 Final version: July 31 2021 Workshop: August 21 2021 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 12 pages, - system descriptions or position papers on work in progress not exceeding 6 pages. Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2021 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-2729, Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Sebastian Rudolph Technische Universität Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From emily.leblanc at nrl.navy.mil Mon Jun 14 15:13:18 2021 From: emily.leblanc at nrl.navy.mil (Leblanc, Emily C CIV USN NRL (5512) Washington DC (USA)) Date: Mon, 14 Jun 2021 13:13:18 +0000 Subject: [fg-arc] =?utf-8?b?Q0FVU0FMwqAyMDIxwqBDYWxswqBmb3LCoFBhcGVyc8Kg?= =?utf-8?q?=28workshop_of_ICLP-21=29?= Message-ID: <9BD9165F-3592-4BC5-B800-37F25720FF94@mail.nrl.navy.mil> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming CALL FOR PAPERS *** CAUSAL 2021 *** CAUSAL 2021 is a workshop of ICLP 2021, to be held virtually September 20-27, 2021. Additional details about virtual attendance will be announced soon. ----------------------------------------------------- CAUSAL 2021 Important Dates * Paper submission: July 17th 2021 * Notification: July 31st 2021 * Final Versions: August 15th 2021 * Workshop Date: TBA (in September 20-27, 2021) ----------------------------------------------------- Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Learning causal relations and information * Novel causal benchmarks * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explainable AI * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format, available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The workshop invites submissions of two types: * Full papers not exceeding 13 pages (excluding references) * Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2021 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2021 website (https://iclp2021.dcc.fc.up.pt/) for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Organizers ---------- * Emily LeBlanc, US Naval Research Lab, USA (emily.leblanc at nrl.navy.mil) * Joost Vennekens, KU Leuven, Belgium * Tran Cao Son, New Mexico State University, USA * Pedro Cabalar, Corunna University, Spain * Jorge Fandiño, University of Nebraska at Omaha, USA * Marcello Balduccini, Saint Joseph's University, USA * Yuliya Lierler, University of Nebraska at Omaha, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From thanh.dinhvan at gmail.com Thu Jun 10 16:47:30 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Thu, 10 Jun 2021 21:47:30 +0700 Subject: [fg-arc] Call for Papers: Recently Published Research Track at KR 2021 (deadline: June 27) Message-ID: <77767ee7-8083-1721-a84e-f9185e64d9a5@gmail.com> Call for Papers *Recently Published Research Track* at the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 3-12, 2021, Virtual (originally: Hanoi, Vietnam) https://kr2021.kbsg.rwth-aachen.de ------------------ Important Dates ------------------ Submission deadline: June 27, 2021, Notification: July 30, 2021 Conference: November 3-12, 2021 ------------------ The 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, invites submissions of abstracts of papers previously published in journals and conference proceedings for the Recently Published Research Track. The track is designed to provide a forum to discuss recent research on topics related to KR that may not be immediately familiar or easily accessible to the KR community. The track seeks papers that fall into one or both of the following two categories: 1) Papers that -- bridge KR to other areas of AI, computer science, or to other disciplines for which an interface with KR exists (this includes database theory, game theory, social choice, logic and philosophy, etc.); -- bridge KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding, machine learning, explainable AI; or -- go beyond the commonly-understood boundaries of KR. 2) Papers that are tightly related to KR and -- have been published in journals but have not been presented at workshops or conferences; -- have been presented at conferences that are not typically attended by the KR community; or -- have been accepted at general high-profile AI conferences such as IJCAI, ECAI, or AAAI, where the time allotted has not allowed for full discussion of all key aspects of the paper. Submitted papers need only be of interest to a subcommunity in KR (like DL, argumentation, NMR, etc.). However, they need to be made friendly to a KR audience. Submission materials: — A cover page (single page) listing the title, the authors, a complete reference to the original paper, and a public or privately accessible url from which the paper can be downloaded. A list of keywords is also expected. Finally, the cover page must contain a statement that the work the submission is based on has not been already presented to a KR audience in a major forum. — A one-page (preferred) and no more than two-page extended abstract of the paper following the format for regular paper KR 2021 submissions. The abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results. — A single pdf file with the materials should be submitted to the KR submission site at EasyChair. The authors should mark the submission as Recently Published Research. Submissions must meet the following criteria: a. Candidate papers must have been published in a journal or a conference proceedings in 2019 or later. b. Papers that are in press may be submitted as long as the final camera-ready version is available. c. Extensions of papers that have been previously presented at a KR conference are not eligible for this track. Extended abstracts of the accepted papers will be linked from the conference website. Authors of accepted papers will present their work at the KR conference, focussing on its significance and relevance to KR. Significant time will be allocated for discussion of the interdisciplinary aspects of the work and its potential impact on future research opportunities for KR. Note that due to the ongoing global Covid-19 pandemic, KR 2021 will take place as a fully online event. For any questions regarding suitability of a submission or any other aspect of the track, please email the special track program co-chairs: Vladimir Lifschitz, vl at cs.utexas.edu Pierre Marquis, marquis at cril.univ-artois.fr From facs.conf.2021 at gmail.com Wed Jun 16 15:08:59 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Wed, 16 Jun 2021 15:08:59 +0200 Subject: [fg-arc] FACS 2021 - Final Call for Papers Message-ID: ============================================================================= ** ** Final 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; * formal syntax and semantics of modeling languages; * 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; * rigorous model-based analysis; * 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. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issue of the International Journal on Software and Systems Modeling (SoSyM). ## 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 facs.conf.2021 at gmail.com Tue Jun 29 14:25:44 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Tue, 29 Jun 2021 14:25:44 +0200 Subject: [fg-arc] FACS 2021 - Final CfP with Extended Deadline Message-ID: ============================================================================= ** ** Final 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: July 9, 2021 (extended) * Paper: July 16, 2021 (extended) * 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; * formal syntax and semantics of modeling languages; * 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; * rigorous model-based analysis; * 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. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issue of the International Journal on Software and Systems Modeling (SoSyM). ## 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 stefano.forti at di.unipi.it Thu Jun 17 15:37:01 2021 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Thu, 17 Jun 2021 15:37:01 +0200 Subject: [fg-arc] IEEE WETICE 2021 - CfP - Second Round Message-ID: ======================================================================================= IEEE WETICE 2021 The 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Website: http://wetice.org ======================================================================================= Important Dates (Second Round) Submission deadline: July 18, 2021 Notification to authors: August 17, 2021 Camera-ready deadline: September 10, 2021 Conference (online): 27-29 October 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 Cassia.Trojahn at irit.fr Mon Jun 28 11:07:07 2021 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 28 Jun 2021 11:07:07 +0200 Subject: [fg-arc] =?utf-8?q?=5BVirtual_OM-2021=5D_2nd_CFP=3A_16th_worksho?= =?utf-8?q?p_on_Ontology_Matching_collocated_with_ISWC?= Message-ID: <74c6-60d99100-295f-30da7680@17903813> ** Apologies for multiple postings ** ------------------------------------------------------------------------------ SECOND CALL FOR CONTRIBUTIONS THE SUBMISSION DEADLINE IS ON AUGUST 9TH, 2021 ------------------------------------------------------------------------------ The Sixteenth International Workshop on ONTOLOGY MATCHING (OM-2021) http://om2021.ontologymatching.org/ October 25th, 2021, International Semantic Web Conference (ISWC) Workshop Program, VIRTUAL CONFERENCE BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2021 campaign: http://oaei.ontologymatching.org/2021/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios (e.g., public sector, homeland security); Application of matching techniques in real-world scenarios (e.g., in cloud, with mobile apps); Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2021 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than August 9th, 2021) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2021 Contributors to the OAEI 2021 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2021/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 9th, 2021: Deadline for the submission of papers. September 6th, 2021: Deadline for the notification of acceptance/rejection. September 20th, 2021: Workshop camera ready copy submission. October 25th, 2021: OM-2021, Virtual Conference. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France PROGRAM COMMITTEE (to be completed): Alsayed Algergawy, Jena University, Germany Manuel Atencia, INRIA & Univ. Grenoble Alpes, France Zohra Bellahsene, LIRMM, France Jiaoyan Chen, University of Oxford, UK Valerie Cross, Miami University, USA Jérôme David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Daniel Faria, Instituto Gulbenkian de Ciéncia, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulic, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Naouel Karam, Fraunhofer, Germany Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linköpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Fiona McNeill, Heriot Watt University, UK Peter Mork, MITRE, USA Axel Ngonga, University of Paderborn, Germany George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Kavitha Srinivas, IBM, USA Pedro Szekely, University of Southern California, USA Valentina Tamma, University of Liverpool, UK Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- Best Regards, Cassia Trojahn https://www.irit.fr/~Cassia.Trojahn/ From miguel-areias at dcc.fc.up.pt Tue Jun 29 15:20:19 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Tue, 29 Jun 2021 14:20:19 +0100 Subject: [fg-arc] 2nd CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021) Message-ID: =========================================================================                           CALL FOR PAPERS      ICLP DC 2021 - 17th Doctoral Consortium (DC) on Logic Programming ========================================================================= The 17th 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 preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2021/iclp-2021-doctoral-consortium The DC will take place during the 37th International Conference on Logic Programming (ICLP) https://iclp2021.dcc.fc.up.pt (September 20-27, 2021), as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates *************** Paper submission: July 15, 2021 Notification: August 01, 2021 Camera-ready copy: August 10, 2021 DC presentations: TBA (fully virtual event) DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming (https://sites.google.com/view/iclp-dc-2021/autumn-school-on-logic-programming). Audience ******** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning,    Knowledge representation. ** Languages: Concurrency, Objects, Coordination, Mobility, Higher    Order, Types, Modes, Assertions, Modules, Meta-programming,    Logic-based domain-specific languages, Programming Techniques. ** Declarative programming: Declarative program development, Analysis,    Type and mode inference, Partial evaluation, Abstract    interpretation, Transformation, Validation, Verification,    Debugging, Profiling, Testing, Execution visualization. ** Implementation: Virtual machines, Compilation, Memory management,    Parallel/distributed execution, Constraint handling rules, Tabling,    Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and Co-inductive Logic    Programming, Constraint Logic Programming, Answer Set Programming,    Interaction with SAT, SMT and CSP solvers, Logic programming    techniques for type inference and theorem proving, Argumentation,    Probabilistic Logic Programming, Relations to object-oriented and    Functional programming. ** Applications: Databases, Big Data, Data integration and federation,    Software engineering, Natural language processing, Web and Semantic    Web, Agents, Artificial intelligence, Computational life sciences,    Education, Cybersecurity, and Robotics. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants *********** Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals ***** ** To provide doctoral students working in the fields of logic and    constraint programming with a friendly and open forum to present    their research ideas, listen to ongoing work from peer students,    and receive constructive feedback. ** To provide students with relevant information about important    issues for doctoral candidates and future academics. ** To develop a supportive community of scholars and a spirit of    collaborative research. ** To support a new generation of researchers with information and    advice on academic, research, industrial, and non-traditional    career paths. Submission Details ****************** Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees.  The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2021 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: ** Introduction and problem description ** Background and overview of the existing literature ** Goal of the research ** Current status of the research ** Preliminary results accomplished (if any) ** Open issues and expected achievements ** Bibliographical references Review Criteria *************** The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration ************ Registration is part of the ICLP 2021 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs ***************** Bart Bogaerts, Vrije Universiteit Brussel Carmine Dodaro, University of Calabria Program Committee ***************** Daniela Inclezan, Miami University OH Johannes Fichte, TU Dresden Fabio Fioravanti, University of Chieti-Pescara Gregory Gelfond, University of Nebraska at Omaha Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique Matthias Van der Hallen, KU Leuven Yi Wang, Arizona State University Jessica Zangari, University of Calabria From miguel-areias at dcc.fc.up.pt Tue Jun 15 12:33:05 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Tue, 15 Jun 2021 10:33:05 -0000 Subject: [fg-arc] CFP - Workshop on Goal-directed Execution of Answer Set Programs (GDE 2021) Message-ID: <92e3865e-53d2-11e1-7a52-8f79581a0461@dcc.fc.up.pt> =========================================================================                           CALL FOR PAPERS     GDE 2021: Workshop on Goal-directed Execution of Answer Set Programs                   https://utdallas.edu/~gupta/gde21 =========================================================================    A workshop of 37th International Conference on Logic Programming                        September 20-27, 2021                     (the event will be virtual) ========================================================================= Workshop Aim: ************* Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present. Tentative list of topics include: ********************************* * Non-grounding based implementations of ASP * Constructive Negation * Implementation Technology for Goal-directed ASP * Applications of Goal-directed ASP * Query-driven Constraint ASP * System Description * Tabling in goal-directed ASP Systems * Coinductive Logic Programming and ASP Submission Instructions: ************************ Technical papers, position papers, as well as extended abstracts are welcome.  Papers should be maximum 15 pages long and in LNCS Format. Email the paper in pdf format to the workshop organizers by the deadline date. Important Dates: **************** Paper Submission: August 5, 2021 Decision Notification: August 15, 2021 Workshop Date: TBA (During one of ICLP'21 Conference days) Invited Speakers: ***************** TBA Organizers: *********** *Gopal Gupta, The University of Texas at Dallas, USA;  Gopal.Gupta at utdallas.edu *Joaquin Arias, Joaquin Arias, Universidad Rey Juan Carlos, Spain;  Joaquin.Arias at urjc.es *Elmer Salazar, The University of Texas at Dallas, USA;  Elmer.Salazar at utdallas.edu Program Committee: ****************** TBA ========================================================================= From mhecher at gmail.com Thu Jun 17 18:01:32 2021 From: mhecher at gmail.com (markus hecher) Date: Thu, 17 Jun 2021 18:01:32 +0200 Subject: [fg-arc] ASPOCP 2021: Call for Papers Message-ID: Apologies for cross-posting =============================================================================== CALL FOR PAPERS ASPOCP 2021 14th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/view/aspocp2021 Some day in September 20 - 27, 2021 (ICLP Workshop) Affiliated with 37th International Conference on Logic Programming https://iclp2021.dcc.fc.up.pt September 20 - 27, 2021 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and knowledge compilation. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published in formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the CEURART style available here. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/my/conference?conf=aspocp2021. IMPORTANT DATES Abstract submission deadline: July 1, 2021 Paper submission deadline: July 8, 2021 Notification: July 31, 2021 Camera-ready articles due: August 10, 2021 Workshop: Some day in September 20-27, 2021 PROCEEDINGS Authors of all accepted original contributions can opt for publishing their work in formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers will appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. LOCATION Virtual WORKSHOP CO-CHAIRS Jessica Zangari, University of Calabria, Italy Markus Hecher, TU Wien, Austria -------------- next part -------------- An HTML attachment was scrubbed... URL: From lahby at ieee.org Sat Jun 19 10:47:51 2021 From: lahby at ieee.org (mohamed Lahby) Date: Sat, 19 Jun 2021 09:47:51 +0100 Subject: [fg-arc] [Springer Book] Call for Direct submission of full chapters: Combating Fake News with Computational Intelligence Techniques Message-ID: [Apologies, if you receive multiple copies of this CFC] Dear Colleagues/Friends/Students/Fellows, Please find a Call for Chapters below. The deadline is short. We are looking for a few more high-quality chapters to be added to this book's current content. The deadline for submission of proposal is: *10 July, 2021.* Those who have got their proposals accepted or chapters submitted may ignore this and encourage others to contribute only high-quality chapters. Regards, M. LAHBY Editor ============================================================ *Call for Book Chapters* *Edited Book: Combating Fake News with Computational Intelligence Techniques* *Publication in "Studies in Computational Intelligence ", by Springer and indexed by (Scopus)* *Call for Chapters: **Call for Chapters Link * *Submission link: Submission link * *Chapter Submission Deadline: July 10, 2021 * ----------------------------------------------------------------------------- Editors of the Springer Book "*Combating Fake News with Computational Intelligence Technique*s" invites submissions containing Original, High Quality Ideas that are relevant to the SCOPE OF THE BOOK. The chapter proposal may kindly be sent in Latex or Word format. EXPERIENCED Authors and Contributors in the field of Big Data intelligence may kindly submit their chapter. All chapter proposals that conform to submission guidelines will be peer reviewed and evaluated based on originality, technical and research content, depth, correctness, relevance to scope of the book and readability. For details the following website may kindly be referred: ------------------------------------------------------ Call for chapters Website *Topics of Interest:* This book targets a mixed audience of researchers, academics and professionals from different communities to share and exchange new ideas, approaches, theories and practices to resolve the challenging issues associated with the leveraging of combating fake news with computational intelligence techniques. Therefore, the suggested topics of interest for this book include, but are not limited to: - Artificial Intelligence for fake news detection - Feature extraction algorithms for content manipulation - Fake News Detection Techniques in the era of pandemics - Fake video detection in social media - Fake image detection in social media - Benchmarking disinformation detection systems - NLP for social media analysis - Sentiment analysis methods for fake news detection - Benchmarking disinformation detection systems - Data mining based predictive models - Detection and analysis of disinformation, hoaxes and fake news - Blockchain Technology on Fake News - Feature Analysis on Fake News Detection/Prevention - Fake news detection in social media - Feature engineering on Fake News - Case studies and real-world applications (e.g., media sector, internet content search engines, educational sector, agri-food sector, etc.) - Machine learning and soft computing methods for media content and disinformation analysis *Submission Procedure:* Authors are invited to submit their full chapters by *July 10, 2021*. Manuscripts submitted for the book must be original, must not be previously published or currently under review anywhere. Submitted manuscripts should respect the standard guidelines of the Springer book chapter format. Manuscripts must be prepared using Latex, or Word, and according to the Springer requirements that can be downloaded from the (*link *) and the Chapter should contain in between *15-24 pages*. Manuscripts that do not follow the formatting rules will be rejected without review. Prospective authors should send their manuscripts electronically through the easychair submission system as mentioned below: *Submission Link:* *https://easychair.org/my/conference?conf=citfn2021* *NB:* There are *no submission or acceptance fees* for manuscripts submitted to this book publication. All manuscripts are accepted based on a double-blind peer review editorial process. *Abstracting and Indexing:* The accepted chapters will be published in "*Studies in Computational Intelligence *" by *Springer*, *h-index = 40*, highly indexed in *Scopus, EI, DBPL, etc*… *Contact: * For questions regarding the book, please contact the *Lead volume editor*: - *Mohamed Lahby*: lahby @ieee.org We look forward to hearing from you. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Wed Jun 23 12:59:01 2021 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Wed, 23 Jun 2021 10:59:01 +0000 Subject: [fg-arc] CfP: FMTea21 --> Formal Methods Teaching Workshop and Tutorial, Nov 21, 2021, ONLINE Message-ID: [ Please distribute, apologies for multiple postings. ] ========================================================= Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) 21 November 2021, *online* Co-located with the 24th International Symposium on Formal Methods, FM 2021 FMTea21 is a one-day combined workshop and tutorial that brings together researchers and educators working on formal methods to share their experiences in teaching formal methods, discuss key challenges, and stimulate collaboration that can lead to ways to reboot the presence of formal methods in curricula. FMTea21 will be an online event at the 24th International Symposium on Formal Methods, FM2021. More details can be found on the workshop website: https://fmtea.github.io ========================================================= Invited Speakers ======================== - Tobias Nipkow (Technical University Munich, Germany) Provisional title: "Teaching Algorithms and Data Structures with a Proof Assistant" - A second invited speaker will be announced soon! Important Dates ======================== - 2 July 2021: Deadline for submission of papers (AoE) - 2 August 2021: Notifications to authors - 17 September 2021: Deadline for camera-ready version - 21 November 2021: FMTea21 Workshop (online) Objectives and Scope ======================== Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations. This discussion is now more important than ever due to the challenges and opportunities that arose from the pandemic, which forced many educators to adapt and deliver their teaching online. Exchange of ideas is critical to making these new online approaches a success and having a greater reach. Topics ======================== In the workshop part of the event, we welcome papers detailing experiences with FM Teaching, including papers discussing successes and failures of various methods, case studies, tools, etc. Given the increasing importance of online teaching and self-learning, we also welcome reports of experiences with online teaching, including experiences with teaching formal methods via MOOCs. We invite novel papers that cover, but are not limited to, the following aspects: - Experiences and proposals related with "traditional" FM learning and teaching - Experiences and proposals related with online FM learning and teaching - Integrating/embedding FM teaching/thinking within other computer science courses - Teaching FM for industry - Innovative learning and teaching methods for FM Submission Details ======================== FMTea21 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. As in previous events, the conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files. Papers should not exceed 15 pages in length. Submissions should be made using the FMTea21 Easychair web site: https://easychair.org/conferences/?conf=fmtea21 All accepted papers must be remotely presented at the workshop. Authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2021 organizers, and present the paper. Organization ======================== FMTea21 is organized by FME’s Teaching Committee, whose broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, the committee manages a list of FM courses taught worldwide (https://fme-teaching.github.io) and plans to collect other resources as well, such as FM case studies, FM inspirational papers, etc. Program Committee ======================== - João F. Ferreira (co-chair), INESC-ID & IST, University of Lisbon, Portugal - Alexandra Mendes (co-chair), INESC TEC & University of Beira Interior, Portugal - Claudio Menghi (co-chair), University of Luxembourg, Luxembourg - Sandrine Blazy, University of Rennes 1, France - Brijesh Dongol, University of Surrey, UK - Catherine Dubois, ENSIIE, France - Rustan Leino, Amazon Web Services, US - José N. Oliveira, University of Minho, Portugal - Luigia Petre, Åbo Akademi University, Finland - Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil - Kristin Rozier, Iowa State University, US - Pierluigi San Pietro, Politecnico di Milano, Italy - Emil Sekerinski, McMaster University, Canada - Graeme Smith, The University of Queensland, Australia - Kenji Taguchi, CAV, Japan Contact ======================== All questions about submissions should be emailed to the chairs. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Jun 27 12:23:00 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 27 Jun 2021 13:23:00 +0300 Subject: [fg-arc] First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021): Last Call for Papers Message-ID: <2UJWHZNJ-G3ZC-TO60-EVO0-ZAUMDFD2M1A@cs.ucy.ac.cy> *** Last Call for Papers *** First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021) November 8-10, 2021, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/ihaw2021/ (Proceedings to be published by Springer; Special Session on AAL, see below; Special Journal Issue with SN Computer Science) ICT for Health, Accessibility and Wellbeing (IHAW 2021) is the first of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: • AI and Cognition, Cognitive Mechatronics, Human-Machine Interaction, Cobotics, Model-based design and configuration tools for healthcare and well-being, AI methods for medical device testing • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self-management, patient-centered systems for survivorship, palliation and/or end-of-life care) • Precision medicine • ICT for in-silico trials • Implantable medical devices • Computational methods for medical device • Models for human-device interaction for medicine • Systems promoting access to the socio-economical and cultural environment • Age-friendly systems for active and healthy aging (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection) • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition) • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention) • New experimental validation methods with end-users • Standardization, certification, labeling, privacy, security and communication issues (related to aging well, to sensory impairment) High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Early works and works- in-progress are invited to submit a short or demo paper. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Special Session on Active Assisted Living (AAL) Do you do research or commercial work in the active and healthy ageing area and you want to participate in the discussion driving the future of healthy ageing? Do you have a funded project in the AAL programme and would like to present the results of the project? Then the Special Session on AAL is the perfect opportunity for you to be involved in an ecosystem that promotes active and healthy ageing. This special session at the IHAW 2021 conference aims to bring together the community of healthy ageing to present their results and to discuss the existing opportunities in health technology and reflect on the future of ageing well in the digital world. You will be presented with the opportunity to meet and discuss with several stakeholders from universities, industry, regional and national authorities, private companies working with older adults and many more. You can use the opportunity to showcase the best practices and find solutions to challenges through presentations, discussions, workshops and networking. The Special Session on AAL is the ideal meeting place for presenting the results from cutting-edge, funded AAL projects, as well as independent research or commercial work in the active and healthy ageing area, performed from: • Universities and research institutions • End-user organisations and companies working with older adults • Industry professionals involved in the technology sector with an interest in active and healthy ageing • Health care and social care providers • Individuals and organisations implicated in the AAL funded projects The goal of this Special Session is to engage researchers and all relevant stakeholders of the healthy ageing value chain into networking and discussions to present their experiences and provide answers and solutions to problems and issues faced by older adults. This community is of great importance since it drives and aims to achieve better conditions and a healthier and improved society for the future of older adults. The proactive involvement of the community in conceptualising, designing and developing cost-effective systems that offer services to serve our ageing society, as well as the presentation of the solutions and discussion and exchange of ideas in this special session aims to drive and cultivate innovative thinkers, creative people and change makers in the area of active and healthy ageing. Please follow the submission guidelines and important dates as they are stated below and make sure that under the abstract of your submitted paper there is the statement: "Submitted to the Special Session on AAL". Accepted papers will be published by Springer in the CCIS Series. Submissions We invite three types of paper submissions: 1. Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field 2. Short papers, up to 6 pages, describing original unpublished research, making a small but solid contribution to the field 3. Demos, up to 4 pages, describing innovative tools that address topics relevant to the conference All submissions will be reviewed by the Program Committee. Accepted contributions will appear in the archival proceedings of IHAW 2021, published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899), and will be presented in plenary sessions of the conference. The authors of the best papers accepted for IHAW2021 will be invited to submit extended versions for a special issue with SN Computer Science (https://www.springer.com/journal/42979). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and should specify on the first page the type of submission ("R&T", "Short", "Demo"). The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/conferences/?conf=icihaw2021 . Important Dates • Submission Deadline: July 7, 2021 (AoE) • Notification: August 23, 2021 • Camera-Ready Submission Deadline: September 6, 2021 • Author Registration Deadline: September 6, 2021 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Salim Bouhlel, University of Sfax, Tunisia Scientific Vice-Chair and Special Session Chair • Achilleas Achilleos, Frederick University, Cyprus Publicity Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Finance Chair • Petros Stratis, Easy Conferences LTD., Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.w.laarman at liacs.leidenuniv.nl Tue Jun 29 22:43:56 2021 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W.) Date: Tue, 29 Jun 2021 20:43:56 +0000 Subject: [fg-arc] Call for Participation - SPIN 2021 Message-ID: <694745F5-466D-4BB7-A943-F6B121D4A886@liacs.leidenuniv.nl> ******************************************************************************* Call for Participation SPIN 2021 International Symposium on Model Checking of Software July 12, 2021 from 9:50 to 18:15 CEST ONLINE EVENT Conference program: https://conf.researchr.org/home/spin-2021 About SPIN 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. Registration Registration is free. In order to receive the event links, sign up here: https://conf.researchr.org/home/spin-2021#Registration Invited speakers * ‪Vincenzo Ciancia‬, ISTI-CNR * Mariëlle Stoelinga, Twente / Radboud University * Moshe Vardi, Rice University For the complete program and abstracts, see the website. Social SPIN 2021 will feature a virtual environment for participants to connect and meet online. Contact Alfons Laarman, Leiden University Ana Sokolova, University of Salzburg -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefan.borgwardt at tu-dresden.de Wed Jun 30 08:47:35 2021 From: stefan.borgwardt at tu-dresden.de (Stefan Borgwardt) Date: Wed, 30 Jun 2021 08:47:35 +0200 Subject: [fg-arc] KR 2022 - First Call for Tutorial and Workshop Proposals - September 27 Message-ID: [apologies for crossposting] CALL FOR TUTORIAL AND WORKSHOP PROPOSALS 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 August 2–5, 2022, Haifa, Israel Tutorials and workshops: July 31–August 1, 2022 The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) solicits proposals for its tutorial and workshop programme. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31–August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible. The deadline for submissions of tutorial and workshop proposals has been extended to **September 27, 2021**. Each proposal should be in English and must be submitted electronically to FLoC 2022 via EasyChair: https://easychair.org/conferences/?conf=floc2022workshops SUBMISSION OF 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). Each workshop proposal should consist of the following two parts (see also https://floc2022.org/workshops/). 1. A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2. An organisational part including * contact information for the workshop organizers, * proposed affiliated conference (e.g. KR), * estimate of the number of workshop participants, * proposed format and agenda (e.g. paper presentations, invited talks, demo sessions, etc.), * potential invited speakers, * procedures for selecting papers and participants, * plans for dissemination, if any (e.g. a journal special issue), * duration (which may vary from one day to two days), * preferred period (pre or post FLoC), * virtual/hybrid backup plans (including platform preference). The main duties of the chairs 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 FLoC organizers and the KR workshop co-chairs, and * coordinate and moderate the workshop participation and content. All KR-affiliated FLoC workshops should have their paper submission deadline on March 31, 2022, and notify the authors by May 6, 2022. For all accepted proposals, FLoC and KR will take care of all local and/or virtual arrangements. FLoC and KR reserve the right to cancel a workshop or merge several workshops if they do not have enough participants to cover their running costs. SUBMISSION OF TUTORIAL PROPOSALS 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. Tutorial proposals should be submitted in the same way as workshop proposals (see above and https://floc2022.org/workshops/), excluding paper selection and dissemination plans. The duration of a tutorial should normally be half a day, but an argument can be made for a full-day tutorial. The main duties of the tutorial organizers are: * set up a web-page for the tutorial, which should at least include the information from the proposal, tutorial materials and related references, and * deliver the tutorial at FLoC 2022. IMPORTANT DATES Proposal submission: September 27, 2021 Notification: November 1, 2021 Paper submission for KR-affiliated workshops: March 31, 2022 Paper notification for KR-affiliated workshops: May 6, 2022 Workshop dates: July 31–August 1, 2022 Inquiries about KR-affiliated tutorials and workshops should be sent by e-mail to the KR 2022 Workshop and Tutorial Chairs: Stefan Borgwardt Maria Vanina Martinez General questions about the FLoC workshops should be sent to Shaull Almagor Guillermo A. Perez -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5240 bytes Desc: S/MIME Cryptographic Signature URL: