Thumbnail

How to provide proof that software is bug-free? Verified compilation to the rescue

Start date: 27.02.2024 11:15 12:15

Speaker: Professor Sandrine Blazy (IRISA) Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

MechE Colloquium: On the effects of topography in rapidly rotating fluids: Experiments on the spin-up of a fluid in a straight cylinder with bottom topography

Start date: 27.02.2024 12:00 13:00

Speaker: Prof Jérome Noir, ETHZ Location: , Online Category: Conferences - Seminars
Target audience: General public

Thumbnail

Teachers & Transversal skills coffee hour with Simone Deparis

Start date: 27.02.2024 14:15 15:00

Speaker: Simone Deparis Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

On p-primary torsion of the Brauer group in characteristic p

Start date: 27.02.2024 14:15 15:45

Speaker: Alexei Skorobogatov (Imperial) Category: Conferences - Seminars
Target audience: Informed public

Thumbnail

Celeste Saulo, Grand Témoin 2024 of the Global Issues course

Start date: 27.02.2024 17:00 19:00

Speaker: Celeste Saulo, Secrétaire générale de l'Organisation météorologique mondiale (OMM). Jan Hesthaven, Vice-président académique; Rudolf Mahrer, ... Location: Category: Conferences - Seminars
Target audience: General public