27. ICALP 2000: Geneva, Switzerland