Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.  The 86 revised full papers presented together with two invited lectures were carefully reviewed and selected from 320 initial submissions: 71 out of 261 in Track A, Design and Analysis, and 15 out of 59 in Track B, Engineering and Applications. The papers present real-world applications, engineering, and experimental analysis of algorithms.

Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Discrete Mathematics in Computer Science. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic design. --- Computational complexity. --- Complexity, Computational --- Machine theory --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer algorithms --- Computer science—Mathematics. --- Compilers (Computer programs). --- Discrete mathematics. --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer programming --- Computer systems --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 6th International Conference on Algorithms and Complexity (CIAC 2006) was held in Rome, Italy during May 29-31, 2006. These proceedings contain all contributed papers presented at CIAC 2006, together with the invited lectures delivered at the conference. The Program Committee consisted of: - Nicola Galesi, Univ. of Rome La Sapienza , Italy - John Iacono, Brooklyn Polytechnic, USA - Giuseppe F. Italiano (Chair), Univ. of Rome Tor Vergata , Italy - Pascal Koiran, ENS Lyon, France - Jaroslav Ne? set? ril, Charles University, Czech Republic - Sotiris Nikoletseas, CTI and Univ. of Patras, Greece - Stephan Olariu, Old Dominion Univ. , USA - Anna Ostlin Pagh, ITU, Denmark - Andrzej Pelc, Universit´eduQu´ ebec en Outaouais, Canada - Peter Sanders, Universitaet Karlsruhe, Germany - Bruno Simeone, Univ. of Rome La Sapienza , Italy - Uri Zwick, Tel-Aviv Univ. , Israel In response to a call for papers, the ProgramCommittee received 80 subm- sions, and selected 33 papers for inclusion in the scienti?c program. In addition tothecontributedpapers,KurtMehlhorn(MPI,Germany),FrancoP. Preparata (Brown Univ. , USA) and Pavel Pudl´ ak (Academy of Sciences, Czech Republic) were invited to give plenary lectures at the conference. All the work of the P- gramCommittee was done electronically. The selection was based on originality, quality and relevance to theoretical computer science. The submissions were r- ereedascarefullyastimepermitted;itisexpectedthatmanyofthemwillappear in a more polished form in scienti?c journals in the future.

Complex analysis --- Discrete mathematics --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- discrete wiskunde --- complexe analyse (wiskunde) --- grafische vormgeving --- informatica --- database management --- programmatielogica --- KI (kunstmatige intelligentie)