COMS

Un listing de conférences scientifiques et techniques

Accueil | Logiciel de gestion de conférence | Calendrier des conférences | Annonces publicitaires | Nous contacter | Qui nous sommes
Deutsch Français English
Vous êtes ici: AccueilCalendrier des conférencesMathématiques → Logique

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.

TOUS LES PAYS

1.ISMVL — 2013 IEEE 43rd International Symposium on Multiple-Valued Logic
 Dates 22 Mai 2013 → 24 Mai 2013
[ID=519801] Haut de la page
 LieuToyama, Japon
 Résumé ISMVL is the principal annual meeting for the dissemination and discussion of research in multiple-valued logic and related areas. Topics cover all aspects of theory, implementation and application.
 Page web http://mvl.jpn.org/ISMVL2013/others.html
 Sujets apparentés Théorie de l'information, fondations de l'informatique
2.NSAC 2013 — The 4th Novi Sad Algebraic Conference
 Dates 05 Jui 2013 → 09 Jui 2013
[ID=490849] Haut de la page
 LieuNovi Sad, Serbie
 Résumé The NSAC is a series of conferences organised every four years at the Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, with particular emphasis to areas of algebra and related fields that have been cultivated by researchers from Novi Sad. The main topics of the 4th edition of NSAC include: -- Universal algebra, lattice theory, and their applications in computer science (in particular, in CSP's); -- Semigroups, automata, groups, and their interactions; -- Model theory, set theory, connections between algebra, logic, and combinatorics. The aim of NSAC 2013 is to promote the recent research results and trends in these areas.
 Sujets universal algebra, lattice theory, semigroups, automata, model theory
 Page web http://sites.dmi.rs/events/2013/nsac2013
 Sujets apparentés Algèbre; Théorie des groupes
3.Logica 2013
 Dates 17 Jui 2013 → 21 Jui 2013
[ID=522741] Haut de la page
 LieuHejnice, 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] Haut de la page
 LieuMilan, 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] Haut de la page
 LieuMon 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] Haut de la page
 LieuKrasnoyarsk, 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] Haut de la page
 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] Haut de la page
 LieuNashville, 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] Haut de la page
 LieuHotel 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] Haut de la page
 LieuGuangzhou, 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] Haut de la page
 LieuUniversity 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] Haut de la page
 LieuBanff, 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] Haut de la page
 LieuMathematical 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: 22 avril 2013