[TYPES/announce] CFP: International School on Rewriting

2007-04-13 Thread Laurent Vigneron
er (Nancy), chair - Pierre Lescanne (Lyon) - Christopher Lynch (Potsdam) - Aart Middeldorp (Innsbruck) - Femke van Raamsdonk (Amsterdam) - Yoshihito Toyama (Sendai) - Laurent Vigneron (Nancy), local organization chair

[TYPES/announce] 2nd CFP: ISR 2007

2007-05-24 Thread Laurent Vigneron
er (Nancy), chair - Pierre Lescanne (Lyon) - Christopher Lynch (Potsdam) - Aart Middeldorp (Innsbruck) - Femke van Raamsdonk (Amsterdam) - Yoshihito Toyama (Sendai) - Laurent Vigneron (Nancy), local organization chair

[TYPES/announce] UNIF 2010: submission deadline extended

2010-03-29 Thread Laurent Vigneron
problems * Complexity analysis * Implementation techniques * Applications: type checking and reconstruction, automated theorem proving, programming language design, etc. For submission (and workshop information), http://www.dcs.kcl.ac.uk/staff/maribel/UNIF.html Best regards, Laurent