[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
** 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/ ********************************************************