השבוע נפתח בטכניון הכנס הבין-לאומי הגדול ביותר במדעי המחשב – FloC – The Federated Logic Conference – שיימשך עד 12 באוגוסט. זהו כנס על המארח בתוכו 12 כנסים שונים ויותר מ-60 סדנאות ועוסק בממשק בין לוגיקה מתמטית ומדעי המחשב. הלוגיקה המתמטית מספקת למדעי המחשב בסיס מאחד וכלי למידול בתחומים מגוונים ובהם בינה מלאכותית, מורכבות חישובית, חישוב מבוזר, תכן חומרה, שפות תכנות והנדסת תוכנה.
כנס FLoC מתקיים אחת לארבע שנים והכנס הקודם התקיים באוקספורד בשנת 2018. הכנס הנוכחי הוא הכנס השמיני ומשתתפים בו אלפי מומחים מהאקדמיה ומהתעשייה ובהם נציגים מ- meta (פייסבוק), אינטל, אמזון ו- nvidiaומאוניברסיטאות מובילות ובהן אוקספורד וסטנפורד.
את הכנס מארחת הפקולטה למדעי המחשב ע"ש טאוב בטכניון, ויושבי הראש הם חברי הפקולטה פרופ' ארנה גרימברג ופרופ' ערן יהב. הכנס יכלול מאות הרצאות, פאנלים בנושאים שונים ו"משחקים אולימפיים" בנושאים שונים הקשורים בלוגיקה חישובית (בהנחיית ד"ר דנה דרקסלר כהן מהפקולטה להנדסת חשמל ומחשבים ע"ש טאוב).
בין המרצים :
פרופ' משה ורדי מאוניברסיטת רייס ירצה בנושא "כיצד להיות מדען מחשב אתי?"
בוגר הטכניון זיאד חנא, סגן נשיא Cadence ופרופסור אורח באוקספורד, ירצה על האפשרות לרתום את הכוח של אימות מסוג פורמל לתעשיית השבבים ששוויה טריליון דולר.
פאנל בנושא עתיד התחבורה האוטונומית. מרצה עיקרי – פרופ' שי שלו שוורץ (מובילאיי והאוניברסיטה העברית). אחר כך פאנל עם גילה קמחי (אינטל) סנג'יט סשיה (UC ברקלי). מנחה: ג'ורג' וויסנבכר.
לאתר הכנס: https://www.floc2022.org/
The post הטכניון מארח את הכנס הבין-לאומי במדעי המחשב – FloC first appeared on Technion - Israel Institute of Technology.