United States

Perrier, Guy Perrier, Guy- University Nancy, France. Lincoln, Patrick Lincoln, Patrick- SRI International Computer Science Laboratory, USA. Hyland, Martin Hyland, Martin- Kings College, UK. Hodas, Joseph Hodas, Joseph- Harvey Mudd College, USA. De Paiva, Valeria De Paiva, Valeria- Palo Alto Research Center, USA. Harland, James Harland, James- RMIT University, Australia. Wadler, Philip Wadler, Philip- University of Edinburgh, UK. Tamura, Naoyuki Tamura, Naoyuki- Kobe University, Japan. Shankar, Natarajan Shankar, Natarajan- SRI International, USA. Gardner, Philippa Gardner, Philippa- Imperial College, UK. Galmiche, Didier Galmiche, Didier- University of Henri Poincare, France. Gallier, Jean Gallier, Jean- University of Pennsylvania, USA. Fages, Francois Fages, Francois- The National Institute of Research in Computer Science, France. Delzanno, Giorgio Delzanno, Giorgio- University of Genova, Italy. Cervesato, Lliano Cervesato, Lliano- ITT Industries, Inc., USA. Benton, Nick Benton, Nick- Microsoft Research, USA. Asperti, Andrea Asperti, Andrea- University of Bologna, Italy. Abramsky, Samson Abramsky, Samson- Oxford University Computing Laboratory, UK. Japaridze, Giorgi Japaridze, Giorgi- Villanova University, USA. Pitts, Andrew Pitts, Andrew- University of Cambridge, UK. Ong, Luke Ong, Luke- Oxford University Computing Laboratory, UK. Honsell, Furio Honsell, Furio- University of Udine, Italy. Meetings in Coding Theory and Cryptography Meetings in Coding Theory and Cryptography- Maintained by Anne Canteaut, INRIA. Atlas of Mars -- Roving Mouse Interplanetary Atlas of Mars -- Roving Mouse Interplanetary- A color Atlas of Mars. Navigate by clicking on a globe. Point at a feature to see if it has an official name. Windows to the Universe: Earth Windows to the Universe: Earth- An overview of the planet and its moon including general information, data, pictures, news, historical and mythological background. Night Earth Night Earth- Uses Google Maps interface and NASA imagery to show how the Earth is seen at night from space. Great Globe Gallery Great Globe Gallery- Graphical collection of different views of our planet. The Nine Planets: Earth The Nine Planets: Earth- General information, some statistical data and links. Earth Observatory: The Blue Marble Earth Observatory: The Blue Marble- Detailed true-color images of the entire planet. Welcome to the Planets: Earth Welcome to the Planets: Earth- Includes a planetary profile and some pictures.