We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

One FLAT World Seminar

External homepage

formal languages and automata theory

Audience:	Researchers in the topic
Seminar series times:	No fixed schedule
Organizers:	Luca Prigioniero, Rogério Reis
	*contact for this listing

Upcoming talks

Past talks

Your time			Speaker	Title
Wed	Apr 29	13:00	Dmitry Chistikov	Three views on Presburger arithmetic
Wed	May 20	13:00	Ondřej Lengál	Automata-based verification of quantum circuits
Wed	Jun 10	13:00	Markus Holzer	TBA

Embed this schedule

Your time			Speaker	Title
Wed	Apr 08	13:00	Florin Manea	Optimal enumeration of regular pattern matches
Wed	Mar 25	14:00	Klaus Sutner	The structure of Abelian automata
Wed	Feb 25	14:00	Mikhail Volkov	Adversarial synchronization
Wed	Dec 17	14:00	Antonio Casares Santos	Transition-based vs. state-based acceptance for automata over infinite words
Wed	Nov 26	14:00	Nicola Prezza	From text indexing to regular language indexing
Wed	Nov 05	14:00	Alexander Rubtsov	Computational model for parsing expression grammars
Wed	Oct 15	13:00	Ryan Williams	Simulating time with square-root space
Wed	Jun 18	12:00	Stavros Konstantinidis	On the difference set of two transducers and PRAX algorithms
Fri	May 30	13:00	Nelma Moreira	Synchronised shuffles and team automata
Wed	Apr 30	13:00	Flavio D'Alessandro	On the intersection problem for quantum finite automata
Wed	Apr 09	13:00	Taylor Smith	Two-dimensional automata theory - Decidability, complexity, and algorithms
Wed	Feb 19	14:00	Martin Kutrib	Cellular automata: Communication matters
Wed	Dec 18	14:00	Stefano Crespi Reghizzi	Crosswords of formal languages
Wed	Nov 20	14:00	Shinnosuke Seki	RNA co-transcriptionality - A platform for in vivo programming of molecular machines
Wed	Jun 05	13:00	Bruno Loff	The hardness of decision tree complexity
Wed	May 08	13:00	Jeffrey Shallit	Using automata to prove theorems about sequences
Wed	Apr 10	08:00	Szilárd Zsolt Fazekas	Non-regular complexity
Wed	Mar 06	14:00	Orna Kupferman	Using the past for resolving the future
Wed	Feb 07	14:00	Ian McQuillan	Store languages of automata models, with applications

Embed this schedule

Export series to