| Equipes |
Description de la collaboration internationale |
| E-MOTION |
Acronyme : Collaboration with Portugal
Descriptif : Collaborative work on Bayesian Models for Multimodal Perception of 3D Structure and Motion Institution(s) partenaire(s) : University of Coimbra Nom du responsable LIG : Christian LAUGIER Europe : Portugal Cadre financier : Année de début : Année de fin :
|
| PRIMAE-MOTION |
Acronyme : Collaboration with Spain
Descriptif : collaborative work on visual dynamic obstacle detection and staff exchange.Institution(s) partenaire(s) : UPC Barcelona Nom du responsable LIG : Christian LAUGIER Europe : Espagne Cadre financier : Année de début : Année de fin :
|
| E-MOTION |
Acronyme : Collaboration with Brazil
Descriptif : e-motion collaborate with University of Brasilia on subject of Bayesian Robot programming;
Collaborative work with Catholic University of Brasilia on Corruption detection and staff exchange.Institution(s) partenaire(s) : - University of Brasilia
- Catholic University of Brasilia Nom du responsable LIG : Pierre BESSIERE Amérique du Sud : Brésil Cadre financier : Année de début : Année de fin :
|
| E-MOTION |
Acronyme : Collaboration with Allemagne
Descriptif : Bayesian models of superior collliculusInstitution(s) partenaire(s) : MPI-Tubinghen (Max Planck institute) Nom du responsable LIG : Pierre BESSIERE Europe : Allemagne Cadre financier : Année de début : Année de fin :
|
| E-MOTION |
Acronyme : Collaboration with Mexico
Descriptif : he thematic network "Image et Robotique" has been implemented from the French-Mexican symposium in Computer Sciences and Control (JFMIA’99) which has been held in Mexico in March 1999. The main goal of
this network is to promote and increase the french-mexican cooperations in Image and Robotics in scientific, academic and industrial fields. This network has been effectively settled in 2000. It supports a yearly school (SSIR http://www.image-and-robotics.org/), students exchange, and crossed visits since 2000 (Prof Enrique Sucar and Dr Ruben Garcia Ramirez spent a few months a e-Motion in 2008).Institution(s) partenaire(s) : Instituto Nacional de Astrofísica, Óptica y Electrónica
Centro de Sistemas Intelligentes- Monterrey Nom du responsable LIG : Christian LAUGIER Amérique du Nord : Mexique Cadre financier : Année de début : Année de fin :
|
| MESCAL |
Acronyme : FAPEMIG
Descriptif : Caractérisation et évaluation de workloads parallèles pour architectures multi-coeursInstitution(s) partenaire(s) : PUC de Minas Gerais Nom du responsable LIG : Jean-François Mehaut Amérique du Sud : Brésil Cadre financier : Année de début : 2009 Année de fin :
|
| MOAIS |
Acronyme : Pacita
Descriptif : Work on high performance interactive computing where parallelism is used to speed-up executions and enable the user to interact with the application. We mainly focus on virutal reality and computer graphics oriented applications.Institution(s) partenaire(s) : Universidad de A Coruna Nom du responsable LIG : Bruno Raffin Europe : Espagne Cadre financier : Financement de quelques missions sur fond propre Année de début : 2008 Année de fin :
|
| IIHM |
Acronyme : IFIP WG 2.7/13.14
Descriptif : User Interface Engineering working group . This group engages in 3 different activities : sponsorship of conferences ans workshops, development of reference models for interactive systems, tutorials in the software aspects of user interface design and developements.Institution(s) partenaire(s) : IFIP
- CMU
- Queens Univ. Univ. of Saskatchewan
- PUC-RIO
- Univ. of Mihho
- Univ. of Glasgow
- Univ. College London
- Newcastle University
- Univ. of Rostock
- Univ. of Hagen
- Trinity College Dublin
- ISTI-CNR
- Open University
Année de début : 1985
Nom du responsable LIG : Gaelle Calvary, Joelle Coutaz, Sophie Dupuy-Chessa, Laurence Nigay Amérique du Nord : Canada Etats Unis Amérique du Sud : Brésil Europe : Allemagne Irlande Italie Pays-Bas Portugal Royaume-Uni Cadre financier : Année de début : 1985 Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Analysis and solutions for the TCP unfairness problem.Institution(s) partenaire(s) : Technical University of Barcelona Nom du responsable LIG : Andrzej Duda Europe : Espagne Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Novel adaptive schemes for neighbor discovery in Bluetooth-enabled ad-hoc networksInstitution(s) partenaire(s) : Department of Electrical and Computer Engineering, University of Toronto Nom du responsable LIG : Andrzej Duda Amérique du Nord : Canada Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Performance of wireless networksInstitution(s) partenaire(s) : National University Maynooth Hamilton Institute Nom du responsable LIG : Andrzej Duda Europe : Irlande Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Sensor networksInstitution(s) partenaire(s) : Imperial College EEE Department Nom du responsable LIG : Andrzej Duda Europe : Royaume-Uni Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Mesh networksInstitution(s) partenaire(s) : - Technical University of Lisbon
- Universidade di Aveiro
- CTTC Barcelona Nom du responsable LIG : Andrzej Duda Europe : Portugal Espagne Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Sensor networksInstitution(s) partenaire(s) : Fraunhofer Fokus Berlin Nom du responsable LIG : Andrzej Duda Europe : Allemagne Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Mobility in mesh networksInstitution(s) partenaire(s) : Keio University Tokyo Nom du responsable LIG : Andrzej Duda Asie : Japon Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Scheduling disciplines for privileging short flows.Institution(s) partenaire(s) : U. Colorado Computer Science Department, Nom du responsable LIG : Andrzej Duda Amérique du Nord : Etats Unis Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Self-organizing routing networks.Institution(s) partenaire(s) : TU Warsaw Telecommunications Department Nom du responsable LIG : Andrzej Duda Europe : Pologne Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : New generation of 802.11 networks—QoS, mobility, and security.Institution(s) partenaire(s) : BME Budapest Budapest University of Technology and Economics, Telecommunications Department, Nom du responsable LIG : Andrzej Duda Europe : Bulgarie Cadre financier : Année de début : Année de fin :
|
| DRAKKAR |
Acronyme :
Descriptif : Performance of mesh networks.Institution(s) partenaire(s) : - CVUT Prague Technical University, Telecommunications Department
- AGH Cracow Telecommunications Department Nom du responsable LIG : Andrzej Duda Europe : République Tchèque Pologne Cadre financier : Année de début : Année de fin :
|
| EXMO |
Acronyme : OLA
Descriptif : OLA is a matcher developed through a continuous cooperation with Petko ValtchevInstitution(s) partenaire(s) : Université du Québec à Montréal Nom du responsable LIG : Jerome Euzenat Amérique du Nord : Canada Cadre financier : Année de début : Année de fin :
|
| EXMO |
Acronyme : Student exchanges
Descriptif : Student exchangesInstitution(s) partenaire(s) : - Università degli Studi di Trento
- University of Liverpool
- Universität Karlsruhe
- Universidade Federal de Pernambuco
- Prague University of Economics
- New Ireland University Galway
- University of Innsbruck Nom du responsable LIG : Jerome Euzenat Amérique du Sud : Brésil Europe : Allemagne Autriche Irlande Italie République Tchèque Royaume-Uni Cadre financier : Année de début : Année de fin :
|
| GETALP |
Acronyme :
Descriptif : coencadrement et travaux communs autour du traitement automatique de la langue khmèreInstitution(s) partenaire(s) : - Institut technologique du Cambodge Nom du responsable LIG : Hervé Blanchon Asie : Cambodge Cadre financier : Année de début : Année de fin :
|
| GETALP |
Acronyme : Consortium U++
Descriptif : Development of useful applications to society based in the UNL language. Our main interest focuses on the creation of applications to support multilinguality, in order to overcome linguistic barriers in Internet.Institution(s) partenaire(s) : - Universidad Politécnica de Madrid
- Russian Academy of Sciences
- Computional Linguistic Institute of Italy
- Indian Institute of Technology Mumbay
- Kasetsart University
- National Electronics and Computer Technology Center
- Bibliotheca Alexandrina
Nom du responsable LIG : Christian Boitet Afrique : Egypte Asie : Inde Thaïlande Europe : Espagne Italie Russie Cadre financier : varié au cours des années (sans financement propre, ou contrats Unesco, UNDL/EOLSS, CNRS-ASR n°24179 en cours) Année de début : 2004 Année de fin :
|
| GETALP |
Acronyme :
Descriptif : UNL et traitement du hindi et du tamoulInstitution(s) partenaire(s) : - IITB (Bombay)
- Université de Pondichéry
- Anna University, Madras Institute of Technology, Chennai Nom du responsable LIG : Georges Fafiotte / Christian Boitet Asie : Inde Cadre financier : projet ARCUS/CIFLI (2007-09) puis IRD-UJF-Inde (2010-12) Année de début : 2006 Année de fin :
|
| GETALP |
Acronyme :
Descriptif : Student exchanges and visitInstitution(s) partenaire(s) : - Universiti Sains Malaysia, Penang
- Multimedia University, Cyberjaya, Kuala Lumpur
- Nom du responsable LIG : Hervé Blanchon Asie : Malaisie Cadre financier : Année de début : Année de fin :
|
| GETALP |
Acronyme :
Descriptif : Echanges scientifiques sur "Human-Computer Dialogue Group"Institution(s) partenaire(s) : Institut Polytechnique de Bucarest Nom du responsable LIG : Hervé Blanchon Europe : Roumanie Cadre financier : Année de début : Année de fin :
|
| GETALP |
Acronyme :
Descriptif : échanges scientifiquesInstitution(s) partenaire(s) : University of Aberdeen Nom du responsable LIG : Hervé Blanchon Europe : Royaume-Uni Cadre financier : Année de début : Année de fin :
|
| GETALP |
Acronyme :
Descriptif : collaboration avec l’équipe Traduction de ParoleInstitution(s) partenaire(s) : IBM Watson Research Center Nom du responsable LIG : Hervé Blanchon Amérique du Nord : Etats Unis Cadre financier : Année de début : Année de fin :
|
| GETALP |
Acronyme :
Descriptif : reconnaissance automatique de la parole multilingueInstitution(s) partenaire(s) : - Interactive Systems Lab.
- Université de Karlsruhe Nom du responsable LIG : Hervé Blanchon Amérique du Nord : Etats Unis Europe : Allemagne Cadre financier : Année de début : Année de fin :
|
| HADAS |
Acronyme : Student Exchanges
Descriptif : Student ExchangesInstitution(s) partenaire(s) : - Hokkaido University Nom du responsable LIG : Marie-Christine ROUSSET Asie : Japon Cadre financier : Année de début : Année de fin :
|
| HADAS |
Acronyme : Graph mining algorithms
Descriptif : Graph mining algorithmsInstitution(s) partenaire(s) : Osaka University Nom du responsable LIG : Alexandre Termier Asie : Japon Cadre financier : Année de début : Année de fin :
|
| HADAS |
Acronyme : Pr. Uno’s “LCM” algorithm
Descriptif : The parallelisation of Pr. Uno’s “LCM” algorithmInstitution(s) partenaire(s) : NII Nom du responsable LIG : Alexandre Termier Asie : Japon Cadre financier : Année de début : Année de fin :
|
| ADELE |
Acronyme :
Descriptif : Collaboration Franco-Mexicaine avec le LAFMIInstitution(s) partenaire(s) : - LAFMI Nom du responsable LIG : Jacky ESTUBLIER Amérique du Nord : Mexique Cadre financier : Année de début : 2007 Année de fin :
|
| AMA |
Acronyme : INTERACTIVE
Descriptif : Interactive is the most important IP of FP7 dedicated to Advanced Driver Assistance System (ADAS) (more than 30 partners and 20 Meuros of funding). One of the main goal of this project is to design and develop generic architecture for perception solutions for ADAS. AMA will play a key role in this task following-up its cooperation on pre-crash with Daimler and will work with Fiat on detection, tracking & classification of moving objects (pedestrians, cars, trucs...). Institution(s) partenaire(s) : Ford (leader), Daimler, Fiat, BMW, Volvo, Volkswagen, Navteq, Continental, Institut fur Kraftfahrzeuge (Germany), Institute of Communication and Computer Systems (Greece), Université Joseph Fourier, University of Passau, VTT Technical Research Centre of Finland... Nom du responsable LIG : AYCARD Olivier Europe : Allemagne Finlande Roumanie Royaume-Uni Suède Cadre financier : FP7 Année de début : 01/2010 Année de fin : 01/2013
|
| I3D |
Acronyme : AFIRST "Usine du Futur"
Descriptif : l’INRIA a coordonné plusieurs programmes prioritaires AFIRST, notamment sur le Calcul Distribué et les Autoroutes de l’Information et a activement participé au dernier d’entre eux, l’Usine du Futur.Institution(s) partenaire(s) : Technion Nom du responsable LIG : Sabine COQUILLART Asie : Israel Cadre financier : AFIRST - Haut comité franco-israélien Année de début : Année de fin :
|
| I3D |
Acronyme : Plan de Travail Virtuel
Descriptif : Portage du système Spidar sur le Plan de Travail VirtuelInstitution(s) partenaire(s) : Institute of Technology of Tokyo Nom du responsable LIG : Sabine COQUILLART Asie : Japon Cadre financier : Année de début : Année de fin :
|
| MAGMA |
Acronyme : Exchanges
Descriptif : Eschanges with joint publicationsInstitution(s) partenaire(s) : RIADI-GDL ENSI Nom du responsable LIG : Julie DUGDALE Afrique : Tunisie Cadre financier : Année de début : Année de fin :
|
| MAGMA |
Acronyme : Exchanges
Descriptif : Exchanges with joint publicationsInstitution(s) partenaire(s) : U. Federale de Rio Grande, RS Nom du responsable LIG : Yves DEMAZEAU Amérique du Sud : Brésil Cadre financier : Année de début : Année de fin :
|
| MAGMA |
Acronyme : Exchanges
Descriptif : Exchanges with joint publicationsInstitution(s) partenaire(s) : Odense University Nom du responsable LIG : Yves DEMAZEAU Europe : Danemark Cadre financier : Année de début : Année de fin :
|
| MAGMA |
Acronyme : Exchanges
Descriptif : Complexity in Critical CareInstitution(s) partenaire(s) : James S McDonnell Foundation Nom du responsable LIG : Julie DUGDALE Europe : Royaume-Uni Cadre financier : Grant Année de début : 2008 Année de fin : 2013
|
| DIAM |
Acronyme : Exchanges
Descriptif : Collaborations with joint publicationsInstitution(s) partenaire(s) : Justus Liebig Universitat Giessen Nom du responsable LIG : Sophie SOURY-LAVERGNE Europe : Allemagne Cadre financier : Année de début : Année de fin :
|
| MESCAL |
Acronyme : Exchanges
Descriptif : Collaboration on optimization algorithmsInstitution(s) partenaire(s) : Tsukuba University Nom du responsable LIG : Bruno GAUJAL Asie : Japon Cadre financier : Année de début : Année de fin :
|
| MESCAL |
Acronyme : Exchanges
Descriptif : Collaboration on grid traces through ALEAEInstitution(s) partenaire(s) : Delft University Nom du responsable LIG : Bruno GAUJAL Europe : Pays-Bas Cadre financier : Année de début : Année de fin :
|
| MESCAL |
Acronyme : Exchanges
Descriptif : Collaborations (with joint publications)Institution(s) partenaire(s) : - Universiteit Leiden (Netherlands)
- North Carolina State University (USA)
- Universidade Federal do Rio Grande do Sul (Brazil)
- Pontifícia Universidade Católica do Rio Grande do Sul (Brazil)
- University of California at San Diego
- University of Hawaii at Manoa
- UC Berkeley Nom du responsable LIG : Bruno GAUJAL Amérique du Nord : Etats Unis Amérique du Sud : Brésil Europe : Pays-Bas Cadre financier : Année de début : Année de fin :
|
| MeTAH |
Acronyme : SCY
Descriptif : SCY aims to take science education to the next level by developing a flexible, open-ended learning environment that truly engages and empowers adolescent learners. Within this learning environment --called SCY Lab-- students embark on authentic missions that can be completed through constructive and productive learning activities. SCY Lab provides adaptive support for these activities through cutting-edge technologies as well as pedagogical scaffolds that go well beyond the state of the art.Institution(s) partenaire(s) : * University of Twente
* InterMedia, University of Oslo
* Joseph Fourier University
* University of Duisburg-Essen
* University of Bergen
* Fraunhofer IAIS
* University of Cyprus
* University of Tartu
* De Praktijk
* Stichting Technasium
* ENOVATE
* Ontario Institute for Studies in Education
Nom du responsable LIG : Cédric d'HAM Amérique du Nord : Canada Europe : Allemagne Chypre Estonie France Norvège Pays-Bas Cadre financier : 7e PCRD Année de début : 03/2008 Année de fin : 02/2013
|
| MeTAH |
Acronyme : Stellar
Descriptif : This Network of Excellence is motivated by the need for European research on TEL to build upon, synergize and extend the valuable work we have started by significantly building capacity in TEL research within Europe, which is required to allow the European Union to achieve its goals via the Bologna Agreement and the execution of the Lisbon Agenda. The European TEL agenda has been set for the last 4 years by the Kaleidoscope network – with a huge strength in pedagogy and scientific excellence, and the Prolearn network – with a complimentary strength in technical and professional excellence. Integrating this excellence and moving on to the higher strategic formation of policy based in leading research is the key challenge for the next stage.Institution(s) partenaire(s) : - The Open University
- Ludwig-Maximilians-Universität München
- University of Bristol
- University of Nottingham
- L3S Research Center // Leibniz Universität Hannover
- Knowledge Media Research Centre
- Centre for Social Innovation
- Ecole Polytechnique Fédérale de Lausanne
- Katholieke Universiteit Leuven
- Istituto Tecnologie Didattiche, Consiglio Nazionale Ricerche
- Open University of the Netherlands (CELSTEC)
- Know Centre
- University of Freiburg
- Atos Origin s.a.e
- SCIENTER Nom du responsable LIG : Pierre TCHOUNIKINE Europe : Pays-Bas Espagne Italie France Allemagne Autriche Belgique Royaume-Uni Suisse Cadre financier : NoE FP7 Année de début : 03/2009 Année de fin : 09/2012
|
| MRIM |
Acronyme : QUAERO
Descriptif : Quaero est un programme fédérateur de recherche et d'innovation industrielle sur les technologies d'analyse automatique, de classification et d'utilisation de documents multimédias et multilingues.Institution(s) partenaire(s) : - RWTH Aachen University
- Université de Karlsruhe Nom du responsable LIG : Georges QUENOT Europe : Allemagne Cadre financier : Agence de l'Innovation Industrielle Année de début : 10/2008 Année de fin : 11/2013
|
| MRIM |
Acronyme : Exchanges
Descriptif : Exchanges of professors and studentsInstitution(s) partenaire(s) : University of Tartu Nom du responsable LIG : Catherine BERRUT Europe : Estonie Cadre financier : Année de début : 2008 Année de fin :
|
| MRIM |
Acronyme : Exchanges
Descriptif : Exchanges of professors and studentsInstitution(s) partenaire(s) : - Queensland University of Technology, Brisbane
- University of New South Wales, Sydney Nom du responsable LIG : Marie-Christine FAUVET Océanie : Australie Cadre financier : Année de début : Année de fin :
|
| CAPP |
Acronyme : Exchanges
Descriptif : Exchanges with joint publicationsInstitution(s) partenaire(s) : - University at Albany SUNY
- University of Verona
- National Security Agency
- Universite of Calgary
- University College London
- University of Hannover
- University of Edingurgh
- University of Valladolid
- NEC Laboratories America, Princeton, Nom du responsable LIG : Rachid ECHAHED Amérique du Nord : Canada Etats Unis Europe : Allemagne Espagne Italie Royaume-Uni Cadre financier : Année de début : Année de fin :
|
| CAPP |
Acronyme : Exchanges
Descriptif : Exchanges with grantsInstitution(s) partenaire(s) : - University of Oxford (Samson Abramsky and Bob Coecke)
- University of Bristol (Richard Jozsa)
- University of York (Sam Braunstein)
- TU Braunschweig (Reinhard Werner)
- University of Innsbruck (Hans Briegel)
- McGill University (Prakash Panangaden)
- National Institute of Informatics (NII) Nom du responsable LIG : Rachid ECHAHED Amérique du Nord : Canada Asie : Japon Europe : Allemagne Autriche Royaume-Uni Cadre financier : Année de début : Année de fin :
|
| CAPP |
Acronyme : ASAP
Descriptif : Le but de ce projet est de développer des formalismes logiques permettant de représenter et manipuler des schémas de formules et de preuves en déduction interactive (ou automatique) et d'utiliser ces outils pour aider à la formalisation et à l'analyse de preuves mathématiques (en utilisant des techniques de transformation de preuves par élimination de coupures). Institution(s) partenaire(s) : - Laboratoire informatique de Vienne Nom du responsable LIG : Nicolas PELTIER Europe : Autriche Cadre financier : ANR - programme Blanc International Année de début : 03/2010 Année de fin : 02/2013
|
| MOAIS |
Acronyme : Diode-A
Descriptif : DIODE is an associate Team funded by INRIA with the MESCAL project-team of INRIA, and the Brazilian University UFRGS. The goal of this project is to design and develop programming tools for grid and clusters for virtual reality. This collaboration was initiated 10 years ago, and has greatly affected the activities (doctoral, publications and joint production software) of the Apache project-team, from which MOAIS and MESCAL were formed. In particular, four PhD Brazilian students have joined the MOAIS project-team as a result of this long-standing collaboration. Institution(s) partenaire(s) : Brazilian University UFRGS Nom du responsable LIG : Bruno RAFFIN Amérique du Sud : Brésil Cadre financier : Associated team Année de début : 2008 Année de fin :
|
| MOAIS |
Acronyme : USP/COFECUB
Descriptif : project with the universities of Sao Paulo and Fortaleza, Brazil, focused on the impact of communications on parallel task scheduling. Institution(s) partenaire(s) : - universities of Sao Paulo
- universities of Fortaleza Nom du responsable LIG : Denis TRYSTRAM Amérique du Sud : Brésil Cadre financier : CAPES / COFECUB Année de début : 2008 Année de fin :
|
| MOAIS |
Acronyme : PAE Polonium
Descriptif : Parallel computation of multiple alignments of genomic sequences and distributed
management of cachesInstitution(s) partenaire(s) : - TU Poznan (J Blazewicz)
- Institute of Computer and Information Sciences at Czestochowa University
of Technology (R Wyrzykowski) Nom du responsable LIG : Clément PERNET Europe : Pologne Cadre financier : PAE Polonium Année de début : 2008 Année de fin :
|
| MOAIS |
Acronyme : PAE Polonium
Descriptif : Parallel computation of multiple alignments of genomic sequences and distributed
management of cachesInstitution(s) partenaire(s) : - TU Poznan (J Blazewicz)
- Institute of Computer and Information Sciences at Czestochowa University of Technology (R Wyrzykowski) Nom du responsable LIG : Pierre-François DUTOT Europe : Pologne Cadre financier : PAE Polonium Année de début : 2008 Année de fin :
|
| MOAIS |
Acronyme : LINBOX
Descriptif : LinBox is a C++ template library for exact, high-performance linear algebra computation with dense, sparse, and structured matrices over the integers and over finite fieldsInstitution(s) partenaire(s) : - University of Delaware USA (Dave Saunders)
- NCSU Rayleigh USA (E Kaltofen)
- Univ Western Ontario (S Watt)
- LJK (JG Dumas Grenoble)
- ARENAIRE (LIP-ENSL, Lyon) Nom du responsable LIG : Clément PERNET Amérique du Nord : Canada Etats Unis Cadre financier : International network Année de début : 2008 Année de fin :
|
| MOAIS |
Acronyme : AI France-Tunisia
Descriptif : Large scale parallel systemsInstitution(s) partenaire(s) : university of Tunis (Prof M. Jemni) Nom du responsable LIG : Denis TRYSTRAM Afrique : Tunisie Cadre financier : AI (INRIA-DGSRT) Année de début : 2008 Année de fin :
|
| MOAIS |
Acronyme : VISIONAIR
Descriptif : A new world class infrastructure for frontier research based on 3D visualisation Institution(s) partenaire(s) : Involving 25 partners in 12 different countries Nom du responsable LIG : Bruno RAFFIN Asie : Israel Europe : Royaume-Uni Suède Allemagne Belgique Espagne Grèce Hongrie Italie Pays-Bas Pologne Cadre financier : European project Année de début : 2010 Année de fin : 2014
|
| POP ART |
Acronyme : AFMES: Advanced Formal Methods for Embedded Systems
Descriptif : This collaboration will involve two teams, the POP ART team and the ACEI team from the University of Auckland, New Zealand (led by Zoran Salcic, professor at the University of Auckland).
We plan to work on some of the most important challenges for the design of embedded systems. Let us recall that embedded systems are characterized by several constraints, such as enormous complexity and heterogeneity, need for determinism or bounded reaction time. Accordingly, design methods for embedded systems should, wherever possible, be automated and guarantee these properties by construction, therefore shifting the burden of checking these constraints from the programmer/system designer to the design method. In order to achieve this, our goal is to improve the existing design methods in several key directions: (1) Incremental converter synthesis. (2) Programming language for adaptive computing (SystemJ and beyond). (3) Time predictable programming language and execution architectures. Together, these advanced formal methods will provide foundations for automated design and higher level of safety of the designed embedded systems.Institution(s) partenaire(s) : University of Auckland Nom du responsable LIG : Alain GIRAULT Océanie : Cadre financier : Associated team Année de début : 2010 Année de fin :
|
| PRIMA |
Acronyme : Exchanges
Descriptif : Exchanges with joint publicationsInstitution(s) partenaire(s) : - Hong Kong Baptist University (Pr PC Yuen) Nom du responsable LIG : James L. CROWLEY Asie : Chine Cadre financier : Année de début : Année de fin :
|
| IIHMPRIMA |
Acronyme : Exchanges
Descriptif : Exchanges with joint publicationsInstitution(s) partenaire(s) : - Carnegie mellon University (D. Garlan)
- University college Dublin (S. Dobson) Nom du responsable LIG : James L. CROWLEY Amérique du Nord : Etats Unis Europe : Irlande Cadre financier : Année de début : Année de fin :
|
| MESCAL |
Acronyme : CloudComputing@home
Descriptif : Recently, a new vision of cloud computing has emerged where the complexity of an IT infrastructure is completely hidden from its users. At the same time, cloud computing platforms provide massive scalability, 99.999% reliability, and speedy performance at relatively low costs for complex applications and services. In this proposed collaboration, we investigate the use of cloud computing for large-scale and demanding applications and services over the most unreliable but also most powerful resources in the world, namely volunteered resources over the Internet. The motivation is the immense collective power of volunteer resources (evident by FOLDING@home's 3.9 PetaFLOPS system), and the relatively low cost of using such resources. We will focus on three main challenges. First, we will determine, design and implement statistical and prediction methods for ensuring reliability, in particular, that a set of N resources are available for T time. Second, we will incorporate the notion of network distance among resources. Third, we will create a resource specification language so that applications can easily leverage these mechanisms for guaranteed availability and network proximity. We will address these challenges drawing on the experience of the BOINC team which designed and implemented BOINC (a middleware for volunteer computing that is the underlying infrastructure for SETI@home), and the MESCAL team which designed and implemented OAR (an industrial-strength resource management system that runs across France's main 5000-node Grid called Grid'5000). Institution(s) partenaire(s) : U.C. Berkeley Space Sciences Laboratory Nom du responsable LIG : Derrick KONDO Amérique du Nord : Etats Unis Cadre financier : Associated Team Année de début : 2009 Année de fin :
|
| SARDES |
Acronyme : Harmony
Descriptif : Boomerang is a programming language for writing lenses—well-behaved bidirectional transformations—that operate on ad-hoc, textual data formats. Every lens program, when read from left to right, describes a function that maps an input to an output; when read from right to left, the very same program describes a "backwards" function that maps a modified output, together with the original input, back to a modified input.Institution(s) partenaire(s) : - University of Pennsylvania
Nom du responsable LIG : Alan Schmitt Amérique du Nord : Etats Unis Cadre financier : NSF Graduate Research Fellowship Année de début : Année de fin :
|
| SARDES |
Acronyme : Collaboration
Descriptif : Component-based distributed programming, autonomic systemsInstitution(s) partenaire(s) : Université Catholique de Louvain Nom du responsable LIG : Jean-Bernard STEFANI Europe : Belgique Cadre financier : Année de début : Année de fin :
|
| SARDES |
Acronyme : Collaboration
Descriptif : Distributed process calculi, type systems for componentsInstitution(s) partenaire(s) : University of Bologna Nom du responsable LIG : Alan Schmitt Europe : Italie Cadre financier : Année de début : Année de fin :
|
| SARDES |
Acronyme : Collaboration
Descriptif : Large scale distributed systems management, component-based distributed programmingInstitution(s) partenaire(s) : Swedish Institute of Computer Science Nom du responsable LIG : Noel DE PALMA Europe : Suède Cadre financier : Année de début : Année de fin :
|
| SARDES |
Acronyme : Collaboration
Descriptif : Distributed algorithmsInstitution(s) partenaire(s) : Ecole polytechnique Fédérale de Lausanne Nom du responsable LIG : Vivien QUEMA Europe : Suisse Cadre financier : Année de début : Année de fin :
|
| SARDES |
Acronyme : Collaboration
Descriptif : Bidirectional languages, type systemsInstitution(s) partenaire(s) : University of Pennsylvania Nom du responsable LIG : Alan Schmitt Amérique du Nord : Etats Unis Cadre financier : Année de début : Année de fin :
|
| SIGMA |
Acronyme : Collaborations
Descriptif : Exchanges of Professor and students with joint publicationsInstitution(s) partenaire(s) : - Centre for Distributed Systems and Software Engineering, COTAR Sydney
- Monash University
- Université de Los Andes
- Université Industrielle de Santader
- Université de Djibouti
- National Institute of Informatics, Honiden Laboratory
- Faculté des Sciences, ENSIAS Rabat
- Université de Genève
- Ambassade de France en Syrie
- Université de Tunis
- Université de Monastir
- Université de Sfax Nom du responsable LIG : Christine VERDIER Afrique : Tunisie Maroc Djibouti (Rép. de) Amérique du Sud : Colombie Asie : Japon Syrie Europe : Suisse Océanie : Australie Cadre financier : Année de début : Année de fin :
|
| STEAMER |
Acronyme : BIBLINDEX
Descriptif : BIBLINDEX a pour objectif la construction d'un index exhaustif, en ligne, des citations et allusions bibliques présentes dans les textes juifs et chrétiens, occidentaux et orientaux, de l'Antiquité tardive et des ses prolongements médiévaux. Il veut mettre en relation : un corpus de Bibles, collections de livres écrits dans différentes langues de l'Orient ancien, très tôt traduits, encore en évolution au moment où ils sont cités ; un corpus d'auteurs antiques ou médiévaux qui s'y réfèrent comme à une entité, mais qui, dans leurs citations mêmes, contribuent à le construire. En reconstituant ce trésor patrimonial, jusqu'à présent dispersé, BIBLINDEX entend fournir aux chercheurs et au grand public cultivé un outil universel pour comprendre ce texte matriciel des civilisations occidentales, renouvelant exégèse et histoire du texte biblique. Institution(s) partenaire(s) : - Peshitta Institute
- Institut fur neutestamentliche Forschung Nom du responsable LIG : Paule-Annick DAVOINE Europe : Allemagne Pays-Bas Cadre financier : ANR Blanc Année de début : 02/2010 Année de fin : 02/2013
|
| STEAMER |
Acronyme : Collaboration
Descriptif : Hervé Martin has been nominated as an associate professor at the University Laval of Quebec. He collaborates with the geomatics research group.Institution(s) partenaire(s) : - University Laval of Quebec Nom du responsable LIG : Hervé MARTIN Amérique du Nord : Canada Cadre financier : Année de début : Année de fin :
|
| VASCO |
Acronyme : Collaborations
Descriptif : Exchanges of Professors and Students, with joint publicationsInstitution(s) partenaire(s) : - Université de Munich,
- Université de Aarhus,
- Université de Southbank (Londres),
- Université de Birmingham,
- Université et CNR de Pise,
- University College à Londres,
- Université de Namur,
- Université de Kobe (Japon),
- Simula Labs (Norvège). Nom du responsable LIG : Yves LEDRU Asie : Japon Europe : Allemagne Belgique Italie Norvège Royaume-Uni Cadre financier : Année de début : Année de fin :
|
| VASY |
Acronyme : EC-MOAN
Descriptif : The aim of our research is to enhance our understanding of the molecular mechanisms underlying the behavior of complex living systems. In particular, we investigate how large and complex regulatory networks control the response of a living cell to its ever-changing environment. The stress response to environmental events is induced by the interaction of several interwoven modules with complex dynamic behavior, acting on different time scales.
To deal with this complexity we need mathematical modeling and computer-supported analysis. So far, the methods of systems biology are mostly applied to individual modules, such as particular metabolic pathways and genetic networks. But to understand the global behavior, we need an integrated description of the regulatory network. We must develop new, scalable methods for modeling and analysis of integrated networks. We will apply our methods to the stress response system of the enterobacterium Escherichia coli , one of the best studied organisms and a model for several pathogenic bacteria.
In the project, we will develop an integrated model of the stress response system of E. coli, including key metabolic, genetic and signaling modules. We also develop methods to reduce high-dimensional nonlinear systems of equations, and to approximate them by discrete automata. Parallel model checking algorithms will be developed for verifying specific properties at the model. So we can explore the models and predict the outcome of experiments. Finally, we will validate our model by experimentally testing predicted properties in our labs.
Our cross-disciplinary European team of biologists, mathematicians and computer scientists will develop a coherent and generic methodology, generalizable to other complex (biological) systems. Our models will be accessible via the Silicon Cell and the International E. coli Alliance . They could improve many medical and biotechnological applications, e.g. strain improvement and rational drug design.Institution(s) partenaire(s) : - University of Twente Team
- Vrije Universiteit Amsterdam Team
- CWI Team
- Masaryk University Team
- University of Edinburgh Team Nom du responsable LIG : Hubert GARAVEL Europe : Pays-Bas République Tchèque Royaume-Uni Cadre financier : FP6 NEST-PATH-COM Année de début : 2007 Année de fin :
|
| CONVECS |
Acronyme : International Working Groups: ERCIM FMICS
Descriptif : The main objectives of the WG are:
1. To bring together scientists mainly of, but not only of, institutions within ERCIM, who are active in the field of formal methods and are willing to exchange their experience in the industrial usage of formal methods.
2. To coordinate efforts in the transfer of the formal methods technology and knowledge to the industry.
3. To promote research and development for the improvement of formal methods and tools with respect to their usage in the industry. Institution(s) partenaire(s) : - Science & Technology Facilities Council
- CNR
- Czech Research Consortium for Informatics and Mathematics
- Centrum Wiskunde & Informatica
- ETH Zurich
- Université de Fribourg - Universität Freiburg
- Université Libre de Bruxelles
- Université de Liège
- Université Catholique de Louvain
- Centre d’Excellence en Technologies de l’Information et de la Communication
- Fraunhofer Institute for Software and Systems Engineering (ISST)
- Fraunhofer Gesellschaft
- Universidad Politécnica de Madrid
- GISUM team at the University of Malaga
- ELP team at the University of Valencia
- Swedish Institute fo computer science
-MTA SZTAKI - Computer and Automation Research Institute, Hungarian Academy of Sciences
Nom du responsable LIG : Radu Mateescu Europe : Suède Allemagne Belgique Espagne Hongrie Italie Pays-Bas République Tchèque Royaume-Uni Suisse Cadre financier : Année de début : 1992 Année de fin :
|
| VASY |
Acronyme : Collaborations
Descriptif : Scientific relationsInstitution(s) partenaire(s) : - Imperial college
- LIAMA
- Massachusetts Institute of Technology
- Polytechnic University of Bucharest
- Saarland University
- University of Malaga
- University "La Sapienza" of Rome
- University of Twente
- University of Sherbrooke
- Université Catholique de Louvain
- University of Malta
Nom du responsable LIG : Hubert GARAVEL Amérique du Nord : Canada Etats Unis Asie : Chine Europe : Espagne Allemagne Belgique Italie Malta (Rép. de) Pays-Bas Roumanie Royaume-Uni Cadre financier : Année de début : Année de fin :
|
| WAM |
Acronyme : Collaborations
Descriptif : Collaborations with joint publicationsInstitution(s) partenaire(s) : - Watson Research Center
- Ecole Polytechnique Fédérale de Lausanne Nom du responsable LIG : Vincent QUINT Amérique du Nord : Etats Unis Europe : Suisse Cadre financier : Année de début : Année de fin :
|
| MAGMA |
Acronyme : Collaborations
Descriptif : Joint organisation of a conference seriesInstitution(s) partenaire(s) : University of Salamanca
Nom du responsable LIG : Yves DEMAZEAU Europe : Espagne Cadre financier : Année de début : 2009 Année de fin :
|
| VASCO |
Acronyme : SPaCIoS
Descriptif : Secure Provision and Consumption in the Internet of Services
This project will combine technologies for penetration testing, security testing, model checking and automatic learning.
It will develop security analysers for service deployment, provision and consumption. Institution(s) partenaire(s) : Università di Verona, Università di Genova, ETH Zürich, Universität Karlsruhe, SAP, Siemens. Nom du responsable LIG : Roland GROZ Europe : Suisse Allemagne Italie Cadre financier : FP7 ICT Année de début : 10/2010 Année de fin : 09/2013
|
| POP ART |
Acronyme : Collaborations
Descriptif : Cooperation in the Framework of CMCU on the topic of analysis and verification of the safety of safety-critical systemsInstitution(s) partenaire(s) : ENSI La Manouba Nom du responsable LIG : Alain GIRAULT Afrique : Tunisie Cadre financier : CMCU - Comité Mixte pour la Coopération Universitaire Année de début : Année de fin :
|
| GETALP |
Acronyme : Exchanges
Descriptif : Collaboration by-lateral PhDsInstitution(s) partenaire(s) : Universidade Federal do Rio Grande do Sul - UFRGS Nom du responsable LIG : Christian BOITET Amérique du Sud : Brésil Cadre financier : CAPES-COFECUB Année de début : 10/2009 Année de fin : 10/2012
|
| STEAMER |
Acronyme : LWM: Learning While Moving
Descriptif : e-learning et mobilitéInstitution(s) partenaire(s) : - UFC Fortaleza
- UNESP Sao Paulo
- UFRGS Porto Alegre Nom du responsable LIG : Jérôme GENSEL Amérique du Sud : Brésil Cadre financier : STIC-AmSud Année de début : 11/2010 Année de fin : 11/2012
|
| MAGMA |
Acronyme : ACAI
Descriptif : Affective Conversational Agents for learnIngInstitution(s) partenaire(s) : - UFRGS (PGIE)
- UNISINOS
- Universidad de San Juan Nom du responsable LIG : Sylvie PESTY Amérique du Sud : Argentine Brésil Cadre financier : STIC-AmSud Année de début : 2010 Année de fin :
|
| GETALPEXMO |
Acronyme : CAMELEON
Descriptif : Collaborative and Automatic Methods for the Multilingualisation of Lexica and Ontologies
Institution(s) partenaire(s) : UFRGS Nom du responsable LIG : Jérôme EUZENAT // Christian BOITET Amérique du Sud : Brésil Cadre financier : CAPES-COFECUB Année de début : 2011 Année de fin : 2014
|
| DRAKKAR |
Acronyme : CALIPSO
Descriptif : Connect All IP-based Smart Objects!
Smart Objects and the Internet of Things provide unparalleled means to connect the physical world with the digital
world, enabling important applications such as Smart Infrastructures, Smart Cities, and Smart Toys. But existing
systems are typically proprietary and tailored to one specific application and sacrifice interoperability for low
power consumption. This hinders widespread adoption.
CALIPSO builds Internet Protocol (IP) connected smart object networks, but with novel methods to attain
very low power consumption, thereby providing both interoperability and long lifetimes. CALIPSO leans on the
significant body of work on sensor networks to integrate radio duty cycling and data-centric mechanisms into the
IPv6 stack, something that existing work has not previously done. CALIPSO works at three layers: the network,
the routing, and the application layer. We also revisit architectural decisions on naming, identification, and the use
of middle-boxes.
We are not alone in seeing the vision of IP-based smart objects, as evidenced by the IPSO Alliance, IETF
standards (6LoWPAN, ROLL, CoAP), and recent start-ups.
CALIPSO works within the IETF/IPv6 framework, which includes the recent IETF RPL and CoAP protocols.
This gives a structure for evaluation that has not previously been available. We use Contiki open source
OS, Europe’s leading smart object OS, as the target development environment for prototyping and experimental
evaluation.
We use three applications to drive our work: Smart Infrastructures, Smart Cities, and Smart Toys, all of
which need both standardized interfaces and extremely low power operation. We see experimental validation and
evaluation as critical to the success of the project.
We expect CALIPSO results to impact four areas: standards, open source software, scientific research, and
commercial products. Project partners have extensive experience in the application domains, the IETF, sensor
networks, and open source software.Institution(s) partenaire(s) : - Cisco Systems International B.V., Amsterdam, Netherlands
- The Walt Disney Company, Zurich, Switzerland
- Universita degli studi di Parma, Italy
- Woldsensing, Barcelone, Spain
- SICS Swedish Institute of Computer Science, Rista, Sweden
Nom du responsable LIG : Andrzej DUDA Europe : Espagne Italie Pays-Bas Suède Suisse Cadre financier : FP7 Année de début : 09/2011 Année de fin : 08/2014
|
| MESCAL |
Acronyme : JLPC
Descriptif : Joint Laboratory on Petascale Computing: Développement d’algorithmes et de logiciels pour des ordinateurs à échelle pétaflopique et au-delà
Institution(s) partenaire(s) : Université de l’Illinois
Nom du responsable LIG : Jean-François MEHAUT Amérique du Nord : Etats Unis Cadre financier : Joint Lab. Année de début : 2009 Année de fin :
|
| IIHM |
Acronyme : AMIE
Descriptif : Augmented Mobile Interactive Experience Institution(s) partenaire(s) : - AIST-Tsukuba
- DIGITAL-Osaka
- Schneider-Electric Nom du responsable LIG : Laurence NIGAY Asie : Japon Cadre financier : ANR Blanc International (edition 2010) Année de début : 2011 Année de fin : 2014
|
| MOAIS |
Acronyme : Calcul exascale
Descriptif : Environnement parallèle pour la prochaine génération de super calculateursInstitution(s) partenaire(s) : - UFRGS de Porto Alegre Nom du responsable LIG : Bruno RAFFIN Amérique du Sud : Brésil Cadre financier : CNRS/CNPq Année de début : 2011 Année de fin : 2013
|
| IIHM |
Acronyme : Publications
Descriptif : Collaboration sur l'interaction multimodale
Fusion Engines for Input Multimodal Interfaces: a Survey (2009)
In ICMI '09: Proceedings of the 11th international conference on Multimodal interfaces, November 2-6, Cambridge, MA, USA. ACM.
Lalanne, Nigay, Palanque, Robinson, Vanderdonckt, Ladry
Institution(s) partenaire(s) : Université de Fribourg Nom du responsable LIG : Laurence NIGAY Europe : Suisse Cadre financier : Année de début : Année de fin :
|
Présentation
...
