[FOM] Workshop at Columbia University on "Mind, Mechanism, and Mathematics"

Thu Apr 24 18:36:03 EDT 2014

Hi, I sent the info in Martin's message out via twitter yesterday and The
Alan Turing Year twitter account replied with an updated web page including
registration link in the upper right hand corner. Per their reply,
registration is free, but donations are invited.

This is the link: http://turing.colorwork.com/

Walter.

On Thursday, April 24, 2014, <fom-request at cs.nyu.edu> wrote:

> Send FOM mailing list submissions to
>         fom at cs.nyu.edu <javascript:;>
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         http://www.cs.nyu.edu/mailman/listinfo/fom
> or, via email, send a message with subject or body 'help' to
>         fom-request at cs.nyu.edu <javascript:;>
>
> You can reach the person managing the list at
>         fom-owner at cs.nyu.edu <javascript:;>
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of FOM digest..."
>
>
> Today's Topics:
>
>    1. Re: Workshop at Columbia University on "Mind, Mechanism,  and
>       Mathematics" (Andrew Marshall)
>    2. First call for participation: Proof Theory, Modal Logic and
>       Reflection Principles 2014 (JOOST JOOSTEN)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Wed, 23 Apr 2014 01:31:09 -0400
> From: Andrew Marshall <alm255 at cornell.edu <javascript:;>>
> To: Foundations of Mathematics <fom at cs.nyu.edu <javascript:;>>
> Subject: Re: [FOM] Workshop at Columbia University on "Mind,
>         Mechanism,      and Mathematics"
> Message-ID:
>         <
> CAJanM_RaEmKpT++b6hX22eUEk-L2j06Aqzb29gkzmerTt+YGMA at mail.gmail.com<javascript:;>
> >
> Content-Type: text/plain; charset="utf-8"
>
> Is there a registration process for attending or does one just show up if
> interested?
>
> Andrew Marshall
>
>
> On Tue, Apr 22, 2014 at 4:17 PM, Martin Davis <martin at eipye.com<javascript:;>>
> wrote:
>
> > This meeting will take place at Columbia on May 12,13. (I am one of the
> > speakers.) For details see:
> > http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?710
> >
> > Martin
> >
> > _______________________________________________
> > FOM mailing list
> > FOM at cs.nyu.edu <javascript:;>
> > http://www.cs.nyu.edu/mailman/listinfo/fom
> >
> >
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: </pipermail/fom/attachments/20140423/58ea117b/attachment-0001.html>
>
> ------------------------------
>
> Message: 2
> Date: Wed, 23 Apr 2014 08:23:56 +0000
> From: JOOST JOOSTEN <jjoosten at ub.edu <javascript:;>>
> To: "fom at cs.nyu.edu <javascript:;>" <fom at cs.nyu.edu <javascript:;>>
> Cc: Eduardo Hermo Reyes <ehermo_reyes at hotmail.com <javascript:;>>, David
> Fern?ndez
>         Duque <davidstoteles at gmail.com <javascript:;>>,       JOOST
> JOOSTEN <jjoosten at ub.edu <javascript:;>>, "Lev
>         D. Beklemishev" <lbekl at yandex.ru <javascript:;>>
> Subject: [FOM] First call for participation: Proof Theory, Modal Logic
>         and Reflection Principles 2014
> Message-ID: <708495BD-FFF4-4692-B042-45E7970325AA at ub.edu <javascript:;>>
> Content-Type: text/plain; charset="windows-1252"
>
> CALL FOR PARTICIPATION
>
> Proof Theory, Modal Logic and Reflection Principles: Second International
> Wormshop
>
> Mexico City, September 29th to October 2nd, 2014
>
> Webpage: http://personal.us.es/dfduque/PMR/
>
> **************************************************************************
>
> AIMS AND SCOPE
>
> The second edition of the conference series Proof Theory, Modal Logic and
> Reflection Principles (formerly Proof Theory and Modal Logic) will be held
> in Mexico City from September 29th to October 2nd 2014, following the first
> installment in Barcelona in 2012.
>
> A recent approach to proof theory uses techniques from modal logic to
> compute the consistency strength of formal theories. As a result one
> obtains, among other benefits, semi-finitary consistency proofs in the
> spirit of the extended Hilbert?s programme.
>
> This approach requires techniques from many disciplines; the aim of this
> workshop is to bring together experts in relevant fields in order to
> discuss recent advances and foster new collaborations. Topics include, but
> are not limited to
>
> + Turing-Feferman progressions
> + Provability logics and algebras
> + Proof-theory of arithmetic and analysis
> + Ordinal analysis
> + Point-set topology
> + Set theory
> + Model theory
>
> **************************************************************************
>
> DATES AND VENUE
>
> The workshop will be held in Instituto Tecnol?gico Aut?nomo de M?xico,
> situated in one of the oldest and most charming districts in Mexico City.
>
> It will begin Monday September 29th and end Thursday October 2nd, 2014.
>
> **************************************************************************
>
> SPEAKERS INCLUDE
>
> + Sergei Artemov
> + Lev Beklemishev
> + Timothy Carlson
> + Andr?s Cord?n-Franco
> + Eduardo Hermo Reyes
> + Solomon Feferman
> + David Fern?ndez-Duque
> + Melvin Fitting
> + Kentaro Fujimoto (TBC)
> + Joost J. Joosten
> + Francisco F?lix Lara (TBC)
> + Grigori Mints
> + Antonio Montalb?n
> + Michael Rathjen (TBC)
> + Paul Shafer
> + Stephen Simpson
>
> **************************************************************************
>
> FORMAT
>
> The programme will include both tutorials and presentations of new
> results. Talks will be sparsely scheduled in order to allow ample time for
> discussion and collaboration.
>
> **************************************************************************
>
> REGISTRATION
>
> If you wish to attend the workshop, please e-mail David Fern?ndez-Duque (
> david.fernandez at itam.mx <javascript:;><mailto:david.fernandez at itam.mx<javascript:;>>).
> Registration fees are payable by bank transfer. Students may also inquire
> about possible financial assistance.
>
> + Students and postdocs: 100 USD / 1300 pesos until August 15th, 2014, 130
> USD / 1300 pesos afterward
>
> + Senior researchers 160 USD / 2000 pesos, 200 USD / 2600 pesos afterward
>
> **************************************************************************
>
> SPONSORS
>
> Instituto Tecnol?gico Aut?nomo de M?xico
> LABORES
> Sociedad Matem?tica Mexicana
>
> **************************************************************************
>
> ORGANIZERS
>
> Lev D. Beklemishev
> David Fern?ndez-Duque (chair)
> Joost J. Joosten
>
> **************************************************************************
>
> Joost J. Joosten
> Dept. L?gica, Hist?ria i Filosofia de la Ci?ncia.
> Universitat de Barcelona
> Montalegre, 6
> 08001 Barcelona
> Spain
>
> Office:  +34 934037984
>
>
>
>
> Aquest correu electr?nic i els annexos poden contenir informaci?
> confidencial o protegida legalment i est? adre?at exclusivament a la
> persona o entitat destinat?ria. Si no sou el destinatari final o la persona
> encarregada de rebre?l, no esteu autoritzat a llegir-lo, retenir-lo,
> modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si heu
> rebut aquest correu electr?nic per error, us preguem que n?informeu al
> remitent i que elimineu del sistema el missatge i el material annex que
> pugui contenir. Gr?cies per la vostra col?laboraci?.
>
> Este correo electr?nico y sus anexos pueden contener informaci?n
> confidencial o legalmente protegida y est? exclusivamente dirigido a la
> persona o entidad destinataria. Si usted no es el destinatario final o la
> persona encargada de recibirlo, no est? autorizado a leerlo, retenerlo,
> modificarlo, distribuirlo, copiarlo ni a revelar su contenido. Si ha
> recibido este mensaje electr?nico por error, le rogamos que informe al
> remitente y elimine del sistema el mensaje y el material anexo que pueda
> contener. Gracias por su colaboraci?n.
>
> This email message and any documents attached to it may contain
> confidential or legally protected material and are intended solely for the
> use of the individual or organization to whom they are addressed. We remind
> you that if you are not the intended recipient of this email message or the
> person responsible for processing it, then you are not authorized to read,
> save, modify, send, copy or disclose any of its contents. If you have
> received this email message by mistake, we kindly ask you to inform the
> sender of this and to eliminate both the message and any attachments it
> carries from your account. Thank you for your collaboration.
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: </pipermail/fom/attachments/20140423/e41f4865/attachment.html>
>
> ------------------------------
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu <javascript:;>
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
>
> End of FOM Digest, Vol 136, Issue 13
> ************************************
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140424/1c5a2d53/attachment-0001.html>