From lpandolfo at uniss.it Mon Apr 6 15:13:26 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 6 Apr 2020 15:13:26 +0200 Subject: [fg-arc] [CfP] ICLP2020 -The 36th International Conference on Logic Programming Message-ID: <41a3363f-ba25-030a-9e60-6598d5c83ae3@uniss.it> [Apologies for cross-posting] *IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation from local authorities and the World Health Organization. ICLP 2020 is half a year away, and we are confident that COVID-19 emergency will pass over and the conference will be held in September, as planned. And, if necessary, alternative solutions, such as postponement, remote presentations, etc will be looked into and identified.* *** Call for Papers *** ICLP 2020 The 36th International Conference on Logic Programming September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS), Italy, with the main program starting immediately after the sister conference KR 2020. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Scope ===== Contributions are solicited in all areas of logic programming and related areas, 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: • 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. • 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. Every of the above four tracks will have its own dedicated chairs, PC, evaluation criteria, and CFP with related submission details (see the specific call for papers). 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 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, including the 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 communications will 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 Main Conference starts: September 19, 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. 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. 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: • Sergio Greco, University of Calabria, Italy • Nicola Leone, University of Calabria, Italy Program Chairs: • Francesco Ricca, University of Calabria, Italy • Alessandra Russo, Imperial College London Organizing Chairs: • Marco Calautti, University of Calabria, Italy • Carmine Dodaro, University of Calabria, Italy Publicity Chair: • Laura Pandolfo, University of Sassari, Italy -- -- *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 Apr 6 15:02:29 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 6 Apr 2020 16:02:29 +0300 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Final Call for Research Projects @RCIS Track Message-ID: <0C6FG5XN-G652-QY3F-M608-CXW75FZVTQ8C@cs.ucy.ac.cy> *** Final Call for Research Projects @RCIS Track *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus September 23-25, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IEZpbmFsIENhbGwgZm9yIFJlc2VhcmNoIFByb2plY3RzIEBSQ0lTIFRyYWNrCTQ4MQlMaXN0cwkxMzcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FresearchProjects.php Submission deadline: April 10, 2020 (AoE) RCIS 2020 features a new track entirely devoted to presenting results and perspectives of research projects (e.g. H2020 or ERC projects, national grants) in the context of Information Science. This track features a good opportunity for both presenters to disseminate the results of their projects, and for participants to get an updated view of ongoing research while getting in touch with potential research partners. The Research Projects @RCIS Track follows a two-step publication process. Firstly, the authors should submit a 2 pages paper summarizing the objectives of the project and relevant results. Each submission will be peer reviewed on the relevance of the submitted paper in the context of RCIS. If the paper is accepted, the authors will have to register to the conference in order to present their work at the Posters and Demos session at RCIS. After the conference, presenters will have the opportunity to submit the presented poster, which will be published in the RCIS 2020 website. No shows will be excluded from the final proceedings. SUBMISSION PROCESS Each submission will be reviewed by at least 2 members of the RCIS scientific committees, and should include: · Project full name, acronym, duration (from-to) and URL · Names of presenter(s) and main contributors · Summary of project objectives and expected tangible outputs. · Summary of current project results Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template. To ensure uniformity, we have prepared ready-to-use templates for Word and LaTeX which are available on the conference web site. References and appendices must be included within the 2 pages. Papers can be submitted via Easychair (https://easychair.org/my/conference?conf=rcis2020#) by selecting the "Research Projects @RCIS 2020" track. IMPORTANT DATES · Submission deadline: April 10, 2020 (AoE) · Notification (based on relevance only): April 15, 2020 · Author registration and camera-ready copy deadline: April 30, 2020 · Conference: September 23-25, 2020 CONTACT POINTS For further questions please contact: Marcela Ruiz marcela.ruiz at zhaw.ch Elena Kornyshova elena.kornyshova at cnam.fr 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 hasselbring at email.uni-kiel.de Wed Apr 8 15:33:39 2020 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Wed, 8 Apr 2020 15:33:39 +0200 Subject: [fg-arc] CfP: 11th Symposium on Software Performance 2020 In-Reply-To: References: Message-ID: <27889e93-88da-e8f9-60e2-7f514c963a0b@email.uni-kiel.de> *11th Symposium on Software Performance 2020* *Call for Papers* *Leipzig, November 5-6, 2020* *https://www.performance-symposium.org/2020/* The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as "the amount of useful work accomplished by a software system compared to the time and resources used", as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. The focus is both on classical performance metrics such as response time, throughput, and resource utilization, as well as on the relationship of such metrics to other software quality attributes including but not limited to scalability, elasticity, (energy) efficiency, dependability (in terms of availability and reliability), resilience, security, and privacy. Topics of interest include the design of metrics, benchmarks, and tools for quantitative system evaluation and analysis, as well as the development of methodologies, techniques and tools for modeling, measurement, load testing, monitoring, profiling, workload characterization, and run-time management of software systems with respect to the mentioned quality attributes. The symposium is organized by the three established research groups Descartes, Kieker, and Palladio; thus this symposium also serves as a joint community meeting. Descartes' focus are techniques and tools for engineering self-aware computing systems designed for maximum dependability and efficiency. Kieker is a well-established tool and approach for monitoring software performance of complex, large, and distributed IT systems. Palladio is a likewise-established tool and approach for modeling architectures of IT systems and for simulating quality properties, such as for example performance or reliability metrics. SSP 2020 is supported by the GI special interest group "Softwaretechnik". *Scope:* Submission are thought for plans, ongoing work, or results on: - Software quality analysis in regard to:   - Performance   - Scalability and elasticity   - Energy efficiency   - Dependability and resilience   - Security and privacy   - Application performance measurement and management - Performance measurement and benchmarking - Performance modeling (modeling, simulation, extraction and calibration) - Automated run-time management of software systems - Automated approaches for performance problem detection and resolution - Performance-related challenges in industrial software systems - Application of Descartes, Kieker, or Palladio in projects *Submission:* We solicit technical papers (maximum 3 pages) and extended abstracts for industry or experience talks (maximum 700 words). More submission details are published on the website. EasyChair: https://easychair.org/conferences/?conf=ssp2020 *Publication:* Accepted Papers will appear in the GI Softwaretechnik-Trends. *Important Dates:* - Apr. 06, 2020    CfP-Publication, Submission opening - Aug. 15, 2020    Abstract submission until 23.59 AoE (for all paper types) - Sep. 01, 2020    Paper submission until 23.59 AoE - Oct. 01, 2020    Acceptance Notification - Oct. 15, 2020    Camery ready papers - Oct. 15, 2020    Program announcement - Oct. 20, 2020    Registration deadline - Nov. 04, 2020    Descartes/Kieker/Palladio developer meetings (participation welcome) - Nov. 05-06, 2020 Technical symposium program *Steering Committee:* - Steffen Becker, Uni Stuttgart - Wilhelm Hasselbring, Kiel University - André van Hoorn, Uni Stuttgart - Samuel Kounev, Uni Würzburg - Ralf Reussner, KIT / FZI - Anne Koziolek, KIT *Program Committee:* - Dusan Okanovic, Novatec Consulting GmbH - Reiner Jung, Kiel University - Henning Schnoor, Kiel University - Holger Knoche, ivv GmbH - Norbert Schmitt, University of Würzburg - Johannes Grohmann, University of Würzburg - Sebastian Krach, FZI - Dominik Werle, KIT - Robert Heinrich, KIT - Holger Eichelberger, University of Hildesheim - Johannes Kroß, Fortiss GmbH - Teerat Pitakrat, Vector Informatik GmbH - David Georg Reichelt, Leipzig University *Local Organizers:* - Richard Müller, Leipzig University - Ulrich Eisenecker, Leipzig University *Contact:* Dr. Richard Müller, Leipzig University, Information Systems Institute, Software Engineering, +49 341 97 33722, rmueller at wifa.uni-leipzig.de -- Dr. Richard Müller Universität Leipzig Wirtschaftswissenschaftliche Fakultät Institut für Wirtschaftsinformatik Professur für Wirtschaftsinformatik, insbes. Softwareentwicklung für Wirtschaft und Verwaltung Grimmaische Straße 12 D-04109 Leipzig Raum: IZ 28a Tel.: +49-(0)341-9733-722 Mail:rmueller at wifa.uni-leipzig.de Web:https://iwi.wifa.uni-leipzig.de/se From shacks at kth.se Tue Apr 14 10:02:45 2020 From: shacks at kth.se (Simon Hacks) Date: Tue, 14 Apr 2020 08:02:45 +0000 Subject: [fg-arc] Second CfP 2nd Workshop on the Value and Quality of Enterprise Modelling, (VEnMo 2020) Message-ID: <1e063422da1945c7a8f4ae0fc07f530c@exdb02.ug.kth.se> *********************************************************************** 2nd Workshop on the Value and Quality of Enterprise Modelling (VEnMo 2020) in conjunction with the 22nd IEEE International Conference on Business Informatics (CBI 2020) June 22-24, 2020 (online) *********************************************************************** *** Due to the actual development, the CBI, and accordingly the VEnMo workshop, will be held digital. *** In computer science and information systems development, Enterprise Modelling (EM) is used for different purposes, like representing requirements, visualizing established work processes, specifying system design, expressing information structures, formalizing the relationships between organizational structures and IT landscapes and many more. Despite this large spectrum of modeling purposes and use cases, the value of modelling in general and of Enterprise Models in particular is still subject of research. The 2nd VEnMo Workshop invites researchers and practitioners with strong interest in the value of Enterprise Modelling to discuss approaches and experiences in measuring, assessing, evaluating, and improving the value of enterprise related models like Enterprise Models, Enterprise Architecture Models, or Business Process Models. While it is common sense that EM adds value to organizations, existing research is still vague regarding how this value manifests. Therefore, the workshop aims to shed light on existing as well as new theories, concepts and frameworks for describing, understanding and measuring the added value of EM. One important aspect in this context may be the quality of EM, as only models of an adequate quality with respect to their intended purpose allow organizations to exploit the full value of EM. Therefore, the workshop further encourages researchers or practitioners to report on insights or approaches how to assess the quality of enterprise models. However, we support a broad interpretation of the topics "value" and "quality" and encourage submissions also in related areas. **Topics** * interpretations or conceptualizations of the terms "value" and "quality" in the context of Enterprise related Models (EM, EA models, BPM, ...) * new approaches to measure, assess, evaluate, or improve the value of enterprise related models * interrelations between model, method, and tool value * perceived value of models, methods, and tools * stakeholder perspectives on value and quality of EM * metrics, quantitative, and qualitative approaches to assess the quality of enterprise related models. * theories or best practices for maximizing modelling value * relationship between quality, quantity and value * management of value aspects in modelling * case studies and industrial experience reports on successful or failed application of approaches to assess the value or quality of enterprise related models. * tools, infrastructure and environments supporting the assessment of value or quality of enterprise related models. * empirical studies, evaluation and comparison of measurement techniques and models. * we support a broad interpretation of the topics "value" and "quality" and encourage submissions also in related areas. **Submissions** Two kinds of papers will be accepted: * Full papers with a page limit of 8 pages, * Short papers with a page limit of 5 pages. Papers should be written in English, following the IEEE double column format and should be submitted through the VEnMo easychair installation, accessible via https://easychair.org/conferences/?conf=venmo2020. The workshop proceedings will be published at CEUR-WS. **(Tentative) Key Dates** * Workshop papers submission deadline: April 27, 2020 * Workshop papers notification deadline: May 18, 2020 * Workshop camera-ready papers deadline: June 01, 2020 * Workshop VEnMo: June 22, 2020 **Web Site** More information and link to the submission site: http://www.venmo2020.informatik.uni-rostock.de/ **Program Committee** * Peter Fettke, DFKI and Saarland University * Janis Grabis, Riga Technical University * Agnes Koschmider, Karlsruhe Institute of Technology * Robert Lagerström, KTH * Birger Lantow, Rostock University * Michael Leyer, Rostock University * Monika Malinova, Vienna University of Economics and Business * Erik Proper, Luxembourg Institute for Science and Technology * Alixandre Santana, UFRPE * Rainer Schmidt, Munich University * Ulf Seigerroth, Jönköping University * Janis Stirna, Stockholm University * Margus Välja, Scania AB **Organization Committee** * Felix Timm*, University of Rostock * Simon Hacks*, KTH Royal Institute of Technology * Kurt Sandkuhl, University of Rostock * Michael Fellmann, University of Rostock *Co-Chairs From lpandolfo at uniss.it Tue Apr 21 13:31:59 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 21 Apr 2020 13:31:59 +0200 Subject: [fg-arc] [CfP] ICLP2020 Applications Track: The 36th International Conference on Logic Programming Message-ID: <144593b5-c3f4-dc8c-8a8e-e72afa9bab34@uniss.it> [Apologies for cross-posting] /IMPORTANT NOTE: The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming./ ========================================== *Call for papers - Applications Track** **ICLP 2020 - The 36th International Conference on Logic Programming** *September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it ========================================== Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, maritime situational awareness, etc. Motivated by such a wide range of applications, ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry, to share the recent advancements, challenges and insight for LP applications. The goal of the Application Track is two-fold. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products, and their expectations from the development of theory and tools from the LP community. Expected contributions: ============== The Applications Track at ICLP 2020 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to:  ⁃ stream reasoning  ⁃ composite event recognition  ⁃ industrial applications  ⁃ commonsense reasoning, knowledge representation  ⁃ declarative problem solving  ⁃ education  ⁃ bioinformatics, computational biology  ⁃ life sciences, genetics, medicine, pharmacology  ⁃ cognitive robotics, social robotics, human-robot interactions  ⁃ intelligent transportation, logistics, maritime situational awareness  ⁃ computer vision, sensing, internet of things  ⁃ data analysis, machine learning  ⁃ creative computing  ⁃ digital forensics, cybersecurity, blockchain  ⁃ economics, game theory, social choice  ⁃ software engineering, intelligent user interfaces  ⁃ multi-agent systems, argumentation, epistemic reasoning  ⁃ constraint programming, SAT, SMT  ⁃ natural language understanding, story telling, question answering  ⁃ explanation generation, diagnosis  ⁃ spatial/temporal/probabilistic reasoning  ⁃ planning and scheduling  ⁃ databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria: =========== In addition to the usual evaluation criteria concerning the quality of the presentation, for the Applications track the criteria will include:  ⁃ Significance of the real-world problem being addressed.  - Significance of the real-world problem being addressed.  ⁃ Importance and novelty of using LP technologies to solve this problem.  ⁃ Evaluation and applicability of the system in the real world.  ⁃ Clear evidence of the potential benefits of applying and improving LP tools and techniques.  ⁃ Reproducibility of empirical analysis; reusability of datasets, case studies, knowledge repositories and benchmarks. 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 Main Conference starts: September 19, 2020 Submission Details: ============ All submissions must be written in English.  • Regular papers (14 pages in TPLP format, including references) 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. The accepted regular papers will be published in TPLP, along with the selected ICLP-TPLP papers. The program committee may recommend some regular papers to be published as technical communications (TCs), along with the selected ICLP-TC papers. The authors of the TCs can also elect to convert their submissions into extended abstracts (2 or 3 pages) for inclusion in the proceedings. This should allow authors to submit a long version elsewhere.  • Short papers (7 pages in EPTCS format (http://info.eptcs.org/), including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All accepted regular papers and technical communications will be presented during 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. Any additional questions can be directed towards the Applications Track Co-Chairs:  • Alexander Artikis, University of Piraeus & NCSR Demokritos  • Angelika Kimmig, Cardiff University, UK Applications Track Program Committee (tentative) ===============================  • Nicos Angelopoulos (University of Essex, UK)  • Chitta Baral (Arizona State University, USA)  • Alex Brik (Google Inc, USA)  • François Bry (LMU München, Germany)  • Francesco Calimeri (University of Calabria, Italy)  • Angelos Charalambides (NCSR Demokritos, Greece)  • Martín Diéguez (ENIB, France)  • Martin Gebser (University of Potsdam, Germany)  • Gopal Gupta (University of Texas at Dallas, USA)  • Jianmin Ji (University of Science and Technology of China, China)  • Nikos Katzouris (NCSR Demokritos, Greece)  • Zeynep Kiziltan (University of Bologna, Italy)  • Yunsong Meng (Houzz Inc., USA)  • Fariba Sadri (Imperial College London, UK)  • Mohan Sridharan (University of Birmingham, UK)  • Konstantin Schekotihin (Alpen-Adria Universitaet Klagenfurt, Austria)  • Tom Schrijvers (Catholic University of Leuven, Belgium)  • Paul Tarau (University of North Texas, Denton, USA)  • David Warren (SUNY Stony Brook, USA)  • Jan Wielemaker (VU University of Amsterdam, The Netherlands)  • Shiqi Zhang (SUNY Binghamton, USA)  • Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Tue Apr 21 18:07:48 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 21 Apr 2020 18:07:48 +0200 Subject: [fg-arc] [CfP] ICLP2020 Sister Conferences and Journal Presentation Track: The 36th International Conference on Logic Programming Message-ID: <346ea3ae-07b4-7260-c60d-e42d2b70d096@uniss.it> [Apologies for cross-posting] /IMPORTANT NOTE: The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming. / ========================================= *Call for papers - Sister Conferences and Journal Presentation Track** **ICLP 2020 - The 36th International Conference on Logic Programming* September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it ========================================= The program committee of the 36th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2018 in selective journals or were presented at related conferences, but that have not been previously presented at ICLP. The goal of this track is two-fold: 1. To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. 2. To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentations: ============ All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2020 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2020 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements: ================ Submissions must meet the following criteria: • Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or  in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA, SAT, POPL, PADL, LICS, etc. • Candidate papers must have appeared since 2018. • Papers that are in press may be submitted as long as the final camera-ready version is available at some URL (such as, ArXiv). • Extensions of papers that have been previously presented at ICLP (or co-located Workshops) are not eligible for this track. Submission Process: ============ All submissions will be done via EasyChair (https://easychair.org/my/conference?conf=iclp20200). The submission will be in the following format: • Title and authors of the work for the ICLP Sister Conferences and Journal Presentation Track (to be published on the Web - see note below about title and authors); • An accompanying letter containing:      • Complete bibtex reference of the original paper (only 1 reference!) (to be published on the Web) + a URL where the paper can be downloaded from the publisher (if available) (to be published on the Web);      • An explanation of why this paper is interesting to the logic programming community (at most 1 page in PDF). • The original paper (in PDF) (for reviewers only, it will not be posted on the Web because of copyright issues) because some reviewers could be   at universities that don’t have contracts with publishers, such as,   Elsevier, Cambridge Publishing, ACM, etc. • Optional: only if the authors wish to publish an extended abstract in the technical communications of ICLP2020 please submit a 2-page extended   abstract of the paper (PDF in EPTCS format http://style.eptcs.org/) for the ICLP Sister Conferences and Journal Presentation Track (note: we will   ask for the LaTex sources after the notification). Note: the 2 pages abstract should not contain new material since this is just a report of a publication in a related conference. The title should be a bit different than the original publication (since it would look odd to have a paper with the same title, but much shorter after the original publication), such as, add Report or Summary in the title. It is not necessary to radically change it. The authors should be the same and in the same order with respect to the original publication. The papers in this track will be grouped under a subsection Sister Conferences and Journal Presentation Track, so other researchers can see that this is a report on the original publication. We advise authors to start the paper with a sentence stating that this abstract is a report or summary of the original publication (with immediately citing that work). Evaluation criteria: =========== Submissions will go through a peer review selection process. Selection criteria include significance of the results and relevance to the logic programming community. 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 Main Conference starts: September 19, 2020 Sister Conferences and Journal Presentation Track Chairs: =================================== Paul Fodor, Stony Brook University Marco Maratea, University of Genova -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Mon Apr 20 16:10:53 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 20 Apr 2020 16:10:53 +0200 Subject: [fg-arc] [CfP] ICLP2020 Main Track: The 36th International Conference on Logic Programming Message-ID: <943bd62a-f1bc-a495-3ef2-ce2eb9c89e14@uniss.it> [Apologies for cross-posting] /_IMPORTANT NOTE:_//The conference general chairs together with the program////chairs and the ALP Executive, have decided to hold ICLP2020 as a fully////virtual conference on the original week. More details will be forthcoming./ ======================================================== *Call for Papers** **ICLP 2020 - The 36th International Conference on Logic Programming* *September 18 - September 24, 2020* ***University of Calabria, Rende, Italy* ***https://iclp2020.unical.it * ======================================================== The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS),Italy, with the main program starting immediately after the sisterconference KR 2020. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. *Scope* ===== Contributions are solicited in all areas of logic programming and related areas, 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:* *_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.* *_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. Every of the above four tracks will have its own dedicated chairs, PC, evaluationcriteria, and CFP with related submission details (see the specific call for papers). In addition to the presentations of accepted papers, the technical program willinclude invited talks, advanced tutorials, the doctoral consortium, and severalworkshops. *Submission Details* ================= All submissions 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 exceed14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit andwhich 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 thestate 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, previouslyunpublished 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, including the 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 communications will be presented during theconference. So, at least one author per accepted paper is expected to register andattend the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from theLogic 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 Main Conference starts: September 19, 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. *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 partialfinancial support to attend the event and the main conference. The best paper fromthe 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. *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 openproblems to an interested audience with opportunities for intensive discussions andproject 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: • Sergio Greco, University of Calabria, Italy • Nicola Leone, University of Calabria, Italy Program Chairs: • Francesco Ricca, University of Calabria, Italy • Alessandra Russo, Imperial College London Organizing Chairs: • Marco Calautti, University of Calabria, Italy • Carmine Dodaro, University of Calabria, Italy Publicity Chair: • Laura Pandolfo, University of Sassari, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Tue Apr 21 13:37:08 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 21 Apr 2020 13:37:08 +0200 Subject: [fg-arc] [CfP] Special Session: Women in Logic Programming - ICLP2020 Message-ID: <8af20e22-0a5b-9cc8-5aad-409737e3758e@uniss.it> [Apologies for cross-posting] /IMPORTANT NOTE: The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming./ ======================================== *Call for papers - Special Session: Women in Logic Programming** **ICLP 2020 - The 36th International Conference on Logic Programming* September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it ======================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Contributions are solicited in all areas of logic programming and related areas, with a special focus on applications that are beneficial to society in the large, and to the role of women in society in particular. Any (female) student willing to participate to ICLP can submit their application  on the site: https://women.acm.org/scholarships/ Submission Process: ============ The submissions to this special session must be made via the EasyChair conference system (https://easychair.org/my/conference?conf=iclp20200). All submissions must be written in English and co-authored by at least one woman. Authors should select the right track when submitting. Two types of submissions are invited: Regular and short. • 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. • Short papers (7 pages in EPTCS format (http://info.eptcs.org/), including references) can describe original preliminary work or express a position   on the special focus of the session. The accepted short papers will be   published as Technical Communications, along with the selected ICLP-TC   papers. All TCs will be presented during the conference, preferably by women. 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. Keynote Speakers: =========== To be announced. 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 Main Conference starts: September 19, 2020 Special Session: Women in Logic Programming Chairs: ================================= Francesca Alessandra Lisi, University of Bari Aldo Moro Alessandra Mileo, INSIGHT Centre for Data Analytics, Dublin City University -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From diego.marcilio at usi.ch Tue Apr 21 18:13:38 2020 From: diego.marcilio at usi.ch (iFM 2020) Date: Tue, 21 Apr 2020 18:13:38 +0200 Subject: [fg-arc] iFM 2020 (Integrated Formal Methods): Call for Papers Message-ID: <29dc7fea-cb9b-43ae-b559-e3bfa3225e85@USIMAIL1.usilu.net> ========================================================== CALL FOR PAPERS iFM 2020 16th International Conference on integrated Formal Methods 16-20 November 2020, Lugano, Switzerland https://ifm20.si.usi.ch/ =========================================================== === COVID-19 === Due to the disruptions caused by the COVID-19 pandemic, we have decided that iFM 2020 will not take place physically and will be replaced by a virtual event. However, the paper selection process will not be affected: an LNCS proceedings will be prepared as usual. We will announce the plans for how the virtual conference will take place in the following weeks (in time for the paper submission deadline). Authors of all of accepted papers: - must present in the virtual conference in 2020 (either a live presentation, or pre-recorded talk) - may, at their discretion, also present in person in 2021 === Important dates === Abstract submission: 15 June 2020 Paper submission: 22 June 2020 Notification: 14 August 2020 Co-located events: 16-17 November 2020 Main conference: 18-20 November 2020 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Submission site: https://easychair.org/conferences/?conf=ifm2020 === Objectives and scope === In recent years, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods with different simulation and system analysis techniques - Program verification, model checking, and static analysis - Theorem proving, decision procedures, SAT/SMT solving - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Abstraction and refinement - Model learning and inference - Approaches to integrating formal methods into software engineering practice === Submission guidelines === iFM 2020 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories: (1) Regular papers (limit 18 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigorous evaluations (2) Short papers (limit 8 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit Page limits include bibliography. Appendices may be included, which will only be read by a reviewer at their discretion. Regular and short papers submitted in categories (1) and (2) must be original, unpublished, and not submitted for publication elsewhere. Papers in these two categories will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submissions for both categories should be made using the iFM 2020 Easychair site: https://easychair.org/conferences/?conf=ifm2020 Submissions must be in PDF format, using the Springer LNCS style files. Springer requires that authors should consult Springer’s authors’ guidelines (ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf) and use their proceedings templates, either for LaTeX (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) or for Word (ftp://ftp.springernature.com/cs-proceeding/llnc/word/splnproc1703.zip), for the preparation of their papers. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. After a paper is accepted, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. A special issue of the Formal Aspects of Computing - FAOC journal (https://link.springer.com/journal/165) is planned for extended versions of selected papers from iFM 2020. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, and present the paper. Since iFM 2020 will be a virtual conference, presentations will take place online. The conference organisation will define details and schedule of the virtual event and communicate them to authors. === Organisation === = General chair = Carlo A. Furia (Università della Svizzera Italiana (USI), Switzerland) = PC chairs = Brijesh Dongol (University of Surrey, UK) Elena Troubitsyna (KTH, Sweden) = Local Organisation = Web Chair Mohammad Rezaalipour (USI Università della Svizzera italiana, CH) Publicity Chair Diego Marcilio (USI Università della Svizzera italiana, CH) Finance Chair Elisa Larghi (USI Università della Svizzera italiana, CH) = Program committee = Erika Abraham (RWTH, Aachen University, Germany) Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France) Étienne André (Université de Lorraine, France) Richard Banach (The University of Manchester, UK) Maurice H. ter Beek (ISTI-CNR, Italy) Pierre-Evariste Dagand (CNRS-LIP6, France) Ferruccio Damiani (University of Torino, Italy) John Derrick (University of Sheffield, UK) Brijesh Dongol (University of Surrey, UK) Marc Frappier (University of Sherbrooke, Canada) Carlo A. Furia (Università della Svizzera Italiana (USI), Switzerland) Marieke Huisman (University of Twente, Netherlands) Fuyuki Ishikawa (National Institute of Informatics, Japan) Einar Broch Johnsen (University of Oslo, Norway) Stephan Merz (Inria Nancy, France) Paritosh Pandya (IIT Mumbai, India) Patrizio Pelliccione (Chalmers University of Technology, Sweden) Luigia Petre (Åbo Akademi University, Finland) R. Ramanujam (Institute of Mathematical Sciences, India) Steve Schneider (University of Surrey, UK) Emil Sekerinski (McMaster University, Canada) Silvia Lizeth Tapia Tarifa (University of Oslo, Norway) Stefano Tonetta (FBK, Italy) Elena Troubitsyna (KTH, Sweden) Juri Vain (Tallin Technical University, Estonia) Tomáš Vojnar (Brno University of Technology, Czech Republic) Farn Wang (NTU, Taiwan) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) Naijun Zhan (Chinese Academy of Sciences, China) From lpandolfo at uniss.it Tue Apr 21 18:15:12 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 21 Apr 2020 18:15:12 +0200 Subject: [fg-arc] [CfP] ICLP2020 The Research Challenges Track: The 36th International Conference on Logic Programming Message-ID: <760e54ae-2f44-7e76-7302-953dde340760@uniss.it> [Apologies for cross-posting] /IMPORTANT NOTE: The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming.// / ========================================== *Call for papers - The Research Challenges Track** **ICLP 2020 - The 36th International Conference on Logic Programming* September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it ========================================== Are you a researcher in logic programming working on a problem that appears to be particularly challenging? Perhaps you feel a little stuck? Or, are you facing a problem that needs some LP technology you are not familiar with? Would you like to open a discussion for collaboration? The goal of the Research Challenges Track is to help researchers overcome their challenges by providing a venue to invite input from the broader community. Contributors to this less formal track will be given an opportunity to exchange ideas with other researchers who may have come up against, or are currently working on, similar problems. We hope the track will foster discussion and possibly even new collaborations. Expected contributions ============== The Research Challenges Track at ICLP 2020 invites submissions describing LP research challenges in a wide range of areas, including but not limited to: * Industry-level application of logic programming * Applications of logic programming to other sciences and AI (bioinformatics, natural language processing, digital forensics, etc.) * Logic programming and big data * Machine learning and logic programming * Logic programming and other computational paradigms * Theoretical foundations of logic programming Evaluation and Feedback =============== In this track, the selection process will be less formal. While authors will receive some feedback, the review process will not be typical. We do not expect contributions only from seasoned researchers. Ph.D. students and junior researchers are more than welcome to contribute. Also, contributors outside the LP community will be given special attention. Any contribution that clearly describes a research problem relevant to logic programming will be evaluated positively. The chance to interact with other researchers during the conference will provide additional feedback and hopefully lead to a longer-term discussion/collaboration. 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 Main Conference starts: September 19, 2020 Submission Details =========== All submissions must be written in English. Submissions should be no more than 4 pages in EPTCS format (http://info.eptcs.org/), including references, and should describe a research problem or challenge. Accepted papers will be presented during the conference. Authors of accepted papers are expected to register to ICLP and present their work. Any additional questions can be directed towards the Research Challenges Track Chairs Research Challenges Track Chairs ===================== Gerhard Friedrich, Universität Klagenfurt, Austria Fabrizio Riguzzi, Università di Ferrara, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From manna at mat.unical.it Sun Apr 26 22:44:12 2020 From: manna at mat.unical.it (manna at mat.unical.it) Date: Sun, 26 Apr 2020 22:44:12 +0200 Subject: [fg-arc] RW 2020 - Call for Applications for the 16th Reasoning Web Summer School Message-ID: <9c1d2827dcf76bf4121d31caa4e27b23.squirrel@www.mat.unical.it> [apologies for multiple postings] ================================================================= ****************************************************** CALL FOR APPLICATIONS The 16th Reasoning Web Summer School (RW 2020) 24-26 June, 2020 Virtual event (free registration) https://2020.declarativeai.net/events/rw-summer-school Part of "Declarative AI 2020: Rules, Reasoning, Decisions and Explanations" (DeclarativeAI 2020, https://2020.declarativeai.net) ****************************************************** The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. In 2020, the broad theme of the school is: “Declarative Artificial Intelligence” As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. This year the school is part of Declarative AI 2020 (https://2020.declarativeai.net), an event which is co-organised by SINTEF AS, University of Oslo, and Norwegian University of Science and Technology, under the umbrella of the SIRIUS Centre for Scalable Data Access. Due to the current situation regarding the spread of the COVID-19 coronavirus, Declarative AI 2020 will be held as an ONLINE event. The school is co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning, Virtual 29 June - 1 July, 2020 http://2020.ruleml-rr.org - DecisionCAMP, Virtual 29 June - 1 July, 2020 https://decisioncamp2020.home.blog The students attending the RW school are particularly encouraged to apply to the Doctoral Consortium of RuleML+RR (deadline: 22 May, 2020). == CONFIRMED LECTURES == - Stream Reasoning: From Theory to Practice Emanuele Della Valle (Politecnico di Milano), Riccardo Tommasini (University of Tartu) - Aggregates and Generalized Atoms in Answer Set Programming Wolfgang Faber (University of Klagenfurt) - Knowledge Graphs: Past, Present and Future Research Directions Aidan Hogan (University of Chile) - Declarative Data Analysis using Limit Datalog Programs Egor V. Kostylev (University of Oxford) - Reasoning with Learned Knowledge Loizos Michael (Open University of Cyprus) - Learning Description Logic Ontologies Ana Ozaki (Free University of Bozen-Bolzano & University of Bergen) - Introduction to Probabilistic Ontologies Rafael Penaloza (University of Milano-Bicocca) - Explanation via Machine Arguing Francesca Toni, Oana Cocarascu, Antonio Rago (Imperial College London) - Ontology-Mediated Query Answering over Temporal Data Michael Zakharyaschev (Birkbeck University of London) == APPLICATIONS == The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process. Applications have to be submitted by filling the following form: https://forms.gle/bDupPJyBrse1vFgP7 == IMPORTANT DATES == Application deadline: 1 June, 2020 Notification: 8 June, 2020 Summer school: 24-26 June, 2020 == COMMITTEE == Chairs - Marco Manna, University of Calabria, Italy - Andreas Pieris, University of Edinburgh, UK Scientific Advisory Board - Leopoldo Bertossi, Universidad Adolfo Ibanez, Chile - Thomas Eiter, TU Wien, Austria - Birte Glimm, University of Ulm, Germany - Markus Krotzsch, TU Dresden, Germany - Yuliya Leierler, University of Nebraska Omaha, US - Carsten Lutz, University of Bremen, Germany - Emanuel Sallinger, University of Oxford, UK == CONTACT == For further information please contact the chairs: - Marco Manna: marco.manna at unical.it - Andreas Pieris: apieris at inf.ed.ac.uk