Author: Michel Parigot
Title: On constructive existence
Abstract: 
I will discuss a characterization of constructive existence in
classical logic due to Matthias Baaz and Christian Fermueller. I will
give a simple proof of it based on cut elimination which allows to extend
this characterization to any logic having a reasonable cut elimination
theorem.