IRILL blog

Blog of IRILL (Research and Innovation Initiative on Free Software)

Formal Methods as a Link between Software Code and Legal Rules

Posted by Roberto Di Cosmo at May 16, 2012 01:45 PM |

Seminar on wednesday, May 23 2012, at 11h.

Read More…

LLVM Social in Paris

Posted by Sylvestre Ledru at May 15, 2012 12:11 PM |

On Tuesday, 15. Mai, an LLVM Social will take place in Paris. We would like to invite everybody interested in LLVM to join us.

Read More…

Haxe, le langage multi-plateforme basé sur OCaml

Posted by Roberto Di Cosmo at May 01, 2012 05:00 PM |

Jeudi 3 Mai 2012, Alexandre Hoyau (Silex Labs)  presentera Haxe, un langage multi-plateforme basé sur OCaml.

Tooling for open source software license compliance

Posted by Sylvestre Ledru at Mar 29, 2012 04:29 PM |

Jeudi prochain, le 5 avril à 15h45, Armijn Hemel (Tjaldur Software Governance Solutions) viendra présenter son travail sur "Tooling for open source software license compliance - challenges in fixing trivial problems" chez IRILL.

Read More…

Pattern matching for the masses using custom notations par Nic Volanschi (Matchbox & Metaware)

Posted by Sylvestre Ledru at Mar 14, 2012 11:28 AM |

Jeudi prochain, le 22 mars à 15h45, Nic Volanschi (Matchbox & Metaware) viendra présenter son travail sur "Pattern matching for the masses using custom notations" chez IRILL.

Read More…

Verifying Fence Elimination Optimisations par Francesco Zappa Nardelli (projet Moscova - Inria)

Posted by Sylvestre Ledru at Mar 07, 2012 05:01 PM |

Jeudi prochain, le 8 mars à 15h45, Francesco Zappa Nardelli (projet Moscova - Inria) viendra présenter son travail sur "Verifying Fence Elimination Optimisations" chez IRILL.

Read More…

VMKit: a Substrate for Managed Runtime Environments

Posted by Sylvestre Ledru at Feb 21, 2012 09:59 AM |

Jeudi prochain, le 23 février à 15h15, Gaël Thomas (REGAL - LIP6 - UPMC) viendra présenter son travail autour de VMKIT chez IRILL.

Read More…

Conférence de Richard Stallman "Pour une société numérique libre"

Posted by Sylvestre Ledru at Feb 11, 2012 06:35 PM |

Le jeudi 16 février à 18h30, à l'université Paris-Diderot, Richard Stallman, fondateur du mouvement du logiciel libre,donnera une conférence exceptionnnelle intitulée "Pour une société numérique libre".

Read More…

Architecture de Data Publica (Groupe de travail "Programmation")

Posted by Sylvestre Ledru at Feb 07, 2012 11:21 AM |

Le 9 février à 15h45, Christian Frisch de Data Publica (http://www.data-publica.com/) viendra présenter leur travail autour de l'importation de données publiques (ou privées).

Read More…

Install party à l'ENS-Cachan organisé par Cr@ns

Posted by Sylvestre Ledru at Jan 11, 2012 06:35 PM |

Le Cr@ns, l'association gérant le réseau des élèves à l'ENS-Cachan, organise une install-party le Samedi 14 Janvier. Durant l'après midi, plusieurs acteurs du monde du logiciel libre en présenteront différent aspects. L'IRILL sera présent et fournira l'infrastructure pour filmer ces conférences.

14h - 15h : Luca Saiu

"Le mouvement du logiciel libre"

Le mouvement du logiciel libre est basé sur quatre libertés : la liberté d'utiliser un programme pour n'importe quelle finalité, la liberté de le modifier, celle d'en redistribuer des copies exactes, et celle d'en distribuer des copies modifiées qui contribueront à son développement. Né en 1983 de l'«idéalisme pragmatique» d'une seule personne essayant de reconstruire une communauté centrée sur les droits des utilisateurs, le logiciel libre profite aujourd'hui d'un développement exceptionnel en quantité et qualité des productions. Nous allons parler de l'histoire et de la philosophie de ce mouvement fascinant, des aspects légaux et pratiques de l'utilisation du logiciel libre et de son développement.

15h - 16h : Stéphane Bortzmeyer

"Peut-on se passer de moteurs de recherche ?"

Aujourd'hui, beaucoup d'utilisateurs dépendent entièrement d'un moteur de recherche pour toute navigation sur l'Internet. On entend même des enseignants de collège dire aux élèves « Pour aller sur Wikipédia,
tapez "wikipedia" dans Google » Pourquoi est-ce une mauvaise idée ?
Quels sont les inconvénients des moteurs de recherche ? Que se passe-t-il lorsqu'une panne ou la censure modifie le résultat d'une recherche ? Quels sont les points forts des moteurs de recherche, où ils sont utiles ? À quoi
sert le DNS et pourquoi est-ce important de comprendre les noms de domaine ?

Une amusante vidéo qui illustre bien les inconvénients de la dépendance envers Google :
<http://normanfaitdesvideos.com/2011/10/19/maintenant-jai-google/>

16h - 17h : Jean-Vincent Loddo

"Tirer les ficelles de l'architecture TCP/IP avec Marionnet"

Marionnet est un logiciel permettant de définir, configurer, exécuter et contrôler un réseau virtuel constitué d'ordinateurs utilisant le système d'exploitation GNU/Linux, de concentrateurs, de commutateurs,
et de routeurs. Avec Marionnet, il est possible d'expérimenter la mise en oeuvre complète d'un réseau local : le projet, le câblage, le lancement, la configuration, l'administration, l'étude de protocoles et le test de
services ou d'applications. Il permet de pratiquer, analyser et contrôler les différentes couches réseaux qui constituent l'architecture DoD (TCP/IP): depuis le niveau physique jusqu'au niveau application. Adopté dans une
structure universitaire, Marionnet permet de réduire l'utilisation des vraies salles de « TP réseau », constituées d'équipements souvent onéreux et difficiles à maintenir en parfait état de marche. Il permet aussi aux étudiants de travailler à distance ou dans les salles informatiques ordinaires en accès libre.

Planning du LSoC: Logiciels libres et enseignement supérieur

Posted by Sylvestre Ledru at Jan 11, 2012 06:10 PM |

Comme indiqué dans un message précédent, IRILL organise et accueillera  une journée de conférences et de discussions sur l'enseignement de technologies des logiciels libres dans l'enseignement supérieur. L'organisation de la journée est maintenant connue:


9h   - 9h30     : Réception, café
9h30 - 10h      : Session d'ouverture, Enseignement supérieur et logiciels libres, panorama des initiatives en France. (Ivaylo Ganchev, université Paris 8)
10h  - 10h30    : Les initiatives autour du libre à l'EPITA (Olivier Ricou, EPITA)
10h30  - 11h    : L'enseignement des technologies Mozilla à l'université d'Evry - CoMETE (Didier Courtaud, CEA)

11h   - 11h20   : Pause

11h20 - 11h50   : Développement de VLC à l'Ecole centrale de Paris (Jean-Baptiste Kempf, Videolan)
11h50 - 12h20   : Réalisation de projets libres dans le cadre d'un cours magistral à l'université Paris 8 (Karine Mordal, université Paris 8)

12h20 - 14h     : Pause déjeuner

14h     - 14h30 : Développement de module Open Office à l'école centrale de Nantes (Morgan Magnin, Nelle Varoquaux, Benjamin Vialle, EC Nantes)
14h30 - 15h     : Enseignement des technologies KDE à l'université Paul Sabatier Toulouse (Kevin Ottens, KDE)
15h     - 15h30 : Utilisation du logiciel libre à l'université du Littoral: Master logiciel libre (Cyril Fonlupt, Eric Ramat, Master I2L, université du Littoral)

15h30  - 16h    : Pause


16h - 16h15 : La nuit de l'info - retour sur expérience (Pierre-Allain Muller, Université de Haute-Alsace)
16h15     - 17h30 : Table ronde : Libre semester of Code, mutualisation de ressources pédagogiques et autres sujets discutés pendant la journée (Albert Cohen, Roberto Di Cosmo)

 

LSoC: Logiciels libres et enseignement supérieur

Posted by Sylvestre Ledru at Dec 29, 2011 03:55 PM |

                                            Inscription gratuite, mais obligatoire, sur ce formlaire en ligne

 

L'IRILL organise une journée de conférences et de discussions sur l'enseignement de technologies des logiciels libres dans l'enseignement supérieur. Notre volonté est de réunir des enseignants et des étudiants de l'enseignement supérieur qui ont eu l'expérience d'enseigner ou d'avoir des cours sur une ou des technologies du monde des logiciels
libres pour une journée de partage d'expériences et de réflexions. Une table ronde suivra pour discuter de la mise en place d'activités coordonnées, et notamment sur un projet inspiré de Summer of Code de Google [5], inséré dans le cursus universitaire.

En effet les dernières années nous avons constaté qu'une multitude d'initiatives ont eu lieu dans différentes universités françaises, mais qui sont restées sans ou avec peu de retour d'expérience. Il serait pourtant particulièrement enrichissant pour les autres membres de la communauté universitaire d'avoir des témoignages de ces expériences.
Ainsi nous pouvons nous en inspirer des bons exemples et essayer d'améliorer les pas si bonnes. En tout cas cela nous permettra de généraliser l'enseignement des technologies libres dans le monde universitaire, car nous sommes convaincus par nos propres expériences et par des témoignages [1, 2, 3] que cela apporte beaucoup aux étudiants, aux enseignants aux établissements et aux communautés du libre.

Plusieurs experts sont invités à venir présenter leurs expériences le jeudi 2 février 2012, dans les locaux de l'IRILL à l'antenne parisienne de l'INRIA, 23, avenue d'Italie, 75013 Paris.

Ce sera également l'occasion de réfléchir sur l'initiative lancée par Albert Cohen reprenant des idées de plusieurs personnes, dont Roberto Di Cosmo, Laurent Séguin (Systematic GTLL) et surtout Olivier Berger (Telecom SudParis) nommée Libre Semester of Code (ou LSoC). Cette initiative est inspiré par le Google Summer of Code et cherche à prolonger cette expérience dans le cadre de la formation universitaire. Pour un peu plus de détails vous pouvez allez voir la présentation du LSoC à la conférence fOSSa à Lyon cette année [4].

Cette journée est préparée par:
Roberto Di Cosmo (Université Paris 7, IRILL),
Albert Cohen (INRIA, IRILL),
Ivaylo Ganchev (LIASD, Université Paris 8).

 Références:

  1. M. Pedroni, & Co, "Open source projects in programming courses", in Proc. SIGCSE, 2007
  2. D. Carrington and S.-K. Kim. "Teaching software design with open source software." In Proc. FIE, 2003.
  3. R. Hess and P. Paulson. "Linux kernel projects for an undergraduate Operating Systems course." In Proc. ACM Technical Symposium on Computer Science Education (SIGCSE), 2010
  4. http://blog.inria.fr/fossa/wp-content/uploads/2011/07/lsoc.pdf
  5. http://code.google.com/soc
Debian bug Squashing Party (Wheezy)

Debian bug Squashing Party (Wheezy)

Posted by Sylvestre Ledru at Dec 01, 2011 05:42 PM |

 Next February, 17 to 19th,  a Bug Squashing Party (BSP) is organized at IRILL offices.

The principle of a BSP is to gather Debian contributors to tackle a maximum of bugs in Debian.
 
This event is also the opportunity for new potential contributors to meet Debian Developers or Maintainers. Numerous regular contributors will attend to this BSP and will help newcomers to fix their first bugs.
 
For organization reasons, an inscription on the Debian wiki is mandatory.
 

“Open Source Innovation Catalyst” track

Posted by Sylvestre Ledru at Oct 18, 2011 02:45 PM |

In the context of the OW2 conference, the "Open Source Innovation Catalyst" track will be organized by IRILL with support from ICT Labs (http://eit.ictlabs.eu/) . This conference will be held on the november 24 th at Orange labs at Issy Les Moulineaux

Read More…

Sysadmin: episode 3

Posted by Sylvestre Ledru at Oct 04, 2011 06:45 PM |

Sysadmin oriented conference

Read More…

Antelink/antepedia presentation by Guillaume Rousseau

Antelink/antepedia presentation by Guillaume Rousseau

Posted by Sylvestre Ledru at Sep 15, 2011 04:50 PM |

On the October 7th at 3PM, Guillaume Rousseau will present the work done by Antelink at IRILL.

Read More…

First LibreOffice conference

Posted by Sylvestre Ledru at Sep 06, 2011 01:36 PM |

The first LibreOffice conference will be hosted by IRILL and by La Cantine. Those who are interested in the development of free office productivity software, open standards, and the OpenDocument format generally should join this event.

Read More…

IRILL sponsors the video events of Debian

IRILL sponsors the video events of Debian

Posted by Sylvestre Ledru at Jul 27, 2011 10:06 AM |

 
One of IRILL goals is to foster collaboration between researchers and Free Software developer communities, and making quality video material readily and publicly available is one important means to achieve this goal.

We have recently acquired professional video material in order to record and broadcast the events we host, and we agreed to lend to the Debian video team this equipment for major events like the yearly Debian Conference (debconf) or FOSDEM in Bruxelles, and to provide storage for the Debian video equipment when it is not used.

We are thrilled to join forces and share resources with Debian, whose video team has an impressive track record of service to the community : stay tuned for  more news about this collaboration over the next months.

http://www.debian.org/News/2011/20110726a

IRLL hosts some GCC Compile Farm nodes

Posted by Sylvestre Ledru at Mar 24, 2011 01:17 AM |

IRILL is glad to contribute to the GCC Compile Farm by providing some nodes.

Read More…

Darcs sprint

Darcs sprint

Posted by Sylvestre Ledru at Mar 08, 2011 11:40 AM |

April 1st, 2nd and 3rd 2011, IRILL will host the bi-annual meeting of Darcs. Darcs is a distributed, advanced revision control system written in Haskell.

Read More…

Document Actions
About IRILL

See the IRILL website for more information about IRILL.