COMS

Conferences and Meetings on Logic

Conference-Service.com offers, as part of our business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Meeting organisers can submit meetings free of charge for inclusion into the listing.

Select a location:
China (1) - Czech Republic (1) - Italy (1) - Poland (1) - Spain (1) - United States (2)

ALL COUNTRIES

1.Logica — Logica 2012
Dates	18 Jun 2012 → 22 Jun 2012	[ID=439357]
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

2.Model Theory in Algebra, Analysis and Arithmetic
Dates	02 Jul 2012 → 06 Jul 2012	[ID=446078]
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

3.Trends in Set Theory
Dates	08 Jul 2012 → 11 Jul 2012	[ID=436200]
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/
4.CRM Conference on Applications of Graph Spectra in Computer Science
Dates	16 Jul 2012 → 20 Jul 2012	[ID=462817]
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/
5.Model Theory
Dates	23 Jul 2012 → 03 Aug 2012	[ID=446098]
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
6.International Conference and the Second East-Asian School on Logic, Language and Computation
Dates	25 Aug 2012 → 31 Aug 2012	[ID=462845]
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
7.Model Theory and Number Theory
Dates	20 Jan 2014 → 23 May 2014	[ID=436483]
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

Last updated: 21 January 2012