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)

Choose an application

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

This volume contains the invited and the contributed papers selected for p- sentation at SOFSEM 2007, the 33rd Conference on Current Trends in Theory and Practice of Computer Science, held January 20-26, 2007 in Hotel Skl´ a? r, Harrachov, in the Czech Republic. SOFSEM (originally SOFtware SEMinar) aims to foster cooperation among professionals from academia and industry working in all modern areas of c- puterscience. Developingovertheyearsfromalocaleventtoafullyinternational and well-established conference, contemporary SOFSEM continues to maintain the best of its original Winter School aspects, such as a high number of invited talks and an in-depth coverage of novel research results in selected areas within computerscience. SOFSEM2007wasorganizedaroundthefollowingfourtracks: - Foundations of Computer Science (Track Chair: Giuseppe F. Italiano) - Multi-Agent Systems (Track Chair: Wiebe van der Hoek) - Emerging Web Technologies (Track Chairs: Christoph Meinel, Harald Sack) - Dependable Software and Systems (Track Chair: Franti? sek Pl´ a? sil) TheSOFSEM2007ProgramCommitteeconsistedof69internationalexperts from 21 di?erent countries, representing the respective areas of the SOFSEM 2007 tracks with outstanding expertise and an eye for current developments. An integral part of SOFSEM 2007 was the traditional Student Research Forum (Chair: M´ aria Bielikov´ a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti?c results and on their work in progress. The papers presented at the Student Research Forum were published in a separate local proceedings.

Computer science --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- toegepaste informatica --- informatiesystemen --- database management --- software engineering --- computernetwerken

Choose an application

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