[Last update on Tuesday, 11-Jun-2013 07:59:49 CEST ]

Ackermann Award 2013 ---
The EACSL outstanding dissertation award for
logic in Computer Science


Call for nominations