[Haskell] PhD position on the formalization of logical calculi in Saarbrücken

Andrei Popescu andrei.h.popescu at gmail.com
Wed May 26 13:17:06 UTC 2021

Previous message: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021
Next message: [Haskell] CALCO 2021: Deadline extension and invited speakers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021
Next message: [Haskell] CALCO 2021: Deadline extension and invited speakers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell mailing list