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