Conference on Groups and Computation, June 14-18, 1999, Columbus, Ohio

群与计算会议，1999 年 6 月 14-18 日，俄亥俄州哥伦布

• 批准号: 9970136
• 负责人: Akos Seress
• 金额: --
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-05-01 至 1999-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9970136&HistoricalAwards=false
• 关键词: Conference; Groups; Computation; June; 14

9970136A conference on ``Groups and Computation'' will be held on June 14-18, 1999, at The Ohio State University. The proposers request funding in order to ensure participation by leading researchers from Europe and Australia and to assist graduate students and recent PhD recipients. The main objective of the conference is to provide a forum for merging theory and practice of computations with groups. It is expected that this will result in increased understanding of the deeper mathematical issues that underlie group computations, and that these will have important algorithmic implications as we move toward the the next generation of computer architectures. That this objective is likely to be met is evidenced by previous related workshops on ``Groups and Computation'' held at DIMACS (in Rutgers University) in 1991 and 1995. A primary goal of those workshops was to foster a dialogue between researchers studying the complexity of group computations and those engaged in the development of practical algorithms. There were many comments by participants, both during and afterwards, that this goal had been achieved beyond the organizers' expectations, and had led to new perspectives and new collaborations. As a direct result, practical versions were devised for algorithms initially developed by theoreticians to improve worst case asymptotic running times; some of these have been implemented in the major computational group theory systems. Providing opportunities for graduate students and younger researchers, both as participants and as speakers, was another of the many successful aspects of previous workshops, and will be an important feature of this one as well.Computational group theory is an interdisciplinary field involving the use of groups to solve problems in computer science and mathematics. The conference will explore the interplay of research which has taken place in a number of broad areas: symbolic algebra, theoretical computer science, group theory, and applications of group computation. In addition to talks on a wide variety of mathematical and computer science issues, at past conferences on this subject there have been numerous talks on links to statistics, circuit design, digital signal processing, and the uses of parallel architectures within this branch of symbolic algebra. The major computational group theory systems employed internationally have had impacts on research within mathematics as well as its applications; based on previous experience, fast new approaches will come out of the proposed conference and will be implemented in these systems.

1999年6月14日至18日，将在俄亥俄州立大学举行一次关于“群与计算”的会议。申请人申请资金，以确保来自欧洲和澳大利亚的主要研究人员的参与，并协助研究生和最近的博士学位获得者。会议的主要目的是为分组计算的理论和实践融合提供一个论坛。预计这将导致对组计算基础的更深层次数学问题的理解增加，并且随着我们走向下一代计算机体系结构，这些问题将具有重要的算法含义。1991年和1995年在DIMACS （Rutgers大学）举行的有关“组与计算”的讲习班证明了这一目标可能会实现。这些研讨会的一个主要目标是促进研究群体计算复杂性的研究人员与从事实用算法开发的研究人员之间的对话。在会议期间和之后，与会者纷纷表示，这一目标的实现超出了组织者的预期，并带来了新的视角和新的合作。直接结果是，最初由理论家开发的算法设计了实用版本，以改善最坏情况下的渐近运行时间；其中一些已经在主要的计算群论系统中实现。为研究生和年轻的研究人员提供作为参与者和演讲者的机会，是以往研讨会成功的另一个方面，也是本次研讨会的一个重要特点。计算群论是一个跨学科的领域，涉及使用群体来解决计算机科学和数学中的问题。会议将探讨在符号代数、理论计算机科学、群论和群计算应用等广泛领域进行的研究的相互作用。除了讨论各种各样的数学和计算机科学问题外，在过去的会议上，这个主题已经有许多关于统计学、电路设计、数字信号处理和并行架构在符号代数分支中的应用的讨论。国际上采用的主要计算群论系统对数学研究及其应用产生了影响；根据以往的经验，拟议的会议将产生快速的新办法，并将在这些系统中实施。