| MultiMedia_Laboratory_(MML),_University_of_Zurich Research and advanced development work in multimedia-based information system design, application prototyping, and media management. |
| NASA_Advanced_Supercomputing_Division Research and development of high performance computing technologies, device modeling, nanotechnology, and scientific visualization. Information about research and publications. |
| The_National_Center_for_Supercomputing Information about supercomputing applications and research in the United States. |
| NIST_Information_Technology_Laboratory Describes programs and projects at the NIST Information Technology Laboratory, which supports the information technology industry with measurements, standards, and research. |
| NSF_Science_and_Technology_Center A collaboration of five universities researches scientific visualization. Information about the group and educational opportunities. |
| Oak_Ridge_National_Laboratory_Computer_Science_and_Mathematics_Division_ Applied research in high performance computing, applied mathematics, and intelligent systems. Research and publication abstracts. |
| OFFIS_Research_Institute Oldenberg, Germany. Research and development in embedded systems, healthcare information and communication systems. |
| Ontario_Research_Center_for_Computer_Algebra Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visitors and postdocs are hosted. |
| OSC Ohio Supercomputer Center. Innovations in computing, networking, and education. |
| The_Paradigm_Group Research in parallel computing with applications to geographic/spatial information systems. Projects and bibliography of papers. |
| Parallab Institute for Informatics, University of Bergen, Norway. Description of computing facilities. |
| PSC Pittsburgh Supercomputing Center. Research, educational outreach, and supercomputing news. |
| RADIANT The Research and Development in Advanced Network Technology is a part of the Network Engineering Group (CIC-5) at Los Alamos National Laboratory. Publications bibliography and project descriptions. |
| San_Diego_Supercomputer_Center_(SDSC) The central nexus for the National Partnership for Advanced Computational Infrastructure. Publications, research, and news. |
| SCAI Institute for Algorithms and Scientific Computing. Events and projects. |
| Scalable_Computing_Lab Iowa State University. Publications bibliography and description of computational resources. |
| Scientific_Computing_and_Imaging_Institute University of Utah. Researches visualization, imaging, and applications to biomedicine. Description of current projects. |
| SCV Scientific computing and visualization group at Boston University. Research in computational science and engineering, scientific visualization, and computer graphics. |
| Sun_Microsystems_Laboratories Applied research and advanced development in asynchronous and high-speed circuits, optical interconnects, third-generation web technologies, sensors, network scaling and Java technologies. |
| Supercomputing_Institute Provides supercomputing resources to the University of Minnesota. Description of computers and technical support. |
| Swedish_Institute_of_Computer_Science Research focuses on distributed interactive real-time systems. Publications and software. |
| UCLA_Parallel_Computing_Laboratory Projects, research, papers, and free parallel simulation languages. |
| University_Corporation_for_Advanced_Internet_Development Internet2 News, FAQ, and technical information. |
| University_of_Cambridge_HPCF Description of computing resources available, research, and online manuals. |
| University_of_York_Management_and_Information_Systems_Research_Group Aims to extend the discipline of information systems through a synthesis of the social and technical factors related to them. |
| USC_Information_Sciences_Institute Technical reports, software, research groups. |
| Army_Research_Laboratory_MSRC_Scientific_Visualization Conducts research in the development of new techniques for exploiting high-performance computing technology, promotes the use of scientific visualization within the DoD, makes visualization technology |
| BP_Center_for_Visualization Devoted to advanced visualization technology, in particular for the energy industry, aerospace and medical visualization. |
| Brown_University_Computer_Graphics_Group Conducts research in the development of human-centered, powerful, and interactive 3D graphics tools for modeling, scientific visualization, telecollaboration, and interactive illustrations. |
| Caltech_Multi-Res_Modeling_Group Conducts research into the mathematical and algorithmic foundations of numerical problems in computer graphics and scientific computing with a specific focus upon multiresolution techniques. |
| Center_for_Human_Modeling_and_Simulation Conducts research in computer graphics modeling and animation techniques for embodied agents, virtual humans, and their applications. |
| Centre_of_Computer_Graphics_and_Data_Visualization University of West Bohemia. Research areas include algorithms for computer graphics and visualization,volume data processing, methods for iso-surface extraction, mesh reduction and reconstruction from |
| Computer_Graphics_at_the_University_of_California_Berkeley Provides information on projects and courses related to multimedia, human computer interaction and computer graphics. |
| Computer_Graphics_at_the_University_of_Utah Research efforts in immersive environments, modelling, CAM, scientific visualization, medical illustration, terrain modeling and rendering, haptics (force-feedback), realistic and non-photorealistic r |
| Computer_Graphics_Group Friedrich Alexander University of Erlangen-Nuremberg. Research areas include modeling, rendering, and scientific visualization. |
| Computer_Graphics_Lab_at_ETH_Zurich,_Switzerland Conducts research into the medical applications of computer science and computer graphics. |
| Computer_Graphics_Laboratory Stanford University. Research areas include volume rendering, rendering algorithms and systems, 3D scanning, image-based rendering, virtual reality, compression of graphics objects, user interfaces |
| Computer_Graphics_Research_at_Caltech Conducts research that explores and develops new approaches to modeling, rendering, simulation and scientific visualization. |
| Cornell_Program_of_Computer_Graphics Conducts research in architectural modeling, realistic image synthesis, digital photography, and visualization. |
| Electronic_Visualization_Laboratory_at_University_of_Illinois_at_Chicago EVL is a graduate research laboratory specializing in virtual reality and real-time interactive computer graphics. |
News 
LSV at a glancePeopleTalksLSV PublicationsSoftwareHow to get to LSVTeachingdepartment 
Hubert Comon-Lundh is the winner of the CNRS Silver Medal in 2008. A workshop will be organised at LSV on 18 and 19 november 2008. 
6th International Workshop on Security Issues in Concurrency (SecCo'08)Co-located with CONCUR'08 August 23, 2008 in Toronto (Canada) 
10th International Workshop on Verification of Infinite-State Systems (INFINITY'08)Co-located with CONCUR'08 June 26, 2008 in Pittsburgh (USA) International Workshop on Analysis of Security APIsCo-located with CSF'08 June 16-18, 2008 in Montreal (Canada) 
15th International Symposium on Temporal Representation and Reasoning (TIME'08) Less recent past events 
Patricia Bouyer is the CNRS Bronze Medal Winner in 2007 for Computer Science. IUF 
François Laroussinie has been made a junior fellow of the Institut Universitaire de France. PhD and Post-doc at LSV Several subjects and grants for PhD theses and post-docs are available. Where are they now? François Laroussinie is a full-professor at University Paris-Diderot (Paris 7). Ralf Treinen is a full-professor at University Paris-Diderot (Paris 7). Hubert Comon-Lundh is on sabbatical leave at RCIS (AIST, Tokyo). Michel Bidoit is the Director of INRIA Saclay Île-de-France research center. Antoine Petit is the director of INRIA Paris-Rocquencourt research center. Béatrice Bérard is a full-professor at University Paris-Dauphine. Books Systems and Software Verification – Model-Checking Techniques and Tools Formal Models of Communicating Systems – Languages, Automata, and Monadic Second-Order Logic LSV, CNRS & ENS de Cachan 61, avenue du Président Wilson, 94235 CACHAN Cedex, FRANCE Tél : +33 1 47 40 75 20 Fax : +33 1 47 40 75 21 
Page maintained by Webmaster. Last modified on september 16, 2008 