The next meeting of the GdT "Logique et Programmation" will take place on

   Monday, 24 November 2008,
   at 1:30 pm, in room B311.

We will listen to a talk given by Amir Ben-Amram, invited researcher from the School of Computer Science at the Academic College of Tel-Aviv Yaffo, who will tell us about his latest ideas regarding size-change termination.