Structures and Deduction / Program

ICALP Workshop—Lisbon July 16-17, 2005
STRUCTURES AND DEDUCTION
The quest for the essence of proofs

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, JULY 16

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.

SUNDAY, JULY 17

2.7.2005 Paola Bruscoli email