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 047697EE49; Thu, 12 Sep 2013 15:08:55 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.90,891,1371074400"; d="scan'208";a="32602808" Received: from yquem.inria.fr ([128.93.8.37]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Sep 2013 15:08:54 +0200 Received: by yquem.inria.fr (Postfix, from userid 18184) id D8297E19EB; Thu, 12 Sep 2013 15:08:30 +0200 (CEST) Date: Thu, 12 Sep 2013 15:08:30 +0200 From: Hugo Herbelin To: acl2@utlists.utexas.edu, caml-list@inria.fr, haskell@haskell.org, coq-club@inria.fr, agda@lists.chalmers.se, mizar-forum@mizar.uwb.edu.pl, isabelle-users@cl.cam.ac.uk, hol-info@lists.sourceforge.net, matita@cs.unibo.it, twelf-list@itu.dk, pvs-announce@csl.sri.com Message-ID: <20130912130830.GB13778@yquem.inria.fr> Mail-Followup-To: acl2@utlists.utexas.edu, caml-list@inria.fr, haskell@haskell.org, coq-club@inria.fr, agda@lists.chalmers.se, mizar-forum@mizar.uwb.edu.pl, isabelle-users@cl.cam.ac.uk, hol-info@lists.sourceforge.net, matita@cs.unibo.it, twelf-list@itu.dk, pvs-announce@csl.sri.com MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 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, Paris, spring 2014: final call for financial support requests (deadline Sep 23th) Dear colleague, It is our pleasure to announce again the programme on "Semantics of proofs and certified mathematics" organised by the Centre Emile Borel of Henri Poincaré Institute in Paris, from April 7th to July 11th, 2014. The organisers are Pierre-Louis Curien, Hugo Herbelin and Paul-André Melliès. Information on the programme can be found at : http://www.ihp.fr/en or at http://ihp2014.pps.univ-paris-diderot.fr/ Registration for the programme is free and recommended on: http://www.ihp.fr/en/program/10226/register BE CAREFUL : Deadline to apply for financial support is *** September 23th, 2013 (new deadline) *** During this trimester: - A summerschool at CIRM is organized from April 7th to April 18th, 2014: If you intend to participate in this event, it will be necessary to make a pre registration through this link: http://www.ihp.fr/en/program/10225/conference/register The number of participants to CIRM Summer School being limited, if necessary a selection among the applications will have to be made by the organisers. and - 5 workshops will take place: 1) « Formalization of mathematics in proof assistants » - May 5th to 9th (except Thursday, 8th- bank holiday) 2) « Constructive mathematics and models of type theory » - June 2th to 6th 3) « Semantics of proofs and programs » June 10th to 14th (Tuesday through Saturday- Monday, 9th-bank holiday) 4) « Abstraction and verification in semantics » June 23rd to 27th 5) « Certification of high-level and low-level programs » July 7th to 11th If you intend to participate to one or several of these events please register first to the whole programme. Registrations for these workshops will be opened later on. I will at that time send you a message informing you about it. We are looking forward to welcoming you in Paris! PS: do not hesitate to forward this e-mail to your colleagues and students. Sorry for multiple e-mails reception. -- Claire Bérenger CEB Program Coordinator Institut Henri Poincare 11 rue Pierre et Marie Curie 75005 Paris FRANCE Tel: 01 44 27 67 64 Fax: 01 44 07 09 37