[Club2] Invitation: A Career in Research: Mike Gordon and Hardware Verification @ Thu Jul 19, 2018 14:00 - 15:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: A Career in Research: Mike Gordon and Hardware Verification
Speaker: Lawrence Paulson

Abstract

The story of Mike Gordon's scientific career is instructive. Mike conceived  
the radical idea of hardware verification in the late 70s, a surprising  
choice given the number of other new fields he could have joined. Mike  
talked to researchers in the systems side of his Department (at Edinburgh).  
With impressive method, he learned about hardware and designed a small  
microcoded computer. Then he investigated the problem of how to verify this  
computer.

First he wanted to model behaviours using recursive domain equations. Then  
he opted for a CCS-like process calculus and implemented it on top of LCF.  
Finally he opted for higher-order logic, again a radical choice compared  
with the favoured alternatives of first-order logic and dependent type  
theory. Ultimately he realised his ambitions on a grand scale, with the  
verification of the ARM6 processor and landmark work on verifying assembly  
language code and proof-producing compilation. His foresight and boldness  
allowed him to transform the practices of verification and hardware design.
When: Thu Jul 19, 2018 14:00 – 15:00 Berlin
Where: MI 00.09.038 (Turing)
Calendar: club2 at mailbroy.informatik.tu-muenchen.de
Who:
     * Julian Brunner - creator
     * lp15 at cam.ac.uk
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=NXVudmNjaHJ1cm9xdTBjaTB1dGV0N2tkYjkgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTcwOTAzY2Y5MGVmZGE1NTY2ZTgwYzk5ZWRmMDBiYjU5YzliMjE3MjQ&ctz=Europe%2FBerlin&hl=en&es=0

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20180607/e1f2751b/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2754 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20180607/e1f2751b/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2810 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20180607/e1f2751b/attachment.bin>