Computing and Information Technology

Information technology is a rapidly changing field in which researchers and developers must continuously set their vision on the next generation of technologies and the systems that they enable.

The Fifth International Conference on Automatic Differentiation held from August 11 to 15, 2008 in Bonn, Germany, is the most recent one in a series that began in Breckenridge, USA, in 1991 and continued in Santa Fe, USA, in 1996, Nice, France, in 2000 and Chicago, USA, in 2004.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.

The 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE 2008) held in Wroclaw, Poland was an international scientific forum for researchers in the field of applied artificial intelligence.

This volume contains the proceeding of the 5th International Conference on - age and Video Retrieval (CIVR), July 13-15, 2006, Arizona State University, Tempe, AZ, USA: http://www.

The Turkish Artificial Intelligence and Neural Network Symposium (TAINN) is an annual meeting where scientists present their new ideas and algorithms on artificial intelligence and neural networks with either oral or poster presentation.

The International Symposium on Smart Graphics 2006 was held during July 23-25, 2006, at the University of British Columbia in Vancouver, Canada.

Advanced computational methods are often employed for the solution of modelling and decision-making problems.

Soft Computing is a complex of methodologies that embraces approximate reasoning, imprecision, uncertainty and partial truth in order to mimic the remarkable human capability of making decisions in real-life, ambiguous environments.

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006.

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan con in the east of France.

Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography.

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.

This book constitutes the thoroughly refereed joint post-workshop proceedings of two co-located events: the Second International Workshop on Classification of Events, Activities and Relationships, CLEAR 2007, and the 5th Rich Transcription 2007 Meeting Recognition evaluation, RT 2007, held in succession in Baltimore, MD, USA, in May 2007.

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 - 21, 2006.

Web-based learning has attracted ongoing attention for its rapid development in recent years.

The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology.

Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?

This book contains the best papers from the International Conference on Web Inf- mation Systems and Technologies (WEBIST 2007), organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), endorsed by IW3C2, and held in Barcelona, Spain.

The conference of the 1st IEEE Paci?

The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20-23, 2008.

This volume contains the papers selected for presentation at the 17th Inter- tional Symposium on Methodologies for Intelligent Systems (ISMIS 2008), held in York University, Toronto, Canada, May 21-23, 2008.

ThePaci?