Sage is a mathematics software system developed by and for the mathematics community, whose mission is to create a viable free open source alternative to Magma, Maple, Mathematica and Matlab. Its wide span of features, in particular in number theory, combinatorics, and representation theory, together with its friendly community based development, fosters collaborations across disciplines, from the design and implementation of new computer exploration tools to research.

This workshop will bring together experienced Sage and Sage-Combinat developers and experts of multiple Dirichlet series and computational algebraic combinatorics. Like every workshop in the Sage Days series, it will welcome whoever wants to discover Sage, learn more about it, or contribute to it.

As the first meeting for the ICERM Semester... (more)

L-functions—vast generalizations of the Riemann zeta function— are fundamental objects of study in number theory. In the 1980's the idea emerged that it could be useful to tie together a family of related L-functions in one variable to create a "double Dirichlet series," which could be used to study the average behavior of the original family of L-functions. Double Dirichlet series soon became multiple Dirichlet series. It has gradually emerged that the local structure of these multiple Dirichlet series shows a rich connection to combinatorial representation theory.

This program will explore this interface between automorphic forms and combinatorial representation theory, and will develop computational tools for facilitating investigations. On the automorphic side, Whittaker functions on p-adic groups and their covers are the fundamental objects. Whittaker functions and their relatives are expressible in terms of combinatorial structures on the associated L-group, its flag... (more)

Ever since Jakob Bernoulli proved the law of large numbers for Bernoulli random variables in 1713, the subject of limit theorems has been a driving force for the development of probability theory as a whole. The elucidation of different flavours of laws of large number, central limit theorems and laws of iterated logarithm, their extensions to Markov chains or sums of weakly dependent or stationary processes, limit theorems for Banach space valued random variables, etc., have given rise to a rich theory as well as the basic tools for tackling any problem involving randomness.

Today, 300 years after the landmark result of Bernoulli, it is fruitful to look back at the way in which search for limit theorems has shaped the subject. It is also fruitful to consider how the emphasis has evolved over time from simple limit theorems to getting bounds on the rates of convergence or obtaining inequalities, which are of more immediate relevance in applications to nite samples. The current... (more)

In addition to advancing research and discovery in pure and applied mathematics, computation is pervasive across the sciences and now computational research results are more crucial than ever for public policy, risk management, and national security. Reproducibility of carefully documented experiments is a cornerstone of the scientific method, and yet is often lacking in computational mathematics, science, and engineering. Setting and achieving appropriate standards for reproducibility in computation poses a number of interesting technological and social challenges. The purpose of this workshop is to discuss aspects of reproducibility most relevant to the mathematical sciences among researchers from pure and applied mathematics from academics and other settings, together with interested parties from funding agencies, national laboratories, professional societies, and publishers. This will be a working workshop, with relatively few talks and dedicated time for breakout group discussions... (more)

We are pleased to announce the first joint IMI-ICERM Winter School on Computational Aspects of Neural Engineering. The course is directed at graduate students, postdoctoral fellows, and other researchers from the physical sciences (e.g. physics, mathematics, computer science, engineering) and the life sciences (e.g. neuroscience, biology, physiology). The course will offer participants the opportunity to learn about the foundations of neural engineering and brain-computer interfacing, and develop their skills in computational analysis of neural data for the control of external devices. The topics will range from primers on neuroscience, signal processing, and machine learning to brain-computer interfacing based on multi neuronal activity, electrocorticography (ECoG), and electroencephalography (EEG).

The course will consist of 3 hours of lectures each morning, followed by a 3-hour MATLAB-based computer laboratory in the afternoon. Participants will pair up for these laboratories, and... (more)

Monte Carlo methods have become increasingly important in Engineering and the Sciences. These application areas have posed challenges and opportunities in the analysis of modern Monte Carlo algorithms. The workshop's main focus is on: a) the mathematical techniques and aspects that have been key in the analysis of these algorithms, and b) the identification of techniques that are likely to play a role in future analysis.

This is the seventh in a series of biennial conferences honoring David Blackwell and Richard Tapia, two seminal figures who inspired a generation of African-American, Native American and Latino/Latina students to pursue careers in mathematics. Carrying forward their work, this one and a half day conference will

• Recognize and showcase mathematical excellence by minority researchers
• Recognize and disseminate successful efforts to address under-representation
• Inform students and mathematicians about career opportunities in mathematics, especially outside academia
• Provide networking opportunities for mathematical researchers at all points in the higher education/career trajectory

The conference includes a mix of activities including scientific talks, poster presentations, panel discussions, ample opportunities for discussion and interaction, and the awarding of the 2012 Blackwell-Tapia Prize.

Monte Carlo methods are one of the main tools used to study the properties of complex physical, chemical and biological systems. Since their introduction in the late 1940s, these methods have undergone a remarkable expansion and are now used in many other fields, including statistical inference, engineering, and computer science. However, the design and theoretical understanding of Monte Carlo methods is still a challenging topic, especially for those problems where rare events play the key role in determining algorithm performance. The aim of the workshop is to bring together specialists in the application areas who understand the specific challenges posed by realistic problems and have developed sophisticated tools to tackle these problems, and mathematicians developing methods for algorithm analysis, abstraction, and optimization.

Rapid growth in computational resources has heightened the expectation that scientific knowledge can indeed be a driver for societal well-being and betterment. At the same time, our ability to measure the natural and social world around has significantly increased, aided by technological development in sensors, the internet, and other modalities of communication. Science is thus faced, simultaneously, with a complex description of reality at an unprecedented resolution, and the possibility to describe this reality with mathematical models of increasing complexity. Probabilistic formulations of physical problems can be viewed as attempts to adapt rational procedures to this complexity, while tackling the conceptual challenges they inevitably present. As a testament to the significance of this confluence of mathematics, science, and technology, Uncertainty Quantification is arguably one of the fastest growing sub-disciplines in mechanics.

The communities of computational science,... (more)