Talks.cam will close on 1 July 2026, further information is available on the UIS Help Site
 

University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > ACL2-Based Verification of NoC Communication Infrastructures

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ACL2-Based Verification of NoC Communication Infrastructures

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

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

Laurence Pierre, from TIMA laboratory in Grenoble

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

CSaP Professional Development Policy Seminars Archaeology Graduate Seminar Series Cosmology lists

Other talks

The role of myosin VI in connexin 43 gap junction accretion Project Management Effective Conference Presentations and Networking Organoid systems to study the maternal-fetal dialogue of early pregnancy Identification of Active Species and Mechanistic Pathways in the Enantioselective Catalysis with 3d Transition Metal Pincer Complexes Graded linearisations for linear algebraic group actions Single Cell Seminars (November) Coin Betting for Backprop without Learning Rates and More A feast of languages: multilingualism in neuro-typical and atypical populations Migration in Science Genes against beans: favism, malaria and nationalism in the Middle East
 

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