From genaim at gmail.com Wed Jan 1 10:30:27 2020 From: genaim at gmail.com (Samir Genaim) Date: Wed, 1 Jan 2020 10:30:27 +0100 Subject: [fg-arc] WST 2020 Call for Papers Message-ID: ========================================================================== WST 2020 - Call for Papers 17th International Workshop on Termination http://costa.fdi.ucm.es/wst2020 July 4-5, 2020, Paris, France co-located with IJCAR and FSCD 2020. ========================================================================== 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. The workshop is co-located with IJCAR and FSCD 2020. https://ijcar2020.org/ https://fscd2020.org/ IMPORTANT DATES: * submission deadline: April 12, 2020 * notification: May 10, 2020 * final version due: May 31, 2020 * workshop: July 4-5, 2020 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 COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see http://termination-portal.org/wiki/Termination_Competition In 2020, the Termination Competition will run shortly before WST and the main venues (IJCAR-FSCD), and the results will be presented at IJCAR or FSCD. PROGRAM COMMITTEE: Martin Avanzini - INRIA Sophia, Antipolis Florian Frohn - Max-Planck-Institut für Informatik, Saarbrücken 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 INVITED SPEAKERS: tba SUBMISSION: 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=wst2020 Please, use LaTeX and the LIPIcs style file http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Jan 4 10:17:35 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 4 Jan 2020 11:17:35 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Fourth Joint Call for Tutorials, DC, Posters and Demos Message-ID: *** Fourth Joint Call for Tutorials, Doctoral Consortium, Posters and Demos *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Frcis-conf.com%2F Submission deadline: February 14, 2020 (AoE) (Proceedings to be published by Springer) RCIS has become a recognized conference on research challenges in Information Science. Organized for the 14th time in a row, RCIS 2020 will be held from May 20-22, 2020, in Limassol, Cyprus. The topics of interest are organized into some major categories (more details in the call for papers http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPapers.php ): · Information Systems and their Engineering · User-Oriented Approaches · Data and Information Management · Business Process Management · Domain-specific IS Engineering · Data Science · Information Infrastructures · Reflective Research and Practice IMPORTANT DATES FOR ALL SATELLITE EVENTS · Submission deadline for all paper types: February 14, 2020 (AoE) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 TUTORIALS Tutorials are intended to provide independent instruction (know-how) on a topic of relevance, no commercial or sales-oriented. Potential presenters should keep in mind that there might be a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Tutorial speakers should be prepared to cope with this diversity. The conference has specific slots for tutorials. They will be organized in sessions of 90 minutes with a free format. Tutorials run in parallel with other conference tracks, and participation is included in the attendees' conference fee. We invite proposals for tutorials that may address one or more of the listed topics below, although authors should not feel limited by them. Tutorial proposals are limited to 5 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ). Proposals must be submitted using the conference submission site (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 ), where you choose "RCIS2020 Tutorials". Instructions on the structure of a tutorial proposal can be found online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2Ftutorials.php . Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain DOCTORAL CONSORTIUM The RCIS 2020 Doctoral Consortium is an opportunity for doctoral students to present, discuss and develop their research project in an interdisciplinary workshop, under the guidance of a panel of senior researchers. The Doctoral Consortium offers nice opportunities for PhD students. Firstly, the feedback received during the Doctoral Consortium will really benefit students who have defined their topic, research plan and have obtained early results, but who still have room for improving their longer-term plan. Secondly, students at all stages of their doctoral project can meet the welcoming RCIS community and widen their network of contacts. The Doctoral Consortium has the following objectives: · Provide a platform for students to present their work and to meet other peers and be familiar with different research topics and methods. · Provide feedback on students' current research and guidance on future research directions. · Promote the development of a supportive community of scholars and a spirit of collaborative research and networking. · Contribute to the conference goals through interaction with other researchers. Interested PhD students are invited to submit papers, in agreement with their supervisors, addressing the instructions that are provided on the online call: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallDoctoral.php . Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Submissions must be written in English, and must be authored by the student only. The maximum length of the paper should be eight (8) pages, including references, appendices, etc. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Doctoral Consortium". Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands POSTERS AND DEMOS The posters & demos track will showcase prototypes and new research ideas in Information Science. This track provides a forum for researchers and practitioners to present their work, interact with conference participants, and obtain feedback on on-going research. We invite two types of submissions: · Posters are intended to convey a research result and are not advertisements for commercial software packages. While posters need not describe completed work, they should report on research for which at least some preliminary results are available. · Demonstrations should directly and actively involve the exhibition and display of tools/prototypes and associated materials that illustrate research work in progress and serve as ground for discussion of research ideas. Posters and demonstrations proposals must be submitted as a single PDF file with no more than 6 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ) including references and appendices. Proposals that exceed the limit of 6 pages will be rejected without review. Proposals that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Posters & Demos". More details on the submission and presentation format is online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZvdXJ0aCBKb2ludCBDYWxsIGZvciBUdXRvcmlhbHMsIERDLCBQb3N0ZXJzIGFuZCBEZW1vcwk0NTUJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPostersDemo.php . Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland CONFERENCE COMMITTEES General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Sat Jan 4 18:34:34 2020 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sat, 4 Jan 2020 17:34:34 +0000 Subject: [fg-arc] Call for Participation: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Message-ID: <748A2DE4-E762-43AE-BB63-1B36E45A9E65@gatech.edu> Apologies for cross-posting - Please forward to anybody who might be interested The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence [Call for Participation] Workshop URL: https://www2.isye.gatech.edu/~fferdinando3/cfp/PPAI20 Registration URL: https://aaai.org/Conferences/AAAI-20/registration/ Online Registration Deadline: January 10, 2020 Location: AAAI 2020 - Hilton New York Midtown, New York, NY, USA Date: February 7, 2020 (Full day) Scope The availability of massive amounts of data, coupled with high-performance cloud computing platforms, has driven significant progress in artificial intelligence and, in particular, machine learning and optimization. Indeed, much scientific and technological growth in recent years, including in computer vision, natural language processing, transportation, and health, has been driven by large-scale data sets which provide a strong basis to improve existing algorithms and develop new ones. However, due to their large-scale and longitudinal collection, archiving these data sets raise significant privacy concerns. They often reveal sensitive personal information that can be exploited, without the knowledge and/or consent of the involved individuals, for various purposes including monitoring, discrimination, and illegal activities. The goal of the AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence is to provide a platform for researchers to discuss problems and present solutions related to privacy issues arising within AI applications. The workshop will focus on both theoretical and practical challenges arising in the design of privacy-preserving AI systems and algorithms. It will place particular emphasis on algorithmic approaches to protect data privacy in the context of learning, optimization, and decision making that raise fundamental challenges for existing technologies. Additionally, it will welcome algorithms and frameworks to release privacy-preserving benchmarks and datasets. Technical Program • 8:45 - 9:00: Poster Setup and Opening Statement • 9:00 - 9:45: Invited Talk: Catuscia Palamidessi • 9:45 - 10:30: Session I Session Chair: TBA • Gilie Gefen, Omer Ben-Porat, Moshe Tennenholtz and Elad Yom-Tov. Privacy, altruism, and experience: Estimating the perceived value of Internet data for medical uses. • Reza Shokri, Martin Strobel and Yair Zick. Exploiting Transparency Measures for Membership Inference: a Cautionary Tale. • Shubhankar Mohapatra, Xi He, Gautam Kamath and Om Thakkar. Diffindo! Differentially Private Learning with Noisy Labels. • 10:30 - 11:00: Break and Poster Session • 11:00 - 11:45: Invited Talk: Boi Faltings • 11:45 - 12:30: Poster Session • 12:30 - 14:00: Lunch (not sponsored) • 14:00 - 14:45: Invited Talk: Aleksandar Nikolov • 14:45 - 15:30: Session II Session Chair: TBA • Kai Wen Wang, Travis Dick and Maria-Florina Balcan. Scalable and provably accurate algorithms for differentially private distributed decision tree learning. • Chaitali Ashok Choudhary, Martine De Cock, Rafael Dowsley, Anderson Nascimento and Davis Railsback. Secure Training of Extra Trees Classifiers over Continuous Data. • Dominik Fay, Jens Sjölund and Tobias J. Oechtering. Private Learning for High-Dimensional Targets with PATE. • 15:30 - 16:00: Break and Poster Session • 16:00 - 17:00: Poster Session • 17:00 - 18:00: Panel Discussion Accepted Poster Presentations • Qiu Yuchen, Yuanyuan Qiao, Aimin Zhang and Jie Yang Residence and Workplace Recovery: User Privacy Risk in Mobility Data • Hanten Chang and Hiroyasu Ando Privacy Preserving Data Sharing by Integrating Perturbed Distance Matrices • Shreya Sharma, Xing Chaoping and Yang Liu Privacy-Preserving Deep Learning with SPDZ • Liyue Fan A Survey of Differentially Private Generative Adversarial Networks • Colin Wan, Zheng Li, Alicia Guo and Yue Zhao SynC: A Unified Framework for Generating Synthetic Population with Gaussian Copula • Ashish Dandekar, Debabrota Basu and Stephane Bressan Differential Privacy at Risk: Bridging Randomness and Privacy Budget • Ulrich Aïvodji, Sébastien Gambs and Timon Ther GAMIN: An Adversarial Approach to Black-Box Model Inversion • Longfei Zheng, Chaochao Chen, Yingting Liu, Bingzhe Wu, Xibin Wu, Li Wang, Lei Wang and Jun Zhou Industrial Scale Privacy Preserving Deep Neural Network • Yingting Liu, Chaochao Chen, Longfei Zheng, Li Wang and Jun Zhou Privacy Preserving PCA for Multiparty Modeling • Clémence Mauger, Gaël Le Mahec and Gilles Dequen Modeling and Evaluation of k-anonymization Metrics • Aleksei Triastcyn and Boi Faltings Bayesian Differential Privacy for Machine Learning • Himanshu Arora Guided PATE for Scalable Learning • Adam Richardson, Aris Filos-Ratsikas, Ljubomir Rokvic and Boi Faltings Privately Computing Influence in Regression Models • Hui Hu and Chao Lan Inference Attack and Defense Mechanisms on the Distributed Private Fair Machine Learning Framework • Yulin Zhang and Dylan Shell Plans that Remain Private Even in Hindsight • Junhong Cheng, Wenyan Liu, Xiaoling Wang, Xingjian Lu, Jing Feng and Yi Li Adaptive Distributed Differential Privacy with SGD Invited Speakers · Boi Faltings (EPFL) · Aleksandar Nikolov (University of Toronto) · Catuscia Palamidessi (INRIA) Workshop Committee · Aws Albarghouthi - University of Wisconsin-Madison · Carsten Baum - Bar Ilan University · Aurélien Bellet - INRIA · Elette Boyle - Technion · Mark Bun - Boston University · Kamalika Chaudhuri - University of California San Diego · Graham Cormode - The University of Warwick · Marco Gaboardi - Boston University · Antti Honkela - University of Helsinki · Peter Kairouz - Google AI · Kim Laine - Microsoft · Audra McMillan - Northeastern University · Sebastian Meiser - University College London · Ilya Mironov - Google · Aleksandar Nikolov - University of Toronto · Kobbi Nissim - Georgetown University · Catuscia Palamidessi - INRIA · Reza Shokri - National University of Singapore · Jonathan Ullman - Northeastern University · Xiao Wang - Northwestern University Workshop Chairs · Ferdinando Fioretto (Syracuse University) · Pascal Van Hentenryck (Georgia Institute of Technology) · Rachel Cummings (Georgia Institute of Technology) -------------- next part -------------- An HTML attachment was scrubbed... URL: From bogom.s at gmail.com Mon Jan 6 18:43:24 2020 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Mon, 6 Jan 2020 17:43:24 -0000 Subject: [fg-arc] PhD Studentship in Cyber-Physical Systems and Trusted Autonomy, Newcastle University, UK Message-ID: <03dc01d5c4b8$e0713600$a153a200$@gmail.com> At the School of Computing of Newcastle University (UK), I have a *fully-funded* PhD studentship on cyber-physical systems and trusted autonomy. The studentship is open to UK/EU and *international* students. More information is available at the following link: https://www.jobs.ac.uk/job/BXP958/phd-studentship-in-cyber-physical-sy stems-and-trusted-autonomy Sharing and forwarding of this note is very much appreciated. Thanks a lot, Sergiy From irdta at irdta.eu Mon Jan 6 19:49:54 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 06 Jan 2020 19:49:54 +0100 Subject: [fg-arc] AlCoB 2020: call for posters Message-ID: <545102060a010b020257510b0000585e045e045651035353060508050605505307040652505f00035304595601560400@grlmc_ip-zone_com-6> AlCoB 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 7th International Conference on Algorithms for Computational Biology (AlCoB 2020) invites researchers to submit poster presentations. AlCoB 2020 will be held in Missoula, Montana on April 13-15, 2020. See:  https://alcob2020.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: March 6, 2020 Notification of poster acceptance or rejection: March 13, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=alcob2020 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2020. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by March 20, 2020. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Jan 2 16:26:38 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 2 Jan 2020 17:26:38 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Sixth Call for Papers Message-ID: *** Sixth Call for Papers *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFNpeHRoIENhbGwgZm9yIFBhcGVycwk0NTIJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Frcis-conf.com%2F Abstract submission deadline: January 20, 2020 Paper submission deadline: January 27, 2020 (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 2020 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned the special theme of Information Science in the Days of Artificial Intelligence. We understand AI in a broad sense, including machine learning, self-adaptation, logic-based reasoning, automation, agents and multiagent systems, natural language processing, etc. 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, ... · Industry 4.0 · Web-Based Applications and Services · Smart Cities 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 will complement the main conference. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFNpeHRoIENhbGwgZm9yIFBhcGVycwk0NTIJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFNpeHRoIENhbGwgZm9yIFBhcGVycwk0NTIJTGlzdHMJMTM5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Drcis2020 . 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 31, 2020. SPECIAL ISSUE A selection of the best accepted papers of RCIS'20, 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 · Regular paper submission deadline: January 27, 2020 (AoE) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 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 General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From jens.knodel at caruso-dataplace.com Thu Jan 9 22:41:22 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Thu, 9 Jan 2020 21:41:22 +0000 Subject: [fg-arc] Call for Paper: WSRE 2020, 4.-6. Mai 2020 Message-ID: WSRE 2020, 4.-6. Mai 2020 Call for Papers ========================= 22. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 4.-6. Mai 2020 https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ Warum treffen wir uns zum 22. Mal? ===== Unser Ziel ist die Förderung der Zusammenarbeit und der fachliche Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen "Software-Reengineering", "Software-Wartung" und "Software-Evolution". Darunter verstehen wir prinzipiell alle Aktivitäten, deren Ziel die Analyse, Visualisierung, Bewertung, Verbesserung, Migration und Weiterentwicklung von größeren und kleineren Software-Systemen ist. Wir laden Forscher und Praktiker herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden, Werkzeuge, und "War-Stories" in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. Was ist dieses Jahr besonders? ===== - Vorträge: Einblick, Rückblick, und Ausblick auf interessante Arbeiten und Ergebnisse rund ums Software-Reengineering und verwandte Themen aus Forschung und Praxis. Lernen und diskutieren! - Forschung trifft Praxis: Neuer Track zur Förderung der praktischen Erprobung von laufenden Forschungsarbeiten und Promotionen. Ziel ist, über ein Forum die Anwendung und Erprobung von Forschungsergebnissen an realen Bespielen der Industrie zu forcieren - vielfach gefordert, aber selten tatsächlich getan. Wir wollen Kooperationen zum beiderseitigen Nutzen initiieren! Unternehmen, die sich beteiligen, können von aktueller Forschung als erstes profitieren. - 11. Workshop "Design For Future" des Arbeitskreises L2S2 "Langlebige Softwaresysteme" als Track des WSRE mit eigenem Call: http://akl2s2.ipd.kit.edu/veranstaltungen/dff2020/ - Networking: Interaktive Programmpunkte zum direkten Austausch und zur Vernetzung zwischen den Teilnehmern inklusive eines Social Events und Conference Dinner - und weiteren Überraschungen! Wann und wo? Der Workshop findet vom 4.-6. Mai 2020 wie immer im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer erfolgt im Physikzentrum. https://www.dpg-physik.de/dpg/pbh/ Wie reiche ich einen Beitrag ein? ===== Eingereicht werden können Erfahrungs- und Projektberichte, Lösungsideen aus der Praxis genauso wie Ergebnisberichte, Ideen und Diskussionsbeiträge aus der Wissenschaft. Beiträge bitte über die EasyChair-Submission-Page einreichen: https://www.easychair.org/conferences/?conf=wsre2020 Mögliche Themen sind u.a. Software-Analyse und -Transformation, Software-Qualität und Metriken, (intelligente) Wissensgewinnung aus Software-Repositorien, Software-Visualisierung, Analyse- und Reengineering-Werkzeuge, Continuous-Development-Ansätze, Wartung und Refactoring, Software-Migration und -Modernisierung, Modelle/Methoden/Prozesse für Reengineering und Software-Evolution, Experimente und Faktor Mensch im Reengineering, Wirtschaftlichkeit von Reengineering-Maßnahmen. Als Beiträge werden erweiterte Kurzfassungen auf maximal zwei Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html) erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE. Die Texte können in deutscher oder englischer Sprache verfasst sein. Sollte die Zahl der Präsentationen zu groß werden, so werden die Organisatoren eine Auswahl treffen. Wie ist der Zeitplan? ===== - Einreichung der Kurzfassungen: 13. März 2020 - Benachrichtigung über die Annahme: 31. März 2020 - Einreichung der druckfertigen Endfassung: 09. April 2020 - Anmeldeschluss zur Teilnahme: 09. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 4.-6. Mai 2020 Organisatoren: ===== Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? wsre2020 at easychair.org -- Dr. Jens Knodel Head of Platform Engineering   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From taravanis at upatras.gr Tue Jan 7 16:24:55 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Tue, 07 Jan 2020 17:24:55 +0200 Subject: [fg-arc] KR2020 - CFP Message-ID: CALL FOR PAPERS 17th Conference on Principles of Knowledge Representation and Reasoning (KR2020) 12--18 September 2020, Rhodes, Greece https://kr2020.inf.unibz.it/ 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. We also encourage "reports from the field" of applications, experiments, developments, and tests. 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, virtual knowledge graphs, and open linked data * Knowledge representation languages * Logic programming, answer set programming, constraint logic 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 knowledge, beliefs, and other mental attitudes * Uncertainty, vagueness, many-valued and fuzzy logics KR2020 will also feature Workshops and Tutorials, solicited by means of an open call, and a Doctoral Consortium. TRACKS In addition to the main conference track, KR2020 will host the following tracks and sessions: * Applications and Systems Track * Recent Published Research Track * Special Session: KR and Machine Learning * Special Session: KR and Robotics * Special Session: Women in KR IMPORTANT DATES Submission of title and abstract: 4 March 2020 Paper submission deadline: 11 March 2020 Author response period: 4--6 May 2020 Notification: 27 May 2020 Camera-ready papers: 24 June 2020 Conference dates: 12--18 September 2020 Recent Published Research Track, Workshops and Tutorials, and Doctoral Consortium will have different submission and notification dates, which will be announced separately. AUTHORS 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=kr2020 . For the main conference track and additional tracks/sessions (except for the Recent 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). The accepted full papers and short papers will be published in the KR2020 proceedings. Recent Published Research Track, Workshops and Tutorials, and Doctoral Consortium will have different submission guidelines, which will be announced separately. CONFERENCE CHAIRS: General: Michael Thielscher (University of New South Wales, Australia) Program: Diego Calvanese (Free University of Bozen-Bolzano, Italy), Esra Erdem (Sabanci University, Turkey) Applications Track: Chitta Baral (Arizona State University, USA), Francesco Ricca (University of Calabria, Italy) Recent Published Research Track: James Delgrande (Simon Fraser University, Canada) Mirosław Truszczynski (University of Kentucky, USA) Special Session: KR & ML: Alessandra Russo (Imperial College London, UK), Guy Van den Broeck (UCLA, USA) Special Session: KR & Robotics: Michael Beetz (University of Bremen, Germany), Fredrik Heintz (Linkoping University, Sweden) Special Session: Women in KR: Meghyn Bienvenu (University of Bordeaux, France), Magdalena Ortiz (Vienna University of Technology, Austria) Workshop and Tutorials: Anni-Yasmin Turhan (Dresden University of Technology, Germany), Renata Wassermann (University of Sao Paulo, Brasil) Doctoral Consortium: Vaishak Belle (University of Edinburgh, UK), Rafael Penaloza Nyssen (University of Milano-Bicocca, Italy) Local Organization: Pavlos Peppas (University of Patras, Greece) Publicity: Paolo Felli (Free University of Bozen-Bolzano, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From taravanis at upatras.gr Thu Jan 9 13:55:56 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Thu, 09 Jan 2020 14:55:56 +0200 Subject: [fg-arc] CFP - KR2020 & Robotics Message-ID: <6ff9e2ae9d55ce5cb454d8260244bfb2@upatras.gr> Call for Papers **Special Session on Knowledge Representation and Robotics** at the 17th International Conference on Principles of Knowledge Representation and Reasoning September 12-18th, 2020 Rhodes, Greece https://kr2020.inf.unibz.it/ ------------------ Important Dates ------------------ Submission of title and abstract: 4 March 2020 Paper submission deadline: 11 March 2020 Author response period: 4--6 May 2020 Notification: 27 May 2020 Camera-ready papers: 24 June 2020 Conference dates: 12--18 September 2020 ------------------ "The key problems in robot capability yet to be solved are those of generalizable knowledge representation and of cognition based on that representation. How can computer memories represent knowledge to be retrieved by memory-based methods so that similar but not identical situations will call up the appropriate memories and thoughts?" Gill Pratt As Gill Pratt suggests, knowledge representation is a key towards equipping robots with true cognition skills. In this special session, we invite contributions that extend the state of the art at the intersection of knowledge representation and robotics. We especially encourage contributions in integrated and interactive systems (e.g., systems that sense and reason), and contributions that include evaluations on physical robots (single or multiple). Papers are solicited in all areas, including, but not limited to, one or more of the following: -- Knowledge representation and reasoning (KR) for Robotic Cognition -- Grounding knowledge in sense-plan-act loop -- Belief merging, information fusion for robotics -- KR for Autonomous Robot Architectures -- KR for Robotic Navigation and Manipulation -- KR for semantic maps -- Ontologies, and ontological representations for robotics -- Robotics and the Semantic Web -- Qualitative reasoning, and reasoning about physical systems for robotics -- KR for Human Robot Interaction and Communication -- KR for plan/intention recognition -- KR for human-robot dialogue planning and understanding -- Reasoning about knowledge, beliefs, and other mental attitudes of robots/humans -- Commonsense reasoning for robotics -- KR for Robotic Planning -- KR for Hybrid Reasoning (over discrete/continuous spaces) -- Combining logical/probabilistic, qualitative/quantitative representations/reasoning methods -- Geometric, spatial, and temporal reasoning for robotics -- Action languages for robotics applications -- Reasoning about actions and change in robotic domains -- Reasoning about actions connected to Control Theory -- KR for Robot Plan Execution and Monitoring -- Belief revision and update for robotics -- Explanation finding, diagnosis, causal reasoning, abduction for robotics -- Stream reasoning for robotics -- KR for Multi-Robot Systems -- KR for task allocation for robots, coordination of robots -- Combining KR in the lab and Robotic applications -- KR for Service Robotics -- KR for Cognitive Factories -- KR for Warehouse Robots -- KR for Autonomous Vehicles -- Computational aspects of knowledge representation and reasoning in robotics applications ------------------ 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 KR2020. 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 ------------------ Michael Beetz (University of Bremen, Germany) Friedrik Heintz (Linköping University, Sweden) -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Tue Jan 7 17:03:31 2020 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Tue, 7 Jan 2020 16:03:31 +0000 Subject: [fg-arc] Call for Participation: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Message-ID: <3A57EB8F-D0D5-4232-BF72-620DD2A26107@gatech.edu> Apologies for cross-posting - Please forward to anybody who might be interested The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence [Call for Participation] Workshop URL: https://www2.isye.gatech.edu/~fferdinando3/cfp/PPAI20 Registration URL: https://aaai.org/Conferences/AAAI-20/registration/ Online Registration Deadline: January 10, 2020 Location: AAAI 2020 - Hilton New York Midtown, New York, NY, USA Date: February 7, 2020 (Full day) Scope The availability of massive amounts of data, coupled with high-performance cloud computing platforms, has driven significant progress in artificial intelligence and, in particular, machine learning and optimization. Indeed, much scientific and technological growth in recent years, including in computer vision, natural language processing, transportation, and health, has been driven by large-scale data sets which provide a strong basis to improve existing algorithms and develop new ones. However, due to their large-scale and longitudinal collection, archiving these data sets raise significant privacy concerns. They often reveal sensitive personal information that can be exploited, without the knowledge and/or consent of the involved individuals, for various purposes including monitoring, discrimination, and illegal activities. The goal of the AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence is to provide a platform for researchers to discuss problems and present solutions related to privacy issues arising within AI applications. The workshop will focus on both theoretical and practical challenges arising in the design of privacy-preserving AI systems and algorithms. It will place particular emphasis on algorithmic approaches to protect data privacy in the context of learning, optimization, and decision making that raise fundamental challenges for existing technologies. Additionally, it will welcome algorithms and frameworks to release privacy-preserving benchmarks and datasets. Technical Program • 8:45 - 9:00: Poster Setup and Opening Statement • 9:00 - 9:45: Invited Talk: Catuscia Palamidessi • 9:45 - 10:30: Session I Session Chair: TBA • Gilie Gefen, Omer Ben-Porat, Moshe Tennenholtz and Elad Yom-Tov. Privacy, altruism, and experience: Estimating the perceived value of Internet data for medical uses. • Reza Shokri, Martin Strobel and Yair Zick. Exploiting Transparency Measures for Membership Inference: a Cautionary Tale. • Shubhankar Mohapatra, Xi He, Gautam Kamath and Om Thakkar. Diffindo! Differentially Private Learning with Noisy Labels. • 10:30 - 11:00: Break and Poster Session • 11:00 - 11:45: Invited Talk: Boi Faltings • 11:45 - 12:30: Poster Session • 12:30 - 14:00: Lunch (not sponsored) • 14:00 - 14:45: Invited Talk: Aleksandar Nikolov • 14:45 - 15:30: Session II Session Chair: TBA • Kai Wen Wang, Travis Dick and Maria-Florina Balcan. Scalable and provably accurate algorithms for differentially private distributed decision tree learning. • Chaitali Ashok Choudhary, Martine De Cock, Rafael Dowsley, Anderson Nascimento and Davis Railsback. Secure Training of Extra Trees Classifiers over Continuous Data. • Dominik Fay, Jens Sjölund and Tobias J. Oechtering. Private Learning for High-Dimensional Targets with PATE. • 15:30 - 16:00: Break and Poster Session • 16:00 - 17:00: Poster Session • 17:00 - 18:00: Panel Discussion Accepted Poster Presentations • Qiu Yuchen, Yuanyuan Qiao, Aimin Zhang and Jie Yang Residence and Workplace Recovery: User Privacy Risk in Mobility Data • Hanten Chang and Hiroyasu Ando Privacy Preserving Data Sharing by Integrating Perturbed Distance Matrices • Shreya Sharma, Xing Chaoping and Yang Liu Privacy-Preserving Deep Learning with SPDZ • Liyue Fan A Survey of Differentially Private Generative Adversarial Networks • Colin Wan, Zheng Li, Alicia Guo and Yue Zhao SynC: A Unified Framework for Generating Synthetic Population with Gaussian Copula • Ashish Dandekar, Debabrota Basu and Stephane Bressan Differential Privacy at Risk: Bridging Randomness and Privacy Budget • Ulrich Aïvodji, Sébastien Gambs and Timon Ther GAMIN: An Adversarial Approach to Black-Box Model Inversion • Longfei Zheng, Chaochao Chen, Yingting Liu, Bingzhe Wu, Xibin Wu, Li Wang, Lei Wang and Jun Zhou Industrial Scale Privacy Preserving Deep Neural Network • Yingting Liu, Chaochao Chen, Longfei Zheng, Li Wang and Jun Zhou Privacy Preserving PCA for Multiparty Modeling • Clémence Mauger, Gaël Le Mahec and Gilles Dequen Modeling and Evaluation of k-anonymization Metrics • Aleksei Triastcyn and Boi Faltings Bayesian Differential Privacy for Machine Learning • Himanshu Arora Guided PATE for Scalable Learning • Adam Richardson, Aris Filos-Ratsikas, Ljubomir Rokvic and Boi Faltings Privately Computing Influence in Regression Models • Hui Hu and Chao Lan Inference Attack and Defense Mechanisms on the Distributed Private Fair Machine Learning Framework • Yulin Zhang and Dylan Shell Plans that Remain Private Even in Hindsight • Junhong Cheng, Wenyan Liu, Xiaoling Wang, Xingjian Lu, Jing Feng and Yi Li Adaptive Distributed Differential Privacy with SGD Invited Speakers · Boi Faltings (EPFL) · Aleksandar Nikolov (University of Toronto) · Catuscia Palamidessi (INRIA) Workshop Committee · Aws Albarghouthi - University of Wisconsin-Madison · Carsten Baum - Bar Ilan University · Aurélien Bellet - INRIA · Elette Boyle - Technion · Mark Bun - Boston University · Kamalika Chaudhuri - University of California San Diego · Graham Cormode - The University of Warwick · Marco Gaboardi - Boston University · Antti Honkela - University of Helsinki · Peter Kairouz - Google AI · Kim Laine - Microsoft · Audra McMillan - Northeastern University · Sebastian Meiser - University College London · Ilya Mironov - Google · Aleksandar Nikolov - University of Toronto · Kobbi Nissim - Georgetown University · Catuscia Palamidessi - INRIA · Reza Shokri - National University of Singapore · Jonathan Ullman - Northeastern University · Xiao Wang - Northwestern University Workshop Chairs · Ferdinando Fioretto (Syracuse University) · Pascal Van Hentenryck (Georgia Institute of Technology) · Rachel Cummings (Georgia Institute of Technology) -------------- next part -------------- An HTML attachment was scrubbed... URL: From taravanis at upatras.gr Thu Jan 9 14:41:04 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Thu, 09 Jan 2020 15:41:04 +0200 Subject: [fg-arc] KR2020 - Doctoral Consortium Call for Applications Message-ID: <245905d0b4619a0933a414dc1b4e7ff4@upatras.gr> KR Doctoral Consortium Call for Applications September 12-18, 2020 Rhodes, Greece https://kr2020.inf.unibz.it/ The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted by email. Each application must contain the following elements combined into a single PDF document.: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2020 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: May 6, 2020 Acceptance notification: May 27, 2020 Doctoral Consortium: September 12 - 18, 2020 (TBC) For further information, please contact the DC chairs: Vaishak Belle, University of Edinburgh (vaishak at ed.ac.uk) Rafael Peñaloza, University of Milano-Bicocca (rafael.penaloza at unimib.it) -------------- next part -------------- An HTML attachment was scrubbed... URL: From taravanis at upatras.gr Thu Jan 9 18:30:32 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Thu, 09 Jan 2020 19:30:32 +0200 Subject: [fg-arc] KR2020 & ML - CFP Message-ID: <2e48d34f992a787c3e66178ceeac1888@upatras.gr> Call for Papers **Special Session on Knowledge Representation and Machine Learning** at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR2020) September 12-18th, 2020 Rhodes, Greece https://kr2020.inf.unibz.it/ ------------------ Important Dates ------------------ Submission of title and abstract: 4 March 2020 Paper submission deadline: 11 March 2020 Author response period: 4--6 May 2020 Notification: 27 May 2020 Camera-ready papers: 24 June 2020 Conference dates: 12--18 September 2020 ----------- Description ----------- Over the last two decades Machine Learning (ML) has made incredible advancements showing to be very effective in solving specific tasks and robust in 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 unlock new advancements on foundations of AI that offer new insights into open fundamental challenges included, but not limited to, learning symbolic generalisations from raw (multi-modal) data, using knowledge to facilitate data-efficient learning, supporting interpretability of learned outcomes, federated multi-agent learning and decision making. This year, for the first time, KR2020 will host a special session on "Knowledge Representation and Machine Learning". This special session aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to computational learning and symbolic knowledge representation and reasoning. This special session provides the opportunity for fostering meaningful connections between researchers from these two main areas of AI and, at the same time, offering the possibility to learn about progress made on these topics, share their own views and learn about approaches that could lead to effective cross-fertilisation among research in ML and KR and new innovative solutions to key AI research challenges. ---------------------- Expected contributions ---------------------- The Special Session on KR and ML at KR2020 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 -- 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 ------ Alessandra Russo (Imperial College London, UK) Guy Van den Broeck (UCLA, USA) -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Fri Jan 10 14:32:08 2020 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 10 Jan 2020 14:32:08 +0100 Subject: [fg-arc] [CfP] SAT2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing Message-ID: <0115a11d-e8ec-7456-4bb9-cdc0cdf00cb2@uniss.it> ******************** Call for Papers ********************            The 23rd International Conference on      Theory and Applications of Satisfiability Testing                        (SAT 2020)              5-9 July 2020, Alghero, Italy http://sat2020.idea-researchlab.org/ ********************************************************* The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. *** Scope *** SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: * Theoretical advances * Practical search algorithms * Knowledge compilation * Implementation-level details of SAT solving tools * Problem encodings and reformulations * Applications * Case studies based on rigorous experimentation *** Invited Speakers *** * Georg Gottlob, TU Wien, Austria * Aarti Gupta, Princeton University, US *** Out of Scope *** Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. *** Paper Categories *** Submissions to SAT 2020 are solicited in three categories, describing original contributions. * Long papers (9 to 15 pages, excluding references) * Short papers (up to 8 pages, excluding references) * Tool papers (up to 6 pages, excluding references) Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions on applications and cases studies are especially welcome. Such papers should describe details, weaknesses and strengths of the considered approaches in sufficient depth, but they are not expected to introduce novel solving approaches. Tool papers must obey to specific content criteria. A tool paper should describe the implemented tool and its novel features. Here “tools” are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc. as well as systems that exploit SAT solvers or their extensions for use in interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. *** Submissions *** Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2020, and should not consist of previously published material. Submissions not consistent with the above guidelines may be returned without review. All papers submissions are done exclusively via EasyChair in Springer’s LaTeX llncs2e style. One author of each accepted paper is expected to present it at the conference. Further details can be found at the website of SAT 2020: http://sat2020.idea-researchlab.org/ *** Proceedings *** The proceedings will be published by Springer in the series Lecture Notes in Computer Science, seewww.springer.com/lncs . *** Important Dates *** Workshops                July 5, 2020 Conference               July 6-9, 2020 Abstract submission      February 15, 2020 Paper submission         February 22, 2020 Author response period   March 29 – April 2, 2020 Author notification      April 18, 2020 Camera-ready             May 3, 2020 *** Organization *** Program Chairs * Luca Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop Chair * Florian Lonsing, Stanford University Publicity Chair * Laura Pandolfo, University of Sassari Program Committee * Fahiem Bacchus, University of Toronto * Olaf Beyersdorff, Friedrich Schiller University Jena * Armin Biere, Johannes Kepler University Linz * Nikolaj Bjorner, Microsoft * Maria Luisa Bonet, Universitat Politècnica de Catalunya * Sam Buss, University of California San Diego * Florent Capelli, Université de Lille * Pascal Fontaine, Université de Liège, Belgium * Marijn Heule, Carnegie Mellon University * Alexey Ignatiev, Universidade de Lisboa * Mikolas Janota, University of Lisbon * Matti Järvisalo, University of Helsinki * Oliver Kullmann, Swansea University * Jie-Hong Roland Jiang, National Taiwan University * Jan Johannsen, Ludwig Maximilian University of Munich * Benjamin Kiesl, CISPA Helmholtz Center for Information Security * Daniel Le Berre, Université d’Artois * Florian Lonsing, Stanford University * Ines Lynce, Universidade de Lisboa * Vasco Manquinho, Universidade de Lisboa, Portugal * Felip Manyà, IIIA-CSIC * Joao Marques-Silva, University of Toulouse * Ruben Martins, Carnegie Mellon University * Kuldeep S. Meel, National University of Singapore * Alexander Nadel, Intel * Aina Niemetz, Stanford University * Jakob Nordstrom, University of Copenhagen * Markus N. Rabe, Google * Roberto Sebastiani, University of Trento * Natasha Sharygina, Università della Svizzera italiana * Laurent Simon, Bordeaux Institute of Technology * Friedrich Slivovsky, Vienna University of Technology * Stefan Szeider, Vienna University of Technology * Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universität Freiburg * Christoph M. Wintersteiger, Microsoft *** Contact *** For any questions, please contact sat2020 at easychair.org -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jan 13 10:05:08 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 13 Jan 2020 11:05:08 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Last Call for Papers (extended deadline!) Message-ID: <6EGZR1QN-WWD5-8DUU-KYRK-5K7JQNHWTQ3U@cs.ucy.ac.cy> *** Last Call for Papers *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzIChleHRlbmRlZCBkZWFkbGluZSEpCTQ1OAlMaXN0cwkxMzkJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Frcis-conf.com%2F Abstract submission deadline: January 27, 2020 (extended) Paper submission deadline: February 3, 2020 (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 2020 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned the special theme of Information Science in the Days of Artificial Intelligence. We understand AI in a broad sense, including machine learning, self-adaptation, logic-based reasoning, automation, agents and multiagent systems, natural language processing, etc. 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, ... · Industry 4.0 · Web-Based Applications and Services · Smart Cities 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 will complement the main conference. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzIChleHRlbmRlZCBkZWFkbGluZSEpCTQ1OAlMaXN0cwkxMzkJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzIChleHRlbmRlZCBkZWFkbGluZSEpCTQ1OAlMaXN0cwkxMzkJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Drcis2020 . 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 31, 2020. Each paper will be reviewed by at least three members of the Program Committee. We adopt a single-blind review format, meaning that the author names are included in the paper itself under the paper title. SPECIAL ISSUE A selection of the best accepted papers of RCIS'20, 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 · Regular paper submission deadline: February 3, 2020 (AoE) (extended) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 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 General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Jan 13 18:27:03 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 13 Jan 2020 18:27:03 +0100 Subject: [fg-arc] DeepLearn 2020: early registration January 26 Message-ID: <545102060a010b02025756000306555e54510c5400570e0501065a030f0f065355500655510e54560954570150035251@grlmc_ip-zone_com-6> DeepLearn 2020: early registration January 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2020   León, Guanajuato, Mexico   July 27-31, 2020   Co-organized by:   Center for Research in Mathematics, A.C. (CIMAT-CONACyT) Guanajuato   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://deeplearn2020.irdta.eu/   ***************************************************************   --- Early registration deadline: January 26, 2020 ---   ***************************************************************   SCOPE:   DeepLearn 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning. Previous events were held in Bilbao, Genova and Warsaw.   Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures and 24 four-hour and a half courses, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   DeepLearn 2020 will take place in León, the most populous city in the state of Guanajuato, in central Mexico, and a major economic pole in the country with specialization in leather industry. The venue will be:   Poliforum León Blvd. Adolfo López Mateos esq. Blvd. Francisco Villa Col. Oriental, León, Gto., Mexico, C.P. 37510   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS: (to be completed)   Maja Pantic (Imperial College London), Artificial Emotional Intelligence, Faces, Deep Fakes and Other Topics   PROFESSORS AND COURSES: (to be completed)   Ben Brown (Lawrence Berkeley National Laboratory), tba   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity   Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry   Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition   Massimiliano Pontil (Italian Institute of Technology), [intermediate/advanced] Statistical Learning Theory   Jose Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fedor Ratnikov (National Research University Higher School of Economics), [introductory] Specifics of Applying Machine Learning to Problems in Natural Science   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Alex Smola (Amazon), [introductory/advanced] Dive into Deep Learning   Kunal Talwar (Google Brain), [intermediate] Differentially Private Machine Learning   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [introductory/intermediate] Conceptual Understanding and Machine Learning   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by July 19, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 19, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 19, 2020.   ORGANIZING COMMITTEE:   Teresa Efigenia Alarcón Martínez (Guadalajara) Oscar Dalmau Cedeño (Guanajuato, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://deeplearn2020.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Centro de Investigación en Matemáticas, A.C. (CIMAT-CONACyT) – Guanajuato   Centro Universitario de los Valles, Universidad de Guadalajara   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From soldani at di.unipi.it Wed Jan 15 10:51:47 2020 From: soldani at di.unipi.it (Jacopo Soldani) Date: Wed, 15 Jan 2020 10:51:47 +0100 Subject: [fg-arc] Special issue on "Coordination and Self-Adaptiveness of Software Applications" - Open CFP Message-ID: <032301d5cb89$672b59b0$35820d10$@di.unipi.it> This is an open call for contributions to the special issue "Coordination and Self-Adaptiveness of Software Applications". The special issue belongs to the Elsevier journal "Science of Computer Programming" (ISSN: 0167-6423). *** Aims and scope *** Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the this special issue is to allow researchers and practitioners to discuss common problems and present novel solutions in the aforementioned fields. Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. *** Important dates *** Submission deadline: February 29th, 2020 First notification: Apr 20th, 2020 Revised Manuscript: July 10th, 2020 Final notification: August 31st, 2020 *** Guest Editors *** Ernesto Pimentel, University of Malaga, Spain Jacopo Soldani, University of Pisa, Italy *** Submission instructions *** Detailed instructions about manuscript formatting can be found at https://www.elsevier.com/journals/science-of-computer-programming/0167-6423/ guide-for-authors The submission site is available at https://ees.elsevier.com/scico/default.asp When submitting, specify "VSI: FOCLASA 2019" as the Special Issue name. With our Best Regards, Ernesto Pimentel and Jacopo Soldani -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Fri Jan 17 15:11:00 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Fri, 17 Jan 2020 15:11:00 +0100 Subject: [fg-arc] IEEE WETICE 2020 - Call for Papers Message-ID: <002001d5cd3f$f2c072f0$d84158d0$@di.unipi.it> ========================================================================= WETICE 2020 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 10-12 June 2020, Basque Coast - Bayonne, France Website: http://wetice2020.org ========================================================================= Important Dates Paper Submission Deadline: February 29th, 2020 Notification of Acceptance: March 21st, 2020 Camera-ready: April 4th, 2020 Early registration: April 30th, 2020 Conference: June 10-12, 2020 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 10-12, 2020 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 * Wetice General Track * 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 * 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 * Smart Living Space 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 using the following link: https://easychair.org/conferences/?conf=wetice2020 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 Parma, Italy Sami Yangui, LAAS-CNRS, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Wed Jan 15 09:38:04 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Wed, 15 Jan 2020 09:38:04 +0100 Subject: [fg-arc] ICFC 2020: Call For Posters Message-ID: <000a01d5cb7f$1bd051a0$5370f4e0$@di.unipi.it> ========================================================================= ICFC 2020: Call For Posters 2020 IEEE International Conference on Fog Computing (ICFC 2020) April 21-24, 2020 - Sydney, Australia https://sites.google.com/view/icfc2020/ Co-located with CPS-IoT Week (https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/) ========================================================================= Important Dates * Poster submission deadline: February 8, 2020 (AoE) * Notification: February 17, 2020 * Conference: April 21-24, 2020 Scope --------- The 2020 IEEE International Conference on Fog Computing (ICFC 2020), colocated with the CPS-IoT Week 2020 in Sydney, April 21-24, 2020, welcomes posters that articulate research challenges, work in progress, and application showcases of fog computing. The poster session is meant to introduce new or ongoing work and provide opportunities for authors to interact directly with conference attendees. Topics of interest include, but are not limited to: * System architecture for fog computing * Coordination between cloud, fog, and sensing/actuation endpoints * Connectivity, storage, and computation in the edge * Data processing and management for fog computing * Efficient and embedded AI in the fog * System and network manageability * Middleware and coordination platforms * Power, energy, and resource management * Device and hardware support for fog computing * Programming models, abstractions, and software engineering for fog computing * Security, privacy, and ethics issues related to fog computing * Theoretical foundations and formal methods for fog computing systems * Applications and practical experiences Poster Guidelines and Submission ---------------------------------------------- Poster papers are limited to 2 pages, and the title must start with "Poster:". Submitted poster papers must be PDF files in IEEE two column format. Please refer to IEEE proceedings templates (https://www.ieee.org/conferences/publishing/templates.html) for templates and complete formatting instructions. Submissions do not have to be blind, i.e., by omitting author names or affiliations. Poster papers should be submitted at https://easychair.org/conferences/?conf=icfc2020. The poster paper will be evaluated based on technical merit, innovation, and the potential to stimulate lively discussions at the conference. Accepted poster papers will appear in the conference proceedings. At least one author of each accepted abstract must register and present the poster at the conference. Please visit ICFC website at https://sites.google.com/view/icfc2020/call-for-posters for more information. Organization ----------------- General Chairs: Erol Gelenbe, IITIS, Polish Academy of Science, Poland Jie Liu, Microsoft Research Workshop and Poster Chair: David Bermbach, TU Berlin, Germany Publicity Chairs: Valeria Cardellini, University of Rome Tor Vergata, Italy Stefano Forti, University of Pisa, Italy Please contact the Poster Chair for any questions/clarifications. -------------- next part -------------- An HTML attachment was scrubbed... URL: From bogom.s at gmail.com Wed Jan 15 16:59:12 2020 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Wed, 15 Jan 2020 15:59:12 -0000 Subject: [fg-arc] Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK Message-ID: <003301d5cbbc$d1f2d420$75d87c60$@gmail.com> At the School of Computing of Newcastle University (UK), I am looking for a postdoc to work on algorithms and techniques to support scalable verification of hybrid systems. Candidates working on adjacent topics, which contribute to the broad goal of ensuring safety of autonomous systems such as synthesis of hybrid systems, are encouraged to apply as well. Interest in investigating links between formal methods and areas of artificial intelligence such as AI planning and verification of machine learning algorithms is welcome. More information is available at the following link: https://www.jobs.ac.uk/job/BXW951/research-assistant-associate-cyber-p hysical-system Sharing and forwarding of this note is very much appreciated. Thanks a lot, Sergiy From luis.magdalena at upm.es Mon Jan 20 16:52:37 2020 From: luis.magdalena at upm.es (LUIS MAGDALENA) Date: Mon, 20 Jan 2020 16:52:37 +0100 Subject: [fg-arc] 24th European Conference on Artificial Intelligence (ECAI 2020) Message-ID: ** Please accept our apologies for cross-posting ** ** It would be highly appreciated if you could disseminate this CFP among your colleagues ** ---------------------------------------------------------------------------- The deadlines for some events of the 24th European Conference on Artificial Intelligence (ECAI 2020) are approaching. + Tutorial Proposals: February 20 UTC-12 (Proposal submission deadline) + 9th Starting AI Researchers Symposium (STAIRS): February 21 UTC-12 (Paper submission deadline) + Doctoral Consortium: April 1 UTC-12 (Deadline for DC applications) + Workshops: 37 workshops have been accepted. The complete list is available at http://ecai2020.eu/workshops/. Check the deadlines for paper submission. ECAI 2020 ======== The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme "Paving the way towards Human-Centric AI", the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages. The conference dates are 10-12 June 2020, with the workshops taking place on 8-9 June. Save these dates! We had a record number of submissions for the Main Conference this year. We had more than 1700 abstract submissions and we reviewed 1443 papers of which 1363 full papers and 80 2-page highlight papers. Due to space limitations we were only able to accept 365 full-papers and 36 2-page highlight papers, yielding an acceptance rate of 26.8% for full-papers and 45% for 2-page highlight papers. The competition was particularly stiff this year due to the very large number of submissions (more than the double of the last ECAI stand-alone editions). ECAI 2020 EVENTS ---------------- In addition to the outstanding technical program, ECAI 2020 comprises an ample set of activities, including: + Invited plenary keynote lectures + Invited "Frontiers in AI" talks + Workshops + Tutorials + Mentoring and Communication Program for Starting AI Researchers (MC4SR) , constituted by: - 9th Starting Artificial Intelligence Researchers Symposium (STAIRS 2020) - Doctoral Consortium (DC) - Three Minutes Thesis competition (3MT) with tracks "Research2Society" and "Research2Market" which include a training and the competition itself (supervised by experts and judged by the participants) - Lunch with an EurAI Fellow - Job Fair + Conference on Prestigious Applications of Intelligent Systems (PAIS 2020) + EU Challenges forum + Lab To Market event and demos + Women in AI Breakfast organized by Women in AI association + … and more! For more details the ECAI 2020 program, please see . ORGANIZATION ------------ The Conference is hosted by the European Association for Artificial Intelligence (EurAI) and the Spanish AI Society (AEPIA). ECAI 2020 is organized by the Intelligent Systems Group (GSI) and the Research Centre in Intelligent Technologies (CiTIUS), University of Santiago de Compostela. CONTACT AND UPDATES ------------------- Updates will be regularly published at the Conference Website: www.ecai2020.eu Follow us in Twitter @ECAI2020 -- Luis Magdalena ETSI Informaticos Universidad Politecnica de Madrid From irdta at irdta.eu Mon Jan 20 17:39:29 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 20 Jan 2020 17:39:29 +0100 Subject: [fg-arc] AlCoB 2020: call for posters Message-ID: <545102060a010b02025455040704505e5200545701010004025158095550070500575056045c060b535e505401065355@grlmc_ip-zone_com-6> AlCoB 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 7th International Conference on Algorithms for Computational Biology (AlCoB 2020) invites researchers to submit poster presentations. AlCoB 2020 will be held in Missoula, Montana on April 13-15, 2020. See:  https://alcob2020.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: March 6, 2020 Notification of poster acceptance or rejection: March 13, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=alcob2020 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2020. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by March 20, 2020. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From konersmann at uni-koblenz.de Tue Jan 21 14:41:13 2020 From: konersmann at uni-koblenz.de (Marco Konersmann) Date: Tue, 21 Jan 2020 14:41:13 +0100 Subject: [fg-arc] RCoSE 2020 - 6th International Workshop on Rapid Continuous Software Engineering @ ICSE 2020 Message-ID: ========================================================= RCoSE 2020 6th International Workshop on Rapid Continuous Software Engineering @ ICSE 2020 Seoul, South Korea May 26th 2020 http://www.continuous-se.org/RCoSE2020 Email: rcose2020 at easychair.org, Twitter: @RCoSE_WS ========================================================= ## Dates, Paper Types, and Links Paper Submission:         Feb 05, 2020 (extended!) Notification:             Feb 28, 2020 Camera ready:             Mar 16, 2020 Workshop:                 May 26, 2020 7 pages long papers 4 pages position papers 1 industrial abstracts ACM conference format, 2 Columns Submission: https://www.easychair.org/conferences/?conf=rcose2020 Twitter: https://twitter.com/RCoSE_WS, @RCoSE_WS, #RCoSE20 ## Aims and Scope The systems we build are ultimately evaluated based on the value they deliver to their users and stakeholders. To increase value,these systems are subject to fast-paced evolution due to market unpredictability, complex and changing customer requirements, shorter time-to-market pressure, and rapidly advancing information technologies. To address this situation, agile practices advocate flexibility, efficiency and speed. Rapid continuous software engineering refers to the organizational capability to develop, release and learn from rapid parallel cycles, typically hours, days or very small numbers of weeks. This includes determining new functionality to build, evolving and refactoring the architecture, developing the functionality, validating and releasing to customers, and collecting experimental feedback from the customers to inform the next cycle of development. The capability to perform all these activities in days or a few weeks requires significant changes in the entire software engineering approach, including parallelising activities, empowering cross functional teams to allow for rapid decision making and lightweight coordination across teams. It also requires significant technical advances in the engineering infrastructure, including continuous integration and deployment, collection of post-deployment product usage data, support for running automatic live experiments to evaluate different system alternatives, e.g., A/B testing. Reaching this goal requires crosscutting research which spans areas from process and organisational aspects in software engineering to technical aspects in the individual phases of the software engineering lifecycle. Rapidly developing and evolving software systems is important in control-flow oriented as well as data-centric systems, from internet services to cyber-physical systems, and many more. Still, the processes and technology need to respect the differences between these types of systems. RCoSE 2020 is co-located with ICSE 2020, the International Conference on Software Engineering, in Seoul, South Korea. RCoSE will be a highly interactive workshop with a strong emphasis on discussions. ## Topics of Interest Topics relevant in the scope of the workshop include rapid continuous software engineering as described above and specifically the following, incomplete list: * Continuous integration/deployment/delivery * Agile practices and relations to software engineering phases or feedback from     production * Relations between agile practices and the specific development phases, e.g.,     requirements engineering, architectural design, programming languages,     validation and verification * Organizational aspects of agile processes * Tools supporting continuous software engineering * Application / system monitoring * Live and automatic experimentation and quick feedback of experimental results * DevOps practices and cloud-native applications for automated experimentation * Usability / human computer interaction * Rapid software evolution and maintenance * Platforms and abstractions for runtime feedback ## Submissions We are soliciting full research papers (up to 7 pages), position papers (up to 4 pages) and industrial abstracts (1 page). Full research papers present original and evaluated research whereas position papers describe novel ideas, identified challenges, or experiences related to the workshop's theme. The paper has to follow the NEW ACM formatting guidelines: http://www.acm.org/publications/proceedings-template Please note, that this workshop does NOT use a double blind review process. You can submit your abstract and paper using using the EasyChair page for the workshop: https://www.easychair.org/conferences/?conf=rcose2020 ## Organization Committee * Jan Bosch, Chalmers University of Technology and University of Gothenburg (Sweden) * Brian Fitzgerald, University of Limerick (Ireland) * Michael Goedicke, University of Duisburg-Essen (Germany) * Marco Konersmann, University of Koblenz-Landau (Germany) * Stephan Krusche, Technische Universität München (Germany) * Helena Holmström Olsson, Malmö University (Sweden) ## Program Committee * Jan Bosch, Chalmers University of Technology, Sweden * Brian Fitzgerald, Lero, University of Limerick, Ireland * Wolfgang Gehring, Daimler TSS, Germany * Michael Goedicke, University of Duisburg-Essen, Germany * Jan Ole Johanßen, Technical University Munich, Germany * Marco Konersmann, University of Koblenz-Landau, Germany * Stephan Krusche, Technical University Munich, Germany * Casper Lassenius, Aalto University, Finland * Jürgen Münch, Reutlingen University, Germany * Helena Holmström Olsson, Malmö University, Sweden * Karen Smiley, ABB Corporate Research, USA * Klaas-Jan Stol, University College Cork, Ireland * Matthias Tichy, Ulm University, Germany * Stefan Wagner, University of Stuttgart, Germany From announce at cs.ucy.ac.cy Fri Jan 24 08:54:39 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 24 Jan 2020 09:54:39 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Last Mile for Paper Submission! Message-ID: *** Last Mile for Paper Submission *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbiEJNDYyCUxpc3RzCTEzOQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Frcis-conf.com%2F Abstract submission deadline: January 27, 2020 Paper submission deadline: February 3, 2020 (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 2020 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned the special theme of Information Science in the Days of Artificial Intelligence. We understand AI in a broad sense, including machine learning, self-adaptation, logic-based reasoning, automation, agents and multiagent systems, natural language processing, etc. 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, ... · Industry 4.0 · Web-Based Applications and Services · Smart Cities 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 will complement the main conference. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbiEJNDYyCUxpc3RzCTEzOQljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbiEJNDYyCUxpc3RzCTEzOQljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Drcis2020 . 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 31, 2020. Each paper will be reviewed by at least three members of the Program Committee. We adopt a single-blind review format, meaning that the author names are included in the paper itself under the paper title. SPECIAL ISSUE A selection of the best accepted papers of RCIS'20, 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 · Regular paper submission deadline: February 3, 2020 (AoE) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 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 General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From mb at petanux.com Fri Jan 24 17:33:59 2020 From: mb at petanux.com (Mahdi Bohlouli (Petanux)) Date: Fri, 24 Jan 2020 17:33:59 +0100 Subject: [fg-arc] [CfP] International Workshop on Open Distributed Real-time Embedded Systems in conjunction with 23rd IEEE ISORC 2020 Message-ID: <05bde775-77a4-deab-3948-9e92d997d25f@petanux.com> Hello colleagues, Please kindly consider following interesting CfP in conjunction with the 23rd IEEE International Symposium on Real-Time Distributed Computing. If possible, we would appreciate to be forwarded to interested colleagues. Best Regards, Mahdi Bohlouli ****************************************************** International Workshop on Open Distributed Real-time Embedded Systems in IEEE ISORC 2020 ODRE 2020 - Call for Papers http://ODRE2020.bridgeus.de/ Full Paper Submission: January 31, 2020 ****************************************************** Aim *********************** The ODRE 2020 workshop is indented to be a forum for the exchange of novel and innovative ideas related to Open Distributed Real-time Embedded (ODRE) systems. ODRE systems have gained importance, especially in recent years by evolving embedded systems towards novel application areas that combine stringent real-time constraints, reliability requirements and the need for the open-world assumption. Examples are Ambient-Assisted Living (AAL) systems for elderly care, networked medical devices, and health management systems, applications for mechatronic systems as well as Cyber-Physical Systems (CPS). In many application fields, ODRE systems must also perform tasks in the areas of artificial intelligence, machine learning, and big data. Solicited papers *********************** Research papers • Survey papers • Work-in-progress papers • Industry practice papers Topics of interest include, but are not limited to, the following: *********************** ° Software and Hardware Architectures for ODRE Systems ° Communication Networks and Connectivity ° Tools and Algorithms for Scheduling ° Semantic Technologies and Knowledge Graphs in Real-Time Systems ° Block-Chain and Semantic Web ° Mixed-Criticality and Real-Time Applications on SoCs ° Real-Time Signal Processing and Filtering ° Simulation-Tools and Analysis for ODRE Systems ° Fault detection and diagnosis ° Fault Tolerance and Reliability ° Neural Networks in Edge-Computing Environments ° Modeling and design ° Artificial Intelligence (AI) ° Big-Data Technologies ° Cyber-physical Systems (CPS) ° Mechatronics Important dates *************** Full Paper Submission: Extended to January 31, 2020 Rebuttal Period: March 9-11, 2020 Acceptance notification: March 20, 2020 Camera-ready papers: April 6, 2020 Submission Guideline *********************** Prospective authors are invited to submit manuscripts in the English language that can be up to 6 pages maximum* and should be formatted in PDF using the IEEE Conference format. For your convenience, the Conference Paper Templates from IEEE in various formats are linked here to prepare your manuscript. The papers may explicitly include the primary results and findings, emphasizing new advances, theories and/or applications so that the program committee will be able to understand the originality and the value of the work. All papers must be submitted electronically to the EasyChair Website. *The maximum length for papers is 6 pages, however, a maximum of two extra pages may be purchased during the camera-ready submission of accepted papers. Papers less than 5 pages and more than 8 pages will be automatically rejected without exceptions! Paper acceptance *********************** Manuscripts will be peer-reviewed by the Technical Program Committee. A submission implies a willingness to register and present the work if the paper is accepted for presentation at the workshop. Accepted papers after proper registration and presentation by at least one of the authors will be included in the workshop proceeding published by IEEE in the IEEE Xplore digital library. Failure to present the paper in person can lead to the paper being withdrawn from the proceeding. The final manuscript must be accompanied by a registration form and a registration fee payment proof. All workshop attendees must pay the workshop registration fee and their travel, accommodation, and other personal expenses on their own. Workshop venue *********************** The ODRE 2020 Workshop will take place in conjunction with the IEEE ISORC 2020 (Nashville, Tennessee, USA). Organizers *********************** General Chairs - Roman Obermaisser, UNIVERSITY OF SIEGEN, GERMANY - Mahdi Bohlouli, PETANUX GmbH, GERMANY Organizing Committee and Publicity Chairs - Ali Behravan, UNIVERSITY OF SIEGEN, GERMANY - Michael Schmidt, UNIVERSITY OF SIEGEN, GERMANY Workshop Sponsor *********************** The ODRE 2020 workshop is supported by the BMBF and German Aerospace Center (DLR) project management agency (DLR Projektträger) funded project BRIDGE-US as part of the campaign “The Future of Work”. Contact *********************** All questions about submissions should be emailed to ODRE2020 at bridgeus.de -- ---------------------------------------- Asst. Prof. Dr. Mahdi Bohlouli Postal Address: Petanux GmbH, Josef-Wirmer-Str. 13, D-53123 Bonn, Germany Tel: +49 (0) 228 30401073 Fax: +49 (0) 228 28616558 E-mail: mb at petanux.com WEB: http://www.petanux.com Registered in the Commercial Register of the AG Bonn HRB 23027 Founder and CEO: Asst. Prof. Dr. Mahdi Bohlouli USt.-IdNr.: DE312613807 This email contains confidential and legally protected information. If you are not the correct addressee and have received this e-mail in error, please inform the sender immediately and destroy these e-mails. The copying of contents of this e-mail, the transmission without permission is not allowed and represents a violation of the rights of the sender. -------------- next part -------------- ****************************************************** International Workshop on Open Distributed Real-time Embedded Systems in IEEE ISORC 2020 ODRE 2020 - Call for Papers http://ODRE2020.bridgeus.de/ Full Paper Submission: January 31, 2020 ****************************************************** Aim *********************** The ODRE 2020 workshop is indented to be a forum for the exchange of novel and innovative ideas related to Open Distributed Real-time Embedded (ODRE) systems. ODRE systems have gained importance, especially in recent years by evolving embedded systems towards novel application areas that combine stringent real-time constraints, reliability requirements and the need for the open-world assumption. Examples are Ambient-Assisted Living (AAL) systems for elderly care, networked medical devices, and health management systems, applications for mechatronic systems as well as Cyber-Physical Systems (CPS). In many application fields, ODRE systems must also perform tasks in the areas of artificial intelligence, machine learning, and big data. Solicited papers *********************** Research papers • Survey papers • Work-in-progress papers • Industry practice papers Topics of interest include, but are not limited to, the following: *********************** ° Software and Hardware Architectures for ODRE Systems ° Communication Networks and Connectivity ° Tools and Algorithms for Scheduling ° Semantic Technologies and Knowledge Graphs in Real-Time Systems ° Block-Chain and Semantic Web ° Mixed-Criticality and Real-Time Applications on SoCs ° Real-Time Signal Processing and Filtering ° Simulation-Tools and Analysis for ODRE Systems ° Fault detection and diagnosis ° Fault Tolerance and Reliability ° Neural Networks in Edge-Computing Environments ° Modeling and design ° Artificial Intelligence (AI) ° Big-Data Technologies ° Cyber-physical Systems (CPS) ° Mechatronics Important dates *************** Full Paper Submission: Extended to January 31, 2020 Rebuttal Period: March 9-11, 2020 Acceptance notification: March 20, 2020 Camera-ready papers: April 6, 2020 Submission Guideline *********************** Prospective authors are invited to submit manuscripts in the English language that can be up to 6 pages maximum* and should be formatted in PDF using the IEEE Conference format. For your convenience, the Conference Paper Templates from IEEE in various formats are linked here to prepare your manuscript. The papers may explicitly include the primary results and findings, emphasizing new advances, theories and/or applications so that the program committee will be able to understand the originality and the value of the work. All papers must be submitted electronically to the EasyChair Website. *The maximum length for papers is 6 pages, however, a maximum of two extra pages may be purchased during the camera-ready submission of accepted papers. Papers less than 5 pages and more than 8 pages will be automatically rejected without exceptions! Paper acceptance *********************** Manuscripts will be peer-reviewed by the Technical Program Committee. A submission implies a willingness to register and present the work if the paper is accepted for presentation at the workshop. Accepted papers after proper registration and presentation by at least one of the authors will be included in the workshop proceeding published by IEEE in the IEEE Xplore digital library. Failure to present the paper in person can lead to the paper being withdrawn from the proceeding. The final manuscript must be accompanied by a registration form and a registration fee payment proof. All workshop attendees must pay the workshop registration fee and their travel, accommodation, and other personal expenses on their own. Workshop venue *********************** The ODRE 2020 Workshop will take place in conjunction with the IEEE ISORC 2020 (Nashville, Tennessee, USA). Organizers *********************** General Chairs - Roman Obermaisser, UNIVERSITY OF SIEGEN, GERMANY - Mahdi Bohlouli, PETANUX GmbH, GERMANY Organizing Committee and Publicity Chairs - Ali Behravan, UNIVERSITY OF SIEGEN, GERMANY - Michael Schmidt, UNIVERSITY OF SIEGEN, GERMANY Workshop Sponsor *********************** The ODRE 2020 workshop is supported by the BMBF and German Aerospace Center (DLR) project management agency (DLR Projektträger) funded project BRIDGE-US as part of the campaign “The Future of Work”. Contact *********************** All questions about submissions should be emailed to ODRE2020 at bridgeus.de From gadducci at di.unipi.it Thu Jan 23 23:37:34 2020 From: gadducci at di.unipi.it (Fabio Gadducci) Date: Thu, 23 Jan 2020 23:37:34 +0100 Subject: [fg-arc] 13th International Conference on Graph Transformation (ICGT2020): Call for Paper Message-ID: ======================================================= 13th International Conference on Graph Transformation ICGT 2020 http://icgt2020.di.unipi.it co-located with STAF 2020, June 22-26 Bergen, Norway ======================================================= Aims and Scope ------------------------------------------------------- The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights. The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas. The 13th International Conference on Graph Transformation (ICGT 2020) will be held in Bergen, Norway, as part of STAF 2020 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Topics of Interest ------------------------------------------------------- In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2020 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one. Topics of interest include, but are not limited to the following subjects: - General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graphs - Structuring and modularization of graph transformation - Hierarchical graphs and decomposition of graphs - Parallel, concurrent, and distributed graph transformation - Term graph and string diagram rewriting - Petri nets and other models of concurrency - Business process models and notations - Bigraphs and bigraphical reactive systems - Graph databases and graph queries - Model-driven development and model transformation - Model checking, program analysis and verification, simulation and animation - Syntax, semantics and implementation of programming languages, including domain-specific and visual languages - Graph transformation languages and tool support - Efficient algorithms (e.g. pattern matching, graph traversal, network analysis) - Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation) - Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual) Important Dates ------------------------------------------------------- Abstract submission: February 21, 2020 Paper submission: February 28, 2020 Notification: April 10, 2020 Camera-ready: May 01, 2020 Conference: June 22-26, 2020 Submission Guidelines ------------------------------------------------------- Papers can be submitted at http://www.easychair.org/conferences/?conf=icgt2020 using Springer's LNCS format (http://www.springer.com/lncs ). For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Papers are solicited in three categories: - Regular papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. We also solicit case studies describing applications of graph transformation in any application domain. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. - Tool presentation papers (limited to 8 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 4 pages), which will be reviewed but not included in the proceedings. - New ideas papers (limited to 2 pages in Springer LNCS format) report on relevant contributions to the theory or applications of graph transformation, which may have been published (or accepted for publication) in a peer-reviewed conference other than ICGT, as a book chapter or journal article since 2018. Papers in this category will be selected for presentation at the conference according to their relevance to the graph transformation community, and they will be considered for the special issues. Submissions will consist of a 2-page abstract. In case of extended abstracts of published papers, the submission must refer to the published paper and include the original paper in PDF. Special Issues ------------------------------------------------------- We are pleased to confirm two special issues for ICGT2020, devoted to the theoretical and application-oriented sides of the conference, respectively. The former is going to appear in Theoretical Computer Science (https://www.journals.elsevier.com/theoretical-computer-science ), the latter has been accepted as special issue in Science of Computer Programming (https://www.journals.elsevier.com/science-of-computer-programming ). Keynote Speaker ------------------------------------------------------- TBA Program Chairs ------------------------------------------------------- Fabio Gadducci (University of Pisa, Italy) Timo Kehrer (Humboldt-Universität zu Berlin, Germany) Program Committee ------------------------------------------------------- Paolo Baldan, Università degli Studi di Padova, Italy Gábor Bergmann, Budapest University of Technology and Economics, Hungary Paolo Bottoni, Sapienza Università di Roma, Italy Andrea Corradini, University of Pisa, Italy Juergen Dingel, Queen‘s University Kingston, Ontario, Canada Maribel Fernandez, King’s College London, United Kingdom Holger Giese, Hasso-Plattner-Institut Potsdam, Germany Reiko Heckel, University of Leicester, United Kingdom Thomas Hildebrandt, University of Copenhagen, Denmark Wolfram Kahl, McMaster University, Canada Barbara König, Universität Duisburg-Essen, Germany Jean Krivine, IRIF (Institut de recherche en informatique fondamentale, Université de Paris), France Leen Lambers, Hasso-Plattner-Institut Potsdam, Germany Yngve Lamo, Western Norway University of Applied Sciences Bergen, Norway Juan de Lara, Universidad Autónoma de Madrid, Spain Detlef Plump, University of York, United Kingdom Arend Rensink, University of Twente Enschede, Netherlands Leila Ribeiro, Federal University of Rio Grande do Sul (UFRGS) Porto Alegre, Brazil Andy Schürr, Technische Universität Darmstadt, Germany Pawel Maria Sobocinski, Taltech Tallinn University of Technology, Estonia Gabriele Taentzer, Philipps-Universität Marburg, Germany Matthias Tichy, Universität Ulm, Germany Uwe Egbert Wolter, University of Bergen, Norway Steffen Zschaler, King’s College London, United Kingdom -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Mon Jan 27 16:36:08 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 27 Jan 2020 16:36:08 +0100 Subject: [fg-arc] [CfP] ICLP2020 - The 36th International Conference on Logic Programming Message-ID: ****************************Call for Papers***************************** The 36th International Conference on Logic Programming (ICLP 2020) 18-24 September 2020, Rende, Italy https://iclp2020.unical.it/home ************************************************************************** Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP 2020) has been the premier international event for presenting research in logic programming. *** Scope *** Contributions are solicited in all areas of logic programming, including but not restricted to: *Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. *Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. *Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. *Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. *Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. ***Tracks and Special Sessions*** Besides the main track, ICLP 2020 will host additional tracks and special sessions, withdedicated chairs, PC, evaluation criteria, and CfP with related submission details. *Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. Papers submitted to this track will be evaluated using different criteria, such as: * Significance of the real-world problem being addressed * Importance and novelty of using logic programming technologies to solve this problem * Evaluation and applicability of the system in real-world * Reusable datasets, case studies and benchmarks *Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences but have not been previously presented at ICLP. *Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. *Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. Papers submitted to this track do not go through the usual review and will not be published in the proceedings – they will be distributed at the conference as a technical report. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. ***Submission Details*** All submissions of the main track must be made via the EasyChair conference system:https://easychair.org/conferences/?conf=iclp20200 . Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography.Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will not be made available as appendices to the published paper. Three kinds of regular papers will be accepted: *Technical papers for technically sound, innovative ideas that can advance the state of logic programming; *Application papers that impact interesting application domains; *System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and 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. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications in EPTCS format (http://info.eptcs.org ). Technical communications must not exceed 14 pages, includingthe bibliography.The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the EPTCS proceedings.This should allow authors to submit a long version elsewhere. All regular papers and technical communicationswill be presented during the conference. So, at least one author per accepted paper is expected to register and attend the conference.Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. ***Important Dates*** *Abstract registration (regular papers): May 8, 2020 *Paper submission (regular paper): May 15, 2020 *Notification to authors (regular paper): June 19, 2020 *Paper Submission (short papers): June 30, 2020 *Revision submission (TPLP papers): July 6, 2020 *Final notifications (TPLP papers): July 17, 2020 *Camera-ready copy due: July 27, 2020 ***Autumn School on Logic Programming*** A school on logic programming will be held before the conference. More up to date information is available at the school web page (https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programming). ***Doctoral Consortium*** The 16th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. The DC will have its own CFP, including the submission details. For information, please visit the DC Web Page (https://sites.google.com/view/iclp-dc-2020). ***Workshops*** The ICLP 2020 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to an interested audience with opportunities for intensive discussions and project collaborations. ***Tutorials*** The ICLP 2020 program will include several tutorials. They offer the participants, reviews of specific subfields as well as hands-on sessions by leading experts. ***Conference Organization*** General Chairs: *Nicola Leone, University of Calabria, Italy *Sergio Greco, University of Calabria, Italy Program Chairs: *Francesco Ricca, University of Calabria, Italy *Alessandra Russo, Imperial College London -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Jan 28 00:54:27 2020 From: irdta at irdta.eu (IRDTA) Date: Tue, 28 Jan 2020 00:54:27 +0100 Subject: [fg-arc] LATA 2020: call for participation Message-ID: <545102060a010b0202555006030b525e535603510304020007510f0507505203010304020a0b0504045154000f560504@grlmc_ip-zone_com-6> LATA 2020: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 14th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2020 Milan, Italy March 4-6, 2020 Co-organized by:      Department of Informatics, Systems and Communication University of Milano-Bicocca and Institute for Research Development, Training and Advice Brussels/London https://lata2020.irdta.eu ************************************************************************* PROGRAM Wednesday, March 4 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Eric Allender. The New Complexity Landscape around Circuit Minimization - Invited lecture 10:30 - 10:50    Break 10:50 - 12:05 Dmitry Berdinsky and Prohrak Kruengthomya. Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle Alexis Bes and Christian Choffrut. Deciding (R,+,<,1) in (R,+,<,Z) Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan and Jacob Tarr. Ordered Semiautomatic Rings with Applications to Geometry 12:05 - 13:35    Lunch 13:35 - 14:25    Laure Daviaud. Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases - Invited lecture 14:25 - 14:45    Break 14:45 - 16:00 Siddharth Bhaskar, Jane Chandlee, Adam Jardine and Christopher Oakden. Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions Susanna Donatelli and Serge Haddad. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models Mehmet Utkan Gezer. Windable Heads & Recognizing NL with Constant Randomness 16:00 - 16:20    Break 16:20 - 17:35 Chris Keeler and Kai Salomaa. Alternating Finite Automata with Limited Universal Branching Nadia Labai, Tomer Kotek, Magdalena Ortiz and Helmut Veith. Pebble-intervals Automata and FO2 with Two Orders Ahmet Bilal Uçan. Limited Two-way Deterministic Finite Automata with Advice 17:35 - 19:35    Touristic visit --- Thursday, March 5 09:00 - 09:50    Christoph Haase. Approaching Arithmetic Theories with Finite-state Automata - Invited lecture 09:50 - 10:10    Break 10:10 - 11:25 Kazuyuki Amano. On the Size of Depth-two Threshold Circuits for the Inner Product mod 2 Function Riccardo Dondi, Giancarlo Mauri and Italo Zoppis. Complexity Issues of String to Graph Approximate Matching Hans Zantema. Complexity of Automatic Sequences 11:25 - 11:45    Break and Group photo 11:45 - 12:35 Aaron Lye. Context-sensitive Fusion Grammars Are Universal Alexander Okhotin and Alexey Sorokin. Cyclic Shift on Multi-component Grammars 12:35 - 14:05    Lunch  14:05 - 14:55    Artur Jez. Recompression: Technique for Word Equations and Compressed Data - Invited lecture 14:55 - 15:15    Break 15:15 - 16:30 Olivier Finkel. The Automatic Baire Property and an Effective Property of omega-Rational Functions Nathan Grosshans. The Power of Programs over Monoids in J Ondrej Klíma and Peter Kostolányi. Geometrically Closed Positive Varieties of Star-free Languages 16:30 - 16:50    Break 16:50 - 18:05 Tomoyuki Yamakami. Intersection and Union Hierarchies of Deterministic Context-free Languages and Pumping Lemmas Vikraman Arvind, Frank Fuhlbrück, Johannes Koebler and Oleg Verbitsky. On the Weisfeiler-Leman Dimension of Fractional Packing Jing Ji and Jeffrey Heinz. Input Strictly Local Tree Transducers 18:05 - 19:15    Reception --- Friday, March 6 09:00 - 09:50    Jean-Éric Pin. How to Prove that a Language is Regular or Star-free? - Invited lecture 09:50 - 10:10    Break 10:10 - 11:25 Paola Bonizzoni, Clelia De Felice, Rocco Zaccagnino and Rosalba Zizza. Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and Bordered Words Jeffery Dick, Laura Hutchinson, Robert Mercas and Daniel Reidenbach. Reducing the Ambiguity of Parikh Matrices Pamela Fleischmann, Dirk Nowotka, Mitja Kulczynski and Danny Bøgsted Poulsen. On Collapsing Prefix Normal Words 11:25 - 11:45    Break 11:45 - 12:35 Aaron Moss. Simplified Parsing Expression Derivatives Jean Néraud. Complete Variable-length Codes: An Excursion into Word Edit Operations 12:35 - 14:05    Lunch 14:05 - 14:55    Thomas Place. Deciding Classes of Regular Languages: The Covering Approach - Invited lecture 14:55 - 15:05    Closing -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Thu Jan 30 09:14:59 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Thu, 30 Jan 2020 09:14:59 +0100 Subject: [fg-arc] IEEE WETICE 2020 - Call for Papers Message-ID: <008201d5d745$5da1d5a0$18e580e0$@di.unipi.it> ========================================================================= IEEE WETICE 2020 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 10-12 June 2020, Basque Coast - Bayonne, France Website: http://wetice2020.org ========================================================================= Important Dates Paper Submission Deadline: February 29th, 2020 Notification of Acceptance: March 21st, 2020 Camera-ready: April 4th, 2020 Early registration: April 30th, 2020 Conference: June 10-12, 2020 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 10-12, 2020 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 * Wetice General Track * 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 * 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 * Smart Living Space 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 using the following link: https://easychair.org/conferences/?conf=wetice2020 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 Parma, Italy Sami Yangui, LAAS-CNRS, France -------------- next part -------------- An HTML attachment was scrubbed... URL: