From announce at cs.ucy.ac.cy Wed Sep 2 13:13:49 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 2 Sep 2020 14:13:49 +0300 Subject: [fg-arc] RCIS 2020 -- 14th International Conference on Research Challenges in Information Science: Call for Virtual Participation Message-ID: CALL FOR VIRTUAL PARTICIPATION RCIS 2020 -- 14th International Conference on Research Challenges in Information Science September 22-25, 2020, Online http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlSQ0lTIDIwMjAgLS0gMTR0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gUmVzZWFyY2ggQ2hhbGxlbmdlcyBpbiBJbmZvcm1hdGlvbiBTY2llbmNlOiBDYWxsIGZvciBWaXJ0dWFsIFBhcnRpY2lwYXRpb24JNDkwCUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2F RCIS 2020 will bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and to provide opportunities for knowledge sharing and dissemination. The theme of the 2020 edition of RCIS is "Information Science in the Days of Artificial Intelligence". The conference will be held online on Tuesday 22 September through Friday 25 September in the 11.00-17.00 CEST timeslot. Registration for non-authors is available at the favorable price of 30 Euros, which give access to all scientific events: two keynote speeches, three tutorials, 29 papers in the main track, 12 posters & demos, 8 research projects, one panel on the role of AI in information systems, and 4 doctoral consortium papers. Register at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlSQ0lTIDIwMjAgLS0gMTR0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gUmVzZWFyY2ggQ2hhbGxlbmdlcyBpbiBJbmZvcm1hdGlvbiBTY2llbmNlOiBDYWxsIGZvciBWaXJ0dWFsIFBhcnRpY2lwYXRpb24JNDkwCUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020/registration.php by **September 14, 2020***. Keynotes · Hajo Reijers (Utrecht University): The Future of Work Automation · Nava Tintarev (Delft University of Technology): Explainable AI is not yet understandable AI For more information on the keynotes, visit http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlSQ0lTIDIwMjAgLS0gMTR0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gUmVzZWFyY2ggQ2hhbGxlbmdlcyBpbiBJbmZvcm1hdGlvbiBTY2llbmNlOiBDYWxsIGZvciBWaXJ0dWFsIFBhcnRpY2lwYXRpb24JNDkwCUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020/keynotes.php . Main Conference There will be 56 presentations in the research track, doctoral consortium, research projects, posters & demos, and tutorials. An overview of the program can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlSQ0lTIDIwMjAgLS0gMTR0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gUmVzZWFyY2ggQ2hhbGxlbmdlcyBpbiBJbmZvcm1hdGlvbiBTY2llbmNlOiBDYWxsIGZvciBWaXJ0dWFsIFBhcnRpY2lwYXRpb24JNDkwCUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020/overview.php . Virtual Format The conference will be held online through Zoom sessions. The technical presentations will be organized into two parallel tracks. Some events will be plenary, including the keynotes, the panel, and the posters & demos track. The main program will be split into three sessions, each lasting 90 minutes, with breaks of 30 minutes between the sessions. On Wednesday, after the sessions, we are planning an informal get-together event. Proceedings The proceedings, published by Springer, are available online and will be made freely available to registered participants: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlSQ0lTIDIwMjAgLS0gMTR0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gUmVzZWFyY2ggQ2hhbGxlbmdlcyBpbiBJbmZvcm1hdGlvbiBTY2llbmNlOiBDYWxsIGZvciBWaXJ0dWFsIFBhcnRpY2lwYXRpb24JNDkwCUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Flink.springer.com%2Fbook%2F10.1007%2F978-3-030-50316-1 We are looking forward to meeting you (virtually) at RCIS 2020. · Pericles Loucopoulos, General Co-Chair · George A. Papadopoulos, Organization Chair and General Co-Chair · Fabiano Dalpiaz, Program Co-Chair · Jelena Zdravkovic, Program Co-Chair -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Mon Sep 7 22:42:32 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 7 Sep 2020 22:42:32 +0200 Subject: [fg-arc] Call for Participation - LP/CP Programming Contest 2020 Message-ID: <9be6eb4f-5548-9af4-e996-ec8268998631@uniss.it> The traditional *LP/CP Programming Contest* will be run in virtual mode during *ICLP 2020* from *Monday 21 at 12:00* (CEST, UTC+2) and will last 24 hours. Do not miss the opportunity to participate and prove your valor on one of the most awaited programming contest of the year. Teams of up to three participants will fight against five problems to be solved by means of declarative programming. *Participation is open and free of charge*. Novelty of this edition: input and output will not be system-based, and a zero-knowledge protocol will be used to self-check correctness of solutions on the provided instances before submission. Check the official page of the Contest for more details: https://tinyurl.com/lpcp-2020 -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: image.png Type: image/png Size: 137652 bytes Desc: not available URL: From angalletta at unime.it Tue Sep 1 09:24:22 2020 From: angalletta at unime.it (Antonino Galletta) Date: Tue, 1 Sep 2020 09:24:22 +0200 (CEST) Subject: [fg-arc] CFP: 5th IEEE International Conference on Fog and Edge Computing (ICFEC 2021) Message-ID: <1523540063.3899643.1598945062741.JavaMail.zimbra@unime.it> Dear Colleague, Please accept our sincere apologies if you receive multiple copies of this CFP. ========================================================================= 5TH IEEE INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING ( ICFEC 2021) 10-13 May 2021, Melbourne, Australia In conjunction with IEEE/ACM CCGrid 2021 URL: [ https://icfec2021.eeecs.qub.ac.uk/ | https://icfec2021.eeecs.qub.ac.uk ] ========================================================================= We are delighted to invite you for the 5th IEEE International Conference on Fog and Edge Computing to be held in Melbourne, Australia. The conference will be held as part of and in conjunction with IEEE/ACM CCGrid 2021, which is sponsored by the IEEE Computer Society and ACM. INTRODUCTION Billions of devices and sensors ranging from user gadgets to more complex systems with sensing and actuating capabilities, such as power grids or vehicles, from the physical world are getting connected to the Internet. However, the need to operate the scale of heterogeneous devices and sensors while being performance-efficient in real-time is challenging. Typically, the data generated by the devices and sensors are transferred to and processed centrally by services hosted on geographically distant clouds. This is untenable given the communication latency incurred and the ingress bandwidth demand. A new and disruptive paradigm spear-headed by academics and industry experts is taking shape so that applications can leverage resources located at the edge of the network and along the continuum between the cloud and the edge. These edge resources may be geographically or in the network topology be closer to devices and sensors, such as home router, gateways or more substantial micro data centers. Edge resources may be used to offload selected services from the cloud to accelerate an application or host edge-native applications. The paradigm within which the edge is harnessed is referred to as 'Fog/Edge computing'. The Fog/Edge computing paradigm is expected to improve the agility of service deployments, make use of opportunistic and cheap computing, and leverage the network latency and bandwidth diversities between these resources. Numerous challenges arise when using edge resources, which requires the re-examination of operating systems, virtualization and containers, and middleware techniques for fabric management. Extensions to current programming and storage models are required and new abstractions that will allow developers to design novel applications that can benefit from massively distributed and data-driven systems need to be developed. Addressing security, privacy and trust of the edge resources is of paramount importance while managing the resources and context for mobile, transient and hardware constrained resources. Lastly, emerging domains like autonomous vehicles and machine/deep learning need to be supported over such platforms. CALL FOR PAPERS The conference seeks to attract high-quality contributions covering both theory and practice over system software and domain-specific applications related to next-generation distributed systems that use the edge. Some representative topics of interest include, but are not limited to: * Data centers and infrastructures for Fog/Edge computing * Middleware and runtime systems for Fog/Edge infrastructures * Programming models for Fog/Edge computing * Storage and data management platforms for Fog/Edge computing * Scheduling for Fog/Edge infrastructures * Distributed and federated machine learning on Fog/Edge * Performance monitoring and metering of Fog/Edge infrastructures * Legal issues and business aspects of Fog/Edge computing * Security, privacy, trust and provenance issues in Fog/Edge computing * Modeling and simulation of Fog/Edge environments * Novel, latency-sensitive and locality-critical applications of Fog/Edge computing SUBMISSION INSTRUCTIONS We invite original manuscripts that have neither been published elsewhere nor are under review at a different venue. The manuscripts should be structured as technical papers, written in English. Authors should submit papers electronically in PDF format and may not exceed 8 letter-size pages in length, including all figures, tables and references. Papers should follow the IEEE format template for conference proceedings available at [ http://www.ieee.org/conferences_events/conferences/publishing/templates.html | http://www.ieee.org/conferences_events/conferences/publishing/templates.html ] . Submissions not conforming to these guidelines or received after the due date may not be reviewed. All manuscripts will be reviewed and judged on originality, technical strength, significance, quality of presentation, and relevance to the conference attendees. Papers may be submitted online at [ https://www.easychair.org/conferences/?conf=icfec2021 | https://www.easychair.org/conferences/?conf=icfec2021 ] IMPORTANT DATES * Papers due: 03 January 2021 23:59 AoE * Author notifications of Acceptance: 08 February 2021 * Camera Ready Paper: 03 March 2021 PUBLICATION Papers that are accepted for publication may be accepted as REGULAR paper (8 pages) or SHORT papers (5 pages), depending on the reviewer recommendations. Accepted papers will be included in the conference proceedings that will be published through the IEEE Computer Society Conference Publishing Services. ORGANIZATION General Chairs * Rajkumar Buyya, University of Melbourne, Australia * Yogesh Simmhan, Indian Institute of Science, India Program Chairs * Blesson Varghese, Queen’s University Belfast, UK, [ mailto:b.varghese at qub.ac.uk | b.varghese at qub.ac.uk ] * Lena Mashayekhy, University of Delaware, USA, [ mailto:mlena at udel.edu | mlena at udel.edu ] Steering Committee * Rajkumar Buyya, University of Melbourne, Australia * Adrien Lebre, INRIA, France * Omer Rana, Cardiff University, UK * Anthony Simonet, iExec Blockchain Tech, France * Haiying Shen, University of Virginia, USA * Massimo Villari, University of Messina, Italy ============================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Sep 7 20:05:47 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 07 Sep 2020 20:05:47 +0200 Subject: [fg-arc] DeepLearn 2021 Winter: early registration September 14 Message-ID: <545102060a010b020455590b0405565e06500d500152500255515b0755015b0751070355060151510103565103050401@grlmc_ip-zone_com-6> DeepLearn 2021 Winter: early registration September 14*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ******************************************************************   4th INTERNATIONAL SCHOOL ON DEEP LEARNING   DeepLearn 2021 Winter   Milan, Italy   January 11-15, 2021   Co-organized by:   Department of Information Engineering Marche Polytechnic University   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/deeplearn2021w/   ******************************************************************   --- Early registration deadline: September 14, 2020 ---   ***********************************************   In conjunction with ICPR 2020   https://www.micc.unifi.it/icpr2020/   ICPR 2020 participants are eligible for a registration discount.   SCOPE:   DeepLearn 2021 Winter 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 deep learning. Previous events were held in Bilbao, Genova and Warsaw.   Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 24 four-hour and a half courses and 3 keynote lectures, 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, DeepLearn 2021 Winter 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:   DeepLearn 2021 Winter will take place in Milan, the third largest economy among European cities and one of the Four Motors for Europe. The venue will be:   MiCo Milano Convention Centre Piazzale Carlo Magno 1 Milan   https://www.micomilano.it/it/   The venue will be shared with the 25th International Conference on Pattern Recognition – ICPR 2020   https://www.micc.unifi.it/icpr2020/   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:   Nello Cristianini (University of Bristol), Data, Intelligence and Shortcuts   Petia Radeva (University of Barcelona), Uncertainty Modeling and Deep Learning in Food Analysis   Indrė Žliobaitė (University of Helsinki), Any Hope for Deep Learning in Deep Time?   PROFESSORS AND COURSES:   Ignacio Arganda-Carreras (University of the Basque Country), [introductory/intermediate] Deep Learning for Bioimage Analysis   Thomas G. Dietterich (Oregon State University), [introductory] Machine Learning Methods for Robust Artificial Intelligence   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Online, Interactive and Deep Learning Machines with Scalability, and Adaptivity   Sergei V. Gleyzer (University of Alabama), [introductory/intermediate] Machine Learning Fundamentals and Their Applications to Very Large Scientific Data: Rare Signal and Feature Extraction, End-to-end Deep Learning, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement Learning   Balázs Kégl (Huawei Technologies), [introductory] Deep Model-based Reinforcement Learning   Ludmila Kuncheva (Bangor University), [intermediate] Classifier Ensembles in the Era of Deep Learning   Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry   Geert Leus (Delft University of Technology), [introductory/intermediate] Graph Signal Processing: Introduction and Connections to Distributed Optimization and Deep Learning   Andy Liaw (Merck Research Labs), [introductory] Machine Learning and Statistics: Better together   Debora Marks (Harvard Medical School), [intermediate] Protein Design Using Deep Learning   Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition   Sayan Mukherjee (Duke University), [introductory/intermediate] Integrating Deep Learning with Statistical Modeling   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Lyle John Palmer (University of Adelaide), [introductory/advanced] Epidemiology for Machine Learning Investigators   Razvan Pascanu (DeepMind), [intermediate/advanced] Understanding Learning Dynamics in Deep Learning and Deep Reinforcement Learning   Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning   José C. Príncipe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn W. Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   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 January 3, 2021.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 January 3, 2021.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning 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 January 3, 2021.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Carlos Martín-Vide (Tarragona, program chair) Sara Moccia (Ancona) Sara Morales (Brussels) Marina Paolanti (Ancona) Manuel J. Parra-Royón (Granada) Luca Romeo (Ancona) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/deeplearn2021w/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.   ACCOMMODATION:   Suggestions for accommodation are available at   https://irdta.eu/deeplearn2021w/accommodation/   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:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice – IRDTA, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From christoph.fehling at daimler.com Thu Sep 10 13:04:45 2020 From: christoph.fehling at daimler.com (christoph.fehling at daimler.com) Date: Thu, 10 Sep 2020 11:04:45 +0000 Subject: [fg-arc] ICSA 2021: Call for Workshop Proposals Message-ID: IEEE International Conference on Software Architecture 2021 http://icsa-conferences.org/2021/ Call for Workshop Proposals SCOPE ICSA 2021 workshops provide a unique forum for researchers and practitioners to present, learn, discuss, and explore the latest experiences, challenges, trends, and emerging R&D results in the field of software architecture. The goal of the workshops is to provide a forum for participants to discuss topics of rising interest in software architecture, engage in intensive discussion, and explore the topic from different perspectives. Workshops may be half-day or one-day events. Potential topics for workshops are the same as, but not limited to, those of the ICSA 2020 conference. Workshop chairs are responsible for submission and selection of papers. Submissions must follow the IEEE Computer Science proceedings format, as workshop proceedings will be published by IEEE CS Digital Library. Workshop chairs may allow for different types of contributions (e.g., technical, position, and case study papers), but a workshop paper should not exceed a maximum of 8 pages in IEEE format. PROPOSAL SUBMISSION Proposals must be written in English and not exceed four pages in IEEE CS proceedings format (https://www.ieee.org/conferences/publishing/templates.html), and must be submitted electronically in PDF through Easychair (https://easychair.org/conferences/?conf=icsa2021ws). Proposals should include: - Title - Names and affiliations of organizers - Past workshops (at WICSA, ECSA, or elsewhere) held by the organizers - Description of the workshop theme, in particular, its relation with the field of Software Architecture - Goals and objectives for the workshop - Whether you prefer full-day or half-day option EVALUATION CRITERIA Workshop proposals will be reviewed based on: - Potential of the workshop to advance the state of software architecture research and/or practice - Timeliness and expected interest in the topic - Organizers' ability to lead a successful workshop IMPORTANT DATES (these dates apply to all workshops) - Workshop proposal submission: September 30th, 2020 - Workshop proposal notification: October 10th, 2020 - Workshop CfP publication: At the discretion of workshop chairs - Abstract submission: January 15th, 2021 (firm) - Paper submission: January 20th, 2021 (firm) - Paper notification: February 8th, 2021 (firm) - Workshop program publication: At the discretion of workshop chairs - Camera-ready workshop papers due: February 15th, 2020 (firm) WORKSHOP CHAIRS Dr. Christoph Fehling, Mercedes-Benz AG, Germany Dr. Oliver Kopp, Mercedes-Benz AG, Germany For more information, please contact the workshops chairs through icsa2021ws at easychair.org. If you are not the addressee, please inform us immediately that you have received this e-mail by mistake, and delete it. We thank you for your support. -------------- next part -------------- An HTML attachment was scrubbed... URL: From shang at encs.concordia.ca Thu Sep 10 14:47:32 2020 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Thu, 10 Sep 2020 08:47:32 -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 taravanis at upatras.gr Fri Sep 11 10:00:00 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Fri, 11 Sep 2020 11:00:00 +0300 Subject: [fg-arc] KR2020 is about to start! Message-ID: <4814f41c80bd536337a96f06a9e3305a@upatras.gr> The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR2020), to be held virtually on September 12-18, 2020, is about to start, and welcomes all researchers interested in KR to participate! Virtual participants are kindly requested to send their details (i.e., name, email, affiliation, country, events that will be attended, and reasons for participation), via email to KR2020.local at gmail.com. Information about full program, registration, as well as the list of papers accepted at the main conference and the Doctoral Consortium, can be found at the conference webpage: https://kr2020.inf.unibz.it/ KR2020 Flyers: http://kr2020.inf.unibz.it/downloads/KR20_CFPartic_A.png http://kr2020.inf.unibz.it/downloads/KR20_CFPartic_B.png Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR, a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. INVITED SPEAKERS * Rachid Alami (LAAS-CNRS, ANITI, France) * Thomas Eiter (Technische Universität Wien, Austria) * Mateja Jamnik (University of Cambridge, UK) * Marta Kwiatkowska (University of Oxford, UK) * Gary Marcus (Robust AI, USA) * David Poole (University of British Columbia, Canada) TRACKS and SPECIAL SESSIONS * Applications and Systems Track * Recent Published Research Track * Special Session: KR and Machine Learning * Special Session: KR and Robotics * Special Session: Women in KR WORKSHOPS * Explainable Logic-Based Knowledge Representation (XLoKR 2020) * International Workshop on Applications of AI to Forensics (AI2Forensics) * KR for All Minds (KR4AMinds) * Models of Legal Reasoning (MLR) * Reasoning about ACtions and Events over Streams (RACES) TUTORIALS * Argumentative Explanations in AI, by Francesca Toni (Imperial College London, UK) and Antonio Rago (Imperial College London, UK) * Cognitive Logics – Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World, by Gabriele Kern-Isberner (TU Dortmund, Germany) and Marco Ragni (Universität Freiburg, Germany) * Dynamic Epistemic Logic and Epistemic Planning, by Andreas Herzig (IRIT, Toulouse, France) * Practical Uses of Existential Rules in Knowledge Representation, by David Carral (TU Dresden, Germany), Markus Krötzsch (TU Dresden, Germany), and Jacopo Urbani (Vrije Universiteit Amsterdam, The Netherlands) CO-LOCATED EVENTS * DL 2020 (33rd International Workshop on Description Logics) * NMR 2020 (19th International Workshop on Non-Monotonic Reasoning) CONFERENCE CHAIRS: General: Michael Thielscher (University of New South Wales, Australia) Program: Diego Calvanese (Free University of Bozen-Bolzano, Italy) Esra Erdem (Sabanci University, Turkey) Applications Track: Chitta Baral (Arizona State University, USA) Francesco Ricca (University of Calabria, Italy) Recent Published Research Track: James Delgrande (Simon Fraser University, Canada) Miroslaw Truszczynski (University of Kentucky, USA) Special Session: KR and Machine Learning: Alessandra Russo (Imperial College London, UK) Guy Van den Broeck (UCLA, USA) Special Session: KR and Robotics: Michael Beetz (University of Bremen, Germany) Fredrik Heintz (Linkoping University, Sweden) Special Session: Women in KR: Meghyn Bienvenu (University of Bordeaux, France) Magdalena Ortiz (Vienna University of Technology, Austria) Workshop and Tutorials: Anni-Yasmin Turhan (Dresden University of Technology, Germany) Renata Wassermann (University of Sao Paulo, Brasil) Doctoral Consortium: Vaishak Belle (University of Edinburgh, UK) Rafael Penaloza Nyssen (University of Milano-Bicocca, Italy) Local Organization: Pavlos Peppas (University of Patras, Greece) Publicity: Theofanis Aravanis (University of Patras, Greece) Paolo Felli (Free University of Bozen-Bolzano, Italy) Sponsorship: Jean Christoph Jung (University of Bremen, Germany) Victor Gutierrez Basulto (Cardiff University, United Kingdom) Virtual Conference Arrangements: Paolo Felli (Free University of Bozen-Bolzano, Italy) From lpandolfo at uniss.it Fri Sep 11 10:12:11 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Fri, 11 Sep 2020 10:12:11 +0200 Subject: [fg-arc] [ICLP 2020] Autumn School on Logic and Constraint Programming - Last Call for Participation Message-ID: [Apologies for cross-posting] [Please redistribute] The organization of the *Autumn School on Logic and Constraint Programming* invites you to participate in this year’s school (September, 18-19, virtually in Calabria), co-located with ICLP. It promises to be an interesting session -- for students, as well as for more senior researchers -- in which Marc Denecker discusses the *informal semantics* of logic programs (is negation-as-failure actually classical?), Peter Stuckey takes on the role of Trojan horse, convincing us to use *Minizinc* instead of logic programming, Martin Gebser provides unique insights in the magic he uses for tackling *industrial applications* with answer set programming, and Elena Bellodi will probably talk about *probabilistic logic programming*. The courses will be run as a hybrid model in which the first two hours are thought live, and for the last two hours, a recording will be made available. The abstracts of these talks are included below. Registration is included in the ICLP registration and can be done via https://iclp2020.unical.it/registration (*early bird registration ends at September 13th*) The talks will be a mixture of live sessions and pre-recorded videos. More information will be made available on https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programming?authuser=0 Spread the word, and we hope to see you soon in virtual Calabria. Best regards, Daniela Inclezan, Gopal Gupta, and Bart Bogaerts -------------------------------- *Martin Gebser (Klagenfurt University): Applications of Answer Set Programming* Abstract: Answer Set Programming (ASP) is a paradigm of knowledge representation and reasoning that has become a popular means for declarative problem solving. The basic idea is to represent a complex application problem by a logic program such that specific interpretations, called answer sets, correspond to problem solutions. Powerful off-the-shelf ASP systems, such as clingo, dlv and idp, automate the problem solving process by first grounding a general problem encoding relative to an instance given by facts, and then performing Boolean constraint solving to compute (optimal) answer sets. The application areas of ASP include a variety of domains ranging from artificial intelligence, databases, mathematical and scientific fields to industrial use cases. For instance, the clingo system has been utilized for radio spectrum reallocation in the first-ever incentive auction conducted by the Federal Communications Commission, which in 2016 yielded about 20 billion dollars revenue. Likewise, the dlv system has been deployed as a core tool in enterprise software for e-medicine, e-tourism, intelligent call routing and workforce management. Last but not least, the idp system has been harnessed for interactive configuration in the banking sector. Starting from the expressive modeling language, this tutorial presents and illustrates central features making ASP attractive for solving application problems. We particularly demonstrate the proficient usage of optimization, which is of crucial importance in virtually all realistic settings. Beyond traditional single-shot solving, we also outline recent advancements in multi-shot solving, driving the application of ASP in dynamic areas like automated planning, robotics control and stream reasoning. *Marc Denecker (KU Leuven): On the  informal semantics of knowledge representation languages and the case of Logic Programming.* Abstract: The  informal semantics of a formal language aims to explain the ``intuitive'' meaning of the logical symbols, and of the formulas and theories of the language. In the context of a KR language, it aims to express the knowledge conveyed by formulas and theories about the application domain, in a precise and systematic way.  It is a controversial concept.  In formal science, one often  avoids to  talk about such soft informal topics. For this reason, many may prefer to view  a (declarative) formal language as a tool to encode computational problems. In that view, the question of its informal ``intuitive'' semantics seems of no scientific relevance. Strictly speaking,  the meaning of negation as failure is not a scientific question here. In this course, we will view a formal KR language as a formal study of certain types of knowledge. The question of its informal semantics then becomes the corner stone of such a study, as it relates the formal entities (the formulas) to the informal objects that they intend to represent (the knowledge). The  scientific thesis of such a study   is then that a formal semantics correctly formalizes the informal semantics. The course starts with some considerations on viewing a formal language as a  formal study of some forms of knowledge. The discussion is based on, a.o., Poppers ideas of formal science. The  goal of this discussion is to derive insights  needed to understand the current status of informal semantics  in Logic Programming, and instruments to analyze it. In the second part of the lecture, we apply the above ideas and instruments on Logic Programming. A brief historical overview is given on the topic of informal semantics.  Three main ideas for informal semantics were proposed: the Closed World Assumption by Ray Reiter, logic programs as definitions by Keith Clark, and the (auto)epistemic/default interpretation by Michael Gelfond. We then analyze these informal semantics using the instruments introduced in the first part: where these informal semantics agree and disagree, how they were formalized, how to interpret semantical objects, what is the meaning of negation and the rule operator in them and which informal semantics applies in the context of concrete examples. The last part of the lecture is devoted to (inductive) definitions and the definitional view of LP. We argue that it is the most precise and the most widely applicable. Definitions extend CWA but are more precise and more general. They are not equivalent with the epistemic view and neither subsumes the other. But there are more applications for definitions than for epistemic theories.  In the view of logic programs as definitions, we argue that negation is classical but the rule operator is not (which confirms what Clark suggested long ago). We recall Harel's critique on completion semantics for expressing inductive definitions, and give  the proof that in general, inductive definitions cannot be expressed  in FO. We discuss the integration of definitional knowledge with the knowledge representation paradigm of classical logic, as it was done in the logic FO(ID). We end with considering what the declarative view of a logic program as a definition can contribute in the view of LP as a programming language, as a query language and as a KR language. *Peter Stuckey (Monash University): MiniZinc for high-level solver-independent modelling* Abstract: In this tutorial we will introduce you to modelling discrete optimization problems using MiniZinc. MiniZinc allows you to model a discrete optimization problem without committing to a particular  solver or solver technology.  Thus you can avoid committing to the wrong solver technology to your problem. MiniZinc supports Constraint Programming, Mixed Integer Programming, Boolean SATisfiability, SAT Modulo Theories and Constraint-Based Local Search solvers. The tutorial will cover basic modelling, modelling viewpoints, and debugging models. The tutorial will involve a series of hands-on tasks using MiniZinc. *Elena Bellodi (University of Ferrara): Probabilistic Logic Programming* Abstract: Recently much work in Machine Learning has concentrated on representation languages able to combine aspects of logic and probability, in order to model domains characterized by both complex and uncertain relationships among entities. Machine Learning approaches based on such combinations have recently achieved important results, originating the fields of Statistical Relational Learning, Probabilistic Logic Programming and, more generally, Statistical Relational Artificial Intelligence. The course will concentrate on Probabilistic Logic Programming (PLP), which has received an increasing attention for its ability to incorporate probability in Logic Programming. Among various proposals for PLP, the one based on the distribution semantics has gained popularity being at the basis of many PLP languages. The course will describe syntax and semantics for the main PLP languages under the distribution semantics, and overview several systems for inference and learning. Then, it will provide an overview of hybrid Probabilistic Logic Programs, in which random variables may be both discrete and continuous. The course will present the main application areas and will include a hands-on experience with the PLP system cplint using the web application http://cplint.eu. -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Sep 14 20:57:30 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 14 Sep 2020 20:57:30 +0200 Subject: [fg-arc] LATA 2020 & 2021: 2nd call for papers Message-ID: <545102060a010b02045254030100555e5351560501090e52575658575300565652595704075b0556095e555152060456@grlmc_ip-zone_com-6> LATA 2020 & 2021: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ******************************************************************************* 14th-15th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2020 & 2021   Milan, Italy   March 1-5, 2021   Co-organized by:             Department of Informatics, Systems and Communication University of Milano-Bicocca   and   Institute for Research Development, Training and Advice Brussels/London   https://irdta.eu/lata2020-2021/ *******************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   VENUE:   LATA 2020 & 2021 will be held in Milan, the third largest economy among European cities and one of the Four Motors for Europe. The venue will be:   University of Milano-Bicocca Viale Piero e Alberto Pirelli 22 Building U6 Aula Mario Martini (Aula U6-04) Milan   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference, inductive inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2020 & 2021 will consist of:   invited talks peer-reviewed contributions   KEYNOTE SPEAKERS:   Eric Allender (Rutgers University), The New Complexity Landscape around Circuit Minimization   Laure Daviaud (City, University of London), About Decision Problems for Weighted Automata   Christoph Haase (University College London), Approaching Arithmetic Theories with Finite-state Automata   Artur Jeż (University of Wrocław), Recompression: Technique for Word Equations and Compressed Data   Jean-Éric Pin (CNRS), How to Prove that a Language Is Regular or Star-free?   Thomas Place (University of Bordeaux), Deciding Classes of Regular Languages: A Language Theoretic Point of View   PROGRAMME COMMITTEE:   Jorge Almeida (University of Porto, PT) Franz Baader (Technical University of Dresden, DE) Alessandro Barenghi (Polytechnic University of Milan, IT) Marie-Pierre Béal (University of Paris-Est, FR) Djamal Belazzougui (CERIST, DZ) Marcello Bonsangue (Leiden University, NL) Flavio Corradini (University of Camerino, IT) Bruno Courcelle (University of Bordeaux, FR) Laurent Doyen (ENS Paris-Saclay, FR) Manfred Droste (Leipzig University, DE) Rudolf Freund (Technical University of Vienna, AT) Paweł Gawrychowski (University of Wrocław, PL) Amélie Gheerbrant (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Lane A. Hemaspaandra (University of Rochester, US) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) Antonio Restivo (University of Palermo, IT) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen’s University, CA) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiří Srba (Aalborg University, DK) Edward Stabler (University of California, Los Angeles, US) Benjamin Steinberg (City University of New York, US) Frank Stephan (National University of Singapore, SG) Jan van Leeuwen (Utrecht University, NL) Margus Veanes (Microsoft Research, US) Mikhail Volkov (Ural Federal University, RU)   ORGANIZING COMMITTEE:   Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Rafael Peñaloza Nyssen (Milan) Dana Shapira (Ariel) David Silva (London, co-chair) Bianca Truthe (Giessen) Claudio Zandron (Milan, 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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Upload submissions to:   https://easychair.org/conferences/?conf=lata20202021   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 Information and Computation (Elsevier, 2019 JCR impact factor: 0.872) 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/lata2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: October 19, 2020 Notification of paper acceptance or rejection: November 23, 2020 Final version of the paper for the LNCS proceedings: November 30, 2020 Early registration: November 30, 2020 Late registration: February 15, 2021 Submission to the journal special issue: June 5, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Università degli Studi di Milano-Bicocca   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Fri Sep 18 08:13:16 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Fri, 18 Sep 2020 08:13:16 +0200 Subject: [fg-arc] [Call for Participation] ICLP 2020 - The 36th International Conference on Logic Programming Message-ID: ============================================== *ICLP 2020 - The 36th International Conference on Logic Programming* *September 18 - September 25, 2020* University of Calabria, Rende, Italy https://iclp2020.unical.it ============================================== Since the first conference held in Marseille in 1982, the *International Conference on Logic Programming (ICLP)* has been the premier international event for presenting research in logic programming. ****CONFERENCE ONLINE**** The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week (September 18-25, 2020). ****REGISTRATION**** (https://iclp2020.unical.it/registration) Registration is REQUIRED and covers the Main conference together with all associated events, i.e., Workshops, Doctoral Consortium, and Autumn School, whereas the Italian Conference in Computational Logic (CILC) is a co-located event and, therefore, not included in the ICLP registration. ****PROGRAM**** (https://iclp2020.unical.it/program) The ICLP 2020 main conference and all the workshops will be held in a virtual manner. 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://iclp2020.unical.it/program ****INVITED SPEAKERS**** (https://iclp2020.unical.it/invited-speakers) We are happy to announce that invited speakers' events will be freely accessible to all via live streaming at the following Facebook page: https://fb.me/iclp2020conference. *Sep 20th, 2020 - _Francesca Rossi_ (T.J. Watson IBM Research Lab, USA)* Talk Title: "When Is It Morally Acceptable to Break the Rules? A Preference-Based Approach" - This is the "EurAI talk" *Sep 21th, 2020 - _Esra Erdem_ (Sabanci University, Turke)* Talk Title:  "Applications of Answer Set Programming where Theory meets Practice" *Sep 22th, 2020 - _Joao Marquez-Silva_ (ANITI, University of Toulouse, France)* Talk Title:   "Formal Reasoning Methods for Explainability in Machine Learning" *Sep 23th, 2020 - _Luc De Raedt_ (KU Leuven, Belgium)* Talk Title:   "From Probabilistic Logics to Neuro-Symbolic Artificial Intelligence" *Sep 24th, 2020 - _Marina De Vos_ (University of Bath, UK)* Talk Title:  "Norms, Policy and Laws: Modelling, Compliance and Violation" - This is the "Woman in LP Talk" /*All the invited talks will be held from 2:30 PM – 3:30 PM (CEST)/ ****ORGANIZATION**** *General Chairs:* *Sergio Greco, University of Calabria, Italy *Nicola Leone, University of Calabria, Italy *Program Chairs:* *Francesco Ricca, University of Calabria, Italy *Alessandra Russo, Imperial College London, UK *Organizing Chairs:* *Marco Calautti, University of Calabria, Italy *Carmine Dodaro, University of Calabria, Italy *Track Chairs:* *Alexander Artikis, University of Piraeus & NCSR Demokritos, Greece (Applications Track) *Angelika Kimmig, Cardiff University, UK (Applications Track) *Gerhard Friedrich, Universität Klagenfurt, Austria (Research Challenges Track) *Fabrizio Riguzzi, Università di Ferrara, Italy (Research Challenges Track) *Paul Fodor, Stony Brook University, USA (Sister and Journal Track) *Marco Maratea, University of Genova, Italy (Sister and Journal Track) *Francesca Alessandra Lisi, University of Bari Aldo Moro, Italy (Women in Logic Programming) *Alessandra Mileo, INSIGHT Centre for Data Analytics, Dublin City University, Irland (Women in Logic Programming) *Workshop Chair:* *Martin Gebser, Universität Klagenfurt, Austria *Publicity Chair:* *Laura Pandolfo, University of Sassari, Italy *Program Committee:* Mario Alviano, University of Calabria, Italy Nicos Angelopoulos, Wellcome Sanger Institute, UK Marcello Balduccini, Saint Joseph's University, USA Mutsunori Banbara, Nagoya University, Japan Chitta Baral, Arizona State University, USA Roman Barták, Charles University, Czech Republic Christoph Benzmüller, University of Luxembourg, Luxembourg Alex Brik, Google, USA François Bry, Ludwig Maximilian University of Munich, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software Institute, Spain Angelos Charalambidis, University of Athens, Greece Michael Codish, Ben-Gurion University of the Negev, Israel Stefania Costantini, University of Aquila, Italy Marc Denecker, Katholieke Universiteit Leuven, Belgium Martín Diéguez, University of Pau, France Carmine Dodaro, University of Calabria, Italy Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria Thom Fruehwirth, University of Ulm, Germany Marco Gavanelli, University of Ferrara, Italy Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria Michael Gelfond, Texas Tech University, USA Laura Giordano, Università del Piemonte Orientale, Italy Gopal Gupta, University of Texas at Austin, USA Michael Hanus, CAU Kiel, Germany Manuel V. Hermenegildo, IMDEA Software Institute and Universidad Politécnica de Madrid, Spain Katsumi Inoue, National Institute of Informatics, Japan Tomi Janhunen, Tampere University, Finland Jianmin Ji, University of Science and Technology of China, China Nikos Katzouris, NCSR Demokritos, Greece Michael Kifer, Stony Brook University, USA Zeynep Kiziltan, University of Bologna, Italy Ekaterina Komendantskaya, Heriot-Watt University, UK Evelina Lamma, Universita di Ferrara, Italy Michael Leuschel, University of Dusseldorf, Germany Vladimir Lifschitz, The University of Texas at Austin, USA Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy Yanhong A. Liu, Stony Brook University, USA Marco Maratea, University of Genova, Italy Viviana Mascardi, University of Genova, Italy Yunsong Meng, General Motors, USA Emilia Oikarinen, University of Helsinki, Finland Magdalena Ortiz, Vienna University of Technology, Austria Simona Perri, University of Calabria, Italy Enrico Pontelli, New Mexico State University, USA Ricardo Rocha, University of Porto, Portugal Fariba Sadri, Imperial College London, UK Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt, Austria Tom Schrijvers, Katholieke Universiteit Leuven, Belgium Guillermo R. Simari, Universidad del Sur in Bahia Blanca, Argentina Tran Cao Son, New Mexico State University, USA Mohan Sridharan, University of Birmingham, UK Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal Paul Tarau, University of North Texas, Denton, USA Hans Tompits, Vienna University of Technology, Austria Francesca Toni, Imperial College London, UK Irina Trubitsyna, University of Calabria, DIMES Mirek Truszczynski, University of Kentucky, US German Vidal, Universitat Politecnica de Valencia, Spain Alicia Villanueva, Universitat Politècnica de València, Spain David Warren, SUNY Stony Brook, USA Jan Wielemaker, Vrije Universiteit Amsterdam, Netherlands Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Shiqi Zhang, SUNY Binghamton, USA Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From maurice.terbeek at isti.cnr.it Fri Sep 18 12:37:28 2020 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Fri, 18 Sep 2020 12:37:28 +0200 Subject: [fg-arc] 2nd Call for Papers: FSEN 2021 Message-ID: <8359d90a-7f58-989a-388e-3a79799396e2@isti.cnr.it> SECOND 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: FSEN 2021 will be held as a mixed event, offering virtual presentation as option to participants. All accepted papers will be published in the LNCS 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. Three excellent Keynote Speakers have confirmed their presentation covering a range of challenging topics in Software Engineering. ###################################################################### -- 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: 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 (confirmed) -- Prof. Pavol Cerny, Vienna University of Technology, Austria Prof. Marta Kwiatkowska, University of Oxford, UK Prof. Mira Mezini, Technical University of Darmstadt, Germany -- 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). Note from Springer: Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. -- Proceedings and Special Issue -- The post-proceedings of FSEN'21 will be published by Springer in the LNCS series. 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. 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, the Netherlands; Leiden University, the Netherlands Pejman Lotfi-Kamran - IPM, 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, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, the Netherlands; Leiden University, the Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- Erika Ábrahám - RWTH Aachen University, Germany Gul Agha - University of Illinois at Urbana - Champaign, USA Ebru Aydin Gol - Middle East Technical University, Turkey Ezio Bartocci - Vienna University of Technology, Austria Marcello Bonsangue - Leiden University, the Netherlands Mario Bravetti - University of Bologna, Italy Michael Butler - University of Southampton, UK Rocco De Nicola - IMT School for Advanced Studies Lucca, Italy Erik de Vink - Eindhoven University of Technology, the Netherlands Giovanna Di Marzo Serugendo, University of Geneva, Switzerland Alessandra Di Pierro - University of Verona, Italy Ali Ebnenasir - Michigan Technological University, USA Fathiyeh Faghih, University of Tehran, Iran Wan Fokkink - Vrije Universiteit Amsterdam, the Netherlands Adrian Francalanza, University of Malta, Malta Fatemeh Ghassemi - University of Tehran, Iran Jan Friso Groote - Eindhoven University of Technology, the Netherlands Hassan Haghighi - Shahid Beheshti University, Iran Osman Hasan, National University of Sciences and Technology (NUST), Pakistan Mohammad Izadi - Sharif University of Technology, Iran Narges Khakpour - Linnaeus University, Sweden Ramtin Khosravi - University of Tehran, Iran Eva Kühn, Vienna University of Technology, Austria Zhiming Liu - Southwest University, China Emanuela Merelli - University of Camerino, Italy Hassan Mirian-Hosseinabadi - Sharif University of Technology, Iran Mohammadreza Mousavi - University of Leicester, UK Ali Movaghar - Sharif University of Technology, Iran Peter Csaba Ölveczky - University of Oslo, Norway Jose Proença - CISTER-ISEP and HASLab-INESC TEC, Portugal Wolfgang Reisig - Humboldt-Universität zu Berlin, Germany Philipp Rümmer - Uppsala University, Sweden Gwen Salaün - University of Grenoble Alpes, Inria, France Cristina Seceleanu - Mälardalen University, Sweden Marjan Sirjani - Mälardalen University and Reykjavik University, Sweden/Iceland Marielle Stoelinga - University of Twente and Radboud University, the Netherlands Meng Sun - Peking University, China Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany Lijun Zhang - Institute of Software, Chinese Academy of Sciences, China From irdta at irdta.eu Mon Sep 21 10:59:10 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 21 Sep 2020 10:59:10 +0200 Subject: [fg-arc] BigDat 2021 Spring: early registration October 15 Message-ID: <545102060a010b02045353020200595e01570d58560606020b510d010400535352050202060155520053555703545504@grlmc_ip-zone_com-6> BigDat 2021 Spring: early registration October 15*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 2021 Spring   Beersheba, Israel   April 18-22, 2021   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/bigdat2021s/   **********************************************   --- Early registration deadline: October 15, 2020 ---   ***********************************************   SCOPE:   BigDat 2021 Spring 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 and 2 keynote lectures, 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 2021 Spring 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 2021 Spring 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:   Maria Girone (European Organization for Nuclear Research), Big Data Challenges at the CERN HL-LHC   Lisa Schurer Lambert (Oklahoma State University), Research Methods as a Lens: How We Know What We Know   PROFESSORS AND COURSES: (to be completed)   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   Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity   Ramez Elmasri (University of Texas, Arlington), [intermediate] Spatial, Temporal, and Spatio-Temporal Data   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   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   B.S. Manjunath (University of California, Santa Barbara), [introductory] Digital Media Forensics   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   José M.F. Moura (Carnegie Mellon University), [introductory] Graph Signal Processing   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 Problem   Karsten Reuter (Max Planck Society), [introductory/intermediate] Machine Learning for Materials and Energy Applications   Ramesh Sharda (Oklahoma State University), [introductory/intermediate] Network-based Health Analytics   Steven Skiena (Stony Brook University), [introductory/intermediate] Word and Graph Embeddings for Machine Learning   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 April 10, 2021.   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 April 10, 2021.   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 April 10, 2021.   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/bigdat2021s/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.   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 timo.kehrer at informatik.hu-berlin.de Mon Sep 21 12:30:08 2020 From: timo.kehrer at informatik.hu-berlin.de (Timo Kehrer) Date: Mon, 21 Sep 2020 12:30:08 +0200 Subject: [fg-arc] Science of Computer Programming: Special Issue on Application-Oriented Aspects of Graph Transformation Message-ID: SCIENCE OF COMPUTER PROGRAMMING Special Issue on APPLICATION-ORIENTED ASPECTS OF GRAPH TRANSFORMATION Important Dates: ----------------------- * Deadline for Submissions: December 20, 2020: * First Review Notification: March 31, 2021 Scope and Topics: ----------------------- The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights. This special issue focuses on application-oriented aspects of graphs and graph transformation. Topics of interest include but are not limited to: * Analysis and verification of graph transformation systems * Automata on graphs and parsing of graph languages * Structuring and modularization of graph transformation * Hierarchical graphs and decomposition of graphs * Parallel, concurrent, and distributed graph transformation * Term graph and string diagram rewriting * Petri nets and other models of concurrency * Business process models and notations * Graph databases and graph queries * Model-driven development and model transformation * Model checking, program analysis and verification, simulation and animation * Syntax, semantics and implementation of programming languages, including domain-specific and visual languages * Graph transformation languages and tool support * Efficient algorithms (e.g. pattern matching, graph traversal, network analysis) * Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation) * Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual) Guest Editors: ----------------------- * Timo Kehrer, Humboldt-Universität zu Berlin (Germany), timo.kehrer at informatik.hu-berlin.de * Fabio Gadducci, University of Pisa (Italy), fabio.gadducci at unipi.it Paper Submission: ----------------------- Manuscripts should be submitted through the Editorial Manager: https://ees.elsevier.com/scico/default.asp When submitting the manuscript for this special issue, please select "SI: ICGT 2020" as the article type. Formatting of the manuscripts should adhere to Elsevier's article class: https://ctan.org/tex-archive/macros/latex/contrib/elsarticle Further information on the special issue is available online at http://icgt2020.di.unipi.it/special-issue/ From fm-announcements at lists.nasa.gov Tue Sep 22 23:19:45 2020 From: fm-announcements at lists.nasa.gov (Munoz, Cesar (LARC-D320) via fm-announcements) Date: Tue, 22 Sep 2020 21:19:45 +0000 Subject: [fg-arc] [fm-announcements] NASA Formal Methods 1st CFP Message-ID: <1BC69979-5274-48DF-A181-BBEC9712D5A3@nasa.gov> **************************************************    The Thirteenth NASA Formal Methods Symposium       https://shemesh.larc.nasa.gov/nfm2021/                 24-28 May 2021                Norfolk, VA, USA ************************************************** The symposium will be held in an in-person/virtual hybrid format in Norfolk, VA, USA, possibly transitioning to fully virtual depending on the COVID-19 situation. Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, comprised of researchers spanning six NASA centers. NFM2021 is being organized by the NASA Langley Formal Methods Team. Topics of Interest: ------------------- We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others. Topics of interest include, but are not limited to, the following aspects of formal methods: - Advances in formal methods:   - Formal verification, model checking, and static analysis techniques   - Theorem proving: advances in interactive and automated theorem proving (SAT, SMT, etc.)   - Program and specification synthesis, code transformation and generation   - Run-time verification   - Techniques and algorithms for scaling formal methods   - Test case generation   - Design for verification and correct-by-design techniques   - Requirements generation, specification, and validation - Integration of formal methods techniques:   - Use of machine learning techniques in formal methods   - Integration of formal methods into software engineering practices    - Integration of diverse formal methods techniques   - Combination of formal methods with simulation and analysis techniques - Formal methods in practice   - Experience report of application of formal methods in industry   - Use of formal methods in education   - Verification of machine learning techniques   - Applications of formal methods in the development of:       - autonomous systems,       - safety-critical systems,       - concurrent and distributed systems,       - cyber-physical, embedded, and hybrid systems       - fault-detection, diagnostics, and prognostics systems       - human-machine interaction analysis Important Dates: ---------------- Abstract Submission: 27 November 2020 Paper Submission: 4 December 2020 Paper Notifications: 19 February 2021 Camera-ready Papers: 19 March 2021 Symposium: 24-28 May 2021 Submission Details: ------------------- There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages); 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages). The submitted papers should not exceed 15 pages for regular papers and 6 pages for short papers, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained, as appendices will not be included in the published proceedings. In addition to appendices, authors are encouraged to make available any other supplementary material supporting the claims made in the paper, such as proof scripts or experimental data, as the availability and reproducibility of these artifacts may be considered by reviewers in scoring. All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be reviewed by at least three members of the Program Committee in a single-blind reviewing format. Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2021 Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (https://www.springer.com/journal/11334). Organizers: ----------- • Cesar Munoz, NASA, USA (General Co-Chair) • Ivan Perez, National Institute of Aerospace, USA (General Co-Chair) • Aaron Dutle, NASA, USA (PC Co-Chair) • Mariano Moscato, National Institute of Aerospace, USA (PC Co-Chair) • Laura Titolo, National Institute of Aerospace, USA (PC Co-Chair) Program Committee: ------------------ Erika Abraham, RWTH Aachen University, Germany Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Julia Badger, NASA, USA Nikolaj Bjorner, Microsoft Research, USA Jasmin Blanchette, Vrije Universiteit Amsterdam, The Netherlands Sylvie Boldo, INRIA, France Alessandro Cimatti, Fondazione Bruno Kessler, Italy Misty Davies, NASA, USA Gilles Dowek, INRIA / ENS Paris-Saclay, France Catherine Dubois, ENSIIE-Samovar, France Alexandre Duret-Lutz, LRDE/EPITA, France Gabriel Ebner, Vienna University of Technology, Austria Marco Feliu, National Institute of Aerospace, USA Jean-Christophe Filliatre, CNRS, France Pierre-Loic Garoche, ENAC, France Alwyn Goodloe, NASA, USA John Harrison, Amazon Web Services, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Marieke Huisman, University of Twente, The Netherlands Brian Jalaian, ARL / Virginia Tech, USA Susmit Jha, SRI International, USA Michael Lowry, NASA, USA Panagiotis Manolios, Northeastern University, USA Paolo Masci, National Institute of Aerospace, USA Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA Stefan Mitsch, Carnegie Mellon University, USA Yannick Moy, AdaCore / INRIA, France Natasha Neogi, NASA, USA Laura Panizo, University of Malaga, Spain Corina Pasareanu, CMU / NASA Ames Research Center, USA Zvonimir Rakamaric, University of Utah, USA Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Nicolas Rosner, Amazon Web Services, USA Kristin-Yvonne Rozier, Iowa State University, USA Cristina Seceleanu, Malardalen University, Sweden Natarajan Shankar, SRI International, USA Johann  Schumann, SGT Inc./NASA Ames Research Center, USA Tanner Slagel, NASA, USA Marielle Stoelinga, University of Twente, The Netherlands Cesare Tinelli, University of Iowa, USA Caterina Urban, INRIA, France Virginie Wiels, ONERA / DTIM, France Registration: ------------- Registration is required and free of charge. Contact: -------- Email: nfm2021 [at] easychair [dot] org Web: https://shemesh.larc.nasa.gov/nfm2021/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7429 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From david.baum at uni-leipzig.de Wed Sep 23 20:39:57 2020 From: david.baum at uni-leipzig.de (David Baum) Date: Wed, 23 Sep 2020 20:39:57 +0200 Subject: [fg-arc] IEEE VISSOFT 2020 Program Message-ID: <3822442.r8n35nO9T3@turing> I would like to inform you about the IEEE VISSOFT conference program as it starts next week. Registrations are still possible! ====================================== 8th IEEE Working Conference on Software Visualization (VISSOFT 2020) September 28-29, 2020, Online http://vissoft20.dcc.uchile.cl/ ====================================== The IEEE VISSOFT 2020 Program is now available. 15 papers, One keynote presentation, and one Most Influential Paper Award presentation. It should be an exciting couple of days online. The conference will be held via https://www.clowdr.org/. More information will follow soon on our website and Twitter. You have to register to attend the online conference! Please refer to https://icsme2020.github.io/registration.html for any additional details and updates. There are discounts if you also want to participate in ICSME and SCAM, which are co-held. PROGRAM OVERVIEW Full program: https://vissoft20.dcc.uchile.cl/program.html # September 28 Session 1: Software Evolution Session 2: Development Environments Session 3: Software Metrics and Maintenance Keynote: Tim Dwyer - Network Visualisation and Immersive Analytics # September 29 Session 1: Human Activity Session 2: Program Understanding Awards and MIP Talk Townhall Meeting (Open Steering Committee Meeting) https://vissoft20.dcc.uchile.cl/program.html ====================================== About IEEE VISSOFT 2020 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. ====================================== 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 irdta at irdta.eu Mon Sep 28 23:33:39 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 28 Sep 2020 23:33:39 +0200 Subject: [fg-arc] AlCoB 2020 & 2021: 1st call for papers Message-ID: <545102060a010b02045051020207525e5a500c000209535806060d04530552035405515302010302000356540e045355@grlmc_ip-zone_com-6> AlCoB 2020 & 2021: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 7th-8th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020 & 2021   Missoula, Montana, USA   June 7-11, 2021   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/alcob2020-2021/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   AlCoB 2020 & 2021 will merge the scheduled program for AlCoB 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 & 2021 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 & 2021 will consist of:   invited lectures peer-reviewed contributions posters   KEYNOTE SPEAKERS:   Terry Gaasterland (University of California, San Diego), Genetic Risk of Disease through Genome Variation and Regulation of Transcription   Christine Orengo (University College London), Algorithms for Mining Massive Metagenome Repositories to Detect Novel Enzymes   Tamar Schlick (New York University), Folding Genes at Nucleosome Resolution   PROGRAM COMMITTEE: (to be completed)   Ludmil Alexandrov (University of California, San Diego, US) Can Alkan (Bilkent University, TR) Mani Arumugam (University of Copenhagen, DK) Bonnie Berger (Massachusetts Institute of Technology, US) Chao Cheng (Baylor College of Medicine, US) Colin Dewey (University of Wisconsin, Madison, US) Ian Dunham (European Bioinformatics Institute, UK) Joe Felsenstein (University of Washington, US) Pedro G. Ferreira (University of Porto, PT) Martin Frith (University of Tokyo, JP) Debashis Ghosh (University of Colorado, US) Michael Gribskov (Purdue University, US) Michael Hawrylycz (Allen Institute for Brain Science, US) Daniel Huson (University of Tübingen, DE) Miriam Konkel (Clemson University, US) Maria-Jesus Martin (European Bioinformatics Institute, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester, US) Aaron McKenna (Dartmouth College, US) Ryan E. Mills (University of Michigan, US) Burkhard Morgenstern (University of Göttingen, DE) Zemin Ning (Wellcome Sanger Institute, UK) Joel S. Parker (University of North Carolina, Chapel Hill, US) Kay Prüfer (Max Planck Institute for Evolutionary Anthropology, DE) Knut Reinert (Free University of Berlin, DE) Walter L. Ruzzo (University of Washington, US) Russell Schwartz (Carnegie Mellon University, US) Gordon Smyth (Walter and Eliza Hall Institute of Medical Research, AU) Peter F. Stadler (Leipzig University, DE) Alfonso Valencia (Barcelona Supercomputing Center, ES) Fabio Vandin (University of Padua, IT) Matthew T. Weirauch (Cincinnati Children's Hospital, US) Travis Wheeler (University of Montana, US) Zohar Yakhini (Interdisciplinary Center, Herzliya, IL) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, 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=alcob20202021   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019 JCR impact factor: 2.85) 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/alcob2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: January 18, 2021 Notification of paper acceptance or rejection: February 15, 2021 Final version of the paper for the LNCS/LNBI proceedings: March 1st, 2021 Early registration: March 1st, 2021 Late registration: May 24, 2021 Submission to the journal special issue: September 11, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.hoff at tu-bs.de Tue Sep 29 15:02:06 2020 From: a.hoff at tu-bs.de (Adrian Hoff) Date: Tue, 29 Sep 2020 15:02:06 +0200 Subject: [fg-arc] =?utf-8?q?Ank=C3=BCndigung=3A_GI_Konferenz_Software_Eng?= =?utf-8?q?ineering_2021?= In-Reply-To: References: Message-ID: Sehr geehrte Damen und Herren, die Tagung Software Engineering (SE) der Gesellschaft für Informatik (GI) findet vom 22.-26. Februar 2021 VIRTUELL statt - OHNE REGISTRIERUNGSGEBÜHR für Teilnehmer, die keinen Beitrag registrieren. Die Organisation liegt beim Institut für Softwaretechnik und Fahrzeuginformatik der TU Braunschweig. General Chair der Konferenz ist Ina Schaefer. Die jährlich stattfindende Tagung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler und Softwareentwicklerinnen aus der Praxis, als auch an Forscherinnen und Forscher aus dem akademischen Umfeld. Wie jedes Jahr bietet die SE auch im Jahr 2021 ein "Best of" aus Papern der SE Community aus dem vergangenen Jahr sowie hervorrangenden Workshops und Tools&Demos. Es wird wie üblich einen Konferenzband geben. Workshop Beiträge werden bei CEUR-WS veröffentlicht. Geplant sind außerdem drei Keynotes. Dieses mal anders: Um die SE21 auch in Zeiten von Covid-19 sicher abhalten zu können, setzen wir auf eine komplett virtuelle Lösung. Um das „SE-Feeling“ möglichst auch virtuell zu transportieren, haben wir uns passende und spannende Konzepte überlegt. Vorträge und Demos werden live über eine Videokonferenz-Plattform gestreamt und bieten Platz für anschließende Diskussion. Parallel werden Vorträge und Demos per (nicht gelistetem) YouTube Livestream ausgestrahlt. Nachfolgend gibt es die Möglichkeit, seinen Beitrag über unseren SE21 YouTube Kanal zu konservieren. Besonders attraktiv: Unsere Sponsoren ermöglichen dieses Jahr eine KOSTENFREIE Registrierung an der Konferenz für Teilnehmer, die keinen Beitrag registrieren. Somit haben Einreichungen bei der SE21 eine größtmögliche Reichweite. Für Autoren kostet die Registrierung ihres Beitrages (egal welcher Art) lediglich 50€. Die SE21 bietet folgende Möglichkeiten zur Einreichung von Beiträgen: -> Wissenschaftliche Beiträge Das wissenschaftliche Hauptprogramm (Chairs: Anne Koziolek und Christoph Seidl) wird sich wieder aus Vorträgen zu bereits publizierten Artikeln in internationalen Journalen oder Konferenzen zusammensetzen. Damit bieten wir ein "Best of" der Publikationen der Forschergruppen im deutschsprachigen Raum. Wir tragen damit zum wissenschaftlichen Diskurs bei und erhöhen die Sichtbarkeit der Beiträge. Einreichungsfrist von Beiträgen: 11.10.2020 Weitere Details auf se-2021.tu-bs.de/calls/wissenschaftliche-beitraege/ -> Workshop Beiträge Neben dem technisch-wissenschaftlichen Hauptprogramm stellt das Workshop-Programm (Chairs: Sebastian Götz und Andreas Wortmann) immer einen wesentlichen Bestandteil des Tagungs-Programms dar. Durch das offene Workshop-Format ist es sogar in besonderer Weise möglich, neue Teilgebiete des Software Engineering zu fördern und eine starke Vernetzung und Kooperation von Wissenschaft und Praxis zu erreichen. Die SE bietet dieses Jahr sechs spannende Workshops! Einreichungsfrist von Beiträgen: 13.12.2020 Weitere Details auf se-2021.tu-bs.de/calls/workshop-beitraege/ -> Tools & Demos Bei der SE21 wird es die Möglichkeit geben Tools zu demonstrieren (Chair: Lukas Linsbauer). Ziel ist es, neben dem wissenschaftlichen Hauptprogramm, auch Tools, die im Rahmen von wissenschaftlichen Arbeiten entstanden sind, zu präsentieren. Diese werden in einem eigenen Tool Demo Track präsentiert und bieten Raum für Fragen und Gespräche. Einreichungsfrist von Beiträgen: 13.12.2020 Weitere Details auf se-2021.tu-bs.de/calls/tools-demos/ Die SE 2021 ist eine Konferenz des Fachbereichs Softwaretechnik der Gesellschaft für Informatik e.V. (GI e.V.). Datum:     22.-26. FEBRUAR 2021 IN VIRTUELLEM FORMAT Teilnahmegebühr:     50€ Autorenregistrierung (eine Registrierung pro Beitrag - egal welcher Art)     KOSTENLOS für Teilnehmer, die keinen Beitrag registrieren Deadlines Einreichungen:     Research Paper: 11.10.2020     Workshopbeiträge: 13.12.2020     Tools & Demos: 13.12.2020 weitere Informationen unter:     se-2021.tu-bs.de Bleiben Sie auf dem Laufenden und folgen Sie uns...     auf Twitter: twitter.com/seconf21     auf Facebook: facebook.com/seconf21 Wir freuen uns auf Ihre Einreichungen und bitten um Weiterleitung dieses Aufrufs an eventuell interessierte Kolleginnen und Kollegen. Beste Grüße, Das SE21 Organisationsteam From josef.morales at imdea.org Wed Sep 30 12:24:03 2020 From: josef.morales at imdea.org (Jose F. Morales) Date: Wed, 30 Sep 2020 12:24:03 +0200 Subject: [fg-arc] [CfP] PADL 2021: Practical Aspects of Declarative Languages Message-ID: <48b826f4-e116-51ce-46bb-562cf3a0b5e3@imdea.org> Call for Papers =============== 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021) https://popl21.sigplan.org/home/PADL-2021 Copenhagen, Denmark 18-19th January 2021 Co-located with POPL 2021 Conference Description ---------------------- The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages. These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages for software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical languages and extensions such as probabilistic and reactive languages PADL 2021 especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, computational creativas well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL solicits three kinds of submission, in Springer LNCS format: * Technical papers (max. 15 pages) Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages) Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages) Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place in which it has previously appeared. Important dates --------------- * Deadline: 9th October 2020 (AoE) * Notification: 6th November 2020 * Symposium: 18-19th January 2021 Submission is via EasyChair: https://easychair.org/conferences/?conf=padl2021 COVID-19 -------- PADL is co-located with POPL, which will take place January 17-22, 2021, as a physical, virtual, or hybrid physical/virtual meeting. We will be monitoring the Covid-19 situation and will announce a decision on the nature of the meeting in time which will follow suit with POPL. Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should include roughly 30% more content including, for example, explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work and such like. These submissions will then be subject to peer review by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. Chairs ------ - Dominic Orchard (University of Kent, UK) - Jose Morales (IMDEA Software Institute, Spain) Programme Committee ------------------- - Mario Alviano (University of Calabria, Italy) - Nada Amin (Harvard University, USA) - Edwin Brady (University of St. Andrews, Scotland) - Joachim Breitner (DFINITY) - Youyou Cong (Tokyo Institute of Technology) - Mistral Contrastin (Facebook London) - Sandra Dylus (University of Kiel, Germany) - Esra Erdem (Sabanci University, Turkey) - Martin Gebser (Alpen-Adria-Universität Klagenfurt, Austria) - Gopal Gupta (U. Dallas, USA) - Ekaterina Komendantskaya (Heriot-Watt University, Edinburgh, UK) - Henrik Nilsson (University of Nottingham, UK) - Enrico Pontelli (New Mexico State University, USA) - KC Sivaramakrishnan (IIT Madras, India) - Paul Tarau (University of North Texas, USA) - Jan Wielemaker (Free University Amsterdam, Netherlands) - Ningning Xie (University of Hong Kong) - Neng-Fa Zhou (City University of New York, USA)