Im Konferenzkalender suchen
Disziplin
|
Konferenzmanagement Software Unser Konferenzmanagement-
system (COMS) kann Ihr Leben leichter machen!
Als Organisator einer Tagung benutzen Sie COMS um:
- Teilnehmer-
anmeldungen
- Zahlungen
- Vortrags-
ankündigungen
- Begutachtung, Redaktion und Auswahl der Vortrags-
anmeldungen
online anzubieten bzw. durchzuführen.
Mehr Info
Tagungen und Workshops zum Thema Logik
Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung.
Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.
Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.
Wählen Sie ein Land aus:
China (1) - Italien (1) - Polen (1) - Spanien (1) - Tschechische Republik (1) - Vereinigte Staaten (2) ALLE LÄNDER
| 1.Logica — Logica 2012 | | Termin | 18. Jun 2012 → 22. Jun 2012 | [ID=439313]  | | Ort | Hejnice, Tschechische Republik | | Zusammenfassung | 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. | | Webseite | http://www.flu.cas.cz/logica | | Kontakt | 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 | | Termin | 02. Jul 2012 → 06. Jul 2012 | [ID=446067] | | Ort | Cetraro, Italien | | Zusammenfassung | 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. | | Webseite | http://php.math.unifi.it/users/cime/ | | Verwandte Fachgebiete | Kurse und Veranstaltungen für Studenten der Mathematik; Allgemeine Wissenschaftliche Mathematik |
| 3.Trends in Set Theory | | Termin | 08. Jul 2012 → 11. Jul 2012 | [ID=436255] | | Ort | Stefan Banach International Mathematical Center, W, Polen | | Zusammenfassung | 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. | | Webseite | http://www.impan.pl/~set_theory/Conference2012/ | | | | | 4.CRM Conference on Applications of Graph Spectra in Computer Science | | Termin | 16. Jul 2012 → 20. Jul 2012 | [ID=462839] | | Ort | Barcelona, Spanien | | Zusammenfassung | The aim of this conference is to bring together the diverse collection to discuss current trends and future directions in this area. | | Webseite | http://www.crm.es/Activitats/Activitats/2011-2012/GraphSpectra/web-graphspectra/ | | | | | 5.Model Theory | | Termin | 23. Jul 2012 → 03. Aug 2012 | [ID=446054] | | Ort | Mathematical Sciences Research Institute, Berkeley, Vereinigte Staaten | | Zusammenfassung | 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. | | Webseite | http://www.msri.org/web/msri/scientific/workshops/summer-graduate-workshops/show/-/event/Wm8971 | | Verwandte Fachgebiete | Kurse und Veranstaltungen für Studenten der Mathematik; Allgemeine Wissenschaftliche Mathematik | | | | | 6.International Conference and the Second East-Asian School on Logic, Language and Computation | | Termin | 25. Aug 2012 → 31. Aug 2012 | [ID=462867] | | Ort | Chongqing, China | | Zusammenfassung | 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. | | Webseite | http://home.hib.no/prosjekter/easllc2012/ | | Verwandte Fachgebiete | Kurse und Veranstaltungen für Studenten der Mathematik | | | | | 7.Model Theory and Number Theory | | Termin | 20. Jan 2014 → 23. Mai 2014 | [ID=436538] | | Ort | Mathematical Sciences Research Institute, Berkeley, Vereinigte Staaten | | Zusammenfassung | 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. | | Webseite | http://www.msri.org/web/msri/scientific/programs/show/-/event/Pm146 | | Verwandte Fachgebiete | Zahlentheorie, Arithmetik | | | |
Stand vom 21. Januar 2012
|
