Links

—- – – Laboratorio INFINIShttp://www.infinis.org/

EINFINISs un laboratorio de asociación argentino-francesa, entre el Centro Nacional de Investigación Científica (CNRS) y la Universidad “Paris Diderot”, por una parte, y el Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) y la Universidad de Buenos Aires, en el otro. Se dedica a la investigación en Ciencias de la Computación, especialmente a los aspectos vinculados a métodos formales, para el modelado, la verificación y el desarrollo de software complejos.

Equipe Algorithmique, Modèles de calcul, Aléa, Cryptographie, Complexité  https://www.greyc.fr/fr/node/32 Logo GREYCL’équipe AMACC se retrouve d’abord autour de deux concepts génériques, l’algorithme et la complexité, symbolisés par le premier A et le dernier C, qui sous-tendent toutes ses activités. Elle y adopte des points de vue complémentaires. Le premier étudie les modèles de calcul ou la notion de complexité, dans le pire des cas via les classes de complexité (le M pour Modèles de Calcul), tandis que le second travaille dans un cadre aléatoire, avec des modèles probabilistes (le second A pour Aléa).