CSL18: COMPUTER SCIENCE LOGIC 2018
PROGRAM FOR SATURDAY, SEPTEMBER 8TH
Days:
previous day
all days

View: session overviewtalk overview

09:00-10:00

Coffee and Welcome

10:00-12:00 Session 15

Achim Jung Fest I

10:00
Whither Semantics?
10:40
The Partiality Monad
11:20
Sheaves over domains
13:30-15:30 Session 16

Achim Jung Fest II

13:30
Achim Jung: a way above scholar on "way below"
14:10
A Domain-Theoretic Silk Road
14:50
Looking for beauty in domain theory
16:00-18:00 Session 17

Achim Jung Fest III

16:00
Domains and Quantum Programming Languages
16:40
Adjoint Logic
17:20
Functionals on probability valuations
18:00-20:00

Achim Jung Fest Reception