http://www.lix.polytechnique.fr/parsifal/dokuwiki/ 2013-05-26T04:48:18+02:00 http://www.lix.polytechnique.fr/parsifal/dokuwiki/ http://www.lix.polytechnique.fr/parsifal/dokuwiki/lib/images/favicon.ico text/html 2012-04-25T17:34:59+02:00 Dale Miller http://www.lix.polytechnique.fr/parsifal/dokuwiki/doku.php?id=start&rev=1335368099&do=diff Parsifal NOTE: Please visit the new version of the Parsifal web pages!. Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques Parsifal has been a team within LIX since September 2003 and an INRIA project-team (“équipe-projet-INRIA” EPI) since 1 October 2007. During the INRIA Evaluation Seminar in Paris on 23 March 2011, the Parsifal EPI presented an [overview] of its work during 2007-2011. text/html 2011-11-19T09:06:07+02:00 Dale Miller http://www.lix.polytechnique.fr/parsifal/dokuwiki/doku.php?id=news&rev=1321689967&do=diff Team news Dale Miller's proposal titled “ProofCert: Broad Spectrum Proof Certificates” submitted to the ERC Advanced Investigator Grant in 2011 was accepted and will be funded for 2012-1016. Dale Miller gave a colloquium talk in the School of Computer Science at McGill University on 16 October 2011. text/html 2011-09-05T09:28:03+02:00 Dale Miller http://www.lix.polytechnique.fr/parsifal/dokuwiki/doku.php?id=engineer&rev=1315207683&do=diff Engineer position available Providing interoperability among computational logic systems The following position is now taken - September 2011 The Parsifal team is hoping to hire a junior engineer for one or two years starting in October 2011 using funds from INRIA. The formal announcement contains the job description along with further particulars and the formal procedures for submitting an application. The position can start in October 2011. The description of this position is also avail… text/html 2011-09-05T09:26:43+02:00 Dale Miller http://www.lix.polytechnique.fr/parsifal/dokuwiki/doku.php?id=postdoc&rev=1315207603&do=diff Postdoc positions in Parsifal None currently available. text/html 2011-09-05T09:25:42+02:00 Dale Miller http://www.lix.polytechnique.fr/parsifal/dokuwiki/doku.php?id=people&rev=1315207542&do=diff People Permanent Members: * Kaustuv Chaudhuri (CR), INRIA Saclay. * Joëlle Despeyroux (CR), INRIA Sophia. * Stéphane Lengrand (CR), CNRS. * Dale Miller (DR), INRIA Saclay (Team Leader). * Lutz Straßburger (CR), INRIA Saclay. Project Assistant: * Christelle LIEVIN , INRIA, starting sometime in Fall 2011. text/html 2011-05-13T08:22:06+02:00 Dale Miller http://www.lix.polytechnique.fr/parsifal/dokuwiki/doku.php?id=funding&rev=1305267726&do=diff Current Funding * INRIA Equipe Associée Recent Advances in Proof Theory for Logical Specifications". See also the official INRIA page * INRIA ARC External on Interactive Resource Analysis (2011-2012) * ANR-FWF Blanc “Structural and Computational Proof Theory” (STRUCTURAL) text/html 2011-05-06T11:25:43+02:00 Kaustuv Chaudhuri http://www.lix.polytechnique.fr/parsifal/dokuwiki/doku.php?id=sidebar&rev=1304673943&do=diff * Home * Scientific overview * Calendar * Seminars * Funding * News * Software * People * Conferences deadlines * Office assignments * In the Press * L O L seminar * Useful information * Positions * Postdoc * PhD * Internship * Engineer