GLyC - Logic, Language and Computability Research Group





Financed Projects

International Projects

Local Projects

  • Applications of the Theory of Algorithmic Randomness (2012-2015).
    Funding: SECyT-Argentinean Secretariat for Science and Technology (PICT-2011-0365)
    Director: Santiago Figueira
  • Applications of the Theory of Algorithmic Randomness (2012-2015).
    Funding: Universidad de Buenos Aires (UBACyT 20020110100025)
    Director: Santiago Figueira
  • Simulations: Characterization, Complexity and Optimized Algorithms (2011-2014).
    Funding: SECyT-Argentinean Secretariat for Science and Technology (PICT-2010-0688)
    Director: Carlos Areces and Santiago Figueira
  • Efficient algorithms for computing bisimulations (2010-2011).
    Funding: Universidad de Buenos Aires (UBACyT 20020090200116)
    Director: Santiago Figueira
  • 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-Argentinean 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-Argentinean 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