You are not logged in |
The seminar is devoted to the theory and practice of data management and knowledge representation. We are interested in challenges related to the processing of data, queries, and metadata (schemas, constraints, dependencies, ontologies), ranging from designing and analyzing abstract formalisms all the way to database systems architecture and distributed processing of big data. We like our data in all flavors: not only relational, but also semistructured (XML, JSON), graph (RDF, LPG), object, text, temporal, stream, GIS, and others.
The problems tackled can be theoretical, requiring tools from algorithmics, combinatorics, logic (e.g. finite model theory), and automata theory, as well as very practical, in the spirit of systems and software engineering. MSc theses written within our seminar may study decidability and complexity of abstract problems, design algorithms and heuristics, implement and experiment with existing theoretical solutions, or analyze, compare and extend existing systems.
We meet and discuss with experts in other disciplines, who sometimes supply ideas for MSc theses. We have cooperated or are currently cooperating with astronomers, chemists, and geographers. We are also open for other areas where databases can be applied.
Seminar presentations are usually based on recent papers presented at leading international conferences devoted to data management and knowledge representation, such as VLDB, PODS, SIGMOD, or KR.
Selected topics:
- Data models, semantics, query languages
- Data provenance
- Databases for emerging hardware
- Distributed and parallel databases
- Graph data management, RDF, social networks, Semantic Web
- Knowledge discovery, clustering, data mining
- Machine learning for data management and vice versa
- Model theory, logics, algebras, computational complexity
- Ontology-based data access, data integration and exchange, metadata management
- Ontology formalisms and models, description logics
- Privacy, security, ethics
- Query processing and optimization
- Scientific databases
- Semi-structured data
- Small data, end-user programming
- Storage, indexing, and physical database design
- Streams, sensor networks, complex event processing
- Transaction processing
- Uncertainty, incompleteness, and inconsistency in data management
Organizers
- dr hab. Filip Murlak, prof. ucz.
- dr hab. Jacek Sroka
- prof. dr hab. Krzysztof Stencel
- prof. dr hab. Jerzy Tyszkiewicz
Information
Tuesdays, 10:15 a.m. , room: 4060Home page
https://sites.google.com/view/sembdmimuw?pli=1&authuser=1Research fields
List of talks
-
June 9, 2026, 11:15 a.m.
Justyna Palikowska (MIMUW)
Wykrywanie anomalii w szeregach czasowych latencji
-
June 9, 2026, 10:45 a.m.
Piotr Głowacki (MIMUW)
Jakie praktyki korelują z jakością PRów tworzonych przez agentów AI? (What practices correlate with the quality of Agentic-PRs?)
-
June 9, 2026, 10:15 a.m.
Gustaw Blachowski (MIMUW)
Database benchmarking and why it’s difficult (Database benchmarking and why it’s difficult)
-
June 2, 2026, 11:15 a.m.
Katarzyna Mielnik (MIMUW)
Implementation of of Scalable Algorithms for Aggregation Over Dominated Points on GPU (Implementation of of Scalable Algorithms for Aggregation Over Dominated Points on GPU)
-
June 2, 2026, 10:45 a.m.
Piotr Baranowski (MIMUW)
Replikacja sieci bezprzewodowej oparta na danych - w stronę inteligentnych cyfrowych bliźniaków
-
June 2, 2026, 10:15 a.m.
Krzysztof Lembryk & Dominik Strąk (MIMUW)
Integrating rsonpath with PostgreSQL (Integrating rsonpath with PostgreSQL)
-
-
-
-
-
May 12, 2026, 11 a.m.
Karol Wąsowski (MIMUW)
CMEmu: Synthesizing a Cycle-Exact Model of Program Execution on ARM Cortex-M (CMEmu: Synthesizing a Cycle-Exact Model of Program Execution on ARM Cortex-M)
-
May 12, 2026, 10:15 a.m.
Dawid Pawlik (MIMUW)
Optymalizacja algorytmu GossipMap: Od binarnej kwantyzacji po obliczenia równoległe
-
May 5, 2026, 10:15 a.m.
Michał Sobczak (MIMUW)
Analiza skali wykorzystania autonomicznych narzędzi AI na platformie GitHub
-
April 28, 2026, 10:15 a.m.
Gustaw Blachowski (MIMUW)
Practical DB-OS Co-Design with Privileged Kernel Bypass (Practical DB-OS Co-Design with Privileged Kernel Bypass)
-
April 21, 2026, 10:15 a.m.
Jose Emilio Labra Gayo (University of Oviedo, Spain)
Shaping Knowledge and Interoperable Graphs
Short bio: Jose Emilio Labra Gayo. Full Professor at University of Oviedo, Spain. Founder and main researcher of WESO (Web Semantics Oviedo) research group, which collaborates with different companies around the world applying semantic web …
