From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3A3AA7EE25 for ; Sun, 17 Nov 2013 16:45:32 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.93,718,1378850400"; d="scan'208";a="43281369" Received: from yquem.inria.fr ([128.93.8.37]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Nov 2013 16:45:32 +0100 Received: by yquem.inria.fr (Postfix, from userid 18184) id 2A6DDE19FA; Sun, 17 Nov 2013 16:45:32 +0100 (CET) Date: Sun, 17 Nov 2013 16:45:32 +0100 From: Hugo Herbelin To: caml-list@inria.fr Message-ID: <20131117154532.GA29931@yquem.inria.fr> Mail-Followup-To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] "Semantics of Proofs and Certified Mathematics", IHP trimester (second call for starting school and workshop registration) We are glad to announce that the webpage https://ihp2014.pps.univ-paris-diderot.fr/doku.php contains now some more detailed information on the programme ** Semantics of proofs and certified mathematics ** held at IHP, Paris, from April 22 to July 11, 2014. In particular, you will be able to find 1) an overview of the contents of the spring school ("préécole") that will be held at CIRM, Marseille, before the trimester, from April 7 to April 18. It is still possible to register at the school, here: http://www.ihp.fr/en/ceb/trimester/proofs/cirm A small amount of funding is available for supporting the cost of full boarding at CIRM (but not the travel expenses) of students and postdocs. Young researchers interested in benefiting from that support should register to the trimester as well, here: http://www.ihp.fr/en/ceb/trimester/proofs and upload a CV and preferably a letter of recommendation. Individual mails can also be sent to the organisers. ** This should be done in the next days/weeks, as final decisions on beneficiaries will be taken by early December ** 2) preliminary lists of confirmed invited speakers for the 5 workshops of the IHP programme 5–9 May Workshop 1 Formalization of mathematics in proof assistants 12–16 May TYPES 2014 26–30 May MAP 2014 2–6 June Workshop 2 Constructive mathematics and models of type theory 10–14 June Workshop 3 Semantics of proofs and programs 23–27 June Workshop 4 Abstraction and verification in semantics 7–11 July Workshop 5 Certification of high-level and low-level programs Registration to individual workshops is free but mandatory here: http://www.ihp.fr/en/ceb/trimester/proofs (you do not need to register to the trimester unless you intend to stay for longer than the duration of a workshop) The organisers Pierre-Louis Curien Hugo Herbelin Paul-Andre Mellies