אירועים וסמינרים
16
דצמ'
11:00
קולוקוויום בביה"ס למדעי המחשב - Re-rendering Reality
Tali Dekel
20
דצמ'
13:00
קולוקוויום בביה"ס למדעי המחשב - Incentive Compatible Mechanisms for the Secretary Problem
Ilan Adler
23
דצמ'
10:00
קולוקוויום בביה"ס למדעי המחשב - Towards the Next Generation of Proof Assistants: Enhancing the Proofs–as–Programs Paradigm
Liron Cohen
