Conférences - 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

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.

Sélecionner un pays:
Belgique (1) - Chine (1) - Espagne (1) - Grèce (1) - Hongrie (1) - Israël (1) - Italie (1) - Philippines (1) - Pérou (1) - Royaume-Uni (6) - Singapour (1) - Thaïlande (1) - Viêt Nam (1) - États-Unis (2)

TOUS LES PAYS

1.Semantics and Syntax: A Legacy of Alan Turing
Dates	09 Jan 2012 → 06 Jul 2012	[ID=422408]
Lieu	Isaac 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]
Lieu	A 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]
Lieu	Singapore, 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]
Lieu	Bangkok, 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]
Lieu	Pasay, 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]
Lieu	Arequipa, 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]
Lieu	American 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]
Lieu	Cagliari, 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]
Lieu	Pé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]
Lieu	Newport 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]
Lieu	Chicheley 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]
Lieu	University 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]
Lieu	Cambridge, 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]
Lieu	Ramat-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]
Lieu	Warwick, 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]
Lieu	Bruxelles, 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]
Lieu	La 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]
Lieu	Budapest, 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]
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]
Lieu	Ho Chi Minh, Viêt Nam
Page web	http://iccci.pwr.wroc.pl/iccci2012/

Dernière mise à jour: 27 janvier 2012

COMS

Un listing de conférences scientifiques et techniques

Conférences - Théorie de l'information, fondations de l'informatique

TOUS LES PAYS