Welcome to Tableaux 2011

Tableaux 2011 will take place in Bern, Switzerland on July 4-8, 2011.

Information about the Tableaux conference series is available here.

Proceedings of Tableaux 2011 will appear in the series Springer Lecture Notes in Artificial Intelligence (LNAI)