Title: Merlin '05
Subjects: Programming languages (Electronic computers), Congresses, Reasoning, Data processing