Related Events by Keyword

The 23rd International Symposium on Algorithms and Computation

Description: The 23rd International Symposium on Algorithms and Computation (ISAAC 2012) will be held at National Taiwan University, Taipei, Taiwan, December 19-21, 2012. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcome. The topics include, but are not limited to: Algorithmic game theory Algorithms and data structures Approximation algorithms Combinatorial optimization Computational biology Computational complexity Computational geometry Cryptography Experimental algorithms Graph drawing and graph algorithms Internet algorithms Online algorithms Parallel ...

Keywords: algorithms, theoretical computer science, computation theory

IFIP Theoretical Computer Science 2012

Description: Preliminary Call for Papers: The 7th IFIP Conference on Theoretical Computer Science 2012 September 26 - 28, Amsterdam, The Netherlands General Info The conference Theoretical Computer Science, which is held every two years, either in conjunction or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field. TCS 2012 (http://tcs.project.cwi.nl/) is associated with The Alan Turing Year 2012 (www.mathcomp.leeds.ac.uk/turing2012). Previous conferences of this ...

Keywords: verification, theoretical computer science, logic, computation theory

19th Workshop on Logic, Language, Information and Computation

Description: WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de ...

Keywords: theoretical computer science, logic, formal language theory

23rd International Conference on Concurrency Theory

Description: The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. =================================== TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, graph transformation systems and Petri nets; - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; - Models of specialized systems such as biology-inspired systems, circuits, hybrid ...

Keywords: verification, theoretical computer science, logic, formal methods

21th EACSL Annual Conferences on Computer Science Logic

Description: CSL'12 - Computer Science Logic 2012 http://csl2012.lacl.fr/ The 21th EACSL Annual Conference on Computer Science Logic will take place in Fontainebleau (France) in 3-6 september 2012. ****************************************************************** Inportant dates : Abstract submission : April 2, 2012 Paper submission : April 9, 2012 Notification : June 9, 2012 Final version : June 29, 2012 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic. The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Topics of interests include (but are not ...

Keywords: theoretical computer science, logic, computation theory, formal methods

Ninth international conference on Advances in Modal Logic

Description: AiML-2012: FINAL CALL FOR PAPERS 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012.html Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational ...

Keywords: theoretical computer science, logic

16th International Conference on Developments in Language Theory

Description: Call for Papers -- DLT 2012 ================================================================ 16th International Conference on Developments in Language Theory Taipei, Taiwan August 14 - 17, 2012 http://cc.ee.ntu.edu.tw/~dlt2012/ ================================================================ The 16th International Conference on Developments in Language Theory (DLT 2012) will take place in Taipei, Taiwan, on August 14 - 17, 2012. The conference will be hosted by the Dept. of Electrical Engineering, National Taiwan University. The conference is also under the auspices of the European Association for Theoretical Computer Science. The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in formal languages, ...

Keywords: theoretical computer science

14th International Workshop on Descriptional Complexity of Formal Systems

Description: Call for Papers -- DCFS 2012 14th International Workshop on Descriptional Complexity of Formal Systems Braga, Portugal July 23-25, 2012 http://www.dcc.fc.up.pt/DCFS12 ------------------- DCFS 2012 will be held in Braga, Portugal, on July 23-25, 2012. Braga is known as the "Portuguese Rome" for its concentration of religious architecture, Roman remains, beautiful churches and museums. Braga, located in the heart of Minho, is one of Portugal’s favorite tourist destination. The venue will be the D. Diogo de Sousa Museum of Archaeology in the city center. The workshop will be jointly organized by University of Porto, University of Minho, and University of Beira ...

Keywords: complexity, reliability, theoretical computer science, formal systems

17th International Conference on Implementation and Application of Automata

Description: First Call for Papers -- CIAA 2012 17th International Conference on Implementation and Application of Automata Porto, Portugal July 17-20, 2012 http://www.dcc.fc.up.pt/CIAA12 ------------------- AIM AND SCOPE CIAA is the premier annual conference for researchers, application developers and users of automata-based systems. The applications of the theory of automata, a foundational area of computer science, have spread to almost all areas of computer science and many other disciplines. The CIAA series has published significant papers describing the applications of finite automata in parsing and compilers, logic, natural language processing, pattern matching, database management, and bioinformatics. The conference also accepts papers that ...

Keywords: algorithms, theoretical computer science, nlp

6th IEEE International Symposium on Theoretical Aspects of Software Engineering

Description: TASE 2012 - CALL FOR PAPERS *********************************************************** The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012) 4-6 July 2012, Beijing, China http://selab.bjut.edu.cn/tase2012 For more information email: tase2012@bjut.edu.cn *********************************************************** Large scale software systems and the Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, Web-oriented software architecture and aspect and object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2012 is a forum for researchers from ...

Keywords: software engineering, theoretical computer science, computer science, formal methods

33rd International Conference on Application and Theory of Petri Nets and Concurrency

Description: The 33rd annual international Petri Net conference will take place in Hamburg from June 25th to 29th, 2012. The language of the conference is English, and its proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. All accepted papers will be considered for the "Outstanding Paper" award(s). Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are sought. Topics specific to Petri Nets System design using nets Analysis and synthesis, structure and behaviour of nets Relationships between Petri Nets ...

Keywords: theoretical computer science, logic, formal methods

The Alan Turing Centenary Conference

Description: THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ First announcement and call for submissions Features: (1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers (2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award (3) Three panels and two public lectures (4) Turing Fellowship award ceremony (5) and many more ... For more details please check http://www.turing100.manchester.ac.uk/. SPEAKERS Confirmed invited speakers: - Fred Brooks (University of North Carolina) - Rodney Brooks (MIT) - Vint Cerf (Google) - Ed Clarke (Carnegie Mellon University) - Jack Copeland (University of Canterbury, ...

Keywords: theoretical computer science, computation theory

13th International Symposium on Trends in Functional Programming 2012

Description: ********************************************************************** * * * CALL FOR PAPERS * * 13th International Symposium * * Trends in Functional Programming 2012 * * St Andrews, U.K. * * June 12-14, 2012 * * http://www.tifp.org/TFP12.html * * * ********************************************************************** The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below), described in draft papers submitted prior to the symposium. A formal post-symposium ...

Keywords: programming, theoretical computer science, computer science, parallel programming

1st International Workshop on Trends in Tree Automata and Tree Transducers

Description: Topics and Goals Tree automata and tree transducers have their history of more than forty years. Recently, the theories have interplay with and/or are applied to various areas including rewrite systems, static analysis of software, program transformation, XML document processing and computational linguistics. This workshop aims at providing an opportunity for researchers from different areas to exchange information and ideas on theory and practice of tree automata and tree transducers. The topics within the scope of the workshop include, but are not limited to: advanced theory of tree automata and tree transducers extensions of tree automata and tree transducers (higher-order/weighted/infinite ...

Keywords: theoretical computer science, automata, formal language theory

6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

Description: ********************************************************************* 1st Call for Papers 6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2012 A Coruña, Spain March 5-9, 2012 http://grammars.grlmc.com/LATA2012/ ********************************************************************* AIMS: LATA is a yearly conference in theoretical computer science and its applications. Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2012 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). VENUE: LATA 2012 ...

Keywords: theoretical computer science, nlp, computation theory

9th International Symposium on Automated Technology for Verification and Analysis

Description: Aims and Objectives The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous eight events were held respectively in Taiwan (2003-5), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), and Singapore (2010). Papers Solicitations ATVA 2011 cordially solicits high-quality submissions in the area of automated verification and analysis. The topics of interest include, but are not limited to, the following: * Specification and verification techniques for finite and infinite-state systems ...

Keywords: verification, theoretical computer science, formal methods

5th Workshop on Reachability Problems

Description: The 5th Workshop on Reachability Problems will be hosted by DISI (Dip. di Informatica e Scienze dell'Informazione), Universita' di Genova, Italy. The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Logic - Verification Invited Speakers: ================ - Krishnendu Chatterjee, IST Austria - Bruno Courcelle, LABRI, Bordeaux - Joost-Pieter Katoen, RWTH, Aachen - Jean-Francois Raskin, Univerite' Libre de Bruxelles Submissions: =========== Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. ...

Keywords: verification, theoretical computer science, logic, computation theory

9th International Conference on Formal Modeling and Analysis of Timed Systems

Description: CALL FOR PAPERS FORMATS 2011 9th International Conference on Formal Modeling and Analysis of Timed Systems Aalborg University, Denmark 21-23 September 2011 http://formats2011.cs.aau.dk/ IMPORTANT DATES Abstract submission: 15 May 2011 Paper submission: 22 May 2011 Notification: 20 June 2011 Final version due: 10 July 2011 INVITED SPEAKERS Rajeev Alur, University of Pennsylvania Boudewijn Haverkort, University of Twente / Embedded Systems Institute Oded Maler, VERIMAG SCOPE Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri ...

Keywords: verification, theoretical computer science, real-time, formal methods

8th International Conference on Words

Description: =============================================================================== WORDS 2011 8th International Conference on Words September 12-16, 2011 Czech Technical University, Prague, Czech Republic http://words2011.fjfi.cvut.cz/ =============================================================================== WORDS is a biannual conference devoted to combinatorics on words. The 8th edition of WORDS is organized by the Czech Technical University and Charles University in Prague, from September 12 to September 16, 2011. The central topic of WORDS conferences is the mathematical theory of words (i.e., finite or infinite sequences of symbols taken in a finite alphabet) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to physics, biology, linguistics and others. Invited Speakers ---------------- Srećko ...

Keywords: theoretical computer science, formal language theory

4th Conference on Algebra and Coalgebra

Description: -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (England), a historic cathedral city and the ancient capital of Wessex and ...

Keywords: verification, theoretical computer science, logic