Deadline: March 15, 2019
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology) calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: Outstanding Master Thesis Award and Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process).
The main areas of interest are:
- Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).