לרגל פרישתו לגימלאות של פרופ' שמואל כץ, יתקיים בפקולטה למדעי המחשב בטכניון יום עיון בנושא: "Aspects of Formal Verification".
הכנס יתקיים ביום ה', 19 בדצמבר 2013, בחדר 337, בניין טאוב למדעי המחשב.

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

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

פרטים נוספים ותוכנית.[בחזרה לאינדקס החדשות]