Logic List Mailing Archive

PhD student position on formalisation of logical calculi, Saarbruecken (Germany)

A PhD position is open at the MPI for Informatics in Saarbrücken, 
supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie Tourret. 
The project is about using Isabelle/HOL to formalize logical calculi.

See https://www.cs.vu.nl/~jbe248/sb_job.html for more information.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam