From steffen.becker at informatik.uni-stuttgart.de Mon Nov 2 18:02:36 2020 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Mon, 2 Nov 2020 18:02:36 +0100 Subject: [fg-arc] Fwd: Bitte um Zusendung von GI-FG-Berichten In-Reply-To: <877BC2C4-3171-48F3-B1F1-2C15C888B7CC@kit.edu> References: <877BC2C4-3171-48F3-B1F1-2C15C888B7CC@kit.edu> Message-ID: <75cbbaa1-1fdd-b864-57ca-0de6caadb8e9@informatik.uni-stuttgart.de> Liebe FG Architekturmitglieder, es steht ein Fachgruppenbericht an. Da meine Annahme ist, dass durch Corona nicht viele Dinge stattgefanden haben, richte ich meinen Aufruf an alle, Berichtspunkte zu verfassen. Anderenfalls wird es vermutlich ein kurzer Bericht. Viele Grüße Steffen Becker -------- Weitergeleitete Nachricht -------- Betreff: Bitte um Zusendung von GI-FG-Berichten Datum: Mon, 2 Nov 2020 14:27:09 +0000 Von: Kienhöfer, Elena (IPD) An: Kienhöfer, Elena (IPD) Sehr geehrte Sprecher von Fachgruppen im Fachbereich Software-Technik der GI, im Auftrag von Herrn Prof. Reussner möchte ich Sie herzlich bitten, mir Ihre Fachgruppenberichte bis zum 30.11.2020 zukommen zu lassen. Wir erstellen dann darauf einen Fachbereichsbericht für die GI. Im Voraus vielen lieben Dank und herzliche Grüße Elena Kienhöfer --------- Karlsruhe Institute of Technology (KIT) IPD Reussner -- Software Design and Quality Dipl.-Ing. Elena Kienhoefer Assistant of Prof. Dr. Ralf Reussner Am Fasanengarten 5, Building 50.34, Room 325 D-76131 Karlsruhe, Germany Phone: +49 721 608-46962 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu/people/elena_kienhoefer/   KIT – The Research University in the Helmholtz Association Since 2010, the KIT has been certified as a family-friendly university. -------------------------------------------------------------------------- Bitte beachten Sie unsere Sprechzeiten für Studenten: Mo – Freitag von 11:00 bis 12:30 Uhr  -------------------------------------------------------------------------- From announce at cs.ucy.ac.cy Sun Nov 1 15:07:06 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 1 Nov 2020 16:07:06 +0200 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): First Joint Call for Doctoral Consortium, Posters & Demos, Research Projects and Tutorials Message-ID: *** First Joint Call for Doctoral Consortium, Posters & Demos, Research Projects and Tutorials *** 15th International Conference on Research Challenges in Information Science (RCIS 2021) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 12-14, 2021, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2F Submission deadline (except tutorials): February 9, 2021 (AoE) Submission deadline only for tutorials: March 19, 2021 (AoE) (Proceedings to be published by Springer) RCIS has become a recognized conference on research challenges in Information Science. Organized for the 15th time in a row, RCIS 2021 will be held from May 12-14, 2021, 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%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 (except tutorials): February 9, 2021 (AoE) · Submission deadline for tutorial proposals: March 19, 2021 (AoE) · Notification to authors and registration opening: March 12, 2021 · Notification for tutorial proposals: March 22, 2021 · Author registration deadline for all paper types: March 29, 2021 · Camera-ready copy deadline for all paper types: March 29, 2021 · Conference: May 12-14, 2021 DOCTORAL CONSORTIUM The RCIS 2021 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Drcis20201 where you can choose the "RCIS2021_Doctoral_Consortium" track. Doctoral Consortium Chairs · Xavier Franch, Universitat Politècnica de Catalunya, Spain · Renata Guizzardi, University of Twente, The Netherlands Doctoral Consortium Student Co-Chair · Blagovesta Kostova 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&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 2021. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2F where you can choose the "RCIS2021 Posters & Demos" track. More details on the submission and presentation format is online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2FcallPostersDemo.php . Posters & Demos Chairs · Dominik Bork, TU Wien, Austria · Giovanni Meroni, Politecnico di Milano, Italy RESEARCH PROJECTS @RCIS RCIS 2021 features a track entirely devoted to presenting future or ongoing research projects (e.g., H2020 or ERC projects, national grants) in the context of information science. This track features a good opportunity for presenters to get feedback before submitting research project or to disseminate the intermediate results of their projects, and for participants to get an updated view of innovative ongoing research while getting in touch with potential research partners. The Research Projects @RCIS Track follows a two-step publication process. Firstly, the authors should submit a 2 pages paper summarizing the objectives of the project and relevant results. Each submission will be peer reviewed on the relevance of the submitted paper in the context of RCIS. If the paper is accepted, the authors will have to register to the conference in order to present their work as a poster at the "Research Projects @ RCIS" session at RCIS. A discussant system will be organized to ensure proper feedback and discussions about the projects. Furthermore, the accepted 2 pages paper will be published in the conference proceedings to be published by Springer in the LNBIP series. Beyond the special topic for RCIS 2021, the conference welcomes Research Projects submissions from any domain of Information Science. More information about the special topic and the range of topics that RCIS traditionally addresses can be found in: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2FcallPapers.php . The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Drcis20201 where you can choose the "ResearchProjects at RCIS2021" track. More information about preparing and submitting contributions related to this track can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2FresearchProjects.php . Research Projects @RCIS Chairs · Denisse Muñante, Télécom SudParis, Institut Polytechnique de Paris, France · Anthony Simonofski, UNamur and KU Leuven, Belgium TUTORIALS Tutorials are intended to provide independent instruction (know-how) on a topic of relevance for the RCIS academic and practitioner community. However, we discourage commercial or sales-oriented tutorials. Potential presenters should keep in mind that there might be a varied audience, including novice graduate students, seasoned practitioners, and specialised researchers. Tutorial speakers should be prepared to cope with this diversity. The conference has specific slots for tutorials. They will be organised in sessions of 90 minutes with a free format. Tutorials run in parallel with other conference tracks, and participation in the tutorials 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. A 2-page summary of the tutorials that end up being accepted and delivered will be published in the conference proceedings, which will be published by Springer in the Lecture Notes in Business Information Processing series. Furthermore, a free registration for the conference will be offered to the main presenter (i.e. to one speaker), unless they are the only paying author of a paper presented at the conference. Beyond the special topic for RCIS 2021, the conference welcomes tutorial proposals from any domain of Information Science. More information about the special topic and the range of topics that RCIS traditionally addresses can be found in: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2FcallPapers.php . Tutorial proposals are limited to 5 pages in Springer LNCS/LNBIP format and should 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Drcis20201 where you can choose the "RCIS2021_Tutorials" track. More information about preparing and submitting contributions related to this track can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IEpvaW50IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0sIFBvc3RlcnMgJiBEZW1vcywgUmVzZWFyY2ggUHJvamVjdHMgYW5kIFR1dG9yaWFscwk0OTQJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2Ftutorials.php . Tutorial Chairs · Sergio España, Utrecht University, The Netherlands · TBA CONFERENCE COMMITTEES General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Samira Cherfi, CNAM, France · Anna Perini, FBK, Italy Proceedings Chair · Raihana Ferdous, FBK, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Nov 2 14:50:50 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 02 Nov 2020 14:50:50 +0100 Subject: [fg-arc] BigDat 2021 Spring: early registration November 14 Message-ID: <545102060a010b020556590a0e0b565e060257030a03520400065f570453540451545005525a0206525104530e540454@grlmc_ip-zone_com-6> BigDat 2021 Spring: early registration November 14*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************   7th INTERNATIONAL SCHOOL ON BIG DATA   BigDat 2021 Spring   Beersheba, Israel   April 18-22, 2021   Co-organized by:   Ben-Gurion University of the Negev Department of Software and Information Systems Engineering Data Science Research Center   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://irdta.eu/bigdat2021s/   **********************************************   --- Early registration deadline: November 14, 2020 ---   ***********************************************   SCOPE:   BigDat 2021 Spring will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.   Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 24 four-hour and a half courses and 2 keynote lectures, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2021 Spring is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   BigDat 2021 Spring will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be:   Ben-Gurion University of the Negev Marcus Family Campus   https://in.bgu.ac.il/en/Pages/interactive.aspx   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS:   Maria Girone (European Organization for Nuclear Research), Big Data Challenges at the CERN HL-LHC   Lisa Schurer Lambert (Oklahoma State University), Research Methods as a Lens: How We Know What We Know   PROFESSORS AND COURSES:   Thomas Bäck & Hao Wang (Leiden University), [introductory/intermediate] Data Driven Modeling and Optimization for Industrial Applications   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Gianluca Bontempi (Université Libre de Bruxelles), [intermediate/advanced] Machine Learning against Credit-card Fraud: Lessons Learned from a Real Case   Altan Cakir (Istanbul Technical University), [intermediate] Big Data Analytics with Apache Spark   Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity   Ramez Elmasri (University of Texas, Arlington), [intermediate] Spatial, Temporal, and Spatio-Temporal Data   Ian Fisk (Flatiron Institute), [introductory] The Infrastructure to Support Data Science   Michael Freeman (University of Washington), [intermediate] Interactive Data Visualization Using D3 + Observable   David Gerbing (Portland State University), [introductory] Derive Meaning from Data with R Visualizations   Christopher Hogue (Ericsson Inc.), [introductory/intermediate] Applied Information Theory for Scalable Database Schema and Query Templates   Ravi Kumar (Google), [intermediate/advanced] Clustering for Big Data   Victor O.K. Li (University of Hong Kong), [intermediate] Deep Learning and Applications   B.S. Manjunath (University of California, Santa Barbara), [introductory] Digital Media Forensics   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   José M.F. Moura (Carnegie Mellon University), [introductory] Graph Signal Processing   Panos Pardalos (University of Florida), [intermediate/advanced] Optimization and Data Sciences Techniques for Large Networks   Valeriu Predoi (University of Reading), [introductory] A Beginner's Guide to Big Data Analysis: How to Connect Scientific Software Development with Real World Problem   Karsten Reuter (Max Planck Society), [introductory/intermediate] Machine Learning for Materials and Energy Applications   Ramesh Sharda (Oklahoma State University), [introductory/intermediate] Network-based Health Analytics   Steven Skiena (Stony Brook University), [introductory/intermediate] Word and Graph Embeddings for Machine Learning   Alexandre Vaniachine (VirtualHealth), [intermediate] Open-source Columnar Databases   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Supervised Descriptive Pattern Mining   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Language Models and Applications   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by April 10, 2021.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by April 10, 2021.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by April 10, 2021.   ORGANIZING COMMITTEE:   Stavi Baram (Beersheba) Mark Last (Beersheba) Carlos Martín-Vide (Tarragona, program chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Lior Rokach (Beersheba, co-chair) Bracha Shapira (Beersheba, co-chair) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/bigdat2021s/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Ben-Gurion University of the Negev   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Mon Nov 2 16:32:10 2020 From: fm-announcements at lists.nasa.gov (Munoz, Cesar (LARC-D320) via fm-announcements) Date: Mon, 2 Nov 2020 15:32:10 +0000 Subject: [fg-arc] [fm-announcements] NASA Formal Methods Symposium - 2nd CFP Message-ID: ************************************************** 2nd Call for Papers The Thirteenth NASA Formal Methods Symposium https://shemesh.larc.nasa.gov/nfm2021/ 24-28 May 2021 Norfolk, VA, USA ************************************************** The symposium will be held in an in-person/virtual hybrid format in Norfolk, VA, USA, possibly transitioning to fully virtual depending on the COVID-19 situation. Virtual presentation of papers is possible even if the conference is held in-person. Important Dates: ---------------- Abstract Submission: 27 November 2020 Paper Submission: 4 December 2020 Paper Notifications: 19 February 2021 Camera-ready Papers: 19 March 2021 Symposium: 24-28 May 2021 Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, comprised of researchers spanning six NASA centers. NFM2021 is being organized by the NASA Langley Formal Methods Team. Topics of Interest: ------------------- We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others. Topics of interest include, but are not limited to, the following aspects of formal methods: - Advances in formal methods: - Formal verification, model checking, and static analysis techniques - Theorem proving: advances in interactive and automated theorem proving (SAT, SMT, etc.) - Program and specification synthesis, code transformation and generation - Run-time verification - Techniques and algorithms for scaling formal methods - Test case generation - Design for verification and correct-by-design techniques - Requirements generation, specification, and validation - Integration of formal methods techniques: - Use of machine learning techniques in formal methods - Integration of formal methods into software engineering practices  - Integration of diverse formal methods techniques - Combination of formal methods with simulation and analysis techniques - Formal methods in practice: - Experience report of application of formal methods in industry - Use of formal methods in education - Verification of machine learning techniques - Applications of formal methods in the development of: - autonomous systems, - safety-critical systems, - concurrent and distributed systems, - cyber-physical, embedded, and hybrid systems - fault-detection, diagnostics, and prognostics systems - human-machine interaction analysis Submission Details: ------------------- There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages); 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages). The submitted papers should not exceed 15 pages for regular papers and 6 pages for short papers, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained, as appendices will not be included in the published proceedings. In addition to appendices, authors are encouraged to make available any other supplementary material supporting the claims made in the paper, such as proof scripts or experimental data, as the availability and reproducibility of these artifacts may be considered by reviewers in scoring. All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be reviewed by at least three members of the Program Committee in a single-blind reviewing format. Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2021. Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (https://www.springer.com/journal/11334). Organizers: ----------- • Cesar Munoz, NASA, USA (General Co-Chair) • Ivan Perez, National Institute of Aerospace, USA (General Co-Chair) • Aaron Dutle, NASA, USA (PC Co-Chair) • Mariano Moscato, National Institute of Aerospace, USA (PC Co-Chair) • Laura Titolo, National Institute of Aerospace, USA (PC Co-Chair) Program Committee: ------------------ Erika Abraham, RWTH Aachen University, Germany Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Julia Badger, NASA, USA Nikolaj Bjorner, Microsoft Research, USA Jasmin Blanchette, Vrije Universiteit Amsterdam, The Netherlands Sylvie Boldo, INRIA, France Alessandro Cimatti, Fondazione Bruno Kessler, Italy Misty Davies, NASA, USA Gilles Dowek, INRIA / ENS Paris-Saclay, France Catherine Dubois, ENSIIE-Samovar, France Alexandre Duret-Lutz, LRDE/EPITA, France Gabriel Ebner, Vienna University of Technology, Austria Marco Feliu, National Institute of Aerospace, USA Jean-Christophe Filliatre, CNRS, France Pierre-Loic Garoche, ENAC, France Alwyn Goodloe, NASA, USA John Harrison, Amazon Web Services, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Marieke Huisman, University of Twente, The Netherlands Brian Jalaian, ARL / Virginia Tech, USA Susmit Jha, SRI International, USA Michael Lowry, NASA, USA Panagiotis Manolios, Northeastern University, USA Paolo Masci, National Institute of Aerospace, USA Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA Stefan Mitsch, Carnegie Mellon University, USA Yannick Moy, AdaCore / INRIA, France Natasha Neogi, NASA, USA Laura Panizo, University of Malaga, Spain Corina Pasareanu, CMU / NASA Ames Research Center, USA Zvonimir Rakamaric, University of Utah, USA Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Nicolas Rosner, Amazon Web Services, USA Kristin-Yvonne Rozier, Iowa State University, USA Cristina Seceleanu, Malardalen University, Sweden Natarajan Shankar, SRI International, USA Johann Schumann, SGT Inc./NASA Ames Research Center, USA Tanner Slagel, NASA, USA Marielle Stoelinga, University of Twente, The Netherlands Cesare Tinelli, University of Iowa, USA Caterina Urban, INRIA, France Virginie Wiels, ONERA / DTIM, France Registration: ------------- Registration is required and free of charge. Contact: -------- Email: nfm2021 [at] easychair [dot] org Web: https://shemesh.larc.nasa.gov/nfm2021/ -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7429 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From sauer at uni-paderborn.de Fri Nov 6 17:58:00 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 6 Nov 2020 17:58:00 +0100 Subject: [fg-arc] Register Now for Online HCSE 2020 Nov 30 - Dec 02 In-Reply-To: <7b0e3b5e-df00-3d9e-52be-2abe8b6bfe52@uni-paderborn.de> References: <7b0e3b5e-df00-3d9e-52be-2abe8b6bfe52@uni-paderborn.de> Message-ID: <787b980a-661f-ea2f-09e1-061217149c5a@uni-paderborn.de> Registration for HCSE 2020 is now open! Please visit the registration page at https://www.sicp.de/en/event/hcse2020/registration and *register until November 20*, 2020. Participation in HCSE 2020 will be *free of charge*. Upon registration, you will receive an automatically generated confirmation e-mail. Access information to the online meeting will be provided to registered participants in a separate e-mail. For more details, see the Call for Participation below. > In the course of the latest developments of the COVID pandemic, the organizers > of *HCSE 2020* have decided to hold the conference *completely virtual*. > > Full program available at http://www.hcse-conference.org. Participation is > free of charge. Registration will be open soon. > > -------------------------------------------------------------------------------- > > > *HCSE 2020* > > Call for Participation > > 8th International Working Conference on Human-Centered Software Engineering > > November  30th – December 2nd, 2020 (ONLINE ONLY!) > >        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 practitionersinterested 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. > > In order to allow for participation from anywhere in the world, HCSE 2020 > sessions will run from *13:00 h to 17:00 h CET (UTC+1*) only. HCSE 2020 will > be held ONLINE as a *ZOOM meeting*. Access information will be provided to > registered participants. > > HCSE 2020 presents *3 technical full papers and late breaking results > sessions* and a *demonstrations and posters session*. Each session has a > duration of 90 minutes. Technical sessions are dedicated to the following themes: > > * *User-Centred Design Approaches* > * **Model-Based and Model-Driven Approaches** > * ***Software Development Strategies*** > > All sessions will contain significant time for discussions and be chaired by a > a session moderator. Please see the conference program > for full details. The > technical program will be accompanied by a *virtual social program* to meet > and further discuss with the community. The selected papers have been > peer-reviewed and will appear in the proceedings published by  Springer in the > LNCSseries. > > Participation in HCSE 2020 will be *free of charge*. However, *registration > *is mandatory to participate and obtain the access information. Registration > will be open soon. > > We hope to meet you online for HCSE 2020. Stay safe and healthy! > > > Regina Bernhaupt, Eindhoven University of Technology, The Netherlands > Carmelo Ardito, Politecnico di Bari, Italy > Stefan Sauer, Paderborn University, Germany > > General Conference Chairs > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5315 bytes Desc: S/MIME Cryptographic Signature URL: From helma.torkamaan at uni-due.de Thu Nov 5 14:19:08 2020 From: helma.torkamaan at uni-due.de (Helma Torkamaan) Date: Thu, 5 Nov 2020 14:19:08 +0100 Subject: [fg-arc] CFP: i-Com Special Issue on Affective Computing and Interaction Message-ID: <9217e536-dc6e-c5fd-b1d8-4216a07800dd@uni-due.de> CALL FOR PAPERS | i-com – Journal of Interactive Media | Special Issue on Affective Computing and Interaction ----------------------------------------------------------------- CALL FOR PAPERS: i-com – Journal of Interactive Media https://dl.gi.de/handle/20.500.12116/105 https://www.degruyter.com/view/j/icom *Special Issue on Affective Computing and Interaction * *** Submission Deadline: Dec 30, 2020 ** * ----------------------------------------------------------------- Motivation and Scope ----------------------------------------------------------------- Affective computing as a paradigm for human-technology interaction brings together affective technologies to improve not only the quality of systems and user experience but also the lives of individuals, their well-being, and health. To this end, analysis of human behaviors and affective states have received considerable attention in recent years. Affective computing, affect-aware interaction, and affective design, have been researched and applied in various domains and application scenarios, such as healthcare, entertainment, automotive industry, etc. They look into understanding affect, processing it, and building affect-aware interaction with users, as well as conveying affective reactions, e.g., in virtual or physical agents. They also look beyond an individual level and investigate groups and mass behavior, for example, by identifying the sentiment of crowds and tracking them. Other researched application domains include, but are not limited to: identifying genre/type of contents, such as music, movie, image; influencing users and behavioral intervention; affect-aware personalization, mental health, and health promotion, for example, solutions for detection, monitoring, and prediction of stress or depression; communicating affect; reactive design; positive computing; behavior monitoring; methods and techniques of psychological tracking; investigating and building systems for business and management, task performance, decision-making, human resources, supply change advertisement, etc. In this special issue, we solicit works that contribute ideas, methods, and case studies and address novel affective computing, affect-aware interaction, and affective design solutions. Accepted articles will be published in the Journal of Interactive Media (i-com), sponsored by the HCI Special Interest Group of the German Association for Informatics. The journal is indexed by Scopus, among others. ----------------------------------------------------------------- GUEST EDITORS ----------------------------------------------------------------- *Björn W. Schuller, University of Augsburg / Imperial College London, UK *Helma Torkamaan, University of Duisburg-Essen ----------------------------------------------------------------- TOPICS ----------------------------------------------------------------- Topics include, but are not limited to: *Affect, mood, and emotion in Human-computer interaction *Affective interaction and design *Affective, adaptive, or reactive interfaces, design for affective loop *Application of affective computing and interaction in health, industry, education, entertainment, etc. *Affective computing and interaction for successful human-AI interaction *Psychological and behavioral perspectives *Evaluation of affective interactions *Affect recognition, sensing, and analysis in human interactions, verbal and nonverbal, e.g., gesture, expressions, speech, as well text *Affect presentation in design, interfaces, and virtual characters *Group affect, social media, human-centered affect perception, tracking, and prediction in social networks *Social agents and robots *Methods, algorithms, and techniques *Emotion and mood tracking, pervasive computing *Overview and surveys ----------------------------------------------------------------- TIMELINE ----------------------------------------------------------------- *30.12.2020 Submission Deadline *20.01.2021 Review results *10.02.2021 Revisions due *15.02.2021 Final Decision ----------------------------------------------------------------- SUBMISSION AND REVIEW PROCESS ----------------------------------------------------------------- All submissions will undergo a double-blind peer review process. Hereby, each manuscript will be reviewed by three independent expert reviewers. Possible outcomes of the first round of reviews are: accept, revision, or reject. Authors of submissions that require revision will have about three weeks to implement the required changes. Anonymized manuscripts need to be submitted via ScholarOne. The anticipated length of papers for this special issue is about 7.000 - 10.000 words. The length of the manuscript should be proportional to its contribution. Templates for preparing submissions can be accessed below. Link to Submission System: https://mc.manuscriptcentral.com/icom Link to Templates: https://www.degruyter.com/page/59 ----------------------------------------------------------------- -- Helma Torkamaan Researcher University of Duisburg-Essen Interactive Systems Group Room LF 288, Forsthausweg 2, 47057 Duisburg, GERMANY helma.torkamaan at uni-due.de / +49 203 379-2276 -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.w.laarman at liacs.leidenuniv.nl Fri Nov 6 13:04:54 2020 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W.) Date: Fri, 6 Nov 2020 12:04:54 +0000 Subject: [fg-arc] Call for Papers - SPIN 2021 Message-ID: ******************************************************************************* Call for Papers SPIN 2021 International Symposium on Model Checking of Software July 14-15, 2021 Aarhus, Denmark Conference website: https://conf.researchr.org/home/spin-2021 Submission link: https://easychair.org/conferences/?conf=spin20210 The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms (classical and quantum), tool development, including for modern hardware (parallel and distributed), and empirical evaluation. Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods of education and training * Insightful surveys or historical accounts on topics of relevance to the symposium * Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, FPGA, cloud, and quantum Important Dates Submission: March 1, 2021 Notification: May 14, 2021 Camera-ready: June 1, 2021 Conference: July 14-15, 2021 Submission Guidelines The proceedings of SPIN 2020 will be published in Springer's Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format: LNCS Information for Authors With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers: * Full Research / Tool Papers describing fully developed work and complete results (16 pages - references are not included in this limit); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages - references are not included in this limit). * Tool Demo Papers presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (4 pages to describe the tool foundations, features and use examples, plus an appendix explaining the content of the demo). Papers should be submitted via the EasyChair SPIN 2021 submission website: https://easychair.org/conferences/?conf=spin20210 All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. At least one author of each accepted paper must attend the symposium and present the paper. STTT A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). Program Committee Members Jiří Barnat, Masaryk University Maurice H. ter Beek, ISTI-CNR Tom van Dijk, University of Twente Vedran Dunjko, Leiden University Stefan Edelkamp, University of Koblenz Grigory Fedyukovich, Florida State University Henri Hansen, Tampere University of Technology Arnd Hartmanns, University of Twente Gerard Holzmann, Nimble research Antti Hyvärinen, Università della Svizzera italiana Nils Jansen, Radboud University Nijmegen Peter Gjøl Jensen, Aalborg University Sung-Shik Jongmans, Open University NL, CWI Jeroen Keiren, Eindhoven University of Technology Igor Konnov, Informal Systems Inc Alberto Lluch Lafuente, Technical University of Denmark Kuldeep S. Meel, National University of Singapore Alice Miller, University of Glasgow Sergio Mover, École Polytechnique Rajagopal Nagarajan, Middlesex University Doron Peled, Bar Ilan University Tatjana Petrov, University of Konstanz Jaco van de Pol, Aarhus University Stephen F. Siegel, University of Delaware Carsten Sinz, Karlsruhe Institute of Technology Jiri Srba, Aalborg University Michael Tautschnig, Amazon Web Services Yann Thierry-Mieg, Sorbonne University - LIP6 Yakir Vizel, Technion Georg Weissenbacher, Vienna University of Technology Anton Wijs, Eindhoven University of Technology Organizing committee Alfons Laarman, Leiden University Ana Sokolova, University of Salzburg Venue Established in 1928, Aarhus University has since developed into a major Danish university with a strong international reputation with approximately 38,000 students and 8,000 members of staff. Located in beautiful nature and wildlife areas, Aarhus is the second largest city of Denmark, with a rich trade and ancient Viking history. Contact All questions about submissions should be emailed to a.w.laarman at liacs.leidenuniv.nl. -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Nov 9 13:41:05 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 09 Nov 2020 13:41:05 +0100 Subject: [fg-arc] AlCoB 2020 & 2021: 2nd call for papers Message-ID: <545102060a010b02055754000104595e065e545256010f54040208500e005b0753555103075b09560057025155570406@grlmc_ip-zone_com-6> AlCoB 2020 & 2021: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   7th-8th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020 & 2021   Missoula, Montana, USA   June 7-11, 2021   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/alcob2020-2021/   **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   AlCoB 2020 & 2021 will merge the scheduled program for AlCoB 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 & 2021 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 & 2021 will consist of:   invited lectures peer-reviewed contributions posters   KEYNOTE SPEAKERS:   Terry Gaasterland (University of California, San Diego), Genetic Risk of Disease through Genome Variation and Regulation of Transcription   Christine Orengo (University College London), Algorithms for Mining Massive Metagenome Repositories to Detect Novel Enzymes   Tamar Schlick (New York University), Folding Genes at Nucleosome Resolution   PROGRAM COMMITTEE:   Ludmil Alexandrov (University of California, San Diego, US) Can Alkan (Bilkent University, TR) Mani Arumugam (University of Copenhagen, DK) Bonnie Berger (Massachusetts Institute of Technology, US) Sanchita Bhattacharya (University of California, San Francisco, US) Chao Cheng (Baylor College of Medicine, US) Keith Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Ian Dunham (European Bioinformatics Institute, UK) Anton Enright (University of Cambridge, UK) Joe Felsenstein (University of Washington, US) Pedro G. Ferreira (University of Porto, PT) Martin Frith (University of Tokyo, JP) Debashis Ghosh (University of Colorado, US) Michael Gribskov (Purdue University, US) Michael Hawrylycz (Allen Institute for Brain Science, US) Daniel Huson (University of Tübingen, DE) Kazutaka Katoh (Osaka University, JP) Miriam Konkel (Clemson University, US) Maria-Jesus Martin (European Bioinformatics Institute, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester, US) Aaron McKenna (Dartmouth College, US) Ryan E. Mills (University of Michigan, US) Burkhard Morgenstern (University of Göttingen, DE) Zemin Ning (Wellcome Sanger Institute, UK) Joel S. Parker (University of North Carolina, Chapel Hill, US) Kay Prüfer (Max Planck Institute for Evolutionary Anthropology, DE) Knut Reinert (Free University of Berlin, DE) Walter L. Ruzzo (University of Washington, US) Russell Schwartz (Carnegie Mellon University, US) Gordon Smyth (Walter and Eliza Hall Institute of Medical Research, AU) Peter F. Stadler (Leipzig University, DE) Alfonso Valencia (Barcelona Supercomputing Center, ES) Fabio Vandin (University of Padua, IT) Kai Wang (Children's Hospital of Philadelphia, US) Matthew T. Weirauch (Cincinnati Children's Hospital, US) Travis Wheeler (University of Montana, US) Zohar Yakhini (Interdisciplinary Center, Herzliya, IL) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Upload submissions to:   https://easychair.org/conferences/?conf=alcob20202021   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019 JCR impact factor: 2.85) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://irdta.eu/alcob2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: January 18, 2021 Notification of paper acceptance or rejection: February 15, 2021 Final version of the paper for the LNCS/LNBI proceedings: March 1st, 2021 Early registration: March 1st, 2021 Late registration: May 24, 2021 Submission to the journal special issue: September 11, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From matcastellan at cs.stonybrook.edu Mon Nov 9 22:52:00 2020 From: matcastellan at cs.stonybrook.edu (Matthew Castellana) Date: Mon, 9 Nov 2020 16:52:00 -0500 Subject: [fg-arc] LPOP 2020 Call for Participation Message-ID: <09394c3c-9da7-76d4-4acc-b75ae2000e78@cs.stonybrook.edu> We extend a call for participation to the Logic and Practice of Programming (LPOP) 2020 Workshop: https://2020.splashcon.org/home/lpop-2020?plenary=Hide%20plenary%20sessions#event-overview The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve logic languages for the practice of programming and improve the practice of programming with logic and declarative programming. We will have invited talks by four wonderful people: Adnan Darwiche (UCLA), Leslie Lamport (Microsoft Research), Stuart Russell (UC Berkeley), and Peter Stuckey (U of Melbourne). There will be additional presentations and discussion panels on using well-known description methods and tools. We have grouped presentations of description methods by the kind of problems that they address, and to allow ample time to understand the strengths of the various approaches and how they might be combined. If you are interested in attending, please visit https://2020.splashcon.org/home/lpop-2020 to register. The full program for the workshop can be found under the "Program" tab on the main page. From wortmann at se-rwth.de Fri Nov 13 10:43:53 2020 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Fri, 13 Nov 2020 10:43:53 +0100 Subject: [fg-arc] Software Engineering 2021 Workshops - Joint Call for Workshop Papers Message-ID: -------------------------------------------------------------------------------------------- Joint Call for Workshop Papers SE21 - Software Engineering 2021 22.-26. Februar 2021 | Braunschweig | https://se-2021.tu-bs.de/ -------------------------------------------------------------------------------------------- Die Tagung Software Engineering (SE) der Gesellschaft für Informatik (GI) findet vom 22.-26. Februar 2021 statt. Die Organisation liegt beim Institut für Softwaretechnik und Fahrzeuginformatik der TU Braunschweig. Die jährlich stattfindende Tagung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler und Softwareentwicklerinnen aus der Praxis als auch an Forscherinnen und Forscher aus dem akademischen Umfeld. Um die SE21 auch in Zeiten von Covid-19 sicher abhalten zu können, setzen wir auf eine komplett virtuelle Lösung. Wir haben uns passende und spannende Konzepte überlegt, um das „SE-Feeling“ möglichst auch virtuell zu transportieren. Eines unserer Ziele hierbei ist eine erhöhte Reichweite der Konferenz und ihrer Beiträge durch kostenlose Teilnahme (nicht für Autoren). Vorträge und Demos werden live oder als Videos präsentiert und bieten Platz für anschließende Diskussion. Einiges bleibt aber wie gewohnt. Die SE21 bietet eine Plattform für die besten Paper der SE Community aus 2019 sowie Workshops und Tools&Demos. Es wird weiterhin einen Konferenzband geben und Workshop Beiträge werden bei CEUR-WS veröffentlicht. Wir freuen uns über Einreichungen für die folgenden Workshops: +++ Anforderungsmanagement in Enterprise Systems-Projekten (AESP’21) https://www.sis-consulting.com/anforderungsmanagement-in-enterprise-systems-projekten-2021/ Viele Enterprise Systems-Auswahl-, Einführungs- und Weiterentwicklungsprojekte scheitern aufgrund fehlender, falscher, mangelhafter bzw. lückenhafter Anforderungen. Dies darum, weil es in diesen Projekten häufig falsche Erwartungshaltungen, Definitions- und Meinungsverschiedenheiten zum Anforderungsmanagement zwischen Kunden, Beratern, Herstellern und Implementierungspartner gibt. Diese Herausforderungen sollen bei diesem 2. Workshop aufgezeigt, besprochen und diskutiert werden. +++ Automotive Software Engineering (ASE‘21) https://ase-workshop.github.io/2021/ Wie seine Vorgänger setzt sich der 18. Workshop Automotive Software Engineering mit der Problematik der Softwareentwicklung im Automobilbereich und folglich mit dafür geeigneten Methoden, Techniken und Werkzeugen auseinander. Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den Herausforderungen des vollautomatisierten Fahrens spielt die Automobilsoftware heutzutage mehr denn je eine wichtige Rolle. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind erwünscht. +++ Avionics Systems and Software Engineering (AvioSE’21) https://aviose-workshop.github.io/ Die Luftfahrt ist getrieben von Fehlertoleranz, Systemkomplexität, neuen Anwendungen, Zulassungsaufwand und Kostendruck. Gebraucht werden neue Entwicklungsmethoden für zukünftige Anwendungen, wie Personal-Air-Transport, Crew-Workload-Reduction und kommerzielle UAVs. Gleichzeitig gibt es bestehende Herausforderungen bei der Kommunikation, Navigation, Multi-Core-Prozessoren, künstlicher Intelligenz und Security. Der AvioSE-Workshop dient dem Austausch über neue System- und Softwareentwicklungsmethoden und Werkzeuge für den Bereich Avionik zwischen Wissenschaft und Industrie. +++ Software Engineering in Cyber-Physical Production Systems (SECPPS) https://rickrabiser.github.io/secpps-ws/ Software spielt eine immer wichtigere Rolle beim effizienten Betrieb von industriellen Produktionssystemen. Aktuelle Entwicklungen im Software Engineering sollten auch in der Automatisierung von Produktionssystemen Einzug halten. Vor allem die Beherrschung von Variabilität und Komplexität in Cyber-physikalischen Produktionssystemen verlangt nach neuen Methoden und Werkzeugen. Diese sollen im Rahmen des Workshops Software Engineering in Cyber-Physical Production Systems (SECPPS) diskutiert werden. +++ Software Engineering for E-Learning-Systems (SEELS) https://www.s3.uni-duisburg-essen.de/pub/seels/ Der Workshop „Software Engineering for E-Learning-Systems“ (SEELS) widmet sich softwaretechnischen Fragestellungen rund um die Entwicklung von E-Learning-Systemen und die Realisierung von vernetzten E-Learning-Landschaften an Schulen und Hochschulen. Ziel des Workshops ist es, aktuelle Forschungsfragen z.B. zu Schnittstellen von E-Learning-Systemen, Sicherheit in heterogenen E-Learning-Landschaften und das Management fachspezifischer Anforderungen in universellen E-Learning-Systemen zu identifizieren und zu diskutieren. ---------------------------------------- Wichtige Daten ---------------------------------------- 13.12.2020: Einreichungsfrist für Workshop-Beiträge 10.01.2021: Benachrichtigung für Workshop-Beiträge 31.01.2021: Einreichung der finalen Workshop-Beiträge -- ----------------------------------------------------------------------------------------------------------------- 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 From wortmann at se-rwth.de Fri Nov 13 11:03:57 2020 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Fri, 13 Nov 2020 11:03:57 +0100 Subject: [fg-arc] Software Engineering 2021 Workshops - Joint Call for Workshop Papers Message-ID: -------------------------------------------------------------------------------------------- Joint Call for Workshop Papers SE21 - Software Engineering 2021 22.-26. Februar 2021 | Braunschweig | https://se-2021.tu-bs.de/ -------------------------------------------------------------------------------------------- Die Tagung Software Engineering (SE) der Gesellschaft für Informatik (GI) findet vom 22.-26. Februar 2021 statt. Die Organisation liegt beim Institut für Softwaretechnik und Fahrzeuginformatik der TU Braunschweig. Die jährlich stattfindende Tagung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler und Softwareentwicklerinnen aus der Praxis als auch an Forscherinnen und Forscher aus dem akademischen Umfeld. Um die SE21 auch in Zeiten von Covid-19 sicher abhalten zu können, setzen wir auf eine komplett virtuelle Lösung. Wir haben uns passende und spannende Konzepte überlegt, um das „SE-Feeling“ möglichst auch virtuell zu transportieren. Eines unserer Ziele hierbei ist eine erhöhte Reichweite der Konferenz und ihrer Beiträge durch kostenlose Teilnahme (nicht für Autoren). Vorträge und Demos werden live oder als Videos präsentiert und bieten Platz für anschließende Diskussion. Einiges bleibt aber wie gewohnt. Die SE21 bietet eine Plattform für die besten Paper der SE Community aus 2019 sowie Workshops und Tools&Demos. Es wird weiterhin einen Konferenzband geben und Workshop Beiträge werden bei CEUR-WS veröffentlicht. Wir freuen uns über Einreichungen für die folgenden Workshops: +++ Anforderungsmanagement in Enterprise Systems-Projekten (AESP’21) https://www.sis-consulting.com/anforderungsmanagement-in-enterprise-systems-projekten-2021/ Viele Enterprise Systems-Auswahl-, Einführungs- und Weiterentwicklungsprojekte scheitern aufgrund fehlender, falscher, mangelhafter bzw. lückenhafter Anforderungen. Dies darum, weil es in diesen Projekten häufig falsche Erwartungshaltungen, Definitions- und Meinungsverschiedenheiten zum Anforderungsmanagement zwischen Kunden, Beratern, Herstellern und Implementierungspartner gibt. Diese Herausforderungen sollen bei diesem 2. Workshop aufgezeigt, besprochen und diskutiert werden. +++ Automotive Software Engineering (ASE‘21) https://ase-workshop.github.io/2021/ Wie seine Vorgänger setzt sich der 18. Workshop Automotive Software Engineering mit der Problematik der Softwareentwicklung im Automobilbereich und folglich mit dafür geeigneten Methoden, Techniken und Werkzeugen auseinander. Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den Herausforderungen des vollautomatisierten Fahrens spielt die Automobilsoftware heutzutage mehr denn je eine wichtige Rolle. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind erwünscht. +++ Avionics Systems and Software Engineering (AvioSE’21) https://aviose-workshop.github.io/ Die Luftfahrt ist getrieben von Fehlertoleranz, Systemkomplexität, neuen Anwendungen, Zulassungsaufwand und Kostendruck. Gebraucht werden neue Entwicklungsmethoden für zukünftige Anwendungen, wie Personal-Air-Transport, Crew-Workload-Reduction und kommerzielle UAVs. Gleichzeitig gibt es bestehende Herausforderungen bei der Kommunikation, Navigation, Multi-Core-Prozessoren, künstlicher Intelligenz und Security. Der AvioSE-Workshop dient dem Austausch über neue System- und Softwareentwicklungsmethoden und Werkzeuge für den Bereich Avionik zwischen Wissenschaft und Industrie. +++ Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS) https://rgse.uni-koblenz.de/emls/2021/ Die Digitalisierung sozialer, politischer, wissenschaftlicher und ökonomischer Prozesse führt zu gesellschaftlichen Transformationen und verändert die Umgebung, die Nutzung und die Entwicklung von Softwaresystemen. Systeme sollen den wandelnden Bedürfnissen folgen aber dennoch den Qualitätsansprüchen der Nutzer genügen. Die Dynamik und der Umfang von Digitalisierungsvorhaben erfordert daher im steigenden Maße Software, die während ihrer Laufzeit ihren Betrieb sicherstellt. Gleichzeitig aber sollen maschinengestützte Entscheidungsprozesse für den Menschen nachvollziehbar und transparent abgewickelt werden. Die EMLS-Workshopreihe setzt sich daher in den letzten Jahren mit den Herausforderungen beim Übergang zwischen den verschiedenen Software-Entwicklungsphasen auseinander. +++ Software Engineering in Cyber-Physical Production Systems (SECPPS) https://rickrabiser.github.io/secpps-ws/ Software spielt eine immer wichtigere Rolle beim effizienten Betrieb von industriellen Produktionssystemen. Aktuelle Entwicklungen im Software Engineering sollten auch in der Automatisierung von Produktionssystemen Einzug halten. Vor allem die Beherrschung von Variabilität und Komplexität in Cyber-physikalischen Produktionssystemen verlangt nach neuen Methoden und Werkzeugen. Diese sollen im Rahmen des Workshops Software Engineering in Cyber-Physical Production Systems (SECPPS) diskutiert werden. +++ Software Engineering for E-Learning-Systems (SEELS) https://www.s3.uni-duisburg-essen.de/pub/seels/ Der Workshop „Software Engineering for E-Learning-Systems“ (SEELS) widmet sich softwaretechnischen Fragestellungen rund um die Entwicklung von E-Learning-Systemen und die Realisierung von vernetzten E-Learning-Landschaften an Schulen und Hochschulen. Ziel des Workshops ist es, aktuelle Forschungsfragen z.B. zu Schnittstellen von E-Learning-Systemen, Sicherheit in heterogenen E-Learning-Landschaften und das Management fachspezifischer Anforderungen in universellen E-Learning-Systemen zu identifizieren und zu diskutieren. ---------------------------------------- Wichtige Daten ---------------------------------------- 13.12.2020: Einreichungsfrist für Workshop-Beiträge 10.01.2021: Benachrichtigung für Workshop-Beiträge 31.01.2021: Einreichung der finalen Workshop-Beiträge -- ----------------------------------------------------------------------------------------------------------------- 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 From irdta at irdta.eu Mon Nov 16 18:23:52 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 16 Nov 2020 18:23:52 +0100 Subject: [fg-arc] BigDat 2021 Spring: early registration December 16 Message-ID: <545102060a010b0205545203050b535e0351070550575552520101040f50515256595002040952000356550052535007@grlmc_ip-zone_com-6> BigDat 2021 Spring: early registration December 16*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************   7th INTERNATIONAL SCHOOL ON BIG DATA   BigDat 2021 Spring   Beersheba, Israel   April 18-22, 2021   Co-organized by:   Ben-Gurion University of the Negev Department of Software and Information Systems Engineering Data Science Research Center   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://irdta.eu/bigdat2021s/   **********************************************   --- Early registration deadline: December 16, 2020 ---   ***********************************************   SCOPE:   BigDat 2021 Spring will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.   Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 24 four-hour and a half courses and 2 keynote lectures, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2021 Spring is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   BigDat 2021 Spring will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be:   Ben-Gurion University of the Negev Marcus Family Campus   https://in.bgu.ac.il/en/Pages/interactive.aspx   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS:   Maria Girone (European Organization for Nuclear Research), Big Data Challenges at the CERN HL-LHC   Lisa Schurer Lambert (Oklahoma State University), Research Methods as a Lens: How We Know What We Know   PROFESSORS AND COURSES:   Thomas Bäck & Hao Wang (Leiden University), [introductory/intermediate] Data Driven Modeling and Optimization for Industrial Applications   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Gianluca Bontempi (Université Libre de Bruxelles), [intermediate/advanced] Machine Learning against Credit-card Fraud: Lessons Learned from a Real Case   Altan Cakir (Istanbul Technical University), [intermediate] Big Data Analytics with Apache Spark   Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity   Ramez Elmasri (University of Texas, Arlington), [intermediate] Spatial, Temporal, and Spatio-Temporal Data   Ian Fisk (Flatiron Institute), [introductory] The Infrastructure to Support Data Science   Michael Freeman (University of Washington), [intermediate] Interactive Data Visualization Using D3 + Observable   David Gerbing (Portland State University), [introductory] Derive Meaning from Data with R Visualizations   Christopher Hogue (Ericsson Inc.), [introductory/intermediate] Applied Information Theory for Scalable Database Schema and Query Templates   Ravi Kumar (Google), [intermediate/advanced] Clustering for Big Data   Victor O.K. Li (University of Hong Kong), [intermediate] Deep Learning and Applications   B.S. Manjunath (University of California, Santa Barbara), [introductory] Digital Media Forensics   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   José M.F. Moura (Carnegie Mellon University), [introductory] Graph Signal Processing   Panos Pardalos (University of Florida), [intermediate/advanced] Optimization and Data Sciences Techniques for Large Networks   Valeriu Predoi (University of Reading), [introductory] A Beginner's Guide to Big Data Analysis: How to Connect Scientific Software Development with Real World Problem   Karsten Reuter (Max Planck Society), [introductory/intermediate] Machine Learning for Materials and Energy Applications   Ramesh Sharda (Oklahoma State University), [introductory/intermediate] Network-based Health Analytics   Steven Skiena (Stony Brook University), [introductory/intermediate] Word and Graph Embeddings for Machine Learning   Alexandre Vaniachine (VirtualHealth), [intermediate] Open-source Columnar Databases   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Supervised Descriptive Pattern Mining   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Language Models and Applications   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by April 10, 2021.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by April 10, 2021.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by April 10, 2021.   ORGANIZING COMMITTEE:   Stavi Baram (Beersheba) Mark Last (Beersheba) Carlos Martín-Vide (Tarragona, program chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Lior Rokach (Beersheba, co-chair) Bracha Shapira (Beersheba, co-chair) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/bigdat2021s/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Ben-Gurion University of the Negev   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Nov 15 11:03:16 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 15 Nov 2020 12:03:16 +0200 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): Second Call for Papers Message-ID: *** Second Call for Papers *** 15th International Conference on Research Challenges in Information Science (RCIS 2021) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 12-14, 2021, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJNDk3CUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2F Abstract submission deadline (recommended): January 15, 2021 (AoE) Paper submission deadline: January 22, 2021 (AoE) (Proceedings to be published by Springer) SCOPE AND TOPICS RCIS aims to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and to provide opportunities for knowledge sharing and dissemination. RCIS 2021 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned with the special theme "Information Science and global crisis". Global crisis, as the pandemic we are experiencing in these days, natural disasters, wars and international political crisis, are challenging Information Science to help building effective management solutions, to learn from previous experience how to prevent them, and to support Humans keep on performing core activities, as education, and communication. The diversity of crises' causes, the quality of the collected data as well as the complexity of the underlying mechanisms are among the relevant research challenges. RCIS welcomes submissions from the whole spectrum of the information science field. The list of themes and topics includes, but is not limited to: Information Systems and their Engineering · Requirements Engineering · Software Testing · Information Security and Risk · Method Engineering User-Oriented Approaches · Social Computing and Social Network Analysis · User-Centred Design · Collaborative Computing · Human Factors in Information Systems Data and Information Management · Databases and Information · Information Search and Discovery · Conceptual Modelling and Ontologies Business Process Management · Business Process Engineering and Reengineering · Process Mining · Enterprise Engineering Domain-specific IS Engineering · E-Health, e-Government, e-Commerce, ... · Web-Based Applications and Services · Industry 4.0 · Web-Based Applications and Services · Smart Cities · Educational Technologies · Digital Humanities Data Science · Big Data & Business Analytics · Decision Information Systems · Knowledge Management · Knowledge Discovery from Data Information Infrastructures · Cyber-Physical Systems · Web Information Systems · Grid Computing and Cloud Computing · Internet of Things · Pervasive and Mobile Computing Reflective Research and Practice · Research Methodologies in Information Science · Impact of Information on the Enterprise and the Individual · Lifecycle Models · Design Science and Rationale Tutorials, Doctoral Consortium, Posters & Demos and Research Projects @RCIS tracks will complement the main conference. SUBMISSION PROCESS 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJNDk3CUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2021. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJNDk3CUxpc3RzCTEzNAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Drcis20201 . By submitting a paper, the authors agree that at least one of them will register to the conference and present the paper. The appearance of a paper in the Springer proceedings is dependent on the registration of one author within the early registration deadline on March 29, 2021. We adopt a single-blind review format, meaning that the author names are included in the paper itself under the paper title. IMPORTANT DATES · Abstract submission deadline for regular papers: January 15, 2021 (AoE) · Regular paper submission deadline: January 22, 2021 (AoE) · Notification to authors and registration opening: March 12, 2021 · Author registration deadline for all paper types: March 29, 2021 · Camera-ready copy deadline for all paper types: March 29, 2021 · Conference: May 12-14, 2021 CONFERENCE COMMITTEES Steering Committee · Saïd Assar, Institut Mines-Telecom Business School, France · Marko Bajec,University of Ljubljana, Slovenia · Pericles Loucopoulos, Manchester University, University Kingdom · Haralambos Moratidis, University of Brighton, United Kingdom · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France · Oscar Pastor, Universitat Politècnica de València, Spain · Jolita Ralyté, CUI, University of Geneva, Suisse · Colette Rolland, Université Paris 1 Panthéon-Sorbonne, France · Jelena Zdravkovic, Stockholm University, Sweden General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Samira Cherfi, CNAM, France · Anna Perini, FBK, Italy Social Media Chairs · Itzel Morales Ramirez, Instituto de Ingeniería de la UNAM, Mexico · Vítor E. Silva Souza, UFES, Brasil Proceedings Chair · Raihana Ferdous, FBK, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Nov 22 12:35:02 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 22 Nov 2020 13:35:02 +0200 Subject: [fg-arc] 8th International Symposium on End-User Development (IS-EUD 2021): Preliminary Call for Papers Message-ID: *** Preliminary Call for Papers *** 8th International Symposium on End-User Development (IS-EUD 2021): "Democratizing AI Development" July 6-8, 2021, Atlantica Miramare Beach Hotel 4*, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogUHJlbGltaW5hcnkgQ2FsbCBmb3IgUGFwZXJzCTUwOAlMaXN0cwkxMjkJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fiseud2021%2F End-user development (EUD) aims at empowering end users to develop and adapt systems at a level of complexity that is adequate to their expertise, practices, and skills. EUD may occur along the entire software lifecycle, with the purpose of making users able to participate in their artifact development, not only at design time, but also during actual use. Originally, EUD was conceived as a more general concept than end-user programming; thus, scholars proposed methods, techniques and tools that allow end users to modify or extend software artifacts, such as spreadsheets, web applications, video games, and mobile applications. In the co-called Internet of Things era, end-user development moved on to address the problem of defining and modifying the behavior of smart environments, including smart objects, pervasive displays, smart homes, smart cities, and so on. Therefore, the term "end-user development" acquired a broader meaning covering approaches, frameworks and socio-technical environments that allow end users to express themselves in crafting digital artifacts that encompass both software and hardware technology. Recent research and technological trends like Artificial Intelligence (AI), Big Data, Cyber-Security, Robotics, and Industry 4.0, have contributed to renew the vision of end-user development, by providing tools and platforms that allow end users to harness the power of AI to create solutions involving Computer Vision, Image Processing, Conversational User Interfaces, as well as solutions for smart environments. Such developments lower the threshold for creating AI solutions, and expand the programmer base for such solutions, by extending AI application both for professional and discretionary use. IS-EUD is a bi-annual event for researchers and practitioners with an interdisciplinary approach to EUD, including: Human-Computer Interaction, Software Engineering, Computer Supported Cooperative Work, Human-Work Interaction Design, and related areas. IS-EUD 2021 Theme: Democratizing AI Development The 2021 edition of IS-EUD focuses on EUD for AI-based systems, where end users are called on to become end-user developers of intelligent agents, digital twins, collaborative and social robots. This edition would like to discuss the adoption of EUD in new fields, the proposal of novel EUD paradigms, and the impact of AI-based EUD in terms of user acceptability and appropriation. One of the most interesting topics in human-AI interaction is explainability of AI-based systems: research submissions presenting end- user oriented solutions to this problem will be particularly welcome. Theoretical and empirical work analyzing pros and cons of this new EUD wave, identifying requirements for end-user development of AI and acceptance of related solutions is invited. Software infrastructures and eco- systems supporting the reuse of solutions and the emergence of meta- design practices are of particular interest to this community, linking the challenges relating AI to topics central to the IS-EUD community. Conference Topics The conference welcomes contributions that: · describe new, simple and efficient environments for end-user development · describe new processes, methods and techniques for empowering users to create, modify and tailor digital artifacts · present case studies and design implications on challenges and practices of end-user development · develop theoretical concepts and foundations for the field of end-user development Specific topics include (but are not limited to) the following ones: · User-oriented orchestration of AI-based devices · Conversational interfaces for end-user development · End-user development for big data visualization and exploration · End-user development for collaborative robotics · End-user development for social robotics · End-user development in Industry 4.0 · End-user development and explainable AI-based systems · Cybersecurity and end-user development · End-user development in daily life · Technologies and infrastructures for end-user development · Empirical studies of end-user development · Recommender systems to support end-user development · Cultures of participation and meta-design approaches · Technology acceptance and adoption studies of end-user development technologies · Evaluation of end-user development technologies · Supporting creative work through end-user development Submissions We invite two types of paper submissions: 1. Long papers, up to 16 pages, describing original unpublished research making a substantial contribution to the research field 2. Short papers, up to 8 pages, describing original unpublished research, making a small but solid contribution to the field All submissions will be reviewed by the Program Committee. Accepted papers (both long and short) will appear in the archival proceedings of IS-EUD 2021, published by Springer in the Lecture Notes on Computer Science (LNCS) series, and will be presented in plenary sessions of the conference. Work in Progress submissions (max 4 pages) and Demonstration papers (max 4 pages) are also welcomed. A Demonstration paper should be structured according to the following: · Abstract (150 words maximum) · Topics to be covered and their relevance to the EUD community · Detailed description of the planned demonstration activity · Diagrams or screenshots (if relevant) · Supporting documentation (e.g., project website) · References Work in Progress submissions are intended for presenting preliminary results or tentative findings and position papers. The authors of accepted contributions will have the opportunity to give an oral presentation during parallel sessions. Workshop proposals are invited (max 4 pages) aligned to the themes of the conference. Workshops provide an informal setting where participants have the opportunity to discuss specific topics in an atmosphere that fosters the active exchange of ideas. Workshops can be half day or one-day long. Finally, the IS-EUD Doctoral Consortium is intended to bring together PhD students working on theory and application of EUD. We particularly encourage students that are about half-way through their doctoral research to submit doctoral consortium abstracts (max 4 pages) describing the topic of their PhD, their approach and a summary of their progress. Submissions of all types should be carefully formatted according to the Springer LNCS format: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gRW5kLVVzZXIgRGV2ZWxvcG1lbnQgKElTLUVVRCAyMDIxKTogUHJlbGltaW5hcnkgQ2FsbCBmb3IgUGFwZXJzCTUwOAlMaXN0cwkxMjkJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines and should be submitted according to the submission instructions (detailed information will appear soon on the conference web site). Important Dates · Long and Short papers submission: March 8, 2021 · Notification: March 30, 2021 · Camera-ready: April 30, 2021 · Workshop proposal submission: March 8, 2021 · Notification: March 15, 2021 · Camera-ready: April 30, 2021 · Demonstration and Work in Progress submission: April 7, 2021 · Notification: April 21, 2021 · Camera-ready: April 30, 2021 · Doctoral Consortium submission: April 7, 2021 · Notification: April 30, 2021 · Camera-ready: May 15, 2021 Organizers General Chairs · Panos Markopoulos (Eindhoven University of Technology, The Netherlands) · George A. Papadopoulos (University of Cyprus, Cyprus) Program Chairs · Daniela Fogli (University of Brescia, Italy) · Daniel Tetteroo (Eindhoven University of Technology, The Netherlands) Short papers Chairs · Barbara Rita Barricelli (University of Brescia, Italy) · Simone Borsci (University of Twente, The Netherlands) Work in Progress Chairs · Jelle Van Dijk (University of Twente, The Netherlands) · Carmen Santoro (ISTI-CNR, Italy) Demonstration Chair · Stefano Valtolina (University of Milan, Italy) Workshop Chairs · Styliani Kleanthous (Open University of Cyprus, Cyprus) · Simone Stumpf (City University London, UK) Doctoral Consortium Chairs · Monica Maceli (Pratt Institute, USA) · Antonio Piccinno (University of Bari, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ralf.reussner at kit.edu Mon Nov 23 08:52:40 2020 From: ralf.reussner at kit.edu (Ralf Reussner) Date: Mon, 23 Nov 2020 08:52:40 +0100 Subject: [fg-arc] W3-Professur "Vernetzte sichere Automatisierungstechnik" mit Software-Architekturbezug Message-ID: <687ce4d3-d6e2-7427-5bd8-2cbe19d92daf@kit.edu> Liebe Kolleginnen und Kollegen, da in der folgenden Ausschreibung explizit Software-Architekturkompetenzen gefragt sind, wollte ich Sie Ihnen auf auf diesem Wege zu kommen lassen. Beste Grüße Ralf Reussner ---- Als „Die Forschungsuniversität in der Helmholtz-Gemeinschaft“ schafft und vermittelt das Karlsruher Institut für Technologie (KIT) Wissen für Gesellschaft und Umwelt. Ziel ist es, zu den globalen Herausforderungen maßgebliche Beiträge in den Feldern Energie, Mobilität und Information zu leisten. Daran arbeiten am KIT rund 9300 Mitarbeiterinnen und Mitarbeiter auf einer breiten disziplinären Basis in Forschung, Lehre und Innovation zusammen. Im Bereich III – Maschinenbau und Elektrotechnik – ist an der KIT-Fakultät für Elektrotechnik und Informationstechnik für die kollegiale Leitung des Instituts für Regelungs- und Steuerungssysteme (IRS), zum nächstmöglichen Zeitpunkt, eine unbefristete W3-Professur für Vernetzte sichere Automatisierungstechnik zu besetzen. Die Professur wird von SEW als Stiftungsprofessur gefördert. Gesucht wird eine Persönlichkeit, die das Gebiet der Automatisierungstechnik für vernetzte und sichere Systeme in der Prozess- oder Produktionsautomatisierung im Kontext von Industrie 4.0 in Forschung und Lehre vertritt. Bewerber/innen sollen auf mehreren der folgenden Themenbereiche besonders ausgewiesen sein: * Automatisierung verteilter cyber-physischer Systeme * Software-Engineering und -Architekturen für die Automatisierungstechnik * Informationsmodelle der industriellen Automation und Managementsysteme * Formale Beschreibungsverfahren in der Automatisierungstechnik * Verlässlichkeit vernetzter Automatisierungssysteme bzgl. Funktionaler und IT-Sicherheit * Künstliche Intelligenz in vernetzten Automatisierungssystemen Es wird eine Persönlichkeit gesucht, die international hervorragend wissenschaftlich ausgewiesen ist, über sehr gute didaktische Fähigkeiten verfügt sowie Führungserfahrung mitbringt. Erfahrungen in der Industrie oder der industrienahen Forschung sowie in der Einwerbung von Drittmitteln sind erwünscht. In der Lehre wird die engagierte Beteiligung an bestehenden und neuen, auch englischsprachigen Studiengängen der KIT-Fakultät für Elektrotechnik und Informationstechnik sowie an fachnahen Studiengängen anderer KIT-Fakultäten erwartet. Dazu gehören neben Veranstaltungen auf dem Fachgebiet der Professur auch Grundlagenvorlesungen im Bachelor-Studium. Das KIT strebt die Erhöhung des Anteils an Professorinnen an und begrüßt deshalb die Bewerbung entsprechend qualifizierter Frauen. Schwerbehinderte Bewerber/innen werden bei entsprechender Eignung bevorzugt berücksichtigt. Es gelten die Einstellungsvoraussetzungen des § 47 Landeshochschulgesetz. Aussagekräftige Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Publikationsliste, Abschlusszeugnisse/Zertifikate, ggf. Lehrevaluationen, Unterlagen über die bisherige und geplante Forschungs- und Lehrtätigkeit) werden per E-Mail bis zum 06.01.2021 an Prof. h.c. Dr.-Ing. Joachim Knebel, Leiter des Bereichs III - Maschinenbau und Elektrotechnik, Karlsruher Institut für Technologie (KIT), c/o Dekanat ETIT, Kaiserstr. 12, 76131 Karlsruhe, E-Mail: dekanat at etit.kit.edu erbeten. Es wird darum gebeten, für eine international vergleichende Begutachtung im Rahmen von KIT-Berufungsverfahren auf Englisch einzureichen: den Lebenslauf (CV) sowie das (geplante) Forschungs- und Lehrkonzept (research plan; teaching concept). Rückfragen zum Berufungsverfahren richten Sie bitte an das Dekanat der KIT-Fakultät Elektrotechnik und Informationstechnik, E-Mail: dekanat at etit.kit.edu oder Telefon: 0721 / 608 47513 (Fakultätsgeschäftsführerin Nicole Landeck). KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft -- -------------------------------------------------------------- Karlsruhe Institute of Technology (KIT) and Forschungszentrum Informatik (FZI) Prof. Dr. Ralf H. Reussner KIT: Chair Software Design and Quality: KIT: Vice Dean of KIT-Faculty of Informatics: reussner at kit.edu FZI: Director: reussner at fzi.de Am Fasanengarten 5, Building 50.34, Room 328 D-76131 Karlsruhe GERMANY Phone: +49 721 608-45993 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu / http://www.fzi.de KIT -- The Research University in the Helmholtz Association -------------------------------------------------------------- The Palladio book: https://mitpress.mit.edu/books/modeling-and-simulating-software-architectures The Design For Future book: https://www.springer.com/gp/book/9783030134983 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5228 bytes Desc: S/MIME Cryptographic Signature URL: From fm-announcements at lists.nasa.gov Fri Nov 20 20:54:51 2020 From: fm-announcements at lists.nasa.gov (Munoz, Cesar (LARC-D320) via fm-announcements) Date: Fri, 20 Nov 2020 19:54:51 +0000 Subject: [fg-arc] [fm-announcements] Release of NASA PVS Library v7.1 Message-ID: <8E67D50F-F784-4F14-8A47-23AF67FC9A80@nasa.gov> The Formal Methods Team at NASA Langley Research Center and the National Institute of Aerospace is pleased to announce the release of the NASA PVS Library (NASALib) v7.1 (https://github.com/nasa/pvslib). NASALib v7.1 is fully compatible with PVS 7.1 (https://pvs.csl.sri.com), the recently released version of the Prototype Verification System (PVS). NASALib is a continuing collaborative effort that has spanned over 3 decades, to aid in research related to theorem proving sponsored by NASA (https://shemesh.larc.nasa.gov/fm/pvs/). It consists of a collection of formal developments written in PVS, contributed by SRI, NASA, NIA, and the PVS community, and maintained by the NASA/NIA Formal Methods Team at LaRC. Currently, NASALib v7.1 includes 53 developments and almost 30k formally proved lemmas and theorems. In addition to NASALib v7.1, the following developments have been updated to PVS 7.1 and are publicly available under NASA's Open Source Agreement: * vscode-pvs (https://shemesh.larc.nasa.gov/fm/VSCode-PVS/): A Visual Studio Code (https://code.visualstudio.com/) extension that provides a modern integrated development environment for PVS. * PRECiSA (https://shemesh.larc.nasa.gov/fm/PRECiSA): A static analysis tool that generates provably correct round-off error bounds of floating-point programs. * PolyCARP (https://shemesh.larc.nasa.gov/fm/PolyCARP): A collection of formally verified algorithms for computations with polygons. * CPR* (https://shemesh.larc.nasa.gov/fm/CPR): Formally verified implementations in C (fixed-point and floating-point) of ADS-B's Compact Position Reporting algorithms. CPR* is the reference implementation of CPR in the international standard ED-102B/DO-260C. * DAIDALUS (https://shemesh.larc.nasa.gov/fm/DAIDALUS): A collection of formally verified algorithms for a detect and avoid concept that supports the integration of Unmanned Aircraft Systems (UAS) into the National Airspace System (NAS). DAIDALUS is the reference implementation of functional requirements for Detect and Avoid of UAS in the US standard DO-365A. Enjoy, The NASA/NIA Formal Methods Team at LaRC https://shemesh.larc.nasa.gov/fm -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7429 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From announce at cs.ucy.ac.cy Mon Nov 23 10:19:25 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 23 Nov 2020 11:19:25 +0200 Subject: [fg-arc] Post-doc position in Rouen University Message-ID: <4L15KG0B-TUNZ-OR6A-JW0R-62ZKFMQNWTX0@cs.ucy.ac.cy> Post-doc position (1year or more; 38K? - 44K?/year) Work place : Université de Rouen Normandy, France Contact : Edwige.Pissaloux at univ-rouen.fr Context of the post-doc position The "Perception and Interaction" (P&I) group of the LITIS laboratory (150 researchers), of the University of Rouen Normandy (France), is involved in research on the design of intelligent systems for human interactions with space ( mobility, non-visual perception of the arts). Its methodological approach (models, algorithms, architectures, experimental evaluation) is multidisciplinary, at the crossroads of multimodal vision / perception, robotics and cognitive science. The group models, designs and produces, with multimodal ICT technologies (vision, touch, audio), prototypes of portable systems for people with visual impaired people (VIP). Several research projects are underway: international (Inclusive Museum Guide (ANR, 2021-2024)), national (ACCESSPACE 2), or regional (Guide Muséal (2019-2022)). The group received the CCAH-Malakoff Médéric prize for applied research on deficiencies (2017). It is expected that the post-doc fellow will contribute to on going research projects (e.g. « Museum Guide » project, mystifying-austin-87a7b8.netlify.app/en/, ACCESPACE http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlQb3N0LWRvYyBwb3NpdGlvbiBpbiBSb3VlbiBVbml2ZXJzaXR5IAk1MTEJTGlzdHMJMTI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Faccesspace.univ-rouen.fr%2FMobilite.php%3FLg%3DEn%29, and will advance the state-of-the-art in all aspects of VIP's interaction with the space via embedded perception and man-machine interactive wearable systems. This includes the following sub-topics/subtasks to be addressed during the postdoc : a) Design of a wearable embedded multimodal assistive device for VIP interaction with space (haptic device such as our force-feedback tablet F2T, a tactile belt, embedded vision system) b) Modelling of the VIP mobility assistances; c) Indoor & outdoor mobility approaches (bio-inspired, VIO (Visual Inertial Odometry), GNSS, multi-sensor data fusion etc.) d) Experimental evaluations' preparation and their carring (protocol design, collected data processing/analysis) of the designed systems in simulated environments and in ecological settings with human participants (VIP, museums' staff, etc.) e) Publishing of the results and participation in dissemination activities f) Doctoral and master supervision g) Participation in project management. Requirements (Skills/Qualifications) PhD in Computer Science, Computer Vision, Robotics or closely related field. Good theoretical and practical background in · Computer Vision, Image processing, (multimodal) Perception (& sensing), Interaction · Robotics (navigation, bioinspired navigation, VIO, etc.) · Mechatronics/automation/control electronics Good programming skills (python, Java, C/C++; Matlab) Knowledge of 3D modelling and 3D printing (e.g. Maya, Blender, SolidWorks) Theoretical knowledge of Bayesian models will be a plus Specific Requirement · experience with real robotic hardware (programming, electronics & mechanics) · experience with Ubuntu/Linux · open mind towards cognitive science and visually impaired sciences & technologies · scientific curiosity and ability to work autonomously · proactive team working attitude · good communication skills (at least in English) · availability to travel to international conferences and meetings with partners · assistance in administrative works as a project partner Required languages: English Required Research Experience At least 3 year research experience - a PhD degree obtained in 7 years before this position start ; this period may be longer and including breaks such as maternity/paternity leave, parental/educational leave, etc. For additional job details : please send your questions to prof. Edwige.Pissaloux at univ-rouen.fr Benefits The employment will take place with respect to national regulations (Labor code) with social security and retirement benefits. Beneficial and welfare schemes and wide range of sports and cultural offers are provided. The position is for 1 year with renewal granted after the first year if both parties are satisfied, and will be paid according to the French salary regulations for postdoctoral scholars depending on the candidate's previous experience. Eligibility criteria The position will remain open until satisfactory candidate is found. Selection process: Please send via email to Edwige.Pissaloux at univ-rouen.fr (in .pdf format with scanned signature) your application including: a) A letter of intent specifying research experience and intended contributions and the starting date b) The curriculum vitae including a complete list of publications and scientific achievements and interests c) Master degree marks d) An e-copy or at least summary and outline of your PhD e) E-copy of up to 3 representative recent paper publications f) Names and email addresses of at least two permanent staff acquainted with research activities of the candidate to be contacted for letter of recommendation The name of each file should start with candidate-name followed by applied position (post-doc) and nickname of the content. The candidate may be asked by email for an e-interview (skype, zoom, BBB,...) with the appointment international committee. Additional comments The LITIS lab is located in the city named Saint Etienne du Rouvray, with tramway access from the center of Rouen. Some teaching classes (in French and in English) at the University (undergraduate and graduate levels) are possible, and will be paid in addition. Since we will not return your documents, please submit their e-copy only. -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Nov 23 23:24:57 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 23 Nov 2020 23:24:57 +0100 Subject: [fg-arc] DeepLearn 2021 Summer: early registration December 26 Message-ID: <545102060a010b02055458070007585e06040c58060105570b510c52005453595d590107060d01570355000457070707@grlmc_ip-zone_com-6> DeepLearn 2021 Summer: early registration December 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ******************************************************************   4th INTERNATIONAL SCHOOL ON DEEP LEARNING   DeepLearn 2021 Summer   Las Palmas de Gran Canaria, Spain   July 26-30, 2021   Co-organized by:   Department of Information Engineering Marche Polytechnic University   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/deeplearn2021s/   ******************************************************************   --- Early registration deadline: December 26, 2020 ---   ************************************************   SCOPE:   DeepLearn 2021 Summer will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning. Previous events were held in Bilbao, Genova and Warsaw.   Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 24 four-hour and a half courses and 3 keynote lectures, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2021 Summer is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   DeepLearn 2021 Summer will take place in Las Palmas de Gran Canaria, on the Atlantic Ocean, with a mild climate throughout the year, sandy beaches and a renowned carnival. The venue will be:   Palacio de Congresos de Canarias Institución Ferial de Canarias Avenida de la Feria, 1 35012 Las Palmas de Gran Canaria   https://www.infecar.es/index.php?option=com_k2&view=item&layout=item&id=360&Itemid=896   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS:   Nello Cristianini (University of Bristol), Data, Intelligence and Shortcuts   Petia Radeva (University of Barcelona), Uncertainty Modeling and Deep Learning in Food Analysis   Indrė Žliobaitė (University of Helsinki), Any Hope for Deep Learning in Deep Time?   PROFESSORS AND COURSES: (to be completed)   Ignacio Arganda-Carreras (University of the Basque Country), [introductory/intermediate] Deep Learning for Bioimage Analysis   Thomas G. Dietterich (Oregon State University), [introductory] Machine Learning Methods for Robust Artificial Intelligence   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Online, Interactive and Deep Learning Machines with Scalability, and Adaptivity   Sergei V. Gleyzer (University of Alabama), [introductory/intermediate] Machine Learning Fundamentals and Their Applications to Very Large Scientific Data: Rare Signal and Feature Extraction, End-to-end Deep Learning, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement Learning   Balázs Kégl (Huawei Technologies), [introductory] Deep Model-based Reinforcement Learning   Geert Leus (Delft University of Technology), [introductory/intermediate] Graph Signal Processing: Introduction and Connections to Distributed Optimization and Deep Learning   Andy Liaw (Merck Research Labs), [introductory] Machine Learning and Statistics: Better together   Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Lyle John Palmer (University of Adelaide), [introductory/advanced] Epidemiology for Machine Learning Investigators   Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning   José C. Príncipe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn W. Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by July 18, 2021.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 18, 2021.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 18, 2021.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Carlos Martín-Vide (Tarragona, program chair) Sara Moccia (Ancona) Sara Morales (Brussels) Marina Paolanti (Ancona) Manuel J. Parra-Royón (Granada) Luca Romeo (Ancona) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/deeplearn2021s/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 will get 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 at   https://irdta.eu/deeplearn2021s/accommodation/   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice – IRDTA, Brussels/London   Institución Ferial de Canarias   -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Wed Nov 25 18:40:17 2020 From: fm-announcements at lists.nasa.gov (Munoz, Cesar (LARC-D320) via fm-announcements) Date: Wed, 25 Nov 2020 17:40:17 +0000 Subject: [fg-arc] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline) Message-ID: **************************************************         Final Call for Papers -- Extended Deadline    The Thirteenth NASA Formal Methods Symposium       https://shemesh.larc.nasa.gov/nfm2021/                 May 24-28, 2021            Virtual / Norfolk, VA, USA ************************************************** Currently, the symposium is planned to be held in an in-person/virtual hybrid format in Norfolk, VA, USA, highly likely transitioning to fully virtual if the COVID-19 situation persists. Virtual presentation of papers will be possible even if the conference is also held in-person. Important Dates (Extend Deadline): ----------------------------- Abstract Submission: December 7, 2020 (extended) Paper Submission:  December 14, 2020 (extended) Paper Notifications: February 19, 2021 Camera-ready Papers: March 19, 2021 Symposium: May 24-28, 2021 Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements.  The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.  New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems.  The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, comprised of researchers spanning six NASA centers. NFM2021 is being organized by the NASA Langley Formal Methods Team. Topics of Interest: ------------------- We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.  Topics of interest include, but are not limited to, the following aspects of formal methods: - Advances in formal methods:   - Formal verification, model checking, and static analysis techniques   - Theorem proving: advances in interactive and automated theorem      proving (SAT, SMT, etc.)   - Program and specification synthesis, code transformation and generation   - Run-time verification   - Techniques and algorithms for scaling formal methods   - Test case generation   - Design for verification and correct-by-design techniques   - Requirements generation, specification, and validation - Integration of formal methods techniques:   - Use of machine learning techniques in formal methods   - Integration of formal methods into software engineering practices    - Integration of diverse formal methods techniques   - Combination of formal methods with simulation and analysis techniques - Formal methods in practice:   - Experience report of application of formal methods in industry   - Use of formal methods in education   - Verification of machine learning techniques   - Applications of formal methods in the development of:     - autonomous systems,     - safety-critical systems,     - concurrent and distributed systems,     - cyber-physical, embedded, and hybrid systems     - fault-detection, diagnostics, and prognostics systems     - human-machine interaction analysis Submission Details: ------------------- There are two categories of submissions: 1. Regular papers describing fully developed work and complete results     (maximum 15 pages); 2. Short papers on tools, experience reports, or work in progress with     preliminary results (maximum 6 pages). The submitted papers should not exceed 15 pages for regular papers and 6 pages for short papers, including tables and figures, but excluding bibliography and clearly marked appendices.  The papers should be self-contained, as appendices will not be included in the published proceedings.  In addition to appendices, authors are encouraged to make available any other supplementary material supporting the claims made in the paper, such as proof scripts or experimental data, as the availability and reproducibility of these artifacts may be considered by reviewers in scoring.  All papers must be in English and describe original work that has not been published or submitted elsewhere.  All submissions will be reviewed by at least three members of the Program Committee in a single-blind reviewing format. Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2021. Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (https://www.springer.com/journal/11334). Organizers: ----------- • Cesar Munoz, NASA, USA (General Co-Chair) • Ivan Perez, National Institute of Aerospace, USA (General Co-Chair) • Aaron Dutle, NASA, USA (PC Co-Chair) • Mariano Moscato, National Institute of Aerospace, USA (PC Co-Chair) • Laura Titolo, National Institute of Aerospace, USA (PC Co-Chair) Program Committee: ------------------ Erika Abraham, RWTH Aachen University, Germany Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Julia Badger, NASA, USA Nikolaj Bjorner, Microsoft Research, USA Jasmin Blanchette, Vrije Universiteit Amsterdam, The Netherlands Sylvie Boldo, INRIA, France Alessandro Cimatti, Fondazione Bruno Kessler, Italy Misty Davies, NASA, USA Gilles Dowek, INRIA / ENS Paris-Saclay, France Catherine Dubois, ENSIIE-Samovar, France Alexandre Duret-Lutz, LRDE/EPITA, France Gabriel Ebner, Vienna University of Technology, Austria Marco Feliu, National Institute of Aerospace, USA Jean-Christophe Filliatre, CNRS, France Pierre-Loic Garoche, ENAC, France Alwyn Goodloe, NASA, USA John Harrison, Amazon Web Services, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Marieke Huisman, University of Twente, The Netherlands Brian Jalaian, ARL / Virginia Tech, USA Susmit Jha, SRI International, USA Michael Lowry, NASA, USA Panagiotis Manolios, Northeastern University, USA Paolo Masci, National Institute of Aerospace, USA Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA Stefan Mitsch, Carnegie Mellon University, USA Yannick Moy, AdaCore / INRIA, France Natasha Neogi, NASA, USA Laura Panizo, University of Malaga, Spain Corina Pasareanu, CMU / NASA Ames Research Center, USA Zvonimir Rakamaric, University of Utah, USA Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Nicolas Rosner, Amazon Web Services, USA Kristin-Yvonne Rozier, Iowa State University, USA Cristina Seceleanu, Malardalen University, Sweden Natarajan Shankar, SRI International, USA Johann  Schumann, SGT Inc./NASA Ames Research Center, USA Tanner Slagel, NASA, USA Marielle Stoelinga, University of Twente, The Netherlands Cesare Tinelli, University of Iowa, USA Caterina Urban, INRIA, France Virginie Wiels, ONERA / DTIM, France Registration: ------------- Registration is required and free of charge. Contact: -------- Email: nfm2021 [at] easychair [dot] org Web: https://shemesh.larc.nasa.gov/nfm2021/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7429 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From irdta at irdta.eu Mon Nov 30 15:22:02 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 30 Nov 2020 15:22:02 +0100 Subject: [fg-arc] AlCoB 2020 & 2021: 3rd call for papers Message-ID: <545102060a010b02055557040e0a585e55560d040357075051015a550306060352535655500805570002525000535103@grlmc_ip-zone_com-6> AlCoB 2020 & 2021: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   7th-8th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020 & 2021   Missoula, Montana, USA   June 7-11, 2021   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/alcob2020-2021/   **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   AlCoB 2020 & 2021 will merge the scheduled program for AlCoB 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 & 2021 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 & 2021 will consist of:   invited lectures peer-reviewed contributions posters   KEYNOTE SPEAKERS:   Terry Gaasterland (University of California, San Diego), Genetic Risk of Disease through Genome Variation and Regulation of Transcription   Christine Orengo (University College London), Algorithms for Mining Massive Metagenome Repositories to Detect Novel Enzymes   Tamar Schlick (New York University), Folding Genes at Nucleosome Resolution   PROGRAM COMMITTEE:   Ludmil Alexandrov (University of California, San Diego, US) Can Alkan (Bilkent University, TR) Mani Arumugam (University of Copenhagen, DK) Bonnie Berger (Massachusetts Institute of Technology, US) Sanchita Bhattacharya (University of California, San Francisco, US) Chao Cheng (Baylor College of Medicine, US) Keith Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Ian Dunham (European Bioinformatics Institute, UK) Anton Enright (University of Cambridge, UK) Joe Felsenstein (University of Washington, US) Pedro G. Ferreira (University of Porto, PT) Martin Frith (University of Tokyo, JP) Debashis Ghosh (University of Colorado, US) Michael Gribskov (Purdue University, US) Michael Hawrylycz (Allen Institute for Brain Science, US) Daniel Huson (University of Tübingen, DE) Kazutaka Katoh (Osaka University, JP) Miriam Konkel (Clemson University, US) Maria-Jesus Martin (European Bioinformatics Institute, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester, US) Aaron McKenna (Dartmouth College, US) Ryan E. Mills (University of Michigan, US) Burkhard Morgenstern (University of Göttingen, DE) Zemin Ning (Wellcome Sanger Institute, UK) Joel S. Parker (University of North Carolina, Chapel Hill, US) Kay Prüfer (Max Planck Institute for Evolutionary Anthropology, DE) Knut Reinert (Free University of Berlin, DE) Walter L. Ruzzo (University of Washington, US) Russell Schwartz (Carnegie Mellon University, US) Gordon Smyth (Walter and Eliza Hall Institute of Medical Research, AU) Peter F. Stadler (Leipzig University, DE) Alfonso Valencia (Barcelona Supercomputing Center, ES) Fabio Vandin (University of Padua, IT) Kai Wang (Children's Hospital of Philadelphia, US) Matthew T. Weirauch (Cincinnati Children's Hospital, US) Travis Wheeler (University of Montana, US) Zohar Yakhini (Interdisciplinary Center, Herzliya, IL) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Upload submissions to:   https://easychair.org/conferences/?conf=alcob20202021   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019 JCR impact factor: 2.85) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://irdta.eu/alcob2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: January 18, 2021 Notification of paper acceptance or rejection: February 15, 2021 Final version of the paper for the LNCS/LNBI proceedings: March 1st, 2021 Early registration: March 1st, 2021 Late registration: May 24, 2021 Submission to the journal special issue: September 11, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: