COMS

Calendar of upcoming scientific conferences

Home | Conference Services | Conference Listings | Advertise | Contact | About
German French English
You are in: Home → Conference Listings → Informatics → Information Theory, Foundations of Computer Science
Search the Conference Calendar


Browse by subject

    Conference Management Software

    Our Conference Management Software (COMS) can be used for online:

    • registration
    • payment
    • paper submission
    • review process
    • paper selection
    • production of the book of abstracts

    Read more ...
    Try our demo online

    Conferences and Meetings on Information Theory, Foundations of Computer Science

    Conference-Service.com offers, as part of our business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

    Meeting organisers can submit meetings free of charge for inclusion into the listing.

    Select a location:
    Belgium (1) - China (1) - Greece (1) - Hungary (1) - Israel (1) - Italy (1) - Peru (1) - Philippines (1) - Singapore (1) - Spain (1) - Thailand (1) - United Kingdom (6) - United States (2) - Vietnam (1)

    ALL COUNTRIES

    1.Semantics and Syntax: A Legacy of Alan Turing
     Dates 09 Jan 2012 → 06 Jul 2012
    [ID=422342] Go to top of page
     LocationIsaac Newton Institute for Mathematical Sciences, , United Kingdom
     Abstract 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.
     Weblink 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=450361] Go to top of page
     LocationA Coruña, Spain
     Abstract 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.).
     Topics 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.
     Weblink http://grammars.grlmc.com/lata2012/
     Contact Phone: (+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=430447] Go to top of page
     LocationSingapore, Singapore
     Organizer Global Science & Technology Forum (GSTF)
     Abstract 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.
     Weblink http://www.infotheoryapp.org/
      
    4.ITA 2012 — 2nd Annual International Conference on Information Theory and Applications
     Dates 12 Mar 2012 → 13 Mar 2012
    [ID=418530] Go to top of page
     LocationBangkok, Thailand
     Abstract 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.
     Topics 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
     Weblink http://www.infotheoryapp.org
     Related subject(s) Multidisciplinary or General Events in Informatics
      
    5.Turing 2012: International Conference on Philosophy, Artificial Intelligence and Cognitive Science
     Dates 27 Mar 2012 → 28 Mar 2012
    [ID=443326] Go to top of page
     LocationPasay, Philippines
     Abstract 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.
     Topics alan turing, cognitive science, philosophy, artificial intelligence, singularity, computer science, cyberspace, gender studies, mathematics, biology, international relations, theories of computing, psychology, cryptography, internet crimes
     Weblink http://turing.pilosopiya.com/conference
     Related subject(s) Applied Maths: Neural Networks and Artificial Intelligence; Multidisciplinary or General Events in Informatics
      
    6.LATIN 2012 — 10th Latin American Theoretical INformatics Symposium and 1st Latin American Theoretical Informatics School
     Dates 16 Apr 2012 → 20 Apr 2012
    [ID=447798] Go to top of page
     LocationArequipa, Peru
     Weblink http://latin2012.cs.iastate.edu
     Related subject(s) Training in Computer Science
      
    7.AIM Workshop: ACC for minimal log discrepancies and termination of flips
     Dates 14 May 2012 → 18 May 2012
    [ID=422454] Go to top of page
     LocationAmerican Institute of Mathematics, Palo Alto, United States
     Abstract This workshop, sponsored by AIM and the NSF, will be devoted to two closely connected conjectures in the minimal model program.
     Weblink http://www.aimath.org/ARCC/workshops/accflips.html
      
    8.ACM Computing frontiers 2012
     Dates 15 May 2012 → 17 May 2012
    [ID=450058] Go to top of page
     LocationCagliari, Italy
     Abstract 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.
     Topics Applications, programming, computer architectures, performance computing and systems, quantum information, quantum computing
     Weblink http://www.computingfrontiers.org/2012/
     Contact Marco Fiorentino; Email: marco.fiorentino@hp.com
     Related subject(s) Quantum Mechanics and Quantum Information Theory
      
    9.TAMC '12 — The 9th Annual Conference on Theory and Applications of Models of Computation
     Dates 16 May 2012 → 21 May 2012
    [ID=425738] Go to top of page
     LocationBeijing, China
     Weblink 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 Jun 2012 → 15 Jun 2012
    [ID=422079] Go to top of page
     LocationNewport Pagnell, United Kingdom
     Abstract 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.
     Weblink http://www.mathcomp.leeds.ac.uk/turing2012/inc/
      
    11.Turing Centenary Workshop on The Incomputable'
     Dates 12 Jun 2012 → 17 Jun 2012
    [ID=447838] Go to top of page
     LocationChicheley Hall, England, United Kingdom
     Weblink http://www.mathcomp.leeds.ac.uk/turing2012/inc/
      
    12.Turing Centenary Conference (CiE 2012): How the World Computes
     Dates 18 Jun 2012 → 23 Jun 2012
    [ID=421986] Go to top of page
     LocationUniversity of Cambridge, Cambridge, United Kingdom
     Abstract 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.
     Weblink http://www.cie2012.eu
      
    13.CiE 2012 — Turing Centenary Conference: Computability in Europe 2012
     Dates 18 Jun 2012 → 23 Jun 2012
    [ID=425853] Go to top of page
     LocationCambridge, United Kingdom
     Weblink http://www.cie2012.eu
      
    14.WG 2012 — 38th International Workshop on Graph - Theoretic Concepts in Computer Science
     Dates 26 Jun 2012 → 28 Jun 2012
    [ID=463893] Go to top of page
     LocationRamat-Rachel, Israel
     Abstract 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.

     Weblink http://cri.haifa.ac.il/events/2012/WG2012/
     Related subject(s) Graph Theory and Combinatorics
      
    15.ICALP 2012 — 39th International Colloquium on Automata, Languages and Programming
     Dates 09 Jul 2012 → 13 Jul 2012
    [ID=447832] Go to top of page
     LocationWarwick, United Kingdom
     Weblink http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012/
     Related subject(s) Algorithms
      
    16.ANTS 2012 - Eighth International Conference on Swarm Intelligence
     Dates 12 Sep 2012 → 14 Sep 2012
    [ID=456823] Go to top of page
     LocationBrussels, Belgium
     Weblink http://iridia.ulb.ac.be/ants2012/
     Related subject(s) Software Agents
      
    17.12th GRANADA SEMINAR on Physics, Computation, and the Mind
     Dates 17 Sep 2012 → 21 Sep 2012
    [ID=456455] Go to top of page
     LocationLa Herradura, Greece
     Weblink http://ergodic.ugr.es/cp/
     Related subject(s) History and Philosophy of Physics; Applied Maths: Neural Networks and Artificial Intelligence
      
    18.2nd International ICST Conference on Quantum Communication and Quantum Networking
     Dates 08 Oct 2012 → 11 Oct 2012
    [ID=443964] Go to top of page
     LocationBudapest, Hungary
     Weblink http://www.quantumcomm.org/
     Related subject(s) Quantum Mechanics and Quantum Information Theory
      
    19.SIGSOFT/FSE'12 — 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20)
     Dates 10 Nov 2012 → 18 Nov 2012
    [ID=426065] Go to top of page
     Location Research Triangle Park, North Carolina, United States
     Weblink http://www.sigsoft.org/fse20/
     Related subject(s) Software Engineering
      
    20.ICCCI 2012 - 4th International Conference on Computational Collective Intelligence - Technologies and Applications
     Dates 28 Nov 2012 → 30 Nov 2012
    [ID=456899] Go to top of page
     LocationHo Chi Minh, Vietnam
     Weblink http://iccci.pwr.wroc.pl/iccci2012/
      

    Last updated: 27 January 2012
    http://www.conference-service.com