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!
| 3.Logica 2013 |
| Dates | 17 Jui 2013 → 21 Jui 2013 | [ID=522741]  |
| Lieu | Hejnice, République tchèque |
| Résumé | LOGICA 2013 will be the 27th in the series of annual international symposia devoted to logic, to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague) 17 – 21 June 2013. The official language of the symposium is English. |
| Sujets | 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. |
| Page web | http://www.flu.cas.cz/logica |
| Contact | Organizing Committee of Logica 2013 Institute of Philosophy Academy of Sciences of the Czech Republic Jilská 1, 120 00 Prague 1, Czech Republic; Email.: logica@flu.cas.cz |
| | |
| 4.CIE13 — The Nature of Computation |
| Dates | 01 Jul 2013 → 05 Jul 2013 | [ID=528851] |
| Lieu | Milan, Italie |
| Résumé | The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines. |
| Page web | http://cie2013.disco.unimib.it/ |
| Sujets apparentés | Théorie de l'information, fondations de l'informatique |
| | |
| 5.4th European Set Theory Conference |
| Dates | 15 Jul 2013 → 18 Jul 2013 | [ID=546343] |
| Lieu | Mon St. Benet, Barcelona/Manresa. Catalonia, Espagne |
| Résumé | The 4th European Set Theory Congress is made possible by the CMI and INFTY, together with the support of IMUB and the Faculty of Philosophy of the UB. |
| Page web | http://estcongress.org |
| | |
| 6.Algebra and Logic, Theory and Applications |
| Dates | 21 Jul 2013 → 27 Jul 2013 | [ID=528905] |
| Lieu | Krasnoyarsk, Russie |
| Résumé | The conference is devoted to the 80-th anniversary and the memory of Professor Vladimir Petrovich Shunkov. We plan both plenary talks and short communications in thematic sections. The preliminary topics are group theory, rings and modules, non-classical logics, universal algebra and model theory, algebraic geometry, applied and computational algebra. |
| Page web | http://conf.sfu-kras.ru/conf/alglog2013/?locale=en |
| Sujets apparentés | Algèbre |
| | |
| 7.Logic Colloquium 2013 |
| Dates | 22 Jul 2013 → 27 Jul 2013 | [ID=528921] |
| Lieu | Évora, Portugal |
| Résumé | Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic. |
| Page web | http://ptmat.fc.ul.pt/LC2013/ |
| | |
| 8.Topology, Algebra, and Categories in Logic 2013 |
| Dates | 28 Jul 2013 → 01 Aou 2013 | [ID=529149] |
| Lieu | Nashville, Tennesse, États-Unis |
| Résumé | Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the sixth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), and Marseilles (2011). |
| Sujets | Algebraic structures in CS, Algebraic logic, Coalgebra, Categorical methods in logic, Domain theory, Fuzzy and many-valued logics, Lattice theory, Lattices with operators, Modal logics, Non-classical logics, Ordered topological spaces, Ordered algebraic structures, Pointfree topology, Proofs and Types, Residuated structures, Semantics, Stone-type dualities, Substructural logics, Topological semantics of modal logic |
| Page web | http://www.math.vanderbilt.edu/~tacl2013/ |
| Sujets apparentés | Algèbre; Géométrie et topologie |
| | |
| 9.51th Summer School on Algebra and Ordered Sets |
| Dates | 01 Sep 2013 → 07 Sep 2013 | [ID=546342] |
| Lieu | Hotel Troyer, Trojanovice, République tchèque |
| Résumé | A traditional conference focused on general algebra and ordered sets. The scientific program consists of 20- or 30-minute talks by the participants, plus plenary lectures by invited speakers. |
| Page web | http://ameql.math.muni.cz/ssaos |
| Sujets apparentés | Cours et évènements pour étudiants en mathématiques; Algèbre |
| | |
| 10.ALC2013 — The 13th Asian Logic Conference |
| Dates | 16 Sep 2013 → 20 Sep 2013 | [ID=528944] |
| Lieu | Guangzhou, Chine |
| Résumé | The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas. |
| Page web | http://logic.sysu.edu.cn/alc2013/ |
| | |
| 11.Andrzej Mostowski Centenary Conference |
| Dates | 11 Oct 2013 → 13 Oct 2013 | [ID=546428] |
| Lieu | University of Warsaw, Warsaw, Pologne |
| Résumé | The Polish mathematical community intends to celebrate the centenary heritage. |
| Page web | http://mostowski100.mimuw.edu.pl/doku.php |
| | |
| 12.Computable Model Theory |
| Dates | 03 Nov 2013 → 08 Nov 2013 | [ID=528951] |
| Lieu | Banff, Alberta, Canada |
| Résumé | Mathematical logic, in general, and computability theory, in particular, are concerned with mathematical structure and the means with which to describe and analyze it. One important computability-theoretic way to address this issue is to ask how information may be encoded into, and decoded from, a countable algebraic structure. In fact, this general heuristic covers most specific questions asked within computable model theory. Much work has been done in this area, and much is known, but we are still far from a good understanding of how information content interacts with the algebraic properties of a structure. Researchers in computable model theory are separated by physical distance (North America, Russia, Bulgaria, New Zealand) and have not yet fully recovered from cold-war-induced insularity. Different groups sometimes work on the same problems using different terminology; language barriers have been lowered but not completely overcome. Certainly, the different groups have distinct experience and approaches to tackling problems, and more cross-fertilization will be fruitful. The main goal of the workshop is to bring together researchers from all these groups to compare and pool results and resources, and work together on the central questions in computable model theory, which we now describe. |
| Page web | http://www.birs.ca/events/2013/5-day-workshops/13w5047 |
| Sujets apparentés | Théorie de l'information, fondations de l'informatique |
| | |
| 13.Model Theory and Number Theory |
| Dates | 20 Jan 2014 → 23 Mai 2014 | [ID=436505] |
| 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 |
| | |
