From lpandolfo at uniss.it Thu Jul 2 10:11:12 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Thu, 2 Jul 2020 10:11:12 +0200 Subject: [fg-arc] [CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming Message-ID: PLP-2020: The Seventh Workshop on Probabilistic Logic Programming ---------------------------------------------------------------- A workshop of 36th International Conference on Logic Programming September 18-24, 2020, virtual conference http://stoics.org.uk/plp/plp2020/ Deadline for submissions: Aug, 1st 2020 **** COVID-19: Due to the ongoing pandemic, the workshop will be held online. **** Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After six successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015 in Cork and ILP 2016 in London, at ILP 2017 in Orléans, at ILP 2018 in Ferrara, at ICLP 2019 in Las Cruces, PLP will be online this year and will be co-located with ICLP 2020. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP. Submissions ----- Submissions will be managed via EasyChair(https://easychair.org/conferences/?conf=plp2020). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/) or arXiv (https://arxiv.org). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Aug, 1st 2020 Notification to authors: Sep, 1st 2020 Camera ready version due: Sep, 10th 2020 Workshop date: September 18-24, 2020 (the deadline for all dates is AOE) Invited Speaker(s) ----- To be confirmed. Organising Committee ----- Carmine Dodaro (University of Calabria, Italy) [co-chair] (dodaro at mat.unical.it) George Aristidis Elder (Queen Mary University of London, UK) [co-chair] (g.a.elder at qmul.ac.uk) Program Committee ----- To be confirmed. -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Wed Jul 1 18:44:05 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Wed, 1 Jul 2020 18:44:05 +0200 Subject: [fg-arc] [2nd CfP] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming Message-ID: <333356ba-d57c-38d9-a341-052675b3a2aa@uniss.it> *** ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming *** 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. The preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2020/iclp-2020-doctoral-consortium The DC will take place during the 36th International Conference on Logic Programming (ICLP) https://iclp2020.unical.it/ (September 18-24, 2020), hosted by the University of Calabria, Italy, as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Important Dates Paper submission: July 11, 2020 Notification: July 25, 2020 Camera-ready copy: August 6, 2020 DC presentations: Sunday, September 20, 2020 (fully virtual event) However, DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming on: Friday and Saturday, September 18-19, 2020: https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programming Audience The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): Theoretical Foundations of Logic and Constraint Logic Programming Sequential and Parallel Implementation Technology Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. To provide students with relevant information about important issues for doctoral candidates and future academics. To develop a supportive community of scholars and a spirit of collaborative research. To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set 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. Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp20200 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: Introduction and problem description Background and overview of the existing literature Goal of the research Current status of the research Preliminary results accomplished (if any) Open issues and expected achievements Bibliographical references Review Criteria The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration Registration is part of the ICLP 2020 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs Bart Bogaerts, Vrije Universiteit Brussel Daniela Inclezan, Miami University Program Committee Carmine Dodaro, University of Calabria Jorge Fandinno, Potsdam University Fabio Fioravanti, University of Chieti-Pescara Paul Fodor, Stony Brook University Martin Gebser, University of Klagenfurt Jose F. Morales, IMDEA Software Research Institute Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From lpandolfo at uniss.it Fri Jul 3 17:07:43 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Fri, 3 Jul 2020 17:07:43 +0200 Subject: [fg-arc] [CfP] EELP 2020 - The Second Workshop on Epistemic Extensions of Logic Programming Message-ID: <2644ea82-da43-a590-e5d6-c4f36872061c@uniss.it> ============================================================================== CALL FOR PAPERS EELP 2020 The Second Workshop on Epistemic Extensions of Logic Programming September 18-24, 2020 Rende, Italy https://www.semsys.aau.at/events/eelp2020/ ============================================================================== AFFILIATION This workshop is part of the International Conference of Logic Programming (ICLP) 2020. In keeping with the main conference, the workshop will be held as a fully virtual event this year. AIMS AND SCOPE Several successful logic programming languages, evidenced by the availability of a multitude of solvers, industrial applications, and an active research community, have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages. This led to a flurry of research on this topic, and renewed interest in recent years. A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated. Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems. The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas. Topics of interests include (but are not limited to): - Semantics of epistemic operators in logic programming - New methods for solving epistemic extensions of logic programs - Computational properties of epistemic extensions of logic programs - Relating epistemic extensions of logic programs with other logic-based formalisms - Practical applications of logic programming extended with epistemic extensions - Additional language features - Multi-paradigm problem solving involving epistemic extensions of logic programming - Evaluation and comparison of logic programs with epistemic extensions to other paradigms - Grounding of non-ground logic programs programs with epistemic extensions SUBMISSION GUIDELINES We welcome two categories of submissions: - Full Papers, that is, original, unpublished research (at most 15 pages), and - Extended Abstracts of already published research (at most 2 pages). All submissions should be in the Springer LNCS format. Paper submission will be handled electronically by means of the Easychair system. All submissions will be peer-reviewed. The submission page is available here: http://www.easychair.org/conferences/?conf=eelp2020. EELP is a non-archival venue and there will be no published proceedings. However, informal proceedings will be provided and the papers will be posted informally on the workshop website. Submissions to other conferences and journals both in parallel and subsequent to EELP 2020 are allowed. IMPORTANT DATES Paper submission: August 7, 2020 AoE Notification: August 31, 2020 Camera-ready: September 11, 2020 Workshop Dates: September 18-24, 2020, as a workshop of ICLP 2020 ORGANIZERS AND CO-CHAIRS Wolfgang Faber, University of Klagenfurt Jorge Fandinno, University of Potsdam Michael Morak, University of Klagenfurt CONTACT Please direct any questions to eelp2020 at easychair.org. -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From gwen.salaun at inria.fr Sat Jul 4 11:17:42 2020 From: gwen.salaun at inria.fr (Gwen =?iso-8859-1?Q?Sala=FCn?=) Date: Sat, 4 Jul 2020 11:17:42 +0200 (CEST) Subject: [fg-arc] PhD Thesis Offer In-Reply-To: <1110923829.892952.1593854045428.JavaMail.zimbra@inria.fr> References: <1634446327.892442.1593853873287.JavaMail.zimbra@inria.fr> <1110923829.892952.1593854045428.JavaMail.zimbra@inria.fr> Message-ID: <92255397.893309.1593854262497.JavaMail.zimbra@inria.fr> # Subject: Modelling, optimization and predictive analysis of business processes Business processes are present in every company on earth. However, in most cases, they are not explicitly described, which makes their improvement very difficult. If models were available for those processes, one could reason on them to better understand, refactor, and optimize them. Indeed, business process optimization has become a strategic activity in organizations because of its potential to increase profit margins and reduce operational costs. The goal of this PhD thesis is to provide modelling and automated analysis techniques for enabling companies to master the complexity of their internal processes and for optimizing those processes with the final goal of improving the quality and productivity of their businesses. More precisely, we plan first to rely on and extend existing workflow-based languages (such as BPMN) to capture the whole expressiveness of factory constituents with a specific focus on quantitative aspects (execution times, probabilities, resources, energy consumption, ...). Second, we will develop analysis techniques to verify properties of interest on these models (average execution times, resource usage, time between failures, recovery times, costs, etc.) with the final goal of proposing optimization plans for reducing costs and augmenting reliability and profits. We also plan to develop predictive monitoring techniques for observing and reasoning on execution traces, which would allow companies to improve their processes without having at their disposal an explicit description of their processes. All these solutions will be implemented in a tool, which will be validated on real-world processes provided by the Soitec company. # Required skills and profile: - Knowledge of information/data models and business processes (BPMN) - Knowledge of formal methods (concurrency theory) and verification is a plus - Candidates who enjoy programming would be appreciated, as the work will include software development - Education: MSc/Master 2 Recherche in Computer Science - Good command of English as the working language, French is a plus - Proven communication and interpersonal relationship skills, attention to detail, methodical approach, autonomy, team player # Start date: Fall 2020 # Salary About 1800 EUR gross per month, health insurance included (French Social Security system). # Location The PhD thesis will take place within an academic/industrial collaboration between University Grenoble Alpes and Soitec. The thesis location will be mainly the Inria Montbonnot site, at about 10 kilometers from Grenoble. # Application content - Letter of application - Curriculum vitae - School report - References or letters of recommendation, if any - Scientific or technical publications, if any # Application submission Applications should be addressed directly to Ylies Falcone and Gwen Salaün, by e-mail. Applications received after July 31, 2020 might not be considered if a candidate has been selected already. # Contacts Ylies Falcone: ylies.falcone at univ-grenoble-alpes.fr Gwen Salaün: gwen.salaun at inria.fr -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Thu Jul 9 14:53:28 2020 From: irdta at irdta.eu (IRDTA) Date: Thu, 09 Jul 2020 14:53:28 +0200 Subject: [fg-arc] DeepLearn 2021 Winter: early registration July 28 Message-ID: <545102060a010b02035156000706575e0400000554540252065201015002005500575107015c00055650580b06075954@grlmc_ip-zone_com-6> DeepLearn 2021 Winter: early registration July 28*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ******************************************************************   4th INTERNATIONAL SCHOOL ON DEEP LEARNING   DeepLearn 2021 Winter   Milan, Italy   January 11-15, 2021   Co-organized by:   Department of Information Engineering Marche Polytechnic University   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/deeplearn2021w/   ******************************************************************   --- Early registration deadline: July 28, 2020 ---   ***********************************************   In conjunction with ICPR 2020   https://www.micc.unifi.it/icpr2020/   SCOPE:   DeepLearn 2021 Winter will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning. Previous events were held in Bilbao, Genova and Warsaw.   Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 24 four-hour and a half courses and 3 keynote lectures, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2021 Winter is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   DeepLearn 2021 Winter will take place in Milan, the third largest economy among European cities and one of the Four Motors for Europe. The venue will be:   MiCo Milano Convention Centre Piazzale Carlo Magno 1 Milan   https://www.micomilano.it/it/   The venue will be shared with the 25th International Conference on Pattern Recognition – ICPR 2020   https://www.micc.unifi.it/icpr2020/   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)   Nello Cristianini (University of Bristol), Data, Intelligence and Shortcuts   Petia Radeva (University of Barcelona), Uncertainty Modeling and Deep Learning in Food Analysis   PROFESSORS AND COURSES: (to be completed)   Ignacio Arganda-Carreras (University of the Basque Country), [introductory/intermediate] Deep Learning for Bioimage Analysis   Mikhail Belkin (Ohio State University), [intermediate/advanced] Understanding Deep Learning through the Lens of Over-parameterization   Thomas G. Dietterich (Oregon State University), [introductory/intermediate] Safe and Robust Artificial Intelligence: Robustness, Calibration, Rejection, and Anomaly   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity   Sergei V. Gleyzer (University of Alabama), [introductory/intermediate] Machine Learning Fundamentals and Their Applications to Very Large Scientific Data: Rare Signal and Feature Extraction, End-to-end Deep Learning, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement Learning   Balázs Kégl (Huawei Technologies), [introductory] Deep Model-based Reinforcement Learning   Ludmila Kuncheva (Bangor University), [intermediate] Classification of Non-i.i.d. Data   Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry   Geert Leus (Delft University of Technology), [introductory/intermediate] Graph Signal Processing: Introduction and Connections to Distributed Optimization and Deep Learning   Andy Liaw (Merck Research Labs), [introductory] Deep Learning and Statistics: Better Together   Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition   Sayan Mukherjee (Duke University), [introductory/intermediate] Integrating Deep Learning with Statistical Modeling   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Lyle John Palmer (University of Adelaide), [introductory/advanced] Epidemiology for Machine Learning Investigators   Razvan Pascanu (DeepMind), [intermediate/advanced] Understanding Learning Dynamics in Deep Learning and Deep Reinforcement Learning   Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning   José C. Príncipe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn W. Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by January 3, 2021.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 3, 2021.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 3, 2021.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Carlos Martín-Vide (Tarragona, program chair) Sara Moccia (Ancona) Sara Morales (Brussels) Marina Paolanti (Ancona) Manuel J. Parra-Royón (Granada) Luca Romeo (Ancona) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/deeplearn2021w/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:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice – IRDTA, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Thu Jul 9 15:01:30 2020 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 09 Jul 2020 15:01:30 +0200 Subject: [fg-arc] =?utf-8?q?=5BOAEI-2020=5D_1st_call_for_systems=3A_Ontol?= =?utf-8?q?ogy_Alignment_Evaluation_Initiative_=28OAEI=29?= In-Reply-To: <66d5-5eecf080-fc1-78df7f00@87753635> Message-ID: <3670-5f071500-3bb-118cab80@56992798> ** Apologies for multiple postings ** First call for systems of the 2020 edition of the Ontology Alignment Evaluation Initiative (OAEI): http://oaei.ontologymatching.org/2020/ This evaluation campaign is collocated with the Ontology Matching workshop: http://om2020.ontologymatching.org/ NEWS ------------------ - Please join our new discussion group: https://groups.google.com/d/forum/ontology-alignment-evaluation-initiative-oaei - This year we will get the support from the MELT framework to facilitate the SEALS and HOBBIT wrapping and evaluation. CONFIRMED TRACKS ------------------ * Schema matching Anatomy Conference Multifarm Complex (New Tasks) Interactive Matching Large Biomedical Ontologies Disease and Phenotype Biodiversity and Ecology * Instance matching / link discovery SPIMBENCH Link Discovery * Instance and schema matching Knowledge graph * Tabular data to Knowledge Graph matching TD→KG IMPORTANT DATES ------------------ June 15th: (preliminary) datasets available. July 15th: final datasets available. July 31st: participants register their tools August 31st: participants submit final versions of their tools. September 30th: results are available (SEALS and HOBBIT tracks). October 14th: preliminary version of system papers. November 2nd-3rd: Ontology matching workshop (Virtual) November 15th: final version of system papers. From abraham at informatik.rwth-aachen.de Wed Jul 15 20:07:02 2020 From: abraham at informatik.rwth-aachen.de (Erika Abraham) Date: Wed, 15 Jul 2020 20:07:02 +0200 Subject: [fg-arc] CfP SAC-SVT 2021 In-Reply-To: <6520db4b-b281-915b-3464-ac9fb8bee089@informatik.rwth-aachen.de> References: <6520db4b-b281-915b-3464-ac9fb8bee089@informatik.rwth-aachen.de> Message-ID: <82bb831d-0e3f-416d-8479-6fd7058ef0ca@rwthex-s3-b.rwth-ad.de> 36th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Gwangju, Korea March 22-26, 2021 https://www.sigapp.org/sac/sac2021/ SAC-SVT 2021 Website : https://sites.google.com/view/svt2021/ ==== Important dates ==== Sep. 15, 2020 - Submission of regular papers and SRC research abstracts Nov. 10, 2020 - Notification Nov. 25, 2020 - Camera-ready version Dec. 9, 2020 - Author registration due date ==== ACM Symposium on Applied Computing ==== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2021 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place ion March 22-26, 2021 in Gwangju, Korea. ==== Software Verification and Testing Track (SVT) ==== The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. ==== Topics ==== Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification ==== Submission Guidelines ==== Paper submissions must report on original, unpublished work. Submitted papers will undergo a double-blind review process. Author(s) name(s) and address(es) must not appear in the body of the paper, and self- reference should be avoided and made in the third person. We welcome research papers and posters. Research papers should have at most 8 two-column pages in ACM format (further two pages, to a total of 10 pages, may be available at a charge). The length of a poster is limited to three pages (one extra page may be available at a charge). Please comply to this page limitation already at submission time. Furthermore, in the context of the Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest, graduate students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2021 website at http://www.sigapp.org/sac/sac2021/file2021/SAC2021-CFSRC.pdf Submission of the same abstract to multiple tracks is not allowed. Accepted papers will be published in the ACM SAC 2021 proceedings in the ACM digital library. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. Detailed submission instructions will be published on the SAC-SVT 2021 website. ==== Track Chairs ==== Erika Abraham, RWTH-Aachen, Germany Nikolai Kosmatov, CEA List and Thales Research & Technology, France For the list of Program Committee members and further information we refer to the SAC-SVT 2021 Website: https://sites.google.com/view/svt2021/. From irdta at irdta.eu Mon Jul 13 21:48:04 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 13 Jul 2020 21:48:04 +0200 Subject: [fg-arc] BigDat 2020 Autumn: early registration July 20 Message-ID: <545102060a010b02035e52050e05585e065600040757550005570e080603065052040654015d5102060056540f070755@grlmc_ip-zone_com-6> BigDat 2020 Autumn: early registration July 20*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************   7th INTERNATIONAL SCHOOL ON BIG DATA   BigDat 2020 Autumn   Beersheba, Israel   October 25-29, 2020   Co-organized by:   Ben-Gurion University of the Negev Department of Software and Information Systems Engineering Data Science Research Center   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://irdta.eu/bigdat2020a/   **********************************************   --- Early registration deadline: July 20, 2020 ---   **********************************************   SCOPE:   BigDat 2020 Autumn will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.   Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 19 four-hour and a half courses and 3 keynote lectures, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 Autumn is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   VENUE:   BigDat 2020 Autumn will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be:   Ben-Gurion University of the Negev Marcus Family Campus   https://in.bgu.ac.il/en/Pages/interactive.aspx   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Paolo Addesso (University of Salerno), [introductory/intermediate] Data Fusion for Remotely Sensed Data   Thomas Bäck & Hao Wang (Leiden University), [introductory/intermediate] Data Driven Modeling and Optimization for Industrial Applications   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Altan Cakir (Istanbul Technical University), [intermediate] Big Data Analytics with Apache Spark   Edward Chang (Stanford University), [intermediate] Artificial Intelligence for Disease Diagnosis and Precision Surgery   Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity   Ian Fisk (Flatiron Institute), [introductory] The Infrastructure to Support Data Science   Michael Freeman (University of Washington), [intermediate] Interactive Data Visualization Using D3 + Observable   David Gerbing (Portland State University), [introductory] Derive Meaning from Data with R Visualizations   Yifan Hu (Yahoo Research), [introductory/advanced] Data Visualization and Machine Learning   Rafael Irizarry (Harvard University), [introductory] Data Science for Statisticians (tidyverse, ggplot, wrangling)   Wagner A. Kamakura (Rice University), [intermediate] Advanced Business Analytics using Excel Addins   Ravi Kumar (Google), [intermediate/advanced] Clustering for Big Data   Victor O.K. Li (University of Hong Kong), [intermediate] Deep Learning and Applications   Panos Pardalos (University of Florida), [intermediate/advanced] Optimization and Data Sciences Techniques for Large Networks   Valeriu Predoi (University of Reading), [introductory] A Beginner's Guide to Big Data Analysis: How to Connect Scientific Software Development with Real World Problems   Alexandre Vaniachine (VirtualHealth), [intermediate] Open-source Columnar Databases   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Supervised Descriptive Pattern Mining   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Deep Learning for Text Mining   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by October 17, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by October 17, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by October 17, 2020.   ORGANIZING COMMITTEE:   Stavi Baram (Beersheba) Mark Last (Beersheba) Carlos Martín-Vide (Tarragona, program chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Lior Rokach (Beersheba, co-chair) Bracha Shapira (Beersheba, co-chair) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/bigdat2020a/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.   Refunding of registration fees will not be possible. However, an exception will be made in case the event must be postponed due to the continuation of the coronavirus crisis in Autumn (which is a scenario the organizers do not expect).   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Ben-Gurion University of the Negev   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Tue Jul 14 08:05:29 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Tue, 14 Jul 2020 08:05:29 +0200 Subject: [fg-arc] [CfP-Extended Deadline] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming Message-ID: <969b0542-721c-8eb0-5c1b-5d7db88e5fd3@uniss.it> *** ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming Extended Deadline: July 18, 2020! *** The deadline for applying for the ICLP Doctoral Consortium has been prolonged by one week; you now have until July 18th to submit your application! We would like to stress that despite COVID and the virtual nature of the event, our goal is to provide ample opportunity for networking and contact with fellow students and experts. *** 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. The preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2020/iclp-2020-doctoral-consortium The DC will take place during the 36th International Conference on Logic Programming (ICLP) https://iclp2020.unical.it/ (September 18-24, 2020), hosted by the University of Calabria, Italy, as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Important Dates Paper submission: July 18, 2020 (extended) Notification: July 30, 2020 Camera-ready copy: August 6, 2020 DC presentations: Sunday, September 20, 2020 (fully virtual event) However, DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming on: Friday and Saturday, September 18-19, 2020: https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programming Audience The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): Theoretical Foundations of Logic and Constraint Logic Programming Sequential and Parallel Implementation Technology Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. To provide students with relevant information about important issues for doctoral candidates and future academics. To develop a supportive community of scholars and a spirit of collaborative research. To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set 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. Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp20200 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: Introduction and problem description Background and overview of the existing literature Goal of the research Current status of the research Preliminary results accomplished (if any) Open issues and expected achievements Bibliographical references Review Criteria The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration Registration is part of the ICLP 2020 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs Bart Bogaerts, Vrije Universiteit Brussel Daniela Inclezan, Miami University Program Committee Carmine Dodaro, University of Calabria Jorge Fandinno, Potsdam University Fabio Fioravanti, University of Chieti-Pescara Paul Fodor, Stony Brook University Martin Gebser, University of Klagenfurt Jose F. Morales, IMDEA Software Research Institute Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From Cassia.Trojahn at irit.fr Tue Jul 14 10:21:52 2020 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 14 Jul 2020 10:21:52 +0200 Subject: [fg-arc] =?utf-8?b?W1ZpcnR1YWw/PT0/dXRmLTg/cT8gT00tMjAyMF0gRmlu?= =?utf-8?q?al_CFP=3A_15th_workshop_on_Ontology_Matching_collocated_with_IS?= =?utf-8?q?WC?= In-Reply-To: <491d-5eb27b00-9b1-7e0f5c8@20634425> Message-ID: <3a3f-5f0d6b00-331-67d30180@9588001> ** Apologies for multiple postings ** ------------------------------------------------------------------------------ FINAL CALL FOR CONTRIBUTIONS THE SUBMISSION DEADLINE IS ON AUGUST 10TH, 2020 ------------------------------------------------------------------------------ The Fifteenth International Workshop on ONTOLOGY MATCHING (OM-2020) http://om2020.ontologymatching.org/ November 2nd or 3rd, 2020, International Semantic Web Conference (ISWC) Workshop Program, VIRTUAL CONFERENCE BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2020 campaign: http://oaei.ontologymatching.org/2020/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios (e.g., public sector, homeland security); Application of matching techniques in real-world scenarios (e.g., in cloud, with mobile apps); Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2020 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than August 10th, 2020) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2020 Contributors to the OAEI 2020 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2020/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 10th, 2020: Deadline for the submission of papers. September 11th, 2020: Deadline for the notification of acceptance/rejection. September 21st, 2020: Workshop camera ready copy submission. November 2nd or 3rd, 2020: OM-2020, Virtual Conference. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France PROGRAM COMMITTEE (to be completed): Alsayed Algergawy, Jena University, Germany Manuel Atencia, INRIA & Univ. Grenoble Alpes, France Zohra Bellahsene, LIRMM, France Jiaoyan Chen, University of Oxford, UK Valerie Cross, Miami University, USA Jérôme David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Daniel Faria, Instituto Gulbenkian de Ciéncia, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulic, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Naouel Karam, Fraunhofer, Germany Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linköpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Majeed Mohammadi, TU Delft, Netherlands Peter Mork, MITRE, USA Andriy Nikolov, Metaphacts GmbH, Germany George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Kavitha Srinivas, IBM, USA Giorgos Stoilos, Huawei Technologies, Greece Pedro Szekely, University of Southern California, USA Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ Best regards Cassia Trojahn From woortwijn at inf.ethz.ch Thu Jul 16 15:45:24 2020 From: woortwijn at inf.ethz.ch (Oortwijn Wytse) Date: Thu, 16 Jul 2020 13:45:24 +0000 Subject: [fg-arc] FTfJP 2020 (virtual) - Call for Participation - 23.07.2020 Message-ID: # CALL FOR PARTICIPATION 22th Workshop on Formal Techniques for Java-like Programs, FTfJP 2020 https://2020.ecoop.org/track/FTfJP-2020-papers Virtual event, to be held using Zoom, on Thursday, 23 July 2020, from 10:00 to 17:30 (GMT+2 Amsterdam time). Participation is free. For more details please see the webpage linked above. ## INVITED SPEAKERS * Frank de Boer and Hans-Dieter Hiep (CWI, the Netherlands): History-based Specification and Verification of Java Collections in KeY * Sung-Shik Jongmans (Open University, CWI; the Netherlands): Discourje: Runtime Verification of Communication Protocols in Clojure ## INVITED TUTORIAL * Alexander Summers (University of British Columbia, Canada): Prusti – Deductive Verification for Rust ## PROGRAM The program of (virtual) FTfJP 2020, July 23th, is as follows. All times are in GMT+2 Amsterdam time. Session One * 10:00 - 11:00: History-based Specification and Verification of Java Collections in KeY (invited talk) (Frank de Boer and Hans-Dieter Hiep) * 11:00 - 11:30: Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom (Kiko Fernandez-Reyes, James Noble, Isaac Oscar Gariano, Erin Greenwood-Thessman, Michael Homer and Tobias Wrigstad) * 11:30 - 11:50: ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming (Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara and Guido Salvaneschi) -- lunch break -- Session Two * 13:15 - 13:45: Salsa: Static Analysis of Serialization Features (Joanna Cecilia da Silva Santos, Reese Jones and Mehdi Mirakhorli) * 13:45 - 14:05: Towards Verified Construction of Correct and Optimised GPU Software (Marieke Huisman and Anton Wijs) * 14:05 - 14:35: An inductive abstract semantics for coFJ (Pietro Barbieri, Francesco Dagnino and Elena Zucca) * 14:35 - 15:05: A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit (Tobias Reinhard, Amin Timany and Bart Jacobs) -- break -- Session Three * 15:30 - 16:30: Prusti – Deductive Verification for Rust (invited tutorial) (Alexander Summers) * 16:30 - 17:30: Discourje: Runtime Verification of Communication Protocols in Clojure (invited talk) (Sung-Shik Jongmans) ## ABOUT FTfJP 2020 Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme; the most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submission relating to programming languages in general, beyond Java, C#, Scala, etc. -------------- next part -------------- An HTML attachment was scrubbed... URL: From apvereda at uma.es Tue Jul 21 12:16:13 2020 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Tue, 21 Jul 2020 10:16:13 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2020=3A_Last_Call_For_Participation?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20200721101610.3e23d5715a.84b59b73@mail193.atl21.rsgsv.net> Last days to send your paper to Foclasa 2020 ** FOCLASA 2020 ------------------------------------------------------------ 18th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Amsterdam, The Netherlands September 15, 2020 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=c0fa0ce91c&e=677bd6e3f0 (Associated with SEFM 2020) Because of the COVID-19 pandemic, SEFM organizers have decided that the conference will not take place physically but will be replaced by a virtual event. According to this, FOCLASA will also be cellebrated on-line under the same premises that the main conference. Important dates have been extended. ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2020 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Abstract submission (extended): July 26, 2020 * Paper submission (extended): July 31, 2020 * Notification of acceptance (extended): August 24, 2020 * Final version (extended): August 31, 2020 * Workshop: September 15, 2020 ------------------------------------------------------------ WORKSHOP GOALS 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 FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ 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. * AI for coordination and self-adaptativeness ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and abstract (max. 250 words) of papers must be completed before June 6, 2020. Final submission of papers is due no later than June 16, 2020. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=3d02c106fd&e=677bd6e3f0 (http) Contributions must be written in English and are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct). Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8-10 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=7bfc9cc069&e=677bd6e3f0 Sung-Shik Jongmans Open University ssj at ou.nl https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=cb764563bf&e=677bd6e3f0 (https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=f78f865508&e=677bd6e3f0) Members (To be completed) * Pedro Álvarez, Universidad de Zaragoza, Spain * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille – Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Flavio De Paoli, University of Milano, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Clemens Grelck, University of Amsterdam, The Netherlands * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Hernan C. Melgratti, University of Buenos Aires, Argentina * Jorge Perez, University of Groningen, Netherlands. * Pascal Poizat, Université Paris Ouest, France * Jose Proenca, INESC TEC \& Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Jacopo Soldani, University of Pisa, Italy * Mirko Viroli, University of Bologna, Italy * Emilio Tuosto, University of Leicester, UK * Lina Ye, CentraleSupélec, France ============================================================ Copyright © 2020 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=3e23d5715a) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/email-referral/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=referral_marketing&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From emily.leblanc at nrl.navy.mil Thu Jul 23 15:44:22 2020 From: emily.leblanc at nrl.navy.mil (Emily LeBlanc) Date: Thu, 23 Jul 2020 09:44:22 -0400 Subject: [fg-arc] =?utf-8?q?=5BExtended_deadline_August_1_2020=5D_CAUSAL?= =?utf-8?b?wqAyMDIwIENhbGzCoGZvcsKgUGFwZXJzwqAod29ya3Nob3Agb2YgSUNMUCAy?= =?utf-8?q?020=29?= Message-ID: <07E23100-4CDD-40DB-9217-04DA5C55D0BB@nrl.navy.mil> [EXTENDED DEADLINE: Submission deadline August 1st 2020] Workshop on Causal Reasoning and Explanation in Logic Programming CALL FOR PAPERS *** CAUSAL 2020 *** (September 17 or 18, 2020) Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2020 is a workshop co-located with ICLP 2020 in University of Calabria, Rende, Italy. NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers on the situation, and we will revise our workshop timeline and other procedures accordingly if needed. CAUSAL 2020 will be a fully virtual workshop. More details will be announced soon. CAUSAL 2020 IMPORTANT DATES ----------------------- * Paper submission: August 1 2020 * Notification: August 15 2020 * Final Versions: August 30th 2020 * Workshop Date: September 17th or 18th 2020 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format. The workshop invites submissions of two types: * Full papers no longer than 13 pages (excluding references) * Extended abstracts no longer than 2 pages (excluding references) https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/my/conference?conf=causal2020 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2020 website for registration procedure and fees. https://iclp2020.unical.it/ ORGANIZERS ---------- Emily LeBlanc, US Naval Research Lab, USA, emily.leblanc at nrl.navy.mil Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, University of Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5709 bytes Desc: not available URL: From lpandolfo at uniss.it Fri Jul 24 07:52:28 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Fri, 24 Jul 2020 07:52:28 +0200 Subject: [fg-arc] [Last CfP- Extended Deadline] CAUSAL 2020: Workshop on Causal Reasoning and Explanation in Logic Programming Message-ID: <7345531e-1eb6-2aff-f6c5-49869130b53a@uniss.it> [EXTENDED DEADLINE: Submission deadline August 1st 2020] Workshop on Causal Reasoning and Explanation in Logic Programming                               CALL FOR PAPERS                            *** CAUSAL 2020 ***                           (September 17 or 18, 2020)      Workshop on Causal Reasoning and Explanation in Logic Programming           CAUSAL 2020 is a workshop co-located with ICLP 2020                  in University of Calabria, Rende, Italy.       NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers on the situation, and we will revise our workshop timeline and                  other procedures accordingly if needed. CAUSAL 2020 will be a fully virtual workshop. More details will be announced soon. CAUSAL 2020 IMPORTANT DATES ----------------------- * Paper submission: August 1 2020 * Notification: August 15 2020 * Final Versions: August 30th 2020 * Workshop Date: September 17th or 18th 2020 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis,  Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format.  The workshop invites submissions of two types: * Full papers no longer than 13 pages (excluding references) * Extended abstracts no longer than 3 pages (excluding references) https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/my/conference?conf=causal2020 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2020 website for registration procedure and fees. https://iclp2020.unical.it/ ORGANIZERS ---------- Emily LeBlanc, US Naval Research Lab, USA, emily.leblanc at nrl.navy.mil Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, University of Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From irdta at irdta.eu Mon Jul 27 14:45:47 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 27 Jul 2020 14:45:47 +0200 Subject: [fg-arc] SLSP 2020: call for posters Message-ID: <545102060a010b02035f56000004525e545703055702005055515d090301525857075652565a04025603575000545354@grlmc_ip-zone_com-6> SLSP 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 8th International Conference on Statistical Language and Speech Processing (SLSP 2020) invites researchers to submit poster presentations. SLSP 2020 will be held in Cardiff on October 14-16, 2020. See  https://irdta.eu/slsp2020/ 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 statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2020 Notification of poster acceptance or rejection: September 14, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=slsp2020 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/LNAI proceedings volume of SLSP 2020. However, they will be eligible for submission to the post-conference journal special issue in Language Resources and Evaluation (Springer, JCR 2018 impact factor: 1.029). REGISTRATION At least one author of each accepted poster must register to the conference by September 21, 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 cfp at mat.unical.it Mon Jul 27 19:34:06 2020 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Mon, 27 Jul 2020 19:34:06 +0200 Subject: [fg-arc] CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING Message-ID: <564c18082ba8ce75ef7c946d3d9d983a.squirrel@www.mat.unical.it> [apologies for multiple copies] ================================================================================== 35th Italian Conference on Computational Logic (CILC 2020) 28-29 September 2020, Rende, Italy https://cilc2020.demacs.unical.it/ CO-LOCATED with the 36th International Conference on Logic Programming (ICLP 2020) ================================================================================== ***************************************** ABSTRACT SUBMISSION DEADLINE APPROACHING ***************************************** = COVID-19 SITUATION = This year's edition will be the 35th in the series of an event that is traditionally important for the community. Given to the evolving COVID-19 situation worldwide, the Conference chairs and the GULP Executives decided to hold CILC 2020 as a fully virtual conference. Please check https://cilc2020.demacs.unical.it/ regularly for news and details. = THIRD CALL FOR PAPERS = == Important Dates (UPDATE) == Abstract submission: July 31, 2020 Paper submission: J̶u̶n̶e̶ ̶2̶6̶,̶ ̶2̶0̶2̶0̶ --> August 31, 2020 Notification to authors: J̶u̶l̶y̶ ̶1̶3̶,̶ ̶2̶0̶2̶0̶ --> September 14, 2020 Camera-ready copy due: S̶e̶p̶t̶e̶m̶b̶e̶r̶ ̶3̶,̶ ̶2̶0̶2̶0̶ --> September 21, 2020 Main Conference starts: September 28, 2020 (Subject to slight postponements, please check the website regularly) = The Conference = CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, http://www.programmazionelogica.it/). Its 35th edition will be held in Cosenza (Italy) on September 28-29, 2020. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. = Contributions = The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: * full papers, possibly already submitted to other conferences or journals * short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: - Logic Programming, Constraint Programming and other paradigms of declarative programming - Extensions and integrations of declarative programming paradigms - Analysis, transformation, validation, and verification of programs - Instruments and environments for program development - Implementations and benchmarking - Model Checking - Temporal logics - Automated Theorem Proving - Non-Monotonic Reasoning - Answer Set Programming - Knowledge representation and extraction - Treatment of uncertain and incomplete knowledge - Approximate Reasoning - Abductive Logic Programming - Model-based Reasoning - Deductive Databases - Data Mining and Data Integration - Multi-agent systems - Logics for strategic reasoning - Semantic Web - Natural Language Processing - Computational logic for concurrency, coordination, mobility and objects - Planning and scheduling - Probabilistic Logic Programming - Computational Logic and formal methods in Artificial Intelligence - Applications of Computational Logic - Pedagogy of Computational Logic - Applications of Computational Logic - Inductive Logic Programming - Computational Logic and Machine Learning In particular, we also invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. = Submission Details = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc20200 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to register to the conference and present the paper according to directions that will be made public by the organizers, taking into account the "virtual" nature of this year's event. The event is organized by GULP; therefore, Italian attendants are required to be members of GULP (it is possible to join GULP contextually to the conference). = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication, if already published. In the trail of the CILC tradition, we plan to publish a selection of the papers in a SPECIAL ISSUE of an international journal (to be determined). Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. = Committees = == General Chairs == * Francesco Calimeri – University of Calabria, Italy * Simona Perri - University of Calabria, Italy * Ester Zumpano - University of Calabria, Italy == Program Committee == * Mario Alviano, Università della Calabria * Roberto Amadini, University of Melbourne * Matteo Baldoni, Università di Torino * Stefano  Bistarelli, Università di Perugia * Loris Bozzato, Fondazione Bruno Kessler * Roberta Calegari, Università di Bologna * Domenico Cantone, Università di Catania * Alberto Casagrande, Università degli Studi di Trieste * Emanuele De Angelis, IASI-CNR di Roma * Giovanni De Gasperis, Università dell’Aquila * Dario Della Monica, University of Udine * Giorgio Delzanno, Università di Genova * Wolfgang Faber, Alpen-Adria-Universität Klagenfurt * Fabio Fioravanti, Università di Chieti - Pescara * Andrea Formisano, Università di Perugia * Silvio Ghilardi, Università degli Studi di Milano * Laura Giordano, Università del Piemonte Orientale * Evelina Lamma, Università di Ferrara * Francesca A. Lisi, Università di Bari * Marco Manna, Università della Calabria * Marco Maratea, Università degli Studi di Genova * Paola Mello, Università di Bologna * Marco Montali, Free University of Bozen-Bolzano * Angelo Montanari, Università di Udine * Andrea Pazienza, Exprivia | Italtel Innovation Lab * Rafael Peñaloza, Università degli Studi di Milano-Bicocca * Adriano Peron, Università di Napoli * Maurizio Proietti, IASI-CNR Roma * Luca Pulina, Università di Sassari * Francesco Ricca, Università della Calabria * Andrey Rivkin, Libera Università di Bolzano * Gianfranco Rossi, Università di Parma * Sabina Rossi, Università di Venezia * Pietro Sala, Università di Verona * Umberto Straccia, ISTI-CNR From taravanis at upatras.gr Wed Jul 29 12:48:41 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Wed, 29 Jul 2020 13:48:41 +0300 Subject: [fg-arc] Call for Participation: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Message-ID: CALL FOR PARTICIPATION 17th International Conference on Principles of Knowledge Representation and Reasoning (KR2020) 12-18 September 2020 - Rhodes, Greece https://kr2020.inf.unibz.it/ KR2020 will be organized as a "hybrid" conference, and welcomes all researchers interested in KR to participate either physically or virtually! 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. Information about registration, venue, accommodation, and travel are available at https://kr2020.inf.unibz.it/ . The list of papers accepted at the main conference and the Doctoral Consortium is also available at the conference webpage. INVITED SPEAKERS * Rachid Alami (LAAS-CNRS, ANITI, France) * Thomas Eiter (Technische Universität Wien, Austria) * Mateja Jamnik (University of Cambridge, UK) * Marta Kwiatkowska (University of Oxford, UK) * Gary Marcus (Robust AI, USA) * David Poole (University of British Columbia, Canada) TRACKS and SPECIAL 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 WORKSHOPS * Explainable Logic-Based Knowledge Representation (XLoKR 2020) * International Workshop on Applications of AI to Forensics (AI2Forensics) * KR for All Minds (KR4AMinds) * Models of Legal Reasoning (MLR) * Reasoning about ACtions and Events over Streams (RACES) TUTORIALS * Argumentative Explanations in AI, by Francesca Toni (Imperial College London, UK) and Antonio Rago (Imperial College London, UK) * Cognitive Logics – Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World, by Gabriele Kern-Isberner (TU Dortmund, Germany) and Marco Ragni (Universität Freiburg, Germany) * Dynamic Epistemic Logic and Epistemic Planning, by Andreas Herzig (IRIT, Toulouse, France) * Practical Uses of Existential Rules in Knowledge Representation, by David Carral (TU Dresden, Germany), Markus Krötzsch (TU Dresden, Germany), and Jacopo Urbani (Vrije Universiteit Amsterdam, The Netherlands) CO-LOCATED EVENTS * DL 2020 (33rd International Workshop on Description Logics) * NMR 2020 (19th International Workshop on Non-Monotonic Reasoning) 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) Miroslaw Truszczynski (University of Kentucky, USA) Special Session: KR and Machine Learning: Alessandra Russo (Imperial College London, UK), Guy Van den Broeck (UCLA, USA) Special Session: KR and 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: Theofanis Aravanis (University of Patras, Greece) Paolo Felli (Free University of Bozen-Bolzano, Italy) Sponsorship: Jean Christoph Jung (University of Bremen, Germany) Victor Gutierrez Basulto (Cardiff University, United Kingdom) From taravanis at upatras.gr Wed Jul 29 17:40:33 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Wed, 29 Jul 2020 18:40:33 +0300 Subject: [fg-arc] Call for Participation: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Message-ID: <5e2ea64c2dd56d831e332818ac4dc6ac@upatras.gr> CALL FOR PARTICIPATION 17th International Conference on Principles of Knowledge Representation and Reasoning (KR2020) 12-18 September 2020 - Rhodes, Greece https://kr2020.inf.unibz.it/ KR2020 Flyers: http://kr2020.inf.unibz.it/downloads/KR20_CFPartic_A.png http://kr2020.inf.unibz.it/downloads/KR20_CFPartic_B.png KR2020 will be organized as a "hybrid" conference, and welcomes all researchers interested in KR to participate either physically or virtually! 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. Information about registration, venue, accommodation, and travel are available at https://kr2020.inf.unibz.it/ . The list of papers accepted at the main conference and the Doctoral Consortium is also available at the conference webpage. INVITED SPEAKERS * Rachid Alami (LAAS-CNRS, ANITI, France) * Thomas Eiter (Technische Universität Wien, Austria) * Mateja Jamnik (University of Cambridge, UK) * Marta Kwiatkowska (University of Oxford, UK) * Gary Marcus (Robust AI, USA) * David Poole (University of British Columbia, Canada) TRACKS and SPECIAL 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 WORKSHOPS * Explainable Logic-Based Knowledge Representation (XLoKR 2020) * International Workshop on Applications of AI to Forensics (AI2Forensics) * KR for All Minds (KR4AMinds) * Models of Legal Reasoning (MLR) * Reasoning about ACtions and Events over Streams (RACES) TUTORIALS * Argumentative Explanations in AI, by Francesca Toni (Imperial College London, UK) and Antonio Rago (Imperial College London, UK) * Cognitive Logics – Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World, by Gabriele Kern-Isberner (TU Dortmund, Germany) and Marco Ragni (Universität Freiburg, Germany) * Dynamic Epistemic Logic and Epistemic Planning, by Andreas Herzig (IRIT, Toulouse, France) * Practical Uses of Existential Rules in Knowledge Representation, by David Carral (TU Dresden, Germany), Markus Krötzsch (TU Dresden, Germany), and Jacopo Urbani (Vrije Universiteit Amsterdam, The Netherlands) CO-LOCATED EVENTS * DL 2020 (33rd International Workshop on Description Logics) * NMR 2020 (19th International Workshop on Non-Monotonic Reasoning) 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) Miroslaw Truszczynski (University of Kentucky, USA) Special Session: KR and Machine Learning: Alessandra Russo (Imperial College London, UK) Guy Van den Broeck (UCLA, USA) Special Session: KR and 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: Theofanis Aravanis (University of Patras, Greece) Paolo Felli (Free University of Bozen-Bolzano, Italy) Sponsorship: Jean Christoph Jung (University of Bremen, Germany) Victor Gutierrez Basulto (Cardiff University, United Kingdom)