From: Valentin Blot <realizability2019@valentinblot.org>
To: <categories@mta.ca>
Subject: Facets of realizability - call for participation
Date: Wed, 5 Jun 2019 15:41:55 +0200 [thread overview]
Message-ID: <E1hYgwY-0005n7-B0@mlist.mta.ca> (raw)
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
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2019-06-05 13:41 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=E1hYgwY-0005n7-B0@mlist.mta.ca \
--to=realizability2019@valentinblot.org \
--cc=categories@mta.ca \
/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).