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érarchieDate: Vendredi 4 novembre 2005 à 10h30, Salle P218 - Bât. P 1er étage INPG
Laurence PIERRE, Université de Nice Sophia-Antipolis
Theme: Intégration model-checking/theorem proving pour systèmes avec variables non bornéesDate: Vendredi 17 juin, 10h30, TIMA, 46 avenue Félix Viallet, Grenoble, salle P218
Prof. Archie Yan-Cheong CHAN, City University, Hong Kong
Theme: Réduction des substances dangereuses en électroniqueDate: Mercredi 2 mars 2005 à 15h00, salle T 117 au TIMA
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-PortoDate: lundi 7 février 2005, heures, TIMA - Salle R du bâtiment P
Professeur Renato P. Ribas, Institut of Computer Science - UFRGS - Porto Alegre, Brazil
Theme: CAD Tools for Logic and Physical Synthesis of Digital CircuitsDate: lundi 11 octobre 2004 à 10h00, T312 du CIME
Dr. Man WONG, Hong Kong University of Science and Technology
Theme: Low-Temperature Electroplating Technology for Integrated Micro-SystemsDate: vendredi 9 juillet 2004, à 11h00, Entrée R de l'INPG (du Bâtiment P)
Prof. Vojin G. Oklobdzija, ACSEL Laboratory
Theme: Energy Minimization Method for Optimal Energy-DelayDate: le mardi 15 juin 2004 de 9h00 à 12h00, Salle T312, Entrée T de l'INPG, 46 avenue Félix Viallet , 38031 GRENOBLE
Prof. Christian Piguet , CSEM
Theme: Leakage and Total Power Reduction at Architectural LevelDate: mardi 15 juin 2004, de 9h00 à 12h00, Institut National Polytechnique de Grenoble, Salle T312, Entrée T,
Dr. Nabil SABRY, CIDRE : Université Française dEgypte
Theme: Modélisation de lécoulement et du transfert thermique dans les micro-canauxDate: mercredi 19 mai 2004, 11 heures, Entrée R de l'INPG (du Bâtiment P)