ארכיון האירועים

  • 2013
  • 2014
  • 2015
  • 2016
  • 2017
  • 2018
  • 2019
  • 2020
  • 2021
  • 2022
  • 2023
  • 2024
  • 2025
  • הכל
מועדון קשרי אקדמיה תעשייה
מועדון קשרי אקדמיה-תעשייה של ביה"ס למדעי המחשב: Elbit Systems Campus Day
רביעי, אפריל 10, 2019 - 11:00
הפקולטה להנדסה
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - Project Debater - How Persuasive can a Computer Be?
ראשון, אפריל 7, 2019 - 11:00
בניין שרייבר, חדר 006
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - Distributed Proof Labeling Schemes
ראשון, מרץ 31, 2019 - 13:10
בניין שרייבר, חדר 309
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - Architecture for Breaking Cost/Performance/Resiliency Tradeoffs in Enterprise Storage System
ראשון, מרץ 17, 2019 - 12:30
בניין שרייבר, חדר 309
מועדון קשרי אקדמיה תעשייה
מועדון קשרי אקדמיה-תעשייה של ביה"ס למדעי המחשב: Palantir Campus Day
רביעי, מרץ 13, 2019 - 10:00
לובי בניין שרייבר
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - The Power of Distributed Verifiers in Interactive Proofs
ראשון, מרץ 3, 2019 - 12:30
בניין שרייבר, חדר 309
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - On Nonogram and Graph Planarity Puzzle Generation
ראשון, מרץ 3, 2019 - 11:00
בניין שרייבר, חדר 006
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - A talk based on PLDI'18 paper
ראשון, ינואר 13, 2019 - 13:15
בניין שרייבר, חדר 309
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - Practical Reliability of Systems
ראשון, ינואר 6, 2019 - 12:30
בניין שרייבר, חדר 309
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - A novel method for analyzing RNA sequencing data reveals gene mutations in normal human tissues
חמישי, ינואר 3, 2019 - 13:00
בניין שרייבר, חדר 309
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - RustBelt: Logical Foundations for the Future of Safe Systems Programming
ראשון, דצמבר 30, 2018 - 12:30
בניין שרייבר, חדר 309
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - Certifiable Algorithms in Automated Verification
ראשון, דצמבר 30, 2018 - 11:00
בניין שרייבר, חדר 006
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - On Expressiveness and Optimization in Deep Learning
חמישי, דצמבר 27, 2018 - 13:00
בניין שרייבר, חדר 309
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - Atomic Transaction Commit for Modern Data Stores
חמישי, דצמבר 27, 2018 - 12:00
בניין שרייבר, חדר 008
הרצאה לקהל הרחב
The TAU Programming Languages and Systems Seminar - The Tangle, a DAG-based approach to probabilistic consensus
ראשון, דצמבר 23, 2018 - 12:30
בניין שרייבר, חדר 309
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - Lattice-Based Cryptography and the Learning with Errors Problem
ראשון, דצמבר 23, 2018 - 11:30
בניין שרייבר, חדר 006
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - Towards the Next Generation of Proof Assistants: Enhancing the Proofs–as–Programs Paradigm
ראשון, דצמבר 23, 2018 - 10:00
בניין שרייבר, חדר 006
קולוקוויום במדעי המחשב
קולוקוויום בביה"ס למדעי המחשב - Incentive Compatible Mechanisms for the Secretary Problem
חמישי, דצמבר 20, 2018 - 13:00
בניין שרייבר, חדר 309

עמודים

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש שנעשה בתכנים אלה לדעתך מפר זכויות
שנעשה בתכנים אלה לדעתך מפר זכויות נא לפנות בהקדם לכתובת שכאן >>
אוניברסיטת תל-אביב, ת.ד. 39040, תל-אביב 6997801