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:

• La prima parte sara' su "Mathematical Proofs" e in particolare: "I propose to talk about the history of logic and computing and to say that proofs can be great works of art. I will say that for the future, we must try to discover how humans come up with proofs, and how proofs work on the human mind once they are discovered." Questa parte e' di spettro generale e non dedicata specificamente agli informatici ma ad un auditorio piu' ampio e di interesse per matematici, logici, ecc.
• La seconda parte sara' un po' piu' tecnica e soprattutto sara' un occasione per discutere con lui sulla storia del settore e sulle prospettive future (quindi piu' un incontro-discussione).