Related papers: Arithmetic Groups (Banff, Alberta, April 14-19, 20…
These are lecture notes from the Austral Winter School on Microlocal Analysis and Non-elliptic Fredholm Theory, held at the Australian National University, Canberra, June 30 -- July 11, 2025.
This paper contains a discussion of a library of formalized mathematics for the proof assistant Coq which the author worked on in 2011-13.
This paper surveys some results by the author and collaborators on the existence of invariant Lagrangian graphs for Tonelli Hamiltonian systems. The presentation is based on an invited talk by the author at XIX Congresso Unione Matematica…
These notes are based on the ten lectures that the author held in September of 2013 at the University of Seville. The purpose of the course was to introduce basic concepts about the Ahlfors-Beurling operator and explain a few of the recent…
These are the notes from an Oberwolfach Seminar which we ran from 23--29 May 2010.
The present notes provide an extended version of a small lecture course given at the Humboldt Universit\"at zu Berlin in the Winter Term 2022/23 (of 36 hours). The material starting in Section 5.4 was added afterwards. The aim of these…
Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations.
During 2008-2015, twenty-two introductory workshops on graph and geometric algorithms were organized for teachers and students (undergraduate, post-graduate and doctoral) of engineering colleges and universities at different states and…
This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2010. The GandALF…
This volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2013). The symposium took place in Borca di Cadore, Italy, from 29th to 31st of August 2013. The…
This note is a survey of Analysis on Metric spaces, in connection with the upcoming AMS Mathematics Research Communities program in June 2020.
We present a quick introduction to quantum field theory and Wilson's theory of the renormalization group from the point of view of mathematical analysis. The presentation is geared primarily towards a probability theory, harmonic analysis…
Condensed account of the Lectures delivered at the Meeting on {\it Noncommutative Geometry in Field and String Theory}, Corfu, September 18 - 20, 2005.
This volume contains the proceedings of MARS 2015, the first workshop on Models for Formal Analysis of Real Systems, held on November 23, 2015 in Suva, Fiji, as an affiliated workshop of LPAR 2015, the 20th International Conference on Logic…
This is a series of three lectures I gave at the Korea Institute of Advanced Study in June 2019 at a workshop about "Algebraic and Symplectic Aspects of Degenerations of Complex Surfaces". I focus on the symplectic aspects, in particular on…
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous…
The paper presents a course on Combinatorial Algorithms that is based on the drafts of the author that he used while teaching the course in the Department of Informatics and Applied Mathematics of Yerevan State University, Armenia from…
The contributions at the DIS2008 workshop in the working group on Diffraction and Vector Mesons are summarised.
The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2022, July 31-August 12). As such, TERMGRAPH 2022 was a…
This article is an extended version of the minicourse given by the second author at the summer school of the conference "Interactions of quantum affine algebras with cluster algebras, current algebras and categorification", held in June…