From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: call for starting school application and workshop registration
Date: Wed, 9 Oct 2013 18:49:15 +0200 [thread overview]
Message-ID: <20131009164915.GA17721@yquem.inria.fr> (raw)
Semantics of proofs and certified mathematics
---------------------------------------------
special programme organised by
the Centre Émile Borel of Henri Poincaré Institute
Paris, April 7th - July 11th, 2014
http://www.ihp.fr/en/ceb/trimester/proofs
http://ihp2014.pps.univ-paris-diderot.fr/
Application for starting school at CIRM (Marseille) and registration
for workshops at IHP (Paris) is open (registration for workshops is
necessary for logistical reasons).
If you intend to attend the school or one or several workshops, please
register also to the full trimester.
* Workshops *
Kick-off: Formalisation in mathematics and in computer science
May 5-9: Formalization of mathematics in proof assistants
Organisers: Georges Gonthier and Vladimir Voevodsky
June 2-6: Constructive mathematics and models of type theory
Organisers: Thierry Coquand and Thomas Streicher
June 10-14: Semantics of proofs and programs
Organisers: Thomas Ehrhard and Alex Simpson
June 23-27: Abstraction and verification in semantics
Organisers: Luke Ong and Igor Walukiewicz
July 7-11: Certification of high-level and low-level programs
Organisers: Christine Paulin and Zhong Shao
* Starting school lecturers *
April 7-11: Thierry Coquand, Assia Mahboubi, Alexandre Miquel
April 14-18: Amal Ahmed, Pierre-Louis Curien, Alex Simpson
* Associated events hosted at IHP *
May 12-16: TYPES conference + Proof, Computation, Complexity workshop
May 26-30: Mathematics, Algorithms, Proofs conference (MAP)
The call for participation for these events will be announced
separately by the respective organizers.
reply other threads:[~2013-10-09 16:49 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20131009164915.GA17721@yquem.inria.fr \
--to=hugo.herbelin@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox