Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

6 - 7 September 2018, Workshop on Proof Theory, Ghent, Belgium

Date: 6 - 7 September 2018
Location: Ghent, Belgium
Target audience: Researchers in mathematics, computer science and philosophy

The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The intended audience for the workshop is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy with an interest in Proof Theory in a broad sense.

Invited Speakers:
Andrew Arana (Université Paris 1 - Panthéon-Sorbonne)
Rosalie Iemhoff (Utrecht University)
Dale Miller (Inria Saclay and LIX)
Paulo Oliva (Queen Mary University of London)
Pavel Pudlák (Czech Academy of Sciences)
Michael Rathjen (University of Leeds)
Albert Visser (Utrecht University)

Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.

For more information, see http://www.proofsociety.org/workshop-2018/ or contact Bahareh Afshari at .

Please note that this newsitem has been archived, and may contain outdated information or links.