Imperial College London > Talks@ee.imperial > CAS Talks

CAS Talks

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Talks organised by members of the Circuits and Systems Group.

Tell a friend about this list:

2 upcoming talks and 526 talks in the archive.

The ABC of formal verification

UserAshish Darbari (Axiomise).

HouseDepartment of Electrical and Electronic Engineering, Room 909B.

ClockMonday 24 April 2023, 13:00-14:00

If you have a question about this list, please contact: George A Constantinides; Wiesia R Hsissen; David Winstanley; James Davis; John Wickerson. If you have a question about a specific talk, click on that talk to find its organiser.


Changes to Talks@imperial | Privacy and Publicity