Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010 Proceedings

Abramsky, Samson (Editor)

ISBN 10: 3642141617 / ISBN 13: 9783642141614

Published by Springer-Verlag New York Inc, 2010

About this Item

638 pages. 9.00x6.00x1.00 inches. In Stock.

Seller Inventory # x-3642141617

Bibliographic Details

• Title: Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010 Proceedings
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2010
• Language: English
• ISBN 10: 3642141617
• ISBN 13: 9783642141614
• Binding: Paperback
• Condition: Brand New
• Weight: 0.07 kilograms

About this title

Synopsis

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by MauriceNivatandhiscolleaguesinParis.Thisyear,theprogramconsistedofthe established trackA, focusing on Algorithms,Complexity and Games, chairedby Paul G. Spirakis; Track B, focusing on Logic, Semantics, Automata and Theory of Programming, chaired by Samson Abramsky; Track C focusing this year on Foundations of Networked Computation: Models, Algorithms and Information Management, chaired by Friedhelm Meyer auf der Heide. The three Program Committees received a total of 389 submissions: 222 for TrackA,114forTrackBand53forTrackC,writtenbyauthorsfrom45di?erent countries. Of these, 60, 30 and 16, respectively, were selected for inclusion in the scienti?c program. Each paper got on average 3.5 referee reports. The Programalsoincluded six invitedtalks byPierreFraigniaud(CNRS and Univ.ParisDiderot),JeanGoubault-Larrecq(ENSCachanandLSV),Burkhard Monien (Univ. Paderborn), Joel Ouaknine (Oxford Univ. Computing Lab.), Roger Wattenhofer (ETH Zurich), and Emo Welzl (ETH Zurich). These 112 contributed and invited papers are presented in two proceedings volumes. The ?rst contains the contributed papers of Track A and the invited talks of Burkhard Monien and Emo Welzl. The second volume contains the contributed papers of Tracks B and C as well as the invited talks of Pierre Fraigniaud, Jean Goubault-Larrecq, Joel Ouaknine and Roger Wattenhofer.

Product Description

This two-volume set "LNCS 6198" and "LNCS 6199" constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010. The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as, on foundations of networked computation: models, algorithms and information management. "LNCS 6199" contains 46 contributions of track B and C selected from 167 submissions as well as 4 invited talks.