An international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
My original post, “Remove Richard Stallman”, has received over 180,000 views at the time that I am writing this. Since then, I’ve spoken with a few reporters, and even more information has been…
M. Helmick. Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education, page 146--150. New York, NY, USA, ACM, (2007)