Recherche dans notre base de donnees
Discipline
|
Logiciel de gestion de conférences Notre système de gestion de conférences en ligne (COMS) vous permet de:
- gérer l'organisation de la conférence en ligne
- gérer les inscriptions
- gérer les paiements
- gérer les soumissions de présentations
- gérer la procédure de revue
- sélectionner les présentations
- produire le livre des résumés
Pour en savoir plus ...
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
|