Related papers: Arithmetic Groups (Banff, Alberta, April 14-19, 20…

This is a report of an NSF workshop titled "Envisioning National Resources for Artificial Intelligence Research" held in Alexandria, Virginia, in May 2024. The workshop aimed to identify initial challenges and opportunities for national…

These are lecture notes for lectures at the Park City Math Institute, summer 2007. We cover aspects of the dimer model on planar, periodic bipartite graphs, including local statistics, limit shapes and fluctuations.

This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on…

This is a report of the A3 workshop ("Mathematical Studies of Field Equations"), which was held in Poone during the GR15 Conference in December 1997.

In May 2015, a conference entitled "Groups, Geometry, and 3-manifolds" was held at the University of California, Berkeley. The organizers asked participants to suggest problems and open questions, related in some way to the subject of the…

These are the notes for some lectures given by this author at Harish-Chandra Research Institute, Allahabad in March 2014 for a workshop on Schur multipliers. The lectures aimed at giving an overview of the subject with emphasis on groups of…

This volume contains the papers presented at the 6th conference on Machines, Computations and Universality (MCU 2013). MCU 2013 was held in Zurich, Switzerland, September 9-11, 2013. The MCU series began in Paris in 1995 and has since been…

These are lecture notes that are based on the lectures from a class I taught on the topic of Randomized Linear Algebra (RLA) at UC Berkeley during the Fall 2013 semester.

The Statistics Consortium at the University of Maryland, College Park, hosted a two-day workshop on Bayesian Methods that Frequentists Should Know during April 30--May 1, 2008. The event was co-sponsored by the Institute of Mathematical…

The second of the annual BritGrav meetings on current research in Gravitational Physics in Britain took place at the School of Mathematical Sciences of Queen Mary, University of London on June 10/11, 2002. 47 plenary talks of 12min duration…

These lecture notes are an expanded write-up of my short lecture series "Noncommutative Resolutions" given to the MSRI Graduate Student Workshop "Noncommutative Algebraic Geometry" during June 2012. The notes include five chapters, an…

This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with…

This volume contains the proceedings of the (first) Graphs as Models (GaM) 2015 workshop, held on 10-11 April 2015 in London, U.K., as a satellite workshop of ETAPS 2015, the European Joint Conferences on Theory and Practice of Software.…

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

This report tries to give a brief overview of a number of the mathematical activities during the trimestre mentioned in the title.

This is a review devoted to some results of Algebraic Programming (Computer Algebra) used in treating several problems of general relativity, based mainly on already published articles. The article contains the talk given by the author at…

This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International…

This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of…

This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th Symposium on Formal Methods, FM 2012. The focus of the…

ARCOE-Logic 2014, the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic, was held in co-location with the 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW…