**Welcome** to the MSRI Video Archive, Click on the triangle icons to expand/contract the list.

## Workshop on Computational Algebraic Analysis

January 5-7, 2000

- Toshinori Oaku Free resolutions in algorithms for D-modules
- Toby Stafford Invariant holonomic systems on reductive Lie algebras
- Carlos Berenstein An effective Nullstellensatz in arbitrary Characteristic
- I-Chiau Huang A concrete realization of the Bott formula
- Harry Tsai Computation of homomorphisms between holonomic D-modules
- Anton Leykin On computing Bernstein-Sato polynomials.
- Michel Granger The standard fan of an analytic D-module
- Alicia Dickenstein Rational hypergeometric functions
- Niky Kamran Non-linear differential operators with invariant subspaces of analytic functions and separation of variables
- Timur Sadykov Horn system of partial differential equations and series of hypergeometric type.
- Fumitsuna Maruyama The F4 algorithm in the Weyl algebra.
- Tewodros Amdeberhan WZ and q-WZ Cohomology: from hard core to Computational
- Frederic Chyzak Algorithmic Proof of Combinatorial Identities of Holonomic Type
- Robin Pemantle Extracting coefficients of meromorphic functions of several variables
- Greg Smith Irreducible components of characteristic varieties
- Bruno Salvy Computation of Convolution Integrals
- Andrei Gabrielov Rational functions with real critical points, real Schubert calculus, and a conjecture of Shapiro and Shapiro
- Jose Maria Ucha On AnnD (1/f) and some D-modules of dimension 2
- Mikael Passare Multiple Laurent series and amoebas

## Combinatorial Algebra

January 10-14, 2000

- Charles Leedham-Green On the Classification of p-Groups and Pro-p Groups
- Michael Newman Lie algebras, p-groups and computers
- Vladislav Kharchenko A Combinatorial Approach to Quantizations of Lie Algebras
- Antonio Giambruno On Minimal Varieties of Associative Algebras and Exponential Growth
- Victor Petrogradsky The Hierarchies of Growth and Generating Functions for Lie Algebras
- Bernd Sturmfels Noncommutative Grobner Bases for Commutative Algebras
- Kyu-Hwan Lee Grobner-Shirshov Basis Theory for Irreducible sl_
[Macro error: Can't evaluate the expression because the name "n" hasn't been defined.]-Modules- Leonid Bokut Grobner-Shirshov Bases and the Composition Diamond Lemma for Associative Conformal Algebras
- Rostislav Grigorchuk The Theory and Applications of Branch Groups
- Victor Ufnarovski Noncommutative Computer Algebra - What Can Be Done?
- Uzi Vishne Primitive Algebras with Arbitrary GK-dimension
- Victor Kac Integrable Representations of Affine Superalgebras and Appel's Function
- Yiftach Barnea Representations of Free Pro-p Groups
- Alexander Retakh Simple Conformal Algebras of Finite Growth
- Chongying Dong Vertex Operator Algebras, Quantum Doubles, and Dual Pairs
- Elena Poletaeva Superconformal Algebras, Semi-infinite Cohomology, and Lie Superalgebrasof the Hodge Theory
- Michael Roitman Universal Constructions in the Theory of Conformal and Vertex Algebras
- Vladimir Shpilrain Measuring Sets in a Free Group
- Olivier Mathieu Classification of Weight Modules
- Pavel Shumyatsky A Verbal Version of the Restricted Burnside Problem
- Rosa Orellana q-Centralizer Algebras for Spin Groups
- Dmitri Rumymin Amitsur-Levitski Theorem and Reduced Enveloping Algebras
- Isaiah Kantor A Vector Field Formula for the Lie Algebra of a Homogeneous Space
- Maria Gorelik On Theorems of Kostant and Duflo for Lie Superalgebras
- Ana Cristina Vieira Identities in the Lower Central Series of the Gupta-Sidki 3-Group and theIterated Wreath Product of Z_p
- Martin Liebeck Powers of Classes in Simple Groups and Applications
- Benjamin Klopsch Pro-p Groups of Linear Subgroup Growth
- Jie-Tai Yu Some Remarks on Nagata's Problem
- Vera Serganova On Weight Representations of Lie Algebras and Generalized Harish-Chandra Modules
- Ivan Shestakov Speciality of Lie-Jordan Algebras
- Igor Pak Generating Random Group Elements
- Yuri Bahturin Identities of Graded Algebras

## Mathematics of Quantum Computation

February 7-11, 2000

- Richard Jozsa Quantum Information and Compression
- Andrew Yao Quantum Protocols
- Sumit Daftuar How many dimensions are needed for catalysts of entanglement transformations?
- Ashwin Nayak Holevo's theorem and its implications for quantum communication and computation
- Umesh Vazirani Fourier Transforms, Quantum Algorithms, and Complexity
- Michael Freedman A topological modular functor which is universal for quantum computation
- Robert Solovay Lie Groups and Quantum Circuits
- Zhenghan Wang A modular functor which is universal for quantum computation
- Lisa Hales Fourier Sampling Arbitrary Periodic Functions
- Samuel Lomonaco The Non-Abelian Fourier Transform and Quantum Computation
- Daniel Gottesman Group Theory and Quantum Error Correction
- Dorit Aharonov Fault-tolerant Quantum Computing
- Daniel Lidar Universal Fault Tolerant Quantum Computation On Decoherence-Free Subspaces
- Miklos Santha Self-Testing of Universal and Fault-Tolerant Sets of Quantum Gates
- Andris Ambainis Quantum lower bounds by quantum arguments
- Mary Beth Ruskai Minimal Entropy of States Emerging from Noisy Channels
- Nolan Wallach Extrema for Entropy of n-qubit States and Quantum Error Correcting Codes
- Isaac Chuang Quantum Computers: Physical Implementation
- Timothy Havel Geometric Algebra Methods for Quantum Information Processing
- Leonard Schulman Molecular Scale Heat Engines and Scalable Quantum Computation
- Gilles Brassard Trading Entanglement for Communication
- Alexi Kitaev Fermionic Quantum Computation

## Interactions between Algebraic Geometry and Noncommutative Algebra

February 14-25, 2000

- Hanspeter Kraft Computational Invariant Theory: A survey and some new developments
- Birge Huisgen-Zimmermann Geometry of chain complexes and outer automorphisms under derived equivalence
- Mikhail Kapranov Noncommutative neighborhoods and noncommutative Fourier transform
- Victor Ginzburg Noncommutative Geometry and Calogero-Moser space
- Tim Hodges Degeneration of R-matrices
- Georgia Benkart Down-up Algebras and Some Generalizations
- William Crawley-Boevey Singularities arising from quivers
- Ed Letzter Is there a computational noncommutative algebraic geometry?
- Christine Riedtmann Degenerations of modules
- James Zhang Some applications of dualizing complexes
- Iain Gordon Blocks of enveloping algebras in positive characteristic and related algebras
- Rajesh Kulkarni On the Clifford Algebra of a Binary Form
- Lutz Hille Toric Quiver Varieties
- Aidan Schofield Division algebras and moduli spaces
- Jerzy Weyman Quiver representations and Invariant Theory
- Andrzej Skowronski Tame algebras and complete intersections
- Grzegorz Zwara Smooth morphisms of module varieties
- Tony Giaquinto PBW basis for certain Schur algebras
- Henning Haahr Andersen Quantum analogues of cohomology of vector bundles on flag varieties
- Yan Soibelman On some questions of deformation theory and non-commutative geometry
- Amnon Yekutieli The Auslander Condition and Perverse Sheaves
- Christof Geiss Derived tame tree algebras
- Darin Stephenson Weighted Quantum Polynomial Rings
- Eric Vasserot Quiver varieties with symmetries
- Paul Smith Intersection theory for non-commutative surfaces
- David Patrick Blowing-up noncommutative weighted projective spaces
- Izuru Mori Intersection Multiplicity over Noncommutative Algebras
- Thierry Levasseur Invariant differential operators under the action of a reductive group
- Gerald Schwarz Finite Dimensional Representations of Invariant Differential Operators
- Ian Musson Completion of solvable enveloping algebras at the clique of the augmentation ideal
- Severino Collier Coutinho Holomorphic foliations and nonholonomic modules
- Colin Ingalls Quantum Toric Varieties
- Nicolai Reshetikhin Integrability of characteristic systems
- Michaela Vancliff The Points of Quadratic Algebras
- Alexei Bondal A symplectic groupoid of triangular bilinear forms and the braid group
- Daniel Chan Noncommutative polarizations
- Daniel Levcovitz Algebraic D-modules and Characteristic varieties
- Jacques Alev Hochshild (co)homology of certain algebras of invariant differential operators
- Jean-Luc Brylinski Chern-Simons theory and bundles of infinite-dimensional matrix algebras
- Alexander Rosenberg Noncommutative schemes and spaces
- Dennis Keeler Sigma-ample divisors
- Ranee Brylinski Is there equivariant deformation quantization?
- Alan Weinstein Nonassociative geometry?

## Geometric and Topological Aspects of Group Theory

May. 8 -12, 2000

- Mark Feighn The topology at infinity of Out(F_n)
- Michah Sageev CAT(0) cube complexes and the Kropholler-Roller conjecture
- Geoffrey Mess Ends and boundaries of groups
- Mike Handel Abelian subgroups of Out(F_n)
- Peter Scott Canonical splittings of groups and of 3-manifolds
- Hyam Rubinstein CAT(0) structures on 3-manifold groups
- Peter Shalen Boundary slopes of knots, and 3-manifolds with cyclic fundamental group
- Marc Culler Smallish knots in small 3-manifolds
- Noel Brady Dimensions of CAT(0) E(G) and underline
[Macro error: Can't evaluate the expression because the name "E" hasn't been defined.](G) spaces- Roger Alperin Uniform exponential growth
- Benson Farb Pushouts (after Serre and Gersten-Stallings)
- Mladen Bestvina Van Kampen's embedding obstruction for discrete groups
- Lee Mosher Quasi-actions on trees
- Kevin Whyte The large scale geometry of graphs of groups
- Martin Bridson Combings of groups and grammatical complexity
- Karen Vogtmann The geometry of spaces of finite labelled trees
- Ruth Charney Automorphisms of Coxeter groups
- Dani Wise Negative curvature and residual finiteness

## MSRI/PMMB Short Course: Mathematical and Computational Challenges in Molecular and Cell Biology

June 12-23, 2000

- Sylvia Spengler, Basic Biology for NonBiologists
- Terry Speed, Chromosome maps
- Terry Speed, Molecular evolution and database searching
- Ram Samudrala, Protein Structure Prediction
- Lior Pachter, The Mathematics of Gene Recognition
- Wilma Olson, DNA Sequence and Three-dimensional Structure
- Nick Cozzarelli, Mechanisms of DNA Unlinking and Chromosome Segregation
- Richard Karp, Some Combinatorial and Algorithmic Problems Related to DNA Microarrays
- David Baker, Prediction and design of protein structures and folding mechanisms
- James Wang Transertion, gene silencing, and DNA supercoiling in bacteria
- Michael Levitt, Molecular Dynamics Simulation of Proteins and Nucleic Acids
- James White, Geometry and Topology of DNA
- De Witt Sumners, DNA Knots
- Steve Levene, Modern Theory of Gel Electrophoresis
- Alexander Vologodskii, Large-scale conformational properties of DNA
- Orly Alter, Singular Value Decomposition for Genome-Wide Expression Data Processing and Modeling
- Ignacio Tinoco, RNA Structure and Function
- Sandrine Dudoit, Linkage Analysis of Complex Human Traits Using Identity by Descent Data
- David Bensimon, Elastic properties of twisted stretched single DNA
- Philip Green, Construction of human expressed sequence tag (EST) contigs and their usein estimating gene number
- John Marko, How are centimeter-long chromosomes dealt with inside micron-scalecells?
- Elizabeth Thompson, 1. Monte Carlo Likelihood for genetic analyses and 2. Coalescents, phylogenies, and disequilibrium mapping
- Eric Siggia, Extracting Regulatory Motifs from Genomes and Microarray data

## Mathematics and Computational Biology of Genome Analysis

June 12-23, 2000

- Kelly A. Frazer, Active conservation of noncoding sequences revealed by cross species comparsions
- Pavel A. Pevzner, Identification of Modified Proteins by Tandem Mass-Spectrometry
- Gary A. Churchill, Making the Most of Microarray Experiments
- William S. Hancock, An Integrated View of Bioinformatics for both Genomics and Proteomics
- Wing Hung Wong, A model-based expression index from oligonucleotide expression arrays.
- Brian D. Ripley , Finding Needles in Haystacks: Tools for Finding Structure in Large Datasets .
- Nancy J. Cox, Genetic Variation in the NIDDM1 Region .
- Amir Ben-Dor, Computational Methods in Analyzing Gene Expression Data .
- Elizabeth A. Thompson , LINKAGE ANALYSIS; past, present and future
- Bruce Conklin , G-protein control of electrically active tissue

## Combinatorial Game Theory Research Workshop

July 24-28, 2000

- Elwyn Berlekamp, Environmental Go
- Bill Spight, Analysis of the 4/21/98 Jiang-Rui endgame
- Bill Fraser, Analysis Tools: "Brute-Force" and "Winsolve"
- Matthew Cook, Still Life
- Jurg Nievergelt, Half-a-century of computer chess: The longest running experiment in knowledge engineering
- Michael Lachmann, Cris Moore, Ivan Rapaport, Who wins Domineering on rectangular boards?
- Fabian Maeser, Global threats in combinatorial games: A computation model with applications to chess endgames
- Vadim Anshelevich, The game of Hex: The hierarchical approach
- Tom Ferguson, Another form of Matrix Nim
- Frank Harary, Wolfgang Slany, Oleg Verbitsky, A symmetric strategy in graph avoidance games
- Len Haff, A natural map of numbers and combinatorial games
- Georg Snatzke, Amazons
- Richard Nowakowski, The game of End-Nim
- Katherine Scott, Loony dots and boxes endgame
- Howard Landman, Alternate proof of the periodicity of the Sprague Grundy Function of Wythoff's Game
- Dong Geon Kim, A decoding scheme for 4-ary lexicodes with minimum distance 4
- Eric Demaine, Martin Demaine, Helena Verrill, Coin-moving puzzles
- Jeremiah Farrell Games on word configurations
- Cris Moore, One-dimensional Peg Solitaire
- Matthew Ginsberg, Games of some chance: Extending computational techniques to games of imperfect information
- Arthur Benjamin, Le Her
- John Conway, Infinite Games
- Scott Huddleston,Jerry Shurman, Transfinite Chomp
- Jacob Lurie, Vines
- David Wolfe, Go endgames are hard
- David Eppstein, Searching for spaceships
- Aviezri Fraenkel, Two-player games on cellular automata
- Martin Mueller, Arrows: A Program that Plays Amazons
- Takenobu Takizawa, An Application of Mathematical Game Theory to Go Endgames -- Some Width Two-Entrance Rooms with/without Kos --
- Sol Golomb, Hypercube Tic-Tac-Toe
- David Moews, The abstract structure of the group of games.
- Jonathan Schaeffer, The Games Computers (and People) Play
- Bob Li, A game of switching network and a game of triangles.
- Robert McEliece, How Close to Maximum Likelihood is Iterative (Turbo) Decoding?
- Gadiel Seroussi, Elliptic curves / cryptology
- Dilip Sarwate, Fast Implementations of Berlekamp's BCH Decoding Algorithm
- Oscar Moreno, Exponential sums and improved minimum distance bounds for codes and improvements on the Chevalley-Warning and Ax-Katz results.
- Noam Elkies, The influences of algebraic geometry of curves over finite fields on coding theory.

MSRI: Fall 1999## Non Workshop Lectures

- Ehud Friedgut The Probabalistic Method
- Herbert Edelsbrunner Mathematical Problems in the Reconstruction of Shapes
- Bruce Beasley On The Use of Computers in the Design of Sculpture

Lectures from Other Organizations: 2002 - 2003

Lectures from Other Organizations: 2000 - 2001

Lectures from Other Organizations: 1998 - 1999

Lectures from Other Organizations: 1996 - 97

Lectures for the General Public