Köln [ENA] LVR-Landeshaus ist nun „Ort der Demokratiegeschichte“. LVR-Zentrale am Deutzer Rheinufer erhält als erster Ort in Köln die Plakette der Stiftung Orte der deutschen Demokratiegeschichte. Dem LVR-Landeshaus in Köln-Deutz wurde heute die Plakette „Ort der Demokratiegeschichte“ von der gleichnamigen Stiftung öffentlich verliehen. Damit ist die LVR-Zentrale der erste Ort in Köln mit dieser Auszeichnung.   [Mehr...]

Bonn [ENA] Werden mathematische Forschungsergebnisse in Zukunft von Computern verifiziert? Christoph Thiele und Floris van Doorn von der Universität Bonn erhalten einen mit 6,4 Millionen Euro dotierten ERC Synergy Grant. Können Beweise aus mathematischer Spitzenforschung in Zukunft mit zumutbarem menschlichen Aufwand so aufbereitet werden, dass sie vom Computer in Echtzeit verifiziert werden können?   [Mehr...]