joint work with Wim Martens

Speaker(s)

Adam Witkowski

Affiliation

Uniwersytet Warszawski

Date

April 13, 2016, 2:15 p.m.

Room

room 5870

Title in Polish

SCULPT: describing the tabular data

Seminar

Seminar Automata Theory

---

SCULPT is a schema language for tabular data (like CSV files) proposed by Wim Martens, Frank Neven and Stan Vansummeren. I will talk about a variant of satisfiability problem which is tractable for a robust fragment of SCULPT.

---