URL:  https://wwwen.uni.lu/snt/distinguished_lectures/the_computational_way_to_argue_november_9_2010 Date:  Monday, 27 June 2022, 06:59