[TYPES/announce] SSFLA 2011: last call

2011-03-17 Thread Carlos Martín Vide
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2011 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS (SSFLA 2011) (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain, April 18-22,

[TYPES/announce] SSFLA 2011: 2nd call

2010-12-24 Thread carlos.martin
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2011 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS (SSFLA 2011) (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain, April 18-22,

[TYPES/announce] SSFLA 2011

2010-10-10 Thread carlos.martin
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2011 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS (SSFLA 2011) (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain, April 18-22,