Sauter la navigation.
Accueil
Groupe d'Utilisateurs de GNU/Linux et de Logiciels Libres Francilien

News aggregator

Paris: Soirée WikiGrenier, On Friday 27 May 2016 from 19h30 to 22h00.

L'Agenda du Libre [Île de France] - ven, 27/05/2016 - 21:30

Une soirée WikiGrenier est prévue le 27 mai 2016 au local Cléry à Paris.

Le but est d'améliorer Wikipédia et ses projets-frères (Wikimedia Commons, Wikisource, etc.) en profitant des ressources disponibles dans l'espace contributeurs de Wikimédia France : un mini-studio photo qui permet de photographier des petits objets dans de bonnes conditions, et un bookscanner (ou scanner à livres) permettant de numériser des ouvrages du domaine public.

WikiGrenier est l'occasion d'organiser une mini-studio party. Chacun apporte quelques objets à photographier. Cela peut être des objets du quotidien qui se trouvent dans votre cuisine, salle de bain, bureau, des outils de bricolage. Ou bien des objets plus anciens qui se trouvent dans votre grenier.

Inscription obligatoire sur https://fr.wikipedia.org/wiki/Wikip%C3%A9dia:WikiGrenier/2016-05-27

Paris: Soirée de Contribution au Libre, On Thursday 26 May 2016 from 19h30 to 23h00.

L'Agenda du Libre [Île de France] - jeu, 26/05/2016 - 21:30

Parinux propose aux utilisateurs de logiciels libres de se réunir régulièrement afin de contribuer à des projets libres. En effet, un logiciel libre est souvent porté par une communauté de bénévoles et dépend d'eux pour que le logiciel évolue.

Nous nous réunissons donc tous les jeudis soirs dans un environnement propice au travail (pas de facebook, pas de télé, pas de jeux vidéos, pas de zombies).

Vous aurez très probablement besoin d'un ordinateur portable, mais électricité et réseau fournis.

En cas de difficulté, vous pouvez joindre un des responsables de la soirée, Emmanuel Seyman (emmanuel (at) seyman.fr), Paul Marques Mota mota (at) parinux.org, ou Magali Garnero (Bookynette) tresorier (at) parinux.org.

Pour obtenir le code d'entrée de la porte cochère, envoyez un mail au responsable.

On peut amener de quoi se restaurer (Franprix, 8 rue du Chemin Vert, ferme à 22h)

Regazouillez sur Twitter - Wiki des soirées

Programme non exhaustif

  • Fedora (sa traduction)
  • Parinux, ses bugs et son infrastructure
  • April, ... y a toujours quelque chose à faire
  • Open Food Facts/ Open Beauty Facts, sa base de données, ses contributeurs, sa roadmap
  • Schema racktables, son code
  • Agenda du Libre, mise à jour et amélioration du code
  • ...

tout nouveau projet est le bienvenu.

Lieu : FPH Fondation Charles-Léopold Mayer pour le Progrès de l'Homme
38 rue Saint-Sabin 75011 Paris (digicode)
Tél : 01 43 14 75 75
M°5 Bréguet Sabin, ou M°8 Chemin Vert, ou Bastille
Bus 20 ou 65, arrêt Chemin Vert
Vélib 11033 au 23 Bd Richard Lenoir
Site FPH

Paris: Install-Partie autour d'Emmabuntüs, On Thursday 26 May 2016 from 19h00 to 23h00.

L'Agenda du Libre [Île de France] - jeu, 26/05/2016 - 21:00

Logo Libre Emmabuntus.pngLe collectif Emmabuntüs vous donne rendez-vous à la section PCF du 4 ème Arr. de Paris pour une soirée d'Install-Partie autour d'Emmabuntüs(*) et de sensibilisation à l’utilisation des Logiciels Libres. Nous vous présenterons Emmabuntüs, et ses cas d'utilisation pour la découverte des Logiciels Libres, et la formation.

  • Vous désirez un ordinateur à votre service ?
  • Vous désirez un ordinateur qui va vite ?
  • Vous désirez un ordinateur qui ne communique aucune données à des inconnus ?
  • Vous désirez un ordinateur qui n’a pas besoin d’antivirus ?

 

Vous rencontrerez des personnes qui sont là pour vous parler de Logiciels Libres. Vous pourrez aussi acheter des ordinateurs déjà installés prêt à être utilisés.

Entrée Libre. Tout Public.

Le blog Emmabuntüs

* Recommandations préparatoires à l’installation de GNU/Linux sur votre ordinateurs : cela sera faisable si vous avez un ordinateur fonctionnant d'origine sur les systèmes exploitations Windows : XP, Vista ou 7. Pour les ordinateurs fonctionnant sur des systèmes antérieurs à Windows XP (95,98, 2000, NT) nous ne conseillons pas l'installation de celui-ci car malheureusement votre matériel ne supportera pas notre distribution GNU/Linux Emmabuntüs, et nous vous conseillons d'autres distributions plus légères comme SliTaz ou PuppyLinux. Si votre ordinateur est sur des systèmes postérieurs à Windows 7 (8 ou 10) nous ne pourrons peut-être pas réussir à installer GNU/Linux sur votre matériel, car celui-ci est sûrement protégé par le boot-secure qui peut limiter, voir interdit l'installation d'autres systèmes exploitations alternatifs.

Pour que l'install-Partie se déroule sans problème nous demandons aux utilisateurs d'avoir fait au préalable la sauvegarde de leurs données, et d'avoir leur adaptateur secteur pour les portables. Avant toute installation nous ferons une vérification de la compatibilité de votre ordinateur sous GNU/Linux, et à l'issue de celle-ci nous vous demanderons de signer une décharge nous autorisant à procéder au changement du système d'exploitation de votre ordinateur.

Paris: Rencontres des contributeurs OpenStreetMap, On Thursday 26 May 2016 from 02h30 to 23h00.

L'Agenda du Libre [Île de France] - jeu, 26/05/2016 - 04:30

Le groupe local d'OpenStreetMap (Paris et IdF) se réunit les derniers jeudis de chaque mois.

Ce mois-ci, c'est à la FPH via Parinux: Soirée de Contribution au Libre

Amenez votre ordinateur, le courant et Internet sont fournis. Il est de coutume de ramener des choses à manger pour partager avec les autres libristes qui partagent cette soirée.

Vous pourrez découvrir OSM, avancer sur vos projets, demander de l'aide, discuter avec nous ou d'autres libristes.

Pour le code d'entrée, merci de me joindre sur l'adresse mail ou 06.06.83.17.00. Le local est au RdC au fond de la cour.

Ivry sur Seine: Cours de l'Ecole du Logiciel Libre, Le samedi 21 mai 2016 de 14h00 à 18h00.

L'Agenda du Libre [Île de France] - sam, 21/05/2016 - 16:00
Présentation de l'E2L Quel est le rôle de l'école du logiciel libre ?

Tout d'abord, ce n'est pas une école comme les autres. Elle n'a pas d'établissement fixe, pas de cours de récréation, pas de carte d'étudiant, ni de diplôme de fin d'année.

Comme toutes les écoles, son rôle est d'apprendre à ses élèves les logiciels libres, c'est-à-dire :

  • comment en trouver de bons parmi les nombreux sites qui en proposent,
  • comment en prendre possession en fonction des licences,
  • comment les installer en fonction de ses besoins,
  • comment les tester et les utiliser,
  • comment en comprendre le fonctionnement pour ensuite les modifier,
  • comment écrire ses propres logiciels libres.

En fait, l'école du logiciel libre est une université populaire, comme celles qui ont vu le jour en France à partir du 19 ème siècle, et dont le but est de transmettre des connaissances théoriques ou pratiques à tous ceux qui le souhaitent. Et pour atteindre ce but, sa forme juridique est de type " association à but non lucratif ".

Comment fonctionne l'école ?

Cette école étant une association, elle possède, comme toutes les autres, un bureau, élu chaque année en assemblée générale, pour l'administrer. Mais elle a aussi des responsables pédagogiques dont le rôle est essentiel car ce sont eux qui établissent les programmes des cours en fonction des souhaits des adhérents, valident les candidatures des enseignants et affectent les sessions.

Les membres du bureau et les responsables pédagogiques forment "l'encadrement de l'école ". Tous les membres "encadrants" doivent être membres de l'association.

Les locaux où se déroulent les cours seront ceux que l'on veut bien nous prêter : une salle des fêtes, un théâtre, une salle de réunion publique, un amphi dans une école publique, ou autre.

Les thèmes des cours sont définis par les adhérents en fonction de leurs envies, de leurs besoins. Les cours sont ensuite décidés par les responsables pédagogiques de l'école en fonction des enseignants disponibles.

Afin de permettre au plus grand nombre de participer et d'assister aux cours, les sessions se tiennent essentiellement le samedi. Une première de 9h à 12h30, et une autre de 14h à 17h30.

Programme détaillé sur le site http://e2li.org

Courbevoie: Atelier Starinux - Le langage R, Le samedi 21 mai 2016 de 09h30 à 18h00.

L'Agenda du Libre [Île de France] - sam, 21/05/2016 - 11:30

Dans le cadre de ses formations bi-mensuelles,  StarinuX vous convie à l'atelier LANGAGE R.

PRÉSENTATION :

Le Langage R s'est imposé comme le logiciel libre de prédilection pour réaliser des statistiques. Les spécialistes l'utilisent pour réaliser la manipulation de données statistiques complexes.

Mais sa relative simplicité et sa puissance en ont fait le langage de choix pour former les étudiants à la manipulation de données statistiques. Il est de plus en plus demandé dans les offres d'emploi de statisticiens et de datamanager.

Cette formation est donc idéale pour, vous initier à la programmation et l'apprentissage d'autres langages.

Son importance est visible par le nombre de paquets permettant de faire des analyses ou d'enrichir son fonctionnement par de nouvelles fonctionnalités. Ces paquets se compte en milliers désormais.

Le but de l'atelier est de donner les bases et se repérer dans l'écosystème de R. Il ne suppose pas de connaissances particulières en statistiques ou en mathématiques car les bases en R seront faites en parallèle. Lors de l'inscription, formulez vos requêtes qui seront dans la mesure du possible utilisées pour adapter l'atelier.

PROGRAMME :

  • Présentation et historique du langage,
  • se repérer dans l'écosystème R, l'aide et les paquets,
  • Parcours rapide de la syntaxe,
  • Exercices encadrés sur la manipulation de données,
  • Exercices sur les statistiques de base.

OBJECTIF :

  • Acquérir les connaissances pour faire ses premières analyses en R de manipulations de données statistiques.

NIVEAU de l'atelier : DÉBUTANT EN LANGAGE R

PRÉ-REQUIS :

Pour cet atelier, vous devrez installer R et RStudio sur votre ordinateur. Un document d'installation sera envoyé.

MODALITÉS : une participation annuelle de 20€ est demandée (10€ demandeur d'emploi),  valable pour 15 ateliers par an.

INFOS ET PRÉ-INSCRIPTIONS : www.starinux.org/ateliers-sx.php

Paris: Soirée de Contribution au Libre, On Thursday 19 May 2016 from 19h30 to 23h00.

L'Agenda du Libre [Île de France] - jeu, 19/05/2016 - 21:30

Parinux propose aux utilisateurs de logiciels libres de se réunir régulièrement afin de contribuer à des projets libres. En effet, un logiciel libre est souvent porté par une communauté de bénévoles et dépend d'eux pour que le logiciel évolue.

Nous nous réunissons donc tous les jeudis soirs dans un environnement propice au travail (pas de facebook, pas de télé, pas de jeux vidéos, pas de zombies).

Vous aurez très probablement besoin d'un ordinateur portable, mais électricité et réseau fournis.

En cas de difficulté, vous pouvez joindre un des responsables de la soirée, Emmanuel Seyman (emmanuel (at) seyman.fr), Paul Marques Mota mota (at) parinux.org, ou Magali Garnero (Bookynette) tresorier (at) parinux.org.

Pour obtenir le code d'entrée de la porte cochère, envoyez un mail au responsable.

On peut amener de quoi se restaurer (Franprix, 8 rue du Chemin Vert, ferme à 22h)

Regazouillez sur Twitter - Wiki des soirées

Programme non exhaustif

  • Fedora (sa traduction)
  • Parinux, ses bugs et son infrastructure
  • April, ... y a toujours quelque chose à faire
  • Open Food Facts/ Open Beauty Facts, sa base de données, ses contributeurs, sa roadmap
  • Schema racktables, son code
  • Agenda du Libre, mise à jour et amélioration du code
  • ...

tout nouveau projet est le bienvenu.

Lieu : FPH Fondation Charles-Léopold Mayer pour le Progrès de l'Homme
38 rue Saint-Sabin 75011 Paris (digicode)
Tél : 01 43 14 75 75
M°5 Bréguet Sabin, ou M°8 Chemin Vert, ou Bastille
Bus 20 ou 65, arrêt Chemin Vert
Vélib 11033 au 23 Bd Richard Lenoir
Site FPH

Paris: Atelier CSS, Le jeudi 19 mai 2016 de 19h00 à 21h00.

L'Agenda du Libre [Île de France] - jeu, 19/05/2016 - 21:00

Suite au premier atelier de découverte de Silex on vous propose un nouvel atelier pour approfondir vos connaissances du logiciel en utilisant les éditeurs de codes dans Silex en vous initiant au CSS.

Comme vous le savez peut être nous avons lancé en avril une campagne de crowd funding pour améliorer la doc et les fonctionnalités de Silex (notamment pour rendre Silex Responsive)

N’hésitez pas à nous soutenir en participant à ce crowd funding, toutes les contributions seront les bienvenues : participez, likez, partagez, parlez-en parlant autour de vous !!

2016-04-20_CROWD-SILEX-green.svg Au programme de cet atelier
  • Faire un site web à partir d’une page blanche
  • Utilisez l’éditeur de CSS pour améliorer le style de votre site
  • Utilisez l’éditeur JavaScript pour ajouter des widgets plus avancés, (vidéo de fond, barre de navigation statique, effets de transitions )
  • Collaboration avec Dropbox, owncloud, github

infos et inscriptions :

https://www.silexlabs.org/event/atelier-csss-css-cest-super-simple-silex/

Évry: Conférence MiNET 2016 - Système Répartis, Le jeudi 19 mai 2016 de 14h00 à 18h00.

L'Agenda du Libre [Île de France] - jeu, 19/05/2016 - 16:00

logo minetComme chaque année, l'association étudiante MiNET des écoles Télécom SudParis et Télécom École de Management organise sa conférence.

La conférence 2016 aura pour thème les Systèmes répartis et sera composée de plusieurs interventions de 45 minutes chacune.

Durant cette après-midi, nous aurons la chance d'avoir plusieurs intervenants spécialistes du sujet :

  •  DuyHai Doan, Technical Advocate chez Datastax nous parlera de Cassandra, le système de base de données réparti libre qui est reconnu partout pour sa scalabilité et ses performances.
  •  Martin Gorner, ‎ de l'équipe Developer Relations à Google France, nous présentera Tensorflow, le système de Machine Learning open source de Google, successeur de DistBelief qui est en particulier le support de Youtube, Google Voice Search, Google Translate et Google Maps.
  •  Dhia Moakhar, Ancien de MiNET, est ingénieur système à ORNESS et est habitué à maintenir et concevoir des architecture scalables et hautes disponibilités pour des entreprises comme la BNP, la Société Générale ou encore Natixis. Il nous présentera plusieurs techniques pour assurer la bonne synchronisation entre les données et les états dans un système distribué.
  •  Maxime Lorrillere est chercheur au LIP6 de l'UPMC dans l'équipe REGAL. Il nous présentera sa thèse : "Caches collaboratifs noyau adaptés aux environnements virtualisés"

Finalement, un buffet sera proposé et sera l'occasion de rencontrer les intervenants dans une ambiance détendue.

Plus de détails sur la conférence à l'adresse suivante: https://conference.minet.net.

Plus d'informations sur MiNET : https://minet.net/.

Paris: Défendre nos libertés sur Internet, Le mardi 17 mai 2016 de 18h30 à 21h00.

L'Agenda du Libre [Île de France] - mar, 17/05/2016 - 20:30

Pourquoi la culture du Libre fait de plus en plus parler d'elle ?

Quelles sont les alternatives à Google, Facebook et Apple ?

Comment nos causes associatives traditionnelles peuvent rejoindre la cause du numérique ?

Oriane, invitée de cette soirée, répondra et à toutes ces questions. Nous discuterons alors ensemble des enjeux du numérique aujourd'hui et de comment et pourquoi nos associations peuvent s'y intéresser sans être des pros de l'informatique.

Qui est l'invitée ?
Oriane est ancienne membre du CA d'une association de lutte pour les droits des personnes LGBT. Elle consacre aujourd'hui son temps libre (en marge d’une thèse) à la promotion d'un Internet garant des libertés fondamentales. Elle est bénévole active à la Quadrature du Net et vice-­présidente de la Fédération FDN (une fédération de fournisseurs d'accès à Internet associatifs).

Comment participer ?
RDV le 17 mai à 18h30 au tiers-lieu L'Arsenal au 23 rue Dagorno, 75012 Paris.

LA SOIRÉE EST OUVERTE À TOUS ET À
TOUTES MAIS L'INSCRIPTION EST OBLIGATOIRE : http://bit.ly/soiree11mai

Paris: Open Source pour le Cloud et les Conteneurs, Le mardi 17 mai 2016 de 09h30 à 19h00.

L'Agenda du Libre [Île de France] - mar, 17/05/2016 - 11:30

Quatrième événement du Printemps de l'innovation Open Source, organisé par le GTLL de Systematic et l'Irill, présidé par Roberto Di Cosmo

Open Source pour le Cloud et les Conteneurs

Programme dirigé par Frédéric Lepied (Red Hat) et Gilles Muller (Inria / LIP6)

  • 10:00 - Everything you want to know about virtualization on large multicores

    Vivien Quéma (IMAG), Gaël Thomas (Telecom Sud-Paris), Pierre Sens (LIP6), Gauthier Voron (LIP6)

    Cloud providers are now proposing large virtual machines with several tens of cores. Since such virtual machines often relies on complex hardware architectures, new challenges arise for hypervisors to achieve good performances. This talk will present some of these problems and why they happen.

  • 10:45 - Reclaiming memory to the right containers

    Julien Sopena (LIP6)

  • 11:30 - Towards microservices architecture to transcode videos in the large at low costs

    Olivier Barais et David Bromberg (IRISA).

    The increasing popularity of videos over Internet, combined with the wide heterogeneity of various kinds of end users’ devices, imposes strong requirements on the underlying infrastructure and computing resources to meet the users expectations. In particular, designing an adequate transcoding workflow in the cloud to stream videos at large scale is: (i) costly, and (ii) complex. Lightweight containers technologies such as docker are more and more adopted for deploying and managing micro-services architectures [1]. Indeed, they hide a part of the complexity resulting from the language heterogeneity and the large choice of existing implementation frameworks that can be used to implement modern applications. Containers provide those benefits without introducing the general cost of the virtualization.

    It exists lots of open-source configuration managers such as kubernetes[2], nomad[3], apache Mesos[4], or docker swarm[5] to define and keep a standard modular applications in a consistent state and to dispatch its services on a cluster of remote nodes. However, there is still a lack of adopted open-source solution for easily designing and distributing a dataflow (i.e. a complex directed-acyclic-graph of tasks for processing data) on a distributed infrastructure to improve the performance of such applications. It exists some initial solution such as TaskCluster[6] from Mozilla dedicated to Continuous integration but it still remains the needs to design these data-flows and to efficiently schedule the execution of its dependent tasks.

    Through this presentation/demo, we are giving our experience feedbacks of building both a low cost and efficient transcoding platform over an ad hoc computing cloud built around a cluster of Raspberry Pis and containers solutions that use docker, hypriot / cluster labs [7] and go-docker [8]. We want in particular discuss the need to provide better abstractions for easily managing hardware capabilities reservation such as GPU from the workflow.

  • 14:00 - Traefik, un reverse-proxy/load-balancer dynamique écrit en GO

    Emile Vauge (Containous)

  • 14:45 - Piloter le réseau de vos conteneurs dans OpenStack avec Kuryr

    Christophe Sauthier (Objectif Libre)

  • 15:30 - Skydive: debugging and monitoring your networks from containers to the physical packets

    Sylvain Afchain (Red Hat)

  • 16:15 - PAUSE
  • 17:00 - How the OpenShift PaaS is implemented on top of Docker/Kubernetes

    Chmouel Boudjnah (Red Hat)

  • 17:45 - Enjeux de l’orchestration des microservices

    Hervé Leclerc (Alter Way)

  • 19:00 - Conclusion et buffet-networking

Inscription gratuite mais obligatoire

Autres journées à venir :

L'Agenda du Libre | Frama-C Day - Analyse et vérification de code
L'Agenda du Libre | Techniques de programmation web à l'état de l'art

Paris: Apéro Parisien du Libre, Le dimanche 15 mai 2016 de 20h00 à 23h00.

L'Agenda du Libre [Île de France] - dim, 15/05/2016 - 22:00

Comme chaque 15 de chaque mois, Parinux vous convie à l'Apéro Parisien du Libre (APL).

Cet événement aura donc lieu à l'endroit suivant :

La Belle Equipe
92 rue de Charonne, 75011 Paris
Métro: Charonne - ligne 9
Faidherbe-Chaligny - ligne 8

Cet événement informel a pour objectif de faire se rencontrer toutes les communautés de libristes, hackers, makers, de Paris et d'ailleurs, en divers lieux.

L'APL a lieu le 15 de chaque mois parce que c'est facile à retenir, mais le jour de la semaine et le lieu changent ce qui permet de prendre en compte vos disponibilités et lieux de résidence divers.

L'APL est ouvert à tou-te-s, libristes ou non, de Paris d'Île-de-France ou d'ailleurs, geeks ou néophytes.

Il n'y a pas de thème imposé, vous pourrez discuter de tout ce qui vous passe par la tête; mais vous pourrez parler des actualités de vos associations et des prochains événements.

Ivry sur Seine: Cours de l'Ecole du Logiciel Libre, Le samedi 14 mai 2016 de 14h00 à 18h00.

L'Agenda du Libre [Île de France] - sam, 14/05/2016 - 16:00
Présentation de l'E2L Quel est le rôle de l'école du logiciel libre ?

Tout d'abord, ce n'est pas une école comme les autres. Elle n'a pas d'établissement fixe, pas de cours de récréation, pas de carte d'étudiant, ni de diplôme de fin d'année.

Comme toutes les écoles, son rôle est d'apprendre à ses élèves les logiciels libres, c'est-à-dire :

  • comment en trouver de bons parmi les nombreux sites qui en proposent,
  • comment en prendre possession en fonction des licences,
  • comment les installer en fonction de ses besoins,
  • comment les tester et les utiliser,
  • comment en comprendre le fonctionnement pour ensuite les modifier,
  • comment écrire ses propres logiciels libres.

En fait, l'école du logiciel libre est une université populaire, comme celles qui ont vu le jour en France à partir du 19 ème siècle, et dont le but est de transmettre des connaissances théoriques ou pratiques à tous ceux qui le souhaitent. Et pour atteindre ce but, sa forme juridique est de type " association à but non lucratif ".

Comment fonctionne l'école ?

Cette école étant une association, elle possède, comme toutes les autres, un bureau, élu chaque année en assemblée générale, pour l'administrer. Mais elle a aussi des responsables pédagogiques dont le rôle est essentiel car ce sont eux qui établissent les programmes des cours en fonction des souhaits des adhérents, valident les candidatures des enseignants et affectent les sessions.

Les membres du bureau et les responsables pédagogiques forment "l'encadrement de l'école ". Tous les membres "encadrants" doivent être membres de l'association.

Les locaux où se déroulent les cours seront ceux que l'on veut bien nous prêter : une salle des fêtes, un théâtre, une salle de réunion publique, un amphi dans une école publique, ou autre.

Les thèmes des cours sont définis par les adhérents en fonction de leurs envies, de leurs besoins. Les cours sont ensuite décidés par les responsables pédagogiques de l'école en fonction des enseignants disponibles.

Afin de permettre au plus grand nombre de participer et d'assister aux cours, les sessions se tiennent essentiellement le samedi. Une première de 9h à 12h30, et une autre de 14h à 17h30.

Programme détaillé sur le site http://e2li.org

Fontenay-le-Fleury: Découvrir les scripts Bash, Le samedi 14 mai 2016 de 14h00 à 17h00.

L'Agenda du Libre [Île de France] - sam, 14/05/2016 - 16:00

logo Root66.netRoot66 organise un atelier samedi 14 mai 2016 à 14 hrs qui sera consacré à la découverte des scripts (programmes) Bash.

Quelques définitions et surtout de nombreux exemples allant du plus simple au plus élaboré ainsi qu'un support « papier » permettront aux visiteurs de découvrir ces outils si utiles, de les mettre en pratique, ou encore de les modifier pour les adapter à leurs besoins spécifiques.

Tout visiteur devra impérativement venir avec son ordinateur !!!

Paris: Atelier ludification de Wikidata, Le vendredi 13 mai 2016 de 14h30 à 17h30.

L'Agenda du Libre [Île de France] - ven, 13/05/2016 - 16:30

Améliorer la contribution à Wikidata, cela peut se faire de plusieurs manières. Les présentations du 25 février avaient démontré qu’il était possible de contribuer indirectement à Wikidata par l’intermédiaire d’applications utiles et qui parlent au citoyen sommeillant en chacun d’entre nous.
Nous verrons qu’il est ainsi possible de contribuer en s’amusant !

Rendez-vous dans les locaux de l’association Antanak au 18 rue Bernard Dimey, Paris 18ème le vendredi 13 mai de 14h30 à 17h30.

 Pour ceux qui souhaiteraient en savoir plus, sachez que cet atelier est le fruit d’une rencontre entre Open knowledge Foundation, Wikimédia France & Electrocycle.
L’idée, co-produire une activité qui devrait tout à la fois :

  • Nous faire mieux comprendre par le faire comment contribuer concrètement à Wikidata ;
  • Ainsi que de découvrir comment on « ludifie » une thématique que l’Ecole des données va traiter en juillet à la médiathèque Vaclav Havel du 18e.

Après un tour de table des participants, on présentera une nouvelle fois Wikidata à partir des questions de la salle avant de s’atteler à la ludification de Wikibase à travers l’instance Wikidata et le Wikidata Game.

Paris: Soirée de Contribution au Libre, On Thursday 12 May 2016 from 19h30 to 23h00.

L'Agenda du Libre [Île de France] - jeu, 12/05/2016 - 21:30

Parinux propose aux utilisateurs de logiciels libres de se réunir régulièrement afin de contribuer à des projets libres. En effet, un logiciel libre est souvent porté par une communauté de bénévoles et dépend d'eux pour que le logiciel évolue.

Nous nous réunissons donc tous les jeudis soirs dans un environnement propice au travail (pas de facebook, pas de télé, pas de jeux vidéos, pas de zombies).

Vous aurez très probablement besoin d'un ordinateur portable, mais électricité et réseau fournis.

En cas de difficulté, vous pouvez joindre un des responsables de la soirée, Emmanuel Seyman (emmanuel (at) seyman.fr), Paul Marques Mota mota (at) parinux.org, ou Magali Garnero (Bookynette) tresorier (at) parinux.org.

Pour obtenir le code d'entrée de la porte cochère, envoyez un mail au responsable.

On peut amener de quoi se restaurer (Franprix, 8 rue du Chemin Vert, ferme à 22h)

Regazouillez sur Twitter - Wiki des soirées

Programme non exhaustif

  • Fedora (sa traduction)
  • Parinux, ses bugs et son infrastructure
  • April, ... y a toujours quelque chose à faire
  • Open Food Facts/ Open Beauty Facts, sa base de données, ses contributeurs, sa roadmap
  • Schema racktables, son code
  • Agenda du Libre, mise à jour et amélioration du code
  • ...

tout nouveau projet est le bienvenu.

Lieu : FPH Fondation Charles-Léopold Mayer pour le Progrès de l'Homme
38 rue Saint-Sabin 75011 Paris (digicode)
Tél : 01 43 14 75 75
M°5 Bréguet Sabin, ou M°8 Chemin Vert, ou Bastille
Bus 20 ou 65, arrêt Chemin Vert
Vélib 11033 au 23 Bd Richard Lenoir
Site FPH

Paris: Langages et Outils pour la Fiabilité Logicielle, On Thursday 12 May 2016 from 14h00 to 19h00.

L'Agenda du Libre [Île de France] - jeu, 12/05/2016 - 16:00

Troisième événement du Printemps de l'innovation Open Source, organisé par le GTLL de Systematic et l'Irill, présidé par Roberto Di Cosmo

Langages et outils pour la fiabilité logicielle - Printemps de l'Innovation Open Source

Programme dirigé par Emmanuel Chailloux (LIP6/UPMC, Irill), Roberto Di Cosmo (Irif, Irill, Inria, UPD), Fabrice Le Fessant (Inria, OCamlPro)

 

  • 14:00 - Introduction
  • 14:15 - Coroutines: Adding cooperative multitasking to the Ada tasking model

    Raphaël Amiard, Adacore

    Ada was the first language to have standardized tasking in language semantics. However the collaboration model is not specified, and often implemented in terms of preemptive multitasking. In today's world where asynchronous programming models are very common, collaborative tasking is looking more and more interesting. I will present a prototype implementation adding such a model in Ada.

      bio : Raphaël Amiard, passionate about languages, semantics and compilers, joined AdaCore in 2013 to work on the IDE and on the compiler technologies. 

  • 14:45 - Rust: Systems Programming for Everyone

    Léo Testard, Mozilla

    Rust is a new programming language that provides memory safety and data-race freedom while offering efficiency and low-level control comparable to that of C and C++. Rust allows for safe systems programming, including concurrent threads with shared data.
    I will describe the core concepts of the Rust language (ownership, borrowing, and lifetimes), as well as the tools beyond the compiler for open-source software component distribution (cargo).

    These pieces, along with the continued work of Rust's volunteer community, have led so-called "script programmers" to discover systems programming

    bio: Léo Testard is a research engineer at Mozilla, where he works on the Rust compiler, runtime libraries, and language design.

  • 15:15 - Développement d'applications multi-plateformes Web et mobiles

    Vincent Balat, BeSport et Univ Paris Diderot

    Développer une application à la fois sur le Web et sur mobile demande la plupart du temps de multiplier les efforts, ce qui oblige les petites entreprises à faire des choix : se concentrer sur la version Web ou mobile, voire sur une seule plateforme mobile. Ocsigen permet aujourd'hui de développer des applications qui pourront s'exécuter aussi bien sur un site Web, avec des pages générées généralement côté serveur, que sur un mobile, avec des pages générées localement. Les programmes sont entièrement écrits en OCaml, avec des annotations permettant de décider où les calculs doivent être effectués. Les portions de code client sont compilées vers JavaScript pour être exécutées par une Webview ou un navigateur.

    bio :  Ancien élève de l'École Normale Supérieure de Cachan, Vincent Balat a été maître de conférences à l'université Paris Diderot, puis en délégation chez Inria. Il est le créateur et chef du projet Ocsigen. Il est co-fondateur de BeSport SAS, une entreprise développant un réseau social sur la thématique du sport.  

  • 15:45 - Pause
  • 16:15 - LCHIP: architecture double cœur SIL4 pour automatismes sécuritaires à bas coût

    Thierry Lecomte, Clearsy

    L'architecture double cœur SIL4 propose une combinaison astucieuse de principes de sécurisation originaux et s'appuie sur une chaine de développement logicielle formelle éprouvée. Les logiciels, à algorithmique bornée, sont générés et prouvés de manière entièrement automatique, grâce à des outils état de l'art. Les logiciels sont obtenus à partir de DSLs métier orientés ferroviaire et automatismes. Cette architecture, en cours de déploiement pour des applications sécuritaires au Brésil et en Suède, va être améliorée au travers du projet collaboratif LCHIP.

     bio : Thierry Lecomte, directeur  R&D, est en  charge des travaux exploratoires concernant les outils de preuve, les générateurs de code et les outils d'ingénierie pour le développement et la certification de produits ferroviaires et smartcard. 

  • 16:45 - Analyse statique sémantique pour la fiabilité des logiciels

    Antoine Miné, LIP6 - Université Pierre et Marie Curie

    Les analyseurs statiques sémantiques infèrent, à la compilation, des propriétés du comportement dynamique des programmes, et donc peuvent éliminer très tôt des classes importantes d'erreurs. L'interprétation abstraite permet la conception de telles analyses, par abstraction calculable de la sémantique des programmes. Elle garantit formellement la sûreté des analyses (éliminant le problème des faux négatifs) et offre des outils pour adapter l'expressivité, la précision et l'efficacité des analyses (limitant le problème des faux positifs). Les méthodes d'analyse basées sur l'interprétation abstraite ont bénéficié, ces dernières années, d'un gain de popularité, notamment par leurs applications à la certification de logiciels embarqués critiques. Dans cet exposé, nous décrirons les caractéristiques principales des analyses statiques de fiabilité logicielle par interprétation abstraite, nous présenterons quelques applications récentes, et nous proposerons quelques pistes afin d'ouvrir leur champ d'application aux logiciels libres.

  • 17:15 - Scalable static analysis for security with Abstract interpretation

    Francesco Logozzo, Facebook

    I will introduce Zoncolan, the abstract interpretation-based static analyzer for Hack Facebook's typed PHP) that we built in the last year. Zoncolan focuses on security properties, it is scalable (analyzes millions of lines of code in few minutes), and precise (it is used daily by Facebook security engineers).

     bio : Francesco Logozzo is a software engineer at Facebook. Before he was a researcher for 8 years at Microsoft Research, Redmond, where he co-developed CodeContracts and Clousot, probably the most widely used static analyzer out there. He has strong ties with Paris, he was a postdoc at the ENS Ulm and he did his PhD on abstract interpretation of object oriented languages with Dr. Radhia Cousot at the Ecole Polytechnque.

  • 17:45 - Conclusion
  • 18:00 - Buffet-networking

 

Inscription gratuite mais obligatoire

Autres journées à venir :

L'Agenda du Libre | Open Source pour le Cloud et les Conteneurs
L'Agenda du Libre | Frama-C Day - Analyse et vérification de code
L'Agenda du Libre | Techniques de programmation web à l'état de l'art

Paris: Tuppervim #45, Le mardi 10 mai 2016 de 20h00 à 22h00.

L'Agenda du Libre [Île de France] - mar, 10/05/2016 - 22:00

Le tuppervim est un évènement mensuel organisé dans les locaux de Mozilla.

Il a lieu un mardi du mois (généralement le premier).

Le texte suivant a été honteusement copié du site http://tuppervim.org

Qui ?

On y parle de Vim avec des gens intéressés par le partage des connaissances sur Vim ou d’autres outils dans le même esprit : ligne de commande, ergonomie…

  • Les Vimistes avancés et autres gourous de la ligne de commande sont bien évidemment les rock-stars de ces soirées !
  • Les utilisateurs d’Emacs, Geany, SublimeText, Atom… sont bienvenus en tant que « Mécréants » ou pour profiter des sessions « Défonceuse » (V. plus bas).
  • Les néophytes curieux peuvent venir découvrir Vim, ses possibilités et nos « bonnes pratiques » / tuyaux pour progresser. Attention : bien faire le vimtutor au préalable, pour profiter au mieux de l’atelier.

Il y a des Mozilliens, contributeurs et employés, mais pas seulement. Que vous soyez un noob ou un nerd, nous vous garantissons un accueil amical et respectueux de votre intégrité physique ; seuls les canards ne peuvent bénéficier de cette garantie contractuelle.

Pourquoi ?
  • Partager des astuces sur Vim ou des outils du même acabit (enlarge your productivity!) ;
  • passer un bon moment entre nerds, l’apéro faisant partie intégrante du concept.
Comment ?

L’idée est de rester informel et spontané, le but étant (idéalement) que chacun reparte avec deux ou trois astuces qu’il pourra mettre en œuvre dans le mois qui suit. Il faut savoir se limiter : partager 50 astuces dans la même soirée, c’est la garantie que personne n’en retiendra aucune. Voilà quelques thèmes récurrents…

la config
    Petit tour de table où chacun présente une à trois lignes de son ~/.vimrc.

le « 6 trous »
    Une session de VimGolf permet de démarrer la soirée sur des astuces relativement basiques — genre 3 min par trou, 6 trous max. Le meilleur vimgolfeur présente sa solution sur l’écran.

le greffon
    Un volontaire chaque mois pour présenter un greffon Vim, aider à son installation par les plus crétins d’entre nous et montrer à quoi ça lui sert dans son workflow courant.

la défonceuse
    Le truc qui défonce de l’ours par pack de six. L’astuce qui roxxe dans le terminal, dans bash ou zsh. L’outil en ligne de commande qui arrache le stérilet de sa tante (ranger, mutt, dwm…). L’application qui enlarge la productivity comme jamais. Au choix.

le mécréant
    À chaque session on peut accueillir un utilisateur d’un autre éditeur, pour qu’il nous présente une ou deux (pas dix !) fonctionnalités qui défoncent dans son éditeur. De là :

  • si la fonctionnalité est naze, on se moque vigoureusement ; et si on arrive à convaincre le mécréant de la supériorité de Vim, on boit des canons (plein) ;
  • si la fonctionnalité est classe, on cherche à avoir la même dans Vim (config et/ou greffon) ; si on n’y parvient pas, on brûle le mécréant.
Cool je viens !

Pour des modalités d'organisation nous vous conseillons de vous inscrire sur le pad suivant : https://public.etherpad-mozilla.org/p/TupperVim-1605

Vous pouvez également vous inscrire à la mailing list : http://mozfr.org/mailman/listinfo/tuppervim dont les archives sont disponibles ici

Et encore rejoindre le canal irc : #tupperVim sur irc.mozilla.org

Villetaneuse: Sécurité, sûreté et confidentialité, Le mardi 10 mai 2016 de 09h00 à 18h00.

L'Agenda du Libre [Île de France] - mar, 10/05/2016 - 11:00

Deuxième événement du Printemps de l'innovation Open Source, organisé par le GTLL de Systematic et l'Irill, présidé par Roberto Di Cosmo

Sécurité, Sûreté et Confidentialité

Programme dirigé par Laure Petrucci, directrice du Laboratoire d'Informatique de Paris Nord (LIPN), Université Paris 13, et Roberto Di Cosmo, directeur de l'Irill, Inria, professeur à l'Université Paris-Diderot

  • 09:20 - Ouverture de la journée

    Laure Petrucci, LIPN

  • 09:30 - Présentation du Groupe Thématique Logiciel Libre

    Stéfane Fermigier, GT LL

  • 09:45 - L'année de la Sécurité au CNRS

    Jean Mairesse, CNRS

  • 10:00 - Differential privacy and applications to location privacy

    Catuscia Palamidessi, LIX

    Differential privacy is one of the most successful approaches to prevent disclosure of private information in statistical databases. It provides a formal privacy guarantee, ensuring that sensitive information relative to individuals cannot be easily inferred by disclosing answers to aggregate queries. Most importantly, and in contrast to other previous notions of privacy, it is robust under composition attacks. In this talk we present a generalized version of differential privacy, that is suitable to protect secrets in any metric domain. Then, we explore an application of this generalized version to the case of location privacy, where domain consists of the locations on a map and the distance is the geographical distance. This instance of the property, that we call geo-indistinguishability, is a formal notion of privacy for location-based systems that protects the user's exact location, while allowing approximate information - typically needed to obtain a certain desired service - to be released.
    We describe how to use our mechanism to enhance Location Based Services (LBS) with geo-indistinguishability guarantees without compromising the quality of the service, and we describe an implementation based on a planar Laplacian noise. It turns out that, among the “universal” mechanisms (i.e., those which do not depend on a prior distribution), ours is the one that offers the best privacy guarantees. Finally we present a tool, Location Guard, based on our framework, which allows to use LBS’s on browsers without revealing the exact location of the user.

  • 11:15 - Prise en compte de la sécurité dans la conception et le développement de logiciels

    Benjamin Morin, ANSSI

  • 12:00 - Model-checking for efficient malware detection

    Tayssir Touili, LIPN

    The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different techniques. Many of these well-known obfuscation techniques rely on operations on the stack such as inserting dead code by adding useless push and pop instructions, or hiding calls to the operating system, etc. Thus, it is important for malware detectors to be able to deal with the program's stack. In this talk, we propose a new model-checking approach for malware detection that takes into account the behavior of the stack. We implemented our techniques in a tool, and we applied it to detect several viruses. Our results are encouraging. In particular, our tool was able to detect more than 800 viruses. Several of these viruses could not be detected by well-known anti-viruses such as Avira, Avast, Norton, Kaspersky and McAfee.

  • 14:00 - SQLite with a Fine-Toothed Comb

    John Reger, TrustInSoft

    What should we do about security-critical software that is too large to be formally verified? This talk explores the practical approach of repurposing a C verifier as an interpreter, sacrificing soundness but gaining scalability and eliminating overapproximation-related alarms. This mode of analysis works best for systems that have very thorough test suites, whether manually constructed or generated by a tool such as afl-fuzz. Using Frama-C as an interpreter we have analyzed widely-used, security-critical libraries such as SQLite, libpng, and libwebp, finding a number of issues in each and also paving the way for future verification efforts.

  • 14:45 - Building and verifying a quasi-certification entity over Distributed Hash Tables

    Fabrice Kordon, LIP6

    Building a certification authority (CA) that is both decentralized and fully reliable is impossible. However, the limitation thus imposed on scalability is unacceptable for many types of information systems, such as e-government services. This talk explores a solution based on a Distributed Hash Table (DHT) and has been formally verified to prove that we get close to full reliability: a CA with a probability of arbitrary failure so low that, in practice, false positives should never occur. The verification of this protocol was performed with several tools among which some are integrated in the CosyVerif platform.

  • 15:30 - Pause
  • 16:00 - Mise en œuvre des méthodes de vérification de modèle et d'analyse statique de code pour la détection de faiblesses et de vulnérabilités

    Véronique Delebarre, SafeRiver

    La réduction des coûts des activités de validation et de vérification est une opportunité pour les méthodes formelles à différentes étapes du cycle de développement. D’une part les référentiels normatifs en admettent le principe, mais d’autre part le développement de composants génériques voire de plates-formes qui doivent ensuite être déployées avec un coût optimisé de revalidation incite fortement à utiliser des moyens de vérification automatisés. Mais, les utilisateurs ou promoteurs de ces méthodes ont besoin de chiffres : « Que font gagner les méthodes formelles » ? « quels sont les coûts de mise en œuvre » ?, « combien de faux positifs » ? « quel est le positionnement par rapport aux tests » ? etc. Une grande partie des réponses réside dans la capacité à montrer que les résultats obtenus sont complets et robustes. Notre retour d’expérience résulte de 10 ans d’expérimentations sur des cas industriels et sera illustré sur trois cas d’utilisation de méthodes statiques : la preuve d’exigences fonctionnelles de sécurité dans le contexte d’un développement « model based design » de système complexe, la vérification d’absence d’interférence dans le cas d’un système embarquant des composants logiciels de différents niveaux, et enfin, la détection de vulnérabilités dans un logiciel.

Inscription gratuite mais obligatoire

 

Autres journées à venir :

L'Agenda du Libre | Langages et Outils pour la Fiabilité
L'Agenda du Libre | Open Source pour le Cloud et les Conteneurs
L'Agenda du Libre | Frama-C Day - Analyse et vérification de code
L'Agenda du Libre | Techniques de programmation web à l'état de l'art

Champs-sur-Marne: FOSS4G-FR : logiciels libres pour la géomatique, Du mardi 10 mai 2016 à 08h00 au jeudi 12 mai 2016 à 18h00.

L'Agenda du Libre [Île de France] - mar, 10/05/2016 - 10:00

Le FOSS4G-fr 2016 est un événement dédié à la géomatique Open Source et aux données géographiques libres, organisé par l'association OSGeo-fr. Il aura lieu du 10 au 12 mai 2016 à l'ENSG (École Nationale des Sciences Géographiques) à Marne-la-Vallée, France.

Cet événement comprend deux jours de conférences précédés d'une journée de workshops. Il vous permettra de découvrir les dernières tendances et technologies du domaine, ainsi que certaines de leurs applications concrètes.

Cet événement s'adresse tant aux utilisateurs qu'aux développeurs d'outils géomatiques Open Source. Retrouvez plus d'informations sur le site de l'événement: http://foss4g.osgeo.fr.

A propos de l'OSGEO-fr

L’association OSGeo.fr est la représentation Francophone de la fondation Open Source Geospatial dont la mission est d’aider et de promouvoir le développement collaboratif des données et des technologies géospatiales ouvertes. L’association sert d’entité légale auprès de laquelle les membres de la communauté peuvent contribuer au code, aux finances et aux autres ressources, s’assurer que leurs contributions seront maintenues au bénéfice du public.

L’OSGeo.fr sert également d’organisation de référence et d’assistance pour la communauté géospatiale libre, et fournit un forum commun et une infrastructure partagée pour améliorer la collaboration entre les projets.

La participation est ouverte à l’ensemble de la communauté Open Source. Tous les travaux de l’association sont publiés sur des forums publics où peut s’investir une communauté libre de participants. Les projets de la Fondation OSGeo sont tous librement disponibles et utilisables sous une licence Open Source certifiée par l’OSI. http://www.osgeo.asso.fr

Syndiquer le contenu