Dana Scott · Christos Papadimitriou · Alex Wilkie · Franz Baader · Edmund M. Clarke

Dana Scott: VSL Opening
Christos Papadimitriou: Computational Ideas and the Theory of Evolution – Abstract

Alex Wilkie: The theory and applications of o-minimal structures – Abstract

Franz Baader: Ontology-Based Monitoring of Dynamic Systems – Abstract

Edmund M. Clarke: Verification of Computer Systems with Model Checking – Abstract

The 2014 Ray Reiter Best Paper Prize

The best paper of the conference receives the 2014 Ray Reiter Best Paper Prize sponsored by the Artificial Intelligence Journal which goes to:

Leonid Libkin

for his paper entitled

Certain Answers as Objects and Knowledge

(presented today at 2:30pm in EI7)

The 2014 Marco Cadoli Student Paper Prize

The best paper of the conference whose main author is a student receives the 2014 Marco Cadoli Student Paper Prize. It is sponsored by KR Inc. and goes to:

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev

for their paper on

Query Inseparability for Description Logic Knowledge Bases

The award ceremony will take place today (Wed July 22nd) following the

Great Moments in KR invited talk by
Sheila McIlraith entitled “Situation Calculus: The last 15 years”

at 6:30pm in EI7.

More information on: www.kr.org/KR2014

Treffpunkt für FreundInnen der Logik im “Heuer am Karlsplatz” während des Vienna Summer of Logic 2014 • Erläuterungen in exakt einer Stunde live und vor Publikum • Reverenz an antikes philosophisches Symposium

There are two more dates of LogicLounge coming up:

• July 22: Drones with a guilty conscience: the ethics of Artificial Intelligence
  Moshe Vardi (Rice U) – Herbert Hrachovec (U Wien)
• July 23: Female logics
  Magdalena Ortiz (TU Wien), Ruzica Piskac (Yale U) – Tanja Traxler (Der Standard)

http://vsl2014.at/logiclounge/

Photos © VSL 2014 / Photography: Nadja Meister

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 include:

• Databases and Artificial Intelligence: Answer-Set Programming, Datalog, query languages, novel database-theoretical methods, logic programming, description logics, knowledge representation and reasoning, argumentation, planning, preferential reasoning.
• Verification, ranging from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.
• Computational Logic, proof theory, cut elimination, proof mining, interpolants, automated deduction, non-classical logics, computational complexity, SAT, QSAT, CSP.

The degree must have been awarded no earlier than November 1st, 2012. Students that obtained the degree at the Vienna University of Technology are excluded from nomination. 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. The decisions of the committee are not appealable.

More information and nomination instructions: http://logic-cs.at/award/

Important dates:
Nomination deadline: November 15, 2014 (AoE)
Notification of the committee’s decision: Mid January, 2015
Award ceremony: Spring 2015

Award committee

Photos © VSL 2014 / Photography: Sara Meister