No Lecture this Tuesday

As announced last Friday, there is no lecture tomorrow, Tuesday 21 October. The next APL lecture is on Friday 24 October.

My apologies for the comparatively short notice of this. By way of compensation, I can announce two guest lectures in the coming weeks:

Tuesday 28 October
Edwin Brady: Programming with Dependent Types
Edwin is the lead developer of Idris and, less usefully, the Whitespace language.
Tuesday 11 November
Bob Atkey: Threadsafe: Static Analysis for Java Concurrency.
Threadsafe is the headline product from Contemplate, an Edinburgh startup working on tools for finding and fixing concurrency bugs.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s