Conférences - Logique mathématique

Casa Matemática Oaxaca (CMO)

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'.

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.

Histoire et philosophie de la science,    Formation en informatique

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).

Email.: org@lc2019.cz

Set Theory, Model Theory, Reflection Principles and Modal Logic, Proof Theory and Proof Complexity, Computability, Foundations of Geometry

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.

Histoire et philosophie de la science,    Théorie de l'information, fondations de l'informatique

Centre International de Rencontres Mathématiques (CIRM)

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.

Kyoto University/Hosei University

Kyoto University/Tohoku University

Association for Symbolic Logic (ASL)

The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.

Génie logiciel,    Théorie de l'information, fondations de l'informatique

Kyoto University/Kyushu Sangyo University

European Association for Computer Science Logic (EACSL)

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

Génie logiciel,    Théorie de l'information, fondations de l'informatique

Kyoto University/Toho University

Algèbre,    Théorie de l'information, fondations de l'informatique

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

Institute for Mathematical Sciences/National University of Singapore

Information theory addresses fundamental questions in various areas of science and engineering, including communications, data compression, statistical learning theory, security, and networks. In particular, information theory can be used to identify fundamental limits and gauge the effectiveness of algorithms for various problems associated with these fields.