Related papers: Arithmetic Groups (Banff, Alberta, April 14-19, 20…
We describe a list of open problems in random matrix theory and the theory of integrable systems that was presented at the conference Asymptotics in Integrable Systems, Random Matrices and Random Processes and Universality, Centre de…
Brief lecture notes for a course about random matrices given at the University of Cambridge.
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori (Amalfi Coast, Italy), from the 15th to the 17th of June…
This volume contains the proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), which was held July 15-17, 2015 at Oxford University. The goal of this workshop series is to bring together researchers working…
This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable…
This is a collection of examples showing how the GAP system can be used to compute information about the generating graphs of finite groups. It includes all examples that were needed for the computational results in the paper "Hamiltonian…
This is the summary of the working group on $\pi\pi$ and $\pi$N interactions of the Chiral Dynamics Workshop in Mainz, September 1-5, 1997. Each talk is represented by an extended one page abstract. Some additional remarks by the convenors…
Talk given at the conference "Visions in Mathematics toward the year 2000", August 1999, Tel-Aviv.
These lecture notes (from the Second Autumn School in High Energy Physics and Quantum Field Theory, Yerevan 2014) cover a number of topics related to geometric quantization. Most of the material is presented from a physicist's point of…
Lie groups over local fields furnish prime examples of totally disconnected, locally compact groups. We discuss the scale, tidy subgroups and further subgroups (like contraction subgroups) for analytic endomorphisms of such groups. The text…
We review the iid2022 workshop on statistical methods for X-ray and $\gamma$-ray astronomy and high--energy astrophysics event data in astronomy, held in Guntersville, AL, on Nov. 15-18 2022. New methods for faint source detection, spatial…
This volume contains the proceedings of the Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), held in Tallin, Estonia, on March 31 and April 1, 2012. QAPL 2012 is a satellite event of the European Joint…
Formulated problems concern the following topics: (1) Birationally nonequivalent linear actions; (2) Cayley degrees of simple algebraic groups; (3) Singularities of two-dimensional quotients.
We summarize the talks presented at the QG3 session (loop quantum gravity: cosmology and black holes) of the 15th Marcel Grossmann Meeting held in Rome, Italy on July 1-7 2018.
This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK, on April 11th, 2015. Previous editions of the Workshop…
Survey article on loop groups and their representations, following a course of three lectures held at the summer school "algebraic groups" at the Georg-August-Universitaet zu Goettingen, June 27--July 13, 2005. We discuss loop groups, their…
This note is an extended version of my presentation at the "Focused Research Workshop on Exterior Di{\S}erential Systems and Lie Theory" held at the Fields Institute in Toronto, December 9-13, 2013. Some ideas and constructions of this note…
Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term…
We discuss several arithmetic aspects of Bianchi groups, especially from a computational point of view. In particular, we consider computing the homology of Bianchi groups together with the Hecke action, connections with automorphic forms,…