Free

Event Information

Share this event

Date and Time

Location

Location

Online Event

Event description
and the annual Peter Landin Semantics Seminar

About this Event

SPEAKER 6.00–7.15pm

Tim Denvir - Algol 60 @ 60: its place in formal semantics

AGENDA

This online event will be held on Zoom

From 3.30pm: Informal chat with your own coffee/tea/biscuits

4.00pm – 5.15pm: AGM

Agenda

1. Apologies (Jonathan Bowen)

2. Minutes of the previous AGM (Roger Carsley/Jonathan Bowen)

3. Chairman's Report (Jonathan Bowen)

4. Liaison Reports (Rob Hierons et al.)

5. Statement of Accounts (John Cooke)

6. Election of Officers and Committee Members (Jonathan Bowen)

7. Future events (Sofia Meacham/Jonathan Bowen et al.)

8. FACS online (Jonathan Bowen/Tim Denvir et al.)

9. Any other business

Informal chat with your own coffee/tea/biscuits ( (from 5.15–6.00pm),

(6.00–7.15pm).

Annual Peter Landin Semantics Seminar

SPEAKER:

Tim Denvir - Algol 60 @ 60: its place in formal semantics

This talk celebrates the programming language Algol 60, 60 years on, especially its formal aspects. See also an article in the FACS FACTS newsletter (June 2020, pp. 7-12):

https://www.bcs.org/media/5842/facs-jun20.pdf

Our events are for adults aged 16 years and over.

THIS EVENT IS BROUGHT TO YOU BY:

BCS Formal Aspects of Computing Science (FACS) Specialist Group

Share with friends

Date and Time

Location

Online Event

Save This Event

Event Saved