Conférences - Logique mathématique

Messages : 1618 Points : 4124

1.7th Young Set Theory Workshop
Dates	12 Mai 2014 → 16 Mai 2015
Lieu	Bedlewo, Pologne
Résumé	This year, the workshop wil take place in Poland. The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.
Page web	http://bcc.impan.pl/14Young/

2.LAP 2014 — Logic and Applications
Dates	22 Sep 2014 → 26 Sep 2014
Lieu	Inter-University Center, Dubrovnik, Croatie
Résumé	The conference brings together researchers from various fields of logic with applications in computer science.
Page web	http://imft.ftn.uns.ac.rs/math/cms/LAP2014

3.13ème Atelier International de Théorie des Ensembles
Dates	29 Sep 2014 → 03 Oct 2014
Lieu	Marseille, France
Organisateur	Centre International de Rencontres Mathématiques (CIRM)
Page web	http://www.cirm.univ-mrs.fr/index.html/spip.php?rubrique2&EX=liste_rencontre&annee=2014&lang=fr

4. Rutgers 2013 Fall MAMLS
Dates	19 Oct 2014 → 20 Oct 2014
Lieu	Rutgers University, États-Unis
Page web	http://www.math.rutgers.edu/~gs481/mamls.html

5.Mathematical Logic: Proof theory, Constructive Mathematics
Dates	16 Nov 2014 → 22 Nov 2014
Lieu	Oberwolfach, Allemagne
Organisateur	Mathematisches Forschungsinstitut Oberwolfach
Page web	http://www.mfo.de/www/schedule/2014/all

6.ASL Winter Meeting
Dates	27 Dec 2014 → 30 Dec 2014
Lieu	Philadelphia, Pennsylvania, États-Unis
Organisateur	Association for Symbolic Logic
Résumé	This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association.
Contact	Email.: http://www.aslonline.org/other_meetings.php

7.ASL Winter Meeting
Dates	10 Jan 2015 → 13 Jan 2015
Lieu	San Antonio, Texas, États-Unis
Organisateur	Association for Symbolic Logic
Résumé	This meeting will take place in conjunction with the Joint Mathematics Meetings.
Contact	Email.: http://www.aslonline.org/other_meetings.php

8.Subfactors and Conformal Field Theory
Dates	22 Mar 2015 → 28 Mar 2015
Lieu	Oberwolfach, Allemagne
Organisateur	Mathematisches Forschungsinstitut Oberwolfach
Page web	http://www.mfo.de/www/schedule/2015/all

9.Sets and Computations
Dates	30 Mar 2015 → 30 Avr 2015
Lieu	Institute for Mathematical Sciences, National Univ, Singapour
Résumé	Two extremely active areas of modern mathematical logic are Computability Theory and Set Theory. These fields are intensively researched in many parts of the USA, Europe and Asia, including Singapore. One purpose of this programme is to bring leading researchers in these fields to the IMS for collaboration with researchers from Singapore and other parts of Asia. A second purpose is to develop newly-emerging and valuable connections between these fields. The result will be to strengthen cooperation between Singapore and research groups elsewhere, as well as to forge new connections between computability-theorists and set-theorists.
Page web	http://www2.ims.nus.edu.sg/Programs/015set/index.php

10.ESSLLI-2017 — 27th European Summer School in Logic, Language and Information
Dates	03 Aou 2015 → 15 Aou 2015
Lieu	Barcelona, Espagne
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. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.
Page web	http://www.esslli2015.org/


11.Program — Mathematical, Foundational and Computational Aspects of the Higher Infinite
Dates	19 Aou 2015 → 18 Dec 2015
Lieu	Isaac Newton Institute for Mathematical Sciences, , Royaume-Uni
Résumé	Current set-theoretic research on infinity focuses on the following three broad areas: large Cardinals and inner model theory, descriptive set-theoretic methods and classification problems, and infinite combinatorics. The programme HIF will connect these three main strands of set-theoretic research and other fields of set theory to the wider scope of mathematics, to research in the foundations of mathematics, including some philosophical issues, and to research on computational issues of infinity, e.g. in theoretical computer science and constructive mathematics. Three workshops are planned during the programme: The first one (24-28 August 2015) will be the 5th European Set Theory Conference. The second workshop, entitled 'New challenges in iterated forcing' will be a Satellite Meeting held at the University of East Anglia in Norwich (November 2-6, 2015). A final workshop will take place on December 14-18, 2015. For full details please see http://www.newton.ac.uk/events.html .
Page web	http://www.newton.ac.uk/programmes/HIF/