News Archiv

Bereits zum zehnten Mal kürt die Redaktion des Wirtschaftsmagazins „Capital“ Talente unter 40 Jahren. Ausgezeichnet werden jeweils 40 junge Menschen in den Kategorien „Unternehmer“, „Manager“, „Politik und Staat“ und „Gesellschaft und Wissenschaft“. Zu letzterer gehört dieses Jahr auch Professor Christian Rossow, der am Forschungszentrum für IT-Sicherheit (CISPA) an der Universität des Saarlandes die Gruppe für Systemsicherheit leitet. Christian Rossow beschäftigt sich am [...]

Mit ihrem Messeauftritt auf der SPS IPC Drives in Nürnberg wird auch in diesem Jahr die Technologie-Initiative SmartFactory KL e.V. auf Europas führender Fachmesse für elektrische Automatisierung vertreten sein. Vom 28. bis 30. November 2017 stellen SmartFactoryKL und das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) das breite Spektrum an Kompetenzen auf dem Gebiet Industrie 4.0 aus (Halle 10.0, Stand 508). Im Fokus steht dabei die technologische Infrastruktur, die eine flexible [...]

Die Design-Möbel-Firma „form.bar by okinlab“ wurde mit dem Mittelstandspreis „Hidden Champion“ des Nachrichtensenders n-tv ausgezeichnet. Das Unternehmen vom Gründer-Campus Saar siegte in der Kategorie "Vision". Die Okinlab GmbH wurde 2013 im Starterzentrum der Universität des Saarlandes gegründet und seither mit zahlreichen Preisen ausgezeichnet. Sie arbeitet an der Schnittstelle zwischen Architektur, Design, Informatik und Forschung. Dabei spielen digitale Entwurfs- und Fertigungsmethoden eine zentrale Rolle.

Eine Ringvorlesung zum Thema „Zufall“ startet am 29. November. Darin gehen Physiker, Philosophen, Genetiker, Historiker, Mathematiker und Informatiker dem Phänomen aus dem Blickwinkel ihrer Disziplinen auf den Grund. Veranstalter sind die Professorin Giovanna Morigi (Theoretische Physik) und ihr Kollege Jürgen Eschner (Experimentalphysik), die in den vergangenen Jahren bereits Ringvorlesungen zu den Themen „Licht“ und „Nichts“ organisiert hatten. Die Vorträge finden immer mittwochs [...]

Wenn Sherlock Holmes einen Tatort analysiert und nur aufgrund der Fakten den wahren Täter ermittelt, meistert er die Kunst der Deduktion, der richtigen Schlussfolgerung. Seit den Anfängen der Informatik bringen Computerwissenschaftler dies auch Rechenmaschinen bei, damit diese Menschen beim Denken unterstützen und sogar mathematisch formulierbare Sätze beweisen können. Daher durchdringen Forscher die mathematische Logik und entwerfen formale Systeme, die nach deduktiven Prinzipien aufgebaut [...]
155156157158159 ...
237»