Tagungen und Workshops zum Thema Mathematische Logik

Wählen Sie ein Land aus:
China (1) - Deutschland (2) - Georgien (1) - Großbritannien (1) - Iran (1) - Italien (2) - Japan (1) - Jordanien (1) - Kanada (1) - Kasachstan (1) - Lettland (2) - Mexiko (1) - Russische Föderation (1) - Schweiz (1) - Tschechische Republik (1) - Vereinigte Staaten (1)

ALLE LÄNDER

1
CTFM2019 — 9th International Conference on Computability Theory and Foundations of Mathematics
21. Mär 2019 - 27. Mär 2019 • Wuhan University of Technology, Wuhan, China
2
Third Tübingen Conference on Proof-Theoretic Semantics
27. Mär 2019 - 30. Mär 2019 • Tübingen, Deutschland
Eintrags-ID:
1127607
3
ISCRA 2019 — Isfahan School and Conference on Representations of Algebras
07. Apr 2019 - 19. Apr 2019 • Isfahan, Iran
Zusammenfassung:
Representation theory is a central branch of modern mathematics that studies realizations of abstract non-linear structures using classical linear and/or combinatorial concrete structures like matrices, linear operators and quivers. It is a very active and dynamic area, both heavily influenced by important applications to algebra, combinatorics, geometry, topology, analysis, category theory, number theory, mathematical physics and other branches of mathematics and physics.
Eintrags-ID:
1127548
4
TAMC 2019 — 15th Annual Conference on Theory and Applications of Models of Computation
13. Apr 2019 - 16. Apr 2019 • Kitakyushu, Japan
Zusammenfassung:
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”.
Eintrags-ID:
1127551
5
PhDs in Logic XI
24. Apr 2019 - 26. Apr 2019 • Bern, Schweiz
Zusammenfassung:
PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.
Eintrags-ID:
1127638
6
IACMC 2019 — International Arab Conference on Mathematics and Computations 2019
24. Apr 2019 - 26. Apr 2019 • Zarqa, Jordanien
Zusammenfassung:
The IACMC2019 is the sixth in a series of Mathematical conferences held at Zarqa University from 2006 till now.All these conferences aim to arrange a platform for mathematicians, scientists, engineers, industrialists researchers students and all those who are desirous of working in the field of mathematics and statistics across the globe to meet, discuss, share innovative ideas. These conferences also aims to give the participants an opportunity to interact with each other, establish contacts and explore possibilities for future collaborative work.
Kontakt:
Tel.: [+962 53821100/1500,1504];     Email: iacmc@zu.edu.jo
Themen:
Pure Mathematics, Applied Mathematics and Applications. Statistics. Neutrosophic Set and Logic, Univalent Function Theory: subclasses and its applications.
Eintrags-ID:
1166996
7
JELIA-2019 — 16th European Conference on Logics in Artificial Intelligence
08. Mai 2019 - 10. Mai 2019 • Rende, Italien
Zusammenfassung:
The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially. JELIA aims at bringing together researchers active in all aspects concerning the use of logics in AI to discuss current research, results, problems, and applications of both a theoretical and a practical nature.
Eintrags-ID:
1127626
8
50 Years of Set Theory in Toronto
13. Mai 2019 - 17. Mai 2019 • Toronto, Kanada
Veranstalter:
Fields Institute
Zusammenfassung:
The Set Theory Seminar has been quite influential in shaping important areas of Set Theory and its applications during the past 50 years. The purpose of this conference is to introduce and/or survey contemporary work in the areas currently investigated by Seminar members.
Eintrags-ID:
1127472
9
LPNMR 2019), — 15th International Conference on Logic Programming and Non-monotonic Reasoning
04. Jun 2019 - 07. Jun 2019 • Philadelphia PA, Vereinigte Staaten
Zusammenfassung:
LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program.
Eintrags-ID:
1127636
10
SandGAL 2019 — Semigroups and Groups, Automata, Logics
10. Jun 2019 - 13. Jun 2019 • Cremona, Italien
Zusammenfassung:
SandGAL 2019 is a conference that aims to bring together experts from different areas of algebra, logic, theoretical computer science and combinatorics in which Semigroup and Group Theory play an important role and interact with these disciplines in an interesting way. There will also be an opportunity for participants to present short talks.
Themen:
Semigroups, inverse semigroups, groups, combinatorics, logic.
Eintrags-ID:
1174787
Verwandte Fachgebiete:
11
RIC — Randomness, information and complexity
12. Jun 2019 - 14. Jun 2019 • Moskau, Russische Föderation
Zusammenfassung:
Theoretical computer science conference in honor of Alexander Shen and Nikolay Vereshchagin 60ties birthdays.
Kontakt:
Email: ric-organizers@computability.fr
Themen:
Automata, Kolmogorov complexity, Computational complexity, Algorithmic randomness
Eintrags-ID:
1180754
12
CCR 2019 — Fourteenth international conference on computability, complexity and randomness
23. Jun 2019 - 25. Jun 2019 • Astana, Kasachstan
Zusammenfassung:
The conference will be co-located with The Sixteenth Asian Logic Conference
Themen:
Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic.
Eintrags-ID:
1180808
13
L19 — Logica 2019
24. Jun 2019 - 28. Jun 2019 • Hejnice, Tschechische Republik
Zusammenfassung:
Logica 2019 will be the 33rd in the series of annual international symposia devoted to logic, to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 24 – 28 June 2019. Invited speakers are David Makinson, Per Martin-Löf, Alessandra Palmigiano and David Ripley.

Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for ‘philosophically’ and for ‘mathematically’ oriented logicians.

Kontakt:
Tel.: [+420731515692];     Email: vit.puncochar@centrum.cz
Themen:
philosophical logic, mathematical logic, formal semantics
Eintrags-ID:
1170208
14
ICFCA 2019 — Formal Concept Analysis
25. Jun 2019 - 26. Jun 2019 • Frankfurt, Deutschland
Zusammenfassung:
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery. The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Environment, Life and Social Sciences, etc.
Eintrags-ID:
1127602
15
CiE 2019 — 15th Conference on Computability in Europe,
15. Jul 2019 - 19. Jul 2019 • Durham, Großbritannien
Zusammenfassung:
CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Eintrags-ID:
1127590
16
19w5064 — Set theory of the Reals
04. Aug 2019 - 09. Aug 2019 • Oaxaca, Mexiko
Veranstalter:
Casa Matemática Oaxaca (CMO)
Eintrags-ID:
1139455
17
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05. Aug 2019 - 15. Aug 2019 • Riga, Lettland
Zusammenfassung:
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. Proposals for courses and workshops at ESSLLI 2019 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses. Each proposal should fall under one of the following categories: 'Foundational Courses', 'Introductory Courses', 'Advanced Courses' or 'Workshops'.
Eintrags-ID:
1064859
18
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05. Aug 2019 - 16. Aug 2019 • Riga, Lettland
Zusammenfassung:
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.
Eintrags-ID:
1127644
19
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16. Sep 2019 • Tbilisi State University, Georgien
Zusammenfassung:
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. There have been ten instalments of this series of biannual Symposia.
Eintrags-ID:
1127686


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.

Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.

AIP Conference Proceedings

Stand vom 22. Januar 2019