חדשות ישראל

Veriest מזמינה ל Meetup Online בנושאי Safety, Deep Learning, Formal Verification

Veriest New Logo Nov2014 80 60

ה- Meetup יתקיים ביום שלישי, 22 בספטמבר, החל משעה 17:00.


חברת Veriest מזמינה את מהנדסי התכנון והוריפקציה למפגש Meetup On-line נוסף, לאור הצלחת המפגשים האחרונים ומתוך חשיבות שהחברה מייחסת להחלפת מידע בתעשייה.

ה- Meetup יתקיים ביום שלישי, 22 בספטמבר, החל משעה 17:00

בMeetups הקודמים הציגו מומחים בחברות כגון אינטל ישראל, Texas Instruments, Microsoft, Mellanox, ST Microelectronics באיטליה, Axis Communications בשוודיה, Amida בארה"ב וכמובן Veriest. בכל אחד מאירועים אלו השתתפו יותר מ-150 איש מ-15 מדינות.

המפגש הפעם יכלול שתי הרצאות מרתקות:

Jyotika Athavale, מהנדסת ראשית בIntel ארה"ב וחברה בכירה בIEEE, תרצה על היבטי בטיחות בתכנון מערכות Deep Learning.

Laurent Arditi, מהנדס ראשי בחברת ARM צרפת, ידבר על שימוש בכלי formal verification לבדיקה יעילה של מצבי dead-lock, הרצאה שזיכתה אותו בפרס Best Paper בכנס Design Automation Conference שנערך לאחרונה בארה"ב.

משה זלצברג, מנכ"ל וריאסט, יפתח את מפגש בדברי הקדמה.

המפגש הינו ללא עלות (אך דורש רישום מראש) ופתוח לכל אנשי התעשיה.

לפרטים נוספים, תוכנית המפגש והרשמה - לחצו כאן.

מערכת SemIsrael