- OpenStack-fr - lists.openstack.org

Two PhD positions in LIAFA, Paris, France: Software verification and Model-checking for malware detection
by Tayssir Touili 19 Feb '14

19 Feb '14

Please distribute (apologies for multiple postings): =============================== Two PhD positions in LIAFA <http://www.liafa.univ-paris-diderot.fr/index_en.php> ================== Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/> (touili(a)liafa.univ-paris-diderot.fr) Two PhD positions are available in the "Verification" team in LIAFA, Paris. *Subject 1: Software verification** **------------------------------------------* The subject of the thesis is about concurrent programs verification. The PhD student is expected to investigate and develop novel techniques, algorithms and tools for the analysis of software. Indeed, nowadays, software is everywhere: in telecommunication, in navigation, in nuclear plants, etc. The tasks that software deal with are becoming more and more complex and critical, in the sense that any small error can cause huge human and/or economical damages. Therefore, it is crucial to be sure that a software does not contain any error before using it. Programmers need then to have rigorous formal mathematical techniques that allow to verify and check their programs. Unfortunately, programs present several complex features that make their analysis very complex: concurrency, synchronisation, recursion, procedure calls, pointers, manipulation of integer and real variables, etc. Thus, the objective of this thesis is to develop new techniques for software model-checking that can deal with all these complex features. *Subject 2: Model-checking for malware detection* *-----------------------------------------------------------------* The topic of the thesis is the development of new original model-checking and static analysis techniques for malware detection. Indeed, the number of malwares is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. To identify viruses, existing antivirus systems use either code emulation or signature (pattern) detection. These techniques have some limitations. Indeed, emulation based techniques can only check the program's behavior in a limited time interval, whereas signature based systems are easy to get around. To sidestep these limitations, instead of executing the program or making a syntactic check over it, virus detectors need to use analysis techniques that check the /*behavior*/ (not the syntax) of the program in a /*static*/ way, i.e. without executing it. Towards this aim, we propose in this thesis to develop new /*model-checking*/ and /*static analysis */ techniques for virus detection. *How to apply:** **==========* The positions are available immediately. Candidates must have a master in computer science. The candidate must send a CV, university grades, recommendation letters, and a motivation letter to Tayssir TOUILI (touili(a)liafa.univ-paris-diderot.fr)

1 0

Re: [OpenStack-fr] OpenStack France meet-up demain
by Erwan Gallen 12 Feb '14

12 Feb '14

Voici l’URL à jour pour la diffusion video du meetup de ce soir : https://plus.google.com/events/ctgal5moblma2542k1svjmcrpgg Cordialement, Erwan Le 10 févr. 2014 à 22:10, Stephane EVEILLARD <stephane.eveillard(a)gmail.com> a écrit : > je vais tenter en ligne aussi > > > Le 10 février 2014 12:11, Nicolas Thomas <nicolas.thomas(a)canonical.com> a écrit : > Pas mieux :) > > > 2014-02-10 12:54 GMT+02:00 Dave Neary <dneary(a)redhat.com>: > > Je suivrai en ligne si c'est possible, alors. Merci. > > Dave. > On 02/10/2014 11:52 AM, Erwan Gallen wrote: > > Bonjour Dave, > > > > Un Hangout a été préparé pour un suivi à distance du Meetup : > > http://www.youtube.com/watch?v=HVKTx0vvFbE > > Nous n’avons aucune garantie que le débit va être suffisant mais nous > > tentons la diffusion. > > > > Nous communiquons dessus aujourd’hui. > > > > Cordialement, > > > > Erwan > > > > Le 10 févr. 2014 à 11:41, Dave Neary <dneary(a)redhat.com > > <mailto:dneary@redhat.com>> a écrit : > > > >> Bonjour mesdames et messieurs, > >> > >> Malheureusement, avec plusieurs jours de déplacement ces 2 derniers > >> semaines, j'ai beaucoup beaucoup de pain sur la planche cette semaine, > >> et je ne pourrais pas faire le déplacement pour venir sur Paris pour le > >> meet-up. > >> > >> Je vous fait entièrement confiance pour les discussions OpenStack > >> France. J'aurai vraiment aimé y être, mais c'est franchement pas > >> raisonnable. > >> > >> A bientôt, > >> Dave. > >> > >> -- > >> Dave Neary - Community Action and Impact > >> Open Source and Standards, Red Hat - http://community.redhat.com > >> Ph: +33 9 50 71 55 62 / Cell: +33 6 77 01 92 13 > > > > -- > Dave Neary - Community Action and Impact > Open Source and Standards, Red Hat - http://community.redhat.com > Ph: +33 9 50 71 55 62 / Cell: +33 6 77 01 92 13 > > > > -- > Best Regards, > Nicolas Thomas > > EMEA Sales Engineer Canonical > GPG FPR: D592 4185 F099 9031 6590 6292 492F C740 F03A 7EB9 > > > > -- > Stéphane EVEILLARD > Responsable Système et Développement IBS NETWORK > Coordinateur Version Française Openstack

4 4

Conférence aux Journées Federez
by Thibaut Chatté 08 Feb '14

08 Feb '14

Bonjour, Je m'appelle Thibaut Chatté, et suis Centralien et membre de FedeRez, fédération d'associations étudiantes d'informatique ; les étudiants qui composent ces dernières suivent leur formation dans des Grandes Écoles d'Ingénieur, telles que l’École Polytechnique, les Écoles Centrales, les ENS, Supélec, Télécom, les Arts et Métiers, ... Nous organisons cette année une nouvelle édition des Journées FedeRez, sur le thème "10 ans de Federez, 10 ans d'évolution des réseaux", qui aura lieu les 28, 29 et 30 mars 2014 à l'École Centrale Paris. Cet événement regroupe professionnels et personnalités du monde de l'informatique, en particulier afin de promouvoir le libre. Dans cette optique, nous souhaiterions avoir aux Journées une conférence sur le cloud, et avons tout de suite pensé au projet Openstack : serait-il possible qu'un membre actif de la communauté vienne parler plus en détail du projet le samedi 28 mars 2014 lors d'une conférence ? Merci d'avance pour votre réponse, -- Thibaut Chatté & l'équipe Federez

2 1

Appel à contributions Solutions Linux, Libres et open source
by Jonathan Le Lous 07 Feb '14

07 Feb '14

Bonjour, Je vous invite à proposer vos contributions au track cloud du salon Solutions Linux, Libres et Open Source. D'autant plus que j'ai la chance de co-présider le track cloud avec Frédéric Lepied (eNovance) et de compter sur Erwan Gallen (Cloudwatt), Dave Neary (Red Hat) et Julien Nierdergang (Suse) en soutiens de poids ! CLOUD LIBRE Cette année le track Cloud Libre va s'orienter vers les déploiements effectifs de projets de l'IaaS au PaaS en passant par l'orchestration. Retours d'expériences, solutions émergentes, quelles sont les différentes technologies pour monter et industrialiser ses déploiements et la gestion de son infrastructure. TABLE RONDE : Du IaaS au PaaS : un écosystème de solutions libres ! Lors de cette table ronde nous ferons un tour d'horizon des différents projets qui permettent de passer du IaaS au PaaS. Nous nous interrogerons notamment sur l'interopérabilité entre les outils, le rôle l'existence de standards et la possibilité de piloter des projets multi-environnements. CONFERENCES SPECIFIQUES - Le cloud ça marche ? Prouvez-le ! - L'automatisation du cloud - Industrialisation, qu'est-ce que cela veut dire ? - Mettre en place un PaaS - Les solutions de IaaS et l'orchestration - La gestion du stockage dans un open Cloud - Un cloud 100% libre, ça existe ? Voici le lien de l'appel à contribution: http://www.solutionslinux.fr/Cloud+Libre_168_3484.html +++ Jonathan fr.linkedin.com/in/jonathanlelous/ Blog : http://blog.itnservice.net/

1 0

Hangouts des meetup / Openstack.fr
by Laurent BORENSKY 05 Feb '14

05 Feb '14

Bonjour, Je vois que des présentations (intéressantes) sur Openstack (ex: TripleO) ont lieu prochainement dans les locaux de l'Epita. Je trouve intéressant cette démarche française participative autour des travaux sur Openstack. Ceci étant, tout le monde n'a pas la chance d'habiter Paris où sa proche banlieue. Alors comme le sujet porteur est le Cloud, pourquoi ne pas utiliser les moyens offerts par les grands du Net (en l'occurrence Google) pour diffuser gratuitement le meetup sur Hangout afin qu'il soit diffusé instantanément sur YouTube? A défaut d'avoir la vidéo, à minima l'audio pourrait être intéressante. Cdlt,

8 7

Création de l’Association des Utilisateurs Francophones d’OpenStack
by Adrien Cunin 05 Feb '14

05 Feb '14

Bonjour à tous, L’association des utilisateurs francophones d’OpenStack vient d’être créée ! L’association OpenStack-Fr a été créée en petit comité en novembre/décembre 2013 pour simplifier le processus. Plusieurs personnes ont participé à la création : Nicolas Barcet, Dave Neary, Pierre Freund, Yannick Foeillet, Adrien Cunin, Thierry Carrez, Loïc Dachary, Erwan Gallen, Jonathan Le Lous (Conseil d’Administration initial) mais aussi Christophe Sauthier, Julien Danjou, Vincent Untz et Nicolas Thomas. Une Assemblée Générale et l'élection d’un nouveau conseil d’administration auront lieu en mars. OpenStack-Fr a pour objet la promotion et l’aide au développement du projet OpenStack et des projets libres associés sur le territoire français et plus largement dans les pays francophones. L’association a également pour objet de regrouper l’ensemble des utilisateurs et contributeurs francophones au projet OpenStack (développeurs, traducteurs, utilisateurs, etc…). Ainsi, et sans que cette liste ne puisse être limitative, l’association sera notamment amenée à réaliser les actions suivantes : * organisation et/ou participation à différentes manifestations, conférences ou expositions en France et à l’étranger ; * réalisation d’opérations de communication médiatique (telles que des communiqués de presse, etc…), ainsi que tous les actes nécessaires aux dites communications (tels que traductions, diffusion, etc…) de communiqués de presse provenant de la « communauté » OpenStack dans le monde entier ; * rédaction et/ou participation à la rédaction d’articles consacrés au projet OpenStack, sa communauté et les projets libres associés ; * réalisation d’opérations de promotion pour le développement du projet OpenStack ainsi que de manière générale les projets libres associés ; * organisation et/ou participation à des actions d’information et de sensibilisation en direction des instances locales, nationales ou internationales ; * recueillir et remonter les informations liées à la communauté francophone vers les instances de la Fondation OpenStack. Venez découvrir l’association, ses actions et éventuellement la rejoindre (adhésion annuelle à 5 €) le 11 février prochain lors du Meetup#5 à Paris. Si vous souhaitez adhérer dès maintenant, il est conseillé d'effectuer l'inscription en ligne (https://asso.openstack.fr) et le paiement de la cotisation lors du meetup (préférable pour l'association). Le paiement en ligne est néanmoins disponible. Dans ce cas, vérifiez que vous êtes bien identifiés sur le site lors du paiement et que le motif de paiement indique "Cotisation annuelle (5.00 €)". Dans le cas contraire votre paiement sera pris en compte comme un don plutôt qu'une cotisation. N'hésitez pas si vous avez des questions. Nous sommes notamment disponibles sur le channel IRC #openstack-fr@Freenode. Adrien

3 2

Meetup #5 à Paris le 11 février
by Adrien Cunin 04 Feb '14

04 Feb '14

Bonjour à tous, Dans moins de deux semaines aura lieu le cinquième meetup Parisien. Rendez-vous mardi 11 février à 18h45 à l'EPITA. On y parlera stratégies de déploiement, TripleO, et on en profitera pour faire l'Assemblée Générale de la toute nouvelle association OpenStack-fr (plus d'infos à ce sujet dans tous les prochains jours). Tous les détails et les inscriptions sont là : http://www.meetup.com/OpenStack-France/events/161704432/ Et n'oubliez pas que beaucoup d'entre nous seront également présents au FOSDEM ce week-end. Adrien

1 1

Re : OpenStack au prochain FOSDEM (1-2 Fev., Bruxelles)
by kaslantien＠free.fr 08 Jan '14

08 Jan '14

Je devrai y être aussi , et j ai un sac de questions ;) Joël Pastol ----- Reply message ----- De : "Loic Dachary" <loic(a)dachary.org> Pour : "Adrien Cunin" <adrien(a)adriencunin.fr>, <openstack-fr(a)lists.openstack.org> Objet : [OpenStack-fr] OpenStack au prochain FOSDEM (1-2 Fev., Bruxelles) Date : mer., janv. 8, 2014 13:21 Bonjour Adrien, J'y serais ! Est-ce que ça ne pourrait pas être l'occasion de faire une assemblée générale de l'association ou qqc du genre ? A++ On 08/01/2014 10:55, Adrien Cunin wrote: > Bonjour, > > Je viens d'envoyer un mail sur la liste openstack@ mais je renvoie ici > vu que le FOSDEM c'est Bruxelles, donc francophone (la ville pas > l'événement), et qui plus est pas très loin de la France. :-) > > Pour ceux qui ne connaissent pas, le FOSDEM [0] est le rendez-vous > européen annuel des développeurs FOSS. L'entrée est libre. > > OpenStack y sera présent cette année via des conférences notamment dans > la devroom "Virtualisation and IaaS" [1] et pour la première fois avec > un stand [2]. Il sera situé au premier étage du bâtiment K. > > Si vous avez quelques heures de libre pendant l'événement et que vous > voulez aider à gérer le stand, vous pouvez m'envoyer un mail. > > En espérant voir OpenStack-fr bien représenté là-bas :) > > Adrien > > [0] https://fosdem.org/2014/ > [1] https://fosdem.org/2014/schedule/track/virtualisation_and_iaas/ > [2] https://fosdem.org/2014/stands/ > > > > _______________________________________________ > OpenStack-fr mailing list > OpenStack-fr(a)lists.openstack.org > http://lists.openstack.org/cgi-bin/mailman/listinfo/openstack-fr > -- Loïc Dachary, Artisan Logiciel Libre

1 0

OpenStack au prochain FOSDEM (1-2 Fev., Bruxelles)
by Adrien Cunin 08 Jan '14

08 Jan '14

Bonjour, Je viens d'envoyer un mail sur la liste openstack@ mais je renvoie ici vu que le FOSDEM c'est Bruxelles, donc francophone (la ville pas l'événement), et qui plus est pas très loin de la France. :-) Pour ceux qui ne connaissent pas, le FOSDEM [0] est le rendez-vous européen annuel des développeurs FOSS. L'entrée est libre. OpenStack y sera présent cette année via des conférences notamment dans la devroom "Virtualisation and IaaS" [1] et pour la première fois avec un stand [2]. Il sera situé au premier étage du bâtiment K. Si vous avez quelques heures de libre pendant l'événement et que vous voulez aider à gérer le stand, vous pouvez m'envoyer un mail. En espérant voir OpenStack-fr bien représenté là-bas :) Adrien [0] https://fosdem.org/2014/ [1] https://fosdem.org/2014/schedule/track/virtualisation_and_iaas/ [2] https://fosdem.org/2014/stands/

2 1

OpenStack à Capitole du Libre (Toulouse) ce week-end
by Adrien Cunin 24 Dec '13

24 Dec '13

Bonjour, Petit rappel pour ceux qui auraient oublié, ce week-end aura lieu à Toulouse Capitole du Libre [0]. Une partie de l'événement est dédiée à OpenStack et vous êtes tous conviés ! :-) Au programme [1] : Samedi - conférences * Présentation OpenStack, Christophe Sauthier (Objectif Libre) * OpenStack vu depuis le Board, Nicolas Barcet (eNovance) * Ceph : le futur du stockage est libre, Loïc Dachary * Combien pour un Cloud OpenStack ?, Pierre Molin (eNovance) * Heat, Pierre Freund (Osones) * Comment contribuer à OpenStack ?, Stéphane Eveillard (IBS Network) * Couplage Ceilometer/Heat, Medhi Abaakouk (eNovance) * Retour sur le summit de Hong Kong et la communauté OpenStack.fr, Table ronde Dimanche - ateliers * À la découverte d’OpenStack, un cloud libre, Adrien Cunin, Stéphane Albert, Lionel Porcheron * Initiation à OpenStack Heat, Pierre Freund Pour les ateliers, merci de vous inscrire sur les page dédiées [2] et [3]. En espérant vous voir nombreux, Adrien [0] http://2013.capitoledulibre.org [1] http://openstack.fr/evenement/rencontre-openstack-fr-a-capitole-du-libre-20… [2] http://toulibre.org/capitoledulibre2013:ateliers:openstack-intro [3] http://toulibre.org/capitoledulibre2013:ateliers:openstack-heat

3 4