Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] "Semantics of proofs and certified mathematics...

Email Gateway (Aug 19 2022 at 12:01):

From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
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.

Email Gateway (Aug 19 2022 at 12:24):

From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
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 organisers.

Last updated: Apr 27 2024 at 04:17 UTC