Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Facets of realizability - call for participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Facets of realizability - call for participation


Chronological Thread 
  • From: Valentin Blot <realizability2019 AT valentinblot.org>
  • To: coq-club AT inria.fr
  • Cc: florian.steinberg AT inria.fr
  • Subject: [Coq-Club] Facets of realizability - call for participation
  • Date: Wed, 05 Jun 2019 15:41:48 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=realizability2019 AT valentinblot.org; spf=None smtp.mailfrom=realizability2019 AT valentinblot.org; spf=None smtp.helo=postmaster AT valentinblot.org
  • Ironport-phdr: 9a23:SzQAtxODEqn8LSfTTOwl6mtUPXoX/o7sNwtQ0KIMzox0IvTzrarrMEGX3/hxlliBBdydt6sdzbOK6eu+ByQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagfL9+Ngi6oArPusUZgIZvK7s6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZogaxYvRyvpwJxzYDIb46bO/VwcbjQfc8ZSGdbQspdSzZMD4G6YoASD+QBJ+FYr4zlqlQBtxS+ARejBOXzyj9JgH/9wLA30+AmEQHawQctGMgOv2rOo9XxNacTUPq6w7LJzTXHbvNWxTf85JbUfhw8pfyBRqxwftDVyUYxEQPFklSQqYr+MDOR0eQNr3KX7+16VeKgkmMqrRx6rDaoxscpkIbJh4QVx0jF9SV/2oY1JMe3RFR1Yd6+FpZbqiKUN5NuT84iXm1koig3x74ctZKmfiUHyY4rywPCZ/GFa4SE/xzuWeWLLTtmin9pZaizihWv/US6yeDxUNS/3kxQoSpfiNbMs2gA1xzN5ciDTftw5lmh1iyL1w/N7OFEPUE0lazAJJ4lxb4wioAfsUPZHi/5gEn2jamWeVs4+uWw6+nrf6/qq5GfOoNulw3zMKUjltaiDeglMAUCR22b9v691L3n8035WrJKjvgun6nDrp/VP8Abpq+4AgBPyYkj6hK/Dza60NUYg3ULME9JdRacgoj3IV7OJO73DfGjg1Stljdk3PTGPrr9ApnXKXjDirjhca5n60FA0Aoz0cxf55VMB74dJ/LzQ1b9u8DcDh8kKAO52P3nCdV41oMGQ22DGK6ZMKXIsV+J/O0jOeeMZJUNsjbnN/cl/+LujWM+mVIFc6mpxocXZ265HvRgOEqWf2Hhg9YAEWcPpQU+VvblhEeDUT5VfXayXrgz6is1CIK8Xs//QdWmh6XE1yOmFLVXYHpHAxaCCyTGbYKBDskFbC+UPs5n2hYAUqTpH5Us3BWvpgbwyr5mMvuOonRJnYzq0NVz++zVnxU16XpzFcvLgDLFdH19gm5dH2x+56t4u0Eokg7eg5g9uORREJlo390MUgo+MseMnfJzD930RgPHdNOOVBChWNr0WWhgHOJ0+McHZgNGI/vnixnC2ySwBLpMx+6VDZg59L7d2XL1INo7zGzJhvF40wsWB/BXPGjjvZZRshDJDteZwVuQk6usaaUa1irK6CGE12Xc5Ew=

CALL FOR PARTICIPATION

To the FACETS OF REALIZABILITY workshop.

https://project.inria.fr/realizability2019

Cachan (Paris), France, 1 - 3 July 2019.

REGISTRATION:

*** BEFORE JUNE 15TH ***

Registration is free but mandatory. We cover lunches and coffee breaks
for all participants. You can register by sending an e-mail to both
organizers with subject line “[facets of realizability] registration”.

BACKGROUND:

The goal of the workshop is to bring together researchers interested in
realizability or whose research involves applications of realizability.
Here, “realizability” is to be understood in a very broad sense to
foster new ideas from interaction of people working on its different
aspects. The main focus will be realizability interpretations,
arithmetic, function and categorical realizability and in particular
work on the boundary between any of these. An example of a concept that
lies at the border between arithmetic and function realizability is the
principle of bar induction.

INVITED SPEAKER:

Paulo Oliva

PROGRAM:

https://project.inria.fr/realizability2019/program

the organizers, Valentin Blot & Florian Steinberg





  • [Coq-Club] Facets of realizability - call for participation, Valentin Blot, 06/05/2019

Archive powered by MHonArc 2.6.18.

Top of Page