תאריך:
ב', 10/07/2023 08:00 עד ה', 13/07/2023 08:00
כנס קבוצות מחקר בארגון אורון שגריר, האוניברסיטה
העברית בירושלים
השאלה היסודית שתידון במהלך כנס זה היא האם המושגים שהוצגו
על ידי ראשוני חלוצי תורת החישוביות מספקים את הבסיס הלוגי-
מתמטי למדעי המחשב בימנו אנו, או שישנו צורך לרענן ולבסס מחדש
את יסודותיה של תורת החישוביות באופן שזו תהלום את המאה ה 21- .