Colloquia and Seminars

To join the email distribution list of the cs colloquia, please visit the list subscription page.

Upcoming Colloquia & Seminars

  • Haifux Club:

    Speaker:
    Daniel Brunstein
    Date:
    Monday, 27.10.2014, 18:30
    Place:
    Taub 2

    A lecture with a life demo!

    General Agenda

    • What is Bitcoin
    • Wallets (mobile, cloud, cold storage)
    • Price and Market Capacitance
    • Worldwide adoption by big corporations and merchants
    • Regulatory environment
    • Billion Dollar Markets being disrupted by Bitcoin
    • Alternative crypto-currencies and Bitcoin 2.0
    • VC investment in Bitcoin startups
    • Bitcoin in Israel
    • Bitcoin in the Academy

    Technical Agenda

    • Public/private keys
    • Mining
    • Blockchain
    • Security, 51% attack

  • CGGC Seminar: Topologically Guaranteed Bivariate Solutions Of Under-Constrained Multivariate Piecewise Polynomial Systems

    Speaker:
    Yoni Mizrachi (CS, Technion)
    Date:
    Sunday, 2.11.2014, 14:30
    Place:
    Taub 401

    We present a subdivision based algorithm to compute the solution of an under-constrained piecewise polynomial system of n−2 equations with n unknowns, exploiting properties of B-spline basis functions. The solution of such systems is, typically, a two-manifold in R^n. To guarantee the topology of the approximated solution in each sub-domain, we provide subdivision termination criteria, based on the (known) topology of the univariate solution on the domain’s boundary, and the existence of a one-to-one projection of the unknown solution on a two dimensional plane, in R^n. We assume the equation solving problem is regular, while sub-domains containing points that violate the regularity assumption are detected, bounded, and returned as singular locations of small (subdivision tolerance) size. This work extends (and makes extensive use of) topological guarantee results for systems with zero and one dimensional solution sets. Test results in R^3 and R^4 are also demonstrated, using error-bounded piecewise linear approximations of the two-manifolds.

  • Robust Probabilistic Inference

    Speaker:
    Yishay Mansour - Colloquium Lecture
    Date:
    Tuesday, 4.11.2014, 14:30
    Place:
    Room 337-8 Taub Bld.
    Link:
    http://www.cs.technion.ac.il/~colloq/20141104_14_30_Mansour.html
  • When Machines Dominate Humans: The Challenges of Mining and Consuming Machine-generated Web Mail

    Speaker:
    Yoelle Maarek - Colloquium Lecture
    Date:
    Tuesday, 11.11.2014, 14:30
    Place:
    Room 337-8 Taub Bld.
    Link:
    http://www.cs.technion.ac.il/~colloq/20141111_14_30_Maarek.html
  • The Axiomatic Approach and the Internet

    Speaker:
    Moshe Tennenholtz - Colloquium Lecture
    Date:
    Tuesday, 18.11.2014, 14:30
    Place:
    Room 337-8 Taub Bld.
    Link:
    http://www.cs.technion.ac.il/~colloq/20141118_14_30_Tennenholz.html
  • The Cryptographic Lens

    Speaker:
    Shafi Goldwasser - Colloquium Lecture
    Date:
    Tuesday, 9.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.
    Link:
    http://www.cs.technion.ac.il/~colloq/20141209_14_30_Goldwasser.html