COMS

Un listing de conférences scientifiques et techniques

Accueil | Service conférences | Calendrier des conférences | Annonces publicitaires | Nous contacter | Qui nous sommes
Deutsch Français English
Vous êtes ici: AccueilCalendrier des conférencesInformatique → Théorie de l'information, fondations de l'informatique

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 - Théorie de l'information, fondations de l'informatique

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.Semantics and Syntax: A Legacy of Alan Turing
 Dates 09 Jan 2012 → 06 Jul 2012
[ID=422408] Haut de la page
 LieuIsaac Newton Institute for Mathematical Sciences, , Royaume-Uni
 Résumé In several mathematical areas of Theoretical Computer Science, we perceive a distinction between research focusing on symbolic manipulation of language and structures (independent of meaning) and research dealing with interpreted computational meaning of structures. In mathematical logic, the distinction is known as syntax (symbolic manipulation) versus semantics (interpreted structures). This distinction recurs in many research areas, often under different (and sometimes incompatible) names. For research in these fields, both views are important and fundamental for gaining full understanding of the formal issues involved. This programme will bring together researchers from both sides of the syntax-semantics divide. We shall focus on four mathematical areas bordering computer science: logic, complexity, cryptography, and randomness.
 Page web http://www.newton.ac.uk/programmes/SAS/
2.LATA 2012 — The 6th International Conference on Language and Automata Theory and Applications
 Dates 05 Mar 2012 → 09 Mar 2012
[ID=450372] Haut de la page
 LieuA Coruña, Espagne
 Résumé LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, LATA 2012 will reserve significant room for young computer scientists at the beginning of their career. It will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).
 Sujets Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and program verification, automata, concurrency and Petri nets, automatic structures, cellular automata, combinatorics on words, computability, computational complexity, computational linguistics, data and image compression, decidability questions on words and languages, descriptional complexity, DNA and other models of bio-inspired computing, document engineering, foundations of finite state technology, foundations of XML, fuzzy and rough languages, grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.), grammars and automata architectures, grammatical inference and algorithmic learning, graphs and graph transformation, language varieties and semigroups, language-based cryptography, language-theoretic foundations of artificial intelligence and artificial life, parallel and regulated rewriting, parsing, pattern recognition, patterns and codes, power series, quantum, chemical and optical computing, semantics, string and combinatorial issues in computational biology and bioinformatics, string processing algorithms, symbolic dynamics, symbolic neural networks, term rewriting, transducers, trees, tree languages and tree machines, weighted machines.
 Page web http://grammars.grlmc.com/lata2012/
 Contact Tél.: (+34-977-559543); Email.: florentinalilica.voicu@urv.cat
3.ITA 2012 — 2nd Annual International Conference on Information Theory and Application
 Dates 12 Mar 2012 → 13 Mar 2012
[ID=430381] Haut de la page
 LieuSingapore, Singapour
 Organisateur Global Science & Technology Forum (GSTF)
 Résumé ITA 2011 aims to provide an international forum for researchers to present and discuss recent advances and new techniques in information theory and its applications. Original, previously unpublished papers and research contributions are invited. Late-breaking results and early stage research are heartily encouraged.
 Page web http://www.infotheoryapp.org/
  
4.ITA 2012 — 2nd Annual International Conference on Information Theory and Applications
 Dates 12 Mar 2012 → 13 Mar 2012
[ID=418552] Haut de la page
 LieuBangkok, Thaïlande
 Résumé ITA 2011 aims to provide an international forum for researchers to present and discuss recent advances and new techniques in information theory and its applications. Original, previously unpublished papers and research contributions are invited. Late-breaking results and early stage research are heartily encouraged.
 Sujets Error Control Coding, Coding Theory and Practice, Coded Modulation, Data Compression and Source Coding, Pattern Recognition and Learning, Speech/Image Coding, Rate-Distortion Theory, Shannon Theory, Stochastic Processes, Cryptology and Data Security Data Networks, Multi-User Information Theory, Quantum Information Processing
 Page web http://www.infotheoryapp.org
 Sujets apparentés Evénement multidisciplinaires ou générales en informatique
  
5.Turing 2012: International Conference on Philosophy, Artificial Intelligence and Cognitive Science
 Dates 27 Mar 2012 → 28 Mar 2012
[ID=443271] Haut de la page
 LieuPasay, Philippines
 Résumé Turing 2012 is a two-day international conference that will focus on the different academic fields influenced by English logician, mathematician, and computer scientist Alan Turing.
 Sujets alan turing, cognitive science, philosophy, artificial intelligence, singularity, computer science, cyberspace, gender studies, mathematics, biology, international relations, theories of computing, psychology, cryptography, internet crimes
 Page web http://turing.pilosopiya.com/conference
 Sujets apparentés Mathématiques appliquées: Réseaux de neurones et intelligence artificielle; Evénement multidisciplinaires ou générales en informatique
  
6.LATIN 2012 — 10th Latin American Theoretical INformatics Symposium and 1st Latin American Theoretical Informatics School
 Dates 16 Avr 2012 → 20 Avr 2012
[ID=447809] Haut de la page
 LieuArequipa, Pérou
 Page web http://latin2012.cs.iastate.edu
 Sujets apparentés Pédagogie de l'informatique
  
7.AIM Workshop: ACC for minimal log discrepancies and termination of flips
 Dates 14 Mai 2012 → 18 Mai 2012
[ID=422498] Haut de la page
 LieuAmerican Institute of Mathematics, Palo Alto, États-Unis
 Résumé This workshop, sponsored by AIM and the NSF, will be devoted to two closely connected conjectures in the minimal model program.
 Page web http://www.aimath.org/ARCC/workshops/accflips.html
  
8.ACM Computing frontiers 2012
 Dates 15 Mai 2012 → 17 Mai 2012
[ID=449992] Haut de la page
 LieuCagliari, Italie
 Résumé The increasing complexity, performance, cost and energy efficiency needs of current and future applications require novel and innovative approaches for the design of computing systems. Boundaries between state of the art and revolutionary innovation constitute the computing frontiers that must be pushed forward to provide the support required for the advancement of science, engineering and information technology. The Computing Frontiers conference focuses on a wide spectrum of advanced technologies and radically new solutions relevant to the development of the whole spectrum of computer systems, from embedded to high-performance computing.
 Sujets Applications, programming, computer architectures, performance computing and systems, quantum information, quantum computing
 Page web http://www.computingfrontiers.org/2012/
 Contact Marco Fiorentino; Email.: marco.fiorentino@hp.com
 Sujets apparentés Mécanique quantique et l'information quantique
  
9.TAMC '12 — The 9th Annual Conference on Theory and Applications of Models of Computation
 Dates 16 Mai 2012 → 21 Mai 2012
[ID=425727] Haut de la page
 LieuPékin, Chine
 Page web http://turing2012.iscas.ac.cn/tamc2012.html
  
10.'The Incomputable' - A workshop of the 6-month Isaac Newton Institute programme - 'Semantics and Syntax: A Legacy of Alan Turing' (SAS)
 Dates 12 Jui 2012 → 15 Jui 2012
[ID=421991] Haut de la page
 LieuNewport Pagnell, Royaume-Uni
 Résumé The Incomputable is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. It is held in association with the Turing Centenary Conference (CiE 2012) in Cambridge the following week, which will run up to the June 23rd centenary of Turing's birth, and will culminate with a birthday celebration at Turing's old college, King's College, Cambridge. The Incomputable is unique in its focus on the mathematical theory of incomputability, and its relevance for the real world. This is a core aspect of Turing's scientific legacy - and this meeting for the first time reunites (in)computability theory and 'big science' in a way not attempted since Turing's premature passing. In 2012, the annual Workshop on Computability Theory is being held in conjunction with The Incomputable.
 Page web http://www.mathcomp.leeds.ac.uk/turing2012/inc/
  
11.Turing Centenary Workshop on The Incomputable'
 Dates 12 Jui 2012 → 17 Jui 2012
[ID=447794] Haut de la page
 LieuChicheley Hall, England, Royaume-Uni
 Page web http://www.mathcomp.leeds.ac.uk/turing2012/inc/
  
12.Turing Centenary Conference (CiE 2012): How the World Computes
 Dates 18 Jui 2012 → 23 Jui 2012
[ID=421931] Haut de la page
 LieuUniversity of Cambridge, Cambridge, Royaume-Uni
 Résumé CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting. CiE 2012 promises to be an event worthy of the remarkable scientific career it commemorates.
 Page web http://www.cie2012.eu
  
13.CiE 2012 — Turing Centenary Conference: Computability in Europe 2012
 Dates 18 Jui 2012 → 23 Jui 2012
[ID=425820] Haut de la page
 LieuCambridge, Royaume-Uni
 Page web http://www.cie2012.eu
  
14.WG 2012 — 38th International Workshop on Graph - Theoretic Concepts in Computer Science
 Dates 26 Jui 2012 → 28 Jui 2012
[ID=463904] Haut de la page
 LieuRamat-Rachel, Israël
 Résumé WG 2012 aims at uniting theory and practice by demonstrating how Graph-Theoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists. The proceedings will be published in the LNCS series of Springer-Verlag.

Papers are solicited describing original results on all aspects of graph-theoretic concepts in Computer Science, e.g. structural graph theory, sequential, parallel, randomized, parameterized, and distributed graph and network algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph-drawing and layout, random graphs, diagram methods, and support of these concepts by suitable implementations. The scope of WG includes all applications of graph-theoretic concepts in Computer Science, including data structures, data bases, programming languages, computational geometry, tools for software construction, communications, computing on the web, models of the web and scale-free networks, mobile computing, concurrency, computer architectures, VLSI, artificial intelligence, graphics, CAD, operations research, and pattern recognition.

 Page web http://cri.haifa.ac.il/events/2012/WG2012/
 Sujets apparentés Théorie des graphes et combinatoire
  
15.ICALP 2012 — 39th International Colloquium on Automata, Languages and Programming
 Dates 09 Jul 2012 → 13 Jul 2012
[ID=447876] Haut de la page
 LieuWarwick, Royaume-Uni
 Page web http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012/
 Sujets apparentés Algorithmes
  
16.ANTS 2012 - Eighth International Conference on Swarm Intelligence
 Dates 12 Sep 2012 → 14 Sep 2012
[ID=456801] Haut de la page
 LieuBruxelles, Belgique
 Page web http://iridia.ulb.ac.be/ants2012/
 Sujets apparentés Agents logiciel
  
17.12th GRANADA SEMINAR on Physics, Computation, and the Mind
 Dates 17 Sep 2012 → 21 Sep 2012
[ID=456488] Haut de la page
 LieuLa Herradura, Grèce
 Page web http://ergodic.ugr.es/cp/
 Sujets apparentés Histoire et philosophie de la physique; Mathématiques appliquées: Réseaux de neurones et intelligence artificielle
  
18.2nd International ICST Conference on Quantum Communication and Quantum Networking
 Dates 08 Oct 2012 → 11 Oct 2012
[ID=443942] Haut de la page
 LieuBudapest, Hongrie
 Page web http://www.quantumcomm.org/
 Sujets apparentés Mécanique quantique et l'information quantique
  
19.SIGSOFT/FSE'12 — 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20)
 Dates 10 Nov 2012 → 18 Nov 2012
[ID=426098] Haut de la page
 Lieu Research Triangle Park, North Carolina, États-Unis
 Page web http://www.sigsoft.org/fse20/
 Sujets apparentés Génie logiciel
  
20.ICCCI 2012 - 4th International Conference on Computational Collective Intelligence - Technologies and Applications
 Dates 28 Nov 2012 → 30 Nov 2012
[ID=456866] Haut de la page
 LieuHo Chi Minh, Viêt Nam
 Page web http://iccci.pwr.wroc.pl/iccci2012/
  

Dernière mise à jour: 27 janvier 2012