1er colloque franco-japonais d'informatique, samedi 8 decembre,
Maison Franco-Japonaise, Ebisu, Tokyo, Japon.

Organisateurs : Michel Israe"l, conseiller scientifique de l'ambassade de France au japon,
                        Jean-Pierre Jouannaud, directeur du LIX,
                        Mitsuhiro Okada, professeur a` l'universite Keio, Mita Campus, Tokyo.

FRANCE-JAPAN COMPUTER SCIENCE WORKSHOP
(Sponsored and organized by the French Embassy in Japan,
in collaboration with Keio University)

Date : December 8th (Saturday), 2001.

Place : Maison Franco-Japonaise (Nichi-Futsu Kaikan) at JR-Ebisu, Tokyo, Salle 601 ( 10 minutes walk from the East Exit of JR-Ebisu Station).

Program :

      9:45-10:00  Opening : Introduction by Michel Israel (Franco Japanese Doctoral School and French Embassy in
                       Japan).
    10:00-10:05  Seminar presentation, Mitsu Okada and Jean Pierre Jouannaud.
    10:05-11:05  1.  Hiroshi Imai, Departement of Computer Science, University of Tokyo, Algebraic Approaches to
                       Graphs and Networks.
                       2.  Pierre Fraigniaud, CNRS, LRI, Université Paris-Sud Graph Exploration with Little Memory.
    11:05-11:20  Break.
    11:20-12:20  3.  Osamu Watanabe, Computer Science Dept., Tokyo Institute of Technology
                       Deterministic Application of Grover's Quantum Search Algorithm (co-authored by Kyoichi Okamoto).
                       4.  Julia Kempe, CNRS, LRI, Université Paris-Sud Quantum Randum Walks.
    12:20-14:00  Lunch break.
    14:00-15:30  5.  Eiichi Horita, NTT Information Sharing Platform Laboratories (joint work with Satoshi Ono and Akira
                       Takura, NTT Information Sharing Platform Laboratories) On distributed timestamping: algorithms,
                       prototyping, and analysis.
                       6.  Jean-François Monin, (France-Telecom R&D) Real-Time Protocol Specification
                       7.  Mitsuhiro Okada, Dept. of Philosophy, Keio University (partly joint work with Jean-Pierre Jouannaud,
                         LRI and LIX) A Logical Method for Real-Time System Verification and Security Protocol Verification.
    15:30-15:45  Break.
    15:45-16:45  8.  Andreas Enge, LIX, Ecole polytechnique, Public Key Cryptography.
                       9.  Kazuo Ohta, University of Electro_communications, Accountable-Subgroup Multisignatures
                       (Co-authored by Silvio Micali (MIT), Leonid Reyzin (Boston University)).
    16:45-17:00  Break.
    17:00-18:00  10.  Jean-Pierre Jouanaud, Ecole Polytechnique, LIX Research activities at
                       LIX (Ecole polytechnique) and LRI (University Paris-Sud).
                       11.  Masao Nakagawa, Information and Comp. Sci. Dept., Keio University Research activities at
                       Department of Information and Computer Science of keio University.
    18:00-18:15  Conclusion and follow up.
    19:00  Reception at Michel Israel's home

Other guests :
    Satoshi Ono, NTT Information Sharing Platform Laboratories,
    Akira Takura, NTT Information Sharing Platform Laboratories,
    Ken NAkamura, Tokyo Metropolitan University,
    Morio Nagata, Keio University,
    Antoine Deza, Tokyo Institute of Technology,
    Hiroyuki Miyamoto, Chiba Institute of Technology.