We are looking for people who want to present recent work on topics related to realizability. A short abstract (at most half a page excluding references) should be sent before the 1st of June to the two organizers directly with subject line “[facets of realizability] abstract”. There will be no formal reviewing but the organizers will select work they consider relevant to the workshop and give notification of accepted abstracts as they arrive. The abstracts will not be published and contributions about submitted or already published work are welcome.
The scope of the workshop includes but is not limited to:
- Number realizability
- Modified realizability
- Dialectica interpretation
- Function realizability
- Classical realizability
- Computable analysis
- Synthetic topology
- Categorical realizability
- Bar induction / bar recursion
