Proceedings
The conference proceedings are available as Lecture Notes in Computer Science Vol. 6793.
The workshops (FTP 2011 and Gentzen Systems and Beyond '11) tutorials and short papers proceedings (pdf, 2.2 MB) are available to download.
The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The conference proceedings are available as Lecture Notes in Computer Science Vol. 6793.
The workshops (FTP 2011 and Gentzen Systems and Beyond '11) tutorials and short papers proceedings (pdf, 2.2 MB) are available to download.