GLyC - Logic, Language and Computability Research Group

Financed Projects

International Projects

• Inference Tools for Hybrid Logics and Applications for Natural Language Processing (InToHyLo) (from 2009)
  Cooperation with team Talaris
  Funding: INRIA Equipes Associees
  Directors: Santiago Figueira (UBA) and Carlos Areces (LORIA)
• Inference Services for Dialogue Systems (2008-2009)
  Cooperation Argentina-France.
  Funding:SECyT-Argentinian Secretariat for Science and Technology and INRIA (FRIC 07/06)
  Directors: Santiago Figueira (UBA) and Patrick Blackburn (LORIA)
• Infinite sequences and algorithmic randomness (2006-2007)
  Cooperation Argentina-France.
  Funding:SECyT-Argentinian Secretariat for Science and Technology
  Directors: Jean-Éric Pin (LIAFA-Paris 7) and Verónica Becher (UBA)
• Algorithms, complexity and structure (2004-2006)
  Cooperation Argentina-New Zealand.
  Funding: International Science and Technology (ISAT), Linkages Fund.
  Directors: Rod Downey (University of Victoria) and Verónica Becher (University of Buenos Aires)

Local Projects

• Computability and Randomness (2009-20011)
  Funding: CONICET (PIP 114-200801-00370)
  Director: Santiago Figueira
• Aspects of randomness (2008-2009)
  Funding: Universidad de Buenos Aires (UBACyT X615)
  Director: Santiago Figueira
• Computability versus programability (2008-2010)
  Funding: SECyT-Argentinian Secretariat for Science and Technology (PICT 2067)
  Responsible group: Verónica Becher, Santiago Figueira and Joos Heintz
• Computability versus programability (2008-2010)
  Funding: UBA (UBACyT X098)
  Director: Verónica Becher
• Derivations of Gödel theorem: incompleteness, descriptive complexity and randomness (2004-2007)
  Funding: SECyT-Argentinian Secretariat for Science and Technology (PICTR 0172)
  Directors: Verónica Becher (University of Buenos Aires) and Diego Vaggione (National University of Córdoba)
• Randomness, incompleteness and complexity (2004-2007)
  Funding: University of Buenos Aires (UBACyT X230)
  Director: Verónica Becher
• Randomness and infinite computations (2003-2004)
  Funding: University of Buenos Aires (UBACyT X404)
  Director: Verónica Becher
• Topics in logic and computability (2001-2003)
  Funding: University of Buenos Aires (UBACyT X200)
  Director: Roberto Cignoli
• Topics in logic and computability (2000-2002)
  Funding: CONICET (PIP 02232)
  Director: Roberto Cignoli