# Workshop on The Notion of Proof

Conflicts with Vienna Summer of Logic, but very interesting: From http://cicm-conference.org/2014/cicm.php?event=nop&menu=general We have already witnessed the moment where chess-playing computers have surpassed humans. It might seem to be only a matter of time that computers will also surpass humans in mathematical theorem proving. In fact, the traditional notion of mathematical proof faces in the beginning … Continue reading Workshop on The Notion of Proof

# Extended Deadline! CFP: Symposium on the Foundations of Mathematics

CfP from http://sotfom.wordpress.com: Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the … Continue reading Extended Deadline! CFP: Symposium on the Foundations of Mathematics

# Vienna Summer of Logic: Call for Volunteers

What is the Vienna Summer of Logic? With over 2000 expected participants, the Vienna Summer of Logic 2014 (VSL) will be the largest event in the history of logic. It will consist of twelve large conferences and numerous workshops, attracting researchers from all over the world. The VSL will take place 9th-24 July 2014, at … Continue reading Vienna Summer of Logic: Call for Volunteers

# E. W. Beth Dissertation Prize: 2014 Call for Nominations

Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.info) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2013. The dissertations will be judged on technical depth and strength, originality, … Continue reading E. W. Beth Dissertation Prize: 2014 Call for Nominations

# Brian Leiter Should Apologize

In a (since removed) long post on his widely read blog, Brian Leiter attacked my colleague Rachel McKinnon, calling her "singularly unhinged" and "crazy".  I don't know what to say, except that I hope an apology for this singularly unprofessional outburst is forthcoming.

# Journal for the History of Analytical Philosophy (JHAP) Essay Prize

JHAP is an international open access, peer reviewed publication that aims to promote research in and provide a forum for discussion of the history of analytic philosophy. ‘History’ and ‘analytic’ are understood broadly. JHAP takes the history of analytic philosophy to be part of analytic philosophy. Accordingly, it publishes historical research that interacts with the … Continue reading Journal for the History of Analytical Philosophy (JHAP) Essay Prize

# Philosophy of Mathematics Postdoc at Nancy or Paris

One year Post-doc Fellowship in the context of the ANR-DFG research   program MATHEMATICS: OBJECTIVITY BY REPRESENTATION (MathObRe) at the <a href="http://poincare.univ-lorraine.fr/Laboratoire d'Histoire des Sciences et de Philosophie—Archives Henri-Poincaré, Nancy (UMR 7117) or at the <a href="%20http://www-ihpst.univ-paris1.fr/Institut d'Histoire et de Philosophie des Sciences, Paris (UMR 8590). We invite applications for a postdoctoral fellowship for 12 months  … Continue reading Philosophy of Mathematics Postdoc at Nancy or Paris