Blog Archive

Consultez tous les billets du blog dans notre archive. Cliquez sur un titre pour lire le chapeau (teaser).

Tresor shell › Projet d'informatique pour l'entreprise
Google Developer Student Clubs — Université Côte d’Azur › Vie étudiante
Création d’un club de programmation étudiant Lire plus ›

Rentrée universitaire 2023 › Licence Informatique
Quelques informations utiles pour la rentrée Lire plus ›

Model Checking › E. De Maria
Ce cours porte sur des méthodes et des outils qui permettent de vérifier automatiquement si un système (software ou hardware) vérifie une spécification donnée. Lire plus ›

Rentrée universitaire 2023 - Master › Master Informatique
This post is about the presentation day for the first year of the master in Computer Science. Lire plus ›

Nouveau site web pour l’UP info › Unité Pédagogique informatique
L’unité pédagogique informatique se dote d’un nouveau site ! Lire plus ›

Informatique pour l'entreprise › M. Pelleau
Ce cours a pour but de faire utiliser quelques outils informatique pour la gestion de projets, y compris de façon collaborative et de voir comment travailler de façon efficace pour gérer correctement du code sur des machines différentes. Lire plus ›

Base de données › M. Pelleau
Ce cours a pour but de faire découvrir les bases de données relationnelles, y compris de façon pratique avec SQL et des interfaces de programmation. Lire plus ›

Base de données
TP noté Lire plus ›

Coding Battle - Le Shaker 2022 › UCAnCODE
Les étudiants de l'Université Côte d'Azur ont participé au concours de programmation de jeu web organisé par INSAlgo et le Liris. Lire plus ›

Base de données › M. Pelleau
Ce cours a pour but de faire découvrir les bases de données relationnelles, y compris de façon pratique avec SQL et des interfaces de programmation. Lire plus ›

Contrôle de drones › T. Hamel
Introduction à la modélisation, aux méthodologies de contrôle et d'observateurs d'état de drones Lire plus ›

Rentrée universitaire 2022 › Master Informatique
This post is about the presentation day for the first year of the master in Computer Science. Lire plus ›

Rentrée universitaire 2022 › Licence Informatique
Quelques informations utiles pour la rentrée Lire plus ›

Candidater en Licence et Master Informatique pour 2022/2023 › ECandidat et Études en France
Vous trouverez ici des informations et les calendriers pour candidater en Licence et Master Informatique pour l'année universitaire 2022/2023. Lire plus ›

Liste des sujets de TER 2022 › M1 INFO et MIAGE
Le TER (Travail d’Étude et de Recherche) est un stage sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il sanctionne la fin du Master 1 et s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Liste des sujets de stage 2021/2022 › M2 INFO
Les étudiants du Master 2 Informatique et Interactions de l'Université Côte d'Azur vont effectuer un stage de recherche ou professionnalisant lors de leur quatrième (et dernier) semestre. Lire plus ›

Coding Battle - Le Shaker 2021 › UCAnCODE
Les étudiants de l'Université Côte d'Azur ont participé au concours de programmation de jeu web organisé par INSAlgo et le Liris. Lire plus ›

Appel à sujets TER S3 › M2 INFO
Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 8 semaines (1 à 2 jours par semaine). Lire plus ›

Résolution de problèmes et jeux › A. Malapert
Ce cours a pour objectif de montrer comment des problèmes de la vie réelle peuvent être modélisés et résolus, tels que des problèmes de recherche opérationnelle ou des jeux. Différents types de méthodes seront présentées, comme les algorithmes gloutons, la recherche locale, la logique, la programmation linéaire, ou la programmation par contraintes. Lire plus ›

Liste des sujets de TER 2021 › M2 INFO
Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Rentrée universitaire 2021 › Master Informatique
This post is about the presentation day for the first year of the master in Computer Science. Lire plus ›

Forum de l'Alternance 2021 › Alternance
Venez participer au Forum virtuel de l'Alternance MIAGE - INFO organisé pour favoriser les échanges entre les entreprises et les étudiants le mardi 30 mars 2021 de 13h à 18h. Lire plus ›

Candidater en Master Informatique pour 2021/2022 › ECandidat et Études en France
Vous trouverez ici des informations et les calendriers pour candidater aux deux années du Master Informatique pour l'année universitaire 2021/2022. Cette page sera mise à jour régulièrement. Lire plus ›

Liste des sujets de TER 2021 › M1 INFO et MIAGE
Le TER (Travail d’Étude et de Recherche) est un stage sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il sanctionne la fin du Master 1 et s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Liste des sujets de stage 2021 › M2 INFO
Les étudiants du Master 2 Informatique et Interactions de l'Université Côte d'Azur vont effectuer un stage de recherche ou professionnalisant lors de leur quatrième (et dernier) semestre. Lire plus ›

Appel à sujets de stage › M2 INFO
Les étudiants du Master 2 Informatique et Interactions de l’Université Côte d’Azur vont effectuer un stage de recherche ou professionnalisant lors de leur quatrième (et dernier) semestre. Lire plus ›

Convention de stage › Licence et Master Informatique
Vous trouverez ici des informations pour déclarer votre convention de stage. Lire plus ›

Diplômés 2020 › Parcours Informatique et Interactions
Les vendredi 4 septembre et lundi 7 septembre 2020, les treize étudiants du parcours Informatique et interactions ont soutenu leur mémoire de fin d'études. Félicitations à eux ! Lire plus ›

Coding Battle - Le Shaker 2020 › UCAnCODE
Les étudiants de l'Université Côte d'Azur ont participé au concours de programmation de jeu web organisé par INSAlgo et le Liris. Lire plus ›

Alternance 2020-2021 › Alternance au Master Informatique
Informations spécifiques à la formation par apprentissage et par contrat de professionnalisation pour l'année 2020-2021 Lire plus ›

Sécurité opérationnelle › B. Martin
Ce cours propose une initiation à la cyber-sécurité, une découverte des outils d'audit, et une présentation des techniques d'attaque des applications web. Lire plus ›

Games On Web 2020 › UCAnCODE
Les étudiants de l'Université Côte d'Azur ont participé au concours de programmation de jeu web organisé par CGI, en partenariat avec MIAGE, Polytech Sophia et l'IUT de Nice Cote d'Azur. Lire plus ›

Devenez Fablabmanager › Campus Valrose
Décourvrez l'impression 3D, la programmation arduino dans un laboratoire de fabrication numérique ! Lire plus ›

Liste des sujets de TER 2020 › M2 INFO
Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 3-4 mois (2 jours par semaine). Lire plus ›

Charte Graphique › Licence et Master Informatique
Retrouvez ici les logos pour vos présentations, rapports de projet et stage. Lire plus ›

Rentrée universitaire 2020 › Master Informatique
Ce billet est le journal de bord de la rentrée pédagogique du Master Informatique. Il concerne les parcours Informatique et Computer Science du M1 et le parcours Informatique et interactions du M2. Lire plus ›

Programmation de jeux vidéo multi-joueurs (mineure) › M. Buffa
Nous vous proposons ici une mineure DS4H de programmation de jeux vidéo multi-joueurs, incluant graphismes 2D et 3D à 60 images/s, les aspects multi-joueurs temps réel, comportements réactifs et implémentations d'algorithmes classiques (graphes, A*, quadtrees, etc.). L'implémentation se fera en JavaScript et sans doute à l'aide d'une librairie 2D ou 3D. Le suivi de la mineure Technologies Web que je propose à côté de ce cours sera un bon complément/support d'apprentissage de la programmation JavaScript. Lire plus ›

Des vidéos spéciales étudiants pour votre insertion professionnelle › Mon coach pour décrocher un job
Afin de vous aider à distance à postuler pour vos alternances, stages et premiers jobs, vous trouverez des vidéos spécialement conçues pour des profils junior par notre service relations Entreprises avec des conseils de recruteur. Lire plus ›

Dossier ECandidat › Master Informatique
Vous trouverez ici des informations pour constituer le dossier de candidature sur ECandidat. La plupart des recommandations restent valables pour un dossier de candidature sur etudes-en-france. Lire plus ›

Candidater en Master Informatique pour 2020/2021 › ECandidat et Études en France
Vous trouverez ici des informations et les calendriers pour candidater aux deux années du Master Informatique pour l'année universitaire 2020/2021. Lire plus ›

Improving the design flow › Project Software Engineering
The project aims at improving the design flow for printing protective equiment for COVID-19. Read More ›

Retrouvons-nous sur discord › CoVid-19
L'université est fermée depuis le lundi 16 mars 2020 suite aux annonces gouvernementales, mais les cours du Master Informatique continuent sur discord ! Lire plus ›

Liste des sujets de TER 2020 › M1 INFO et MIAGE
Le TER (Travail d’Étude et de Recherche) est un stage sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il sanctionne la fin du Master 1 et s’étend sur environ 3-4 mois (1 jours par semaine). Lire plus ›

Séminaires Big Data 2020 › MIAGE-MBDS
Les séminaires BIG DATA autour des technologies numériques organisés par la MIAGE-MBDS débutent aujourd'hui ! Lire plus ›

Liste des sujets de TER 2019 › M2 INFO
Le TER (Travail d’Étude et de Recherche) est un stage sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 3-4 mois (2 jours par semaine). Lire plus ›

Diplômés 2019 › Recherche et Informatique Fondamentale
Le 10 septembre 2019, trois étudiants du parcours recherche ont soutenu leur mémoire de fin d'études. Félicitations à eux ! Lire plus ›

Alternance 2019-2020 › Alternance au Master Informatique
Informations spécifiques à la formation par apprentissage et par contrat de professionnalisation pour l'année 2019-2020 Lire plus ›

Introduction à l'informatique par le web › J. Deantoni
Cours de découverte de la programmation informatique en Python au travers de thématiques concrètes issues du web. Lire plus ›

Devenez tuteur en Licence › Campus Valrose
Renforcez vos apprentissages, aidez les autres, et gagnez votre salaire ! Lire plus ›

IBM Ilog Optimization Studio › Installation, Configuration et Démarrage
IBM Ilog Optimization Studio est une des suites logicielles les plus complètes pour la programmation linéaire, quadratique, et par contraintes. Elle est fréquemment utilisée dans l'industrie. Lire plus ›

Tutoriel UCAnCODE › UCAnCODE
Ce tutoriel vous fait découvrir les plateformes utilisées pour les activités de programmation UCAnCODE. Lire plus ›

Un robot cartographe › De Scrappy à la cartographie
Ce TER a pour objectif de transformer un robot explorateur en un robot cartographe. Lire plus ›

Prédiction d'appels › Machine Learning
Ce TER a pour objectif de prédire le nombre d'appels journalier d'un call center. Lire plus ›

École de Cybersécurité 2019 › 17-19 juin 2019
Cette école s’intéresse à trois thématiques récentes dans le domaine de la cybersécurité: blockchain ; cyber et IA ; sécurité et big data. Lire plus ›

Google Hash Code 2019 › UCAnCODE
Pour cette 2ème participation au Google HashCode, le hub UFR Sciences a réuni 79 participants répartis en 29 équipes qui ont contribué à placer la France à la première place dans le classement par pays. Lire plus ›

Vérification de programmes en PPC › M. Pelleau
Ce cours est une introduction à la vérification de programmes en utilisant l'interprétation abstraite et la programmation par contraintes. Lire plus ›

Type Systems › C. Di Giusto
The aim of the course is to introduce a family of formal methods to reason about programs. We will focus on type systems that are useful for statically prove the absence of some bad program behaviours. Read More ›

Travail d'étude et de recherche (TER) › M. Pelleau
Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Théorie des Graphes avancée › N. Nisse
This lecture is the continuation of the lecture on graphs and algorithms that I give in Master 1. Lire plus ›

Systèmes dynamiques finis › A. Richard
In many branches of current science, graphs, and dynamic processes on these graphs, are considered. Finite Dynamical Systems - also called Automata Networks - allow for an unmistakable representation of such processes. They are, for example, classical models for the dynamics of biological networks (neural and gene networks), social networks (epidemic diffusion), or communication networks (network coding). Lire plus ›

Solveur Programmation par Contraintes › J.-C. Régin
Preuve et programmation fiable › Y. Bertot
L'objectif de ce cours est de décrire comment produire des programmes entièrement corrects vis-à-vis de spécifications logiques en utilisant le système de preuve Coq. Lire plus ›

Parallelisme avancé › C. Xu
This course mainly focus on distributed-memory parallel framework, where each processor (core, CPU, GPU, IoT device) has its own memory space which can not be shared with others. Lire plus ›

Optimisation des performances des codes › S. Touati
Nous aborderons les techniques automatiques d'optimisation des performances des programmes qui s'exécutent directement sur les processeurs modernes. Les aspects d’interaction bas niveau entre logiciel et matériel sont étudiés. Lire plus ›

Modélisation Avancée PPC/PL › A. Malapert
We introduce some combinatorial problems, algorithms and general methods such as linear and constraint programming. Lire plus ›

Model Checking › E. De Maria
Ce cours porte sur des méthodes et des outils qui permettent de vérifier automatiquement si un système (software ou hardware) vérifie une spécification donnée. Lire plus ›

Contrôle de drones
Complexité Avancée › E. Formenti
Concours de Retro Gaming › UCAnCODE
Le département informatique de l’Université Côte d’Azur, l’IUT, Polytech Nice, et CGI à Sophia-Antipolis, organisent un concours de programmation de jeu rétro, ouvert aux formations en informatique Sophipolitaines. Une cérémonie de remise de prix aura lieu à l'issu du concours. A la clé, de nombreux lots pour les équipes lauréates. Lire plus ›

Forum de l'Alternance 2019 › Apprentissage
Venez participer au Forum de l'Alternance organisé par la MIAGE, le MBDS, et le Master Informatique pour favoriser les échanges entre les entreprises et les étudiants le mardi 19 mars 2019 de 14h00 à 17h30 sur le site des Lucioles. Lire plus ›

Google Summer of Code 2019 › UCAnCODE
GSOC est un programme global pour encourager les étudiants à participer plus au développement des logiciels libres. Lire plus ›

Google Hash Code 2019 › UCAnCODE
Pour la 2ème année, nous organisons le hub UFR Sciences pour le Google HashCode. Lire plus ›

Travail encadré d'étude, de recherche et de dévelopement › S. Jeannin, J. Deantoni
L'objectif est de réaliser, en équipe, un projet de fin d'études qui combine plusieurs thèmes appris durant vos études. Le sujet à réaliser change régulièrement ainsi que les enseignants. Chaque année, le responsable de licence vous communiquera le sujet du projet à réaliser pour que vous puissiez faire votre choix. Lire plus ›

Programmation fonctionnelle › E. Lozes
Ce cours est une introduction à la programmation fonctionnelle typée. Le langage support pour le cours est OCaml. Lire plus ›

Programmation et conception orientée objet › S. Jeannin, C. Leturc
Il s'agit d'un cours de Programmation Orientée Objet qui se base sur le langage Java. Lire plus ›

Paradigmes et interprétation › E. Lozes, E. De Maria
Ce cours s'intéresse aux concepts qui sont à la base de nombreux langages de programmation. Afin de comprendre ces concepts, on programmera des interpréteurs de petits langages qui les mettent en oeuvre. Lire plus ›

Méthodes de simulation informatique › E. Formenti
Ce cours a pour objectif s'initier à la démarche scientifique: expliquer, prevoir et valider l'étude d'un phénomène à l'aide d'un base de données. Savoir présenter un problème, discuter les approches de résolution possibles, défendre des conclusions devant des pairs, et réciproquement savoir évaluer les résultats d'autres études sur des sujets connexes. Lire plus ›

Grands concepts de l'Informatique › C. Crespelle
L'objectif de ce cours est de faire découvrir de concepts qui dominent l'informatique au-delà de l'ordinateur. Lire plus ›

Cryptographie et calcul symbolique › B. Martin, S. Julia
Découverte et mise en oeuvre des principes de bases de la cryptographie moderne alliée à celle du calcul formel Lire plus ›

Compilation › S. Touati
Introduction aux méthodes d'analyse syntaxique et d'analyse sémantique, dans le cadre de la construction de compilateurs et de traduction d'un formalisme en un autre. Lire plus ›

Automates et langages › S. Julia
Introduction à la théorie des automates et des machines à états finis, des langages formels, et découverte de leurs principales applications Lire plus ›

Architecture machine › S. Touati
Ce cours présente de façon approfondie les différentes composants des architectures d'ordinateurs, depuis les portes logiques jusqu'au niveau du processeur. Nous apprendrons comment concevoir un processeur simple, et comment le programmer au niveau assembleur et binaire. Nous montrerons aussi comment des décisions architecturales peuvent influencer sur les performances. Lire plus ›

Algorithmique 2 › C. Crespelle
Courte description Lire plus ›

Technologies du web › P. Urso
Ce cours présente le fonctionnement du web, ainsi que la production de pages web statiques et la programmation de pages web dynamiques, tant du côté client que serveur. Lire plus ›

Systèmes 2 › S. Touati
Cet enseignement présente les principaux concepts d'un système d'exploitation permettant d'orchestrer l'exécution de plusieurs processus en parallèle, de les faire communiquer et synchroniser, de gérer et exécuter des entrées/sorties, de gérer la mémoire principale d'un ordinateur ainsi que son espace disque. Lire plus ›

Structures de données et programmation C › M. Pelleau, O. Baldellon
Ce cours a pour objectif d'introduire les structures de données les plus classiques en s'appuyant sur le langage de programmation bas niveau C. Lire plus ›

Réseaux et télécommunication › G. Menez, R. Aparicio-Pardo
Ce cours présenter les principes de fonctionnement des réseaux de téléommunication depuis le signal à transmettre jusqu'à la réalisation de réseaux locaux. Lire plus ›

Outils formels de l'informatique › E. Formenti
Initiation à l'étude des fondements théoriques de l'informatique. Lire plus ›

Concepts d'intelligence artificielle › J.-C. Régin
Ce cours est destiné aux étudiants qui souhaitent se spécialiser en intelligence artificielle. Lire plus ›

Bases de données › E. De Maria
L'objectif de ce cours est d'apprendre à créer et manipuler des bases de données relationnelles et de comprendre les problèmes qui y sont liés. Lire plus ›

Algorithmique 1 › M. Pelleau, S. Julia
Le but du cours est d'introduire l’étudiant à l’algorithmique, en mettant l'accent sur les stratégies de conception d'un algorithme efficace. Lire plus ›

Algo & Prog avec R › A. Malapert
Ce cours est une initiation à l'algorithmique et à la programmation dans le langage R pour portail Sciences et Technologies. Lire plus ›

Système 1 › F. Guingne
L'objectif de ce cours est d'acquérir une certaine autonomie sous un environnement GNU/Linux et en programmation de scripts shell Lire plus ›

Programmation impérative › O. Baldellon
Ce cours est une introduction à la programmation impérative dans le langage Python Lire plus ›

Bases de l'informatique › C. Di Giusto
Ce cours est une introduction à la science informatique via certaines grandes thématiques comme la logique, les types récursifs ou les automates. Lire plus ›

Winter School 2019 › Hands-on Machine Learning
This course provides a practical introduction to the methods and algorithms at the core of machine learning. The course mainly covers the first 7 chapters of Aurélien Géron's book "Hands-On Machine Learning with Scikit-Learn & TensorFlow" with practical exercises using Scikit-Learn. Read More ›

Liste des sujets de TER 2019 › M1 INFO et MIAGE
Le TER (Travail d’Étude et de Recherche) est un stage sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il sanctionne la fin du Master 1 et s’étend sur environ 3-4 mois (1 jours par semaine). Lire plus ›

Archive des sujets de TER de 2014 à 2018 › M1 INFO
Le TER (Travail d’Étude et de Recherche) est un stage sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il sanctionne la fin du Master 1 et s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Appel à sujets TER › M2 INFO
Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 8 semaines (1 jour par semaine). Lire plus ›

Appel à sujets TER › M1 INFO et MIAGE
Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il sanctionne la fin du Master 1 et s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Concours du 14 décembre 2018 › UCAnCODE
110 équipes composées de 199 participants ont soumis 1416 programmes pour résoudre les 8 problèmes proposés. Lire plus ›

La fête de la science › Le stand du Laboratoire i3s
La fête de la science est un événement à l'échelle nationale qui a pour but de faire découvrir les sciences à un large public (écoliers, collégiens, lycéens et adultes). Lire plus ›

Projet d'étude : Scrappy › Un robot explorateur
Ce TER a pour objectif l’amélioration d’un robot explorateur capable de détecter et éviter des obstacles. Lire plus ›

Web › A. Tettamanzi
The Web, originally intended to be an open document-sharing platform, has evolved into a distributed platform for the deployment and execution of applications, to the point that it can now be viewed as a sort of global operating system (the programmable web). Read More ›

Travail d'étude et de recherche › A. Richard
Le TER (Travail d’Étude et de Recherche) est un stage sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il sanctionne la fin du Master 1 et s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Software Engineering › F. Mallet
This course is about learning several techniques to help be more efficient in Software Engineering. The Programming Language is Java. Read More ›

Sécurité › B. Martin
Ce cours présente les concepts généraux de la sécurité et de la vie privée selon différents points de vue. Lire plus ›

Programmation Synchrone › F. Mallet
Le cours offre une introduction à la programmation synchrone en mélangeant les approches déclaratives, flots de données ou basées sur les états. Lire plus ›

Operations Research › J.-C. Régin
This course is about shortest path and maximum flow problems in graphs. Read More ›

Modélisation Programmation par Contraintes › J.-C. Régin
Ce cours introduit les principes de la modélisation en programmation par contraintes. Divers problèmes seront considérés et diverses modélisations envisagées. On s’intéressera aux contraintes globales, aux symétries et aux méthodes de recherches de solutions. Lire plus ›

Méthodes avancées PPC/PL › A. Malapert
Nous introduisons la programmation linéaire tout en continuant l'apprentissage de la modélisation PPC/PL avec un solveur très utilisé dans l'industrie. Lire plus ›

Logique avancée › M. Avanzini, E. Lozes
With this lecture we invite you to discover some close links between logic and automata. Read More ›

Internet of the future › R. Aparicio-Pardo
This course is not available in 2020-2021. This course aims to present the most recent trends, technologies and protocols deployed in Internet nowadays. Read More ›

Graphs › N. Nisse
This lecture presents different ways to efficiciently address « difficult » (NP-hard) problems. Read More ›

Gestion de projet › P. Urso
Les notions clés abordées dans ce cours sont l’intégration continue et le déploiement automatique. Lire plus ›

Entrepreneuriat › N. Sauvage
L’objectif de ce module est d’aborder les différents choix qui s’offrent à un créateur d’entreprise sous un aspect pratique et surtout en insistant sur les pièges à éviter. Lire plus ›

Communication and Concurrency › C. Di Giusto
L’objectif du cours est d'introduire des formalismes mathématiques pour modéliser et raisonner sur les propriétés de systèmes parallèles. Read More ›

Combinatorial Optimization › J.-C. Régin
This course presents greedy algorithms, decision diagrams, and markov models. Read More ›

Anglais › P. Yamate
The objectives of the course are to improve your general and professional English level. Read More ›

Algorithmique et Complexité › E. Formenti
La complexité computationnelle est une notion fondamentale en informatique qui essaye de comparer/classer les algorithmes par rapport à des fonctions de coût des ressources demandées par leur exécution (complète). La complexité d’un algorithme est donc une mesure de la qualité et comme toute mesure elle a besoin d’un système de référence. Les machines de Turing vont être notre principal système de référence. Lire plus ›

Advance OS › S. Touati
We will learn some internal concepts on operating systems and their kernels. Read More ›

BD vers Big Data avancé › G. Mopolo
This concept-based course on BIG DATA MANAGEMENT is self-contained including seminars to summarize prerequesites. Lire plus ›

Travail d'étude et de recherche (TER) › C. Di Giusto
Traitement automatique du texte en IA › E. Cabrio
En intelligence Artificielles (IA), le Traitement Automatique du Langage Naturel (TALN) est une discipline qui a pour objectif de modéliser, grâce à l'informatique, le langage qu'il soit écrit ou parlé. Les technologies TALN sont présentes, de manière grandissante, dans divers systèmes grands public (par ex. Google, IBM Watson, Facebook, Apple Siri). Lire plus ›

Systèmes complexes avancés › C. Crespelle
L'étude des réseaux complexes est devenue centrale en science des données. Ces grands jeux de données organisés en réseaux, c'est-à-dire composés d'un très grand nombre d'entités en interaction entre elles, se retrouvent dans des contextes aussi variés que l'informatique, les sciences sociales, la biologie, la médecine, la linguistique, les transports, les communications, l'économie, la production industrielle et d'autres encore. L'étude de ces réseaux est devenue cruciale pour répondre aux questions qui se posent dans tous ces contextes. Le cours fournira les notions et outils de base pour la manipulation et l'analyse de ces immenses jeux de données. Incontournable dans la panoplie du data scientist. Le cours couvrira en particulier les aspects suivants: - propriétés fondamentales de ces réseaux (densité, distribution des degrés, coefficient de clustering, distances), - les modèles classiques (Erdos-Rényi, Configuration model, Watts-Strogatz, Barabasi-Albert), - mesures de centralité (pierre angulaire du succès de Google), - structure communautaire, - prévision de liens (mécanisme des systèmes de recommandation), - réseaux dynamiques, - phénomènes de diffusion. Lire plus ›

Safety critical systems › F. Mallet
Safety critical systems require the use of formal models and rely on exhaustive analysis techniques to ensure that a piece of software actually does what it is supposed to do (with regards to the requirements) et does it correctly (without bugs). This lecture gives an overview of some techniques and languages used in that context. Read More ›

Résolution de problèmes › M. Pelleau
Ce cours a pour objectif de montrer comment des problèmes de la vie réelle peuvent être résolus, tels que l’allocation de portes d’embarquement aux avions, la recherche de chemins sous contraintes, etc. Différents types de méthodes seront présentées, comme les algorithmes gloutons, la recherche locale et la programmation par contraintes. Lire plus ›

Projet développement › M. Winter
Ce module a pour objectif de donner aux étudiants les bases incontournables de la gestion de projet informatique, à la fois en termes de planification en amont du démarrage que de suivi une fois le projet commencé. Lire plus ›

Programming challenge › A. Malapert
This course will introduce an interesting variety of subjects in programming, algorithms, and discrete mathematics though puzzles and problems which have appeared in the International ACM Programming Contest and similar venues. Read More ›

Parallelism › C. Di Giusto
In this course we will study how to design and implement parallel algorithms for modern multicore machines. Read More ›

Neural networks and learning › E. Formenti
The main goal of the course is to introduce the students to the different concepts of machine learning by neural networks (also several other models will be considered). For most subjects, first the formal aspects and concepts will be introduced and explained, then they will be illustrated through a series of programming exercises and experiments. Read More ›

Logic for AI › A. Tettamanzi
Logic plays an important role in areas of computer science as diverse as software engineering (specification and verification), programming languages (semantics, logic programming), and artificial intelligence (knowledge representation and reasoning). Read More ›

Introduction à la calculabilité › E. Formenti
Le cours adopte tout d’abord une vision abstraite (les fonctions partielles partiellement récursives – PPR en abrégé) pour aller définir une classe de fonctions “candidate” à caractériser les capacités calculatoires des ordinateurs d’aujourd’hui (et de tous ceux qui sont basées sur le modèle de Von Neumann). Ensuite nous allons introduire les machines RAM en tant que version simplifiée d’un ordinateur moderne et nous montrerons que les fonctions calculées par ces machines coïncident avec les fonctions PPR. Par un argument diagonal nous montrerons qu’il existe des fonctions non-calculables. Lire plus ›

Graphes et programmation dynamique › C. Crespelle
Les graphes sont un objet mathématique très simple composé d'un ensemble de sommets dont certains sont deux à deux reliés par des arêtes. Malgré leur simplicité, ils modélisent des situations très variées et de nombreux problèmes d'optimisation sont formulés en termes de graphes. Le cours introduira les notions de base sur les graphes, leurs représentations en mémoire, les problèmes algorithmiques classiques sur ces objets et les techniques pour les résoudre. Le cours abordera en particulier les problèmes suivants: - plus courts chemins, - arbre couvrant de poids minimum, - voyageur de commerce et cycle/chemin hamiltonien, - coloration des sommets, - flot maximum et coupe minimum. Nous concevrons des algorithmes pour résoudre ces problèmes, qui mettront en œuvre des techniques générales d'algorithmique telles que la programmation dynamique, les algorithmes gloutons et l'approche diviser pour régner. Lire plus ›

Génie logiciel › J.-C. Régin
L’objectif est de prolonger l’apprentissage du développement en partant du paradigme de la programmation orientée objet acquis en Licence vers des méthodes et techniques du Génie Logiciel. L’évolution se fera par l’étude de design patterns et de notions de métriques, puis par la programmation orientée composant. Lire plus ›

Computer networks › C. Barakat
This course aims to present the architecture of the computer networks from a protocol perspective. Read More ›

Architectures de processeurs hautes performances › S. Touati
L’informatique est composée d’une partie logicielle et d’une partie matérielle. Cette matière est destinée aux étudiants souhaitant approfondir leurs connaissances et compréhension dans le fonctionnement des machines d’aujourd’hui et demain. Ces connaissances sont indispensables pour parfaire vos études en sciences et ingénierie informatiques, mais également pour que vous puissiez écrire des programmes efficaces et performants. Il ne s’agit pas d’un cours de conception de processeurs, mais un cours d’explications des mécanismes internes, vous permettant de comprendre comment le logiciel et le matériel interagissent ensemble. Lire plus ›

Advanced programming › J.-C. Régin
This course focuses on advanced concepts in programming and their implementation. Effective code writing will be considered. Concepts like dynamic linking, memory management, low level function call will be studied. Read More ›

Internet of Things (IoT) : software components › G. Menez
The Internet of Things (IoT) creates opportunities for more direct integration of the physical world into computer-based systems, resulting in efficiency improvements, economic benefits, and reduced human exertions. This is a true challenge for deployed technologies and sciences. This course will introduce some issues and candidate solutions from a software standpoint. Read More ›

BD vers Big Data › G. Mopolo
Le cours a pour objectif de clarifier les concepts et standards qui sous-tendent les types de données (structurées, semi-structurées, non structurées) avec un approfondissement des standards SQL3 et OQL (autour du 3ième Manifeste de Chris DATA) avec des TD Pratiques autour d’Oracle. Lire plus ›

AI game programming › J.-C. Régin
This course presents different techniques to program games for one or two players. For two-player games, only full information games will be considered. Read More ›

Recherche Opérationnelle › A. Malapert
Ce cours est une introduction à la recherche opérationnelle à travers la théorie des graphes, une théorie informatique et mathématique. La théorie des graphes a de nombreuses applications dans tous les domaines liés à la notion de réseau (réseau social, réseau informatique, télécommunications, etc.) et dans bien d'autres domaines (par exemple génétique) tant le concept de graphe, à peu près équivalent à celui de relation binaire (à ne pas confondre donc avec graphe d'une fonction), est général. Lire plus ›

Diplômés 2018 › Recherche et Informatique Fondamentale
Le 6 septembre 2018, sept étudiants du parcours recherche ont soutenu leur mémoire de fin d'études. Félicitations à eux ! Lire plus ›

Écrire un syllabus ou un post › Prénom Nom, MCF/PR/PhD/MSc
Vous apprendrez comment écrire facilement un syllabus ou un post, puis à le publier par courriel ou directement par github. Lire plus ›

Concours du 27 avril 2018 › UCAnCODE
Plus de 74 équipes (148 participants) ont soumis 1228 programmes pour résoudre les 9 problèmes proposés. Lire plus ›

Google Hash Code 2018 › UCAnCODE
Pour cette 1ère participation au Google HashCode, le hub UFR Sciences a réuni 58 participants répartis en 19 équipes qui ont contribué à placer la France à la première place dans le classement par pays. Lire plus ›

Concours du 15 décembre 2017 › UCAnCODE
Plus de 70 équipes composées de plus de 120 participants ont soumis 1298 programmes pour résoudre les 10 problèmes proposés. Lire plus ›