Lógica y Computabilidad /
Logic and Computability

Organizadores / Organizaers

Mauricio Guillermo, Universidad de la República, Uruguay
Martin Hyland, University of Cambridge, United Kingdom
 

Expositores / Speakers - Títulos / Titles

  • Alejandro Díaz-Caro, Universidad Nacional de Quilmes, Argentina
          Towards a quantum lambda calculus with quantum control
     
  • Peter Dybjer, Universidad de Chalmers, Sweden
          Game Semantics and Normalization by Evaluation
     
  • Walter Ferrer Santos, Universidad de la República, Uruguay
          Ordered Combinatory Algebras and Realizability
     
  • Santiago Figueira, Universidad de Buenos Aires, Argentina
          Model Theory of XPath with data tests
     
  • Jonas Frey, University of Copenhagen, Denmark
          Classical realizability and implicit computational complexity
     
  • Stéphane Graham-Lengrand, Centre National de la Recherche Scientifique, France
          A proof-theoretical approach to satisfiability solving
     
  • Alexandre Miquel, Universidad de la República, Uruguay
          Implicative algebras for generalizing forcing
     
  • Antonio Montalbán, University of California at Berkeley, USA
          Natural Objects in Computability Theory
 

Resúmenes / Abstracts

 

Horario / Schedule

  LUNES MARTES MIÉRCOLES JUEVES VIERNES
11:15 - 11:55       Antonio Montalbán (25C) Stéphane Graham-Lengrand (37C)
12:05 - 12:45       Peter Dybjer (25C) Jonas Frey (37C)
           
15:45 - 16:25       Santiago Figueira (37C) Alexandre Miquel (33C)
16:35 - 17:15       Alejandro Diaz-Caro (37C) Walter Ferrer Santos (33C)