Related papers: SPM Bulletin 36
Contents: 2. Invited contribution: Ultrafilters and small sets 3. Research announcements 3.1. Inverse Systems and I-Favorable Spaces 3.2. Combinatorial and hybrid principles for sigma-directed families of countable sets modulo finite 3.3. A…
We present a list of problems in arithmetic topology posed at the June 2019 PIMS/NSF workshop on "Arithmetic Topology". Three problem sessions were hosted during the workshop in which participants proposed open questions to the audience and…
This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International…
The material presented here covers two talks given by the authors at the conference Operator Algebras and Mathematical Physics organised in Bucharest in August 2005. The first one was a review given by J. Kellendonk on the relation between…
This paper, which is dedicated to Alan Turing on the 50th anniversary of his death, gives an overview and discusses the philosophical implications of incompleteness, uncomputability and randomness.
Internet topology analysis has recently experienced a surge of interest in computer science, physics, and the mathematical sciences. However, researchers from these different disciplines tend to approach the same problem from different…
In the past few years, substantial progress has been made in the understanding of the algebra of kappa classes on the moduli spaces of curves. My goal here is to provide a short introduction to the new results. Along the way, I will discuss…
This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018…
Classical Logic and Computation (CL&C) 2014 is the fifth edition of this workshop series. The workshop series intends to cover all work aiming to explore computational aspects of classical logic and mathematics. Its focus is on the…
Here we present the results of the NSF-funded Workshop on Computational Topology, which met on June 11 and 12 in Miami Beach, Florida. This report identifies important problems involving both computation and topology.
These are notes to accompany my lectures at the $2024$ "Current Developments in Mathematics" conference hosted by Harvard/MIT. The lectures were about some recent progress in our understanding of two and three dimensional dynamical systems,…
This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International…
This volume contains the proceedings of EXPRESS/SOS 2019: the Combined 26th International Workshop on Expressiveness in Concurrency and the 16th Workshop on Structural Operational Semantics, which was held on August 26, 2019, in Amsterdam…
Problems presented at the open-problem session of the 14th Annual ACM Symposium on Computational Geometry are listed.
This paper is an extended version of four lectures at PIMS in Vancouver given June 27 - 30, 2016. The primary goal of these lectures was to publicize the author's recent efforts to extend to representations of linear algebraic groups the…
Since its beginnings, every Cycles and Colourings workshop holds one or two open problem sessions; this document contains the problems (together with notes regarding the current state of the art and related bibliography) presented by…
This text arises from teaching advanced undergraduate courses in differential topology for the master curriculum in Mathematics at the University of Pisa. So it is mainly addressed to motivated and collaborative master undergraduate…
Lecture Notes of the 45th IFF Spring School "Computing Solids - Models, ab initio methods and supercomputing" (Forschungszentrum Juelich, 2014).
We give a light introduction to selection principles in topology, a young subfield of infinite-combinatorial topology. Emphasis is put on the modern approach to the problems it deals with. Recent results are described, and open problems are…
CL&C'12 was the fourth of a conference series on "Classical Logic and Computation", held as satellite to ICALP'12 on Sunday July 8, 2012 in Warwick, England. CL&C intends to cover all work aiming to explore computational aspects of…