אירועים וסמינרים
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
23
דצמ'
11:30
קולוקוויום בביה"ס למדעי המחשב - Lattice-Based Cryptography and the Learning with Errors Problem
Oded Regev
