***** VCLA International Student Awards *****
and calls for the nomination of authors of outstanding scientific
works in the field of Logic and Computer Science, in the following two
categories:
* Outstanding Master Thesis Award
* Outstanding Undergraduate Research Award (Bachelors or equivalent)
In both categories, the work must make an original contribution to a research
field that can be classified as part of Logic in Computer Science, understood
broadly as the use of logic as a tool that enables computer programs to reason
about the world.
The main areas of interest are:
* Databases and Artificial Intelligence
* Verification
* Computational Logic
The committee will select a winner for each category.
The winners will be invited to Vienna to present their project and participate
in a festive award ceremony. Additionally, the Outstanding Master Thesis Award
category is accompanied by a prize of 1,200 Eur, and the Outstanding
Undergraduate Research Award by a prize of 800 Eur.
Important dates:
Nomination deadline *extended*: November 22, 2015 (AoE)
Notification of the committee's decision: early February 2016
Award ceremony: Spring 2016
For more information, please see http://logic-cs.at/award/award-call-2015/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
