Summer School

Advanced Concepts for Databases and Logic Programming

When

17th to 21nd September 2017

Where

Würzburg, Germany
Julius-Maximilians-Universität Würzburg

Background Image: Universität Würzburg

Summer School
Part of Declare'17

Declarative programming is an advanced paradigm for modeling and solving complex problems. At the conference Declare 2017 there will be a 5-day summer school for students and PhD students within the domains of databases, artificial intelligence, and semantic web.

Intelligent Information Systems

Modern intelligent information systems need to integrate hybrid knowledge bases, containing relational or post-relational databases and semantic web / linked open data. Logic programming and advanced database concepts provide declarative and domain–specific languages for knowledge integration using rules and ontologies. In the last years, the emerging declarative languages compatible with the semantic web stack have led to a renaissance of deductive databases.

Multi-Paradigm Programming

Traditional, imperative programming languages tell the computer exactly how to accomplish a goal. Modern, declarative programming languages only specify the goal to the computer, e.g. Database Languages, Rules in Decision Support, Semantic Web (ontologies). Imperative programming languages can profit from declarative specifications. We investigate integrations of declarative concepts into popular imperative languages, such as Java, JavaScript, and Python.

Topics and Speakers

Dates

Early Online-Registration

18th May 2017

Online-Registration

until 31st July 2017
Registration closed

Summer School

17th to 21st September 2017

Schedule

Sun, 17th
08:30 - 09:15

Registration

In Computer Science Building M2, Hubland Süd

The summer school beginning on Sunday is aligned with the hourly local bus service. Take line 14 to bus stop Mathematisches Institut. From there, you can already see the Computer Science Building M2. Line 14 operates from the train station through the city center to the university's campus.
More on the bus services on the general info page.

09:15

Welcome and Introduction

Prof. Dietmar Seipel
University of Würzburg, Germany

 

Lecture — Multi-Paradigm Programming with Rules and SKE

Prof. Grzegorz J. Nalepa
AGH University, Kraków, Poland

» Material

12:30

Lunch Break

Please note that the university's cafeteria is closed on Sunday.

13:30

Lab — SKE tools, business processes / rules

» Material

ca. 16:30

End of first day

At the end of the first day we will walk together to the building Z6, where the rest of the summer school happens.
At this time of the day the bus service 14 operates twice an hour: quarter past and quarter to the full hour from the bus stop Mathematisches Institut.

Mon, 18th
09:00

Lecture — Semantic Web Knowledge Bases, Linked Open Data

Prof. Dietmar Seipel
University of Würzburg, Germany
In Computer Science Building M2, Hubland Süd

» Slides | Exercises | company.pl

12:30

Lunch Break

14:00

Lab — Declarative programming, the tool ClioPatria, SPARQL, integration into the programming language Python

» Slides | Exercises | company.pl

Tue, 19th
09:00

Lecture — Constraints and Constraint Programming

Prof. Salvador Pinto Abreu
Universidade de Évora, Portugal
In Z6, Seminar Room 1.013

» Material

12:30

Lunch Break

14:00

Lab — Applications

» Material

15:30

Coffee Break

Together with Declare'17 conference.

16:00

Lab — Applications

» Material

Wed, 20th
09:00

Invited Talk — SWISH: SWI-Prolog for Sharing

Prof. Jan Wielemaker
VU University Amsterdam
in Z6, Lecture Hall 0.001

Invited talk as part of the Declare'17 conference.

10:00

Lecture — Multi-Paradigm Programming with Rules and SKE

Prof. Grzegorz J. Nalepa
AGH University, Kraków, Poland
In Z6, Seminar Room 1.013

» Material

13:00

Lunch Break

14:00

Lab — Rule engine on Android, recommender systems on mobile devices

» Material

15:30

Coffee Break

Together with Declare'17 conference.

16:00

Lab — Rule engine on Android, recommender systems on mobile devices

» Material

Thu, 21th
09:00

Talk — The ClioPatria Semantic Web Toolkit

Prof. Jan Wielemaker
VU University Amsterdam
In Z6, Seminar Room 1.013

09:30

Lecture — Constraints and Constraint Programming

Prof. Salvador Pinto Abreu
Universidade de Évora, Portugal
In Z6, Seminar Room 1.013

» Material

13:00

Lunch Break

14:00

Lab — Applications

» Material

16:00

Farewell

 

 

On Friday morning there is another invited talk at the Declare'17 conference given by Martin Atzmueller, which is also open for the summer school participants.

Location and Venue

Universität Würzburg – Franconia – Bavaria – Germany

Würzburg is located about equidistant from Frankfurt and Nuremberg in the center of Germany. The city of 125.000 inhabitants is best known for the Residence Palace and Franconian Wine.

Venue

Zentrales Hörsaal- & Seminargebäude Z6

Am Hubland

97074 Würzburg

Accommodation

Hotel Poppular

Textorstraße 17

+49 931 322770

Website

Hotel Zur Stadt Mainz

Semmelstraße 395

+49 931 53155

Website

Hotel Würzburger Hof

Barbarossaplatz 2

+49 931 53814

Website
Additional details

We have collected the information for guests on a separate page.

Registration

No Registration Fee

Registration closed!

Thank you for your interest in the Declare'17 Summer School! Due to the great demand we had to stop the registration before the end of the registration deadline.

No Fees

The deadline for online-registration to the summer school is July 31, 2017. There is no registration fee, since the summer school is funded from BMBF and supported by the Institute of Computer Science. The students can receive certificates about the summer school.

The deadline for early online-registration of foreign participants was May 18, 2017. The registered foreign participants will be enrolled as students of Würzburg University. Later registration is still possible, but the university cannot enroll the foreign students.

Local Organisation

Keep me informed

Follow us on Twitter