von afauss | Nov. 13, 2017 | Allgemeine News, Forschung, Newsletter, Startseite, Startseite Mitte, Studierende
Der hessische Wissenschaftsminister Boris Rhein hat am 9. November 2017 die Preisträgerinnen und Preisträger des diesjährigen Hessischen Ideenwettbewerbs „Hessen Ideen“ ausgezeichnet. Zu den Siegern gehören, wie das Ministerium mitteilt, zwei Teams der TU Darmstadt,...
von afauss | Nov. 13, 2017 | Veranstaltungen
QuASD, the International Workshop on Managing Quality in Agile & Rapid Software Development Processes, aims at investigating product and process quality in the context of agile and rapid software development. The objective of the workshop is to exchange...
von afauss | 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 afauss | 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 afauss | Nov. 8, 2017 | Allgemein
07.11.2017Das Softwareunternehmen new frontiers software Gmbh feiert im Herbst 2017 sein 15-jähriges Bestehen. Angefangen vom Fertigungsmanagementsystem (MES) DEA2/sql, dem Warenwirtschaftssystem OPTIMA über die technische Beratung für verschiedene IT-Lösungen bis hin...