Date: Wed 25 Nov
Time: 14.30
Place: Sala Conferenze DISI

Speaker: Prof. J. Alan Robinson
Reference: Maurizio Martelli

Il Prof. Robinson e' uno dei grandi nomi dell'Informatica e della Logica Computazionale.

Da i suoi famosi lavori sul Principio di Risoluzione (detto di Robinson) ed in generale dagli studi sulla dimostrazione automatica di teoremi fino agli studi sull'integrazione tra programmazione logica e funzionale (Loglisp, ma anche ricerche che porta ancora avanti in collaborazione con l'Universita' di Uppsala) e' sempre stato un attore di primo piano dei settori succitati.

Founding Editor del Journal of Logic Programming e' considerato uno dei padri di questa disciplina a cui ha dedicato non solo idee ma anche incredibili contributi per darle un'organizzazione ed una presenza internazionale adeguata. La conferenza incontro sara' divisa in due parti: