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…
In der deutschen IT-Branche herrscht Frauenmangel. Gerade einmal 20 Prozent der IT-Studierenden sind weiblich. Experten machen hierfür alte Rollenbilder und eine fehlende Frühförderung an Schulen verantwortlich, um Mädchen für die Digitalisierung zu begeistern. Dabei wird das weibliche Potenzial dringend benötigt.