Please log in if you want to be notified when Michael Norrish is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Michael Norrish is mentioned in an event.

Michael Norrish


Michael Norrish has been associated with 4 events and is frequently seen with Konrad Slind, Peter Sewell and Keith Wansbrough. Michael's main research interests are theorem proving, reasoning and programming languages.

Are you Michael Norrish? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Michael an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Michael Norrish Whiteboard


tracker for Michael Norrish


August 4, 2008

3rd informal ACM SIGPLAN workshop on mechanizing metatheory (WMM 2008) was added.

August 31, 2007

5th asian symposium on programming languages and systems (APLAS 2007) was added.

July 24, 2007

3rd international workshop on systems software verification (SSV 2008) was added.

July 19, 2006

User interfaces for theorem provers (UITP 2006) was updated.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.