• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
EDAIM 110 juni 08
 

EDAIM 110 juni 08

on

  • 4,819 views

 

Statistics

Views

Total Views
4,819
Views on SlideShare
4,819
Embed Views
0

Actions

Likes
0
Downloads
3
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft Word

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    EDAIM 110 juni 08 EDAIM 110 juni 08 Document Transcript

    • Elektronisk Dansk A.I.Meddelser 110 Juni 08 Dette nummer af EDAIM er foreloebigt sendte til den voksende antal DAIS medlemmer jeg har email adresse paa. Fortsat er der meget faa rettelser til medlemslisten fra jer . Medlem-email-adresser er meget velkomne. Medlems bidrag til EDAIM er meget velkommen. Index: 0) ECCAI-Bulletin #1, June 2008: 1) AI-2008 Cambridge, UK, December 2008 2) AIIDE-08 3) AAAI-08/IAAI-08 4) BCI2008 5) MIcompetition 6) Book Chapters: FCI 7) Book chapters: optimisation 8) Book Chapters: Learning 9) CELDA 08 10) CIMCA'08 11) DASIP 2008 12) ESM'2008 13) HIS 2008 15) ISDA 2008 - Taiwan 16) ISC'2008 17) ICLP'08 18) IJCAR'08 Workshop on Automated Reasoning 19) LION 3 -- Learning and Intelligent OptimizatioN 20) Machine Learning 21) ICML competition & workshop on Physiological Data Modeling 22) META'08, Tunisia 23) IJPRAI- New Issue 24) IJAIT - New Issue 25) Nature Inspired Cooperative Strategies for Optimization 26) 5th IEEE Symposium on Swarm Intelligence 27) artificial ants special session at META'08 28) Swarm Intelligence Journal on Particle Swarm Optimization 29) The Gene Expression Programming Bibliography 30) SCCGIV’08 31) WORLDCOMP'08 Congress, Las Vegas 32) AISB
    • 0) ECCAI-Bulletin #1, June 2008: http://www.eccai.org/bulletin/current.shtml ======================== Easy access to AI Journal ECAI conferences ECAI08 ECCAI Sponsored conferences National conferences of ECCAI member societies IEEE Intelligent systems + AI Communications ============================================================================== === Bulletin #1, June 2008 Easy access to AI Journal We are pleased to announce that in order to maximise the readership of the AI Journal, through an arrangement with Elsevier, Associates of IJCAI may obtain personal electronic access to the online contents of this international publication. This arrangement is intended for members of the international scientific AI community who do not otherwise have access to the AI Journal. To become an Associate of IJCAI at no cost, visit www.aijd.org or sign up directly at http://www.aiinternational.org/AIJ/register.php. A nontransferable link will be provided to you via e-mail once you have successfully registered on this site. This customized link will enable you to activate your free personal e-subscription to the journal Artificial Intelligence at Elsevier's Science Direct web site. Potential authors should note that these new arrangements mean that any article now submitted to the AI journal, once accepted, will always be available to anyone free of charge through these arrangements if they do not already have access to the journal. Ray Perrault and Tony Cohn Editors-in-Chief of the AI Journal ECCAI conferences ECAI- 08 in Patras (Greece) / 21- 25 July 2008 We look forward meeting you at next ECAI, in Patras! For all information, have a look here : http://www.ece.upatras.gr/ecai2008/main.htm ECCAI sponsored conferences 25 - 28 Aug Almende-0 Almende Summer School on Self-Organizin 2008 8 Agent Networks, Rotterdam (The Netherlan 14 - 18 Sep ICAPS'08 International Conference on Automated Pla 2008 Scheduling,, Sydney (Australia) 16 - 19 Sep KR 2008 11th International Conference on Principles 2008 Representation and Reasoning, Sydney (A 19 - 22 Oct ICAI-08 International Conference on Advanced Inte 2008 (China) 30 - 31 Oct RuleML-20 International RuleML Symposium on Rule I
    • 2008 08 Applications, Orlando, Florida (USA) National conferences of ECCAI member societies 04 - 06 Sep AIMSA 13th International Conference on Artificial Int 2008 2008 Methodology, Systems, Applications, Varna 02 - 04 Oct SETN ´08 5th Hellenic Conference on Artificial Intellige 2008 (Greece) 09 - 11 Dec AI-08 28th SGAI International Conference on Artifi 2008 Cambridge (UK) ECCAI journals - IEEE Intelligent systems http://www.computer.org/intelligent/ Last issue: May- June 2008 on Ambient Intelligence : Research into, and deployment of, Semantic Web technology continues to be an important part of the intelligent systems scene. This special issue explores the range of tools and techniques in current Semantic Web efforts. Also in this issue: AI's 10 to Watch, Brain-Computer Interfaces, Essay Graders, Cognitive Brain Imaging, Collaborative Semantic Authoring, and more The following articles are available without an electronic subscription: A Letter from the EditorA New Portrait of the Semantic Web in Action (pdf) James HendlerThis special issue, rather than focusing on tools specifically for ontologies, looks at how they're being used and becoming part of the overall Web ecology. The Future of AI AI's 10 to Watch (pdf) James Hendler, Philipp Cimiano, T Dmitri Dolgov, Anat Levin, Peter Mika, Brian Milch, Louis-Philippe Morency, Boris Motik, Jennifer Neville, Erik B. Sudderth, and Luis von AhnThe recipients of the 2008 IEEE Intelligent System's 10 to Watch award discuss their current research and their visions of AI for the future. Semantic Web Update Games with a Purpose for the Semantic Web (pdf) Katharina Siorpaes and Martin HeppWeaving the Semantic Web requires that humans contribute their labor and judgment for extending and updating formal knowledge structures. Hiding such tasks behind online multiplayer games presents the tasks as fun and intellectually challenging entertainment. T Trends & Controversies Brain-Computer Interfacing for Intelligent Systems (pdf) Anton Nijholt, Desney Tan, Gert Pfurtscheller, Clemens Brunner, José del R. Millán, Brendan Allison, Bernhard Graimann, Florin Popescu, Benjamin Blankertz, and Klaus-R. MüllerUsing cognitive neuroscience and brain- imaging technologies, researchers are building brain-computer interfaces- communication systems that don't depend on the brain's normal output pathways of peripheral nerves and muscles. - AI Communications http://aicom.star.dist.unige.it Last issue : Volume 21, Number 1 / 2008 http://iospress.metapress.com/content/h54x44u91772/? p=117b05b0e95b4e34ac341317423f701b&pi=0 To secure an anchor – a recovery planning approach to ambiguity in perceptual anchoring
    • by Lars Karlsson, Abdelbaki Bouguerra, Mathias Broxvall, Silvia Coradeschi and Alessandro Saffiotti Ripple Down Rule learning for automated word lemmatisation by Joël Plisson, Nada Lavrač, Dunja Mladenić and Tomaž Erjavec Pattern-based automatic taxonomy learning from the Web by David Sánchez and Antonio Moreno An ASP-based approach to dealing with agent perception failure by Francesco Buccafurri, Gianluca Caminiti and Domenico Rosaci The CADE-21 automated theorem proving system competition by Geoff Sutcliffe Next ECCAI- Bulletin in September 2008 -- IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France Tél: +33 (0) 2 99 84 71 00, Fax: +33 (0) 2 99 84 71 71 1) AI- 2008 Cambridge, UK, December 2008 In response to many requests it has been decided to extend the deadline for submitting papers/posters to SUNDAY JUNE 15th. (There will not be any further extension.) *************************************************************** AI-2008: Peterhouse College, Cambridge, UK December 9th-11th 2008 http://www.bcs-sgai.org/ai2008/ FINAL CALL Organised by BCS SGAI: The British Computer Society Specialist Group on Artificial Intelligence (an ECCAI Member Society) The leading series of UK-based international conferences on Artificial Intelligence and one of the longest running AI conference series in Europe. CALL FOR CONTRIBUTIONS AI-2008 is the Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. The scope of the conference comprises the whole range of AI technologies and application areas. AI-2008 reviews recent technical advances in AI technologies and shows how these advances have been
    • applied to solve business problems. Key features of AI-2008 are: - Papers will be published in book form by Spinger. - The Technical Stream presents the best of recent developments in AI, covering a wide range of technical areas. - The Application Stream is the largest annual showcase in Europe of real applications using AI technology. - The best papers will be reprinted in a special issue of the international journal 'Knowledge Based Systems'. - The Poster Session is a forum for disseminating new developments and latest work in progress, especially suited to MSc and PhD students. - Prizes for Best Paper in each stream and Best Poster. - The programme also includes tutorials and workshops to provide greater depth in selected topics. (These are free to delegates of the main conference, but separate registration is also available.) - The Machine Intelligence (MI) competition exhibits working systems that are a significant step towards machine intelligence. - UK CBR13, the 13th UK CBR Workshop, will be co-located with AI- 2008. - The conference qualifies for the IEE and BCS CPD schemes. - In addition to the formal sessions, the conference programme includes a welcome reception and a Gala Dinner. AI-2008 offers a valuable opportunity to keep up to date with developments in AI and to share experiences in the practical issues of developing AI systems. IMPORTANT DATES - Paper/Poster Submission: Sunday 15th June 2008 - Notification of Acceptance: Monday 21st July 2008 - Camera Ready Paper: Monday 1st September 2008 CALL FOR CONTRIBUTIONS Contributions are invited in the form of papers of up to fourteen A4 pages presenting original work in AI. Contributions may be submitted to either of two streams for oral presentation, or a parallel poster session (six pages maximum). Technical Stream Areas of interest include (but are not restricted to): knowledge
    • engineering; semantic web; constraint satisfaction; intelligent agents; machine learning; model based reasoning; verification and validation of AI systems; natural language understanding; speech-enabled systems; case based reasoning; neural networks; genetic algorithms; data mining and knowledge discovery in databases; knowledge representation, inference and reasoning; robotics and pervasive computing; qualitative and temporal reasoning; knowledge management; AI languages and environments; robotics and pervasive computing. Application Stream Case studies are welcomed describing the application of AI to real-world problems. Papers in recent years have covered all application domains, including commerce, manufacturing and government, and every major AI technique. In addition to case studies and specific applications of AI, we would welcome papers that discuss issues such as managing the transfer from research to production of AI-based products. Papers are selected to highlight critical areas of success (and failure) and to present the benefits and lessons of value to other developers. Submitted papers should make these points clear. Guidance notes for Application Stream authors are available from the website. Poster Session The Poster Session is intended for the presentation of work which meets the high standards of AI-2008, but which is more topical and preliminary than the work presented in the main two streams. It is an excellent forum for disseminating new developments and latest work in progress, especially suited to MSc and PhD students. Poster papers will be printed as short papers (maximum 6 pages) in the proceedings volumes. Papers submitted to the Technical and Application streams will automatically be considered as posters if they fall short of the standard for oral presentation in full form. Publication of Papers Papers accepted for presentation at the conference will be published in book form by Springer. - The books will be prepared from camera-ready copy supplied by the authors of accepted papers. - Formatting specifications for the proceedings have been provided by the publisher and are available from the conference website. - Authors will retain copyright in all papers published in the two volumes of proceedings. - The best six refereed papers in each stream will be reprinted as a special issue of the international journal Knowledge Based Systems. Submission of Papers
    • Papers must be prepared in either Microsoft Word or Latex. Initial versions of papers should be submitted in PDF format only and uploaded to the conference website by SUNDAY JUNE 15th 2008 at the latest. There are revised Word macro and Latex style files compared with previous years. - At least one author of each accepted paper must register for and attend the conference to present it in person, for the paper to be published. - Presenting authors will be asked to register for the conference at the discounted speakers' rate when they return the final camera-ready printed versions of their papers. Tutorials & workshops The Conference Committee invites proposals for tutorials and workshops to be presented on the first day of the conference. These should be directed in the first instance to the Tutorial/Workshop Organiser. Prizes There are sponsored prizes (a trophy plus 500 pounds) for the best paper submitted in each stream and a trophy plus a cash prize for the best poster, awarded on the basis of delegate voting. Machine Intelligence Competition A permanent trophy awarded for one year plus a 1,000 pounds cash prize will be awarded to the winner of the annual machine intelligence competition. This prize will be awarded to the working system that is considered to be the most significant step forward towards Machine Intelligence on display at the competition. All further information including details of the conference committee, program committees, paper format and uploading instructions is given on the conference website. ALL CORRESPONDENCE SHOULD BE SENT BY EMAIL TO THE CONFERENCE SECRETARIAT: sgai-conference@bcs.org.uk 2) AIIDE- 08 May 6: AIIDE-08 Demo Submissions Due The Fourth Conference on Artificial Intelligence and Interactive Digital Entertainment http://www.aaai.org/Conferences/AIIDE/aiide08.php http://www.aiide.org Dear AAAI Members,
    • Please note that the deadline for demo submissions to AIIDE-08 is next Tuesday, May 6. Prospective authors are required to register at the AIIDE-08 paper submission site at http://aaai.confmaster.net/pages/login.php? Conf=AIIDE. The software will assign a password, which will enable authors to log on to submit an abstract and paper. AIIDE-08 invites researchers and practitioners to share insights and cutting- edge results from a wide range of topics and encourages the demonstration of a) research systems in the context of existing commercial games, b) new games authored by researchers, c) contributions demonstrating the adoption and/or extension of AI research results published games, and d) completely new forms of interactive digital entertainment made possible by AI research. An electronic submission of a 2-page abstract and demonstration materials is required. Demonstration materials can take the form of a recorded demonstration session, an executable version of the demonstration with written instructions, or a detailed description of the demonstration heavily illustrated with screenshots. Please note that these materials are for review only; it is hoped that all demonstrations will be conducted live at AIIDE-08. Submissions will be judged on technical merit, accessibility to developers and researchers , originality, presentation, and significance. Demonstration abstracts will be published in the conference proceedings. The full Call for Participation, including formatting and submission requirements, is available at http://www.aaai.org/Conferences/AIIDE/2008/aiide08call.php and http://www.aiide.org/. Please also feel free to contact us at aiide08@aaai.org. Regards, Carol Hamilton Executive Director, AAAI 3) AAAI- 08/IAAI- 08 The deadline for early registration for AAAI-08 is Friday, May 16. Registration information and the online registration form are available at http://www.aaai.org/Conferences/AAAI/aaai08.php. In case you haven't had a chance to catch up on the activities planned for AAAI-08, please take a moment to visit the conference site. Here is a brief recap of some of the highlights: * AAAI Presidential Address by Eric Horvitz * AAAI-08/IAAI-08 Invited Speaker Program Alexei A. Efros (Carnegie Mellon University) David Haussler (University of California, Santa Cruz) Lillian Lee (Cornell University) Mark Newman (University of Michigan) Stuart Russell (University of California, Berkeley) Kenneth M. Ford (Florida Institute for Human & Machine Cognition
    • (IHMC)) Seth Copen Goldstein (Carnegie Mellon University) Chris Urmson (Carnegie Mellon University) * AAAI-08 Technical Paper Program 227 Technical Oral Presentations, including Special Tracks on AI & the Web, Integrated Intelligence, and Physically Grounded AI IAAI-08 Technical Papers, including 4 deployed applications and 18 emerging applications of AI Nectar Papers Senior Member Papers * AAAI-08 Poster/Demo Reception Technical Paper Poster Presentations, highlighting ~50 exceptional papers Technical Short Papers (NEW!) AI Teaching Forum Posters (NEW!) Intelligent Systems Demo Program Student Posters * AAAI-08 Tutorial Forum * AAAI-08 Workshop Program * AAAI-08 Exhibit/Competition Program AAAI Mobile Robot Exhibition AAAI General Game Playing Competition AAAI Computer Poker Competition AAAI Video Competition 2008 Trading Agent Competition (TAC-08) * AAAI-08 Student Programs Doctoral Consortium Student Abstract Posters Special Student Reception (more info TBA) AAAI-08 will be held at the Hyatt Regency McCormick Place in Chicago, Illinois, July 13-17. IAAI-08 will be collocated, July 15-17. Please feel free to contact us at aaai08@aaai.org with any questions! We look forward to seeing you at AAAI-08! Regards, Carol Hamilton Executive Director, AAAI 4) BCI2008 **************************************************************
    • FIFTH INTERNATIONAL SCHOOL ON BIOLOGY, COMPUTATION AND INFORMATION (BCI 2008) ************************************************************** September 8-12, 2008, Trieste, Italy ************************************************************** CALL FOR PARTICIPATION ************************************************************** The School of Biology, Computation, and Information (BCI), reaching this year its fifth edition, aims at bringing together Teachers and Students in Biology, Mathematics, and Computer Science. The main goal of the School is to give an updated overview of interdisciplinary techniques and problems cross-bordering the three fields. This year's edition will be centered on (Re)Sequencing and Annotating Genomes, touching a field in which new technologies and old problems meet in a context calling for an even higher level of interaction among the three different disciplines at the core of the School. The three distinguished speakers for this year's edition are Michele Morgante (Biology), Alberto Apostolico (Computer Science), and Laxmi Parida (Mathematics) and the school will take place during the second week of September (September 8-12, 2008). During the school, on Tuesday September 9th, a one-day workshop will take place. It will be titled "New Sequencing Technologies". Excellence lecturers and technological representatives will be invited and the participants to the School may submit an abstract leading to a twenty-minute presentation during the workshop. Abstracts will be sent to and selected/judged by the Scientific Committee. ************************************************************** COURSES Main topic: (Re)Sequencing and Annotation of Genomes ------------------------------------------------------------- Area: Mathematics Lecturer: Prof. Laxmi Parida, IBM Watson Research Center (Yorktown, USA) and Courant Institute of Mathematical Sciences, New York University, USA Prof. Laxmi Parida's research is focussed in the area of computational
    • biology, bioinformatics, and design and analysis of algorithms. One of the threads of her recent work has been in combinatorics and statistics of patterns in bioinformatics and another in recombination patterns for phylogeography in the ongoing Genographic Project. ------------------------------------------------------------- Area: Computer Science Lecturer: Prof. Alberto Apostolico, College of Computing, Georgia Institute of Technology and Centro Interdisciplinare ''Beniamino Segre'', Accademia Nazionale dei Lincei Professor Apostolico's research interests are in the areas of algorithmic analysis and design and applications. His recent work deals with algorithms and data structures for combinatorial pattern matching and discovery problems as arising in biomolecular sequence analysis and other application areas. ------------------------------------------------------------- Area: Biology Lecturer: Prof. Michele Morgante University of Udine, Italy. Institute for Applied Genomics, Udine, Italy. Professor Morgante's research is focused on genetic and physical mapping of plant genomes, genome sequencing and resequencing, transposable elements and plant genome evolution, plant genome organization, and population genetics of plants. He is currently the director of IGA, a research center in Udine that has recently sequenced the grape genome. He is also member of the prestigious “Accademia dei Lincei”. ************************************************************** WORKSHOP "New Sequencing Technologies" The recent advances in sequencing technology are leading to new challenges in biology, computer science, and mathematics. The workshop aims at discussing the advantages and the problems of these new technologies. ------------------------------------------------------------- Invited speakers Mike Brudno, Toronto University, Canada. Stefano Gustincich, ISAS, Trieste, Italy. Heinz Himmelbauer, Max Planck Institute for Molecular Genetics, Germany. Alberto Policriti, IGA, Udine, Italy.
    • More speakers to be announced. ************************************************************** REGISTRATION Early registration deadline: 15 June 2008. Late registration deadline: 15 August 2008. We can provide accommodation in Hotels located in the city center at a discounted rate, please visit the School website for booking details. For persons accompanying the School participants, please, contact the organizing committee. Early registration fee: EUR 200. Late registration fee: EUR 250. The registration fee covers participation to all lectures and to the workshop, course texts and general course material, coffee breaks, mid-day lunches, and transport to the conference venue. ************************************************************** LOCATION This school will be held at CBM, the company appointed for the coordination of the Friuli Venezia Giulia Technology District of Molecular Biomedicine. CBM operates around Area Science Park in Basovizza, within a picturesque woody landscape just a few miles from Trieste city centre. ************************************************************** WEBSITE AND CONTACT For all additional information, please visit the website: http://bci2008.cbm.fvg.it You can also contact the school organizers. ********************************************************************************* SPONSORS
    • - CBM (Cluster in Biomedicine), Area Science Park, Trieste. - Department of Mathematics and Computer Science, University of Trieste. - IGA (Institute for Applied Genomics), Scientific Research Park, Udine. - Department of Mathematics and Computer Science, University of Udine. - National Group of Scientific Computation of the National Institute of High Mathematics. ********************************************************************************* ORGANIZING COMMITTEE - Alberto Policriti, University of Udine (school director) - Luca Bortolussi, University of Trieste (school co-director) - Elia Stupka, CBM, Trieste (school co-director) - Alberto Casagrande, IGA, Udine - Cristian Del Fabbro, IGA, Udine - Cristina Leonesi, CBM, Trieste - Simone Scalabrin, IGA, Udine - Andrea Sgarro, University of Trieste - Nicola Vitacolonna, University of Udine ********************************************************************************* SCIENTIFIC COMMITTEE - Alberto Apostolico, Georgia Institute of Technology - Luca Bortolussi, University of Trieste - Michael Brudno, University of Toronto - Alberto Casagrande, IGA, Udine - Francesco Fabris, University of Trieste - Michele Morgante, University of Udine - Eugenio Omodeo, University of Trieste - Laxmi Parida, IBM Watson Research Center - Carla Piazza, University of Udine - Alberto Policriti, University of Udine - Simone Scalabrin, IGA, Udine - Andrea Sgarro, University of Trieste - Elia Stupka, CBM, Trieste - Nicola Vitacolonna, University of Udine ********************************************************************************* 5) MIcompetition
    • The Seventh British Computer Society Machine Intelligence Competition Wednesday December 10th 2008 at Peterhouse College, Cambridge, UK, during the annual SGAI conference AI-2008 Closing Date for Entries: October 1st 2008 This is the seventh in an annual series of competitions for live demonstrations of 'Progress Towards Machine Intelligence' organized by the British Computer Society Specialist Group on Artificial Intelligence (SGAI) in association with AKRI Ltd. The demonstration can be of either software (e.g. a question- answering system or a speech recognition system) or hardware (e.g. a mobile robot). This competition will put on show real systems demonstrated live. It is hoped that the competition and the competitors, over several years, will provide a new interest and visible improvements in the development of machine intelligence. Entry Fee: There is no entry fee and conference registration is not required. Prize: A permanent trophy awarded for one year plus a £1,000 cash prize. Format: The prize will be awarded on the basis of a 10-15 minute live demonstration (not a paper or a technical description). The prize will be awarded to the demonstration that in the opinion of the judges best demonstrates 'progress towards an intelligent machine'. Judges: All registered delegates at the conference will be eligible to vote in a secret ballot. Eligibility: The competition is open to all. A maximum of 5 entries will be presented. To control numbers, these will be selected by the organizers on the basis of information provided by the entrants.
    • Further information is available at http://www.bcs-sgai.org/micomp/ or by email from the organizers Prof. Max Bramer (Chairman, SGAI) max.bramer@port.ac.uk Richard Ellis richard.ellis@stratum-management.co.uk and Dr. John Gordon (Director, AKRI) john@akri.org. The AI-2008 conference website is at http://www.bcs-sgai.org/ai2008/. 6) Book Chapters: FCI We are editing a series of volumes on 'Foundations on Computational Intelligence' which will be published by the Springer Series in Studies in Computational Intelligence. Until today, we have received an overwhelming response (over 100 proposals so far!) to the first call for chapters. We are now considering to divide the contributions into several volumes as follows: 1. Learning and Approximation: Theoretical Foundations and Applications (covering neural networks, support vector machines, machine learning and hybrid approaches etc.) . Editors: Aboul-Ella Hassanien, Ajith Abraham 2. Approximate Reasoning: Theoretical Foundations and Applications (covering fuzzy set, rough set, probabilistic reasoning, hybrid approaches etc.) . Editors: Aboul-Ella Hassanien, Ajith Abraham, Francisco Herrera 3. Global Optimization: Theoretical Foundations and Applications (covering evolutionary algorithms, swarm intelligence, bacterial foraging, simulated annealing, tabu search, GRASP, hybrid approaches etc.) . Editors: Aboul- Ella Hassanien, Ajith Abraham, Patrick Siarry 4. Data Mining: Theoretical Foundations and Applications . Editors: Aboul- Ella Hassanien, Ajith Abraham, Andre de Carvalho 5. Multi agent systems: Theoretical Foundations and Applications . Editors: Aboul-Ella Hassanien, Ajith Abraham 6. Computational Intelligent Paradigms: Theoretical Foundations and Applications . Editors: Aboul-Ella Hassanien, Ajith Abraham, Witold Pedrycz,
    • Andries P Engelbrecht All accepted chapters will be seggregated into one of the above volumes. More information about the book is available online at: http://www.cba.edu.kw/abo/FCI-AboAjith/foundci.html We would like to take this opportunity to personally invite you to kindly consider preparation of a chapter to be included into one of the above volume . If you are interested in contributing to any of the volumes, please send an e-mail to the following address: Aboitcairo@gmail.com informing the title of the chapter and its abstract. We would like to hear from you before May 23, 2008. Sincerely yours, Aboul-Ella Hassanien, Ajith Abraham, Francisco Herrera, Witold Pedrycz, Andre de Carvalho, Patrick Siarry, Andries P Engelbrecht Volumes Editors 7) Book chapters: optimisation Dear Colleagues, We have received many good proposals during the first round of our call for chapters. In this second round, we would like to focus particularly on the following areas: (1) novel algorithms for optimisation (2) optimisation in planning, scheduling and timetabling problems (3) the use of artificial immune systems in optimisation If you are interested in this publication, please drop me a short reply at rchiong@swinburne.edu.my. Best wishes, Raymond ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~ CALL FOR CHAPTERS ================== Proposals Submission Deadline: 31 MAY 2008 (flexible) Full Chapters Due: 15 JULY 2008 (strict deadline) Nature-Inspired Algorithms for Optimisation A volume edited by Raymond Chiong To be published by Springer-Verlag in the series Studies in Computational Intelligence (SCI)
    • Book Objectives & Mission: Nature has always been a source of inspiration. In recent years, new concepts, techniques and computational applications stimulated by nature are being continually proposed and exploited to solve a wide range of optimisation problems in diverse fields. Various kinds of nature-inspired algorithms have been designed and applied, and many of them are producing high quality solutions to a variety of real-world applications and optimisation problems, including scheduling, manufacturing, logistics, space allocation, stock cutting, anomaly detection, engineering design, software testing, bioinformatics and data mining, etc. The success of these algorithms has led to competitive advantages and cost savings not only to the industry but also the society at large. The use of nature-inspired algorithms stands out to be promising due to the fact that many real-world problems have become increasingly complex. The size and complexity of the optimisation problems nowadays require the development of methods and solutions whose efficiency is measured by their ability to find acceptable results within a reasonable amount of time. Despite there is no guarantee of finding the optimal solution, approaches based on the influence of biology and life sciences such as evolutionary algorithms, neural networks, ant systems, swarm intelligence, artificial immune systems, and many others have been shown to be highly practical and provided state-of-the-art solutions to various optimisation problems. The aim of this book is to provide a central source of reference by collecting and disseminating the progressive body of knowledge on nature-inspired algorithms and their applications. The main focus will be the implementation of novel nature-inspired solutions for optimisation based on empirical studies. Recommended topics include, but are not limited to, the following: Methods: -evolutionary algorithms -memetic algorithms -neural networks -artificial life -particle swarm optimisation -ant colony optimisation -artificial immune systems -membrane, molecular, cellular and DNA computing -tabu search, simulated annealing, etc -hybrid methods with metaheuristics, machine learning, game theory, mathematical programming, constraint programming, co-evolutionary learning, etc Applications: -evolutionary games -evolutionary economics -production, logistics and transportation -telecommunications and engineering design -planning, scheduling and timetabling -bioinformatics and data mining
    • -grid computing and computer security -software testing and software self assembly -numerical and combinatorial optimisation -multi-objective optimisation, dynamic optimisation, problems with uncertainty, etc -integration of natural computing techniques in intelligent systems -optimisation strategies in robotics path planning, task allocation and coordination -optimisation and control of highly nonlinear, large scale or networked engineering -successful optimisations in the fields of business, science and engineering Submission Procedure: Researchers and practitioners are invited to submit on or before May 31, 2008 a 1-2 page proposal to rchiong@swinburne.edu.my clearly explaining the mission and concerns of his or her proposed chapter. Authors of accepted proposals will be notified in 2-3 weeks time about the status of their proposals. Full chapters are expected to be submitted by July 15, 2008. All submitted chapters will be reviewed by at least three reviewers. About the series Studies in Computational Intelligence: The series Studies in Computational Intelligence (SCI) publishes new developments and advances in the various areas of computational intelligence - quickly and with a high quality. The intent is to cover the theory, applications, and design methods of computational intelligence, as embedded in the fields of engineering, computer science, physics and life science, as well as the methodologies behind them. The series contains monographs, lecture notes and edited volumes in computational intelligence spanning the areas of neural networks, connectionist systems, genetic algorithms, evolutionary computation, artificial intelligence, cellular automata, self- organising systems, soft computing, fuzzy systems, and hybrid intelligent systems. Critical to both contributors and readers are the short publication time and world-wide distribution - this permits a rapid and broad dissemination of research results. Inquiries and submissions can be forwarded electronically or by mail to: Raymond Chiong Head of Intelligent Informatics Research Group School of Computing & Design Swinburne University of Technology (Sarawak Campus) State Complex, 93576 Kuching Sarawak, Malaysia Tel.: +60 82 416 353 • Fax: +60 82 423 594 E-mail: rchiong@swinburne.edu.my 8) Book Chapters: Learning CALL FOR CHAPTERSProposals Submission Deadline: 15 June 2008 Full Chapters Due: 30 July 2008
    • Learning and Approximation: Theoretical Foundations and Applications A Springer book edited by Ajith Abraham, Aboul-Ella Hassanien, and Athanasios Vasilakos http://www.cba.edu.kw/abo/FCI-AboAjith/foundciLA.html Introduction Approximation and Learning algorithms are fundamental tools that deal with computationally hard problems and problems in which the input is gradually disclosed over time. Both kinds of problems have a large number of applications arising from a variety of fields, such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems. The past years have witnessed a large number of interesting applications of various computational intelligence techniques, such as rough sets, Neural Networks; Fuzzy Logic; Evolutionary Computing; Artificial Immune Systems; Swarm Intelligence; Reinforcement Learning and evolutionary computation, to intelligent multimedia processing. In spite of numerous successful applications of computational intelligence techniques in business and industry, it is sometimes difficult to explain from a theoretical perspective. Therefore, we encourage authors to present original chapter dealing with the incorporation of such CI techniques into Learning and Approximation algorithms and processes. Objective of the Book The main objective of this book is to provide a central source of reference on computational intelligence algorithms that deals with all theoretical, computational, and applied aspects of Learning and Approximation. Original research articles explore Learning and Approximation in the widest sense, including Statistical learning algorithms, Theoretical foundations of learning in large probabilistic environments, Neural networks, kernel methods, Graphical models, Gaussian processes, Learning in complex systems. Function approximation, dimensionality reduction, feature selection for learning, and alternative state representations. Cooperative and competitive multi-agent reinforcement learning. Learning in nonstationary domains and stochastic, network, and dynamic games. It will contain open- solicited and invited chapters written by leading researchers and well- known academics in relevant fields. All articles will be reviewed by three
    • independent reviewers. The book will cover the state-of-the-art as well as latest research discoveries and applications, thus making it a valuable reference for a large community of audiences. Target Audience This book will be an important reference to researchers/academics working in the field of Learning and Approximation and its related areas including neural networks, support vector machines, and machine learning. It will also be a potential resource for senior undergraduate and postgraduate students. Recommended topics include, but are not limited to, the following: Statistical learning algorithms,Theoretical foundations of learning in large probabilistic environments.Neural networks, kernel methods, Graphical models, Gaussian processes, Learning in complex systems. Function approximation, dimensionality reduction, feature selection for learning, and alternative state representations.Cooperative and competitive multi-agent reinforcement learning. Learning in nonstationary domains and stochastic, network, and dynamic games. Dimensionality reduction and manifold learning, Reinforcement Learning with Approximation SpacesModel selection, Combinatorial optimization, Relational learning. Neuroimaging, Cognitive neuroscience, EEG (electroencephalogram),ERP (event related potentials), MEG (magnetoencephalogram), fMRI (functional magnetic resonance imaging), Brain mapping, brain segmentation, and brain computer interfaces. Cognitive Science and Artificial Intelligence: theoretical, computational, or experimental studies of perception, psychophysics, human or animal learning, reasoning, problem solving, natural language processing, and neuropsychology. Control and Reinforcement LearningLearning Theory: generalization, regularization and model selection, Bayesian learning, spaces of functions and kernels, statistical physics of learning, online learning and competitive analysis, hardness of learning and approximations, large deviations and asymptotic analysis, information theory. Neuroscience: theoretical and experimental studies of processing and transmission of information in biological neurons and networks, including spike train generation, synaptic modulation, plasticity and adaptation.Innovative applications that use machine learning, including systems for time series prediction, bioinformatics, text/web analysis, multimedia processing, and robotics. Etc. Submission Procedure Researchers and practitioners are kindly invited to send on or before June 15 2008 a short email to to Aboitcairo@gmail.com containing a preliminary title and a short abstract of their chapter. This will facilitate the planning of the review process. All chapter proposals will be peer reviewed. Full chapters will be expected by JULY 30 2008. All submitted chapters will be reviewed by at least three reviewers on a
    • double-blind review basis. The book is scheduled to be published by To be published in "Studies in Computational Intelligence" published by Springer Verlag, Germany Editors Ajith Abraham, Aboul Ella Hassanien (Abo) and Athanasios Vasilakos 9) CELDA 08 IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2008) October 13 - 15, 2008 - Freiburg, Germany (http://www.celda-conf.org/) Co-organised by: Albert-Ludwigs-Universität Freiburg Endorsed by the Japanese Society of Information and Systems in Education * Conference background and goals The IADIS CELDA 2008 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. Paradigms such as just-in-time learning, constructivism, student-centered learning and collaborative approaches have emerged and are being supported by technological advancements such as simulations, virtual reality and multi-agents systems. These developments have created both opportunities and areas of serious concerns. This conference aims to cover both technological as well as pedagogical issues related to these developments. Main tracks have been identified. However innovative contributions that do not easily fit into these areas will also be considered as long as they are directly related to the overall theme of the conference – cognition and exploratory learning in the digital age. * Format of the Conference The conference will comprise of invited talks and oral presentations for discussion-oriented papers. The proceedings of the conference will be published in the form of a book and CD-ROM. Authors of the best published papers in the CELDA 2008 proceedings will be invited to publish extended versions of their papers in a
    • special issue of the Educational Technology Research and Development Journal (ETR&D) - ISSN: 1042-1629 (print version) ISSN: 1556-6501 (electronic version). * Types of submissions Full papers, Short Papers and Reflection papers. All submissions will go through a double-blind refereeing process with at least two international experts. * Topics of interest include, but are not limited to the following areas: - Acquisition of expertise - Assessing progress of learning in complex domains - Assessment of exploratory learning approaches - Assessment of exploratory technologies - Cognition in education - Collaborative learning - Educational psychology - Exploratory technologies (such as simulations, VR, i-TV and so on) - Just-in-time and Learning-on-Demand - Learner Communities and Peer-Support - Learning Communities & Web Service Technologies - Pedagogical Issues Related with Learning Objects - Learning Paradigms in Academia - Learning Paradigms in Corporate Sector - Life-long Learning - Student-Centered Learning - Technology and mental models - Technology, learning and expertise - Virtual University * Important Dates: - Submission Deadline: 26 May 2008 - Notification to Authors: until 7 July 2008 - Final Camera-Ready Submission and Early Registration: Until 28 July 2008 - Late Registration: After 28 July 2008 * Conference Location The conference will be held in Freiburg, Germany. * Secretariat IADIS Secretariat - IADIS INTERNATIONAL CONFERENCE CELDA 2008 Rua Sao Sebastiao da Pedreira, 100, 3 1050-209 Lisbon, Portugal E-mail: secretariat@celda-conf.org Web site: http://www.celda-conf.org/ * Program Committee Conference Co-Chairs Pedro Isaias, Universidade Aberta (Portuguese Open University), Portugal Dirk Ifenthaler, Albert-Ludwigs-Universität Freiburg, Germany Program Co-Chairs Kinshuk, Athabasca University, Canada Demetrios G Sampson, University of Piraeus, Greece J. Michael Spector, Florida State University, USA Committee Members: please see http://www.celda-
    • conf.org/committees.asp for updated list. * Co-located Conference: This conference is co-located with the IADIS International Conference WWW/Internet 2008 (http://www.internet-conf.org/) - participants of one conference may attend the sessions from the other conference at no extra charges. This mailing system may only be used for sending permission based email. If you did not give permission to receive emails from this sender, please notify us. This email was sent to brian@daimi.au.dk by ana.sofia@celda-conf.org | Print / PDF version | Read our Priva Policy. 10) CIMCA'08 CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 CALL FOR PAPERS International Conference on Computational Intelligence for Modelling, Control and Automation 10-12 December 2008 - Vienna, Austria http://community.ise.canberra.edu.au/conference/cimca08/ Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ Honorary Chair: Lotfi A. Zadeh, University of California, USA Stephen Grossberg, Boston University, USA Important Dates: 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Collaborators and sponsors: European Society for Fuzzy Logic and Technology - EUFLAT International Association for Fuzzy Set in Management and Economy - SIGEF
    • Japan Society for Fuzzy Theory and Intelligent Informatics - SOFT Taiwan Fuzzy Systems Association - TFSA World Wide Web Business Intelligence - W3BI Hungarian Fuzzy Association - HFA University of Canberra IEEE - Conference Proceedings will be published by IEEE in USA The international conference on computational intelligence for modelling, control and automation will be held in Vienna, Austria on 10-12 December 2008. The conference provides a medium for the exchange of ideas between theoreticians and practitioners to address the important issues in computational intelligence, modelling, control and automation. The conference will consist of both plenary sessions and contributory sessions, focusing on theory, implementation and applications of computational intelligence techniques to modelling, control and automation. For contributory sessions, papers (4 pages or more) are being solicited. Several well-known keynote speakers will address the conference. Conference Proceedings will be published as books by IEEE (The Institute of Electrical and Electronic Engineering) in USA and will be index world wide. All papers will be peer reviewed by at least two reviewers. Topics of the conference include, but are not limited to, the following areas: Modern and Advanced Control Strategies: Neural Networks Control, Fuzzy Logic Control, Genetic Algorithms and Evolutionary Control, Model-Predictive Control, Adaptive and Optimal Control, Intelligent Control Systems, Robotics and Automation, Fault Diagnosis, Intelligent agents, Industrial Automations, Modelling, Simulation Hybrid Systems: Fuzzy Evolutionary Systems, Fuzzy Expert Systems, Fuzzy Neural Systems, Neural Genetic Systems, Neural-Fuzzy-Genetic Systems, Hybrid Systems for Optimisation Data Analysis, Prediction and Model Identification: Signal Processing, Prediction and Time Series Analysis, System Identification, Data Fusion and Mining, Knowledge Discovery, Intelligent Information Systems,
    • Image Processing, and Image Understanding, Parallel Computing applications in Identification & Control, Pattern Recognition, Clustering and Classification Decision Making and Information Retrieval: Case-Based Reasoning, Decision Analysis, Intelligent Databases & Information Retrieval, Dynamic Systems Modelling, Decision Support Systems, Multi-criteria Decision Making, Qualitative and Approximate-Reasoning Paper Submission Papers will be selected based on their originality, significance, correctness, and clarity of presentation. Papers (4 pages or more) should be submitted to the following e-mail or through conference website: E-mail: cimca@canberra.edu.au CIMCA'2008 Secretariat School of Information Sciences and Engineering University of Canberra, Canberra, 2616, ACT, Australia Electronic submission of papers (either by E-mail or through conference website) is preferred. Papers should present original work, which has not been published or being reviewed for other conferences. Important Dates 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Special Sessions and Tutorials Special sessions and tutorials will be organised at the conference. The conference is calling for special sessions and tutorial proposals. All special session proposals should be sent to the conference chair (by email to: masoud.mohammadian@canberra.edu.au) on or before 4th of August 2006. CIMCA'06 will also include a special poster session devoted to recent work and work-in-progress. Abstracts are solicited for this session. Abstracts (3 pages limit) may be submitted up to 30 days before the conference date. Visits and social events Sightseeing visits will be arranged for the delegates and guests. A separate program will be arranged for companions during the conference. Further Information For further information either contact cimca@canberra.edu.au or see the conference homepage at: http://community.ise.canberra.edu.au/conference/cimca08/ Organising Committee: Canada and USA Liaison: J. D. Pinter, J. D. Pinter, PCS Inc. & Dalhousie University, Canada
    • Asia Liaison: Christina Meier, W3BI, Australia R. Amin Sarker, ADFA, Australia Europe Liaison: Frank Zimmer, ASTRA - Luxembourg Nasser Jazdi, Institut für Automatisierungs- und Softwaretechnik, Germany Andreas S. Andreou, University of Cyprus,Cyprus Publication: Masoud Mohammadian, University of Canberra, Australia International Programme Committee J. Liu, Hong Kong Baptist University, Hong Kong A. Namatame, National Defense Academy, Japan A. Agah, The University of Kansas, USA J. P. Bigus, IBM T.J. Watson Research Center, USA E. André, Universit ät Augsburg, Germany K. Sycara, Carnegie Mellon University, USA H. Adeli, The Ohio State University, USA B. Kosko, University of Southern California, USA A. Kandel, University of South Florida, USA T. Fukuda, Nagoya University, Japan T. Baeck, Informatic Centrum Dortmund, Germany J.Bezdek, University of West Florida, USA M. Mohammadian University of Canberra, Australia K. Hirota, Tokyo Institute of Technology, Japan E. Oja, Helsinki University of Technology, Finland W. Pedrycz, University of Manitoba, Canada X. Yao, The University of New South Wales, ADFA, Australia H. R. Berenji, NASA Ames Research Center, USA R. C. Eberhart, Purdue University,USA T. Shibata, MITI, Ministry of International Trade and Industry, Japan H. Liljenstrom, Royal Institute of Technology, Sweden A. Y. Zomaya, University of Western Australia, Australia F. Herrera, University of Granada, Spain A Jafari, Indiana University Purdue University Indianapolis, IUPUI, USA A. Bulsari, AB Nonlinear Solutions OY, Finland B. Ruhul Sarker, University of New South Wales (ADFA), Australia J. D. Pinter, Dalhousie University, Canada T. Furuhashi, Nagoya University, Japan A. Aamodt, Norwegian University of Science and Technology, Norway J. Fernandez de Cañete, University of Malaga, Spain W. Duch, Nicholas Copernicus,University, Poland E. Tulunay, Middle East Technical University, Turkey L. Guan, University of Sydney, Australia C. Kuroda, Tokyo Institute of Technology, Japan T. Yamakawa, Kyushu Institute of Technology, Japan 11) DASIP 2008
    • Conference on Design and Architecturesfor Signal and Image Processing DASIP 2008 Paper submission extended deadline: May 30, 2008Special session paper submission deadline: June 16, 2008 http://www.ecsi.org/dasip Université Libre de Bruxelles, BelgiumNovember 24-26, 2008 DASIP Conference is sponsored by ECSI, EURASIP and Universite Libre de Bruxelles and technically co-sponsored by IEEE Benelux Section and IEEE France Section Call for Papers The development of complex applications involving signal, image and control processing, is classically divided into three consecutive steps: a theoretical study of the algorithms, a study of the target architecture, and finally the implementation. Such a linear design flow is reaching its limits due to the intense pressure on design cycle and strict performance constraints. The approach, called Algorithm- Architecture-Matching, aims to leverage the design flow by a simultaneous study of both algorithmic and architectural issues, taking into account multiple design constraints, as well as algorithm and architecture optimizations. Introducing new design methodologies is necessary when facing the new emerging applications as for example advanced mobile communication systems or smart sensors based systems. This forms a driving force for the future evolutions of embedded system designs methodologies. The research community in Europe addressing these issues is very active both in academy and industry. The goals of this Conference are to present the latest results in the domain of design and architecture for signal and image processing and to initiate a regular meeting of European researchers addressing this topic. The DASIP Conference will give the opportunity for researchers to exchange the ideas and to build the collaboration on emerging topics and technologies. It also aims to strength the links between the European Information Society Technologies (IST) priorities and the researchers in the domain of design and architecture for signal and image processing. The DASIP Conference results from the success for more than ten years of the French workshop on Algorithm-Architecture-Matching. The first edition called "Workshop on Algorithm Architecture Adequation" was held in Lannion in 1992 (AAA 1992). During eight years a two-year event was organized, AAA 1994 in Grenoble, AAA 1996 in Toulouse, AAA 1998 in Saclay and AAA 2000 in Rocquencourt. In 2002 thanks to its widespread success the workshop was extended to all francophone
    • countries, JFAAA 2002 was held in Monastir and JFAAA 2005 in Dijon. In 2007 the workshop was extended to the Europe in order to reach a wider community. Each edition was a great success gathering more than one hundred of researchers from industry, academia and government organizations. DASIP 2008 will aim to promote and strengthen the links between European researchers further. In the context of the architectures and tools for signal and image processing DASIP 2008 topics include but are not limited to: Methods and tools for Algorithm-Architecture-Matching _ System level design and hardware/software codesign_ RTOS for embedded systems_ Formal models and transformations_ Algorithm transformations and metrics_ Communication synthesis_ Architectural and logic synthesis_ Design verification, fault tolerance_ Performance analysis and estimations_ Rapid system prototyping, embedded software_ Embedded system security New and emerging architectures and technologies _ SoC and MPSoC_ Reconfigurable ASIP_ FPGA, dynamic reconfigurable systems_ Asynchronous circuits (self-timed)_ Analog circuits and mixed-signal circuits_ Biologically based or biologically inspired systems_ MEMS, bioMEMS_ Nano-technologies, quantum computing Smart sensors _ Vision and audio sensor_ Fingerprint sensor, biosensor_ Structurally-embedded sensor_ Sensing requirements for active control systems_ Distributed and multiplexed sensors, sensors network_ Adaptive sensor, evolutionary sensor_ Sensor for health monitoring_ Sensor system monitoring_ Environmental monitoring Applications _ Embedded systems for automotive_ Embedded systems for health_ Embedded platforms for multimedia and telecom_ Analog mixed-signal design challenge_ Ambient intelligence, ubiquitous computing_ Wearable computing_ Handheld devices (smart cameras, PDAs, GPSs)_ Security systems, cryptography_ Object recognition and tracking Special sessions and demonstrations A number of special sessions are planned during the Conference. We have two special sessions approved so far. If you wish to propose a special session you can still do so by submitting the following via e-mail (in either pdf or plain ascii text form) to Ahmet.Erdogan@ee.ed.ac.uk. - Title of the proposed special session- Rationale of the need for the special session at DASIP 2008- Short biography of the special session organizers If you want to contribute to any of the special sessions approved so far (please see below) you should submit your paper via the online submission link. Papers should conform to the formatting and electronic submission guidelines of a regular DASIP paper. A list of special sessions approved so far: Special Session 1 Organizers: Yves SOREL, National Institute for Research in Computer Science and Control (INRIA), France and Joël GOOSSENS, Université Libre de Bruxelles (ULB), Belgium Title: Resource Management Techniques for Real-time Operating Systems in a Co-Design Framework
    • The session is dedicated to original contributions about resource management techniques for real-time operating systems (RTOS) based on specific and realistic hardware devices in a co-design framework. More precisely, the session will consider research papers which contribute to the techniques (resources management, scheduling, worst case execution time (WCET) characterization, synchronization mechanisms, etc.) used at operating system level but based on realistic, accurate and pragmatic hardware issues. Examples of such hardware issues include but are not limited to: Multi-Processor System-on-Chip (MPSoC) technologies, multi-core architectures, low-power aware platforms, context- switch sensitive systems, caches memory devices, etc. Papers dealing with the fact that the different abstraction layers impact each other in those techniques are welcome.For further information please e- mail: yves.sorel@inria.fr and joel.goossens@ulb.ac.be Special Session 2 Organiser: Ahmet T. Erdogan, The University of Edinburgh, UK Title: Systems and Architectures for Real-time Image Processing Due to rapid advancements in integrated circuit technology, the rich theoretical results that have been developed by the image and video processing research community are now being increasingly applied in practical systems to solve real-world image and video processing problems. Examples of such systems are mobile phones, digital still/video/cell-phone cameras, portable media players, personal digital assistants, high-definition television, video surveillance systems, industrial visual inspection systems, medical imaging devices, vision-guided autonomous robots, and many other real-time embedded systems. In these real-time systems, strict timing requirements demand that results are available within a certain interval of time as imposed by the application. In addition to these strict timing constraints, these systems also involve constraints such as area and power consumption. This special session brings together practitioners and researchers working in all aspects of real-time image and video processing. It will serve as a forum for exchange of novel ideas on corresponding hardware developments, software tools, system solutions, and all types of applications. Topics of interest of this special session include, but are not be restricted to: - Real-time image and video processing algorithms- Real-time embedded image and video processing systems- Real-time image and video processing architectures including dynamically reconfigurable architectures (both conventional FPGAs and custom reconfigurable architectures), parallel DSP systems and Media processors, application specific parallel architectures, parallel and distributed architectures - Real-time hardware/software co-design for image and video processing- Real-time image and video processing applications including HDTV, set-top boxes, mobile multimedia, smart cameras, machine vision, industrial inspection, surveillance and security, image and video compression for transmission and for database storage and retrieval, biomedical imaging, satellite image processing, etc. For further information please e-mail: Ahmet.Erdogan@ee.ed.ac.uk Special Session 3 Organiser: Gareth Howells, University of Kent, UK and Klaus McDonald-Maier, University of Essex, UK Title: "Formal Models, Transformations and Architectures for Reliable Embedded System Design" Due to the increasing complexity and demand for reliability and integrity there is a mounting pressure for design paradigms that facilitate safety and mission critical operation in embedded software and hardware systems, significantly in transport, industrial control and automotive systems. This special session brings together practitioners and researchers working in reliable embedded system design. This session is dedicated to contributions in the general areas of formal models, transformations and architectures with a focus on reliable embedded system design and their application for specific problems of interest. It will serve as a forum for exchange of novel
    • ideas on corresponding hardware developments, software tools, system solutions, and all types of applications. Topics of interest of this special session include, but are not be restricted to:- Model Driven Design- Design and System Verification- Applications and algorithms- Execution platform for automotive and other applications (FPGA, MPSoC, etc)- Technology design For further information please e-mail: kdm@essex.ac.uk and w.g.j.howells@kent.ac.uk Instructions for Authors Electronic paper submission requires a full paper, up to 8 double-column IEEE format pages, including figures and references. Demonstration papers should not exceed 1 double-column IEEE format page long. Document templates are available at the following address: http://www.ecsi.org/dasip/. Publications of DASIP papers:- All accepted papers will be published in electronic version on USB key, CD-ROM, and on the web pages (ECSI, EURASIP, DBLP)- Selected papers will be published in a Special Issue Journal of EURASIP- The authors of selected papers submitted to DASIP will be invited to prepare an extended manuscript for publication in Signal and Image Processing Architectures book to be published by Springer Science + Business Media publisher. Important Dates Deadline for paper submission: May 30, 2008 (Extended deadline) Deadline for Special Session proposals: May 26, 2008 (Extended deadline) Deadline for Special Session paper submissions: June 16, 2008 Notification of paper acceptance: July 18, 2008 Final camera-ready papers due: October 10, 2008
    • Sponsoring Organisations DASIP Conference is sponsored by ECSI, EURASIP and Universite Libre de Bruxelles The event is technically co-sponsored by IEEE Benelux Section and IEEE France Section Additional Information & Workshop Web Site For additional information about the event please visit the Web Site: http://www.ecsi.org/dasip/ Please, transfer this message to persons interested in this topic! We apologise if you've received multiple copies of this message! 12) ESM'2008 ------------ESM'2008, OCTOBER 27-29, 2008, UNIVERSITE DU HAVRE, LE HAVRE, FRANCE, 2ND CFP------------ ESM'2008 EUROPEAN SIMULATION AND MODELLING CONFERENCE 2008 October 27-29, 2008 2ND CALL FOR PAPERS Sponsored by EUROSIS-UNIVERSITE DU HAVRE and LITIS The ESM'2008 (The 22nd annual European Simulation and Modelling Conference) [ http://www.eurosis.org/cms/?q=taxonomy/term/129 ] is the original international European conference concerned with state of the art technology in modelling and simulation. ESM'2008 aims to provide an overview of academic research in the field of computer simulation. A number of major tracks of simulation research
    • are presented next to specific workshops, which capture the art and science of present-day simulation research. The conference will feature the following keynotes [ http://www.eurosis.org/cms/index.php?q=node/694 ]: Spatial Simulation and Complex Systems Prof. Denise Pumain, UMR Géographie-cités, Paris - France Multi-agent modelling and applications to robotics and cognition Dr.Aladdin Ayesh, De Montfort University, Leicester, United Kingdom The following tutorials [ http://www.eurosis.org/cms/index.php?q=node/695 ]: Agent-Based Modeling and Simulation with the Multi-Agent Simulation Suite Laszlo Gulyas, PhD, AITIA International Inc. and Lorand Eotvos University, Budapest Michel Cotsaftis, LACSC – ECE, Paris, France Prof. Jean-Pierre Müller, LIRMM, CIRAD, Montpellier cedex 5, France SOFTWARE TUTORIALS: (you can still submit other software tutorials here) Multi-Agent Systems Implementations – Practical Sessions REPAST-MIMOSA-GRAPHSTREAM The following themes [ http://www.eurosis.org/cms/index.php?q=node/706 ]: - Modelling Methodology - Modelling Simulation Tools - Object-Orientation and Re-use - Simulation and AI - AI and Expert Systems - AI and Neural Networks - AI and Fuzzy Systems - High Performance/Parallel and Large Scale Computing - Simulation in Education and Graphics Visualization - Simulation in Environmental Ecology, Biology and Medicine - Simulation in Biological Systems - Analytical and Numerical Modelling Techniques - Web Based Simulation - Agent Based Simulation - Cosmological Simulation The following workshops [ http://www.eurosis.org/cms/index.php?q=node/707 ]: - Simulation with Petri Nets - Simulation with Bond Graphs - DEVS - Fluid Flow Modelling Simulation - Models and simulations for Emergency and Risk Management - Complex Systems: Historical & Dynamical point of view - Emotional dimensions of cognition - Artificial Society - Simulation, Modelling and Data Management in RTS Deadlines [ http://www.eurosis.org/cms/index.php?q=node/698 ]: You can send in submissions from June 15 to July 25.
    • Venue and Social Programme [ http://www.eurosis.org/cms/index.php? q=node/701 ]: The ESM2008 will be held at the Universite du Havre [ http://www.univ-lehavre.fr/internat/index_anglais.php ], France. More info on the venue [ http://www.eurosis.org/cms/index.php?q=node/709 ] page. The conference will feature a number of visits: 1) to Honfleur [ http://en.ot-honfleur.fr/Accueil,0,0,1.html ] (for the conference dinner) 2) to Etretat [ http://www.etretat.net/ ] or Port 2000. 3) a post conference tour to Mont Saint Michel [ http://www.lemontsaintmichel.info/ ]. Hotel Info [ http://www.eurosis.org/cms/index.php?q=node/700 ] Conference Committee *General Conference Chair* Cyrille Bertelle, Universite du Havre, le Havre, France *General Conference Co-Chair* to be announced *Past Conference Chair* Jaroslav Sklenar, University of Malta. Msida, malta *Journal Publication Chair* Laurence Tianruo Yang, St. Francis Xavier University, Canada. *Local Programme Committee* Cyrille Bertelle, Universite du Havre, le Havre, France Damien Olivier, Universite du Havre, le Havre, France Frédéric Guinand, Universite du Havre, le Havre, France M.A. Aziz-Alaoui, Universite du Havre, le Havre, France Stefan Balev, Universite du Havre, le Havre, France Antoine Dutot, Universite du Havre, le Havre, France Véronique Jay, Universite du Havre, le Havre, France INTERNATIONAL PROGRAMME COMMITTEE *Methodology and Tools* Pierre l'Ecuyer, Universite de Montreal, Canada Michel Gourgand, Universite Blaise Pascal, Aubiere, France Thomas Hanne, Fraunhofer -ITWM, Kaiserslautern, Germany Celso Hirata, Inst. Tecnologico de Aeronautica, Campos, Brazil Bjorn Johansson, Chalmers Univ. of Techn, Gotheburg, Sweden Abder Koukam, Univ.de Technologie de Belfort, Belfort, France Moreno Marzolla, Universita di Venezia, Mestre, Italy Carlos E. Pereira, Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil Eric Ramat, LIL, Calais, France Roberto Revetria, University of Genova, Italy M. del Puerto Paulo Ruiz, Univesidad de Valladolid, Spain Bert van Beek, Eindhoven University of Technology, The Netherlands Abdou Zakari, LITA, Universite de Metz, France *Object-Orientation and Re-Use* Frederic Mallet, University of Nice, Sophia Antipolis, France *Simulation and Artificial Intelligence* Ajith Abraham, Chung-Ang University, Seoul, South Korea Mokhtar Beldjehem, École Polytechnique de Montréal, Montréal, Canada
    • Helder Coelho, Fac Ciencias, Lisbon, Portugal Paulo Cortez, University of Minho, Guimareas, Portugal Charbel Fares, ESIEE, Noisy-le-Grand, France Adina Magda Florea, Univ. Politehnica of Bucharest, Romania Adam Galuszka, Silesian Technical University, Gliwice, Poland Martin Hruby, Brno University of Technology, Brno, Czech Republic Vladimir Janousek, Brno University of Technology, Brno, Czech Republic Esko Juuso, University of Oulu, Finland Bernd Kleinjohann, University of Paderborn, Germany Jose Neves, Universidade do Minho, Braga, Portugal Tudor Niculiu, Univ. Politehnica of Bucharest, Romania Wolfgang Kreutzer, Univ. of Canterbury, Christchurch, New Zealand Damien Olivier, Universite du Havre, France Maja Pantic, Imperial College, London, United Kingdom Eshan Rajabally, University of Newcastle, Newcastle, United Kingdom Leon Rothkrantz, TU Delft, The Netherlands Franciszek Seredynski, Polish Acad.of Science, Warsaw, Poland Sarawut Suijtjorn, Suranaree Univ.of Technology, Nakhon Ratchasima, Thailand Jim Torresen, University of Oslo, Norway Frantisek Zboril, Brno University of Technology, Brno, Czech Republic Morched Zeghal, Nat. Res.Council Canada, Ottawa, Canada *High Performance Large Scale and Hybrid Computing* Track Chair: Beniamino di Martino, Second University of Naples, Italy Jan Broeckhove, University of Antwerp, Antwerp, Belgium Giancarlo Fortino, Universita della Calabria, Rende, Italy Mohammad Riaz Moghal, Univ.of Engineering and Technology, Mirpur, Pakistan Jari Porras, Lappeenranta University of Technology, Finland Simon See, Sun Microsystems Inc, Singapore Pierre Siron, ONERA, Toulouse, France Carl Tropper, McGill University, Montreal, Canada Behrouz Zarei, Sharif University of Technology, Tehran, Iran *Simulation in Education and Graphics Visualization* Ebad Banissi, South Bank University, London, United Kingdom Antonella Carbonaro, Universita di Bologna, Italy Carlos Luis dos Santos, Universite Blaise Pascal, Aubiere, France Magy Seif El-Nasr, Penn State University, Evanston, USA George Gyftodimos, University of Athens, Greece Jan Lemeire, VUB, Brussels, Belgium Qingping Lin, Nanyang Technological University, Singapore Marco Roccetti, University of Bologna, Italy Gerardo Silva, University of Santiago, Chile Guilherme Luis Roehe Vaccaro, PUCRS, Porto Alegre, Brazil Franz Wotawa, TU Graz, Austria *Simulation in Environment, Ecology, Biology and Medicine* Eduardo Ayesa, CEIT, San Sebastian, Spain Cyrille Bertelle, LIH, Le Havre, France Thierry Chaussalet, University of Westminster, London, UK Charbel Fares, A2SI-ESIEE, Noisy le Grand, France Brian S. McIntosh, Cranfield University, United Kingdom Vahid Nassehi, Loughborough University, United Kingdom Laurent Perochon, INRA, St Genes Champanelle, France Cezary Orlowski, Technical University Gdansk, Poland Tarik Ozkul, American University of Sharjah, UAE
    • Pierrick Tranouez, Labo Info du Havre, France *Analytical and Numerical Modelling Techniques* Ana M. Camacho, UNED, Madrid, Spain Tom Dhaene, University of Antwerp, Belgium Roland Haas, DaimlerChrysler Research and Technology, Bangalore, India Clemens Heitzinger, Purdue University, West Lafayette, USA Francesco Moscato, Seconda Univ.of Naples, Aversa, Italy Panajotis Katsaros, Aristotle University, Thessaloniki, Greece Eva M. Rubio, UNED, Madrid, Spain Bruno Tuffin, IRISA, Rennes, France Sarawut Sujitjorn, Suranaree Univ. of Technology, Nakhon Ratchasima, Thailand *Web Based Simulation* Dimosthenis Anagnostopoulos, Harokopion University of Athens, Greece Manuel Alfonseca, Universidad Autonoma de Madrid, Spain Ammar Al-Khani, VTT Processes, Espoo, Finland Jose Barata, New University of Lisbon, Portugal Lenin Lemus, UPV, Valencia, Spain Yan Luo, NIST, Gaithersburg, USA Jose Machado, University of Minho, Braga, Portugal Mara Nikolaidou, University of Athens, Greece Francesco Quaglia, University of Rome I, Italy Krzysztof Pawlikowski, University of Canterbury, Christchurch, New Zealand Vaclav Snasel, VSB Technical University of Ostrava, Czech Republic *Agent Based Simulation* Jian Chen, Tsinghua University, Beijing, China Jacinto A. Dávila, Universidad de los Andes, Merida, Venezuela Marielle Delhom, Unviersite de Corse, Corti, France Eric Gouarderes, UPPA, Pau, France Frederic Guinand, Universite du Havre, France Zisheng Huang, Vrije Universiteit Amsterdam, The Netherlands Jean-Luc Koning, INPG-ESISAR-LEIBNIZ, Grenoble, France Peter Lawrence, Australian Catholic University, Melbourne, Australia Ioan Alfred Letia, TU Cluj Napoca, Romania Paulo Novais, Universidade do Minho, Braga, Portugal Jan-Torsten Milde, FH Fulda, Germany Lars Monch, TU Ilmenau, Germany Isabel Praca, Ist. Superior do Porto, Portugal Marco Remondino, University of Turin, Italy Agosthino Rosa, Technical University Lisbon, Portugal Xiaolan Xie, INRIA-LIGPM, Metz, France *Simulation with Petri Nets* Meziane Bennour, LIRRM, Montpellier, France Pascal Berruet, Universite Bretagne Sud, Lorient, France Carmen Bobeanu, Ghent University, Belgium Mauro Iacono, University of Naples II, Italy Juan de Lara, Univ. Autonoma de Madrid, Spain Hammid Demmou, LAAS CNRS, Toulouse, France Olivier Grunder, UTBM, Belfort, France Guenter Hommel, TU Berlin, Germany Stefano Marrone, Seconda Università degli Studi di Napoli, Naples, Italy Alexandre Nketsa, LAAS-CNRS, Toulouse, France Mario Paludetto, LAAS-CNRS, Toulouse, France Jean-Claude Pascal, LAAS-CNRS, Toulouse, France
    • Ivo Vondrak, Technical University of Ostrava, Czech Republic *Bond Graphs Simulation* Rui Esteves Araujo, DEEC-FEUP, University of Porto, Portugal Jesus Felez, Univ. Politecnica de Madrid, Spain Aziz Naamane, DIAM-IUSPIM, Marseille, France Manuel Rodrigues Quintas, FEUP, University of Porto, Portugal Andre Tavernier, BioSim, Brussels, Belgium *DEVS* Fabrice Bernardi, University of Corsica, Corte, France Dirk Brade, FOI, Stockholm, Sweden Adriano Carvalho, FEUP, University of Porto, Portugal Alexandre Muzy, Universite de Corse, Corti, France Fernando Tricas, Universidad de Zaragoza, Spain Armin Zimmerman, TU Berlin, Germany *Fluid Flow Simulation* Patrik Arlos, Blekinge Institute of Technology, Sweden Diganta Bhusan Das, University of Oxford, United Kingdom H.A.Nour Eldin, University of Wuppertal, Germany David Erman, Blekinge Institute of Technology, Sweden Markus Fiedler, Blekinge Institute of Technology, Sweden Hai Xiang Lin, TU Delft, The Netherlands Adrian Popescu, Blekinge Institute of Technology, Sweden *Models and simulations for Emergency and Risk Management* *Track Chair:* Damien Olivier, LITIS, UFR Sciences et Techniques, Le Havre, France *IPC* A. Ayesh, De Montfort University, Leicester, United Kingdom E. Babkin, Higher School of Economics (Nihzny Novgorod), Russia E. Daudé, Université de Rouen, Rouen, France D. Lefebvre, Université du Havre, Le Havre, France D. Olivier, Université du Havre, Le Havre, France G. Planchette, IMDR, France D. Provitolo, Université de Franche-Comté et de Bourgogne, France *Complex Systems: Historical & Dynamical point of view* *Track Chair:* Jean-Marc Ginoux, IUT de Toulon, La Garde, France *IPC* Cyrille Bertelle, University of Le Havre, Le Havre, France Aziz Alaoui, University of Le Havre, Le Havre, France Bruno Rossetto, Protee, Toulon, France Jean-Marc Ginoux, Protee, Toulon, France Gérard H.E. Duchamp, Paris 13, France Michel Cotsaftis, ECE, Paris, France *Emotional dimensions of cognition and their modelling in problem-solving, learning and decision-making* *Chairs:* Aladdin Ayesh, De Montfort University, Leicester, United Kingdom Evelyne Clément, Rouen University, Rouen, France *IPC* Habib Abdulrab, Rouen University, Rouen, France Aladdin Ayesh, De Monfort University, Leicester, United Kingdom Cyrille Bertelle, Le Havre University, le Havre, France Sophie Baudic, INSERM, Boulognes, France Evelyne Clément, Rouen University, Rouen, France
    • Gérard H.E. Duchamp, Paris 13 University, Paris, France Véronique Jay, Le Havre University, Le Havre, France Damien Olivier, Le Havre University, le Havre, France Pierrick Tranouez, Rouen University, Rouen, France *Artificial Society* *Chairs:* Aladdin Ayesh, De Montfort University, Leicester, United Kingdom Cyrille Bertelle, Le Havre University, Le Havre, France *IPC* Aladdin Ayesh, De Montfort University, Leicester, United Kingdom Edward Babkin, Cyrille Bertelle, Universite du Havre, Le Havre, France. Laszlo Gulyas Eric Daudé Bernard Elissalde *Simulation, Modelling and Data Management in Real-Time Systems (SMDM-RTS'2008)* *Chairs* L. Amanton, LITIS, University of Le Havre, Le Havre, France J-P. Babau, INSA, Lyon, France L. Baccouche, RIADI-GDL, University of Tunis, Tunisia L A. Bensrhair, LITIS, INSA, Rouen, France R. Bouaziz, MIRACL, Université de Sfax, Tunisie Ch. Collet, LIG, Grenoble, France F. Cottet, LISI, ENSMA, Poitiers, France J. Darmont, ERIC, Lyon 2, France C. Duvallet, LITIS, University of Le Havre, France F. Gargouri, REGIM, University of Sfax, Tunisie A. Hammad, LIFC, University of Franche-Comte, France M. Mainguenaud, LITIS, INSA, Rouen, France Z. Mammeri, IRIT, Univesity of Toulouse, France N. Navet, LORIA, University of Nancy, France P. Richard, LISI, ENSMA, Poitiers, France B. Sadeg, LITIS, University of Le Havre, France Y-Q. Song, LORIA, University of Nancy, France C. Soule-Dupuy, IRIT, University of Toulouse, France K. Yetongnon, IEE, University of Dijon, France *Session Co-Chairs* Bruno Sadeg [ bruno.sadeg@univ-lehavre.fr ], Claude Duvallet [ claude.duvallet@univ-lehavre.fr ], Laurent Amanton [ laurent.amanton@univ-lehavre.fr ] You can reply by using the following link [ http://www.eurosis.org/cms/?q=node/795 ] More info about the conference can be found on: http://www.eurosis.org/cms/?q=taxonomy/term/129 Regards Philippe -- Philippe Geril Tel: +32.59.255.330 EUROSIS -ETI Fax: +32.59.255339 Greenbridge NV E-mail: philippe.geril@eurosis.org
    • Wetenschapspark 1 E-mail: pgeril@yahoo.co.uk Plassendale 1 URL: http://www.eurosis.org B-8400 Ostend Belgium ********************************************************************* * Your Scientific information site on * * Computer Simulation - Concurrent Engineering - Multimedia- Games * * WWW.EUROSIS.ORG * ********************************************************************* 13) HIS 2008 HIS 2008 - Last Call for Papers http://his2008.lsi.upc.edu/ The 8th Hybrid Intelligent Systems Conference – HIS 2008 will be held at the Technical University of Catalonia, UPC Barcelona, Spain 10–12 September 2008 -- HIS 2008 is Technicaly Co-sponsored by -- IEEE Systems Man and Cybernetics Society (pending approval) ENNS: European Neural Network Society IFSA: International Fuzzy Systems Association EUSFLAT: European Society for Fuzzy Logic and Technology Journal Special Issues: Authors of accepted papers of HIS2008 will be invited to submit extended version of their papers to the following International Journals. Details will be given soon for each special issue. * Applied Soft Computing, Elsevier. The international electronic journal of the World Federation on Soft Computing (WFSC), covering fuzzy logic, neural networks, evolutionary computing http://www.elsevier.com/locate/asoc * International Journal of Intelligent Computing and Cybernetics, Emerald Pub. The International Journal of Intelligent Computing and Cybernetics' objectives are to discuss, through papers, new theoretical developments and techniques in the fields of intelligent computing and cybernetics http://info.emeraldinsight.com/products/journals/journals.htm?id=ijicc
    • * Neural Network World, International Journal on Neural and Mass-Parallel Computing and Information Systems In negotiation http://www.uivt.cas.cz/nnw/ * The International Journal of Hybrid Intelligent Systems (IJHIS), IOS Press. The International Journal of Hybrid Intelligent Systems (IJHIS) is a peer refereed journal on the theory and applications of hybrid and integrated intelligent systems. PLENARY TALKS: José Luís Balcázar Departament de Llenguatges i Sistemes Informàtics Universitat Politècnica de Catalunya Barcelona, Spain Stefano Cagnoni Dipartimento di Ingegneria dell'Informazione Università degli Studi di Parma Parma, Italy Andries Engelbrecht University of Pretoria South Africa Imre Rudas Budapest Tech Hungary Albert Y. Zomaya Chair Professor of High Performance Computing & Networking School of Information Technologies The University of Sydney Australia SCOPE Hybridization of intelligent systems is a promising research field of modern artificial/computational intelligence concerned with the development of the next generation of intelligent systems. A fundamental stimulus to the investigations of Hybrid Intelligent Systems (HIS) is the awareness in the academic communities that combined approaches will be necessary if the remaining tough problems in artificial/computational intelligence are to be solved. Recently, Hybrid Intelligent Systems
    • are getting popular due to their capabilities in handling several real world complexities involving imprecision, uncertainty and vagueness. HIS'07 builds on the success of last year's. HIS'07 was held during September 17-19, 2007, Kaiserslautern - Germany and attracted participants from several countries. HIS'08 is the Eighth International conference that brings together researchers, developers, practitioners, and users of soft computing, computational intelligence, agents, logic programming, and several other intelligent computing techniques. The aim of HIS'08 is to serve as a forum to present current and future work as well as to exchange research ideas in this field. HIS'08 invites authors to submit their original and unpublished work that demonstrates current research using soft computing, computational intelligence and other intelligent computing techniques and their applications in science, technology, business and commerce. HIS'08 will focus on the following themes: * Hybrid Intelligent Systems: Architectures and Applications * Soft Computing for Image and Signal Processing * Intelligent Internet Modeling, Communication and Networking * Intelligent Data mining * Computational Biology and Bioinformatics * Intelligent Business Information Systems * Soft Computing for Control and Automation * Multi Agent Systems and Applications * Special topics (See the full topic list at http://his2008.lsi.upc.edu/call-for-papers-topic-list.html) Submitted papers should be original and contain contributions of theoretical, experimental or application nature, or be unique experience reports. Papers must be submitted no later than May 31, 2008 and electronic submission in PDF is required. The page limit for a full-length paper is 6 pages. All submissions should be in the IEEE 8.5 two-column format. Papers should contain up to 5 keywords. Papers will be evaluated for originality, significance, clarity, and soundness, and will be reviewed by at least three or more independent reviewers. Accepted papers will be published by IEEE Computer Society Press. Selected papers presented at the conference will be considered for publication in special issues of several international Journals. The HIS'08 Program Committee will select one winner for the Best Paper Award (all regular papers are eligible)
    • and one winner for the Best Student Paper Award. For the best student paper award, the student must be the sole author of the paper or the first author and primary contributor. A cover letter (clearly stating the satisfaction of the above mentioned requirement) to the General Chair/Program Chair must identify the paper as a candidate for this competition at the time of submission. The award winners will each be presented with an award certificate and a direct payment of 500 Euros at the conference, and an extended version of the award-winning papers will be considered for publication in the International Journal of Hybrid Intelligent Systems (IJHIS). It is assumed that all accepted manuscripts would be presented at the conference. All accepted papers must be accompanied by a full paid registration to appear in the proceedings. All full papers are to be submitted in PDF electronically via the web site. Important dates: May 31st, 2008 Submission deadline June 30th, 2008 Notification of acceptance July 15th, 2008 Camera ready papers due For Poster Session, please visit the HIS2008 web page at http://his2008.lsi.upc.edu/ For Workshop and special session proposals, please visit the HIS2008 web page at http://his2008.lsi.upc.edu/ For Industrial Track / Panel session, please visit the HIS2008 web page at http://his2008.lsi.upc.edu/ The following Special Sessions are now opened: Hybrid learning for Neural Networks: Architecture and Applications Cesar Hervás, Pedro Antonio Gutiérrez University of Cordoba, Spain Learning Classifier Systems: New trends and challenges Ester Bernadó-Mansilla Ramon Llull University, Barcelona, Spain Hybrid Intelligent Business and Industrial Information Systems (HIBI2S) Alberto Bugarín, Manuel Lama University of Santiago de Compostela, Spain Intelligent Systems and Data Mining Techniques for Bioinformatics Alicia Troncoso, Raul Giráldez Pablo de Olavide University, Sevilla, Spain Hybrid Intelligent Sytems for Data Reduction in Data Mining José Manuel Benítez, Salvador García University of Granada, Spain Bioinspired and Evolutionary Computation based Data Mining Techniques María José del Jesús, Univ. Jaen
    • Jose Antonio Gámez, Univ. Castilla-La Mancha, Spain Neural Netwoks and Neuro fuzzy systems H.Pomares, L.J.Herrera, Ignacio Rojas University of Granada, Spain Hybrid Metaheuristics and their applications Pedro Isasi University Carlos III, Madrid, Spain HIS 2008 Organization General Chairs * Fatos Xhafa, UPC, Spain * Ajith Abraham, NTNU, Norway * Mario Koeppen, KIT, Japan Programme Chairs * Francisco Herrera, Spain * Andreas Koenig, Germany * Enrique Alba, Spain International Co-Chairs * Nikola Kasabov, New Zealand * Oscar Cordon, Spain * Jose Mira, Spain * Luis Magdalena, Spain * Andre C.P.L.F. de Carvalho, Brazil * Aureli Soria Frisch, Spain * Christian Igel, Germany * Jun Wang, The Chinese U. of Hong Kong, China Organizing Chair * Leonor Frias, UPC, Spain Local Organizing Committee * Josefina López (co-chair), UPC, Spain * Angel Alejandro Juan (co-chair), UOC& UPC, Spain * Ivan Bruque, UPC, Spain * Pepa López, UPC, Spain * Oscar Romero, UPC, Spain * Àngela Martín, UPC, Spain * Andreu Moreno, UPC, Spain * Angel Alejandro Juan, UPC, Spain Web Administrator Chair * Pau Fernández, UPC, Spain Contact
    • Fatos Xhafa PhD in Computer Science Associate Professor Departament de Llenguatges i Sistemes Informàtics Universitat Politècnica de Catalunya Barcelona, Spain Voice +34 93-413-7880 Fax +34 93-413-7833 Email: fatos at lsi upc edu 15) ISDA 2008 - Taiwan ISDA 2008 - Final Call for Papers (Deadline: May 21, 2008) ------------------------------------------------------------------------------------- Eighth International Conference on Intelligent Systems Design and Applications (ISDA 2008) November 26-28, Kaohsuing, Taiwan http://bit.kuas.edu.tw/~isda08/ - over 30 special sessions and International Workshops aproved so far! -- Proceedings published by IEEE Computer Society Press (Indexed by EI) Special issues of Journals: http://bit.kuas.edu.tw/~isda08/special_issue.html ISDA Previous locations: http://www.softcomputing.net/isda.html Proceedings of previous ISDA conferences: http://csdl2.computer.org/persagen/DLPublication.jsp? pubtype=p&acronym=ISDA About ISDA 2008: The International Conference on Intelligent Systems Design and Applications (ISDA) is a major annual international conference to bring together researchers, engineers, developers and practitioners from academia and industry working in all interdisciplinary areas of computational intelligence and system engineering to share their experience, and exchange and cross-fertilize their ideas. Following the big success of ISDA'2007, ISDA'2008, which is the eighth edition of ISDA, serves as a forum for the dissemination of state-of-the-art research, development, and implementations of intelligent systems, intelligent technologies and useful applications in these fields. Submission web site: http://bit.kuas.edu.tw/paper_management/index.php?conf_alias=isda08
    • Looking forward to seeing your contribution. General Chairs Jeng-Shyang Pan, National Kaohsiung University of Applied Sciences, Taiwan Ajith Abraham, Norwegian University of Science and Technology, Norway Chin-Chen Chang, Feng Chia University, Taiwan Program Committee Chairs Saman Halgamuge, University of Melboume, Australia Tzung-Pei Hong, National University of Kaohsiung, Taiwan Bao-Long Guo, Xidian University, China Xia-Mu Niu, Harbin Institute of Technology, China ISDA 2008 PC: http://bit.kuas.edu.tw/~isda08/committee.html 16) ISC'2008 ------------ISC'2008, UNIVERSITE DE LYON FINAL PROGRAMME IS NOW ONLINE------------ Dear Colleague, this is to inform you that the ISC'2008 final programme can now be downloaded in doc format from the following links http://www.eurosis.org/cms/files/ISC2008FINPROG.doc and from http://www.eurosis.org/cms/files/isc/isc2008/ISC2008FINPROG.doc The pdf will be linked tomorrow Regards Philippe - Philippe Geril Tel: +32.59.255.330 EUROSIS -ETI Fax: +32.59.255339 Greenbridge NV E-mail: philippe.geril@eurosis.org Wetenschapspark 1 E-mail: pgeril@yahoo.co.uk Plassendale 1 URL: http://www.eurosis.org B-8400 Ostend Belgium ********************************************************************* * Your Scientific information site on *
    • * Computer Simulation - Concurrent Engineering - Multimedia- Games * * WWW.EUROSIS.ORG * ********************************************************************* 17) ICLP'08 CALL FOR PAPERS ICLP'08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers, position papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. * Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling, Integration. * Language Issues: Extensions, Integration with Other Paradigms, Concurrency, Modularity, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. * Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics The three broad categories for submissions are: (1) Technical papers, providing novel research contributions, innovative perspectives on the field, and/or novel integrations across different areas; (2) Application papers, describing innovative uses of logic programming technology in real-world application domains; (3) Posters, ideal for presenting and discussing current work, not yet ready for publication, for PhD thesis summaries and research project overviews. A separate session dedicated to the celebration of the 20th anniversary of
    • stable model semantics will also be part of the program. Accepted papers and posters will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, specialized sessions, workshops, and a Doctoral Student Consortium. Details, as they become available will be posted at: http://iclp08.dimi.uniud.it PAPERS AND POSTERS ------------------ Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. Emphasis will be placed on the novelty and innovative nature of the results (even if not completely polished and refined). All submissions will be peer-reviewed by an international panel. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The limit for posters is 5 pages in the same format. The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. WORKSHOPS --------- The ICLP'08 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a more focused and specialized audience. Workshops also provide a venue for presenting specialised topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas.
    • DOCTORAL CONSORTIUM ------------------- The Doctoral Consortium (DC) on Logic Programming is the 4th Doctoral consortium to provide doctoral students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and word-renown experts in the field. The DC will also offer invited speakers and panel discussions. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS ------------------------------------------------ The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled "The stable semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988. It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming. Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications. To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz. as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a panel discussion, and regular accepted ICLP papers falling into the answer-set programming area will complete the program. CONFERENCE VENUE ---------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its commercial and shopping opportunities and its outstanding wine and culinary traditions. SUPPORT SPONSORING AND AWARDS ----------------------------- The conference is sponsored by the Association for Logic Programming (ALP). The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP 2008: for the best technical paper and for the best student paper.
    • IMPORTANT DATES --------------- Papers Posters Abstract submission deadline June 2nd n/a Submission deadline June 9th August 15th Notification of authors August 1st September 1st Camera-ready copy due September 15th September 15th 20 Years of Stable Models TBA Doctoral Consortium TBA Workshop Proposals June 2nd Early-bird Registration TBA Conference December 9-13, 2008 ICLP'2008 ORGANIZATION ---------------------- General Chair: Agostino Dovier (University of Udine) Program Co-Chairs: Maria Garcia de la Banda (Monash University) Enrico Pontelli (New Mexico State University) Workshop Chair: Tran Cao Son (New Mexico State University) Doctoral Student Consortium: David Warren (SUNY Stony Brook) Tom Schrijvers (K.U.Leuven) Publicity Co-Chairs: Marcello Balduccini (Kodak Research Labs) Alessandro Dal Palu' (University of Parma) Programming Competition Chair: Bart Demoen (K.U.Leuven) 20 Years of Stable Models: Mirek Truszczynski (University of Kentucky) Andrea Formisano (University of Perugia) Program Committee: Salvador Abreu Sergio Antoy Pedro Barahona Chitta Baral Gerhard Brewka Manuel Carro Michael Codish Alessandro Dal Palu' Bart Demoen Agostino Dovier John Gallagher Michael Gelfond Carmen Gervet Gopal Gupta Manuel Hermenegildo Andy King Michael Maher Juan Moreno Navarro Alberto Pettorossi Brigitte Pientka Gianfranco Rossi Fariba Sadri Vitor Santos Costa Tran Cao Son Paolo Torroni Frank Valencia Mark Wallace Web Master:
    • Raffaele Cipriano Local Arrangements Committee: Alberto Casagrande Elisabetta De Maria Luca Di Gaspero Carla Piazza ---------------------------------------------------- For further information: iclp08@cs.nmsu.edu http://iclp08.dimi.uniud.it From: iclp08pub@cs.nmsu.edu Subject: ICLP'08 CALL FOR APPLICATION PAPERS Date: 9. maj 2008 17.10.34 GMT+02:00 To: undisclosed-recipients:; ICLP'08 Solicitation for Application Papers 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it Within the scope of the general call for papers for the upcoming 24th International Conference on Logic Programming, we would like to draw the attention of researchers and practitioners on the opportunity to submit manuscripts to the Application Track of the conference. Application papers, are expected to describing complex and/or real-world applications that rely in an essential manner on the use of logic programming technology. Description of innovative applications as well as engineering solutions leveraging logic programming technology are solicited. SUBMISSION: ----------- Papers must describe original, previously unpublished results, and must not be simultaneously submitted for publication elsewhere. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Application papers should be structured to emphasize: * the application domain, in terms understandable by a layman * the specific problem addressed within the application domain, stressing importance and complexity * a clear discussion of the unique need for logic programming technology to address the problem
    • * a clear description of the application developed and its evaluation. Application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at: http://www.easychair.org/conferences/?conf=ICLP08 REVIEW PROCESS: --------------- All submissions will be peer-reviewed by an international panel. Application papers will be reviewed separately from regular technical papers. Accepted papers will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. IMPORTANT DATES --------------- Abstract submission deadline June 2nd Submission deadline June 9th Notification of authors August 1st Camera-ready copy due September 15th Early-bird Registration TBA Conference December 9-13, 2008 --- For further information: iclp08@cs.nmsu.edu http://iclp08.dimi.uniud.it From: iclp08pub@cs.nmsu.edu Subject: ICLP'08 CALL FOR WORKSHOP PROPOSALS Date: 24. maj 2008 20.45.02 GMT+02:00 To: undisclosed-recipients:; *** CALL FOR WORKSHOP PROPOSALS ***
    • ICLP'08 24rd International Conference on Logic Programming December 9-13, 2008 Udine, Italy URL: http://iclp08.dimi.uniud.it/ ICLP'08, the 24rd International Conference on Logic Programming, will be held in Udine (Italy), from December 9 to 13, 2008. Workshops co-located with international conferences are one of the best venue for the presentation and discussion of preliminary work or novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP'08 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications) including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP'08 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experiences of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Tran Cao Son) by email (tson@cs.nmsu.edu) by June 2nd, 2008. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by June 15, 2008.
    • The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and can print the workshop proceedings, whose LaTeX preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP'08 home page by July 15th, 2008. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for printing (deadline to be defined) * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested (see http://www.logicprogramming.org/ [Guidelines for electronic publishing of proceedings]) Location: ========= All workshops will take place in the city of Udine at the site of the main conference. See the ICLP'08 web site for location details. Important Dates: ================ June 2, 2008: Proposal submission deadline June 15, 2008: Notification July 15, 2008: Deadline for receipt of CFP and URL for workshop web page November 1, 2008: Deadline for preliminary proceedings December 9-13, 2008: ICLP'08 workshops Workshop Chair: =============== Tran Cao Son [tson AT cs dot nmsu dot edu] (www.cs.nmsu.edu/~tson) =========================================================== ============== 18) IJCAR'08 Workshop on Automated Reasoning SECOND CALL FOR PAPERS
    • PAAR-2008 IJCAR'08 Workshop on Practical Aspects of Automated Reasoning Deadline: 27 May 2008 http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html GENERAL INFORMATION The first Workshop on Practical Aspects of Automated Reasoning will be held in August 2008, in Sydney, Australia. PAAR will be associated with the 4th International Joint Conference on Automated Reasoning (IJCAR-2008). SCOPE PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. This workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Topics include but are not limited to: o automated reasoning in classical and non-classical logics, implementation of provers; o automated reasoning tools for all kinds of practical problems and applications; o practical experiences, case studies, feasibility studies; o evaluation of implementation techniques and automated reasoning tools; o benchmarking approaches; o non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications; o implementation techniques, optimisation techniques, strategies and heuristics; o system descriptions and demos. We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems in practice, and how to apply existing systems to real problems. SUBMISSIONS Researchers interested in participating are invited to submit a short (2-10 pages) abstract via EasyChair. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming Postscript or PDF. To submit a paper, go to the EasyChair PAAR page http://www.easychair.org/conferences/?conf=paar2008
    • and follow the instructions there. FINAL VERSIONS The final versions should be prepared in LaTeX using the Springer Verlag llncs class. The workshop proceedings will be published as a technical report and distributed at the event. If quality and quantity of the subissions warrants this, we plan to produce a special issue of a recognized journal on the topic of the workshop. IMPORTANT DATES: Submission of abstracts: May 27th, 2008 Notification: June 20th, 2008 Camera ready versions due: July 7th, 2008 Workshop: August 10th or 11th, 2008 INVITED SPEAKERS: John Slaney, http://users.rsise.anu.edu.au/~jks/ TBA PROGRAM COMMITTEE Serge Autexier Nikolaj Bjorner Peter Baumgartner Koen Claessen Bernd Fischer Ulrich Furbach Martin Giese Volker Haarslev Thomas Hillenbrand Tommi Junttila Deepak Kapur Boris Konev (Co-Chair) Konstantin Korovin Bill McCune Boris Motik Flavio LC de Moura Hans de Nivelle Albert Oliveras Brigitte Pientka Adam Pease Silvio Ranise Renate Schmidt (Co-Chair) Stephan Schulz (Co-Chair) Sanjit Seshia Geoff Sutcliffe Cesare Tinelli Josef Urban Luca Vigano Andrei Voronkov Uwe Waldmann ORGANIZERS Boris Konev, University of Liverpool Renate Schmidt, University of Manchester Stephan Schulz, TU Muenchen
    • 19) LION 3 -- Learning and Intelligent OptimizatioN Learning and Intelligent OptimizatioN Conference LION 3 14-18 January, 2009. Trento, Italy More details and up-to-date information at www.intelligent-optimization.org/LION3 Building on the success of the previous editions we are organizing a new event for January 2009. The LION conference is aimed at exploring the boundaries and uncharted territories between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. The main purpose of the event is to bring together experts from these areas to discuss new ideas and methods, challenges and opportunities in various application areas, general trends and specific developments. The conference program will consist of plenary presentations, introductory and advanced tutorials, technical presentations, and it will give ample time for discussions. Relevant Research Areas ======================== LION 3 solicits contributions dealing with all aspects of learning and intelligent optimization. Topics of interest include, but are not limited to: - Stochastic local search methods and meta-heuristics - Hybridizations of constraint and mathematical programming with meta- heuristics - Supervised, unsupervised and reinforcement learning applied to heuristic search - Reactive search (online self-tuning methods) - Algorithm portfolios and off-line tuning methods
    • - Algorithms for dynamic, stochastic and multi-objective problems - Interface(s) between discrete and continuous optimization - Experimental analysis and modeling of algorithms - Theoretical foundations - Parallelization of optimization algorithms - Memory-based optimization - Prohibition-based methods (tabu search) - Memetic algorithms - Evolutionary algorithms - Dynamic local search - Iterated local search - Variable neighborhood search - Swarm intelligence methods (ant colony optimization, particle swarm optimization etc.) High-quality scientific contributions to these topics are solicited, in addition to advanced case studies from interesting, high-impact application areas. We also welcome proposals for advanced tutorial presentations. Submission Details =================== We will accept submissions in the following formats: - Original novel and unpublished work for publication in the post-conference proceedings (max. 15 pages in Springer LNCS format); - An extended abstract of work-in-progress or a position statement (max. 4 pages); - Manuscripts that have recently been accepted for publication or appeared within the last 6 months in a peer-reviewed journal or which are currently under review (only for oral presentation). Each submission will be evaluated according to its relevance to the meeting, novelty, technical quality, and presentation. Extended abstracts of work-in-progress and position statements will not appear in the post-conference proceedings volume. However, a limited set of work-in-progress abstracts will be invited for the submission of a complete paper after the conference, to undergo an
    • additional review process as for the complete papers above. All submissions will appear in informal proceedings, to be distributed at the conference. The post-conference proceedings will be published by a major international publisher; as for LION 2, we expect to publish the proceedings again in Springer's Lecture Notes in Computer Science (LNCS) series. Best Paper Award ================= A best paper award will be presented at the conference. Further Information ==================== Up-to-date information will be published on the web site www.intelligent-optimization.org/LION3. For information about local arrangements, registration forms, etc., please refer to the above-mentioned web site or contact the local organizers. Important Dates =============== (Strict) submission deadline 15 October, 2008 Notification of acceptance 22 November, 2008 Conference 14-18 January, 2009 Camera ready for post-proceedings 15 February, 2009 LION 3 Conference Committee ============================ Conference Chair: Bart Selman, Cornell University (USA) Steering Committee Chair, Local Chair: Roberto Battiti, Univ. of Trento (Italy) Technical Program Committee Chair: Thomas Stuetzle, Universite Libre de Bruxelles (Belgium) Technical Program Committee Ethem Alpaydin, Bogazici University (Turkey) Roberto Battiti, University of Trento (Italy) Mauro Birattari, Universite Libre de Bruxelles (Belgium) Christian Blum, Universitat Politecnica de Catalunya (Spain) Immanuel Bomze, University of Vienna (Austria) Andrea Bonarini, Politecnico di Milano (Italy) Juergen Branke, University of Karlsruhe (Germany) Carlos Cotta, Universidad de Malaga (Spain) Karl Doerner, University of Vienna (Austria) Marco Dorigo, Universite Libre de Bruxelles (Belgium) Michel Gendreau, Universite de Montreal (Canada) Carla Gomes, Cornell University (USA) Marco Gori, University of Siena (Italy)
    • Walter Gutjahr, University of Vienna (Austria) Youssef Hamadi, Microsoft Research, Cambridge (UK) Richard Hartl, University of Vienna (Austria) Geir Hasle, SINTEF Applied Mathematics (Norway) Pascal van Hentenryck, Brown University (USA) Franzisco Herrera, Universidad de Granada (Spain) Tomio Hirata, Nagoya University (Japan) Holger Hoos, University of British Columbia (Canada) Bernardo Huberman, Hewlett - Packard (USA) Mark Jelasity, University of Szeged (Hungary) Narendra Jussien, Ecole des Mines de Nantes (France) Zeynep Kiziltan, University of Bologna (Italy) Michail G. Lagoudakis, Technical University of Crete (Greece) Vittorio Maniezzo, Universita di Bologna (Italy) Elena Marchiori, Vrije Universiteit Amsterdam (The Nederlands) Francesco Masulli, Universita degli Studi di Genova (Italy) Lyle A. McGeoch, Amherst College (USA) Peter Merz, Technische Universitaet Kaiserslautern (Germany) Zbigniew Michalewicz, University of Adelaide (Australia) Nenad Mladenovic, Brunel University, West London (UK) Pablo Moscato, The University of Newcastle (Australia) Amiram Moshaiov, Tel-Aviv University (Israel) Raymond Ng, University of British Columbia (Canada) Panos Pardalos, University of Florida (USA) Marcello Pelillo, Universita "Ca' Foscari" di Venezia (Italy) Vincenzo Piuri, Universita di Milano (Italy) Christian Prins, University of Technology of Troyes (France) Guenther Raidl, Technische Universitaet Wien (Austria) Franz Rendl, Universitaet Klagenfurt (Austria) Celso Ribeiro, Puntifica Universidade Catolica do Rio de Janeiro (Brazil) Ruben Ruiz, Polytechnic University of Valencia (Spain) Wheeler Ruml, University of New Hampshire (USA) Andrea Schaerf, University of Udine (Italy) Marc Schoenauer, INRIA (France) Meinolf Sellmann, Brown University (USA) Bart Selman, Cornell University (USA) Yaroslav D. Sergeyev, Universita della Calabria (Italy) Marc Sevaux, University of South-Brittany (France) Patrick Siarry, Universite Paris XII Val De Marne, Paris, (France) Kate Smith-Miles, Deakin University (Australia) Christine Solnon, Universite Lyon 1 (France) Eric Taillard, University of Applied Sciences of Western Switzerland (Switzerland) Jose Luis Verdegay, Universidad de Granada (Spain) Stefan Voss, University of Hamburg (Germany) Benjamin W. Wah, University of Illinois, Urbana-Champaign (USA) Jean-Paul Watson, Sandia National Laboratories (USA) Darrell Whitley, Colorado State University (USA) David Woodruff, University of California, Davis (USA) Qingfu Zhang, University of Essex (UK) --------------------------------------------------------------------- II RRRR II DDDD II AAAA Universite' Libre de Bruxelles II RR RR II DD DD II AA AA IRIDIA, CP 194/6 II RRRR II DD DD II AAAAAA Avenue Franklin Roosevelt 50 II RR RR II DD DD II AA AA 1050 Bruxelles
    • II RR RR II DDDD II AA AA Belgium Dr. Thomas Stuetzle Tel.: +32 (0)2 650 3167 room C5.108a Fax.: +32 (0)2 650 2715 Email: stuetzle@ulb.ac.be WWW: http://iridia.ulb.ac.be/~stuetzle http://www.sls-book.net --------------------------------------------------------------------- ANTS 2008 - Sixth International Conference on Ant Colony Optimization and Swarm Intelligence - Brussels, Belgium, September 22-24, 2008 http://iridia.ulb.ac.be/ants2008/ --------------------------------------------------------------------- LION 3 - Learning and Intelligent OptimizatioN 2009, Trento, Italy http://www.intelligent-optimization.org/LION3 20) Machine Learning ============================================================= | 2nd Call for Papers | | Swarm Intelligence for Knowledge Discovery in Data | | Special Issue for the International Journal | | Machine Learning | ============================================================= CFP can be found online at: http://www.econ.kuleuven.be/public/ndbaf65/CFP.pdf Guest editors ------------- David Martens (K.U.Leuven) Tom Fawcett (Stanford University) Bart Baesens (K.U.Leuven/University of Southampton) Scope ----- Swarm Intelligence is a relatively new subfield of artificial intelligence which studies the emergent collective intelligence of groups of simple agents. It is based on the social insects’ metaphor where a number of insects with limited capabilities are able to come to intelligent solutions for complex problems. In recent decades the Swarm Intelligence paradigm has received widespread attention in research, mainly as Ant Colony Optimization (ACO) and Particle Swarm Optimization (PSO). Successful applications of swarm intelligence include the modelling of agent behaviour, such as the large numbers of fighting individuals in the battle scenes of the Lord of the Rings movies, and various optimization problems, such as
    • the routing of packages through networks, the travelling salesman problem, scheduling, etc. This special issue focuses on the intersection of the swarm intelligence paradigm with Machine Learning and Knowledge Discovery in Data. We solicit high- quality, previously unpublished papers where both domains are properly addressed. Possible topics for papers include: The application of * Particle Swarm Optimization * Ant Colony Optimization * Stochastic Diffusion Search * Any algorithmic approach based on biological swarm intelligence, such as bird flocking, fish schooling, bee behaviours, bacterial growth, animal herding, etc. For * Clustering * Classification * Regression * Association Rule Mining * Time Series Analysis * Feature Selection Other topics of interest are: * Computational models of self-organizing systems * Use of fine-grained parallel models, such as cellular automata, in machine learning and knowledge discovery * Emergent behavior and its relationship to pattern recognition and learning Important Dates --------------- Submission deadline: June 20, 2008 First notification: September 26, 2008 Revised manuscripts due: December 30, 2008 Final acceptance notification: February, 2009 Intended publication date: 2009 Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm for more information. 21) ICML competition & workshop on Physiological Data Modeling ********************************************************************** META'2008 International Conference on Metaheuristics and Nature Inspired Computing 29-31 Oct 2008 Tunisia
    • http://www.lifl.fr/META08 ********************************************************************** Special Session on "Metaheuristics and Real-World Problems" Call for Papers =============== Solving real-world optimization problems faces metaheuristic algorithms to really challenging tasks, such as high computational requirements, hardly constrained, high dimensionality, etc. These challenges have to be addressed properly in order to provide this kind of problems with high quality solutions. Usually this means to extend or to create new operators, algorithms or implementations that are specifically targeted to be used in real time or big dimension problems. The sustained research effort over recent years succeeded to achieve many practical and theoretical results in the development and application of new techniques for solving real-world optimization problems. This special session is aimed at presenting and discussing on these latest advances in this interesting field or research. Topics of interest include, but are not limited to: • Novel uses of metaheuristics in the real world • Low cost, real time, efficient algorithms • Extensions of existing metaheuristics to tackle real-world problems • New real-world problems solved with metaheuristics • Large scale problem solving • Rigorous comparisons across techniques in real-world problems • Surveys of applications • Parallel and grid computing approaches for real-world problem solving Important dates =============== Deadline for submissions: May 15th, 2008 Notification due: July 15th, 2008 Final version due: September 15th, 2008 Information for authors ======================= • META’08 submissions are only 2 pages abstracts in ENGLISH • Only PDF is accepted • Submission procedure: 1. Create an account on http://www.easychair.org/conferences/? conf=meta-08 2. Use Latex (http://www2.lifl.fr/META08/meta.zip) or Word (http://www2.lifl.fr/META08/modele_meta.doc) format 3. Submit on http://www.easychair.org/conferences/?conf=meta-08 4. Select the “Metaheuristics and Real-World Problems” track 5. An automatic email will be sent to confirm the submission 6. Submissions can be updated until the deadline Session Organizers ================== Enrique Alba (eat@lcc.uma.es) Francisco Luna (flv@lcc.uma.es)
    • 22) META'08, Tunisia =========================================================== ================= CALL FOR PAPERS Special Session on: Meta-Heuristics for Security, Reliability and Trust In META'08 International Conference on Metaheuristics and Nature Inspired Computing Hammamet, Tunisia 29, 30 & 31 October 2008 http://www2.lifl.fr/META08/ =========================================================== ================= Dear Colleagues, In the context of the International Conference on Metaheuristics and Nature Inspired Computing, we organize a special session entitled "Meta-Heuristics for Security, Reliability and Trust". SESSION DESCRIPTION The increasing complexity of recent systems and networks has raised new concerns in terms of security, reliability and trust. Indeed, the past few years have seen a significant increase in cyber attacks on the Internet, resulting in degraded confidence and trusts in the use of Internet and computer systems. The same way, there is an increasing demand for measures to guarantee the privacy, integrity, and availability of resources in distributed systems, such as Grid and P2P systems. These new problematics require dependable systems and networks which can intelligently react to abnormal situations and ensure the security, reliability, quality and trustworthiness of the information. Meta-heuristics provide a way to develop such techniques, algorithms, protocols and tools in the different aspects such as authentication, access control, availability, integrity, privacy, confidentiality and non-repudiation as they apply to both networks and systems.
    • This special session convene researchers in the areas of security, reliability, trust and meta-heuristics. We seek to collect the most recent advances in metaheuristics (genetic algorithms, ant colony algorithms, particle swarm optimization, etc.) which are applied to security, reliability and trust. Both theoretical papers and papers describing practical experiences will be welcome. Topics include but are not limited to: Security, Reliability and Trust | Meta-heuristics ---------------------------------------------------------------------------- Intrusion detection | Genetic Algorithms Cryptography, Cryptanalysis | Genetic Programming Security protocols | Evolution Strategies Quality of Services | Evolutionary Programming Trust Management | Simulated Annealing Software Validation and Verification | Tabu Search Certification of Results | Ant Colony Optimization ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- SESSION ORGANIZERS Pascal Bouvry and Grégoire Danoy pascal DOT Bouvry AT uni DOT lu, gregoire DOT danoy AT uni DOT lu ---------------------------------------------------------------------------- DEADLINES Submission of papers by: May 15 2008 Notification of acceptance: July 15 2008 Submission of camera ready version: September 15 2008 ---------------------------------------------------------------------------- SUBMISSION OF PAPERS AND PROCEEDINGS Papers are invited from prospective authors with interests on the indicated conference topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. Details of the required paper format and submission process are described below. To ensure high quality, all papers will be thoroughly reviewed by the session Program Committee. All papers must be presented by one of the authors who must register and pay fees. Submitted papers must respect the following format: - META submissions are only 2 pages abstracts in ENGLISH - Paper format is available for Latex and Word Latex: http://www2.lifl.fr/META08/meta.zip Word: http://www2.lifl.fr/META08/modele_meta.doc - Only PDF is accepted Submission process:
    • - Create an account on http://www.easychair.org/conferences/?conf=meta-08 - Submit on http://www.easychair.org/conferences/?conf=meta-08/ - You will receive an automatic email to confirm the submission. - You can update your submission until the deadline Extended versions of selected papers will be considered for publication in the following journals: - International Journal of Innovative Computing and Applications - Journal of Mathematical Modeling and Algorithms (JMMA) - International Journal of Intelligent Computing and Cybernetics - International Journal of Operations and Quantitative Management 23) IJPRAI International Journal of Pattern Recognition and Artificial Intelligence (IJPRAI) Volume: 22 No: 3 Year: 2008 NONITERATIVE 3D FACE RECONSTRUCTION BASED ON PHOTOMETRIC STEREO SANG-WOONG LEE;PATRICK S. P. WANG;SVETLANA N. YANUSHKEVICH;SEONG-WHAN LEE PERFORMANCE COMPARISONS OF FACIAL EXPRESSION RECOGNITION IN JAFFE DATABASE FRANK Y. SHIH;CHAO-FA CHUANG;PATRICK S. P. WANG EXTRACTING FACES AND FACIAL FEATURES FROM COLOR
    • IMAGES FRANK Y. SHIH;SHOUXIAN CHENG;CHAO-FA CHUANG;PATRICK S. P. WANG MULTIMODAL BIOMETRICS BY FACE AND HAND IMAGES TAKEN BY A CELL PHONE CAMERA JOANNA ROKITA;ADAM KRZYŻAK;CHING Y. SUEN CLASSIFIER COMBINATION AND ITS APPLICATION IN IRIS RECOGNITION XINHUA FENG;XIAOQING DING;YOUSHOU WU;PATRICK S. P. WANG COMPARISON OF ROC AND LIKELIHOOD DECISION METHODS IN AUTOMATIC FINGERPRINT VERIFICATION SARGUR N. SRIHARI;HARISH SRINIVASAN USER IDENTIFICATION WITH USER'S STEPPING PATTERN OVER THE UBIFLOORII JAESEOK YUN;GREGORY D. ABOWD;JEHA RYU;WOONTACK WOO
    • SYMBOLIC FACTORIAL DISCRIMINANT ANALYSIS FOR ILLUMINATION INVARIANT FACE RECOGNITION P. S. HIREMATH;C. J. PRABHAKAR GENETIC ALGORITHM BASED FEATURE SELECTION LEVEL FUSION USING FINGERPRINT AND IRIS BIOMETRICS A. ALPASLAN ALTUN;H. ERDINC KOCER;NOVRUZ ALLAHVERDI INVERSE BIOMETRICS FOR MOUSE DYNAMICS AKIF NAZAR;ISSA TRAORÉ;AHMED AWAD E. AHMED DETERMINING THE ASSOCIATION BETWEEN DERMATOGLYPHICS AND SCHIZOPHRENIA BY USING FINGERPRINT ASYMMETRY MEASURES JEN-FENG WANG;CHEN-LIANG LIN;CHEN-WEN YEN;YUNG-HSIEN CHANG;TENG-YI CHEN;KUAN-PIN SU;MARK L. NAGURKA SVD- BASED SIGNATURE VERIFICATION TECHNIQUE USING DATA GLOVE
    • NIDAL S. KAMEL;SHOHEL SAYEED FACIAL METAMORPHOSIS USING GEOMETRICAL METHODS FOR BIOMETRIC APPLICATIONS YUAN LUO;MARINA L. GAVRILOVA;PATRICK S. P. WANG EDITORIAL SVETLANA N. YANUSHKEVICH;DAVID HURLEY;PATRICK S. P. WANG Recommend To Your Library Does your library have a subscription? If not, click here to recommend this journal to your libraria Recommended Book SCIENTIFIC WRITING: A READER AND WRITER'S GUIDE by Jean-Luc Lebrun (Trainer of researchers and scientists from A*STAR Research Institutes, Sin Director, Apple-ISS Research Centre, Singapore) Email Updates JOIN over 250,000 subscribers who receive our email newsletters. Get alerted about: - New and publications - Free online chapters - New book reviews - Podcasts and videos of author interview Sign Up today! Monthly Offers Save 60% over regular prices when you purchase selected backlist titles online.
    • 24) IJAIT - New Issue The latest issues of your selected journals are now available on http://www.worldscinet.com/ Click a link below to go directly to the contents. International Journal of Uncertainty, Fuzziness and Knowledge- Based Systems (IJUFKS) Volume: 16 No: 1 supp Year: 2008 GUEST EDITORS' INTRODUCTION
    • VICENÇ TORRA;YASUO NARUKAWA CHARACTERIZING TREES IN CONCEPT LATTICES RADIM BĚLOHLÁVEK;BERNARD DE BAETS;JAN OUTRATA;VILEM VYCHODIL A MULTICRITERIA SYSTEM USING GRADUAL FUZZY RULES AND FUZZY ARITHMETIC SANDRA SANDRI;CHRISTOPHE SIBERTIN-BLANC INTEGRATION OF A CONSISTENCY CONTROL MODULE WITHIN A CONSENSUS MODEL FRANCISCO CHICLANA;FRANCISCO MATA;LUIS MARTINEZ;ENRIQUE HERRERA-VIEDMA;SERGIO ALONSO ACTIVE LEARNING WITH MISCLASSIFICATION SAMPLING BASED ON COMMITTEE JUN LONG;JIANPING YIN;EN ZHU;WENTAO ZHAO PERCEPTION- BASED ESTIMATIONS OF FUZZY RANDOM VARIABLES: LINEARITY AND CONVEXITY
    • YUJI YOSHIDA ERROR DETECTION AND CORRECTION BASED ON CHINESE PHONEMIC ALPHABET IN CHINESE TEXT CHUEN-MIN HUANG;MEI-CHEN WU;CHING-CHE CHANG ON THE COMPARISON OF GENERIC INFORMATION LOSS MEASURES AND CLUSTER- SPECIFIC ONES SUSANA LADRA;VICENÇ TORRA HOW TO GROUP ATTRIBUTES IN MULTIVARIATE MICROAGGREGATION JORDI NIN;JAVIER HERRANZ;VICENÇ TORRA Recommend To Your Library Does your library have a subscription? If not, click here to recommend this journal to your libraria Recommended Book SCIENTIFIC WRITING: A READER AND WRITER'S GUIDE by Jean-Luc Lebrun (Trainer of researchers and scientists from A*STAR Research Institutes, Sin Director, Apple-ISS Research Centre, Singapore)
    • Email Updates JOIN over 250,000 subscribers who receive our email newsletters. Get alerted about: - New and publications - Free online chapters - New book reviews - Podcasts and videos of author interview Sign Up today! Monthly Offers Save 60% over regular prices when you purchase selected backlist titles online. 25) Nature Inspired Cooperative Strategies for Optimization SECOND CALL FOR PAPERS NICSO 2008 International Workshop on Nature Inspired Cooperative Strategies for Optimization Puerto Palace Hotel Puerto de La Cruz, Tenerife 12-14 November 2008 http://www.gci.org.es/nicso2008 (pre-registration available) nicso2008@gci.org.es NICSO 2008 is the third edition of the International Workshop on Nature Inspired Cooperative Strategies for Optimization.
    • Its aims are (1) to foster a deeper understanding of "cooperativity" in computational optimisation systems, and (2) to encourage a vigorous exchange of ideas about emerging research areas in cooperative problem solving strategies. The accepted papers will be published in the Springer book series on Studies in Computational Intelligence. The authors of the best accepted papers will be invited to revise and expand their contributions for publication in a special issue in the Memetic Computing Journal (Springer) shortly after the event. IMPORTANT DATES: ? Deadline for Submission: September, 1 ? Notification of Acceptance: September, 30 ? Deadline for Camera-ready: October, 20 All submissions (only pdf file) must be sent at nicso2008@gci.org.es. The length of each contribution will not exceed 12 pages. Produce a camera ready copy using NICSO2008 latex style found at http://www.gci.org.es/nicso2008. Each contribution must providing original results, insights and experimental innovations. All submitted papers will be blind reviewed and acceptance will be based on originality, significance, technical soundness and clarity. WORKSHOP-CHAIR: ? José Andrés Moreno Pérez, University of La Laguna STEERING COMMITTEE: ? David A. Pelta, University of Granada ? Natalio Krasnogor, University of Nottingham ORGANIZING COMMITTEE MEMBERS ? J. Marcos Moreno, University of La Laguna ? Belén Melíán, University of La Laguna ? Julio Brito, University of La Laguna ? Clara Campos, University of La Laguna ? F. Javier Martínez, University of La Laguna ? David Beltrán, University of La Laguna ? José Luis González, University of La Laguna TOPICS OF INTEREST (but not limited to them): ? Adaptive Behaviour ? Ants Colonies ? Amorphous Computing ? Artificial Li fe ? Artificial Immune Systems ? Coevolution ? Distributed Computing ? Evolutionary Robotics ? Evolvable Systems
    • ? Genetic Algorithms ? Genetic Programming ? Membrane Computing ? Quantum Computing ? Software Self Assembly ? Swarm Intelligence Cooperative Strategies for: ? Numerical Optimization ? Combinatorial Optimization ? Non Linear Optimization ? Dynamic Optimization ? Noisy Optimization ? Bioinformatics and Systems Biology ? Game Theory ? Complex Systems ? Optimal Adaptable Control SECOND CALL FOR PAPERS in pdf format at: http://www.gci.org.es/NICSO2008/documentos/NICSO2008_2ndCFP.pdf -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone@dmi.unict.it http://www.dmi.unict.it/mpavone ------------------------------------------------ 26) 5th IEEE Symposium on Swarm Intelligence **************************************************************** CALL FOR PAPERS **************************************************************** Special Session at the 5th IEEE Swarm Intelligence Symposium: SWARM INTELLIGENCE FOR WIRELESS AD HOC NETWORKS St. Louis, Missouri, USA, September 21-23, 2008 http://www.computelligence.org/sis/2008/?q=node/5 IMPORTANT DATES ***************** Paper submission: May 31, 2008
    • Notification: June 15, 2008 Camera-Ready: July 15, 2008 Conference: Sept 22-23, 2008 SCOPE ******* Wireless ad hoc networks are communication networks that consist entirely of wireless nodes, placed together in an ad hoc manner, i.e. with minimal planning. Nodes can enter or leave the network at any time, and may be mobile, so that the network topology continuously experiences alterations during deployment. Wireless ad hoc networks pose substantially different challenges compared to more traditional communication networks: they are highly dynamic, have limited resources (in terms of bandwidth, computation power, battery, etc.), have a highly decentralized organization, rely on often unreliable wireless communication channels, etc. As a consequence, new algorithms and protocols are needed for all aspects of the organization of these networks. Swarm Intelligence methods seem particularly interesting in this context. This is because their ability to solve difficult tasks in a distributed and robust way using locally interacting simple agents fits closely to the typical environment created by an ad hoc network. In this special session, we solicit novel and interesting contributions in this area, with special reference to applications of Swarm Intelligence in the domain of: - Mobile ad hoc networks - Sensor networks - Networks of mobile robots Topics of interest include but are not limited to: - Distributed medium access control using Swarm Intelligence - Swarm Intelligence routing protocols in ad hoc networks - Swarm Intelligence transport layer protocols in ad hoc networks - Swarm Intelligence for QoS provisioning - Self-configuration, self-optimization and self-adaptation through swarm intelligence - Off-line optimization for ad hoc networks through swarm intelligence - Comparisons between Swarm Intelligence and other algorithms for ad hoc networks
    • - Implementation of Swarm Intelligence approaches in testbeds - Evaluation of Swarm Intelligence approaches in real-world settings SUBMISSION ************ Prospective authors are invited to submit papers of no more than eight (8) pages including results, figures and references. Authors should submit their papers as PDF through the online submission system, which is available at: http://www.computelligence.org/SIS/2008/Sub/ The paper format is the IEEE Computer Society Press proceedings and can be found at: http://www.computelligence.org/sis/2008/paperform.html A Microsoft Word version of the paper format can be found at: http://www.computelligence.org/sis/2008/paperform.doc ORGANIZERS ************* Gianni Di Caro (IDSIA-SUPSI, Switzerland), gianni@idsia.ch Frederick Ducatelle (IDSIA-SUPSI, Switzerland), frederick@idsia.ch Anna Forster (University of Lugano, Switzerland), anna.egorova.foerster@lu.unisi.ch Ganesh Venayagamoorthy, (Missouri U. of Science and Technology, USA), ganeshv@mst.edu ************************************************************************************ 27) artificial ants special session at META'08 =========================================================== ================= (last) CALL FOR PAPERS Special Session on: Artificial Ants and Collective Intelligence Based Metaheuristics In META'08 International Conference on Metaheuristics and Nature Inspired Computing Hammamet, Tunisia 29, 30 & 31 October 2008 http://www2.lifl.fr/META08/ =========================================================== ================= Dear Colleagues,
    • The collective intelligence of real insects and animals have provided interesting methods and heuristics to solve computer science problems. The aim of this session is to give you the opportunity to present new models or new applications of this class of concepts/algorithms. ---------------------------------------------------------------------------- DEADLINES Submission of papers by: May 15 2008 Notification of acceptance: July 15 2008 Submission of camera ready version: September 15 2008 ---------------------------------------------------------------------------- SUBMISSION OF PAPERS AND PROCEEDINGS Papers are invited from prospective authors with interests on the indicated conference topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. Details of the required paper format and submission process are described below. To ensure high quality, all papers will be thoroughly reviewed by the session Program Committee. All papers must be presented by one of the authors who must register and pay fees. Submitted papers must respect the following format: - META submissions are only 2 pages abstracts in ENGLISH - Paper format is available for Latex and Word Latex: http://www2.lifl.fr/META08/meta.zip Word: http://www2.lifl.fr/META08/modele_meta.doc - Only PDF is accepted Submission process: - Create an account on http://www.easychair.org/conferences/?conf=meta-08 - Submit on http://www.easychair.org/conferences/?conf=meta-08/ - You will receive an automatic email to confirm the submission. - You can update your submission until the deadline Extended versions of selected papers will be considered for publication in the following journals: - International Journal of Innovative Computing and Applications - Journal of Mathematical Modeling and Algorithms (JMMA) - International Journal of Intelligent Computing and Cybernetics - International Journal of Operations and Quantitative Management -- Nicolas Monmarché Université François Rabelais Tours Laboratoire d'Informatique Ecole Polytechnique de l'Université de Tours 64 avenue Jean Portalis 37200 Tours - France
    • tel: (+33) 2 47 36 14 29 fax: (+33) 2 47 36 14 22 ===================================== 28) Swarm Intelligence Journal on Particle Swarm Optimization =========================================================== ====== Special Issue on PARTICLE SWARM OPTIMIZATION Swarm Intelligence Journal http://www.springer.com/11721 =========================================================== ====== SUBMISSION DEADLINE: JUNE 1, 2008. =========================================================== ====== GUEST EDITORS: Riccardo Poli, University of Essex, rpoli@essex.ac.uk Jim Kennedy, US Bureau of Labor Statistics, kennedy.jim@gmail.com Andries Engelbrecht, University of Pretoria, engel@cs.up.ac.za =========================================================== ====== For more information see http://cswww.essex.ac.uk/staff/rpoli/PSO_SI.htm =========================================================== ====== 29) The Gene Expression Programming Bibliography The GEP Online Bibliography has a new host and a new system. The system, created by Marcus Vinicius dos Santos, allows the authors themselves to add new entries to the Biblio. No usernames or passwords are necessary and the new entries/edits become immediately available, which makes everything
    • much more enjoyable. The GEP Online Bibliography is a great place to make your work visible and accessible to others. So if you have any GEP-related work or know of any other publications by other researchers that are not yet on the Biblio, please come join us and add them to the list: http://pliant.scs.ryerson.ca/gepbiblio/ Thank you for your contribution! Best wishes, -- Candida Ferreira Dr C. Ferreira, Founder and Director, Gepsoft http://www.gene-expression-programming.com/author.asp Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence. 2nd Edition, Springer, 2006 http://www.gene-expression-programming.com/Books/index.asp GeneXproTools 4.0 -- Data Mining Software http://www.gepsoft.com/ ******* If this e-mail was forwarded to you and you would like to be added to our list for the latest news on GEP, please visit our website at <http://www.gene-expression-programming.com/> to subscribe to the GEP mailing list. To unsubscribe from this mailing list, send a message with the text "unsubscribe GEP-List" to GEPlist@gene-expression-programming.com 30) SCCGIV’08 Call for Papers Special Session on Soft Computing in Computer Graphics, Imaging, and Vision
    • (SCCGIV’08) (http://www.wsc-2008.science-city.org/) in Online World Conference on Soft Computing in Industrial Applications (WSC2008) (http://www.wsc-2008.science-city.org/) November 10 - 21, 2008 ** On the World Wide Web ** Organized by Soft Computing techniques for Computer Graphics, Imaging, and Vision are extremely useful in a number of industrial settings. Specifically, the applications oriented with such techniques, to current problems, have grown at a large scale. The purpose of the special session on Soft Computing in Computer Graphics, Imaging, and Vision (SCCGIV’08) is to focus on interdisciplinary methods and affiliate research done among various disciplines with the goal of stimulating views and providing a forum where academicians, researchers, and practitioners can discuss the latest developments in Soft Computing related to the inter-related areas of Computer Graphics, Imaging, and Vision. Papers presenting original research with the theme of SCCGIV are being sought. Scope of the special session topics includes but not limited to: Soft Computing in: Ü Curves, Surfaces and Volumes Ü Geometric Modeling Ü Solid Modeling Ü Physically Based Modeling Ü Interpolation and Approximation Ü Fitting and Smoothing Ü Blending Ü Reverse Engineering
    • Ü Computer Aided Design (CAD) Ü Computer Aided Manufacturing (CAM) Ü Foundations of Computer Graphics Ü Font Design Ü Multiresolution Methods Ü Geometric Transformations Ü Mesh Processing Ü Shape Abstraction and Modeling Ü Shape Analysis and Description Ü Animation Ü Visualization Ü Virtual Reality Ü Scene and object modeling Ü Display techniques Ü Digital Graphics Ü Digital Media and Game Ü Multimedia Ü Augmented Reality Ü Rendering Techniques Ü Image Based Rendering Ü Non Photo-realistic Rendering Ü Graphics Hardware Architecture Ü Indexing and Retrieval of Images Ü Image generation, acquisition, and processing Ü Image display techniques Ü Convergence of imaging media (video and computer) Ü Image compression, coding, and encryption Ü Digital imaging for film and television Ü Knowledge acquisition Ü Visual inspection Ü Document image understanding Ü Optical image processing systems Ü Mathematical morphology Ü Architecture of imaging and vision systems (including parallel architectures and algorithms) Ü Multi-resolution and multi-spectral image processing Ü Image sequence processing Ü Information fusion Ü Education in Computer Graphics and Imaging and Vision
    • Ü Computer Vision and related issues Ü Applications in car, plane, ship, and other industries Ü Applications including: medicine, robotic, GIS, remote sensing, industrial inspection (or machine vision), nondestructive evaluation (or NDE), ... Ü Other aspects and applications relating to Computer Graphics, imaging and Vision. Important Dates Full paper submission deadline 1 July 2008 Notification of acceptance 1 September 2008 Revised full paper submission deadline 1 October 2008 Conference held 10-21 November 200 Paper Submission Papers should be submitted in PDF format and formatted according to the author's instructions found at the website http:// www.wsc-2008.science-city.org/. Each Regular Paper should not exceed 10 pages in length. The submission should include: (i) the contact details of the correspondence author (Name, Address, Phone, Fax, email address, and homepage), and (ii) up to five keywords. Please submit your paper through our online submission system by clicking the link: http://wsc12.softcomputing.org/openconf/openconf.php. Publication In addition to the regular Springer Book proceedings, it has been planned to have the following Special Journal Issues for the selected papers: § The International Journal of Computer Graphics and CAD/CAM. § The International Journal of Pattern Recognition and Machine Intel § Transaction on Computational Science, Springer
    • The selection of these papers will be made after the conference, based upon carefully reviewed criteria. The selected papers will be published by their extended versions. For more details, please visit the WSC2008 conference site http://www.wsc-2008.science-city.org/. CONTACT : Professor Muhammad SarfrazSCCGIV’2008 – WSC2008 Session Chair Department of Information ScienceKuwait UniversityP.O. Box 5969, Safat 13060, KuwaitPhone: +965 498 3109 (O)Email: prof.m.sarfraz@gmail.com 31) WORLDCOMP'08 Congress, Las Vegas Call For Papers - Deadline: June 1, 2008 WORLDCOMP'08 The 2008 World Congress in Computer Science, Computer Engineering, and Applied Computing Date and Location: July 14-17, 2008, Las Vegas, USA http://www.world-academy-of-science.org/ You are invited to submit a paper (see instructions below.) WORLDCOMP'08 is composed of a number of tracks (joint-conferences, tutorials, and workshops); all will be held simultaneously, same location and dates: July 14-17, 2008. See http://www.world-academy-of-science.org/ for the complete list of joint-conferences. This is a Call For Papers for publication in the Final Edition of the conference proceedings. All papers submitted in response to this announcement will be evaluated for publication in the Final Edition of the proceedings which will go to press soon after the conference (publication date: late August 2008). This announcement is ONLY for those who missed the opportunity to submit their papers in response to earlier announcements (authors who have already been notified that their papers have been accepted/not-accepted should ignore this announcement.) IMPORTANT DATES: June 1, 2008: Submission of full papers (less than 8 pages) June 14, 2008: Notification of acceptance June 27, 2008: Registration July 14-17, 2008: WORLDCOMP'08 Congress (all joint-conferences) July 20, 2008: Camera-Ready Papers Due for publication in the
    • Final Edition of the proceedings. SUBMISSION OF PAPERS: Prospective authors are invited to submit their papers to hra@cs.uga.edu (no more than 7 pages, single spaced and font size of 10 to 12 - all reasonable typesetting formats are acceptable). Authors should write the following in the subject header of their email: "Submission for Consideration in Final Edition of Proceedings" + name of conference that the paper is being submitted to. Papers should be attached to emails and must be either in Word Doc or PDF formats. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the paper should include: title of the paper, name, affiliation, postal address, and email address for each author. The first page should also include the name of the conference the paper is being submitted to (the list of conferences appears below.) Accepted papers will be published in the final edition of the respective proceedings/books. All submissions will be evaluated for originality, significance, clarity, and soundness. Each paper will be refereed by two researchers in the topical area. The authors of accepted papers will later be asked to follow a particular typing instructions to prepare their final paper for publication. LIST OF CONFERENCES: PDPTA: Parallel and Distributed Processing Techniques and Applications GCA: Grid Computing and Applications CDES: The 2008 International Conference on Computer Design CSC: Scientific Computing ICAI: Artificial Intelligence GEM: Genetic and Evolutionary Methods MLMTA: Machine Learning; Models, Technologies and Applications BIOCOMP: Bioinformatics and Computational Biology SERP: Software Engineering Research and Practice ICWN: Wireless Networks IPCV: Image Processing, Computer Vision, and Pattern Recognition MSV: Modeling, Simulation and Visualization Methods CGVR: Computer Graphics and Virtual Reality ICOMP: Internet Computing SWWS: Semantic Web and Web Services SAM: Security and Management DMIN: Data Mining IKE: Information and Knowledge Engineering EEE: e-Learning, e-Business, Enterprise Information Systems, and e-Government ESA: Embedded Systems and Applications
    • FECS: Frontiers in Education: Computer Science and Computer Engineering FCS: Foundations of Computer Science CIC: Communications in Computing PLANNED TUTORIALS: See the following web site for a partial list: http://www.world-academy-of-science.org/worldcomp08/ws/tutorials KEYNOTE LECTURES: See the following web site for a partial list: http://www.world-academy-of-science.org/worldcomp08/ws/keynotes LOCATION OF CONFERENCE: WORLDCOMP will be held in the Monte Carlo hotel, Las Vegas, Nevada, USA (with any overflows at other near-by hotels). This is a mega hotel with excellent conference facilities and over 3,000 rooms. It is minutes from the airport with 24-hour shuttle service to and from the airport. This hotel has many recreational attractions, including: spa, pools, sunning decks, Easy River, wave pool, lighted tennis courts, nightly shows, a number of restaurants, ... The negotiated room rate for conference attendees is very reasonable. The hotel is within walking distance from most other attractions. SPONSORS: Academic/Technical Co-Sponsors: (a partial list) --> Computational Biology and Functional Genomics Laboratory, Harvard University, Cambridge, Massachusetts, USA --> International Society of Intelligent Biological Medicine --> Horvath Lab., University of California, Los Angeles (UCLA), USA --> Minnesota Supercomputing Institute, University of Minnesota, USA --> Functional Genomics Laboratory, University of Illinois at Urbana-Champaign, USA --> BioMedical Informatics & Bio-Imaging Laboratory, Georgia Institute of Technology and Emory University, Atlanta, Georgia, USA --> Intelligent Data Exploration and Analysis Laboratory, University of Texas at Austin, Austin, Texas, USA --> Biomedical Cybernetics Laboratory, HST of Harvard University and MIT, USA --> Center for the Bioinformatics and Computational Genomics, Georgia Institute of Technology, Atlanta, Georgia, USA --> Harvard Statistical Genomics and Computational Laboratory, Harvard University, Cambridge, Massachusetts, USA --> Bioinformatics & Computational Biology Program George Mason University, Virginia, USA --> Hawkeye Radiology Informatics, Department of Radiology, College of Medicine, University of Iowa, Iowa, USA --> Medical Image HPC & Informatics Lab (MiHi Lab), University of Iowa, Iowa, USA --> The University of North Dakota, Grand Forks, North Dakota, USA --> PSU - Prince Sultan University --> Institute for Informatics Problems of the Russian Academy of Sciences, Moscow, Russia. --> NEMO/European Union at Institute of Discrete Mathematics and Geometry, TU Vienna
    • Corporate Co-Sponsors: (a partial list) --> Google, Inc. --> Salford Systems --> Synplicity --> NIIT Technologies Other Co-Sponsors: (a partial list) --> High Performance Computing for Nanotechnology (HPCNano) --> International Technology Institute (ITI) --> GridToday - enewsletter focused on Grid, SOA, Virtualization, Storage, Networking and Service-Oriented IT --> HPCwire - The Leading Source for Global News and Information Covering the Ecosystem of High Productivity Computing --> Hodges' Health (H2CM), UK 32) AISB Dear AISB members This is the AISB event bulletin for 4/6/2008 ----------------------------- 1. CFP: LPAR 08 submission deadline extended (DEADLINE: 06:06:2008) 2. IEEE APSCC'08 Announcement (DEADLINE: 15:06:2008) 3. CFP: LaSh08 - WORKSHOP ON LOGIC AND SEARCH (DEADLINE: 15:08:2008) 4. CFP: MICAI 2008: Artifiical Intelligence - Mexico (DEADLINE: 09:06:2008) ----------------------------- 1. CFP: LPAR 08 submission deadline extended http://www.qatar.cmu.edu/lpar08 (DEADLINE: 06:06:2008) 2nd CALL FOR PAPERS
    • LPAR'08 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning November 23-27, 2008 Carnegie Mellon University Doha, Qatar http://www.qatar.cmu.edu/lpar08 ---------------------------- SUBMISSION DEADLINE EXTENDED ---------------------------- The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University. Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. It is logical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central
    • role in Computer Science education. New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: * Automated reasoning * Logic of distributed systems * Computional interpretations of logic * Logic programming * Constraint programming * Modal and temporal logics * Constructive logic and type theory * Model checking * Decision procedures * Non-monotonic reasoning * Description logics * Ontologies * Foundations of security * Program and system verification * Implementations of logic * Proof assistants * Interactive theorem proving * Proof-carrying code * Knowledge representation and reasoning * Proof planning * Lambda calculus * Proof theory * Logic and automata * Propositional satisfiability * Logic and computational complexity * Reasoning about actions * Logic and databases * Rewriting and unification * Logic and games * Satisfiability modulo theories * Logic for the semantic web * Static analysis of programs * Logical aspects of concurrency * Specification using logics * Logical foundations of programming * Translation validation * Logic in artificial intelligence Invited Speakers ---------------- It has been a tradition of LPAR to invite some of the most influential researchers in the focus areas to discuss their work and their vision for their fields. We are honored that the following members of the community have accepted this invitation.
    • * Edmund Clarke, Carnegie Mellon University (USA) * Amir Pnueli, New York University (USA) * Michael Backes, Saarland University and MPI-SWS (Germany) * Thomas Eiter, Technical University of Vienna (Austria) Submission Instructions ----------------------- Submissions must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be submitted in Postscript or Portable Document Format (PDF); papers submitted in a proprietary word processor format such as Microsoft Word cannot be considered. Submissions can be of two types: * Regular papers are meant to describe solid new research results. They can be up to 15 pages long in LNCS style, including figures and references but excluding appendices (that reviewers are not required to read). * Experimental and tool papers are intended to describe implementations of systems, to report experiments with implemented systems, or to compare implemented systems. They can be at most 8 pages long in the LNCS style. Both types of papers can be electronically submitted by visiting http://www.easychair.org/conferences/?conf=lpar2008. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). As with the previous editions, the proceedings of LPAR'08 will be published in Springer-Verlag's Lecture Notes in Computer Science series. They will be available at the conference. In keeping with the tradition of LPAR, researchers and practioners are encouraged to report on interesting work in progress by submitting abstracts of up to 5 LNCS pages, to be selected for a short-paper session. These abstracts will not be printed in the proceedings of LPAR'08 and they have a
    • separate submission deadline (see below). Participation ------------- Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will be removed from the proceedings. Important Dates (updated) ------------------------- Abstract submission deadline: 06 June 2008 - STRICT! Paper submission deadline: 16 June 2008 - STRICT! Notification of acceptance: 29 August 2008 Camera-ready papers: 19 September 2008 Short paper submission deadline: 26 September 2008 LPAR'08 Workshops: 22 November 2008 LPAR 2008: 23-27 November 2008 Program Committee ----------------- * Franz Baader, TU Dresden (Germany) * Matthias Baaz, TU Vienna (Austria) * Peter Baumgartner, National ICT (Australia) * Josh Berdine, MSR Cambridge (UK) * Armin Biere, Johannes Kepler University (Austria) * Iliano Cervesato, Carnegie Mellon University (Qatar) - chair * Sagar Chaki, Carnegie Mellon SEI (US) * Hubert Comon-Lundh, ENS Cachan (France) * Javier Esparza, TU Munich (Germany) * Roberto Giacobazzi, University of Verona (Italy)
    • * Jürgen Giesl, RWTH Aachen (Germany) * Orna Grumberg, Technion (Israel) * Thomas Henzinger, EPFL (Switzerland) * Joxan Jaffar, NUS (Singapore) * Claude Kirchner, INRIA & LORIA (France) * Stephan Kreutzer, Oxford University (UK) * Orna Kupferman, Hebrew University (Israel) * Alexander Leitsch, TU Vienna (Austria) * Nicola Leone, University of Calabria (Italy) * Heiko Mantel, TU Darmstadt (Germany) * Cathy Meadows, Naval Research Laboratory (US) * Aart Middeldorp, University of Innsbruck (Austria) * John Mitchell, Stanford University (US) * Andreas Podelski, University of Freiburg (Germany) * Sanjiva Prasad, IIT Delhi (India) * Alexander Razborov, Russian Academy of Sciences (Russia) * Andrey Rybalchenko, MPI-SWS (Germany) * Ulrike Sattler, University of Manchester (UK) * Torsten Schaub, University of Potsdam (Germany) * Carsten Schürmann, IT University of Copenhagen (Denmark) * Helmut Seidl, TU Munich (Germany) * Henny Sipma, Stanford University (US) * Geoff Sutcliffe, University of Miami (US) * Ashish Tiwari, SRI (US) * Helmut Veith, TU Darmstadt (Germany) - chair * Andrei Voronkov, University of Manchester (UK) - chair Contact Information ------------------- Email: lpar08@qatar.cmu.edu Web page: http://www.qatar.cmu.edu/lpar08 ********************************************************
    • 2. IEEE APSCC'08 Announcement http://apscc2008.csie.chu.edu.tw (DEADLINE: 15:06:2008) Dear Colleagues, 1. We are pleased to update you that we have now confirmed the following as the keynote/invited speakers for the IEEE APSCC-08 Conference: (http://apscc2008.csie.chu.edu.tw) - Philip S. Yu, (Wexler Chair Professor, University of Illinois at Chicago) - Elisa Bertino, (Professor, CS Department, Purdue University) - Kwei-Jay Lin, (Professor, University of California, Irvine) - Jianhua Ma, (Professor, Hosei University, Japan) - Odej Kao, (Professor, Berlin University of Technology, Germany) (http://apscc2008.csie.chu.edu.tw/html/keynote.htm) 2. The due date to submit papers is June 15, 2008. For any reason, if you need additional days to complete your manuscript, please email us confirming it. For all authors that send such confirmed, the new due date is July 1st, 2008. 3. Six journal special issues are confirmed to publish more than 20 selected APSCC-08 papers. (See http://apscc2008.csie.chu.edu.tw/html/publication.htm) 4. We are glad to announce the nine workshops to be held in conjunction with the 2008 IEEE Asia-Pacific Services Computing Conference. All workshop papers will be published by IEEE CS. Best workshop papers will be also selected for the above special issues publication. (http://apscc2008.csie.chu.edu.tw/html/workshop.htm) We would cordially invite you to participate by submitting your papers to this great event. Please forward this mail to anyone interested.
    • Best Regards, Han-Chieh Chao, Jeffrey Tsai, Franck Cappello (APSCC-08 General Chair) Robert C.H. Hsu, Kuan-Ching Li, Barbara Chapman (APSCC-08 Program Chair) ******************************************************** 3. CFP: LaSh08 - WORKSHOP ON LOGIC AND SEARCH http://www.cs.kuleuven.be/~dtai/LaSh08 (DEADLINE: 15:08:2008) LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Second Call For Papers Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 ................................................................ IMPORTANT DATES: Submission: August 15, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: In many real-life problems, we search for objects of complex nature -- plans, schedules, assignments. Such objects are often represented as (finite) structures, which are implicitly specified by means of theories in some logic. Thus, languages are needed to describe structures, and algorithms to extract them from these implicit descriptions. Propositional Satisfiability (SAT), Constraint
    • Programming (CP), and Answer Set Programming (ASP) are arguably the three most prominent areas that develop such languages and techniques. Each of these areas has been proposed as a declarative programming approach to solving NP-complete combinatorial problems. Such problems abound in computer science, engineering, operations research computational biology and other fields. In many cases, progress is limited by the difficulty of designing implicit representations of structures (modeling), which hinders common acceptance of the aproach, and the inability to solve sufficiently large instances of the problems in practical time bounds (search algorithms). Therefore, these three areas have as a major goal the development of practical modeling languages and methodologies that support the modeling, and algorithms and tools for efficient problem solving. Despite the similar goals of these areas, in many respects SAT, ASP and CP develop as three independent disciplines, focusing on rather different particular problems or questions. There are few, if any, researchers who are experts in all three areas. To date, we are not aware of any meeting which specifically aims at bringing these three areas together. Objectives ========== LaSh08 aims to offer a discussion forum for research in SAT, ASP and CP that focuses on the computation of structures from declarative descriptions. We invite contributions on modeling languages, methodologies, theoretical analysis, techniques, algorithms and systems. The forum is an occasion to exchange ideas on the state-of-the-art; to discuss specific technical problems; to formulate challenges and opportunities ahead; to analyse differences and simularities between the different areas; to study opportunities for synergy and integration. In particular, we would like to foster exchange at least on the
    • following topics: -- integrations of SAT, ASP and/or CP technologies -- comparisons of modeling languages -- criteria for choice of modeling languages (for modeling convenience or efficiency) -- new algorithm directions -- efficient modeling strategies -- new applications -- complexity results, tractable subsets -- completeness results (e.g. capturing complexity classes) -- methods for taking advantage of tractability results -- SAT modulo theories -- solver implementation techniques, -- algorithms for grounding -- modeling languages and constructs (aggregates, global constraints,..) -- search control and heuristics in the context of model generation -- symmetry breaking in model construction -- optimisation problems in model construction: -- languages for optimality criteria; -- algorithms for computing optimal models Systems and Tools: =================== LaSh08 will also provide an opportunity for presentation of implemented systems and tools at a demo session. Thus, we invite submissions of systems and tools that reflect the above ideas, and aim at facilitating declarative problem solving, and making it practical and used. Workshop format: ================
    • The workshops objective is to create an informal, stimulating atmosphere for exchange of ideas. We invite also reports of work in progress. There will be informal proceedings. Invited speakers ================= * Pascal Van Hentenryck, Brown University, title to be announced * Robert Nieuwenhuis, Technical University of Catalonia, title to be announced. Organizing Committee ==================== * Enrico Giunchiglia, University of Genova * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Eugenia Ternovska Simon Fraser University * Mirek Truzczynski, University of Kentucky * Marc Denecker, K.U.Leuven Program Committee ================= * Peter Baumgartner, The Australian National University * Francesco Calimeri, University of Calabria * Koen Claessen, Chalmers University of Technology * Thomas Eiter, Vienna University of Technology * Wolfgang Faber, University of Calabria * Pierre Flener, Uppsala University * Alan Frisch, University of York * Enrico Giunchiglia, University of Genova * Daniel LeBerre, Universite d'Artois * Fangzen Lin, Hong kong University of Science and Technology * Ines Lynce, Universidade Tecnica de Lisboa * Tony Mancini, Sapienza Universita di Roma * Victor Marek, University of Kentucky
    • * David Mitchell, Simon Fraser University * Pierre Marquis, Universite d'Artois * Ilkka Niemela, Helsinki University of Technology * Karem Sakallah, University of Michigan * Torsten Schaub, University of Potsdam * Barry O'Sullivan, University College Cork * Eugenia Ternovska Simon Fraser University * Mirek Truszcznski, University of Kentucky * Pascal Van Hentenryck, Brown University * Toby Walsh, University of New South Wales Local organisation ==================== * Marc Denecker, K.U.Leuven * Joost Vennekens, K.U.Leuven Location ========= The workshop will take place in the Beguinage of Leuven, Belgium. Leuven is an old flemish town, hosting the oldest university of the lower countries. The Beguinage is a medieval city in the city, where the beguines lived together to form a religious community. The Beguinage is recognized as a Unesco World Heritage site. ******************************************************** 4. CFP: MICAI 2008: Artifiical Intelligence - Mexico www.MICAI.org/2008 (DEADLINE: 09:06:2008) MICAI 2008
    • 7th Mexican International Conference on ARTIFICIAL INTELLIGENCE EXTENDED SUBMISSION DEADLINE www.MICAI.org/2008 October 27 to 31, Mexico City, Mexico Proceedings: Springer LNAI, IEEE, and special issues of journals *NEW* EXTENDED submission deadline: JUNE 9 (abstract), JUNE 16 (paper) CALL FOR PAPERS *NEW* KEYNOTE SPEAKERS - George Gottlob, Oxford University, UK; - Simon Haykin, McMaster University, Canada; - Stephanie Forrest, U. of New Mexico, USA; - Steven M LaValle, University of Illinois, USA; - Gerardo Jiménez-Sánchez, Johns Hopkins University, USA; - Francisco Cervantes Peréz, UNAM, Mexico. GENERAL INFORMATION Topics of interest include all areas of Artificial Intelligence. Poster session, workshops, tutorials, doctoral consortium, and cultural events are planned. The recent MICAI events (2005, 2006, 2007) received around 450 submissions from over 40 countries each. The acceptance rate (oral session) was around 26%. Among keynote speakers were John McCarthy, Tom Mitchell, Ronald Yager,
    • and Pedro Domingos, to name just a few. There were over 500 attendees. PROCEEDINGS AND SUBMISSION Papers accepted for oral session will be published by Springer in LNAI: Lecture Notes in Artificial Intelligence. Poster session papers will be published separately. Special issues of journals are anticipated. Submissions are received via webpage; see guidelines there. By June 9, only abstract is to be registered; the full text is then due by June 16. IMPORTANT DATES June 9: Registration of abstracts. June 16: Uploading of full text of registered papers. CONTACT General inquiries: micai2008 at MICAI dot org; see www.MICAI.org/2008. PLEASE CIRCULATE this CFP among your students and colleagues. ******************************************************** More Information about the AISB can be found at www.aisb.org.uk Bulletins maintained by: Therie Hendrey-Seabrook AISB Executive Office Chichester 2R211 School of Science and Technology
    • University of Sussex Falmer, Brighton BN1 9QJ Tel: +44(0) 1273 678448 Fax: +44(0) 1273 877873 Dear AISB members This is the AISB event bulletin for 5/6/2008 ----------------------------- 1. CF Participation: International Symposium on Symbolic and Algebraic Computation ISSAC 2008 2. CF Participation: Principles and Practice of Declarative Programming PPDP '08 (DEADLINE: 10:06:2008) 3. CFP: Workshop on Mobile Multimedia Processing (WMMP 2008) (DEADLINE: 15:06:2008) 4. CFP: International Conference on Logic Programming, ICLP'08 - extended deadline (DEADLINE: 13:06:2008) 5. Final CFP and programme: First Formal Epistemology Festival 6. CFP: The First International Workshop on Video Mining (VM2008) (DEADLINE: 01:08:2008) 7. CFP: 8th IEEE International Conference on Data Mining (ICDM08) (DEADLINE: 30:06:2008) 8. CFP: Conference on Visual Media Production CVMP 2008 (DEADLINE: 11:07:2008) 9. CFP: AI-2008, Cambridge, UK - extended deadline (DEADLINE: 15:06:2008) 10. CFP: 2008 International Conference on Computational Intelligence for
    • Modelling, Control and Automation - CIMCA'08 (DEADLINE: 29:08:2008) 11. Doctoral Programme at CICM'08 - Conferences on Intelligent Computer Mathematics (DEADLINE: 19:06:2008) 12. CFP: International Conference on Innovation in Software Engineering - ISE08 (DEADLINE: 29:08:2008) ----------------------------- 1. CF Participation: International Symposium on Symbolic and Algebraic Computation ISSAC 2008 http://www.risc.uni-linz.ac.at/issac2008/ The organizers invite you to attend ISSAC 2008 International Symposium on Symbolic and Algebraic Computation RISC, Hagenberg, Austria, July 20-23, 2008 http://www.risc.uni-linz.ac.at/issac2008/ The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier annual conference to present and discuss new developments and original research results in all areas of symbolic mathematical computation. Planned activities include invited presentations, research papers, poster and software sessions, tutorial courses, vendor exhibits, ... IMPORTANT DATES ISSAC 2008 will be held July 20 to 23, 2008 in Hagenberg near Linz, Austria CONFERENCE TOPICS They include, but are not limited to:
    • Algorithmic Mathematics: Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, summation, integration, polynomial / differential / difference equations, linear algebra, number theory, group and invariant theory, geometric computing. Computer Science: Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, software, libraries, parallel / distributed computing and programming languages, concrete analysis, benchmarking, theoretical and practical complexity, automatic differentiation, code generation, mathematical data structures and exchange protocols. Applications: Problem treatments using algebraic, symbolic or symbolic- numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics and education. INVITED SPEAKERS Sergei Abramov, Russian Academy of Sciences, Russia Elizabeth L. Mansfield, University of Kent, UK William Stein, University of Washington, USA TUTORIALS Komei Fukuda, ETH Zurich, Switzerland Exact algorithms and software in optimization and polyhedral computation. Gregor Kemper, Technische Universitaet Muenchen, Germany Algorithmic Invariant Theory. Madhu Sudan, MIT, USA Algebraic Algorithms and Coding Theory. PROGRAM COMMITTEE John Abbott, Universita degli Studi di Genova, Italy
    • Hirokazu Anai, Fujitsu Laboratories Ltd., Japan Laurent Buse, INRIA Sophia Antipolis, France Alicia Dickenstein, Universidad de Buenos Aires, Argentina Xiao-Shan Gao, Chinese Academy of Sciences, China Laureano Gonzalez-Vega, Universidad de Cantabria, Spain; (Chair) Willem de Graaf, Universita degli Studi di Trento, Italy Mark van Hoeij, Florida State University, USA Joris van der Hoeven, Universite Paris-Sud, France Evelyne Hubert, INRIA Sophia Antipolis, France Alexander Hulpke, Colorado State University, USA M'hammed El Kahoui, Universite Cadi Ayyad, Morocco Manuel Kauers, RISC, Univ. Linz, Austria Juergen Klueners, Heinrich-Heine-Universitaet, Germany Viktor Levandovskyy, RWTH Aachen, Germany Steve Linton, University of St. Andrews, UK Greg Reid, ORCCA, University of Western Ontario, Canada Igor Shparlinski, Macquarie University, Australia Arne Storjohann, University of Waterloo, Canada Lihong Zhi, Chinese Academy of Sciences, China ORGANIZATION General Chair Program Committee Chair Local Arrangements Chair J. Rafael Sendra Laureano Gonzalez-Vega Franz Winkler ******************************************************** 2. CF Participation: Principles and Practice of Declarative Programming PPDP '08 http://www.dsic.upv.es/~slp2008 (DEADLINE: 10:06:2008) ACM PPDP 2008 - Call For Participation 10th ACM-SIGPLAN International Symposium on
    • Principles and Practice of Declarative Programming Valencia, Spain, July 15-17, 2008 **** EARLY REGISTRATION: June 10 2008 **** http://www.dsic.upv.es/~slp2008 ................................................................ SCOPE: PPDP 2008 is a forum for the declarative programming communities, gathering researchers working on logic, constraint and functional programming, but also on other programming language paradigms like visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web". RELATED EVENTS: PPDP 2008 will be co-located with the 15th International Static Analysis Symposium (SAS 2008), the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008) and the 4th International Workshop on Programming Language Interference and Dependence (PLID 2008). PROGRAMME: Invited Speaker: ----------------- Michael Leuschel. Declarative Programming for Verification: Lessons and Outlook Accepted Papers: ---------------- Veronique Benzaken, Giuseppe Castagna, Dario Colazzo and Cedric Miachon. Pattern by Example: type-driven visual programming of XML
    • queries Lunjin Lu. Inferring Precise Polymorphic Type Dependencies in Logic Programs Olaf Chitil and Thomas Davie. Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs Christian Schulte and Peter Stuckey. Dynamic Variable Elimination during Propagation Solving Thibaut Feydy, Andreas Schutt and Peter Stuckey. Global Difference Constraint Propagation for Finite Domain Solvers Romain Pchoux and Jean-Yves Marion. Characterizations of polynomial complexity with a better intensionality rinus plasmeijer, Jan Martin Jansen, Pieter Koopman and Peter Achten. Declarative Ajax and Client Side Evaluation of Workflows using iTasks Peter Thiemann and Matthias Neubauer. Macros for Context-Free Grammars Yves Bertot and Vladimir Komendantsky. Fixed point semantics and partial recursion in Coq Martin Sulzmann and Edmund Lam. Parallel Execution of Multi-Set Constraint Rewrite Rules Raphael Chenouard, Laurent Granvilliers and Ricardo Soto. Model-Driven Constraint Programming Manuel Montenegro, Ricardo Pena and Clara Segura. A Type System for Safe Memory Management and its Proof of Correctness Hendrik Decker and Davide Martinenghi. Classifying Integrity Checking Methods with regard to Inconsistency Tolerance
    • Mauro Piccolo and Luca Paolini. Semantically Linear Programming Languages Salvador Lucas and Jose Meseguer. Order-Sorted Dependency Pairs Edison Mera, Pedro Lopez-Garcia, Manuel Carro and Manuel Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages Clara Bertolissi and Maribel Fernandez. A rewriting framework for the composition of access control policies Michael Hanus. Call Pattern Analysis for Functional Logic Programs Sonia Estévez, Antonio J. Fernández, Teresa Hortalá González, Mario RodrÃguez Artalejo, Fernando Saenz-Perez and Rafael del Vado VÃrseda. Cooperation of Constraint Domains in the TOY System Brigitte Pientka and Joshua Dunfield. Programming with proofs and explicit contexts Rafael Caballero, Mario RodrÃÂguez Artalejo and Carlos A. Romero-DÃaz. Similarity-based Reasoning in Qualified Logic Programming Paulo F. Silva and Jose Oliveira. 'Galculator': Functional prototype of a Galois-connection based proof assistant Carlos Olarte and Frank D. Valencia. On the Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security José Morales, Manuel Carro and Manuel Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator
    • ORGANIZATION PROGRAM CHAIR: Sergio Antoy, Portland State University SYMPOSIUM CHAIR: Elvira Albert, Complutense University of Madrid LOCAL CHAIR: Christophe Joubert, Technical University of Valencia PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College London, UK Maurizio Gabbrielli University of Bologna, Italy Neil Ghani University of Nottingham, UK Masami Hagiya University of Tokyo, Japan Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Michael Maher NICTA and University of New South Wales, Australia Dale Miller INRIA Saclay, France Eugenio Moggi University of Genova, Italy Kostis Sagonas Uppsala University, Sweden Carsten Schurmann, IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark ******************************************************** 3. CFP: Workshop on Mobile Multimedia Processing (WMMP 2008) http://cvpr.uni-muenster.de/WMMP2008/ (DEADLINE: 15:06:2008) Deadline for Paper Submission: June 15, 2008 CALL FOR PAPERS
    • The First International Workshop on Mobile Multimedia Processing (WMMP 2008) In Conjunction with The 19th International Conference of Pattern Recognition 2008 December 7, 2008, Tampa, Florida Scope: The motivation of this workshop is to timely address challenges in applying advanced pattern recognition, signal, information and multimedia processing techniques, and new emerging technologies in networking and communication to mobile systems, given the proliferating market of mobile and portable devices. The proposed scope of this workshop includes, but not limited to, the following areas: o Mobile speech, image and video processing, mobile surveillance and vision system o Medical, Biometric, authentication and security technologies o Mobile navigation, content retrieval, context aware applications o Multimodal interfaces, filtering, visualization, personalization techniques and recommender systems for mobile devices o Entertainment applications in mobile environment o Networking and communication technologies for delivery of media to mobile devices o Mobile multimedia applications in geospatial information systems Important Dates: Paper submission: June 15, 2008 Author notification: July 15, 2008 Workshop registration by: Aug. 8, 2008 Final manuscript due: Aug 15, 2008 Submission Page Limit: 8 pages single column LNCS style Publication: Workshop Proceeding and Springer LNCS State-of-the-Art Surveys Sub-
    • series For Details: Please visit Workshop website at http://cvpr.uni- muenster.de/WMMP2008/ Inquiries: Prof. Xiaoyi Jiang Department of Mathematics and Computer Science University of Münster Germany Email: xjiang@math.uni-muenster.de Best regards, Xiaoyi Jiang, Germany Matthew Ma, USA Chang Wen Chen, USA ******************************************************** 4. CFP: International Conference on Logic Programming, ICLP'08 - extended deadline http://iclp08.dimi.uniud.it/ (DEADLINE: 13:06:2008) CALL FOR PAPERS ICLP'08 *** EXTENDED DEADLINES *** 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008
    • http://iclp08.dimi.uniud.it CONFERENCE SCOPE ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (techical papers, application papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. * Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling, Integration. * Language Issues: Extensions, Integration with Other Paradigms, Concurrency, Modularity, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. * Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics The three broad categories for submissions are: (1) Technical papers, providing novel research contributions, innovative perspectives on the field, and/or novel integrations across different areas; (2) Application papers, describing innovative uses of logic programming technology in real-world application domains; (3) Posters, ideal for presenting and discussing current work, not yet ready for publication, for PhD thesis summaries and research project overviews.
    • A separate session dedicated to the celebration of the 20th anniversary of stable model semantics will also be part of the program. Accepted papers and posters will be allocated time for presentation during the conference (with posters having a considerably shorter time). At least one author of each accepted submission is expected to register and participate in the event. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, specialized sessions, workshops, and a Doctoral Student Consortium. Details, as they become available will be posted at: http://iclp08.dimi.uniud.it PAPERS AND POSTERS ------------------ Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. Emphasis will be placed on the novelty and innovative nature of the results (even if not completely polished and refined). All submissions will be peer-reviewed by an international panel. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The limit for posters is 5 pages in the same format.
    • The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 APPLICATION PAPERS ------------------ Within the scope of the general call for papers for the upcoming 24th International Conference on Logic Programming, we would like to draw the attention of researchers and practitioners on the opportunity to submit manuscripts to the Application Track of the conference. Application papers, are expected to describing complex and/or real-world applications that rely in an essential manner on the use of logic programming technology. Description of innovative applications as well as engineering solutions leveraging logic programming technology are solicited. Papers must describe original, previously unpublished results, and must not be simultaneously submitted for publication elsewhere. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Application papers should be structured to emphasize: * the application domain, in terms understandable by a layman * the specific problem addressed within the application domain, stressing importance and complexity * a clear discussion of the unique need for logic programming technology to address the problem * a clear description of the application developed and its evaluation.
    • PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. WORKSHOPS --------- The ICLP'08 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a more focused and specialized audience. Workshops also provide a venue for presenting specialised topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. DOCTORAL CONSORTIUM ------------------- The Doctoral Consortium (DC) on Logic Programming is the 4th Doctoral consortium to provide doctoral students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and word-renown experts in the field. The DC will also offer invited speakers and panel discussions. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS ------------------------------------------------ The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled "The stable semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988. It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming.
    • Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications. To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz. as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a panel discussion, and regular accepted ICLP papers falling into the answer-set programming area will complete the program. CONFERENCE VENUE ---------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its commercial and shopping opportunities and its outstanding wine and culinary traditions. SUPPORT SPONSORING AND AWARDS ----------------------------- The conference is sponsored by the Association for Logic Programming (ALP). The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP 2008: for the best technical paper and for the best student paper. IMPORTANT DATES --------------- Papers Posters Abstract submission deadline June 6th n/a
    • Submission deadline June 13th August 15th Notification of authors August 1st September 1st Camera-ready copy due September 15th September 15th 20 Years of Stable Models TBA Doctoral Consortium TBA Workshop Proposals June 2nd Early-bird Registration TBA Conference December 9-13, 2008 ICLP'2008 ORGANIZATION ---------------------- General Chair: Agostino Dovier (University of Udine) Program Co-Chairs: Maria Garcia de la Banda (Monash University) Enrico Pontelli (New Mexico State University) Workshop Chair: Tran Cao Son (New Mexico State University) Doctoral Student Consortium: David Warren (SUNY Stony Brook) Tom Schrijvers (K.U.Leuven) Publicity Co-Chairs: Marcello Balduccini (Kodak Research Labs) Alessandro Dal Palu' (University of Parma)
    • Programming Competition Chair: Bart Demoen (K.U.Leuven) 20 Years of Stable Models: Mirek Truszczynski (University of Kentucky) Andrea Formisano (University of Perugia) Program Committee: Salvador Abreu Sergio Antoy Pedro Barahona Chitta Baral Gerhard Brewka Manuel Carro Michael Codish Alessandro Dal Palu' Bart Demoen Agostino Dovier John Gallagher Michael Gelfond Carmen Gervet Gopal Gupta Manuel Hermenegildo Andy King Michael Maher Juan Moreno Navarro Alberto Pettorossi Brigitte Pientka Gianfranco Rossi Fariba Sadri Vitor Santos Costa Tran Cao Son Paolo Torroni Frank Valencia Mark Wallace Web Master: Raffaele Cipriano Local Arrangements Committee: Alberto Casagrande Elisabetta De Maria Luca Di Gaspero Carla Piazza
    • ---------------------------------------------------- For further information: iclp08@cs.nmsu.edu http://iclp08.dimi.uniud.it ******************************************************** 5. Final CFP and programme: First Formal Epistemology Festival http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 See: http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 First Formal Epistemology Festival Conditionals and Ranking Functions Konstanz, July 28-30, 2008 Kindly funded by the Fritz Thyssen Stiftung, the Society for Analytic Philosophy, and the German Research Foundation This is the first of a series of small and thematically focused events in formal epistemology organized by Eric Swanson (Michigan), Jonathan Weisberg (Toronto), and Franz Huber (Konstanz). The background for the first Formal Epistemology Festival is the 40th anniversary of Robert Stalnaker’s “A Theory of Conditionals” and the 20th anniversary of Wolfgang Spohn’s “Ordinal Conditional Functions. A Dynamic Theory of Epistemic States”. The festivities of 2009 will take place in Ann Arbor, featuring Causal Decision Theory and Scoring Rules (this happens to be the 10th anniversary of James Joyce’s The Foundations of Causal Decision Theory). The festivities of 2010 will take place in Toronto and focus on Defeater/Default Logic and Perception
    • (this happens to be the 30th anniversary of Ray Reiter’s “A Logic for Default Reasoning” and the 15th anniversary of John Pollock’s Cognitive Carpentry). Further details about these events will be announced in due time. Registration is free, but participants are asked to let us know by sending an e-mail to Alexandra Zinke and Peter Brössel at {alexandra.zinke, peter.broessel}@uni-konstanz.de by May 31, 2008. The airport closest to Konstanz is Zurich airport, where trains go to Konstanz twice an hour. The train ride between Zurich airport and Konstanz takes about an hour. We strongly recommend booking rooms as early as possible, since Konstanz is very busy in the summer. For further questions please contact Alexandra Zinke and Peter Brössel at the above mentioned e-mail addresses. Program: Monday, July 28, 2008 11:15 -- 11:25: Welcome (Eric Swanson, Jonathan Weisberg, Franz Huber) 11:25 -- 12:35: Chair: Franz Huber Robert Stalnaker (MIT): Nested Conditionals and Iterated Belief Revision 12:35 -- 14:30: Lunch 14:30 -- 15:40: Chair: Anna-Maria Eder Igor Douven (Leuven): TBA 15:40 -- 15:55: Coffee Break 15:55 -- 17:05: Chair: Anna-Maria Eder Wolfgang Spohn (Konstanz): Objectivizing Ranking Functions 17:05 -- 17:20: Coffee Break 17:20 -- 18:30: Chair: Anna-Maria Eder Franz Huber (Konstanz): Conditionals and Ranking Functions 20:00: Dinner Tuesday, July 29, 2008 10:00 -- 11:10: Chair: Jonathan Weisberg Anthony Gillies (Michigan): On Truth-Conditions for if (but not quite
    • only if) 11:10 -- 11:25: Coffee Break 11:25 -- 12:35: Chair: Jonathan Weisberg Sarah Moss (MIT): On the Pragmatics of Counterfactuals 12:35 -- 14:30: Lunch 14:30 -- 15:40 Uhr: Chair: Alexandra Zinke Hans Rott (Regensburg): Indicative and Subjunctive Conditionals Revisited: Similarities and Differences 15:40 -- 15:55: Coffee Break 15:55 -- 17:05: Chair: Alexandra Zinke Timothy Williamson (Oxford): Conditionals and Actuality 17:05 -- 17:20: Coffee Break 17:20 -- 18:30: Chair: Alexandra Zinke Eric Swanson (Michigan): Constraint Semantics and Its Application to Conditionals 20:00: Dinner Wednesday, July 30, 2008 10:00 -- 11:10: Chair: Eric Swanson Robert Williams (Leeds): Vagueness, Conditionals, and Probability 11:25 -- 12:35: Chair: Eric Swanson David Etlin (MIT): Modus Ponens Revisited 12:35 -- 14:30: Lunch 14:30 -- 15:40: Chair: Peter Brössel Hannes Leitgeb (Bristol): A Probabilistic Semantics for Counterfactuals 15:40 -- 15:55: Coffee Break 15:55 -- 17:05: Chair: Peter Brössel Alan Hájek (ANU): Arrows and Haloes: Probabilities of Conditionals and Desire-as-Belief 17:05 -- 17:20: Coffee Break 17:20 -- 18:30: Chair: Peter Brössel Jonathan Weisberg (Toronto): Embedding 'if and only if' 20:00: Dinner
    • ******************************************************** 6. CFP: The First International Workshop on Video Mining (VM2008) http://www4.comp.polyu.edu.hk/~csdct/Conference/VM2008/VM2008.html (DEADLINE: 01:08:2008) Call for Papers The First International Workshop on Video Mining (VM'08) Pisa, Italy, December 19, 2008 In conjunction with IEEE ICDM2008 (http://www4.comp.polyu.edu.hk/~csdct/Conference/VM2008/VM2008.html) ******************************************************************** With cameras become pervasive in our daily life, vast amounts of videos are generated in different aspects of our society every day. The popularity of YouTube-like websites is one of strong evidences for this. How to effectively analyze and use the already huge, rapidly growing video data is one of main challenges we are facing. Video processing and analysis techniques become more and more important in the field of computer vision and image understanding and other related areas. There are wide-rage potential video-based applications in many areas including multimedia, human computer interface, security and surveillance, copyright protection, personal entertainment, to name a few. Video mining is to discover and describe interesting patterns in video data, which has become one of the core problem areas of the data mining research community. Compared to the mining of other types of data (e.g., text), video mining is still in its infancy, and an under-explored field. There are many challenging research problems facing video mining. For example, how to discover knowledge from spatial-temporal data, how to infer high-level semantic concepts from low-level features extracted from videos, how to make use of unlabeled data. Applying general data mining techniques for video data will face a number of difficulties as well, because of the need to analyze large amount of high-dimensional data. To address these challenges, we have to adapt the existing data mining theory or algorithm for video data, or find new techniques and approaches suitable for video data.
    • This one-day workshop seeks to present and highlight the latest developments in video data mining and video-based applications. It aims to bring together worldwide researchers from related disciplines, to provide a forum for the dissemination of significant research work and innovative practice, and to encourage exchanges, interactions and possible collaboration between participants. Topics of interest include, but are not limited to, ------------------ * Video clustering and categorization * Video based object recognition * Video segmentation and summarization * Video feature extraction and representation * Video indexing and retrieval * Video search engines * Video editing and browsing systems * Visual event and activity detection * Statistical techniques for video analysis * Semantic video content analysis * Video processing for HCI * Video surveillance (person identification, abnormal activity labeling ...) * Consumer video applications (sports highlight detection, commercial message extraction ...) Program Co-chairs ----------------- o Dan Schonfeld University of Illinois at Chicago, USA o Caifeng Shan Philips Research, The Netherlands o Dacheng Tao Hong Kong Polytechnic University, China o Liang Wang The University of Melbourne, Australia PC Members ---------- o Rainer Lienhart Institut für Informatik, Universität Augsburg, Germany o Shaogang Gong Queen Mary University London, UK
    • o Wolfgang Klas Institute for Distributed & Multimedia Systems, Austria o C.-C. Jay Kuo University of South California, USA o Greg Mori Simon Fraser University , Canada o Stan Li Chinese Academy of Sciences, China o Zoran Dimitrijevic Google Inc, USA o Qi Li Western Kentucky University, USA o Kadir A. Peker Bilkent University, Turkey o Tao Mei Microsoft Research Asia, China o Dimitrios Makris Kingston University, UK o Tianhao Zhang Hong Kong Polytechnic University, Hong Kong, China o Stephen J. Maybank Birkbeck, University of London, UK o Jiebo Luo Kodak Research Labs, USA o Ashfaq Khokhar University of Illinois at Chicago, USA o Qi Tian University of Texas, USA o Xiaozhe Wang University of Melbourne, Australia o David Doermann University of Maryland, USA o Liang-Tien Chia Nanyang Technological University Important dates --------------- Submission deadline: **August 1, 2008** Notification of acceptance: September 15, 2008 Camera-ready due: October 7, 2008 Workshop: December 19, 2008 Paper Submission ---------------- * In submitting a manuscript to this workshop, the authors acknowledge that no paper substantially similar in content has been submitted to another conference, workshop, or journal. * As tradition at ICDM, a "forward to workshops" mechanism will be adopted this year, where a paper not accepted for the main ICDM conference can be (at the author's request) "fast-tracked" to this workshop, preserving reviews. * The format of the paper is the same as the ICDM main conference paper. Please follow the instructions on the website http://icdm08.isti.cnr.it/.
    • The review process will be double-blind. * For the paper submission, please follow the link (To be announced by ICDM 2008). Review and publication ---------------------- Each submission will be reviewed by at least three reviewers from program committee members and external reviewers for originality, significance, clarity, soundness, relevance and technical contents. Accepted papers will be published by IEEE in the workshop proceedings of ICDM 2008, and will be invited to submit in the extended form to an edited book (Springer) by the organizers and/or a journal special issue after conference. Registration ------------ At least one author for each paper needs to register to ICDM 2008. There is no separate registration for the workshop. The main conference registration covers everything. Contact ------- Any information or inquiries regarding the workshop can be forwarded to: <caifeng [dot] shan [at] gmail [dot] com> or <dacheng [dot] tao [at] gmail [dot] com>. ******************************************************** 7. CFP: 8th IEEE International Conference on Data Mining (ICDM08) http://icdm08.isti.cnr.it/ (DEADLINE: 30:06:2008) ICDM '08: The 8th IEEE International Conference on Data Mining -------------------------------------------------------------- December 15-19, 2008
    • Pisa, Italy http://icdm08.isti.cnr.it/ Important Dates --------------- June 30, 2008 Deadline for tutorial proposals July 7, 2008 Deadline for paper submission September 15, 2008 Notification to authors October 7, 2008 Deadline for camera-ready copies December 15-19, 2008 Conference Call for Papers --------------- The IEEE International Conference on Data Mining series (ICDM) has established itself as the world's premier research conference in data mining, providing a leading forum for presentation of original research results, as well as exchange and dissemination of innovative, practical development experiences. The conference covers all aspects of data mining, including algorithms, software and systems, and applications. In addition, ICDM draws researchers and application developers from a wide range of data mining related areas such as statistics, machine learning, pattern recognition, databases and data warehousing, data visualization, knowledge-based systems, and high performance computing. By promoting novel, high quality research findings, and innovative solutions to challenging data mining problems, the conference seeks to continuously advance the state-of-the-art in data mining. Besides the technical program, the conference will feature workshops, tutorials, panels, and the ICDM data mining contest. Paper Submissions -----------------
    • High quality papers in all data mining areas are solicited. Original papers exploring new directions will receive especially careful consideration. Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for ICDM '08. Paper submissions should be limited to a maximum of 10 pages in the IEEE 2-column format, the same as the camera-ready format (see the IEEE Computer Society Press Proceedings Author Guidelines at http://www.computer.org/portal/pages/cscps/cps/final/icdm06.xml ). All papers will be reviewed by the Program Committee on the basis of technical quality, relevance to data mining, originality, significance, and clarity. A double blind review process will be adopted. Authors should avoid using identifying information in the text of the paper. A Submission Form to submit your work will be announced on the ICDM '08 website. Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press and accorded oral presentation times in the main conference. Submissions accepted as regular papers will be allocated 10 pages in the proceedings. Submissions accepted as short papers will be allocated 6 pages in the proceedings and will have a shorter presentation time at the conference than regular papers. A selected number of IEEE ICDM '08 accepted papers will be invited for possible inclusion, in expanded and revised form, in the Knowledge and Information Systems journal (http://www.cs.uvm.edu/~kais/) published by Springer-Verlag. ICDM Best Paper Awards ----------------------
    • IEEE ICDM Best Paper Awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Strong, foundational results will be considered for the best research paper award and application-oriented submissions will be considered for the best application paper award. Workshops and Tutorials ----------------------- ICDM '08 will host short and long tutorials as well as workshops that focus on new research directions and initiatives. All accepted workshop papers will be included in a separate workshop proceedings published by the IEEE Computer Society Press. For further information on workshop submissions, please visit the conference website. ---------------------------- ICDM'08 will host tutorials covering topics in data mining of interest to the research community as well as application developers. The tutorials will be part of the main conference technical program, and are free of charge to the attendees of the conference. We invite proposals for tutorials from active researchers and experienced tutors. Ideally, a tutorial will cover the state-of-the-art research, development and applications in a specific data mining direction, and stimulate and facilitate future work. A tutorial should not mainly focus on only the presenters' previous work. Tutorials on interdisciplinary directions, novel and fast growing directions, and significant applications are highly encouraged. ICDM will provide an honorarium for each tutorial. It is possible, depending on actual conference attendance, that the conference can (partly) support travel and subsistence expenses for tutorial speakers. Please provide an estimate for these expenses in your proposal if you are
    • expecting the conference to cover these expenses for you. We will assume that the tutorial speakers will be able to cover these expenses from their own sources if no estimate is included in their proposals. A tutorial proposal should be formatted in the following sections. 1. Title 2. Abstract (up to 150 words) 3. Rationale of presenting the tutorial at ICDM'08 (up to 200 words) 4. Target audience and prerequisites (up to 50 words) 5. A list of forums and their time and locations if the tutorial or a similar/highly related tutorial has been presented by the same author(s) before, and highlight the similarity/difference between those and the one proposed for ICDM'08 (up to 100 words for each entry) 6. A list of tutorials on the same/similar/highly related topics given by other people, and highlight the difference between yours and theirs (up to 100 words for each entry) 7. A list of other tutorials given by the authors, please list the titles, the presenters and the forums only. 8. Tutors' short bio and their expertise related to the tutorial (up to 100 words per tutor) 9. An outline of the tutorial in the form of a bullet list (up to 1 page) 10. Length of the tutorial: short (1.5-2 hours) or long (3-4 hours). If you are flexible, please indicate in the outline the content that will not be included if a short tutorial is given. 11. A list of up to 20 most important references that will be covered in
    • the tutorial 12. (Optional) URLs of the slides/notes of the previous tutorials given by the authors, and any specific audio/vedio/computer requirements for the tutorial Please kindly send your proposals to Arno Siebes (Arno.Siebes@cwi.nl) and Dino Pedreschi (Dino.Pedreschi@di.unipi.it) on or before *** June 30, 2008. *** The selection results will be announced in late July. The tutorial co-chairs, Dino Pedreschi Arno Siebes -------------------------------- ICDM Data Mining Contest ------------------------ ICDM '08 will host a data mining contest to challenge researchers and practitioners with a real practical data mining problem. For further details on proposals and expression of interest, please see: http://icdm08.isti.cnr.it/CallsFor/15/icdm-2008-data-mining-contest-call-for-proposals Topics of Interest ------------------ * Data mining foundations - Novel data mining algorithms in traditional areas (such as classification, regression, clustering, probabilistic modeling, pattern discovery, and association analysis) - Models and algorithms for new, structured, data types, such as
    • arising in chemistry, biology, environment, and other scientific domains - Developing a unifying theory of data mining - Mining sequences and sequential data - Mining spatial and temporal datasets - Mining textual and unstructured datasets - Distributed data mining - High performance implementations of data mining algorithms - Privacy- and anonymity-preserving data analysis * Mining in emerging domains - Stream Data Mining - Mining moving object data, RFID data, and data from sensor networks - Ubiquitous knowledge discovery - Mining multi-agent data - Mining and link analysis in networked settings: web, social and computer networks, and online communities - Mining the semantic web - Data mining in electronic commerce, such as recommendation, sponsored web search, advertising, and marketing tasks * Methodological aspects and the KDD process - Data pre-processing, data reduction, feature selection, and feature transformation - Utility assessment, interestingness analysis, and post-processing - Statistical foundations for robust and scalable data mining - Handling imbalanced data - Automating the mining process and other process related issues - Dealing with cost sensitive data and loss models - Human-machine interaction for the KDD process - Visual analytics for data mining - Integration of data warehousing, OLAP and data mining - Data mining query languages - Security and data integrity * Integrated KDD applications, systems, and experiences
    • - Bioinformatics, computational chemistry, ecoinformatics - Computational finance, online trading, and analysis of markets - Intrusion detection, fraud prevention, and surveillance - Healthcare, epidemic modeling, and clinical research - Customer relationship management - Telecommunications, network and systems management - Sustainable mobility and intelligent transportation systems Organization ------------ Conference Co-chairs: Franco Turini (KDD Lab, Univ. Pisa, Italy) Carlo Zaniolo (UCLA, USA) Naren Ramakrishnan (Virginia Tech, USA) Program Committee Chairs: Fosca Giannotti (KDD Lab, ISTI-CNR, Italy) Dimitrios Gunopulos (UC Riverside, USA) Vice Chairs: Gennady Andrienko (Fraunhofer Institute Autonomous Intelligent Systems) Ricardo Baeza-Yates (Yahoo! Research Barcelona) Elena Baralis (Politecnico di Torino) Roberto Bayardo (Google, Inc.) Toon Calders (Eindhoven Technical University) Gautam Das (University of Texas at Arlington) Luc De Raedt (Leuven) Amol Deshpande (University of Maryland) Carlotta Domeniconi (George Mason University) Charles Elkan (University of California, San Diego) Tapio Elomaa (University of Helsinki) Wei Fan (IBM)
    • Johannes Gehrke (Cornell University) Aris Gionis (Yahoo! Research Barcelona) Hillol Kargupta (University of Maryland) Eamonn Keogh (University of California – Riverside) Ravi Kumar (Yahoo! Research Silicon Valley) Laks V.S. Lakshmanan (University of British Columbia) Ling Liu, Georgia Institute of Technology) Nikos Mamoulis (University of Hong Kong) Giuseppe Manco (University of Calabria) Heikki Mannila (Helsinki University of Technology) Mirco Nanni (KDD Lab, ISTI – CNR) Srinivasan Parthasarathy (The Ohio State University) Jian Pei (Simon Fraser University) Rajeev Rastogi (Yahoo! Labs - Bangalore) Yucel Saygin (Sabanci University) Kyuseok Shim (KAIST) Yannis Theodoridis (University of Piraeus) Michalis Vazirgiannis (Athens Univ. of Economics & Business) Zhi-Hua Zhou (Nanjing University) Steering Committee Chair: Xindong Wu (Univ. Vermont, USA) Tutorials Chairs: Dino Pedreschi (KDD Lab, Univ. Pisa, Italy) Arno Siebes (Uthrecht Univ., The Netherlands) Workshops Chairs: Francesco Bonchi (KDD Lab, ISTI-CNR, Italy) Bettina Berendt (Humbolt Univ. Berlin, Germany) Award Chair:
    • Katharina Morik (Univ. Dortmund, Germany) Panels Chair: Jean-Francois Boulicaut (INSA Lyon, France) Exhibit and Demo Chairs: Michail Vlachos (IBM T. J. Watson Research Center, USA) Haixun Wang (IBM T. J. Watson Research Center, USA) Publicity Chairs: Maurizio Atzori (KDD Lab, ISTI-CNR, Italy) Yan-Nei Law (Bioinformatics Institute, Singapore) Sponsorship Chairs: Antonio Gulli (Ask.com, Italy) Raffaele Perego (HPC Lab, ISTI-CNR, Italy) Local Arrangements Chairs: Chiara Renso (KDD Lab, ISTI-CNR, Italy) Tiziana Mazzone (KDD Lab, ISTI-CNR, Italy) Local Arrangements Team: Miriam Baglioni, Michele Berlingerio, Andrea Mazzoni, Mirco Nanni, Ruggero Pensa, Fabio Pinelli, Simone Puntoni, Salvatore Rinzivillo, Salvatore Ruggeri, Roberto Trasarti (KDD Lab, Univ.Pisa and ISTI-CNR, Italy) Finance Chair: Dino Pedreschi (KDD Lab, Univ. Pisa, Italy)
    • Further Information ------------------- icdm08-chair@isti.cnr.it icdm08-organizer@isti.cnr.it surface address: IEEE - ICDM08 KDD Lab, ISTI-CNR via A. Moruzzi, 1 56124 Pisa, Italy Phone: +39 050 3152999 - 3153000 - 3153001 Fax: +39 050 3152040 ******************************************************** 8. CFP: Conference on Visual Media Production CVMP 2008 http://conferences.theiet.org/CVMP/ f (DEADLINE: 11:07:2008) 5th European Conference on Visual Media Production CVMP 2008 26-27 November 2008, The IET, Savoy Place, London, UK Technical contributions from experts in academia and industry will be looking at three key fields for movies, television, interactive programmes, online content and gaming industry: * image analysis * computer vision * computer graphics See http://conferences.theiet.org/CVMP/ for details.
    • The Conference on Visual Media Production is honoured to announce the BBC Best Paper Award 2008. This Competition is open to all full papers submitted for the CVMP 2008 event. Papers are judged by peer review and will be marked on the basis of the subject, argument, style of the paper, and the subsequent presentation. Keynote speakers: Andy Lomas, Head, Computer Graphics, Framestore Professor Philip H. S. Torr, Head, Brookes Computer Vision Group, Oxford Brookes University David C. Seigle, President, In-Three, Inc. Full papers: Submission deadline for full papers Friday, 11 July 2008 Notification of acceptance Friday, 29 August 2008 Submission of final full paper Friday, 17 October 2008 Short papers: Submission deadline for short papers Friday, 19 September 2008 Notification of acceptance short paper Friday, 3 October 2008 Submission of final short paper Friday, 17 October 2008 Special session: 3DTV and 3D movie production techniques ******************************************************** 9. CFP: AI-2008, Cambridge, UK - extended deadline http://www.bcs-sgai.org/ai2008/ (DEADLINE: 15:06:2008) In response to many requests it has been decided to extend the deadline for submitting papers/posters to SUNDAY JUNE 15th. (There will not be any further extension.) *************************************************************** AI-2008: Peterhouse College, Cambridge, UK
    • December 9th-11th 2008 http://www.bcs-sgai.org/ai2008/ FINAL CALL Organised by BCS SGAI: The British Computer Society Specialist Group on Artificial Intelligence (an ECCAI Member Society) The leading series of UK-based international conferences on Artificial Intelligence and one of the longest running AI conference series in Europe. CALL FOR CONTRIBUTIONS AI-2008 is the Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. The scope of the conference comprises the whole range of AI technologies and application areas. AI-2008 reviews recent technical advances in AI technologies and shows how these advances have been applied to solve business problems. Key features of AI-2008 are: - Papers will be published in book form by Spinger. - The Technical Stream presents the best of recent developments in AI, covering a wide range of technical areas. - The Application Stream is the largest annual showcase in Europe of real applications using AI technology. - The best papers will be reprinted in a special issue of the international journal 'Knowledge Based Systems'.
    • - The Poster Session is a forum for disseminating new developments and latest work in progress, especially suited to MSc and PhD students. - Prizes for Best Paper in each stream and Best Poster. - The programme also includes tutorials and workshops to provide greater depth in selected topics. (These are free to delegates of the main conference, but separate registration is also available.) - The Machine Intelligence (MI) competition exhibits working systems that are a significant step towards machine intelligence. - UK CBR13, the 13th UK CBR Workshop, will be co-located with AI- 2008. - The conference qualifies for the IEE and BCS CPD schemes. - In addition to the formal sessions, the conference programme includes a welcome reception and a Gala Dinner. AI-2008 offers a valuable opportunity to keep up to date with developments in AI and to share experiences in the practical issues of developing AI systems. IMPORTANT DATES - Paper/Poster Submission: Sunday 15th June 2008 - Notification of Acceptance: Monday 21st July 2008 - Camera Ready Paper: Monday 1st September 2008 CALL FOR CONTRIBUTIONS
    • Contributions are invited in the form of papers of up to fourteen A4 pages presenting original work in AI. Contributions may be submitted to either of two streams for oral presentation, or a parallel poster session (six pages maximum). Technical Stream Areas of interest include (but are not restricted to): knowledge engineering; semantic web; constraint satisfaction; intelligent agents; machine learning; model based reasoning; verification and validation of AI systems; natural language understanding; speech-enabled systems; case based reasoning; neural networks; genetic algorithms; data mining and knowledge discovery in databases; knowledge representation, inference and reasoning; robotics and pervasive computing; qualitative and temporal reasoning; knowledge management; AI languages and environments; robotics and pervasive computing. Application Stream Case studies are welcomed describing the application of AI to real-world problems. Papers in recent years have covered all application domains, including commerce, manufacturing and government, and every major AI technique. In addition to case studies and specific applications of AI, we would welcome papers that discuss issues such as managing the transfer from research to production of AI-based products. Papers are selected to highlight critical areas of success (and failure) and to present the benefits and lessons of value to other developers. Submitted papers should make these points clear. Guidance notes for Application Stream authors are available from the website. Poster Session
    • The Poster Session is intended for the presentation of work which meets the high standards of AI-2008, but which is more topical and preliminary than the work presented in the main two streams. It is an excellent forum for disseminating new developments and latest work in progress, especially suited to MSc and PhD students. Poster papers will be printed as short papers (maximum 6 pages) in the proceedings volumes. Papers submitted to the Technical and Application streams will automatically be considered as posters if they fall short of the standard for oral presentation in full form. Publication of Papers Papers accepted for presentation at the conference will be published in book form by Springer. - The books will be prepared from camera-ready copy supplied by the authors of accepted papers. - Formatting specifications for the proceedings have been provided by the publisher and are available from the conference website. - Authors will retain copyright in all papers published in the two volumes of proceedings. - The best six refereed papers in each stream will be reprinted as a special issue of the international journal Knowledge Based Systems. Submission of Papers Papers must be prepared in either Microsoft Word or Latex. Initial versions of papers should be submitted in PDF format only and uploaded to the conference website by SUNDAY JUNE 15th 2008 at the
    • latest. There are revised Word macro and Latex style files compared with previous years. - At least one author of each accepted paper must register for and attend the conference to present it in person, for the paper to be published. - Presenting authors will be asked to register for the conference at the discounted speakers' rate when they return the final camera-ready printed versions of their papers. Tutorials & workshops The Conference Committee invites proposals for tutorials and workshops to be presented on the first day of the conference. These should be directed in the first instance to the Tutorial/Workshop Organiser. Prizes There are sponsored prizes (a trophy plus 500 pounds) for the best paper submitted in each stream and a trophy plus a cash prize for the best poster, awarded on the basis of delegate voting. Machine Intelligence Competition A permanent trophy awarded for one year plus a 1,000 pounds cash prize will be awarded to the winner of the annual machine intelligence competition. This prize will be awarded to the working system that is considered to be the most significant step forward towards Machine Intelligence on display at the competition. All further information including details of the conference committee, program committees, paper format and uploading instructions is given
    • on the conference website. ALL CORRESPONDENCE SHOULD BE SENT BY EMAIL TO THE CONFERENCE SECRETARIAT: sgai-conference@bcs.org.uk ******************************************************** 10. CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 http://community.ise.canberra.edu.au/conference/cimca08/ (DEADLINE: 29:08:2008) CALL FOR PAPERS International Conference on Computational Intelligence for Modelling, Control and Automation 10-12 December 2008 - Vienna, Austria http://community.ise.canberra.edu.au/conference/cimca08/ Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ Honorary Chair: Lotfi A. Zadeh, University of California, USA Stephen Grossberg, Boston University, USA Important Dates: 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance
    • 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Collaborators and sponsors: European Society for Fuzzy Logic and Technology - EUFLAT International Association for Fuzzy Set in Management and Economy - SIGEF Japan Society for Fuzzy Theory and Intelligent Informatics - SOFT Taiwan Fuzzy Systems Association - TFSA World Wide Web Business Intelligence - W3BI Hungarian Fuzzy Association - HFA University of Canberra IEEE - Conference Proceedings will be published by IEEE in USA The international conference on computational intelligence for modelling, control and automation will be held in Vienna, Austria on 10-12 December 2008. The conference provides a medium for the exchange of ideas between theoreticians and practitioners to address the important issues in computational intelligence, modelling, control and automation. The conference will consist of both plenary sessions and contributory sessions, focusing on theory, implementation and applications of computational intelligence techniques to modelling, control and automation. For contributory sessions, papers (4 pages or more) are being solicited. Several well-known keynote speakers will address the conference. Conference Proceedings will be published as books by IEEE (The Institute of Electrical and Electronic Engineering) in USA and will be index world wide. All papers will be peer reviewed by at least two reviewers. Topics of the conference include, but are not limited to, the following areas:
    • Modern and Advanced Control Strategies: Neural Networks Control, Fuzzy Logic Control, Genetic Algorithms and Evolutionary Control, Model-Predictive Control, Adaptive and Optimal Control, Intelligent Control Systems, Robotics and Automation, Fault Diagnosis, Intelligent agents, Industrial Automations, Modelling, Simulation Hybrid Systems: Fuzzy Evolutionary Systems, Fuzzy Expert Systems, Fuzzy Neural Systems, Neural Genetic Systems, Neural-Fuzzy-Genetic Systems, Hybrid Systems for Optimisation Data Analysis, Prediction and Model Identification: Signal Processing, Prediction and Time Series Analysis, System Identification, Data Fusion and Mining, Knowledge Discovery, Intelligent Information Systems, Image Processing, and Image Understanding, Parallel Computing applications in Identification & Control, Pattern Recognition, Clustering and Classification Decision Making and Information Retrieval: Case-Based Reasoning,
    • Decision Analysis, Intelligent Databases & Information Retrieval, Dynamic Systems Modelling, Decision Support Systems, Multi-criteria Decision Making, Qualitative and Approximate-Reasoning Paper Submission Papers will be selected based on their originality, significance, correctness, and clarity of presentation. Papers (4 pages or more) should be submitted to the following e-mail or through conference website: E-mail: cimca@canberra.edu.au CIMCA'2008 Secretariat School of Information Sciences and Engineering University of Canberra, Canberra, 2616, ACT, Australia Electronic submission of papers (either by E-mail or through conference website) is preferred. Papers should present original work, which has not been published or being reviewed for other conferences. Important Dates 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Special Sessions and Tutorials Special sessions and tutorials will be organised at the conference. The conference is calling for special sessions and tutorial proposals. All special session proposals should be sent to the conference chair (by email to: masoud.mohammadian@canberra.edu.au) on or before 4th of August 2006. CIMCA'06 will also include a special poster session devoted to recent work and work-in-progress. Abstracts are solicited for this session. Abstracts (3 pages limit) may be submitted up to 30 days before the conference date.
    • Visits and social events Sightseeing visits will be arranged for the delegates and guests. A separate program will be arranged for companions during the conference. Further Information For further information either contact cimca@canberra.edu.au or see the conference homepage at: http://community.ise.canberra.edu.au/conference/cimca08/ Organising Committee: Canada and USA Liaison: J. D. Pinter, J. D. Pinter, PCS Inc. & Dalhousie University, Canada Asia Liaison: Christina Meier, W3BI, Australia R. Amin Sarker, ADFA, Australia Europe Liaison: Frank Zimmer, ASTRA - Luxembourg Nasser Jazdi, Institut für Automatisierungs- und Softwaretechnik, Germany Andreas S. Andreou, University of Cyprus,Cyprus Publication: Masoud Mohammadian, University of Canberra, Australia International Programme Committee J. Liu, Hong Kong Baptist University, Hong Kong A. Namatame, National Defense Academy, Japan A. Agah, The University of Kansas, USA J. P. Bigus, IBM T.J. Watson Research Center, USA E. André, Universität Augsburg, Germany K. Sycara, Carnegie Mellon University, USA H. Adeli, The Ohio State University, USA B. Kosko, University of Southern California, USA A. Kandel, University of South Florida, USA
    • T. Fukuda, Nagoya University, Japan T. Baeck, Informatic Centrum Dortmund, Germany J.Bezdek, University of West Florida, USA M. Mohammadian University of Canberra, Australia K. Hirota, Tokyo Institute of Technology, Japan E. Oja, Helsinki University of Technology, Finland W. Pedrycz, University of Manitoba, Canada X. Yao, The University of New South Wales, ADFA, Australia H. R. Berenji, NASA Ames Research Center, USA R. C. Eberhart, Purdue University,USA T. Shibata, MITI, Ministry of International Trade and Industry, Japan H. Liljenstrom, Royal Institute of Technology, Sweden A. Y. Zomaya, University of Western Australia, Australia F. Herrera, University of Granada, Spain A Jafari, Indiana University Purdue University Indianapolis, IUPUI, USA A. Bulsari, AB Nonlinear Solutions OY, Finland B. Ruhul Sarker, University of New South Wales (ADFA), Australia J. D. Pinter, Dalhousie University, Canada T. Furuhashi, Nagoya University, Japan A. Aamodt, Norwegian University of Science and Technology, Norway J. Fernandez de Cañete, University of Malaga, Spain W. Duch, Nicholas Copernicus,University, Poland E. Tulunay, Middle East Technical University, Turkey L. Guan, University of Sydney, Australia C. Kuroda, Tokyo Institute of Technology, Japan T. Yamakawa, Kyushu Institute of Technology, Japan ******************************************************** 11. Doctoral Programme at CICM'08 - Conferences on Intelligent Computer Mathematics http://events.cs.bham.ac.uk/cicm08/doctoral/ (DEADLINE: 19:06:2008) Doctoral Programme at CICM'08 in Birmingham
    • http://events.cs.bham.ac.uk/cicm08/doctoral/ <http://events.cs.bham.ac.uk/cicm08/doctoral/> (Some Student Grants Available!) A Doctoral Programme will be organized as part of the CICM'08: Conferences on Intelligent Computer Mathematics in Birmingham. The CICM'08 Doctoral Programme will enable graduate students to discuss and present their research and ideas, and gain feedback from respected researchers within the areas of Mathematics, Computer Science and Artificial Intelligence. It will also promote contacts between participating students and provide information on careers opportunities in academia, research and industry. Moreover, tutorials from experienced researchers are planned as well as a social programme including some sports event. Some financial support for travel and attendance are available to support some students attending CICM'08 and its Doctoral Programme. Application Ph.D. students at any level, working on a research topic related to the CICM'08 conferences (http://events.cs.bham.ac.uk/cicm08/ <http://events.cs.bham.ac.uk/cicm08/>) may apply for participation in the Doctoral Programme. Application documents shall be send to chris@ags.uni-sb.de <mailto:chris@ags.uni- sb.de> and they should consist of: * A brief (max. 1 page) summary of the PhD topic * A short letter of recommendation from the supervisor * A statement whether the student applies for a grant or not On the basis of this information, the programme committee and the Junior Advisory Board will invite eligible students to participate in the Doctoral
    • Programme and award financial support. Dates Application Deadline: June 19 Acceptance Notification: June 23 Programme Committee Christoph Benzmueller (Saarland University) Jacques Fleuriot (The University of Edinburgh) William Farmer (Master University) Mateja Jamnik (Cambridge University) Joerg Siekmann (DFKI Saarbruecken and Saarland University) Junior Advisory Board: Josef Baker (The University of Birmingham) Christine Mueller (Jacobs University Bremen) Marc Wagner (Saarland University) ******************************************************** 12. CFP: International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ (DEADLINE: 29:08:2008) CALL FOR PAPERS International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ 10-12 December 2008 - Vienna, Austria http://community.ise.canberra.edu.au/conference/ise08/
    • Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Computational Intelligence for Modelling, Control and Automation http://community.ise.canberra.edu.au/conference/cimca08/ Important Dates: 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions The international Conference on Innovation in Software Engineering - ISE'2008 will be held in Vienna, Austria on 10-12 December 2008. ISE'2008 provides a medium for researchers and practitioners to exchange and explore the issues and opportunities in software engineering. The conference focus is on theory and applications of new and innovative ways in software engineering,systems analysis, design, implementation, testing and maintenance. The conference will consist of both plenary sessions and contributory sessions, focusing on theory and application of software engineering techniques in diverse fields. The conference proceedings will be published by IEEE in the USA and will be indexed through IEE INSPEC, EI (Compendex), SCI (ISI), IEEE XploreTM and the IEEE Computer Society digital libraries (CSDL). All papers will be peer reviewed by at least two reviewers.
    • Conference Topics Include (but not limited to): Software engineering Requirements analysis Feasibility analysis Systems analysis Software components, System design and implementation Reliable software technologies Software testing Maintenance issue Dependable computing Software architectures User modeling and interface design Reverse engineering Real-time software Software project management Programming issues Algorithms and data structures Object-Oriented Programming Visual Programming Mobile and distributed system application Software systems for mobile applications Ubiquitous computing High performance computing and parallel processing systems Load Balancing and Scheduling Database and data management Data quality and integrity Large database design, implementation and maintenance Data-mining from databases and data warehouses Data Semantics Data generation and integration
    • Software engineering and automation Automated Software project management Automated planning and effort estimation Reliability estimation and prediction Automated software testing, verification and validation Fault identification in real time systems Evolving software systems Software systems and web applications Web applications Internet information systems Semantic Web Technologies Web Services Web semantic Ontologies E-commerce applications Electronic Payment Systems Virtual Communities Business Reengineering Issues for Electronic Commerce Government Electronic Procurement and Service Delivery Legal, Auditing or Security Issues for Electronic Commerce Paper Submission Papers will be selected based on their originality, significance, correctness, and clarity of presentation. Papers (4 pages or more) should be submitted to the following e-mail or through conference website: E-mail: cimca@canberra.edu.au ISE'2008 Secretariat School of Information Sciences and Engineering University of Canberra, Canberra, 2616, ACT, Australia
    • Electronic submission of papers (either by E-mail or through conference website) is preferred. Papers should present original work, which has not been published or being reviewed for other conferences. Special Sessions and Tutorials Special sessions and tutorials will be organised at the conference. The conference is calling for special sessions and tutorial proposals. All special session proposals should be sent to the conference chair (by email to: masoud.mohammadian@canberra.edu.au) on or before 4th of August 2006. CIMCA'06 will also include a special poster session devoted to recent work and work-in-progress. Abstracts are solicited for this session. Abstracts (3 pages limit) may be submitted up to 30 days before the conference date. Visits and social events Sightseeing visits will be arranged for the delegates and guests. A separate program will be arranged for companions during the conference. Further Information For further information either contact cimca@canberra.edu.au or see the conference homepage at: http://community.ise.canberra.edu.au/conference/cimca08/ ******************************************************** More Information about the AISB can be found at www.aisb.org.uk Bulletins maintained by: Therie Hendrey-Seabrook AISB Executive Office Chichester 2R211
    • School of Science and Technology University of Sussex Falmer, Brighton BN1 9QJ Tel: +44(0) 1273 678448 Fax: +44(0) 1273 877873 Dear AISB members This is the AISB miscellaneous bulletin for 4/6/2008 ----------------------------- 1. CVIU special issue on Representation for Object and Scene Recognition - final extension: June 13 (DEADLINE: 13:06:2008) 2. Free Access to the AI Journal ----------------------------- 1. CVIU special issue on Representation for Object and Scene Recognition - final extension: June 13 http://vangogh.ai.uiuc.edu/cviu/home.html (DEADLINE: 13:06:2008) ***Call for Papers *** *** The deadline has been extended to June 13th, 2008 *** Computer Vision and Image Understanding Special Issue on 3D Representation for Object and Scene Recognition Object and scene categorization has been a central topic of computer vision research in recent years. The problem is a highly challenging one. A single object or scene may show tremendous variability in appearance and structure under various photometric and geometric conditions. In addition, members of the same class may differ from each other due to various
    • degrees of intra-class variability. Recently, researchers have proposed new powerful models and learning tools for handling categorization of objects and scenes. However, much work still needs to be done towards the goal of: i) finding a suitable representation that can efficiently capture the three-dimensional nature of objects and scenes; ii) taking advantage of this representation to help the recognition task. We are soliciting original contributions which can provide both theoretical and experimental insight on this fundamental problem. Specific questions we would like to address include, but are not limited, to: . Representation: .. What is a suitable representation for recognizing 3D object categories? . Reconstruction and Recognition: .. Can recognition and reconstruction be run simultaneously to enhance each other? .. How much does 3D information help? How detailed does the 3D representation need to be in order to achieve satisfactory recognition? . Spatial constraints and contextual recognition: .. How can we use/explore different degrees of 3D spatial constraints for recognition? .. Can we expand known 2D spatial models to 3D? .. How can 3D spatial constraints be used for joint recognition of scenes and the objects within? . Human vision: .. What can we learn from what we know about our own visual system? How do we represent a 3D object or environment in our brain? Can this inspire computational work? Guest Editors . Silvio Savarese, University of Illinois at Urbana-Champaign . Tinne Tuytelaars, K.U. Leuven . Fei-Fei Li, Princeton University
    • . Luc Van Gool, ETH Zurich and K.U. Leuven Important dates: . Paper submission deadline June 13, 2008 . Response to authors August 1, 2008 . Re-submission for revisions September 1, 2008 . Response to authors October 27, 2008 . Camera-ready copies due to November 15, 2008 For further inquires please visit: http://vangogh.ai.uiuc.edu/cviu/home.html ******************************************************** 2. Free Access to the AI Journal http://www.aiinternational.org/AIJ/register.php Free Access to the AI Journal We are pleased to announce that in order to maximise the readership of the AI Journal, through an arrangement with Elsevier, Associates of IJCAI may obtain personal electronic access to the online contents of this international publication. This arrangement is intended for members of the international scientific AI community who do not otherwise have access to the AI Journal. To become an Associate of IJCAI at no cost, visit www.aijd.org or sign up directly at http://www.aiinternational.org/AIJ/register.php. A nontransferable link will be provided to you via e-mail once you have successfully registered on this site. This customized link will enable you to activate your free personal e-subscription to the journal Artificial Intelligence at Elsevier's Science Direct web site. Potential authors should note that these new arrangements mean that any article now submitted to the AI journal, once accepted, will always be
    • available to anyone free of charge through these arrangements if they do not already have access to the journal. Ray Perrault and Tony Cohn Editors-in-Chief of the AI Journal ******************************************************** More Information about the AISB can be found at www.aisb.org.uk Bulletins maintained by: Therie Hendrey-Seabrook AISB Executive Office Chichester 2R211 School of Science and Technology University of Sussex Falmer, Brighton BN1 9QJ Tel: +44(0) 1273 678448 Fax: +44(0) 1273 877873 Dear AISB members This is the AISB opportunities bulletin for 4/6/2008 ----------------------------- 1. PhD fellowships: Johannes Kepler University, Austria (DEADLINE: 15:06:2008) 2. PhD Fellowship on Formal Methods and Computer Algebra: Johannes Kepler University, Austria (DEADLINE: 30:06:2008) 3. PhD Positions in Computational Mathematics - Johannes Kepler University (DEADLINE: 30:06:2008)
    • ----------------------------- 1. PhD fellowships: Johannes Kepler University, Austria http://www.dk-compmath.jku.at/application (DEADLINE: 15:06:2008) POSITIONS FOR PHD STUDENTS * * (GROEBNER BASES AND AUTOMATED REASONING) * * * * At RISC (Research Institute for Symbolic Computation) * * Johannes Kepler University, Linz / Hagenberg, Austria * ********************************************************** - Learn Groebner Bases from the Inventor. - Deeply Dive into Automated Reasoning. I can offer excellent students with a master's in mathematics or computer science PhD fellowships for 3 years (1600 Euro per month) at the cutting edge of Groebner Bases theory / algorithmics and automated reasoning. For more details and applications forms etc. see http://www.dk-compmath.jku.at/application Deadline for application: June 15, 2008. Send a copy of the application directly to me: bruno.buchberger@jku.at Bruno Buchberger Inventor of the Groebner Bases Method *) *) 2008 ACM Kanellakis Award Winner, see
    • http://www.acm.org/press-room/news-releases/kanellakis-award-07/ ******************************************************** 2. PhD Fellowship on Formal Methods and Computer Algebra: Johannes Kepler University, Austria http://www.dk-compmath.jku.at/application (DEADLINE: 30:06:2008) PhD Fellowship on "Formal Methods and Computer Algebra" ======================================================= Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria In the frame of a newly established doctoral program for computational mathematics, we can offer to students with a master degree in computer science or mathematics a three years PhD fellowship (October 2008- September 2011) in the area of "formal methods and computer algebra", see http://www.dk-compmath.jku.at/projects/schreiner/ Net salary (after taxes) is about 17700 Euro per year For more details and applications forms see http://www.dk-compmath.jku.at/application Deadline for application: June 30, 2008
    • Further questions can be directly addressed to Wolfgang.Schreiner@risc.uni-linz.ac.at ******************************************************** 3. PhD Positions in Computational Mathematics - Johannes Kepler University http://www.DK-CompMath.jku.at/application (DEADLINE: 30:06:2008) Dear Colleague, This is a SECOND announcement of open PhD positions within the frame of our newly installed Doctoral Program (DK) "Computational Mathematics: Numerical Analysis and Symbolic Computation" at the Johannes Kepler University Linz, Austria. The DK will start on October 1, 2008. --> There are still some positions to be filled. In case you know of possible candidates, we kindly ask you to forward this information. Application deadline (extended): June 30, 2008 Application details: http://www.DK-CompMath.jku.at Again sincerest thanks for your cooperation, and best wishes, Peter Paule Director of the Doctoral Program (DK) and of the SFB F013 Johannes Kepler University Linz 4040 Linz, AUSTRIA office@DK-CompMath.jku.at ********************************************************
    • More Information about the AISB can be found at www.aisb.org.uk Bulletins maintained by: Therie Hendrey-Seabrook AISB Executive Office Chichester 2R211 School of Science and Technology University of Sussex Falmer, Brighton BN1 9QJ Tel: +44(0) 1273 678448 Fax: +44(0) 1273 877873