יום העיון השביעי בתיאוריה של מדעי המחשב

תאריך: 24/03/2014 הזמנה לארוע מארגני האירוע: האו"פ המחלקה למתמטיקה ולמדעי המחשב קבצים נלווים: Greetings:Tamir Tassa - האו"פ - המחלקה למתמטיקה ולמדעי המחשב Amit Daniely:Amit Daniely - האוניברסיטה העברית בירושלים Michel Goemans:Polynomiality for Bin Packing with a Constant Number of Item Types - MIT Orna Kupferman:Formal Verification - Deciding the Undecidable - האוניברסיטה העברית בירושלים Manor Mendel:Expanders with respect to Metric Spaces - האו"פ Ely Porat:Group Testing, Compressed Sensing and Algorithmic Applications - אוניברסיטת בר-אילן Haim Kaplan:Graph Labeling - אוניברסיטת תל-אביב