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
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
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