Speaker Name: Leslie Lamport

Speaker Affil

iation: Microsoft Research

Talk Title: The +CAL Algorithm Language

Date: January 26 2006

Start Time: 11:00a.m.

Locati

on: ACES 2.302

Host: Lorenzo Alvisi

Talk Abstract:
Alg

orithms are different from programs and should not be
described with pr

ogramming languages. For example algorithms are
usually best describe

d in terms of mathematical objects like sets and
graphs instead of the

primitive objects like bytes and integers
provided by programming langu

ages. +CAL is an algorithm language based on TLA+. A +CAL algorithm is tra

nslated to a TLA+ specification that can then be checked with the TLC model
checker.

You may want to bring something to write with.