Logic List Mailing Archive

EACSL Outstanding Dissertation Award for Logic in Computer Science (Ackermann Award) 2006: Call for Nominations

Ackermann Award 2006
---------------------

Nominations are solicted for the Ackermann Award 2006.

The EACSL Outstanding Dissertation Award for Logic in Computer Science 
(The Ackermann Award) will be presented to the recipients at the annual 
conference of the EACSL (CSL'06). The jury is entitled to give more than 
one award per year. The first Ackermann Award was presented at CSL'05.

The 2005 recipients were
Mikolaj Bojanczyk
Konstantin Korovin
Nathan Segerlind

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.

------------------------------------------
The deadline for submission is 31.1.2006.
------------------------------------------

Submission details are available at
www.dimi.uniud.it/~eacsl/award.html
www.cs.technion.ac.il/eacsl

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 laudation
   in the CSL proceedings,
* travel support to attend the conference.

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, S. Abramsky (Oxford);
* B. Courcelle (Bordeaux);
* E. Graedel (Aachen);
* M. Hyland (Cambridge);
* A. Razborov (Moscow and Princeton).