Tagungen und Workshops zum Thema Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (25)
1
Type Theory, Constructive Mathematics and Geometric Logic
03. Mai 2021 - 07. Mai 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312254
Verwandte Fachgebiete:
2
Trends in Logic XX "Logic and Reasoning: Formal and Informal"
12. Mai 2021 - 14. Mai 2021 • Kiew, Ukraine
Eintrags-ID:
1395341
3
Advances and Challenges in Hyperbolic Conservation Laws
17. Mai 2021 - 21. Mai 2021 • Providence, RI, Vereinigte Staaten
Veranstalter:
ICERM
Zusammenfassung:
In the field of hyperbolic conservation laws, theory, computation, and applications are deeply connected, with each one providing to the other two technical support as well as insights. Major progress has been achieved, over the past 40 years, on the theory and computation of solutions in one space dimension. By contrast, the multi-space dimensional case is still covered by mist, which is now gradually lifting, revealing new vistas. For instance, in two space dimensions, significant progress has been achieved in the study of transonic gas flow, of central importance to aerodynamics. Parallel progress has been reported on the numerical side, with the design of high-order accurate discontinuous Galerkin and finite volume computational schemes, even for multidimensional systems. Finally, we are witnessing an explosion in the applications, not only on the traditional turf of fluid dynamics but also in new directions, in materials science, biology, traffic theory, etc.
Kontakt:
Tel.: [401 863 5030];     Email: info@icerm.brown.edu
Eintrags-ID:
1384205
4
Logic of Conceivability Conference 2021, Online
07. Jun 2021 - 08. Jun 2021 • Online, Überall (Virtuelle Veranstaltung)
Zusammenfassung:
The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.
Eintrags-ID:
1415848
5
BLAST 2021
09. Jun 2021 - 13. Jun 2021 • Las Cruces, NM – online, Vereinigte Staaten
Veranstalter:
New Mexico State University, Las Cruces, NM
Zusammenfassung:
BLAST is a conference series focusing on Boolean Algebras Lattices, Algebraic and Quantum logic Universal Algebra Set Theory Set-theoretic and Point-free Topology
Eintrags-ID:
1402875
Verwandte Fachgebiete:
6
Logical Perspectives 2021
15. Jun 2021 - 19. Jun 2021 • Moskau, Russische Föderation
Zusammenfassung:
The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The Logical Perspectives summer school and workshop series aims at giving advanced introductions into various branches of logic, and providing researchers - including early career scientists - an opportunity to present their work.
Themen:
logical methods in mathematics; logical methods in philosophy; logical methods in computer science.
Eintrags-ID:
1395417
7
TARK2021 — The 18th Conference on Theoretical Aspects of Rationality and Knowledge
25. Jun 2021 - 27. Jun 2021 • Peking, China
Veranstalter:
The Logic Research Center, Tsinghua University
Zusammenfassung:
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at http://www.tark.org
Kontakt:
Email: fenronguva@gmail.com
Themen:
Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty; bounded rationality and resource-bounded reasoning; commonsense epistemic reasoning; epistemic logic; epistemic game theory; knowledge and action; applications of reasoning about knowledge and other mental states; belief revision; computational social choice; algorithmic game theory; and foundations of multi-agent systems.
Eintrags-ID:
1401721
8
Summer Graduate School — Foundations and Frontiers of Probabilistic Proofs
28. Jun 2021 - 09. Jul 2021 • Zürich, Schweiz
Veranstalter:
MRSI – Mathematical Sciences Research Institute, Berkeley | ETH Zurich, Switzerland
Zusammenfassung:
This summer school will provide an introduction to the field of probabilistic proofs and the beautiful mathematics behind it, as well as prepare students for conducting cutting-edge research in this area.
Eintrags-ID:
1376607
9
FUZZ-IEEE'2021 — 2021 IEEE International Conference on Fuzzy Systems
11. Jul 2021 - 14. Jul 2021 • Luxembourg, Luxemburg
Zusammenfassung:
FUZZ-IEEE 2021 will represent a unique meeting point for scientists and engineers, from academia and industry, to interact and discuss the latest enhancements and innovations in the field. The topics of the conference will cover all aspects of theory and applications of fuzzy sets and systems and its hybridisations with other artificial and computational intelligence techniques. Under its 2021 theme, ‘Handling Uncertainty in Interpretable AI’, the conference will emphasise the handling of uncertainty, in particular in the context of interpretable and interactive AI, actively promoting engagement across disciplines.
Eintrags-ID:
1398633
10
13th Panhellenic Logic Symposium
14. Jul 2021 - 18. Jul 2021 • Volos, Griechenland
Veranstalter:
University of Thessaly
Zusammenfassung:
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Eintrags-ID:
1395317
11
Information Theory and Data Science Workshop
19. Jul 2021 - 23. Jul 2021 • Singapore, Singapur
Veranstalter:
Institute for Mathematical Sciences/National University of Singapore
Zusammenfassung:
Information theory addresses fundamental questions in various areas of science and engineering, including communications, data compression, statistical learning theory, security, and networks. In particular, information theory can be used to identify fundamental limits and gauge the effectiveness of algorithms for various problems associated with these fields.
Eintrags-ID:
1240750
12
LC 2021 — Logic Colloquium 2021
19. Jul 2021 - 24. Jul 2021 • Poznan, Polen
Zusammenfassung:
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.
Eintrags-ID:
1356645
Webseite:
13
Workshop on Advances in Theory and Algorithms for Deep Reinforcement Learning
02. Aug 2021 - 04. Aug 2021 • Providence, RI, Vereinigte Staaten
Veranstalter:
ICERM
Zusammenfassung:
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.
Kontakt:
Email: info@icerm.brown.edu
Eintrags-ID:
1414873
14
Mathematics and Analogical Reasoning
27. Aug 2021 - 28. Aug 2021 • München, Deutschland
Zusammenfassung:
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.
Eintrags-ID:
1395458
15
XXV. Congress of the German Society for Philosophy
05. Sep 2021 - 08. Sep 2021 • Nürnberg, Deutschland
Zusammenfassung:
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.
Eintrags-ID:
1395446
16
New Frontiers in Proofs and Computation
12. Sep 2021 - 17. Sep 2021 • Hangzhou, China
Veranstalter:
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
Zusammenfassung:
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.
Eintrags-ID:
1364947
17
16th International Luminy Workshop in Set Theory
13. Sep 2021 - 17. Sep 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312360
18
LATD 20201 — Logic, Algebra and Truth Degrees 2021
13. Sep 2021 - 17. Sep 2021 • Tbilisi, Georgien
Zusammenfassung:
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.
Eintrags-ID:
1395498
19
Autumn school "Proof and Computation"
20. Sep 2021 - 26. Sep 2021 • Fischbachau, Deutschland
Zusammenfassung:
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.
Themen:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Eintrags-ID:
1395477
20
10th International Conference on Non-Classical Logics, Theory & Applications
22. Sep 2021 - 25. Sep 2021 • Łódź, Polen
Zusammenfassung:
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ź.
Themen:
many-valued logics, modal logics, non-monotonic logics, paraconsistent logics, plausible reasoning, substructural logics, contra-classical logics, relevant and connexive reasoning, sdescription logics
Eintrags-ID:
1395474
21
Diagrams 2021 — 12th International Conference on the Theory and Application of Diagrams
28. Sep 2021 - 30. Sep 2021 • Virtual Conference, Großbritannien
Zusammenfassung:
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.
Eintrags-ID:
1395327
22
Neostability Theory
31. Okt 2021 - 05. Nov 2021 • Hangzhou, China
Veranstalter:
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
Zusammenfassung:
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.
Eintrags-ID:
1364965
23
Set Theory
09. Jan 2022 - 15. Jan 2022 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1395825
24
Logic and Interactions
24. Jan 2022 - 25. Jan 2022 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Themen:
THEMATIC MONTH
Eintrags-ID:
1369358
Verwandte Fachgebiete:
25
New Directions in Computability Theory
07. Mär 2022 - 11. Mär 2022 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Themen:
CONFERENCE
Eintrags-ID:
1369378


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 22. März 2021