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.

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

Date: Thursday 28 May 2015
Location: Kanunnikenzaal, Utrecht University Faculty Club, Achter de Dom 7a, Utrecht
Target audience: MSc Logic and PhD candidates

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/

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