Journées IRILL / GTLL sur la Fiabilité du Logiciel

Posté par  (site web personnel) . Édité par Benoît Sibaud et Nils Ratusznik. Modéré par patrick_g. Licence CC By‑SA.
Étiquettes : aucune
7
26
mai
2012
Communauté

Le logiciel est devenu omniprésent : on le retrouve désormais dans tous les processus industriels, administratifs et individuels, il est présent dans toutes sortes de dispositifs électroniques, et on voit se généraliser l'usage de composants logiciels libres dans toutes sortes d'applications.

Avec la généralisation de ces usages, la fiabilité du logiciel est une propriété qui devient de plus en plus essentielle et il est important de favoriser les échanges entre académiques et industriels sur ces sujets.

Pour contribuer à cela, l'Initiative pour la Recherche et l'Innovation sur le Logiciel Libre (IRILL) et le groupe de travail logiciel libre (GTLL) du pôle de compétitivité Systematic organisent deux journées dédiées aux académiques et industriels de la région Île de France sur la validation, la certification, la preuve et l'analyse de code.

Une série de courtes présentations permettront de découvrir une sélection d'outils de pointe, issus de la recherche, et des retours d'expérience industriels.

Ces deux journées auront lieu les 14 et 15 juin 2012, de 9h à 17h à l'IRILL (23 avenue d'Italie à Paris)

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

Posté par  (site web personnel) . Édité par Nÿco et Malicia. Modéré par Malicia. Licence CC By‑SA.
Étiquettes :
26
12
fév.
2012
GNU

Organisé par IRILL et l'université Paris-Diderot, Richard Stallman tiendra une conférence jeudi prochain, le 16 février, à 18h30.

La description du sujet est la suivante :

Les efforts développés pour inciter les gens à utiliser les nouvelles technologies numériques sont réalisés sur la supposition que cette utilisation est invariablement une bonne chose. En jugeant par le seul aspect pratique immédiat, cela semble être le cas. Cependant, si on juge en termes de droits de l'homme, que cette entrée dans ce monde soit bonne ou mauvaise dépend du monde numérique dans lequel nous voulons être inclus. Si nous nous fixons cette inclusion comme objectif, il nous incombe de nous assurer que cela soit réalisé de la bonne manière.

La conférence sera proposée en français et ne concernera pas d'aspects techniques.

Elle se tiendra à l'amphi Buffon de l'université Paris-Diderot à Paris. Un deuxième amphi avec retransmission sera ouvert en cas de grande affluence.

Le lendemain, le vendredi 17 à 10h30, Richard Stallman tiendra une nouvelle conférence à l'Institut d'Astrophysique de Paris (IAP) intitulé « Free Software and Your Freedom ».

Debian bug Squashing Party (Wheezy)

Posté par  (site web personnel) . Édité par Nÿco et Lucas Bonnet. Modéré par Lucas Bonnet. Licence CC By‑SA.
Étiquettes :
15
2
fév.
2012
Debian

Une chasse aux bogues (Bug Squashing Party, BSP) est organisée dans les locaux d'IRILL à Paris (IRILL, 23 avenue d'Italie, 75013 Paris, France). L'évènement aura lieu du vendredi 17 février jusqu'au dimanche 19.

Le but d'une BSP est de rassembler des contributeurs Debian pour corriger un maximum de bogues dans la distribution Debian. Des développeurs Debian seront présents pour aider à comprendre le fonctionnement du projet ainsi qu'aider à l'intégration des correctifs à Debian.

Pour des raisons d'organisation, l'inscription sur le Wiki Debian est obligatoire.

Rencontre sur les langages de script à l’IRILL le 1er juin 2011

Posté par  (site web personnel) . Modéré par patrick_g.
13
11
mai
2011
Science

Le 1er juin 2011, l’IRILL (Initiative de Recherche et Innovation sur le Logiciel Libre) organise une journée de travail dédiée aux langages de script.

L’objectif principal est d’identifier un ensemble d’exemples significatifs de faiblesses et caractéristiques à améliorer. On recherche aussi pour cela des développeurs ayant des exemples intéressants de motifs de programmation qui leur sont utiles, et même nécessaires, mais pour lesquels leur langage de script favori les laisse insatisfaits, parce qu’il est trop lent ou pas assez sûr, par exemple.

Retour sur le forum des 40 ans de l'INRIA

Posté par  (site web personnel) . Modéré par Nÿco.
Étiquettes :
0
31
jan.
2008
Communauté
Le 10 et 11 décembre 2007 dernier, l'INRIA fêtait ses 40 ans à Lille. Dans le cadre de ce forum, une série de conférences plénières et de sessions ont été tenues.

Toutes en rapport avec l'informatique au sens large du terme, elles ont rivalisé de qualité et diversité.

En particulier la présentation de Michel Serres (philosophe de l’Académie française) qui aura conquis l'auditoire en expliquant pourquoi, en prenant pour exemple les révolutions passées, les nouvelles technologies changent radicalement notre société.

Dans la même ligné, Roberto Di Cosmo et Bernard Stiegler reviennent tous deux, à leur manière, sur le logiciel libre, la contribution et l'évolution de l'informatique.

Nouveau BIOS Rockbox (archos Jukebox)

Posté par  (site web personnel) . Modéré par Amaury.
Étiquettes : aucune
0
15
avr.
2003
MP3
Un nouveau BIOS libre pour le Archos Jukebox vient de sortir. Le nombre de nouvelles fonctionnalités et de modifications est tellement important que cette version a été numérotée 2.0.

Pour rappel, le Archos Jukebox est un balladeur MP3 dont le BIOS officiel présente de graves problèmes. Pour pallier cette situation, une équipe de développement a décidé de développer un autre BIOS, indépendamment de la société Archos. Celle-ci a tellement bien travaillé que Archos fournit maintenant leur BIOS avec ses produits.

Nouvelle victoire pour le libre (Rockbox/Archos)

Posté par  (site web personnel) . Modéré par Benoît Sibaud.
Étiquettes :
0
12
déc.
2002
Audiovisuel
Le bios Rockbox est un BIOS alternatif développé sous la licence GPL et qui permet de rajouter/modifier des fonctionnalités sur le player MP3 Jukebox Archos.
Ce BIOS a un niveau d'avancement bien supérieur à celui officiel (fonctionnalités accrues, utilisation améliorée...).

Hier, la société Archos a contacté Björn Stenberg, responsable du projet Rockbox, pour demander l'autorisation d'inclure le BIOS Rockbox sur les CD fournis avec les Archos (bien que la GPL ne les obligeait pas à le contacter auparavant).

Bref, une nouvelle victoire de la philosophie du libre.

Niveau firmware RockBox

Posté par  (site web personnel) . Modéré par Fabien Penso.
Étiquettes :
0
25
oct.
2002
MP3
La nouvelle version de Rockbox (1.4) vient de sortir. (enfin, il y a 10 jours :)

Pour ceux qui ne connaissent pas, Rockbox est un firmware opensource de remplacement pour les Jukebox Archos Player et recorder. Ce firmware est supérieur à tous points de vue à l'original.

Plein de superbes nouveautés au programme !

Nouvelle technique de défragmentation

Posté par  (site web personnel) . Modéré par Fabien Penso.
Étiquettes : aucune
0
9
oct.
2002
Humour
Pour ceux d'entre nous qui sont restés sont Windows (les pauvres) et qui ont en assez de défragmenter leur disque dur avec Defrag (Microsoft) ou Speeddisk (Norton) sans avoir une grosse augmentation de performance, WAÏTHAÏ PC industrie propose une nouvelle technique révolutionnaire.
A essayer !

PS : je me demande si la méthode est la même avec un disque dur SCSI :)

NDM : complètement débile, aucun rapport avec le libre, mais rigolo...