coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position on the formalization of logical calculi in Saarbrücken

From: Andrei Popescu <andrei.h.popescu AT gmail.com>
To: caml-list AT inria.fr, categories AT mta.ca, coq-club AT inria.fr, dl AT dl.kr.org
Subject: [Coq-Club] PhD position on the formalization of logical calculi in Saarbrücken
Date: Wed, 26 May 2021 14:13:32 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu AT gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f174.google.com
Ironport-hdrordr: A9a23:/FPM/K3xs6ZjimtUPU0+pQqjBLEkLtp133Aq2lEZdPUzSL3/qynOpoV96faQslwssR4b6LO90cW7IU80lqQV3WByB8bBYOCOggLBR72KhrGSpgEIdReOktK1Fp0NT0G9MrDN5JRB4voSKTPXL+od
Ironport-phdr: A9a23:RtoAhhfU7InWAHI5xOJkd6pwlGM+7tnLVj580XLHo4xHfqnrxZn+JkuXvawr0AaYG9+Lsbka0qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHOZwhEniSxbLBsIBm5rAjdq9QdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhsVRHojz0HNyIn/27KlsJ/kr5UoBO5pxBh3oXYZI6YOOZ7cq7bYNgUR3dOXtxJWiNOAo2yYYgBAfcfM+lEoIfwvEcOrQKkCAWwGO/j1j1Fi3nr1qM6yeQhFgTG0RQ8EtIIrXvUtsv6NKYPWu6vy6nI1SvMb+hK1jfg9YPFdQouofeRUrJqb8XRyFMjFwPfglWIrozlJy2a1v8RvGiG9OdgWuevhHQmqwF1uDSg2sAsiozQi48T11vL+jl3zpwvKt2kVE50f8SkEJ1Iui2HNoZ7TcAvT392tCskzrAIt5q2cTUXxZg7xhPSZPOKfYiG7x/tVOucPzl1iXJ7db+iiRu/7Eitx+7/W8e00FtHqDdOnNfLtnAIzRPT686HR+Nj/ke8wzqP0QTT5+dZKk43jarWM4AtzqI0m5YJsknOHjX6lFvogKOIbEko5+ql5uvhb777vJGTLZV0hRv7Mqk2msywH+A4Mg8WUmie4+u81bnj8VTgQLVJk/E6i6fZvI3YKMkUvKK5DAhV0oEs6xa7ETiqysgXnX4CLF5deRKHiZbmO03WLfzmEfuyh06gnTRryvzcILHtHIvBImLenLrjcrtx80tcxxAyzdBb6ZJUELYBIPfrV0DrstzXEwU5PBK1w+r9CNVxzJseWWWXAqCHK6PdrUKI6/kgI+mJfoAVuTL9J+I56P7piH81gUUdcrWx3ZsLdHC4GexrLFmDbnrphtcNCGMKvgslTOz2k1CCSj5SZ3OqX60m/D07CYSmDZ3CRo+3mrCB0j27FIVMZm9aElCMDWvod4KcVvgQbyKSO9ZtnSAAVbi8UIAszgqutQ//y7p/NOXY4CwYtZT51Nh0/eLfjx8y9SYnR/iahmqESmUxmmITWxc32rp+qApz0BPL2qFkjvNfD91e/NtMTg58PpeYh+d9EpX5Xh/LVtaPUlevBNu8RXk9Svo9x5kNeQB6AdrxoArE2n+DBbMPmr3DPJss/7nXwjClLsBx0XvHkqlnl14+T9BEKEWpg6d+807YAIufwBbRrLqjaalJhH2Fz2yE12fb4BkwuOFYXqDMXHRZbUzT/42RDqLqSravDfE+MVIEx5fddu1FbdrmiVgAT/Dmaoy2i4eZlGK5BBLOzbSJPtKCRg==

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.

[Coq-Club] PhD position on the formalization of logical calculi in Saarbrücken, Andrei Popescu, 05/26/2021