יום עיון לרגל פרישתו לגימלאות של פרופ' שמואל כץ - היום!

Workshop Honoring Shmuel Katz on the Occasion of his Retirement - TODAY!לרגל פרישתו לגימלאות של פרופ' שמואל כץ, יתקיים בפקולטה למדעי המחשב בטכניון יום עיון בנושא: "Aspects of Formal Verification".
הכנס יתקיים ביום ה', 19 בדצמבר 2013, בחדר 337, בניין טאוב למדעי המחשב.

ההשתתפות אינה כרוכה בתשלום אולם מחייבת הרשמה מראש.

כולם מוזמנים.

פרטים נוספים ותוכנית.

בחזרה לאינדקס החדשות יום שלישי, נובמבר 19, 2013