See here. The 2014 meeting of the Society for Exact Philosophy will be held 22-24 June 2014 at the California Institute of Technology in Pasadena, CA. This year's meeting is being held in conjunction with the Formal Epistemology Workshop (FEW) which runs June 20-22nd at the University of Southern California. June 22nd will be a … Continue reading 2014 Society for Exact Philosophy
Month: January 2014
Postdoc in Proof Theory at TU Vienna
A position as post-doctoral researcher is available in the Group for Computational Logic at the Faculty of Mathematics of the Vienna University of Technology. This position is part of a research project on the proof theory of induction. The aim of this project is to further deepen our understanding of the structure of proofs by … Continue reading Postdoc in Proof Theory at TU Vienna
2014 Kurt Gödel Research Prize Fellowships Program
from http://fellowship.logic.at/: (Organized by the Kurt Gödel Society with support from the John Templeton Foundation) The Kurt Gödel Society is proud to announce the commencement of the Kurt Gödel Research Prize Fellowships Program "The Logical Mind: Connecting Foundations and Technology." The program has a particular emphasis on supporting young scholars as previous rounds of Kurt … Continue reading 2014 Kurt Gödel Research Prize Fellowships Program