Das Paper “Complementable Normal Form of Parametrized Automata” von Franziska Alber und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25. September in Palermo statt.
Das Paper “A New Approach for Showing Termination of Parameterized Transition Systems” von Roland Herrmann und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25.…
Zafer Esen hat seine Doktorarbeit mit dem Titel "Transformations for Verifying Programs with Heap-Allocated Data Structures" erfolgreich verteidigt. Herzlichen Glückwunsch!
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.
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.
