From david.baum at uni-leipzig.de Thu Jun 4 00:31:48 2020 From: david.baum at uni-leipzig.de (David Baum) Date: Thu, 04 Jun 2020 00:31:48 +0200 Subject: [fg-arc] 2nd CFP - VISSOFT 2020: 8th IEEE Working Conference on Software Visualization Message-ID: <2744699.6Ys3QF4UAW@turing> ====================================== 8th IEEE Working Conference on Software Visualization (VISSOFT 2020) September 28-29, 2020, Adelaide, Australia http://vissoft20.dcc.uchile.cl/ ====================================== CALL FOR SUBMISSIONS 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. The VISSOFT conference is a venue for publishing and discussing research related to software visualization. VISSOFT brings 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 the visualization of software. VISSOFT 2020, co-held with ICSME 2020, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, empirical studies, applications, case studies, and papers that present novel ideas and tools. ====================================== TOPICS OF INTEREST - Innovative visualization and visual analytics techniques for analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks such as 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, including eye tracking. - Industrial experience with using software visualization. - Applications of new technologies to enhance software visualization, including virtual reality, augmented/mixed reality, gamification, and artificial intelligence. - 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 or Emerging Results (NIER) track and a Tool Demonstrations (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, otherwise a URL to the video should be provided. After the notification, authors can also submit an artifact (tool, data, model, etc.) Submission link: https://easychair.org/conferences/?conf=vissoft2020 **NIER/TD Track**: The NIER/TD Track of VISSOFT accepts two types of contributions: New Ideas and Emerging Results (NIER) 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 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 requested 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 Abstract submission: June 22, 2020 Technical paper submission: June 26, 2020 NIER/TD paper submission: June 26, 2020 Artifact submission: August 1, 2020 Author notification: July 24, 2020 Camera-Ready: August 7, 2020 Conference date: September 28-29, 2020 ====================================== **Statement on COVID-19 (Coronavirus)** The VISSOFT Organizing Committee is aware of the current COVID-19 situation. At this time, the conference is planned to take place as scheduled. The committee will continue monitoring conditions and will provide updates if plans change. Stay safe & we hope to see you at VISSOFT 2020! Best, Craig Anslow (General Chair) Andreas Schreiber and Takashi Ishio (Program Co-Chairs) https://twitter.com/IEEEVISSOFT From taravanis at upatras.gr Thu Jun 4 12:25:11 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Thu, 04 Jun 2020 13:25:11 +0300 Subject: [fg-arc] CFP - Recent Published Research Track (KR 2020) Message-ID: CALL FOR PAPERS KR 2020 -- RECENT PUBLISHED RESEARCH TRACK A special track of the 17th Conference on Principles of Knowledge Representation and Reasoning (KR2020) September 12-18th, 2020 Rhodes, Greece ------------------ Important Dates ------------------ Submission deadline: 15 June 2020 Notification: 13 July 2020 Conference dates: 12--18 September 2020 ------------------ Web site: https://kr2020.inf.unibz.it/page/recent_published_research_track (For the KR 2020 web site see https://kr2020.inf.unibz.it/ and for the KR 2020 CFP see https://kr2020.inf.unibz.it/page/call_for_papers.) We invite submissions of abstracts of papers previously published in journals and conference proceedings for the Recent 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 -- connect KR to other areas of AI and to other areas of computer science such as database theory, game theory, social choice, logic and philosophy; -- connect KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding; or -- go beyond the commonly-understood boundaries of KR. 2) Papers that are strongly related to KR and -- have been published in journals but have not been presented at workshops or conferences; -- have been presented at workshops or 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. SUBMISSION GUIDELINES: Authors should supply the following materials: -- A cover page (single page) listing the title, the authors, a full reference to the original paper, and a public or privately accessible url from which the paper can be downloaded. -- A one-page (preferred) and no more than two-page extended abstract of the paper following the format for regular paper KR 2020 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: https://easychair.org/conferences/?conf=kr2020. The authors should mark the submission as Recent Published Research. Submissions must meet the following criteria: a. Candidate papers must have been published in a journal or a conference proceedings in 2018 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 web site. Authors of accepted papers will present their work, 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 the future research opportunities for KR. PROGRAM COMMITTEE: Pedro Cabalar (Corunna University, Spain) Jim Delgrande (Simon Fraser University, Canada) co-chair Wiebe van der Hoek (University of Liverpool, UK) Hector Geffner (Universitat Pompeu Fabra, Spain) Andreas Herzig (Université Paul Sabatier, France) Gerhard Lakemeyer (Aachen University, Germany) Jerome Lang (Université Paris-Dauphine, France) Yulia Lierler (University of Nebraska at Omaha, USA) Fangzhen Lin (Hong Kong University of Science and Technology, Hong Kong) Carsten Lutz (University of Bremen, Germany) Jochen Renz (Australian National University, Australia) Francesca Toni (Imperial College, UK) Leon van der Torre (University of Luxembourg) Mirek Truszczynski (University of Kentucky, USA) co-chair Brent Venable (Tulane University, USA) Toby Walsh (University of New South Wales, Australia) For any questions regarding suitability of a submission or of any other aspect of the track, please email the special track program co-chairs: Jim Delgrande, jim at cs.sfu.ca Mirek Truszczynski, mirektruszczynski at gmail.com From apvereda at uma.es Fri Jun 5 12:40:47 2020 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Fri, 5 Jun 2020 10:40:47 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2020=3A_Call_For_Participation?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20200605104043.7c0f219373.e4af17e7@mail205.atl81.rsgsv.net> We would like to kindly invite you to participate in this workshop Foclasa 2020 ** FOCLASA 2020 ------------------------------------------------------------ 18th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Amsterdam, The Netherlands September 15, 2020 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=def8e75be5&e=677bd6e3f0 (Associated with SEFM 2020) Because of the COVID-19 pandemic, SEFM organizers have decided that the conference will not take place physically but will be replaced by a virtual event. According to this, FOCLASA will also be cellebrated on-line under the same premises that the main conference. Important dates have been extended. ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2020 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Abstract submission (extended): July 26, 2020 * Paper submission (extended): July 31, 2020 * Notification of acceptance (extended): August 24, 2020 * Final version (extended): August 31, 2020 * Workshop: September 15, 2020 ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. * AI for coordination and self-adaptativeness ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and abstract (max. 250 words) of papers must be completed before June 6, 2020. Final submission of papers is due no later than June 16, 2020. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=91683cc8f2&e=677bd6e3f0 (http) Contributions must be written in English and are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct). Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8-10 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=db0f2c188d&e=677bd6e3f0 Sung-Shik Jongmans Open University ssj at ou.nl https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=f9e945efc9&e=677bd6e3f0 (https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=4c0c44fa5f&e=677bd6e3f0) Members (To be completed) * Pedro Álvarez, Universidad de Zaragoza, Spain * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille – Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Flavio De Paoli, University of Milano, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Clemens Grelck, University of Amsterdam, The Netherlands * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Hernan C. Melgratti, University of Buenos Aires, Argentina * Jorge Perez, University of Groningen, Netherlands. * Pascal Poizat, Université Paris Ouest, France * Jose Proenca, INESC TEC \& Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Jacopo Soldani, University of Pisa, Italy * Mirko Viroli, University of Bologna, Italy * Emilio Tuosto, University of Leicester, UK * Lina Ye, CentraleSupélec, France ============================================================ Copyright © 2020 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=7c0f219373) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/email-referral/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=referral_marketing&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Jun 8 15:31:30 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 8 Jun 2020 15:31:30 +0200 Subject: [fg-arc] HCSE 2020: postponed to Nov 30 - Dec 2, 2020 & re-opened submission - 8th Intl. Conference on Human-Centered Software Engineering In-Reply-To: References: Message-ID: <128a13ff-6b99-f846-5274-23eb0acd207d@uni-paderborn.de> Dear colleagues, regarding COVID-19 circumstances, keeping in mind the very interactive character of HCSE as a working conference and the strong community aspects of this meeting, we have decided to postpone HCSE and run it in the regular way as a physical meeting in Eindhoven, The Netherlands. The new date will be *November 30 - December 2, 2020*. Hopefully by then, it will be possible and permitted to travel to the event for every participant and to hold the conference meeting. Due to this postponement we have re-opened and rescheduled the submission and reviewing process again. Thus, we give researchers and practitioners the chance to submit additional work. The new deadlines are the following: *Technical full papers, late breaking results* ------------------------------------------------------- _July 6, 2020 (extended!)                      Submission _ August 24, 2020 (extended!)              Notification to Authors September 30, 2020 (extended!)       Camera-ready due *Demos, posters* -------------------- _August 31, 2020 (extended!)              Submission_ September 21, 2020 (extended!)      Notification to Authors September 30, 2020 (extended!)      Camera-ready due Please see the *CfP* below for details and visit the conference *website* for further and updated information. http://hcse-conference.org/ We are looking forward to meeting you at TU/e in Eindhoven for HCSE 2020. Please stay well and healthy! Best wishes, Regina Bernhaupt - Carmelo Ardito - Stefan Sauer General Organizers of HCSE 2020 -------------------------------------------------------------------------------- *HCSE 2020* *Call for Papers* *8th International Working Conference on Human-Centered Software Engineering* *November 30th - December 2nd, 2020 - Eindhoven University of Technology, Eindhoven, The Netherlands* http://www.hcse-conference.org *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design in cooperation with IFIP Working Group 13.5 on Human Error, Resilience, Reliability, Safety and System Development . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes. Other topics of interest include: ●        contributions to the theory and best practices of user-centered design ●        design and architectural patterns for interactive systems ●        involvement of end-users, clients and stakeholders in the development process of interactive systems ●        innovative methods for identifying end-user requirements for interactive systems ●        integration of user experience (and any other user interface property) in development processes ●        methods for designing, building and assessing interactive systems beyond the desktop (e.g. the living room, ubiquitous and multi-display, cockpits, etc.) ●        models and model-based approaches for building interactive systems ●        integration of multiple properties (e.g. usability, security, reliability, user experience, privacy, accessibility, etc.) in software development ●        socio-technical aspects of interactive software development ●        software architectures for interactive systems ●        rational design and traceability of design choices. HCSE 2020 welcomes contribution as *technical full papers, late breaking results, demonstrations and posters*. All papers are peer-reviewed and selected contributions will appear in the proceedings published by Springer in the *LNCS* series. In the present edition of *HCSE 2020* we are particularly interested in studies focused on *multi-stakeholder* concepts and how to cope with multi-stakeholders taking into account not only micro perspective but on the systemic change level. As in past editions, the focus of the working group is on *user interface properties *(such as usability, ux, privacy, trust, security, reliability, adaptability, among other) and how to design, develop and evaluate based on a *user-centered development process*. We are interested in understanding how different stakeholders and developers value diverse user interface properties and how they manage conflicts between them (when one property might degrade the value of another) on a systemic change level. Our aim is to cover a large set of user interface properties and try to reveal their inner dependencies. We are particularly interested in the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. *HCSE*welcomes the following types of contributions: * * ●        *Technical full papers*(*up to 20 pages*) should describe substantial research contributions of novel work that has produced advanced results including validation of results. ●        *Late-breaking results*(*up to 12 pages*) are short papers that present work in progress, new practice and experience reports containing good (and bad) practices and/or recent practical evaluations of methods, techniques and tools. ●        *Demonstrations and posters*(*5–8 pages, plus poster design draft*) should present ongoing work and/or late-breaking results related to the use of innovative tools and cutting-edge systems not described in other paper submissions. Demonstration papers should provide description of tools including user tasks and evidence of use to end-users. Demo submissions should summarize the system’s significance and its performance and should either include screenshots or link to an online-accessible resource. The poster design draft should show the planned design and content of the poster that will be presented at the conference. Industry contributions to demos and posters are particularly welcome and highly encouraged. *Submissions and Reviewing Process* Contributions should be sent via *EasyChair* (https://easychair.org/conferences/?conf=hcse2020). All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*, demonstrations and posters *single-blind*. Authors must prepare their submission files accordingly! For poster submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results short papers to give tool demos as well without submitting additional demo papers. *Proceedings* Accepted contributions must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Important Dates* *Technical full papers, late breaking results* _Submission: __*July 6^th *__, 2020 (extended!)_ Notification to authors: *August 24^th *, 2020 Camera-ready due: *September 30^th *, 2020 *Demos, posters* _Submission: __*August 31^st *__, 2020 (extended!)_ Notification to authors: *September 21^st *, 2020 Camera-ready due: *September 30^th *, 2020 Conference dates: *November 30^th – ***December *2^nd *, 2020 *Organizers * *General Conference Chairs:* Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Carmelo Ardito, Politecnico di Bari, Italy Stefan Sauer, Paderborn University, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Tue Jun 9 10:56:14 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 9 Jun 2020 10:56:14 +0200 Subject: [fg-arc] [CfP] CASUAL2020: Workshop on Causal Reasoning and Explanation in Logic Programming Message-ID: <4971d3d7-6329-a50f-75d8-47f0c4030304@uniss.it> [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 2020 ***                           (September 17 or 18, 2020)      Workshop on Causal Reasoning and Explanation in Logic Programming           CAUSAL 2020 is a workshop co-located with ICLP 2020                  in University of Calabria, Rende, Italy. *NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers on the situation, and we will revise our workshop timeline and other procedures accordingly if needed.* CAUSAL 2020 IMPORTANT DATES ------------------------- * Paper submission: July 15th 2020 * Notification: July 30th 2020 * Final Versions: August 15th 2020 * Workshop Date: September 17th or 18th 2020 ------------------------ 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, Explainable AI, 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 ------ 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 * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2020 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2020 website for registration procedure and fees. https://iclp2020.unical.it/ 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 Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From luis.magdalena at upm.es Thu Jun 11 22:41:13 2020 From: luis.magdalena at upm.es (LUIS MAGDALENA) Date: Thu, 11 Jun 2020 22:41:13 +0200 Subject: [fg-arc] ECAI2020 goes Digital and Open Message-ID: <225bf33f-3ba9-df49-0918-32ba1b06e5c6@upm.es> The 24th European Conference on Artificial Intelligence(ECAI2020, http://ecai2020.eu/) will be a great LIVE/GLOBAL/DIGITAL/OPEN event with a rich scientific and social program from August 29 to September 5. Registration for non-authors is free, allowing access to all the conference contents with no charge at all. This is subject to registration at the Digital ECAI2020 Platform(https://digital.ecai2020.eu/). Details will be announced soon! *This free registration will provide you with full unlimited access to all the Digital ECAI2020 **contents* *during and after the conference dates, including:* o Oral presentations and posters o Conference on Prestigious Applications of Intelligent Systems, PAIS 2020 o EU Challenges o Frontiers in AI o Women in AI o … * *Full Proceedings published by**IOS Press* *(online) * * *All **Workshops* * *All **Tutorials * * *Mentoring and Communication for Starting AI Researchers (**MC4SR* *):* o 9th European Starting AI Researchers’ Symposium (STAIRS) o Doctoral Consortium o Job Fair o Meeting with an EurAI Fellow * *Social Development of AI event, organized by FIDE* * *Lab2Market* Full information at http://ecai2020.eu/ -- Luis Magdalena ETSI Informaticos Universidad Politecnica de Madrid -------------- next part -------------- An HTML attachment was scrubbed... URL: From emily.leblanc at nrl.navy.mil Fri Jun 12 18:11:51 2020 From: emily.leblanc at nrl.navy.mil (Emily LeBlanc) Date: Fri, 12 Jun 2020 12:11:51 -0400 Subject: [fg-arc] =?utf-8?b?Q0FVU0FMwqAyMDE5wqBDYWxswqBmb3LCoFBhcGVyc8Kg?= =?utf-8?q?=28workshop_of_ICLP_2020=29?= Message-ID: <4ED7A2F0-B7CB-4177-A230-CE5FD2CFA762@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 2020 *** (September 17 or 18, 2020) Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2020 is a workshop co-located with ICLP 2020 in University of Calabria, Rende, Italy. CAUSAL 2020 IMPORTANT DATES ----------------------- * Paper submission: July 15th 2020 * Notification: July 30th 2020 * Final Versions: August 15th 2020 * Workshop Date: September 17th or 18th 2020 ------------------------ 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, Explainable AI, 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 ------ 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 * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/my/conference?conf=causal2020 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2020 website for registration procedure and fees. https://iclp2020.unical.it/ 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 Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5709 bytes Desc: not available URL: From shang at encs.concordia.ca Wed Jun 17 16:22:21 2020 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Wed, 17 Jun 2020 10:22:21 -0400 Subject: [fg-arc] Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2020 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 2021 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 2019 and September 2020. If there are several outstanding submissions, the committee may split the award between them. The submission deadline is September 30, 2020. Nominations are welcome at any time before the final submission deadline. Nominations should be uploaded to EasyChair at URL: https://easychair.org/conferences/?conf=spec2020award 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 - William Knottenbelt (Imperial College London, UK) (Chair) - Marta Beltran (Rey Juan Carlos University, Spain) [TBC] - Vittorio Cortellessa (Università degli Studi dell’Aquila, Italy) [TBC] - Tony Field (Imperial College London, UK) [TBC] - Andrea Marin (Università Ca' Foscari di Venezia, Italy) - John Murphy (University College Dublin, Ireland) [TBC] - Andrew Rice (University of Cambridge, UK) [TBC] - Evgenia Smirni (College of William and Mary, VA, USA) - Connie Smith (Spe-ed+ Performance Engineering, TX, USA) [TBC] - Cary Williamson (University of Calgary, Alberta, Canada) - Katinka Wolter (Free University of Berlin, Germany) Contact All questions about submissions should be emailed to *nominations at spec dot org* -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Thu Jun 18 17:27:52 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Thu, 18 Jun 2020 17:27:52 +0200 Subject: [fg-arc] =?utf-8?q?Call_for_Proposals_bis_30=2E06=2E_=28NEU!=29_?= =?utf-8?q?=E2=80=93_FORSCHUNG_TRIFFT_PRAXIS_=28NEUES_FORMAT_=40_WSRE_2020?= =?utf-8?q?=29?= In-Reply-To: <8f440dab-cfd3-4103-1fc4-e498d1d393d1@uni-paderborn.de> References: <8f440dab-cfd3-4103-1fc4-e498d1d393d1@uni-paderborn.de> Message-ID: <315a7a6b-591a-ab1e-10ca-b63fd6bcd918@uni-paderborn.de> Liebe Kolleginnen und Kollegen aus Forschung und Praxis, *Beiträge zu "Forschung trifft Praxis" @ WSRE 2020 können weiterhin eingereicht werden!* Aufgrund der zeitlichen Verschiebung des *22. Workshop Software-Reengineering & -Evolution (WSRE2020)* haben wir die Teilnahmemöglichkeit an unserem neuen Format *"Forschung trifft Praxis"* verlängert. Beiträge können weiterhin bis zum 30.06.2020 zu dem u.a. aktualisierten Call for Proposals eingereicht werden. Die Beiträge werden auf ihre Eignung hin überprüft und im positiven Fall sukzessive auf der Homepage des Workshops online gestellt, siehe https://fg-sre.gi.de/aktivitaeten/forschung-trifft-praxis. *Potenzielle Matches gesucht!* Als *potenzielle **Matching-Partner Interessierte* können sich jederzeit auf der Homepage über die vorliegenden Beiträge informieren und bis spätestens 02. September 2020 formlos unter Angabe der Vorschläge, an denen sie interessiert sind, bei den Organisatoren per E-Mail an an WSR at list.uni-koblenz.de (mit dem Betreff „WSRE 2020: Matching-Event“) melden und werden dann für die *Teilnahme am Matching-Event / Speed-Dating* während des WSRE 2020 eingeplant. Wir freuen uns weiterhin auf rege Teilnahme. Jens Knodel - Marco Konersmann - Torsten Görg - Matthias Gutheil - Stefan Sauer Organisatoren des WSRE 2020 -------------------------------------------------------------------------------- *Call for Proposals – FORSCHUNG TRIFFT PRAXIS (NEUES FORMAT @ WSRE 2020)* *22. Workshop Software-Reengineering & -Evolution* der GI-Fachgruppe Software-Reengineering (SRE) Universität Paderborn, 16.-18. September 2020 https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ *FORSCHUNG TRIFFT PRAXIS* Was beabsichtigen wir mit „Forschung trifft Praxis“? Zur Förderung der praktischen Erprobung von laufenden Forschungsarbeiten und Promotionen führen wir beim WSRE 2020 als Neuheit einen neuen Track ein. Die Anwendung und Erprobung von Forschungsergebnissen an realen Beispielen der Industrie – vielfach gefordert aber selten tatsächlich getan. Der WSRE 2020 bietet nun ein Forum, um das zu ändern. Einerseits werden Unternehmen dazu eingeladen, aus ihrer Sicht offene Fragen und Herausforderungen aufzuzeigen und nach wissenschaftlichen Partnern und Lösungsansätzen zu suchen. Andererseits geben Industriepartner aus dem Fachbereich ihre Systeme, Source Code und/oder Artefakte der Forschung an die Hand, damit die Wissenschaftler ihre Lösungen in realistischen Einsatzszenarien und an realen Daten erproben und evaluieren können. Gemeinsam kann weiteres Potenzial für eine vertiefte Zusammenarbeit identifiziert werden. Die Unternehmen erklären sich bereit, dass die Wissenschaftler über die Anwendung der Forschung und Ergebnisse der Methodik (ggf. anonymisiert) publizieren. Zudem können auch Forschungsarbeiten vorgestellt werden, um gezielt auf neue Methoden und/oder Werkzeuge hinzuweisen, damit diese in industriellen Fallstudien erprobt werden können. Ziel des Tracks ist es, Forschung und Praxis aufeinander aufmerksam zu machen und gezielt mögliche Anknüpfungspunkte zu kristallisieren. Bei gegenseitigem Interesse werden im Nachgang die Fallstudien begleitet und unterstützt durch ein Mitglied des SRE-Leitungsgremiums durchgeführt, mit dem Ziel, über die Ergebnisse zu berichten und sie der Fachgruppe dann beim WSRE 2021 vorzustellen (auch anderweitige Publikationen oder Präsentationen der Fallstudie sind natürlich möglich und willkommen). *(A) Forschung sucht Anwendung!* Forscher(innen), die ihre Lösungen (Methoden und/oder Werkzeuge) in industriellen Einsatzszenarien erproben/evaluieren möchten, suchen Industriepartner, die ihnen Zugang zu Systemen, Source Code und/oder Artefakten gewähren. Vorbereitung: Kurzbeschreibung des Forschungsansatzes (Methode, Werkzeug) – Auswahl – Einladung *(B) Problem sucht Lösung!* Unternehmen zeigen aus ihrer Sicht offene Fragen auf und suchen nach wissenschaftlichen Partnern und Lösungsansätzen, diese Fragen zu beantworten. Vorbereitung: Kurzbeschreibung des Reengineering-Praxisproblems – Auswahl – Einladung *(C) System sucht Erkenntnis!* Unternehmen gewähren Zugang zu Systemen, Source Code und/oder Artefakten und ermöglichen Forschern/-innen ihre Lösung (Methoden und/oder Werkzeuge) in einem industriellen Umfeld anzuwenden, um neue Erkenntnisse für alle Beteiligte zu gewinnen. Vorbereitung: Kurzbeschreibung des Systems und der Technologien – Auswahl – Einladung Wir laden Forscher(innen) und Praktiker(innen) herzlich ein, sich an dem neuen Format zu beteiligen. *Wie reiche ich einen Beitrag ein?* Eingereicht werden können Kurzbeschreibungen (ca. 2 Seiten, Format nicht vorgeschrieben, z.B. im Format der Softwaretechnik-Trends, siehe http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html) eines (A) Reengineering-Praxisproblems, (B) Forschungsansatzes (Methode, Werkzeug), oder eine (C) Systembeschreibung. Die Texte können in deutscher oder englischer Sprache verfasst sein. Beiträge bitte per E-Mail einreichen an WSR at list.uni-koblenz.de mit dem Betreff „WSRE 2020: Matching-Event“ unter Angabe des zutreffenden Typs einreichen. Zur Orientierung empfehlen wir die folgende Gliederung / Struktur: (A) Motivation & Zielsetzung – Forschungsfragen – bisherige Ergebnisse, implementierte Werkzeuge & Publikationen – Anforderungen an Einsatzkontext (B) Motivation & Zielsetzung – Problembeschreibung – Unternehmens-/Anwendungskontext – Anforderungen an Lösung (C) Motivation & Zielsetzung – Systembeschreibung und Technologien – Unternehmens-/Anwendungskontext *Wie läuft das Matching-Event beim WSRE 2020 ab und wie geht es dann weiter?* Beim WSRE 2020: - Pitch: Kurzvorstellung der ausgewählten Beiträge im WSRE-Plenum - Speed-Dating: Kennenlernen der potenziellen Partner aus Wirtschaft und Wissenschaft - Matching: vertiefte Besprechung der Kooperationsmöglichkeit während des WSRE - Intermediate: Bericht zur Vorstellung der (vorläufigen) Matching-Ergebnisse im Plenum durch die Fachgruppenleitung Projekt-Durchführung 2020-2021 (empfohlene Schritte): - Exposé: Potenzial und Ziel der Zusammenarbeit identifizieren und dokumentieren sowie Regeln für die Zusammenarbeit (Commitment!) festlegen - Vereinbarung über die Projektdurchführung sowie der (möglichen) Publikation über die Anwendung der Forschung und Ergebnisse der Methodik (ggf. anonymisiert) - Projektdurchführung Vorstellung & Publikation der Ergebnisse: - Vorstellung der Ergebnisse beim WSRE 2021 - einschlägige Publikation der Ergebnisse (auch anderweitige Publikationen oder Präsentationen der Fallstudie sind natürlich möglich und willkommen) *Wie ist der Zeitplan?* - Einreichen einer Kurzbeschreibung: _30. Juni 2020 (NEU!)_ - Benachrichtigung / Einladung zum Matching-Event: 10. Juli 2020 (NEU!) - Veröffentlichung der ausgewählten Kurzbeschreibungen: 10. Juli 2020 (NEU!) - Rückmeldung für die Teilnahme am Matching-Event: _02. September 2020 (NEU!)_ - Anmeldeschluss zur Teilnahme am WSRE 2020: 02. September 2020 (NEU!) *) Für Einwahldaten bitte melden (siehe Kontakt unten) *Kontakt? Bitte!* WSR at list.uni-koblenz.de *Organisatoren:* Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Jun 15 12:44:20 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 15 Jun 2020 12:44:20 +0200 Subject: [fg-arc] SLSP 2020: call for posters Message-ID: <545102060a010b020353560a0606565e065400045053505552050b04020f56075c510554550a03050903560105535156@grlmc_ip-zone_com-6> SLSP 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------- The 8th International Conference on Statistical Language and Speech Processing (SLSP 2020) invites researchers to submit poster presentations. SLSP 2020 will be held in Cardiff on October 14-16, 2020. See  https://irdta.eu/slsp2020/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2020 Notification of poster acceptance or rejection: September 14, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=slsp2020 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2020. However, they will be eligible for submission to the post-conference journal special issue in Language Resources and Evaluation (Springer, JCR 2018 impact factor: 1.029). REGISTRATION At least one author of each accepted poster must register to the conference by September 21, 2020. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From maurice.terbeek at isti.cnr.it Tue Jun 16 16:39:22 2020 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Tue, 16 Jun 2020 16:39:22 +0200 Subject: [fg-arc] First Call for Papers: FSEN 2021 Message-ID: <4247e817-b61b-5403-9285-c9bf5e5cd2d6@isti.cnr.it> FIRST CALL FOR PAPERS Ninth International Conference on Fundamentals of Software Engineering 2021 - Theory and Practice (FSEN '21) http://fsen.ir/2021 Tehran, Iran May 19-21, 2021 IMPORTANT INFORMATION: The FSEN Steering and Organizing Committees are monitoring the situation surrounding COVID-19, and are aware of the restrictions and uncertainty that people are facing this period, complying with local and international rules on travel restrictions. Therefore FSEN 2021 will be held as a mixed event, offering virtual presentation as option to participants. All accepted papers will be published in the conference proceedings, regardless of whether a physical or virtual presentation is given. More details will follow in the course of time via the FSEN 2021 website. ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 19-21, 2021. -- Important Dates -- Abstract Submission (optional): October 18, 2020 (AoE) Paper Submission: October 30, 2020 (AoE) Notification: December 18, 2020 Final pre-Conference Version: January 21, 2021 (AoE) Conference: May 19-21, 2021 -- Keynote Speakers -- SOON TO APPEAR ON THE WEBSITE -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in Postscript or PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2021. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS post-proceedings and conference pre-proceedings 2) Short paper for the LNCS post-proceedings and conference pre-proceedings 3) Poster included only in the pre-proceedings Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'21 will be published by Springer Verlag in the LNCS series (to be confirmed). Pre-proceedings, printed locally by IPM, will be available at the conference. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'21 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Pejman Lotfi-Kamran - IPM, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Hossein Hojjat - Tehran Institute for Advanced Studies, University of Tehran, Iran Mieke Massink - CNR-ISTI Pisa, Italy -- Publicity Chair -- Maurice ter Beek - CNR-ISTI Pisa, Italy -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- SOON TO APPEAR ON THE WEBSITE From lpandolfo at uniss.it Tue Jun 16 19:49:03 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 16 Jun 2020 19:49:03 +0200 Subject: [fg-arc] [Call for Participation] SAT 2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing Message-ID: <54d09feb-8d22-532c-b22a-4871b02775c3@uniss.it> ********************* Call for Participation ************** The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) 3-10 July 2020 http://sat2020.idea-researchlab.org/ Due to the COVID-19 restrictions, SAT2020 is going virtual *********************************************************** ***SAT 2020*** The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. ***REGISTRATION*** Registration is FREE and REQUIRED for all participants of the virtual conference, including the authors of the accepted papers. REGISTRATION LINK: https://sat2020.idea-researchlab.org/registration/ ***PROGRAM*** The SAT 2020 main conference and all the workshops will be held in a virtual manner from 4pm – 8pm, latest (CET) in order to cover all the time zones and allow the widest participation. The conference format is a mix of pre-recorded and asynchronous talks, and live engagement such as Q&A sessions. Full details of the main conference program can be seen here: https://sat2020.idea-researchlab.org/program/ Details on workshops are available here: https://sat2020.idea- researchlab.org/workshops/ *** INVITED SPEAKERS *** Georg Gottlob, University of Oxford and TU Wien, Austria Aarti Gupta, Princeton University, US ***CONFERENCE SCHEDULE AT A GLANCE*** WORKSHOP DAY, July 3 Pragmatics of SAT (POS) SAT 2020 DAY 1, July 6 Invited Speaker - Aarti Gupta (Princeton University, US) Q&A Live Sessions SAT 2020 DAY 2, July 7 Invited Speaker - Georg Gottlob (University of Oxford and TU Wien) Q&A Live Sessions SAT 2020 DAY 3, July 8 Q&A Live Sessions Competition WORKSHOP DAY, July 9 QBF Workshop WORKSHOP DAY, July 10 Model Counting ***ORGANIZATION*** Program Chairs * Luca Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop Chair * Florian Lonsing, Stanford University Publicity Chair * Laura Pandolfo, University of Sassari -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Thu Jun 18 18:49:58 2020 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Thu, 18 Jun 2020 18:49:58 +0200 Subject: [fg-arc] ER Online Summer Seminars - a series of seminars on Conceptual Modeling Message-ID: <18062020184958154GGh77pfXqRRd0173@smtp.office365.com> ER Online Summer Seminars (EROSS-2020) http://krdb.eu/eross-2020/ An interdisciplinary series of weekly online seminars on Conceptual Modelling. The KRDB Research Centre for Knowledge and Data at the Free University of Bozen-Bolzano, Italy, organises the "ER Online Summer Seminars" (EROSS-2020), an interdisciplinary series of online seminars featuring world-class speakers from areas such as Ontology, Data Semantics, Artificial Intelligence, Software Engineering, Cognitive Sciences, and Logics, but with the ultimate goal of contributing to the theory and practice of the discipline of Conceptual Modelling. EROSS is an event affiliated with the International Conference on Conceptual Modeling (ER), and it is organised in the context of the Bolzano Summer of Knowledge (BOSK-2020). The online seminars will be accessible as Microsoft Teams Live Events; they can be attended live, and are recorded to be attended later at any moment. The seminars are free for all participants but require mandatory registration: check http://krdb.eu/eross-2020/ for all the detailed information. The talks will happen every Wednesday at 16:00 (CEST, namely GMT+2). The series starts on Wednesday the 24th of June and will continue weekly until the beginning of the 39th International Conference on Conceptual Modeling (ER-2020) on the 3rd of November 2020. As our inaugural event in this series, we are happy to announce: 24 June at 16:00 CEST "Ontological Analysis and Conceptual Modelling: Why and How" by Nicola Guarino Institute for Cognitive Science and Technology Italian National Research Council Laboratory of Applied Ontology The ER Online Summer Seminars series includes so far the following talks (to be expanded - check https://krdb.eu/eriss-2020/programme/ for an up-to-date list): • 24 June: Nicola Guarino (Laboratory for Applied Ontology/ISTC/CNR, Italy) • 1 July: John Mylopoulos (University of Ottawa, Canada) • 8 July: Oscar Pastor (Polytechnic University of Valencia, Spain) • 15 July: Monique Snoeck (KU Leuven, Belgium) • 22 July: Gilberto Camara (Secretariat Director for the Group on Earth Observations (GEO), Switzerland) • 29 July: Barend Mons (Leiden University Medical Center, The Netherlands) • 5 August: Daniel Jackson (MIT, USA) • 12 August: Melanie Mitchell (Portland State University, USA) • 2 September: Wil van der Aalst (RWTH Aachen University, Germany) • 9 September: Terry Halpin (LogicBlox and INTI International University in Malaysia) • 16 September: Peter Gärdenfors (Lund University, Sweden) Hosted by: Enrico Franconi Giancarlo Guizzardi Conceptual and Cognitive Modeling Research Group (CORE) KRDB Research Centre for Knowledge and Data Free University of Bozen-Bolzano, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From wortmann at se-rwth.de Sun Jun 21 16:26:03 2020 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Sun, 21 Jun 2020 16:26:03 +0200 Subject: [fg-arc] ModComp 2020 Call for Papers Message-ID: CALL FOR PAPERS ModComp'20 (at MoDELS): 6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering http://www.es.mdh.se/ModComp/ ----------------- IMPORTANT DATES ----------------- Deadline for abstract submission: 15 July 2020 Deadline for papers submission: 22 July 2020 Notification of acceptance: 21 August 2020 Camera-ready: 28 August 2020 Online pre-proceedings: 10 September 2019 Workshop date (TBD): 18-20 October 2020 ----------------- SCOPE ----------------- Model-Driven Engineering (MDE) and Component-Based Software Engineering (CBSE) have been shown to effectively reduce software development complexity by (i) shifting the focus from source code to models and (ii) building software systems as the composition of new and existing components, respectively. Moreover, the interplay of MDE and CBSE approaches is gaining recognition as a very promising means to boost the development of software systems by reducing costs and risks and shorten time-to-market. While several attempts to effectively combine MDE and CBSE have been documented, there are still unsolved clashes arising when exploiting interplay of MDE and CBSE, mostly due to mismatches in the related terminology as well as to differences in their basic essence. As a satellite event of MoDELS'19, the goal of ModComp’19 is to gather researchers and practitioners to share opinions, propose solutions to open challenges and generally explore the frontiers of interweaving between MDE and CBSE. ----------------- TOPICS ----------------- Solicited topics include, but are not limited to: - Partial model reuse: once individual components are modelled (interfaces and behavior), these models should be reusable in the different usage contexts of these components; - Model composition: building a system model by the composition of pre-existing models of individual components; - Component versioning: in order to handle evolution when for instance one component is upgraded to a newer version; - Modelling component interaction and component behaviours: clear separation of internal behaviour and externally visible interaction capabilities, e.g. by interface protocols; - Model extraction for componentization of legacy systems: when legacy systems are componentized, generation of architectural and behavioural models from, e.g., implementation artefacts are needed in order to get full support from model-based activities such as analysis, e.g. if those components are reused in a new context. Along with implementation artefacts, other kinds of information regarding any observation of the system at runtime, such as, e.g., log files, system execution traces, traces, might need to be considered for reverse componentization; - Component interoperability: in order to enable the automated construction of semantic matching and mapping between different modelling notations (e.g., component models) with emphasis on precise syntactic, protocol and operational descriptions of components - Management and elicitation of model interdependencies: in order to infer and support automated reasoning on the possible interdependencies between the different software models exploited throughout the software life cycle; - Component models evolution: tackling challenges in component models evolution and model co-evolution which are amplified by the high degree of interchangeability typical of CBSE; - Model transformations in presence of third-party components: exploring how model-driven techniques may deal with third-party components, especially concerning the preservation of system properties (both functional and extra-functional) along with the involved model manipulations for, e.g., analysis, code generation, etc; - Metamodel modularity: reasoning on issues related to composability of (i) metamodels and (ii) views in terms of metamodel portions; - Composition of MDE artefacts: analysis results, model transformations, and/or model viewpoints could take advantage of CBSE advancements in order to ease their reuse, and composition; - Enforcement of incrementality: models and model manipulations to support incremental verification and validation of component-based systems; - Case studies & applications: best practices applied to real-world applications, lessons learned, success/failure stories in intertwining MDE and CBSE. ----------------- SUBMISSION ----------------- ModComp'20 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Two types of submission are solicited: full and short papers. - Full papers: with a maximum of 8 pages in the ACM format, including figures, appendices AND references), full papers clearly describe the situation or the problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. Systematic and empirical reports are welcome too. - Short papers: with a maximum of 4 pages in the ACM format, including figures, appendices AND references, short papers include tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Tools in demonstrations should be made available for use to the reviewers. Contributions should represent original and previously unpublished ideas that are currently not under review in any conference or journal. Each submitted paper undergoes a formal peer-review process by a minimum of 3 Program Committee members. Submitted papers should include authors' names, affiliations and contact information. Special issue at SoSyM: We plan to organize a theme issue at SoSyM to which the best papers from the workshop will be invited for being submitted in extended form. The extended papers would undergo a new peer-reviewing process. ----------------- PROGRAM COMMITTEE ----------------- - Marco Autili, Università dell'Aquila - Jan Carlson, Mälardalen University - Loek Cleophas, TU Eindhoven and Stellenbosch University - Jeff Gray, University of Alabama - Anne Koziolek, Karlsruhe Institute of Technology - Raffaela Mirandola, Politecnico di Milano - Pascal Poizat, Université Paris Nanterre and LIP6 - Ansgar Radermacher, CEA LIST - Mehrdad Saadatmand, RISE SICS Västerås - Cristina Seceleanu, Mälardalen University - Lionel Seinturier, University of Lille - Massimo Tivoli, University of L'Aquila - Tullio Vardanega, University of Padua ----------------- ORGANIZATION ----------------- Workshop organizers and chairs Federico Ciccozzi (main contact), Mälardalen University (Sweden) Antonio Cicchetti, Mälardalen University (Sweden) Andreas Wortmann, RWTH Aachen University (Germany) ----------------- CONTACT ----------------- Website: http://www.es.mdh.se/ModComp/ Main contact: Federico Ciccozzi, federico.ciccozzi[at]mdh.se -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 (241) 80-21346 / Fax -22218 | http://www.se-rwth.de # Model-Driven Development of a Digital Twin for Injection Molding International Conference on Advanced Information Systems Engineering (CAiSE 2020) https://link.springer.com/chapter/10.1007/978-3-030-49435-3_6 From irdta at irdta.eu Mon Jun 22 14:47:20 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 22 Jun 2020 14:47:20 +0200 Subject: [fg-arc] BigDat 2020 Autumn: early registration June 26 Message-ID: <545102060a010b02035054020406585e030453570b535055000b00040f07515257570002005f00550053560557005056@grlmc_ip-zone_com-6> BigDat 2020 Autumn: early registration June 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************** 7th INTERNATIONAL SCHOOL ON BIG DATA   BigDat 2020 Autumn   Beersheba, Israel   October 25-29, 2020   Co-organized by:   Ben-Gurion University of the Negev Department of Software and Information Systems Engineering Data Science Research Center   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://irdta.eu/bigdat2020a/ **********************************************   --- Early registration deadline: June 26, 2020 ---   **********************************************   SCOPE:   BigDat 2020 Autumn will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.   Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 24 four-hour and a half courses, 2 keynote lectures and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 Autumn is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   BigDat 2020 Autumn will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be:   Ben-Gurion University of the Negev Marcus Family Campus   https://in.bgu.ac.il/en/Pages/interactive.aspx   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Paolo Addesso (University of Salerno), [introductory/intermediate] Data Fusion for Remotely Sensed Data   Thomas Bäck & Hao Wang (Leiden University), [introductory/intermediate] Data Driven Modeling and Optimization for Industrial Applications   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Altan Cakir (Istanbul Technical University), [intermediate] Big Data Analytics with Apache Spark   Edward Chang (Stanford University), [intermediate] Artificial Intelligence for Disease Diagnosis and Precision Surgery   Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity   Ian Fisk (Flatiron Institute), [introductory] The Infrastructure to Support Data Science   Michael Freeman (University of Washington), [intermediate] Interactive Data Visualization Using D3 + Observable   David Gerbing (Portland State University), [introductory] Derive Meaning from Data with R Visualizations   Yifan Hu (Yahoo Research), [introductory/advanced] Data Visualization and Machine Learning   Rafael Irizarry (Harvard University), [introductory] Data Science for Statisticians (tidyverse, ggplot, wrangling)   Wagner A. Kamakura (Rice University), [intermediate] Advanced Business Analytics using Excel Addins   Ravi Kumar (Google), [intermediate/advanced] Clustering for Big Data   Victor O.K. Li (University of Hong Kong), [intermediate] Deep Learning and Applications   Panos Pardalos (University of Florida), [intermediate/advanced] Optimization and Data Sciences Techniques for Large Networks   Valeriu Predoi (University of Reading), [introductory] A Beginner's Guide to Big Data Analysis: How to Connect Scientific Software Development with Real World Problems   Alexandre Vaniachine (VirtualHealth), [intermediate] Open-source Columnar Databases   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Supervised Descriptive Pattern Mining   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Deep Learning for Text Mining   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by October 17, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by October 17, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by October 17, 2020.   ORGANIZING COMMITTEE:   Stavi Baram (Beersheba) Mark Last (Beersheba) Carlos Martín-Vide (Tarragona, program chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Lior Rokach (Beersheba, co-chair) Bracha Shapira (Beersheba, co-chair) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/bigdat2020a/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   Refunding of registration fees will not be possible. However, an exception will be made in case the event must be postponed due to the continuation of the coronavirus crisis in Autumn (which is a scenario the organizers do not expect).   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Ben-Gurion University of the Negev   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Fri Jun 19 19:06:00 2020 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Fri, 19 Jun 2020 19:06:00 +0200 Subject: [fg-arc] =?utf-8?b?W1ZpcnR1YWw/PT0/dXRmLTg/cT8gT00tMjAyMF0gMm5k?= =?utf-8?q?_CFP=3A_15th_workshop_on_Ontology_Matching_collocated_with_ISWC?= In-Reply-To: <491d-5eb27b00-9b1-7e0f5c8@20634425> Message-ID: <66d5-5eecf080-fc1-78df7f00@87753635> ** Apologies for multiple postings ** ------------------------------------------------------------------------------ CALL FOR CONTRIBUTIONS THE SUBMISSION DEADLINE IS ON AUGUST 10TH, 2020 ------------------------------------------------------------------------------ The Fifteenth International Workshop on ONTOLOGY MATCHING (OM-2020) http://om2020.ontologymatching.org/ November 2nd or 3rd, 2020, 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) 2020 campaign: http://oaei.ontologymatching.org/2020/ 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 2020 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 10th, 2020) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2020 Contributors to the OAEI 2020 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2020/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 10th, 2020: Deadline for the submission of papers. September 11th, 2020: Deadline for the notification of acceptance/rejection. September 21st, 2020: Workshop camera ready copy submission. November 2nd or 3rd, 2020: OM-2020, 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 Majeed Mohammadi, TU Delft, Netherlands Peter Mork, MITRE, USA Andriy Nikolov, Metaphacts GmbH, 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 Giorgos Stoilos, Huawei Technologies, Greece Pedro Szekely, University of Southern California, USA Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- From stefano.forti at di.unipi.it Sun Jun 21 11:48:22 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Sun, 21 Jun 2020 11:48:22 +0200 Subject: [fg-arc] WETICE 2020 - Second Round CfP Message-ID: <20200621094823.7EE4780EBD@smtp.unipi.it> ================================================================== WETICE 2020 The 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 9-11 June 2021, Basque Coast - Bayonne, France Website: http://wetice2020.org ================================================================== The safety and well-being of all conference participants is our priority. After studying and evaluating the announcements, guidance, and news released by relevant national departments, we announce that 2020 edition of WETICE will be maintained as visual conference. WETICE 2021 will be held in the same venue. The registration fees will be reduced as follows: 300 EUR full registration / 240 EUR for students.  The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE (http://wetice2020.org) is an international conference on the state-of-theart research in enabling technologies for collaboration, consisting of several conference tracks. Second-round process • Submission deadline: July 15, 2020 • Notification to authors: August 15, 2020 • Camera-ready deadline: September 10, 2020 • Authors registration deadline: September 10, 2020 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 2021 in Bayonne (French Basque country), France. With the presence of internationally distinguished keynote speakers: • Barbara Pernici, Politecnico di Milano, Italy • Sabri Skhiri, Eura Nova, Belgium • Luigi Atzori, University of Cagliari, Italy 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 Systems and Architectures • Convergence of Distributed Clouds, Grids and their Management • Collaborative Modeling & 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 • Smart Living Space 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 using the following link: https://easychair.org/conferences/?conf=wetice2020 ================================================================== 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 Parma, Italy Sami Yangui, LAAS-CNRS, France ================================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From van.hoorn at informatik.uni-stuttgart.de Thu Jun 25 16:02:10 2020 From: van.hoorn at informatik.uni-stuttgart.de (Andre van Hoorn) Date: Thu, 25 Jun 2020 16:02:10 +0200 Subject: [fg-arc] =?utf-8?q?Einreichungsfrist_verl=C3=A4ngert_bis_1=2E_Ju?= =?utf-8?q?li_2020_---_Re=3A_CfP=3A_Joint_CSE/QUDOS_2020_Workshop_=40_ECSA?= =?utf-8?q?_2020?= In-Reply-To: <901f03b3-d46c-cae9-5b35-3f1a133ed3aa@informatik.uni-stuttgart.de> References: <901f03b3-d46c-cae9-5b35-3f1a133ed3aa@informatik.uni-stuttgart.de> Message-ID: <3edc51b4-e1e2-04e2-c52e-1f481d2308ba@informatik.uni-stuttgart.de> Liebe Interessenten der FG Architekturen, Einreichungen für CSE/QUDOS 2020 sind jetzt noch bis zum *1. Juli* möglich. Details s. http://2020.qudos-workshop.org/ Schöne Grüße, André van Hoorn On 28.05.20 16:14, Andre van Hoorn wrote: > ------------------------------------------------------------------------------- > CALL FOR PAPERS > > Joint CSE/QUDOS Workshop 2020 > 5th Workshop on Continuous Software Engineering > and > 6th International Workshop on Quality-Aware DevOps > > Co-located with the > 14th European Conference on Software Architecture (ECSA 2020) > > L'Aquila, Italy > September 14-18, 2020 > (exact day to be announced) > > https://cse2020.swc-rwth.de/ - http://2020.qudos-workshop.org/ > https://twitter.com/qudos_workshop > > ------------------------------------------------------------------------------- > IMPORTANT DATES > > Submission deadline June 19, 2020 (AoE) > Paper notification Jul 13, 2020 > Camera-ready deadline Jul 22, 2020 > Workshop date Sep 14-18, 2020 (t.b.a.) > > ------------------------------------------------------------------------------- > > DON'T STOP ARCHITECTING! > > Please check the message from the ECSA 2020 General Chair on COVID-19: > https://ecsa2020.disim.univaq.it/attending/message-from-general-chair > > ------------------------------------------------------------------------------- > > SCOPE AND TOPICS > > DevOps extends the agile development principles to include the full > stack of software services, from design to execution, enabling and > promoting collaboration of operations, quality assurance, and > development engineers throughout the entire service lifecycle. > Ultimately, DevOps is a process that enables faster releases of a better > product to the end user. DevOps encompasses a set of values, principles, > methods, practices, and tools, to accelerate software delivery to the > customer by means of infrastructure as code, continuous integration and > deployment, automated testing and monitoring, or new architectural > styles such as microservices. In the end all common software engineering > activities, organizational forms and processes have to be questioned, > adapted and extended to ensure continuous and unobstructed software > development, this is the aim of continuous software engineering > (CSE)research. Current software engineering research mainly deals with > the development aspects of DevOps and CSE, focusing on development > methods, practices, and tools, leaving the quality assurance aspects of > DevOps behind. > > Even though development practices such as testing (at all levels) are > instrumental in producing quality software, they mostly deal with the > functional correctness, while quality assurance deals with a more > broadly defined concept of quality, of which functional correctness is > just one dimension. However, DevOps needs methods and tools that enable > systematic assessment, prediction, and management of software quality in > other dimensions as well, including performance, reliability, safety, > survivability, or cost ofownership. > > The Joint CSE/QUDOS workshop provides a forum for experts from academia > and industry to present and discuss novel quality-aware methods, > practices and tools for DevOps. In extension to the workshop aims to > present and discuss innovative solutions, ideas and experiences in the > area of continuity along the entire software engineering lifecycle > hence, Continuous Software Engineering. > > For the second time, CSE and QUDOS join forces to foster cross- > fertilization and bootstrap an even bigger, stronger community around > the urgently emerging topics they are both addressing from different > angles. Especially industry practitioners are invited to join this > community and present challenges, solutions and lessons learned from > real and complex projects. > > Topics of interest include, but are not limited to: > * Foundations: DevOps Engineering & Quality Assurance Methodologies; > integration with lifecycle management; automated tool chains; > patterns & smells; > * Architecture: Scalability and capacity planning; scale-out > architectures; cloud-native application design; microservice-based > architectures; model-driven architectures; architecture evolution and > erosion > * Development and Tooling: Software models and requirements in early > software development phases; automatic functional and non-functional > testing; languages, annotations and profiles for quality assurance; > analysis, verification and prediction; optimization-based > architecture design; Infrastructure-as-Code > * Operation and Maintenance: Application performance monitoring; > model-driven performance measurement and benchmarking; feedback-based > quality assurance; capacity planning and forecasting; performance > anti-pattern detection; traceability and versioning; trace and log > analysis; software regression and testing; security and privacy; > software health and self-healing; containerization and immutable > infrastructure > * Continuous X: Continuous delivery and Continuous experimentation; > deployment pipelines, canary releases and partial rollouts; A/B > testing; performance and scalability testing via shadow launches > * Applications and Experiences: Case Studies in cloud computing, Big > Data, and IoT/Edge Computing; standardization and interoperability; > novel application domains, etc. > * All other topics related to DevOps and agile service delivery models > > ------------------------------------------------------------------------------- > ORGANIZING COMMITTEE > CSE/QUDOS 2020 will be organized by the Program Committee Chairs and the > Steering Committees of the CSE and QUDOS workshops series. > > Program Committee Chairs > Robert Chatley, Imperial College London, UK > Katja Kevic, Microsoft, UK > > Program Committee > Bram Adams, Polytechnique Montréal, Canada > Maurício Aniche, TU Delft, Netherlands > Cor-Paul Bezemer, University of Alberta, Canada > Jan Bosch, Chalmers University of Technology > Daniel Bryant, DataWire / InfoQ, UK > Jürgen Cito, TU Vienna, Austria > Thomas Kurpick, Trusted Shops GmbH > Shane McIntosh, McGill U, Canada > Brendan Murphy, Microsoft Research, UK > Adrian Mouat, Container Solutions, UK > Cesare Pautasso, University of Lugano, Switzerland > Kayla Shapiro, Facebook, UK > Emma Söderberg, Lund University > Damian Tamburri, TU Eindhoven, Netherlands > Catia Trubiani, Gran Sasso Science Institute, Italy > Benji Weber, Snyk, UK > Uwe Zdun, University of Vienna, Austria > > CSE Steering Committee > Stephan Krusche, TU München, Germany > Horst Lichter, RWTH Aachen University, Germany > Dirk Riehle, FAU Nürnberg, Germany > Andreas Steffens, RWTH Aachen University, Germany > > QUDOS Steering Committee > Danilo Ardagna, Politecnico di Milano, Italy > Giuliano Casale, Imperial College London, UK > Andre van Hoorn, University of Stuttgart, Germany > Philipp Leitner, Chalmers | University of Gothenburg, Sweden > > ------------------------------------------------------------------------------- > SUBMISSION GUIDELINES > > Authors are invited to submit original, unpublished papers that are not > being considered in another forum. We solicit full papers (max. 12 > pages), short papers (max. 5 pages), and industry abstracts (max. 2 > pages). All submissions must conform to the Springer Proceedings format > (LNCS/CCIS). > > Each full paper submission will be reviewed by at least three members of > the program committee. > > Papers should be submitted via EasyChair at: > https://easychair.org/conferences/?conf=csequdos2020 > > At least one author of each accepted paper is required to attend the > workshop and present the paper. Presented papers will be published by > Springer in the ECSA 2020 workshop proceedings. > > ------------------------------------------------------------------------------- > ORGANIZATION AND SUPPORT > > The Joint CSE/QUDOS Workshop 2020 is organized and technically sponsored > by the Research Group (RG) and the DevOps Performance Working Group of > the Standard Performance Evaluation Corporation (SPEC RG, > http://research.spec.org), and by the consortium of the EU project RADON > (http://radon-h2020.eu/). > > The workshop is also supported by > IFIP Working Group on Service Oriented Systems > (http://ifip-wg-sos.deib.polimi.it/) > GI Working Group Microservices and DevOps (https://ak-msdo.gi.de/) > -- Dr.-Ing. André van Hoorn University of Stuttgart, Inst. of Software Technology Reliable Software Systems Group Universitätsstraße 38, D-70569 Stuttgart, Germany Room: 1.332 Phone: +49 (0)711 685-88-252, Fax: -472 E-Mail: van.hoorn at informatik.uni-stuttgart.de https://www.iste.uni-stuttgart.de/institute/team/van-Hoorn/ http://kieker-monitoring.net/, http://research.spec.org/ From mhecher at gmail.com Tue Jun 23 08:13:27 2020 From: mhecher at gmail.com (markus hecher) Date: Tue, 23 Jun 2020 08:13:27 +0200 Subject: [fg-arc] Deadline Extension: ASPOCP 2020 Message-ID: Please accept our apologies for crossposting. =============================================================================== CALL FOR PAPERS ASPOCP 2020 13th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/site/aspocp2020 September 17 or 18, 2020 (ICLP Workshop) Affiliated with 36th International Conference on Logic Programming, University of Calabria, Rende, Italy September 18-24, 2020 =============================================================================== 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: - papers describing original research, - non-original papers already published in formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the Springer LNCS 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/conferences/?conf=aspocp2020 . IMPORTANT DATES * All dates are 'Anywhere on Earth', namely 23:59 UTC-12* Abstract submission deadline: *July 11, 2020 (extended)* Paper submission deadline: *July 13, 2020 (extended)* Notification: July 30, 2020 (extended) Camera-ready articles due: September 2, 2020 (extended) * Workshop: September 17 or 18, 2020* 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 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. We are currently negotiating with potential journals. Such papers will go through a second formal selection process to meet the high quality standard of the journal. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. LOCATION University of Calabria, Rende, CS, Italy WORKSHOP CO-CHAIRS Jessica Zangari, University of Calabria, Italy Markus Hecher, TU Wien, Austria PROGRAM COMMITTEE Anne Siegel Antti Hyvärinen Christoph Redl Cristina Feier Daniela Inclezan David Pearce Enrico Giunchiglia Esra Erdem Francesco Calimeri Giovambattista Ianni Guillermo R. Simari Johannes K. Fichte Johannes P. Wallner Katsumi Inoue Marcello Balduccini Marco Maratea Marina De Vos Mario Alviano Michael Morak Mirek Truszczynski Mutsunori Banbara Orkunt Sabuncu Pedro Cabalar Sarah Alice Gaggl Sebastian Schellhorn Simona Perri Stefan Ellmauthaler Stefan Woltran Stefania Costantini Tomi Janhunen Tran Cao Son Vladimir Lifschitz Zeynep G. Saribatur -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Tue Jun 23 11:16:07 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 23 Jun 2020 11:16:07 +0200 Subject: [fg-arc] [CfP] ICLP DC 2020 - 16th Doctoral Consortium on Logic Programming Message-ID: *** ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming *** The 16th 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-2020/iclp-2020-doctoral-consortium The DC will take place during the 36th International Conference on Logic Programming (ICLP) https://iclp2020.unical.it/ (September 18-24, 2020), hosted by the University of Calabria, Italy, 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. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Important Dates Paper submission: July 11, 2020 Notification: July 25, 2020 Camera-ready copy: August 6, 2020 DC presentations: Sunday, September 20, 2020 (fully virtual event) However, DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming on: Friday and Saturday, September 18-19, 2020: https://sites.google.com/view/iclp-dc-2020/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): Theoretical Foundations of Logic and Constraint Logic Programming Sequential and Parallel Implementation Technology Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) Innovative Applications of Logic Programming 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 The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but 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 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=iclp20200 (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 2020 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 Daniela Inclezan, Miami University Program Committee TBA -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From lpandolfo at uniss.it Wed Jun 24 17:02:04 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Wed, 24 Jun 2020 17:02:04 +0200 Subject: [fg-arc] [2nd CfP] CAUSAL 2020 - Workshop on Causal Reasoning and Explanation in Logic Programming Message-ID: <137cbdbd-c0f9-a88a-c3d5-f1449acce048@uniss.it> [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 2020 ***                           (September 17 or 18, 2020)      Workshop on Causal Reasoning and Explanation in Logic Programming           CAUSAL 2020 is a workshop co-located withICLP2020                  in University of Calabria, Rende, Italy. *NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers on the situation, and we will revise our workshop timeline and other procedures accordingly if needed.* CAUSAL 2020 IMPORTANT DATES ------------------------- * Paper submission: July 15th 2020 * Notification: July 30th 2020 * Final Versions: August 15th 2020 * Workshop Date: September 17th or 18th 2020 ------------------------ 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, Explainable AI, Diagnosis,  Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from theICLP 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 ------ 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 * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2020 At least one co-author of each accepted paper must register for and attend the workshop. Please check theICLP2020 website for registration procedure and fees. https://iclp2020.unical.it/ 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 Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From radu.muschevici at nottingham.edu.my Thu Jun 25 08:05:35 2020 From: radu.muschevici at nottingham.edu.my (radu.muschevici at nottingham.edu.my) Date: Thu, 25 Jun 2020 14:05:35 +0800 Subject: [fg-arc] CfP: ICTAC 2020 Message-ID: Call for papers 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). https://ictac2020.github.io/ ---------------------------------------------------------------------- DEADLINE EXTENSION: * Abstracts: 10. July 2020 * Full submission: 17. July 2020 ---------------------------------------------------------------------- Concerning COVID-19 The Program Chairs and the Steering Committee of ICTAC 2020 are closely following the situation regarding COVID-19 and will take appropriate measures if and when needed, following the recommendations of relevant national and international bodies, such as the World Health Organization. These measures will be adapted to the actual situation and may e.g., include the possibility of remote paper presentations or a full electronic implementation of the conference. REMOTE PARTICIPATION: as of June, we have decided that virtual participation will be possible even if the conference will (also) be held physically. ---------------------------------------------------------------------- ****** ABOUT ICTAC 2020 ****** We are pleased to invite you to submit papers for the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), which will take place in Macao S.A.R., China on 30 November- 4 December, 2020. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. ICTAC also aims to promote research cooperation between developing and industrial countries. The proceedings will be published as a volume of Springer's LNCS series. ****** IMPORTANT DATES (Updated) ****** Abstract submission: Friday, 10 July 2020 (AoE) Paper submission: Friday, 27 July 2020 (AoE) Notification: Friday, 18 September 2020 (AoE) Camera-ready: Wednesday, 30 September 2020 (AoE) Main Conference: 30 November - 4 December 2020 ****** OBJECTIVES and SCOPE ****** Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. The topics of the conference include, but are not limited to: - Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed, grid and cloud computing - Models of objects and components - Coordination models Models of software architectures - Timed, hybrid, embedded and cyber-physical systems - Static analysis - Software verification - Software testing - Program generation and transformation - Model checking and automated theorem proving - Interactive theorem proving - Verified software, formalized programming theory ****** SUBMISSION OF CONTRIBUTIONS ****** We solicit the following types of papers: - Regular papers, with original research contributions; - Short papers, with original work in progress or with proposals of new ideas and emerging challenges; - Tool papers, on tools that support formal techniques for software modelling, system design, and verification. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Short- and tool papers should not exceed 10 pages. Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. All contributions to ICTAC 2020 have to be submitted electronically in PDF format via Easy Chair (https://easychair.org/conferences/?conf=ictac2020). All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, and present the paper. The ICTAC committee will evaluate and select the best paper award winner. Planned special issue: Selected papers will be considered for a journal special issue to be confirmed). Authors should consult Springer's authors' guidelines (ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf) and use their proceedings templates, either for LaTeX (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) or for Word (ftp://ftp.springernature.com/cs-proceeding/llncs/word/splnproc1703.zip), for the preparation of their papers. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) 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. ****** Organization ****** *** Program Committee Chairs *** Violet Ka I Pun (Western Norway University of Applied Sciences, NO) Adenilso da Silva Simão (University of São Paulo, BR) Volker Stolz (Western Norway University of Applied Sciences, NO) *** Workshop/Tutorial Chairs *** Antonio Cerone (Nazarbayev University, KZ) Einar Broch Johnsen (University of Oslo, NO) *** Local Organisation Chairs *** Xiaoshan Li (University of Macau, MO) Ignacio Marcovecchio (UNU-CS, MO) Joseph Chi Man Pun (University of Macau, MO) *** Publicity Chairs *** Zhiming Liu (Southwest University, CN) Radu Muschevici (University of Nottingham, MY) *** Program Committee *** Erika Ábrahám (RWTH Aachen University, DE) Kamel Barkaoui (CNAM, FR) Frédéric Blanqui (INRIA, FR) Simon Bliudze (INRIA, FR) Benedikt Bollig (LSV, ENS Cachan, CNRS, FR) Eduardo Bonelli (Stevens Institute of Technology, US) Ana Cavalcanti (University of York, UK) Antonio Cerone (Nazarbayev University, KZ) Yu-Fang Chen (National Taiwan University, TW) Uli Fahrenberg (LIX, FR) Bernd Fischer (Stellenbosch University, ZA) Paola Giannini (Universit� del Piemonte Orientale, Alessandria, IT) Edward Hermann Haeusler (Pontifícia Universidade Católica do Rio de Janeiro, BR) Thomas Troels Hildebrandt (University of Copenhagen, DK) Ross Horne (University of Luxembourg, LU) Reiner Hähnle (Technische Universität Darmstadt, DE) Eun-Young Kang (University of Southern Denmark, DK) Jan K�(tm)etínský (Technische Universität München, DE) Lars Michael Kristensen (Western Norway University of Applied Sciences, NO) Martin Leucker (University of Lübeck, DE) Michael Lienhardt (ONERA, FR; University of Turin, IT) Dominique Méry (LORIA, FR) Mohammad Reza Mousavi (University of Leicester, UK) Maciej Piróg (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Riadh Robbana (INSAT, TN) Kristin Yvonne Rozier (Iowa State University, US) Augusto Sampaio (Universidade Federal de Pernambuco, BR) César Sánchez (IMDEA Software Institute, ES) Marjan Sirjani (Mälardalen University, SE; Reykjavik University, IS) Georg Struth (University of Sheffield, UK) Jing Sun (University of Auckland, NZ) << This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK & Malaysia legislation. >> From sauer at uni-paderborn.de Fri Jun 26 16:29:54 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 26 Jun 2020 16:29:54 +0200 Subject: [fg-arc] Final Announcement: HCSE 2020 submission closes July 6th, 2020 - 8th Intl. Conference on Human-Centered Software Engineering In-Reply-To: References: Message-ID: Dear colleagues, regarding COVID-19 circumstances, keeping in mind the very interactive character of HCSE as a working conference and the strong community aspects of this meeting, we have decided to postpone HCSE and run it in the regular way as a physical meeting in Eindhoven, The Netherlands. The new date will be *November 30 - December 2, 2020*. Hopefully by then, it will be possible and permitted to travel to the event for every participant and to hold the conference meeting. Due to this postponement we have re-opened and rescheduled the submission and reviewing process again. Thus, we give researchers and practitioners the chance to submit additional work. The new deadlines are the following: *Technical full papers, late breaking results* ------------------------------------------------------- _July 6, 2020 (extended!)                      Submission _ August 24, 2020 (extended!)              Notification to Authors September 30, 2020 (extended!)       Camera-ready due *Demos, posters* -------------------- _August 31, 2020 (extended!)              Submission_ September 21, 2020 (extended!)      Notification to Authors September 30, 2020 (extended!)      Camera-ready due Please see the *CfP* below for details and visit the conference *website* for further and updated information. http://hcse-conference.org/ We are looking forward to meeting you at TU/e in Eindhoven for HCSE 2020. Please stay well and healthy! Best wishes, Regina Bernhaupt - Carmelo Ardito - Stefan Sauer General Organizers of HCSE 2020 -------------------------------------------------------------------------------- *HCSE 2020* *Call for Papers* *8th International Working Conference on Human-Centered Software Engineering* *November 30th - December 2nd, 2020 - Eindhoven University of Technology, Eindhoven, The Netherlands* http://www.hcse-conference.org *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design in cooperation with IFIP Working Group 13.5 on Human Error, Resilience, Reliability, Safety and System Development . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes. Other topics of interest include: ●        contributions to the theory and best practices of user-centered design ●        design and architectural patterns for interactive systems ●        involvement of end-users, clients and stakeholders in the development process of interactive systems ●        innovative methods for identifying end-user requirements for interactive systems ●        integration of user experience (and any other user interface property) in development processes ●        methods for designing, building and assessing interactive systems beyond the desktop (e.g. the living room, ubiquitous and multi-display, cockpits, etc.) ●        models and model-based approaches for building interactive systems ●        integration of multiple properties (e.g. usability, security, reliability, user experience, privacy, accessibility, etc.) in software development ●        socio-technical aspects of interactive software development ●        software architectures for interactive systems ●        rational design and traceability of design choices. HCSE 2020 welcomes contribution as *technical full papers, late breaking results, demonstrations and posters*. All papers are peer-reviewed and selected contributions will appear in the proceedings published by Springer in the *LNCS* series. In the present edition of *HCSE 2020* we are particularly interested in studies focused on *multi-stakeholder* concepts and how to cope with multi-stakeholders taking into account not only micro perspective but on the systemic change level. As in past editions, the focus of the working group is on *user interface properties *(such as usability, ux, privacy, trust, security, reliability, adaptability, among other) and how to design, develop and evaluate based on a *user-centered development process*. We are interested in understanding how different stakeholders and developers value diverse user interface properties and how they manage conflicts between them (when one property might degrade the value of another) on a systemic change level. Our aim is to cover a large set of user interface properties and try to reveal their inner dependencies. We are particularly interested in the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. *HCSE*welcomes the following types of contributions: * * ●        *Technical full papers*(*up to 20 pages*) should describe substantial research contributions of novel work that has produced advanced results including validation of results. ●        *Late-breaking results*(*up to 12 pages*) are short papers that present work in progress, new practice and experience reports containing good (and bad) practices and/or recent practical evaluations of methods, techniques and tools. ●        *Demonstrations and posters*(*5–8 pages, plus poster design draft*) should present ongoing work and/or late-breaking results related to the use of innovative tools and cutting-edge systems not described in other paper submissions. Demonstration papers should provide description of tools including user tasks and evidence of use to end-users. Demo submissions should summarize the system’s significance and its performance and should either include screenshots or link to an online-accessible resource. The poster design draft should show the planned design and content of the poster that will be presented at the conference. Industry contributions to demos and posters are particularly welcome and highly encouraged. *Submissions and Reviewing Process* Contributions should be sent via *EasyChair* (https://easychair.org/conferences/?conf=hcse2020). All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*, demonstrations and posters *single-blind*. Authors must prepare their submission files accordingly! For poster submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results short papers to give tool demos as well without submitting additional demo papers. *Proceedings* Accepted contributions must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Important Dates* *Technical full papers, late breaking results* _Submission: __*July 6^th *__, 2020 (extended!)_ Notification to authors: *August 24^th *, 2020 Camera-ready due: *September 30^th *, 2020 *Demos, posters* _Submission: __*August 31^st *__, 2020 (extended!)_ Notification to authors: *September 21^st *, 2020 Camera-ready due: *September 30^th *, 2020 Conference dates: *November 30^th – ***December *2^nd *, 2020 *Organizers * *General Conference Chairs:* Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Carmelo Ardito, Politecnico di Bari, Italy Stefan Sauer, Paderborn University, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5315 bytes Desc: S/MIME Cryptographic Signature URL: From franconi at inf.unibz.it Fri Jun 26 18:16:46 2020 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Fri, 26 Jun 2020 18:16:46 +0200 Subject: [fg-arc] 18 four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy Message-ID: <26062020181646705GGh77pfXqRRd0173@smtp.office365.com> 18 four-year grants are offered by the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 € (i.e., 17,000 euro per year, net after taxes); for research visits abroad the grant increases up to 50%. Additional substantial extra funding (including a personal budget of 2,500 euro per year) is available for participation to international conferences, schools, workshops, research visits. Some of the 18 PhD grants are supported by FBK, CNR, University of Ume?, and by software companies, and interested candidates might carry out their PhD research in collaboration with these external partners. The language of the PhD programme is English. The deadline for applications will be on the 13th of July, 2020. For more info, the call, and applications look at: www.unibz.it/en/faculties/computer-science/phd-computer-science The university is located in one of the most fascinating European regions, the Dolomites. This young university has already established itself as an important research institution, both in Italy and abroad. According to the Times Higher Education World University Rankings 2019, the university is the ninth world’s best small university and it is the second best young Italian University, and its Faculty of Computer Science is ranked among the 150 best Computer Science departments worldwide (in absolute terms) and it is the 21st best Computer Science department worldwide for scientific citations. According to the same ranking, the Faculty of Computer Science of the Free University of Bozen-Bolzano is the third best Italian computer science department, it is the best for international outlook Italian computer science department, and it is the best for citations Italian computer science department. At this time of global uncertainty, you may be wondering whether your application to the PhD programme will be affected. The Free University of Bozen-Bolzano is in constant contact with the competent authorities to monitor the development of the COVID-19 emergency to provide the adequate preventive actions for the university community. All interviews for short-listed candidates will be held online. It is possible that by November 2020, when the PhD programme starts, some restrictive measures may be in place: the university will support new students to go through the initial process as smoothly as possible. In any case, we are committed to continue our research and supervision at the usual high quality level. The KRDB Research Centre for Knowledge and Data of the faculty is widely recognised as one of the internationally leading groups in Artificial Intelligence Knowledge Representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics (fully described in the call), the KRDB Research Centre is looking for PhD students interested in: 1 Logic-based languages for knowledge representation; 2 Intelligent data access and integration; 3 Semantic technologies; 4 Conceptual and cognitive modelling; 5 Data-aware process modelling, verification, and synthesis; 6 Business process monitoring, mining, and conformance; 7 Temporal aspects of data and knowledge; 8 Extending database technologies; 9 Visual and verbal paradigms for information exploration; 10 Reasoning with uncertain and imprecise knowledge. To get in contact with the KRDB Research Centre and discuss about the opportunities of this call contact prof. Alessandro Artale at artale at inf.unibz.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Jun 29 18:51:35 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 29 Jun 2020 18:51:35 +0200 Subject: [fg-arc] TPNC 2020: 3rd call for papers Message-ID: <545102060a010b0203515002030a535e075453525708065501550b550000545351550c07045f0905035557040e05055d@grlmc_ip-zone_com-6> TPNC 2020: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **************************************************************************** 9th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2020   Taoyuan, Taiwan   December 7-9, 2020   Co-organized by:   Chung Yuan Christian University College of Science   Institute for Research Development, Training and Advice - IRDTA Brussels / London   https://irdta.eu/tpnc2020/ ****************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2020 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   Previous events took place in Tarragona, Cáceres, Granada, Mieres, Sendai, Prague, Dublin and Kingston.   VENUE:   TPNC 2020 will take place in Taoyuan, in northwestern Taiwan, neighboring Taipei and home to many industrial parks and tech company headquarters. The venue will be:   tba   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   affective computing ambient intelligence ant colony optimization approximate reasoning artificial immune systems artificial life cellular automata cognitive computing cognitive robotics collective intelligence combinatorial optimization computational intelligence computing with words developmental systems DNA computing evolutionary algorithms evolutionary computing evolutionary game theory fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming global optimization granular computing heuristics intelligent agents intelligent control intelligent manufacturing intelligent systems intelligent user interfaces machine intelligence membrane computing metaheuristics molecular programming multiobjective optimization neural networks quantum communication quantum computing quantum information quantum metrology rough sets soft computing swarm intelligence swarm robotics unconventional computing   - Applications of natural computing to:   algorithmics bioinformatics cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing pattern recognition planning and scheduling programming telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2020 will consist of:   - invited talks - peer-reviewed contributions - posters   KEYNOTE SPEAKERS: (to be completed)   Yaochu Jin (University of Surrey), tba   Mark Liao (Academia Sinica), YOLOv4: The Most Accurate and Speedy Object Detector in the World   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Shawkat Ali (Central Queensland University, AU) Elisabeth André (University of Augsburg, DE) Peter J. Bentley (University College London, UK) Erik Cambria (Nanyang Technological University, SG) Christer Carlsson (Åbo Akademi University, FI) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Claude Crépeau (McGill University, CA) Leroy Cronin (University of Glasgow, UK) Ernesto Damiani (University of Milan, IT) Yong Deng (University of Electronic Science and Technology of China, CN) Matthias Ehrgott (Lancaster University, UK) Deborah M. Gordon (Stanford University, US) Étienne Kerre (Ghent University, BE) Sam Kwong (City University of Hong Kong, HK) Chung-Sheng Li (PriceWaterhouseCoopers, US) Jing Liang (Zhengzhou University, CN) Gui Lu Long (Tsinghua University, CN) Jie Lu (University of Technology Sydney, AU) Robert Mann (University of Waterloo, CA) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) Serge Massar (Université Libre de Bruxelles, BE) Marjan Mernik (University of Maribor, SI) Seyedali Mirjalili (Torrens University Australia, AU) Saeid Nahavandi (Deakin University, AU) Ngoc Thanh Nguyen (Wrocław University of Science and Technology, PL) Leandro Nunes de Castro (Mackenzie Presbyterian University, BR) Arun Kumar Pati (Harish-Chandra Research Institute, IN) Matjaž Perc (University of Maribor, SI) Brian M. Sadler (Army Research Laboratory, US) Patrick Siarry (Paris-Est Créteil University, FR) Dan Simon (Cleveland State University, US) Andrzej Skowron (University of Warsaw, PL) Stephen Smith (University of York, UK) Ponnuthurai N. Suganthan (Nanyang Technological University, SG) Vicenç Torra (Umeå University, SE) Rufin VanRullen (CNRS Toulouse, FR) Miin-Shen Yang (Chung Yuan Christian University, TW) Simon X. Yang (University of Guelph, CA) Yi Zhang (Sichuan University, CN)   ORGANIZING COMMITTEE:   Meng-Hui Li (Taoyuan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Miin-Shen Yang (Taoyuan, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Upload submissions to:   https://easychair.org/conferences/?conf=tpnc2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of Swarm and Evolutionary Computation (Elsevier, 2018 impact factor: 6.330) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://irdta.eu/tpnc2020/registration/   DEADLINES (all at 23:59 CET):   Paper submission: July 25, 2020 Notification of paper acceptance or rejection: August 29, 2020 Final version of the paper for the LNCS proceedings: September 5, 2020 Early registration: September 5, 2020 Late registration: November 23, 2020 Submission to the journal special issue: March 9, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Chung Yuan Christian University   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: