Highlights

Thumbnail

Leveraging Remote Direct Memory Access (RDMA) for Designing Efficient and Fast Distributed Systems

Start date: 17.06.2024 09:00 11:00

Speaker: Beatrice Shokry Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Autoformalization: from traditional to formal mathematics using large language models

Start date: 17.06.2024 15:00 17:00

Speaker: Auguste Poiroux Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Efficient and High Soundness Constructions in Different Proof Systems (PCP, IOP and IP of proximity)

Start date: 18.06.2024 10:00 12:00

Speaker: Yuxi Zheng Category: Conferences - Seminars
Target audience: General public

Thumbnail

Accelerating Neural Workloads in Differentiable Monte Carlo Rendering

Start date: 18.06.2024 13:00 15:00

Speaker: Benjamin Chislett Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Testing, Proofs and Locality

Start date: 19.06.2024 10:30 12:30

Speaker: Guy Wessenberg Category: Conferences - Seminars
Target audience: General public

Thumbnail

Actuation of Elastic Tensegrity Knots

Start date: 24.06.2024 10:00 12:00

Speaker: Liliane-Joy Dandy Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Information-theoretic perspectives on active sampling

Start date: 25.06.2024 13:00 15:00

Speaker: Millen Kanabar Location: Category: Conferences - Seminars
Target audience: General public