Conférences - Logique mathématique

Sélecionner un pays:
Allemagne (3) - Argentine (1) - Canada (1) - Finlande (1) - Géorgie (1) - Iran (2) - Italie (1) - Japon (1) - Lettonie (2) - Mexique (1) - Pays-Bas (1) - Royaume-Uni (1) - Suisse (1) - États-Unis (1)

TOUS LES PAYS

1
VIIIJFC — VIII Conference on Quantum Foundations: Quantum Logic & Quantum Structures
21 nov 2018 - 23 nov 2018 • Buenos Aires, Argentine
Résumé:
The meeting "VIII Conference on Quantum Foundations: Quantum Logic & Quantum Structures" will be held on Novembre 21-23, at Universidad CAECE, Buenos Aires, Argentina.
Contact:
Email.: fundamentoscuantica@gmail.com
Sujets:
Quantum mechanics Quantum logic Quantum information Philosophy of quantum mechanics
Identifiant de l'évènement:
1072512
2
6th Workshop on Operator Algebras and its Application
06 jan 2019 - 10 jan 2019 • Tehran, Iran
Résumé:
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.
Identifiant de l'évènement:
1127525
3
Syntax Meets Semantics 2019
21 jan 2019 - 25 jan 2019 • University of Amsterdam, Pays-Bas
Résumé:
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:
1127523
4
Arctic Set Theory Workshop 4
21 jan 2019 - 26 jan 2019 • Kilpisjärvi Research Center, Finlande
Identifiant de l'évènement:
1127630
5
Post-truth — The semantics and pragmatics of saying "what you believe to be false"
06 mar 2019 - 08 mar 2019 • University of Bremen, Allemagne
Résumé:
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:
1127532
6
Third Tübingen Conference on Proof-Theoretic Semantics
27 mar 2019 - 30 mar 2019 • Tübingen, Allemagne
Identifiant de l'évènement:
1127607
7
ISCRA 2019 — Isfahan School and Conference on Representations of Algebras
07 avr 2019 - 19 avr 2019 • Isfahan, Iran
Résumé:
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:
1127504
8
TAMC 2019 — 15th Annual Conference on Theory and Applications of Models of Computation
13 avr 2019 - 16 avr 2019 • Kitakyushu, Japon
Résumé:
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:
1127606
9
PhDs in Logic XI
24 avr 2019 - 26 avr 2019 • Bern, Suisse
Résumé:
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:
1127594
10
JELIA-2019 — 16th European Conference on Logics in Artificial Intelligence
08 mai 2019 - 10 mai 2019 • Rende, Italie
Résumé:
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:
1127604
11
50 Years of Set Theory in Toronto
13 mai 2019 - 17 mai 2019 • Toronto, Canada
Résumé:
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:
1127483
12
LPNMR 2019), — 15th International Conference on Logic Programming and Non-monotonic Reasoning
04 jui 2019 - 07 jui 2019 • Philadelphia PA, États-Unis
Résumé:
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:
1127647
13
ICFCA 2019 — Formal Concept Analysis
25 jui 2019 - 26 jui 2019 • Francfort, Allemagne
Résumé:
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:
1127668
14
CiE 2019 — 15th Conference on Computability in Europe,
15 jul 2019 - 19 jul 2019 • Durham, Royaume-Uni
Résumé:
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:
1127667
15
19w5064 — Set theory of the Reals
04 aou 2019 - 09 aou 2019 • Oaxaca, Mexique
Identifiant de l'évènement:
1139422
16
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 aou 2019 - 15 aou 2019 • Riga, Lettonie
Résumé:
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:
1064837
17
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 aou 2019 - 16 aou 2019 • Riga, Lettonie
Résumé:
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:
1127600
18
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16 sep 2019 • Tbilisi State University, Géorgie
Résumé:
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:
1127653


Conference-Service.com 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: 03 Novembre 2018