On Mon, Aug 11, 2014 at 5:23 PM, Francisco Antonio Doria
<
fama...@gmail.com> wrote:
> Aguardem a Fields amanhã. Vai ser interessante.
Tim Gowers está a caminho, blogando suas impressões:
http://gowers.wordpress.com/2014/08/11/icm2014-introductory-post/
Aqui o relato vibrante que ele fez em 2010:
http://gowers.wordpress.com/category/icm2010/
* * *
Listo os invited speakers da área de Logic and Foundations
(Model theory. Set theory. Recursion theory. Proof theory. Applications.
Connections with: Algebra, Number Theory, Combinatorics,
Mathematical Aspects of Computer Science)
François Loeser, Université Pierre et Marie Curie-Paris 6, France
Definability in non-archimedean geometry
Ilijas Farah, York University, Canada
Logic and operator algebras
Zoé Chatzidakis, Université Paris Diderot-Paris 7, France
Model theory of difference fields and applications to algebraic dynamics
Byunghan Kim, Yonsei University, Korea
Amalgamation functors and homology groups in model theory
Antonio Montalbán, University of California, Berkeley, USA
Computability theoretic classifications for classes of structures
Slawomir Solecki, University of Illinois at Urbana-Champaign, USA
A general approach to finite Ramsey theory
* * *
Quanto a apostas, sem bananas ou abacaxis:
http://poll.pollcode.com/p6es9_result?v
* * *
JM
--
http://sequiturquodlibet.googlepages.com/