Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire

Dimension: px
Commencer à balayer dès la page:

Download "Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire"

Transcription

1 Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars avait marquéunpas importantdans lareconnaissancedel informatiquecommescienceà part entière avec la création d une chaire annuelle, Informatique et sciences numériques au CollègedeFrance.Faceàl importancedecettediscipline,ycomprisparleshorizonsgigantesques qu elle permet d ouvrir pour les autres sciences, l Assemblée des professeurs du Collège de Franceadécidédecréerunechairepérenneeninformatique.ElleanomméGérardBerrytitulaire decettenouvellechaire Lacréationdelachaire,Algorithmes,machinesetlangagesmarqueainsiunenouvelleétapedans la reconnaissance de la science informatique. En effet, si le terme «informatique» renvoie à nombre d applications et d objets courants utilisés par tous, l informatique est d abord une sciencecomplexeetoriginalequisedoitd êtrereconnuecommetelle. Commentmodéliserettraiterinformatiquementletempsetlesévénements? La science informatique étudie cinq grands domaines fortement reliés entre eux: la représentationdel informationsousformenumérique,lesinterfacesquipermettentderecevoir etdenumériserl informationdumonderéeletd agirsurcemonde,lesalgorithmesconceptuels pourmanipulerl information,lesprogrammesquiimplantentcesalgorithmesdansdeslangages précis,etlesmachinesquiexécutentlesprogrammes. Commel indiquelenomdelachaire,c estautriangleforméparlesalgorithmes,leslangageset lesmachinesquesera consacré l essentieldes cours et desrecherchesdu Pr Gérard Berry,sans ignorer bien sûr les deux autres domaines. Gérard Berry consacrera une large partie de ses travaux et de son enseignement à une question fondamentale: comment modéliser et traiter informatiquementletempsetlesévénements? Le Professeur Gérard Berry donnera saleçon inaugurale, le jeudi 28 mars 2013 à 18h. Ses cours aurontlieulesmardisà10h00àpartirdu02avril.l ensembledececycleseradisponiblesurlesite InternetduCollègedeFrance(www.collège de France.fr). Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

2 ChaireAlgorithmes,machinesetlangages Leçoninauguraledu28mars2013(présentation) Parunglissementrécentdelalangue,lemot«informatique»setrouvedeplusenplussouvent remplacé par le mot «numérique», qu on associe à toute activité qui repose d une façon ou d uneautresurlanumérisationdel informationetsontraitementinformatique:communication numérique,économienumérique,artnumérique,etc.maisilnefautjamaisoublierquelecœur du numérique est bien l informatique, dans ses trois composantes scientifiques, techniques et industrielles.mêmesilechampd applicationdel informatiquenecessedes étendreetmêmesi lesobjetsinformatiséschangenttrèsrapidement,lascienceinformatiqueestlamêmepartoutet faitappelàdesconceptsetdesmodesderaisonnementsstablesetbienthéorisés,aveclapensée algorithmiquecommecentre. C estàlarichearticulationentrealgorithmes,langagesetmachinesquejeconsacreraimescours, enmettantunaccentparticuliersurletraitementdutempsetdesévénementseninformatique. Traiter correctement le temps et les événements est une obligation commune à de nombreux domaines d application apparemment disparatesde l informatique : les systèmes embarqués temps réel conduisant les avions ou les voitures, les systèmes sur puces que sont devenus les circuits électroniques modernes, la simulation informatique de toutes sortes de phénomènes mécaniques, physiques ou biologiques, la conception de nouvelles applications Web par composition et orchestration des milliers d applications déjà disponibles, l interprétation et la composition musicalemêlant interprèteshumains et ordinateurs, etc.lesrecherches effectuées principalement en France et maintenant amenées au niveau industrielont montré que tous ces domainesrelèventdesmêmesconceptsetdesmêmesoutilsscientifiques. J étudierai comment modéliser et traiter informatiquement le temps et les événements, en constatantd abordquelesmodélisationsclassiques de laphysiquenesuffisentpasaux besoins de l informatique. À partir de la notion d épaisseur de l instant et d exemples de circuits et de logicielstemps réels,jemontreraiqu ilfautparlerdutempssimultanémentàplusieurséchelleset àplusieursniveauxd abstraction,etqu onpeutéchangerl espaceetletempsdediversesfaçons pouroptimiserlescalculs.j élargiraiensuitelanotiondetempsphysiqueenunenotiondetemps multiforme,engendrénonseulementparlasecondemaisparlarépétitiondetoutévénementtel quelepasdumarcheuroulemètrequ ilparcourt.j étudierailadifférenceentre lesapproches synchrones, fondées sur la notion d horloge, et les approchesasynchrones qui cherchent à s en passer. Je discuterai la relation indispensable mais délicate et encore mal comprise entre les visionscontinuesetdiscrètesdutemps,danslaconceptiondescircuitsélectroniquesetdanscelui simulation de systèmes complexes, encore bien moins maîtrisé. Pour tous ces sujets, j insisterai surl importancedeslangagesformelspermettantd écrirelesspécificationsetlesprogrammeset deslogiquesformellespermettantdelesanalyseretdegarantirleursûreté. GérardBerry Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

3 ChaireAlgorithmes,machinesetlangages Présentationdel enseignementduprgérardberry Letempsetlesévénementseninformatique Lespremièresannéesdelachaireserontconsacréesàlamanipulationexplicitedutempsetdes événements en informatique, sujet particulièrement important dans plusieurs domaines de conception et de vérification de systèmes informatisés: logiciels de contrôle en temps réel de systèmesdetransports,desystèmesindustrielsetd objettrèsdivers,systèmesélectroniquessur puces qui remplacent désormais les circuits mono fonctions du XX e siècle, simulateurs informatiques de systèmes complexes, orchestration de services Web pour construire de nouvelles applications par composition d applications existantes, composition et interprétation musicale mêlant interprètes humains et ordinateurs. Gérer parfaitement le temps et les événements estcrucialdanstouscesdomaines d action. Pourtant, les méthodes et langagesde programmationclassiquesneparlentquasimentpasdutempsetnegèrentlesévénementsqu à partirdeprimitivesdeprogrammationpourlemoinsrustiquesetsouventsanssémantiqueclaire. Aprèsavoirconstatéquela langueparléedu temps estfortpoétiquemaisbien tropflouepour nos besoins, nous étudierons quels modèles mathématiques peuvent être utilisés selon les problèmes concernés, comment ces modèles peuvent fonder des langages de programmation comprenantréellementletempsetlesévénements,etcommentonpeutvérifierformellementla validité des programmes obtenus en se fondant sur ces modèles. Au moins pour les systèmes temps réels de haute sécurité et les systèmes sur puce, la vérification formelle automatique ou assistéeparordinateurdevientessentiellecarleserreursdel informatiqueembarquéedansdes objets comme lesavions,lestrains et les voiturespeuventavoirdesconséquencesdramatiques ouruineuses. Nous verrons que les modèles mathématiques doivent être bien plus variés que le modèle classiquedutempslinéairemesurépardesnombresréelsenphysique,etqu ilssontencoreloin d être figés. Nous étudierons la notion d épaisseur de l instant, qui permet de regarder les phénomènes temporels à différents niveaux d abstraction, et ses rapports avec notion informatiqued atomicitédesactions.nousmontreronslanécessitéd étendrelemodèlelinéaire standarddutempsenunmodèlebienplusrichedetempsmultiforme,oùdesformestemporelles spécifiques sont engendrées par la succession des occurrences régulières ou irrégulières d un événementparticulier.nousétudieronsladélicaterelationentrelesmodèlesentempscontinuet entempsdiscret,quiposentdepuislongtempsdesdifficultésillustréesparleparadoxedezénon (oud Achilleetlatortue). Entermesdelangagesdeprogrammation,nousporteronsuneattentionparticulièreauxlangages parallèlessynchronesdéveloppésenfrancedepuis30ans,quidonnentdesidéestrèsnouvelles pour la gestion du temps et des événements. Ces langages possèdent des sémantiques mathématiques précises, disposent d implémentations efficaces par traduction en langages classiques ou directement en circuits électroniques, ont des liens forts avec la logique mathématique.ilssontutilisésdansdessystèmesindustrielsd importancemajeure,enparticulier dans les transports. Il est étonnant de voir à quel point leurs concepts de base s appliquent parfaitement dans des domaines aussi variés que ceux cités plus haut ; la pluridisciplinarité concerneicidavantagelavariétédesapplicationseffectivesquelanaturelesidéesdebase. Maislemondenumériqueévoluevite,etlesconceptsinitiauxdusynchronenesuffisentpluspour rendre compte des systèmes plus complexes désormais développés ou envisagés: systèmes électroniques sur puces qui utilisent des horloges multiples et non synchronisées, systèmes de contrôle physiquement distribués et reliés en réseau, par exemple dans les avions, trains et Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

4 automobiles, systèmes de simulation à grande échelle posant des questions subtiles liées au mélangedessimulationslocalesentempsdiscretouentempscontinu.cessujetsenpleinessor nous demanderont l accrétion de nouvelles idées venues d autres domaines. Ils seront des thèmes privilégiés pour la recherche et l enseignement pendant la durée de la chaire. Nous insisterons enparticuliersurlesmoyensdelesdévelopperetdelesvérifierformellement,seule méthodepourgarantirleursûretéetleursécuritéàterme. LescoursduPrGérardBerryaurontlieulesmardisà10h00,àpartirdu02avril.Ilsserontsuivis,de11h00à 12h00, d un séminaire en relation avec le cours. Les séminaires associés aux cours feront intervenir des personnalités académiques ou industrielles des divers domaines concernés:électronique, avionique, musique,etc. L ensembledecetenseignementestd accèslibre,gratuitetsansinscriptionpréalable.ilseradisponiblesur lesiteinternetdel institution(www.college de France.fr). Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

5 ChaireAlgorithmes,machinesetlangages BiographieduPrGérardBERRY GérardBerryestnéle25décembre1948àParis. Ancien élève de l'école polytechnique et du Corps des mines, chercheur à l'école nationale supérieure des Mines de Paris et à l'inria, Gérard Berry a été nommé titulaire de la chaire Algorithmes, machines et langages au Collège de France en Il y avait auparavant été titulaire de deux chaires annuelles: la chaire d Innovation technologique Liliane Bettencourt (2007/2008)etlachaireannuelleInformatiqueetsciencesnumériques(2009/2010). Sa contribution scientifique concerne trois principaux sujets: le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmationesterel. Carrièreprofessionnelle 1970:IngénieurEcolePolytechnique 1973:Ingénieurdesmines 1979:Thèsededoctoratd'Etatèssciencesmathématiques :Chercheuràl EcoledesMinesdeParis,centredecalculdeParis,etresponsablede projetàl INRIAde1972à : Directeur de recherches au centre de mathématiques appliquées de l Ecole des Mines de Paris à Sophia Antipolis. Directeur du laboratoire de 1993 à Co responsable du projet«parallélisme, synchronisation et temps réel», commun avec l INRIA Sophia Antipolis de 1981à : consultant régulier dans les sociétés Digital Equipment, Schneider Electric, Synopsys,CadenceDesignSystems,etIntel. 2001/2008DirecteurscientifiquedelasociétéEsterelTechnologies :professeurauCollègedeFrance,chaireannuelleInnovationtechnologiqueLiliane Bettencourt : Professeur au Collège de France, chaire annuelle Informatique et sciences numériques. Distinctionshonorifiques Membredel'Académiedessciences,del'Académiedestechnologies,etdel'AcademiaEuropaea 1979MédailledeBronzeduCNRS 1990PrixMonpetitdel'Académiedessciences 1994Chevalierdel'Ordredespalmesacadémiques 1999PrixScienceetdéfense 2005GrandprixdelaFondationEADSpourlesapplicationsdelascienceàl'industrie 2010Chevalierdel ordredumérite 2012Chevalierdel ordredelalégiond honneur Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

Jeudi 19 Juin 2014 Novotel Paris Bercy http://www.plmlab.fr/btb10

Jeudi 19 Juin 2014 Novotel Paris Bercy http://www.plmlab.fr/btb10 Journée «Back to basics 10» de l association PLM lab PLM et Ingénierie Concourante Mettre en place une collaboration entre les métiers ; le cas de la mécatronique et autres exemples Jeudi 19 Juin 2014

Plus en détail

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique

Plus en détail

Langages de programmation: approche scientifique

Langages de programmation: approche scientifique IGE 2004 - ENS 29 juin 2004 Présentation au CGTI 1 Informatique théorique 2 3 Une science? Informatique théorique Chaque science repose un dogme fondamental. Les mathématiques Les raisonnements formels

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

Plus en détail

Les sections 6 et 7. du ComitéNational de la RechercheScientifique

Les sections 6 et 7. du ComitéNational de la RechercheScientifique Les sections 6 et 7 du ComitéNational de la RechercheScientifique (CoNRS) Frédérique Bassino et Michèle Basseville Plan Le comité national Les missions des sections Les sections 6 et 7 Le comiténational

Plus en détail

Réunion de rentrée étudiants M2 Conception, Modélisation et Architecture de Systèmes Industriels Complexes

Réunion de rentrée étudiants M2 Conception, Modélisation et Architecture de Systèmes Industriels Complexes 1 Réunion de rentrée étudiants M2 Conception, Modélisation et Architecture de Systèmes Industriels Complexes Eric Goubault 08/09/2015 Pourquoi COMASIC? 2 notre société technologique repose sur des systèmes

Plus en détail

MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS. Présentation. Objectifs. Compétences visées. Organisation. Stage.

MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS. Présentation. Objectifs. Compétences visées. Organisation. Stage. MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité :

Plus en détail

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion LICENCE FONDAMENTALE INFORMATIQUE DE GESTION Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion I. Présentation de la licence Le but de la Licence

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE / STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Spécialité Ingénierie Numérique, Signal-Image et Informatique Industrielle (INS3I) www.univ-littoral.fr OBJECTIFS

Plus en détail

ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION

ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION ED Pôle 1: Automatique, Traitement du Signal, Traitement des Images, Robotique F. Lamnabhi-Lagarrigue lamnabhi@lss.supelec.fr

Plus en détail

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification 1 sur 8 26/09/2013 16:49 Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification Intitulé Licence : Licence Sciences, technologies, santé mention Informatique

Plus en détail

Première édition des Prix INRIA : l institut révèle le nom des lauréats

Première édition des Prix INRIA : l institut révèle le nom des lauréats Première édition des Prix INRIA : l institut révèle le nom des lauréats Paris le 4 juillet 2011. Les Prix INRIA ont pour vocation de reconnaître et de distinguer des chercheurs en sciences informatiques

Plus en détail

Utilisation de Cabri-Géomètre à l école élémentaire en cycle II et III. Massola Jean-Pierre. massola@paris.iufm.fr. IUFM de Paris - France

Utilisation de Cabri-Géomètre à l école élémentaire en cycle II et III. Massola Jean-Pierre. massola@paris.iufm.fr. IUFM de Paris - France 1 Utilisation de Cabri-Géomètre à l école élémentaire en cycle II et III Massola Jean-Pierre massola@paris.iufm.fr IUFM de Paris - France 2 1-Historique Les écoles élémentaires de Paris, plutôt sous-équipées

Plus en détail

Introduction à la Programmation Sylvain Tisserant

Introduction à la Programmation Sylvain Tisserant INFO 1 Introduction à la Programmation Sylvain Tisserant Mes coordonnées Enseignant-Chercheur Professeur au département IRM depuis sa création (ES2I, ESIL, Polytech Marseille) Directeur du département

Plus en détail

Séminaire inter-académique LYON (12-13 décembre 2007) Expérimentation en mathématiques, épreuve pratique de mathématiques : formation des élèves

Séminaire inter-académique LYON (12-13 décembre 2007) Expérimentation en mathématiques, épreuve pratique de mathématiques : formation des élèves Séminaire inter-académique LYON (12-13 décembre 2007) Expérimentation en mathématiques, épreuve pratique de mathématiques : formation des élèves (atelier animé par l académie de Besançon) Le fil conducteur

Plus en détail

SCIENCES & TECHNOLOGIES - SANTÉ ET STAPS LICENCE MATHÉMATIQUES. www.univ-littoral.fr

SCIENCES & TECHNOLOGIES - SANTÉ ET STAPS LICENCE MATHÉMATIQUES. www.univ-littoral.fr SCIENCES & TECHNOLOGIES - SANTÉ ET STAPS LICENCE www.univ-littoral.fr OBJECTIFS DE LA FORMATION L objectif de la licence Mathématiques est, non seulement de donner une solide formation initiale en mathématiques

Plus en détail

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées Permanents (11) Doctorants (10) Permanents Doctorants Jean-Paul Bodeveix Julien Brunel Xavier Crégut Benoît Combemale Mamoun

Plus en détail

Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis

Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis 2014 Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis Andrew COMPORT Chargé de recherche CNRS Maxime MEILLAND Post-doctorant Laboratoire d Informatique, Signaux et Systèmes de

Plus en détail

Master Electronique Electrotechnique Automatique

Master Electronique Electrotechnique Automatique Master Electronique Electrotechnique Automatique Spécialité Energie et Fiabilité Gilles DESPAUX Directeur des études Arnaud VIRAZEL Responsable 1 er année www.master-eea.univ-montp2.fr Philippe ENRICI

Plus en détail

Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay

Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay 1 Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay Eric Goubault, Sylvie Putot, Alexandre Chapoutot, Laurent Pautet Eric.Goubault@polytechnique.edu,

Plus en détail

MISE EN PLACE D UN SYSTÈME DE SUIVI DES PROJETS D INTÉGRATION DES TIC FORMULAIRE DIRECTION RÉGIONALE DE COLLECTE DE DONNÉES

MISE EN PLACE D UN SYSTÈME DE SUIVI DES PROJETS D INTÉGRATION DES TIC FORMULAIRE DIRECTION RÉGIONALE DE COLLECTE DE DONNÉES MISE EN PLACE D UN SYSTÈME DE SUIVI DES PROJETS D INTÉGRATION DES TIC FORMULAIRE DIRECTION RÉGIONALE DE COLLECTE DE DONNÉES Nom de la région (direction régionale) : Nom du directeur régional : Adresse

Plus en détail

! ATELIERS. Atelier 3 - Communiquer et se rendre visible auprès de nouveaux partenaires

! ATELIERS. Atelier 3 - Communiquer et se rendre visible auprès de nouveaux partenaires ! ATELIERS «INNOVATION EN RESEAU» Compte rendu synthétique Atelier 3 - Communiquer et se rendre visible auprès de nouveaux partenaires Comment arbitrer entre l entreprise 2.0 et les méthodes plus traditionnelles

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

Lab s Dating 56 Rencontre Entreprises et Laboratoires de l Université de Bretagne-Sud 17 octobre 2014

Lab s Dating 56 Rencontre Entreprises et Laboratoires de l Université de Bretagne-Sud 17 octobre 2014 Organisé par Lab s Dating 56 Rencontre Entreprises et Laboratoires de l Université de Bretagne-Sud 17 octobre 2014 Pascal Berruet Vice Président Relations Socio Economiques et industrielles L Université

Plus en détail

Légende. Prérequis. unité A unité B. signifie que l'unité B est un prérequis de l'unité A. Corequis. unité A unité B

Légende. Prérequis. unité A unité B. signifie que l'unité B est un prérequis de l'unité A. Corequis. unité A unité B Légende unité A unité B signifie que l'unité B est un prérequis de l'unité A unité A unité B signifie que l'unité B est un corequis de l'unité A Note : lorsque deux cours sont corequis l'un de l'autre,

Plus en détail

Chap. V : Les interruptions

Chap. V : Les interruptions UMR 7030 - Université Paris 13 - Institut Galilée Cours Architecture et Système Nous étudions dans ce chapitre les interruptions matérielles (ou externes), c est-à-dire déclenchées par le matériel (hardware)

Plus en détail

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques ANNEXE BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques L'enseignement des mathématiques dans les sections de techniciens supérieurs Agencement de l'environnement architectural

Plus en détail

Programme Luminy 2014!

Programme Luminy 2014! Programme Luminy 2014 Lundi 21 Avril Lundi 10h45 Richard Lassaigne Université Paris Diderot Introduction à la théorie de la complexité. Lundi 14h Thierry Dumont Math-Info Paris 10 Utilisation de logiciels

Plus en détail

DELEGATION DE L ASSOCIATION TELECOM VALLEY DEPLACEMENT A BRUXELLES

DELEGATION DE L ASSOCIATION TELECOM VALLEY DEPLACEMENT A BRUXELLES DELEGATIONDEL ASSOCIATIONTELECOMVALLEY DEPLACEMENTABRUXELLES 22et23juin2010 Ledétailduvoyage Avion: Allerle22juin2010:DépartdeNiceà12H10/ArrivéeàBruxellesà13H55. Retourle23juin2010:DépartdeBruxellesà19H25/ArrivéeàNiceà21H10.

Plus en détail

B : Une méthode de développement de logiciels sûrs

B : Une méthode de développement de logiciels sûrs B : Une méthode de développement de logiciels sûrs Loïc PELHATE, Responsable de l Atelier des Logiciels de Sécurité de l Ingénierie du Transport Ferroviaire loic.pelhate@ratp.fr 9/11/01 1 1 Plan Contexte

Plus en détail

Evaluation de la Sûreté de Fonctionnement des logiciels du SAET Météor : Bilan et perspectives

Evaluation de la Sûreté de Fonctionnement des logiciels du SAET Météor : Bilan et perspectives Evaluation de la Sûreté de Fonctionnement des logiciels du SAET Météor : Bilan et perspectives Loïc PELHATE Responsable de l Atelier de Qualification des Logiciels de la RATP (AQL) PLAN La sécurité du

Plus en détail

Correction de programmes : Logique de Hoare

Correction de programmes : Logique de Hoare 16 juillet 2009 Logique et informatique Vis-à-vis de l informatique la logique a au moins 2 rôles : 1 Externe et théorique (fondements de l informatique - Électif en S4) : Logique comme méta-informatique

Plus en détail

Bienvenue dans le monde de la construction logicielle

Bienvenue dans le monde de la construction logicielle Chapitre 1 Bienvenue dans le monde de la construction logicielle Sommaire : 1.1 La construction logicielle, qu est-ce que c est? : page 3 1.2 Pourquoi la construction logicielle est-elle importante? :

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

DU MODÈLE À LA PLATE-FORME EMBARQUÉE

DU MODÈLE À LA PLATE-FORME EMBARQUÉE 1 DU MODÈLE À LA PLATE-FORME EMBARQUÉE Versailles, 29 novembre 2011 Journée «Des spécifications à la validation temps réel» 2 DU MODÈLE À LA PLATE-FORME EMBARQUÉE Versailles, 29 novembre 2011 UTILISATION

Plus en détail

Tutoriel MATLAB-SIMULINK Projet UNIT 2009. Partenariat : Ecole des Mines d Alès Ecole des Mines de Saint Etienne Université de Nice Sophia-Antipolis

Tutoriel MATLAB-SIMULINK Projet UNIT 2009. Partenariat : Ecole des Mines d Alès Ecole des Mines de Saint Etienne Université de Nice Sophia-Antipolis Tutoriel MATLAB-SIMULINK Projet UNIT 2009 Partenariat : Ecole des Mines d Alès Ecole des Mines de Saint Etienne Université de Nice Sophia-Antipolis MATLAB MATLAB est un logiciel scientifique de calcul

Plus en détail

Contribution des TICE à l évolution du système éducatif. Anne-Marie BARDI IGEN honoraire

Contribution des TICE à l évolution du système éducatif. Anne-Marie BARDI IGEN honoraire Contribution des TICE à l évolution du système éducatif Anne-Marie BARDI IGEN honoraire Vision d acteur / Vision de chercheur Expérience durable Variété des fonctions Diversité des niveaux et des disciplines

Plus en détail

Le lycée pilote innovant de Poitiers

Le lycée pilote innovant de Poitiers Merci d'utiliser le titre suivant lorsque vous citez ce document : OCDE (1998), «Le lycée pilote innovant de Poitiers : Futuroscope - 10 ans déjà», PEB Échanges, Programme pour la construction et l'équipement

Plus en détail

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE)

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) RÉSUMÉ DE LA FORMATION Type de diplôme : Formation d'ingénieur classique Domaine : Sciences, Ingénierie et Technologies Mention

Plus en détail

Calcul Booléen et Circuits Logiques

Calcul Booléen et Circuits Logiques Chapitre 7 Calcul Booléen et Circuits Logiques 7.1 Traitement Logique et Machine 7.1.1 Exemple Nos raisonnement sont usuellement simples : si ma voiture ne marche pas et il pleut alors je prends le metro

Plus en détail

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL KEYWORDS : SYSTEMX, Transport, Multimodal, Simulation, Optimisation, Supervision CONTEXTE de l IRT SYSTEMX L IRT SystemX est un institut de

Plus en détail

Attractivité des Mastères Spécialisés du Centre Arts et Métiers ParisTech de LILLE : Les candidats doivent s inscrire avant le 15 juillet 2012

Attractivité des Mastères Spécialisés du Centre Arts et Métiers ParisTech de LILLE : Les candidats doivent s inscrire avant le 15 juillet 2012 Lille, 22 juin 2012 Attractivité des Mastères Spécialisés du Centre Arts et Métiers ParisTech de LILLE : Les candidats doivent s inscrire avant le 15 juillet 2012 C est en octobre 2012 que débuteront les

Plus en détail

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits 1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag

Plus en détail

LICENCE. Informatique

LICENCE. Informatique LICENCE Qu est-ce que l informatique? L informatique est la science du traitement automatique de l information. Des données numériques issues de supports variés (texte, image, son, vidéo) sont représentées,

Plus en détail

Séminaire Numérique et Recherche

Séminaire Numérique et Recherche Séminaire Numérique et Recherche 20 mars 2015 Intervenants C P U N u m é r i q u e e t R e c h e r c h e 2 0 m a r s 2 0 1 5 I n t e r v e n a n t s Page 1 Joseph SIFAKIS Joseph Sifakis est professeur

Plus en détail

Architecture des calculateurs

Architecture des calculateurs Chapitre 1 Architecture des calculateurs 1.1 Introduction Ce paragraphe n a pas la prétention de présenter un cours d informatique. D une manière générale, seuls les caractéristiques architecturales qui

Plus en détail

Bloc 1 U. E. Informatique et systèmes - Finalité Technologie de l'informatique. H/an CR Quadrimestres

Bloc 1 U. E. Informatique et systèmes - Finalité Technologie de l'informatique. H/an CR Quadrimestres Bloc 1 U. E. Informatique et systèmes - Finalité Technologie de l'informatique H/an CR Quadrimestres Bases des technologies de l'informatique 1 8 Q1 Algorithmique 30 Programmation (théorie) 18 Programmation

Plus en détail

Réunion concours MP, MPI et I Département Informatique ENS Cachan

Réunion concours MP, MPI et I Département Informatique ENS Cachan Réunion concours MP, MPI et I Département Informatique ENS Cachan Paul Gastin Paul.Gastin@lsv.ens-cachan.fr http://www.dptinfo.ens-cachan.fr/ 1/20 L ENS pour quoi faire? La recherche en Informatique Objectif:

Plus en détail

Présentation du M2 SIC : Systèmes Informatiques et Applications Marines

Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Jean-Philippe Babau (resp. M2 SIAM) http://dept-info.univ-brest.fr/master2_siam.php http://labsticc.univ-brest.fr/pages_perso/babau/

Plus en détail

Présentation du laboratoire Verimag Vérification et langages synchrones

Présentation du laboratoire Verimag Vérification et langages synchrones Présentation du laboratoire Verimag Vérification et langages synchrones Mathias Péron journée des doctorants de MSTII Le laboratoire Verimag domaine logiciels et systèmes temps réel critiques. tutelles

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

Génie Industriel et Maintenance

Génie Industriel et Maintenance Visite du département Génie Industriel et Maintenance Pour qu aucun de ces systèmes ne tombe en panne. Plan de la visite 1 2 3 4 6 5 1 er Etage 7 8 Rez-de-chaussée 1 Laboratoire de recherche Rôles : L

Plus en détail

Master CST. Culture Scientifique et Technologique. IUFM «Célestin Freinet Académie de Nice» Service Communication - IUFM

Master CST. Culture Scientifique et Technologique. IUFM «Célestin Freinet Académie de Nice» Service Communication - IUFM Master CST Culture Scientifique et Technologique IUFM «Célestin Freinet Académie de Nice» 1 Architecture du Master Ouvert depuis sept. 2010 2 Spécialité Sciences Industrielles de l ingénieur Parcours Médiation

Plus en détail

Centre de Morphologie Mathématique (1)

Centre de Morphologie Mathématique (1) Centre de Morphologie Mathématique (1) directeur: J.. SERRA chefs de de groupes: S. S. BEUCHER (industrie) D. D. JEULIN (physique) F. F. MEYER (multimédia) J.C. KLEIN (electronique) Effectif :: 7 scientifiques

Plus en détail

Programme détaillé 2014-2015. Filière d Ingénieur INFORMATIQUE

Programme détaillé 2014-2015. Filière d Ingénieur INFORMATIQUE Libellé long UE Crédits ECTS Semestre 5 INFO51 13 Initiation à l'informatique Introduction à la Programmation Logiciel de Base Mathématiques Algèbre Logique INFO52 12 Analyse Applications de l'algèbre

Plus en détail

MAIDESC - KO 21 Novembre 2013 Etienne Wey Alexandre Boilley

MAIDESC - KO 21 Novembre 2013 Etienne Wey Alexandre Boilley MAIDESC - KO 21 Novembre 2013 Etienne Wey Alexandre Boilley S.A. créée en 1984 à Sophia Antipolis avec ARMINES comme actionnaire principal Activité majeure centrée autour des logiciels de simulation de

Plus en détail

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité

Plus en détail

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Technologie et biologie (TB) Discipline : Informatique Première et seconde années Programme d informatique

Plus en détail

Génie des Systèmes Industriels - Semestre 5 (GSI-3A-SEM5)

Génie des Systèmes Industriels - Semestre 5 (GSI-3A-SEM5) Mathématiques et Informatique 5 Automatique et Contrôle Génie des Systèmes Industriels - Semestre 5 (GSI-A-SEM5) SCIENCES DE BASE 8 4 6 98 6 Probalités et statistiques 4 6 Applications de l'analyse numérique

Plus en détail

quelques chiffres 5 implantations : Paris Evry Fontainebleau Palaiseau Sophia Antipolis 15 centres de recherche + de 2000 personnes sur sites

quelques chiffres 5 implantations : Paris Evry Fontainebleau Palaiseau Sophia Antipolis 15 centres de recherche + de 2000 personnes sur sites quelques chiffres 5 implantations : Paris Evry Fontainebleau Palaiseau Sophia Antipolis 15 centres de recherche + de 2000 personnes sur sites 6 formations Corps des MINES Ingénieurs Civils des MINES MASTERS

Plus en détail

Service combinators for farming virtual machines

Service combinators for farming virtual machines Master d Informatique Fondamentale École Normale Supérieure de Lyon Sémantique du parallélisme Chantal Keller Service combinators for farming virtual machines K. Bhargavan, A. D. Gordon, I. Narasamdya

Plus en détail

Tunisia / Tunisie (260) Programme UNITWIN/Chaires UNESCO. Période d activité : 2006

Tunisia / Tunisie (260) Programme UNITWIN/Chaires UNESCO. Période d activité : 2006 Tunisia / Tunisie (260) Programme UNITWIN/Chaires UNESCO Période d activité : 2006 Chaire UNESCO d enseignement du droit d auteur et des droits voisins Rapport rédigé par : Madame Nébila Mezghani ; Responsable

Plus en détail

Master 2 Ingénierie de la Création Multimédia et Direction Artistique de Projet WebDoc Gr.3 Flora DOIN

Master 2 Ingénierie de la Création Multimédia et Direction Artistique de Projet WebDoc Gr.3 Flora DOIN Lieux Bordeaux Grenoble Lille Nancy Paris Rennes Saclay Sophia Antipolis Spécialités L'INRIA, placé sous la double tutelle des ministères de la recherche et de l'industrie, a pour vocation d'entreprendre

Plus en détail

Problèmes et TICE au lycée

Problèmes et TICE au lycée DGEE 5 mai 2015 Inspection pédagogique régionale de mathématiques Sommaire du stage Introduction Avec quels logiciels Quelques exemples... Sommaire du stage Introduction Avec quels logiciels Quelques exemples...

Plus en détail

Informatique pour les sciences humaines

Informatique pour les sciences humaines Section de langue et de littérature françaises Département de linguistique Informatique pour les sciences humaines Plan d études Baccalauréat universitaire (Bachelor of Arts, BA) Maîtrise universitaire

Plus en détail

/&! /)! /+! /,! /,! 01 % Programmes et contenus de la Licence Appliquée Technologies de l Informatique 2013

/&! /)! /+! /,! /,! 01 % Programmes et contenus de la Licence Appliquée Technologies de l Informatique 2013 &'&()* )'+* "#$%#% )'+(,* /&! 01 /)! $% /+! /,! 01 % +'-(.* /&! G!- /)! G! /+! G /,! G! 01 $% 01 % 1/$ Programmes et contenus de la Licence Appliquée Technologies de l Informatique 01 F 1.. Plans d études

Plus en détail

Ingénierie de Systèmes Intelligents

Ingénierie de Systèmes Intelligents Ingénierie de Systèmes Intelligents p. 1/? Ingénierie de Systèmes Intelligents Maria Malek maria.malek@eisti.fr Ecole Internationale des Sciences de Traitement de l Information (EISTI) http://www.eisti.fr/

Plus en détail

LICENCE INFORMATIQUE. En L3 : - Parcours Informatique (Info) - Parcours Signal et Informatique Industrielle (SII) www.univ-littoral.

LICENCE INFORMATIQUE. En L3 : - Parcours Informatique (Info) - Parcours Signal et Informatique Industrielle (SII) www.univ-littoral. SCIENCES & TECHNOLOGIES - SANTÉ ET STAPS LICENCE INFORMATIQUE En L : - Parcours Informatique (Info) - Parcours Signal et Informatique Industrielle (SII) www.univ-littoral.fr OBJECTIFS DE LA FORMATION La

Plus en détail

QUELQUES CONCEPTS INTRODUCTIFS

QUELQUES CONCEPTS INTRODUCTIFS ESIEE Unité d'informatique IN101 Albin Morelle (et Denis Bureau) QUELQUES CONCEPTS INTRODUCTIFS 1- ARCHITECTURE ET FONCTIONNEMENT D UN ORDINATEUR Processeur Mémoire centrale Clavier Unité d échange BUS

Plus en détail

Cursus de Master en Ingénierie de la Production Alimentaire. Une autre façon d accéder au métier d ingénieur

Cursus de Master en Ingénierie de la Production Alimentaire. Une autre façon d accéder au métier d ingénieur Cursus de Master en Ingénierie de la Production Alimentaire Une autre façon d accéder au métier d ingénieur Un Réseau National de 28 CMI Le réseau FIGURE Formation en InGenierie par des Universités de

Plus en détail

Rapport de synthèse Projet Drones

Rapport de synthèse Projet Drones Rapport de synthèse Projet Drones Nicolas Anglade, Maxence Ho, Camille Schneider Tuteur projet : M. Laurent Ciarletta 1 Table des matières Introduction I. Notre rôle au sein du projet I.1. Appréciation

Plus en détail

DUT TECHNIQUES DE COMMERSIALISATION

DUT TECHNIQUES DE COMMERSIALISATION DUT TECHNIQUES DE COMMERSIALISATION RÉSUMÉ DE LA FORMATION Type de diplôme : DUT Domaine : Droit, Economie, Gestion Nature de la formation : Mention Niveau d'étude visé : BAC +2 Composante : Institut universitaire

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

Plus en détail

Une démarche pédagogique pour l apprentissage de l algorithmique

Une démarche pédagogique pour l apprentissage de l algorithmique Une démarche pédagogique pour l apprentissage de l algorithmique Au moment où l enseignement d ISN connaît sa deuxième année de mise en œuvre sur le terrain, force est de constater que les ressources disponibles

Plus en détail

ORIENTATIONS POUR LA CLASSE DE TROISIÈME

ORIENTATIONS POUR LA CLASSE DE TROISIÈME 51 Le B.O. N 1 du 13 Février 1997 - Hors Série - page 173 PROGRAMMES DU CYCLE CENTRAL 5 e ET 4 e TECHNOLOGIE En continuité avec le programme de la classe de sixième, celui du cycle central du collège est

Plus en détail

SUPPLEMENT AU DIPLOME

SUPPLEMENT AU DIPLOME SUPPLEMENT AU DIPLOME Préambule : «Le présent supplément au diplôme suit le modèle élaboré par la Commission européenne, le Conseil de l Europe et l UNESCO/CEPES. Le supplément vise à fournir des données

Plus en détail

Visite Ministérielle de la Plate-Forme Technologique Energies réparties

Visite Ministérielle de la Plate-Forme Technologique Energies réparties Visite Ministérielle de la Plate-Forme Technologique Energies réparties Jeudi 15 novembre 2012 quarante-cinq minutes avec Vincent PEILLON et Arnaud MONTEBOURG Détails d une fin de matinée mémorable par

Plus en détail

Les brevets logiciels ou la libre circulation des connaissances 2

Les brevets logiciels ou la libre circulation des connaissances 2 Les brevets logiciels ou la libre circulation des connaissances Gérald Sédrati-Dinet gibus@ffii.fr http ://www.ffii.fr/ 24 janvier 2006 «[Nous] affirmons que, sous un régime caractérisé par l hégémonie

Plus en détail

Présentation du «Human Brain Project»

Présentation du «Human Brain Project» jeudi 19 mai 2011 POINT-PRESSE Présentation du «Human Brain Project» Modéliser le cerveau humain et créer les moyens techniques nécessaires pour y parvenir : tel est l objectif du «Human Brain Project»

Plus en détail

STATUTS DE L ECOLE DOCTORALE ECONOMIE PANTHEON SORBONNE

STATUTS DE L ECOLE DOCTORALE ECONOMIE PANTHEON SORBONNE STATUTS DE L ECOLE DOCTORALE ECONOMIE PANTHEON SORBONNE Article 1 : Composition de l Ecole doctorale L Ecole doctorale Economie Panthéon Sorbonne (EPS) regroupe les unités et équipes de recherche qui concourent

Plus en détail

(OPINIONS 2.0) Le rapport de restitution (papier et digital) reprend la totalité des réponses avec le classement des occurrences (histogrammes)

(OPINIONS 2.0) Le rapport de restitution (papier et digital) reprend la totalité des réponses avec le classement des occurrences (histogrammes) (OPINIONS 2.0) Vous souhaitez engager une consultation ouverte et maîtrisée avec vos clients, vos collaborateurs, vos citoyens? Vous souhaitez co-construire une vision, un projet, dans un processus accéléré

Plus en détail

Génie Industriel et Maintenance

Génie Industriel et Maintenance Génie Industriel et Maintenance Pour qu aucun de ces systèmes ne tombe en panne. Plan de la visite 1 2 3 6 4 5 Guide visite du département Génie Industriel et Maintenance 1 Salles Informatiques Utilisation

Plus en détail

Organisation et gestion de données cycle 3

Organisation et gestion de données cycle 3 Organisation et gestion de données cycle 3 Clarifier les enjeux de cet enseignement Formation d enseignants de cycle 3 Circonscription de Grenoble 2 Positionnement de la pratique. En classe, comment travaillez-

Plus en détail

Proposition d un plan d étude pour l option «informatique embarquée»

Proposition d un plan d étude pour l option «informatique embarquée» Proposition d un plan d étude pour l option «informatique embarquée» Motivation : L informatique embarquée est un sous ensemble de l informatique qui est en pleine croissance. Elle intègre plusieurs aspects

Plus en détail

29 écoles d Ingénieurs publiques post bac

29 écoles d Ingénieurs publiques post bac acoustique aéronautique agroalimentaire Terminales S devenez Ingénieur automobile biologie électronique énergie environnement finance génie civil informatique 29 écoles d Ingénieurs publiques post bac

Plus en détail

TP01: Installation de Windows Server 2012

TP01: Installation de Windows Server 2012 TP0: Installation de Windows Server 202 Rappel : nous utiliserons le terme «WS202» pour désigner Windows Server 202et le terme «VM» pour Machine Virtuelle. - Installation d une VM Windows Server 202 de

Plus en détail

Premier projet (Thèse) : Étude des mécanismes dinteraction protéineligand par une approche couplant la simulation moléculaire et la chimie quantique

Premier projet (Thèse) : Étude des mécanismes dinteraction protéineligand par une approche couplant la simulation moléculaire et la chimie quantique Parmi les projets en cours sur la thématique Bioinformatique du Laboratoire de Biochimie et Génétique Moléculaire (LBGM), deux d entre eux seront présentés ici et sont orientés uniquement vers l utilisation

Plus en détail

Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques

Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques CONDITIONS GENERALES Art. A 3 Baccalauréat universitaire en mathématiques et sciences informatiques 1. La Faculté décerne

Plus en détail

SCIENCES-TECHNOLOGIES-SANTE MATHEMATIQUES ET APPLICATIONS

SCIENCES-TECHNOLOGIES-SANTE MATHEMATIQUES ET APPLICATIONS Niveau : MASTER année Domaine : Mention : Spécialité : SCIENCES-TECHNOLOGIES-SANTE MATHEMATIQUES ET APPLICATIONS Mathématiques pour l'informatique Graphique et la Statistique (MIGS) Professionnelle et

Plus en détail

CFAO ACTIVITÉ RÉALISATION D UN PORTE CLÉ INTRODUCTION CAO FAO FAO. 3 Indications des paramètres d usinages pour la machine numérique

CFAO ACTIVITÉ RÉALISATION D UN PORTE CLÉ INTRODUCTION CAO FAO FAO. 3 Indications des paramètres d usinages pour la machine numérique Conception et Fabrication Assistée par Ordinateur CFAO ACTIVITÉ RÉALISATION D UN PORTE CLÉ INTRODUCTION Découpe du «brut» : matière dans laquelle on va usiner notre pièce. CAO Dessin de la pièce en D ou

Plus en détail

Expert ou chef de projet en contrôle-commande

Expert ou chef de projet en contrôle-commande Expert ou chef de projet en contrôle-commande C1C25 Electronique, électrotechnique ou contrôle-commande - IR Spécialités L expert ou chef de projet en contrôle-commande peut être amené à se spécialiser

Plus en détail

La création d un écosystème d innovation. Funding Partner

La création d un écosystème d innovation. Funding Partner Forum du CRITM 9 octobre 2014 Les projets de recherche collaborative du CRIAQ : bonnes pratiques et histoire à succès Audrey Falcucci, Chargée de projets Partenaire financier La création d un écosystème

Plus en détail

Service aux entreprises Formation, aide technique et recherche Québec Mines

Service aux entreprises Formation, aide technique et recherche Québec Mines Service aux entreprises Formation, aide technique et recherche Québec Mines 13 novembre 2013 11 Présentation de l ITMI Institut technologique de maintenance industrielle (ITMI) Centre collégial de transfert

Plus en détail

70 expériences clés en main sont fournies avec l interface Composées d images, de schémas de montage, de rappels de cours, de questions/réponses, de références Internet, ces expériences clés en main constituent

Plus en détail

Les automates. Fabrice EUDES, Pascal EVRARD, Philippe MARQUET, François RECHER & Yann SECQ

Les automates. Fabrice EUDES, Pascal EVRARD, Philippe MARQUET, François RECHER & Yann SECQ Les automates Fabrice EUDES, Pascal EVRARD, Philippe MARQUET, François RECHER & Yann SECQ Avril 2015 Retour sur l île et le barman Deux problèmes similaires: Des îles, des bateaux et un trésor à trouver

Plus en détail

FONCTIONNEMENT D UNE MACHINE-OUTIL À COMMANDE NUMÉRIQUE - 1/2

FONCTIONNEMENT D UNE MACHINE-OUTIL À COMMANDE NUMÉRIQUE - 1/2 FONCTIONNEMENT D UNE MACHINE-OUTIL À COMMANDE NUMÉRIQUE - 1/2 Tu dois recopier le contenu de cette fiche sur une feuille de cours (réponds aux exercices au crayon). Place n :... Les machines à commande

Plus en détail

Introduction. Le logiciel Flowcode vous permet de développer rapidement et facilement des systèmes électroniques et électromécaniques complexes.

Introduction. Le logiciel Flowcode vous permet de développer rapidement et facilement des systèmes électroniques et électromécaniques complexes. Introduction Le logiciel vous permet de développer rapidement et facilement des systèmes électroniques et électromécaniques complexes. est un des environnements les plus avancés au monde pour le développement

Plus en détail

L Histoire des Arts en cours de mathématiques

L Histoire des Arts en cours de mathématiques L Histoire des Arts en cours de mathématiques 1 BO n 32 du 28 août 2008 L'enseignement de l'histoire des arts est obligatoire pour tous les élèves de l'école primaire, du collège et du lycée (voies générale,

Plus en détail