MPC 2000

Fifth International Conference on

MATHEMATICS OF PROGRAM CONSTRUCTION

July 3 - 5, 2000, Ponte de Lima , Portugal

 

«HOT TOPIC» SESSIONS

The «hot topic» sessions will consist of five-minute presentations followed by a discussion. Topics should be «burning» issues arising either out of the conference presentations or elsewhere that are relevant to the theme of the conference.

Delegates wishing to raise an issue at a hot topic session should talk to Richard Bird , Roland Backhouse or J.N. Oliveira or, if none of these is available, to any other Programme Committee member in advance of the session.

Back to the MPC 2000 Conference Programme . Back to the MPC 2000 Home Page.