From genaim at gmail.com Sun Jan 3 10:44:48 2021 From: genaim at gmail.com (Samir Genaim) Date: Sun, 3 Jan 2021 10:44:48 +0100 Subject: [fg-arc] WST 2021 - 1st Call for Papers Message-ID: ====================================================================== WST 2021 - Call for Papers 17th International Workshop on Termination http://costa.fdi.ucm.es/wst2021 July 16, 2021, Pittsburgh, PA, United States Co-located with CADE-28 ====================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. IMPORTANT DATES: * submission deadline: April 18, 2021 * notification: May 23, 2021 * final version due: June 13, 2021 * workshop: July 16, 2021 TOPICS: The 17th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to): * abstraction methods in termination analysis * certification of termination and complexity proofs * challenging termination problems * comparison and classification of termination methods * complexity analysis in any domain * implementation of termination methods * non-termination analysis and loop detection * normalization and infinitary normalization * operational termination of logic-based systems * ordinal notation and subrecursive hierarchies * SAT, SMT, and constraint solving for (non-)termination analysis * scalability and modularity of termination methods * termination analysis in any domain (lambda calculus, declarative programming, rewriting, transition systems, etc.) * well-founded relations and well-quasi-orders SUBMISSION GUIDELINES: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page: https://easychair.org/conferences/?conf=wst2021 Please, use LaTeX and the LIPIcs style file http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. PROGRAM COMMITTEE: * Martin Avanzini - INRIA Sophia, Antipolis * Carsten Fuhs - Birkbeck, U. of London * Samir Genaim (chair) - U. Complutense de Madrid * Jürgen Giesl - RWTH Aachen * Matthias Heizmann - U. of Freiburg * Cynthia Kop - Radboud U. Nijmegen * Salvador Lucas - U. Politècnica de València * Étienne Payet - U. de La Réunion * Albert Rubio - U. Complutense de Madrid * René Thiemann - U. of Innsbruck * Johannes Waldmann - HTWK Leipzig -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jan 4 14:37:37 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 4 Jan 2021 15:37:37 +0200 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): Third Joint Call for Doctoral Consortium, Posters & Demos, Research Projects and Tutorials Message-ID: <8I27EL1D-WJTV-XP7W-LP37-NHOJVHHLBOV@cs.ucy.ac.cy> *** Third 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, Royal Apollonia Beach Hotel 5*, Limassol, Cyprus http://www.rcis-conf.com/rcis2021/ Submission deadline (except tutorials): February 9, 2021 (AoE) Submission deadline only for tutorials: March 19, 2021 (AoE) (Proceedings to be published by Springer) RCIS has become a recognized conference on research challenges in Information Science. Organized for the 15th time in a row, RCIS 2021 will be held from May 12-14, 2021, in Limassol, Cyprus. The topics of interest are organized into some major categories (more details in the call for papers http://www.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 9, 2021 (AoE) · Submission deadline for tutorial proposals: March 19, 2021 (AoE) · Notification to authors and registration opening: March 12, 2021 · Notification for tutorial proposals: March 22, 2021 · Author registration deadline for all paper types: March 29, 2021 · Camera-ready copy deadline for all paper types: March 29, 2021 · Conference: May 12-14, 2021 DOCTORAL CONSORTIUM The RCIS 2021 Doctoral Consortium is an opportunity for doctoral students to present, discuss and develop their research project in an interdisciplinary workshop, under the guidance of a panel of senior researchers. The Doctoral Consortium offers nice opportunities for PhD students. Firstly, the feedback received during the Doctoral Consortium will really benefit students who have defined their topic, research plan and have obtained early results, but who still have room for improving their longer-term plan. Secondly, students at all stages of their doctoral project can meet the welcoming RCIS community and widen their network of contacts. The Doctoral Consortium has the following objectives: · Provide a platform for students to present their work and to meet other peers and be familiar with different research topics and methods. · Provide feedback on students' current research and guidance on future research directions. · Promote the development of a supportive community of scholars and a spirit of collaborative research and networking. · Contribute to the conference goals through interaction with other researchers. Interested PhD students are invited to submit papers, in agreement with their supervisors, addressing the instructions that are provided on the online call: http://www.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 Mon Jan 4 15:36:56 2021 From: irdta at irdta.eu (IRDTA) Date: Mon, 04 Jan 2021 15:36:56 +0100 Subject: [fg-arc] DeepLearn 2021 Summer: early registration January 25 Message-ID: <545102060a010b02055152030503505e57050c040603070301045d570106520506545701045801065456510504505654@grlmc_ip-zone_com-6> DeepLearn 2021 Summer: early registration January 25*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: January 25, 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   Svetlana Lazebnik (University of Illinois, Urbana-Champaign), [intermediate] Vision-language Understanding   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 Thu Jan 7 16:42:45 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Thu, 7 Jan 2021 22:42:45 +0700 Subject: [fg-arc] Call for Papers: Special Session on KR & Machine Learning (KR2021) Message-ID: <12395c73-15ef-e0c8-69f8-26d245e30013@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 Authors Guidelines for KR2021. 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. ------------------ Chairs ------------------ Alessandro Saffiotti (University of Orebro, Sweden) Mary-Anne Williams (University of New South Wales, Australia) ------------------ From thanh.dinh at eaut.edu.vn Thu Jan 7 14:54:43 2021 From: thanh.dinh at eaut.edu.vn (=?UTF-8?B?VGjDoG5oIMSQaW5o?=) Date: Thu, 7 Jan 2021 20:54:43 +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. KR is currently planned to take place in Hanoi, Vietnam, with additional options for attending virtually. Further details on the attendance options for tutorial and workshop organizers will be provided in upcoming calls, as they depend on the pandemic situation. ** 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. A future call will provide details on the   presentation options. ** 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. A future call   will provide details on the physical/hybrid/virtual options for running   workshops. 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 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 thanh.dinhvan at gmail.com Thu Jan 7 15:02:05 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Thu, 7 Jan 2021 21:02:05 +0700 Subject: [fg-arc] Call for Papers: Recently Published Research (KR2021) Message-ID: <36a0d9da-975e-d23a-6fde-13d7c4933b4f@gmail.com> 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. 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 a.hoff at tu-bs.de Thu Jan 14 14:30:02 2021 From: a.hoff at tu-bs.de (a.hoff at tu-bs.de) Date: Thu, 14 Jan 2021 14:30:02 +0100 Subject: [fg-arc] Call for Participation bei der GI Fachtagung Software Engineering 2021 (SE'21) Message-ID: <008001d6ea79$5e7f1ee0$1b7d5ca0$@tu-bs.de> Sehr geehrte Damen und Herren, vom 22. bis 26. Februar 2021 findet die SE'21 statt. Die Organisation liegt beim Institut für Softwaretechnik und Farhzeuginformatik der TU Braunschweig, General Chair ist Ina Schaefer. Die SE'21 dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler/innen aus der Praxis, als auch an Forscher/innen aus dem akademischen Umfeld. Wie jedes Jahr bietet die SE auch in 2021 die Bühne für das "Best of Software Engeering" der deutschsprachigen SE Community: Es werden spannende Publikationen aus dem vergangenen Jahr vorgestellt und diskutiert, u.a. aus den Bereichen Cyber-Physical Systems, Software Security und Machine Learning. Die Konferenz findet ONLINE statt! Dies führt folgende Besonderheiten mit sich: (i) Die Teilnahme an der Konferenz ist >>> KOSTENLOS! <<< Jede/r, der/die an aktiver Forschung im Bereich Software Engineering interessiert ist, ist herzlichst eingeladen, sich kostenlos für ihre/seine Teilnahme zu registrieren. Die kostenlose Registrierung ist allerdings zur Teilnahme in jedem Fall nötig. Registrierungsseite: https://se-2021.tu-bs.de/registrierung/ (ii) Das wissenschaftliche Programm wird auf zwei virtuelle Räume aufgeteilt, parallel gibt es für jeden virtuellen Raum einen Chat für Diskussionen. Angrenzend an jeden Vortrag haben interessierte Zuhörer die Möglichkeit, direkt mit den Autoren in einem separaten Channel zu kommunizieren, um bspw. weitere Fragen zu stellen oder ins Gespräch zu kommen. Grober Ablauf der SE'21: - Am Montag (22.) und Dienstag (23.) finden Workshops statt. - Am Mittwoch (24.) bis Freitag (26.) findet das wissenschaftliche Hauptprogramm statt. Neben Vorträgen zu frisch publizierten wissenschaftlichen Arbeiten wird es spannende Keynote Vorträge, Vorträge aus der Industrie, sowie ausgewählte Tool Demonstrationen geben. Detailliertes Programm der SE'21: https://se-2021.tu-bs.de/programm/ Bitte leiten Sie diese Mail auch an Ihre Kolleg*innen und interessierte Studierende weiter. Mit freundlichen Grüßen Adrian Hoff im Namen des SE'21 Organisationsteams -------------- next part -------------- An HTML attachment was scrubbed... URL: From thomdth at eaut.edu.vn Fri Jan 8 09:45:01 2021 From: thomdth at eaut.edu.vn (=?UTF-8?B?SOG7k25nIFRoxqFtIMSQaW5oIFRo4buL?=) Date: Fri, 8 Jan 2021 15:45:01 +0700 Subject: [fg-arc] CALL FOR PAPERS Message-ID: 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam 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* 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 will have different submission and notification dates, which will be announced separately. *AUTHOR GUIDELINES* All submissions must be written in English and in AAAI style. 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 Easy Chair, 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, which will be announced separately. *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) -- Hong Thom *International Training and Cooperation **Institute* *East Asia University of Technology* *Add: Polyco Group Building, Tran Huu Duc St, Nam Tu Liem Dist, Ha Noi* *Mobile: + 84 939411986* Website:https://duhoc.eaut.edu.vn/# Email: esa at eaut.edu.vn; thomdth at eaut.edu.vn; -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Jan 11 17:45:45 2021 From: irdta at irdta.eu (IRDTA) Date: Mon, 11 Jan 2021 17:45:45 +0100 Subject: [fg-arc] BigDat 2021 Spring: early registration January 15 Message-ID: <545102060a010b02055e51060606555e075f06560a020f5256500d57545505070057020f010d0656535f00500e02075d@grlmc_ip-zone_com-6> BigDat 2021 Spring: early registration January 15*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************   7th INTERNATIONAL SCHOOL ON BIG DATA   BigDat 2021 Spring   Beersheba, Israel   April 18-22, 2021   Co-organized by:   Ben-Gurion University of the Negev Department of Software and Information Systems Engineering Data Science Research Center   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://irdta.eu/bigdat2021s/   **********************************************   --- Early registration deadline: January 15, 2021 ---   ***********************************************   SCOPE:   BigDat 2021 Spring will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.   Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 23 four-hour and a half courses and 2 keynote lectures, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2021 Spring is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   BigDat 2021 Spring will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be:   Ben-Gurion University of the Negev Marcus Family Campus   https://in.bgu.ac.il/en/Pages/interactive.aspx   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS:   Maria Girone (European Organization for Nuclear Research), Big Data Challenges at the CERN HL-LHC   Lisa Schurer Lambert (Oklahoma State University), Research Methods as a Lens: How We Know What We Know   PROFESSORS AND COURSES:   Thomas Bäck & Hao Wang (Leiden University), [introductory/intermediate] Data Driven Modeling and Optimization for Industrial Applications   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Gianluca Bontempi (Université Libre de Bruxelles), [intermediate/advanced] Machine Learning against Credit-card Fraud: Lessons Learned from a Real Case   Altan Cakir (Istanbul Technical University), [intermediate] Big Data Analytics with Apache Spark   Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity   Ramez Elmasri (University of Texas, Arlington), [intermediate] Spatial, Temporal, and Spatio-Temporal Data   Ian Fisk (Flatiron Institute), [introductory] The Infrastructure to Support Data Science   Michael Freeman (University of Washington), [intermediate] Interactive Data Visualization Using D3 + Observable   David Gerbing (Portland State University), [introductory] Derive Meaning from Data with R Visualizations   Christopher 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   B.S. Manjunath (University of California, Santa Barbara), [introductory] Digital Media Forensics   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   José M.F. Moura (Carnegie Mellon University), [introductory] Graph Signal Processing   Panos Pardalos (University of Florida), [intermediate/advanced] Optimization and Data Sciences Techniques for Large Networks   Valeriu Predoi (University of Reading), [introductory] A Beginner's Guide to Big Data Analysis: How to Connect Scientific Software Development with Real World Problem   Karsten Reuter (Max Planck Society), [introductory/intermediate] Machine Learning for Materials and Energy Applications   Ramesh Sharda (Oklahoma State University), [introductory/intermediate] Network-based Health Analytics   Steven Skiena (Stony Brook University), [introductory/intermediate] Word and Graph Embeddings for Machine Learning   Alexandre Vaniachine (VirtualHealth), [intermediate] Open-source Columnar Databases   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Supervised Descriptive Pattern Mining   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Language Models and Applications   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by April 10, 2021.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by April 10, 2021.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by April 10, 2021.   ORGANIZING COMMITTEE:   Stavi Baram (Beersheba) Mark Last (Beersheba) Carlos Martín-Vide (Tarragona, program chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Lior Rokach (Beersheba, co-chair) Bracha Shapira (Beersheba, co-chair) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/bigdat2021s/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Ben-Gurion University of the Negev   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From C.E.Brandt at tudelft.nl Tue Jan 12 13:31:26 2021 From: C.E.Brandt at tudelft.nl (Carolin Brandt) Date: Tue, 12 Jan 2021 12:31:26 +0000 Subject: [fg-arc] Call for Papers: VISSOFT 2021 - 9th IEEE Working Conference on Software Visualization Message-ID: <42786D76-2880-4878-91AA-230B4B3886F3@tudelft.nl> VISSOFT 2021: 9th IEEE Working Conference on Software Visualization Call for Papers ============ Conference website: https://vissoft.info/2021/ Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from areas such as information visualization, human-computer interaction, computer graphics, and data science, and applying these in the software engineering domain. The VISSOFT conference is principally a venue for publishing and discussing research related to software visualization. Consequently, VISSOFT brings together a community of researchers from software engineering, information visualization, human-computer interaction, computer graphics, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. This year’s VISSOFT, co-held with ICSME, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, evaluations, applications/design studies, systems and formalisms, and papers that present novel ideas and tools. === Topics of interest include: - Innovative visualization and visual analytics techniques for analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks like StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data - Visualization to support software development activities, including design, requirements engineering, software maintenance, program comprehension, software performance, software testing, and debugging - Interaction techniques and algorithms for software visualization - Visualization-based techniques in software engineering education - Integration of software visualization tools with development environments - Empirical evaluation of software visualizations, including eye-tracking - Industrial experience with using software visualization - Applications of new technologies to enhance software visualization, including virtual reality, augmented reality, gamification, and machine learning - Analytical approaches to understand software-related aspects based on data science concepts We solicit papers that present original, unpublished research results. Papers will be rigorously reviewed by an international program committee. In addition to technical papers, VISSOFT features a New Ideas and Emerging Results and Tool Demo (NIER/TD) track. All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. Submission Types =============== ==== Technical papers: A technical paper contribution must describe an in-depth and mature research result relevant to software visualization. The content of a technical paper can be at a maximum 10 pages long (including all figures, tables, and appendices). However, the 10 page limit does not include the bibliography, which is limited by two additional pages. The submission of a video (up to 5 minutes in length) to accompany the paper is highly encouraged to show interaction possibilities. Authors who wish to submit a video can submit the video together with their paper if the size of the video is smaller than 50 MB, alternatively a URL to the video could be provided. Authors of technical papers that do not receive an acceptance recommendation from reviewers can, eventually, be invited to adapt the paper and make it acceptable for the NIER/TD track. Awards: VISSOFT 2021 will award best technical papers. Special issue: A selection of best papers will be invited to submit extended versions for tentative publication in a Special Section of the journal of Information and Software Technology published by Elsevier http://www.elsevier.com/locate/infsof Artifact evaluation: Paper authors are encouraged to submit research artifacts (e.g., tools, data repositories, frameworks, videos) to the artifact evaluation track of ICSME. Please find further details in https://icsme2021.github.io/ == Important Dates: Paper Abstract: June 11, 2021 Paper Submission: June 18, 2021 Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference: September 27-28, 2021 (to be confirmed) Submission link: https://easychair.org/conferences/?conf=vissoft2021 ==== NIER/TD Track: The NIER/TD Track of VISSOFT accepts two types of contributions: NIER (New Ideas and Emerging Results) and Tool Demonstrations (TD). Both NIER and TD contributions have a page limit of 5 (including bibliography). NIER contributions describe work-in-progress and preliminary exciting results. Authors are encouraged to include open questions and even provocative hypotheses to get early feedback on their research ideas. A sound evaluation is not required for NIER contributions. One of the goals of the NIER Track is to foster collaboration among different research groups. Tool Demonstrations (TD) describe the design or actual utilization of software visualization tools, with a focus on the architecture of the tool or its use to gain new insights. During the conference, we will organize an informal tool demonstration session where authors of TD papers are invited to demonstrate their tools. The submission may also contain a link to a screencast (e.g., YouTube or Vimeo) to show the interaction possibilities offered by the tool. == Important Dates: Paper Abstract: June 11, 2021 Paper Submission: June 18, 2021 Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference: September 27-28, 2021 (to be confirmed) Submission link: https://easychair.org/conferences/?conf=vissoft2021 ==== Journal First Track A submission to the VISSOFT 2021 call for journal-first paper presentations must adhere to the following criteria: - The paper was accepted to a relevant journal and it is in the scope of the conference - The paper was published between June 1, 2018 and June 10, 2021: - The paper reports new research results and/or presents novel contributions that significantly extend, and were not previously reported in, prior work - The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences Authors of a paper that meets these criteria are invited to submit a one-page presentation proposal consisting of the paper’s title, the paper’s authors, a short statement on how the work satisfies the journal first criteria, and a pointer to the original journal paper at the journal’s Web site. If the paper is not online yet, then specify so. The original paper should also be uploaded during submission. If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and present the paper at the conference. The journal-first manuscripts are published through the journals and will not be part of the Conference proceedings. The journal-first papers will be listed in the conference program. Journal first presentations will have the same presentation time than technical papers. == Important Dates: Paper Submission: July 2, 2021 Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference: September 27-28, 2021 (to be confirmed) Submission link: https://easychair.org/conferences/?conf=vissoft2021 How to submit ============ Technical papers must not exceed 10 pages (including figures and appendices) plus up to 2 pages that contain ONLY references. NIER/TD papers must not exceed 5 pages including references. Journal-first presentations must submit a one-page proposal. Papers must strictly adhere to the two-column IEEE conference proceedings format. Please use the available IEEE Manuscript Templates for Conference Proceedings: https://www.ieee.org/conferences/publishing/templates.html Supplemental material (e.g., video, data, software) that might be helpful for the reviewers can be submitted together with your paper. All material must be included in a single ZIP file. Note that VISSOFT uses a single-blind review process (i.e., the authors' names and affiliations are revealed to reviewers but reviewers' identities are not revealed to authors). The authors do not need to anonymize their papers. Important Dates ============= All dates refer to midnight 23:59:59 AoE (http://www.timeanddate.com/time/zones/aoe). Paper Abstract: June 11, 2021 Paper Submission: June 18, 2021 (Technical Papers, NIER/TD Track) July 2, 2021 (Journal First Track) Notification: July 23, 2021 Camera-Ready: August 6, 2021 Conference Date: September 27-28, 2021 (to be confirmed) -------------- next part -------------- An HTML attachment was scrubbed... URL: From jgiraldez at ugr.es Thu Jan 14 09:28:52 2021 From: jgiraldez at ugr.es (=?UTF-8?B?SmVzw7pzIEdpcsOhbGRleiBDcsO6?=) Date: Thu, 14 Jan 2021 09:28:52 +0100 Subject: [fg-arc] CFP SAT-2021: Deadline March 19th Message-ID: 24th International Conference on Theory and Applications of Satisfiability Testing SAT-2021, July 5-9, 2021, Barcelona, Spain https://www.iiia.csic.es/sat2021 SAT 2021 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Domains include MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), as well as Constraint Satisfaction Problems (CSP). Topics include, but are not restricted to: Theoretical advances; Practical search algorithms; Knowledge compilation; Implementation-level details of SAT solving tools and SAT-based systems; Problem encodings and reformulations; Applications; Case studies and reports on insightful findings based on rigorous experimentation. *** Important Dates *** Abstract submission: March 15th Paper submission: March 19th Author response period: April 26-27th Author notification: May 5th Camera-ready: May 15th Conference: July 5-9th *** Submission and Publication *** Submissions to SAT 2021 are solicited in three paper categories, describing original contributions. Long papers (9 to 15 pages, excluding references) Short papers (up to 8 pages, excluding references) Tool papers (up to 8 pages, excluding references) All papers submissions are done exclusively via EasyChair in Springer’s LaTeX llncs2e style. Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions reporting on case studies are also encouraged, and should describe details, weaknesses, and strengths in sufficient depth. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. Tool papers must obey to a specific content criteria. A tool paper should describe the implemented tool and its novel features. Here “tools” are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc., as well as systems that exploit SAT solvers or their extensions for use in interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. All accepted papers are expected to be published in the proceedings of the conference, which will be published within the Springer LNCS series. *** Best Paper Awards *** Long and short papers may be considered for a Best Paper Award. If the main author is a student, both in terms of work and writing, the paper may be considered for a Best Student Paper Award. *** Student Grants *** SAT 2021 will provide free registration to all the PhD students with an accepted paper. Further details may be found in the website of SAT-2021: https://www.iiia.csic.es/sat2021 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Jan 14 11:07:21 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 14 Jan 2021 12:07:21 +0200 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): Last Call for Papers Message-ID: *** Last Call for Papers *** 15th International Conference on Research Challenges in Information Science (RCIS 2021) May 12-14, 2021, Royal Apollonia Beach Hotel 5*, Limassol, Cyprus http://www.rcis-conf.com/rcis2021/ Abstract submission deadline (recommended): January 25, 2021 (AoE) Paper submission deadline: February 1, 2021 (AoE) (*** extended! ***) (Proceedings to be published by Springer; Special Issue in DKE, Elsevier) SCOPE AND TOPICS RCIS aims to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and to provide opportunities for knowledge sharing and dissemination. RCIS 2021 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned with the special theme "Information Science and global crisis". Global crisis, as the pandemic we are experiencing in these days, natural disasters, wars and international political crisis, are challenging Information Science to help building effective management solutions, to learn from previous experience how to prevent them, and to support Humans keep on performing core activities, as education, and communication. The diversity of crises' causes, the quality of the collected data as well as the complexity of the underlying mechanisms are among the relevant research challenges. RCIS welcomes submissions from the whole spectrum of the information science field. The list of themes and topics includes, but is not limited to: Information Systems and their Engineering · Requirements Engineering · Software Testing · Information Security and Risk · Method Engineering User-Oriented Approaches · Social Computing and Social Network Analysis · User-Centred Design · Collaborative Computing · Human Factors in Information Systems Data and Information Management · Databases and Information · Information Search and Discovery · Conceptual Modelling and Ontologies Business Process Management · Business Process Engineering and Reengineering · Process Mining · Enterprise Engineering Domain-specific IS Engineering · E-Health, e-Government, e-Commerce, ... · Web-Based Applications and Services · Industry 4.0 · Web-Based Applications and Services · Smart Cities · Educational Technologies · Digital Humanities Data Science · Big Data & Business Analytics · Decision Information Systems · Knowledge Management · Knowledge Discovery from Data Information Infrastructures · Cyber-Physical Systems · Web Information Systems · Grid Computing and Cloud Computing · Internet of Things · Pervasive and Mobile Computing Reflective Research and Practice · Research Methodologies in Information Science · Impact of Information on the Enterprise and the Individual · Lifecycle Models · Design Science and Rationale Tutorials, Doctoral Consortium, Posters & Demos and Research Projects @RCIS tracks will complement the main conference. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2021. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is https://easychair.org/my/conference?conf=rcis2021 . By submitting a paper, the authors agree that at least one of them will register to the conference and present the paper. The appearance of a paper in the Springer proceedings is dependent on the registration of one author within the early registration deadline on March 29, 2021. We adopt a single-blind review format, meaning that the author names are included in the paper itself under the paper title. JOURNAL SPECIAL ISSUE A selection of the best accepted papers of RCIS 2021, chosen by a dedicated committee, will be invited to submit an extended version of the RCIS paper to the Data & Knowledge Engineering (DKE) journal published by Elsevier (https://www.journals.elsevier.com/data-and-knowledge-engineering). The selection of the papers to invite will be based on the review scores and arguments, and the potential for extension. IMPORTANT DATES · Abstract submission deadline for regular papers: January 25, 2021 (AoE) · Regular paper submission deadline: February 1, 2021 (AoE) (extended) · Notification to authors and registration opening: March 12, 2021 · Author registration deadline for all paper types: March 29, 2021 · Camera-ready copy deadline for all paper types: March 29, 2021 · Conference: May 12-14, 2021 CONFERENCE COMMITTEES Steering Committee · Saïd Assar, Institut Mines-Telecom Business School, France · Marko Bajec,University of Ljubljana, Slovenia · Pericles Loucopoulos, Manchester University, University Kingdom · Haralambos Moratidis, University of Brighton, United Kingdom · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France · Oscar Pastor, Universitat Politècnica de València, Spain · Jolita Ralyté, CUI, University of Geneva, Suisse · Colette Rolland, Université Paris 1 Panthéon-Sorbonne, France · Jelena Zdravkovic, Stockholm University, Sweden General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Samira Cherfi, CNAM, France · Anna Perini, FBK, Italy Social Media Chairs · Itzel Morales Ramirez, Instituto de Ingeniería de la UNAM, Mexico · Vítor E. Silva Souza, UFES, Brasil Proceedings Chair · Raihana Ferdous, FBK, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Tue Jan 12 18:17:52 2021 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Tue, 12 Jan 2021 18:17:52 +0100 Subject: [fg-arc] World-Logic-Day Lecture: Diego Calvanese Message-ID: <12012021181752440GGh77pfXqRRd0199@smtp.office365.com> World-Logic-Day Lecture The DL-Lite Tractable Logics for Knowledge Graphs, a lecture by Diego Calvanese Wednesday, 20th of January 2021 4:00 PM – 6:00 PM CET https://world-logic-day-lecture-diego-calvanese.eventbrite.it In this lecture, Diego Calvanese surveys the historical foundations that led to the development of the DL-Lite family of logics, discusses its formal semantics and computational properties, presents different lines of research that find their roots in DL-Lite, and finally illustrates how DL-Lite can be profitably exploited for data management through virtual knowledge graphs. Diego co-authored the paper DL-Lite: Tractable Description Logics for Ontologies, which just got the 2021 Classic Paper award by the Association for the Advancement of Artificial Intelligence (AAAI) as the most influential paper published in the AAAI 2005 conference. His research focusses now on Artificial intelligence, Description Logics, Knowledge Representation, Data Management at the KRDB Research Centre for Knowledge and Data of the Free University of Bozen-Bolzano, Italy. Diego is a full professor at the KRDB Research Centre for Knowledge and Data of the Free University of Bozen-Bolzano (Italy) and a Wallenberg Guest Professor in Artificial Intelligence for Data Management at Ume? University (Sweden). Diego is a Fellow of the European Association for Artificial Intelligence (EurAI) and a Fellow of the Association for Computing Machinery (ACM). Diego is the co-founder of Ontopic, the first spin-off of the Free University of Bozen-Bolzano. The talk is part of the World Logic Day 2021 events, co-sponsored by UNESCO. The lecture is scheduled few days after the actual World Logic Day, in order to avoid conflicts with other planned lectures in such an intense day. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Banner WLD.png Type: image/png Size: 358469 bytes Desc: not available URL: From thomdth at eaut.edu.vn Sat Jan 9 03:51:25 2021 From: thomdth at eaut.edu.vn (=?UTF-8?B?SOG7k25nIFRoxqFtIMSQaW5oIFRo4buL?=) Date: Sat, 9 Jan 2021 09:51:25 +0700 Subject: [fg-arc] Call for Papers: Special Session on KR & Machine Learning(KR2021) Message-ID: Call for Papers: Special Session on KR & Machine Learning (KR2021) 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 generalizations 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-fertilization 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. ------ Chairs ------ Vaishak Belle (University of Edinburgh, UK) Luc De Raedt (KU Leuven, Belgium) -- Hong Thom *International Training and Cooperation **Institute* *East Asia University of Technology* *Add: Polyco Group Building, Tran Huu Duc St, Nam Tu Liem Dist, Ha Noi* *Mobile: + 84 939411986* Website:https://duhoc.eaut.edu.vn/# Email: esa at eaut.edu.vn; thomdth at eaut.edu.vn; -------------- next part -------------- An HTML attachment was scrubbed... URL: From thomdth at eaut.edu.vn Sat Jan 9 03:53:13 2021 From: thomdth at eaut.edu.vn (=?UTF-8?B?SOG7k25nIFRoxqFtIMSQaW5oIFRo4buL?=) Date: Sat, 9 Jan 2021 09:53:13 +0700 Subject: [fg-arc] =?utf-8?q?=28no_subject=29?= Message-ID: *CALL FOR PAPERS **Special Session on KR & Robotics (KR2021)* ***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, 202* *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 Authors Guidelines for KR2021.* *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.* *------------------* *Chairs* *----------------* *Alessandro Saffiotti (University of Orebro, Sweden)* *Mary-Anne Williams (University of New South Wales, Australia)* -- Hong Thom *International Training and Cooperation **Institute* *East Asia University of Technology* *Add: Polyco Group Building, Tran Huu Duc St, Nam Tu Liem Dist, Ha Noi* *Mobile: + 84 939411986* Website:https://duhoc.eaut.edu.vn/# Email: esa at eaut.edu.vn; thomdth at eaut.edu.vn; -------------- next part -------------- An HTML attachment was scrubbed... URL: From thanh.dinhvan at gmail.com Sat Jan 16 03:46:05 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Sat, 16 Jan 2021 09:46:05 +0700 Subject: [fg-arc] Call for Papers: Applications and Systems Track (KR 2021) Message-ID: <784f248b-2139-75db-d40c-b103402862b9@gmail.com> 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 Authors Guidelines for KR 2021. 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
 ------------------ 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 irdta at irdta.eu Mon Jan 18 15:11:51 2021 From: irdta at irdta.eu (IRDTA) Date: Mon, 18 Jan 2021 15:11:51 +0100 Subject: [fg-arc] AlCoB 2020 & 2021: extended submission deadline January 25 Message-ID: <545102060a010b02055e560a060b585e545504040700065257025c0750035a0352525655565d020306005453530a5604@grlmc_ip-zone_com-6> AlCoB 2020 & 2021: extended submission deadline January 25*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   7th-8th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020 & 2021   Missoula, Montana, USA   June 7-11, 2021   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/alcob2020-2021/   **********************************************************************************   * Extended submission deadline: January 25 *   **********************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   AlCoB 2020 & 2021 will merge the scheduled program for AlCoB 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 & 2021 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 & 2021 will consist of:   invited lectures peer-reviewed contributions posters   KEYNOTE SPEAKERS:   Terry Gaasterland (University of California, San Diego), Genetic Risk of Disease through Genome Variation and Regulation of Transcription   Christine Orengo (University College London), Algorithms for Mining Massive Metagenome Repositories to Detect Novel Enzymes   Tamar Schlick (New York University), Folding Genes at Nucleosome Resolution   PROGRAM COMMITTEE:   Ludmil Alexandrov (University of California, San Diego, US) Can Alkan (Bilkent University, TR) Mani Arumugam (University of Copenhagen, DK) Bonnie Berger (Massachusetts Institute of Technology, US) Sanchita Bhattacharya (University of California, San Francisco, US) Chao Cheng (Baylor College of Medicine, US) Keith Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Ian Dunham (European Bioinformatics Institute, UK) Anton Enright (University of Cambridge, UK) Joe Felsenstein (University of Washington, US) Pedro G. Ferreira (University of Porto, PT) Martin Frith (University of Tokyo, JP) Debashis Ghosh (University of Colorado, US) Michael Gribskov (Purdue University, US) Michael Hawrylycz (Allen Institute for Brain Science, US) Daniel Huson (University of Tübingen, DE) Kazutaka Katoh (Osaka University, JP) Miriam Konkel (Clemson University, US) Maria-Jesus Martin (European Bioinformatics Institute, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester, US) Aaron McKenna (Dartmouth College, US) Ryan E. Mills (University of Michigan, US) Burkhard Morgenstern (University of Göttingen, DE) Zemin Ning (Wellcome Sanger Institute, UK) Joel S. Parker (University of North Carolina, Chapel Hill, US) Kay Prüfer (Max Planck Institute for Evolutionary Anthropology, DE) Knut Reinert (Free University of Berlin, DE) Walter L. Ruzzo (University of Washington, US) Russell Schwartz (Carnegie Mellon University, US) Gordon Smyth (Walter and Eliza Hall Institute of Medical Research, AU) Peter F. Stadler (Leipzig University, DE) Alfonso Valencia (Barcelona Supercomputing Center, ES) Fabio Vandin (University of Padua, IT) Kai Wang (Children's Hospital of Philadelphia, US) Matthew T. Weirauch (Cincinnati Children's Hospital, US) Travis Wheeler (University of Montana, US) Zohar Yakhini (Interdisciplinary Center, Herzliya, IL) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Upload submissions to:   https://easychair.org/conferences/?conf=alcob20202021   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019 JCR impact factor: 2.85) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://irdta.eu/alcob2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: January 25, 2021 – EXTENDED - Notification of paper acceptance or rejection: February 15, 2021 Final version of the paper for the LNCS/LNBI proceedings: March 1st, 2021 Early registration: March 1st, 2021 Late registration: May 24, 2021 Submission to the journal special issue: September 11, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Thu Jan 21 12:29:28 2021 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Thu, 21 Jan 2021 12:29:28 +0100 Subject: [fg-arc] IEEE Comets 2021 - WETICE 2021 - Call for Papers Message-ID: <24C23400-0997-4B24-B229-BC8108E1C726@di.unipi.it> (Please accept our apologies if you receive multiple copies of this message) ################################################################# IEEE WETICE 2021 9th IEEE Track on Collaborative Modeling and Simulation (Comets 2021) in cooperation with MIMOS (Italian Association for M&S) AISE (Italian Association for Systems Engineering - INCOSE Chapter Italy) CALL FOR PAPERS (submission deadline: February 28th) ################################################################# June 23-25, 2020 - Basque Coast, Bayonne (France) http://www.sel.uniroma2.it/comets21 ################################################################# # Papers Due: February 28th, 2021 # Accepted papers will be published in the conference proceedings # by the IEEE Computer Society Press and will be submitted for # indexing through INSPEC, Compendex, Scopus, Thomson Reuters, # DBLP, Google Scholar and EI Index. ################################################################# Modeling and Simulation (M&S) is increasingly becoming a central activity in the design of new systems and in the analysis of existing systems because it enables designers and researchers to investigate systems behavior through virtual representations. For this reason, M&S is gaining a primary role in many industrial and research fields, such as space, critical infrastructures, manufacturing, emergency management, biomedical systems and sustainable future. However, as the complexity of the investigated systems increases and the types of investigations widens, the cost of M&S activities increases for the more complex models and for the communications among a wider number and variety of M&S stakeholders (e.g., sub-domain experts, simulator users, simulator engineers, and final system users). To address the increasing costs of M&S activities, collaborative technologies must be introduced to support these activities by fostering the sharing and reuse of models, by facilitating the communications among M&S stakeholders, and more generally by integrating processes, tools and platforms. Aside from seeking applications of collaborative technologies to M&S activities, the track seeks innovative contributions that deal with the application of M&S practices in the field of collaborative engineering platforms. These platforms are continuously becoming more complex, and therefore their design requires systematic approaches to meet the required quality of collaboration. This is important for two reasons: to reduce rework activities on the actual collaborative environment, and to maximize the productivity and the quality of the process the collaborative environment supports. M&S offers the methodologies and tools for such investigations and therefore it can be used to improve the quality of collaborative environments. A non-exhaustive list of topics of interest includes: * collaborative requirements modeling * collaborative environments for M&S * collaborative Systems of Systems M&S * business process modeling for collaborative environments * agent-based M&S * collaborative distributed simulation * collaborative component-based M&S * net-centric M&S * web-based M&S * model sharing and reuse * model building and evaluation * modeling and simulation of business processes * modeling for collaboration * performance and quality control for collaborative M&S * simulation-based performance analysis of collaborative engineering platforms * model-driven approaches for collaborative engineering * domain specific languages for collaborative M&S * databases and repositories for M&S * distributed virtual environments * virtual research environment for M&S * collaborative DEVS M&S * multi-method M&S To stimulate creativity, however, the track maintains a wider scope and invites interested researchers to present contributions that offer original perspectives on collaboration and M&S. +++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication +++++++++++++++++++++++++++++++++++ CoMetS'18 intends to bring together researchers and practitioners to discuss key issues, approaches, open problems, innovative applications and trends in the track research area. Papers should contain original contributions not published or submitted elsewhere. Papers up to six pages (including figures, tables and references) can be submitted. Papers should follow the IEEE format (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). All submissions should be submitted in PDF format and will be peer-reviewed by program committee members. Accepted papers will be included in the proceedings and published by the IEEE Computer Society Press. Please note that at least one author for each accepted paper should register to attend WETICE 2021 (http://www.wetice.org) to have the paper published in the proceedings. Interested authors and participants may contact the organizers for expression of interests and content appropriateness at any time. Papers can be submitted in PDF format at the conference submission site (see http://www.wetice.org for details), by selecting the “Collaborative Modeling and Simulation” track. +++++++++++++++ Important Dates +++++++++++++++ * Submission Deadline: February 28, 2021 * Notification to authors: April 25, 2021 * Camera Ready to IEEE: May 15, 2021 +++++++++++++++++ Program co-chairs +++++++++++++++++ Andrea D'Ambrogio, University of Roma Tor Vergata, Italy Paolo Bocciarelli, University of Rome Tor Vergata, Italy Gregory Zacharewicz, IMT Mines Ales, France *** Contact Information *** Andrea D'Ambrogio (track co-chair) Email: dambro at uniroma2.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From expind14 at pbil.in Fri Jan 22 18:58:33 2021 From: expind14 at pbil.in (expind14 at pbil.in) Date: Fri, 22 Jan 2021 17:58:33 +0000 Subject: [fg-arc] Greetings Message-ID: An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Jan 24 11:28:21 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 24 Jan 2021 12:28:21 +0200 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): Last Mile for Paper Submission! Message-ID: *** Last Mile for Paper Submission! *** 15th International Conference on Research Challenges in Information Science (RCIS 2021) May 12-14, 2021, Royal Apollonia Beach Hotel 5*, Limassol, Cyprus http://www.rcis-conf.com/rcis2021/ Abstract submission deadline (recommended): January 25, 2021 (AoE) Paper submission deadline: February 1, 2021 (AoE) (Proceedings to be published by Springer; Special Issue in DKE, Elsevier) SCOPE AND TOPICS RCIS aims to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and to provide opportunities for knowledge sharing and dissemination. RCIS 2021 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned with the special theme "Information Science and global crisis". Global crisis, as the pandemic we are experiencing in these days, natural disasters, wars and international political crisis, are challenging Information Science to help building effective management solutions, to learn from previous experience how to prevent them, and to support Humans keep on performing core activities, as education, and communication. The diversity of crises' causes, the quality of the collected data as well as the complexity of the underlying mechanisms are among the relevant research challenges. RCIS welcomes submissions from the whole spectrum of the information science field. The list of themes and topics includes, but is not limited to: Information Systems and their Engineering · Requirements Engineering · Software Testing · Information Security and Risk · Method Engineering User-Oriented Approaches · Social Computing and Social Network Analysis · User-Centred Design · Collaborative Computing · Human Factors in Information Systems Data and Information Management · Databases and Information · Information Search and Discovery · Conceptual Modelling and Ontologies Business Process Management · Business Process Engineering and Reengineering · Process Mining · Enterprise Engineering Domain-specific IS Engineering · E-Health, e-Government, e-Commerce, ... · Web-Based Applications and Services · Industry 4.0 · Web-Based Applications and Services · Smart Cities · Educational Technologies · Digital Humanities Data Science · Big Data & Business Analytics · Decision Information Systems · Knowledge Management · Knowledge Discovery from Data Information Infrastructures · Cyber-Physical Systems · Web Information Systems · Grid Computing and Cloud Computing · Internet of Things · Pervasive and Mobile Computing Reflective Research and Practice · Research Methodologies in Information Science · Impact of Information on the Enterprise and the Individual · Lifecycle Models · Design Science and Rationale Tutorials, Doctoral Consortium, Posters & Demos and Research Projects @RCIS tracks will complement the main conference. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2021. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is https://easychair.org/my/conference?conf=rcis2021 . By submitting a paper, the authors agree that at least one of them will register to the conference and present the paper. The appearance of a paper in the Springer proceedings is dependent on the registration of one author within the early registration deadline on March 29, 2021. We adopt a single-blind review format, meaning that the author names are included in the paper itself under the paper title. JOURNAL SPECIAL ISSUE A selection of the best accepted papers of RCIS 2021, chosen by a dedicated committee, will be invited to submit an extended version of the RCIS paper to the Data & Knowledge Engineering (DKE) journal published by Elsevier (https://www.journals.elsevier.com/data-and-knowledge-engineering). The selection of the papers to invite will be based on the review scores and arguments, and the potential for extension. IMPORTANT DATES · Abstract submission deadline for regular papers: January 25, 2021 (AoE) · Regular paper submission deadline: February 1, 2021 · Notification to authors and registration opening: March 12, 2021 · Author registration deadline for all paper types: March 29, 2021 · Camera-ready copy deadline for all paper types: March 29, 2021 · Conference: May 12-14, 2021 CONFERENCE COMMITTEES Steering Committee · Saïd Assar, Institut Mines-Telecom Business School, France · Marko Bajec,University of Ljubljana, Slovenia · Pericles Loucopoulos, Manchester University, University Kingdom · Haralambos Moratidis, University of Brighton, United Kingdom · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France · Oscar Pastor, Universitat Politècnica de València, Spain · Jolita Ralyté, CUI, University of Geneva, Suisse · Colette Rolland, Université Paris 1 Panthéon-Sorbonne, France · Jelena Zdravkovic, Stockholm University, Sweden General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Samira Cherfi, CNAM, France · Anna Perini, FBK, Italy Social Media Chairs · Itzel Morales Ramirez, Instituto de Ingeniería de la UNAM, Mexico · Vítor E. Silva Souza, UFES, Brasil Proceedings Chair · Raihana Ferdous, FBK, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Jan 25 02:17:55 2021 From: irdta at irdta.eu (IRDTA) Date: Mon, 25 Jan 2021 02:17:55 +0100 Subject: [fg-arc] DeepLearn 2021 Summer: early registration January 25 Message-ID: <545102060a010b02055f540b0f07575e03520c530000030755050f060303525903520705020f08005307545302000755@grlmc_ip-zone_com-6> DeepLearn 2021 Summer: early registration January 25*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: January 25, 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 stefano.forti at di.unipi.it Mon Jan 25 10:39:06 2021 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Mon, 25 Jan 2021 10:39:06 +0100 Subject: [fg-arc] Call for papers : AROSA @ WETICE 2021 Message-ID: AROSA @ WETICE 2021 Track on Adaptive and Reconfigurable Systems and Architectures http://www.redcad.org/events/arosa2021/ Conference Track @ the 30th IEEE WETICE Conference, 23-25 June 2021, Basque Coast - Bayonne, France -------------- IMPORTANT DATES Deadline: February 28th, 2021 Notification: April 25th, 2021 Camera-ready: May 15th, 2021 -------------- INTRODUCTION The goal of this track is to bring together researchers and practitioners both from the Academia and from the Industry working in the areas of the adaptation and reconfiguration of distributed systems. Different investigation topics are involved, such as: CBSE, Web service, cloud applications, mobile applications, Functional and Non-Functional requirements (QoS, performance, resilience), monitoring, diagnosis, decision and execution of adaptation and reconfiguration. Different research areas are covered: concepts, methods, techniques, and tools to design, develop, deploy and manage adaptive and reconfigurable software systems. The concept of adaptive and reconfigurable software systems has been introduced in order to describe architectures, which exhibit such properties. An adaptive and reconfigurable software system can repair itself if any execution problems occur, in order to successfully complete its own execution, while respecting functional and Non-Functional agreements. In the design of an adaptive and reconfigurable software system, several aspects have to be considered. For instance, the system should be able to predict or to detect degradations and failures as soon as possible and to enact suitable recovery actions. -------------- TOPICS For this track, contributions are devoted to functional and non functional adaptability and reconfiguration management in service-oriented and component-based software systems. Specifically, the relevant topics include, but are not limited to: -Distributed and centralized collaborative solutions for the diagnosis and repair of software systems -Design for the diagnosability and repairability -Collaborative Management of Non-Functional requirements (quality, security, robustness, availability) -Monitoring simple and composite architectures, components and services -Semantic (or analytic) architectural and behavioral models for monitoring of software systems -Dynamic reconfiguration of cloud and mobile applications -Collaborative planning and decision making -Collaborative technologies for ensuring autonomic properties -Predictive management of adaptability -Collaborative Management of autonomic properties -Experiences in practical adaptive and reconfigurable applications -Tools and prototypes for managing adaptability of applications -------------- PAPER SUBMISSION Papers up to six double-column pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Each paper will be reviewed by at least three reviewers for ensuring high quality. Authors must upload their paper as PDF file using the EasyChair submission system: https://www.easychair.org/conferences/?conf=wetice2021 -------------- TRACK CHAIRS Ismail Bouassida, ReDCAD, University of Sfax, Tunisia Nesrine Khabou, ReDCAD, University of Sfax, Tunisia Khalil Drira, LAAS-CNRS and Université de Toulouse, France Mohamed Jmaiel, CRN Sfax, Tunisia -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Mon Jan 25 10:38:46 2021 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Mon, 25 Jan 2021 10:38:46 +0100 Subject: [fg-arc] WETICE 2021 - Call for Papers Message-ID: <04AD899B-4410-4CBC-B8A9-BD6B8B8FE8A3@di.unipi.it> ============================================================================================================================================ IEEE WETICE 2021 The 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 23-25 June 2021, Basque Coast - Bayonne, France Website: http://wetice.org ============================================================================================================================================= Important Dates Paper Submission Deadline: February 28th, 2021 Notification of Acceptance: April 25th, 2021 Camera-ready: May 15th, 2021 Early registration: May 15th, 2021 Conference: June 23-25, 2021 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an forum on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 30th WETICE edition will be held on June 23-25, 2021 in Bayonne (French Basque country), France. WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management List of Tracks Adaptive Computing (and Agents) for Enhanced Collaboration Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures Convergence of Distributed Clouds, Grids and their Management Collaborative Modeling and Simulation Complex Networks Monitoring and Security and Fraud Detection for Enterprises Future Internet Services and Applications Security, Safety and Trust Management Validating Software for Critical Systems Semantic Technologies for Smart Information Sharing and Web Collaboration Gerontechnology Advances in Blockchain Technologies and Applications Manuscript Guidelines and Submission Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform. The submission link is available on the conference Website General Chairs Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France Program Chairs Stefania Monica, Università degli Studi di Modena e Reggio Emilia, Italy Sami Yangui, LAAS-CNRS, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at upb.de Fri Jan 29 07:55:05 2021 From: sauer at upb.de (Stefan Sauer) Date: Fri, 29 Jan 2021 07:55:05 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers=3A_12=2E_Workshop_=E2=80=9EDe?= =?utf-8?q?sign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=2812_DFF_21=29?= Message-ID: Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 5. März 2021 -------------------------------------------------------------------------------- *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 announce at cs.ucy.ac.cy Sun Jan 31 11:39:55 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 31 Jan 2021 12:39:55 +0200 Subject: [fg-arc] 8th International Symposium on End-User Development (IS-EUD 2021): Second Call for Papers Message-ID: <03LYO0RW-30KS-TCH0-ZKDQ-ZRXLA5N2KVKC@cs.ucy.ac.cy> *** Second 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/ 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 · Regular and Short papers submission: March 8, 2021 · Notification: March 30, 2021 · Camera-ready: April 30, 2021 · Workshop proposal submission: March 8, 2021 · Notification: March 15, 2021 · Camera-ready: April 30, 2021 · Demonstration and Work in Progress submission: April 7, 2021 · Notification: April 21, 2021 · Camera-ready: April 30, 2021 · Doctoral Consortium submission: April 7, 2021 · Notification: April 30, 2021 · Camera-ready: May 15, 2021 Organizers General Chairs · Panos Markopoulos (Eindhoven University of Technology, The Netherlands) · George A. Papadopoulos (University of Cyprus, Cyprus) Program Chairs · Daniela Fogli (University of Brescia, Italy) · Daniel Tetteroo (Eindhoven University of Technology, The Netherlands) Short papers Chairs · Barbara Rita Barricelli (University of Brescia, Italy) · Simone Borsci (University of Twente, The Netherlands) Work in Progress Chairs · Jelle Van Dijk (University of Twente, The Netherlands) · Carmen Santoro (ISTI-CNR, Italy) Demonstration Chair · Stefano Valtolina (University of Milan, Italy) Workshop Chairs · Styliani Kleanthous (Open University of Cyprus, Cyprus) · Simone Stumpf (City University London, UK) Doctoral Consortium Chairs · Monica Maceli (Pratt Institute, USA) · Antonio Piccinno (University of Bari, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From T.A.C.Willemse at tue.nl Wed Jan 27 16:38:25 2021 From: T.A.C.Willemse at tue.nl (Willemse, T.A.C.) Date: Wed, 27 Jan 2021 15:38:25 +0000 Subject: [fg-arc] FORTE 2021: Last CfP Message-ID: ******************************************************************************************** *FORTE 2021* - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems June 14-18, 2021, Valletta, Malta FORTE 2021 is one of the three conferences of DisCoTec 2021 , the 16th International Federated Conference on Distributed Computing Techniques ****************************************************************************************** *Important dates* January 29, 2021 - abstract submission February 5, 2021 - paper submission April 2, 2021 - notification April 23, 2021 - camera ready See the conference website for up-to-date information. *Keynote Speakers* - Gilles Fedak, iExec, FR - Mira Mezini, Technical University of Darmstadt, DE - Alexandra Silva, University College London, UK *Scope* FORTE 2021 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technology for distributed systems, with special interest in: - Software quality, reliability, availability, and safety - Security, privacy, and trust in distributed and/or communicating systems - Service-oriented, ubiquitous, and cloud computing systems - Component- and model-based design - Object technology, modularity, software adaptation - Self-stabilization and self-healing/organizing - Verification, validation, formal analysis, and testing of the above. Aligned with the above, FORTE covers *models and formal specification*, *testing* and *verification methods* for distributed computing. Application domains are multiple, and include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, as well as networking and communication security and reliability. Contributions that *combine theory and practice* and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are very much encouraged. *Main Topics of Interest* Topics of interest include but are not limited to: - *Languages and semantic foundations* New modeling and language concepts for distribution and concurrency; semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects - *Formal methods and techniques* Design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems, including communications and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks - *Foundations of security* New principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts - *Applications of formal methods* Applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems - *Practical experience with formal methods* Industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. - *Emerging challenges and hot topics in distributed systems* (broadly construed) Formal specification, verification and analysis of emerging systems and applications, such as, for instance, software-defined networks, distributed ledgers, smart contracts, and blockchain technologies. *Submission Guidelines* Contributions must be written in English according to one of the three categories described below. They should report on original, unpublished work, not submitted for publication elsewhere (cf. IFIP codes of conduct , under Links). Submissions must be prepared as a PDF using Springer’s LNCS style. Submissions not adhering to the specified constraints of their respective category may be rejected without review. *Submission Categories* FORTE accepts contributions in three categories: *full papers*, *short papers*, and *journal-first papers*. These categories and their associated criteria are described in detail below. Notice that *short* and *journal-first* papers must be explicitly marked as such in the submission’s title. * Full papers * (page limit: up to 15 pages + 2 pages references) A full paper submission describes thorough and complete research results in the scope of the conference. * Short papers * (page limit: up to 6 pages + 2 pages references) A short paper submission can be one of the following: - *Rough diamonds*: Extended abstracts presenting innovative and promising ideas, possibly in an early form and without supporting evidence. - *Tool (demonstration) papers*: Extended abstracts describing (or demonstrating) new tools (or tool components) that implement (or build upon) theoretical foundations. - *Position papers* : Extended abstracts describing (i) calls to action, or (ii) substantiated reflections on current and/or future research perspectives related to FORTE. Short paper submissions must be marked as such in the submission’s title. * "Journal First" papers* (page limit: up to 4 pages, including references) This category aims at including published journal papers in the FORTE 2020 program. The objective is to offer FORTE attendees a richer program and further opportunities for interaction. Authors of published papers in high-quality journals can submit a proposal to present their journal paper in FORTE. The journal paper must adhere to the following four criteria: - It should be clearly in the scope of the conference. - It should be recent: only journal papers available after January 1, 2019 (online or paper) can be presented. - It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results). - It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops. A journal-first submission is a concise but compelling summary of the published journal paper, which makes it clear why a related presentation would enrich the program of FORTE. Journal-first submissions must be marked as such in the submission’s title, and must explicitly include pointers to the journal publication (such as a DOI) but also to related conference and workshop papers, as appropriate. They will be judged on the basis of the above criteria, but also considering relevance and the potential of enriching and complementing the conference program. *Publication* All accepted papers, including short papers and journal-first submissions, will be published in the FORTE 2021 formal proceedings, which will appear in Springer’s LNCS-IFIP volume series. *Special Issue* Selected papers will be invited to a special issue of *Logical Methods in Computer Science* . *Submission Link* https://easychair.org/conferences/?conf=forte21 *Program committee chairs* - Kirstin Peters (TU Darmstadt, DE) - Tim Willemse (Eindhoven University of Technology, NL) *Program committee members* - Luís Soares Barbosa (University of Minho) - Jiri Barnat (Masaryk University) - Pedro R.D'Argenio (Universidad Nacional de Córdoba) - Mila Dalla Preda (University of Verona) - Wan Fokkink (Vrije Universiteit Amsterdam) - Daniele Gorla (University of Rome "La Sapienza") - Artem Khyzha (Tel Aviv University) - Barbara König (University of Duisburg-Essen) - Bas Luttik (Eindhoven University of Technology) - Stephan Merz (Inria Nancy) - Roland Meyer (TU Braunschweig) - Mohammadreza Mousavi (University of Leicester) - Thomas Neele (Royal Holloway, University of London) - Ana-Maria Oprescu (University of Amsterdam) - Catuscia Palamidessi (INRIA) - Anna Philippou (University of Cyprus) - Jorge A.Pérez (University of Groningen) - Anne Remke (WWU Münster) - Kristin Yvonne Rozier (Iowa State University) - Cristina Seceleanu (Mälardalen University) - Maurice H. ter Beek (ISTI-CNR, Pisa) - Simone Tini (University of Insubria) - Rob van Glabbeek (Data61 - CSIRO) - Björn Victor (Uppsala University) - Georg Weissenbacher (Vienna University of Technology) *Steering committee* - Ahmed Bouajjani (University Paris Diderot, France) - Christel Baier (University Dresden, Germany) - Frank de Boer (CWI, Netherlands) - Luís Caires (Universidade Nova de Lisboa, Portugal) - Einar Broch Johnsen (University of Oslo, Norway) - Ivan Lanese (University of Bologna/INRIA, Italy – Chair) - Jorge A. Pérez (University of Groningen, The Netherlands) - Alexandra Silva (University College London, UK) - Ana Sokolova (University of Salzburg, Austria) - Jean-Bernard Stefani (INRIA, France) - Nobuko Yoshida (Imperial College London, UK) - Heike Wehrheim (Paderborn University, Germany) *More Information* For additional information, please contact the Program Committee Co-chairs: forte21 at easychair dot org