TALK CANCELLED ! Composition of interactive Web services based on controller synthesis and modal logic

30^th October 2007, 16:00
Prof Philippe Balbiani
Institut de Recherche en Informatique de Toulouse, Toulouse, France