[TYPES/announce] Ackermann Award: Logic in Computer Science

[Simone Martini]

                 Call for submission

                 The ACKERMANN AWARD
        EACSL Outstanding Dissertation Award
          for Logic in Computer Science.


Deadline for submission: January 31, 2006

Eligible for the 2006 Ackermann Award are PhD dissertations in topics  
specified
by the EACSL and LICS conferences, which were formally accepted as  
PhD theses at
a university or equivalent institution between 1.1.2004 and 31.12.2005.

Full details can be found on
   http://www.dimi.uniud.it/~eacsl/award.html

Thesis on type theory are welcome.

====================================================================
The Award

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.
Jury

The jury consists of seven members:
The president of EACSL, J. Makowsky (Haifa);
The vice-president of EACSL, D. Niwinski (Warsaw);
One member of the LICS organizing committee (to be announced later);
B. Courcelle (Bordeaux);
E. Graedel (Aachen);
M. Hyland (Cambridge);
A. Razborov (Moscow and Princeton);