No, sadly, most of us can’t be in Christchurch New Zealand to celebrate Arthur Prior’s birthday party in style in the southern sun. It looks like it will be a very enjoyable event, with Justine Kingsbury (Waikato) opening and Max Cresswell (Victoria) giving the keynote. Here’s the link:
Fortunately, there is an alternative: celebrating it at Roskilde University (RUC) in Denmark. It seems pretty likely that we will be less lucky when it comes to sunshine, but Danes know how to make winter hyggeligt so it will be nice in a different sort of way. And Prior did spend key years of his life far away in these northern lands, so it is good to celebrate it upover and not just downunder. Now – the website will be available soon. In the meantime, this is just to say that Jack Copeland, Peter Ohrstrøm, David Jakobsen and Torben Braüner have all kindly agreed to talk.
The 4th annual meeting of the Reasoning Club, see http://www.kent.ac.uk/secl/philosophy/jw/reasoning/club/, will be held in the School of Mathematics, Manchester University on the 30th and 31st of March 2015.
The Keynote Speakers are Richard Booth (Luxembourg), Leon Horsten (Bristol), Federico Luzzi (Aberdeen) and Sara Uckelman (Durham).
In addition it is planned to have ten 40 minute contributed talks by Ph.D. students and early Postdocs, for whom grants will be available to cover the cost of accommodation and subsistence.
Please see http://www.maths.manchester.ac.uk/news-and-events/events/fourth-reasoning-club-conf/ for information on abstract submission and (free) registration.
Jeff Paris & Alena Vencovská, Local Meeting Organizers.
DTU Management Engineering invites you to a seminar about the Theory of
Science in Engineering
Jørgen Villadsen, Lektor, DTU Compute
We first give a brief introduction to the state-of-the-art in computer-checked proofs. In particular we discuss the relations to mathematical proofs, formal proofs and computer-assisted proofs, and we survey the historical developments. We then present our views on the future use of computer-checked proofs in mathematics, computer science and engineering disciplines in general, both in research and teaching.
After the talk, there will be time for a discussion on the topic
Time and place: December 1, 2014, 13:00 – 14:30, Building 101, Room S12
(ground floor), DTU
No registration required, everyone is welcome! Questions can be sent to
Martin Mose Bentzen, firstname.lastname@example.org