Funding for a conference on Groups, Computation, and Geometry, June 9-13, 2014

该奖项将于2014年6月9日至13日在科罗拉多州立大学的Pingree Park举办一场名为“群体、计算和几何”的会议。在2004年在同一地点举行的前一次会议取得成功的基础上，会议的广泛目标是将计算群论和有限几何等密切相关领域的研究人员聚集在一起。会议的科学内容旨在探索广泛的主题之间的已知和新出现的联系，包括科学计算、组合学、群论和理论计算机科学，以期为开放的理论问题和调查实际应用提供答案。从历史上看，实践和理论关注之间的相互作用导致了这两个方面的进展，这种类型的跨范式合作将在会议上占据突出地位。更多的编程细节可以在会议的网站上找到：http://www.math.colostate.edu/~hulpke/pingree/index.html.Group理论通常被描述为抽象的对称性的代数研究。群论产生并广泛应用于其他领域，包括固态物理、化学(结晶学)、编码理论和密码学。几何学在理解群的结构方面一直扮演着关键的角色，在过去的40年里，机器计算对这两个领域的发展越来越重要。会议的主题是关于群和几何的理论问题和由大量机器计算产生的算法问题与这些基本对象之间的相互作用。

The award funds a conference "Groups, Computation, and Geometry" at Pingree Park, a campus of Colorado State University, June 9-13, 2014. Building on the successes of an earlier conference, held at the same location in 2004, the broad goal of the meeting is to bring together researchers in the closely related fields of computational group theory and finite geometries. The scientific content of the conference is designed to explore known and emerging connections between a broad range of topics, including scientific computing, combinatorics, group theory, and theoretical computer science, with a view both to providing answers to open theoretical questions and to investigating practical applications. Historically, the interplay between practical and theoretical concerns has led to advances on both fronts, and cross-paradigm collaboration of this type will feature prominently at the conference. Further programming details may be found at the conference website: http://www.math.colostate.edu/~hulpke/pingree/index.html.Group theory is often described as the algebraic study of symmetry in the abstract. Group theory arises and is used in a wide variety of other fields, including solid state physics, chemistry (crystallography), coding theory, and cryptography. Geometry has always played a crucial role in understanding the structure of groups, and over the last forty years machine computations have been increasingly important to developments in both fields. The subject of the conference is the interaction between theoretical questions concerning groups and geometries and algorithmic questions arising from extensive machine computation with these fundamental objects.