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.STOC'13 — Symposium on Theory of Computing Conference |
| Dates | 01 Jui 2013 → 04 Jui 2013 | [ID=527813]  |
| Lieu | Palo Alto, CA, États-Unis |
| Page web | http://theory.stanford.edu/stoc2013/ |
| | |
| 4.CTW — 2013 IEEE Communication Theory Workshop |
| Dates | 23 Jui 2013 → 26 Jui 2013 | [ID=520075]  |
| Lieu | Phuket, Thaïlande |
| Résumé | General area of communication theory |
| Page web | http://www.ieee-ctw.org/2013/ |
| | |
| 5.LICS 2013 — 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science |
| Dates | 25 Jui 2013 → 28 Jui 2013 | [ID=537982]  |
| Lieu | New Orleans, LA, États-Unis |
| Résumé | The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. |
| Page web | http://lii.rwth-aachen.de/lics/lics13/ |
| | |
| 6.CIE13 — The Nature of Computation |
| Dates | 01 Jul 2013 → 05 Jul 2013 | [ID=528884]  |
| 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 | Logique |
| | |
| 7.ICALP 2013 — 40th International Colloquium on Automata, Languages and Programming |
| Dates | 08 Jul 2013 → 12 Jul 2013 | [ID=508859]  |
| Lieu | Riga, Lettonie |
| Résumé | The 40th International Colloquium on Automata, Languages and Programming (ICALP), is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS),it will take place from the 8th to the 12th of July 2013 in Riga, Latvia. |
| Sujets | Algorithms, Complexity and Games; Logic, Semantics, Automata and Theory of Programming; Foundations of Networked Computation: Models, Algorithms and Information Management; |
| Page web | http://icalp2013.lu.lv/ |
| Contact | Email.: rusinsf@gmail.com |
| Sujets apparentés | Algorithmes |
| | |
| 8.IWCIA — 2013 IEEE 6th International Workshop on Computational Intelligence and Applications |
| Date de début | 13 Jul 2013 | [ID=530223]  |
| Lieu | Hiroshima, Japon |
| Résumé | The topics of interest includes the broad field of computational intelligence technologies and applications such as Artificial Neural Networks, Evolutionary Algorithms, Swarm Intelligence, Artificial Immune Systems, Ant Colony Optimization, and Fuzzy Systems. The main goal of IWCIA2013 is to provide the scientific researchers and engineers with a vehicle where innovative technologies of computational intelligence could be discussed. |
| Page web | http://www.smc-hiroshima.info.hiroshima-cu.ac.jp/events/iwcia/2013/index.html |
| Sujets apparentés | Mathématiques appliquées: Réseaux de neurones et intelligence artificielle |
| | |
| 9.Samuel Eilenberg Centenary Conference |
| Dates | 22 Jul 2013 → 26 Jul 2013 | [ID=540236]  |
| Lieu | University of Warsaw, Old Campus, Warsaw, Pologne |
| Résumé | Samuel Eilenberg, one of mathematicians who shaped 20th century mathematics and made important contributions to theoretical computer science, was born in Warsaw on September 30, 1913. The Centenary Conference will be held in the city of his birth. The intention is to cover all the areas of Eilenberg's great contributions: topology, category theory and computability. The categorical viewpoint developed by Eilenberg and his collaborators lies behind many recent developments, thus the conference will be of relevance to a large body of current research in mathematics. |
| Page web | http://eilenberg100.ptm.org.pl/ |
| Sujets apparentés | Géométrie et topologie |
| | |
| 10.ICSOFT – PT 2013 — 8th International Conference on Software Paradigm Trends |
| Dates | 29 Jul 2013 → 31 Jul 2013 | [ID=513984]  |
| Lieu | Reykjavík, Islande |
| Résumé | The purpose of the ICSOFT-PT 2013, the 8th International Conference on Software Paradigm Trends, is to bring together researchers, engineers and practitioners interested on information technology and software development. This eighth edition will focus in priority on the four main paradigms that have been intensively studied during the last decade for software and system design, namely: Models, Aspects, Services and Context. |
| Sujets | Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: MODELS; ASPECTS; SERVICES; CONTEXT |
| Page web | http://www.icsoft-pt.org |
| Contact | ICSOFT-PT Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal - Portugal; Tél.: [+351 265 520 185]; Email.: icsoft-pt.secretariat@insticc.org |
| Sujets apparentés | Génie logiciel |
| | |
| 11.ESEC-FCE — European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering |
| Dates | 19 Aou 2013 → 26 Aou 2013 | [ID=528870]  |
| Lieu | Saint-Petersburg, Russie |
| Résumé | The 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering will take place in Saint Petersburg, Russia — one of the most beautiful cities in the world, the former Imperial capital of Russia, filled with architectural, artistic and cultural treasures. Held bi-annually, ESEC/FSE is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. |
| Page web | http://esec-fse.inf.ethz.ch |
| Contact | Email.: esec2013-team@lists.inf.ethz.ch |
| Sujets apparentés | Génie logiciel |
| | |
| 12.GSI 2013 - Geometric Science of Information |
| Dates | 28 Aou 2013 → 30 Aou 2013 | [ID=532412]  |
| Lieu | Paris, France |
| Résumé | Bring together pure/applied mathematicians and engineers, with common interest for Geometric tools and their applications for Information analysis, with active participation of young researchers for deliberating emerging areas of collaborative research on "Information Geometry Manifolds and Their Advanced Applications" |
| Page web | http://www.gsi2013.org |
| Sujets apparentés | Géométrie et topologie |
| | |
| 13.CAI 2013 — 5th International Conference on Algebraic Informatics |
| Dates | 03 Sep 2013 → 06 Sep 2013 | [ID=517182]  |
| Lieu | IGESA, Porquerolles Island, France |
| Résumé | CAI 2013 continues the tradition established by the four previous sessions: to bring together researchers from theoretical computer science and algebra. This should enhance the understanding of syntactic and semantic problems by algebraic models; and it should also propagate the application of modern techniques from informatics in algebraic computation. We will try to achieve this goal via invited lectures and contributed research talks. |
| Page web | http://iml.univ-mrs.fr/ati/conferences/CAI2013/ |
| Sujets apparentés | Algèbre |
| | |
| 14.ICSC — 2013 IEEE Seventh International Conference on Semantic Computing |
| Dates | 16 Sep 2013 → 18 Sep 2013 | [ID=530415]  |
| Lieu | Irvine, CA, États-Unis |
| Page web | http://ieee-icsc.org/icsc2013/ |
| Sujets apparentés | Génie logiciel |
| | |
| 15.FCTA 2013 — 5th International Conference on Fuzzy Computation Theory and Applications |
| Dates | 20 Sep 2013 → 22 Sep 2013 | [ID=531069]  |
| Lieu | Vilamoura, Portugal |
| Résumé | Fuzzy computation is a field that encompasses the theory and application of fuzzy sets and fuzzy logic to the solution of information processing, systems analysis and synthesis problems. Bolstered by information technology developments, the extraordinary growth of fuzzy computation in recent years has led to major applications in fields ranging from medical diagnosis and automated learning to image understanding, decision and systems control. This conference intends to be a major forum for scientists, engineers and practitioners interested in the study, analysis, design, modeling and implementation of fuzzy systems, both theoretically and in a broad range of application fields. |
| Sujets | Fuzzy hardware, fuzzy architectures , Soft computing and intelligent agents, Mathematical foundations: Fuzzy set theory and fuzzy logic, Approximate reasoning and fuzzy inference, System identification and fault detection, Fuzzy information retrieval and data mining , Fuzzy information processing, fusion, text mining , Learning and adaptive fuzzy systems , Complex fuzzy systems, Pattern recognition: Fuzzy clustering and classifiers, Fuzzy image, speech and signal processing, vision and multimedia , Industrial, financial and medical applications, Type-2 Fuzzy Logic , Neuro-fuzzy systems , Fuzzy Systems Design, Modeling and Control , Real-time Learning of Fuzzy and Neuro-fuzzy Systems, Fuzzy Control , Fuzzy Systems in Robotics: Sensors, Navigation and Coordination |
| Page web | http://www.fcta.ijcci.org/ |
| Sujets apparentés | Mathématiques appliquées: Réseaux de neurones et intelligence artificielle |
| | |
| 16.ECTA 2013 — 5th International Conference on Evolutionary Computation Theory and Applications |
| Dates | 20 Sep 2013 → 22 Sep 2013 | [ID=531013]  |
| Lieu | Vilamoura, Portugal |
| Résumé | Considered a subfield of computational intelligence focused on combinatorial optimisation problems, evolutionary computation is associated with systems that use computational models of evolutionary processes as the key elements in design and implementation, i.e. computational techniques which are based to some degree on the evolution of biological life in the natural world. A number of evolutionary computational models have been proposed, including evolutionary algorithms, genetic algorithms, the evolution strategy, evolutionary programming, swarm intelligence and artificial life. This conference intends to be a major forum for scientists, engineers and practitioners interested in the study, analysis, design, modeling and implementation of evolvable systems, both theoretically and in a broad range of application fields. ECTA welcomes both theoretical research and practical applications. The conference also aims to foster hybrid approaches within evolutionary computation and also involving fuzzy computation and neural computation. |
| Sujets | Genetic Algorithms , Machine Learning , Cognitive Systems , Artificial Life , Representation techniques , Software engineering issues - Metamodelling, Evolutionary multiobjective optimization , Game Theory and applications , Evolution strategies , Evolutionary robotics and intelligent agents , Society and cultural aspects of evolution , Concurrent co-operation , Co-evolution and collective behavior , Biocomputing and complex adaptive systems , Bio-inspired hardware and networks , Swarm/collective intelligence , Evolutionary art and design , Hybrid Systems |
| Page web | http://www.ecta.ijcci.org/ |
| Sujets apparentés | Mathématiques appliquées: Réseaux de neurones et intelligence artificielle |
| | |
| 17.Computable Model Theory |
| Dates | 03 Nov 2013 → 08 Nov 2013 | [ID=529039]  |
| 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 | Logique |
| | |
| 18.ICMIS 2013 — 3rd International Conference on Mathematics & Information Science |
| Dates | 28 Dec 2013 → 30 Dec 2013 | [ID=507743]  |
| Lieu | Luxor, Égypte |
| Résumé | The conference will feature advances in mathematical science and technology presented by leading African and international researchers. The conference will provide the opportunity to showcase research in mathematics, theoretical physics and information science and technology to engender dialogue and collaboration between Egyptian and international researchers. The conference is part of a series of conferences dedicated to bringing top scientists and technologists to Egypt thereby helping to raise Egyptian science and technology to the highest international standard, raise awareness of governments and industry in Egypt of the importance and excitement of new research and development in technologies, and engender collaborations and research exchanges. |
| Page web | http://conf.naturalspublishing.com/ |
| Sujets apparentés | Evénement multidisciplinaires en mathématiques |
| | |