Inauguration of our new HPC system Marvin On October 20, 2023, we celebrated the inauguration of Marvin]], which is the first large central High Performance Computing system of the University of Bonn. Marvin has strong CPU-parts as well as large GPU-modules, and it will be open up new possibilities for large scale computations including simulations and AI/ML to all members of the University of Bonn. One of the GPU modules is on the TOP500 list (ranked 423), and ranked 34 on the GREEN500 list. For a short movie, see here.
Petra Mutzel reappointed to CISPA supervisory board The general meeting of the shareholders (Gesellschafterversammlung) of the Helmholtz Institute CISPA gGmbH has reappointed Prof. Dr. Petra Mutzel into the supervisory board. CISPA is the important national institution for Information security in Germany, and is part of the Helmholtz Association. The director Prof. Dr. Michael Backes since its foundation in 2011 formed it into a world-leading research center in information security including cybersecurity, privacy, and artificial intelligence. For more information, see Webpage of CISPA.
Hausdorff School: Formal Mathematics and Computer-Assisted Proving On September 18-22, 2023, the Hausdorff School on Formal Mathematics and Computer-Assisted Proving takes place. We are looking forward to the lecture series by Jeremy Avigad (CMU), Alexander Bentkamp (Düsseldorf University), Floris van Doorn (University of Paris-Saclay), and Adam Zsolt Wagner (Worcester Polytechnic Institute), which will cover the topics from (type-theoretic) foundations of (interactive) theorem provers to machine learning for theorem proving. We will also look into specific software lime LEAN. The school has been organized by Prof. Philipp Hieronymi, Prof. Peter Koepke, Prof. Petra Mutzel, and Prof. Heiko Röglin. For more information, see Webpage of the School.
Paper on temporal graphs at KDD: Our paper titled A Higher-Order Temporal H-Index for Evolving Networks by Lutz Oettershagen, Nils M. Kriege and P. Mutzel has been accepted for publication at the 29th SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2023). This conference is one of the leading conferences in this area (core rank A*). In our work we generalize the n-th order H-index (a useful centrality measure for static graphs) for temporal networks and define corresponding temporal centrality measures and decompositions. Moreover, we suggest (streaming) algorithms for their efficient computation, and evaluate our methods.
HCM Retreat: We had great presentations and planned the future of our Hausdorff center for Mathematics (Cluster of Excellence at the University of Bonn). If you want to find out more about the HCM, please visit here. [picture: © Volker Lannert]
Best Paper Award at MLG@ECMLPKDD2022: Our paper titled “A Temporal Graphlet Kernel For Classifying Dissemination in Evolving Networks” has won the best paper award at the 18th International Workshop on Mining and Learning with Graphs held in connection with the ECMLPKDD'22. The work is based on the bachelor thesis by Claude Jordan and co-authored by Lutz Oettershagen, Nils Morten Kriege, Claude Jordan, and Petra Mutzel.
Project “AlgoForGe” funded by DFG: The DFG will fund our Research Unit Algorithmic Data Analysis for Geodesy (AlgoForGe). We are one of eight funded Research Units in the artificial intelligence funding initiative of the German Science Foundation. Press release of the DFG and of the University of Bonn.
McGroundstate Service Online: Our new server McGroundstate for the determination of ground states of Ising Spin Glasses is online here: McGroundstate Server.
New Professorship: Prof. Dr. Estela Suarez is new to the section Computer Science 1 since the February 1. 2022. Her professorship is on High Performance Computing (HPC).
McSparse Service Online: Our new server McSparse for the exact solution of sparse Maximum Cut and sparse Unconstrained Binary Quadratic Optimization problems is online here: McSparse Server.
WALCOM 2022: The WALCOM 2022 proceedings for the 16th International Conference and Workshops on Algorithms and Computation, Universitas Jember, Indonesia, March 24-26, 2022 appeared, PC chairs: P. Mutzel, Md. S. Rahman (BUET), S. Slamin (Jember)
Projects: Our current and past projects can be found here.