Submissions from heidelberg-laureate-forum.org

		2019 Heidelberg Laureate Forum Call for Participation (heidelberg-laureate-forum.org)
		1 point by alanfranz on Nov 20, 2018 \| past
		Leslie Lamport: How to Write a 21st Century Proof (2014) [video] (heidelberg-laureate-forum.org)
		60 points by pron on Dec 7, 2015 \| past \| 6 comments
		A Mathematical View of Computer Systems (heidelberg-laureate-forum.org)
		2 points by pron on Dec 6, 2015 \| past
		Butler Lampson: Hints and Principles for Computer System Design – HLF Lecture (heidelberg-laureate-forum.org)
		2 points by matt_d on Aug 27, 2015 \| past
		Fred Brooks: “A Personal History of Computers” (heidelberg-laureate-forum.org)
		3 points by matt_d on Aug 26, 2015 \| past
		Human Computation (heidelberg-laureate-forum.org)
		3 points by luu on Aug 25, 2015 \| past
		Leslie Lamport: A Mathematical View of Computer Systems (heidelberg-laureate-forum.org)
		2 points by hoekit on Aug 25, 2015 \| past \| 2 comments
		Human computable password algorithm [video and slides] (heidelberg-laureate-forum.org)
		1 point by todd8 on Sept 30, 2014 \| past \| 1 comment
		The future of computer science as forseen by a pioneer (heidelberg-laureate-forum.org)
		3 points by khrist on Jan 4, 2014 \| past