Auditorium Ircica, 50 avenue Halley à Villeneuve d’Ascq. ###"Le projet GREDOR : repenser le fonctionnement des réseaux de distribution". Résumé : En Europe, les préoccupations relatives à l’impact environnemental de l’industrie électrique stimulent actuellement la croissance de la …

Lieu : STL, Université Lille 3 de 14 h à 17 h Félice CARDONE, (University of Torino), TBA, <http://www.di.unito.it/~felice/> Jean LASSEGUE, (Institut Marcel Mauss/EHESS), <http://formes-symboliques.org/spip.php?article84>, Mécanisme et écriture; les racines culturelles du calcul. C’est …

Auditorium Ircica, 50 avenue Halley à Villeneuve d’Ascq ###"Propositions as Types" Ce colloquium est co-organisé avec le séminaire « Interactions entre informatique, logique et langage : histoire et philosophie » de l’Université Lille 3. Résumé : Le principe de Propositions as Types …

Le MOOC «Programmation objet immersive en Pharo / Live Object Programming in Pharo» sera bientôt disponible sur la plateforme France Université Numérique. Ce cours bilingue français/anglais d’une durée de 7 semaines sera enseigné par Stéphane Ducasse (Inria), Damien Cassou (Université de Lille, …

Accompagner et promouvoir le projet tour de France en fauteuil roulant. Khalil Ibrahim HAMZAOUI, 33 ans, doctorant en informatique à CRIStAL, a pour projet de réaliser le premier Tour de France Scientifique en fauteuil roulant. En 1983, Khalil est atteint par une poliomyélite ayant des …

L'Assemblée Générale de l'unité se déroulera le vendredi 29 janvier 2016 à 14 heures. Lieu : IUT A - Amphi 1A 14 (rez-de-chaussée).

Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq ###"Black-Box Control in Theory and Applications" Le problème de contrôle est le problème de la réglementation d’un processus afin d’atteindre certains objectifs de contrôle. Des exemples peuvent être tirés de …

Lieu : Université Paris 1 Panthéon-Sorbonne, ENS de 14 h à 17 h Première séance de l’axe 1 “Interactions entre logique, calcul et linguistique” du séminaire “Réflexions sur les processus de calcul, d’information et de programmation”. Mercredi 27 Janvier à 14h, IHPST, 13 rue du Four (2ème …

Le 1er janvier 2016, Hélène Touzet est devenue directrice par intérim du Groupement de Recherche (GDR) Bioinformatique moléculaire (BIM). Elle succède à Éric Rivals.

L’animation réalisée par la dessinatrice et musicienne Zviane et l’équipe de recherche Algomus est une visualisation originale des fonctions harmoniques, c’est-à-dire des accords et de leurs enchaînements, dans le début d’une sonate pour piano de Mozart. L’équipe émergente Algomus, dirigée par …