תואר שלישי
מזכירת הוועדה היחידתית לתלמידי מחקר:
ענת עמירב
בניין שרייבר, חדר מספר 211
מספר טלפון 03-640-7148
מספר פקס 03-640-5982
כתובת דוא"ל: ap@cs.tau.ac.il
|
הרשמה: |
|
|
|
|
|
לימודים: |
|
|
|
|
|
הגשת תזה: |
|
|
|
|
|
מידע כללי: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
טפסים: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
אירועים וסמינרים
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
