Short talks

Add to your list(s) Download to your calendar using vCal

• Emilio Jesús Gallego arias (INRIA Paris - Rocquencourt), Xavier Denis (ETH Zürich), Can Cebeci (EPFL - Ecole Polytechnique Fédérale de Lausanne), Hans-Dieter Hiep (Amazon Web Services), Dustin Hoffman (None / Other), Satnam Singh (Groq)
• Thursday 10 October 2024, 16:00-16:45
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.