Related papers: SPM Bulletin 36
This is the preface to the 26th International Conference on Logic Programming Special Issue
CONTENTS: New reals: Can live with them, can live without them; Uniform almost everywhere domination; Heredity of tau-pseudocompactness; Understanding preservation theorems: omega^omega-bounding; Classification problems in continuum theory;…
This is an introduction to Exactly Solved Models and Beyond, a special issue collection of articles published in J. Phys. A in honour of R J Baxter's 75th birthday.
We present a new variation of the classical selection principles $\mathsf{S}_\mathrm{k}(\mathcal A, \mathcal B)$ ($k\in\mathbb N$) and $\mathsf{S}_\mathrm{fin}(\mathcal A, \mathcal B)$ that formally lies between these two properties. As in…
This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013.…
This is an exposition of the contributions of L\'aszl\'o Lov\'asz to mathematics and computer science written on the occasion of the bestowal of the Abel Prize~2021 to him. Our survey, of course, cannot be exhaustive. We sketch remarkable…
These lectures were prepared for the 2014 PCMI graduate summer school and were designed to be a lightweight introduction to statistical mechanics for mathematicians. The applications feature some of the themes of the summer school: sphere…
Among the many papers announced here, a recent series of papers of Franklin Tall on selective properties (SPM) is noteworthy.
Topology applied to real world data using persistent homology has started to find applications within machine learning, including deep learning. We present a differentiable topology layer that computes persistent homology based on level set…
This review is an elaboration of a presentation given at the Real algebraic geometry and singularities conference in honor of Wojciech Kucharz's 70th birthday in Krakow in 2022.
Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and their applications. This year's edition was also an…
This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…
This WWW page contains links to contributions that appear in the Festschrift issue of the journal Acta Physica Slovaca dedicated to Professor Jan Pisut on the occasion of his 60th birthday. Where available, links are given also to e-prints…
This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative…
This short note is written in celebration of David Schmidt's sixtieth birthday. He has now been active in the program analysis research community for over thirty years and we have enjoyed many interactions with him. His work on…
This Liber Amicorum is a collection of essays ranging from personal memories to technical contributions. It is a tribute to Dave Schmidt and his career, and was composed at the occasion of his sixtieth birthday.
This book is an account of certain topics in general and algebraic topology. Instead of laying out a synopsis of each chapter, here is a sample of some of what is taken up: 1) Nilpotency and its role in homotopy theory. 2) Bousfield's…
These are lecture notes expanding upon a set of lectures given by G.M. at the TASI 2023 School. Part I is an introduction to topological field theory, including extended topological field theory. Part II is an introduction to generalized…
This introductory text arises from a lecture given in G\"oteborg, Sweden, given by the first author and is intended for undergraduate students, as well as for any mathematically inclined reader wishing to explore a synthesis of ideas…
This is a survey paper, on recent progress around lifting Galois representations. I focused on approaches that solely rely on Galois cohomology. Emphasis is laid on material I talked about, at the conference held in Ottawa in June 2024, to…