ביום שני הקרוב (16.9) יבקר אצלנו גיא אבני, חוקר מאונ' חיפה שעובד על אימות פורמלי. הוא ייתן הרצאה ב 12:00, וייתכן שיוכל גם להיפגש 1-1, אם מישהו מעוניין.
אשלח פרטים לגבי נושא ההרצאה ומיקומה כשהם יהיו זמינים.
בברכה,
גיא
--
Guy Katz, PhD
Associate Professor, Computer Science
School of Computer Science and Engineering, Givat Ram