Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] VCLA International Student Awards 2015 - deadl...


view this post on Zulip Email Gateway (Aug 22 2022 at 11:53):

From: Florian Lonsing <florian.lonsing@tuwien.ac.at>
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:

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:

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
Further information: http://logic-cs.at/award/award-call-2015/



Last updated: Nov 21 2024 at 12:39 UTC