Leslie Lamport lecture at CWI

Leslie Lamport, the creator or LaTeX, will be speaking at
CWI<http://www.cwi.nl>in Amsterdam in two weeks. While he will not be
talking about TeX on this
occasion, you are invited to come and hear him if you are in the
neighbourhood.  Here is an abstract of his lecture.

Speaker: Leslie Lamport
Microsoft Corporation, CA, USA

Title: The PlusCal Algorithm Language
Date: 16th of June, 16:00
Venue: L016

Algorithms are different from programs and should not be described with
programming languages.  For example, algorithms are usually best
described in terms of mathematical objects like sets and graphs instead of
the primitive objects like bytes and integers provided by
programming languages.  Until now, the only simple alternative to
programming languages has been pseudo-code.

PlusCal is an algorithm language based on TLA+.  A PlusCal algorithm is
automatically translated to a TLA+ specification that can be checked with
the TLC model checker or reasoned about formally. (No knowledge of TLA+ is
assumed.) PlusCal makes pseudo-code obsolete.

Note: Leslie Lamport made various fundamental contributions to distributed
systems, fault-tolerant computing, cryptography, and program verification.
He also created the LaTeX system.  For his research Lamport received
numerous awards including the IEEE John von Neumann Medal.

With kind regards,

Michael Guravage

_______________________________________________
TeX-NL mailing list
[email protected]
http://www.ntg.nl/cgi-bin/mailman/listinfo/tex-nl