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 <[email protected]>
Hugo Herbelin <[email protected]>
Paul-Andre Mellies <[email protected]>
------------------------------------------------------------------------------
DreamFactory - Open Source REST & JSON Services for HTML5 & Native Apps
OAuth, Users, Roles, SQL, NoSQL, BLOB Storage and External API Access
Free app hosting. Or install the open source package on any LAMP server.
Sign up and see examples for AngularJS, jQuery, Sencha Touch and Native!
http://pubads.g.doubleclick.net/gampad/clk?id=63469471&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
