# Specifications via Realizability (Dagstuhl)

- 13 January 2006
- Talks

With Chris Stone.

**Presented at:** *Reliable Implementation of Real Number Algorithms: Theory and Practice,* Dagstuhl Seminar 06021.

**Abstract:** see “Specifications via Realizability (CLASE)”.

**Talk notes:** rz-dagstuhl.pdf (handwritten notes of the talk with examples of how RZ works)

##### Post a comment:

Write your comment using Markdown.
Use

`$⋯$`

for inline and `$$⋯$$`

for display LaTeX formulas,
and `<pre>⋯</pre>`

for display code. Your E-mail address is only used to compute
your Gravatar and is not stored anywhere.
Comments are moderated through pull requests.