Conférences - Logique mathématique

Sélecionner un pays:
Allemagne (3) - Canada (1) - Chine (1) - Finlande (1) - Géorgie (1) - Iran (1) - Italie (2) - Japon (1) - Jordanie (1) - Kazakhstan (1) - Lettonie (2) - Mexique (1) - Pays-Bas (2) - Royaume-Uni (1) - Russie (1) - République tchèque (1) - Suisse (1) - États-Unis (1)


Syntax Meets Semantics 2019
21 jan 2019 - 25 jan 2019 • University of Amsterdam, Pays-Bas
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.
Identifiant de l'évènement:
Arctic Set Theory Workshop 4
21 jan 2019 - 26 jan 2019 • Kilpisjärvi Research Center, Finlande
Identifiant de l'évènement:
AI? That's logical!, Frank van Harmelen
24 jan 2019 • Amsterdam, Pays-Bas
The history of AI has been a continuous swing of the pendulum between the extremes of logical reasoning and statistical learning; or, as Judea Pearl has it: between Greek philosophers and Babylonian curve fitters. In recent years, the pendulum has swung strongly towards the statistical methods. We'll take a close look at the history of AI, and we'll identify the strong and weak points of both schools of thought. This will lead to a set of challenges to be taken up by logicians if they are interested in contributing to one of the most exciting intellectual endeavours of our time. The talk is the public part of the conference SYSMICS2019, an international scientific meeting in the area of logic.
Identifiant de l'évènement:
Post-truth — The semantics and pragmatics of saying "what you believe to be false"
06 mar 2019 - 08 mar 2019 • University of Bremen, Allemagne
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.
Identifiant de l'évènement:
CTFM2019 — 9th International Conference on Computability Theory and Foundations of Mathematics
21 mar 2019 - 27 mar 2019 • Wuhan University of Technology, Wuhan, Chine
Identifiant de l'évènement:
Third Tübingen Conference on Proof-Theoretic Semantics
27 mar 2019 - 30 mar 2019 • Tübingen, Allemagne
Identifiant de l'évènement:
ISCRA 2019 — Isfahan School and Conference on Representations of Algebras
07 avr 2019 - 19 avr 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.
Identifiant de l'évènement:
TAMC 2019 — 15th Annual Conference on Theory and Applications of Models of Computation
13 avr 2019 - 16 avr 2019 • Kitakyushu, Japon
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”.
Identifiant de l'évènement:
PhDs in Logic XI
24 avr 2019 - 26 avr 2019 • Bern, Suisse
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.
Identifiant de l'évènement:
IACMC 2019 — International Arab Conference on Mathematics and Computations 2019
24 avr 2019 - 26 avr 2019 • Zarqa, Jordanie
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.
Tél.: [+962 53821100/1500,1504];     Email.:
Pure Mathematics, Applied Mathematics and Applications. Statistics. Neutrosophic Set and Logic, Univalent Function Theory: subclasses and its applications.
Identifiant de l'évènement:
JELIA-2019 — 16th European Conference on Logics in Artificial Intelligence
08 mai 2019 - 10 mai 2019 • Rende, Italie
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.
Identifiant de l'évènement:
50 Years of Set Theory in Toronto
13 mai 2019 - 17 mai 2019 • Toronto, Canada
Fields Institute
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.
Identifiant de l'évènement:
LPNMR 2019), — 15th International Conference on Logic Programming and Non-monotonic Reasoning
04 jui 2019 - 07 jui 2019 • Philadelphia PA, États-Unis
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.
Identifiant de l'évènement:
SandGAL 2019 — Semigroups and Groups, Automata, Logics
10 jui 2019 - 13 jui 2019 • Cremona, Italie
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.
Identifiant de l'évènement:
Sujets apparentés:
RIC — Randomness, information and complexity
12 jui 2019 - 14 jui 2019 • Moscou, Russie
Theoretical computer science conference in honor of Alexander Shen and Nikolay Vereshchagin 60ties birthdays.
Automata, Kolmogorov complexity, Computational complexity, Algorithmic randomness
Identifiant de l'évènement:
CCR 2019 — Fourteenth international conference on computability, complexity and randomness
23 jui 2019 - 25 jui 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.
Identifiant de l'évènement:
L19 — Logica 2019
24 jui 2019 - 28 jui 2019 • Hejnice, République tchèque
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.

Tél.: [+420731515692];     Email.:
philosophical logic, mathematical logic, formal semantics
Identifiant de l'évènement:
ICFCA 2019 — Formal Concept Analysis
25 jui 2019 - 26 jui 2019 • Francfort, Allemagne
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.
Identifiant de l'évènement:
CiE 2019 — 15th Conference on Computability in Europe,
15 jul 2019 - 19 jul 2019 • Durham, Royaume-Uni
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.
Identifiant de l'évènement:
19w5064 — Set theory of the Reals
04 aou 2019 - 09 aou 2019 • Oaxaca, Mexique
Casa Matemática Oaxaca (CMO)
Identifiant de l'évènement:
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 aou 2019 - 15 aou 2019 • Riga, Lettonie
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'.
Identifiant de l'évènement:
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 aou 2019 - 16 aou 2019 • Riga, Lettonie
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.
Identifiant de l'évènement:
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16 sep 2019 • Tbilisi State University, Géorgie
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.
Identifiant de l'évènement:
1127719 met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.

AIP Conference Proceedings

Dernière mise à jour: 22 Janvier 2019