From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7687 Path: news.gmane.org!not-for-mail From: Pierre-Louis Curien Newsgroups: gmane.science.mathematics.categories Subject: "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: resgistration now open Date: Tue, 30 Apr 2013 15:28:34 +0200 Message-ID: Reply-To: Pierre-Louis Curien NNTP-Posting-Host: plane.gmane.org Content-Type: text/plain; charset="iso-8859-1"; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1367358999 32514 80.91.229.3 (30 Apr 2013 21:56:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 30 Apr 2013 21:56:39 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Tue Apr 30 23:56:36 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UXIXL-0000SJ-7f for gsmc-categories@m.gmane.org; Tue, 30 Apr 2013 23:56:35 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43504) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UXIVN-0005lM-4I; Tue, 30 Apr 2013 18:54:33 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UXIVO-0007zQ-2O for categories-list@mlist.mta.ca; Tue, 30 Apr 2013 18:54:34 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7687 Archived-At: We are pleased to announce that registration is now open for the =20 trimester "Semantics of proofs and certified mathematics" (previously announced on the categories list). Details are enclosed =20 below. Pierre-Louis Curien, Hugo Herbelin, and Paul-Andr=E9 Melli=E8s ********************** Dear colleague, It is our pleasure to announce a programme on "Semantics of proofs and =20= certified mathematics" organised by the Centre Emile Borel of Henri =20 Poincare Institute in Paris, from April 7th to July 11th, 2014. The organisers are Pierre-Louis Curien, Hugo Herbelin and Paul-Andre =20 Mellies. Information on the programme can be found at : http://www.ihp.fr/en or =20= 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 16th, 2013 During this trimester: - A summerschool at CIRM is organized from April 7th to April 18th, =20 2014: If you intend to participate in this event, it will be necessary to =20 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 =20 necessary a selection among the applications will have to be made by =20 the organisers. and - 5 workshops will take place: 1) =AB Formalization of mathematics in proof assistants =BB - May 5th to = =20 9th (except Thursday, 8th- bank holiday) 2) =AB Constructive mathematics and models of type theory =BB - June 2th = =20 to 6th 3) =AB Semantics of proofs and programs =BB June 10th to 14th (Tuesday =20= through Saturday- Monday, 9th-bank holiday) 4) =AB Abstraction and verification in semantics =BB June 23rd to 27th 5) =AB Certification of high-level and low-level programs =BB July 7th = to =20 11th If you intend to participate to one or several of these events please =20= register first to the whole programme. Registrations for these =20 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! The poster of the trimester programme may be downloaded from the site = http://ihp2014.pps.univ-paris-diderot.fr/ PS: do not hesitate to forward this e-mail to your colleagues and =20 students. Sorry for multiple e-mails reception. -- Claire B=E9renger 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 **************************************** Chers Coll=E8gues, Nous avons le plaisir de vous annoncer l'organisation d'un programme =20 sur la "S=E9mantique des preuves et des programmes et formalisation des =20= math=E9matiques" au Centre Emile Borel (CEB) de l Institut Henri =20 Poincar=E9 de Paris, du 7 avril au 11 juillet 2014. Les organisateurs sont: Pierre-Louis Curien, Hugo Herbelin et Paul-=20 Andre Mellies. Vous pouvez consulter le programme =E0 l'adresse suivante: = http://www.ihp.fr/fr=20 ou directement =E0 cette adresse: = http://ihp2014.pps.univ-paris-diderot.fr/ L'inscription au programme est gratuite et cependant recommand=E9e sur =20= la page suivante: http://www.ihp.fr/fr/program/10225/register Attention : la date limite pour les demandes de support financier est fix=E9e au 16 =20= septembre 2013. Durant ce trimestre: - une =E9cole d =E9t=E9 est organis=E9e au CIRM (Marseille) du 7 au 18 = avril =20 2014. Si vous avez l'intention de participer =E0 ce programme en particulier =20= une pr=E9-inscription est n=E9cessaire sur le site suivant: http://www.ihp.fr/fr/program/10225/conference/register Le nombre de participants =E0 l'=E9cole d'=E9t=E9 du CIRM etant limit=E9, = si =20 necessaire une selection au vu des candidatures sera faite par les =20 organisateurs scientifiques. et - 5 conferences auront lieu: 1) =AB Formalization of mathematics in proof assistants =BB - du 5 au 9 =20= mai (=E0 l exception du jeudi 8 mai- jour f=E9ri=E9) 2) =AB Constructive mathematics and models of type theory =BB - du 2 au = 6 =20 juin 3) =AB Semantics of proofs and programs =BB June 10th to 14th (du mardi = au =20 samedi- Lundi 9 - jour f=E9ri=E9) 4) =AB Abstraction and verification in semantics =BB du 23 au 27 juin 5) =AB Certification of high-level and low-level programs =BB du 7 au 11 = =20 juillet Si vous avez l'intention de participer =E0 une ou plusieurs de ces =20 conf=E9rences merci de vous inscrire dans un premier temps au programme =20= dans son ensemble. Les conf=E9rences seront ouvertes aux inscriptions ult=E9rieurement. Je =20= vous en informerai par courriel. C'est avec plaisir que nous vous accueillerons a Paris! L'affiche du programme du trimestre peut =EAtre t=E9l=E9charg=E9e = depuis le =20 site http://ihp2014.pps.univ-paris-diderot.fr/.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]