European Association for Theoretical Computer Science
Overview
Works:  276 works in 588 publications in 1 language and 14,192 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 English and Undetermined and held by 527 WorldCat member libraries worldwide
in English and Undetermined and held by 527 WorldCat member libraries worldwide
Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 1620, 1990 : proceedings by
Michael S Paterson(
Book
)
8 editions published in 1990 in English and held by 264 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
8 editions published in 1990 in English and held by 264 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 : 16th international colloquium, Stresa, Italy, July 1115, 1989 : proceedings by
G Ausiello(
Book
)
8 editions published in 1989 in English and held by 253 WorldCat member libraries worldwide
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 1115, 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
8 editions published in 1989 in English and held by 253 WorldCat member libraries worldwide
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 1115, 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
Graphgrammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December
26, 1986 : [proceedings] by
Hartmut Ehrig(
Book
)
4 editions published in 1983 in English and held by 252 WorldCat member libraries worldwide
"This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H.G Tler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. ParisiPresicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others."PUBLISHER'S WEBSITE
4 editions published in 1983 in English and held by 252 WorldCat member libraries worldwide
"This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H.G Tler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. ParisiPresicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others."PUBLISHER'S WEBSITE
Automata, languages, and programming : 13th international colloquium, Rennes, France, July 1519, 1986 : proceedings by
Laurent Kott(
Book
)
5 editions published in 1986 in English and held by 246 WorldCat member libraries worldwide
5 editions published in 1986 in English and held by 246 WorldCat member libraries worldwide
Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 1519, 1985 by
Wilfried Brauer(
Book
)
6 editions published in 1985 in English and held by 241 WorldCat member libraries worldwide
6 editions published in 1985 in English and held by 241 WorldCat member libraries worldwide
Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 1620, 1984 by
Jan Paredaens(
Book
)
2 editions published in 1984 in English and held by 232 WorldCat member libraries worldwide
2 editions published in 1984 in English and held by 232 WorldCat member libraries worldwide
Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 1418, 1980 by
J. W. de Bakker(
Book
)
3 editions published in 1980 in English and held by 218 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 NPcompleteness. Bipolar synchroniszation systems. A theory of nondeterminism. Symetric spacebouded computation. Spacerestricted 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
3 editions published in 1980 in English and held by 218 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 NPcompleteness. Bipolar synchroniszation systems. A theory of nondeterminism. Symetric spacebouded computation. Spacerestricted 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 : eighth colloquium, Acre (Akko), Israel, July 1317, 1981 by
Shimon Even(
Book
)
3 editions published in 1981 in English and held by 204 WorldCat member libraries worldwide
3 editions published in 1981 in English and held by 204 WorldCat member libraries worldwide
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 812, 1991 : proceedings by
J Leach Albert(
Book
)
8 editions published between 1991 and 1996 in English and held by 195 WorldCat member libraries worldwide
"This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional 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."PUBLISHER'S WEBSITE
8 editions published between 1991 and 1996 in English and held by 195 WorldCat member libraries worldwide
"This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional 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."PUBLISHER'S WEBSITE
Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 711, 1997 : proceedings by
Pierpaolo Degano(
Book
)
8 editions published in 1997 in English and held by 160 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
8 editions published in 1997 in English and held by 160 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
Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 2528, 2004 :
proceedings by
Celso C Ribeiro(
Book
)
5 editions published in 2004 in English and held by 145 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 of two 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, evolutionary 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
5 editions published in 2004 in English and held by 145 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 of two 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, evolutionary 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 : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30July
4, 2003 : proceedings by
J Díaz(
Book
)
5 editions published in 2004 in English and held by 134 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003. The 84 revised full papers presented together with six invited papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections on algorithms, process algebra, approximation algorithms, languages and programming, complexity, data structures, graph algorithms, automata, optimization and games, graphs and bisimulation, online problems, verification, the Internet, temporal logic and model checking, graph problems, logic and lambdacalculus, data structures and algorithms, types and categories, probabilistic systems, sampling and randomness, scheduling, and geometric problems
5 editions published in 2004 in English and held by 134 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003. The 84 revised full papers presented together with six invited papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections on algorithms, process algebra, approximation algorithms, languages and programming, complexity, data structures, graph algorithms, automata, optimization and games, graphs and bisimulation, online problems, verification, the Internet, temporal logic and model checking, graph problems, logic and lambdacalculus, data structures and algorithms, types and categories, probabilistic systems, sampling and randomness, scheduling, and geometric problems
Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 1115, 2005 ; proceedings by
Luís Caires(
Book
)
4 editions published in 2005 in English and held by 114 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
4 editions published in 2005 in English and held by 114 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
AlgorithmsESA 2006 : 14th annual European symposium, Zurich, Switzerland, September 1113, 2006 : proceedings by
Yossi Azar(
Book
)
2 editions published in 2006 in English and held by 105 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 realworld applications and engineering of algorithms in various fields
2 editions published in 2006 in English and held by 105 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 realworld applications and engineering of algorithms in various fields
Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 1014, 2006 : proceedings by
Michele Bugliesi(
Book
)
8 editions published in 2006 in English and held by 92 WorldCat member libraries worldwide
Annotation
8 editions published in 2006 in English and held by 92 WorldCat member libraries worldwide
Annotation
Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30July 3, 1991, University of Chicago, Chicago,
Illinois by
Structure in Complexity Theory Conference(
Book
)
4 editions published in 1991 in English and held by 88 WorldCat member libraries worldwide
4 editions published in 1991 in English and held by 88 WorldCat member libraries worldwide
Proceedings, Tenth Annual Structure in Complexity Theory Conference : June 1922, 1995, Minneapolis, Minnesota by
Structure in Complexity Theory Conference(
Book
)
7 editions published between 1995 and 2002 in English and held by 79 WorldCat member libraries worldwide
7 editions published between 1995 and 2002 in English and held by 79 WorldCat member libraries worldwide
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 913, 2007 : proceedings by
L Arge(
Book
)
7 editions published in 2007 in English and held by 78 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. Seventysix 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
7 editions published in 2007 in English and held by 78 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. Seventysix 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
Semantics of Data Types International Symposium SophiaAntipolis, France, June 27  29, 1984 Proceedings by
G Kahn(
Book
)
3 editions published in 1984 in English and held by 5 WorldCat member libraries worldwide
3 editions published in 1984 in English and held by 5 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
 ACM Special Interest Group for Algorithms and Computation Theory Editor
 ACM Special Interest Group for Automata and Computability Theory
 Sigarch Publisher
 Association for Symbolic Logic
 Association for Computing Machinery Editor
 IEEE Computer Society
 Díaz, J. (Josep) 1950 Editor
 Caires, Luís Editor
 Azar, Yossi
Useful Links
Associated Subjects
AlgebraData processing Algorithms Artificial intelligence BiologyData processing Biomathematics Combinatorial analysis Computational complexity Computer algorithms Computer graphics Computer programming Computer science Computer scienceMathematics Computer software Data structures (Computer science) Electronic data processing Formal languages Graph grammars Graph theory Information theory Logic, Symbolic and mathematical Logic design Machine theory Medical recordsData processing Optical pattern recognition Programming languages (Electronic computers) Programming languages (Electronic computers)Semantics Robots Sequential machine theory Software engineering
Alternative Names
Association Européenne d'Information Théorique
Association for Theoretical Computer Science
E.A.T.C.S
E.A.T.C.S (European Association for Theoretical Computer Science)
EATCS
EATCS (European Association for Theoretical Computer Science)
European Association for Theoretical Computer Science
European Association for Theoretical Computer Science organization
European Association on Theoretical Computer Science
ヨーロッパ理論計算機科学会
Languages
Covers