Conferences and Meetings on Mathematical Logic
Submit a meeting
Select a location:
Canada (1) - Finland (1) - Georgia (1) - Germany (3) - Iran (2) - Italy (1) - Japan (1) - Latvia (2) - Mexico (1) - Netherlands (1) - Switzerland (1) - United Kingdom (1) - United States (1)
6th Workshop on Operator Algebras and its Application
06 Jan 2019 - 10 Jan 2019 • Tehran, Iran
This is the Sixth workshop in the series of Operator Algebras and its Applications with the theme “Quantum Groups”. In January 2014, we successfully organized the first workshop with theme “Quantum Groups and Harmonic Analysis”. In January 2015 we had a workshop focused on “Actions and Crossed Products”. In January 2016 had a workshop on “C*-Dynamics”. The workshop in 2017 had two parts: the one in December 2016 focused on “Classification of C*-algebras” and the other one in January 2017 was mostly on “Approximation Properties”. In February 2018 workshop was on “Coarse Geometry”. The goal is to bring home new advances in modern analysis and give postgraduate students an opportunity to meet well known researchers in the field of operator algebras. Each workshop is endowed with a series of mini courses, and we also cover similar topics in our weekly seminars in IPM.
Syntax Meets Semantics 2019
21 Jan 2019 - 25 Jan 2019 • University of Amsterdam, Netherlands
The program of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural and other non-classical logics. Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, non-classical logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge, thus establishing new links with modal logic and other branches of logic. The scope of the conference includes but is not limited to algebraic, proof theoretic and relational approaches towards the study of non-classical logics.
Arctic Set Theory Workshop 4
21 Jan 2019 - 26 Jan 2019 • Kilpisjärvi Research Center, Finland
Post-truth — The semantics and pragmatics of saying "what you believe to be false"
06 Mar 2019 - 08 Mar 2019 • University of Bremen, Germany
Semantics has typically focused on idealized cooperative conversation, where every assertion contributes to a lofty shared truth-seeking endeavor in order to establish a common ground of shared beliefs between speaker and hearer. However, since the phenomena like the above all run counter to this idea, their explanation is usually left to pragmatics, philosophy, or literary theory. And while Grice's other maxims have gained a lot of attention and sparked entire research traditions (quantity implicatures, relevance theory, Horn's division of pragmatic labor and Levinson's M-principle), the role of the quality maxim remained a bit underexplored in linguistic semantics and pragmatics.
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.
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.
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
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: 03 November 2018