From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9925 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Valentin Blot Newsgroups: gmane.science.mathematics.categories Subject: Facets of realizability - call for participation Date: Wed, 5 Jun 2019 15:41:55 +0200 Message-ID: Reply-To: Valentin Blot Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="68405"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Evolution 3.30.5-1 To: Original-X-From: majordomo@mlist.mta.ca Thu Jun 06 03:13:44 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hYgyM-000Hcs-Nv for gsmc-categories@m.gmane.org; Thu, 06 Jun 2019 03:13:42 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:51984) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hYgz3-0000YN-3f; Wed, 05 Jun 2019 22:14:25 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hYgwY-0005n7-B0 for categories-list@mlist.mta.ca; Wed, 05 Jun 2019 22:11:50 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9925 Archived-At: 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/ ]