University of Cambridge > Talks.cam > mb2663's list

If you have a question about this list, please contact: Markus Böck. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 1 talk in the archive.

Hyperblock Scheduling for Verified High-Level Synthesis

UserYann Herklotz (École Polytechnique Fédérale de Lausanne).

HouseLT1, Computer Laboratory, William Gates Builiding, West Cambridge site.

ClockWednesday 19 June 2024, 15:00-16:00

Please see above for contact details for this list.

 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity