Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
comp.lang.functional
+ new post
About this group
Subscribe to this group
This is a Usenet group - learn more
Message from discussion *** Peter Landin Annual Semantics Seminar, 3 December, BCS London: Unifying Theories of programming, Professor Sir Tony Hoare
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
paul.b...@googlemail.com  
View profile  
 More options Nov 13 2012, 4:49 pm
Newsgroups: comp.lang.functional
From: paul.b...@googlemail.com
Date: Tue, 13 Nov 2012 13:49:28 -0800 (PST)
Local: Tues, Nov 13 2012 4:49 pm
Subject: *** Peter Landin Annual Semantics Seminar, 3 December, BCS London: Unifying Theories of programming, Professor Sir Tony Hoare
Print | View thread | Show original | Report this message | Find messages by this author
(Apologies if you receive multiple copies of this announcement)

****** still a few places left -- please register as soon as possible ********

        Peter Landin Annual Semantics Seminar

                    3 December 2012

                    BCS London Offices

                    First Floor, The Davidson Building

                    5 Southampton Street

                    London

                    WC2E 7HA

          http://www.bcs.org/upload/pdf/london-office-guide.pdf

                  https://events.bcs.org/book/361/

Introduction
----------------

Peter Landin (1930--2009) was a pioneer whose ideas underpin modern computing.
In the the 1950s and 1960s, Landin showed that programs could be
defined in terms of mathematical functions, translated into functional
expressions in the lambda calculus, and their meaning calculated with
an abstract mathematical machine. Compiler writers and designers of
modern-day programming languages alike owe much to Landin's pioneering
work.

Each year, a leading figure in computer science will pay tribute to
Landin's contribution to computing through a public seminar. This
year's seminar is entitled  "Unifying Theories of programming" and
will be delivered by Professor Sir Tony Hoare (Microsoft Research).

Programme
-----------------

5.15pm  Coffee

6 pm Welcome and Introduction  (Professor Peter O'Hearn, UCL)

6.05pm Peter Landin Semantics Seminar:

                 Unifying Theories of programming

         Professor Sir Tony Hoare (Microsoft Research)

7.20pm Close

7.20pm - 8.30pm Drinks Reception

Registration
-----------------

If you would like to attend, please register online:

             https://events.bcs.org/book/361/

Seminar details
-----------------------

               Unifying Theories of programming

         Professor Sir Tony Hoare (Microsoft Research)

Two Classical Theories of programming are (1) the Hoare calculus of triples,
for proving correctness of sequential programs, and (2) the Milner calculus
of transitions, for specifying the intended execution of concurrent processes.
I have long thought of these theories as rivals.  But I now realise
that the axioms of both these theories can be defined and proved in
terms of the elementary laws of programming. A new axiom called
'exchange'  is provable from
Milner's definition of concurrency, and also justifies the newer rules
for concurrency that have been introduced in the Hoare Theory by
separation logic.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2013 Google