Page 1
Page 1
Theoretical Computer Science ; Vol. 3701 ; 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005. The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.
Term Rewriting and Applications ; Vol. 4098 ; 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, which was held on August 12–14, 2006in Seattle, Washington, as part of of the 4th Federated Logic Conference (FLoC).RTA is the major forum for the presentation of research on all aspects of rewrit-ing. A total of 23 regular papers and 4 system descriptions were selected for pre-sentation from 52 submissions.
Term rewriting and applications ; Vol. 3467 ; 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of rewriting.
Term Rewriting and Applications ; 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA 2007), which was held during June 26–28, 2007, on the campus of the Conservatoire National des Arts et M´etiers (CNAM) in Paris, France.
Rewriting Techniques and Applications; 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
Programming Languages and Systems ; 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
Processes, Terms and Cycles : Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.
Implementation and application of automata ; Vol. 3317 ; 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
Contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen’s University in Kingston, Ontario, Canada on July 22–24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other fields. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencing and genecompression, and from state complexity and new algorithms for automata operations to applications of quantum finite automata.
Frontiers of Combining Systems ; 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
Computer science logic ; Vol. 4207 ; 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Logical foundations of computer science ; International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Algebraic Biology ; 2nd International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods.
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
