Le projet de robotique portuaire Vasco, auquel participe notamment le Centre de recherche en informatique, signal et automatique de Lille1 et l’Institut de recherche en communications et cybernétique de Nantes2, s’est vu attribuer une enveloppe de 8,8 millions d’euros dans le cadre du Programme …

Vous êtes invités au lancement de la Maison de la Simulation de l'Université de Lille Le mardi 29 mars 2016 à 14h à Polytech Lille - Cité Scientifique - Villeneuve d'ascq Avec le déploiement d’infrastructures matérielles pour le calcul intensif aussi bien au niveau national qu’européen, les …

###"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 production d’électricité renouvelable grâce à une classe de …

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), Mécanisme et écriture; les racines culturelles du calcul. C’est avec plaisir que nous annonçons le séminaire : …

###"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 relie la logique au calcul. À première vue, il semble s’agir …

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).

###"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 l’économie, des vols spatiaux, de la médecine, de la robotique, etc. Une théorie …

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 …