Association Française des
Sciences et Technologies de l'Information

Hebdo
No 5. 2 octobre 2000

Sommaire : Trois questions à Jean-Pierre Jouannaud | Actualité de la semaine | Enseignement | Manifestations | Le livre de la semaine | La recherche en pratique | Rectificatifs



Asti 2001 : La liste des manifestations prévues

Trois questions à Jean-Pierre Jouannaud, président de l'Afit

Asti-Hebdo :Quels sont actuellement les thèmes les plus actifs dans le domaine que couvre l'Afit (Association française d'informatique théorique) ?

Jean-Pierre Jouannaud : Tout ce qui concerne la sécurité est particulièrement actif. Les relations industrielles sont denses. Nous n'avons d'ailleurs pas créé de groupe de travail spécialisé, car nous participons à celui de la SEE, fort dynamique, avec une dizaine de chercheurs très engagés. Une demi-douzaine (sinon même des dizaines !) de colloques traitent chaque année de ces questions.

Du point de vue théorique aussi bien que pratique, on peut distinguer deux thèmes distincts. D'une part la cryptographie, essentielle à la sécurité des transmissions. Elle s'appuie sur la théorie des nombres, l'algèbre des corps finis, la théorie des codes. D'autre part la preuve de programmes et de protocoles, visant la sécurité de la programmation. Les outils relèvent principalement de la théorie des types, c'est-à-dire des logiques constructives d'ordre supérieur.

De son côté, l'algorithmique regroupe une forte communauté (équipes notamment à l'Inria, à Orsay, Lyon, Bordeaux, Grenoble...). Les chercheurs cherchent le plus souvent des algorithmes adaptés à des problèmes particulier. Le dessin de surface en trois dimensions intéresse aussi bien le cinéma et l'animation que la CAO et la robotique. Or il soulève des problèmes d'algorithmique aussi complexes qu'intéressants.

Quant à la complexité, elle anime quelques petits groupes. La France est en pointe sur la "complexité en moyenne". De quoi s'agit-il ? Alors qu'une grande partie des théories de la complexité raisonne en "pire cas", ces recherches françaises partent du fait que la complexité, à l'intérieur d'une famille donnée de problèmes, varie beaucoup en fonction de la distribution des données. Certains algorithmes, NP en pire cas, sont linéaires en moyenne. On observe même des phénomènes de phase, analogues à ceux de la physique, avec de grands plages de paramètres où l'algorithme se comporte bien, et des seuils au delà desquels il perd brutalement ses qualités.

A.H. Le profil de vos membres est donc à haute teneur abstraite et mathématique ? ?

J.-P.J : Ces domaines sont à cheval sur l'informatique et les mathématiques, et ses spécialistes viennent souvent de formations mathématiques. Mais plusieurs d'entre nous sont devenus industriels. Il s'agit d'anciens théoriciens (dont un des plus connus est G. Roucairol)... mais aussi souvent des étudiants de nos disciplines qui ont choisi l'industrie. Les relations ont donc souvent une sympathique connotation personnelle. L'image de l'informaticien théoricien perdu dans les spéculations abstraites, qui avait sa justification dans les années 60, est maintenant bien dépassée. Nos travaux n'ont pas de mal à intéresser les industriels !

A.H. Quelles sont actuellement les principaux projets de l'Afit ?

J.-P.J. : Nous digérons les actions que nous avons lancées il y a un an. Une des principales est d'évaluer les thèses françaises d'informatiques théoriques pour primer celles qui constituent de véritables percées (breakthroughs). Nous sommes en train d'évaluer celles de cette année. La cuvée 1999 a déjà été excellente.

Actualité de la semaine

Budget de la recherche : l'informatique est bien servie

Le ministère de la recherche vient de communiquer son projet de budget pour l'an prochain. L'informatique est bien servie, comme nous l'avions déjà noté à propos de l'Inria (voir le numéro 2 d'Asti-Hebdo). Parmi les premières réactions, on peut noter celle du SNCS. Son communiqué n'étant pas encore disponible sur son site, nous le reproduisons provisoirement ici.

On appréciera la synthèse du Monde.

Dans notre prochain numéro, nous présenterons d'autres réactions, notamment le point de vue de notre président Malik Ghallab.

L'art comme recherche sur les nouvelles technologies

Fred Forest prépare une nouvelle action pour le 28 octobre prochain dont on peut trouver la substance sur la maquette actuellement en construction.

L'agitateur artistique national, fidèle à lui-même, commente "J'ai la faiblesse de penser qu'elle va générer, un nouvelle fois, un événement Cette action cible les start-up, les milieux du high-tech, de l'informatique, les opérateurs de l'internet...

Recherche-action sur les nouvelles formes de presse

Asti-Hebdo est une forme de recherche-action sur les nouvelles formes de presse que permet le Web. Dans le même domaine, signalons le kiosque lancé par FT Press, avec sa série de périodiques email, sa charte déontologique, sa place donnée à la publicité, etc.

Enseignement

Le plaidoyer du Spécif

Le Spécif a fait parvenir au ministère de l'Education nationale un plaidoyer pour un enseignement des Stic (Sciences et Technologies de l'Information et de la Communication) et la création de concours, Agrégation puis Capes et correspondants.

L'informatique juste après le français et l'anglais

Jacques Baudé (de l'EPI) nous communique un extrait du sondage Challenges-CSA (revue "Challenges" d'octobre): 400 parents, 300 enseignants par téléphone: "Selon vous, pour trouver un emploi, quelles sont les connaissances qu'un élève doit avant tout maîtriser à la fin de ses études secondaires?"

Réponses des parents: Français (67%), Anglais (62), Informatique (58).
Réponse des enseignants: mêmes connaissances, et dans le même ordre: 83, 59 et 48

Jacques Baudé commente: "Connaissances maîtrisées", on en est loin ... dans le système éducatif tel qu'il est actuellement ! Et pourtant, le développement de l'informatique, et des TIC en général, dans notre pays et en Europe nécessite une politique globale, de l'Ecole à l'Université en passant par la Recherche.

Nos excuses à Educasource

Nous avons signalé dans le numéro 4 une série de sites intéressants en matière d'enseignement. Nous avions testé sans succès Educasource. Mais c'était une erreur de notre part, et après correction le test est positif, comme vous pouvez le vérifier par vous-même en cliquant ici

Manifestations

L'art à l'ère post-biologique

Annick Bureaud nous signale le colloque "L'art à l'ère post-biologique", qui se tiendra les 12 et 13 décembre prochains au CID (Ecole Nationale Supérieure des Beaux-Arts de Paris), en collaboration avec Olats et CAiiA-STAR

Ce colloque fera le point sur la création actuelle et explorera les pratiques émergentes dans l'art et les techno-sciences : art bio-technologique, créativité en ligne, interrelation espace virtuel-espace physique, lien entre les mythes anciens et pratiques contemporaines, approche d'une conscience modifiée par les technologies contemporaines, etc.

Programme détaillé sur le site de l'Olats

Histoire de Bull

La FEB (Fédération des équipes Bull) organise, avec l'Université de Paris-Sorbonne, du 16 au 22/10/2000 dans la Chapelle de la Sorbonne, une exposition "Pascal, l'ordinateur et la Sorbonne" avec démonstrations et conférences. Contact : Michel Guichard

Abélard

L'université de Nantes, construit le programme de la conférence internationale Pierre Abélard, à l'aube des universités, pour octobre 2001. Il n'est pas trop tard pour participer en s'adressant à Henri Habrias

Le livre de la semaine

Model checking

L'ouvrage "Vérification de logiciels" est consacré à une des techniques les plus utilisées et les plus efficaces, le model-checking. Il permet de mieux circonscrire les erreurs au sein d'applications industrielles (protocole de contrôle audio Bang et Olufsen, supervision de fabrication distribuée Renault, téléphonie cellulaire Motorola. Le livre est divisé en trois parties :
- principes fondamentaux (modélisation par automates finis, produit synchronisé d'automates, logique temporelle, algorithmes de model-checking symbolique, systèmes temporisés),
- questions pratiques : écriture des propriétés de correction et approches permettant de les vérifier
- différents outils de model checking.
Auteurs : B. Bérard, M. Bidoit, F. Laroussinie, A. Petit et P. Schnoebelen.
Editeur : Vuibert


La recherche en pratique

Napster : des universités américaines le défendent

Selon Internet Actu, le MIT et l'université de Stanford rejettent la demande d'Howard King, avocat de Metallica, qui visait à empêcher les étudiants d'utiliser Napster dans les universités.

N'oubliez pas les mal-voyants

Vos papiers de recherche ou vos textes pédagogiques peuvent intéresser les mal-voyants. L'Institut Fredrik Bull s'est particulièrement intéressé à la question. Il signale que, en toute hypothèse, les textes présentés sur le web sont accessibles, tels quels, à tous les mal-voyants qui disposent d'une interface matérielle Braille. Mais ils ne peuvent lire que le texte, à l'exclusion des illustrations.

Par ailleurs l'Institut a passé des partenariats avec des éditeurs d'ouvrages informatiques, notamment Sybex, Masson, Microsoft Press, Armand Colin, Osman Eyrolles Multimédia, et propose des versions Braille sur disquettes de plusieurs dizaines de leurs ouvrages.

Si la question vous concerne, vous pouvez prendre contact avec Juliette Bourgoin qui vous conseillera utilement.


Rectificatifs

Dans l'interview de Patick Callet (Asti Hebdo n°3), il faut lire :
- L'assemblée générale de l'Afig aura lieu du 29 novembre au 1er décembre (inclus) (et non à la date indiquée par erreur)
- Parmi les équipes actives en reconstitution du relief, il faut citer le LIL à Calais (et non, en l'occurrence, le LIFL).

L'équipe ASTI HEBDO : Directeur de la publication : Malik Ghallab. Rédacteur en chef : Pierre Berger. Secrétaire général de la rédaction : François Louis Nicolet Chefs de rubrique : Sylvie Lepont, Mireille Boris, Jean-Pierre Cahier, Anne Liebman.