URL:  https://wwwen.uni.lu/snt/distinguished_lectures/the_computational_way_to_argue_november_9_2010 Date:  Saturday, 31 July 2021, 23:10