[TYPES/announce] VCLA International Student Awards - NOMINATION DEADLINE EXTENDED TO NOVEMBER 22, 2015

Ezio Bartocci ezio.bartocci at tuwien.ac.at
Wed Nov 11 10:55:55 EST 2015


** NOMINATION DEADLINE EXTENDED TO NOVEMBER 22, 2015 **

http://logic-cs.at/award/award-call-2015/

********************************************************

The Vienna Center for Logic and Algorithms announces the 2015 edition of the

*****   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/
********************************************************


More information about the Types-announce mailing list