* PhD position on the formalization of logical calculi in Saarbrücken
@ 2021-05-26 13:13 Andrei Popescu
0 siblings, 0 replies; 2+ messages in thread
From: Andrei Popescu @ 2021-05-26 13:13 UTC (permalink / raw)
To: caml-list, categories, coq-club, dl
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* PhD position on the formalization of logical calculi in Saarbrücken
@ 2021-05-26 13:13 Andrei Popescu
0 siblings, 0 replies; 2+ messages in thread
From: Andrei Popescu @ 2021-05-26 13:13 UTC (permalink / raw)
To: caml-list, categories, coq-club, dl
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.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-05-26 13:13 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-05-26 13:13 PhD position on the formalization of logical calculi in Saarbrücken Andrei Popescu
2021-05-26 13:13 Andrei Popescu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).