Conferences and Meetings on Mathematical Logic and Foundations

ICERM

There has been significant progress over the last few years in the theory and applications of Reinforcement Learning (RL). While RL theory and applications have had a rich history going back several decades, the major recent successes have occurred due to a successful marriage between deep learning approaches for function approximation embedded within a reinforcement learning framework for decision-making (Deep RL). On one hand, there has been a richer understanding of Stochastic Gradient Descent (SGD) for non-convex optimization, its impact in driving training error to zero in deep neural networks, and on the generalization ability of such networks for inference. On the other hand, there has been an explosion of research on iterative learning algorithms with strong statistical guarantees in the settings of reinforcement learning, stochastic approximation and multi-armed bandits. This workshop aims to bring leading researchers from these two threads, with the goal of understanding and advancing research at their intersection. We will also explore other potential connections between deep learning and deep RL, including but not limited to: Understanding generalization in deep RL and how it is related to and/or different from generalization in deep learning; Connections between adversarial training in deep learning (e.g., Generative Adversarial Networks) and the optimization aspects of recent deep RL algorithms based on generalized moment matching in off-policy RL and imitation learning. This workshop is fully funded by a Simons Foundation Targeted Grant to Institutes.

Email: info@icerm.brown.edu

The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy. ​ Empirical science relies heavily on mathematics. Mathematical models enable physicists to simulate dynamical ‘dumb hole’ analogues to gravitational black holes (Curiel 2019; Dardashti, Thébault, and Winsberg 2017; Gryb, Palacios, and Thébault 2019), chemists to study the behaviour of molecules, medical researchers to examine the spreading rate of diseases, and biologists to understand changes in animal populations. There is no doubt that mathematics is an indispensable scientific tool.

The 25th conference of the German Society of Philosophy deals with the true, the good, and the beautiful – and, therefore, with everything? Yes and no. As always, the conference will be an exhibition of philosophy and provide the opportunity to present research from all parts of philosophy: in 40 sections there will be talks about virtually all fields and periods of philosophy. At the same time, there will be, mainly in the colloquia, a focus on special questions, which have, in recent years, more and more taken centre stage in philosophical research. These questions are concerned with the relations between truth, goodness and beauty: What is the relation between epistemic and practical norms? Can judgements about the good and the beautiful be true (and false)? What is the value of truth? Is a good life a beautiful life? Is the aim of art beauty, truth or goodness? These and related questions are located at the intersection of theoretical and practical philosophy – and, therefore, maybe at the centre of philosophy in general.

Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada

This workshop is dedicated to Hao Wang, for his pioneering work in connecting human and formal thinking that permeates (O1)-(O3). A greater understanding of these topics will no doubt lead to a better understanding of computation in mathematics and computer science, and increase the prominence of mathematical logic and proof theory in China, Asia, and the world.

Courses and Events for Math Students and Early Career Researchers,    General Mathematical Research and Multidisciplinary Events

CIRM – Centre International de Rencontres Mathématiques

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

An international autumn school "Proof and Computation" will be held from 20th to 26th September 2020 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs

Courses and Events for Math Students and Early Career Researchers,    Information Theory, Foundations of Computer Science

This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971 and published by the University of Łódź.

many-valued logics, modal logics, non-monotonic logics, paraconsistent logics, plausible reasoning, substructural logics, contra-classical logics, relevant and connexive reasoning, sdescription logics

Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams and has a multidisciplinary emphasis. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

Information Theory, Foundations of Computer Science,    General Mathematical Research and Multidisciplinary Events

Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada

Stability theory, in the sense of mathematical logic, consists of a collection of technical methods first developed to address the logical problem of classifying abstract models of mathematical theories. Stability theory has proven to be applicable to other mathematical problems such as understanding rational solutions of algebraic equations. It has recently been shown that the techniques and methods used for the classification described above can be used in much more general settings with applications to other areas of mathematics such as algebraic geometry, additive combinatorics and extremal graph theory. Researchers at this meeting will study these developments to deepen these applications, and to extend the scope of stability theory to an even wider range of mathematical theories.

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

CIRM – Centre International de Rencontres Mathématiques

THEMATIC MONTH

CIRM – Centre International de Rencontres Mathématiques

CONFERENCE