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

News aggregator

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

Paris: Premier Samedi du Libre, On Saturday 7 May 2016 from 14h00 to 18h00.

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

Chaque premier samedi de chaque mois, les bénévoles des associations du Libre vous accueillent au Carrefour Numérique² de la Cité des sciences et de l'industrie (CSI) lors de l'install party du Premier Samedi du Libre (PSL).

L'install party du Premier Samedi du Libre aura lieu le 7 mai 2016 de 14h à 18h au Carrefour Numérique², niveau -1 de la Cité des sciences et de l'industrie, Paris 19e.

http://premier-samedi.org/sites/premier-samedi.org/squelettes/images/fond.jpg

Venez aider ou vous faire aider à installer et paramétrer des logiciels libres et toute distribution GNU/Linux avec les associations d'utilisateurs de FedoraMageiaUbuntu ou Debian, sur netbook, portable, ou tour, PC ou Mac, éventuellement à côté de votre système actuel. Idem si vous avez des difficultés avec un périphérique, ou un logiciel libre.

Nous avons besoin de volontaires pour l'accueil et les installations. Il est utile, mais pas obligatoire, de vous inscrire comme parrainé, parrain, ou visiteur sur le site premier-samedi.org et/ou ce bloc-notes en décrivant votre matériel et vos attentes.

  • 12h00-13h30 : déjeuner à la pizzeria Le Verona, 25 avenue Corentin Cariou
  • 14h00-18h00 : atelier Blender3D du BUG (Blender3D Users Group)
  • 14h00-18h00 : wikipermanence de l'association Wikimedia
  • 14h30-15h30 : conférence grand public
  • 15h30-16h30 : conférence plus technique
  • 16h30-18h00 : mini-conférences grand public de 10 minutes JPLF « Je peux le faire ! ».
  • aide à l'installation de distributions chiffrées et de Tor, Gpg, Tails, FirefoxOS, par Genma
  • @Hypra_ pour malvoyant ou non voyant
  • soirée dans un lieu à déterminer sur place, généralement dans un bar avenue Corentin Cariou

Article du PSL du 7 mai 2016 sur le site Parinux

Bloc-notes collaboratif de l'actualité du libre du hack et du make en Île-de-France

Parrainé·e·s

  • pour une installation, venez de préférence avant 16h30
  • sauvegardez sur disque externe, clé usb ou DVD vos fichiers importants
  • supprimez les fichiers et logiciels superflus
  • faites un nettoyage de disque et une défragmentation (utilitaires Windows)
  • n'oubliez pas votre chargeur, vos câbles etc.
  • lisez ces deux documents et la décharge
  • apportez un disque dur externe ou une clé usb ou un dvd
  • demandez l'autorisation de prendre des photos
  • n'oubliez pas que nous sommes des bénévoles, pas un S.A.V. ;-)

Parrains et marraines

  • ISOs de nombreuses distros installables par serveur local Parinux et Raspberry-Pi 3
  • apportez une clé usb 3 ou un dvd, des ISOs, de vos distros favorites
  • demandez si l'installé-e a bien sauvegardé ses fichiers
  • demandez si l'installé-e a bien nettoyé, défragmenté, CHKDSKé
  • si possible, autonomisez l'installé-e, expliquez, laissez-lui le clavier
  • ne commencez pas une install complète après 16h30
  • préférez une réinstallation propre à une longue mise à jour
  • terminez ce que vous avez commencé ou passez le relais
  • incitez l'installé-e à s'inscrire à des listes de discussion
  • si possible, installez et lancez l'utilitaire Bleachbit

Lieu

30 avenue Corentin Cariou, 75019 Paris, CSI Cité des Sciences et de l'Industrie, niveau -1, Carrefour Numérique².

Entrée libre et gratuite, pour tout public.

Transports

  • tram T3b (Porte de Vincennes - Porte de la Chapelle)
  • métro ligne 7, station Porte de La Villette ou ligne 5, station Porte de Pantin
  • bus 75, 139, 150, 152, PC1 et PC2
  • Vélib 19009 ou 19115

Ivry sur Seine: Cours de l'Ecole du Logiciel Libre, On Saturday 7 May 2016 from 14h00 to 18h00.

L'Agenda du Libre [Île de France] - sam, 07/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

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

L'Agenda du Libre [Île de France] - ven, 06/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.

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

L'Agenda du Libre [Île de France] - jeu, 05/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 Silex : créer son site web, Le mercredi 4 mai 2016 de 19h00 à 21h00.

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

2016-05-04_Silex_Mediabox.svg

Pour soutenir notre campagne de crowd funding sur Silex qui a débuté en avril nous vous proposons deux ateliers Silex pour découvrir ce logiciel libre pour réaliser des sites internet facilement et gratuitement.

N’hésitez pas à participer à notre campagne de crowd funding, toutes les contributions sont les bienvenues !!

2016-04-20_CROWD-SILEX-green.svg

Le premier atelier vous permettra de prendre en main le logiciel et de vous initier à l’interface et aux fonctions de bases du logiciel en réalisant un site internet en partant d’une page blanche. Le second atelier sera l’occasion d’utiliser les éditeurs de code pour améliorer votre site en vous initiant au CSS et même au Javascript pour les plus courageux.

Au programme de cet atelier
  • Présentation de l’interface du logiciel
  • Insertion de pages, de textes, d’images et de containers
  • Réalisation d’une barre de navigation
  • Utilisation les fonctions avancées de mise en page (Mode appolo)
  • Intégration des widgets (liens embeded) avec la Html Box (videos, son, carte, fil twitter)
À propos de SILEX

Silex est un logiciel libre et gratuit qui vous permet de réaliser vos sites internet en toute liberté et de garder le contrôle total de vos données (interopérabilité, pas de “lock-in”, pas de freeware, propriété des données)

qui permet de réaliser des sites internet sans avoir besoin de savoir coder. Mais il permet aussi de commencer facilement à mettre les doigts dans le code de façon ludique.

Silex est un éditeur de sites web en ligne, libre et gratuit qui compte des milliers d’utilisateurs dans le monde.

Quelles que soit votre niveau vous pourrez réaliser un site internet Il permet de réaliser des sites internet sans avoir besoin de savoir coder. Mais il permet aussi de commencer facilement à mettre les doigts dans le code de façon ludique.

silex-macbook-transp.ai

Silex est fait pour vous quelles que soient vos compétences :

  • si vous ne savez pas coder le mode wysiwyg (what you see is what you get) vous permettra de faire votre site sans écrire une ligne de code.
  • si vous êtes designers vous pourrez facilement faire du prototypage et vous serez libre pour designer en partant d’une page blanche
  • si vous voulez vous mettre code silex vous offre des éditeurs Html, CSS ou javascript pour commencer à coder petit à petit
  • si vous êtes développeur vous pourrez ajouter vous même de nouvelles fonctionnalités au code source disponible sur github.

Vidéos tuto sur le logiciel Silex

Intervenant

as-lk

L’atelier sera animé par Antonin STEPHANY, chargé de projet de l’association Silex Labs qui a mené de nombreuses formations au logiciel Silex notamment dans le cadre de la Master Class Silex et du projet Hello World.

Linkedin

2016-05-04_Silex_Mediabox_carre.svg

Neuilly sur Seine: Open Source pour l'Internet des objets, Le mardi 3 mai 2016 de 14h00 à 19h00.

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

http://www.open-source-innovation-spring.org/static/images/carres.pngPremier é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 l'Internet des objets

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 dirigé par Pierre Ficheux, directeur technique d'Open Wide Ingénierie (groupe Smile), et Emmanuel Baccelli, directeur de recherche Inria, équipe RIOT.

  • 14:00: Introduction et prototypage d'un objet connecté avec des composants logiciel et matériel libres

    Pierre Ficheux, directeur technique d'Open Wide / Smile

  • 14:30: Présentation du système d'exploitation RIOT-OS

    Emmanuel Baccelli, Inria (équipe RIOT)

  • 15:00: Connected TIZEN

    Philippe Coval (Samsung)

  • 16:00: Utilisation de la plateforme virtuelle QEMU/SystemC pour l'IoT

    Mark Burton, GREENSOCS

  • 16:30: Pourquoi l'IoT doit s'appuyer sur les communautés open source

    Philippe Krief, Eclipse Foundation

  • 17:00: Wendelin pour la maintenance prédictive d'éoliennes

    Jean-Paul Smets, NEXEDI

  • 17:30: Système de sol connecté, du capteur à l'application mobile

    Christophe.Reithler et Fabrice Dewasmes, Tarkett/NeoPixl

  • 18:00: Buffet-networking

Inscription gratuite mais obligatoire

Autres journées :

L'Agenda du Libre | Sécurité, sûreté et confidentialité
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
L'Agenda du Libre | Techniques de programmation web à l'état de l'art

Paris: Atelier PAO : Scribus, On Monday 2 May 2016 from 19h00 to 21h00.

L'Agenda du Libre [Île de France] - lun, 02/05/2016 - 21:00
Atelier Scribus : Les clés de la PAO & du Design Libre #4

2016-05-02_PAO4-scribus_Mediabox.svg

Tux

Dans la série des ateliers Do it yourself, l’association Silex Labs vous propose un nouveau cycle d’ateliers pour découvrir les clés de la PAO & du Design Open source et vous initier aux principaux outils de communication visuelle libres : Scribus, Inkscape et Gimp. Ces trois logiciels sont des logiciels libres et gratuits (licence GNU GPL) et sont multiplate-forme (ils fonctionnent sous GNU/Linux, Windows, Mac OS X).

Suite aux 3 premiers ateliers sur Inkscape et Gimp nous allons passer à Scribus

À propos de Scribus

96px-Scribus-logoScribus est conçu pour permettre la mise en pages de façon flexible, il peut servir à réaliser des dépliants, des plaquettes, des livres et des magazines, et tout type de document destiné à être imprimé ou à être visualisé sous forme numérique.

Téléchargez et installez Scribus

Au programme de cet atelier

INTRODUCTION À  SCRIBUS

  • Les Blocs (manipulation des différents types de blocs)
  • Les textes (saisir ou importer du texte, mettre en forme : typographie et styles)
  • Gestion des couleurs (couleurs, roue chromatique et tons)
  • Les images (Importer des images et appliquer des des effets, Les modes colorimétriques, Interaction avec GIMP et Inkscape)
Cible

Toute personne souhaitant se former à des outils gratuits et libres pour la PAO (et le design).

Animateur christophe-mahais

Christophe MAHAIS est formateur informatique, usages & pratiques numériques chez E2C 95 – Ecole de la Deuxième Chance en Val d’Oise.

Il est spécialisé en gestion de projet et développement du numérique sur un territoire, animation d’ateliers et formations, usages (et non-usage) des TIC et TICE, enjeux des fractures numériques, e-administration, e-inclusion, e-éducation…

Linked In

Infos et inscriptions : https://www.silexlabs.org/event/atelier-scribus-cles-de-pao-design-libre-4/

Cet atelier entre dans le cadre du projet “Le tour du Web en 50 ateliers” qui propose des ateliers d’initiation aux métiers du numérique par la pratique pour permettre aux personnes défavorisées face à l’accès au numérique, de comprendre ce secteur et de s’initier à ses métiers.

Paris: CODE, debugging the gender gap, Le vendredi 29 avril 2016 de 20h00 à 23h00.

L'Agenda du Libre [Île de France] - ven, 29/04/2016 - 22:00

Dans le cadre du cycle "Femmes dans les sciences et les techniques" organisé du 26 avril au 5 mai 2016,

le Carrefour numérique² projettera le documentaire CODE, debugging the gender gap (en version originale anglaise, sous-titrée français). Après le film, découvrez les nombreux langages de programmation en discutant avec des programmeuses. Rencontrez les organisatrices de sessions d'initiation.

Salle Agora du Carrefour numérique², niveau -1 de la Cité des sciences
Places limitées.
Sur inscription par mail carrefour-numerique CHEZ universcience POINT fr

Paris: Atelier : Maker girls, Le vendredi 29 avril 2016 de 14h00 à 18h00.

L'Agenda du Libre [Île de France] - ven, 29/04/2016 - 16:00

Dans le cadre du cycle " Femmes dans les sciences et les techniques" organisé du 26 avril au 5 mai 2016,

le Carrefour numérique² en partenariat avec Paris Maker Girls propose aux débutantes ou non, de participer à un atelier où vous pourrez notamment découvrir et utiliser Arduino mais également d'autres technologies « open source ».

Le vendredi 29 avril de 14h à 18h.
Dès 14 ans.
Inscription par mail carrefour-numerique CHEZ universcience POINT fr

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

L'Agenda du Libre [Île de France] - jeu, 28/04/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: Apéro contribution au libre, Le jeudi 28 avril 2016 de 19h00 à 21h00.

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

Silex LabsOn vous propose de continuer les apéropen source en mode contributhon avec Parinux, parce que boire des verres c’est sympa mais c’est encore plus sympa de le faire en contribuant à des projets libres et utiles.

Nous vous proposerons bien sûr de contribuer à Silex et de soutenir notre campagne de Crowd Funding qui battra alors son plein mais aussi de contribuer à d’autres projets portés par Parinux et ses aficionados du libre.

Si vous pensez que la contribution n’est pas pour vous, faites nous confiance vous vous trompez ! La contribution c’est pour tout le monde, chacun à son niveau, parfois poser des questions sur un projet c’est le début de la contribution alors n’hésitez pas à venir nous aider et trinquer à l’avenir du libre.

Si vous pouvez ramenez votre ordinateur portable ce serait pratique, mais dans l’esprit de partage qui nous anime la discussion orale et le schéma sur papier sont les bienvenus également et nous pourrons aussi partager les ordis si besoin.

On vous donne rendez vous le jeudi 28 avril à partir de 19H dans les locaux de la fondation Charles Léopold Mayer au 38 Rue Saint-Sabin, 75011 Paris.

Eventbrite - Apéropen source #34 contributhonComme les places sont un peu limitées nous vous demandons de vous inscrire afin de savoir à peu près combien nous serons.

AFFICHE-A4-CONTRIBUTHON-KCALM-SL

apero34-avr16-fph-carre.svg

Paris: Rencontres des contributeurs OpenStreetMap, Le jeudi 28 avril 2016 de 02h30 à 22h30.

L'Agenda du Libre [Île de France] - jeu, 28/04/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.

Paris: Rencontre C++ Francophone, Le mercredi 27 avril 2016 de 19h00 à 21h30.

L'Agenda du Libre [Île de France] - mer, 27/04/2016 - 21:00

L'association C++FRUG organise la douzième rencontre parisienne C++ Francophone avec pour nom de code : decltype(new event).

19:00  Accueil
19:30  Présentations éclairs (Lightning talks)
20:00  Pause dinatoire, pizzas et bières offertes par Mobiskill Partner
20:30  Révolution des <algorithme> en C++17
21:15  Informations générales et fin de la rencontre

Présentations éclairs (Lightning talks)

Loïc Joly présente deux outils autour du C++

  • Les raw string litterals et comment les remanier (refactoring)
     
        const char* ma_chaine_de_caracteres = R"nesaffichepas(
        Salut les
        "passionnés"
        du C++
        )nesaffichepas";
       
  • Un visualiseur interactif d'arbre syntaxique basé sur Clang

Joël Falcou présente quelques bonnes pratiques en C++ moderne

  • Trucs et astuces
  • Détourner les Variadiques à son profit

Révolution des <algorithme> en C++17

Thomas Petit présente les avancées du comité de normalisation C++17 (SG9) a propos des <algorithm> -- Ranges TS : view::transform<algorithm>.

Les <algorithm> de la STL sont mal aimés : Difficilement composables, encombrés d'une syntaxe pénible, ils n'ont jamais réussi à convaincre et vivotent dans l'ombre des conteneurs. Mais récemment le comité de normalisation C++ (SG9) sous l'impulsion d'Eric Niebler a annoncé une série de TS (Technical Specification) qui devrait les remettre sur le devant de la scène.

Le premier TS, pas encore publié, mais dont le brouillon (draft) est très avancé, va revisiter les algorithmes existants pour en simplifier massivement l'utilisation. En introduisant de nouvelles surcharges acceptant les ranges (github.com/ericniebler/range-v3).

Les infâmes begin()/end() que vomissent les codes utilisant fortement les <algorithm> ne seront bientôt plus qu'un lointain souvenir. L'arrivé des Concepts, ainsi que de nouvelles fonctionnalités comme les Callables et les Projections, vont eux aussi participer à la cure de simplification qui attends <algorithm>.

Le deuxième TS, en préparation, s'annonce encore plus révolutionnaire. En introduisant les View, la STL devrait se doter d'une nouvelle classe d'algorithmes paresseux (lazy), non-mutable et composable permettant une écriture fonctionnelle merveilleusement concise et malléable.  

Paris: Atelier Gimp, Le lundi 25 avril 2016 de 19h00 à 21h00.

L'Agenda du Libre [Île de France] - lun, 25/04/2016 - 21:00

2016-04-25_PAO3-Gimp_Mediabox.svg

Tux

Dans la série des ateliers Do it yourself, l’association Silex Labs vous propose un nouveau cycle d'ateliers pour découvrir les clés de la PAO & du Design Open source et vous initier aux principaux outils de communication visuelle libres : Scribus, Inkscape et Gimp. Ces trois logiciels sont des logiciels libres et gratuits (licence GNU GPL) et sont multiplate-forme (ils fonctionnent sous GNU/Linux, Windows, Mac OS X).

Suite aux 2 premiers ateliers qui nous ont permis de faire un tour des 3 logiciels et de s’initier à Inkscape nous allons maintenant passer à Gimp.

gimp

À propos de Gimp

GIMP (GNU Image Manipulation Program) est un outil pour l’édition et la création d’images originales, de photos, d’icônes, d’éléments graphiques de pages web, et d’art pour les éléments de l’interface de l’utilisateur.

Au programme de cet atelier d’initiation à Gimp 
  • Image numérique (Bitmap, vectoriel, résolutions, impression…)
  • L’espace de travail (Menus, fenêtres, outils…)
  • Traitement d’une image et corrections (Réglages et retouches)
  • Sélection et recadrage (Lassos, baguette magique, …)
  • Les calques (Manipulation et effets de calques, Transformations)
  • Le dessin et les textes (Aérographe, Pinceau, Trait, Outils de texte)
Cible

Toute personne souhaitant se former à des outils gratuits et libres pour la PAO (et le design).

Date et lieu

 Les clés de la PAO & du Design Open sourceRéservez votre lundi 25 avril 2016 de 19H à 21H à Mediabox, 23 rue de Bruxelles, 75009 Paris.

christophe-mahais Animateur

Christophe MAHAIS est formateur informatique, usages & pratiques numériques chez E2C 95 – Ecole de la Deuxième Chance en Val d’Oise.

Il est spécialisé en gestion de projet et développement du numérique sur un territoire, animation d’ateliers et formations, usages (et non-usage) des TIC et TICE, enjeux des fractures numériques, e-administration, e-inclusion, e-éducation…

Linked In

Le tour du Web en 50 ateliers

Cet atelier entre dans le cadre du projet “Le tour du Web en 50 ateliers” qui propose des ateliers d’initiation aux métiers du numérique par la pratique pour permettre aux personnes défavorisées face à l’accès au numérique, de comprendre ce secteur et de s’initier à ses métiers.

Syndiquer le contenu