second part

Speaker(s)

Sylvain Schmitz

Affiliation

ENS de Cachan

Date

June 7, 2017, 2:15 p.m.

Room

room 5870

Title in Polish

Downward-closures and PTL separability

Seminar

Seminar Automata Theory

---

I'll present an approach to computing downward-closures and solving separability by piecewise-testable sets using ideal decompositions.  The talk will be based on a joint paper with J. Goubault-Larrecq published at ICALP last year.

---