Profile cover photo
Profile photo
Michael Norrish
292 followers
292 followers
About
Posts

Post has attachment

Post has attachment
An unusually still harbour evening in Wellington. (New Year's Eve.)
Photo
Add a comment...

Post has shared content
I'm looking for a PhD student to work on the CakeML project (https://cakeml.org). The position is fully funded for students from the UK or EU. The application deadline is 15 January, 2015.

http://www.jobs.ac.uk/job/AJW215/funded-phd-project-concurrent-cakeml/
Add a comment...

Post has attachment
Add a comment...

Post has attachment
The latest version of the HOL4 theorem-proving system is out today!
Add a comment...

Post has attachment
First huntsman of the season. (Photo taken after I ever-so-bravely extracted it from the house where it was Brutally Menacing passers-by. )
Photo
Photo
09/10/2014
2 Photos - View album
Add a comment...

Post has shared content
Tom Ball, Ras Bodik, +Greg Morrisett, and I are organizing a new kind of programming languages conference. We already have several excellent conferences, but they are focused on incremental bits of novelty. We want to create a new kind of venue that complements these: to present and discuss big-picture questions and long-running programs; to view progress along the long arc of a research effort. The conference is May 3-6, 2015 in lovely Asilomar (on the Pacific Coast), CA, USA.

If this sounds interesting, please: don't just +1 it, reshare it. Why? To keep costs down and retain ownership of the conference with the community, we are independent, not affiliated with any organizations. That means you are the only PR channel we have. So please do us a favor. Thanks.
SNAPL 2015
SNAPL 2015
snapl.org
Add a comment...

Post has attachment
Add a comment...

Post has attachment
Youtube is an amazing resource for this kind of footage.
Add a comment...

Post has attachment
Add a comment...
Wait while more posts are being loaded