Conferences and Meetings on Mathematical Logic

Submit a meeting

Select a location:
Austria (1) - Czech Republic (2) - France (1) - Georgia (1) - Germany (3) - Hungary (1) - Italy (1) - Kazakhstan (1) - Latvia (2) - Mexico (1) - Russia (1) - United Kingdom (1) - United States (1)

ALL COUNTRIES

1
LPNMR 2019), — 15th International Conference on Logic Programming and Non-monotonic Reasoning
04 Jun 2019 - 07 Jun 2019 • Philadelphia PA, United States
Abstract:
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.
Event listing ID:
1127592
2
SandGAL 2019 — Semigroups and Groups, Automata, Logics
10 Jun 2019 - 13 Jun 2019 • Cremona, Italy
Abstract:
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.
Topics:
Semigroups, inverse semigroups, groups, combinatorics, logic.
Event listing ID:
1174765
Related subject(s):
3
RIC — Randomness, information and complexity
12 Jun 2019 - 14 Jun 2019 • Moscow, Russia
Abstract:
Theoretical computer science conference in honor of Alexander Shen and Nikolay Vereshchagin 60ties birthdays.
Contact:
Email: ric-organizers@computability.fr
Topics:
Automata, Kolmogorov complexity, Computational complexity, Algorithmic randomness
Event listing ID:
1180732
4
IJCRS 2019 — International Joint Conference on Rough Sets 2019
17 Jun 2019 - 21 Jun 2019 • Debrecen, Hungary
Organizer:
University of Debrecen
Event listing ID:
1219799
5
CCR 2019 — Fourteenth international conference on computability, complexity and randomness
23 Jun 2019 - 25 Jun 2019 • Astana, Kazakhstan
Abstract:
The conference will be co-located with The Sixteenth Asian Logic Conference
Topics:
Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic.
Event listing ID:
1180731
Event website:
6
L19 — Logica 2019
24 Jun 2019 - 28 Jun 2019 • Hejnice, Czech Republic
Abstract:
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.

Contact:
Phone: [+420731515692];     Email: vit.puncochar@centrum.cz
Topics:
philosophical logic, mathematical logic, formal semantics
Event listing ID:
1170120
7
ICFCA 2019 — Formal Concept Analysis
25 Jun 2019 - 26 Jun 2019 • Frankfurt, Germany
Abstract:
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.
Event listing ID:
1127613
8
7ESTC — 7th European Set Theory Conference
01 Jul 2019 - 05 Jul 2019 • Vienna, Austria
Abstract:
he conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society.
Event listing ID:
1219701
9
CiE 2019 — 15th Conference on Computability in Europe,
15 Jul 2019 - 19 Jul 2019 • Durham, United Kingdom
Abstract:
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.
Event listing ID:
1127590
10
19w5064 — Set theory of the Reals
04 Aug 2019 - 09 Aug 2019 • Oaxaca, Mexico
Organizer:
Casa Matemática Oaxaca (CMO)
Event listing ID:
1139499
11
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 Aug 2019 - 15 Aug 2019 • Riga, Latvia
Abstract:
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'.
Event listing ID:
1064837
12
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 Aug 2019 - 16 Aug 2019 • Riga, Latvia
Abstract:
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.
Event listing ID:
1127699
13
LC2019 — Logic Colloquium
11 Aug 2019 - 16 Aug 2019 • Prague, Czech Republic
Abstract:
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic. It is aimed at researchers from all areas of logic. This year's event will include special sessions on the following topics: Set Theory, Model Theory, Reflection Principles and Modal Logic, Proof Theory and Proof Complexity, Computability, and Foundations of Geometry and will include the following invited speakers: Hannes Leitgeb (Munich), Michael Rathjen (Leeds), Dilip Raghavan (Singapore), Ulrich Kohlenbach (Darmstadt), Samson Abramsky (Oxford), Zoé Chatzidakis (Paris), Osvaldo Guzman (Toronto), Matthew Harrison-Trainor (Wellington), Jan Krajíček (Prague), Vincenzo de Risi (Paris), Gil Sagi (Haifa), Thomas Scanlon (Berkeley), Rineke Verbrugge (Groningen), and Martin Ziegler (KAIST, Korea).
Contact:
Email: org@lc2019.cz
Topics:
Set Theory, Model Theory, Reflection Principles and Modal Logic, Proof Theory and Proof Complexity, Computability, Foundations of Geometry
Event listing ID:
1213537
Event website:
14
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16 Sep 2019 • Tbilisi State University, Georgia
Abstract:
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.
Event listing ID:
1127631
15
XVe atelier international de théorie des ensembles — 15th International Luminy Workshop in Set Theory
23 Sep 2019 - 27 Sep 2019 • CIRM – Luminy, France
Organizer:
Centre International de Rencontres Mathématiques (CIRM)
Abstract:
The Luminy workshops in Set Theory have been taking place since 1990. The goal of these meetings is on one side to to present the most important recent results in set theory as well as its interactions with other disciplines and on the other to promote new promising directions in research. The scientific level of these meetings is very high, with around 10 ICM speakers and experts from leading universities around the world, as well as some of the most promising young researchers.
Event listing ID:
1212117
16
Workshop — Set Theory
05 Apr 2020 - 11 Apr 2020 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1220421
17
Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics
08 Nov 2020 - 14 Nov 2020 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1220733


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!

AIP Conference Proceedings
Last updated: 24 April 2019