Subject: Ssreflect Users Discussion List
List archive
[ssreflect] PhD position on the formalization of logical calculi in Saarbrücken
Chronological Thread
- From: Andrei Popescu <>
- To: "Announcement list for the South of England Regional Programming Language Seminar (S-REPLS)" <>, , ,
- Subject: [ssreflect] PhD position on the formalization of logical calculi in Saarbrücken
- Date: Wed, 26 May 2021 14:23:15 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-hdrordr: A9a23:EuKlaqwyGUb8nQhUpN58KrPxKOskLtp133Aq2lEZdPU1SL3rqynApp4mPHPP5Ar5HUtQ5uxoW5PwMk80l6QV3WBLB8bYYOCOggLBR72Kr7GSvQEIJxeQygc378ldmt1FeazN5C9B/LzHCWeDfurI6eP3lZyAtKP+w2xkSAwvUL1k4x0RMHf9LmRGAC1PBZ98KYGV4dBfoSG8PVwYYsOnb0N1PdTrlpnzlZrseh4NDwMg802lh1qTmcbHOind5xYXWChOy78+93OAtwT44+GCnpiAu2Lh/l6W1pVfk8DgwNNfAtfJrsAUL3HQggizDb4RP4GqjXQNoeml81YhmMTLuFMbM8N/r1vNY22wuAaF4Xid7B8er0biwVSCgXHqvMrjAAg3DNcEuINYaF/851A7tN9xuZg7vF6xht5vDBvKhyT278XPTFVRi0KxuGBKq59is1VvFbIeYLRLrYYW4UVPVKoHdRiKjvFfLAAUNqHh2Mo=
- Ironport-phdr: A9a23:dAAwwBwgAvyEc1HXCzI0zVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+ZR2Zv6U3xwGQFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9mz2uyo5ZHeYBtEiDW8bL9vMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJOUchRWSJPAZ6yYZUTAOQOJutYs5D9qkESoReiGQWhBuXiwSJIiH/s2q061vwsHB3A3AM9BdIBrnXUp8jvOqcVSeC60rLIwineb/hL3jry8o7IfQ07of6SXLJ8a8rRxVM3FwPCllWft5flMC+I1ukWvGib6vBvVeOri2I9tw5xpT2vy94qh4LUiY0b1krK+j9lwIYpO9K4Ukh7bMa5HJZRuCyXNJV6Tt08Tmxstig3zqALtIOncCULx5kqyB7RZvKJfoWI/B/uWuacLClliX9rZb+yhxW//EugxOD8UMS/zVhEri1AktbWt3AN0QTe6taaSvdn+Eeh3TCC3B3Q5OFcOU04i7bXJpo7zrMzlpcfq1rPEjLylUnsg6Kbd0Mp8fWy5ev9eLXpvJqcOpd0ig7gNqQundSyAeEiPQgPW2iX4P281KP+8UHgTrVHgfw7nrPWsJDdIsQbqaq5DBFP3ok/7Ba/Ci+q0NUenXYZMFJIYAyLg5TtNl3UI/31De2zj0qxnDpv3fzLMbzsDo3ILnfZkbfhebh961RbyAo21d1Q/ZRUBawbIP3tW0/9rtzYAgUhMwyz2+boFs592Z8DWW+UDa+ZNbndsV6M5u41P+aMY4oVtC7nK/c5//7ukWM5mVgFcKmyxpsXcm63HvpiI0qHfXXsnswMEXwKvwo7VOzlkkeOUT9VZ3aoXqIz/Cs3CIy8DdSLeof4ypWH2iCmGJZbY21AFhiIEGz0P4uDQb8QaC/aGch8jjxMUrbpZoku0RiouEfAxrVmKezd/mUgr5XsztFw4uzVmlkW/Dp7Es2S3im2QmR1mGoSD38NmZpSmWhGix3LhbNijuRcDvRR5uhCVw47MdjVxKpnCIa2EhnaZNqHTFutXv2jGit0T9QrwtZIYkBnGtzkgAqHlza7G7IO0rWNApsp9KnR93zwPNpmjW3L3bJnkkErRM0JOGG7wuZg9xmIQoXNjk+xmLytaLwRx2jX+WGK0WeU+k9CAyBqVqCQdHYTfEbX5ez+/k7ZRKLmXb0hPhFMyIiCbLNNctDyhkhuS/LqOdCYaGW0zTTjTS2Uz6+BOdK5M14W2z/QXQ1dy1h7FZeuMAE/AmK4vTubAmAwU13oZEzo/K91r3bpFifcICmFakRg0/y+/RtH3JR0rtsc27sFvGEqrDAmRD6A
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.
- [ssreflect] PhD position on the formalization of logical calculi in Saarbrücken, Andrei Popescu, 05/26/2021
Archive powered by MHonArc 2.6.19+.