Logic List Mailing Archive

Ackermann Award 2006 goes to Balder ten Cate

- Ackermann Award 2006 to Balder ten Cate

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":

Webpage B ten Cate:

http://staff.science.uva.nl/~bcate/

His dissertation:

http://www.illc.uva.nl/Publications/Dissertations/DS-2005-01.text.pdf

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