Award year: 2006
Category: Other Award
Type:
Awarding organization: European Association for Computer Science Logic (EACSL)