From irdta at irdta.eu Mon Feb 3 20:18:35 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 03 Feb 2020 20:18:35 +0100 Subject: [fg-arc] DeepLearn 2020: early registration February 25 Message-ID: <545102060a010b0202555901040b545e53560652055355000b50010106065305565401030b0a56510905500457055951@grlmc_ip-zone_com-6> DeepLearn 2020: early registration February 25*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2020   León, Guanajuato, Mexico   July 27-31, 2020   Co-organized by:   Center for Research in Mathematics, A.C. (CIMAT-CONACyT) Guanajuato   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://deeplearn2020.irdta.eu/   ***************************************************************   --- Early registration deadline: February 25, 2020 ---   ***************************************************************   SCOPE:   DeepLearn 2020 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 2 keynote lectures and 24 four-hour and a half courses, 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 2020 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 2020 will take place in León, the most populous city in the state of Guanajuato, in central Mexico, and a major economic pole in the country with specialization in leather industry. The venue will be:   Poliforum León Blvd. Adolfo López Mateos esq. Blvd. Francisco Villa Col. Oriental, León, Gto., Mexico, C.P. 37510   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: (to be completed)   Maja Pantic (Imperial College London), Artificial Emotional Intelligence, Faces, Deep Fakes and Other Topics   PROFESSORS AND COURSES: (to be completed)   Rick S. Blum (Lehigh University), [introductory/intermediate] Deep Learning and Cybersecurity   Ben Brown (Lawrence Berkeley National Laboratory), [introductory/advanced] Explainable AI (XAI) Techniques for Science and Engineering -- Toward Statistical Inference for the 21st Century   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity   Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement 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   Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition   Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning   Massimiliano Pontil (Italian Institute of Technology), [intermediate/advanced] Statistical Learning Theory   Jose Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fedor Ratnikov (National Research University Higher School of Economics), [introductory] Specifics of Applying Machine Learning to Problems in Natural Science   Salim Roukos (IBM Research AI), [intermediate/advanced] Deep Learning Methods for Natural Language Processing   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Alex Smola (Amazon), [introductory/advanced] Dive into Deep Learning   Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning   Kunal Talwar (Google Brain), [intermediate] Differentially Private Machine Learning   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [introductory/intermediate] Conceptual Understanding and Machine 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 July 19, 2020.   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 July 19, 2020.   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 July 19, 2020.   ORGANIZING COMMITTEE:   Teresa Efigenia Alarcón Martínez (Guadalajara) Oscar Dalmau Cedeño (Guanajuato, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://deeplearn2020.irdta.eu/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:   Centro de Investigación en Matemáticas, A.C. (CIMAT-CONACyT) – Guanajuato   Centro Universitario de los Valles, Universidad de Guadalajara   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Feb 2 09:59:39 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 2 Feb 2020 10:59:39 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Final Joint Call for Tutorials, DC, Posters and Demos (extension deadline!) Message-ID: *** Final Joint Call for Tutorials, Doctoral Consortium, Posters and Demos *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Frcis-conf.com%2F Submission deadline: February 21, 2020 (AoE) (extended!) (Proceedings to be published by Springer) RCIS has become a recognized conference on research challenges in Information Science. Organized for the 14th time in a row, RCIS 2020 will be held from May 20-22, 2020, in Limassol, Cyprus. The topics of interest are organized into some major categories (more details in the call for papers http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPapers.php ): · Information Systems and their Engineering · User-Oriented Approaches · Data and Information Management · Business Process Management · Domain-specific IS Engineering · Data Science · Information Infrastructures · Reflective Research and Practice IMPORTANT DATES FOR ALL SATELLITE EVENTS · Submission deadline for all paper types: February 21, 2020 (AoE) (extended!) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 TUTORIALS Tutorials are intended to provide independent instruction (know-how) on a topic of relevance, no commercial or sales-oriented. Potential presenters should keep in mind that there might be a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Tutorial speakers should be prepared to cope with this diversity. The conference has specific slots for tutorials. They will be organized in sessions of 90 minutes with a free format. Tutorials run in parallel with other conference tracks, and participation is included in the attendees' conference fee. We invite proposals for tutorials that may address one or more of the listed topics below, although authors should not feel limited by them. Tutorial proposals are limited to 5 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ). Proposals must be submitted using the conference submission site (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 ), where you choose "RCIS2020 Tutorials". Instructions on the structure of a tutorial proposal can be found online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2Ftutorials.php . Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain DOCTORAL CONSORTIUM The RCIS 2020 Doctoral Consortium is an opportunity for doctoral students to present, discuss and develop their research project in an interdisciplinary workshop, under the guidance of a panel of senior researchers. The Doctoral Consortium offers nice opportunities for PhD students. Firstly, the feedback received during the Doctoral Consortium will really benefit students who have defined their topic, research plan and have obtained early results, but who still have room for improving their longer-term plan. Secondly, students at all stages of their doctoral project can meet the welcoming RCIS community and widen their network of contacts. The Doctoral Consortium has the following objectives: · Provide a platform for students to present their work and to meet other peers and be familiar with different research topics and methods. · Provide feedback on students' current research and guidance on future research directions. · Promote the development of a supportive community of scholars and a spirit of collaborative research and networking. · Contribute to the conference goals through interaction with other researchers. Interested PhD students are invited to submit papers, in agreement with their supervisors, addressing the instructions that are provided on the online call: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallDoctoral.php . Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Submissions must be written in English, and must be authored by the student only. The maximum length of the paper should be eight (8) pages, including references, appendices, etc. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Doctoral Consortium". Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands POSTERS AND DEMOS The posters & demos track will showcase prototypes and new research ideas in Information Science. This track provides a forum for researchers and practitioners to present their work, interact with conference participants, and obtain feedback on on-going research. We invite two types of submissions: · Posters are intended to convey a research result and are not advertisements for commercial software packages. While posters need not describe completed work, they should report on research for which at least some preliminary results are available. · Demonstrations should directly and actively involve the exhibition and display of tools/prototypes and associated materials that illustrate research work in progress and serve as ground for discussion of research ideas. Posters and demonstrations proposals must be submitted as a single PDF file with no more than 6 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ) including references and appendices. Proposals that exceed the limit of 6 pages will be rejected without review. Proposals that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Posters & Demos". More details on the submission and presentation format is online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zIChleHRlbnNpb24gZGVhZGxpbmUhKQk0NjcJTGlzdHMJMTM4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPostersDemo.php . Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland CONFERENCE COMMITTEES General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Feb 10 16:38:04 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 10 Feb 2020 16:38:04 +0100 Subject: [fg-arc] Call for Papers - HCSE 2020 - 8th Intl. Conference on Human-Centered Software Engineering Message-ID: <4183c4ee-b2cd-4fb3-5197-7a50f7e3c8fb@uni-paderborn.de> *HCSE 2020* *Call for Papers* *8th International Working Conference on Human-Centered Software Engineering* *August 26th - 28th, 2020 - Technical University Eindhoven, Eindhoven, The Netherlands* http://www.hcse-conference.org *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design in cooperation with IFIP Working Group 13.5 on Human Error, Resilience, Reliability, Safety and System Development . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes. Other topics of interest include: ●        contributions to the theory and best practices of user-centered design ●        design and architectural patterns for interactive systems ●        involvement of end-users, clients and stakeholders in the development process of interactive systems ●        innovative methods for identifying end-user requirements for interactive systems ●        integration of user experience (and any other user interface property) in development processes ●        methods for designing, building and assessing interactive systems beyond the desktop (e.g. the living room, ubiquitous and multi-display, cockpits, etc.) ●        models and model-based approaches for building interactive systems ●        integration of multiple properties (e.g. usability, security, reliability, user experience, privacy, accessibility, etc.) in software development ●        socio-technical aspects of interactive software development ●        software architectures for interactive systems ●        rational design and traceability of design choices. HCSE 2020 welcomes contribution as *technical full papers, late breaking results, demonstrations and posters*. All papers are peer-reviewed and selected contributions will appear in the proceedings published by Springer in the *LNCS* series. In the present edition of *HCSE 2020* we are particularly interested in studies focused on *multi-stakeholder* concepts and how to cope with multi-stakeholders taking into account not only micro perspective but on the systemic change level. As in past editions, the focus of the working group is on *user interface properties *(such as usability, ux, privacy, trust, security, reliability, adaptability, among other) and how to design, develop and evaluate based on a *user-centered development process*. We are interested in understanding how different stakeholders and developers value diverse user interface properties and how they manage conflicts between them (when one property might degrade the value of another) on a systemic change level. Our aim is to cover a large set of user interface properties and try to reveal their inner dependencies. We are particularly interested in the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. *HCSE*welcomes the following types of contributions: * * ●        *Technical full papers*(*up to 20 pages*) should describe substantial research contributions of novel work that has produced advanced results including validation of results. ●        *Late-breaking results*(*up to 12 pages*) are short papers that present work in progress, new practice and experience reports containing good (and bad) practices and/or recent practical evaluations of methods, techniques and tools. ●        *Demonstrations and posters*(*5–8 pages, plus poster design draft*) should present ongoing work and/or late-breaking results related to the use of innovative tools and cutting-edge systems not described in other paper submissions. Demonstration papers should provide description of tools including user tasks and evidence of use to end-users. Demo submissions should summarize the system’s significance and its performance and should either include screenshots or link to an online-accessible resource. The poster design draft should show the planned design and content of the poster that will be presented at the conference. Industry contributions to demos and posters are particularly welcome and highly encouraged. *Submissions and Reviewing Process* Contributions should be sent via *EasyChair* (https://easychair.org/conferences/?conf=hcse2020). All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*, demonstrations and posters *single-blind*. Authors must prepare their submission files accordingly! For poster submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results short papers to give tool demos as well without submitting additional demo papers. *Proceedings* Accepted contributions must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Important Dates* *Technical full papers, late breaking results* Submission: *March 30^th *, 2020 Notification to authors: *May 11^th *, 2020 Camera-ready due: *June 5^th *, 2020 *Demos, posters* Submission: *May 26^th *, 2020 Notification to authors: *June 12^th *, 2020 Camera-ready due: *June 26^th *, 2020 Conference dates: *August 26^th – 28^th *, 2020 *Organizers * *General Conference Chairs:* Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Carmelo Ardito, Politecnico di Bari, Italy Stefan Sauer, Paderborn University, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/x-vcard Size: 449 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From amedeo.napoli at loria.fr Fri Feb 7 16:06:40 2020 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Fri, 7 Feb 2020 16:06:40 +0100 (CET) Subject: [fg-arc] First Call for papers FCA4AI 2020 at ECAI 2020 Message-ID: <215552300.1501900.1581088000403.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Eighth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with ECAI 2020, Santiago de Compostela, Spain June 8 or 9 2020 http://www.fca4ai.hse.ru/2020 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI 2019) showed that many researchers working in Artificial Intelligence are indeed interested by powerful techniques for classification and data mining provided by Formal Concept Analysis. Again, we have the chance to organize a new edition of the workshop in Santiago de Compostela, co-located with the ECAI 2020 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there are many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis, as well as on hybridization with other formalisms. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA. As usual, the FCA4AI workshop is dedicated to discuss such issues, and in particular: - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing... - By contrast, how the current developments in AI can be integrated within FCA to help AI researchers to solve complex problems in their domain. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, dimensionality reduction, classification, clustering, and biclustering. - Pattern mining, subgroup discovery, exceptional model mining, interestingness measures, MDL-based approaches in data mining. - Machine learning and hybridization: neural networks, random forests, SVM, and combination of classifiers with FCA. - Knowledge engineering, knowledge representation and reasoning, and ontology engineering. - Scalable and distributed algorithms for FCA and artificial intelligence, and for mining big data. - AI tasks based on FCA: information retrieval, recommendation, social network analysis, data visualization and navigation, pattern recognition... - Practical applications in agronomy, biology, chemistry, finance, manufacturing, medicine... The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: March 23 2020 Notification to authors: April 10 2020 Final version: April 30 2020 Workshop: June 8 or 9 2020 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 12 pages, - system descriptions or position papers on work in progress not exceeding 6 pages. Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2020 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Sebastian Rudolph Technische Universität Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From angalletta at unime.it Sat Feb 8 21:26:44 2020 From: angalletta at unime.it (Antonino Galletta) Date: Sat, 8 Feb 2020 21:26:44 +0100 (CET) Subject: [fg-arc] [Final extension] SIoTEc 2020 - 1st edition of IEEE Workshop on Secure IoT, Edge and Cloud systems In-Reply-To: <726471857.48746104.1580459085662.JavaMail.zimbra@unime.it> References: <1945903393.44203808.1579877899920.JavaMail.zimbra@unime.it> <564616969.44205507.1579878132811.JavaMail.zimbra@unime.it> <1574770937.44206883.1579878334055.JavaMail.zimbra@unime.it> <832752922.47837161.1580339692535.JavaMail.zimbra@unime.it> <1905097107.47849838.1580340481286.JavaMail.zimbra@unime.it> <1147823166.47989350.1580371722587.JavaMail.zimbra@unime.it> <726471857.48746104.1580459085662.JavaMail.zimbra@unime.it> Message-ID: <69180604.54645537.1581193604965.JavaMail.zimbra@unime.it> Dear colleague, due to further requests arrived in the last week, and also encouraged by the CCGRID organizers, we inform you that we have extended the regular papers' submission deadline of SIoTEC workshop to February 16th. We invite you to submit a paper by using the following link: [ https://easychair.org/conferences/?conf=siotec2020 | https://easychair.org/conferences/?conf=siotec2020 ] Please, for any question email us at siotec2020 at googlegroups.com =========================================================================== SIoTEc 2020 - 1st edition of IEEE Workshop on Secure IoT, Edge and Cloud systems The Langham - Melbourne, Australia May 11 - 14, 2020 - [ http://siotec2020.netsons.org/ | http://siotec2020.netsons.org/ ] in conjunction with the 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020) =========================================================================== MISSION: ------------------------------------------------------------------------------ The Cloud/Edge paradigm fosters the deployment of digital services over multiple physical (both private and public) infrastructures even across different administrative boundaries. In its turn, the IoT advent has determined the proliferation of smart devices connected to the Internet and injecting into it a vast amount of data that may traverse several network boundaries and undergo many computational stages before they get consumed. If, on the one hand, the benefits brought by these technologies are well known, it is clear as well that, in the envisaged scenario, the exposure of data, services and infrastructures to malicious attacks has definitely grown. Even a single breach on any of the links of the data-service-infrastructure chain may seriously compromise the security of the end-user application. With such a wide attack surface, security must definitely approached in a holistic way and addressed in any layer where concerns may potentially arise. The workshop solicits novel and innovative ideas, proposals, positions and best practices that address the modelling, design, implementation, and enforcement of the security in Cloud/Edge/IoT environments. TOPICS: ------------------------------------------------------------------------------ - Blockchain-based tools and services - Data security across multiple domains and countries - Federated IoT, Edge and Cloud systems - Security in Osmotic Computing - Security on Cyber-physical systems - Anonymous and certified communications - Metrics and performance of secure interdomain protocols - Attack detection and prevention - Authentication protocols and key management - Availability and survivability of secure services and systems - Biometric security - Trust models and security modeling in Cloud/Edge/IoT scenarios - Security and privacy in the cloud and fog/edge infrastructure, services and storage - Machine learning applied to security applications - Emerging and disruptive technologies for security, privacy, trust and forensics - Security systems and protocols for Drones - Drone communication and communication security - Security in e-health - Security in Smart cities - Security in Networks including SDN The use of Soft Computing/Computational Intelligence methods in facing problems in the above topics is highly welcome, although not compulsory. PAPER SUBMISSION: ------------------------------------------------------------------------------ Authors are invited to submit their papers written in English in IEEE double-column format (IEEE standard conference templates). Papers can be either full, with a maximum length of six (8) printed pages, or short, with a maximum length of four (4) printed pages. In both cases, the number of pages includes figures, tables & references. Submissions should contain original material and not be previously published, or currently submitted for consideration elsewhere. All papers will be reviewed for scientific quality by the Technical Program Committee. All papers should be submitted via EDAS using the following link [ https://easychair.org/conferences/?conf=siotec2020 | https://easychair.org/conferences/?conf=siotec2020 ] Paper submission implies the willingness of at least one author to register, at the regular rate (non-student), and present the paper. The Workshop Proceedings will be part of the CCGrid 2020 Proceedings and will be submitted for inclusion in IEEE Xplore Digital Library. The IEEE SIoTEC Workshop is using the EDAS Conference Management System to manage the paper submission process. BEST PAPER AWARD: ------------------------------------------------------------------------------ A "Best Paper Award" Certificate will be conferred on the author(s) of a paper presented at the workshop, selected by the Chairs based on scientific significance, originality and outstanding technical quality of the paper, as assessed also by the evaluations of the members of the Program Committee. IMPORTANT DATES: ------------------------------------------------------------------------------ Submission deadline: February 16th, 2020 Notification of paper acceptance: February 24th, 2020 Submission of camera-ready papers: March 2nd, 2020 VENUE: ------------------------------------------------------------------------------ The Langham - Melbourne, Australia [ http://melbourne.langhamhotels.com.au/ | http://melbourne.langhamhotels.com.au/ ] FOR ANY OTHER INFORMATION [ http://siotec2020.netsons.org/ | http://siotec2020.netsons.org/ ] or email us at [ mailto:siotec2020 at googlegroups.com | siotec2020 at googlegroups.com ] -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Feb 11 01:36:45 2020 From: irdta at irdta.eu (IRDTA) Date: Tue, 11 Feb 2020 01:36:45 +0100 Subject: [fg-arc] AlCoB 2020: call for posters Message-ID: <545102060a010b02025254000607515e075303540601035755055c500f0e555352510507570154075356075300570301@grlmc_ip-zone_com-6> AlCoB 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 7th International Conference on Algorithms for Computational Biology (AlCoB 2020) invites researchers to submit poster presentations. AlCoB 2020 will be held in Missoula, Montana on April 13-15, 2020. See:  https://alcob2020.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: March 6, 2020 Notification of poster acceptance or rejection: March 13, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=alcob2020 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2020. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by March 20, 2020. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at upb.de Wed Feb 12 14:02:13 2020 From: sauer at upb.de (Stefan Sauer) Date: Wed, 12 Feb 2020 14:02:13 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers=3A_11=2E_Workshop_=E2=80=9EDe?= =?utf-8?q?sign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=28DFF_2020=29?= Message-ID: <5643d781-731d-5816-3d7b-e1e3451e0ad3@upb.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 13. März 2020 ------------------------------------------------------------------------ 11. Workshop *Design for Future – Langlebige Softwaresysteme* (*DFF 2020*) ------------------------------------------------------------------------ Software Engineering für langlebige Systeme des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2020/ 04.–06. Mai 2020 in Bad Honnef gemeinsam mit dem 22. Workshop Software-Reengineering & Evolution (WSRE *2*0*2*0) https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution *Wichtige Termine* Einreichung von Beiträgen:    13. März 2020 Benachrichtigung über die Annahme:    31. März 2020 Einreichung der finalen Fassung:    09. April 2020 Anmeldeschluss zur Teilnahme:    09. April 2020 Workshop:    04.-06. Mai 2020 *Inhalt und Ziele* Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer.  Neue Paradigmen treten zutage wie z.B. Edge Computing,  Blockchains oder Smart Contracts.  Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler(innen) und Praktiker(innen) zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 11. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. *Themen* Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: •    Methoden zur Software-Modernisierung und Software-Migration •    Re-Engineering zum Erkennen und Beheben von Legacy-Problemen •    Anpassungsfähige und zukunftssichere Software-Architekturen •    Evolution und Co-Evolution von Modellen und Code •    Verhinderung von Software-Erosion •    Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme •    Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) •    Integration oder Migration in Bezug auf Blockchain-Technologien oder Smart Contracts •    Migrationsszenarien im Kontext von Cloud- und Edge-Computing •    Evolutionsherausforderungen im Kontext von Big Data •    Qualitätsmanagement für langlebige Softwaresysteme •    Fallstudien zu den vorgenannten Themen •    Praxis- und Erfahrungsberichte zu den vorgenannten Themen *Einreichung & Veröffentlichung von Beiträgen* Praktiker(innen) und Wissenschaftler(innen), die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=wsre2020 freigeschaltet. Der Workshop DFF wird in EasyChair als Teil des WSRE behandelt. Bitte wählen Sie bei der Einreichung unter Topics das Akronym "DFF" aus. *Organisation* Der Workshop wird organisiert vom GI-Arbeitskreis "Langlebige Software-Systeme" (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 22. Workshop Software-Reengineering & Evolution (WSRE 2020) der Fachgruppe "Software-Reengineering" als Track mit eigenständigem Begutachtungsprozess durchgeführt. *AK- und Workshop-Leitung:* •    Stefan Sauer, sauer at sicp.upb.de, •    Robert Heinrich, robert.heinrich at kit.edu, •    Marco Konersmann, konersmann at uni-koblenz.de From jin456soo at gmail.com Tue Feb 11 16:30:50 2020 From: jin456soo at gmail.com (jin soo) Date: Tue, 11 Feb 2020 15:30:50 +0000 Subject: [fg-arc] International Conference on Artificial Intelligence and Big Data (AIBD 2020) / April 25~26, 2020, Copenhagen, Denmark Message-ID: Dear All, Please share this information among interested researchers! Thank You, International Conference on Artificial Intelligence and Big Data (AIBD 2020) April 25~26, 2020, Copenhagen, Denmark https://acsty2020.org/aibd/index.html Call for Papers International Conference on Artificial Intelligence and Big Data (AIBD 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of on Artificial Intelligence and Big Data. The aim of the conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the field. Authors are solicited to contribute to the conference by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the areas of Internet of Things. Topics of interest include, but are not limited to, the following Artificial Intelligence • AI Algorithms • Artificial Intelligence Tools and Application • Computational Theories of Learning • Data Mining and Machine Learning Tools • Fuzzy Logic • Heuristic and AI Planning Strategies and Tools • Hybrid Intelligent System • Intelligent System Architecture • Knowledge Representation • Natural Language Processing • Knowledge-based Systems • Neural Networks • Pattern Recognition • Reasoning and Evolution • Recent Trends and Developments of AI, Big Data • Robotics Big Data • Big Data Techniques, models and algorithms • Big Data Infrastructure and platform • Big Data Search and Mining • Big Data Security, Privacy and Trust • Big Data Applications in AI, Bioinformatics, Multimedia etc • Big Data Tools and systems • Big Data Mining and AI • Big Data Management • Cloud and grid computing for Big Data • Machine Learning and AI for Big Data • Big Data Analytics and Social Media • 5G and Networks for Big Data Paper Submission Authors are invited to submit papers through the conference Submission System by February 15,2020. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this conference. The proceedings of the conference will be published by Computer Science Conference Proceedings in Computer Science & Information Technology (CS & IT) series (Confirmed). Important Dates Submission Deadline : February 15, 2020 Authors Notification : March 16, 2020 Registration & camera – Ready Paper Due : March 24, 2020 Contact Us Here’s where you can reach us : aibd AT acsty2020 DOT org or aibdconf AT yahoo DOT com -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Wed Feb 12 10:01:32 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Wed, 12 Feb 2020 10:01:32 +0100 Subject: [fg-arc] SAT2020: DEADLINES EXTENDED Message-ID: We would like to inform you that we have decided to extend SAT2020 deadlines for submissions as follows: Abstract submission by February 22, 2020 (was February 15) Paper submission by February 29, 2020 (was February 19) The updated call for paper follows. ******************** Call for Papers ********************            The 23rd International Conference on      Theory and Applications of Satisfiability Testing                        (SAT 2020)              5-9 July 2020, Alghero, Italy http://sat2020.idea-researchlab.org/ ********************************************************* The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. *** Scope *** SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: * Theoretical advances * Practical search algorithms * Knowledge compilation * Implementation-level details of SAT solving tools * Problem encodings and reformulations * Applications * Case studies based on rigorous experimentation *** Invited Speakers *** * Georg Gottlob, TU Wien, Austria * Aarti Gupta, Princeton University, US *** Out of Scope *** Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. *** Paper Categories *** Submissions to SAT 2020 are solicited in three categories, describing original contributions. * Long papers (9 to 15 pages, excluding references) * Short papers (up to 8 pages, excluding references) * Tool papers (up to 6 pages, excluding references) Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions on applications and cases studies are especially welcome. Such papers should describe details, weaknesses and strengths of the considered approaches in sufficient depth, but they are not expected to introduce novel solving approaches. Tool papers must obey to specific content criteria. A tool paper should describe the implemented tool and its novel features. Here “tools” are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc. as well as systems that exploit SAT solvers or their extensions for use in interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. *** Submissions *** Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2020, and should not consist of previously published material. Submissions not consistent with the above guidelines may be returned without review. All papers submissions are done exclusively via EasyChair in Springer’s LaTeX llncs2e style. One author of each accepted paper is expected to present it at the conference. Further details can be found at the website of SAT 2020: http://sat2020..idea-researchlab.org/ *** Proceedings *** The proceedings will be published by Springer in the series Lecture Notes in Computer Science, seewww.springer.com/lncs . *** Important Dates *** Workshops                July 5, 2020 Conference               July 6-9, 2020 Abstract submission      February 22, 2020 Paper submission         February 29, 2020 Author response period   March 29 – April 2, 2020 Author notification      April 18, 2020 Camera-ready             May 3, 2020 *** Organization *** Program Chairs * Luca Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop Chair * Florian Lonsing, Stanford University Publicity Chair * Laura Pandolfo, University of Sassari Program Committee * Fahiem Bacchus, University of Toronto * Olaf Beyersdorff, Friedrich Schiller University Jena * Armin Biere, Johannes Kepler University Linz * Nikolaj Bjorner, Microsoft * Maria Luisa Bonet, Universitat Politècnica de Catalunya * Sam Buss, University of California San Diego * Florent Capelli, Université de Lille * Pascal Fontaine, Université de Liège, Belgium * Marijn Heule, Carnegie Mellon University * Alexey Ignatiev, Universidade de Lisboa * Mikolas Janota, University of Lisbon * Matti Järvisalo, University of Helsinki * Oliver Kullmann, Swansea University * Jie-Hong Roland Jiang, National Taiwan University * Jan Johannsen, Ludwig Maximilian University of Munich * Benjamin Kiesl, CISPA Helmholtz Center for Information Security * Daniel Le Berre, Université d’Artois * Florian Lonsing, Stanford University * Ines Lynce, Universidade de Lisboa * Vasco Manquinho, Universidade de Lisboa, Portugal * Felip Manyà, IIIA-CSIC * Joao Marques-Silva, University of Toulouse * Ruben Martins, Carnegie Mellon University * Kuldeep S. Meel, National University of Singapore * Alexander Nadel, Intel * Aina Niemetz, Stanford University * Jakob Nordstrom, University of Copenhagen * Markus N. Rabe, Google * Roberto Sebastiani, University of Trento * Natasha Sharygina, Università della Svizzera italiana * Laurent Simon, Bordeaux Institute of Technology * Friedrich Slivovsky, Vienna University of Technology * Stefan Szeider, Vienna University of Technology * Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universität Freiburg * Christoph M. Wintersteiger, Microsoft *** Contact *** For any questions, please contact sat2020 at easychair.org -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Feb 16 12:57:16 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 16 Feb 2020 13:57:16 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Last Mile for Tutorials, DC, Posters and Demos Submissions Message-ID: <2Y8A6FQ-NJV3-Q35G-S514-LXMQ8REHCI7N@cs.ucy.ac.cy> *** Last Mile for Tutorials, Doctoral Consortium, Posters and Demos Submissions *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Frcis-conf.com%2F Submission deadline: February 21, 2020 (AoE) (Proceedings to be published by Springer) RCIS has become a recognized conference on research challenges in Information Science. Organized for the 14th time in a row, RCIS 2020 will be held from May 20-22, 2020, in Limassol, Cyprus. The topics of interest are organized into some major categories (more details in the call for papers http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPapers.php ): · Information Systems and their Engineering · User-Oriented Approaches · Data and Information Management · Business Process Management · Domain-specific IS Engineering · Data Science · Information Infrastructures · Reflective Research and Practice IMPORTANT DATES FOR ALL SATELLITE EVENTS · Submission deadline for all paper types: February 21, 2020 (AoE) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 TUTORIALS Tutorials are intended to provide independent instruction (know-how) on a topic of relevance, no commercial or sales-oriented. Potential presenters should keep in mind that there might be a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Tutorial speakers should be prepared to cope with this diversity. The conference has specific slots for tutorials. They will be organized in sessions of 90 minutes with a free format. Tutorials run in parallel with other conference tracks, and participation is included in the attendees' conference fee. We invite proposals for tutorials that may address one or more of the listed topics below, although authors should not feel limited by them. Tutorial proposals are limited to 5 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ). Proposals must be submitted using the conference submission site (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 ), where you choose "RCIS2020 Tutorials". Instructions on the structure of a tutorial proposal can be found online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2Ftutorials.php . Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain DOCTORAL CONSORTIUM The RCIS 2020 Doctoral Consortium is an opportunity for doctoral students to present, discuss and develop their research project in an interdisciplinary workshop, under the guidance of a panel of senior researchers. The Doctoral Consortium offers nice opportunities for PhD students. Firstly, the feedback received during the Doctoral Consortium will really benefit students who have defined their topic, research plan and have obtained early results, but who still have room for improving their longer-term plan. Secondly, students at all stages of their doctoral project can meet the welcoming RCIS community and widen their network of contacts. The Doctoral Consortium has the following objectives: · Provide a platform for students to present their work and to meet other peers and be familiar with different research topics and methods. · Provide feedback on students' current research and guidance on future research directions. · Promote the development of a supportive community of scholars and a spirit of collaborative research and networking. · Contribute to the conference goals through interaction with other researchers. Interested PhD students are invited to submit papers, in agreement with their supervisors, addressing the instructions that are provided on the online call: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallDoctoral.php . Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Submissions must be written in English, and must be authored by the student only. The maximum length of the paper should be eight (8) pages, including references, appendices, etc. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Doctoral Consortium". Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands POSTERS AND DEMOS The posters & demos track will showcase prototypes and new research ideas in Information Science. This track provides a forum for researchers and practitioners to present their work, interact with conference participants, and obtain feedback on on-going research. We invite two types of submissions: · Posters are intended to convey a research result and are not advertisements for commercial software packages. While posters need not describe completed work, they should report on research for which at least some preliminary results are available. · Demonstrations should directly and actively involve the exhibition and display of tools/prototypes and associated materials that illustrate research work in progress and serve as ground for discussion of research ideas. Posters and demonstrations proposals must be submitted as a single PDF file with no more than 6 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ) including references and appendices. Proposals that exceed the limit of 6 pages will be rejected without review. Proposals that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Posters & Demos". More details on the submission and presentation format is online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgVHV0b3JpYWxzLCBEQywgUG9zdGVycyBhbmQgRGVtb3MgU3VibWlzc2lvbnMJNDcwCUxpc3RzCTEzNwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPostersDemo.php . Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland CONFERENCE COMMITTEES General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From ijwmn at airccse.org Tue Feb 11 13:26:06 2020 From: ijwmn at airccse.org (wire Mobil) Date: Tue, 11 Feb 2020 12:26:06 +0000 (UTC) Subject: [fg-arc] Call for Papers :International Journal of Wireless & Mobile Networks (IJWMN)/Submission Deadline : February 15, 2020 References: <1260604015.973556.1581423966588.ref@mail.yahoo.com> Message-ID: <1260604015.973556.1581423966588@mail.yahoo.com> International Journal of Wireless & Mobile Networks (IJWMN)ISSN: 0975-3834 [Online]; 0975-4679 [Print]http://airccse.org/journal/ijwmn.html Scope & TopicsThe International Journal of Wireless & Mobile Networks (IJWMN) is a bi monthly open access peer- reviewed journal that publishes articles which contribute new results in all areas of Wireless & Mobile Networks. The journal focuses on all technical and practical aspects of Wireless & Mobile Networks . The goal of this journal is to bring together researchers and practitioners from academia and industry to focus on advanced wireless & mobile networking concepts and establishing new collaborations in these areas.Authors are solicited to contribute to this journal by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in Wireless and Mobile Networks. Topics of interest include, but are not limited to, the followingArchitectures, protocols, and algorithms to cope with mobile & wireless Networks Distributed algorithms of mobile computingOS and middleware support for mobile computing and networking Routing, and communication primitives in ad-hoc and sensor networks Synchronization and scheduling issues in mobile and ad hoc networks Resource management in mobile, wireless and ad-hoc networksData management on mobile and wireless computing Integration of wired and wireless networks Broadband access networksEnergy saving protocols for ad hoc and sensor networks Complexity analysis of algorithms for mobile environments Information access in wireless networksAlgorithms and modeling for tracking and locating mobile users Satellite communicationsCryptography, security and privacy of mobile & wireless networks Performance of mobile and wireless networks and systems Mobile ad hoc and sensor networks Wireless multimedia systemsService creation and management environments for mobile/wireless systemsPaper submissionAuthors are invited to submit papers for this journal through email ijwmn at airccse.org . Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this Journal. Important Dates Submission Deadline : February 15, 2020Notification                   : March 15, 2020Final Manuscript Due : March 23, 2020Publication Date : Determined by the Editor-in-Chief Note: AIRCC’s International Journal of Wireless & Mobile Networks (IJWMN) is dedicated to strengthen the field of Wireless and Mobile Networks and publishes only good quality papers. IJWMN is highly selective and maintains less than 15% acceptance rate. All accepted papers will be tested for plagiarism manually as well as by Docoloc . Papers published in IJWMN has received enormous citations and has been regarded as one of the best Journal in the networking research field. -------------- next part -------------- An HTML attachment was scrubbed... URL: From wortmann at se-rwth.de Wed Feb 19 09:33:21 2020 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Wed, 19 Feb 2020 09:33:21 +0100 Subject: [fg-arc] LangDev'20 Call for Talk Proposals Message-ID: ---------------------------------------- LangDev'20 Call for Talk Proposals April 27-28, Mainz, Germany http://langdevcon.org/ ---------------------------------------- The Language Developer’s Meetup (LangDev) is an informal two-day meeting where language engineering enthusiasts from both industry and academia can come together to discuss the state-of-the-art and state-of-the-practice of language engineering. On April 27/28, 2020 the third edition of LangDev will be held, at JGU Mainz in Germany. In this call for presentations, we solicit talk proposals concerning the application, development, and innovation of language engineering. Topics of interest include, but are not limited to: - Novel meta languages for language construction and composition - Holistic approaches to language engineering that cross-cut multiple language aspects (e.g. abstract and concrete syntax, semantics, transformations) and/or integrate with program analysis, validation, testing, or other advanced techniques. - New language workbenches or novel extensions of existing language workbenches. - Backend infrastructure of (web-based) language workbenches explaining solutions to collaboration, synchronization, or communication. - Industrial case studies: experience reports, large-scale evaluations, and human factors to adoption. LangDev seeks presentations that demonstrate applied aspects of language engineering. Presentations explaining the theory behind language engineering are also welcome, but they need to showcase the practical applicability of the presented approaches. Presentations about preliminary or unfinished work are welcome. We encourage presenters to demonstrate their work with a demo or live coding over “just” showing slides. Additionally, we encourage speakers to accompany their presentations with a reproduction package that helps the participants to (easily) run the presented tools, experiment with them, or to tweak benchmark experiments. This helps to create a lasting contribution. Talk proposals should be submitted by February 29 to http://tiny.cc/langdev2020. A proposal includes a title and a short (maximum 200 words) abstract. Presenters will have 30 minutes for their talks (25 min talk + 5 min Q&A). All proposals will undergo light reviewing by the program committee, consisting of: - Andreas Wortmann, RWTH Aachen University, wortmann at se-rwth.de - Federico Tomassetti, Strumenta, federico at strumenta.com - Niko Stotz, Canon Production Printing, niko.stotz at nikostotz.de - Tamas Szabo, itemis/JGU Mainz, tamas.szabo at itemis.de - Tijs van der Storm, CWI Amsterdam, storm at cwi.nl -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 (241) 80-21346 / Fax -22218 | http://www.se-rwth.de We analysed 3.000 publications on modelling in Industry 4.0 for you ↳ Modeling languages in Industry 4.0: an extended systematic mapping study ↳ Software and Systems Modeling 19(1): 67-94 (2020) ↳ http://wortmann.ac/paper/MDE-I40.pdf From sauer at uni-paderborn.de Wed Feb 19 11:23:55 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 19 Feb 2020 11:23:55 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Proposals_=E2=80=93_FORSCHUNG_TRIFFT?= =?utf-8?q?_PRAXIS_=28NEUES_FORMAT_=40_WSRE_2020=29?= Message-ID: <8f440dab-cfd3-4103-1fc4-e498d1d393d1@uni-paderborn.de> *Call for Proposals – FORSCHUNG TRIFFT PRAXIS (NEUES FORMAT @ WSRE 2020)* *22. Workshop Software-Reengineering & -Evolution* der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 4.-6. Mai 2020 https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ *FORSCHUNG TRIFFT PRAXIS* Was beabsichtigen wir mit „Forschung trifft Praxis“? Zur Förderung der praktischen Erprobung von laufenden Forschungsarbeiten und Promotionen führen wir beim WSRE 2020 als Neuheit einen neuen Track ein. Die Anwendung und Erprobung von Forschungsergebnissen an realen Beispielen der Industrie – vielfach gefordert aber selten tatsächlich getan. Der WSRE 2020 bietet nun ein Forum, um das zu ändern. Einerseits werden Unternehmen dazu eingeladen, aus ihrer Sicht offene Fragen und Herausforderungen aufzuzeigen und nach wissenschaftlichen Partnern und Lösungsansätzen zu suchen. Andererseits geben Industriepartner aus dem Fachbereich ihre Systeme, Source Code und/oder Artefakte der Forschung an die Hand, damit die Wissenschaftler ihre Lösungen in realistischen Einsatzszenarien und an realen Daten erproben und evaluieren können. Gemeinsam kann weiteres Potenzial für eine vertiefte Zusammenarbeit identifiziert werden. Die Unternehmen erklären sich bereit, dass die Wissenschaftler über die Anwendung der Forschung und Ergebnisse der Methodik (ggf. anonymisiert) publizieren. Zudem können auch Forschungsarbeiten vorgestellt werden, um gezielt auf neue Methoden und/oder Werkzeuge hinzuweisen, damit diese in industriellen Fallstudien erprobt werden können. Ziel des Tracks ist es, Forschung und Praxis aufeinander aufmerksam zu machen und gezielt mögliche Anknüpfungspunkte zu kristallisieren. Bei gegenseitigem Interesse werden im Nachgang die Fallstudien begleitet und unterstützt durch ein Mitglied des SRE-Leitungsgremiums durchgeführt, mit dem Ziel, über die Ergebnisse zu berichten und sie der Fachgruppe dann beim WSRE 2021 vorzustellen (auch anderweitige Publikationen oder Präsentationen der Fallstudie sind natürlich möglich und willkommen). *(A) Forschung sucht Anwendung!* Forscher(innen), die ihre Lösungen (Methoden und/oder Werkzeuge) in industriellen Einsatzszenarien erproben/evaluieren möchten, suchen Industriepartner, die ihnen Zugang zu Systemen, Source Code und/oder Artefakten gewähren. Vorbereitung: Kurzbeschreibung des Forschungsansatzes (Methode, Werkzeug) – Auswahl – Einladung *(B) Problem sucht Lösung!* Unternehmen zeigen aus ihrer Sicht offene Fragen auf und suchen nach wissenschaftlichen Partnern und Lösungsansätzen, diese Fragen zu beantworten. Vorbereitung: Kurzbeschreibung des Reengineering-Praxisproblems – Auswahl – Einladung *(C) System sucht Erkenntnis!* Unternehmen gewähren Zugang zu Systemen, Source Code und/oder Artefakten und ermöglichen Forschern/-innen ihre Lösung (Methoden und/oder Werkzeuge) in einem industriellen Umfeld anzuwenden, um neue Erkenntnisse für alle Beteiligte zu gewinnen. Vorbereitung: Kurzbeschreibung des Systems und der Technologien – Auswahl – Einladung Wir laden Forscher(innen) und Praktiker(innen) herzlich ein, sich an dem neuen Format zu beteiligen. *Wie reiche ich einen Beitrag ein?* Eingereicht werden können Kurzbeschreibungen (ca. 2 Seiten, Format nicht vorgeschrieben, z.B. im Format der Softwaretechnik-Trends, siehe http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html) eines (A) Reengineering-Praxisproblems, (B) Forschungsansatzes (Methode, Werkzeug), oder eine (C) Systembeschreibung. Die Texte können in deutscher oder englischer Sprache verfasst sein. Beiträge bitte per E-Mail einreichen an WSR at list.uni-koblenz.de mit dem Betreff „WSRE 2020: Matching-Event“ unter Angabe des zutreffenden Typs einreichen. Zur Orientierung empfehlen wir die folgende Gliederung / Struktur: (A) Motivation & Zielsetzung – Forschungsfragen – bisherige Ergebnisse, implementierte Werkzeuge & Publikationen – Anforderungen an Einsatzkontext (B) Motivation & Zielsetzung – Problembeschreibung – Unternehmens-/Anwendungskontext – Anforderungen an Lösung (C) Motivation & Zielsetzung – Systembeschreibung und Technologien – Unternehmens-/Anwendungskontext *Wie läuft das Matching-Event beim WSRE 2020 ab und wie geht es dann weiter?* Beim WSRE 2020: - Pitch: Kurzvorstellung der ausgewählten Beiträge im WSRE-Plenum - Speed-Dating: Kennenlernen der potenziellen Partner aus Wirtschaft und Wissenschaft - Matching: vertiefte Besprechung der Kooperationsmöglichkeit während des WSRE - Intermediate: Bericht zur Vorstellung der (vorläufigen) Matching-Ergebnisse im Plenum durch die Fachgruppenleitung Projekt-Durchführung 2020-2021 (empfohlene Schritte): - Exposé: Potenzial und Ziel der Zusammenarbeit identifizieren und dokumentieren sowie Regeln für die Zusammenarbeit (Commitment!) festlegen - Vereinbarung über die Projektdurchführung sowie der (möglichen) Publikation über die Anwendung der Forschung und Ergebnisse der Methodik (ggf. anonymisiert) - Projektdurchführung Vorstellung & Publikation der Ergebnisse: - Vorstellung der Ergebnisse beim WSRE 2021 - einschlägige Publikation der Ergebnisse (auch anderweitige Publikationen oder Präsentationen der Fallstudie sind natürlich möglich und willkommen) *Wie ist der Zeitplan?* - Skype-Call für alle Interessierten zur Klärung offener Punkte 03. März 2020 10:00 Uhr* - Einreichen einer Kurzbeschreibung: 13. März 2020 - Benachrichtigung / Einladung zum Matching-Event: 31. März 2020 - Veröffentlichung der ausgewählten Kurzbeschreibungen: 31. März 2020 - Anmeldeschluss zur Teilnahme am WSRE 2020: 09. April 2020 *) Für Einwahldaten bitte melden (siehe Kontakt unten) *Kontakt? Bitte!* WSR at list.uni-koblenz.de *Organisatoren:* Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn -- "Software.Innovation.Zukunft" Follow us @ Twitter: SICPaderborn, SoftwareQLab Follow me @ Twitter: stsauer13 -- Dr. Stefan Sauer Diplom-Informatiker Geschäftsführer F&E-Manager "Software Engineering" Senior Researcher Universität Paderborn | SICP - Software Innovation Campus Paderborn Software Innovation Lab Fürstenallee 11 33102 Paderborn Fon +49 5251 60-6820 Fax +49 5251 60-6819 E-Mail sauer at uni-paderborn.de Web go.uni-paderborn.de/sauer www.sicp.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From koziolek at kit.edu Wed Feb 26 14:35:50 2020 From: koziolek at kit.edu (Koziolek, Anne (IPD)) Date: Wed, 26 Feb 2020 13:35:50 +0000 Subject: [fg-arc] Call for Workshop Proposals for ECSA 2020 in L'Aquila, Italy Message-ID: Call For Workshops The European Conference on Software Architecture (ECSA) is a leading forum for presenting and discussing software architecture research and practice. ECSA 2020 workshops, to be held on 14 and 15 of September (right before the main conference on 16-18 September), are to serve as collaborative forums for researchers to exchange and explore innovative software architecture (scientific or engineering) ideas and challenges at an early stage. Topics of interests may include but not limited to: - Software Architecture challenges for AI- and ML-based Systems - Software Architecture challenges for Self-Adaptive Systems - Software Architecture challenges for Cyber-Physical Systems - Software Architecture challenges in Big Data and Cloud Computing - Software Architecture challenges in IoT-based Systems - Software Architecture challenges in DevOPS - Software Architecture challenges in Blockchain Engineering - Quality-of-service (QoS) measurements of Software Architectures - Privacy and Security in Software Architectural Design - Context-aware, Autonomous, and Smart Architectures - Sustainability in Software Architectures - Software Architecture Erosion and Architectural Consistency Detailed submission information is available at https://ecsa2020.disim.univaq.it/track/ecsa-2020-workshops. Accepted workshops can opt for publication in the joint ECSA workshop Springer Communications in Computer and Information Science volume (CCIS). The important dates are: - Workshop proposals submission: April 6, 2020 - Notification of Workshop proposals: April 13, 2020 Best regards, the Workshops at ECSA 2020 Chairs, Mauro Caporuscio, Linnaeus University, Sweden, Anne Koziolek, Karlsruhe Institute of Technology, Germany, -- Karlsruhe Institute of Technology (KIT) Institute for Program Structures and Data Organization Prof. Dr.-Ing. Anne Koziolek Am Fasanengarten 5, Building 50.34, Room 326 76131 Karlsruhe, Germany Phone: +49 721 608-4-3473 Fax: +49 721 608-4-5990 Web: http://are.ipd.kit.edu/people/anne_koziolek/ Registered office: Kaiserstraße 12, 76131 Karlsruhe, Germany KIT -- The Research University in the Helmholtz Association From skareem29684 at aol.com Tue Feb 18 16:21:44 2020 From: skareem29684 at aol.com (s kareem) Date: Tue, 18 Feb 2020 15:21:44 +0000 (UTC) Subject: [fg-arc] Call for Papers :International Conference on Networks, Blockchain and Internet of Things (NBIoT 2020) / June 20~21, 2020, Dubai, UAE References: <969702301.3308559.1582039304941.ref@mail.yahoo.com> Message-ID: <969702301.3308559.1582039304941@mail.yahoo.com> International Conference on Networks, Blockchain and Internet of Things (NBIoT 2020)June 20~21, 2020, Dubai, UAEhttps://csita2020.org/nbiot/index.htmlScope International Conference on Networks, Blockchain and Internet of Things (NBIoT 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Networks , Blockchain and Internet of Things. The Conference looks for significant contributions to all major fields of the Networks, Blockchain and Internet of Things in theoretical and practical aspects.Topics of interest include, but are not limited to, the following·         Block Chain issues and trends·         Blockchain Attacks on Existing Systems·         Blockchain Consensus Algorithms·         Blockchain Foundations·         Blockchain New Design·         Blockchain Privacy·         Blockchain Scalability·         Blockchain-based security for the IoT·         IoT Connectivity and Networking·         Electronics and Signal processing for IoT·         IoT Experimental Results and Deployment Scenarios·         IoT Applications and Services·         IoT Security and Privacy·         IoT-enabled Innovation and Entrepreneurship·         Network Protocols & Wireless Networks·         Network Architectures·         High speed networks·         Routing, switching and addressing techniques·         Next Generation Internet·         Next Generation Web Architectures·         Network Operations & management·         Adhoc and sensor networks·         Internet and Web applications·         Ubiquitous networks·         Mobile networks & Wireless LAN·         Wireless Multimedia systems·         Wireless communications·         Heterogeneous wireless networks·         Measurement & Performance Analysis·         Peer to peer and overlay networks·         QoS and Resource Management·         Network Based applications·         Network Security·         Self-Organizing Networks and Networked Systems·         Optical Networking·         Mobile & Broadband Wireless Internet·         Recent trends & Developments in Computer NetworksPaper Submission Authors are invited to submit papers through the conference Submission System by February 29, 2020. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this conference. The proceedings of the conference will be published by Computer Science Conference Proceedings in Computer Science & Information Technology (CS & IT) series (Confirmed).Selected papers from NBIoT 2020, after further revisions, will be published in the special issue of the Scopus, ERA Indexed  journals for free of cost.Important Dates ·         Submission Deadline :February 29, 2020·         Authors Notification : March 30, 2020·         Registration & camera – Ready Paper Due :April 10, 2020Here’s where you can reach us : nbiot at acsty2020.org(or) confnbiot at yahoo.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Feb 18 23:58:26 2020 From: irdta at irdta.eu (IRDTA) Date: Tue, 18 Feb 2020 23:58:26 +0100 Subject: [fg-arc] DeepLearn 2020: early registration February 25 Message-ID: <545102060a010b02025350040607575e545351510001535552070c090703060701035400575f5250035403060e035904@grlmc_ip-zone_com-6> DeepLearn 2020: early registration February 25*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2020   León, Guanajuato, Mexico   July 27-31, 2020   Co-organized by:   Center for Research in Mathematics, A.C. (CIMAT-CONACyT) Guanajuato   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://deeplearn2020.irdta.eu/   ***************************************************************   --- Early registration deadline: February 25, 2020 ---   ***************************************************************   SCOPE:   DeepLearn 2020 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 2 keynote lectures and 24 four-hour and a half courses, 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 2020 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 2020 will take place in León, the most populous city in the state of Guanajuato, in central Mexico, and a major economic pole in the country with specialization in leather industry. The venue will be:   Poliforum León Blvd. Adolfo López Mateos esq. Blvd. Francisco Villa Col. Oriental, León, Gto., Mexico, C.P. 37510   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 SPEAKER:   Maja Pantic (Imperial College London), Artificial Emotional Intelligence, Faces, Deep Fakes and Other Topics   PROFESSORS AND COURSES: (to be completed)   Rick S. Blum (Lehigh University), [introductory/intermediate] Deep Learning and Cybersecurity   Ben Brown (Lawrence Berkeley National Laboratory), [introductory/advanced] Explainable AI (XAI) Techniques for Science and Engineering -- Toward Statistical Inference for the 21st Century   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity   Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement 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] Deep Learning and Statistics: Better Together   Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition   Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning   Massimiliano Pontil (Italian Institute of Technology), [intermediate/advanced] Statistical Learning Theory   Jose Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fedor Ratnikov (National Research University Higher School of Economics), [introductory] Specifics of Applying Machine Learning to Problems in Natural Science   Salim Roukos (IBM Research AI), [intermediate/advanced] Deep Learning Methods for Natural Language Processing   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Alex Smola (Amazon), [introductory/advanced] Dive into Deep Learning   Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning   Kunal Talwar (Google Brain), [intermediate] Differentially Private Machine Learning   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [introductory/intermediate] Conceptual Understanding and Machine 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 July 19, 2020.   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 July 19, 2020.   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 July 19, 2020.   ORGANIZING COMMITTEE:   Teresa Efigenia Alarcón Martínez (Guadalajara) Oscar Dalmau Cedeño (Guanajuato, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://deeplearn2020.irdta.eu/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:   Centro de Investigación en Matemáticas, A.C. (CIMAT-CONACyT) – Guanajuato   Centro Universitario de los Valles, Universidad de Guadalajara   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From no-reply at fedcsis.org Sun Feb 23 10:46:43 2020 From: no-reply at fedcsis.org (FedCSIS no-reply) Date: Sun, 23 Feb 2020 10:46:43 +0100 Subject: [fg-arc] FedCSIS 2020 - Initial Call for Papers Message-ID: INITIAL CALL FOR PAPERS 15th Conference on Computer Science and Information Systems (FedCSIS’2020) Sofia, Bulgaria, 6-9 September, 2020 www.fedcsis.org Strict submission deadline: May 15, 2020, 23:59:59 pm HST (no extensions) (FedCSIS IEEE conference number: #49059) Please feel free to forward this announcement to your colleagues and associates who could be interested in it. KEY FACTS: expected Proceedings: IEEE Digital Library; indexing: Web of Science (since 2012); 22 Technical Sessions in 5 Tracks; Doctoral Symposium; conference fee covers 4 lunches and 3 social events; Sofia – capital of Bulgaria, city history goes back to Roman times (with some, recently uncovered and made available to see, fascinating ruins of Serdika – which is how Sofia was known during Tracian and Roman times). FedCSIS is an annual international conference, this year organized jointly by the Polish Information Processing Society (PTI), IEEE Poland Section Computer Society Chapter and Bulgarian Academy of Sciences. The mission of the FedCSIS Conference Series is to provide a highly acclaimed forum in computer science and information systems. We invite researchers from around the world to contribute their research results and participate in Technical Sessions focused on their scientific and professional interests in computer science and information systems. As in the previous years, FedCSIS 2020 will host a data mining challenge. It will be organized on a, recently re-designed, Knowledge Pit platform: https://knowledgepit.ml?utm_source=emailcampaign98&utm_medium=phpList&utm_content=text&utm_campaign=FedCSIS+2020+-+Initial+Call+for+Papers The specific topic will be announced shortly, please check the competition site (or the conference portal). There will also be a special session devoted to this challenge at the FedCSIS 2020 conference. Since 2012, Proceedings of the FedCSIS conference are indexed in the Web of Science, SCOPUS and other indexing services. This already includes Proceedings of FedCSIS 2018 (we are awaiting the decision for the FedCSIS 2019). Information about FedCSIS indexing / bibliometry / rankings can be found at: https://www.fedcsis.org/2020/indexation?utm_source=emailcampaign98&utm_medium=phpList&utm_content=text&utm_campaign=FedCSIS+2020+-+Initial+Call+for+Papers FedCSIS TRACKS AND TECHNICAL SESSIONS The FedCSIS 2020 consists of five conference Tracks, hosting Technical Sessions: Track 1: Artificial Intelligence * Advanced Artificial Intelligence in Applications (15th Symposium AAIA'20) * Advances in Semantic Information Retrieval (9th International Workshop ASIR'20) * Formal Approaches to Vagueness in Relation to Mereology (1st Symposium FVRM'20) * Language Technologies and Applications (5th Workshop LTA'20) * Computational Optimization (13th Workshop WCO'20) Track 2: Computer Science & Systems * Advances in Computer Science & Systems (ACSS'20) * Actors, Agents, Assistants, Avatars (1st Workshop 4A'20) * Computer Aspects of Numerical Algorithms (13th Workshop CANA'20) * Multimedia Applications and Processing (13th Symposium MMAP'20) * Scalable Computing (11th Workshop WSC'20) Track 3: Network Systems and Applications * Advances in Network Systems and Applications (ANSA'20) * Internet of Things - Enablers, Challenges and Applications (4rd Workshop IoT-ECAW'20) * Cyber Security, Privacy and Trust (1st International Forum NEMESIS'20) Track 4: Information Systems and Technologies * Advances in Information Systems and Technologies (AIST'20) * Data Science in Health (DSH'19) (2nd Special Session DSH'20) * Information Systems Management (15th Conference ISM'20) * Knowledge Acquisition and Management (26th Conference KAM'20) Track 5: Software and System Engineering * Advances in Software and System Engineering (ASSE'20) * Cyber-Physical Systems (7th Workshop IWCPS’20) * Lean and Agile Software Development (4th International Conference LASD'20) * Model Driven Approaches in System Development (6th Workshop MDASD'20) * Software Engineering (40th IEEE Workshop SEW’20) Track 6: DS-RAIT'20 - 7th Doctoral Symposium on Recent Advances in Information Technology KEYNOTE SPEAKERS * Christian Blum, Artificial Intelligence Research Institute (IIIA-CSIC), Barcelona, Spain Keynote title: Are you a Hybrid? Yes, of course, everyone is a Hybrid nowadays! * George Boustras, European University Cyprus Keynote title: Critical Infrastructure Protection – on the interface of safety and security * Hans-Georg Fill, University of Fribourg, Switzerland Keynote title: From Digital Transformation to Digital Ubiquity: The Role of Enterprise Modeling PAPER SUBMISSION AND PUBLICATION + Papers should be submitted by May 15, 2020 (strict deadline, no extensions, submission system will be opened in the first week of March). + Preprints will be published on a USB memory stick and provided to the FedCSIS participants. + Only papers presented during the conference will be submitted to the IEEE for inclusion in the Xplore Digital Library. Furthermore, proceedings, published in a volume with ISBN, ISSN and DOI numbers, will posted within the conference Web portal. Moreover, most Technical Session organizers arrange quality journals, edited volumes, etc., and may invite selected extended and revised papers for post-conference publications (information can be found at the websites of individual events, or by contacting Chairs of said events). IMPORTANT DATES + Paper submission (strict deadline): May 15, 2020, 23:59:59 pm HST (there will be no extension) + Position paper submission: June 9, 2020 + Author notification: June 30, 2020 + Final paper submission and registration: July 15, 2020 + Conference date: September 6-9, 2020 CHAIRS OF FedCSIS CONFERENCE SERIES Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki CONTACT FedCSIS at: secretariat at fedcsis.org FedCSIS in Social Media: FedCSIS on Facebook: http://tinyurl.com/FedCSISFacebook?utm_source=emailcampaign98&utm_medium=phpList&utm_content=text&utm_campaign=FedCSIS+2020+-+Initial+Call+for+Papers FedCSIS on LinkedIN: https://tinyurl.com/FedCSISonLinkedIN?utm_source=emailcampaign98&utm_medium=phpList&utm_content=text&utm_campaign=FedCSIS+2020+-+Initial+Call+for+Papers FedCSIS on Twitter: https://twitter.com/FedCSIS?utm_source=emailcampaign98&utm_medium=phpList&utm_content=text&utm_campaign=FedCSIS+2020+-+Initial+Call+for+Papers FedCSIS on XING: http://preview.tinyurl.com/FedCSISonXING?utm_source=emailcampaign98&utm_medium=phpList&utm_content=text&utm_campaign=FedCSIS+2020+-+Initial+Call+for+Papers -- To unsubscribe from this list visit http://fedcsis.org/mailinglist?p=unsubscribe&uid=0b630eec50e3b93cc61027a0a0030d8c&utm_source=emailcampaign98&utm_medium=phpList&utm_content=text&utm_campaign=FedCSIS+2020+-+Initial+Call+for+Papers -- powered by phpList, www.phplist.com -- From lpandolfo at uniss.it Tue Feb 25 17:16:05 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 25 Feb 2020 17:16:05 +0100 Subject: [fg-arc] Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020) Message-ID: <7f242d0f-cc4b-3cd9-4226-f575dce020f9@uniss.it> *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2020 36th International Conference on Logic Programming September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it ICLP 2020, the 36th International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 18 to September 24, 2020. The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2020 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2020 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The estimated length of the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by April 13, 2020. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 27, 2020. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by May 25, 2020, and will be published on the ICLP 2020 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Providing a workshop program in a format specified by the conference organizers for posting by August 31, 2020. * Coordinating the preparation of the workshop proceedings according to the specifications provided by the Workshop Chair. Location: ========= Workshops will be collocated with ICLP 2020 at the University of Calabria, Rende, Italy. See the ICLP 2020 web site (https://iclp2020.unical.it/) for location details. Important Dates (Tentative): ============================ April 13, 2020:Proposal submission deadline April 27, 2020:Notification May 25, 2020:Deadline for receipt of CfP and workshop web page URL August 18, 2020: Deadline for acceptance notification of paper authors August 31, 2020: Deadline for workshop program Submissions: ============ Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair: =============== Martin Gebsermartin.gebser at aau.at -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Wed Feb 26 18:08:00 2020 From: lpulina at uniss.it (Luca Pulina) Date: Wed, 26 Feb 2020 18:08:00 +0100 Subject: [fg-arc] QBFEVAL'20 - Competitive Evaluation of QBF Solvers Message-ID: [apologies for any cross-posting] ******************************************************************************** QBFEVAL'20 - Competitive Evaluation of QBF Solvers A joint event with the 23rd Int. Conference on Theory and Applications of Satisfiability Testing (SAT) Alghero, Italy, July 5 - 9 2020 ******************************************************************************** QBFEVAL'20 is the 2020 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'20 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'20, please get in touch with the organizers via qbfeval at qbflib.org. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval20.php *Important Dates* Registration open: February 26, 2020 Registration deadline: April 19, 2020 Solvers and Benchmarks due: April 26, 2020 First stage results: May 3, 2020 Second stage solvers due: May 17, 2020 Competition Benchmarks available for download: July 1, 2020 Final results: presented at SAT'20 *Organization* Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz Ankit Shukla, Johannes Kepler Universitat Linz -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From irdta at irdta.eu Wed Feb 26 23:52:30 2020 From: irdta at irdta.eu (IRDTA) Date: Wed, 26 Feb 2020 23:52:30 +0100 Subject: [fg-arc] SLSP 2020: 1st call for papers Message-ID: <545102060a010b02025358020702525e03045156045255570b075b0807055a0401595304500a53015654045104035506@grlmc_ip-zone_com-6> SLSP 2020: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   8th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2020   Cardiff, United Kingdom   October 14-16, 2020   Co-organized by:   School of Computer Science and Informatics Cardiff University   Data Innovation Research Institute Cardiff University   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2020.irdta.eu   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2020, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   Previous events took place in Tarragona, Grenoble, Budapest, Pilsen, Le Mans, Mons, and Ljubljana.   VENUE:   SLSP 2020 will take place in Cardiff, the capital of Wales and its political, commercial and cultural centre. The venue will be:   Cardiff University Cardiff Wales CF10 3AT UK   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism, and spam filtering corpora and resources for speech and language data mining, term extraction, and semantic web dialogue systems and spoken language understanding information retrieval and information extraction knowledge representation and ontologies lexicons and dictionaries machine translation and computer-aided translation multimodal technologies natural language understanding and generation neural representation of speech and language opinion mining and sentiment analysis part-of-speech tagging, parsing, and semantic role labelling question-answering systems for speech and text speaker identification and verification speech recognition, transcription, and synthesis spelling correction text categorization and summarization user modeling   STRUCTURE:   SLSP 2020 will consist of:   invited lectures peer-reviewed contributions posters   KEYNOTE SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Chitta Baral (Arizona State University, US) Jean-François Bonastre (University of Avignon, FR) Fethi Bougares (University of Le Mans, FR) Nicoletta Calzolari (National Research Council, IT) Bill Campbell (Amazon, US) Kenneth W. Church (Baidu Research, US) Philipp Cimiano (Bielefeld University, DE) Nikos Fakotakis (University of Patras, GR) Marcello Federico (Amazon AI, US) Robert Gaizauskas (University of Sheffield, UK) Ondřej Glembek (Brno University of Technology, CZ) Ralph Grishman (New York University, US) Thomas Hain (University of Sheffield, UK) Gareth Jones (Dublin City University, IE) Martin Karafiát (Brno University of Technology, CZ) Philipp Koehn (Johns Hopkins University, US) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Seiichi Nakagawa (Chubu University, JP) Paolo Rosso (Technical University of Valencia, ES) Irena Spasić (Cardiff University, UK) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Tomoki Toda (Nagoya University, JP) Isabel Trancoso (Instituto Superior Técnico, PT) K. Vijay-Shanker (University of Delaware, US) Andy Way (Dublin City University, IE) Caiming Xiong (Salesforce, US) Steve Young (University of Cambridge, UK) Wlodek Zadrozny (University of North Carolina Charlotte, US) Guodong Zhou (Soochow University, CN)   ORGANIZING COMMITTEE:   Luis Espinosa-Anke (Cardiff) Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Irena Spasić (Cardiff, 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=slsp2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal 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:   http://slsp2020.irdta.eu/registration/   DEADLINES (all at 23:59 CET):   Paper submission: June 1, 2020 Notification of paper acceptance or rejection: July 6, 2020 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2020 Early registration: July 15, 2020 Late registration: September 30, 2020 Submission to the journal special issue: January 16, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   School of Computer Science and Informatics, Cardiff University / Prifysgol Caerdydd   Data Innovation Research Institute, Cardiff University / Prifysgol Caerdydd   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From shankar at csl.sri.com Thu Feb 27 01:00:00 2020 From: shankar at csl.sri.com (Natarajan Shankar) Date: Wed, 26 Feb 2020 16:00:00 -0800 Subject: [fg-arc] Tenth Summer School on Formal Techniques, May 16-22, 2020; First FMiTF Bootcamp, May 23-28, 2020, Atherton, California In-Reply-To: <0e5c7eb9-65d3-96fe-6ca9-4259841bf175@csl.sri.com> References: <5A9832E8.3020003@csl.sri.com> <0e5c7eb9-65d3-96fe-6ca9-4259841bf175@csl.sri.com> Message-ID: <9eb14ee9-e10b-ccf6-b2b1-9b290df216c4@csl.sri.com> Tenth Summer School on Formal Techniques , May 16 - May 22, 2020 (http://fm.csl.sri.com/SSFT20)                                                     and First Formal Methods in the Field (FMiTF) Bootcamp, May 23-28, 2020 (http://fm.csl.sri.com/SSFT20/FMiTF.html) Menlo College, Atherton, California Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. ============================================================= The lecturers at the school include: * Thomas Reps (University of Wisconsin)   Algebraic Program Analysis: Automating Abstract Interpretation * Pamela Zave (Princeton University)   Specification, Implementation, and Verification of Network Properties * J Strother Moore and Warren A. Hunt, Jr. (University of Texas)   Proving Properties of Algorithms, Hardware, and Software with ACL2 * Jose Meseguer (University of Illinois at Urbana-Champaign)   Executable Formal Specification and Verification in Maude The main lectures in the summer school start on Monday May 18 and  will be preceded by a background course on logic: * Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole Polytechnique)   Speaking Logic ============================================================= The summer school will be immediately followed by the First Formal Methods in the Field (FMiTF) Bootcamp May 23-28, 2020 Menlo College, Atherton, CA http://fm.csl.sri.com/SSFT20/FMiTF.html The first FMitF Bootcamp will cover two themes, "Building Verified JIT Compilers" and "Formally verifying low-level programs in F*". The exercises in the Bootcamp assume that the students have a working knowledge of formal techniques. The main focus of the Bootcamp is on applying this knowledge to some domain-specific challenge problems. Lecturers  *  Emina Torlak and Xi Wang (University of Washington)     Building Verified JIT Compilers  * Jonathan Protzenko and Nikhil Swamy (Microsoft Research)    Formally verifying low-level programs in F* ============================================================= The summer school also include several distinguished invited talks. Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 http://fm.csl.sri.com/SSFT15 http://fm.csl.sri.com/SSFT16 http://fm.csl.sri.com/SSFT17 http://fm.csl.sri.com/SSFT18 http://fm.csl.sri.com/SSFT19 Jay Bosamiya of CMU has blogged about the 2018 Summer School at    https://www.jaybosamiya.com/blog/2018/05/31/ssft/ ======================================================================= You are welcome to register for one or both of the summer school and the Bootcamp.  The target audience for both events is first/second/third year graduate students in computer science.  We expect to provide support for the travel and accommodation for (a limited number of) students registered at US universities.  We welcome applications from non-US students as well as non-students (who will be admitted only if space permits).  Non-US students will have to cover their own travel and will be charged around US$800 for the summer school and $700 for the Bootcamp covering meals and lodging.  Applications should be submitted at the website http://fm.csl.sri.com/SSFT20 Applicants are urged to submit their applications before April 30, 2020, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. We strongly encourage the participation of women and under-represented minorities in the summer school. From siddharth at cs.nyu.edu Thu Feb 27 13:51:19 2020 From: siddharth at cs.nyu.edu (Siddharth Krishna) Date: Thu, 27 Feb 2020 12:51:19 +0000 Subject: [fg-arc] VerifyThis @ ETAPS 2020: Call for Participation + Travel Grants Message-ID: ******************************************************************************** VerifyThis Verification Competition 2020 CALL FOR PARTICIPATION -- TRAVEL GRANTS Competition to be held at ETAPS 2020 http://verifythis.ethz.ch ******************************************************************************** IMPORTANT DATES Grant application deadline: March 11, 2020 Competition: April 25 and 26, 2020 ABOUT THE COMPETITION VerifyThis 2020 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2020) on 25 and 26 April 2020. It is the 9th event in the VerifyThis competition series. Information on previous events and participants can be found at http://verifythis.ethz.ch. The aims of the competition are: - to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, and - to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language and pseudo code. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness and elegance. PARTICIPATION Participation is open for anybody interested. Teams of up to two people are allowed. Registration for ETAPS workshops and physical presence on site is required. We particularly encourage participation of: - student teams (this includes PhD students) - non-developer teams using a tool someone else developed - several teams using the same tool To facilitate planning, please also send an email to verifythis at googlegroups.com stating your planned team composition and verification system(s) you plan to use. Informal inquiries are welcome at the same address. TRAVEL GRANTS The competition is trying to obtain funds for a limited number of travel grants. A grant covers the incurred travel and accommodation costs up to a certain limit. We will announce more details at http://verifythis.ethz.ch shortly. To apply for a travel grant, send an email to verifythis at googlegroups.com by March 11, 2020. The application should include: - your name - your affiliation - the verification system(s) you plan to use at the competition - the planned composition of your team (and whether you are developers of the tools you'll be using) - a short letter of motivation explaining your involvement with formal verification so far - if you are a student, please state the academic degree you are seeking and have your supervisor send a brief letter of support to verifythis at googlegroups.com ORGANIZERS * Siddharth Krishna, Microsoft Research Cambridge, UK * Wytse Oortwijn, ETH Zurich, Switzerland STEERING COMMITTEE * Marieke Huisman, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University, Ireland * Peter Müller, ETH Zurich, Switzerland * Mattias Ulbrich, Karlsruhe Institute of Technology, Germany CONTACT Email: verifythis at googlegroups.com Web: http://verifythis.ethz.ch -------------- next part -------------- An HTML attachment was scrubbed... URL: