Seminar
Winter Term 2024/2025
News
Organisation
During the winter term of 2024/2025, the Institute of Theoretical Computer Science offers a seminar on the Theory of Data Science, headed by Prof. Dr. Roland Meyer.
-
Weekly Talks are on Mondays, 17:00, in IZ 358. Starting from 04.11.24.
-
The weekly talks will start from 04.11., and continue to take place on mondays at 17:00 in IZ 358.
-
The kickoff meeting will take place on the 21.10. at 12:00 in room IZ 358.
-
To fully register for the seminar, you have to sign a document until 28.10.24.
You can do so during the kickoff meeting or at our secretariat.
In the latter case, please make an appointment with our secretary Andrea Soleinsky (a.soleinsky@tu-bs.de).
-
We give topics to at most 10 students.
-
This seminar is for Master's students of data science with a special focus on database theory.
Topics
This semester's topic is the Datalog query language for database systems.
Datalog comes in many flavors, each of which has different expressiveness and properties.
You can already take a look at the papers intended for a seminar before the kickoff meeting.
- Datalog with Negation and Monotonicity Paper
- Queries with Guarded Negation Paper
- Containment of Queries for Graphs with Data Paper
- Containment of Regular Path Queries Under Path Constraints Paper
- Containment of Graph Queries Modulo Schema Paper
Requirements
You will have to
- prepare and give a talk of 30 minutes (including questions) during the lecture period, and
- write a seminar paper in English or German, of maximal 10 pages using the
acmart
LaTeX style using the acmsmall version until 17.01.25.
-
On 17.01.25, you will hand in a preliminary version of your paper, that will be peer-reviewed by another student.
Consequently, you will recieve a paper from another student that you will have to review until 24.01.25.
Supervision
Each seminar topic is assigned a member of the Institute for Theoretical Computer Science as advisor.
In case you have questions, you can contact them.
There will be regular meetings with your advisor, in particular before you hand in the paper and before you give the
presentation.
