28 May 2015, Theories and Rules, Kanunnikenzaal, Utrecht University Faculty Club, Achter de Dom 7a, Utrecht

On May 29th, Jeroen Goudsmit will defend his dissertation "Intuitionistic Rules", written under the supervision of Albert Visser and Rosalie Iemhoff in the project "The Power of Constructive Proofs". This conference is held on the occasion of said defense. The members of the doctoral examination committee will give talks on their areas of expertise, and the conference ends with a talk by Jeroen on his thesis, in which he studies the admissible rules of intermediate logics.

Speakers: Dick de Jongh, George Metcalfe, Nick Bezhanishvili, Silvio Ghilardi, Albert Visser, Rosalie Iemhoff, and Jeroen Goudsmit.

For more information, see http://jeroengoudsmit.com/theories-and-rules/