One FLAT World Seminar

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	Jun 10	13:00	Markus Holzer	TBA
Wed	May 20	13:00	Ondřej Lengál	Automata-based verification of quantum circuits
Wed	Apr 29	13:00	Dmitry Chistikov	Three views on Presburger arithmetic
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