Laboratory of Mathematical Logic at PDMI

Вторник, 30 марта, комната 106. Начало в 13:00.

Докладчик: John OLeary (Intel Corporation).

Тема: 1. Reflective Functional Languages and Theorem Proving. 2. Floating Point Circuit Verification.

Abstract

A talk on current activity in Intel Strategic CAD Labs.