[TYPES] SD05: Deadline extension

Paola Bruscoli Paola.Bruscoli at Inf.TU-Dresden.DE
Sat Apr 16 02:02:37 EDT 2005

[This message might be interesting for the TYPES list, where the CfP 
for SD05 has been announced. Regards, -Paola]

Due to server problems at one important site, the Structures and 
Deduction Workshop


has a deadline extension which is actually

Wednesday April 20, noon Paris time (GMT+2)

The official submission site


is not affected and will be open until the aforementioned date.

The organisers (Francois Lamarche - chair, Paola Bruscoli, Charles Stewart)

More information about the Types-list mailing list