L'Agenda du Libre

Les événements du Libre en France

Versions

Whodunnit Object Changeset Créé le ▼
[glug] Linux Challans Description: - + Modifié le: 2017-03-21 18:19:25 UTC → 2017-03-22 20:25:53 UTC 22 mar. 20h25
2017-03-23 Rennes: Conférence gesticulée «Informatique ou Libertés ?» #conférence #gesticuliée #actux #breizhEntropy #libre #libreEnFete2017 Description: Conférence gesticulée «Informatique ou Libertés ?» - Lunar En une trentaine d’années, les technologies numériques se sont invitées dans tous les aspects de nos vies. Travailler, s’informer, jouer, vivre ses amitiés, se soigner, consommer, ou encore se révolter… Autant d’activités qui passent dorénavant par l’usage d’ordinateurs. Pourtant, quel contrôle avons-nous vraiment sur ces machines devenues omniprésentes ? À qui facilite-t-elle vraiment la vie ? Lunar, né en même temps que les premiers ordinateurs domestiques, utilise son expérience technique et militante pour analyser les forces politiques à l’œuvre dans le développement du monde numérique. Car derrière l’apparente complexité de la technique se cachent des dominations contre lesquelles nous pouvons heureusement nous organiser. Une « conférence gesticulée » est un outil d’éducation populaire. À mi-chemin entre le spectacle et la conférence, elle mêle de l’autobiographie, de l’analyse, et de la théorie pour donner sens à un propos politique. Amphi Donzelot – Service Formation Continue Université Rennes 1 – 6, rue Kléber, Rennes 14h – 16h - Cette conférence sera suivie d'un atelier, le vendredi 24 Mars à partir de 14h dans les locaux du hackerspace à l'élaboratoire: 48bd Villebois Mareuil, à Rennes. + Cette conférence sera suivie d'un atelier, le vendredi 24 Mars à partir de 14h dans les locaux du hackerspace à l'élaboratoire: 48 bd Villebois Mareuil, à Rennes. 22 mar. 19h27
Christian Delage 2017-03-23 Rennes: Conférence gesticulée «Informatique ou Libertés ?» #conférence #gesticuliée #actux #breizhEntropy #libre #libreEnFete2017 URL: https://sderennes.wordpress.com/la-sde-jour-par-jour/ → https://sderennes.wordpress.com/la-sde-jour-par-jour 22 mar. 19h22
Christian Delage 2017-03-23 Rennes: Conférence gesticulée «Informatique ou Libertés ?» #conférence #gesticuliée #actux #breizhEntropy #libre #libreEnFete2017 Moderated: 0 → 1 22 mar. 19h20
Christian Delage 2017-03-23 Rennes: Conférence gesticulée «Informatique ou Libertés ?» #conférence #gesticuliée #actux #breizhEntropy #libre #libreEnFete2017 Description: Conférence gesticulée «Informatique ou Libertés ?» - Lunar - En une trentaine d’années, les technologies numériques se sont invitées dans tous les aspects de nos vies. Travailler, s’informer, jouer, vivre ses amitiés, se soigner, consommer, ou encore se révolter… Autant d’activités qui passent dorénavant par l’usage d’ordinateurs. Pourtant, quel contrôle avons-nous vraiment sur ces machines devenues omniprésentes ? À qui facilite-t-elle vraiment la vie ? Lunar, né en même temps que les premiers ordinateurs domestiques, utilise son expérience technique et militante pour analyser les forces politiques à l’œuvre dans le développement du monde numérique. Car derrière l’apparente complexité de la technique se cachent des dominations contre lesquelles nous pouvons heureusement nous organiser. Une « conférence gesticulée » est un outil d’éducation populaire. À mi-chemin entre le spectacle et la conférence, elle mêle de l’autobiographie, de l’analyse, et de la théorie pour donner sens à un propos politique. + En une trentaine d’années, les technologies numériques se sont invitées dans tous les aspects de nos vies. Travailler, s’informer, jouer, vivre ses amitiés, se soigner, consommer, ou encore se révolter… Autant d’activités qui passent dorénavant par l’usage d’ordinateurs. Pourtant, quel contrôle avons-nous vraiment sur ces machines devenues omniprésentes ? À qui facilite-t-elle vraiment la vie ? Lunar, né en même temps que les premiers ordinateurs domestiques, utilise son expérience technique et militante pour analyser les forces politiques à l’œuvre dans le développement du monde numérique. Car derrière l’apparente complexité de la technique se cachent des dominations contre lesquelles nous pouvons heureusement nous organiser. Une « conférence gesticulée » est un outil d’éducation populaire. À mi-chemin entre le spectacle et la conférence, elle mêle de l’autobiographie, de l’analyse, et de la théorie pour donner sens à un propos politique. Amphi Donzelot – Service Formation Continue Université Rennes 1 – 6, rue Kléber, Rennes 14h – 16h Cette conférence sera suivie d'un atelier, le vendredi 24 Mars à partir de 14h dans les locaux du hackerspace à l'élaboratoire: 48bd Villebois Mareuil, à Rennes. Adresse: 6, rue Kléber → 6 rue Kléber 22 mar. 19h20
2017-03-23 Rennes: Conférence gesticulée «Informatique ou Libertés ?» #conférence #gesticuliée #actux #breizhEntropy #libre #libreEnFete2017 22 mar. 19h07
Christian Delage 2017-03-24 Aix-en-Provence: L.A.B #lab #fablab #bidouilles #labaixbidouille Moderated: 0 → 1 22 mar. 18h22
Christian Delage 2017-03-24 Aix-en-Provence: L.A.B #lab #fablab #bidouilles #labaixbidouille Description: Vendredi 24 Mars à partir de 19h, pour cette quatrième soirée Geek Bidouille de la saison, le Laboratoire d’Aix-périmentation et de Bidouille vous invite au Carrefour de l’Innovation et du Numérique pour une soirée placée sous le signe de la Robotique et des drones.   Comme tous les mois, la soirée sera rythmée par trois temps principaux : • (19h-20h) Apéritif de bienvenue • (20h-21h00) Conférences invitées • (21h00-22h30) Pizzas, démonstration de projets et bidouille festive - Comme d'habitude, n’hésitez pas à diffuser l'info, en emmenant vos collègues, amis, voisins, et tous ceux qui sont intéressés par l’expérimentation et la bidouille, même sous la contrainte ;) + Comme d'habitude, n’hésitez pas à diffuser l'info, en emmenant vos collègues, amis, voisins, et tous ceux qui sont intéressés par l’expérimentation et la bidouille, même sous la contrainte. 22 mar. 18h22
2017-03-24 Aix-en-Provence: L.A.B #lab #fablab #bidouilles #labaixbidouille 22 mar. 18h21
Emmanuel Charpentier 2017-05-11 Paris: OSIS 2017 - Open Source pour l’Internet des Objets #iot #printempsDeLInnovationOpenSource #gtll #systematic #openSource #osis2017 Portée: 1 → 0 22 mar. 17h07
Emmanuel Charpentier 2017-06-13 Courbevoie: OSIS 2017 - Scikit-learn day #scikitLearn #gtll #printempsDeLInnovationOpenSource #osis #osis2017 #openSource Moderated: 0 → 1 22 mar. 17h05
Emmanuel Charpentier 2017-06-13 Courbevoie: OSIS 2017 - Scikit-learn day #scikitLearn #gtll #printempsDeLInnovationOpenSource #osis #osis2017 #openSource Description: The scikit-learn days will unite a comunity of users and developers doing machine learning and data science in Python. The goals are to provide Python enthusiasts a place to share ideas and learn from each other about how best to apply the language and tools to ever-evolving challenges in the vast realm of data management, processing, analytics, and visualization. We aim to be an accessible, community-driven conference, with tutorials for novices, advanced topical workshops for practitioners, andopportunities for package developers and users to meet in person. Our goal is to provide a discussion forum across all the various domains of data analysis to share experiences and techniques on data as well as progresses of libraries. Cette journée fait partie du Printemps de l'innovation Open Source, rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets issus de la recherche et de l’innovation française. - Inscription   + Inscription Adresse: 12 Avenue Léonard de Vinci → 12 avenue Léonard de Vinci Portée: 1 → 0 22 mar. 17h05
Emmanuel Charpentier 2017-06-12 Courbevoie: OSIS 2017 - PyParis #printempsDeLInnovationOpenSource #gtll #osis #osis2017 #openSource #pyParis Moderated: 0 → 1 22 mar. 17h04
Emmanuel Charpentier 2017-06-12 Courbevoie: OSIS 2017 - PyParis #printempsDeLInnovationOpenSource #gtll #osis #osis2017 #openSource #pyParis Description: - The PyParis conference (June 12-13 2017) is a gathering of users and developers of tools written in the Python programming language. Our goals are to provide Python enthusiasts a place to share ideas and learn from each other about how best to apply the language and tools to ever-evolving challenges in the vast realm of data analytics, cloud computing, web application development, IoT, scientific computing, etc.  + The PyParis conference (June 12-13 2017) is a gathering of users and developers of tools written in the Python programming language. Our goals are to provide Python enthusiasts a place to share ideas and learn from each other about how best to apply the language and tools to ever-evolving challenges in the vast realm of data analytics, cloud computing, web application development, IoT, scientific computing, etc. We aim to be an accessible, community-driven conference, with tutorials for novices, advanced topical workshops for practitioners, and opportunities for package developers and users to meet in person. A major goal of PyParis is to provide a venue for users across all the various domains of information technology and computer science to share their experiences and their techniques, as well as highlight the triumphs and potential pitfalls of using Python for certain kinds of problems. - This year, we will have the following tracks: + This year, we will have the following tracks: Data analytics ("PyData") and scientific computing (including a special track dedicated to scikit-learn) Apps and cloud computing Core Python Education -   Cette journée fait partie du Printemps de l'innovation Open Source, rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets issus de la recherche et de l’innovation française. Inscription Adresse: 12 Avenue Léonard de Vinci → 12 avenue Léonard de Vinci 22 mar. 17h04
Emmanuel Charpentier 2017-05-30 Paris: OSIS 2017 - Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada #framaC #printempsDeLInnovationOpenSource #gtll #osis #osis2017 #openSource Moderated: 0 → 1 22 mar. 17h03
Emmanuel Charpentier 2017-05-30 Paris: OSIS 2017 - Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada #framaC #printempsDeLInnovationOpenSource #gtll #osis #osis2017 #openSource Description: Cette journée fait partie du Printemps de l'innovation Open Source, rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets issus de la recherche et de l’innovation française. This one-day workshop aims at gathering both academic and industrial users of the environments Frama-C and SPARK, for sharing experiences and discussing perspectives. It is co-organized by CEA List (http://www-list.cea.fr/en/), AdaCore (http://www.adacore.com/), Inria joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and Université Paris-Diderot. This workshop will take place in the context of the event `Open Source Innovation Spring 2017' (http://www.open-source-innovation-spring.org/) initiated by thematic group `Logiciel libre' of the cluster Systematic-Paris-Region and IRILL (`Initiative de Recherche et Innovation sur le Logiciel Libre'). -   Programme de la journée: + Programme de la journée: Remove Before Flight: Defect-Free Software and Agile Development in SPARK 2014, Martin Becker (TU München) Development and verification of safety-critical software requires trained experts and takes its time. We challenged this opinion by developing an entire flight stack for a high-altitude glider in Ada/SPARK 2014 within only a few months of time. We started implementation with an initial software design and continuously applied static analysis to eliminate defects, adapt the design to verification needs, and to ensure a goal-oriented progress during the implementation phase. This talk introduces the project, explains the workflow that has been established, and reflects on project progress, final results and remaining challenges of verifying SPARK programs. Static vs runtime checking in Frama-C/SPARK, Claude Marché (Inria) CubedOS: A Verified CubeSat Operating System, Carl Brandon, Peter Chapin (Vermont Technical College) In this paper we present CubedOS, a lightweight application framework for CubeSat flight software. CubedOS is written in SPARK and verified free of certain classes of runtime errors. It consists of a collection of interacting, concurrent modules that communicate via message passing over a microkernel based on Ada's Ravenscar tasking model. It provides core services such as communication protocol processing and publish/subscribe message handling. In addition, application-specific modules can be added to provide both high level functions such as navigation and power management, as well as low level device drivers for mission-specific hardware. Here we present the architecture of CubedOS, and describe Lunar IceCube, the first mission to use CubedOS. Structuring an Abstract Interpreter through State and Value Abstractions, David Bühler (CEA List) The new abstract interpreter of Frama-C, EVA, enjoys a modular and extensible architecture, where new analysis domains may be plugged-in. These domains can interact through different means to achieve maximal precision. First, they work cooperatively to emit the alarms that exclude the undefined behaviors of the program. Second, they exchange information through abstractions of the possible values of expressions. Those value abstractions are themselves extensible, should two domains require a novel form of cooperation. In this talk, we present this communication system and illustrate how the different domains of EVA benefit from it. Specifying and proving correctness of Linux kernel components with ACSL, Alexey Khoroshilov, Mikhail Mandrykin (Linux Verification Center, ISPRAS) The talk presents our experience in deductive verification of Linux kernel components using Frama-C with AstraVer plugin (a fork of Jessie). It includes an overview of new features that were required to verify kernel code and a discussion of possible improvements in ACSL specification. Particularly, ACSL suggests unbounded semantics for operations on integral numbers in specifications and also does not provide special constructs for specifying relatively complex proofs, e.g. inductive proofs through lemma functions. Our experience has shown benefits of using different integer semantics and lemma functions, in particular for fragments involving complicated bit-twiddling tricks used for bit-counting, checksum computation, byte reorderings etc. Development of security-critical software with SPARK/Ada at secunet, Stefan Berghofer (secunet) In this talk, we describe how the SPARK/Ada language and toolset is used for the development of component-based high-security systems at secunet Security Networks AG. To make the complexity of assessing the security of these systems manageable, the components are running on top of the Muen separation kernel, which ensures that they can only communicate with each other via designated channels. We give an overview of our methodology for verifying trusted components using a combination of the SPARK tools and the interactive proof assistant Isabelle, which is used for solving proof obligations that are beyond reach of automatic provers. We illustrate the methodology using selected correctness properties of a cryptographic library. 09:00 - From learning examples to high-integrity middleware, comparing ACSL and SPARK, Christophe Garion, Jérôme Hughes (ISAE) In this talk, we report on two experiments using ACSL and SPARK. In the first part, we introduce SPARK-by-Example, a SPARK translation of the well-known ACSL-by-Example booklet. This work has been started to learn more about the SPARK2014 language. In the second part, we report on an ongoing effort to port an AADL runtime, a middleware meant for safety-critical systems. ISAE has implemented two variants of this runtime: one targeting typical C/RTOS (FreeRTOS, RTEMS, RT-POSIX), and one targeting Ada 2005 (Ravenscar profile and high-integrity restrictions). As part of the TASTE and ESROCOS projects, we want to demonstrate absence of runtime errors. The two runtimes share common algorithms, but leverage different constructs (pointers, OS APIs vs native language constructs). We report on the current status of both activities, and required blocks to complete this task. Real Behavior of Floating Point Numbers, François Bobot (CEA List) Floating point numbers are pervasively used in programs, yet when one starts to look into them it becomes clear that they are nothing like reals. There are a lot of counter-examples of simple real number properties that are completely wrong for floating point numbers. Yet, actual C or SPARK developers are using floating point numbers and expect their code to behave like reals! and in many cases they are indeed right. However it is difficult for state-of-the-art program verification tools to prove that the floating point properties they are using are true. We will show the result of the fruitful collaboration done in the SOPRANO project that allowed the Frama-C and SPARK tools to tackle these problems orders of magnitude faster than before. Inscription Adresse: 15 Rue Hélène Brion → 15 rue Hélène Brion Portée: 1 → 0 22 mar. 17h03
Emmanuel Charpentier 2017-05-23 Ivry-sur-Seine: OSIS 2017 - Open Source pour le Cloud #cloud #printempsDeLInnovationOpenSource #gtll #openSource #osis #osis2017 Moderated: 0 → 1 22 mar. 16h58
Emmanuel Charpentier 2017-05-23 Ivry-sur-Seine: OSIS 2017 - Open Source pour le Cloud #cloud #printempsDeLInnovationOpenSource #gtll #openSource #osis #osis2017 Description: Cette journée fait partie du Printemps de l'innovation Open Source, rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets issus de la recherche et de l’innovation française. L'Open Source est omniprésent dans les technologies de Cloud. Cette journée permettra d'apporter un éclairage académique et industriel autour de ces deux technologies. Nous aborderons l'optimisation des ressources gérées par ces technologies, quelles sont les manières d'architecturer les applications en utilisant des microservices, et les problématiques engendrées par la virtualisation de réseau associée aux machines virtuelles et aux conteneurs. -   Programme de la journée: + Programme de la journée: 10:30 - TBA, Julien Sopéna (Sorbonne Universités, LIP6) 11:00 - PowerAPI : Deploying Software-defined Power Meters for the Cloud, Romain Rouvoy (Université de Lille) - Power consumption is becoming a key performance indicator for Cloud infrastructures. Beyond the Power Usage Efficiency (PUE) indicator, which is currently used to estimate the energy footprint at the scale of a datacenter, and Power Distribution Units (PDU), which monitor the power consumption of physical nodes, the cloud requires finer-grained power measurements to capture the power consumption at the scale of virtual machines, virtualised systems and even code artefacts. PowerAPI (http://powerapi.org) addresses this challenge by offering a middleware toolkit that can be used by datacenter operators and cloud system developers to build software-defined power meters that can be use to track the power consumption and detect potential energy leaks in their software systems. Our various experiments demonstrate that PowerAPI can easily be deployed in Production (as a Docker container) and used to monitor accurately and in real-time the power consumption of any software artefact along several dimensions. - 11:30 - Programmatic assembly of large-scale distributed systems using containers, David Bromberg, François Taiani (Université de Rennes/IRISA) Inscription Adresse: 74 bis Avenue Maurice Thorez → 74 bis avenue Maurice Thorez Portée: 1 → 0 22 mar. 16h58
Emmanuel Charpentier 2017-05-12 Paris: OSIS 2017 - Blockchains - Réalités techniques et perspectives scientifiques #printempsDeLInnovationOpenSource #blockchain #gtll #osis #openSource #osis2017 Moderated: 0 → 1 22 mar. 16h57
Emmanuel Charpentier 2017-05-12 Paris: OSIS 2017 - Blockchains - Réalités techniques et perspectives scientifiques #printempsDeLInnovationOpenSource #blockchain #gtll #osis #openSource #osis2017 Description: Cette journée fait partie du Printemps de l'innovation Open Source, rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets libres et open source issus de la recherche et de l’innovation française. - Programme détaillé + Programme détaillé 13:30 - Accueil14:00 - Mot d'introduction 14:05 - Le danger des forks, et comment les éviter, Romaric LUDINARD (ENSAI / CREST) Les mécanismes de mise à jour de la blockchain et le problème des forks seront présentés. Ensuite, trois améliorations parues en 2016 (Bitcoin-NG, PeerCensus et ByzCoin) seront détaillées, ainsi qu'une étude de leur fiabilité. 14:35 - Lightning Network, Fabrice DROUIN (société Acinq) Le réseau Lightning Network sera présenté, un réseau de paiement P2P haute-performance basé sur Bitcoin. 15:05 - Going Beyond Decentralized Fragmentation with Process Networks, Anuj Das GUPTA (VP of research, société Stratuum) Since no one is born in the blockchain, establishing trust has to always fall on real world sources, through client-server sources of trust. However, the deterministic world of blockchains is not compatible for interfacing with the nondeterministic nature of real world processes. At Stratumn, we are building process networks for mapping processes onto prover-verifier networks where objectively verifiable data can coexist with oracles and trusted third parties. In this talk, we are going to talk about the core design principles behind the architecture of the process network. 15:35 - Pause Café 16:00 - Preuve formelle et Blockchains, Thomas Sibut-Pinote (Inria Saclay) 16:30 - Tezos, la blockchain évolutive, Benjamin CANOU (société OCamlPro) Nous présenterons Tezos, un protocole de blockchain dont l'une des particularités est un mécanisme de gouvernance, qui lui permet d'évoluer et d'éviter ainsi tout risque de "fork" du réseau. Tezos a été conçu par Arthur Breitman, et implanté du POC jusqu'au client actuel, par la société OCamlPro. 17:00 - Discussion entre les orateurs et le public. Discussion à la fois sur les blockchains aujourd'hui (les technologies, les problèmes à résoudre, leurs usages, etc.) et leurs perspectives.17:30 - Pot -- Networking18:30 - FIN - Inscription   + Inscription Adresse: 8 Boulevard Haussmann → 8 boulevard Haussmann Portée: 1 → 0 22 mar. 16h57
Emmanuel Charpentier 2017-03-25 Bordeaux: Install Party monnaie libre Ğ 1 #monnaieLibre #festival #installParty #débat Moderated: 0 → 1 22 mar. 16h56
Emmanuel Charpentier 2017-03-25 Bordeaux: Install Party monnaie libre Ğ 1 #monnaieLibre #festival #installParty #débat Description: - Install Party monnaie libre Ğ 1 Le collectif du "festival de la monnaie" qui c'est transformé en "Funérailles de la monnaie" vous présentera samedi l'actualité de la première monnaie libre en circulation Ğ 1 ! Les ateliers de 45 min qui démarreront à 14h - 15h - 16h et 17h cela vous laissera le temps d'aller voir les 50 autres ateliers de cet espace "acteurs locaux" dans le cadre du chant des colibris ! + Le collectif du "festival de la monnaie", qui c'est transformé en "Funérailles de la monnaie", vous présentera samedi l'actualité de la première monnaie libre en circulation: Ğ 1 ! Les ateliers de 45 min démarreront à 14h - 15h - 16h et 17h, cela vous laissera le temps d'aller voir les 50 autres ateliers de cet espace "acteurs locaux" dans le cadre du chant des colibris ! Une install party est un moment où plusieurs personnes se réunissent pour installer des logiciels sur leurs ordinateurs ou leurs smartphones. - Donc on allons vous montrez le fonctionnement de la première monnaie libre ! Des discussions sur le fonctionnement des monnaies libres alimenteront le débats et les explications ! + Donc nous allons vous montrer le fonctionnement de la première monnaie libre ! Des discussions sur le fonctionnement des monnaies libres alimenteront les débats et les explications ! Tu peux venir avec ton ordinateur mais c'est pas obligatoire ! Le reste des informations est accessible sur https://www.lechantdescolibris.fr/ Plus d'informations sur l'atelier : contact@festivaldelamonnaie.org https://www.festivaldelamonnaie.org Nom du lieu: DARWIN Eco-Système L'espace "acteurs locaux" prendra place dans la manufacture de Darwin → Manufacture de Darwin Adresse: Quais de Queyries → quai des Queyries Mots-clés: → monnaie-libre festival install-party débat 22 mar. 16h56
Emmanuel Charpentier 2017-05-11 Paris: OSIS 2017 - Open Source pour l’Internet des Objets #iot #printempsDeLInnovationOpenSource #gtll #systematic #openSource #osis2017 Moderated: 0 → 1 22 mar. 16h53
Emmanuel Charpentier 2017-05-11 Paris: OSIS 2017 - Open Source pour l’Internet des Objets #iot #printempsDeLInnovationOpenSource #gtll #systematic #openSource #osis2017 Description: Cette journée fait partie du Printemps de l'innovation Open Source, rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets open source et logiciel libre issus de la recherche et de l’innovation française. Pour l'industrie des objets connectés, intégrer l'écosystème du libre est une nécessité et une assurance de pérennité. - Programme de la journée : + Programme de la journée : 09:30 - Yocto, outil libre pour le capteur intelligent, Pierre Ficheux, Smile-ECS 10:00 - Ethique pour l'IoT, Laurence Devillers, Université Paris 1 Panthéon-Sorbonne 10:30 - Iotivity de Samsung, Philippe Coval, SAMSUNG 11:00 - Pause café networking 11:30 - Traitements de données pour l’IoT, Mounîm El Yacoubi, Telecom Sud-Paris 12:00 - Plateforme pédagogique en libre accès pour l'expérimentation de l'Internet des Objets, Thierry Val, IRIT, Université de Toulouse Après-midi consacrée à la sécurité des objets connectés : 14:00 - Attaques dans l’IoT (smart TVs, voitures connectées, etc.), Vincent Nicomette, LAAS 14:30 - La sécurité dans les techno SigFox, politique d’ouverture et de logiciel libre, Raoul Mallard, SigFox -   Inscription       + Inscription Adresse: 3 Rue Michel-Ange → 3 rue Michel-Ange 22 mar. 16h53
Flux RSS