All-around awesome logician colleagues and friends Steve Awodey and Jeremy Avigad have netted a $7.5m, 5-year grant to develop Homotopy Type Theory! http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html http://homotopytypetheory.org/2014/04/29/hott-awarded-a-muri/

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

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

US$25,000 for 4 months (September 2015 or January 2016) Contact: Brad Hector, Fulbright Canada Program Officer (Scholars) The University of Calgary is pleased to offer the opportunity for a Fulbright Visiting Research Chair in Logic or the Philosophy of Science. The visiting researcher will be a part of the Department of Philosophy and collaborate with a dynamic research … Continue reading Visiting Research Chair in Logic or Philosophy of Science at the University of Calgary

The Association for Computing Machinery has awarded the 2013 Turing Award (the Computer Science equivalent of the Nobel Prize Fields Medal Schock Prize) to Leslie Lamport at Microsoft Research for his work on formal specification and verification techniques, specifically the Temporal Logic of Actions and his work on fault tolerance in distributed systems. Not as … Continue reading Leslie Lamport wins Turing Award

Today's the last of three lectures on Gentzen's second proof of the consistency of PA in my proof theory course. a) Still looking for good resources on ordinal notations, esp., $latex <\epsilon_0$, especially around the question how one can "see" that they are well-ordered without mentioning that they are order-isomorphic to $latex \epsilon_0$  Takeuti has … Continue reading Constructive Ordinals and the Consistency of PA

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

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.

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

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.  … Continue reading Carnegie Mellon Summer School in Logic and Formal Epistemology

Sad news from Fritz Stadler, director of the Institue Vienna Circle: Mit großer Betroffenheit und tiefer Trauer haben wir heute vom Ableben von Univ.Prof. Rudolf Haller erfahren. Er war in der österreichischen Philosophie und Wissenschaft ein Pionier und eine außergewöhnliche Erscheinung. Seine gewinnende Persönlichkeit mit Expertise, Menschlichkeit, Offenheit und Humor war einzigartig. Das Institut Wiener … Continue reading Rudolf Haller, 1929-2014

If you're reading this blog, you should probably be a member of the Association of Symbolic Logic -- the venerable academic society for logic and its applications, the people who bring you the best journals in the field (The Journal, Bulletin, and Review of Symbolic Logic), the Perspectives and Lecture Notes in Logic book series, … Continue reading Join the Association for Symbolic Logic — Now 50% Off!

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

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

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

Alan Turing gets royal pardon for his 1952 conviction for "gross indecency." http://www.bbc.co.uk/news/technology-25495315 http://www.theguardian.com/science/2013/dec/24/enigma-codebreaker-alan-turing-royal-pardon http://www.independent.co.uk/news/uk/home-news/alan-turing-gets-his-royal-pardon-for-gross-indecency--61-years-after-he-poisoned-himself-9023116.html

Twenty years ago this month I submitted my Diplomarbeit (MA thesis) on the proof theory of finite valued logics.  Still kinda proud of it. The main results of this report are: the use of signed formula expressions and partial normal forms to provide a unifying framework in which clause translation calculi, sequent calculi, natural deduction, … Continue reading 20 Year Anniversary: Proof Theory of Finite Valued Logics

The North American Summer School in Logic, Language and Information wil be held June 23-27, 2014 in College Park, MD.  A call for papers for the student session was just issued; deadline is February 24. The North American Summer School for Logic, Language and Information (NASSLLI) welcomes paper submissions for presentation at its Student Session. … Continue reading NASSLI 2014 Student Session CfP