PROGRAM FOR SATURDAY, SEPTEMBER 8TH
Days:
previous day
all days
View: session overviewtalk overview
10:00-12:00 Session 15
Achim Jung Fest I
Location: Mechanical Engineering G31
| 10:00 | Whither Semantics? |
| 10:40 | The Partiality Monad |
| 11:20 | Sheaves over domains |
13:30-15:30 Session 16
Achim Jung Fest II
Location: Mechanical Engineering G31
| 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
Location: Mechanical Engineering G31
| 16:00 | Domains and Quantum Programming Languages |
| 16:40 | Adjoint Logic |
| 17:20 | Functionals on probability valuations |