Structures and Deduction / Program
The talks will be given at Instituto Superior Tecnico, room to be announced.
The general format of contributed papers is as follows: the authors are asked to prepare 30 minute talks, but they are in fact allocated 45 minutes in all, so as to allow free interruptions and discussions. Thus the times given for sessions endings are approximate.
Saturday evening: workshop dinner, a joint affair with other selected ICALP workshops, at 20:00 or 20:30. Details will be provided in the morning.
2.7.2005 Paola Bruscoli email