Computability and complexity in analysis

Sample

Thomas Johansson (ed

Fast Software Encryption is now a 10-year-old workshop on symmetric crypt- raphy, including the design and cryptanalysis of block and stream ciphers, as well as hash functions. The ?rst FSE workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in 1996, Haifa in 1997, Paris in 1998, Rome in 1999, New York in 2000, Yokohama in 2001, and Leuven in 2002. This Fast Software Encryption workshop, FSE 2003, was held February 24– 26, 2003 in Lund, Sweden. The workshop was sponsored by IACR (International Association for Cryptologic Research) and organized by the General Chair, Ben Smeets, in cooperation with the Department of Information Technology, Lund University. Thisyearatotalof71papersweresubmittedtoFSE2003.Afteratwo-month reviewing process, 27 papers were accepted for presentation at the workshop. In addition, we were fortunate to have in the program an invited talk by James L. Massey. The selection of papers was di?cult and challenging work. Each submission was refereed by at least three reviewers. I would like to thank the program c- mittee members, who all did an excellent job. In addition, I gratefully ackno- edge the help of a number of colleagues who provided reviews for the program committee. They are: Kazumaro Aoki, Alex Biryukov, Christophe De Canni` ere, Nicolas Courtois, Jean-Charles Faug` ere, Rob Johnson, Pascal Junod, Joseph Lano, Marine Minier, Elisabeth Oswald, H? avard Raddum, and Markku-Juhani O. Saarinen.

Sample

José Júlio Alferes, João Leite (eds

Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti?cial Intelligence (or Journ´ ees Europ´ eennes sur la Logique en Intelligence Arti?cielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this ?eld. Since then, JELIA has been organized biennially, with English as its o?cial language, previous meetings taking place in Rosco?, France (1988), Amsterdam, Nether- ´ lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl,Germany(1998),M´ alaga,Spain(2000)andCosenza,Italy(2002). The increasinginterestinthisforum,itsinternationallevelwithgrowingparticipation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to arti?cial intelligence. The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest.

Sample

Abdul Sattar, ed

This book constitutes the refereed proceedings of the 10th Australian Joint Conference on Artificial Intelligence, AI'97, held in Perth, Australia, in November/December 1997. The volume presents 48 revised full papers selected from a total of 143 submissions. Also included are three keynote talks and one invited paper. The book is divided into topical sections on constraint satisfaction and scheduling, computer vision, distributed AI, evolutionary computing, knowledge-based systems, knowledge representation and reasoning, learning and machine vision, machine learning, NLP and user modeling, neural networks, robotics and machine recognition, and temporal qualitative reasoning.

Sample

Panos Antsaklis ... [et al.], eds

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.