Call for Participation: Reasoning Web Summer School (RW 2023)
************************************************************
The 19th Reasoning Web Summer School (RW 2023)
21-24 September, 2023
https://2023.declarativeai.net/events/reasoning-web/reasoning-web-organization
Part of "Declarative AI 2023: Rules, Reasoning, Decisions and Explanations"
(DeclarativeAI 2023, https://2023.declarativeai.net/)
**************************************************************
The purpose of the Reasoning Web Summer School is to disseminate recent
advances on reasoning techniques and related issues that are of particular
interest to Semantic Web and Linked Data applications. It is primarily intended
for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior
researchers wishing to deepen their knowledge. In 2023, the broad theme of the
school is:
"Declarative Artificial Intelligence: Knowledge, Rules, Logic"
As in the previous years, lectures in the summer school will be given by a
distinguished group of expert lecturers.
This year the school is part of Declarative AI 2023 (https://2023.declarativeai.net/),
an event co-organised by OsloMet - Oslo Metropolitan University, SINTEF AS, and University of Oslo at the premises of OsloMet.
The school is co-located with:
- RuleML+RR: International Joint Conference on Rules and Reasoning,
18-20 September, 2023, https://2023.declarativeai.net/events/ruleml-rr
- DecisionCAMP: Business Rules and Decision Management Technologies,
18-20 September, 2023, https://2023.declarativeai.net/events/decisioncamp
== SCHOOL PROGRAMME ==
- Martin Giese, University of Oslo, Norway. Ontologies vs Constraints.
- Evgeny Kharlamov, Bosch Center for Artificial Intelligence, Germany and University of Oslo, Norway. Knowledge Graphs.
- Filip Murlak, University of Warsaw, Poland. Graph queries and description logics.
- Ana Ozaki, University of Bergen, Norway. Learning from Neural Networks with Queries and Counter Examples.
- Andreas Pieris, University of Edinburgh, UK. Termination of Reasoning.
- Riccardo Rosati Sapienza, University of Rome, Italy. Controlled Query Evaluation in Description Logic Ontologies.
- Christian Straßer and Kees van Berkel, Ruhr University Bochum, Germany. Proof-Theoretic Approaches in Logical Argumentation.
- Michael Thomazo, INRIA, France. Compact Query Rewritings for Ontology Based Query Answering.
== PARTICIPATION ==
The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process. Accepted participants will receive a registration link, meanwhile please see the registration page for fee and other relevant information, https://2023.declarativeai.net/registration.
Applications must be submitted by filling the following form: https://forms.gle/Vxwz5ZhmNrejhiP48
== IMPORTANT DATES ==
Application deadline: 10 August, 2023
Notification: 15 August, 2023
Registration Deadline: 1 week after the acceptance notification
Summer school: 18-24 September, 2023
== COMMITTEE ==
Chairs
* Marco Console, Sapienza, University of Rome, Italy
* Boris Konev, University of Liverpool, UK
Scientific Advisory Board
* Danushka Bollegala, University of Liverpool, UK
* Diego Calvanese, Free University of Bozen, Italy
* Georg Gottlob, University of Oxford, UK
* Domenico Lembo, Sapienza, University of Rome, Italy
* Leonid Libkin, University of Edinburgh, UK
* Vladimir Lifschitz, University of Texas at Austin, USA
* Arild Waaler, University of Oslo, Norway
* Guohui Xiao, University of Bergen, Norway
== CONTACT ==
For further information please contact the chairs:
* Marco Console console@diag.uniroma1.it<mailto:console@diag.uniroma1.it>
* Boris Konev konev@liverpool.ac.uk<mailto:konev@liverpool.ac.uk>
************************************************************
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
