Chencheng Liang hat ihre Doktorarbeit mit dem Titel "Learning to Guide Automated Reasoning: A GNN-Based Framework" erfolgreich verteidigt. Herzlichen Glückwunsch!
Das Paper “What’s Decidable About Arrays With Sums?” von Roland Herrmann und Philipp Rümmer wurde bei CADE-30 angenommen. Die Konferenz findet vom 28. bis 31. Juli in Stuttgart statt.
Die drei neuen englischsprachigen M.Sc.- Studieng?nge ?Computer Science”, ?Data Science” und ?Human-Centred Artificial Intelligence” bereiten Studierende in einem internationalen akademischen Umfeld…
Damit unsere Website technisch funktioniert, verwenden wir dafür erforderliche Cookies. Au?erdem erm?glichen optionale Cookies eine bestm?gliche Nutzung der Seite. Mit einem H?kchen geben Sie Ihr Einverst?ndnis. Sie k?nnen jederzeit widerrufen. Mehr Infos dazu in unserer Datenschutzerkl?rung.
