[TYPES] SD05: Deadline extension

[Paola Bruscoli]

[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

http://www.prooftheory.org/sd05/

has a deadline extension which is actually

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

The official submission site

http://www.easychair.org/SD05/submit/login.cgi

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

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