spacer

spacer
Coordonnées >>
spacer

spacer
Toute l'actualité :
spacer
Autriche >>
spacer
Monde >>
spacer
Tous les rapports :
spacer
Autriche >>
spacer
Monde >>
spacer

spacer

spacer
Tous les flux rss >>
spacer

spacer

spacer

BE Autriche 143  >>  27/01/2012

>> Sommaire

spacer

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.

spacer

spacer
<< Précédent
spacer

spacer
Partager cette page :

spacer
Version imprimable >>
spacer
Transmettre cette info par email >>
spacer
Recommander ce site à un collègue / ami >>
spacer

spacer
S'abonner au
BE Autriche
 >>
spacer

spacer
FAQ / foire aux questions >>
spacer
Conditions d'utilisation >>

spacer

spacer

Pour en savoir plus, contacts :

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

Code brève
ADIT :
68945

Sources :

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

Rédacteurs :

Maxime Enderli

spacer

spacer

Origine :

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


[  Plan du site  |  Données personnelles & politique de confidentialité  |  Limites de responsabilité  |  FAQ  |  Contacts  ]

[  Page d'accueil  |  Découvrir  |  Consulter  |  Recevoir  |  Rechercher  |  Utiliser  |  S'exprimer  ]

bulletins-electroniques.com tous droits réservés   -   votre contact : François Moille

 

4444444001 999920120128 3333333004 1010101010 1010101020 1111111005 55555550012012 6666666004 7777777001