" Le projet THERESE" de Jean-Marie PENDIBIDU, Université de Picardie septentrionale

http://pauillac.inria.fr/~xleroy/stuff/therese/therese.html

"

Presentation

THÉRÈSE (TERabit RESeau) is a project built around a powerful local network with high transmission speed. A lot of goodies have been incorporated to the product in order that it can be used as a general multi-purpose tool in such areas as software engineering, artificial intelligence, robotics, office automation, VLSI design, fundamental mechanics, theoretical physics, applied mathematics, computer assisted education, high speed satellite communications, performance evaluation, general system theory, reliability, high resolution graphics, public messages, private massages, fast Fourier transform, personal computing, image processing, etc... Moreover my taylor is rich. A first publication of this paper has appeared in the BIGRE bulletin."

Extraits de l'article :

"Il était également nécessaire d'étudier soigneusement les modalités d'accès au réseau. Il fallait en particulier éviter les collisions, qui auraient pu faire de gros dégâts, étant donnée la vitesse à laquelle circulent les bits. Nos études nous ont conduit à réaliser une interface répondant au schéma de la figure 3. L'interface ainsi conçue est portable, fiable, faisable et aimable: en un mot, conviviale. Plus généralement, THÉRÈSE sera un modèle de convivialité."

Philippe Flajolet

http://fr.wikipedia.org/wiki/Philippe_Flajolet

"Slides" de la Conférence "Why Informatics Generates Mental Inversions ?" , D.I. Nantes, 18 sept. 2014

http://fr.wikipedia.org/wiki/G%C3%A9rard_Berry

http://fr.wikipedia.org/wiki/Esterel_(langage)

http://www.college-de-france.fr/site/gerard-berry/index.htm

http://www.nantesdigitalweek.com/manifestations/conference-internationale-intelligence-numerique-digital-intelligence/

Leslie Lamport, of time, space, and computation

Leslie Lamport vient d'obtenir le Prix Turing.
Pour une présentation rapide des travaux de Lamport, sur sa pensée, nous vous conseillons de lire, le chapitre qui lui est consacré dans
Out of their Mind, The Lives and Discoveries of 15 Great Computer Scientists
de Dennis Shasha et Cathy Lazere
Copernicus, Springer-Verlag

Le Prix Turing 2013 est décerné à Leslie Lamport, Quimper et la Boulangerie à l'honneur !

http://fr.wikipedia.org/wiki/Leslie_Lamport
http://fr.wikipedia.org/wiki/Prix_Turing

http://amturing.acm.org/

"Leslie Lamport, a Principal Researcher at Microsoft Research, has been named as the recipient of the 2013 ACM A.M. Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems."

http://amturing.acm.org/award_winners/lamport_1205376.cfm

Théorème de Quimper et l'algorithme de la boulangerie sont dus à Lamport.
http://www.istic.univ-rennes1.fr/digitalAssets/73/73737_Lettre_ifsic_17.pdf

C'est Lamport qui disait :

" "tout ce qui m'a été utile, je l'ai appris dans l'enseignement secondaire"

http://lefenetrou.blogspot.fr/search/label/Lamport

Un petit texte de Lamport dans Wired :
http://www.wired.com/opinion/2013/01/code-bugs-programming-why-we-need-specs/

On écrivait de tels textes dans les années 70-80. Et nous sommes en 2013 !

Si cela ne vous intéresse pas, peut-être que vous serez attentifs à cette étude qui a pour objet la chevelure des français :

http://research.microsoft.com/en-us/um/people/lamport/pubs/hair.pdf

Les musées de l'informatique, Computer Museum

Europe :

- France
Le musée de l'informatique, Arche de la Défense (fermé, lire http://blog.museeinformatique.fr/ )
http://www.museeinformatique.fr/

Le projet d'ACONIT
http://www.aconit.org/association/

- Suisse, Le musée Bolo
http://www.bolo.ch/
http://www.abcm.ch/

- Pays-Bas
http://www.science.uva.nl/museum/
 http://www.amsterdam.info/museums/computer-museum/

- UK
The National Museum of Computing
http://www.tnmoc.org/
Bletechley Park
http://www.bletchleypark.org.uk/ 
Computing History
http://www.computinghistory.org.uk/

Allemagne
http://www.computerspielemuseum.de/
http://www2.hu-berlin.de/isemuseum/

Amérique :
- USA :
Computer History Museum
http://www.computerhistory.org/
http://fr.wikipedia.org/wiki/Mus%C3%A9e_de_l%27histoire_de_l%27ordinateur
San Diego Computer Museum
http://www.computer-museum.org/
American Computer Museum
http://www.compustory.com/
Houston Computer Museum
http://www.houstoncomputermuseum.org/index.html
Rhode Island Computer Museum
http://www.ricomputermuseum.org/
 University of Virginia
http://www.cs.virginia.edu/about/museum/
UCSD
 http://www.threedee.com/jcm/psystem/
Canada
York University Computer Museum
http://www.cse.yorku.ca/museum/
Saskatchewan Computer Museum
http://computermuseum.usask.ca/

Australie
http://computermuseum.bigpondhosting.com/

Brésil
http://www.museudocomputador.com.br/homeingles2.php

Musée sur la Toile :
http://www.binarydinosaurs.co.uk/
http://www.digibarn.com/
http://www.old-computers.com
http://www.obsoletecomputermuseum.org/
http://www.hpmuseum.net/#
http://silicium.org/site/
http://pocket.free.fr/
http://www.homecomputer.de/
http://www.retrocomputermuseum.co.uk/
http://www.atarimuseum.com/computers/computers.html
http://pc-museum.com/
http://www.analogmuseum.org/english/collection/
http://www.belgers.com/walter/computers/
http://museum.ipsj.or.jp/en/about/index.html
http://www.unixhub.com/computer.html
http://utopia.knoware.nl/users/stuurmn/aelectr.htm
http://www.minotaurz.com/compmuse/
http://www.computermuseum.org.uk/

Le prix Turing 2011 a été décerné à Judea Pearl, "For fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning. "

Attribué à Judea Pearl, père de Daniel Pearl assassiné par Al Quaïda en 2004

http://www.cio.co.uk/news/3345087/turing-award-2012-goes-ucla-professor-judea-pearl/ 

"Judea Pearl, a longtime UCLA professor whose work on artificial intelligence laid the foundation for such inventions as

 the iPhone's Siri speech recognition technology and Google's driverless cars, has been named the 2011 ACM 

Turing Award winner.

The annual Association for Computing Machinery (ACM) A.M. Turing Award, sometimes called the "Nobel Prize in Computing," recognises Pearl for his advances in probabilistic and causal reasoning. His work has enabled creation of thinking machines that can cope with uncertainty, making decisions even when answers aren't black or white. "

Le site de Judea Pearl :

http://bayes.cs.ucla.edu/jp_home.html
Sur le site de l'ACM :
http://amturing.acm.org/award_winners/pearl_2658896.cfm

Things a Computer Scientist Rarely Talks About

by Donald E. Knuth

"n the fall of 1999, computer scientist Donald E. Knuth was invited to give six public lectures at MIT on the general subject of relations between faith and science. The lectures were broadcast live on the Internet and watched regularly by tens of thousands of people around the world, and they have remained popular many months after the event. This book contains transcripts of those lectures, edited and annotated by the author.

After an introductory first session, the second lecture focuses on the interaction of randomization and religion, since randomization has become a key area of scientific interest during the past few decades. The third lecture considers questions of language translation, with many examples drawn from the author's experiments in which random verses of the Bible were analyzed in depth. The fourth one deals with art and aesthetics; it illustrates several ways in which beautiful presentations can greatly deepen our perception of difficult concepts. The fifth lecture discusses what the author learned from the "3:16 project," a personal exploration of Biblical literature which he regards as a turning point in his own life.

The sixth and final lecture, "God and Computer Science," is largely independent of the other five. It deals with several new perspectives by which concepts of computer science help to shed light on many ancient and difficult questions previously addressed by scientists in other fields.

A significant part of each lecture is devoted to spontaneous questions from the audience and the speaker's impromptu responses, transcribed from videotapes of the original sessions.

The book concludes with a transcript of a panel discussion in which Knuth joins several other prominent computer specialists to discuss "Creativity, Spirituality, and Computer Science." The other panelists are Guy L. Steele Jr. of Sun Microsystems, Manuela Veloso of Carnegie Mellon University, and Mitch Kapor of Lotus Development Corporation, together with moderator Harry Lewis of Harvard University. "
http://www-cs-faculty.stanford.edu/~uno/things.html

Un prix Turing à Nantes

Il n'y avait pas foule hier pour écouter Robin Milner à la fac. De mon établissement, nous étions 3 (un vieux, celui qui écrit ici, et deux jeunes. Bien). Des collègues de l'iut de La Rochelle avaient fait le voyage. Et ceux qui avaient leur bureau à 10 mètres... ? Mais comme un collègue est venu avec son groupe de TD, l'amphi a été plein.
Après la conf, je suis allé faire un TD qui utilisait les travaux de Milner. J'avais la moitié des étudiants absents.

On voit ainsi dès aujourd'hui l'effet de l'évolution des programmes d'enseignement. Les fondamentaux ne sont plus enseignés ou sont dédaignés par nos clients (et en conséquence, supprimés des nouveaux programmes, ceux de "nouvelle génération") , les étudiants qui sont parfaitement formés en sortant du lycée pour juger de ce qui est fondamental. Un de ces jours ces infos vont sortir dans Le Monde. Peut-être ...

Pendant ce temps, les étudiants indiens se forment aux fondamentaux et nos société s'implantent en Inde. Très bien, la fracture se comble entre les riches et les pauvres. Le jeune collègue m'apprend que les Chinois vont avoir leur système de GPS en place avant celui des Européens.

Au fait, arrêtons de dire que si l'"on" va en Inde c'est parce que les salaires sont moins élevés. Si la qualité n'était pas au rdv "on"n'irait pas. Et quand les sociétés indiennes de logiciel sont au "top niveau" (je sais parler buisinesse !) (voir la classification CMM) et qu'en plus sont moins cher (ce qui va souvent de pair, normal, si on est plus efficace) , le rapport qualité/prix ... vous avez appris ce qu'est un rapport si vous avez passé l'examen d'entrée en sixième...

Une définition de ce qu'est un modèle :

"A model consists of some concepts, and a description of permissible activity in terms of these concepts."

"Grand challenge : Establish modeling as the basis of informatics"

Robin Milner à Nantes le 21 mars

The Atlanstic Federation of Labs (FR 2819)
is happy to invite you to a seminar to be
given in Nantes by professor Robin Milner.

Professor Milner is well known in the
computer science community for his
major contributions to functional
and concurrent languages.
He was awarded the prestigious 
"ACM Turing Award" in 1991.
In his seminar he will present
one of the grand challenges of the 21st
Century.

This seminar will take place
at the Faculty of Sciences
and Techniques,
University of Nantes,
amphi H, on Wednesday March 21,
at 14:00.

Amphi H is close to the LINA lab:


---------------------------------


Professor Robin Milner,
Emeritus Professor at Cambridge University,
visiting Ecole Polytechnique (Paris)
for a year as "Ile-de-France
Blaise Pascal Professeur de Recherche".

Title:

"Ubiquitous computing, models
and the informatic future"

Abstract:

"Ubiquitous Computing Systems (UCSs)
will be a dominant part of
informatics in this century.
They will be vast, will evolve,
will make
decision previously made by us,
and will interact with one another.

The problem of how to understand
them, both as designed and as they
evolve, is one of the Grand Challenges
for Computing adopted by the UK
Computing Research Committee.
Many existing and more modest computing
systems are not deeply understood
when they are specified or built;
this phenomenon appears to be a
side-effect of the tremendous market
demand that has arisen worldwide
in the past half century.

I shall argue that a more thorough
science-based approach is both
necessary and possible. We often
think in terms of models, whether
formal or not.  These models, each
involving a subset of the immense
range of concepts needed for UCSs,
should form the structure of our
science.  Even more importantly,
the relationships (either formal or
informal) among them are the cement
that will hold our tower of
models together. For example,
how do we derive a model for senior
executives from one used by
engineers in designing a platform for
business processes, or by
theoreticians in analysing it?

Many examples of such relationships
exist; we need to base our
methodologies on them, and on
more of them.  As part of the talk, I
would like to illustrate this
with my own work on mobile systems."

Robin Milner Biography:

Robin Milner graduated from
Cambridge in 1958.  After short
posts he joined
the University of Edinburgh in
1973, where he co-founded the Laboratory for
Foundation of Computer Science
in 1986.  He was elected Fellow of the Royal
Society in 1988, and in 1991
won the ACM's A.M. Turing Award. He joined
Cambridge University in 1995,
headed the Computer Laboratory there for four
years, and retired in 2001.
His research achievements
(often joint)
include:
the system LCF, a model for
many later systems for
interactive reasoning;
systems; Standard ML, an
industry-scale but rigorously
based programming
language; the Calculus of
Communicating Systems (CCS); the Pi Calculus.
Currently he works on Bigraphs,
a topographical model for
global computing.

Ils ne veulent pas faire d'informatique...

Ce titre relevé dans les Communications of the ACM de novembre 2005 (je suis un peu en retard dans ma lecture des revues !) :

"The recent decreases of enrollment in computer science programs signal a chasm between our historical emphasis on programming and the contemporary concerns of those choosing careers."

Quid en Inde, en Asie ?


"Computer science" ? l'informatique est-elle la "science des ordinateurs" ?

Il arrive que les Français inventent des mots utiles (il est de bon ton de se moquer des termes proposés à la place de termes anglais) . Ainsi "informatique". Les Allemands et de plus en plus de pays utilisent "informatique" au lieu de "computer science".