Organizatorzy

prof. dr hab. Mikołaj Bojańczyk
prof. dr hab. Damian Niwiński

Informacje

środy, 14:15 , sala: 5440

Dziedziny badań

Lista referatów

20 listopada 2024 14:15
Mikołaj Bojańczyk (University of Warsaw)
Transducers and straight line programs (Transducers and straight line programs)
In this talk, a straight line program (SLP) is a context-free grammar that generates a single string. This can be viewed as a compression scheme, with the compressed string being possibly exponentially smaller than the …
13 listopada 2024 14:15
Szymon Toruńczyk (University of Warsaw)
Merge-width and First-Order Model Checking (Merge-width and First-Order Model Checking)
We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Graph classes of bounded merge-width – for which the radius-r merge-width parameter …
6 listopada 2024 14:15
Mathieu Lehaut (University of Gothenburg)
Synthesis for first order specifications over data words (Synthesis for first order specifications over data words)
We study the reactive synthesis problem for distributed systems with a finite but unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modelled by data words, and specifications are given …
30 października 2024 14:15
Piotr Hofman (University of Warsaw)
Soundness for Workflows with Reset Arcs (Soundness for Workflows with Reset Arcs)
Workflows are a subclass of Petri nets designed to model business processes. Various definitions of soundness for workflows have been proposed, with the two most prominent being "soundness" and the stronger "generalized soundness." We begin …
23 października 2024 14:15
Antoni Puch (University of Warsaw)
Minimising ambiguity of weighted automata (Minimising ambiguity of weighted automata)
By bounding the number of accepting runs of automata we obtain various subclasses of them. We consider: unambiguous automata, finitely-ambiguous automata, and polynomially-ambiguous automata, where the number of runs is bounded by 1, a constant, …
16 października 2024 14:15
Antonio Casares (University of Warsaw)
An algorithm to rule them all: Fast value iteration for energy games (An algorithm to rule them all: Fast value iteration for energy games)
We introduce a uniform framework for describing, comparing, and proving correctness of algorithms for energy games (which generalise the well known parity games). This framework allows us to provide simple presentations and correctness proofs of …
9 października 2024 14:15
Lorenzo Clemente (University of Warsaw)
Control theory and series in noncommuting variables (Control theory and series in noncommuting variables)
We present Michel Fliess' work from the 1970's showing surprising connections between control theory and the theory of series in noncommuting variables. More precisely, to a dynamical system with inputs S one can associate a …
2 października 2024 14:15
Ioannis Eleftheriadis (University of Cambridge)
Preservation theorems on tame classes of finite structures (Preservation theorems on tame classes of finite structures)
Preservation theorems provide a correspondence between the syntactic structure and the semantic behaviour of first-order sentences. The study of preservation theorems relativised to classes of finite structures was initiated by Atserias, Dawar, and Kolaitis [JACM, …
4 września 2024 14:15
Sven Manthe (University of Bonn)
The Borel monadic theory of order is decidable (The Borel monadic theory of order is decidable)
When proving decidability of S2S, Rabin derived decidability of the monadic theory of (ℝ,<) with quantification restricted to Fσ-sets. Undecidability of the unrestricted monadic theory of (ℝ,<) was proven by Shelah. We discuss decidability for …
19 czerwca 2024 14:15
Teodor Knapik (ISEA, Université de la Nouvelle Calédonie)
Lindenmayer graph languages, first-order theories and expanders (Lindenmayer graph languages, first-order theories and expanders)
Imagined by Kolmogorov in the middle of past century, expanders form remarkable graph families with applications in areas as diverse as robust communication networks and probabilistically checkable proofs, to name just two. Since the proof …
12 czerwca 2024 14:15
Łukasz Kamiński (University of Warsaw)
Bi-reachability in Petri nets with data
Petri nets with equality data is an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. The most fundamental …
5 czerwca 2024 14:15
Vincent Michielini (University of Warsaw)
A new characterisation for FO2 over finite words
First-Order Logic with two variables, over finite words, is known for having many semantic characterisations: turtle languages, unambiguous monomials, deterministic partially ordered 2-way automata... In this talk, we will focus on the second one: a …
29 maja 2024 14:15
Filip Mazowiecki (University of Warsaw)
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
We study the determinisation and unambiguisation problems of weighted automata over the rational field: given a weighted automaton, can we determine whether there exists an equivalent deterministic, respectively unambiguous, weighted automaton? Recent results by Bell …
22 maja 2024 14:15
Jakub Kozik (Jagiellonian University)
Choosability version of Thue's theorem on nonrepetitive sequences
Pattern avoidance is a deeply studied problem within the field of combinatorics on words. One of the seminal results of this area is the theorem of Thue which asserts that there exists an infinite word …
15 maja 2024 14:15
Igor Walukiewicz (CNRS, LaBRI, Bordeaux University)
Rethinking Partial-Order Methods
The goal of partial-order methods is to speed up explicit state exploration of concurrent systems. The state space of these systems grows exponentially with the number of components. Yet, explicit state exploration remains one of …