From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7276 Path: news.gmane.org!not-for-mail From: Pierre Hyvernat Newsgroups: gmane.science.mathematics.categories Subject: Workshop =?iso-8859-1?Q?=22R=E9alisabilit?= =?iso-8859-1?Q?=E9_in_Chamb=E9ry?= #5" Date: Wed, 16 May 2012 14:43:59 +0200 Message-ID: Reply-To: Pierre Hyvernat NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1337211904 14863 80.91.229.3 (16 May 2012 23:45:04 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 16 May 2012 23:45:04 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu May 17 01:45:03 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.80]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SUnto-0008Fk-UZ for gsmc-categories@m.gmane.org; Thu, 17 May 2012 01:44:57 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:41783) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1SUnsc-0003hG-SD; Wed, 16 May 2012 20:43:42 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1SUnse-0006PK-FA for categories-list@mlist.mta.ca; Wed, 16 May 2012 20:43:44 -0300 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7276 Archived-At: Hello... Since some people on this list might be interested by the following=20 workshop, here is an official announcement. Don't hesitate to register, submit a talk or contact me for details. Pierre =3D=3D=3D=3D=3D Greetings to all! This is the second announcement for the fifth workshop=20 "R=E9alisabilit=E9 =E0 Chamb=E9ry". This year's workshop will take place from Tuesday the 5th of June to=20 Friday the 8th of June. The invited speakers are: - Martin Hofmann (Munich): "Proof-relevant logical relations", - Jonas Frey (Paris): "Basic relational objects as an algebraic=20 framework for realizability" - Jean-Louis Krivine (Paris): classical realizability, TBA, - Alexandre Miquel (Lyon): realizability model for set theory, TBA. The program will be made available shortly here: http://lama.univ-savoie.fr/~hyvernat/Realisabilite2012/program.php Note that the meeting will start on Tuesday the 5th, at 2'00 pm. Partial information is gathered on the web page: http://lama.univ-savoie.fr/~hyvernat/Realisabilite2012/ and you can (should) register for the workshop there: http://lama.univ-savoie.fr/~hyvernat/Realisabilite2012/registration.= php There will be sessions for contributed talks, and PhD students are=20 particularly encouraged to submit a talk. (There are very few=20 submissions at this time: don't hesitate to submit something...) For the first time, we will offer a couple of grants for students=20 attending the workshop. Those grants will cover (part of) the cost=20 of the travel and a room on the campus. We still don't know how many=20 grants we will be able to award, but priority will be given to=20 students presenting their work at the workshop. If you are interested, register and contact me as soon as possible... It is possible to get a student room (on campus, very cheap, but=20 only a bare room). Students will of course be given priority for=20 those, but anyone may ask... You do have to register before the 25th=20 of May though. Other possibilities for accommodation are given on the web page: http://lama.univ-savoie.fr/~hyvernat/Realisabilite2012/logistic.php Pierre Hyvernat --=20 Arithmetic is being able to count up to twenty without taking off your shoes. -- Mickey Mouse [For admin and other information see: http://www.mta.ca/~cat-dist/ ]