Automata, Languages and Programming : 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings

Aceto, Luca (EDT); Damgaard, Ivan (EDT); Goldberg, Leslie Ann (EDT); Halldorsson, Magnus M. (EDT); Ingolfsdottir, Anna (EDT)

ISBN 10: 3540705821 / ISBN 13: 9783540705826

Verlag: Springer, 2008

Beschreibung

Bestandsnummer des Verkäufers 5707759-n

Bibliografische Details

• Titel: Automata, Languages and Programming : 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings
• Verlag: Springer
• Erscheinungsjahr: 2008
• Sprache: Englisch
• ISBN-10: 3540705821
• ISBN-13: 9783540705826
• Einband: Softcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

ICALP 2008, the 35th edition of the International Colloquium on Automata, Languages and Programming, was held in Reykjavik, Iceland, July 7-11, 2008. ICALP is a series of annual conferences of the European Association for Th- reticalComputer Science(EATCS) which ?rsttook placein 1972.This year,the ICALP program consisted of the established Track A (focusing on algorithms, automata,complexityandgames)andTrackB(focusing onlogic,semanticsand theory of programming), and of the recently introduced Track C (focusing on security and cryptography foundations). In response to the call for papers, the Program Committees received 477 submissions, the highest ever: 269 for Track A, 122 for TrackB and 86 for Track C. Out of these, 126 papers were selected for inclusion in the scienti?c program: 70 papers for Track A, 32 for Track B and 24 for Track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many deserving papers could not be selected. ICALP 2008 consisted of ?ve invited lectures and the contributed papers.

Von der hinteren Coverseite

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.

The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. The papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication.