Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Other Grants and Activities

Visits of Foreign Researchers

Adel Bouhoula (SupCom Tunis, Tunisie) has visited Cassis (November 29 - December 2) to work on firewalls policies.

John Mullins (Ecole Polytechnique de Montréal, Canada) has visited Cassis/LIFC as a Franche-Comté University invited professor to work on substitutivity/composition problems for probabilistic weighted automata (May 31 - July 5).

Bogdan Warinschi (University of Bristol, UK) has visited LORIA to work on combination techniques for soundness results of symbolic model (November 22 - 30).


previous
next

Logo Inria