9. LICS 1994: Paris, France