Programme

Proposals for half-day or full-day tutorials related to ETAPS 2000 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2000. Submissions are to be in the form of a proposal of maximum 10 pages for review purposes. Proposals should include a description of the material that will be covered in the tutorial; a justification of the relevance ofthe tutorial for ETAPS 2000; a short history of the tutorial in the event it has been given before; duration of the tutorial; scope of the tutorial; the key learning objectives for the participants; the intended audience for the tutorial and required background; and the credentials of the instructor(s).

Submissions should be sent by October 18, 1999, preferably electronically (plain text or uuencoded gzipped Postscript), to:

J. Fiadeiro
ETAPS 2000
University of Lisbon
Depart. of Informatics
Faculty of Sciences
Campo Grande
1700 Lisboa
Portugal

llf@di.fc.ul.pt