[TYPES/announce] Deadline Extension for SD'09 in Bordeaux

Lutz Strassburger lutz at lix.polytechnique.fr
Mon Mar 2 17:58:25 EST 2009

Previous message: [TYPES/announce] 2nd CFP: PLAS 2009
Next message: [TYPES/announce] FMWS 2009: Formal Methods for Wireless Systems (CFP)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Due to popular demand there will a deadline extension for the workshop
"Structures and Deduction 2009" in Bordeaux, July 20-24, 2009.

New deadline for submission: Sunday, March 8, 2009

Further details can be found on the webpage
<http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html>

Kind regards,
Lutz Strassburger

Previous message: [TYPES/announce] 2nd CFP: PLAS 2009
Next message: [TYPES/announce] FMWS 2009: Formal Methods for Wireless Systems (CFP)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list