אירועים והרצאות בפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

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

הכנס יתקיים ביום ה', 19 בדצמבר 2013, בחדר 337, בניין טאוב למדעי המחשב.

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

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

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