translate English to French: International Colloquium on Automata, Languages and Programming (ICALP 2004).
International Conference on Functional Programming (ICFP 2003).