the scandinavian logic society

slideshow 1

PhD positions in proof systems for modal fixpoint logics, Amsterdam

* University of Amsterdam, The Netherlands
* Duration: 4 years fully-funded, starting September 2019 or shortly thereafter
* Deadline for applications: 14 April 2019
* The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for two fully funded four-year PhD positions on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.
* For full details see

Postdoc position in proof systems for modal fixpoint logics, Amsterdam

* University of Amsterdam, The Netherlands
* Duration: 3 years, starting September 2019 or shortly thereafter
* Deadline for applications: 28 April 2019
* The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a three-year position at the postdoc level on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.
* For full details see

KVA workshop on Rational Agency and Logic on November 30

A one-day workshop on Rational Agency and Logic will be held in Stockholm at the Royal Swedish Academy of Sciences (KVA), in Linnésalen, on Friday, November 30, 2018, during 09:30 – 16:50.

The speakers are Rineke Verbrugge (Groningen), Marek Sergot (Imperial, London), Alexandru Baltag (ILLC, Amsterdam), Sonja Smets (ILLC, Amsterdam), and Valentin Goranko (Stockholm).

Doctoral Research Fellowship in Philosophy, Oslo

Doctoral Research Fellowship in Philosophy, Oslo
Deadline: Sunday 23 September 2018

A Doctoral Research Fellowship (SKO 1017) in Philosophy is available at the Department of Philosophy, Classics, History of Art and Ideas, University of Oslo.

Workshop on Proof Theory and its Applications Ghent, 6-7 Sep 2018

The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion.

More information available at http://www.proofsociety.org/workshop-2018/

Summer School on Proof Theory, Ghent, 2-5 Sep 2018

The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society.

Pages

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.