Groupe de travail "Logique et Programmation": Amir Ben-Amram
Monday 24 November 2008 at 01.30 PM by damiano
GdT Log&Prog: Amir Ben-Amram
Monday 24 November 2008 at 01.30 PM
Location: B311, LIPN — Duration: one hour
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.