CfP: Tools For Teaching Logic TTL2015

Tools for Teaching Logic (June 9-­12, 2015, Rennes, France) is seeking original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e­-learning logic; teaching argumentation theory, critical thinking and informal logic; teaching specific topics, such as modal logic, algebraic logic, knowledge representation, model theory, philosophy of logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking.

Abstracts are due on February 13, full papers on February 20.  More details on the website:

Skolem’s 1920, 1923 Papers

In case you need the original 1920 or 1923 papers by Skolem, and you don’t have Selected Works in Logic handy, here are PDFs extracted from the digital version of Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse made available by the Biodiversity Heritage Library and the Internet Archive.

Thoralf Skolem, “Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen“, Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse 1920, no. 4, pp. 1­–36

Thoralf Skolem, “Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich“, Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse 1923, no. 6, pp.  1–38.

CfP: 2015 Logic Colloquium in Helsinki

First Announcement & Call for Abstracts

Logic Colloquium 2015
European Summer Meeting of the Association for Symbolic Logic

Helsinki, Finland, 3-8 August 2015

The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science, CLMPS 2015, and with the SLS Summer School in Logic

Plenary lectures

Toshiyasu Arai (Chiba)
Sergei Artemov (New York)
Steve Awodey (Pittsburgh)
Johan van Benthem (Amsterdam and Stanford)
Artem Chernikov (Paris)
Ilias Farah (York)
Danielle Macbeth (Haverford)
Andrei Morozov (Novosibirsk)
Kobi Peterzil (Haifa)
Ralf Schindler (Münster)
Saharon Shelah (TBC) (Jerusalem and Rutgers)
Sebastiaan Terwijn (Nijmegen)


Erich Grädel (Aachen)
Menachem Magidor (Jerusalem).

Special sessions

Set Theory, organized by Heike Mildenberger (Freiburg)

Model theory, organized by Dugald Macpherson (Leeds)

Computability Theory, organized by Russell Miller (New York) and Alexandra Soskova (Sofia)

Proof Theory, organized by Benno van den Berg (Amsterdam) and Michael Rathjen (Leeds)

Philosophy of Mathematics and Logic, organized by Patricia Blanchette (Notre Dame) and Penelope Maddy (Irvine)

Logic and Quantum Foundations, organized by Samson Abramsky (Oxford)

Travel Awards and Contributed Talks

Travel  awards  for students  and  young  researchers  have been  made available  by the  organizers.   In some  cases  full compensation  of expenses is possible.  The website includes detailed information about the awards, instructions of how to apply, and an electronic form which may be used for the application.

The Logic Colloquium will include contributed talks of 20 minutes’ length. Abstracts on contributed talks are published in the Bulletin of Symbolic Logic.

The deadline for travel award applications and abstract submission  is Tuesday, May 3, 2015. Please see for information about applying for travel awards and for submitting an abstract.

John Shepherdson, 1926-2015

Sad news from Philip Welch at Bristol:  John Shepherdson has died.

I deeply regret having to impart the very sad news that John Shepherdson died in Bristol on Thursday of an inoperable sarcoma.

John was a founder of the BLC (together with Robin Gandy if I remember rightly). His own work was in many areas, starting with set theory, then recursion theory (inventing the register machine in a paper with Sturgis), models of arithmetic, incompleteness phenomena, and towards the end of his career working on PROLOG and fuzzy logic. Besides all this, he made Bristol a centre for mathematical logic in the UK, with many prestigious visitors in the early years. In particular it became a training ground in the 50s, 60s for many who went on to academic careers, as well as in the 70’s through its MSc in Mathematical Logic and Theory of Computation. He spent his whole working career at the Bristol department arriving there in 1946.

He always struck me as an exceptionally kind person, an amusing and intelligent companion to be with, and most modest, as well as self-effacing in the best sense. He will be much missed.

A fuller appreciation will be composed at some point. There will be no funeral, but his family have indicated there will be a Memorial Service or Occasion at a date in the future, when a full tribute can be paid to him.

Philip Welch