|
The summer school on the "Proofs-as-Programs Paradigm" is a two week course for computer scientists and mathematicians interested in formal systems and automated techniques for reasoning about programs, with particular emphasis on the use of types as specifications for modern software components. The school is especially suitable for graduate students who need to extend their background in mathematics, logic, and type theory, and wish to gain some experience working with logical frameworks and proof assistants.
Eugene, Oregon, USA. June 24 - July 5, 2002.
The program looks interesting, especially the advanced topics section.
Posted to general by Ehud Lamm on 3/31/02; 12:27:51 AM
|
|
Summer School on the Proofs-as-Programs Paradigm
