>> Sommaire

Politique de la Recherche
Un nouveau centre de recherche informatique aux ambitions élevées

http://www.bulletins-electroniques.com/actualites/68945.htm

L'Université de Technologie de Vienne a ouvert un nouveau centre de recherche qui traite des bases de l'informatique moderne. Le Vienna Center for Logic and Algorithms (VCLA) doit, à terme, s'imposer comme l'un des plus importants centres dans le domaine en Europe, aux côtés de l'Université d'Oxford [1].

Logique et algorithmique

L'objectif principal de ce centre est de favoriser les possibilités de mises en réseau et d'augmenter la visibilité et la présence des chercheurs viennois à l'international. La recherche académique en logique et algorithmique constitue un des points forts de l'Université de Technologie de Vienne ; il y a actuellement six professeurs et une centaine de chercheurs engagés dans ce domaine. Une telle concentration est rare, même par rapport aux standards internationaux, et place ce nouveau centre quasiment au même niveau que l'Université d'Oxford, un poids lourd européen du secteur. L'Université de Technologie financera le centre pendant les trois premières années ; il devra ensuite se financer par lui-même.

La logique et l'algorithmique sont les fondements de l'informatique. Les travaux du VCLA se concentreront sur trois domaines principaux : la "vérification", soit le développement de programmes recherchant les erreurs dans d'autres programmes ; la "présentation des connaissances", soit l'intégration informatique des connaissances humaines en vue de laisser - par exemple - l'ordinateur faire des recherches sur internet par lui-même ; la "satisfaction des contraintes", soit la recherche de solutions mathématiques pour la résolution de problèmes complexes comportant un grand nombre de variables.

<< Précédent



Partager cette page :

Tweet

Partager

Version imprimable >>

Transmettre cette info par email >>

Recommander ce site à un collègue / ami >>



S'abonner au
BE Autriche >>



FAQ / foire aux questions >>

Conditions d'utilisation >>

[1] [anglais] Site internet : http://www.vcla.at/

Code brève
ADIT : 68945

[allemand] "TU-Wien-Informatiker sollen international durchstarten", Die Presse, 25 janvier 2012 : http://redirectix.bulletins-electroniques.com/kvnC0

Maxime Enderli

BE Autriche numéro 143 (27/01/2012) - Ambassade de France en Autriche / ADIT - http://www.bulletins-electroniques.com/actualites/68945.htm