NFDIxCS Soiree #7: Proofs, Traces, and Reproducibility: Advancing Research Data Management
Venue
https://meetgi.zoom.us/j/84924286677Description
Join us online on February 10, 2025, from 17:30 to 18:00 for the next NFDIxCS Soiree! This session features researchers Fabian Huch (Technical University of Munich) and Reza Salkhordeh (Johannes Gutenberg-University Mainz), who are advancing accessible and reproducible research infrastructure within the NFDIxCS consortium. Fabian Huch will share how interactive theorem proving bridges mathematics and programming to create scalable, reusable tools, while Reza Salkhordeh will discuss his work on transforming HPC-IO traces into Reproducible Execution Environments (REEs) for high-performance computing. Whether you're an expert or simply curious, this short and engaging session is perfect for anyone interested in the cutting-edge developments shaping the future of research in computer science.
Registration
- Costs
- Free of charge
- Note
- You can register online for this event.
- Registration deadline
- 10.02.2025