דלג לתוכן (מקש קיצור 's')
Logo of Technion
Logo of CS Department
מידע כללי

חדשות

כנס: FLOC 2022: The Eighth Federated Logic
יום חמישי, 4 אוגוסט, 2022
FLOC 2022: The Eighth Federated Logic Conference השבוע נפתח בטכניון אחד מהכנסים הגדולים ביותר במדעי המחשב - 2022 FloC The Federated Logic Conference שמתקיים בהובלת שני חברי סגל הפקולטה - פרופ' ארנה גרימברג ופרופ' ערן יהב.

כנס FloC הוא כנס-על המארח בתוכו 12 כנסים שונים ויותר מ-60 סדנאות ועוסק בממשק בין לוגיקה מתמטית ומדעי המחשב. הלוגיקה המתמטית מספקת למדעי המחשב בסיס מאחד וכלים למידול בתחומים מגוונים ובהם בינה מלאכותית, מורכבות חישובית, חישוב מבוזר, אימות תכנה וחומרה, שפות תכנות והנדסת תכנה. כנס FLoC מתקיים אחת לארבע שנים והשנה משתתפים בו מעל אלף מומחים מהאקדמיה ומהתעשייה ובהם נציגים מ-Meta, אינטל, אמזון, מיקרוסופט ,Cadence, ו-Nvidia ומאוניברסיטאות מובילות ובהן אוקספורד, ברקלי, סטנפורד ו-MIT.

 אתמול התארח (בזום) פרופ' דונאלד קנות', מהאבות המייסדים של מדעי המחשב. קנות' כתב ספרים רבים ובמיוחד ידועה סדרת הספרים The Art of Computer Programming ("אמנות התכנות"), שנחשבת לאחד המקורות החשובים ביותר בספרות של מדעי המחשב. כבוד גדול לטכניון ולפקולטה.

תמונות מהאירוע

[בחזרה לאינדקס החדשות]