Languages & Software Engineering the GPL CNRS Research Group. Pierre-Etienne Moreau - Université de Lorraine GDR GPL
|
|
- Reynard Barton
- 6 years ago
- Views:
Transcription
1 Languages & Software Engineering the GPL CNRS Research Group Pierre-Etienne Moreau - Université de Lorraine GDR GPL 1
2 INS2I CNRS composed of 10 Institutes INS2I : Institute for Information Sciences and Technologies 50 research units 12 Research Networks 2
3 GDR : Research Networks BIM : Bioinformatics Bioinformatique moléculaire IG-RV : Computer Graphics Informatique Géométrique et Graphique, Réalité Virtuelle et Visualisation IM : Computer Science and Mathematics Informatique Mathématique ISIS : Information, signal, images, vision MADICS : Big data and data science Masses de Données, Informations et Connaissances en Sciences MAGIS : Geographical Information Systems Méthodes et Applications pour la Géomatique et l Information Spatiale 3
4 Research Networks RO : Operational Research Recherche Opérationnelle Robotique RSD : Networks and distributeur systems Réseaux et Systèmes Distribués IA : Formal aspects and algorithms of AI Aspects Formels et Algorithmiques de l Intelligence Artificielle Sécurité : Security Sécurité Informatique GPL : Languages & Software Engineering Génie de la Programmation et du Logiciel 4
5 Répartition géographique des personnes dans des structures INS2I 720 Lille, Lens, Valenciennes Total général Caen Compiègne Nancy International Brest Rennes Strasbourg Nantes Dijon Clermont-Ferrand Lyon Université Paris Seine Sorbonne Universités Université Paris-Saclay Sorbonne Paris Cité Paris Sciences et Lettres 290 Bordeaux Toulouse 925 Montpellier Marseille Grenoble Nice Mise à jour : juillet
6 Répartition géographique des personnes dans des structures INS2I GDR GPL Network 720 Lille, Lens, Valenciennes Total général Caen Compiègne Nancy International Brest Rennes Strasbourg Nantes Dijon Clermont-Ferrand Lyon Université Paris Seine Sorbonne Universités Université Paris-Saclay Sorbonne Paris Cité Paris Sciences et Lettres 290 Bordeaux Toulouse 925 Montpellier Marseille Grenoble Nice Mise à jour : juillet
7 How to develop and maintain software? Methods and tools 7
8 LTP MFDL MTV2 Formal methods Algorithms, languages Types and proofs Safety Efficiency Generating tests Develop Software Maintenance Evolution Parallelism Physical devices Hardware and software systems 8
9 Research groups LTP: Logics, Type and Proofs MFDL: Formal Methods MTV2: Testing 9
10 LTP Types and proofs Generating tests MFDL MTV2 Formal methods Algorithms, languages Program analysis Compilation Code generation Safety Efficiency Parallelism Develop Software Maintenance Physical devices Evolution LaMHA Hardware and software systems 10
11 Research groups LTP: Logics, Type and Proofs MFDL: Formal Methods MTV2: Testing Compilation LaHMA: Languages and Models for parallel applications 11
12 LTP Types and proofs Generating tests MFDL MTV2 Formal methods Algorithms, languages Program analysis Compilation LaMHA AFSEC Code generation Safety Efficiency Embedded & RT systems Parallelism Develop Software Hardware and software systems Maintenance Physical devices Energy optimization Evolution ALROB Self construction GLACE 12
13 Research groups LTP: Logics, Type and Proofs MFDL: Formal Methods GLACE: Cyber Physical Systems - Internet of Things MTV2: Testing Compilation LaHMA: Languages and Models for parallel applications AFSEC: Formal approaches for Embedded systems ALROB: Robotics and autonomous computing 13
14 Develop Software Safety Maintenance Efficiency Evolution Parallelism Physical devices Types and proofs Formal methods Algorithms, languages Hardware and software systems Generating tests LTP MFDL MTV2 Program analysis Program transformation Compilation LaMHA GLACE AFSEC ALROB GLE RIMEL Self construction Energy optimization Embedded & RT systems Reverse engineering Automatic bug correction Code generation 14
15 Research groups LTP: Logics, Type and Proofs MFDL: Formal Methods MTV2: Testing Compilation LaHMA: Languages and Models for parallel applications GLACE: Cyber Physical Systems - Internet of Things RIMEL: Reverse engineering, maintenance and evolution GLE: Empirical Software Engineering AFSEC: Formal approaches for Embedded systems ALROB: Robotics and autonomous computing 15
16 Develop Software Safety Maintenance Efficiency Evolution Parallelism Physical devices Types and proofs Formal methods Algorithms, languages Hardware and software systems Generating tests LTP MFDL MTV2 Program analysis Program transformation Compilation LaMHA GLACE AFSEC ALROB GLE IDM SdS RIMEL IE Self construction Energy optimization Embedded & RT systems Modelling complex systems Reverse engineering Model driven development Automatic bug correction Code generation 16
17 Research groups LTP: Logics, Type and Proofs MFDL: Formal Methods MTV2: Testing Compilation LaHMA: Languages and Models for parallel applications AFSEC: Formal approaches for Embedded systems ALROB: Robotics and autonomous computing GLACE: Cyber Physical Systems - Internet of Things RIMEL: Reverse engineering, maintenance and evolution GLE: Empirical Software Engineering SdS: System of Systems IE: Requirements Engineering IDM: Model Driven Development 17
18 Research Network virtual lab to create a community to organise workshops to get people to work together to identify emerging fields and new challenges 18
19 Some challenges in Software Engineering Technique et science informatiques no 34, vol 3 Défis
20 Systems of Systems emerging research field: 75% publication since 2012 systems composed of independent systems new systems can be added exiting systems may evolve or be deleted 20
21 Energy Defining Software-intensive Systems-of-Systems Water Missile Defense Air Transportation 3! Challenges 10" which concepts, languages and tools to build or analyse such systems? how to make these systems self-adapting? how to ensure properties such as security? 21
22 Large scale variability in 2015, there was more than distincts android devices (18000 in 2014, in 2013) data centers, sensor networks are diverse Challenge: How to automatically adapt software developed for one customer/platform, to another one? 22
23 Multi core systems computers embed many multi-core devices such as GPU how to ensure portability of code and portability of efficiency? Challenge: invent new high-level languages to express parallelism 23
24 Software Energy Consumption we need to optimise energy consumption difficult to profile energy consumption of software, and more generally systems Challenge: understand how software can reduce energy consumption of a system energy consumption depends on data transfert Challenge: invent new languages to express and control data transfert 24
25 Software Verification in 2013, the Coq Proof assistant received the ACM SIGPLAN Programming Languages Software Award Coq has been in continuous development for over 20 years, some contributors are deeply involved in the GDR GPL community there is still a lot of things to do 25
26 Some challenges of Software Verification how to guarantee a system that will evolve, adapt itself to its environment? how to share and reuse proofs done in different formalisms? can we build self-repairing programs? 26
27 GDR GPL Software development has made a lot of progress in the last 30 years There is a clear need for self-adapting software We need to understand how to build them, how to analyse them, and how to certify them Language and Software Engineering community is essential 27
28 Special thanks Jean-Marc Jézéquel Main contributor to the GDR GPL 28
INTERNATIONAL WINTER SCHOOL
INTERNATIONAL WINTER SCHOOL RESEARCH PROMOTION, TECHNOLOGY TRANSFER AND BUSINESS CREATION November 22nd 2010, Alexandria, Egypt Anita COHEN Délégation à la Recherche Clinique et à l'innovation 80 rue Brochier
More informationDIGITAL RADIO IN FRANCE
DIGITAL RADIO IN FRANCE 2006-2007 : digital radio project The GRN (Groupement pour la Radio Numérique) was created by the main French radio broadcasters (among which Radio France, RTL Group, Lagardère,
More informationJournal Title ISSN 5. MIS QUARTERLY BRIEFINGS IN BIOINFORMATICS
List of Journals with impact factors Date retrieved: 1 August 2009 Journal Title ISSN Impact Factor 5-Year Impact Factor 1. ACM SURVEYS 0360-0300 9.920 14.672 2. VLDB JOURNAL 1066-8888 6.800 9.164 3. IEEE
More informationFrench Capacities & Priorities in ICT : an overview
French Capacities & Priorities in ICT : an overview Philippe CODOGNET Director, CNRS Office for North-Asia, Tokyo (also: director, Japanese-French Laboratory for Informatics, Tokyo) slides realized with
More informationThis list supersedes the one published in the November 2002 issue of CR.
PERIODICALS RECEIVED This is the current list of periodicals received for review in Reviews. International standard serial numbers (ISSNs) are provided to facilitate obtaining copies of articles or subscriptions.
More informationImage. Nicolas SZAFRAN UGA - UFR IM 2 AG. Nicolas SZAFRAN (UGA - UFR IM 2 AG) M1-MAI - Image / 180
Image Nicolas SZAFRAN UGA - UFR IM 2 AG 2015-2016 Nicolas SZAFRAN (UGA - UFR IM 2 AG) M1-MAI - Image 2015-2016 1 / 180 Plan 1 Introduction 2 Image numérique 3 Traitement - analyse d image Nicolas SZAFRAN
More informationElectrical and Automation Engineering, Fall 2018 Spring 2019, modules and courses inside modules.
Electrical and Automation Engineering, Fall 2018 Spring 2019, modules and courses inside modules. Period 1: 27.8.2018 26.10.2018 MODULE INTRODUCTION TO AUTOMATION ENGINEERING This module introduces the
More informationImage. Nicolas SZAFRAN 2016/2017 UGA - UFR IM 2 AG. Nicolas SZAFRAN (UGA - UFR IM 2 AG) L3 Info - Image 2016/ / 15
Image Nicolas SZAFRAN UGA - UFR IM 2 AG 2016/2017 Nicolas SZAFRAN (UGA - UFR IM 2 AG) L3 Info - Image 2016/2017 1 / 15 Plan 1 Introduction 2 Images 3 Traitement - analyse d image 4 Synthèse d image Nicolas
More informationElectrical, Computer and Software Engineering - a historical perspective -
Electrical, Computer and Software Engineering - a historical perspective - Emil M. Petriu, Time Science Production of Goods and Services Engineering Antiquity Mathematics, Philosophy Craftsmanship: * Artisans
More informationElectrical, Computer and Software Engineering - a historical perspective -
Electrical, Computer and Software Engineering - a historical perspective - Emil M. Petriu, Dr. Eng., P.Eng. Professor School of Electrical Engineering and Computer Science University of Ottawa Time Science
More informationUsing simulators to Train and Assess Drivers A focus on Category C simulators
Using simulators to Train and Assess Drivers A focus on Category C simulators Brussels, 28 January 2010 Patrick Marcet Director, Promotrans, France Content Presentation of Promotrans Key figures training
More informationInstrumentation and Measurement
january 2015 updated catalog forthcoming, new and backlist titles Instrumentation et mesure catalogue mis à jour Janvier 2015 Titres à paraître, nouveautés et fonds 27-37 St George s Road London SW19 4EU
More informationA Virtual Reality Tool for Teleoperation Research
A Virtual Reality Tool for Teleoperation Research Nancy RODRIGUEZ rodri@irit.fr Jean-Pierre JESSEL jessel@irit.fr Patrice TORGUET torguet@irit.fr IRIT Institut de Recherche en Informatique de Toulouse
More informationCurriculum vitæ : Post-Doctoral position at INRIA Grenoble - Rhône-Alpes With: Bruno GAUJAL and Jean-Marc VINCENT
Ana BUŠIĆ INRIA Grenoble - Rhône-Alpes 51, Av. J. Kuntzmann 38330 Montbonnot, France Ana.Busic@imag.fr http://membres-lig.imag.fr/busic/ Employment Curriculum vitæ 2007-2008: Post-Doctoral position at
More informationDr Daniela Cancila. Laboratoire des composants logiciels pour la Sécurité et la Sûreté des Systèmes (L3S)
Dr Daniela Cancila Laboratoire des composants logiciels pour la Sécurité et la Sûreté des Systèmes (L3S) Département Architecture & Conception de Logiciels Embarqués Service de Conception des Systèmes
More informationMaster Artificial Intelligence
Master Artificial Intelligence Appendix I Teaching outcomes of the degree programme (art. 1.3) 1. The master demonstrates knowledge, understanding and the ability to evaluate, analyze and interpret relevant
More informationGlobalizing Modeling Languages
Globalizing Modeling Languages Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray To cite this version: Benoit Combemale, Julien Deantoni, Benoit Baudry,
More informationAppendices master s degree programme Artificial Intelligence
Appendices master s degree programme Artificial Intelligence 2015-2016 Appendix I Teaching outcomes of the degree programme (art. 1.3) 1. The master demonstrates knowledge, understanding and the ability
More informationPatrick Farail Airbus France 316, route de Bayonne Toulouse Cedex 9 patrick[dot]farail[at]airbus[dot]c om
François Vernadat FéRIA LAAS/CNRS 7 Avenue du colonel Roche 31077 Toulouse francois[at]laas[dot]fr Christian Percebois FéRIA IRIT/CNRS 118, route de Narbonne 31062 Toulouse perceboi[at]irit[dot]fr Patrick
More informationSustainable information culture: what perception do information professionals have on their practices
Sustainable information culture: what perception do information professionals have on their practices Dominique Maurel, Associate Professor École de bibliothéconomie et des sciences de l information Université
More informationSHARED INFRASTRUCTURES LINKED TO ECONOMIC & REGIONAL DEVELOPMENT POLICY
SHARED INFRASTRUCTURES LINKED TO ECONOMIC & REGIONAL DEVELOPMENT POLICY JP Bourgoin CEA Director Strategy and programs EARTO-EIRMA MEETING APRIL 2015 PAGE 1 OPEN INNOVATION: SOLVING THE EQUATION OF KNOWLEDGE
More informationHow to build an autonomous anything
How to build an autonomous anything Jim Tung jim@mathworks.com 2015 The MathWorks, Inc. 1 2 3 4 5 6 7 Autonomous Technology 8 Autonomy Having the power for self-governance 9 Autonomous Technology Provides
More informationResearch in computer science in Italy is heavily oriented towards the development of software tools, and in general of small computer systems.
interest in pursuing similar research paths, and if possible even building on top of the results obtained. In the following sections I will attempt to summarize individual visits in detail. France In my
More informationThe teaching of construction at Grenoble School of Architecture Nicolas Tixier, Philippe Liveneau
The teaching of construction at Grenoble School of Architecture Nicolas Tixier, Philippe Liveneau - 2002 Nicolas Tixier est architecte, maître-assistant à ENSA de Chargé de mission au Bureau de la Recherche
More informationTutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing
Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing Imran Rafiq Quadri, Abdoulaye Gamatié, Jean-Luc Dekeyser To cite this version: Imran Rafiq Quadri, Abdoulaye
More informationEmerging Trends and New Drugs The French National Monitoring System on patterns of drug use and local drug market
TREND scheme Emerging Trends and New Drugs The French National Monitoring System on patterns of drug use and local drug market Agnès Cadet-Taïrou Head of TREND Unit French monitoring Centre for Drugs and
More informationFactories of the Future 2020 Roadmap. PPP Info Days 9 July 2012 Rikardo Bueno Anirban Majumdar
Factories of the Future 2020 Roadmap PPP Info Days 9 July 2012 Rikardo Bueno Anirban Majumdar RD&I roadmap 2014-2020 roadmap will cover R&D and innovation activities guiding principles: industry competitiveness,
More informationEnergy autonomous wireless sensors: InterSync Project. FIMA Autumn Conference 2011, Nov 23 rd, 2011, Tampere Vesa Pentikäinen VTT
Energy autonomous wireless sensors: InterSync Project FIMA Autumn Conference 2011, Nov 23 rd, 2011, Tampere Vesa Pentikäinen VTT 2 Contents Introduction to the InterSync project, facts & figures Design
More informationIntroduction to Real-Time Systems
Introduction to Real-Time Systems Real-Time Systems, Lecture 1 Martina Maggio and Karl-Erik Årzén 16 January 2018 Lund University, Department of Automatic Control Content [Real-Time Control System: Chapter
More informationproject gnosis tech ed development centre Teaching Kids since 2013
. project gnosis tech ed development centre Teaching Kids since 2013 Innovative solutions for intelligent integration in a Global Market driven by technology. Think Big. Think Code. Think Tech. 1 Catalogue
More informationCOS 140: Foundations of Computer Science
COS 140: Foundations of C S What is C S? Fall 2017 Copyright c 2002 2017 UMaine School of Computing and Information S 1 / 16 What is C S? What do you think? A definition CS and programming Areas of CS
More informationFormalising Concurrent UML State Machines Using Coloured Petri Nets
KSE 2014 October 10th, 2014 Hanoi Formalising Concurrent UML State Machines Using Coloured Petri Nets Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy Université Paris 13, Sorbonne Paris Cité,
More informationELECTRICAL SIMULATION METHODOLOGY DEDICATED TO EMC DIGITAL CIRCUITS EMISSIONS ANALYSIS ON PCB
ELECTRICAL SIMULATION METHODOLOGY DEDICATED TO EMC DIGITAL CIRCUITS EMISSIONS ANALYSIS ON PCB J.M. Dienot, Yves Demarcq To cite this version: J.M. Dienot, Yves Demarcq. ELECTRICAL SIMULATION METHODOLOGY
More informationRevised Curriculum for Bachelor of Computer Science & Engineering, 2011
Revised Curriculum for Bachelor of Computer Science & Engineering, 2011 FIRST YEAR FIRST SEMESTER al I Hum/ T / 111A Humanities 4 100 3 II Ph /CSE/T/ 112A Physics - I III Math /CSE/ T/ Mathematics - I
More informationLABEX MS2T Management of Technological Systems of Systems
LABEX MS2T Management of Technological Systems of Systems Thierry Denœux Université de Technologie de Compiègne HEUDIASYC, UMR CNRS 7253 https://www.hds.utc.fr/ tdenoeux SoSE 2018 workshop Paris, June
More informationEmerging Trends and New Drugs The French National Monitoring System on patterns of drug use and local drug market
TREND system Emerging Trends and New Drugs The French National Monitoring System on patterns of drug use and local drug market Agnès Cadet-Taïrou Head of TREND Unit French monitoring Centre for Drugs and
More informationReport from the visiting committee
Section des Unités de recherche Report from the visiting committee Research unit : Preuves, Programmes, Systèmes (PPS) UMR 7126 University Paris 7 Denis Diderot February 2008 Section des Unités de recherche
More informationA Balanced Introduction to Computer Science, 3/E
A Balanced Introduction to Computer Science, 3/E David Reed, Creighton University 2011 Pearson Prentice Hall ISBN 978-0-13-216675-1 Chapter 10 Computer Science as a Discipline 1 Computer Science some people
More informationOpenViBE Software for Brain-Computer Interfaces
1 OpenViBE Software for Brain-Computer Interfaces Anatole Lécuyer (INRIA) 10th Libre Software Meeting 09/07/09, Nantes A. Lécuyer, OpenViBE Project, RMLL 2009, Nantes 1 Resume www.irisa.fr/bunraku/anatole.lecuyer
More informationNew paradigm in design-manufacturing 3Ds chain for training
New paradigm in design-manufacturing 3Ds chain for training Stéphane Brunel, Philippe Girard To cite this version: Stéphane Brunel, Philippe Girard. New paradigm in design-manufacturing 3Ds chain for training.
More informationBricken Technologies Corporation Presentations: Bricken Technologies Corporation Corporate: Bricken Technologies Corporation Marketing:
TECHNICAL REPORTS William Bricken compiled 2004 Bricken Technologies Corporation Presentations: 2004: Synthesis Applications of Boundary Logic 2004: BTC Board of Directors Technical Review (quarterly)
More informationUniversity of Luxembourg
University of Luxembourg Parallel Computing & Optimization Group (PCOG) November 27th, 2017 Belval Campus, MSA Prof. Pascal Bouvry Dr. Grégoire Danoy Parallel Computing and Optimization Group 20+ Researchers/Engineers
More informationIntroduction to ACHIEVE
1 Introduction to ACHIEVE An European Training Network based on the experience of EUNEVIS Ricardo Carmona Galán WASC 2017, Córdoba (Spain) Summary 2 ACHIEVE: AdvanCed Hardware/Software Components for Integrated/
More informationOn-demand printable robots
On-demand printable robots Ankur Mehta Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology 3 Computational problem? 4 Physical problem? There s a robot for that.
More informationComplex Systems and Microsystems Design: The Meet-in-the-Middle Approach
Complex Systems and Microsystems Design: The Meet-in-the-Middle Approach J.L. Boizard, N. Nasreddine, D. Estève, JY. Fourniols N2IS Université de Toulouse, LAAS-CNRS 7 avenue du Colonel Roche, 31 077 Toulouse.
More informationOctobre 2013 LAAS-CNRS 1
Octobre 2013 LAAS-CNRS 1 W el c o m e t o L A A S C N R S Oct. 2013 2 W el c o m e t o L A A S C N R S Oct. 2013 3 LAAS-CNRS : localisations IUT Blagnac UT2 INPT - ENSEEIHT Toulouse INSAT LAAS-CNRS 7 av.
More informationPreface. Simon Deakin and Alain Supiot Cambridge and Nantes December 2008
PREFACE This book is the product of a collaborative initiative, the Capacitas project, which began life in the early 2000s. Its initial impetus was provided by the debate over the report to the European
More informationDigital Manufacturing
Digital Manufacturing High Value Manufacturing Catapult / MTC point of view Harald Egner EU & Research Partnership Manager Nottingham, 30 th November HVM Catapult - History HVM Catapult 7 World class centres
More informationComputer Studies. Resources
Computer Studies Resources Invitation to Computer Science Seventh Edition G. Michael Schneider, Judith L. Gersting 9781305075771 Introduce your students to a contemporary overview of today s computer science
More informationHACETTEPE ÜNİVERSİTESİ COMPUTER ENGINEERING DEPARTMENT BACHELOR S DEGREE INFORMATION OF DEGREE PROGRAM 2012
HACETTEPE ÜNİVERSİTESİ COMPUTER ENGINEERING DEPARTMENT BACHELOR S DEGREE INFORMATION OF DEGREE PROGRAM 2012 1 a. General Description Hacettepe University, Computer Engineering Department, was established
More informationArtificial Intelligence and Robotics Getting More Human
Weekly Barometer 25 janvier 2012 Artificial Intelligence and Robotics Getting More Human July 2017 ATONRÂ PARTNERS SA 12, Rue Pierre Fatio 1204 GENEVA SWITZERLAND - Tel: + 41 22 310 15 01 http://www.atonra.ch
More informationComputer Science as a Discipline
Computer Science as a Discipline 1 Computer Science some people argue that computer science is not a science in the same sense that biology and chemistry are the interdisciplinary nature of computer science
More informationInformation for Parents/Carers Targets in Computing
Computing Targets - A Year 1 Computer User I can create a series of instructions. I can plan a journey for a programmable toy. I can create digital content. I can store digital content. I can retrieve
More informationREPORT ON THE RESEARCH UNIT: UNDER THE SUPERVISION OF THE FOLLOWING INSTITUTIONS AND RESEARCH BODIES:
Research evaluation REPORT ON THE RESEARCH UNIT: Institut of Ecology and Environmental Sciences (iees) UNDER THE SUPERVISION OF THE FOLLOWING INSTITUTIONS AND RESEARCH BODIES: Université Pierre et Marie
More informationDoctoral College Environmental Informatics
Doctoral College Environmental Informatics Prof. Schahram Dustdar Head of the Doctoral College Kick-Off Event 12 th March 2013 http://ei.infosys.tuwien.ac.at Agenda Introduction Faculty of Informatics
More informationThe National Curriculum and the Centre for Computing History
The National Curriculum and the Centre for Computing History Ways in which a visit to CCH supports the aims of specific NC subjects at the Key Stage 3 Nov 2016 Vers 1.0 The Centre for Computing History
More informationINDUSTRY 4.0. Modern massive Data Analysis for Industry 4.0 Industry 4.0 at VŠB-TUO
INDUSTRY 4.0 Modern massive Data Analysis for Industry 4.0 Industry 4.0 at VŠB-TUO Václav Snášel Faculty of Electrical Engineering and Computer Science VŠB-TUO Czech Republic AGENDA 1. Industry 4.0 2.
More informationChallenges in Software Evolution
Challenges in Software Evolution Tom Mens http://w3.umh.ac.be/genlog Software Engineering Lab University of Mons-Hainaut Belgium Challenges in Software Evolution The presented results are the outcome of
More informationIndustrial Partnerships and Technology Transfer. Celine Serrano Transfer and Innovation Department
1 Industrial Partnerships and Technology Transfer Celine Serrano Transfer and Innovation Department INRIA in numbers 2 A public research institute which has celebrated 40 years in 2007 A focus on ICT 3800
More informationJean-Guy Mailly Ph.D. in Computer Science
Jean-Guy Mailly Ph.D. in Computer Science LIPADE - Paris Descartes University, DAI Research Group, 45 rue des Saints Pères 75006 Paris, France jean-guy.mailly@parisdescartes.fr www.math-info.univ-paris5.fr/~jmailly
More informationDigital Sciences as a key Enabler for Innovation
Digital Sciences as a key Enabler for Innovation INRIA: from research to technology transfer www.inria.fr 3ODT LQQ DQJODLV LQGG ÉDITO Bruno Sportisse, Director of Technology Transfer and Innovation The
More informationCurriculum vitae Emiliano Lorini
Curriculum vitae Emiliano Lorini March 24, 2017 Contents 1 Identifying information 2 1.1 Affiliations.............................. 2 1.2 Academic degrees.......................... 2 1.3 Employement.............................
More informationCALL FOR PAPERS. embedded world Conference. -Embedded Intelligence- embedded world Conference Nürnberg, Germany
13579 CALL FOR PAPERS embedded world Conference -Embedded Intelligence- embedded world Conference 26.-28.2.2019 Nürnberg, Germany www.embedded-world.eu IMPRESSIONS 2018 NuernbergMesse/Uwe Niklas embedded
More informationCurriculum Vitae. Claude Barral Expert Security Scientist
Curriculum Vitae Expert Security Scientist Address n o 6 La Bastide Samat 13119 Saint Savournin, France Mobile : +33.6.86.83.19.55 Email: claude.barral@gmail.com Email: claude.barral@bactech.fr Homepage:
More informationAbout Software Engineering.
About Software Engineering pierre-alain.muller@uha.fr What is Software Engineering? Software Engineering Software development Engineering Let s s have a look at ICSE International Conference on Software
More informationEU regulatory system for robots
EU regulatory system for robots CE marking of robots today and in the future Felicia Stoica DG GROW Summary Access to the EU market - marking for robots EU safety laws for robots and role of EN standards
More informationBy the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process.
By the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process. Be familiar with the attributes of successful engineers.
More informationOperations Research & Analysis 2025: What are the roots and where do we go next
2015 NATO OR&A Operations Research & Analysis 2025: What are the roots and where do we go next ODSC GmbH Germany Disclaimer This presentation uses examples of OR&A based on the experience the author made
More informationSmart City la Ville Intelligente
Smart City la Ville Intelligente Giovanna Di Marzo Serugendo Ins$tute of Informa$on Service Science Giovanna.Dimarzo@unige.ch iss.unige.ch FACULTY OF ECONOMIC AND SOCIAL SCIENCES Department of Management
More informationWelcome to Informatics
Welcome to Informatics People On the premises: ~ 100 Academic staff ~ 150 Postdoc researchers ~ 80 Support staff ~ 250 PhD students ~ 200 Masters students ~ 400 Undergraduates (200 1 st year) Graduating
More informationDATA AT THE CENTER. Esri and Autodesk What s Next? February 2018
DATA AT THE CENTER Esri and Autodesk What s Next? February 2018 Esri and Autodesk What s Next? Executive Summary Architects, contractors, builders, engineers, designers and planners face an immediate opportunity
More informationAugmented reality as an aid for the use of machine tools
Augmented reality as an aid for the use of machine tools Jean-Rémy Chardonnet, Guillaume Fromentin, José Outeiro To cite this version: Jean-Rémy Chardonnet, Guillaume Fromentin, José Outeiro. Augmented
More informationDomain: Computer Science and Information Technology Curricula for the First Year (2012/2013)
Curricula for the First Year (2012/2013) Type/e F Mathematics 1 3 2 - - E - - - - - 5 F Mathematics 2 3 2 - - E - - - - - 5 F Computer programming 2-2 - E - - - - - 5 D Introduction to operating systems
More informationUMI3D Unified Model for Interaction in 3D. White Paper
UMI3D Unified Model for Interaction in 3D White Paper 30/04/2018 Introduction 2 The objectives of the UMI3D project are to simplify the collaboration between multiple and potentially asymmetrical devices
More informationINSIS. Institute for Engineering and Systems Sciences INSIS
INSIS Institute for Engineering and Systems Sciences INSIS Institute for Engineering and Systems Sciences INSIS: a worldwide presence Humanoid robot. LAAS, Toulouse. A policy of international cooperation
More informationReview of the French national research system
Review of the French national research system Yves Caristan French Atomic Energy Commission Director of the Physical Sciences Division Director of the CEA/Saclay Research Centre CEA/DSM Janvier 2007 1
More informationGlossary of terms. Short explanation
Glossary Concept Module. Video Short explanation Abstraction 2.4 Capturing the essence of the behavior of interest (getting a model or representation) Action in the control Derivative 4.2 The control signal
More informationCSE 435: Software Engineering
CSE 435: Software Engineering Dr. James Daly 3501 Engineering Building Office: 3501 EB, by appointment dalyjame at msu dot edu TAs: Vincent Ragusa and Mohammad Roohitavaf Helproom Tuesday: 2-4 pm, Wednesday
More informationFront Digital page Strategy and Leadership
Front Digital page Strategy and Leadership Who am I? Prof. Dr. Bob de Wit What concerns me? - How to best lead a firm - How to design the strategy process - How to best govern a country - How to adapt
More informationDIGITIZING THE CONSTRUCTION SECTOR: THE ROLE OF ICT IN PROMPTING CONSTRUCTION EFFICIENCY AND EFFECTIVENESS
DIGITIZING THE CONSTRUCTION SECTOR: THE ROLE OF ICT IN PROMPTING CONSTRUCTION EFFICIENCY AND EFFECTIVENESS Prof. Nashwan Dawood Teesside University, UK Nash Dawood, Teesside Uni, UK 2 CONVR conference
More informationThe Galaxian Project : A 3D Interaction-Based Animation Engine
The Galaxian Project : A 3D Interaction-Based Animation Engine Philippe Mathieu, Sébastien Picault To cite this version: Philippe Mathieu, Sébastien Picault. The Galaxian Project : A 3D Interaction-Based
More informationIntelligent Robotics: Introduction
Intelligent Robotics: Introduction Intelligent Robotics 06-13520 Intelligent Robotics (Extended) 06-15267 Jeremy Wyatt School of Computer Science University of Birmingham, 2011/12 Plan Intellectual aims
More informationHow to build an autonomous anything
How to build an autonomous anything Loren Shure Application Engineering MathWorks 2015 The MathWorks, Inc. 1 2 3 4 5 6 7 Autonomous Technology 8 Autonomous Technology Having the power for self-governance
More informationSchool of Engineering SUMMER CAMPS PROGRAMMING : STEP BY STEP ROBOTICS & BASICS OF PROGRAMMING. INTERNET OF THINGS IoT, SMARTPHONE APPLICATIONS
School of Engineering SUMMER CAMPS 20 18 PROGRAMMING : STEP BY STEP June 4 - July 24 ROBOTICS & BASICS OF PROGRAMMING INTERNET OF THINGS IoT, SMARTPHONE APPLICATIONS PROGRAMMING & BIOMEDICAL APPLICATIONS
More informationMetrology in the Digital Transformation
Metrology in the Digital Transformation This project proposal is about to establish a European metrology data infrastructure, a European Metrology Cloud to support the processes of conformity assessment
More informationTECHNICAL AND OPERATIONAL NOTE ON CHANGE MANAGEMENT OF GAMBLING TECHNICAL SYSTEMS AND APPROVAL OF THE SUBSTANTIAL CHANGES TO CRITICAL COMPONENTS.
TECHNICAL AND OPERATIONAL NOTE ON CHANGE MANAGEMENT OF GAMBLING TECHNICAL SYSTEMS AND APPROVAL OF THE SUBSTANTIAL CHANGES TO CRITICAL COMPONENTS. 1. Document objective This note presents a help guide for
More informationInstitute for Energy Transition
Institute for Energy Transition Vehicle electrification Driving delegation and connectivity Shared mobility and energy VEDECOM, a cooperative research hub Created in February 2014, VEDECOM is an Institute
More informationMay DINAMIC EMBALLAGES and CM-CIC Investissement. a partnership. that delivers the goods
May 2016 DINAMIC EMBALLAGES and CM-CIC Investissement a partnership that delivers the goods Many of the leading names in the French agrifood and cosmetics industries - including Miko, Kronenbourg, Lancôme,
More informationEmerging technology. Presentation by Dr Sudheer Singh Parwana 17th January 2019
Emerging technology Presentation by Dr Sudheer Singh Parwana 17th January 2019 Mega trends 5 global shifts changing the way we live and do business Rapid urbanisation Today, more than half the world s
More informationSemester 1 : September - December
Business Engineering Programme (Ingénieur d'affaires) List of courses - 2016-2017 Toulon Campus The academic year for the Business Engineering programme is divided into 2 semesters, from mid-september
More informationStanford Center for AI Safety
Stanford Center for AI Safety Clark Barrett, David L. Dill, Mykel J. Kochenderfer, Dorsa Sadigh 1 Introduction Software-based systems play important roles in many areas of modern life, including manufacturing,
More informationRecommended Work Keys Scores for Engineering Technologies and Robotics
Great Oaks Engineering Technologies and Robotics Essential Skills Profile This profile provides an outline of the skills required for successful completion of this career program. Additional information
More informationComputer Systems Research: Past and Future
Computer Systems Research: Past and Future Butler Lampson People have been inventing new ideas in computer systems for nearly four decades, usually driven by Moore s law. Many of them have been spectacularly
More informationTeam Project: A Surveillant Robot System
Team Project: A Surveillant Robot System SW & HW Test Plan Little Red Team Chankyu Park (Michel) Seonah Lee (Sarah) Qingyuan Shi (Lisa) Chengzhou Li JunMei Li Kai Lin Software Lists SW Lists for Surveillant
More informationARTEMIS The Embedded Systems European Technology Platform
ARTEMIS The Embedded Systems European Technology Platform Technology Platforms : the concept Conditions A recipe for success Industry in the Lead Flexibility Transparency and clear rules of participation
More informationSAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL,
SAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL, 17.02.2017 The need for safety cases Interaction and Security is becoming more than what happens when things break functional
More informationDigital Systems Design
Digital Systems Design Digital Systems Design and Test Dr. D. J. Jackson Lecture 1-1 Introduction Traditional digital design Manual process of designing and capturing circuits Schematic entry System-level
More informationShining a Light on Imaging
/ INVEST IN GRENOBLE-Isère, FRANCE / Shining a Light on Imaging Imaging in Grenoble-Isère France: 50 years of expertise In the heart of France s #2 region, Auvergne-Rhône-Alpes Paris PARIS Geneva Genève
More informationDepartment of Computer Science OUR RESEARCH
Department of Computer Science OUR RESEARCH 2018 Contents Introduction Introduction 1 W elcome to the Department of Computer Science at the University of Liverpool. We enjoy close collaboration with the
More informationIntroduction and History of AI
15-780 Introduction and History of AI J. Zico Kolter January 13, 2014 1 What is AI? 2 Some classic definitions Buildings computers that... Think like humans Act like humans Think rationally Act rationally
More information