categories - Category Theory list
 help / color / mirror / Atom feed
From: "Pierre-Louis Curien" <curien-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU@public.gmane.org>
To: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org,
	gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
	categories-59hdLBrVOVU@public.gmane.org
Cc: curien-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU@public.gmane.org
Subject: IHP trimester Semantics of Proofs and Certfied Mathematics (second call for participation)
Date: Sun, 17 Nov 2013 14:37:14 +0100	[thread overview]
Message-ID: <6909-5288c680-d-69127580@10198578> (raw)

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are glad to annouce that the webpage

https://ihp2014.pps.univ-paris-diderot.fr/doku.php

contains now some more detailed informations 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 benefitting 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 MayTYPES 2014 26–30 MayMAP 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)
https://webmail.pps.univ-paris-diderot.fr/SOGo/so/curien/Mail/0/folderDrafts/newDraft1384694494-1/edit#
The organisers

Pierre-Louis Curien <curien@pps.univ-paris-diderot.fr>
Hugo Herbelin <Hugo.Herbelin@inria.fr>
Paul-Andre Mellies <mellies@pps.univ-paris-diderot.fr>



                 reply	other threads:[~2013-11-17 13:37 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=6909-5288c680-d-69127580@10198578 \
    --to=curien-ingyjpfgxhmqrp73wey5nh9pkdog5e0subsoevevodu@public.gmane.org \
    --cc=algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org \
    --cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
    /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;
as well as URLs for NNTP newsgroup(s).