WorldCat Identities

European Association for Theoretical Computer Science

Overview
Works: 279 works in 563 publications in 1 language and 13,178 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Publisher, Other, Editor, Patron
Classifications: QA267, 511.3
Publication Timeline
.
Most widely held works by European Association for Theoretical Computer Science
Theoretical computer science( )

in 3 languages and held by 535 WorldCat member libraries worldwide

Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 by Jan Paredaens( Book )

2 editions published in 1984 in English and held by 277 WorldCat member libraries worldwide

Proceedings by Symposium on Logic in Computer Science( )

in English and held by 272 WorldCat member libraries worldwide

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 by Wilfried Brauer( Book )

7 editions published in 1985 in English and held by 261 WorldCat member libraries worldwide

Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers by Hartmut Ehrig( Book )

3 editions published in 1983 in English and held by 257 WorldCat member libraries worldwide

"This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994. The book covers the whole spectrum of methods and techniques for the investigation of the structure of graphs and graph transformations. The papers are divided into nine topical sections on rewriting techniques, specification and semantics, software engineering, algorithms and architectures, concurrency, graph languages, pattern and graphics, structure and logic of graphs, and biology."--PUBLISHER'S WEBSITE
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings by Gilles Kahn( Book )

3 editions published in 1984 in English and held by 257 WorldCat member libraries worldwide

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 by G Ausiello( Book )

8 editions published in 1989 in English and held by 256 WorldCat member libraries worldwide

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics
Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings by Michael S Paterson( Book )

7 editions published in 1990 in English and held by 250 WorldCat member libraries worldwide

"This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted."--PUBLISHER'S WEBSITE
Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings by Laurent Kott( Book )

5 editions published in 1986 in English and held by 249 WorldCat member libraries worldwide

Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 by J. W. de Bakker( Book )

3 editions published in 1980 in English and held by 239 WorldCat member libraries worldwide

How to get rid of pseudoterminals. Semantics of unbounded nondeterminism. A note on sweeping automata. DOS systems and languages. Cryptocomplexity and NP-completeness. Bipolar synchroniszation systems. A theory of nondeterminism. Symetric space-bouded computation. Space-restricted attribute grammars. Optimal unbounded search strategies. Partitioned chain grammars. Characterizations of the LL(k) property. Computability in categories. Reversible computing. On reducibility among extremal combinatorial problems
Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 by J Díaz( Book )

3 editions published in 1983 in English and held by 237 WorldCat member libraries worldwide

Automata, languages and programming. 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974 by Jacques Loeckx( Book )

4 editions published in 1974 in English and held by 234 WorldCat member libraries worldwide

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 by S Even( Book )

3 editions published in 1981 in English and held by 226 WorldCat member libraries worldwide

Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings by Luís Caires( Book )

4 editions published in 2005 in English and held by 206 WorldCat member libraries worldwide

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
Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings by Pierpaolo Degano( Book )

7 editions published in 1997 in English and held by 182 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972. The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science
Algorithms--ESA 2006 : 14th annual European symposium, Zurich, Switzerland, September 11-13, 2006 : proceedings by Yossi Azar( Book )

2 editions published in 2006 in English and held by 175 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 14th Annual European Symposium on Algorithms, ESA 2006, held in Zurich, Switzerland, in September 2006, in the context of the combined conference ALGO 2006. The 70 revised full papers presented together with abstracts of 3 invited lectures were carefully reviewed and selected from 287 submissions. The papers address all current subjects in algorithmics, reaching from design and analysis issues of algorithms over to real-world applications and engineering of algorithms in various fields
Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings by Michele Bugliesi( Book )

5 editions published in 2006 in English and held by 171 WorldCat member libraries worldwide

Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings by Celso C Ribeiro( Book )

4 editions published in 2004 in English and held by 167 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Workshop on Experimental and Efficient Algorithms, WEA 2004, held in Angra dos Reis, Brazil in May 2004. The 40 revised full papers presented together with abstracts oftwo invited talks were carefully reviewed and selected from numerous submissions. The book is devoted to the areas of design, analysis, and experimental evaluation of algorithms. Among the topics covered are scheduling, heuristics, combinatorial optimization, evoluitonary optimization, graph computations, labeling, robot navigation, shortest path algorithms, flow problems, searching, randomization and derandomization, string matching, graph coloring, networking, error detecting codes, timetabling, sorting, energy minimization, etc
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings by L Arge( Book )

5 editions published in 2007 in English and held by 157 WorldCat member libraries worldwide

"The 34th International Colloquium on Automata, Languages and Programming was held in Wroclaw, Poland in July 2007. This volume features the refereed proceedings from that meeting. Seventy-six full papers are presented, together with four invited lectures. Each paper, submitted by an expert in the field, was carefully reviewed to ensure that all the papers in this volume are accurate, thorough, and easy to follow. The papers are grouped into three major tracks covering algorithms, automata, complexity, and games; logic, semantics, and theory of programming; and security and cryptography foundations."--Publisher's website
Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings by J Díaz( Book )

4 editions published in 2004 in English and held by 154 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.52 for Automata, ... to 0.73 for Automata, ...)

Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984
Alternative Names
Association Européenne d'Information Théorique

Association for Theoretical Computer Science

E.A.T.C.S

EATCS

EATCS (European Association for Theoretical Computer Science)

European Association for Theoretical Computer Science

European Association on Theoretical Computer Science

Languages
English (96)

Covers
Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedingsAutomata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedingsAutomata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedingsAutomata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedingsAlgorithms--ESA 2006 : 14th annual European symposium, Zurich, Switzerland, September 11-13, 2006 : proceedings