Cotygodniowe seminarium badawcze
Organizatorzy
- prof. dr hab. Mikołaj Bojańczyk
- prof. dr hab. Damian Niwiński
Informacje
środy, 14:15 , sala: 5440Dziedziny badań
Lista referatów
-
25 stycznia 2023 14:15
Hugo Gimbert (CNRS, LaBRI, Université de Bordeaux)
Martin’s proof of Borel determinacy
Donald Martin established Borel determinacy in 1975: in every Gale-Stewart game with a Borel winning condition, either player I or player II has a winning strategy. We present Martin’s proof under a different perspective (bottom-up …
-
-
11 stycznia 2023 14:15
Pierre Ohlmann (MIM UW)
Memory in games and universal graphs
I will present recent characterisations of positionality and finite memory in infinite duration games by means of universal graphs. The goal is to derive properties of games with a given objective W by understanding the …
-
21 grudnia 2022 14:15
Marcin Przybyłko (University of Leipzig)
Enumerating Answers to Ontology Mediated Queries
A known dichotomy states that for conjunctive queries (CQs) with no self-joins the set of answers can be enumerated with linear preprocessing* and constant delay* if and only** if the query is both acyclic and …
-
14 grudnia 2022 14:15
Antonio Casares Santos (LaBRI, Université de Bordeaux)
A correspondence between memory and automata for Muller languages
In this talk, we will be interested in infinite-duration games using Muller winning conditions, that is, the objective of such games is given by a boolean combination of colors that have to appear infinitely often. …
-
7 grudnia 2022 14:15
Lorenzo Clemente (MIM UW)
Decidability of equivalence of deterministic one-way multitape finite automata
I will present an old decidability result by Harju and Karhumäki, as in the title. The original proof involves some very nice algebraic constructions, which constitute the motivation for this presentation. We start from the …
-
30 listopada 2022 14:15
David Purser (MIM UW)
The big-O problem for max-plus automata
Given two weighted automata A and B over the (N, max, plus) semi-ring we consider the problem of deciding whether there exists a constant c such that A(w) ≤ c B(w) + c for every …
-
23 listopada 2022 14:15
Jakob Piribauer (TU Dresden)
Tradeoff between expectation and variance in Markov decision processes
The stochastic shortest path problem asks to resolve the non-deterministic choices in a Markov decision process (MDP) such that the expected accumulated weight before reaching a target state is maximized. This problem is well-studied and …
-
16 listopada 2022 14:15
Mikołaj Bojańczyk (MIM UW)
Folding interpretations
In this talk, I will discuss a characterisation of the polyregular functions which uses folding. The idea is to use the combinator approach, i.e. start with certain atomic functions (such as list concatenation) and apply …
-
9 listopada 2022 14:15
Paweł Parys (MIM UW)
Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete
We consider the problem of deciding whether a given pushdown system all of whose ε-transitions are deterministic is weakly bisimulation finite, that is, whether it is weakly bisimulation equivalent to a finite system. We prove …
-
26 października 2022 14:15
Michael Blondin (Université de Sherbrooke)
Separators in continuous Petri nets
In this talk, we will consider Petri nets: a well-established formalism for the analysis of concurrent systems. Testing whether a target Petri net configuration cannot be reached often amounts to proving the absence of bugs …
-
19 października 2022 14:15
Szymon Toruńczyk (MIM UW)
On monadically stable and monadically NIP classes of graphs
Sparsity theory, initiated by Ossona de Mendez and Nesetril, identifies those classes of sparse graphs that are tractable in various ways (e.g. from the perspective of the model checking problem for first order logic) as …
-
11 października 2022 14:15
Stefan Göller (Universität Kassel)
The AC0-complexity of visibly pushdown languages.
The talk will be on the question which visibly pushdown languages (VPLs) are in the complexity class AC0. We provide a conjectural characterization that isolates a stubborn subclass of very particular one-turn visibly pushdown languages …
-
5 października 2022 14:15
Nguyễn Lê Thành Dũng (École normale supérieure de Lyon)
A transducer model for simply typed λ-definable functions
Among the natural ways to define functions ℕ^k -> ℕ in the simply typed λ-calculus, one of them allows hyperexponential growth (any tower of exponentials) but excludes many basic functions such as subtraction and equality, …
-
15 czerwca 2022 14:15
Albert Gutowski (MIM UW)
Finite entailment of UCRPQs over ALC ontologies
We solve finite ontology-mediated query entailment for ontologies expressed in ALC (a description logic, closely related to (multi)modal logic) and queries expressed as UCRPQs (extending UCQs - unions of conjunctive queries - with constraints on …