This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
  1. Simons Center
  2. Mathtube
  3. MSRI
  4. IHES
  5. Fields Institute
  6. Banff
  7. IAS

All talks

  1. Title:
    Zappa-Szep products of semigroups and their C*-algebras
    Speaker:
    Nathan Brownlowe

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5152/videos/watch/201311290903-Brownlowe.html

  2. Title:
    HenshinTGG: TGG-Extension of HenshinEMF
    Speaker:
    Frank Hermann

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051655-Hermann.html

  3. Title:
    Modeling Language Transformations with USE
    Speaker:
    Martin Gogolla

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051635-Gogolla.html

  4. Title:
    GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
    Speaker:
    Soichiro Hidaka

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051619-Hidaka.html

  5. Title:
    Relating a data structure and its text representation: A case study of pretty-printing and parsing
    Speaker:
    Kazutaka Matsuda

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051200-Matsuda.html

  6. Title:
    BiFlux: A Bidirectional Functional Update Language for XML
    Speaker:
    Hugo Pacheco

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051145-Pacheco.html

  7. Title:
    BX in Database Evolution: Implementation Alternatives and Trade-Offs
    Speaker:
    Jens Weber

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051127-Weber.html

  8. Title:
    A Conceptual Framework for BX
    Speaker:
    Tom Maibaum

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051110-Maibaum.html

  9. Title:
    Bidirectionality, traceability and provenance
    Speaker:
    James Cheney

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051050-Cheney.html

  10. Title:
    Semantics Preserving Transformation: An Impossible Dream?
    Speaker:
    Arend Rensink

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312050948-Rensink.html

  11. Title:
    BX from Synchronous Grammars
    Speaker:
    Yingfei Xiong

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312050933-Xiong.html

  12. Title:
    Doing Model to Model transformations inplace with an intermediate generic graph
    Speaker:
    Albert Zuendorf

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312050915-Zuendorf.html

  13. Title:
    Validation of Bidirectional Transformation
    Speaker:
    Zhenjiang Hu

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312050856-Hu.html

  14. Title:
    Compositional development framework for bidirectional model transformations based on structural recursion on graphs
    Speaker:
    Soichiro Hidaka

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312041153-Hidaka.html

  15. Title:
    Incrementality in Model Transformation with Triple Graph Grammars
    Speaker:
    Fernando Orejas

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312041136-Orejas.html