COMS

Conférences - Logique

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.

Sélecionner un pays:
Chine (1) - Espagne (1) - Italie (1) - Pologne (1) - République tchèque (1) - États-Unis (2)

TOUS LES PAYS

1.Logica — Logica 2012
Dates	18 Jui 2012 → 22 Jui 2012	[ID=439302]
Lieu	Hejnice, République tchèque
Résumé	LOGICA 2012 is the 26th in the series of annual international symposia devoted to logic, to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague) 18 - 22 June 2012. Invited speakers are Sergei Artemov, Warren Goldfarb, David Makinson, and Barbara Partee. 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. If you are interested in presenting a paper at the symposium, please email us a two-page abstract prepared for blind reviewing in pdf format accompanied by a separate page with your name, contact address and affiliation by 28 February 2012. The subject line of email submissions should contain 'Logica 2012' to assure that the mail will not be deleted as spam.
Page web	http://www.flu.cas.cz/logica
Contact	Vit Puncochar & Vladimir Svoboda, Co-chairs of the Organizing Committee of Logica 2012, Institute of Philosophy, Academy of Sciences of the Czech Republic; Email.: logica@flu.cas.cz

2.Model Theory in Algebra, Analysis and Arithmetic
Dates	02 Jul 2012 → 06 Jul 2012	[ID=446023]
Lieu	Cetraro, Italie
Résumé	A course on 'Model Theory in Algebra, Analysis and Arithmetic' will be within the 2012 program of CIME (International Mathematical Summer Center). There will be 4 courses - Theories without the independence property, Anand Pillay (Leeds) - Model theory of valued fields, Lou Van den Dries (Urbana-Champaign) - On the model theory of real and complex exponentiation, Alex Wilkie (Manchester) - Undecidability in number theory, Jochen Koenigsmann (Oxford). Additional talks by Angus Macintyre and Sergei Starchenko are also planned, as well as a poster session.
Page web	http://php.math.unifi.it/users/cime/
Sujets apparentés	Cours et évènements pour étudiants en mathématiques; Mathématiques générales

3.Trends in Set Theory
Dates	08 Jul 2012 → 11 Jul 2012	[ID=436266]
Lieu	Stefan Banach International Mathematical Center, W, Pologne
Résumé	The conference will focus on the interactions between set theory and other parts of mathematics, from Banach spaces and C*-algebras to topological groups, sets of the reals, general topological spaces, and others. This includes both the advances concerning appropiate set-theoretic tools from forcing theory, Ramsey theory, descriptive set theory or other branches of set theory as well as concrete applications of these methods in the mathematical practice.
Page web	http://www.impan.pl/~set_theory/Conference2012/
4.CRM Conference on Applications of Graph Spectra in Computer Science
Dates	16 Jul 2012 → 20 Jul 2012	[ID=462751]
Lieu	Barcelona, Espagne
Résumé	The aim of this conference is to bring together the diverse collection to discuss current trends and future directions in this area.
Page web	http://www.crm.es/Activitats/Activitats/2011-2012/GraphSpectra/web-graphspectra/
5.Model Theory
Dates	23 Jul 2012 → 03 Aou 2012	[ID=446065]
Lieu	Mathematical Sciences Research Institute, Berkeley, États-Unis
Résumé	The workshop will consist of two minicourses, together with a selection of topical lectures. In the model theory course, o-minimality, and specifically the concrete example of the semi-algebraic sets of real numbers will provide the setting in which we introduce various fundamental results from model theory. The algebraic dynamics course will allow the introduction of concepts and proof techniques from number theory and algebraic geometryin the context of applications involving model theory. Toward the end of the workshop, the two minicourses will converge on the Pila-Wilkie theorem concerning points on analytic varieties, a result crucial in recent applications of o-minimality to diophantine geometry.
Page web	http://www.msri.org/web/msri/scientific/workshops/summer-graduate-workshops/show/-/event/Wm8971
Sujets apparentés	Cours et évènements pour étudiants en mathématiques; Mathématiques générales
6.International Conference and the Second East-Asian School on Logic, Language and Computation
Dates	25 Aou 2012 → 31 Aou 2012	[ID=462801]
Lieu	Chongqing, Chine
Résumé	The program of the International Conference will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event. The Conference will be followed by the Second East-Asian School on Logic, Language and Computation . The program of the School will consist of nine courses in three different tracks: logic, language and computation.
Page web	http://home.hib.no/prosjekter/easllc2012/
Sujets apparentés	Cours et évènements pour étudiants en mathématiques
7.Model Theory and Number Theory
Dates	20 Jan 2014 → 23 Mai 2014	[ID=436527]
Lieu	Mathematical Sciences Research Institute, Berkeley, États-Unis
Résumé	The program aims to further the flourishing interaction between model theory and other parts of mathematics, especially number theory and arithmetic geometry. At present the model theoretical tools in use arise primarily from geometric stability theory and o-minimality. Current areas of lively interaction include motivic integration, valued fields, diophantine geometry, and algebraic dynamics.
Page web	http://www.msri.org/web/msri/scientific/programs/show/-/event/Pm146
Sujets apparentés	Théorie des nombres, arithmétique

Dernière mise à jour: 21 janvier 2012