Conférences - Logique mathématique et fondements

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

University of Catania, Department of Mathematics and Computer Science

Our conference aims to bring together researchers and students working on set theory and its applications to a wide spectrum of areas of mathematics, and in particular to Topology, to discuss the most recent advances and main open problems in the field and foster collaboration. There will be eight invited lectures and each of the participants can contribute a 20-30 minute talk. Invited speakers: Leandro Aurichi (University of São Paulo-São Carlos, Brazil), Joan Bagaria (University of Barcelona, Spain), István Juhász (Hungarian Academy of Sciences, Hungary), Menachem Kojman (Ben Gurion University, Israel), Menachem Magidor (Hebrew University of Jerusalem, Israel), Gianluca Paolini (University of Turin, Italy), Stevo Todorcevic (University of Toronto, Canada and CNRS, Paris), Lyubomyr Zdomskyy (Kurt Gödel Research Center, Vienna, Austria).

Email.: CataniaSetTheory@gmail.com

set theoretic topology, forcing, large cardinals, descriptive set theory, PCF theory, cardinal invariants.

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.