Chair: Ugo dal Lago

• 9:40: Simona Ronchi Della Rocca. Program approximation in the call-by-value setting.
• 10:40: Masahito Hasegawa. A braided lambda calculus.