Ulrich Berger
Some slides

A concurrent computational interpretation of the law of excluded middle
(Presentation)
British Logic Coloquium, University of Sussex, 89 September 2017.

Concurrent program extraction in computable analysis
(Presentation)
Computability and Reducibility, Hiddensee, 611 August 2017.

Concurrency in Constructive mathematics
Humboldt Kolleg Proof Theory as Mathesis Universalis, Como,
Villa Vogoni, 2428 July 2017

Logic in Computer Science
ISSUGE, Genoa, July 15, 2017.

A logic for program extraction with bounded nondeterminism
Algebra, Logic, and Algorithms seminar, Leeds, February 15, 2017.

Nondeterminism and partiality in realizability: Pure Gray code
Workshop on Interval Analysis and Constructive Mathematics (CMOBIRS),
Oaxaca, November 1318, 2016.

Concurrent and nondeterministic program extraction (handout)
Workshop on Intersection Types, Paris, 13 June 2016

Concurrent and nondeterministic program extraction
Workshop on Intersection Types, Paris, 13 June 2016

CS205 Chapter 6

A coinductive approach to computable analysis
Duality in Computer Science, Dagstuhl, 31 July 2013

Program Extraction in Church's Simple Theory of Types with
Applications to Computable Analysis
CCA, Nancy, 9 July 2013

Coinduction and program extraction in computable analysis
(
handout)
,
CLMPS, Nancy, 25 July 2011

Program extraction in computable analysis
,
CiE, Sofia, 29 June 2011

Program extraction from proofs
,
MFPS, Pittsburgh, 25 May 2011

Program extraction from proofs: induction and coinduction
,
Nottingham, 12 February 2010

A coinductive approach to exact real number computation
talk at the workshop
New Interactions between Analysis, Topology, and Computation
,
Birmingham, 7 January 2009

A coinductive approach to digital computation
talk at the workshop
Domains IX
,
University of Sussex, Brighton, 2224 September, 2008

From coinductive proofs to exact real arithmetic
invited talk at
Workshop on Proof Theory
,
Bern, 910 July, 2008

A domaintheoretic characterisation of strong normalisation
in the LambdaRcalculus,
invited talk at
Domains VIII
,
Novosibirsk, 1115 September, 2007

A domaintheoretic strong normalisation theorem,
invited talk at
Methods of Proof Theory in Mathematics
,
Bonn, 310 June, 2007

Functional concepts in C++,
talk at
Computability in Europe
,
Swansea, 30 June  5 July, 2006

Semantic normalisation proofs,
talk at
Types 2006
,
Nottingham, 1821 April, 2006
Old slides