[TYPES/announce] Call for Participation: LIX Colloquium on the Theory and Application of Formal Proofs

[Kaustuv Chaudhuri]

LIX Colloquium on
THE THEORY AND APPLICATION OF FORMAL PROOFS

http://www.lix.polytechnique.fr/colloquium2013/

5-7 November 2013, Ecole Polytechnique, Palaiseau, France
In association with: PSATTT, 8 Nov 2013.


This three day colloquium will be composed of a number of hour long
talks by invited speakers and 30 minute talks based on contributed
abstracts. The colloquium will be followed by the Workshop on Proof
Search in Axiomatic Theories and Type Theories (PSATTT) 2013.


REGISTRATION

  http://www.lix.polytechnique.fr/colloquium2013/register/

The colloquium is free and open to all, but participants are requested
to register using the above link.

The registration deadline is:  October 21, 2013.

Places are not guaranteed for late or non-registrants.


PROGRAM

  http://www.lix.polytechnique.fr/colloquium2013/program.html

  Invited Speakers

    James Brotherston         [University College London]
    Chad E. Brown             [Saarland University]
    Agata Ciabattoni          [TU Vienna]
    David Delahaye            [CNAM, invited by PSATTT]
    Herman Geuvers            [Radboud University Nijmegen]
    Alessio Guglielmi         [University of Bath]
    Dominic Hughes            [Stanford University]
    Cezary Kaliszyk           [University of Innsbruck]
    Sara Negri                [University of Helsinki]
    Claudio Sacerdoti Coen    [University of Bologna]
    Alex Simpson              [University of Edinburgh]

  Contributed Talks

    There are 20 contributed talks; the full list is available from
    the link above.


SUPPORT

  * Laboratoire d’Informatique (LIX) of the Ecole Polytechnique
    <http://www.lix.polytechnique.fr/>

  * Advanced Grant "ProofCert"
    <https://team.inria.fr/parsifal/proofcert/>
    from the European Research Council (http://erc.europa.eu)

  * Inria project team "Parsifal"
    <https://team.inria.fr/parsifal/>