Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / edited by Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung.

Format:

Book

Contributor:

Caires, Luís, editor.

Italiano, Guiseppe F., editor.

Monteiro, Luís, editor.

Palamidessi, Catuscia, editor.

Yung, Moti, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 3580.

Theoretical Computer Science and General Issues ; 3580

Language:

English

Subjects (All):

Computer science.

Logic, Symbolic and mathematical.

Computers.

Software engineering.

Data structures (Computer science).

Computer Science, general.

Mathematical Logic and Foundations.

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Data Structures and Information Theory.

Data Structures.

Local Subjects:

Computer Science, general.

Mathematical Logic and Foundations.

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Data Structures and Information Theory.

Data Structures.

Physical Description:

1 online resource (L, 1482 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

Summary:

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin (Toronto), John C. Mitchell (Stanford), Burkhard Monien (Paderborn), and Leslie Valiant (Harvard). The program had an additional invited lecture by Adi Shamir (Weizmann Institute) which does not appear in these proceedings. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The ?rst ICALP took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, automata, complexity and games) and track B (focusing on logic, semantics and theory of programming), and innovated on the structure of its traditional scienti?c program with the inauguration of a new track C (focusing on security and cryptography foundation). In response to a call for papers, the Program Committee received 407 s- missions, 258 for track A, 75 for track B and 74 for track C. This is the highest number of submitted papers in the history of the ICALP conferences. The P- gram Committees selected 113 papers for inclusion in the scienti?c program. In particular, the Program Committee for track A selected 65 papers, the P- gram Committee for track B selected 24 papers, and the Program Committee for track C selected 24 papers. All the work of the Program Committees was done electronically.

Contents:

Invited Lectures

Data Structures I

Cryptography and Complexity

Data Structures II

Cryptography and Distributed Systems

Graph Algorithms I

Security Mechanisms

Graph Algorithms II

Automata and Formal Languages I

Signature and Message Authentication

Algorithmic Game Theory

Automata and Logic

Computational Algebra

Cache-Oblivious Algorithms and Algorithmic Engineering

On-line Algorithms

Security Protocols Logic

Random Graphs

Concurrency I

Encryption and related Primitives

Approximation Algorithms I

Games

Approximation Algorithms II

Lower Bounds

Probability

Approximation Algorithms III

Automata and Formal Languages II

Approximation Algorithms IV

Algebraic Computation and Communication Complexity

Concurrency II

String Matching and Computational Biology

Quantum Complexity

Analysis and Verification

Geometry and Load Balancing

Concrete Complexity and Codes

Model Theory and Model Checking.

Other Format:

Printed edition:

ISBN:

978-3-540-31691-6

9783540316916

Access Restriction:

Restricted for use by site license.