von Savina Takeva | Feb 14, 2018 | Allgemeine News, News, Veranstaltungen
The Silicon Valley Experience February 19, 2018 | 5 – 7 p.m. Campus Saarbruecken | Starterzentrum | Building A1 1 Lecture & discussion with Gideon Marks (USA) | Board Adviser at GlobeKeeper & a Mentor at Google Launchpad, KIC Silicon Valley, Mind...
von Savina Takeva | Dez 11, 2017 | Software-Cluster Pressemitteilungen
Trainingskonzepte und – szenarien in Industrie 4.0 – Kontexten Gemeinsam Trainingskonzepten und –szenarien für die Industrie 4.0 entwickeln. Das haben sich der deutsche Software-Cluster und die Innovationsregion Singapur zum Ziel gesetzt. Um die Bedeutung...
von Savina Takeva | Nov 10, 2017 | Pressemitteilung
“The Conference on Automated Deduction (abbreviated CADE) is the most influential international conference in the area of automated theorem proving,” explains Andreas Nonnengart, who works at the German Research Centre for Artificial Intelligence (DFKI). At this...
von Savina Takeva | Nov 10, 2017 | Pressemitteilung
„Die Conference on Automated Deduction, kurz CADE, ist die einflussreichste internationale Konferenz auf dem Gebiet des maschinellen Beweisens“, erklärt Andreas Nonnengart, der am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) arbeitet. Auf der...
von Savina Takeva | Okt 13, 2017 | Pressemitteilung
Die Merck KGaA ist ein deutsches Chemie- und Pharmazieunternehmen mit Sitz in Darmstadt. Cord Stähler, Vizepräsident der Merck KgaA, spricht diesen Freitag, ab 16 Uhr im Hörsaal 001 des Gebäudes E1.3 auf dem Campus der Universität des Saarlandes. Der Titel seines...