News and Events: Projects and Awards

Please note that this newsitem has been archived, and may contain outdated information or links.

Ackermann Award 2006 to Balder ten Cate

We are glad to inform you that the Jury of the Ackermann Award 2006 has decided to award to Balder ten Cate one of the two Ackermann Awards 2006 for his ILLC dissertation "Model theory for extended modal languages"

The EACSL Outstanding Dissertation Award for Logic in Computer Science will be presented to the recipients at the annual conference of the EACSL (CSL'06).

The award consists of
* a diploma,
* an invitation to present the thesis at the CSL conference,
* the publication of the abstract of the thesis and the laudatio in the CSL proceedings,
* travel support to attend the conference.

For more information about the award, see http://www.dimi.uniud.it/~eacsl/award.html

Please note that this newsitem has been archived, and may contain outdated information or links.