Cooperation

Seminars


Emmanuelle Encrenaz-Tiphene, Maitre de Conferences à l'Université Paris VI

Theme: Vérification de systèmes spécifiés à un haut niveau d'abstraction avec les HDD, une structure de données exploitant le partage et la hiérarchie
Date: Vendredi 4 novembre 2005 à 10h30, Salle P218 - Bât. P 1er étage INPG

> read more

Laurence PIERRE, Université de Nice Sophia-Antipolis

Theme: Intégration model-checking/theorem proving pour systèmes avec variables non bornées
Date: Vendredi 17 juin, 10h30, TIMA, 46 avenue Félix Viallet, Grenoble, salle P218

> read more

Prof. Archie Yan-Cheong CHAN, City University, Hong Kong

Theme: Réduction des substances dangereuses en électronique
Date: Mercredi 2 mars 2005 à 15h00, salle T 117 au TIMA

> read more

Prof. J. Machado da Silva, Ph.D., Faculdade de Engenharia da Universidade do Porto, INESC-Porto

Theme: Analogue and mixed-signal testing activity at INESC-Porto
Date: lundi 7 février 2005, heures, TIMA - Salle R du bâtiment P

> read more

Professeur Renato P. Ribas, Institut of Computer Science - UFRGS - Porto Alegre, Brazil

Theme: CAD Tools for Logic and Physical Synthesis of Digital Circuits
Date: lundi 11 octobre 2004 à 10h00, T312 du CIME

> read more

Dr. Man WONG, Hong Kong University of Science and Technology

Theme: Low-Temperature Electroplating Technology for Integrated Micro-Systems
Date: vendredi 9 juillet 2004, à 11h00, Entrée R de l'INPG (du Bâtiment P)

> read more

Prof. Vojin G. Oklobdzija, ACSEL Laboratory

Theme: Energy Minimization Method for Optimal Energy-Delay
Date: le mardi 15 juin 2004 de 9h00 à 12h00, Salle T312, Entrée T de l'INPG, 46 avenue Félix Viallet , 38031 GRENOBLE

> read more

Prof. Christian Piguet , CSEM

Theme: Leakage and Total Power Reduction at Architectural Level
Date: mardi 15 juin 2004, de 9h00 à 12h00, Institut National Polytechnique de Grenoble, Salle T312, Entrée T,

> read more

Dr. Nabil SABRY, CIDRE : Université Française d’Egypte

Theme: Modélisation de l’écoulement et du transfert thermique dans les micro-canaux
Date: mercredi 19 mai 2004, 11 heures, Entrée R de l'INPG (du Bâtiment P)

> read more