Daniele Varacca (LACL - Univ Paris Est Creteil), Milner and Alur walk into a bar

Programme

Résumé

The chef kicks them out: "I'm sorry, in my kitchen we only use induction"

This talk will start from Morris' PhD thesis in 1968 and present 50 years of theoretical computer science, through PCF, CCS, Alternating transition systems, contexts and strategies, ending up at the footsteps of the monumental Palace of Justice in Créteil.