Conferences and Meetings on Mathematical Logic
Submit a meeting
Select a location:
Canada (1) - China (1) - Czech Republic (1) - Georgia (1) - Germany (2) - Iran (1) - Italy (2) - Japan (1) - Jordan (1) - Kazakhstan (1) - Latvia (2) - Mexico (1) - Russia (1) - Switzerland (1) - United Kingdom (1) - United States (1)
CTFM2019 — 9th International Conference on Computability Theory and Foundations of Mathematics
21 Mar 2019 - 27 Mar 2019 • Wuhan University of Technology, Wuhan, China
Third Tübingen Conference on Proof-Theoretic Semantics
27 Mar 2019 - 30 Mar 2019 • Tübingen, Germany
ISCRA 2019 — Isfahan School and Conference on Representations of Algebras
07 Apr 2019 - 19 Apr 2019 • Isfahan, Iran
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.
TAMC 2019 — 15th Annual Conference on Theory and Applications of Models of Computation
13 Apr 2019 - 16 Apr 2019 • Kitakyushu, Japan
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”.
24 Apr 2019 - 26 Apr 2019 • Bern, Switzerland
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.
IACMC 2019 — International Arab Conference on Mathematics and Computations 2019
24 Apr 2019 - 26 Apr 2019 • Zarqa, Jordan
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.
Phone: [+962 53821100/1500,1504]; Email: firstname.lastname@example.org
Pure Mathematics, Applied Mathematics and Applications. Statistics. Neutrosophic Set and Logic, Univalent Function Theory: subclasses and its applications.
JELIA-2019 — 16th European Conference on Logics in Artificial Intelligence
08 May 2019 - 10 May 2019 • Rende, Italy
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.
50 Years of Set Theory in Toronto
13 May 2019 - 17 May 2019 • Toronto, Canada
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.
LPNMR 2019), — 15th International Conference on Logic Programming and Non-monotonic Reasoning
04 Jun 2019 - 07 Jun 2019 • Philadelphia PA, United States
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.
SandGAL 2019 — Semigroups and Groups, Automata, Logics
10 Jun 2019 - 13 Jun 2019 • Cremona, Italy
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.
Semigroups, inverse semigroups, groups, combinatorics, logic.
RIC — Randomness, information and complexity
12 Jun 2019 - 14 Jun 2019 • Moscow, Russia
Theoretical computer science conference in honor of Alexander Shen and Nikolay Vereshchagin 60ties birthdays.
Automata, Kolmogorov complexity, Computational complexity, Algorithmic randomness
CCR 2019 — Fourteenth international conference on computability, complexity and randomness
23 Jun 2019 - 25 Jun 2019 • Astana, Kazakhstan
The conference will be co-located with The Sixteenth Asian Logic Conference
Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic.
24 Jun 2019 - 28 Jun 2019 • Hejnice, Czech Republic
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.
Phone: [+420731515692]; Email: email@example.com
philosophical logic, mathematical logic, formal semantics
ICFCA 2019 — Formal Concept Analysis
25 Jun 2019 - 26 Jun 2019 • Frankfurt, Germany
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.
CiE 2019 — 15th Conference on Computability in Europe,
15 Jul 2019 - 19 Jul 2019 • Durham, United Kingdom
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.
19w5064 — Set theory of the Reals
04 Aug 2019 - 09 Aug 2019 • Oaxaca, Mexico
Casa Matemática Oaxaca (CMO)
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 Aug 2019 - 15 Aug 2019 • Riga, Latvia
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'.
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 Aug 2019 - 16 Aug 2019 • Riga, Latvia
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.
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16 Sep 2019 • Tbilisi State University, Georgia
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.
Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events.
Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!
Last updated: 22 January 2019