Meetings/Workshops on Logic:
1.International Conference and the Second East-Asian School on Logic, Language and Computation
Dates 25 Aug 2012 → 31 Aug 2012
Location Chongqing, China
Abstract 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.
Weblink http://home.hib.no/prosjekter/easllc2012/
Related subject(s) Courses and Events for Math Students
2.Logica — Logica 2012
Dates 18 Jun 2012 → 22 Jun 2012
[ID=439291]
Location Hejnice, Czech Republic
Abstract 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.
Weblink 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
3.Model Theory in Algebra, Analysis and Arithmetic
Dates 02 Jul 2012 → 06 Jul 2012
[ID=446045]
Location Cetraro, Italy
Abstract 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.
Weblink http://php.math.unifi.it/users/cime/
Related subject(s) Courses and Events for Math Students; General Mathematical Research
4. Trends in Set Theory
Dates 08 Jul 2012 → 11 Jul 2012
[ID=436233]
Location Stefan Banach International Mathematical Center, W, Poland
Abstract 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.
Weblink http://www.impan.pl/~set_theory/Conference2012/
5. CRM Conference on Applications of Graph Spectra in Computer Science
Dates 16 Jul 2012 → 20 Jul 2012
[ID=462795]
Location Barcelona, Spain
Abstract The aim of this conference is to bring together the diverse collection to discuss current trends and future directions in this area.
Weblink http://www.crm.es/Activitats/Activitats/2011-2012/GraphSpectra/web-graphspectra/
6.Model Theory
Dates 23 Jul 2012 → 03 Aug 2012
[ID=446087]
Location Mathematical Sciences Research Institute, Berkeley, United States
Abstract 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.
Weblink http://www.msri.org/web/msri/scientific/workshops/summer-graduate-workshops/show/-/event/Wm8971
Related subject(s) Courses and Events for Math Students; General Mathematical Research
7.Model Theory and Number Theory
Dates 20 Jan 2014 → 23 May 2014
[ID=436494]
Location Mathematical Sciences Research Institute, Berkeley, United States
Abstract 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.
Weblink http://www.msri.org/web/msri/scientific/programs/show/-/event/Pm146
Related subject(s) Number Theory, Arithmetic
via: conference-service
