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

Wow, awesome. Lecturers include Rachael Briggs, Sonja Smets, and Florian Steinberger. The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to excellent female students who want … Continue reading Summer School at MCMP for Women Formal Philosophy Students

Alan Richardson writes on HOPOS-L: Professor Maria Reichenbach passed away on 28 November at the age of 104. She survived her husband, Hans Reichenbach, by over 60 years. Within the HOPOS community, Maria Reichenbach is best known for her efforts to keep alive the work of Hans, including her translations of several of his early … Continue reading Maria Reichenbach (1909-2013)