From a.dabrowski at uci.edu Tue Feb 2 19:04:18 2021 From: a.dabrowski at uci.edu (Adrian Dabrowski) Date: Tue, 2 Feb 2021 19:04:18 +0100 Subject: [fg-arc] [ACM WiSec 2021] Call for Papers: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks Message-ID: <8c894c44-b2e8-86ee-ef32-6c9b1f268e7b@uci.edu> ======================================================================== Call for Papers: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec 2021) ======================================================================== The 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec 2021) will be held virtually from June 28 to July 1, 2021. ACM WiSec is the leading ACM and SIGSAC conference dedicated to all aspects of security and privacy in wireless and mobile networks and their applications. In addition to the traditional ACM WiSec topics of physical, link, and network layer security, we welcome papers focusing on the increasingly diverse range of mobile or wireless applications such as Internet of Things, Cyber-Physical Systems, as well as the security and privacy of mobile software platforms, usable security and privacy, biometrics, and cryptography. The conference welcomes both theoretical as well as systems contributions. Topics of interest include, but are not limited to - Cryptographic primitives for wireless and mobile security - Data-driven security attacks and countermeasures - Economics of mobile security and privacy - Jamming attacks and defenses - Key management (agreement or distribution) for wireless or mobile systems - Lightweight cryptography primitives and protocols - Mobile malware and platform security - NFC and smart payment applications - Next generation cellular network fraud and security - Physical tracking security and privacy - Resilience and dependability for mobile and wireless networks - Reverse engineering of and tampering with mobile applications - Security and privacy for cognitive radio and dynamic spectrum access systems - Security and privacy for mobile applications (e.g., mobile sensing systems) - Security and privacy for smart devices (e.g., smartphones) - Secure localization and location privacy - Security protocols for wireless networking - Side-channel and fault attacks on smart devices - Side-channel attacks on mobile and wearable systems - Theoretical and formal approaches for wireless and mobile security - Usable mobile security and privacy - Vehicular networks security (e.g., drones, automotive, avionics, autonomous driving) - Wireless and mobile privacy and anonymization techniques - Wireless or mobile security for cyber-physical systems (e.g, healthcare, smart grid) and IoT systems - Wireless network security for critical infrastructures The proceedings of ACM WiSec, sponsored by SIGSAC, will be published by the ACM. Important dates =============== - Paper submission deadline: March 18, 2021 (23:59 AoE) - Author notification: April 29, 2021 - Camera-ready deadline: May 21, 2021 (23:59 AoE) - WiSec conference: June 28 to July 1, 2021 Full and short papers ===================== Full paper submissions to ACM WiSec 2021 can be up to 10 pages in the ACM conference style excluding the bibliography and well-marked appendices, and up to 12 pages in total. ACM WiSec also encourages the submission of short papers with a length of up to 6 pages (including bibliography and appendices), which describe mature work of a more succinct nature. All papers must be thoroughly anonymized for double-blind reviewing. Detailed submission instructions are available on the WiSec 2021 website at https://nyuad.nyu.edu/wisec21. For the first time in WiSec, we solicit Systematization of Knowledge (SoK) papers that evaluate, systematize, and contextualize existing knowledge on any of the above topics. Suitable papers provide an important new viewpoint on an established research area, support or challenge long-held beliefs with compelling evidence, present a convincing new taxonomy of such an area, and/or identify research gaps with evidence and a structured approach. Survey papers without such contributions are not suitable. SoK submissions will be distinguished by the prefix "SoK:" in the title and a checkbox on the submission form. They will be reviewed by the program committee and held to the same standards as regular research papers, except instead of emphasizing novel research contributions the emphasis will be on value to the community. Accepted papers will be presented at the symposium and included in the proceedings. Posters and demos ================= WiSec will solicit submission of posters and demos. The instructions to submit posters/demos will be made available on the WiSec 2021 website. Replicability label =================== WiSec will again offer a replicability label for reproducible results. Authors are encouraged to plan ahead when running their experiments to minimize the overhead of applying for this label. The process of reviewing the work for replicability will be largely similar to the previous years. Double submissions ================== It is a policy of the ACM to disallow double/simultaneous submissions, where the same (or substantially similar) paper is concurrently submitted to multiple conferences/journals. Any double submissions detected will be immediately rejected from all conferences/journals involved. Workshops and Tutorial ================== ACM WiSec will host workshops/tutorial co-organized with the main conference. Details will be made available on the website. Organisation committee ====================== - General Chairs * Christina Pöpper, New York University Abu Dhabi, UAE * Mathy Vanhoef, New York University Abu Dhabi, UAE - PC Chairs * Lejla Batina, Radboud University, The Netherlands * René Mayrhofer, Johannes Kepler University Linz, Austria - Reproducibility Chairs * Aanjhan Ranganathan, Northeastern University, Boston, USA * Bradley Reaves, North Carolina State University, Raleigh, NC, USA Program committee ================= • Ahmad-Reza Sadeghi, TU Darmstadt, DE • Alexandra Dmitrienko, University Wurzburg, DE • Bradley Reaves, North Carolina State University, US • Cristina Onete, University of Limoges, FR • Daniel Gruss, TU Graz, AT • Dave Singelee, KU Leuven, BE • David (Aziz) Mohaisen, University of Central Florida, US • David Barrera, Carleton University, CA • Doowon Kim, University of Tennessee, Knoxville, US • Eleonora Losiouk, University of Padua, IT • Erik Tews, University Twente, NL • Fareena Saqib, University of North Carolina at Charlotte, US • Gang Wang, University of Illinois at Urbana, US • Gerhard Hancke, City University of Hong Kong, HK • Gildas Avoine, Rennes, FR • Guevara Noubir, Northeastern University, US • Ioana Boureanu, University of Surrey, UK • Jian (Jack) Liu, University of Tennessee, Knoxville, US • Jiska Classen, TU Darmstadt, DE • Jorge Guajardo, Bosch, US • Jorge Toro-Pozo, ETH, CH • Katerina Mitrokotsa, University of St. Gallen, CH • Katharina Kohls, Radboud University, NL • Kazuo Sakiyama, University of Telecommunication Tokyo, US • Kerstin Lemke-Rust, University of Applied Sciences Bonn-Rhein-Sieg, DE • Kevin Butler, University of Florida, US • Luyi Xing, Indiana University Bloomington, US • Martin Henze, Fraunhofer FKIE, DE • Mathy Vanhoef, NYU Abu Dhabi, UAE • Matthias Hollick, TU Darmstadt, DE • Matthias Payer, EPFL, CH • Michael Roland, Johannes Kepler University Linz, AT • Naofumi Homma, Tohoku University, JP • Nele Mentens, Leiden University and KU Leuven, NL • Nils Ole Tippenhauer, CISPA Saarbrucken, DE • Nitesh Saxena, University of Alabama at Birmingham, US • Panos Papadimitratos, KTH, SE • Patrick Traynor, University of Florida, US • Rolando Trujillo Rasua, Deakin Melbourne, AU • Selcuk Uluagac, Florida International University, US • Shivam Bhasin, NTU, SG • Srdjan Capkun, ETH Zurich, CH • Stjepan Picek, TU Delft, NL • William Enck, NC State University, US • Xiayu Ji, ZJU, CN • Yanick Fratantonio, Cisco Talos, AT • Yao Zheng, University of Hawaiʻi at Mānoa, US • Yingying Chen, Rutgers University, US • Yuan Tian, University of Virginia, US Steering committee ================= • Patrick Traynor, University of Florida, USA • Kevin Butler, University of Florida, USA • William Enck, North Carolina State University, USA • René Mayrhofer, Johannes Kepler University Linz, Austria • Guevara Noubir, Northeastern University, USA • Panos Papadimitratos, KTH Royal Institute of Technology, Sweden • Christina Pöpper, New York University Abu Dhabi, UAE From irdta at irdta.eu Mon Feb 1 15:09:43 2021 From: irdta at irdta.eu (IRDTA) Date: Mon, 01 Feb 2021 15:09:43 +0100 Subject: [fg-arc] DeepLearn 2021 Summer: early registration February 24 Message-ID: <545102060a010b02065653070f04595e56530d500354005401050e000600020451580c53570b56550957515603040556@grlmc_ip-zone_com-6> DeepLearn 2021 Summer: early registration February 24*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: February 24, 2021 ---   ************************************************   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 Gran Canaria 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   Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry   Geert Leus (Delft University of Technology), [introductory/intermediate] Graph Signal Processing: Introduction and Connections to Distributed Optimization and Deep Learning   Andy Liaw (Merck Research Labs), [introductory] Machine Learning and Statistics: Better together   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   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (Instacart), [introductory/intermediate] Abstractions, Concepts, and Machine Learning   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by July 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 thanh.dinhvan at gmail.com Wed Feb 3 15:52:01 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Wed, 3 Feb 2021 21:52:01 +0700 Subject: [fg-arc] CFP: 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Message-ID: <42787b42-8398-e6f9-4df6-f96354469ceb@gmail.com> CALL FOR PAPERS 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam -> see note below about remote participation https://kr2021.kbsg.rwth-aachen.de Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. ** SCOPE ** We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. Topics of interest include, but are not limited to: - Applications of KR - Argumentation - Belief revision and update, belief merging, information fusion - Commonsense reasoning - Computational aspects of knowledge representation - Concept formation, similarity-based reasoning - Contextual reasoning - Decision making - Description logics - Explanation finding, diagnosis, causal reasoning, abduction - Geometric, spatial, and temporal reasoning - Inconsistency- and exception-tolerant reasoning, paraconsistent logics - KR and autonomous agents and multi-agent systems - KR and cognitive robotics - KR and cyber security - KR and education - KR and game theory - KR and machine learning, inductive logic programming, knowledge acquisition - KR and natural language processing and understanding - KR and the Web, Semantic Web - Knowledge graphs and open linked data - Knowledge representation languages - Logic programming, answer set programming - Modeling and reasoning about preferences - Multi- and order-sorted representations and reasoning - Nonmonotonic logics, default logics, conditional logics - Ontology formalisms and models - Ontology-based data access, integration, and exchange - Philosophical foundations of KR - Qualitative reasoning, reasoning about physical systems - Reasoning about actions and change, action languages - Reasoning about constraints, constraint programming - Reasoning about knowledge, beliefs, and other mental attitudes - Uncertainty, vagueness, many-valued and fuzzy logics The KR2021 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. ** TRACKS AND SPECIAL SESSIONS ** In addition to the main conference track, KR2021 will host the following tracks and sessions: * Applications and Systems Track * Recently Published Research Track * Special Session on KR and Machine Learning * Special Session on KR and Robotics ** IMPORTANT DATES ** Submission of title and abstract:     March 24, 2021 Paper submission deadline:          March 31, 2021 Author response period:         May 24-26, 2021 Notification:                 June 15, 2021 Camera-ready papers:             July 14, 2021 Conference dates:             November 6-12, 2021 The Recently Published Research track, workshops, tutorials, and the doctoral consortium have different submission and notification dates, which are listed on the conference website. **AUTHOR GUIDELINES AND SUBMISSION INFORMATION** All submissions must be written in English and formatted using the style files provided on the KR'21 website. Papers must be submitted in PDF format, through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2021 For the main conference track and additional tracks/sessions (except for the Recently Published Research track), we invite - Full papers of up to 9 pages, including abstract, figures, and appendices   (if any), but excluding references and acknowledgements. - Short papers of up to 4 pages, excluding references and acknowledgements. Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXiv). Accepted full papers and short papers will be published in the KR2021 proceedings. Authors may optionally submit a separate PDF containing additional information that substantiates the claims made in their paper, such as proof details, additional experimental results, further details on experimental design, etc. If authors wish to make such material available to reviewers, they should do so by submitting a file through EasyChair, rather than by including links or references in their paper. Please note that the main paper must be self contained, as the supplementary material will not be published. Moreover, reviewers will have the option but not the obligation to consult the supplementary material. The preceding submission guidelines apply to the main track, as well as to the Applications and Systems track, the KR & Machine Learning special session, and the KR & Robotics special session. By contrast, different submission guidelines apply to the Recently Published Research track, workshops, tutorials, and the doctoral consortium, please consult the KR21 website for further information. ** REMOTE PARTICIPATION DUE TO COVID-19 PANDEMIC ** We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ** CONFERENCE CHAIRS ** General:    Esra Erdem (Sabanci University, Turkey) Program:    Meghyn Bienvenu (CNRS & University of Bordeaux, France)    Gerhard Lakemeyer (RWTH Aachen University, Germany) Applications and Systems Track:    Martin Gebser (University of Klagenfurt, Austria)    Ulrike Sattler (University of Manchester, UK) Recently Published Research Track:    Vladimir Lifschitz (University of Texas at Austin, USA)    Pierre Marquis (Artois University & Institut Universitaire de France, France) Special Session on KR & Machine Learning:    Vaishak Belle (University of Edinburgh, UK)    Luc de Raedt (KU Leuven, Belgium) Special Session on KR & Robotics:    Alessandro Saffioti (University of Örebro, Sweden)    Mary-Anne Williams (University of Technology Sydney, Australia) Workshop and Tutorials:    Markus Kroetzsch (TU Dresden, Germany)    Yongmei Liu (Sun Yat-sen University, China) Doctoral Consortium:    Jens Classen (Simon Fraser University)    Magdalena Ortiz (TU Vienna, Austria) Local Organization:    Giuseppe De Giacomo (Sapienza University, Italy)    Son Tran (New Mexico State University, USA)    Long Tran-Thanh (University of Warwick, UK)    Thanh Van Dinh (East Asia University of Technology, Vietnam) Virtual Conference Arrangements:    Stefan Borgwardt (TU Dresden, Germany)    Marco Console (Sapienza University Italy)    Long Tran-Thanh (University of Warwick, UK) Sponsorship:    Kuldeep S. Meel (NUS, Singapore)    Zeynep G. Saribatur (TU Wien, Austria) Publicity:    Thanh Van Dinh (East Asia University of Technology, Vietnam)    Paolo Felli (Free University of Bozen-Bolzano, Italy) From apaiva at fe.up.pt Thu Feb 4 20:52:23 2021 From: apaiva at fe.up.pt (Ana Paiva) Date: Thu, 4 Feb 2021 19:52:23 +0000 Subject: [fg-arc] CFP: QUATIC 2021 Message-ID: QUATIC 2021: International Conference on the Quality of Information and Communications Technology University of Algarve, Faro, Portugal September, 8-11, 2021 Conference website: https://2021.quatic.org/ ====== The International Conference on the Quality of Information and Communications Technology (QUATIC) is a leading scientific conference that gathers experts from industry and academia to exchange ideas and approaches regarding all quality aspects in ICT systems engineering and management. This forum seeks to foster lively discussion on how to further the state-of-the-art and define future directions, as well as to disseminate advanced new methods, techniques, and tools. QUATIC'2021 follows in the tradition of this conference, now in its 14th edition, invites practitioners and researchers to submit technical papers reporting original research and experience results in all topics and sub-fields of Quality in ICT process, product, and applications domains, as well as sharing practical studies. QUATIC'2021 is coming to Faro, capital of Algarve, the well-known region in the south of Portugal. The University of Algarve, which will host this conference, is a young state university commemorating its 40th anniversary with around 8000 students and 700 academics. ====== CALL FOR SUBMISSIONS The conference is organized into thematic tracks that serve as dedicated discussion venues on focused topics of interest. QUATIC 2021 offers an exciting set of tracks, mixing well-established traditional QUATIC topics and newly proposed tracks, covering break-through research challenges. Authors should select the track that best suits their field: · ICT Verification and Validation · Safety, Security, and Privacy · Process Modeling, Improvement and Assessment · ICT Requirements Engineering · Model-Driven Engineering · Software Evolution · Quality Aspects in Machine Learning, AI and Data Analytics · Evidence-Based Software Quality Engineering · Software Quality Education and Training · Quality in Cyber-Physical Systems · Quality Aspects in Quantum Computing · PhD Symposium (SEDES) The conference will also have an Industrial Day to foster the dissemination of best practices and to allow a lively discussion of hot topics and quality concerns in specific application domains. During the Industrial Day conference sponsors will share their knowledge and promote hands-on contact with new software tools. ====== PUBLICATION As with previous years, QUATIC'2021 proceedings will be published in a volume of Springer CCIS Series (Communications in Computer and Information Science). CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for inclusion in ISI Proceedings. The organizers are presently negotiating a journal special issue for extended versions of the best papers. In 2020 there was an associated special issue with the Software Quality Journal. ====== IMPORTANT DATES · Full paper submission: April 10th, 2021 · Notification for full papers: May 7th, 2021 · Camera-ready (full papers): May 31st, 2021 · Short papers submission: May 25th, 2021 · Notification for Short papers: June 15th, 2021 · Doctoral Symposium submissions: May 25th, 2021 · Notification for Doctoral Symposium papers: June 15th, 2021 · Camera-ready (short and Doctoral Symposium): June 30th, 2021 ====== KEYNOTES · Martin Shepperd, Brunel University London, UK · Manuel Wimmer, Johannes Kepler University Linz, Austria · Industry Keynote: Jaime Jorge, Codacy, Portugal ====== PROGRAM CHAIRS · Ana Paiva, Faculty of Engineering of the University of Porto, Portugal · Ana Cavalli, Institut Polytechnique Paris / Telecom SudParis, France ====== TRACK CHAIRS ICT Verification and Validation - Francesca Lonetti (CNR, Italy) Safety, Security, and Privacy - Valentina Casola (University of Naples Federico II, Italy) Process Modeling, Improvement and Assessment - Karol Frühauf (INFOGEM AG, Switzerland) ICT Requirements Engineering - Luiz Marcio Cysneiros, York University, Toronto, Canada, and Vera Werneck, State University of Rio de Janeiro, Brazil Model-Driven Engineering - Antonio Cicchetti, Mälardalen University, Sweden Quality in Cyber-physical Systems - Shaukat Ali, Simula Research Laboratory, Norway Software Evolution - Nicolas Anquetil, INRIA & University of Lille, France Quality Aspects in Machine Learning, AI and Data Analytics - Shuo Wang, University of Birmingham, United Kingdom Quality Aspects in Quantum Computing - Manuel Serrano, UCLM, Spain Evidence-Based Software Quality Engineering - Fernando Brito e Abreu, Iscte - Instituto Universitário de Lisboa, Portugal Software Quality Education and Training - Claudia Werner, Federal University of Rio de Janeiro, Brazil and Kathia Oliveira, Université Polytechnique Hauts-de-France, France PhD Symposium (SEDES) - Miguel Goulão, Universidade Nova de Lisboa, Portugal -------------- next part -------------- An HTML attachment was scrubbed... URL: From thanh.dinhvan at gmail.com Thu Feb 4 09:31:51 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Thu, 4 Feb 2021 15:31:51 +0700 Subject: [fg-arc] KR 2021: Call for Workshop and Tutorial Proposals Message-ID: Call For Tutorial And Workshop Proposals 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) solicits proposals for its tutorial and workshop programme. Tutorials and workshops will be held on the days of 6-8 November 2021, prior to the KR main technical program. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** Submission Requirements for Tutorial Proposals ** KR tutorials are half-day or (exceptionally) full-day events that introduce general or special topics in KR and relevant neighboring areas. They can be first introductions to an established area or an emerging field, but also advanced courses on specialised methods or new approaches. The content should be adequately established and balanced, and not be limited to advertising an individual research work or product. A focus on specific tools and methodologies can still be useful to offer concrete examples and hands-on activities to participants. Each tutorial proposal should contain the following information: - Short title, presenters and proposed length (half-day is recommended, but an argument can be made for a full-day tutorial) - A half-page introduction to the tutorial's subject and relevance to KR - A half-page on the target audience, prerequisite knowledge, and learning goals - One page outline of the tutorial contents and intended structure - A brief resume of each presenter including name, affiliation, email address,   and evidence of scholarship in the area, mentioning relevant publications or   professional experience The main duties of the tutorial organizers are: - Setup a web-page for the tutorial, which should at least include the   information from the proposal, tutorial materials and related references. - Deliver the tutorial at KR 2021. Virtual presentation will be allowed. Each accepted tutorial will entitle a discount on the KR registration fee for one tutorial presenter. ** Submission Requirements for Workshop Proposals ** Workshops provide a place to exchange ideas in emerging fields in KR research and application. They can take many forms, including mini-conferences (with peer-reviewed publications), competitions, working sessions (discussions, hackathons, etc.), line-ups of invited contributions, or a mix of these. Innovative formats are welcome, but organizers must provide means of estimating attendance and required length up-front (by number of submissions, invited speakers, or early registered participants). Workshop proposals can use up to 4 pages, which should include the following information: - Title and acronym of the workshop, - Workshop description: goals, format, and expected activities during the   workshop; proposed duration (half day, one day, ...), - Audience: target audience, research groups in the area, planned or confirmed   speakers, expected number of submissions/participants, - Related events: history of the workshop (if applicable), relationship to   recent similar events, - Tentative list of PC members with their respective affiliations, - A brief resume of each organizer including name, affiliation, contact   details, and evidence of scholarship in the area, mentioning relevant   publications or professional experience. - Appendix: Tentative call for contributions The main duties of the chair of each accepted workshop are: - Set up a webpage for the workshop, - Advertise the workshop and distribute its call for papers/participation, - Coordinate the peer-reviewing of submitted contributions, - If workshop proceedings are desired, it is the duty of the organizers to   produce and distribute their workshop proceedings, - Organize a schedule for the workshop in collaboration with the local   organizers and the KR workshop co-chairs, and - Coordinate and moderate the workshop participation and content. We do not require workshop organizers to commit to physically attending the conference and will work with them to find a suitable (hybrid or fully virtual) format for each workshop. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** Submission Instructions ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically to the Workshop and Tutorial track of KR 2021 via EasyChair: https://easychair.org/conferences/?conf=kr2021 For all accepted proposals, KR will take care of all local and/or virtual arrangements. ** Important Dates ** Proposal submission deadline: 17 March 2021 Notification: 20 April 2021 Workshop paper submission deadline: 2 July 2021 Workshop paper notification: 6 August 2021 Workshop registration deadline: TBA Tutorial and workshop dates: 6-8 November 2021 ** Remote Participation Due to Covid-19 Pandemic ** We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing tutorial and workshop presenters to present remotely, and we will work with workshop organizers to find a suitable (hybrid or fully virtual) format for each workshop. Inquiries should be sent by email to the KR 2021 Tutorial and Workshop Chairs: Markus Krötzsch and Yongmei Liu kr21-workshops-tutorials at easychair.org From gauthier.picard at onera.fr Thu Feb 4 14:34:31 2021 From: gauthier.picard at onera.fr (Gauthier Picard) Date: Thu, 4 Feb 2021 14:34:31 +0100 Subject: [fg-arc] CFP [OptLearnMAS 2021] The 12th International Workshop on Optimization and Learning in Multi-Agent Systems Message-ID: [Apologies for cross-posting. Please share with anyone may be interested] The 12th Workshop on Optimization and Learning in Multiagent Systems (OptLearnMAS'21) To be held in conjunction with the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Online, from May 3-7, 2021. ======================================================= This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. OptMAS 2021 website: https://optlearnmas21.github.io/ Workshop submission site: https://easychair.org/conferences/?conf=optlearnmas21 Important dates --------------- * March 3, 2021 – Submission Deadline * April 3, 2021 – Acceptance notification * April 30,2021 – AAMAS/IJCAI Fast Track Submission Deadline * May 1, 2021 – AAMAS/IJCAI Fast Track Acceptance Notification * May 3 or 4, 2021 – Workshop Date Background ---------- Stimulated by emerging applications, such as those powered by the Internet of the Things, critical infrastructure network, and security games, intelligent agents commonly leverage different forms optimization and/or learning to solve complex problems. The goal of the workshop is to provide researchers with a venue to discuss techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions, and algorithms to compute Nash and other equilibria in games. This year, the workshop will have a special focus on contributions at the intersection of optimization and learning. For example, agents which use optimization often employ machine learning to predict unknown parameters appearing in their decision problem. Or, machine learning techniques may be used to improve the efficiency of optimization. While submissions across the spectrum of multi-agent optimization are welcome, contributions at the intersection with learning are especially encouraged. Keywords -------- Topics include but are not limited to the theory and applications of:     * Optimization for learning agents     * Learning for multiagent optimization problems     * Distributed constraint satisfaction and optimization     * Winner determination algorithms in auctions     * Coalition formation algorithms     * Algorithms to compute Nash and other equilibria in games     * Optimization under uncertainty     * Optimization with incomplete or dynamic input data     * Algorithms for real-time applications     * Cloud, distributed and grid computing     * Learning and Optimization in Societally Beneficial Domains Submission Information ---------------------- Submission URL: https://easychair.org/conferences/?conf=optlearnmas21 Submission Types:     * Technical Papers: Full-length research papers of up to 7 pages (excluding references and appendices) detailing high quality work in progress or work that could potentially be published at a major conference.     * Short Papers: Position or short papers of up to 4 pages (excluding references and appendices) that describe initial work or the release of privacy-preserving benchmarks and datasets on the topics of interest. Fast Track (Rejected AAMAS or IJCAI papers): Rejected AAMAS or IJCAI papers with *average* scores of at least 5.0 may be submitted directly to OptLearnMAS along with previous reviews. These submissions will not undergo the regular review process, but a light one, performed by the chairs, and will be accepted if the previous reviews are judged to meet the workshop standard. All papers must be submitted in PDF format, using the AAMAS-21 author kit. Submissions should include the name(s), affiliations, and email addresses of all authors. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. Submissions of papers rejected from the AAMAS 2021 and IJCAI 2021 technical program are welcomed. For questions about the submission process, contact the workshop chairs. Reviewing process ----------------- Papers will be reviewed by at least 2 program committee members. Criteria for selection of papers will include technical quality, novelty, significance, and clarity. Format ------ The workshop will be a one-day meeting. It will include a number of (possibly parallel) technical sessions, a virtual poster session where presenters can discuss their work, with the aim of further fostering collaborations, multiple invited speakers covering crucial challenges for the field of multiagent optimization and learning and will conclude with a panel discussion. Attendance ---------- Attendance is open to all. At least one author of each accepted submission must be present at the workshop. Organizing committee --------------------     * Ferdinando Fioretto - Syracuse University, NY, USA     * Gauthier Picard - ONERA, Toulouse, France     * Amulya Yadav - Penn State University, PA, USA     * Bryan Wilder - Harvard University, MA, USA Programme Committee -------------------     * Ana L. C. Bazzan - Universidade Federal do Rio Grande do Sul     * Filippo Bistaffa - IIIA-CSIC     * Alessandro Farinelli - Computer Science Department, Verona University     * Tal Grinshpoun - Ariel University     * Md. Mosaddek Khan - University of Dhaka     * Rene Mandiau - LAMIH, Université de Valenciennes     * Zinovi Rabinovich - Nanyang Technological University     * Juan Antonio Rodriguez Aguilar - IIIA-CSIC     * Marius Silaghi - FIT     * William Yeoh - Washington University in St. Louis     * Makoto Yokoo - Kyushu University     * Roie Zivan - Ben Gurion University of the Negev     * Maryam Tabar - Penn State University     * Hangzhi Guo - Penn State University -- Gauthier Picard, PhD, HDR Senior Research Fellow ONERA - DTIS - SYD BP74025 - 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4 Tel. +33 (0)5 62 25 26 54 -------------- next part -------------- An HTML attachment was scrubbed... URL: From jens.knodel at caruso-dataplace.com Mon Feb 8 07:37:26 2021 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Mon, 8 Feb 2021 06:37:26 +0000 Subject: [fg-arc] WSRE2021: Call for Paper, 03.-05. Mai 2021 Message-ID: WSRE 2021, 03.-05. Mai 2021, Physikzentrum Bad Honnef Call for Papers =============================================== 23. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 3.-5. Mai 2021 https://fg-sre.gi.de/veranstaltung/23-workshop-software-reengineering-evolution Warum der WSRE? ==== Unser Ziel ist die Förderung der Zusammenarbeit und der Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen „Software-Reengineering“, „Software-Wartung“ und „Software-Evolution“. Darunter verstehen wir prinzipiell alle Aktivitäten rund um die Analyse, Bewertung, Visualisierung, Verbesserung, Migration und Weiterentwicklung von Software-Systemen. Wir laden Forscher*innen und Praktiker*innen herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden und Werkzeuge in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. Was ist dieses Jahr besonders? ==== - Vorträge: Einblick, Rückblick, und Ausblick auf interessante Arbeiten und Ergebnisse rund ums Software-Reengineering und verwandte Themen aus Forschung und Praxis. Lernen und diskutieren! - Networking: Interaktive Programmpunkte zum direkten Austausch und zur Vernetzung zwischen den Teilnehmer*innen inklusive Social Events und Conference Dinner – und weiteren Überraschungen! - 12. Workshop "Design For Future" des Arbeitskreises L2S2 "Langlebige Softwaresysteme" als Track des WSRE mit eigenem Call: http://akl2s2.ipd.kit.edu/veranstaltungen/dff2021/ - White Paper Session: Wir ordnen für die Fachöffentlichkeit das Gebiet Software-Reengineering und -Evolution ein. Dafür diskutieren und gestalten wir gemeinsam die Inhalte eines White Papers. Wann und wo? ==== Der Workshop findet vom 3.-5. Mai 2021 im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer*innen erfolgt wie üblich im Physikzentrum: https://www.dpg-physik.de/dpg/pbh/ Aufgrund der möglicherweise geltenden Corona-Bestimmungen behalten wir uns kurzfristige Änderungen am Format (hybrid, virtuell) und, falls notwendig, auch am Termin und Ort des Workshops vor. Information dazu werden über die Webseite und die Mailingliste https://fg-sre.gi.de/weiteres/mailingliste bereitgestellt. Wie reiche ich einen Beitrag ein? ==== Eingereicht werden können Erfahrungs-, Ergebnis- und Projektberichte sowie Diskussionsbeiträge aus der Wissenschaft. Einreichung bitte über die EasyChair: https://easychair.org/conferences/?conf=wsre2021 Mögliche Themen sind u.a. Software-Analyse und -Transformation, Software-Qualität und Metriken, (intelligente) Wissensgewinnung aus Software-Repositorien, Software-Visualisierung, Analyse- und Reengineering-Werkzeuge, Continuous-Development-Ansätze, Wartung und Refactoring, Software-Migration und -Modernisierung, Modelle, Methoden, Prozesse für Reengineering und Software-Evolution, empirische Forschung und der Faktor Mensch im Reengineering, Wirtschaftlichkeit von Reengineering-Maßnahmen. Als Beiträge werden erweiterte Kurzfassungen in deutscher oder englischer Sprache auf maximal zwei Seiten im Format der Softwaretechnik-Trends erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE und Hinweise zum Format unter http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html Wie ist der Zeitplan? ==== - Einreichung der Kurzfassungen: 05. März 2021 - Benachrichtigung über die Annahme: 19. März 2021 - Einreichung der druckfertigen Endfassung: 02. April 2021 - Anmeldeschluss zur Teilnahme: 09. April 2021 Organisatoren: ===== Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? wsr at uni-koblenz.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Sat Feb 6 00:20:48 2021 From: fm-announcements at lists.nasa.gov (Munoz, Cesar (LARC-D320) via fm-announcements) Date: Fri, 5 Feb 2021 23:20:48 +0000 Subject: [fg-arc] [fm-announcements] Formal Methods for Industrial Critical Systems 2021 CfP Message-ID: <27DB4C65-76BE-4CFC-BC8B-685D97852842@nasa.gov> **************************************************************** The 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021) https://qonfest2021.lacl.fr/fmics21.php **************************************************************** About ------------------------- The aim of the FMICS conference series (http://fmics.inria.fr/) is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. FMICS 2021 is part of the QONFEST umbrella conference comprising: - FMICS 2021: 26th International Conference on Formal Methods for Industrial Critical Systems - CONCUR 2021: 32nd International Conference on Concurrency Theory - FORMATS 2021: 19th International Conference on Formal Modeling and Analysis of Timed Systems - QEST 2021: 18th International Conference on Quantitative Evaluation of SysTems QONFEST takes place from August 23 to August 27, 2021. Topics ------------------------- Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums. New this year! Special track papers on Formal Methods for Blockchain-based Smart Contracts ------------------------- We invite submissions in topics related to the formal specification, analysis, and verification of blockchain-based smart contracts. For this occasion, the Program Committee has been enlarged with experts from the blockchain domain. Formatting instructions and the review procedure are the same as the ones for regular papers. However, the authors will need to specifically indicate their interest in the special track during the submission. Papers accepted for the special track will be included in a special session at FMICS 2021 along with a panel on this topic, while they will be published in the conference proceedings together with papers accepted for the regular track. Submission and Publication ------------------------- We welcome contributions of different categories: - Regular papers that describe original research work and results. Length: 15 pages + 2 pages of references. - Short papers that describe work-in-progress, or positions on the future of formal methods. Length: 6 pages + 2 pages of references. - Tool papers that describe software artefacts. The paper must contain a link to a publicly available video of at most 10 minutes length. Length: 6 pages + 2 pages of references. - Journal-first papers that summarize a paper recently published in a journal and not yet presented in a conference. The main aim of this category is to allow authors present archived work in a public forum. The original journal paper should have been published between January 1st, 2020 and the date of submission. Length: 2 pages + 1 page of references. With the exception of the journal-first category, submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial application. Case-Deastudy papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Submissions should be formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee members who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2021 The conference proceedings will be published by Springer in the LNCS series. Contributions of the journal-first category will not be included in the proceedings. Authors should consult Springer’s authors guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. At least one author of each accepted paper is expected to present the paper at the conference as a registered participant. Best paper award: A Springer-sponsored award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2021 Best Paper. Special issue: The Program Committee of FMICS 2021 will invite a selection of accepted papers to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). Concerning the COVID-19 Pandemic: ------------------------- Due the pandemic situation, the organization committee of QONFEST 2021 decided that all conferences will take place online. Important Dates ------------------------- Abstract submission: May 7, 2021 Paper submission: May 14, 2021 (23:59:59 AoE) Author notification: June 28, 2021 Camera-ready version: July 5, 2021 Conference: August 23-27, 2021 NOTE: the actual conference dates will be announced on the webpage. Most likely, it will be 2-3 days within the QONFEST week (August 23-27, 2021) Keynote Speaker ------------------------- Joe Kiniry (Galois Inc. and Free & Fair, US) PC Chairs ------------------------- Alberto Lluch Lafuente (Technical University of Denmark, DK) Anastasia Mavridou (KBR/ NASA Ames Research Center, US) PC Members ------------------------- Erika Abraham (RWTH Aachen University, DE) Massimo Bartoletti (University of Cagliari, IT) Maurice ter Beek (ISTI-CNR, IT) Simon Bliudze (INRIA, FR) Yu-Fang Chen (Academia Sinica, TW) Silvia Crafa (University of Padova, IT) Hubert Garavel (INRIA, FR) Diego Garbervetsky (University of Buenos Aires/CONICET, AR) Ákos Hajdu (Budapest University of Technology and Economics, HU) Klaus Havelund (NASA JPL, US) Anne Haxthausen (Technical University of Denmark, DK) Fritz Henglein (University of Copenhagen/ Deon Digital , DK) Fuyuki Ishikawa (National Institute of Informatics, JP) Xiaoqing Jin (Apple Inc., US) Joe Kiniry (Galois Inc. and Free & Fair, US) Thierry Lecomte (ClearSy, FR) Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE) Diego Marmsoler (University of Exeter, UK) Radu Mateescu (INRIA, FR) Dejan Nickovic (Austrian Institute of Technology, AT) Corina Pasareanu (CMU/ NASA Ames Research Center, US) Anna Philippou (University of Cyprus, CY) Jaco van de Pol (Aarhus University, DK) Clara Schneidewind (Vienna University of Technology, AT) Cristina Seceleanu (Mälardalen University, SE) Carolyn Talcott (SRI International, US) Virginie Wiels (ONERA / DTIM, FR) Steering Committee ------------------------- Maurice ter Beek (ISTI-CNR, IT) Alessandro Fantechi (University of Florence, IT) Hubert Garavel (INRIA, FR) Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE) Radu Mateescu (INRIA, FR) Jaco van de Pol (Aarhus University, DK) -------------- 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 announce at cs.ucy.ac.cy Sat Feb 6 11:00:03 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 6 Feb 2021 12:00:03 +0200 Subject: [fg-arc] First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021): Second Call for Papers Message-ID: <2XFD06N-4XGL-1J86-E1PO-LAZWZHJ44MP4@cs.ucy.ac.cy> *** Second Call for Papers *** First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021) November 8-10, 2021, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/ihaw2021/ (Proceedings to be published by Springer) ICT for Health, Accessibility and Wellbeing (IHAW 2021) is the first of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: · AI and Cognition, Cognitive Mechatronics, Human-Machine Interaction, Cobotics, Model-based design and configuration tools for healthcare and well-being, AI methods for medical device testing · Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self-management, patient-centered systems for survivorship, palliation and/or end-of-life care) · Precision medicine · ICT for in-silico trials · Implantable medical devices · Computational methods for medical device · Models for human-device interaction for medicine · Systems promoting access to the socio-economical and cultural environment · Age-friendly systems for active and healthy aging (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection) · Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments · ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition) · Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention) · New experimental validation methods with end-users · Standardization, certification, labeling, privacy, security and communication issues (related to aging well, to sensory impairment) High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Early works and works- in-progress are invited to submit a short or demo paper. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite three types of paper submissions: 1. Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field 2. Short papers, up to 6 pages, describing original unpublished research, making a small but solid contribution to the field 3. Demos, up to 4 pages, describing innovative tools that address topics relevant to the conference All submissions will be reviewed by the Program Committee. Accepted contributions will appear in the archival proceedings of IHAW 2021, published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899), and will be presented in plenary sessions of the conference. The authors of the best papers accepted for IHAW2021 will be invited to submit extended versions for a journal special issue (currently under negotiation). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and should specify on the first page the type of submission ("R&T", "Short", "Demo"). The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/conferences/?conf=icihaw2021 . Important Dates · Submission Deadline: June 7, 2021 (AoE) · Notification: August 23, 2021 · Camera-Ready Submission Deadline: September 6, 2021 · Author Registration Deadline: September 6, 2021 Organizers Honorary General Chair · Edwige Pissaloux, University of Rouen Normandy, France General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair · Salim Bouhlel, University of Sfax, Tunisia Scientific Vice-Chair · Achilleas Achilleos, Frederick University, Cyprus Publicity Chair · Ramiro Velazquez, Universidad Panamericana, Mexico Finance Chair · Petros Stratis, Easy Conferences LTD., Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Feb 7 10:47:10 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 7 Feb 2021 11:47:10 +0200 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): Last Joint Call for Doctoral Consortium, Posters & Demos, Research Projects and Tutorials Message-ID: *** Last Joint Call for Doctoral Consortium, Posters & Demos, Research Projects and Tutorials *** 15th International Conference on Research Challenges in Information Science (RCIS 2021) May 12-14, 2021, Virtual Event! http://www.rcis-conf.com/rcis2021/ Submission deadline (except tutorials): February 19, 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, as a virtual event. The topics of interest are organized into some major categories (more details in the call for papers http://www.rcis-conf.com/rcis2021/callPapers.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 19, 2021 (AoE) (extended!) · 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.rcis-conf.com/rcis2021/callDoctoral.php . Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): https://www.springer.com/gp/computer-science/lncs/conference-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 https://easychair.org/my/conference?conf=rcis2021 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, EPFL, Switzerland 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 (https://www.springer.com/gp/computer-science/lncs/conference-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.rcis-conf.com/rcis2021/ where you can choose the "RCIS2021 Posters & Demos" track. More details on the submission and presentation format is online: http://www.rcis-conf.com/rcis2021/callPostersDemo.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.rcis-conf.com/rcis2021/callPapers.php . The submission site address is https://easychair.org/my/conference?conf=rcis2021 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.rcis-conf.com/rcis2021/researchProjects.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.rcis-conf.com/rcis2021/callPapers.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): https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission site address is https://easychair.org/my/conference?conf=rcis2021 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.rcis-conf.com/rcis2021/tutorials.php . Tutorial Chairs · Sergio España, Utrecht University, The Netherlands · Patricia Martín-Rodilla, University of A Coruna, Spain 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 thanh.dinhvan at gmail.com Sun Feb 7 17:16:31 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Sun, 7 Feb 2021 23:16:31 +0700 Subject: [fg-arc] Call for Papers: Special Session on KR & Machine Learning (KR2021) Message-ID: <181a366b-4bdb-ca78-c84d-53142b43b09f@gmail.com> Call for Papers **Special Session on Knowledge Representation and Machine Learning** at the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de ------------------ Important Dates ------------------ Submission of title and abstract:     March 24, 2021 Paper submission deadline:         March 31, 2021 Author response period:         May 24-26, 2021 Notification:                 June 15, 2021 Camera-ready papers:             July 14, 2021 Conference dates:             November 6-12, 2021 ----------- Description ----------- Over the last two decades, Machine Learning (ML) has made incredible progress and become very effective at solving specific tasks while being robust across many experimental learning applications. Deep learning, statistical (relational) learning, reinforcement learning and logic-based and/or probabilistic learning are among the many ML approaches that are witnessing such advancements. On the other hand, Knowledge Representation and Reasoning (KR) has continued to be at the core of Artificial Intelligence (AI) research providing solutions for explicit declarative representation of knowledge and knowledge-based inference, which have theoretical and practical relevance in many aspects of AI as well as in new emerging fields outside AI. The synergy between these two areas of AI has the potential to lead to new advancements on the foundations of AI that offer novel insights into open fundamental challenges including, but not limited to, learning symbolic generalisations from raw (multi-modal) data, using knowledge to facilitate data-efficient learning, supporting interpretability of learned outcomes, federated multi-agent learning and decision making. This year, for the second time, KR2021 will host a special session on "Knowledge Representation and Machine Learning". This special session aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to computational learning and symbolic knowledge representation and reasoning. This special session provides the opportunity for fostering meaningful connections between researchers from these two main areas of AI and, at the same time, offering the possibility to learn about progress made on these topics, share their own views and learn about approaches that could lead to effective cross-fertilisation among research in ML and KR and new innovative solutions to key AI research challenges. ---------------------- Expected contributions ---------------------- The Special Session on KR and ML at KR2021 invites submissions of papers across KR and ML on advancements in one of these areas for the purpose of addressing open research challenges in the other, integration of computational learning and knowledge representation and reasoning, and the application of combined KR and ML approaches to solve real-world problems, including case studies and benchmarks. We welcome papers on a wide range of topics, including but not limited to: -- Learning ontologies and knowledge graphs -- Learning action theories -- Learning common-sense knowledge -- Learning spatial and temporal theories -- Learning preference models -- Learning causal models -- Learning tractable probabilistic models -- Probabilistic reasoning and learning -- Graphical models for knowledge representation and reasoning -- Reasoning and learning over knowledge graphs -- Logic-based learning algorithms -- Neural-symbolic learning -- Interplay between logic & neural and other learning paradigms (e.g., logics for reasoning about neural networks, embedding of logical reasoning in neural paradigms) -- Statistical relational learning -- Multi-agent learning -- Machine learning for efficient knowledge inference -- Symbolic reinforcement learning -- Learning symbolic abstractions from unstructured data -- Machine-learning-driven reasoning algorithms -- Explainable AI -- Transfer learning -- Multi-agent learning -- Expressive power of learning representations -- Knowledge-driven natural language understanding and dialogue -- Knowledge-driven decision making -- Knowledge-driven intelligent systems for internet of things and cybersecurity -- Application of knowledge-driven ML to question answering and story understanding -- Application of knowledge-driven ML to Robotics --------------------------------------------- Submission Guidelines and Evaluation Criteria --------------------------------------------- The special session emphasizes KR and ML, and welcomes contributions that extend the state of the art at the intersection of KR and ML. Therefore, KR-only or ML-only submissions will not be accepted for evaluation in this special session. Submissions will be rigorously peer reviewed by PC members who are active in KR and ML. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. In this special session, the selection process of the highest quality papers will apply the following criteria: * Importance and novelty of using knowledge representation and reasoning to advance machine learning, or novelty of using machine learning solutions to advance knowledge representation and reasoning. * Applicability of the proposed solutions in real-world. * Reusability of datasets, case studies and benchmarks for systems and/or application papers. * Proved theoretical or empirically demonstrated practical advancement of the proposed solution with respect to baseline pure KR or ML approaches. Details on formatting and submission can be found on the KR21 website. -------------------------------------------------- Remote Participation Due to the Covid-19 Pandemic -------------------------------------------------- We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------ Chairs ------    Vaishak Belle (University of Edinburgh, UK)    Luc De Raedt (KU Leuven, Belgium) From thanh.dinhvan at gmail.com Sun Feb 7 03:27:08 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Sun, 7 Feb 2021 09:27:08 +0700 Subject: [fg-arc] Call for Papers: Recently Published Research (KR2021) Message-ID: Call for Papers *Recently Published Research Track* at the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de ------------------ Important Dates ------------------ Submission deadline: June 27, 2021, Notification: July 30, 2021 Conference: November 6-12, 2021 ------------------ The 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, invites submissions of abstracts of papers previously published in journals and conference proceedings for the Recently Published Research Track. The track is designed to provide a forum to discuss recent research on topics related to KR that may not be immediately familiar or easily accessible to the KR community. The track seeks papers that fall into one or both of the following two categories: 1) Papers that -- bridge KR to other areas of AI, computer science, or to other disciplines for which an interface with KR exists (this includes database theory, game theory, social choice, logic and philosophy, etc.); -- bridge KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding, machine learning, explainable AI; or -- go beyond the commonly-understood boundaries of KR. 2) Papers that are tightly related to KR and -- have been published in journals but have not been presented at workshops or conferences; -- have been presented at conferences that are not typically attended by the KR community; or -- have been accepted at general high-profile AI conferences such as IJCAI, ECAI, or AAAI, where the time allotted has not allowed for full discussion of all key aspects of the paper. Submitted papers need only be of interest to a subcommunity in KR (like DL, argumentation, NMR, etc.). However, they need to be made friendly to a KR audience. Submission materials: — A cover page (single page) listing the title, the authors, a complete reference to the original paper, and a public or privately accessible url from which the paper can be downloaded. A list of keywords is also expected. Finally, the cover page must contain a statement that the work the submission is based on has not been already presented to a KR audience in a major forum. — A one-page (preferred) and no more than two-page extended abstract of the paper following the format for regular paper KR 2021 submissions. The abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results. — A single pdf file with the materials should be submitted to the KR submission site at EasyChair. The authors should mark the submission as Recently Published Research. Submissions must meet the following criteria: a. Candidate papers must have been published in a journal or a conference proceedings in 2019 or later. b. Papers that are in press may be submitted as long as the final camera-ready version is available. c. Extensions of papers that have been previously presented at a KR conference are not eligible for this track. Extended abstracts of the accepted papers will be linked from the conference website. Authors of accepted papers will present their work at the KR conference, focussing on its significance and relevance to KR. Significant time will be allocated for discussion of the interdisciplinary aspects of the work and its potential impact on future research opportunities for KR. Due to the ongoing global Covid-19 pandemic, we understand that not all authors may be able to attend the KR 2021 physically, so we commit to allowing authors to give their talks and participate remotely. For any questions regarding suitability of a submission or any other aspect of the track, please email the special track program co-chairs: Vladimir Lifschitz, vl at cs.utexas.edu Pierre Marquis, marquis at cril.univ-artois.fr From thanh.dinhvan at gmail.com Sun Feb 7 15:19:01 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Sun, 7 Feb 2021 21:19:01 +0700 Subject: [fg-arc] Call for Papers: Applications and Systems Track (KR2021) Message-ID: CALL FOR PAPERS *Applications and Systems Track* of the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de/ ------------------ Important Dates ------------------ Submission of title and abstract: March 24, 2021 Paper submission deadline: March 31, 2021 Author response period: May 24-26, 2021 Notification: June 15, 2021 Camera-ready papers: July 14, 2021 Conference dates: November 6-12, 2021 ------------------ Description ------------------ Systems and applications incorporating Knowledge Representation and Reasoning (KR) have made tremendous progress over the last decades and become more and more pervasive in scientific, industrial and everyday life. Popular knowledge representation formalisms range from databases, ontologies, classical, probabilistic and non-monotonic logics to natural language, offering rich means to describe a variety of static as well as dynamic phenomena. Automated reasoning systems harness machine learning, combinatorial search and optimization methods, planning, proving, design and diagnosis techniques to provide powerful tools for analyzing and deriving conclusions from complex input data. Novel, general and interdisciplinary approaches are thus vital contributions at the intersection of science, industry and society, aiming to enhance the capabilities and outreach of KR principles and technologies. This year, for the second time, KR 2021 will host a track on "Applications and Systems". This track aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to applications of KR formalisms and automated reasoning systems. This track provides the opportunity for fostering meaningful connections between researchers from both practical and theoretical areas of AI and, at the same time, offers participants the possibility to learn about progress made on these topics, share their own views and elaborate about approaches that could lead to effective cross-fertilisation among research in challenging KR applications and new innovative systems for solving them. ------------------ Expected Contributions ------------------ The Applications and Systems Track at KR 2021 invites submissions of papers on all aspects of the development, deployment, and evaluation of KR systems to solve significant and challenging application problems, including * case studies, including suitable descriptions of the problem setting, data and tools used, and “lessons learnt”,
 * use cases, including task specifications, related tasks/approaches, challenges, and a sketch of possible KR solution,
 * benchmarks, including suitable descriptions of the dataset, reasoning tasks, and ideally some “solution set” or gold standard,
 * system descriptions, including descriptions of the algorithm, implementation and empirical evaluation on a suitable dataset.
 We welcome the above kinds of papers on a wide range of topics, including classic KR tools/techniques as well as their usage for solving or supporting tasks in a range of areas, for example: * Computational Biology
 * Computer Vision and Image/Video Recognition
 * Creative Computing
 * Cybersecurity and Blockchain
 * Data Analytics
 * Databases and Query Answering
 * Diagnosis and Explanation
 * Game Theory and Social Choice
 * Intelligent Transportation and Logistics
 * Intelligent User Interfaces
 * Internet of Things
 * Machine Learning
 * Natural Language Processing
 * Digital Forensics
 * Robotics and Human Robot Collaboration
 * Semantic Web and Knowledge Graphs
 * Software Engineering
 * System Design
 We welcome submissions talking about interdisciplinary applications of KR, for example in economics, education, life sciences, medicine, and pharmacology. ------------------ Submission Guidelines and Evaluation Criteria ------------------ The Applications and Systems Track will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the instructions on the KR2021 website. The track emphasizes applications of KR and development of KR systems, and welcomes contributions showcasing the impact of KR research as well as driving future research by presenting challenging data, use cases and problems together with observations and insights gained. Submissions will be rigorously peer reviewed by PC members, who are active in applications of KR and/or development of KR systems. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. In this track, the selection process of the highest quality papers will further apply the following criteria: - (for case studies) quality of the evaluation and significance of the “lessons learnt”
 - (for use cases) importance and novelty of these use cases for KR
 - (for system descriptions) quality of the empirical evaluation and its reporting
 - (for benchmarks) reusability, coverage, and complexity of the datasets
 ------------------ Remote Participation Due to the Covid-19 Pandemic ------------------ We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------------------ Chairs ------------------ Martin Gebser (University of Klagenfurt & Graz University of Technology, Austria) Martin.Gebser at aau.at Uli Sattler (University of Manchester, UK) Uli.Sattler at manchester.ac.uk From juergen.cito at tuwien.ac.at Wed Feb 10 14:27:35 2021 From: juergen.cito at tuwien.ac.at (=?iso-8859-1?Q?Cito=2C_J=FCrgen?=) Date: Wed, 10 Feb 2021 13:27:35 +0000 Subject: [fg-arc] Call for applications - Full Professorship in Software Engineering at TU Wien Message-ID: <5DC067AC-BF4B-4C68-A771-B65805628E35@tuwien.ac.at> Call for applications - Full Professorship in Software Engineering at TU Wien The Faculty of Informatics at TU Wien would like to further strengthen its profile in various subdisciplines of software engineering, hence, we would be more than delighted if you consider applying for this position. The successful candidate should have an excellent research track record in one or more of the following areas (but not limited to): - Software Analysis, Testing, and Resiliency - Software Design and Architecture - Software Maintenance and Evolution - Software Variability - Software Model Engineering and Domain Specific Languages - Requirements Engineering - Data-intensive, empirical, and search-based Software Engineering Detailed information is available at https://informatics.tuwien.ac.at/news/1986. Applications should be directed to https://jobs.tuwien.ac.at/Job/144154. Application deadline: March 31, 2021. -------------- next part -------------- An HTML attachment was scrubbed... URL: From thanh.dinhvan at gmail.com Tue Feb 9 14:17:06 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Tue, 9 Feb 2021 20:17:06 +0700 Subject: [fg-arc] Call for Papers: Special Session on KR & Robotics (KR2021) Message-ID: <88568a07-cd1b-79a2-0f78-065ad6c7d310@gmail.com> CALL FOR PAPERS **Special Session on Knowledge Representation and Robotics** at the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de/ ------------------ Important Dates ------------------ Submission of title and abstract:         March 24, 2021 Paper submission deadline:                 March 31, 2021 Author response period:                 May 24-26, 2021 Notification:                                 June 15, 2021 Camera-ready papers:                         July 14, 2021 Conference dates:                         November 6-12, 2021 ------------------ Much progress has been made in robotics through the introduction of machine learning, often leading to autonomous systems that are effective but opaque with inexplicable behaviours. Many applications, however, require robots to explicitly capture knowledge and reason with it in order to achieve high-level cognitive skills. This special session is devoted to exploring the intersection of Knowledge Representation and Robotics. Papers are solicited in all areas of this intersection.  In particular, we welcome papers that extend knowledge representation techniques to cope with the challenges posed by interacting with the physical world, such as: - dealing with uncertain, incomplete or contradictory information; - reasoning with time, space and perceptions; - grounding representations in the physical world; - combining discrete and continuous representations; - reasoning with bounded computational resources; - trustworthy and accountable robot behaviours; and - social intelligence for robots in human-centric environments. Robots are the archetypical integrated cognitive systems.  Thus, we also welcome papers that address the integration of knowledge representation into whole robotic systems, such as: - integrating knowledge representation and machine learning; - integrating symbolic and sub-symbolic approaches; - integrating reasoning about actions and control; or - cognitive robot architectures. Finally, we welcome papers that show concrete examples where real robotic systems benefit from knowledge representation, for instance in: - sensor interpretation and understanding; - human-robot interaction; - multi-robot planning and coordination; or - dealing with errors and unexpected situations. ------------------ Information for Authors ------------------ The Special Session on KR & Robotics will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the instructions on the KR2021 website. The special session emphasizes KR & Robotics, and welcomes contributions that extend the state of the art at the intersection of KR & Robotics. Therefore, KR-only or Robotics-only submissions will not be accepted for evaluation in this special session. Submissions will be rigorously peer reviewed by PC members who are active in KR & Robotics.  Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. ------------------ Remote Participation Due to the Covid-19 Pandemic ------------------ We understand that the global public health situation may make it difficult or impossible for some, if not all, participants to travel to Hanoi. For this reason, we commit to allowing authors of accepted papers to present virtually and will work hard to enable the best possible experience for all conference participants. ------------------ Chairs ------------------ Alessandro Saffiotti (University of Orebro, Sweden) Mary-Anne Williams (University of New South Wales, Australia) ------------------ From thanh.dinhvan at gmail.com Tue Feb 9 16:45:25 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Tue, 9 Feb 2021 22:45:25 +0700 Subject: [fg-arc] Preliminary Call for Applications: KR Doctoral Consortium (KR2021) Message-ID: <8928ebb2-0ba0-f8da-bf94-3df68be501da@gmail.com> KR Doctoral Consortium Call for Applications November 6-12, 2021 Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research,   and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic,   research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. Accepted students will participate in several dedicated DC events, which will likely consist of a lightning talk session, a poster session, a mentoring lunch, and a DC invited talk (the precise format of the DC will be finalized closer to the conference, and remote participation will be allowed due to the global pandemic). Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted through the EasyChair conference system (a link will be provided later). Each application must contain the following elements combined into a single PDF document: (1) Thesis summary. A description of the problem being addressed, your     motivation for addressing the problem, proposed plan of research,     the progress to date (what you have already achieved and what     remains to be done), and related work. It must be four pages     maximum and use the same style as for KR paper submissions. (2) Curriculum Vitae. A description of your background and relevant     experience (research, education, employment), of two pages     maximum. (3) Letter of recommendation. A letter from your thesis advisor that     states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if     so, whether the student volunteers to help with local organization     during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar     research interests, who could give good advice on technical     aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2021 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 30, 2021 Acceptance notification: July 21, 2021 Doctoral Consortium: November 6 - 12, 2021 For further information, please contact the DC chairs: Jens Classen, Simon Fraser University (jens_classen at sfu.ca) Magdalena Ortiz, TU Vienna (ortiz at kr.tuwien.ac.at) From chair at aaisi.org Tue Feb 9 21:53:31 2021 From: chair at aaisi.org (Mahdi Bohlouli) Date: Tue, 9 Feb 2021 21:53:31 +0100 Subject: [fg-arc] AI Colloquium Speech, Free Participation, Registration Deadline: 10.02.2021 Message-ID: ******apologies for cross-postings****** As a part of AAISI activities (the Association for AI in Science and Industry), we host invited speakers from academia and industry in our AI Colloquium. Due to the current pandemic situation, the AI colloquium takes place online,. In this regard, we decided to open the invited speeches to the public for FREE, even for those who are not yet the AAISI member. =========================================================================== The Association for AI in Science and Industry (www.aaisi.org) The AI Colloquium - Invited Speech Participation is FREE and OPEN to all. Prior REGISTRATION is required. Registration Deadline: February 10, 2021 Registration Link: https://tiny.cc/aaisi =========================================================================== Invited Speaker: Prof. Dr. Schahram Dustdar Technical University of Vienna IEEE Fellow, ACM Distinguished Scientist, Member of Academia Europaea Title: Edge Intelligence - Edge Computing and Artificial Intelligence Summary of the speech: With the advent of Edge Computing and the coming of age of Artificial Intelligence, there is a strong demand to integrate Edge Computing and AI, which gives birth to Edge Intelligence. In this article, we divide Edge Intelligence into AI for Edge (Intelligence-enabled Edge Computing) and AI on Edge (Artificial Intelligence on Edge). In this talk we will discuss on giving insights into this new inter-disciplinary field from a broader vision and perspective. We discuss the core concepts and the research roadmap, which should provide the necessary background for potential future research programs in Edge Intelligence. Speaker’s Bio: Schahram Dustdar is a Professor of Computer Science (Informatics) with a focus on Internet Technologies heading the Distributed Systems Group at the Vienna University of Technology (TU Vienna). From 2004-2010 he was an Honorary Professor of Information Systems at the Department of Computing Science at the University of Groningen (RuG), The Netherlands. He is a member of the Academia Europaea: The Academy of Europe, Informatics Section (since 2013), and an IEEE Senior Member (2009). He is the recipient of the ACM Distinguished Scientist award (2009), the IBM Faculty Award (2012), the IEEE TCSVC Outstanding Leadership Award (June 2018), the IEEE TCSC Award for Excellence in Scalable Computing (June 2019). He is an Associate Editor of IEEE Transactions on Services Computing, IEEE Transactions on Cloud Computing, ACM Computing Surveys, ACM Transactions on the Web, and ACM Transactions on Internet Technology and on the editorial board of IEEE Internet Computing and IEEE Computer. He is Co-Editor-in-Chief of the ACM Transactions on Internet of Things and Editor-in-Chief of Computing (an SCI-ranked journal of Springer). For further questions and requests, please contact my colleagues at the Help-desk by email to events [AT] aaisi [DOT] org ================================ Asst. Prof. Dr. Mahdi Bohlouli, General Chair The Association for Artificial Intelligence in Science and Industry (AAISI) WEB: www.aaisi.org Email: chair at aaisi.org -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: AAISI Logo Final.png Type: image/png Size: 65585 bytes Desc: not available URL: From announce at cs.ucy.ac.cy Sat Feb 13 12:34:08 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 13 Feb 2021 13:34:08 +0200 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): Last Mile for Paper Submission for Doctoral Consortium, Posters & Demos, Research Projects and Tutorials Message-ID: <8NXQSQJY-7BEV-VG6H-5T3F-AAXAN6JEMUIU@cs.ucy.ac.cy> *** Last Mile for Paper Submission for Doctoral Consortium, Posters & Demos, Research Projects and Tutorials *** 15th International Conference on Research Challenges in Information Science (RCIS 2021) May 12-14, 2021, Virtual Event! http://www.rcis-conf.com/rcis2021/ Submission deadline (except tutorials): February 19, 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, as a virtual event. The topics of interest are organized into some major categories (more details in the call for papers http://www.rcis-conf.com/rcis2021/callPapers.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 19, 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.rcis-conf.com/rcis2021/callDoctoral.php . Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): https://www.springer.com/gp/computer-science/lncs/conference-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 https://easychair.org/my/conference?conf=rcis2021 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, EPFL, Switzerland 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 (https://www.springer.com/gp/computer-science/lncs/conference-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.rcis-conf.com/rcis2021/ where you can choose the "RCIS2021 Posters & Demos" track. More details on the submission and presentation format is online: http://www.rcis-conf.com/rcis2021/callPostersDemo.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.rcis-conf.com/rcis2021/callPapers.php . The submission site address is https://easychair.org/my/conference?conf=rcis2021 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.rcis-conf.com/rcis2021/researchProjects.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.rcis-conf.com/rcis2021/callPapers.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): https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission site address is https://easychair.org/my/conference?conf=rcis2021 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.rcis-conf.com/rcis2021/tutorials.php . Tutorial Chairs · Sergio España, Utrecht University, The Netherlands · Patricia Martín-Rodilla, University of A Coruna, Spain 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 Sat Feb 13 20:54:45 2021 From: irdta at irdta.eu (IRDTA) Date: Sat, 13 Feb 2021 20:54:45 +0100 Subject: [fg-arc] BigDat 2021 Autumn: early registration March 3 Message-ID: <545102060a010b020657510b0600575e555f565857050e07035700080050535001560105510b52500250550657515056@grlmc_ip-zone_com-6> BigDat 2021 Autumn: early registration March 3*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 Autumn   Beersheba, Israel   October 10-14, 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/bigdat2021a/   **********************************************   --- Early registration deadline: March 3, 2021 ---   ************************************************   SCOPE:   BigDat 2021 Autumn will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.   Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 24 four-hour and a half courses 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, BigDat 2021 Autumn is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   BigDat 2021 Autumn will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be:   Ben-Gurion University of the Negev Marcus Family Campus   https://in.bgu.ac.il/en/Pages/interactive.aspx   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS:   Valerie Daggett (University of Washington), Dynameomics: From Atomistic Simulations of All Protein Folds to the Discovery of a New Protein Structure to the Design of a Diagnostic Test for Alzheimer’s Disease   Maria Girone (European Organization for Nuclear Research), Big Data Challenges at the CERN HL-LHC   Lisa Schurer Lambert (Oklahoma State University), Research Methods as a Lens: How We Know What We Know   PROFESSORS AND COURSES: (to be completed)   Paolo Addesso (University of Salerno), [introductory/intermediate] Data Fusion for Remotely Sensed Data   Thomas Bäck & Hao Wang (Leiden University), [introductory/intermediate] Data Driven Modeling and Optimization for Industrial Applications   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 W.V. Hogue (Ericsson Inc.), [introductory] 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   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   Miriam Sturkenboom (University Medical Center Utrecht), [intermediate] Data Transformation Pipeline from Heterogeneous Existing Big Health Data into Real World Evidence   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 October 2, 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 October 2, 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 October 2, 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/bigdat2021a/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/deeplearn2021a/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:   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 gauthier.picard at onera.fr Mon Feb 15 09:13:45 2021 From: gauthier.picard at onera.fr (Gauthier Picard) Date: Mon, 15 Feb 2021 09:13:45 +0100 Subject: [fg-arc] 2nd CFP [OptLearnMAS 2021] The 12th International Workshop on Optimization and Learning in Multi-Agent Systems Message-ID: [Apologies for cross-posting. Please share with anyone may be interested] The 12th Workshop on Optimization and Learning in Multiagent Systems (OptLearnMAS'21) To be held in conjunction with the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Online, from May 3-7, 2021. ======================================================= This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. OptMAS 2021 website: https://optlearnmas21.github.io/ Workshop submission site: https://easychair.org/conferences/?conf=optlearnmas21 Important dates --------------- * March 3, 2021 – Submission Deadline * April 3, 2021 – Acceptance notification * April 30,2021 – AAMAS/IJCAI Fast Track Submission Deadline * May 1, 2021 – AAMAS/IJCAI Fast Track Acceptance Notification * May 3 or 4, 2021 – Workshop Date Background ---------- Stimulated by emerging applications, such as those powered by the Internet of the Things, critical infrastructure network, and security games, intelligent agents commonly leverage different forms optimization and/or learning to solve complex problems. The goal of the workshop is to provide researchers with a venue to discuss techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions, and algorithms to compute Nash and other equilibria in games. This year, the workshop will have a special focus on contributions at the intersection of optimization and learning. For example, agents which use optimization often employ machine learning to predict unknown parameters appearing in their decision problem. Or, machine learning techniques may be used to improve the efficiency of optimization. While submissions across the spectrum of multi-agent optimization are welcome, contributions at the intersection with learning are especially encouraged. Keywords -------- Topics include but are not limited to the theory and applications of:     * Optimization for learning agents     * Learning for multiagent optimization problems     * Distributed constraint satisfaction and optimization     * Winner determination algorithms in auctions     * Coalition formation algorithms     * Algorithms to compute Nash and other equilibria in games     * Optimization under uncertainty     * Optimization with incomplete or dynamic input data     * Algorithms for real-time applications     * Cloud, distributed and grid computing     * Learning and Optimization in Societally Beneficial Domains Submission Information ---------------------- Submission URL: https://easychair.org/conferences/?conf=optlearnmas21 Submission Types:     * Technical Papers: Full-length research papers of up to 7 pages (excluding references and appendices) detailing high quality work in progress or work that could potentially be published at a major conference.     * Short Papers: Position or short papers of up to 4 pages (excluding references and appendices) that describe initial work or the release of privacy-preserving benchmarks and datasets on the topics of interest. Fast Track (Rejected AAMAS or IJCAI papers): Rejected AAMAS or IJCAI papers with *average* scores of at least 5.0 may be submitted directly to OptLearnMAS along with previous reviews. These submissions will not undergo the regular review process, but a light one, performed by the chairs, and will be accepted if the previous reviews are judged to meet the workshop standard. All papers must be submitted in PDF format, using the AAMAS-21 author kit. Submissions should include the name(s), affiliations, and email addresses of all authors. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. Submissions of papers rejected from the AAMAS 2021 and IJCAI 2021 technical program are welcomed. For questions about the submission process, contact the workshop chairs. Reviewing process ----------------- Papers will be reviewed by at least 2 program committee members. Criteria for selection of papers will include technical quality, novelty, significance, and clarity. Format ------ The workshop will be a one-day meeting. It will include a number of (possibly parallel) technical sessions, a virtual poster session where presenters can discuss their work, with the aim of further fostering collaborations, multiple invited speakers covering crucial challenges for the field of multiagent optimization and learning and will conclude with a panel discussion. Attendance ---------- Attendance is open to all. At least one author of each accepted submission must be present at the workshop. Organizing committee --------------------     * Ferdinando Fioretto - Syracuse University, NY, USA     * Gauthier Picard - ONERA, Toulouse, France     * Amulya Yadav - Penn State University, PA, USA     * Bryan Wilder - Harvard University, MA, USA Programme Committee -------------------     * Ana L. C. Bazzan - Universidade Federal do Rio Grande do Sul     * Filippo Bistaffa - IIIA-CSIC     * Alessandro Farinelli - Computer Science Department, Verona University     * Tal Grinshpoun - Ariel University     * Md. Mosaddek Khan - University of Dhaka     * Rene Mandiau - LAMIH, Université de Valenciennes     * Zinovi Rabinovich - Nanyang Technological University     * Juan Antonio Rodriguez Aguilar - IIIA-CSIC     * Marius Silaghi - FIT     * William Yeoh - Washington University in St. Louis     * Makoto Yokoo - Kyushu University     * Roie Zivan - Ben Gurion University of the Negev     * Maryam Tabar - Penn State University     * Hangzhi Guo - Penn State University -- Gauthier Picard, PhD, HDR Senior Research Fellow ONERA - DTIS - SYD BP74025 - 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4 Tel. +33 (0)5 62 25 26 54 -------------- next part -------------- An HTML attachment was scrubbed... URL: From soldani at di.unipi.it Thu Feb 25 16:26:09 2021 From: soldani at di.unipi.it (Jacopo Soldani) Date: Thu, 25 Feb 2021 16:26:09 +0100 Subject: [fg-arc] IEEE ICSA 2021 - Call for Participation In-Reply-To: <172d0a133890734c3cdaf2ea0430751e@di.unipi.it> References: <5049ea32adf3e2587a6442036b2a5829@di.unipi.it> <172d0a133890734c3cdaf2ea0430751e@di.unipi.it> Message-ID: <37406453143815bad76cc8fa0e9086ef@di.unipi.it> (Our sincere apologies if you receive multiple copies of this message) *** CALL FOR PARTICIPATION *** The 18th IEEE International Conference on Software Architecture (ICSA 2021), Virtual Event, March 22nd-26th, 2021 https://icsa-conferences.org/2021/ Sponsored by IEEE Computer Society, Informatik Forum Stuttgart Other sponsors: Axivion, Novatec, Mimacom, Motius, Iteratec, Zoom ** Virtual Attendance ** In the light of the international situation of the COVID-19 pandemic, ICSA 2021 will be held as a virtual conference (Whova + Zoom meetings) with a Multi-Time-Zone mode: All discussion sessions of ICSA 2021 will be scheduled to take place at least twice with the objective that in each of the three major time zones (Europe, Asia, America) people can attend their preferred sessions during mostly business hours. Q&As will be done in this case in an asynchronous fashion via Whova. ** Registration ** https://tagung.informatik-forum.org/ICSA2021/register Early Bird Registration deadline: March 7th, 2021 ** Main Features ** - Two keynote speeches - 16 full papers and 4 short contributions (see below) - Journal First sessions - Software architecture in practice sessions - New and emerging ideas discussions - Early career researchers forum - Artifact sessions - 3 workshops ** Keynotes ** Title: The not-so-subtle art of taking a deep breath: Live-wiring yourself for better output and experience Speaker: Birgit Penzenstadler, Chalmers University Title: Quantum circuits, and the future of quantum computing in the cloud Speaker: Jay Gambetta, IBM Fellow, and VP of Quantum Computing ** Accepted Papers ** Full Papers: * David Monschein, Manar Mazkatli, Robert Heinrich and Anne Koziolek. Enabling Consistency between Software Artefacts for Software Adaption and Evolution * Héctor Cadavid, Vasilios Andrikopoulos, Paris Avgeriou and P. Chris Broekema. System- and Software-level Architecting Harmonization Practices for Systems-of-Systems – An exploratory case study on a long-running large-scale scientific instrument * Apitchaka Singjai, Uwe Zdun and Olaf Zimmermann. Practitioner Views on the Interrelation of Microservice APIs and Domain-Driven Design: A Grey Literature Study Based on Grounded Theory * Evangelos Ntentos, Uwe Zdun, Konstantinos Plakidas and Sebastian Geiger. Semi-automatic Feedback for Improving Architecture Conformance to Microservice Patterns and Practices * Xiwei Xu, Hmn Dilum Bandara, Qinghua Lu, Ingo Weber, Len Bass and Liming Zhu. A Decision Model for Choosing Patterns in Blockchain-Based Applications * Holger Knoche and Wilhelm Hasselbring. Continuous API Evolution in Heterogenous Enterprise Software Systems * Heiko Koziolek, Sten Grüner and Julius Rückert. Towards Resilient IoT Messaging: An Experience Report Analyzing MQTT Brokers Balwinder Sodhi and Ritu Kapur. Quantum Computing Platforms: Assessing Impact on Quality Attributes and SDLC Activities * Duc Le, Suhrid Karthik, Marcelo Laser and Nenad Medvidovic. Architectural Decay as Predictor of Issue- and Change-Proneness Riccardo Pinciroli and Catia Trubiani. Model-based Performance Analysis for Architecting Cyber-Physical Dynamic Spaces * Klara Borowa, Andrzej Zalewski and Szymon Kijas. The Influence of Cognitive Biases on Architectural Technical Debt * Alessio Bucaioni, Patrizio Pelliccione and Rebekka Wohlrab. Aligning Architecture with Business Goals in the Automotive Domain * Ali Shokri, Joanna Cecilia Da Silva Santos and Mehdi Mirakhorli. ArCode: Facilitating the Use of Application Frameworks to Implement Tactic and Patterns * Joshua Garcia, Mehdi Mirakhorli, Lu Xiao, Yutong Zhao, Ibrahim Mujhid, Khoi Pham, Ahmet Okutan, Sam Malek, Rick Kazman, Yuanfang Cai and Nenad Medvidovic. Constructing a Shared Infrastructure for Software Architecture Analysis and Maintenance * Mohamed Soliman, Marion Wiese, Yikun Li, Matthias Riebisch and Paris Avgeriou. Exploring Web Search Engines to Capture Architectural Knowledge Zipani Tom Sinkala and Sebastian Herold. AutoBot: Automated Interactive Code-to-Architecture Mapping Recommendations Short Papers: * Selva Samuel and Jonathan Aldrich. Facilitating Connector Evolution With Architecture-Centric Development * Sebastian Hahner, Stephan Seifermann, Robert Heinrich, Maximilian Walter, Tomas Bures and Petr Hnetynka. Modeling Data Flow Constraints for Design-Time Confidentiality Analyses * Jasmin Jahic, Robin Roitsch and Lukasz Grzymkowski. Knowledge-based Adequacy assessment Approach to support AI adoption * Muhammad Aufeef Chauhan, Muhammad Ali Babar and Stephen Grangier. Designing a Security Platform for Collaborating Autonomous Systems – An Experience Report *** Workshops *** BlockArch - https://ww2.inf.ufg.br/insight/blockarch2021/index.html Second International Workshop on Blockchain-Based Architecture QSA - https://icsa-conferences.org/2021/workshops/qsa/ 1st Workshop on Quantum Software Architecture WASA - https://icsa-conferences.org/2021/workshops/wasa/ 7th International Workshop on Automotive System/Software Architectures From events at aaisi.org Mon Feb 22 11:01:30 2021 From: events at aaisi.org (AAISI - Events Helpdesk) Date: Mon, 22 Feb 2021 11:01:30 +0100 Subject: [fg-arc] AI Colloquium Speech (23.02.21), Free Participation, Registration Deadline: 22.02.21 Message-ID: <786790A7-2696-420F-8394-63D90E4364BD@aaisi.org> Dear Colleagues and Friends, This week, we have the honour to host Prof. Rachel Cummings with an invited Speech title of <"I need a better description": An Investigation Into User Expectations For Differential Privacy> in our AI colloquium. This may be of your interest or any of your colleagues/assistants in your group. Today is the last chance to register to this event through http://tiny.cc/ai210216 . For further details, please check the following message. IF YOU ARE ALREADY REGISTERED, YOU DON’T NEED TO DO IT AGAIN. ******apologies for cross-postings****** As a part of AAISI activities (the Association for AI in Science and Industry), we host invited speakers from academia and industry in our AI Colloquium. Due to the current pandemic situation, the AI colloquium takes place online,. In this regard, we decided to open the invited speeches to the public for FREE, even for those who are not yet the AAISI member. =========================================================================== The Association for AI in Science and Industry (www.aaisi.org ) The AI Colloquium - Invited Speech Date & Time: 23.02.2021, 16:00 CET (10:00 EST) Participation is FREE and OPEN to all. Prior REGISTRATION is required. Registration Deadline: February 22, 2021 Registration Link: http://tiny.cc/ai210216 =========================================================================== Invited Speaker: Prof. Dr. Rachel Cummings Columbia University Title: "I need a better description": An Investigation Into User Expectations For Differential Privacy Speaker's Bio: Dr. Rachel Cummings is an Assistant Professor of Industrial Engineering and Operations Research at Columbia University. She was formerly an Assistant Professor of Industrial and Systems Engineering and Computer Science (by courtesy) at Georgia Tech. Her research interests lie primarily in data privacy, with connections to machine learning, algorithmic economics, optimization, statistics, and information theory. Her work has focused on problems such as strategic aspects of data generation, incentivizing truthful reporting of data, privacy-preserving algorithm design, impacts of privacy policy, and human decision-making. Dr. Cummings received her Ph.D. in Computing and Mathematical Sciences from the California Institute of Technology, her M.S. in Computer Science from Northwestern University, and her B.A. in Mathematics and Economics from the University of Southern California. She is the recipient of an NSF CAREER award, JP Morgan Chase Faculty Award, a Google Research Fellowship for the Simons Institute program on Data Privacy, a Mozilla Research Grant, the ACM SIGecom Doctoral Dissertation Honorable Mention, the Amori Doctoral Prize in Computing and Mathematical Sciences, a Caltech Leadership Award, a Simons Award for Graduate Students in Theoretical Computer Science, and the Best Paper Award at the 2014 International Symposium on Distributed Computing. Dr. Cummings also serves on the ACM U.S. Public Policy Council's Privacy Committee. For further questions and requests, please contact the events Helpdesk by email to events [AT] aaisi [DOT] org Sincerely Yours, AAISI - AI Events Helpdesk -------------- next part -------------- An HTML attachment was scrubbed... URL: From t.walsh at unsw.edu.au Mon Feb 22 11:58:06 2021 From: t.walsh at unsw.edu.au (Toby Walsh) Date: Mon, 22 Feb 2021 10:58:06 +0000 Subject: [fg-arc] Final CFP: IJCAI 2021 survey track In-Reply-To: References: Message-ID: The IJCAI 2021 Survey Track enables the AI community to learn from AI researchers who are experts on a topic by providing them with the opportunity to give a talk presenting a synthetic survey of that topic. Papers accepted to the Survey Track will be published in the IJCAI 2021 proceedings. At least one author of each accepted paper is required to attend the conference to present the work. We are looking forward to the AI community meeting in person. At the same time, we are also planning for the possibility that the global public health situation might require us to run the conference as a partly or fully virtual event. Who can Submit a Paper? The list of authors should contain at least one author who has made significant contributions to the topic over the last few years (and can thus be considered an expert on that topic). What is a Suitable Topic? The IJCAI 2021 Survey Track provides an opportunity for established researchers in the AI community to give a broad talk on a well-established body of research, that provide a big picture view of the topic, rather than discuss a particular aspect. The topic should be of interest to current AI practitioners. Of particular interest are papers that describe how lessons learned from the topic can contribute to new ideas and visions that can stimulate the research community to pursue new directions, e.g., new problems. How Should the Paper be Written? The topic should be introduced in a way such that it can be understood by most of the AI community. It should be defined in such a way that its contours are precise. It should be made clear why the topic is important and what its intended or existing applications are. The paper should be a comprehensive survey with a personal stance on the topic: the description of the existing work should be structured and should contain a discussion (aiming for instance at comparing the approaches). It should not be a simple juxtaposition of summaries of papers or groups of papers. While the authors’ own work can sometimes be an important part of a survey, there should be no significant bias towards it: the work by others should be mentioned and appreciated in accordance with its relevance and importance. The paper should try to provide clear perspectives, and should be of very high quality in terms of presentation (including examples), and at the appropriate technical level,and should soundly grounded on existing literature. Important Dates * Paper submission:February 26, 2021 (Anywhere on Earth – 11:59PM UTC -12) * Notification of acceptance/rejection: April 20, 2021 * Camera ready deadline: April 30, 2021 Submission Details Template: https://www.ijcai.org/authors_kit Submission site: https://cmt3.research.microsoft.com/IJCAI21Survey2021 Unlike submissions to the main track, submissions to the survey track are not anonymous. They should include the names and affiliations of the authors. Submitted papers must be formatted according to IJCAI guidelines and submitted electronically through the IJCAI 2021 special track paper submission site. Full instructions including formatting guidelines and electronic templates are available on the IJCAI 2021 website. Submissions must be in electronic form using the IJCAI 2021 paper submission software linked above. Submissions must be self-contained; IJCAI 2021 will not accept or review any supplementary material. All papers are due electronically on February 26, 2021 (11:59 UTC- 12). Submissions received after the deadline or not in compliance with the length or formatting requirements will not be considered for review (see the paper length and format section below). No email or fax submissions will be accepted. Notification of receipt of an electronically submitted paper will be emailed to the designated contact author soon after receipt. The designated author will be notified by email about acceptance or rejection by April 20. Policy on Multiple Submissions IJCAI 2021 will not accept any paper that, at the time of submission, is under review for, has already been published in, or has already been accepted for publication in, a journal or another venue with formally published proceedings. As a rule of thumb, authors should regard any publication with an ISBN or ISSN as a formal publication. Authors are also required not to submit their papers to venues with formal publication during IJCAI 2021 review period. These restrictions are not intended to apply to workshops and similar specialized presentations with a limited audience and without published proceedings. Authors will be required to confirm that their submissions conform to these requirements at the time of submission. A multiple submission will imply immediate rejection of the submitted paper. Confidentiality Policy All submissions will be treated in strict confidence until the publication date. Conflict of Interest Policy All people involved in the IJCAI 2021 review process adhere to the IJCAI conflict of interest policy. Details can be found at http://ijcai.org/. Paper Length And Format Submitted technical papers must be no longer than eight (8) pages in total: six pages for the main text of the paper (including all figures but excluding references), and up to two additional pages for references. Note that the references pages can only include references. For accepted papers, up to two additional pages may be purchased at an additional cost per page, but note that at the time of submissions, papers should adhere to the guidelines above: six pages for main text plus two pages for references. Papers must be formatted according to posted IJCAI 2021 guidelines, which will be available on the conference website (the style will be essentially that of previous IJCAI conferences). Electronic templates for the LaTeX typesetting package, as well as a Word template, that conform to IJCAI 2021 guidelines will be made available at the conference website. Final camera ready versions will be formatted according to the publisher’s instructions. Authors are required to submit their electronic papers in PDF format. Files in postscript (ps) or any other format will not be accepted. Over-length papers will be rejected without review. Submissions must be self-contained; IJCAI 2021 will not accept or review any supplementary material. Submission Restrictions The main track of IJCAI 2021 is enforcing a submission limit for individual authors. However, papers submitted to the survey track do not count for this number of submissions. The list of authors provided at submission time is final. Authors may not be added to, or removed from, papers following submission. (However, author ordering may still be changed.) Also, by submitting a paper to IJCAI 2021, authors must acknowledge that they will do their best to contribute in some way to the review process, if asked to. Enquiries Please send all enquiries about the Survey Track to the IJCAI 2021 Survey Track Chairs, Masashi Sugiyama, sugi at k.u-tokyo.ac.jp Toby Walsh, tw at cse.unsw.edu.au ---- Prof. Toby Walsh FAA Laureate Fellow & Scientia Professor of AI School of CSE, UNSW Sydney | CSIRO Data61 e: tw at cse.unsw.edu.au m: +61 424 325 167 ________________________________ From: comsoc-request at duke.edu on behalf of Gauthier Picard Sent: 04 February 2021 18:13 To: ORNET at jiscmail.ac.uk ; SIMSOC at jiscmail.ac.uk ; constraints at yahoogroups.com ; icaps-conference at googlegroups.com ; ml-news at googlegroups.com ; rl-list at googlegroups.com ; ai-robotics at googlegroups.com ; sigecom-talk at googlegroups.com ; uai at engr.orst.edu ; agents at cs.umbc.edu ; robocup-worldwide at cc.gatech.edu ; sigai-announce at listserv.acm.org ; HRI-announcement at acm.org ; multiagent at yahoogroups.com ; comsoc at duke.edu ; FATML at PRINCETON.EDU ; gulp-all at yahoogroups.com ; fm-announcements at lists.nasa.gov ; puml-list at cs.york.ac.uk ; planet at lists.uni-ulm.de ; planetkr at kr.org ; tag at utlists.utexas.edu ; comma at lists.dbai.tuwien.ac.at ; fg-arc at lists.uni-paderborn.de ; nvti-list at cwi.nl ; list at helsinki.fi ; caml-list at inria.fr ; gclist at iecc.com ; theorynt at listserv.nodak.edu ; types-announce-owner at lists.seas.upenn.edu ; sigsam-friends at listserv.acm.org ; yap-users at lists.sourceforge.net ; vki-list at dfki.de ; distributed-ai-request at jiscmail.ac.uk ; sigplan-announce at listserv.acm.org ; theory-logic at cs.cmu.edu ; om-announce at openmath.org ; ossher at watson.ibm.com ; theory-a at listserv.nodak.edu ; sigarch-members at listserv.acm.org ; sigsam-members at listserv.acm.org ; hol-info at lists.sourceforge.net ; sigparse-list at lists.andrew.cmu.edu ; sml-list at cs.cmu.edu ; elsnet-list at elsnet.org ; bull-i3 at irit.fr ; bull-ia at gdria.fr ; sma at loria.fr Subject: CFP [OptLearnMAS 2021] The 12th International Workshop on Optimization and Learning in Multi-Agent Systems [Apologies for cross-posting. Please share with anyone may be interested] The 12th Workshop on Optimization and Learning in Multiagent Systems (OptLearnMAS'21) To be held in conjunction with the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Online, from May 3-7, 2021. ======================================================= This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. OptMAS 2021 website: https://optlearnmas21.github.io/ Workshop submission site: https://easychair.org/conferences/?conf=optlearnmas21 Important dates --------------- * March 3, 2021 – Submission Deadline * April 3, 2021 – Acceptance notification * April 30,2021 – AAMAS/IJCAI Fast Track Submission Deadline * May 1, 2021 – AAMAS/IJCAI Fast Track Acceptance Notification * May 3 or 4, 2021 – Workshop Date Background ---------- Stimulated by emerging applications, such as those powered by the Internet of the Things, critical infrastructure network, and security games, intelligent agents commonly leverage different forms optimization and/or learning to solve complex problems. The goal of the workshop is to provide researchers with a venue to discuss techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions, and algorithms to compute Nash and other equilibria in games. This year, the workshop will have a special focus on contributions at the intersection of optimization and learning. For example, agents which use optimization often employ machine learning to predict unknown parameters appearing in their decision problem. Or, machine learning techniques may be used to improve the efficiency of optimization. While submissions across the spectrum of multi-agent optimization are welcome, contributions at the intersection with learning are especially encouraged. Keywords -------- Topics include but are not limited to the theory and applications of: * Optimization for learning agents * Learning for multiagent optimization problems * Distributed constraint satisfaction and optimization * Winner determination algorithms in auctions * Coalition formation algorithms * Algorithms to compute Nash and other equilibria in games * Optimization under uncertainty * Optimization with incomplete or dynamic input data * Algorithms for real-time applications * Cloud, distributed and grid computing * Learning and Optimization in Societally Beneficial Domains Submission Information ---------------------- Submission URL: https://easychair.org/conferences/?conf=optlearnmas21 Submission Types: * Technical Papers: Full-length research papers of up to 7 pages (excluding references and appendices) detailing high quality work in progress or work that could potentially be published at a major conference. * Short Papers: Position or short papers of up to 4 pages (excluding references and appendices) that describe initial work or the release of privacy-preserving benchmarks and datasets on the topics of interest. Fast Track (Rejected AAMAS or IJCAI papers): Rejected AAMAS or IJCAI papers with *average* scores of at least 5.0 may be submitted directly to OptLearnMAS along with previous reviews. These submissions will not undergo the regular review process, but a light one, performed by the chairs, and will be accepted if the previous reviews are judged to meet the workshop standard. All papers must be submitted in PDF format, using the AAMAS-21 author kit. Submissions should include the name(s), affiliations, and email addresses of all authors. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. Submissions of papers rejected from the AAMAS 2021 and IJCAI 2021 technical program are welcomed. For questions about the submission process, contact the workshop chairs. Reviewing process ----------------- Papers will be reviewed by at least 2 program committee members. Criteria for selection of papers will include technical quality, novelty, significance, and clarity. Format ------ The workshop will be a one-day meeting. It will include a number of (possibly parallel) technical sessions, a virtual poster session where presenters can discuss their work, with the aim of further fostering collaborations, multiple invited speakers covering crucial challenges for the field of multiagent optimization and learning and will conclude with a panel discussion. Attendance ---------- Attendance is open to all. At least one author of each accepted submission must be present at the workshop. Organizing committee -------------------- * Ferdinando Fioretto - Syracuse University, NY, USA * Gauthier Picard - ONERA, Toulouse, France * Amulya Yadav - Penn State University, PA, USA * Bryan Wilder - Harvard University, MA, USA Programme Committee ------------------- * Ana L. C. Bazzan - Universidade Federal do Rio Grande do Sul * Filippo Bistaffa - IIIA-CSIC * Alessandro Farinelli - Computer Science Department, Verona University * Tal Grinshpoun - Ariel University * Md. Mosaddek Khan - University of Dhaka * Rene Mandiau - LAMIH, Université de Valenciennes * Zinovi Rabinovich - Nanyang Technological University * Juan Antonio Rodriguez Aguilar - IIIA-CSIC * Marius Silaghi - FIT * William Yeoh - Washington University in St. Louis * Makoto Yokoo - Kyushu University * Roie Zivan - Ben Gurion University of the Negev * Maryam Tabar - Penn State University * Hangzhi Guo - Penn State University -- Gauthier Picard, PhD, HDR Senior Research Fellow ONERA - DTIS - SYD BP74025 - 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4 Tel. +33 (0)5 62 25 26 54 -------------- next part -------------- An HTML attachment was scrubbed... URL: From siddharth at cs.nyu.edu Wed Feb 24 17:54:10 2021 From: siddharth at cs.nyu.edu (Siddharth Krishna) Date: Wed, 24 Feb 2021 16:54:10 +0000 Subject: [fg-arc] VerifyThis 2021: Call for Participation + Grants + Prizes Message-ID: ******************************************************************************** VerifyThis Verification Competition 2021 CALL FOR PARTICIPATION -- GRANTS -- PRIZES Competition to be held at ETAPS 2021 (Virtual) http://verifythis.ethz.ch ******************************************************************************** IMPORTANT DATES Registration deadline: March 13, 2021 Competition: March 26 and 27, 2021 ABOUT THE COMPETITION VerifyThis 2021 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2021) on 26 and 27 March 2021. It is the 9th event in the VerifyThis competition series. Information on previous events and participants can be found at: http://verifythis.ethz.ch The aims of the competition are: - to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, and - to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language and pseudo code. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness and elegance. PARTICIPATION Participation is open for anybody interested. Teams of up to two people are allowed. VerifyThis will be a virtual event with some synchronous sessions via video call, and a 24 hour window for teams to solve problems at their own convenience. More details and a full program will be announced on the website. We particularly encourage participation of: - people from under-represented communities - student teams (this includes PhD students) - non-developer teams using a tool someone else developed - several teams using the same tool GRANTS The competition has funds for a limited number of registration grants, sponsored by Amazon AWS. Grants will cover the registration costs for ETAPS. To apply for a grant, fill out the relevant section of the registration form and, if you are a student, have your supervisor send a brief letter of support to the following address: verifythis at googlegroups.com PRIZES Thanks to our sponsors, VerifyThis typically offer team prizes such as the best overall team, the most distinguished tool features and the best student team. As VerifyThis 2021 will be a virtual event, we plan to increase the number of team prizes and the prize money amount this year. VerifyThis 2021 prizes are sponsored by Amazon AWS. REGISTRATION Please register by filling out the following form: https://forms.gle/kZpGKMVkRrRyidiq8 Deadline: March 13, 2021 ORGANIZERS * Siddharth Krishna, Microsoft Research Cambridge, UK * Wytse Oortwijn, ESI (TNO), Netherlands STEERING COMMITTEE * Marieke Huisman, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University, Ireland * Peter Müller, ETH Zurich, Switzerland * Mattias Ulbrich, Karlsruhe Institute of Technology, Germany CONTACT Email: verifythis at googlegroups.com Web: http://verifythis.ethz.ch -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.uni-stuttgart.de Fri Feb 26 13:04:00 2021 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Fri, 26 Feb 2021 13:04:00 +0100 Subject: [fg-arc] CfP ICSA 2021, 22.-26.3., Virtual Conference in Stuttgart, Germany Message-ID: <87698467-9a2d-ab09-138a-af717dff9090@informatik.uni-stuttgart.de> (Our sincere apologies if you receive multiple copies of this message) *** CALL FOR PARTICIPATION *** The 18th IEEE International Conference on Software Architecture (ICSA 2021), Virtual Event, March 22nd-26th, 2021 https://icsa-conferences.org/2021/ Sponsored by IEEE Computer Society, Informatik Forum Stuttgart Other sponsors: Axivion, Novatec, Mimacom, Motius, Iteratec, Zoom ** Virtual Attendance ** In the light of the international situation of the COVID-19 pandemic, ICSA 2021 will be held as a virtual conference (Whova + Zoom meetings) with a Multi-Time-Zone mode: All discussion sessions of ICSA 2021 will be scheduled to take place at least twice with the objective that in each of the three major time zones (Europe, Asia, America) people can attend their preferred sessions during mostly business hours. Q&As will be done in this case in an asynchronous fashion via Whova. ** Registration ** https://tagung.informatik-forum.org/ICSA2021/register Early Bird Registration deadline: March 7th, 2021 ** Main Features ** - Two keynote speeches - 16 full papers and 4 short contributions (see below) - Journal First sessions - Software architecture in practice sessions - New and emerging ideas discussions - Early career researchers forum - Artifact sessions - 3 workshops ** Keynotes ** Title: The not-so-subtle art of taking a deep breath: Live-wiring yourself for better output and experience Speaker: Birgit Penzenstadler, Chalmers University Title: Quantum circuits, and the future of quantum computing in the cloud Speaker: Jay Gambetta, IBM Fellow, and VP of Quantum Computing ** Accepted Papers ** Full Papers: * David Monschein, Manar Mazkatli, Robert Heinrich and Anne Koziolek. Enabling Consistency between Software Artefacts for Software Adaption and Evolution * Héctor Cadavid, Vasilios Andrikopoulos, Paris Avgeriou and P. Chris Broekema. System- and Software-level Architecting Harmonization Practices for Systems-of-Systems – An exploratory case study on a long-running large-scale scientific instrument * Apitchaka Singjai, Uwe Zdun and Olaf Zimmermann. Practitioner Views on the Interrelation of Microservice APIs and Domain-Driven Design: A Grey Literature Study Based on Grounded Theory * Evangelos Ntentos, Uwe Zdun, Konstantinos Plakidas and Sebastian Geiger. Semi-automatic Feedback for Improving Architecture Conformance to Microservice Patterns and Practices * Xiwei Xu, Hmn Dilum Bandara, Qinghua Lu, Ingo Weber, Len Bass and Liming Zhu. A Decision Model for Choosing Patterns in Blockchain-Based Applications * Holger Knoche and Wilhelm Hasselbring. Continuous API Evolution in Heterogenous Enterprise Software Systems * Heiko Koziolek, Sten Grüner and Julius Rückert. Towards Resilient IoT Messaging: An Experience Report Analyzing MQTT Brokers Balwinder Sodhi and Ritu Kapur. Quantum Computing Platforms: Assessing Impact on Quality Attributes and SDLC Activities * Duc Le, Suhrid Karthik, Marcelo Laser and Nenad Medvidovic. Architectural Decay as Predictor of Issue- and Change-Proneness Riccardo Pinciroli and Catia Trubiani. Model-based Performance Analysis for Architecting Cyber-Physical Dynamic Spaces * Klara Borowa, Andrzej Zalewski and Szymon Kijas. The Influence of Cognitive Biases on Architectural Technical Debt * Alessio Bucaioni, Patrizio Pelliccione and Rebekka Wohlrab. Aligning Architecture with Business Goals in the Automotive Domain * Ali Shokri, Joanna Cecilia Da Silva Santos and Mehdi Mirakhorli. ArCode: Facilitating the Use of Application Frameworks to Implement Tactic and Patterns * Joshua Garcia, Mehdi Mirakhorli, Lu Xiao, Yutong Zhao, Ibrahim Mujhid, Khoi Pham, Ahmet Okutan, Sam Malek, Rick Kazman, Yuanfang Cai and Nenad Medvidovic. Constructing a Shared Infrastructure for Software Architecture Analysis and Maintenance * Mohamed Soliman, Marion Wiese, Yikun Li, Matthias Riebisch and Paris Avgeriou. Exploring Web Search Engines to Capture Architectural Knowledge Zipani Tom Sinkala and Sebastian Herold. AutoBot: Automated Interactive Code-to-Architecture Mapping Recommendations Short Papers: * Selva Samuel and Jonathan Aldrich. Facilitating Connector Evolution With Architecture-Centric Development * Sebastian Hahner, Stephan Seifermann, Robert Heinrich, Maximilian Walter, Tomas Bures and Petr Hnetynka. Modeling Data Flow Constraints for Design-Time Confidentiality Analyses * Jasmin Jahic, Robin Roitsch and Lukasz Grzymkowski. Knowledge-based Adequacy assessment Approach to support AI adoption * Muhammad Aufeef Chauhan, Muhammad Ali Babar and Stephen Grangier. Designing a Security Platform for Collaborating Autonomous Systems – An Experience Report *** Workshops *** BlockArch - https://ww2.inf.ufg.br/insight/blockarch2021/index.html Second International Workshop on Blockchain-Based Architecture QSA - https://icsa-conferences.org/2021/workshops/qsa/ 1st Workshop on Quantum Software Architecture WASA - https://icsa-conferences.org/2021/workshops/wasa/ 7th International Workshop on Automotive System/Software Architectures -- Universität Stuttgart - Institut für Software Engineering (ISTE) Prof. Dr.-Ing. Steffen Becker - Software Quality and Architecture (SQA) Tel +49 711 685 88273 https://www.iste.uni-stuttgart.de/sqa From sauer at upb.de Fri Feb 26 14:51:38 2021 From: sauer at upb.de (Stefan Sauer) Date: Fri, 26 Feb 2021 14:51:38 +0100 Subject: [fg-arc] =?utf-8?q?Noch_7_Tage=3A_Call_for_Papers=3A_12=2E_Works?= =?utf-8?q?hop_=E2=80=9EDesign_for_Future_=E2=80=93_Langlebige_Softwaresys?= =?utf-8?b?dGVtZeKAnCAoMTIgREZGIDIxKQ==?= Message-ID: <8d82a14c-48fa-bdbc-e94b-abd1a513ca72@upb.de> Sehr geehrte Kolleginnen und Kollegen, in einer Woche endet die*Einreichungsfrist: 5. März 2021.* Wir freuen uns auf Ihre Beiträge! -------------------------------------------------------------------------------- *12. Workshop „Design For Future – Langlebige Softwaresysteme“* *Design for Future 2021 (12 DFF 21)* *Software Engineering für langlebige Systeme* *des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) * *der Fachgruppen „Architekturen“ und „Software-Reengineering“* *3. – 5. Mai 2021* *gemeinsam mit dem 23. Workshop Software-Reengineering & Evolution (WSRE 2021) statt **_https://fg-sre.gi.de/veranstaltung/23-workshop-software-reengineering-evolution _* ============================================================= Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um COVID-19 ============================================================= Aufgrund der möglicherweise geltenden Corona-Bestimmungen behalten wir uns kurzfristige Änderungen am Format (hybrid, virtuell) und, falls notwendig, auch am Termin und Ort des Workshops vor. Information dazu werden über die Webseite des WSRE 2021 und die Mailinglisten https://fg-sre.gi.de/weiteres/mailingliste und https://lists.ira.uni-karlsruhe.de/mailman/listinfo/ak-l2s2 bereitgestellt. *Termine * Einreichung von Beiträgen 05. März 2021 Benachrichtigung über Annahme 19. März 2021 Einreichung der finalen Fassung 02. April 2021 Anmeldeschluss zur Teilnahme 09. April 2021 *Inhalte und Ziele * Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Neue Paradigmen treten zutage wie z.B. Edge Computing, Blockchains oder Smart Contracts. Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 12. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. *Themen * Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: * Methoden zur Software-Modernisierung und Software-Migration * Re-Engineering zum Erkennen und Beheben von Legacy-Problemen * Anpassungsfähige und zukunftssichere Software-Architekturen * Evolution und Co-Evolution von Modellen und Code * Verhinderung von Software-Erosion * Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme * Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) * Evolutionsherausforderungen im Kontext von Big Data * Integration oder Migration in Bezug auf Blockchain-Technologien oder Smart Contracts * Migrationsszenarien im Kontext von Cloud- und Edge-Computing * Qualitätsmanagement für langlebige Softwaresysteme * Fallstudien zu den vorgenannten Themen * Evolutionsherausforderungen im Kontext von Big Data * Qualitätsmanagement für langlebige Softwaresysteme * Fallstudien zu den vorgenannten Themen * Praxis- und Erfahrungsberichte zu den vorgenannten Themen *Einreichung und Veröffentlichung von Beiträgen * Praktiker*innen und Wissenschaftler*innen, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/ ) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter unter https://easychair.org/conferences/?conf=wsre2021 freigeschaltet. Der Workshop DFF wird in EasyChair als Teil des WSRE behandelt. Bitte wählen Sie bei der Einreichung unter Topics das Akronym "DFF" aus. *Organisation * Der Workshop wird organisiert vom GI-Arbeitskreis "Langlebige Software-Systeme" (AK L2S2), siehe http://akl2s2.ipd.kit.edu/ . Er wird gemeinsam mit dem 23. Workshop Software-Reengineering & Evolution (WSRE 2021) der Fachgruppe "Software-Reengineering" durchgeführt. AK- und Workshop-Leitung: * Robert Heinrich, _robert.heinrich at kit.edu _ * Marco Konersmann, _konersmann at uni-koblenz.de _ * Stefan Sauer, _sauer at sicp.upb.de _ -------------- next part -------------- An HTML attachment was scrubbed... URL: From cok at frontiernet.net Fri Feb 26 16:05:39 2021 From: cok at frontiernet.net (cok) Date: Fri, 26 Feb 2021 10:05:39 -0500 Subject: [fg-arc] Call for Papers: 23rd Workshop on Formal Techniques for J(ust-about-any) Program 2021 Message-ID: <2E64ECE0-2B8E-4F25-A7B7-6DAFDAB8A417@frontiernet.net> The FtfJP workshop is an excellent venue for discussion of current and novel techniques for formal reasoning about programs. The 23rd edition (FTfJP 2021) will be held virtually in conjunction with virtual ECOOP 2021. We welcome short or long, completed or in-process contributions, particularly those that will generate discussion and promote numerous new research directions. https://conf.researchr.org/track/ecoop-issta-2021/ecoop-issta-2021-workshop-on-formal-techniques-for-java-like-programs 23rd Workshop on Formal Techniques for Java-like Programs Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme; the most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submission relating to programming languages in general, beyond Java, including C#, Scala, etc. Example topics of interest include: • Language design and semantics • Type systems • Concurrency and new application domains • Specification and verification of program properties • Program analysis (static or dynamic) Program synthesis Security Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers. Webpages for previous workshops in this series are available at:https://ftfjp.github.io/ . Submissions Contributions are sought in two categories: • Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. • Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage e.g. established researchers to set out a personal vision, and beginning researchers to present a planned path to a PhD. All submissions and reviews will be managed within EasyChair. Submissions should be made via https://easychair.org/conferences/?conf=ftfjp2021 . There is no need to indicate the paper category (long/short). Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Reviewing will be single blind, there is no need to anonymize submissions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. Important dates • Submission deadline: 26 April 2021 (AoE) • Notification: 17 May 2021 • Workshop (virtual): date TBD, co-timed with ECOOP 2021 (12-16 July 2021) • FTfJP 2021 will happen as a virtual workshop, as will ECOOP/ISSTA 2021. Formatting and Publication Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author ). Accepted papers will be published in the ACM Digital Library by default, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must attend the workshop to present the work and participate in the discussions. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: FTFJP2021-CFP.pdf Type: application/pdf Size: 40460 bytes Desc: not available URL: -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Feb 28 12:50:55 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 28 Feb 2021 13:50:55 +0200 Subject: [fg-arc] 8th International Symposium on End-User Development (IS-EUD 2021): Last Call for Papers Message-ID: *** Last 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://cyprusconferences.org/iseud2021/ Extended submision deadlines! (Proceedings to be published by Springer) 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. Regular 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. The review process for this category is double-blind, thus submissions must be anonymized. Accepted papers (both regular 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. Workshop proposals are invited (max 6 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 and will be held on July 6, 2021. Accepted workshop proposals will be included in the IS-EUD 2021 adjunct proceedings, which will be submitted to http://ceur-ws.org for online publication. Submissions of regular papers, short papers and workshop proposals should indicate in the title page "Regular", "Short" or "Workshop" respectively. Demonstration and Work in Progress papers are also welcomed. A Demonstration paper (max 6 pages) 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 (max 6 pages) 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. 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 contributions (max 6 pages) describing the topic of their PhD, their approach and a summary of their progress. Demonstration, Work in Progress and Doctoral Consortium submissions should indicate in the title page "Demo", "WiP" or "DC" respectively. Accepted submissions will be included in IS-EUD 2021 adjunct proceedings, which will be submitted to http://ceur-ws.org for online publication. Submissions of all types should be carefully formatted according to the Springer LNCS format: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and should be submitted through the Easy Chair system at: https://easychair.org/conferences/?conf=iseud2021 Important Dates (Extended!) · Regular and Short papers submission: March 22, 2021 · Notification: April 14, 2021 · Camera-ready: May 15, 2021 · Workshop proposal submission: March 8, 2021 · Notification: March 15, 2021 · Camera-ready: May 31, 2021 · Demonstration and Work in Progress submission: April 21, 2021 · Notification: May 15, 2021 · Camera-ready: May 31, 2021 · Doctoral Consortium submission: April 21, 2021 · Notification: May 15, 2021 · Camera-ready: May 31, 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: