From a.artikis at gmail.com Fri Jun 1 11:13:51 2007 From: a.artikis at gmail.com (Alexander Artikis) Date: Fri, 1 Jun 2007 12:13:51 +0300 Subject: ESAW 07 Extended Deadline: June 18 Message-ID: <130ef5930706010213q72017e8n70ba05ad3b9ee22@mail.gmail.com> ***Paper submission deadline extended to June 18th*** ***Submission is now open*** Apologies for cross-posting. ---------------------------------------------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------------------------------------------- Eighth International Workshop "Engineering Societies in the Agents World" (ESAW 07), October 22-24 2007, National Centre for Scientific Research (NCSR) "Demokritos", Athens, Greece http://esaw07.iit.demokritos.gr ---------------------------------------------------------------------------------------------------------- AIMS & SCOPE: The sequel to successful editions since 2000, ESAW 07 remains committed to the use of the notion of multi-agent system as seed for animated, constructive, and highly inter-disciplinary discussions about technologies, methodologies, and tools for the engineering of complex distributed applications. While the workshop places an emphasis on practical engineering issues and applications, it also welcomes theoretical, philosophical, and empirical contributions, provided that they clearly document their connection to the core applied issues. Prospective papers about new paradigms, theories, models are also appreciated. Topics of interest include, but are not limited to: - analysis, design, development and verification of agent societies - open, large-scale multi-agent systems - models of complex distributed systems with agents and societies - interaction-coordination patterns in agent societies - inter-disciplinary approaches for agent societies engineering - engineering of social intelligence in multi-agent systems - self-organisation and self regulation in agent societies - autonomy and self-design of agent societies in an environment - security, trust and norms in agent societies - middleware infrastructures for agent societies - tools and models for agent societies management - studies of information ecosystems - experiences in building and maintaining large agent societies - evolution of institutions in agent societies - insightful analyses of negative results ---------------------------------------------------------------------------------------------------------- IMPORTANT DATES: * Submission Deadline (Extended): June 18, 2007 * Acceptance/Rejection Notification: July 27, 2007 * Revised Papers for Workshop Notes: September 15, 2007 ---------------------------------------------------------------------------------------------------------- INVITED SPEAKERS: * Marek Sergot, Imperial College London, UK * Robert Axtell, The Brookings Institution, USA * Tim Norman, Univeristy of Aberdeen, UK ---------------------------------------------------------------------------------------------------------- SUBMISSION: The ESAW post-proceedings are typically published by Springer in the LNAI series. Papers should not exceed 16 pages and should be formatted according to the Springer LNAI guidelines. ---------------------------------------------------------------------------------------------------------- ORGANISERS: - Alexander Artikis, (NCSR "Demokritos", Greece) - Gregory O'Hare, (University College Dublin, Ireland) - Kostas Stathis, (Royal Holloway, University of London, UK) - George Vouros, (University of the Aegean, Greece) STEERING COMMITTEE: - Marie-Pierre Gleizes, (IRIT Universite Paul Sabatier, France) - Andrea Omicini, (DEIS Universita di Bologna, Italy) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Robert Tolksdorf, (Free University of Berlin, Germany) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) PROGRAMME COMMITTEE: - Grigoris Antoniou, (University of Crete, Greece) - Federico Bergenti, (Universita di Parma, Italy) - Carole Bernon, (IRIT Universite Paul Sabatier, France) - Guido Boella, (Universita degli Studi di Torino, Italy) - Olivier Boissier, (Ecole Nationale Superieure des Mines de Paris, France) - Jeff Bradshaw, (IHMC, USA) - Monique Calisti, (Whitestein Technologies, Switzerland) - Jacques Calmet, (University of Karlsruhe, Germany) - Cristiano Castelfranchi, (ISTC-CNR, Italy) - Luca Cernuzzi, (Universidad Catolica "Nuestra Senora de la Asuncion", Paraguay) - Helder Coelho, (University of Lisbon, Portugal) - Rem Collier, (University College Dublin, Ireland) - Dan Corkill, (University of Massachusetts at Amherst, USA) - R. Scott Cost, (University of Maryland Baltimore County, USA) - Aspassia Daskalopulu, (University of Thessaly, Greece) - Mehdi Dastani, (Utrecht University, The Netherlands) - Paul Davidsson, (Blekinge Institute of Technology, Sweden) - Keith Decker, (University of Delaware, USA) - Oguz Dikenelli, (Ege University, Turkey) - Riza Cenk Erdur, (Ege University, Turkey) - Rino Falcone, (ISTC-CNR, Italy) - Paul Feltovich, (IHMC, USA) - Jean-Pierre George, (IRIT Universite Paul Sabatier, France) - Paolo Giorgini, (University of Trento, Italy) - Michael O'Grady, (University College Dublin, Ireland) - Frank Guerin, (University of Aberdeeen, UK) - Salima Hassas, (Universite Claude Bernard Lyon 1, France) - Lloyd Kamara, (Imperial College London, UK) - Anthony Karageorgos, (University of Thessaly, Greece) - Manolis Koubarakis, (University of Athens, UK) - Michael Luck, (University of Southampton, UK) - Fabien Michel, (Universite de Reims, France) - Tim Miller, (University of Liverpool, UK) - Pavlos Moraitis, (Paris-Descartes University, France) - Pablo Noriega, (IIIA, Spain) - Sascha Ossowski, (Univesidad Rey Juan Carlos, Spain) - Julian Padget, (University of Bath, UK) - Juan Pavon Mestras, (Universidad Complutense de Madrid, Spain) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Alessandro Ricci, (Universita di Bologna, Italy) - Giovanni Rimassa, (Whitestein Technologies, Switzerland) - Juan Antonio Rodriguez Aguilar, (IIIA, Spain) - Fariba Sadri, (Imperial College London, UK) - Maarten Sierhuis, (RIACS/NASA Ames Research Center, USA) - Tiberiu Stratulat, (LIRMM, France) - Robert Tolksdorf, (Free University of Berlin, Germany) - Leon Van der Torre, (University of Luxembourg, Luxembourg) - Luca Tummolini, (ISTC-CNR, Italy) - Paul Valckenaers, (Katholieke Universiteit Leuven, Belgium) - Wamberto Vasconcelos, (University of Aberdeeen, UK) - Mirko Viroli, (Universita di Bologna, Italy) - Marina De Vos, (University of Bath, UK) - Danny Weyns, (Katholieke Universiteit Leuven, Belgium) - Pinar Yolum, (Bogazici University, Turkey) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) From areces at loria.fr Fri Jun 1 16:45:40 2007 From: areces at loria.fr (Carlos Areces) Date: Fri, 01 Jun 2007 16:45:40 +0200 Subject: ESSLLI 2008: Call for Course and Workshop Proposals Message-ID: <46603114.1010801@loria.fr> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 20th European Summer School in Logic, Language and Information ESSLLI 2008 Monday, 4 August - Friday, 15 August 2008 Hamburg, Germany %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS -------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. The ESSLLI 2008 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 20th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the following fields: - Logic and Language - Logic and Computation - Language and Computation PROPOSAL SUBMISSION: Proposals should be submitted through a web form available at http://www.folli.org/submission.php All proposals should be submitted no later than ******* Monday July 2, 2007. ******* Authors of proposals will be notified of the committee's decision no later than Monday September 10, 2007. Proposers should follow the guidelines below while preparing their submissions; proposals that deviate can not be considered. GUIDELINES FOR SUBMISSION: Anyone interested in lecturing or organizing a workshop during ESSLLI-2006, please read the following information carefully. ALL COURSES: Courses are taught by 1 or max. 2 lecturers. They consists of five sessions (a one-week course), each session lasting 90 minutes. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. Timetable for Course Proposal Submissions: July 2, 2007: Proposal Submission Deadline Sep 10, 2007: Notification June 2, 2008: Deadline for receipt of camera-ready course material (by ESSLLI Local Organizers) FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competences of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses may presuppose some experience with scientific methods in general, so as to be able to concentrate on the issues that are germane to the area of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. It is a strict requirement that organizers give a general introduction to the them during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for producing a Call for Papers for the workshop by November 11, 2007. The call must make it clear that the workshop is open to all members of the LLI community. It should also note that all workshop contributors must register for the Summer School. Timetable for Workshop Proposal Submissions: July 2, 2007: Proposal Submission Deadline Sep 10, 2007: Notification Nov 11, 2007: Deadline for receipt of Call for Papers (by ESSLLI PC chair) Nov 18, 2007: Workshop organizers send out (First) Call for Papers Mar 17, 2008: Deadline for Papers (suggested) Apr 28, 2008: Notification of Workshop Contributors (suggested) June 2, 2008: Deadline for receipt of camera-ready copy of Workshop Proceedings (by ESSLLI Local Organizers) Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: The web-based form for submitting course and workshop proposals is accessible at http://www.folli.org/submission.php. You will be required to submit the following information: * Name (name(s) of proposed lecturer(s)/organizer) * Address (contact addresses of proposed lecturer(s)/organizer; where possible, please include phone and fax numbers) * Title (title of proposed course/workshop) * Type (is this a workshop, a foundational course, an introductory course, or an advanced course?) * Section (does your proposal fit in Language & Computation, Language & Logic or Logic & Computation? name only one) * Description (in at most 150 words, describe the proposed contents and substantiate timeliness and relevance to ESSLLI) * External funding (will you be able to find external funding to help fund your travel and accommodation expenses? if so, how?) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, indicate here your teaching experience in an interdisciplinary field as the one addressed by ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to a fixed, maximum amount that will be notified to lecturers when courses are accepted). It should be stressed that while proposals from all over the world are welcomed, the Summer School cannot guarantee full reimbursement of travel costs, specially from destinations outside Europe. Please note the following: In case a course is to be taught by two lecturers, a lump sum is reimbursed to cover travel and accommodation expenses for one lecturer. The splitting of the sum is up to the lecturers. The local organizers highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, and such issues might be taken into account when selecting courses. PROGRAM COMMITTEE: Chair: Rineke Verbrugge Institute of Artificial Intelligence University of Groningen Grote Kruisstraat 2/1 9712 TS Groningen The Netherlands phone +31 (0)50 571 81 41 e-mail : rineke (at) ai.rug.nl www : http://www.ai.rug.nl/~rineke Local co-chair: Benedikt Löwe Area Specialists: Petra Hendriks and Philippe Schlenker (Logic and Language) Michael Kaminski and Enrico Franconi (Logic and Computation) Khalil Sima'an and Massimo Poesio (Language and Computation) ORGANIZING COMMITTEE: Walter von Hahn and Cristina Vertan FURTHER INFORMATION: The website for ESSLLI 2008 will become operational in the second half of 2007. For this year's summer school, please see the web site at http://www.cs.tcd.ie/esslli2007/ . With best regards, Rineke Verbrugge From C.Orasan at wlv.ac.uk Sat Jun 2 04:16:46 2007 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Sat, 2 Jun 2007 03:16:46 +0100 Subject: RANLP 2007 Workshop on Computer-Aided Language Processing(CALP'07) -- Second CFP & submission information Message-ID: <1180750606.5491.8.camel@dinel-home> [Apologies for cross-postings] RANLP-07 Workshop: Computer-Aided Language Processing (CALP'07) Second call for papers and submission information Borovetz, Bulgaria September 30, 2007 Workshop site: http://clg.wlv.ac.uk/events/CALP07/ RANLP'2007 site: http://lml.bas.bg/ranlp2007/ AIMS: The past years have seen a variety of promising NLP projects but in the vast majority of real-world applications, fully automatic NLP is still far from delivering reliable results. As a result, computer- aided methods have emerged as a practical alternative. In the computer-aided scenario, processing is not done entirely by computers, human intervention improves, post-edits or validates the output of the computer program. The aim of the workshop is to bring together researchers working on CALP projects and to provide a forum for fruitful discussion on related issues and further developments in the field. Topics of interests include areas where computers can be used to help but not to fully automate the process such as (but not limited to) machine translation, production of summaries, generation of documents, extraction of terminology, creation of indexes, ontology creation and annotation of texts using semi-automatic methods. The workshop also encourages discussions and submissions focusing on evaluation issues addressing the efficiency of the CALP methods. Of particular interest will be studies which compare the saving of time and cost of CALP methods as opposed to manual methods. TOPICS Prospective authors are invited to submit proposals in the following areas of interest, related to computer-aided language processing: * computer-aided language processing for NLP tasks including but not limited to computer-aided summarisation, indexing, translation, generation, etc. * semi-automatic annotation methods: post-processing vs. interactive annotation * semi-automatic ontology development * interactive machine learning methods such as active learning * evaluation issues addressing the efficiency of CALP methods * translation memories and other translation aides * interactive machine translation * pre/post-editing of machine translation * intelligent tools for language learning such as dictionaries and concordancers * computer-aided assessment tools * authorship attribution and plagiarism detection INVITED SPEAKER Ruslan Mitkov, University of Wolverhampton, UK SUBMISSION GUIDELINES: * Format: Authors are invited to submit two types of papers: full papers which describe original and unpublished work in the topic area of this workshop, and short papers which describe full working systems, and which, if accepted, will be presented at a special session accompanied by live demo. Papers should be submitted as a PDF file, formatted according to the RANLP 2007 stylefiles and not should not exceed 8 pages for full papers and 4 pages for short papers. The RANLP 2007 stylefiles are available at: http://lml.bas.bg/ranlp2007/submissions.htm. As reviewing will be blind, the papers should not include the authors' names and affiliations. Furthermore, self-references that reveal the authors' identities should be avoided. Papers that do not conform to these requirements will be rejected without review. * Submission procedure: Submission of papers is handled using the START system available at http://www.softconf.com/ranlp/CALP07/submit.html * Reviewing: Each submission will be reviewed at least by two members of the Program Committee. Reviewers will be asked to provide detailed comments, and to score submitted papers on the following factors: - Relevance to the workshop - Significance and originality - Technical/methodological accuracy - References to related work - Presentation (clarity, organisation, English) * Accepted papers policy. Accepted papers will be published in the workshop proceedings. By submitting a paper at the workshop the authors agree that, in case the paper is accepted for publication, at least one of the authors will attend the workshop; all workshop participants are expected to pay the RANLP-2007 workshop registration fee. IMPORTANT DATES Paper submission deadline: June 15, 2007 Paper acceptance notification: July 20, 2007 Camera-ready papers due: August 31, 2007 Workshop date: September 30, 2007 WORKSHOP CHAIRS: Constantin Orasan, University of Wolverhampton, UK Sandra Kübler, Indiana University, USA PROGRAM COMMITTEE: Amit Bagga, Ask Jeeves, USA Kalina Bontcheva, University of Sheffield, UK Robert Clark, Translution Ltd, UK and Leeds University, UK Le An Ha, University of Wolverhampton, UK Catalina Hallett, Open University, UK Laura Hasler, University of Wolverhampton, UK Erhard Hinrichs, University of Tuebingen, Germany Martin Kay, Stanford University, USA Elina Lagoudaki, Imperial College, UK Inderjeet Mani, Georgetown University, USA Patricio Martinez Barco, University of Alicante, Spain Andrea Mulloni, Cogito Srl, Italy Masumi Narita, Tokyo International University, Japan Matteo Negri, IRST, Italy Gabor Proszeky, Morphologic, Hungary Frederique Segond, Rank Xerox, France Doina Tatar, Babes-Bolyai University, Romania CONTACT: calp07 at wlv dot ac dot uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wva at info.fundp.ac.be Sat Jun 2 22:16:21 2007 From: wva at info.fundp.ac.be (Wim Vanhoof) Date: Sat, 02 Jun 2007 22:16:21 +0200 Subject: (2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07) Message-ID: <4661D015.5010907@info.fundp.ac.be> [Apologies for multiple copies...] ----------------------------------------------------------- WLPE' 07 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP'07) September 13, 2007 Porto, Portugal http://www.comp.leeds.ac.uk/hill/WLPE07/ ----------------------------------------------------------- The 17th Workshop on Logic-based methods in Programming Environments will take place in Porto, Portugal, as a satellite workshop of ICLP'07, the 23th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005) and Seattle, Washington USA (2006). The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. Areas particularly relevant to the workshop include: * static and dynamic analysis * debugging and testing * program verification and validation * code generation from specifications * termination and non-termination analysis * reasoning on occurs-check freeness and determinacy * profiling and performance analysis * type- and mode analysis * module systems * optimization tools Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise. Submission guidelines --------------------- We invite the submission of full papers which, excluding references, should not exceed 16 pages, or short papers describing work in progress which should be no more than 6 pages. Authors are requested to submit their paper in standard postscript or pdf format (preferable in Springer LNCS style) to: http://www.easychair.org/WLPE07/ An informal proceedings will be distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: June 15, 2007 Notification: July 8, 2007 Camera-ready: August 15, 2007 Workshop: September 13, 2007 Workshop organizers ------------------- Patricia Hill School of Computing, University of Leeds Leeds, England Phone: +44 113 343 6807 Fax: +44 113 343 5468 http://www.comp.leeds.ac.uk/hill/ Wim Vanhoof Insitut d'Informatique, University of Namur Namur, Belgium Phone: +32 81 72 49 77 Fax: +32 81 72 49 67 http://www.info.fundp.ac.be/~wva/ Program committee ----------------- John Gallager (Roskilde University, Denmark) Gopal Gupta (University of Texas at Dallas, U.S.A) Michael Hanus (Christian-Albrechts-Universität zu Kiel, Germany) Pat Hill (University of Leeds, U.K.) Erwan Jahier (Verimag Laboratory, Gières, France) Gerda Janssens (KULeuven, Belgium) Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain) Baudouin Le Charlier (Catholic University of Louvain, Belgium) Lunjin Lu (Oakland University, USA) German Puebla (Technical University of Madrid, Spain) Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands) Fausto Spoto (Università di Verona, Italy) Wim Vanhoof (University of Namur, Belgium) Enea Zaffanella (Parma University, Italy) Event's Web homepage -------------------- http://www.comp.leeds.ac.uk/hill/WLPE07/ From mehdi at cs.uu.nl Sun Jun 3 12:37:02 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Sun, 03 Jun 2007 12:37:02 +0200 Subject: Call for Papers: BNAIC 2007 Message-ID: <466299CE.1030101@cs.uu.nl> ************************* Call for Papers ************************** The 19th Belgian-Dutch Conference on Artificial Intelligence BNAIC 2007 Utrecht, November 5&6 2007 http://www.cs.uu.nl/bnaic2007 ********************************************************************** The BNAIC 2007 will be held at the Academiegebouw of Utrecht University, the Netherlands, and is organized under the auspices of the Belgian-Dutch Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems(SIKS). The conference aims at presenting an overview of state-of-the art research in artificial intelligence in Belgium and The Netherlands. INVITED SPEAKERS * Michael Thielscher: Dresden University of Technology, Germany * Pedro Domingos: University of Washington, U.S.A. TOPICS For all submission types, possible topics of submissions include, but are not limited to: * multi-agent systems * intelligent agents * robotics * logic in AI * games * search * verification and validation * logic programming * knowledge-based systems * knowledge representation * knowledge management * ontologies * machine learning * optimisation * evolutionary algorithms * neural networks * knowledge discovery and data mining * natural language processing * cognitive modeling * speech recognition * handwriting recognition * applications * AI in law, music & art * other SUBMISSION Submissions of the following three types are invited: TYPE A: REGULAR PAPERS Papers presenting new original work. Submitted papers should not exceed a length of 8 pages. These papers will be reviewed on overall quality and relevance. A-Papers can be accepted for either oral or poster presentation. All accepted papers will be fully published in the proceedings. TYPE B: COMPRESSED CONTRIBUTIONS Papers that have been accepted after June 1st, 2006 for AI-related refereed conferences or journals can be resubmitted and will be accepted as compressed contributions. Authors are invited to submit the officially published version (without page restriction) together with a one or two-page abstract. B-Papers will be accepted for either oral or poster presentation. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Note that a separate author registration is required for each B-type contribution. TYPE C: DEMONSTRATIONS & APPLICATIONS Proposals for demonstrations will be evaluated based on submitted demonstration summaries (in English) stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration (not exceeding 30 minutes) should be mentioned. Especially researchers from industry are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages. Papers and demonstration summaries should be submitted electronically. More details can be found at the BNAIC 2007 website (http://www.cs.uu.nl/bnaic2007). Submissions should be accompanied by a message stating the submission type (A, B, or C) and an abstract of the paper in plain text. Proper receipt of submissions will be acknowledged by e-mail. The deadline for submissions is June 25th, 2007. Submission implies willingness of at least one author to register for BNAIC and present the paper. For each paper, a separate author registration is required. Authors keep the copyright of their submissions. The BNAIC Proceedings are published under ISSN series number 1568-7805. IMPORTANT DATES Deadline for submissions June 25th, 2007 Notification of acceptance August 27th, 2007 Deadline for camera-ready papers September 17th, 2007 BNAIC 2007 conference November 5-6th, 2007 ====================================================================== From wiiat at kis-lab.com Sun Jun 3 17:31:41 2007 From: wiiat at kis-lab.com (Jia Hu) Date: Mon, 4 Jun 2007 00:31:41 +0900 Subject: [IAT 2007] Deadline Extended: June 16, 2007! Message-ID: <20070603153826.AEE1F28A2F2@selket.rz.tu-clausthal.de> [Apologies if you receive this more than once] Dear Colleague, In response to many requests for an extension, we are pleased to extend the paper submission deadline for IAT 2007 to ** June 16, 2007 **. Submission can be done online at: http://www.cs.sjsu.edu/wi07/iat/ We look forward to receiving your submissions soon. With best regards, Tsau Young (T.Y.) Lin PC chair of WI-IAT'07 ##################################################################### IEEE/WIC/ACM Intelligent Agent Technology 2007 CALL FOR PAPERS ##################################################################### 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) Silicon Valley, USA, November 2-5, 2007 Official: http://www.cs.sjsu.edu/wi07/iat/ Mirror: http://www.maebashi-it.org/wi07/iat/ (to be collocated with WI'07, BIBM'07 and GrC'07) Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ##################################################################### # Conference Chair # Andrei Broder, VP, Yahoo Fellow, Yahoo! Research # # Program Chair and Co-Chairs # T.Y. Lin, San Jose State University/UC Berkeley, USA # Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA # Matthias Klusch, German Research Center for AI, Germany # Chengqi Zhang, University of Technology, Sydney, Australia # # Organizing Chair # Howard Ho, Manager, IBM Almaden Research Center # # IAT-WI Joint Keynote Speakers (Tentative) # # Vinton G. Cerf, Turing Award Winner, # VP and Chief Internet Evangelist, Google # Richard M. Karp, Turing Award Winner, # University of California Berkeley # Anant Jhingran, VP and CTO, IBM Silicon Valley Laboratory # # (More IAT Invited Speakers will be announced) # # (Papers Due: ** June 1 **, 2007) # Accepted papers will be published in the conference proceedings # by the IEEE Computer Society Press, which are indexed by EI. ###################################################################### The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) will be jointly held with the 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07), the 2007 IEEE International Conference on Bioinformatics and Biomedicine (BIBM'07), and the 2007 IEEE International Conference on Granular Computing (GrC'07) for providing synergism among the four research areas. It will provide opportunities for technical collaboration beyond that of previous conferences. The four conferences will have a joint opening, keynote, reception, and banquet. Attendees only need to register for one conference and can attend workshops, sessions and tutorials across the four conferences. We are also planning a joint panel and joint paper sessions that discuss common problems in the four areas. IAT 2007 provides a leading international forum to bring together researchers and practitioners from diverse fields, such as computer science, information technology, business, education, human factors, systems engineering, and robotics, to (1) examine the design principles and performance characteristics of various approaches in intelligent agent technology, and (2) increase the cross-fertilization of ideas on the development of autonomous agents and multi-agent systems among different domains. By encouraging idea-sharing and discussions on the underlying logical, cognitive, physical, and sociological foundations as well as the enabling technologies of intelligent agents, IAT 2007 will foster the development of novel paradigms and advanced solutions in agent-based computing. +++++++++++ Highlights +++++++++++ The conference will be held in Silicon Valley, California. Many high-tech companies and three distinguished universities (Stanford, UC Berkely and UCSC) are just around the corner. The highlight of the conference is that a unique forum consisting of a half-day demo session and free discussion will be organized to link industries and academics. Leading IT companies like IBM, Google, and Yahoo etc will present at the conference. The area now known as Silicon Valley has been a center of technological development since the 1950's. The name Silicon Valley stems from the early 1970's, when the area had become the center for many semiconductor companies. While still hosting semiconductor and microprocessor companies, the region now hosts the headquarters of high tech companies of every kind, including many of the best known and most prestigious names in personal computers, Web search, Internet auctions, networking, storage, databases, etc. +++++++++++++++++++ Topics of Interest +++++++++++++++++++ The topics and areas include, but not limited to: * Autonomy-Oriented Computing (AOC) - Agent-Based Complex Systems Modeling and Development - Agent-Based Simulation - Autonomy-Oriented Modeling and Computation Methods - Behavioral Self-Organization - Complex Behavior Characterization and Engineering - Emergent Behavior - Hard Computational Problem Solving - Nature-Inspired Paradigms - Self-Organized Criticality - Self-Organized Intelligence - Swarm Intelligence * Autonomous Knowledge and Information Agents - Agent-Based Distributed Data Mining - Agent-Based Knowledge Discovery And Sharing - Autonomous Information Services - Distributed Knowledge Systems - Emergent Natural Law Discovery in Multi-Agent Systems - Evolution of Knowledge Networks - Human-Agent Interaction - Information Filtering Agents - Knowledge Aggregation - Knowledge Discovery - Ontology-Based Information Services * Agent Systems Modeling and Methodology - Agent Interaction Protocols - Cognitive Architectures - Cognitive Modeling of Agents - Emotional Modeling - Fault-Tolerance in Multi-Agent Systems - Formal Framework for Multi-Agent Systems - Information Exchanges in Multi-Agent Systems - Learning and Self-Adaptation in Multi-Agent Systems - Mobile Agent Languages and Protocols - Multi-Agent Autonomic Architectures - Multi-Agent Coordination Techniques - Multi-Agent Planning and Re-Planning - Peer-to-Peer Models for Multi-Agent Systems - Reinforcement Learning - Social Interactions in Multi-Agent Systems - Task-Based Agent Context - Task-Oriented Agents * Distributed Problem Solving - Agent-Based Grid Computing - Agent Networks in Distributed Problem Solving - Collective Group Behavior - Coordination and Cooperation - Distributed Intelligence - Distributed Search - Dynamics of Agent Groups and Populations - Efficiency and Complexity Issues - Market-Based Computing - Problem-Solving in Dynamic Environments * Autonomous Auctions and Negotiation - Agent-Based Marketplaces - Auction Markets - Combinatorial Auctions - Hybrid Negotiation - Integrative Negotiation - Mediating Agents - Pricing Agents - Thin Double Auctions * Applications - Agent-Based Assistants - Agent-Based Virtual Enterprise - Embodied Agents and Agent-Based Systems Applications - Interface Agents - Knowledge and Data Intensive Systems - Perceptive Animated Interfaces - Scalability - Social Simulation - Socially Situated Planning - Software and Pervasive Agents - Tools and Standards - Ubiquitous Systems and E-Technology Agents - Ubiquitous Software Services - Virtual Humans - XML-Based Agent Systems ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ High-quality papers in all IAT related areas are solicited. Paper submissions should be limited to a maximum of 7 pages in the IEEE 2-column format, the same as the camera-ready format (see the Author Guidelines of last year at http://www.computer.org/portal/pages/cscps/cps/final/iat06.xml). All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Note that IAT'07 will accept ONLY on-line submissions, containing PDF versions. Please use the Submission Form on the IAT'07 website to submit your paper. Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press that are indexed by EI. Submissions accepted as regular papers will be allocated 7 pages in the proceedings and accorded oral presentation times in the main conference. Submissions accepted as short papers will be allocated 4 pages in the proceedings and will have a shorter presentation time at the conference than regular papers. All co-authors will be notified at all time, for the submission, notification, and confirmation on the attendance. Submitting a paper to the conference and workshops means that, if the paper is accepted, at least one author should attend the conference to present the paper. The acceptance list and no-show list will be openly published on-line. For no-show authors, their affiliations will receive a notification. A selected number of IAT'07 accepted papers will be expanded and revised for inclusion in Web Intelligence and Agent Systems: An International Journal (http://wi-consortium.org/journal.html) and in Annual Review of Intelligent Informatics (http://www.wi-consortium.org/annual.html) More detailed instructions and the On-Line Submission Form can be found from the IAT'07 homepage: http://www.cs.sjsu.edu/wi07/iat/. +++++++++++++++++++++++++ IAT'07 Best Paper Awards +++++++++++++++++++++++++ The best paper awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Application-oriented submissions will be considered for the best application paper award. The full author list and paper title will be announced on the Web Intelligence Consortium homepage: http://wi-consortium.org/html/wicawards.html ++++++++++++++++++++ Industry/Demo-Track ++++++++++++++++++++ We solicit Industry/Demo-Track papers by the following methods. (1) Industry papers of 4 pages can be submitted on the same schedule as the research track. (2) Separate 2 page demo proposals can submitted at a later schedule. (3) Full regular paper submissions can include a demo option. That is, a full paper submissions will be asked to specify if they would like to give a demonstration; choice of demonstrations (while utilizing information from the regular reviewing process) will be selected based on value as a demonstration. For options (1) and (2), please find more detailed instructions at the homepage: http://www.cs.sjsu.edu/wi07/wi/ We are planning to arrange the Industry/Demo track in the afternoon of November 3 (before and during the conference reception), jointly with the IAT'07 Demo sessions. Leading IT companies in Silicon Valley will be invited to attend this track. ++++++++++ Workshops ++++++++++ As an important part of the conference, the workshop program will focus on new research challenges and initiatives. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press that are indexed by EI, and will be available at the workshops. Detailed information is available at the conference homepage. Note: we will not have a separate workshop registration fee (i.e., only one conference registration covers everything). ---------------------- WI-IAT 2007 Workshops: ---------------------- Title: Educating the Web-Generation (Edu4WebGen 2007) Organisers: Elisabeth Heinemann Email: elisabeth.heinemann at googlemail.com Web page: http://www.effactory.com/Edu4WebGen/ Title: Collective Intelligence on Semantic Web (CISW 2007) Organisers: Geun Sik Jo; Jason J. Jung; Ngoc Thanh Nguyen Email: gsjo at inha.ac.kr; j2jung at intelligent.pe.kr; thanh at pwr.wroc.pl Web page: http://intelligent.pe.kr/CISW07/ Title: New Computing Paradigms for Web Intelligence and Brain Informatics (WImBI 2007) Organisers: Dr. Yuefeng Li; Dr. Yulin Qin, Prof. Dieter Fensel Email: y2.li at qut.edu.au; dieter.fensel at deri.org Web page: http://www.maebashi-it.org/wimbi07/WImBI2007.htm Title: Web Personalization and Recommender Systems (WPRS 2007) Organisers: Yue Xu Email: yue.xu at qut.edu.au Web page: http://www.wprs07.fit.qut.edu.au/ Title: Service Composition & SWS Challenge (SerComp & SWS Challenge 2007) Organisers: M. Brian Blake; Dumitru Roman; Charles Petrie Email: blakeb at cs.georgetown.edu; dumitru.roman at deri.org Web page: http://events.deri.at/sercomp2007/ Title: Biomedicine Applications of Web technologies (BMWT 2007) Organisers: Chun-Nan Hsu; Vincent Shin-Mu Tseng; Wen-Hsiang Lu Email: chunnan at iis.sinica.edu.tw; tsengsm at mail.ncku.edu.tw; whlu at mail.ncku.edu.tw Web page: http://chunnan.iis.sinica.edu.tw/BMWT2007.html Title: Intelligent Web Interaction (IWI 2007) 1st Organiser: Prof. Seiji YAMADA Email: seiji at nii.ac.jp Web site: http://ymd.ex.nii.ac.jp/ws/iwi/07/ Title: Cyberinfrastucture for e-Science (CyIneS 2007) Organisers: Prof. Vasant Honavar; A/prof. Kei Cheung Email: honavar at cs.iastate.edu; kei.cheung at yale.edu Web page: http://www.cild.iastate.edu/events/CyIneS2007/ Title: Social Media Analysis (SMA 2007) Organisers: Chun-hung Li, William K. Cheung, Quoping Qiu Email: sma at comp.hkbu.edu.hk Web page: http://www.comp.hkbu.edu.hk/~sma/ Title: Web Security, Integrity, Privacy and Trust (WSIPT 2007) Organisers: Dr. Yiuming Cheung, Prof. Michael Chau, and Prof. Yong Zhang Email: ymc at Comp.HKBU.Edu.HK; mchau at business.hku.hk; zhangyong076 at gmail.com Web page: http://isec.hitsz.edu.cn/wsipt07/ Title: Communication between Human and Artificial Agents (CHAA 2007) Organisers: Christel Kemke Email: ckemke at cs.umanitoba.ca Web page: http://www.cs.umanitoba.ca/~ckemke/CHAA-07/ Title: Rational, Robust, and Secure Negotiations in Multi-Agent Systems (RRS 2007) Organisers: Takayuki Ito Email: ito.takayuki at nitech.ac.jp Web page: http://www-itolab.mta.nitech.ac.jp/RRS2007/ Title: P2P Computing and Autonomous Agents (P2PAA 2007) Organisers: Tarek Helmy, Khaled Ragab Email: helmy at ccse.kfupm.edu.sa; helmy at kfupm.edu.sa Web Page: http://www.ccse.kfupm.edu.sa/~helmy/P2PAA2007_WI.html Title: (Multi-)Agent Systems in E-Business: Concepts, Technologies and Applications (MASeB 2007) Organisers: Costin Badica; Maria Ganzha; Marcin Paprzycki Email: badica_costin at software.ucv.ro; ganzha at euh-e.edu.pl; marcin.parzycki at swps.edu.pl Web page: http://software.ucv.ro/~badica_costin/maseb2007/ Title: Agent & Data Mining Interaction (ADMI 2007) Organisers: Pericles A. Mitkas, Longbing Cao, Vladimir Gorodetsky, Justin Zhan Email: mitkas at eng.auth.gr; lbcao at it.uts.edu.au Web page: http://issel.ee.auth.gr/ADMI For more information, please visit the conference website at http://www.maebashi-it.org/wi07/iat/?index=workshop. ++++++++++ Tutorials ++++++++++ IAT'07 also welcomes Tutorial proposals. IAT'07 will include tutorials providing in-depth background on subjects that are of broad interest to the intelligent agent community. Both short (2 hours) and long (half day) tutorials will be considered. The tutorials will be part of the main conference technical program. Detailed information is available at the conference homepage. Note: we will not have a separate tutorials registration fee (i.e., only one conference registration covers everything). ++++++++++++++++ Important Dates ++++++++++++++++ Workshop proposal submission: March 20, 2007 Electronic submission of full papers: ** June 1, 2007 ** Tutorial proposal submission: June 15, 2007 Notification of paper acceptance: July 22, 2007 Camera-ready copies of accepted papers: August 17, 2007 Conference: November 2-5, 2007 ++++++++++++++++++++++++ Conference Organization ++++++++++++++++++++++++ Conference Chair: * Andrei Broder, Yahoo! Research, USA Program Chair: * Tsau Young (T.Y.) Lin, San Jose State University/UC Berkeley, USA IAT Program Co-Chairs: * Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA * Matthias Klusch, German Research Center for AI, Germany * Chengqi Zhang, University of Technology, Sydney, Australia IAT Program Vice Co-chairs * Longbing cao University of Technology Sydney Australia * Joseph A. Giampapa Carnegie Mellon University USA * Maria Gini University of Minnesota USA * Vladimir Gorodetsky St. Petersburg Institute for Informatics and Automation Russia * Alessio Lomuscio Imperial College London UK * Zbigniew Ras University of North Carolina USA * Marius C. Silaghi Florida Institute of Technology USA * Makoto Yokoo Kyushu University Japan WI Program Co-Chairs: * Laura Haas, IBM Almaden Research Center, USA * Janusz Kacprzyk, Polish Academy of Science, Poland * Rajeev Motwani, Stanford University, USA WI Program Vice Co-chairs * Ajith Abraham Yonsei University South Korea * Peter Brusilovsky University of Pittsburgh USA * Ashish Goel Stanford University USA * Ramanathan V. Guha Google USA * Jane Yung-jen Hsu National Taiwan University Taiwan * Ravi Kumar Yahoo! Research USA * Jie Lu University of Technology Sydney Australia * Tsuyoshi Murata Tokyo Institute of Technology Japan * York Sure Institute AIFB, University of Karlsruhe Germany * Pang-Ning Tan Michigan State University USA * Bhavani Thuraisingham University of Texas at Dallas USA * Mohammed Zaki Rensselaer Polytechnic Institute USA Organizing Chair: * Howard Ho, IBM Almaden Research Center, USA Workshop Co-Chairs: * Vijay Raghavan, University of Louisiana, USA * Yuefeng Li, Queensland University of Technology, Australia Tutorial Chair: * Pawan Lingras, Saint Mary's University, Canada Industry/Demo-Track Chair: * Jianchang Mao, Yahoo! Inc., USA Local Accommodations Co-Chairs: * David Scot Taylor, San Jose State University, USA * Tom Qi Zhang, Google, USA Publicity Chair: * James Wang, Clemson University, USA (chair) Publicity Co-Chairs: * Martine De Cock, Ghent University, Belgium * Jia Hu, International WIC Institute, China * Debajyoti Mukhopadhyay, West Bengal University of Technology, India IEEE-CS-TCII Chair: * Ning Zhong, Maebashi Institute of Technology, Japan ACM-SIGART Chair * Maria Gini, University of Minnesota, USA WIC Co-Chairs/Directors: * Ning Zhong, Maebashi Institute of Technology, Japan * Jiming Liu, University of Windsor, Canada WIC Advisory Board: * Edward A. Feigenbaum, Stanford University, USA * Setsuo Ohsuga, Waseda University, Japan * Benjamin Wah, University of Illinois, Urbana-Champaign, USA * Philip Yu, IBM Thomas J. Watson Research Center, USA * L.A. Zadeh, University of California Berkeley, USA WIC Tech. Committee & WI/IAT Steering Committee: * Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA * Nick Cercone, York University, Canada * Dieter Fensel, University of Innsbruck/Digital Enterprise Research Institute, Austria * Georg Gottlob, Oxford University, UK * Lakhmi Jain, University of South Australia, Australia * Jianchang Mao, Yahoo! Inc., USA * Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France * Hiroshi Motoda, Osaka University, Japan * Toyoaki Nishida, Kyoto University, Japan * Andrzej Skowron, Warsaw University, Poland * Jinglong Wu, Kagawa University, Japan * Xindong Wu, University of Vermont, USA * Yiyu Yao, University of Regina, Canada Webmaster: * Albert Sutojo, San Jose State University, USA Abbreviation: IAT 2007, IAT2007, IAT'2007, IAT'07, IAT07, IAT 07, IAT-07, IAT-2007 *** Contact Information *** Jia Hu International WIC Institute, China E-mail: hujia at kis-lab.com From samt2007 at ge.imati.cnr.it Mon Jun 4 10:11:14 2007 From: samt2007 at ge.imati.cnr.it (samt2007 at ge.imati.cnr.it) Date: Mon, 4 Jun 2007 10:11:14 +0200 (CEST) Subject: SAMT 2007 CFP : Deadline extension Message-ID: <1877.192.168.0.129.1180944674.squirrel@samba.ge.imati.cnr.it> [Apologies for cross-postings. Please forward this mail to anyone interested.] --- DEADLINE EXTENSION --- NEW DEADLINE FOR PAPER SUBMISSION IS JUNE 11TH ------------------------------------------------------------------------------------ CALL FOR PAPERS Second international conference on Semantics And digital Media Technology (SAMT 2007) Former European Workshop on the Integration of knowledge, semantic and digital Media Technologies (EWIMT) December 5-7, 2007 Genova, Italy http://samt2007.ge.imati.cnr.it/ ------------------------------------------------------------------------------------ OBJECTIVES ---------- The international conference on Semantics And digital Media Technologies (SAMT) targets to narrow the large disparity between the low-level descriptors that can be computed automatically from multimedia content and the richness and subjectivity of semantics in user queries and human interpretations of audiovisual media - The Semantic Gap. SAMT started out as two workshops, EWIMT 2004 and EWIMT 2005, that quickly achieved enormous success in attracting high-quality papers and over 100 participants from across Europe and beyond. Last year EWIMT turned into the full-fledged conference SAMT, addressing integrative research on new knowledge-based forms of digital media systems. SAMT brings together those forums, projects, institutions and individuals investigating the integration of knowledge, semantics and low-level multimedia processing, and links them with industrial research and development engineers who exploit the underlying emerging technology. In cooperation with the European Commission DG Information Society, the third day of the conference will feature keynote talks from EC representatives. TOPICS ------ Topics of interest include, but are not limited to: * Integration of multimedia processing and Semantic Web technologies * Multimedia ontologies and infrastructures * Knowledge assisted multimedia analysis and access * Knowledge based inference for semi-automatic semantic media annotation * Integration of content-based multimedia analysis with natural language and speech processing * Multimodal techniques, high dimensionality reduction and low-level feature fusion * Revelance feedback for finding semantics * Semantic-driven multimedia indexing and retrieval * Metadata management for multimedia * Browsing large multimedia archives * Scalable, semantic-driven multimedia content adaptation and summarization * Interfaces and personalisation for interaction with large multimedia repositories * Social tagging, ontologies and multimedia content * Semantics-driven multimedia presentation generation * Context, user, network and semantics-aware media engineering * Standards bridging the multimedia and knowledge domains PAPER SUBMISSION ----------------- Original contributions should be submitted electronically according to the instructions that will be posted to the conference web site. The conference proceedings will be published by Springer Verlag in the Lecture Notes of Computer Science series (LNCS). Full papers are expected to be 12-14 A4 pages and should present previously unpublished original results that are not simultaneously submitted elsewhere. The accepted full paper contributions will be presented during the plenary sessions and will appear in the conference proceedings. Short papers are expected to be 4 A4 pages at most. The accepted short papers will be included in the proceedings as extended abstract and presented as posters during the conference. Prospective contributors are invited to submit their papers on-line according to the guidelines at http://samt2007.ge.imati.cnr.it. Information for LNCS Authors at http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0 Submissions will open in May 2007. IMPORTANT DATES --------------- 20 April Special Sessions Submission 4 May Notification for Special Sessions 21 May Tutorials & Workshops Proposals 11 June Paper Submission 31 July Paper Notification 10 Sept Camera-ready Papers for information, please contact samt07-chairs at ge.imati.cnr.it ORGANIZING COMMITTEE -------------------- General Conference Chairs: Bianca Falcidieno, IMATI-CNR, Italy Yannis Avrithis, National Technical University of Athens, Greece Technical Programme Chairs: Michela Spagnuolo, IMATI-CNR, Italy Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece Paul Buitelaar, DFKI, Germany Special Sessions Chair: Werner Haas, JOANNEUM RESEARCH, Austria Workshops Chair Catherine Houstis, Informatics and Telematics Institute, Greece Tutorials Chair Noel O'Connor, Dublin City University, Ireland PROGRAMME COMMITTEE ----------------- Technical Programme Committee Bruno Bachimont, Institut National de Audiovisuell, France Wolf-Tilo Balke, University of Hannover, Germany Jenny Benois-Pineau, University of Bordeaux, France Patrick Bouthemy, IRISA, France Andrea Cavallaro, Queen Mary University of London, UK Stavros Christodoulakis, Technical University of Crete, Greece Philipp Cimiano, AIFB Universitat Karlsuhe, Germany Fabio Ciravegna, University of Sheffield, UK Thierry Declerck, DFKI, Germany Touradj Ebrahimi, Swiss Federal Institute of Technology, CH Christophe Garcia, France Telecom, France Gregory Grefenstette, LIC2M, CEA-LIST William I. Grosky, University of Michigan, US Werner Haas, Joanneum Research, Austria Siegfried Handschuh, DERI Galway, Ireland Paola Hobson, Motorola Labs, UK Andreas Hotho, University of Kassel, Germany Antoine Isaac, Vrije Universiteit, The Netherlands Ebroul Izquierdo, Queen Mary University of London, UK Franciska de Jong, University of Twente, The Netherlands Joemon Jose, University of Glasgow, UK Hyoung Joong Kim, Korea University, Korea Stefanos Kollias, National Technical University of Athens, Greece Paul Lewis, University of Southampton, UK Simone Marini, IMATI-GE / CNR, Italy Ferran Marques, Technical University of Catalonia, Spain Jose Martinez, GTI-UAM, Spain Adrian Matellanes, Motorola Labs, UK Bernard Merialdo, EURECOM, France Ralph Moller, Hamburg Institute of Technology, Germany Frank Nack, LIRIS - University Claude Bernard, Lion, France Milind Naphade, IBM, US Jan Nesvadba, Philips Research Laboratories, Endhoven Noel O'Connor, Dublin City University, Ireland Jacco van Ossenbruggen, CWI Amsterdam, The Netherlands Jeff Pan, University of Aberdeen, UK Thrasyvoulos Pappas, Northwestern University, US Dietrich Paulus, University of Koblenz, Germany Ewald Quak, Tallinn University of Technology, Estonia Fausto Rabitti, ISTI-CNR, I Andrew Salway, University of Surrey, UK Mark Sandler, Queen Mary, University of London Simone Santini, Universidad Autonoma de Madrid, Spain Francis Schmitt, CNRS, France Sergej Sizov, University of Koblenz-Landau, Germany Alan Smeaton, Dublin City University, Ireland Steffen Staab, University of Koblenz-Landau, D Giorgos Stamou, National Technical University of Athens, Greece Vojtech Svatek, University of Economic, Prague, Czech Republic Raphael Troncy, CWI, NL Manolis Vavalis, ITI, GR Remco Veltkamp, Utrecht University, NL Anne Verroust, INRIA, France Paulo Villegas, Telefonica I+D, Spain Li-Qun Xu, British Telecom, UK ------------------------------------------------------------------------------------ TO BE REMOVED FROM THIS LIST You are receiving this email because you have participated in a previous EWIMT or SAMT related event. If you would like to be removed from the SAMT publicity email list, please send a message with the word 'REMOVE' in the SUBJECT LINE. This email should be addressed to: samt07 at ge.imati.cnr.it. You will be removed from this list when we receive your reply. From iclp07-publicity at di.uevora.pt Mon Jun 4 12:46:55 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Mon, 4 Jun 2007 11:46:55 +0100 Subject: CFP: ASP2007 - 4th International Workshop on Answer Set Programming Message-ID: <0AF7C1F7-9298-4938-8B98-E8CBD87CD991@di.uevora.pt> (Apologies for multiple copies) ********* CALL FOR PAPERS ********* *************** Deadline June 30, 2007 **************** ======================================================================== =================== ASP2007 4th International Workshop on Answer Set Programming Co-located with the International Conference on Logic Programming ICLP 2007 September 8 and 13, 2007 Porto, Portugal ======================================================================== =================== *** Overview *** Answer Set Programming is by now a well-established paradigm of declarative programming. While close in syntax to prolog-like logic programming, its semantics is based on a program having a number of answer sets, that represent possible consistent "views" on the "world" defined by the program itself. Answer Set Programming can be seen under several points of view: as a knowledge representation language strongly related to non- monotonic reasoning, as a programming language suitable to many application domains where incomplete/uncertain information may occur, as an underlying formalism for many extensions tailored to specific application domains. An increasingly important application area is that of databases and data integration systems, where the need of constructing and managing a unified view of data originating from different heterogeneous and possibly distributed sources calls for increased flexibility in managing inconsistency. *** Topics: *** All with focus on Answer Set Programming, among which: * foundations * extensions * ASP-based programming languages * reasoning about action and change * causal reasoning * reasoning with uncertain knowledge * planning, diagnosis, learning * representation of and reasoning about complex systems * deductive databases * data integration systems * ASP and agents * specification and verification of formal properties * implementations and benchmarks * tools and methodologies for ASP-programming * (innovative) application domains ======================================================================== ==================== *** Submissions *** We invite submissions of 2 kinds: 1. Submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 15 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. 2. Submissions of system descriptions, to be presented at the workshop as demos. In this category papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 5 pages including figures, references, etc. Each paper should describe a working system illustrating its objectives and the implementation techniques. Working systems possibly include solvers, solver components and interfaces and application-oriented systems that employ Answer Set Programming for some of their functions. Submissions should be sent by E-mail to the Workshop Co-chairs. The message should indicate paper Title, Authors and Abstract, with the .pdf version of the paper in attachment. Email: stefcost at di.univaq.it and richard.watson at ttu.edu ------------------------------------------------------------------------ ------------------- *** Important Dates *** Submission Deadline: June 30, 2007 Notification: July 30, 2007 Camera Ready Copy Due: August 10, 2007 ASP'07 : September 8 and September 13, 2007 ------------------------------------------------------------------------ ------------------- *** Proceedings *** A printed volume of the proceedings will be available at the workshop. We also plan to publish a selection of extended workshop papers on a journal ======================================================================== =================== *** Invited Speaker: *** to be announced ======================================================================== =================== *** About ASP Workshop Series *** You can find information about the ASP worshop series here (http:// asp05.cs.bath.ac.uk/). ======================================================================== =================== *** Workshop Chairs *** Stefania Costantini, University of L'Aquila, Italy Richard Watson, Texas Tech University, Lubbock, Texas, USA ------------------------------------------------------------------------ ------------------- *** Programme Committee *** Marcello Balduccini, Texas Tech University, Lubbock, Texas, USA Loreto Bravo, University of Edinburgh, UK Marina De Vos, University of Bath, UK Pedro Cabalar, Corunna University, Galicia, Spain Andrea Formisano, University of Perugia, Italy Emilia Oikarinen, Helsinki University of Technology, Finland Mauricio Osorio, Fundacion Universidad de las Americas, Puebla, MÈxico. Gerald Pfeifer, Novell/SUSE Linux Products GmbH, Germany Giorgio Terracina, University of Calabria, Italy ======================================================================== ============== *** Workshop Web site *** http://www.cs.ttu.edu/asp07/ For any inquiry, please send it to stefcost at di.univaq.it. From axel.polleres at deri.org Tue Jun 5 01:08:32 2007 From: axel.polleres at deri.org (Axel Polleres) Date: Tue, 05 Jun 2007 01:08:32 +0200 Subject: *DEADLINE EXTENSION*: ALPSWS2007 - 2nd Int'l Workshop on Applications of LP in the Web, Semantic Web and Semantic Web Services Message-ID: <46649B70.3010105@deri.org> *** Apologies for cross-posting *** ************************************************************************* 2nd International Workshop on Applications of Logic Programming in the Web, Semantic Web and Semantic Web Services (ALPSWS2007) ***********DEADLINE EXTENSION************** http://www.bd.cesma.usb.ve/alpsws07 co-located with the International Conference on Logic Programming (ICLP2007) Porto, Portugal, 13 September 2007. ************************************************************************* Description: The advent of the Semantic Web promises machine-readable semantics and a machine-processable next generation of the Web. The first step in this direction is the annotation of static data on the Web with machine-processable information about knowledge and its structure, by means of ontologies. The next step in this direction is the annotation of dynamic applications and services invocable over the Web in order to facilitate automation of discovery, selection and composition of semantically described services and data sources on the Web by intelligent methods, which are called (Semantic) Web Services. In this workshop we want to advance the applications of Logic Programming as a paradigm for declarative knowledge representation and reasoning for the Web. The idea is to bring together the body of work related to applications of LP to the Web, Semantic Web and Web Services. We solicit contributions focusing on both practical applications and theoretical aspects of logic programming based approaches to Web related topics including (but not limited to): -Reasoning about Semantic Web languages such as RDF, RDFS, OWL, RuleML, WSML, OWL-S, SA-SWDL, SPARQL, RIF, etc. -Logic Programming based rule languages for the Semantic Web -Deductive query answering in a Semantic Web context -Ontology modeling and mediation using Logic Programming -Reasoning over large-scale ontologies -Reasoning with large instance data in the presence of ontologies -Combinations of Logic Programming and Description Logics -Modeling of and reasoning about Web Services -Applications of reasoning about actions and dynamics in the context of Web Services discovery and composition -Interactions of Logic Programming with other technologies such as agents, constraint programming, etc. in a (Semantic) Web context -Applications, use cases, experimental results and benchmarks -Extensions of Logic Programming engines for Semantic Web applications Important Dates: -30 June 2007, Submission of papers ****DEADLINE EXTENDED***** -30 July 2007, Notification of acceptance -10 August 2007, Camera-ready versions due -13 September 2007, Workshop Submissions and Proceedings: We invite two forms of submission to this workshop: full papers and short papers. Format required for submissions: Full papers shall be up to 16 pages length, short papers 6 pages which could include position papers, system descriptions or preliminary work. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Find submission details on ther workshop Webpage at: http://www.bd.cesma.usb.ve/alpsws07 We plan to invite authors of the best papers to submit revised and extended versions of their papers for an edited book on Applications of LP in the Web, Semantic Web and Web Services. Workshop Organization: The workshop will be organized in part around talks presenting research results in the intersection of the Semantic Web and Logic Programming selected from the accepted submissions. Another important part of the workshop will be to identify next steps and provide an opportunity for new ideas and initiatives. A part of the workshop will be dedicated towards discussion using the open-space methodology which facilitates and enables effective on site agenda building and execution. Organizing Committee: ---------------------------- Stijn Heymans, DERI, Leopold-Franzens Universitaet Innsbruck Axel Polleres, DERI Galway, National University of Ireland, Galway Edna Ruckhaus, Universidad Simon Bolivar, Caracas, Venezuela David Pearce, Universidad Rey Juan Carlos, Madrid, Spain Program Committee: ------------------------- Stefan Decker, DERI Galway Jos de Bruijn, Free University of Bozen-Bolzano Lukacsy Gergely, Budapest University of Technology and Economics Gopal Gupta, University of Texas Pascal Hitzler, AIFB, University of Karlsruhe Giovambattista Ianni, University of Calabria Zoé Lacroix, University of Arizona Enrico Pontelli, New Mexico State University Hans Tompits, Vienna University of Technology Alejandro Vaisman, University of Toronto María Esther Vidal, Universidad Simón Bolívar Gerd Wagner, Brandenburg University of Technology From L.C.Verbrugge at ai.rug.nl Tue Jun 5 09:33:30 2007 From: L.C.Verbrugge at ai.rug.nl (Rineke Verbrugge) Date: Tue, 5 Jun 2007 09:33:30 +0200 Subject: FAMAS 2007: Final Call for papers - with extended deadline Message-ID: <0E8630F9-1337-11DC-817E-000A957C0F6E@ai.rug.nl> -We apologize for multiple copies- ------------------------------------------------------------ Final Call for papers Formal Approaches to Multi-agent Systems (FAMAS'007) Durham, UK Thursday and Friday 6 and 7 September, 2007 http://www.mimuw.edu.pl/MAS/FAMAS007/ Part of MALLOW'007, 3-7 September, 2007 Submission deadline: *extended to Friday 15 June, 2007* -------------------------------------------------------------- -------------------- Description of FAMAS -------------------- In recent years, multi-agent systems have come to form one of the key technologies for software development. The third edition of the FAMAS workshop series, after the success of FAMAS'03 affiliated to ETAPS'03 in Warsaw and FAMAS'06 affiliated with ECAI'06 in Riva del Garda, aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. Suggested, but not exclusive, topics of interest for the workshop are: * logics for multi-agent systems; * formal methods for verification of multi-agent systems; * formal models of teamwork; * formal approaches to communication, coordination and negotiation; * logical analysis of games; * computational social choice; * logical approaches to protocols ensuring privacy and security; * reasoning with uncertainty in a distributed environment; * approximate reasoning in a multi-agent environment. ----------------------- Submission instructions ----------------------- Submissions should be written in English, unpublished, and not simultaneously submitted for publication elsewhere. Papers should be formatted according to the Springer LNCS style and not exceed 15 pages. (See the Springer LNCS homepage: http://www.springer.de/comp/lncs/authors.html ) Please send your paper in Portable Document Format (PDF) to both rineke at ai.rug.nl and keplicz at mimuw.edu.pl. --------------- Important dates --------------- *Note that for all MALLOW events, the dates have been extended by two weeks, as follows:* Friday 15 June 2007 Submission of papers Friday 20 July 2007 Notification of acceptance Friday 3 August 2007 Camera-ready copies due Thursday and Friday 6-7 September 2007 FAMAS Workshop ----------- Proceedings ----------- Informal workshop proceedings will be available at the workshop. A special issue of Fundamenta Informaticae, namely vol. 63 (2-3), 2004, collected new versions of the best papers of FAMAS'03. In 2008, a special issue of JAAMAS will come out that includes extended versions of the best papers of FAMAS'06. For the 2007 edition as well, authors of selected papers will be invited to submit an extended version of approximately 20 to 30 pages for a special issue of an appropriate journal. Further details will be announced at FAMAS'007. ---------------- Venue ---------------- The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW'007, hosted by the Department of Computer Science and St. Chad's College, University of Durham, U.K. Participants in the FAMAS workshop are urged to participate in the co-located workshops. For more details of MALLOW, please see http://www.dur.ac.uk/durham.agents007/MALLOW007/ . Registration is already open at http://www.dur.ac.uk/durham.agents007/daRegist.php MALLOW'007 is preceded by this year's edition of the European Agent Systems Summer School in Durham, taking place 27-31 August 2007, see http://www.dur.ac.uk/durham.agents007/EASSS07/ The MALLOW'007 format will allow us to host a two-day meeting with longer presentations that have not been feasible in previous editions of FAMAS. ---------------- Invited speakers ---------------- Four invited lectures will take place in the week of 3-7 September as the joint part of MALLOW'007. The invited speakers are: -Dave Robertson (University of Edinburgh), Monday 3 September; -Wiebe van der Hoek (University of Liverpool), Tuesday 4 September; -Munindar Singh (North Carolina State University), Wednesday 5 September; -Andrzej Szalas (Linköping University, Warsaw University), Friday 7 September). Prof. Andrzej Szalas is the speaker invited by FAMAS. He will present new research directions in approximate methods for multi-agent environments. ------------------ Program committee ------------------ Barbara Dunin-Keplicz, Warsaw University and Polish Academy of Sciences, Poland (chair) Rineke Verbrugge, University of Groningen, The Netherlands (chair) Hans van Ditmarsch, University of Otago, New Zealand Amal El Fallah-Seghrouchni, University of Paris 6, France Andreas Herzig, Universite Paul Sabatier, France Wiebe van der Hoek, University of Liverpool , UK Wojtek Jamroga, Clausthal University of Technology, Germany Michael Luck, University of Southampton, UK John-Jules Meyer, Utrecht University, The Netherlands Tim Norman, University of Aberdeen, UK David Robertson, University of Edinburgh, UK Jeff Rosenschein, The Hebrew University of Jerusalem, Israel Onn Shehory, IBM - Haifa Research Labs, Israel Carles Sierra, IIIA, Spanish Research Council, Spain ------------------- Workshop organizers ------------------- Barbara Dunin-Keplicz - keplicz at mimuw.edu.pl Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences http://www.mimuw.edu.pl/~keplicz/ Rineke Verbrugge - rineke at ai.rug.nl Institute of Artificial Intelligence, University of Groningen http://www.ai.rug.nl/~rineke From fs at doc.ic.ac.uk Tue Jun 5 15:18:36 2007 From: fs at doc.ic.ac.uk (F Sadri) Date: Tue, 05 Jun 2007 14:18:36 +0100 Subject: Call for Paper- the Computer Journal, Special Issue on "Artificial Societies for Ambient Intelligence" Message-ID: <466562AC.9020008@doc.ic.ac.uk> Call for Papers the Computer Journal ISSN : 0010-4620 Special Issue on "Artificial Societies for Ambient Intelligence" http://asami07.cs.rhul.ac.uk/cj-cfp.html Aim & Scope Ambient Intelligence (AmI) seeks to create a society based on unobtrusive, often invisible interactions amongst people and computer-based services in a global computing environment. Services in AmI will be ubiquitous in that there will be no specific bearer or provider but, instead, they will be associated with a variety of objects and devices in the environment, which will not bear any resemblance to computers. People will interact with these services through intelligent and intuitive interfaces embedded in these objects and devices, which in turn will be sensitive to what people need. In this special issue we aim at presenting the application and development of Artificial Societies for AmI, establish a body of knowledge and a theoretical umbrella for this, and use the resulting research to relate existing work on areas such as the semantic web, cognitive and social agents, and ambient and ubiquitous technologies. We also hope to present current research in the area of agent societies for AmI, where human activities are supported by social organisations of agents, computing devices or both, and assess the outcomes of such research. Our intention is to complement existing Ubiquitous Computing efforts that focus more on distributed systems and less on complex systems construed as artificial agent societies. This special issue therefore aspires to amalgamate ongoing research in distributed systems and complex multi-agent systems with the aim of strengthening the synergy between the two fields. We encourage the submission of innovative and mature results in specifying, developing and deploying artificial societies for ambient intelligence. Areas of interest include, but are not limited to, the following topics: * Social architectures * Agent Interaction * Reasoning and knowledge representation * Reactivity and pro-activity * Learning and adaptivity * Decision making * Co-operation and co-ordination * Social Emergence and Evolution * Normative Reasoning and Regulations * Security, Trust and Privacy * Interaction Design and Interfaces * Mobility * Applications Important Dates Submission Deadline: January 21, 2008 Acceptance Notice: April 7, 2008 Final Manuscript: May 2, 2008 Publication Date: 2nd Quarter, 2008 (Tentative) Submission Guidelines The work submitted must be in the form of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be formatted according to the journal style, and not exceed 25 pages including figures, references, etc. The papers must be submitted via the journal web submission route and simultaneously submit a PDF version of complete manuscript to asami-guest-eds08 at cs.rhul.ac.uk. Submitted papers will be peer reviewed according to their originality, quality and relevance to this special issue and the journal. Guest Editors Dr. Fariba Sadri Department of Computing, Imperial College London, UK URL: http://doc.ic.ac.uk/~fs Dr. Kostas Stathis Computer Science Department, Royal Holloway, University of London, UK URL: http://www.cs.rhul.ac.uk/~kostas From amilcar at dei.uc.pt Tue Jun 5 15:42:03 2007 From: amilcar at dei.uc.pt (=?ISO-8859-1?Q? F._Am=EDlcar_Cardoso ?=) Date: Tue, 5 Jun 2007 14:42:03 +0100 Subject: IJWCC'07: Cf Participation Message-ID: <0317CDF9-5FCF-4BA1-9D94-6DBE16E4CB3A@dei.uc.pt> ------------------------------------------------------------------------ ----------------------------------- Apologies for cross-posting. Please help forward this announcement to those who you think might be interested. Thank you. --------------------------------------------------------------------- CALL FOR PARTICIPATION 4th INTERNATIONAL JOINT WORKSHOP ON COMPUTATIONAL CREATIVITY Goldsmiths' College, University of London London, UK, 17-19 June 2007 ---> Early (cut price) registration deadline: 6th June ---> Keynote Speaker: Dr. Bernard Bel ---> Panel Speakers: Prof. Margaret Boden, Paul Brown, Prof. Jon McCormack See http://www.doc.gold.ac.uk/isms/CC07/ for details and on-line registration. The Program Committee of the 4th International Joint Workshop on Computational Creativity invites submissions of technical and position papers. The workshop will be held at Goldsmiths, University of London, UK, on 17-19 June 2007. -------------------------- Workshop Objectives -------------------------- The aim of the workshop is to facilitate the exchange of ideas on the topic of computational creativity. We aim to bring together people from AI, Cognitive Science and related areas such as Psychology, Philosophy and the Arts who research questions related to the notion of creativity with respect to computers. The workshop will address issues such as how we assess creativity in computers, how computers can be used to enhance human creativity, and how we can write creative software. We aim for papers on various frameworks for computational creativity to be presented at the workshop, and for the applications of computational creativity to the sciences, creative industries and arts to be showcased. The workshop will provide a forum for identifying trends and opportunities for research on creativity and promising practices concerning the development of creative systems. In addition, we will organise a "show and tell" session, which will be devoted to demonstrations of systems exhibiting behaviour which would be deemed creative in humans. -------------------------- Topics -------------------------- Original contributions will be presented in areas related to Creative Systems, including: - Computational models of creativity - Cognitive models of creativity - Metrics, frameworks and formalizations for the evaluation of creativity in computational systems - Computational tools for supporting creativity - Specific applications to music, language and the arts, to architecture and design, to scientific discovery, to education and to entertainment - Philosophical discussions of computational creativity - Detailed system descriptions of creative systems, including engineering difficulties faced, example sessions and artefacts produced, and applications of the system -------------------------- Keynote Speaker -------------------------- Dr Bernard Bel University of Aix-Marseilles Text representation of music: from word processing to rule-based composition/improvisation The Bol Processor project originated in 1980 as a word processor facilitating the transcription of quasi-onomatopoeic syllables used as an oral notation system for Indian drumming. It grew up as an expert system (BP1) mimicking the ability to compose variations on a musical theme or assess their acceptability. Pattern grammars (a subset of type-2 formal grammars) proved appropriate for modelling the musical system under study. A stochastic learning device was implemented to infer weights from sets of examples accepted by the grammar, with the effect of enhancing the aesthetic quality of productions. None the less, field work revealed limitations inherent to the expert system approach when it comes to modelling sophisticated human improvisation skills. In 1989 a numeric-symbolic learning device (QAVAID) was implemented in Prolog II for inferring grammars from examples. However, it has never been used in fieldwork because of its slow operation on portable computers of that time. The next implementation of Bol Processor (BP2) addressed the issue of music composition and improvisation in the MIDI and Csound environments of electronic music. A new challenge was to deal with superimposed sequences of events (polyphony) within the framework of text-oriented rewriting systems. This was achieved by means of polymetric representation. Minimal descriptions of polyphonic/ polyrhythmic structures may be "expanded" by the system to produce arbitrarily complex musical scores. This representation makes it possible to produce sophisticated time-patterns from information comprehensively imbedded in compositional rules, thereby maintaining the consistency of interpretation. This is a major discovery for computer music, as "human-like" phrasing is no longer achieved by randomness nor "interpretation rules". Producing the actual performance requires additional information which the Bol Processor encapsulates in metrical/topological properties of "sound-object prototypes". A time-setting algorithm modifies sound-objects taking into account physical timing and their adjacent sound-objects, much in a similar way human speakers modify the articulatory properties of speech sounds with respect to the speaking rate and influence of adjacent segments (coarticulation). Many composers and music teachers support the Bol Processor approach because of its underlying paradigm of text representation, i.e. "composing with pen and paper". It found its way long before the invention of markup languages, at a time only graphic interfaces were expected to capture the sophistication of compositional processes. BP2 is currently implemented for MacOS 9 and MacOS X. The project has been open-sourced by Sourceforge at http://sourceforge.net/projects/ bolprocessor/ with the help of Anthony Kozar. -------------------------- Panel Speakers -------------------------- Prof. Margaret Boden Paul Brown Prof. Jon McCormack See http://www.doc.gold.ac.uk/isms/CC07/ for details and on-line registration. -------------------------- Important Dates -------------------------- June 6th, 2007 Deadline for early registration -------------------------- Previous events -------------------------- This workshop is the first completely autonomous edition of the series of International Joint Workshops on Computational Creativity that were held in association with other major events: IJWCC 2004, Madrid, Spain, ECCBR'2004 IJWCC 2005, Edinburgh, UK, IJCAI'2005 IJWCC 2006, Riva del Garda, Italy, ECAI'2006 This joint series results from two previous streams of events that have, since 1997, solidified and added rigour to the computational treatment of creative processes. These events have been symposia and workshops associated with AISB 99, AISB 00, ICCBR 01, AISB 01, ECAI 02, AISB 02, IJCAI 03, AISB 03 and LREC 04. ------------------------- Workshop Chairs ------------------------- Amilcar Cardoso Center for Informatics and Systems (CISUC) University of Coimbra, Portugal http://www.dei.uc.pt/~amilcar Geraint A. Wiggins Centre for Cognition, Computation and Culture Goldsmiths' College, University of London, UK http://www.doc.gold.ac.uk/~mas02gw/ ------------------------- Local Organising Committee ------------------------- Oliver Bown Geraint A. Wiggins Intelligent Sound and Music Systems Group Centre for Cognition, Computation & Culture Department of Computing Goldsmiths' College, University of London New Cross, London SE14 6NW, United Kingdom ----------------- Program Committee ----------------- John Barnden (University of Birmingham, UK) Oliver Bown (Goldsmiths College, London, UK) David Brown (Worcester Polytechnic Institute, USA) Simon Colton (Imperial College London, UK) John Collomosse (University of Bath, UK) Pablo Gervás (Universidad Complutense de Madrid, Spain) Paulo Gomes (University of Coimbra, Portugal) Robert Keller (Harvey Mudd College, Claremont, California, USA) João Leite (New University of Lisbon, Portugal) Jesús López (University of Southern Queensland, Australia) Ramon López de Màntaras (IIIA-CSIC, Spain) Penousal Machado (University of Coimbra, Portugal) Lorenzo Magnani (University of Pavia, Italy) Diarmuid O'Donoghue (National University of Ireland, Maynooth, Ireland) David Moffat (Glasgow Caledonian University, UK) Marcus Pearce (Goldsmiths College, London, UK) Alison Pease (University of Edinburgh, UK) Francisco C. Pereira (University of Coimbra, Portugal) Rafael Pérez y Pérez (Universidad Autónoma Metropolitana, Mexico) Sarah Rauchas (Goldsmiths College, London, UK) Graeme Ritchie(University of Aberdeen, UK) Rob Saunders (University of Sydney, Australia) Oliviero Stock (Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy) Tony Veale (University College Dublin, Ireland) Gerhard Widmer (University of Linz, Austria) From stefan.brass at informatik.uni-halle.de Wed Jun 6 09:41:45 2007 From: stefan.brass at informatik.uni-halle.de (Stefan Brass) Date: Wed, 06 Jun 2007 09:41:45 +0200 Subject: [Event@CIG] Call for Paper- the Computer Journal, Special Issue on "Artificial Societies for Ambient Intelligence" In-Reply-To: References: Message-ID: <46666539.8040306@informatik.uni-halle.de> I get all EMails twice (since EMails bounced and I acknowledged the receipt of the warning). I wish to unsubscribe one of the two EMail addresses only. From areces at loria.fr Wed Jun 6 09:59:35 2007 From: areces at loria.fr (Carlos Areces) Date: Wed, 06 Jun 2007 09:59:35 +0200 Subject: CFP: 5th Worskhop on "Methods for Modalities" (M4M-5) Message-ID: <46666967.3090904@loria.fr> ==================================================================== 5th Worskhop on "Methods for Modalities" (M4M-5) http://m4m.loria.fr/M4M5 Ecole Normale Superieure de Cachan, France November 29-30 ==================================================================== Scope ----- The workshop ``Methods for Modalities'' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term ``modal logics'' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://m4m.loria.fr/ Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original results, work in progress, or future directions of research. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via Easychair at the following address: http://www.easychair.org/M4M5/ Final versions of accepted papers will be published online in an Elsevier ENTCS volume. A preliminary version of the proceedings will also be available at the workshop. Invited speakers ----------------- Ahmed Bouajjani (University of Paris 7) Patricia Bouyer (OUCL, Oxford - LSV, ENS Cachan) Balder ten Cate (University of Amsterdam) Koen Claessen (Chalmers University of Technology) Wiebe van der Hoek (University of Liverpool) Important dates --------------- Deadline for submissions: September 7th, 2007 Notification: October 10, 2007 Camera ready versions: November 5, 2007 Workshop dates: November 29-30, 2007 Program Committee ----------------- Natasha Alechina, University of Nottingham Carlos Areces, INRIA Lorraine (co-chair) Philippe Balbiani, IRIT, Nicole Bidoit, Universite Paris-Sud Patrick Blackburn, INRIA Lorraine Torben Brauner, Roskilde University Stephane Demri, ENS de Cachan (co-chair) Maarten de Rijke, University of Amsterdam Valentin Goranko, University of the Witwatersrand Rajeev Gore, ANU, NICTA Carsten Lutz, Dresden University of Technology Nicolas Markey, ENS de Cachan Angelo Montanari, University of Udine Ulrike Sattler, University of Manchester Holger Schlingloff, Humboldt University / FIRST Renate Schmidt, University of Manchester Johan van Benthem, University of Amsterdam/ Stanford University -- ================================================================== Carlos Areces phone : +33 (0)3 54 95 84 90 INRIA Researcher fax : +33 (0)3 83 41 30 79 e-mail: carlos.areces at loria.fr INRIA Lorraine. www : http://www.loria.fr/~areces Equipe TALARIS - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From postmaster at nottingham.ac.uk Wed Jun 6 19:30:12 2007 From: postmaster at nottingham.ac.uk (University of Nottingham) Date: Wed, 06 Jun 2007 18:30:12 +0100 Subject: Mail to the University of Nottingham Message-ID: Overnight there was an issue which affected emails being sent to University of Nottingham email addresses. Emails sent between 1am and 10:30am BST (GMT+1) on the 6th June 2007 may not have been received. We believe that your email address has sent email to a member of the University; these messages have not been received. Would you please resend any messages you sent to the University between 1am and 10:30am BST (GMT+1) on the 6th June 2007. We apologise for any inconvenience this may have caused. Information Services The University of Nottingham Tel: +44 (0) 115 9516677 From mailer-daemon at poseidon.rz.tu-clausthal.de Wed Jun 6 11:01:15 2007 From: mailer-daemon at poseidon.rz.tu-clausthal.de (Mail Delivery System) Date: Wed, 6 Jun 2007 11:01:15 +0200 (CEST) Subject: Undelivered Mail Returned to Sender Message-ID: <20070606090115.D749420752E@poseidon.rz.tu-clausthal.de> This is the mail system at host poseidon.rz.tu-clausthal.de. I'm sorry to have to inform you that your message could not be delivered to one or more recipients. It's attached below. For further assistance, please send mail to If you do so, please include this problem report. You can delete your own text from the attached returned message. The mail system : host mailgate.urz.uni-halle.de[141.48.3.51] said: 550 Syntax error in header address (Sender:, From:, Reply-To:) (in reply to end of DATA command) -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Administrator of mailing lists of CIG at TUC Betreff: Re: [Event at CIG] Call for Paper- the Computer Journal, Special Issue on "Artificial Societies for Ambient Intelligence" Datum: Wed, 06 Jun 2007 11:01:14 +0200 Größe: 1863 URL: From mailer-daemon at poseidon.rz.tu-clausthal.de Wed Jun 6 15:47:30 2007 From: mailer-daemon at poseidon.rz.tu-clausthal.de (Mail Delivery System) Date: Wed, 6 Jun 2007 15:47:30 +0200 (CEST) Subject: Undelivered Mail Returned to Sender Message-ID: <20070606134730.55D732075B2@poseidon.rz.tu-clausthal.de> This is the mail system at host poseidon.rz.tu-clausthal.de. I'm sorry to have to inform you that your message could not be delivered to one or more recipients. It's attached below. For further assistance, please send mail to If you do so, please include this problem report. You can delete your own text from the attached returned message. The mail system : host finch.doc.ic.ac.uk[146.169.1.194] said: 550 Invalid From/Sender/Reply-To header (in reply to end of DATA command) -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Administrator of mailing lists of CIG at TUC Betreff: 2nd Test Datum: Wed, 06 Jun 2007 15:47:29 +0200 Größe: 1182 URL: From jap at cs.bath.ac.uk Thu Jun 7 17:45:04 2007 From: jap at cs.bath.ac.uk (J A Padget) Date: Thu, 07 Jun 2007 16:45:04 +0100 Subject: Final CFP: Coordination, Organizations, Institutions and Norms (COIN) @ Durham Message-ID: <1181231104.6089.48.camel@jap2.cs.bath.ac.uk> There is more time to submit your paper!!! Deadline moved back two weeks. It is now JUNE 15. Please check the COIN page http://www.cs.bath.ac.uk/COIN2007/ for details and circulate this notice among colleagues. A .pdf of the call is attached. Please notice that the workshop is scheduled for two days in order to have a flexible format to allow for lively discussion. Note also that the COIN workshop is part of a very interesting one week event involving related workshops and it is the week after the European Agents School, all hosted in the splendid Durham Campus, see: http://www.dur.ac.uk/durham.agents007/DurhamAgents007.php The usual apologies if you receive multiple copies of this message. Pablo Noriega and Julian Padget. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : COIN_DURHAM07updt.pdf Dateityp : application/pdf Dateigröße : 92247 bytes Beschreibung: nicht verfügbar URL : From torsten at cs.uni-potsdam.de Thu Jun 7 17:31:30 2007 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Thu, 7 Jun 2007 17:31:30 +0200 (CEST) Subject: WARNING! (2937453797) In-Reply-To: (event-subscribe@in.tu-clausthal.de) References: Message-ID: <20070607153130.45D954C065@raz.haiti.cs.uni-potsdam.de> > X-Original-To: torsten at localhost > X-Sieve: CMU Sieve 2.2 > From: "event administration" > Date: Wed, 16 May 2007 05:40:15 +0200 > X-ListServer: CommuniGate Pro LIST 5.1.9 > X-Virus-Scanned: by PureMessage V4.7 at tu-clausthal.de > X-Spam-Status: No, hits=0.5 required=5.0 > tests=SUBJ_ALL_CAPS > version=2.55 > X-Spam-Level: > X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) > > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2937453797, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > From Patrick.Hung at uoit.ca Fri Jun 8 23:01:19 2007 From: Patrick.Hung at uoit.ca (Patrick Hung) Date: Fri, 8 Jun 2007 17:01:19 -0400 Subject: Call For Participations: IEEE Services 2007 Message-ID: Apologies for cross-postings. Please send to interested colleagues and students. ::::::::: CALL FOR PARTICIPATION ::::::::: Advance Registration Deadline: 6/1/2007 GET ONE REGISTRATION, ATTEND ALL EVENTS (IEEE ICWS/SCC/SERVICES 2007 excluding Tutorials)! 2007 IEEE Congress on Services (SERVICES 2007) http://conferences.computer.org/services ================================================================= 2007 IEEE International Conference on Web Services (ICWS 2007) http://conferences.computer.org/icws/2007/ 2007 IEEE International Conference on Services Computing (SCC 2007) http://conferences.computer.org/scc/2007/ =================================================================== July 9-13, 2007, Marriott Salt Lake City Downtown, Salt Lake City, Utah Sponsored by IEEE Computer Society Technical Committee on Services Computing (http://tab.computer.org/tcsc) As the first well-established Services Science and Technology community in the world, the IEEE Services Computing Community (https://www.ieeecommunities.org/services, OPEN and free membership) is organizing the 2007 IEEE Congress on Services (SERVICES 2007, http://conferences.computer.org/services) to be held on July 9-13, 2007, Salt Lake City, Utah. IEEE SERVICES 2007 is going to celebrate the third gathering of IEEE International Conference on Web Services (ICWS 2007) and IEEE International Conference on Services Computing (SCC 2007) along with other events to explore the science and technology of Services in the field of Services Computing, which was promoted by IEEE Computer Society in 2003. ICWS 2007 and SCC 2007 are the flagship conferences sponsored by IEEE Computer Society Technical Committee on Services Computing (http://tab.computer.org/tcsc). You are invited to attend this exciting event. "Services University" will also be launched during IEEE SERVICES 2007 to help you to teach or learn Services Computing discipline in a systematic way. Regional leaders (Professors or Industry Leaders) will be identified to foster this worldwide "Services University" program during IEEE SERVICES 2007. The technical program consists of: # IEEE SOA Industry Summit # IEEE Symposium on SOA Standards (IEEE Standards Association SOA and Web Services Working Group) # 2 KEYNOTES and 2 Plenary Panels ***** Keynote 1: Services Research at IBM ROBERT MORRIS, VICE PRESIDENT, SERVICES RESEARCH, IBM RESEARCH ***** Keynote 2: Web Services: Meeting the Software Challenge of Future Hardware and Global Business Trends IKE NASSI, SENIOR VICE PRESIDENT, SAP RESEARCH, AMERICAS AND ASIA ***** Plenary Panel 1 Services Computing in Daily Work: Service Engineering vs. Software Engineering Panel Moderators and Panelists: Hemant Jain, Wisconsin Distinguished & Tata Consultancy Services Professor of Management Information System in Sheldon B. Lubar School of Business at University of Wisconsin – Milwaukee, USA Calton Pu - Professor and John P. Imlay, Jr. Chair in Software at College of Computing, Georgia Tech., USA Sridhar Iyengar - IBM Distinguished Engineer, Strategist of Services Software Research at the IBM TJ Watson Research Center, USA Brian Blake – Associate Professor and Chair of the Department of Computer Science at Georgetown University. Carl K. Chang - Editor-in-Chief of IEEE Computer and Professor and Chair of the Department of Computer Science at Iowa State University. ***** Plenary Panel 2. Services Computing in Action: Services Architectures Panel Moderators: Ephraim Feig - Senior director of services architecture at Motorola Liang-Jie (LJ) Zhang - Research Staff Member of SOA Services at IBM T.J. Watson Research Center Ali Arsanjani – Distinguished Engineer and Chief Architect for the SOA and Web Services Center of Excellence within IBM Global Business Services # 5 Tutorials 1. SOA Solution Reference Architecture, Liang-Jie (LJ) Zhang (SOA Services Research, IBM Research, USA) 2. State of the Art in Modeling and Deployment of Electronic Contracts, Kamalakar Karlapalem (Professor, IIT, India), Radha Krishna Pisipati (Associate Professor at Institute for Development and Research in Banking Technology (IDRBT), India) 3. Web Services Security and Privacy, Patrick C. K. Hung (Assistant Professor, Faculty of Business and Information Technology, University of Ontario Institute of Technology, Canada), Casey K. Fung (Network Centric Operations, Boeing Phantom Works, USA) 4. Build Your Mashup with Web Services, Ning Yan (Technical Lead, IBM.COM Webmaster Team, USA) 5. Semantic SOA in Action: A Practical Demonstration (Deepti Parachuri, Bijoy Majumdar, Ujval Mysore, Infosys Technologies, India) # 8 IEEE Services Computing Workshops (SCW 2007 at SERVICES 2007) 1. Second International Workshop on Modeling, Design, and Analysis for Service-oriented Architectures (MDA4SOA07) 2. Fourth International Workshop on Semantic Web for Services and Processes (SWSP07) 3. First International Workshop on Service Oriented Technologies for Biological Databases and Tools (SOTBDT 2007) 4. 2nd International Workshop on Service- and Process-Oriented Software Engineering (SOPOSE-07) 5. International Workshop on Scientific Workflows (SWF07) 6. Workshop on Web Service Composition and Adaptation (WSCA07) 7. 2007 IEEE International Workshop on Web Services Testing (WS-Testing 2007) 8. 2007 IEEE International Workshop on Web X.0 (WebX 2007) # IEEE Services Computing Contest (SOA Contest 2007 Demo and Final Competition) # IBM Ph.D. Symposium on Services Computing # Job Fair @ Services Computing (http://jobsintheServices.com) # Industry Exhibit and Demo # 1 Congress Banquet # 1 Congress Reception: "Services University" Launch # Joint Editorial Board Meeting (International Journal of Web Services Research, International Journal of Business Process Integration and Management, International Journal of Grid and Utility Computing) # Work-in-Progress Paper Presentations # Application Services and Industry Track Paper Presentations # Research Track Paper Presentations # IEEE Body of Knowledge on Services Computing (servicescomputing.tv) Initiative sponsored by the Computer Society Technical Committee on Services Computing (TC-SVC) # Services Computing for YOU: IEEE IT Professional Magazine Special Issue (May/June 2007) on Web 2.0 - Technologies, Services, and Applications (http://www.computer.org/portal/site/itpro/index.jsp), edited by Liang-Jie Zhang, Sally Ericksen,and Jaideep Roy All papers will appear in the conference proceedings in both hard copy and online version published by the IEEE Computer Society. Extended versions of selected papers published in the ICWS & SCC 2007 will be invited for possible publication in: The International Journal of Web Services Research (JWSR) http://www.servicescomputing.org/jwsr/ (Included by SCI-E and EI) The International Journal of Business Process Integration and Management (IJBPIM) https://www.inderscience.com/browse/index.php?journalID=115 The International Journal of Grid and Utility Computing (IJGUC). https://www.inderscience.com/browse/index.php?journalID=108 Both the ICWS & SCC Proceedings are included in EI Compendex and SCI (in Plan). JWSR is included in SCI-E. All papers/presentations will also be published in RSS/PodCast/Video formats on IEEE BOK on Services Computing Portal (www.servicescomputing.tv) ********************************************* Please register at: http://conferences.computer.org/icws/2007/Registration.html http://conferences.computer.org/scc/2007/registr.html http://conferences.computer.org/services/2007/registration.html *********************************************= From lobrst at mitre.org Sat Jun 9 21:05:21 2007 From: lobrst at mitre.org (Obrst, Leo J.) Date: Sat, 9 Jun 2007 15:05:21 -0400 Subject: CFP: OIC 2007: Ontology for the Intelligence Community Message-ID: <9F771CF826DE9A42B548A08D90EDEA80020E6079@IMCSRV1.MITRE.ORG> Apologies for cross-postings; please share with colleagues and prospective interested parties NOTE: Paper submission date: July 15, 2007 ======================================== Call for Papers: OIC 2007: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY Towards Effective Exploitation and Integration of Intelligence Resources Hilton Hotel, Columbia, MD November 28-30, 2007 (November 30th is CLASSIFIED: those with TS/SCI clearances only and will be in Hanover, MD, near Columbia, MD). The increasing volume, variety and velocity of intelligence analysis requires new approaches that will enable greater flexibility, precision, timeliness and automation of analysis to maximize valuable human resources in responding to fast-evolving threats. Ontology-based technology as applied in areas such as bioinformatics has demonstrated the possibility of gains along all of these dimensions. The time is ripe to extend these gains also to other spheres. This conference will bring together experts on ontology-based technology with particular experience in the problems facing the intelligence community. It will feature invited talks from prominent ontologists and intelligence community leaders, as well as submitted papers focusing especially on the creation of public-domain ontology resources to support the work of intelligence analysts. Conference Director: Barry Smith (National Center for Ontological Research, Buffalo) Scientific Committee Kathleen Stewart Hornsby (Maine) (Chair); Bill Andersen (Ontology Works); Selmer Bringsjord (Rensselaer); Werner Ceusters (Buffalo); Randall Dipert (Buffalo); Terry Janssen (Lockheed); Kathryn Laskey (George Mason University); Kevin Lynch (CIA); Leo Obrst (MITRE); Chris Welty (IBM Research) CALL FOR PAPERS Submissions are invited of short papers in pdf format (up to 1500 words) designed to serve as the basis for 20-minute oral presentations at the conference. Accepted papers will be published (at speaker discretion) in the proceedings, in both an online version and prospectively a printed version. The authors of selected papers will be invited to submit longer versions for publication in volume 1 of a new series on Ontology for the Intelligence Community. Papers may address a wide variety of issues addressing the ontology needs of the intelligence community. We are especially interested in papers devoted to the task of creating an interoperable suite of public-domain ontologies relevant to intelligence analysis, covering areas such as: emergency response urban settings geospatial / cartographic ethnicity social networks images and imaging transportation moving object tracking religion and politics biology and health The ontologies should be combinable at will in such a way as to support the integration of data describing different domains. We encourage submissions that describe scenarios where multiple ontologies are linked to support higher-order analysis and reasoning over complex data. Questions to be addressed might include: which domains should be included in such a suite of ontologies? how can we ensure that ontologies interoperate in useful ways? how can we address the specific problems arising in virtue of the partiality and uncertainty of intelligence data? how can we use domain ontologies to organize, display and share intelligence analysis hypotheses while also maintaining a clean distinction between types and instances in knowledge representation artifacts? CLASSIFIED SESSION A CLASSIFIED paper and presentation/demo day will be held on the 30th only for those holding TS/SCI Clearances. Related Intelligence Community project participants are encouraged to submit unclassified and classified presentations. Because we are still in the process of determining the submission procedure for this, UNCLASSIFIED inquiries about CLASSIFIED submissions or procedures can be addressed to Leo Obrst (lobrst at mitre.org) or Terry Janssen (terry.janssen at lmco.com). Unclassified paper submissions with CLASSIFIED Demonstrations are also encouraged. We will have more general guidelines for CLASSIFIED submissions shortly. Details on how to pass clearances, and to whom, will be provided to those who sign up for the CLASSIFIED day on the 30th. Deadlines Receipt of papers: July 15, 2007 Notification of acceptance: August 31, 2007 Further information regarding submission will be provided in due course at http://ncor.us/oic2007 For inquiries please write to ncor at buffalo.edu. This meeting is sponsored by the NATIONAL CENTER FOR ONTOLOGICAL RESEARCH - BUFFALO. _____________________________________________ Dr. Leo Obrst The MITRE Corporation, Information Semantics lobrst at mitre.org Information Discovery & Understanding, Command and Control Center Voice: 703-983-6770 7515 Colshire Drive, M/S H305 Fax: 703-983-1379 McLean, VA 22102-7508, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tiwari at csl.sri.com Sun Jun 10 01:44:34 2007 From: tiwari at csl.sri.com (Ashish Tiwari) Date: Sat, 9 Jun 2007 16:44:34 -0700 Subject: ADDCT'07: Call for Participation: Early Reg. Deadline Jun 10 Message-ID: <200706092344.l59NiY8Q019246@fury.csl.sri.com> CALL FOR PARTICIPATION Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07) Workshop affiliated with CADE-21 Bremen, Germany, 15 July, 2007 For complete information- http://www.mpi-inf.mpg.de/~sofronie/addct07.html Early Registration Deadline: ---------------------------- 10 June 2007 Tentative Program: ------------------ 09:30-10:30 Session 1: Invited talk 09:30-10:30 Michael Rusinowitch (LORIA-INRIA-Lorraine) TBA 10:30-11:00 Coffee Break 11:00-12:30 Session 2: Decidable fragments of first-order logic and applications 11:00-11:35 Stephanie Delaune, Hai Lin and Christopher Lynch Protocol Verification via Rigid/Fleixble Resolution 11:35-12:10 Sharon Abadi, Alexander Rabinovich and Mooly Sagiv Decidable Fragments of Many Sorted Logic 12:10-12:30 Maria Paola Bonacina and Mnacho Echenim Decision procedures for variable-inactive theories and two polynomial T-satisfiability procedures 12:30-14:00 Lunch Break 14:00-15:30 Session 3: Decidability in intuitionistic, modal and description logics 14:00-14:35 Linh Anh Nguyen Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity 14:35-15:10 Didier Galmiche and Daniel Mery Connection-based proof search in intuitionistic logic from transitive closure of constraints 15:10-15:30 Carsten Lutz and Frank Wolter Conservative extensions in modal and description logics 15:30-16:00 Coffee Break 16:00-17:00 Session 4: Combinations of decision procedures 16:00-16:20 Sava Krstic, Amit Goel, Jim Grundy and Cesare Tinelli. Combined Satisfiability Modulo Parametric Theories 16:20-16:40 Leonardo de Moura, and Nikolaj Bjorner Model-based Theory Combination 16:40-17:00 Viktor Kuncak, Charles Bouillaguet, Thomas Wies, Karen Zee and Martin Rinard. Decision procedures for data structure verification End of Program From jparaki at gmail.com Sun Jun 10 09:28:31 2007 From: jparaki at gmail.com (Jay) Date: Sun, 10 Jun 2007 12:58:31 +0530 Subject: Ontology and Telemedicine Message-ID: <18f79e190706100028m28079a3bk327ab03a227aa463@mail.gmail.com> Hello! Biomedical Ontology is the backbone of any successful Telemedicine service. If any ontologist wishes to join me in planning an Ontology Workshop for the conference, please email me. Regards Dr Jayanth G Paraki On 6/10/07, Obrst, Leo J. wrote: > > > > Apologies for cross-postings; please share with colleagues and prospective > interested parties > > > > NOTE: Paper submission date: July 15, 2007 > > > > ======================================== > > > > > > Call for Papers: OIC 2007: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY > > > > Towards Effective Exploitation and Integration of Intelligence Resources > > > > Hilton Hotel, Columbia, MD > > > > November 28-30, 2007 > > > > (November 30th is CLASSIFIED: those with TS/SCI clearances only and will be > in Hanover, MD, near Columbia, MD). > > > > The increasing volume, variety and velocity of intelligence analysis > requires new approaches that will enable greater flexibility, precision, > timeliness and automation of analysis to maximize valuable human resources > in responding to fast-evolving threats. > > Ontology-based technology as applied in areas such as bioinformatics has > demonstrated the possibility of gains along all of these dimensions. The > time is ripe to extend these gains also to other spheres. > > > > This conference will bring together experts on ontology-based technology > with particular experience in the problems facing the intelligence > community. It will feature invited talks from prominent ontologists and > intelligence community leaders, as well as submitted papers focusing > especially on the creation of public-domain ontology resources to support > the work of intelligence analysts. > > > > Conference Director: Barry Smith (National Center for Ontological Research, > Buffalo) > > > > Scientific Committee > > Kathleen Stewart Hornsby (Maine) (Chair); Bill Andersen (Ontology Works); > > Selmer Bringsjord (Rensselaer); Werner Ceusters (Buffalo); Randall Dipert > > (Buffalo); Terry Janssen (Lockheed); Kathryn Laskey (George Mason > > University); Kevin Lynch (CIA); Leo Obrst (MITRE); Chris Welty (IBM > > Research) > > > > > > CALL FOR PAPERS > > Submissions are invited of short papers in pdf format (up to 1500 words) > designed to serve as the basis for 20-minute oral presentations at the > conference. Accepted papers will be published (at speaker discretion) in the > proceedings, in both an online version and prospectively a printed version. > The authors of selected papers will be invited to submit longer versions for > publication in volume 1 of a new series on Ontology for the Intelligence > Community. > > > > Papers may address a wide variety of issues addressing the ontology needs of > the intelligence community. We are especially interested in papers devoted > to the task of creating an interoperable suite of public-domain ontologies > relevant to intelligence analysis, covering areas such as: > > > > emergency response > > urban settings > > geospatial / cartographic > > ethnicity > > social networks > > images and imaging > > transportation > > moving object tracking > > religion and politics > > biology and health > > > > The ontologies should be combinable at will in such a way as to support the > integration of data describing different domains. We encourage submissions > that describe scenarios where multiple ontologies are linked to support > higher-order analysis and reasoning over complex data. Questions to be > addressed might include: which domains should be included in such a suite of > ontologies? how can we ensure that ontologies interoperate in useful ways? > how can we address the specific problems arising in virtue of the partiality > and uncertainty of intelligence data? how can we use domain ontologies to > organize, display and share intelligence analysis hypotheses while also > maintaining a clean distinction between types and instances in knowledge > representation artifacts? > > > > CLASSIFIED SESSION > > A CLASSIFIED paper and presentation/demo day will be held on the 30th only > for those holding TS/SCI Clearances. Related Intelligence Community project > participants are encouraged to submit unclassified and classified > presentations. Because we are still in the process of determining the > submission procedure for this, UNCLASSIFIED inquiries about CLASSIFIED > submissions or procedures can be addressed to Leo Obrst (lobrst at mitre.org) > or Terry Janssen (terry.janssen at lmco.com). Unclassified paper submissions > with CLASSIFIED Demonstrations are also encouraged. We will have more > general guidelines for CLASSIFIED submissions shortly. > > > > Details on how to pass clearances, and to whom, will be provided to those > who sign up for the CLASSIFIED day on the 30th. > > > > Deadlines > > Receipt of papers: July 15, 2007 > > Notification of acceptance: August 31, 2007 > > > > Further information regarding submission will be provided in due course at > http://ncor.us/oic2007 > > > > For inquiries please write to ncor at buffalo.edu. > > > > This meeting is sponsored by the NATIONAL CENTER FOR ONTOLOGICAL > > RESEARCH - BUFFALO. > > > > _____________________________________________ > Dr. Leo Obrst The MITRE Corporation, Information Semantics > lobrst at mitre.org Information Discovery & Understanding, Command and > Control Center > Voice: 703-983-6770 7515 Colshire Drive, M/S H305 > Fax: 703-983-1379 McLean, VA 22102-7508, USA > > > _______________________________________________ > protege-discussion mailing list > protege-discussion at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-discussion > > Instructions for unsubscribing: > http://protege.stanford.edu/doc/faq.html#01a.03 > > -- Consultant - Knowledge Management http://myprofile.cos.com/zurich Member International Association of Science Parks, Spain American Society for Information Science and Technology Netzkraft Network, Germany HIF-Net, Oxford, UK Indo-American Chamber of Commerce, India From C.Orasan at wlv.ac.uk Mon Jun 11 17:04:12 2007 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 11 Jun 2007 16:04:12 +0100 Subject: RANLP 2007 Workshop on Computer-Aided Language Processing (CALP'07) -- Extended deadline Message-ID: <1E93EA79FECAE149808363138FAE5BE1046468A1@exchange03.unv.wlv.ac.uk> [Apologies for cross-postings] RANLP-07 Workshop: Computer-Aided Language Processing (CALP'07) Extended deadline: 25th June 2007 Borovetz, Bulgaria September 30, 2007 Workshop site: http://clg.wlv.ac.uk/events/CALP07/ RANLP'2007 site: http://lml.bas.bg/ranlp2007/ AIMS: The past years have seen a variety of promising NLP projects but in the vast majority of real-world applications, fully automatic NLP is still far from delivering reliable results. As a result, computer- aided methods have emerged as a practical alternative. In the computer-aided scenario, processing is not done entirely by computers, human intervention improves, post-edits or validates the output of the computer program. The aim of the workshop is to bring together researchers working on CALP projects and to provide a forum for fruitful discussion on related issues and further developments in the field. Topics of interests include areas where computers can be used to help but not to fully automate the process such as (but not limited to) machine translation, production of summaries, generation of documents, extraction of terminology, creation of indexes, ontology creation and annotation of texts using semi-automatic methods. The workshop also encourages discussions and submissions focusing on evaluation issues addressing the efficiency of the CALP methods. Of particular interest will be studies which compare the saving of time and cost of CALP methods as opposed to manual methods. TOPICS Prospective authors are invited to submit proposals in the following areas of interest, related to computer-aided language processing: * computer-aided language processing for NLP tasks including but not limited to computer-aided summarisation, indexing, translation, generation, etc. * semi-automatic annotation methods: post-processing vs. interactive annotation * semi-automatic ontology development * interactive machine learning methods such as active learning * evaluation issues addressing the efficiency of CALP methods * translation memories and other translation aides * interactive machine translation * pre/post-editing of machine translation * intelligent tools for language learning such as dictionaries and concordancers * computer-aided assessment tools * authorship attribution and plagiarism detection INVITED SPEAKER Ruslan Mitkov, University of Wolverhampton, UK SUBMISSION GUIDELINES: * Format: Authors are invited to submit two types of papers: full papers which describe original and unpublished work in the topic area of this workshop, and short papers which describe full working systems, and which, if accepted, will be presented at a special session accompanied by live demo. Papers should be submitted as a PDF file, formatted according to the RANLP 2007 stylefiles and not should not exceed 8 pages for full papers and 4 pages for short papers. The RANLP 2007 stylefiles are available at: http://lml.bas.bg/ranlp2007/submissions.htm. As reviewing will be blind, the papers should not include the authors' names and affiliations. Furthermore, self-references that reveal the authors' identities should be avoided. Papers that do not conform to these requirements will be rejected without review. * Submission procedure: Submission of papers is handled using the START system available at http://www.softconf.com/ranlp/CALP07/submit.html * Reviewing: Each submission will be reviewed at least by two members of the Program Committee. Reviewers will be asked to provide detailed comments, and to score submitted papers on the following factors: - Relevance to the workshop - Significance and originality - Technical/methodological accuracy - References to related work - Presentation (clarity, organisation, English) * Accepted papers policy. Accepted papers will be published in the workshop proceedings. By submitting a paper at the workshop the authors agree that, in case the paper is accepted for publication, at least one of the authors will attend the workshop; all workshop participants are expected to pay the RANLP-2007 workshop registration fee. IMPORTANT DATES Paper submission deadline: June 25, 2007 Paper acceptance notification: August 1, 2007 Camera-ready papers due: August 31, 2007 Workshop date: September 30, 2007 WORKSHOP CHAIRS: Constantin Orasan, University of Wolverhampton, UK Sandra Kübler, Indiana University, USA PROGRAM COMMITTEE: Amit Bagga, Ask Jeeves, USA Kalina Bontcheva, University of Sheffield, UK Robert Clark, Translution Ltd, UK and Leeds University, UK Le An Ha, University of Wolverhampton, UK Catalina Hallett, Open University, UK Laura Hasler, University of Wolverhampton, UK Erhard Hinrichs, University of Tuebingen, Germany Martin Kay, Stanford University, USA Elina Lagoudaki, Imperial College, UK Inderjeet Mani, Georgetown University, USA Patricio Martinez Barco, University of Alicante, Spain Andrea Mulloni, Cogito Srl, Italy Masumi Narita, Tokyo International University, Japan Matteo Negri, IRST, Italy Gabor Proszeky, Morphologic, Hungary Frederique Segond, Rank Xerox, France Doina Tatar, Babes-Bolyai University, Romania CONTACT: calp07 at wlv dot ac dot uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Adrian.Paschke at gmx.de Tue Jun 12 00:28:04 2007 From: Adrian.Paschke at gmx.de (Adrian Paschke) Date: Tue, 12 Jun 2007 00:28:04 +0200 Subject: REMINDER CfP RuleML-2007 Message-ID: <20070611222804.217420@gmx.net> Dear Prospective Author of RuleML-2007, This is just a friendly reminder that the deadline for the RuleML-2007 abstract submission is Friday, June 15, 2007. Please upload a plain text abstract in our EasyChair submission page at http://www.easychair.org/RuleML2007/. All information regarding submission requirements are elaborated in the RuleML-2007 web site at: http://2007.ruleml.org/index-Dateien/Page577.htm Sincerely, Adrian Paschke Yevgen Biletskiy RuleML-2007 Program Co-Chairs [ our apologies should you receive this message more than one time ] The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) October 25-26, 2007, Orlando, Florida http://2007.ruleml.org ===================================================================== Co-located with: The 10th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) will take place, October 25-26, 2007, in Orlando, Florida , co-located with The 10th International Business Rules Forum . RuleML-2007 is devoted to practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of, e.g., the Semantic Web, Intelligent Multi-Agent Systems, Event-Driven Architectures and Service-Oriented Computing Applications. A RuleML-2007 Challenge with prizes will be organized to demonstrate tools, use cases, and applications. Abstracts are due June 15, 2007. Papers are due June 29, 2007. ===================================================================== -- Ist Ihr Browser Vista-kompatibel? Jetzt die neuesten Browser-Versionen downloaden: http://www.gmx.net/de/go/browser -- Ist Ihr Browser Vista-kompatibel? Jetzt die neuesten Browser-Versionen downloaden: http://www.gmx.net/de/go/browser From iclp07-publicity at di.uevora.pt Tue Jun 12 15:20:16 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Tue, 12 Jun 2007 14:20:16 +0100 Subject: ICLP07: call for participation Message-ID: (apologies for multiple copies) ---------------------------------------------------------------------- Dear Colleague, ICLP 2007 registration is now open. Please note that early registration ends on June 30th. More details on the conference and its associated workshops can be found on the website: http://www.dcc.fc.up.pt/iclp07/ Highlights include invited talks by Gerhard Brewka on "Preferences in Answer-Set Programming" and by Chitta Baral, on "Applications of Logic". We look forward to seeing all of you in Porto. Best wishes, The ICLP 2007 organization ---------------------------------------------------------------------- LIST OF ACCEPTED PAPERS: Full papers ----------- Sabrina Baselice, Piero Bonatti and Giovanni Criscuolo On Finitely Recursive Programs Leslie De Koninck, Tom Schrijvers and Bart Demoen The Correspondence Between the Logical Algorithms Language and CHR Marcin Czenko and Sandro Etalle Core TuLiP Paul Tarau and Brenda Luderman A Logic Programming Framework for Combinational Circuit Synthesis Lee Naish Resource-Oriented Deadlock Analysis Martin Gebser and Torsten Schaub Generic Tableaux for Answer Set Programming Gregory Duck, Peter Stuckey and Martin Sulzmann Observable Confluence for Constraint Handling Rules Alberto Pettorossi, Maurizio Proietti and Valerio Senni Automatic Correctness Proofs for Logic Program Transformations David Vaz, Michel Ferreira and Ricardo Lopes Spatial-Yap: A Logic Based Geographic Information System Pawel Pietrzak and Manuel Hermenegildo Automatic Error Diagnosis in Logic Programs Matti Järvisalo and Emilia Oikarinen Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs Quan Phan and Gerda Janssens Static Region Analysis for Mercury Tran Cao Son, Enrico Pontelli, Mirek Truszczynski and Lengning Liu Programs with Abstract Constraint Atoms: Semantical Considerations David Toman and Gulay Unel Logic Programming Approach to Automata-based Decision Procedures Pedro Cabalar, David Pearce and Agustin Valverde Minimal Logic Programs Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi and Frank Valencia Declarative Diagnosis of Temporal Concurrent Constraint Programs Sergio Greco and Cristian Molinaro Querying and Repairing Inconsistent Databases under Three-Valued Semantics Agostino Dovier, Andrea Formisano and Enrico Pontelli Multivalued Action Languages with Constraints in CLP(FD) Jorge Navas, Edison Mera, Pedro Lopez-Garcia and Manuel Hermenegildo User-Definable Resource Bounds Analysis for Logic Programs Vitor Santos Costa, Kostis Sagonas and Ricardo Lopes Demand-Driven Indexing of Prolog Clauses Anderson Silva and Vítor Santos Costa Design, Implementation, and Evaluation of an Dynamic Compilation Framework for the YAP System Frank Raiser Graph Transformation Systems in CHR Posters ------- Linh Anh Nguyen Approximating Horn Knowledge Bases in Description Logics with Regular RBoxes to Have PTIME Data Complexity Bart Demoen and Phuong-Lan Nguyen Action Rules in the WAM Ka-Shu Wong A Stronger Notion of Equivalence for Logic Programs Rafael Caballero, Mario Rodríguez Artalejo and Rafael del Vado Vírseda Declarative Debugging of Missing Answers in Constraint Functional- Logic Programming Alexei Morozov Visual Logic Programming Method Based on Structural Analysis and Design Technique Jon Sneyers, Peter Van Weert, Tom Schrijvers and Bart Demoen Aggregates in Constraint Handling Rules Ricardo Rocha, Cláudio Silva and Ricardo Lopes On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog Levente Hunyadi Prosper: A Framework for Extending Prolog Applications with a Web Interface Nengfa Zhou A Register-Free Abstract Prolog Machine with Jumbo Instructions Emilia Oikarinen and Tomi Janhunen A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming Giacomo Terreni, Paolo Mancarella and Francesca Toni Web Sites Verification and Repair: an Abductive Logic Programming tool Luciano Caroprese, Irina Trubitsyna and Ester Zumpano View Updating through Active Integrity Constraints Davy Van Nieuwenborgh, Martine De Cock and Dirk Vermeir Computing Fuzzy Answer Sets using DLVHEX Girish Palshikar Representation and Execution of a Graph Grammar in Prolog Margaret West The Use of a Logic Programming Language in the Animation of Z Specifications Andrea Cali and Thomas Lukasiewicz Tightly Integrated Probabilistic Description Logic Programs under the Answer Set Semantics for the Semantic Web From spa at di.uevora.pt Tue Jun 12 15:35:46 2007 From: spa at di.uevora.pt (Salvador Abreu) Date: Tue, 12 Jun 2007 14:35:46 +0100 Subject: Second CFP: CICLOPS 2007 Message-ID: (apologies for multiple copies) ======================================================================= Second Call For Papers CICLOPS 2007 Colloquium on Implementation of Constraint LOgic Programming Systems http://www.di.uevora.pt/ciclops07/ October 8, 2007 To be held in conjunction with ICLP 2007 - 23nd International Conference on Logic Programming Porto, Portugal ====================================================================== Overview ======== The last years have witnessed continuous progress in the technology available both for academic and commercial computing environments. Examples include more processor performance, increased memory capacity and bandwidth, faster networking technology, operating system support for cluster computing and the generalized use of mutiprocessor systems, including in particular multicore microprocessors. These improvements, combined with recent advances in compilation and implementation technologies, are causing high-level languages to be regarded as good candidates for programming complex, real world applications. Techniques aiming at achieving flexibility in the language design make powerful extensions easier to implement; on the other hand, implementations which reach good performance in terms of speed and memory consumption make declarative languages and systems amenable to develop non-trivial applications. Logic Programming and Constraint Programming, in particular, seem to offer one of the best options, as they couple a high level of abstraction and a declarative nature with an extreme flexibility in the design of their implementations and extensions and of their execution model. This adaptability is key to, for example, the implicit exploitation of alternative execution strategies tailored for different applications (e.g., for domain-specific languages) without unnecessarily jeopardizing efficiency. CICLOPS 2007 continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held with in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages (ParImp) held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently the Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) in Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint-Malo (France, 2004), Sitges (Spain, 2005), Seattle (USA, 2006), and the CoLogNet Workshops on Implementation Technology for Computational Logic Systems held in Madrid (2002), Pisa (2003) and Saint-Malo (France, 2004). Workshop Description ==================== The workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic and constraint (logic) programming systems, or systems intimately related to logic as a means to express computations. Preference will be given to the analysis and description of implemented (or under implementation) systems and their associated techniques, problems found in their development or design, and steps taken towards the solutions. The workshop topics include, but are not limited to: - Implementation of standard/alternative sequential models (generalization and modification of the WAM, translation to lower-level and/or general-purpose languages, etc.); - Implementation of parallel/concurrent models; - Interaction between high-level optimizations/transformations and lower-level issues; - Compile-time analysis and its application to code generation; - Balance between compile-time effort and run-time machinery; - Memory management, indexing, and garbage collection issues; - Profiling tools and performance evaluation; - Implementation techniques for declarative programming paradigms with basis on, or extending, logic and constraint programming, such as non-monotonic reasoning, inductive logic programming, natural language processing systems, etc; - Software design with and for (C)LP systems: components, patterns, etc.; - Design and implementation of programming environments; - Experiences from using systems in real-life applications. Workshop Format =============== The workshop will emphasize discussion and cross-fertilization, so presentations will be balanced with discussion time. In this direction, the workshop is seeking high quality papers that address cutting-edge research in this field, and that can contribute to the discussion. The agenda will include paper presentations, a panel discussion, and possibly an invited speaker. At least one author of each accepted submission is expected to attend the workshop. Important Dates =============== Paper Submission Deadline: July 1st, 2007 (strict) Notifications to Authors: July 15th, 2007 Camera-ready Version Deadline: August 20th, 2007 CICLOPS 2007 Workshop: October 8, 2007 Submission Guidelines ===================== Participants should submit a paper (maximum 15 pages, PDF format), describing their work in topics relevant to the workshop. Accepted papers will be presented during the workshop. At least one author of an accepted contribution is expected to register for the workshop, and present the paper. All submissions should include the author's name(s), affiliation, complete mailing address, and email address. Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see: http://www.springer.de/comp/lncs/authors.html for further details. The submission should be submitted through the electronic submission site: http://www.easychair.org/CICLOPS2007/ The deadline for receipt of submissions is July 1, 2007. Papers received after this date will not be reviewed. Eligible papers will be peer-reviewed by at least three members of the Program Committee. Authors will be notified via email of the results by July 15, 2007. Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by August 20, 2007. Accepted papers will be included in the workshop proceedings, which will be distributed to the participants. Questions about submissions may be directed to spa di.uevora.pt Organizing Committee ==================== Salvador Abreu, Universidade de Évora, Portugal Vitor Santos Costa, Universidade do Porto, Portugal Program Committee ================= Bart Demoen, K.U. Leuven, Belgium David Scott Warren, State University of New York at Stony Brook, USA Enrico Pontelli, New Mexico State University, USA Gopal Gupta, University of Texas at Dallas, USA Hai-Feng Guo, University of Nebraska at Omaha, USA Inês Dutra, Universidade do Porto, Portugal Kostis Sagonas, Uppsala University, Sweden Manuel Carro, Universidad Politécnica de Madrid, Spain Mats Carlsson, SICS, Sweden Michael Leuschel, Heinrich-Heine-Universität Düsseldorf, Germany Michel Ferreira, Universidade do Porto, Portugal Neng-Fa Zhou, City University of New York, USA Paul Tarau, University of North Texas, USA Paulo Moura, Universidade da Beira Interior, Portugal Ricardo Rocha, Universidade do Porto, Portugal Salvador Abreu, Universidade de Évora, Portugal Tom Schrijvers, K.U. Leuven, Belgium Vitor Santos Costa, Universidade do Porto, Portugal Contact Information =================== Salvador Abreu Universidade de Evora Departamento de Informatica Largo dos Colegiais, 2 7004-516 Evora - PORTUGAL spa di.uevora.pt Vitor Santos Costa Universidade do Porto Departamento de Ciência da Computação Rua Campo Alegre, 1021/1055, 4169-007 Porto - PORTUGAL vsc dcc.fc.up.pt From a.artikis at gmail.com Thu Jun 14 08:56:32 2007 From: a.artikis at gmail.com (Alexander Artikis) Date: Thu, 14 Jun 2007 09:56:32 +0300 Subject: ESAW 07: final reminder Message-ID: <130ef5930706132356v63fa6b3dk967e7e352c14ed30@mail.gmail.com> ***Paper submission deadline: June 18th*** Apologies for cross-posting. ---------------------------------------------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------------------------------------------- Eighth International Workshop "Engineering Societies in the Agents World" (ESAW 07), October 22-24 2007, National Centre for Scientific Research (NCSR) "Demokritos", Athens, Greece http://esaw07.iit.demokritos.gr ---------------------------------------------------------------------------------------------------------- AIMS & SCOPE: The sequel to successful editions since 2000, ESAW 07 remains committed to the use of the notion of multi-agent system as seed for animated, constructive, and highly inter-disciplinary discussions about technologies, methodologies, and tools for the engineering of complex distributed applications. While the workshop places an emphasis on practical engineering issues and applications, it also welcomes theoretical, philosophical, and empirical contributions, provided that they clearly document their connection to the core applied issues. Prospective papers about new paradigms, theories, models are also appreciated. Topics of interest include, but are not limited to: - analysis, design, development and verification of agent societies - open, large-scale multi-agent systems - models of complex distributed systems with agents and societies - interaction-coordination patterns in agent societies - inter-disciplinary approaches for agent societies engineering - engineering of social intelligence in multi-agent systems - self-organisation and self regulation in agent societies - autonomy and self-design of agent societies in an environment - security, trust and norms in agent societies - middleware infrastructures for agent societies - tools and models for agent societies management - studies of information ecosystems - experiences in building and maintaining large agent societies - evolution of institutions in agent societies - insightful analyses of negative results ---------------------------------------------------------------------------------------------------------- IMPORTANT DATES: * Submission Deadline (Extended): June 18, 2007 * Acceptance/Rejection Notification: July 27, 2007 * Revised Papers for Workshop Notes: September 15, 2007 ---------------------------------------------------------------------------------------------------------- INVITED SPEAKERS: * Marek Sergot, Imperial College London, UK * Robert Axtell, The Brookings Institution, USA * Tim Norman, Univeristy of Aberdeen, UK ---------------------------------------------------------------------------------------------------------- SUBMISSION: The ESAW post-proceedings are typically published by Springer in the LNAI series. Papers should not exceed 16 pages and should be formatted according to the Springer LNAI guidelines. ---------------------------------------------------------------------------------------------------------- ORGANISERS: - Alexander Artikis, (NCSR "Demokritos", Greece) - Gregory O'Hare, (University College Dublin, Ireland) - Kostas Stathis, (Royal Holloway, University of London, UK) - George Vouros, (University of the Aegean, Greece) STEERING COMMITTEE: - Marie-Pierre Gleizes, (IRIT Universite Paul Sabatier, France) - Andrea Omicini, (DEIS Universita di Bologna, Italy) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Robert Tolksdorf, (Free University of Berlin, Germany) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) PROGRAMME COMMITTEE: - Grigoris Antoniou, (University of Crete, Greece) - Federico Bergenti, (Universita di Parma, Italy) - Carole Bernon, (IRIT Universite Paul Sabatier, France) - Guido Boella, (Universita degli Studi di Torino, Italy) - Olivier Boissier, (Ecole Nationale Superieure des Mines de Paris, France) - Jeff Bradshaw, (IHMC, USA) - Monique Calisti, (Whitestein Technologies, Switzerland) - Jacques Calmet, (University of Karlsruhe, Germany) - Cristiano Castelfranchi, (ISTC-CNR, Italy) - Luca Cernuzzi, (Universidad Catolica "Nuestra Senora de la Asuncion", Paraguay) - Helder Coelho, (University of Lisbon, Portugal) - Rem Collier, (University College Dublin, Ireland) - Dan Corkill, (University of Massachusetts at Amherst, USA) - R. Scott Cost, (University of Maryland Baltimore County, USA) - Aspassia Daskalopulu, (University of Thessaly, Greece) - Mehdi Dastani, (Utrecht University, The Netherlands) - Paul Davidsson, (Blekinge Institute of Technology, Sweden) - Keith Decker, (University of Delaware, USA) - Oguz Dikenelli, (Ege University, Turkey) - Riza Cenk Erdur, (Ege University, Turkey) - Rino Falcone, (ISTC-CNR, Italy) - Paul Feltovich, (IHMC, USA) - Jean-Pierre George, (IRIT Universite Paul Sabatier, France) - Paolo Giorgini, (University of Trento, Italy) - Michael O'Grady, (University College Dublin, Ireland) - Frank Guerin, (University of Aberdeeen, UK) - Salima Hassas, (Universite Claude Bernard Lyon 1, France) - Lloyd Kamara, (Imperial College London, UK) - Anthony Karageorgos, (University of Thessaly, Greece) - Manolis Koubarakis, (University of Athens, UK) - Michael Luck, (University of Southampton, UK) - Fabien Michel, (Universite de Reims, France) - Tim Miller, (University of Liverpool, UK) - Pavlos Moraitis, (Paris-Descartes University, France) - Pablo Noriega, (IIIA, Spain) - Sascha Ossowski, (Univesidad Rey Juan Carlos, Spain) - Julian Padget, (University of Bath, UK) - Juan Pavon Mestras, (Universidad Complutense de Madrid, Spain) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Alessandro Ricci, (Universita di Bologna, Italy) - Giovanni Rimassa, (Whitestein Technologies, Switzerland) - Juan Antonio Rodriguez Aguilar, (IIIA, Spain) - Fariba Sadri, (Imperial College London, UK) - Maarten Sierhuis, (RIACS/NASA Ames Research Center, USA) - Tiberiu Stratulat, (LIRMM, France) - Robert Tolksdorf, (Free University of Berlin, Germany) - Leon Van der Torre, (University of Luxembourg, Luxembourg) - Luca Tummolini, (ISTC-CNR, Italy) - Paul Valckenaers, (Katholieke Universiteit Leuven, Belgium) - Wamberto Vasconcelos, (University of Aberdeeen, UK) - Mirko Viroli, (Universita di Bologna, Italy) - Marina De Vos, (University of Bath, UK) - Danny Weyns, (Katholieke Universiteit Leuven, Belgium) - Pinar Yolum, (Bogazici University, Turkey) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) From baldoni at di.unito.it Fri Jun 15 16:26:37 2007 From: baldoni at di.unito.it (Matteo Baldoni) Date: Fri, 15 Jun 2007 16:26:37 +0200 Subject: MALLOW-AWESOME: deadline extension June 22nd Message-ID: <4672A19D.6030903@di.unito.it> Dear All, the MALLOW-AWESOME'007 deadline is now extended to June 22nd. Please, check http://awesome007.disi.unige.it/ for instructions to authors. MALLOW-AWESOME is aimed at fostering discussion among researchers who study ontologies, reasoning, rules, agents, and services and it is held as part of MALLOW'007 which comprises five different workshops (http://www.dur.ac.uk/durham.agents007/MALLOW007/). Please, consider that: - MALLOW is not that expensive (370 pounds including accomodation and meals as well five workshop proceedings and registration or 70 pounds the registration only); - you will be allowed to attend all five workshops and the invited talks (by Munindar Singh, Wiebe van der Hoek, Andrzej Szalas, and Dave Robertson); - the copyright of the work will remain to the authors who can decide to resubmit for the special issue or also to other different events. In order to ensure the success of the workshop, we kindly ask to ***circulate*** the new deadline to all those colleagues who might be interested in the topics of our workshop. Best regards, Matteo Baldoni Cristina Baroglio Viviana Mascardi -- Matteo Baldoni Dipartimento di Informatica | Universita` degli Studi di Torino | Tel. +39 011 6706756 C.so Svizzera, 185 | Fax. +39 011 751603 I-10149 Torino (Italy) | URL http://www.di.unito.it/~baldoni ----------------------------------------------------------------------- Please avoid sending me Word or PowerPoint attachments. See http://www.gnu.org/philosophy/no-word-attachments.html ----------------------------------------------------------------------- From wva at info.fundp.ac.be Sat Jun 16 00:29:15 2007 From: wva at info.fundp.ac.be (Wim Vanhoof) Date: Sat, 16 Jun 2007 00:29:15 +0200 Subject: WLPE'07 - Deadline extension Message-ID: <467312BB.2080100@info.fundp.ac.be> [Apologies for multiple copies...] Please note that the submission deadline for WLPE'07 has been extended! New deadline: June 22. ----------------------------------------------------------- WLPE' 07 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP'07) September 13, 2007 Porto, Portugal http://www.comp.leeds.ac.uk/hill/WLPE07/ ----------------------------------------------------------- The 17th Workshop on Logic-based methods in Programming Environments will take place in Porto, Portugal, as a satellite workshop of ICLP'07, the 23th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005) and Seattle, Washington USA (2006). The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. Areas particularly relevant to the workshop include: * static and dynamic analysis * debugging and testing * program verification and validation * code generation from specifications * termination and non-termination analysis * reasoning on occurs-check freeness and determinacy * profiling and performance analysis * type- and mode analysis * module systems * optimization tools Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise. Submission guidelines --------------------- We invite the submission of full papers which, excluding references, should not exceed 16 pages, or short papers describing work in progress which should be no more than 6 pages. Authors are requested to submit their paper in standard postscript or pdf format (preferable in Springer LNCS style) to: http://www.easychair.org/WLPE07/ An informal proceedings will be distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: June 22, 2007 (extended) Notification: July 8, 2007 Camera-ready: August 15, 2007 Workshop: September 13, 2007 Workshop organizers ------------------- Patricia Hill School of Computing, University of Leeds Leeds, England Phone: +44 113 343 6807 Fax: +44 113 343 5468 http://www.comp.leeds.ac.uk/hill/ Wim Vanhoof Insitut d'Informatique, University of Namur Namur, Belgium Phone: +32 81 72 49 77 Fax: +32 81 72 49 67 http://www.info.fundp.ac.be/~wva/ Program committee ----------------- John Gallager (Roskilde University, Denmark) Gopal Gupta (University of Texas at Dallas, U.S.A) Michael Hanus (Christian-Albrechts-Universität zu Kiel, Germany) Pat Hill (University of Leeds, U.K.) Erwan Jahier (Verimag Laboratory, Gières, France) Gerda Janssens (KULeuven, Belgium) Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain) Baudouin Le Charlier (Catholic University of Louvain, Belgium) Lunjin Lu (Oakland University, USA) German Puebla (Technical University of Madrid, Spain) Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands) Fausto Spoto (Università di Verona, Italy) Wim Vanhoof (University of Namur, Belgium) Enea Zaffanella (Parma University, Italy) Event's Web homepage -------------------- http://www.comp.leeds.ac.uk/hill/WLPE07/ From Belaid.Benhamou at cmi.univ-mrs.fr Sun Jun 17 17:47:02 2007 From: Belaid.Benhamou at cmi.univ-mrs.fr (benhamou) Date: Sun, 17 Jun 2007 17:47:02 +0200 Subject: Reminder: CFP of SymCon'07 In-Reply-To: <458C0FEC.4030407@cmi.univ-mrs.fr> References: <200601291711.k0THB45e018819@birkhoff.cas.mcmaster.ca> <458C0FEC.4030407@cmi.univ-mrs.fr> Message-ID: <46755776.3010804@cmi.univ-mrs.fr> We apologize for multiple copies of this Call. ================================================================ Call for Papers SymCon'07 The Seventh International Workshop on Symmetry and Constraint Satisfaction Problems (http://www.cmi.univ-mrs.fr/~benhamou/symcon07/) To be held at the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP 2007) Providence, RI, USA September 23rd 2007 ================================================================ WORKSHOP DESCRIPTION -------------------- SymCon'07 is the 7th in a series of workshops affiliated with the CP conference, and focuses on the investigation of symmetry and symmetry breaking techniques for Constraint Satisfaction Problems (CSPs). Symmetries occur frequently in CSPs. When undetected, they cause thrashing during traditional backtracking search by redundantly exploring symmetric parts of the search space. The topic was discussed as far back as 1874 by Glaisher, and new techniques to detect and/or break symmetry have been proposed in recent years. However, many outstanding problems remain. For instance, the detection and exploitation of local, dynamic, and weak forms of symmetry remains a challenge. The workshop is a forum for researchers to present advances in symmetry breaking techniques and to discuss the above or other open problems. Additionally, the workshop welcomes the presentation of applications and case studies that exhibit some form of symmetry. The workshop is relevant to the computational group theory (CGT) community because CGT is often the theory underlying many symmetry breaking techniques. Importantly, the organizers welcome submissions from researchers working in other areas of Artificial Intelligence who feel that their work would be of interest to the CP community. Such areas include planning, model checking, QBF formulas, finite model search, and theorem proving in FOL. Workshop topics include, but are not limited to: - Symmetry definition: semantic symmetry, syntactic symmetry, constraint symmetry, solution symmetry - Automatic symmetry detection: static approaches and dynamic approaches - Global symmetry detection and elimination - Dynamic symmetry detection and elimination - Combining symmetry breaking techniques - Exploiting weak forms of symmetries like "dominance" and "almost-symmetries" - Case studies of problems that exhibit interesting symmetries - Application of computational group theory techniques to symmetry breaking - Heuristics that use information about symmetry to guide search - Elimination and avoidance of symmetry by re-modelling - Dynamic avoidance of symmetric states during search - Complexity analysis of symmetry breaking techniques - Application of CSPs to symmetry and related algebraic problems - Comparing symmetry breaking techniques in constraint programming with techniques for dealing with symmetry in other search domains - Symmetry in CNF formulas and OBF formulas - Symmetry in finite model search in first order logic - Novel exploitation of symmetry in varied search domains of interest to the CP community ATTENDANCE ---------- The workshop is open to all members of the CP community. At least one author of each submission accepted for presentation must attend the workshop and present the contribution. All workshop attendees must pay the workshop fee. PAPER SUBMISSION ---------------- To submit a paper to the workshop, please e-mail a PS or PDF file in IJCAI03 style to both Belaid.Benhamou at cmi.univ-mrs.fr and symcon07 at cmi.univ-mrs.fr. Style files can be obtained at http://www.cmi.univ-mrs.fr/~benhamou/symcon07/ Papers must be formated in IJCAI requirements and can be of any length but should not exceed 8 pages. All submissions must be received by June 22nd, 2007. The Program Committee Chairs will acknowledge all submissions. If a submitted paper is not acknowledged in 2 working days, the authors are kindly requested to contact one of the chairs. SELECTION PROCESS ----------------- All submissions will be reviewed. Those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at the workshop web-page and in hardcopy at CP 2007. If necessary, for time reasons, only a subset of the papers will be presented. A selection will then be made by the Program Committee Chairs. Post-publication of the proceedings is currently under negotiation. IMPORTANT DATES --------------- Submission deadline: Friday, 22nd June 2007 Notification of acceptance: Tuesday, 17th July 2007 Camera ready deadline: Friday, 3rd August 2007 Workshop: Monday, 23rd We apologize for multiple copies of this Call. ================================================================ Call for Papers SymCon'07 The Seventh International Workshop on Symmetry and Constraint Satisfaction Problems (http://www.cmi.univ-mrs.fr/~benhamou/symcon07/) To be held at the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP 2007) Providence, RI, USA September 23rd 2007 ================================================================ WORKSHOP DESCRIPTION -------------------- SymCon'07 is the 7th in a series of workshops affiliated with the CP conference, and focuses on the investigation of symmetry and symmetry breaking techniques for Constraint Satisfaction Problems (CSPs). Symmetries occur frequently in CSPs. When undetected, they cause thrashing during traditional backtracking search by redundantly exploring symmetric parts of the search space. The topic was discussed as far back as 1874 by Glaisher, and new techniques to detect and/or break symmetry have been proposed in recent years. However, many outstanding problems remain. For instance, the detection and exploitation of local, dynamic, and weak forms of symmetry remains a challenge. The workshop is a forum for researchers to present advances in symmetry breaking techniques and to discuss the above or other open problems. Additionally, the workshop welcomes the presentation of applications and case studies that exhibit some form of symmetry. The workshop is relevant to the computational group theory (CGT) community because CGT is often the theory underlying many symmetry breaking techniques. Importantly, the organizers welcome submissions from researchers working in other areas of Artificial Intelligence who feel that their work would be of interest to the CP community. Such areas include planning, model checking, QBF formulas, finite model search, and theorem proving in FOL. Workshop topics include, but are not limited to: - Symmetry definition: semantic symmetry, syntactic symmetry, constraint symmetry, solution symmetry - Automatic symmetry detection: static approaches and dynamic approaches - Global symmetry detection and elimination - Dynamic symmetry detection and elimination - Combining symmetry breaking techniques - Exploiting weak forms of symmetries like "dominance" and "almost-symmetries" - Case studies of problems that exhibit interesting symmetries - Application of computational group theory techniques to symmetry breaking - Heuristics that use information about symmetry to guide search - Elimination and avoidance of symmetry by re-modelling - Dynamic avoidance of symmetric states during search - Complexity analysis of symmetry breaking techniques - Application of CSPs to symmetry and related algebraic problems - Comparing symmetry breaking techniques in constraint programming with techniques for dealing with symmetry in other search domains - Symmetry in CNF formulas and OBF formulas - Symmetry in finite model search in first order logic - Novel exploitation of symmetry in varied search domains of interest to the CP community ATTENDANCE ---------- The workshop is open to all members of the CP community. At least one author of each submission accepted for presentation must attend the workshop and present the contribution. All workshop attendees must pay the workshop fee. PAPER SUBMISSION ---------------- To submit a paper to the workshop, please e-mail a PS or PDF file in IJCAI03 style to both Belaid.Benhamou at cmi.univ-mrs.fr and symcon07 at cmi.univ-mrs.fr. Style files can be obtained at http://www.cmi.univ-mrs.fr/~benhamou/symcon07/ Papers must be formated in IJCAI requirements and can be of any length but should not exceed 8 pages. All submissions must be received by June 22nd, 2007. The Program Committee Chairs will acknowledge all submissions. If a submitted paper is not acknowledged in 2 working days, the authors are kindly requested to contact one of the chairs. SELECTION PROCESS ----------------- All submissions will be reviewed. Those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at the workshop web-page and in hardcopy at CP 2007. If necessary, for time reasons, only a subset of the papers will be presented. A selection will then be made by the Program Committee Chairs. Post-publication of the proceedings is currently under negotiation. IMPORTANT DATES --------------- Submission deadline: Friday, 22nd June 2007 Notification of acceptance: Tuesday, 17th July 2007 Camera ready deadline: Friday, 3rd August 2007 Workshop: Monday, 23rd September 2007 PROGRAM COMMITTEE CHAIRS ------------------------ - Belaïd Benhamou Université de Provence (Aix-Marseille I) LSIS-CMI, 39 F. Joliot-Curie 13453 Marseille Cedex13 France. Email: Belaid.Benhamou at cmi.univ-mrs.fr - Berthe Y. Choueiry 256 Avery Hall Constraint Systems Laboratory CSE--University of Nebraska-Lincoln Lincoln, NE, 68588-0115, USA Email: choueiry at cse.unl.edu - Brahim Hnich Faculty of Computer Sciences Izmir University of Economics Sakarya Caddesi No:156, 35330 balcova Izmir, Turkey Email: brahim.hnich at ieu.edu.tr PROGRAM COMMITTEE ----------------- - Fadi A. Aloul, American University of Sharjah, U.A.E - Gilles Audemard, Université d'Artois, France. - Rolf Backofen, Albert-Ludwigs-University, Germany - Pierre Flener, Sabanci University, Turkey and Uppsala University, Sweden - Zeynep Kiziltan, University of Bologna, Italy - Derek Long, University of Strathclyde, Glasgow, UK - Igor Markov, University of Michigan, U.S.A. - Pedro Meseguer, Universitat Autonoma de Barcelona, Spain. - Michela Milano, University of Bologna, Italy - Justin Pearson, Uppsala University, Sweden - Karen Petrie, Oxford University, UK - Steve Prestwich, University College Cork, Ireland - Jean-François Puget, ILOG, France - Lakhdar Sais, Université d'Artois, France. - Pierre Seigel, University of Provence, Aix-Marseille I, France - Meinolf Sellmann, Brown University, U.S.A. - Barbara Smith, Cork Constraint Computation Centre, Irland. - Pascal van Hentenryck, Brown University, U.S.A. - Toby Walsh, University of New South Wales, Australia September 2007 PROGRAM COMMITTEE CHAIRS ------------------------ - Belaïd Benhamou Université de Provence (Aix-Marseille I) LSIS-CMI, 39 F. Joliot-Curie 13453 Marseille Cedex13 France. Email: Belaid.Benhamou at cmi.univ-mrs.fr - Berthe Y. Choueiry 256 Avery Hall Constraint Systems Laboratory CSE--University of Nebraska-Lincoln Lincoln, NE, 68588-0115, USA Email: choueiry at cse.unl.edu - Brahim Hnich Faculty of Computer Sciences Izmir University of Economics Sakarya Caddesi No:156, 35330 balcova Izmir, Turkey Email: brahim.hnich at ieu.edu.tr PROGRAM COMMITTEE ----------------- - Fadi A. Aloul, American University of Sharjah, U.A.E - Gilles Audemard, Université d'Artois, France. - Rolf Backofen, Albert-Ludwigs-University, Germany - Pierre Flener, Sabanci University, Turkey and Uppsala University, Sweden - Zeynep Kiziltan, University of Bologna, Italy - Derek Long, University of Strathclyde, Glasgow, UK - Igor Markov, University of Michigan, U.S.A. - Pedro Meseguer, Universitat Autonoma de Barcelona, Spain. - Michela Milano, University of Bologna, Italy - Justin Pearson, Uppsala University, Sweden - Karen Petrie, Oxford University, UK - Steve Prestwich, University College Cork, Ireland - Jean-François Puget, ILOG, France - Lakhdar Sais, Université d'Artois, France. - Pierre Seigel, University of Provence, Aix-Marseille I, France - Meinolf Sellmann, Brown University, U.S.A. - Barbara Smith, Cork Constraint Computation Centre, Irland. - Pascal van Hentenryck, Brown University, U.S.A. - Toby Walsh, University of New South Wales, Australia From Oege.de.Moor at comlab.ox.ac.uk Sun Jun 17 19:50:44 2007 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Sun, 17 Jun 2007 17:50:44 GMT Subject: PhD on refactoring at Oxford Message-ID: <200706171750.l5HHoive029675@mercury.comlab.ox.ac.uk> UNIVERSITY OF OXFORD COMPUTING LABORATORY Programming Tools Group Oxford University Computing Laboratory has a fully funded three year research studentship working in the Programming Tools Group with the abc team: http://progtools.comlab.ox.ac.uk http://aspectbench.org PROJECT SUMMARY Software systems are rarely written from scratch: they evolve over long periods of time. When a change is made, this often affects many different locations in a system, and it is hard to make a change consistently. For that reason, automated tools to help the process of software change are desirable. "Refactoring" refers to the process of restructuring an existing piece of software, often prior to introducing new functionality, or to take advantage of a new technology. Refactoring must preserve the behaviour of existing code, and tools that help in refactoring both assist in the restructuring process and in checking that the behaviour has not changed. Unfortunately today's refactoring tools are very hard to construct, they are still quite limited in functionality, and they often contain bugs. This project aims to construct a framework for better refactoring tools. In particular, the work is driven by refactorings for a new set of language features, called `aspect-oriented programming' that have recently been added to Java. Our framework will be based on developments in three separate areas of computer science: * "strategies" to control the process of rewriting program code, from the term rewriting community * "reference attribute grammars" to specify the conditions that guarantee behaviour is preserved, from the compilers community * "incremental evaluation" of declarative rules, from the functional and logic programming community. The quality of our framework will be assessed by coding selected case studies using alternative methods. In particular, we shall implement several refactorings directly in Eclipse, the leading development environment for writing aspect-oriented programs in industry. SELECTION CRITERIA The PhD student will be concerned with the theoretical foundations of the refactoring framework, for instance proofs of correctness for refactorings, and also for the incremental evaluation mechanism. We are thus looking for someone with good mathematical skills, in particular regarding formal properties of type systems and program analyses. Candidates must have an outstanding undergraduate or master's degree in computer science. More generally, candidates must satisfy the usual requirements: http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf for doing a doctorate at Oxford. HOW TO APPLY The deadline for applications has been extended to July 17, 2007, but earlier applications will be reviewed immediately, so candidates are encouraged to apply as soon as possible. Previous applicants need not re-apply. To apply you need to download the University's application form from: http://www.admin.ox.ac.uk/postgraduate/apply/forms You will need to submit references and a transcript with your application. It is also required to submit a research proposal: in this proposal, please elaborate on the reasons why you are interested in this project, and the research questions you find most exciting and important to address within the scope of the project. To make a convincing proposal, you may wish to consult some of the suggested reading below. Please submit your application to: Mrs. Julie Sheppard Secretary for Graduate Studies Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom AND NOT TO THE ADDRESS ON THE APPLICATION FORM FURTHER INFORMATION We are happy to discuss any of the above informally with prospective candidates. Just email one or all of the project leaders: Oege de Moor (oege at comlab.ox.ac.uk) Torbjorn Ekman (torbjorn at comlab.ox.ac.uk) Mathieu Verbaere (matv at comlab.ox.ac.uk) SUGGESTED READING Avgustinov et al, Semantics of Static Pointcuts in AspectJ, POPL 2007 http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf Ekman and Hedin. Rewritable Reference Attributed Grammars, ECOOP 2004. http://www.cs.lth.se/gorel/publications/2004-ReRAGs-LNCS.pdf Verbaere, Ettinger and De Moor. JunGL: a Scripting Language forRefactoring, ICSE 2006 http://progtools.comlab.ox.ac.uk/publications/icse06jungl Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools and Systems in StrategoXT-0.9. Domain-specific program generation. http://www.cs.uu.nl/research/techreps/UU-CS-2004-011.html From Paolo.Torroni at UniBO.it Thu Jun 21 16:02:49 2007 From: Paolo.Torroni at UniBO.it (Paolo Torroni) Date: Thu, 21 Jun 2007 16:02:49 +0200 Subject: ABC'07 (Agent Based Computing) :: SUBMIT BY JULY 16, 2007 Message-ID: <467A8509.3030908@UniBO.it> [apologies for cross-posting] Workshop on Agent Based Computing IV (ABC'07) Wisla, Poland, October 15-17, 2007 Organized within the framework of the International Multiconference on Computer Science and Information Systems and co-located with the XXIII Autumn Meeting of the Polish Information Processing Society. Agent-based computing has been hailed as the next significant breakthrough in software development, with the potential to affect many aspects of computer science, from artificial intelligence to the technologies and models of distributed computation. Agent-based systems are capable of autonomous action in open, dynamically-changing environments. Agents are currently being applied in domains as diverse as business information systems, computer games and interactive cinema, information retrieval and filtering, user interface design and industrial process control. The aim of the ABC '07 is to bring together researchers and developers from industry and academia in order to report on the latest scientific and technical advances, discuss and debate the major issues, and showcase the latest systems. The special session welcomes submissions of original papers concerning all aspects of software agents. Submissions involving both implementation and theoretical issues are encouraged. *Topics include but are not limited to:* * Agent architectures * Agent-oriented software engineering * Agent-based simulations * Agent benchmarking and performances * Agent communication, coordination and cooperation * Agent languages * Agent learning and planning * Agent mobility * Agent modeling, calculi, and logics * Agent security * Agents in the semantic web * Applications and Experiences * Simulating and verifying agent systems * Multi-Agent Systems in Applications o Disaster Management o E-commerce o Workflow management o Other areas INFORMATION ON ABC'07 HOME PAGE: http://www.imcsit.org/?cont=5&type=page&page=2 -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Paolo.Torroni.vcf Dateityp : text/x-vcard Dateigröße : 278 bytes Beschreibung: nicht verfügbar URL : From ilona.zaremba at deri.at Thu Jun 21 16:59:31 2007 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Thu, 21 Jun 2007 16:59:31 +0200 Subject: Call for Papers: Advances in Semantics for Web services Workshop (semantics4ws'07) Message-ID: <00b801c7b414$c61885f0$6c0110ac@at.deri.local> ------------------------------ Call for Papers Submissions: June 30, 2007 ---------------------------------------------------------------------------- ------------------- Advances in Semantics for Web services Workshop (semantics4ws'07) http://events.deri.at/semantics4ws2007/ at the Fifth International Conference on Business Process Management (BPM 2007) http://bpm07.fit.qut.edu.au/ Brisbane, Australia, 25-27 September 2007 -------------------------------------------------------- GENERAL OVERVIEW Web services have added a new level of functionality to the current Web by taking a first step towards seamless integration of distributed software components using Web standards. Nevertheless, current Web service technologies around SOAP, WSDL and UDDI operate at a syntactic level and, therefore, although they support interoperability (i.e. interoperability between the many diverse application development platforms that exist today) through common standards, they still require human interaction to a large extent. For example, the human programmer has to manually search for appropriate Web services in order to combine them in a useful manner, which limits scalability and greatly curtails the added economic value of envisioned with the advent of Web services. Recent research (to which we refer to as Semantic Web Services - SWS), which draws on a variety of fields such as Semantic Web, knowledge representation, formal methods, software engineering, process modeling, workflow, and software agents, is gaining momentum, in particular in the context of Web services usage. Research in the mentioned fields can be exploited to automate Web services-related tasks, like discovery, selection, composition, mediation, monitoring, and invocation, thus enabling seamless interoperation between them while keeping human intervention to a minimum. Although several initiatives, like OWL-S, WSMO, WSDL-S, or IRS, have emerged in this area aiming at addressing the problem of semantics in Web services, many major challenges still need to be addressed and solved in this field. In this context, this workshop aims to provide a forum in which to focus on selected core technical challenges for deployment of Semantic Web Services, and reach a better understanding of the relationships between commercial Web service standards, current SWS research efforts, and the ultimate requirements for full-scale deployment of these technologies. More specifically, this workshop aims to tackle the research problems (as well as recent practical experiences) around methods, concepts, models, languages and technology that enable semantics in the context of Web services, as well as discussing recent advances in semantics for Web services. Of particular interest are the architectural, technical, and developmental foundations of SWS, and showing how they combine synergistically to enable service automation on the scale required by today's Internet-connected enterprises. This proposed workshop aims to bring together researchers and industry practitioners (e.g. leading modelers, architects, system vendors, open-source projects, developers, and end-users) addressing many of these issues (including recent developments in tools and techniques, and real-world implementations of SWS applications), and promote and foster a greater understanding of how semantics can assist automation in Web services, thus helping people develop and manage services more efficiently and effectively. TOPICS The following indicates the general focus of the workshop. However, related contributions are welcome as well. * case studies for (semantic) Web services * OWL-S, WSMO, WSDL-S, IRS, SWSF-based systems and applications * static and dynamic logics for Web services and related aspects * ontologies for modeling (semantic) Web services * formal languages for describing (semantic) Web services * ontologies and languages for process modeling for (semantic) Web services * ontological representation of quality of services (QoS), services level agreements (SLAs), and non-functional properties (NFPs) of Web services * formal languages for QoS, SLAs, and NFPs * reasoning tasks and their complexity in SWS * formal methods and their applications in Web services * validation and verification for Web services * advertising, discovery, matchmaking, selection, and brokering of (semantic) Web services * data/process/protocol mediation in (semantic) Web services * composition, planning, and re-planning with (semantic) Web services * execution and lifecycle management of (semantic) Web services * monitoring, adaptability, and recovery strategies for (semantic) Web services * policies for (semantic) Web services * semantics in Web services contracts * security and privacy for (semantic) Web services * semantics for Grid services and e-Services * architectures for (semantic) Web services deployment * tools, middleware, and infrastructure for (semantic) Web services WORKSHOP FORMAT AND ATTENDANCE The program will occupy a full day, and will include presentations of papers selected from the full papers category (see 'submissions' below). Please note that at least one author of each accepted submission must attend the workshop. The BPM 2007 conference formalities are applied for fees and respective organizational aspects. Submission of a paper is not required for attendance at the workshop. However, in the event that the workshop cannot accommodate all who would like to participate, those who have submitted a paper (in any category) will be given priority for registration. SUBMISSIONS The workshop invites different types of contributions: * Papers * Demos * Posters / Position papers Papers: The papers should not exceed 12 pages and should have the Springer Lecture Notes of Computer Science (LNCS) layout. Demos: Detailed description plus sufficient number of screenshots or a video of the demo are required. For paper-based submissions, please follow the Springer LNCS layout. Please note that at the workshop itself no technical support is provided except possibly Internet connection and power (to be confirmed). Posters/Position papers: The posters/position papers should not exceed 5 pages and should have the Springer LNCS layout. All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of semantic technologies and Web services. All submissions should be formatted in Springer's LNCS style, should be submitted in electronic format using the link: http://www.easychair.org/Semantics4WS/. All accepted full papers and all position papers of attendees will be published in the proceedings of the workshop. Workshop proceedings will be published with Springer LNCS and will be available at the workshop. IMPORTANT DATES Submissions: June 30, 2007 Acceptance: July 23, 2007 Final copy: August 1, 2007 Workshops day: September 24, 2007 ORGANIZING COMMITTEE Steven Battle (Hewlett-Packard Labs, UK), John Domingue (The Open University, UK), David Martin (SRI International, USA) Dumitru Roman (DERI Innsbruck, Austria) Amit Sheth (Wright State University, USA) PROGRAM COMMITTEE (confirmed; to be extended) - Rama Akkiraju, IBM, USA - Carine Bournez, W3C, France - Jorge Cardoso, University Mediera, Portugal - Sanjay Chaudhary, DA-IICT, India - Emilia Cimpian, DERI Innsbruck, Austria - Marin Dimitrov, Ontotext, Bulgaria - Dieter Fensel, DERI, Austria - Karthik Gomadam, University of Georgia, USA - Michael Gruninger, University of Toronto, Canada - Sung-Kook Han, Won Kwang University, South Korea - Rick Hull, Lucent, USA - Jacek Kopecky, DERI Innsbruck, Austria - Deepali Khushraj, Nokia, Finland - Michael Kifer, State University of New York at Stony Brook, USA - Michael Maximilien, IBM, USA - Brahim Medjahed, University of Michigan, USA - Adrian Mocan, DERI Innsbruck, Austria - Massimo Paolucci, DoCoMo Euro-Labs, Germany - Brahmananda Sapkota, DERI Galway, Ireland - Tony Shan, Bank of America, USA - Monika Solanki, De Montfort University, UK - Ioan Toma, DERI Innsbruck, Austria - Stuart Williams, HP Bristol, UK Ilona Zaremba DERI Innsbruck University of Innsbruck Technikerstrasse 21a A-6020 Innsbruck Tel.: +43/512/507/6427 Fax +43/512/507/9872 E-mail: ilona.zaremba at deri.at From oliver.obst at newcastle.edu.au Wed Jun 20 13:26:33 2007 From: oliver.obst at newcastle.edu.au (Oliver Obst) Date: Wed, 20 Jun 2007 21:26:33 +1000 Subject: CfP: MASTA - 4th Workshop on Multi-Agent Systems: Theory and Applications Message-ID: ============================================================= MASTA 4th Workshop on Multi-Agent Systems: Theory and Applications ============================================================= Since 1993 the area of Multi-Agent Systems/Distributed Artificial Intelligence has been present in the EPIA conferences, both as individual tracks in the main conference and as autonomous workshops. Focusing on a fundamental area of research in Artificial Intelligence, the 4th MASTA workshop will be, in the context of EPIA’07, the forum for presenting and discussing the most recent and innovative work in the area of multi- agent systems. Departing, from the end of the 1980’s, from the two main branches of Decentralized AI and Distributed Problem Solving, research in Distributed Artificial Intelligence/Multi-Agent Systems has developed in areas of increase specialisation and autonomy as diverse as: agent-oriented programming and software engineering; cognitive modelling; swarm intelligence; coordination in MAS; social organisation modelling; social simulation; agent architectures; and many more. Today, besides the existence of countless application areas, theoretical research in these topics has also a great activity and development. Being a young research area, a lot of work is still to be done, both on its foundations and on the methodological approaches that will allow for a better grounding of the results obtained. ============================================================= Topics of Interest ============================================================= - Agent Architectures - Agent Programming Languages - Agent-Based Applications - Agent-Oriented Software Engineering - Automated Negotiation and Decision Making - Artificial Social Systems - Cognitive models, including emotions and philosophies - Cooperative Information Agents - Communication: languages, semantics, protocols, and conversations - Cooperation, Coordination and teamwork in MAS - Ethical and legal issues raised by Agents and MAS - Multi-Agent Evolution, Adaptation and Learning - Multi-Agent Simulation & Modelling - Formal Methods for Modelling Agent-Based Systems - Scalability and Performance of MAS - Industrial and Commercial Applications ============================================================= Scope - Technical Description ============================================================= Following the previous workshops on autonomous software agents and multi-agent systems that have been organized in the context of the EPIA conferences (MASTA in 1997, 2001 and 2005), the purpose of this workshop is to provide a high-profile, internationally respected discussion forum on the most recent and innovative scientific research and applications in the areas of multi-agent systems and autonomous agents. As in previous occurrences of MASTA, the unifying focus of the workshop will be on the methodological aspects. Both theoretical research and more practical one should be situated in the context of existing/new methodologies for agent-oriented software engineering. This framework is not intended to preclude any specific topic, but preference will be given to research work establishing some connection with the methodological aspects or to successful applications built upon some existing or developing methodology. Theoretical papers should make clear the significance and relevance of the theoretical results to the Multi-Agent community, while more practical, applied ones, should clearly relate to the state of the art and make clear their own contribution. ============================================================= Paper Submission ============================================================= Submissions must follow the guidelines specified in the conference site. Authors must remove their names from the submitted papers, and should take reasonable care not to indirectly disclose their identity. The Springer LNCS format must be used (instructions in http://www.springer.de/comp/lncs/authors.html/). Paper submissions will be made in PDF format, through the submission page available in EPIA 2007 website. More detailed and up-to-date information, including types and maximum lengths of submissions, may be found in http://epia2007.appia.pt ============================================================= Proceedings ============================================================= Workshop papers of higher quality will be selected for publication in the main volume of the conference proceedings, to be published by Springer, in the LNAI series. The remaining accepted papers will be published in local workshop proceedings, in hard-copy, in CD-ROM and in the web. ============================================================= Conference Site ============================================================= Further and up-to-date information can be found in the official site of the conference at: http://epia2007.appia.pt ============================================================= Important Dates ============================================================= 30-Jun-07 Paper Submission Deadline 28-Jul-07 Author Notification 01-Set-07 Deadline for Final Camera-Ready Copies 03/07-Dec-07 EPIA Conference ============================================================= Organising Committee ============================================================= Luis Paulo Reis LIACC – Laboratório de Inteligência Artificial e Ciência de Computadores, Faculdade de Engenharia da Universidade do Porto Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Portugal Tel. +351 91 9455251 / Fax. +351 22 5081443 http://www.fe.up.pt/~lpreis E-mail: lpreis at fe.up.pt João Balsa Departamento de Informática, Faculdade de Ciências de Lisboa, Bloco C6, Piso 3, Campo Grande, 1700 Lisboa, Portugal Tel: +351 21 7500508 / Fax: +351 21 7500084 http://www.di.fc.ul.pt/~jbalsa/ E-mail: jbalsa at di.fc.ul.pt Paulo Novais Departamento de Informática, Universidade do Minho Campus de Gualtar, 4710-057 Braga Tel: +351 253 604437 / Fax: +351 253 604471 http://www.di.uminho.pt/~pjn/ E-mail: pjon at di.uminho.pt Eugénio Oliveira LIACC – Laboratório de Inteligência Artificial e Ciência de Computadores, Faculdade de Engenharia da Universidade do Porto Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Portugal Tel. +351 22 5081829 / Fax. +351 22 5081443 http://www.fe.up.pt/~eol/MEMBERS/eco.html E-mail: eco at fe.up.pt ============================================================= Program Committee ============================================================= Ana Paiva (IST, Univ. Técnica de Lisboa, Portugal) Ana Paula Rocha (Universidade do Porto, Portugal) Andrea Omicini (DEIS, Italy) Andreia Malucelli (Pontifícia Universidade Católica de Curitiba, Brazil) António Rocha Costa (Univ. Católica de Pelotas, Brazil) Cristiano Castelfranchi (ISTC/CNR ,Italy) David Hales (Università di Bologna, Italy) Eugénio Oliveira (Universidade do Porto, Portugal) Hélder Coelho (Universidade de Lisboa, Portugal) Isabel Praça (ISEP/IPP, Portugal) Iyad Rahwan (British Univ.Dubai, & Univ. Edinburgh, UAE) Jaime Sichmann (Universidade de São Paulo, Brazil) João Balsa (Universidade de Lisboa, Portugal) João Leite (Universidade Nova de Lisboa, Portugal) John-Jules Meyer (University of Utrecht, Netherlands) Jordi Sabater (IIIA, CSIC, Spain) Jorg Muller (Siemens AG, Germany) Jorge Louçã (ISCTE, Portugal) Julian Padget (University of Bath, UK) Klaus Fischer (DFKI, Germany) Luis Antunes (Universidade de Lisboa, Portugal) Luís Moniz (Universidade de Lisboa, Portugal) Luís Nunes (ISCTE, Portugal) Luís Paulo Reis (Universidade do Porto, Portugal) Marie-Pierre Gleizes (Université Paul Sabatier, Toulouse III, France) Mark d'Inverno (Westminster University, UK) Mikhail Prokopenko (CSIRO ICT Centre, Sidney, Australia) Nikos Vlassis (Technical University of Crete, Greece) Nuno Lau (Universidade de Aveiro, Portugal) Oliver Obst (University of Newcastle, Australia) Paolo Petta (Austrian Research Institute for AI, Austria) Paul Guyot (NII, Tokyo, Japan) Paul Valckenaers (Katholic University Leuven, Belgium) Paulo Leitão (IP Bragança, Portugal) Paulo Novais (Universidade do Minho, Portugal) Reinaldo Bianchi (FEI – São Paulo, Brazil) Virginia Dignum (University of Utrecht, Netherlands) Wojtek Jamroga (Clausthal University of Technology, Germany) Yves Demazeau (IMAG, Grenoble, France) ============================================================= -- Oliver Obst ES208 form follows function (Louis Sullivan). Fon: +61 2 492 16175 http://oliver.obst.eu/ Uni Newcastle School of Electrical Engineering and Computer Science From ilona.zaremba at deri.at Fri Jun 22 10:29:27 2007 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Fri, 22 Jun 2007 10:29:27 +0200 Subject: Call for papers: International Workshop on Service Composition & SWS Challenge (SerComp & SWS Challenge '07), November 5, 2007, Silicon Valley, USA Message-ID: <004e01c7b4a7$72256560$6c0110ac@at.deri.local> ---------------------------------------------------------------------------- ------------------- International Workshop on Service Composition & SWS Challenge (SerComp & SWS Challenge '07) http://events.deri.at/sercomp2007/ at the 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2007) http://www.cs.sjsu.edu/wi07/wi/ November 5, 2007, Silicon Valley, USA -------------------------------------------------------- GENERAL OVERVIEW Composition of services in dynamic environments has received much interest for its potential to support Business-to-Business (B2B) or Enterprise Application Integration (EAI). One of such dynamic environments is the World Wide Web, which makes available a huge and rapidly growing number of heterogeneous services. Recent efforts to develop ontology languages for the Web and ways of describing web services semantically in this environment have resulted in a number of prototype systems that can dynamically combine services and interact with them. There are many different types of architectures that have been developed around the concept of "services" - parties providing dynamic functionality to other parties. As the number of services increases so does the need for service reuse and service 'composability' - creation and provision of complex value-added services resulting in composite services. Additional infrastructure may well need to be defined to support composition in these open architectures. This workshop is composed of two initiatives: the third edition of the Workshop on Service Composition and the fifthSemantic Web Services Challenge. This workshop aims to tackle the research problems around methods, concepts, models, languages and technology that enable composition of services in the context of the WWW. Of particular interest are the methodologies that enable automatic or semiautomatic composition of services, semantic web service, web services, and e-services. The workshop especially welcomes contributions that exploit rich semantic descriptions of web services for semi-automatic and automatic composition using web intelligence and autonomous agents technology. This workshop aims to bring together researchers and industry attendees (e.g. leading modelers, architects, system vendors, open-source projects, developers, and end-users) addressing many of these issues, and promote and foster a greater understanding of how the composition of services in the context of WWW can assist business to business and enterprise application integration. TOPICS * requirements on service composition * applications of WWW service composition * web languages for describing services and their relevance to composition * web-based composition languages * choreography and orchestration languages * workflow models and languages and their relevance to WWW service composition * conversation models and languages for composed services * applicability of agent technologies to WWW service composition * formal models for service composition * reasoning about service composition * service composition engines and tools * dynamic composition methods and algorithms * discovery and matchmaking based dynamic composition * execution and lifecycle management of composed services * monitoring and recovery strategies for composed services * security and privacy for composed services * policies for composed services * mediation in composed services * reuse and versioning of services and compositions * semantic approaches to composition * composition modeling language standards * composition with Web services, eServices, Semantic Web Services, GRID services * relation between WWW service composition and GRID service composition * service composition and Service Oriented Architectures (SOA) These topics indicate the general focus of the workshop, however, related contributions are welcome also. Papers for the SWS Challenge will describe how they solve the problems in the Challenge scenarios, which involve various composition problems, and actually solving them by calling the web services. SUBMISSIONS All submissions should be formatted in IEEE Computer Society style with a page limit of 4 + 1 extra, and should be submitted in electronic format using the link: http://wi-consortium.org/wiiat07/scripts/ws_submit.php. All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of service composition. The Workshop proceedings will be published by IEEE Computer Society Press, to be indexed by EI. IMPORTANT DATES Submissions: July 10, 2007 Acceptance: August 6, 2007 Final copy: August 17, 2007 Workshop day: November 5, 2007 Code review day (optional): November 6, 2007 (for SWS Challenge papers) ORGANIZING COMMITTEE - M. Brian Blake, Georgetown University, USA - Charles Petrie, Stanford University, USA - Dumitru Roman, DERI Innsbruck, AUstria PROGRAM COMMITTEE (to be confirmed and extended) - Michael Altenhofen, SAP, Germany - Anupriya Ankolekar, AIFB, University of Karlsruhe, Germany - Luciano Baresi, Politecnico di Milano, Italy - Boualem Benatallah, UNSW, Australia - Christoph Bussler, CISCO, USA - Siobh?n Clarke, Trinity College, Ireland - Liliana Cabral, Open University, UK - Stefano Ceri, Politecnico di Milano, Italy - Dario Cerizza, CEFRIEL, Italy - Jos De Bruijn, DERI Innsbruck, Austria - Marin Dimitrov, Onto Text, Bulgaria - John Domingue, Open University, UK - Kuropka Dominik, Potsdam University, Germany - Paul Downey, BT, UK - Christian Drumm, SAP, Germany - Alistair Duke, BT, UK - Schahram Dustdar, TU Wien, Austria - Marie-Christine Fauvet, University of Grenoble, France - Aditya K. Ghose, University of Wollongong, Australia - Laurent Henocque, LISIS, France - Martin Hepp, DERI Innsbruck, Austria - Michael Huhns, University of South Carolina, USA - Rick Hull, Lucent, USA - Raman Kazhamiakin, University of Trento, Italy - Ryszard Kowalczyk, SWIN, Australia - Holger Lausen, DERI Innsbruck, Austria - Silvestre Losada, ISOCO, Spain - Tiziana Margaria, Universit?t Potsdam, Germany - E. M. Maximilien, IBM Almaden Research Center, USA - Jan Mendling, WU Wien, Austria - Nanjangud C. Narendra, IBM India Research Lab, Bangalore, India - Jeff Pan, University of Aberdeen, UK - Axel Polleres, DERI Galway, Ireland - Marc Richardson, BT, UK - Thomas Risse, Fraunhofer IPSI, Germany - Marta Sabou, Knowledge Media Institute, Open University - Shazia Sadiq, University of Queensland, Australia - Michael Sheng, CSIRO, Australia - Munindar P. Singh, North Carolina State University, USA - Ioan Toma, DERI Innsbruck, Austria - Emanuele Della Valle, CEFRIEL, Italy - Tomas Vitvar, DERI Galway, Ireland - Richard Waldinger, SRI, USA - Holger Wache, Vrije University, Netherlands - Alexander Wahler, NIWA WEB Solutions, Austria - Sam Watkins, BT, UK - Mathias Weske, HPI, Germany - Johannes M. Zaha, QUT, Australia - Liangzhao Zeng, IBM Research, USA - Michal Zaremba, DERI Innsbruck, Austria Ilona Zaremba DERI Innsbruck University of Innsbruck Technikerstrasse 21a A-6020 Innsbruck Tel.: +43/512/507/6427 Fax +43/512/507/9872 E-mail: ilona.zaremba at deri.at From a.ricci at unibo.it Fri Jun 22 10:19:14 2007 From: a.ricci at unibo.it (Alessandro Ricci) Date: Fri, 22 Jun 2007 10:19:14 +0200 Subject: CfP: APSLA - ACM SAC Track on Agent-Oriented Programming, Systems, Languages, and Applications Message-ID: <1760F2AB-91B3-434F-B8CC-C89269D82E25@unibo.it> *** Apologies for multiple postings! *** First Call-for-papers =============================================== APSLA, Agent-Oriented Programming, Systems, Languages, and Applications Track of the ACM Symposium on Applied Computing, 23rd Edition Fortaleza, Ceará, Brazil, March 16 - 20, 2008 http://apsla.ex.nii.ac.jp/ =============================================== The requirements of today distributed software systems are increasingly complex. Among the aspects that characterize such a complexity, we mention here the inherent distribution of resources and activity - that makes global control practically infeasible and emphasizes the need for decentralized control - and the highly dynamic and changing operating conditions in which today's distributed applications operate - that calls for open and adaptive software. Current paradigms and technologies cope with some aspects of this complexity, but dealing with quality requirements such as dependability, scalability, and maintainability remain hard problems. Engineers and programmers cannot reasonably manage this complexity and therefore new models and automated tools are desired to deal with the complexity imposed by these qualities. The APSLA track aims at investigating how the multi-agent paradigm can contribute to the engineering of complex systems and applications. The track aims at exploring the aspects of multi-agent systems (MAS) that are relevant in building complex distributed software systems. The APSLA track is interested in the research categories of agent-oriented programming, system, language, and application. This first edition of the track will particularly focus on concerns that cross-cut these categories in designing complex systems, notably: * Decentralized control: How to engineer a decentralized solution consisting of a population of agents? * Open systems: How to leverage agents dynamically to enter and leave the system? * Adaptive systems: How to engineer self-adapting and self-organizing systems? How to provide guarantees about the global behavior of a systems that consists of interacting autonomous entities? * Model of concurrency in MAS: How can the agent abstraction contribute to improve current practice in managing concurrency in complex distributed systems? The APSLA track fosters the investigation, definition, and exploitation of different conceptual and computational models, architectures, languages and tools with the strong idea to promote the research on possibly new approaches with properties that make them effective for the engineering of complex distributed software systems. Papers may address any stage of software development, including requirement analysis, architectural design, detailed design, implementation, and testing. Papers may focus on processes and methods in addition to tools and techniques. Of particular interest are papers with perspectives that cut across the traditional boundaries of languages, systems and applications in the development of complex distributed software systems and focus on the aspects of decentralized control, openness, adaptivity, and concurrency. --- Topics of interest --- Topics of interest include but are not restricted to: FOUNDATIONS * Theoretical foundations, formal methods of agent-oriented approaches * Agent-oriented computational models * Interaction and coordination models for multi-agent systems * Computational complexity of multi-agent systems PROGRAMMING & ENGINEERING * Agent-oriented paradigm for programming open and dynamic systems * Theoretical and practical aspects of multi-agent programming * Agent-oriented design patterns * Agent-oriented software architectures and frameworks * Programming environments * Integration with legacy systems, "agentification" of legacy systems * Debugging tools and techniques * Metrics for agent-oriented design and implementations * Agent-oriented methodologies SYSTEMS * Agent-oriented coordination infrastructures * Middleware for agent-oriented systems * Infrastructures for mobile agents LANGUAGES * Agent-oriented programming languages * Agent-oriented language design and implementation * Benchmarks and testbeds for agent-oriented languages and tools * Extension of traditional languages towards agent-orientation APPLICATIONS * Agent-oriented design and implementation of autonomic systems * Agent-oriented design and implementation of SOA and Web Service applications * Agent-oriented design and implementation of transportation, traffic management, and unmanned vehicles * Use of agent technologies in logistics and manufacturing * Use of agent technologies in related research domains: Semantic Web, Grid Services and Computing * ... --- Submission process and format --- The submission process is supported by an eCMS paper management tool: http://sac.cs.iupui.edu/SAC2008/SubmitAbstract.aspx Submissions must represent original and previously unpublished work that is not currently under review in any other conference or journal. Submitted papers should be no longer than 5 pages in the ACM two-column format. Papers should be submitted in PDF format exclusively. --- Important dates --- Sep. 8, 2007: Submission of papers by authors Oct. 16, 2007: Authors notification Oct. 30, 2007: Camera-ready copies of accepted papers --- Organizers --- Alessandro Ricci, Università di Bologna, Italy Eric Platon, Université de Paris 6, France Fuyuki Ishikawa, National Institute of Informatics Japan Danny Weyns, Katholieke Universiteit Leuven, Belgium --- Program Committee (partial list) --- Gul Agha, University of Illinois at Urbana-Champain, USA Jean-Pierre Briot, Université Paris 6, France Alessandro Garcia, Lancaster University, UK Paolo Giorgini, Università di Trento, Italy Jorge J. Gomez Sanz, Universidad Computense Madrid, Spain Tom Holvoet, Katholieke Universiteit Leuven, Belgium Shinichi Honiden, National Institute of Informatics, Tokyo University, Japan Fabien Michel, Université de Reims, France Van Parunak, NewVectors Inc., USA Onn Shehory, IBM, Israel Akinori Yonezawa, Tokyo University, Japan ---------------------------------- Alessandro Ricci, PhD Researcher at DEIS Universit� di Bologna Via Venezia, 52 Cesena (FC) mailto: a.ricci at unibo.it tel: +390547339217 ---------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ilona.zaremba at deri.at Fri Jun 22 14:47:13 2007 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Fri, 22 Jun 2007 14:47:13 +0200 Subject: Event announcement: 1st Asian Autumn School on the Semantic Web (AASSW2007), Busan, South Korea, Nov 5-10, 2007 Message-ID: <002001c7b4cb$74d586e0$6c0110ac@at.deri.local> ******************************************************************** * 1st Asian Autumn School on the Semantic Web (AASSW2007) * * Semantic Web: principles, methods and tools * * Jointly located with ISWC2007 and ASWC2007 * * Busan, South Korea, Nov 5-10, 2007 (http://aassw2007.org/) * ******************************************************************** The 1st Asian Autumn School on the Semantic Web aims to teach its attendees how to apply semantic technologies in their own projects and environments. The school is targeted at young researchers and other interested parties affiliated to academia or industry. It is particularly our goal to bring together international experts in the field and to invite the leading research groups in Korea to be part of the program. Course Topics -------------------------------------------------------------------- Presentations by leading international experts in the field will introduce the core technologies of the Semantic Web: - Standard knowledge representation languages such as Resource Description Framework (RDF) or Web Ontology Language (OWL), including tools for exploiting their reasoning capabilities. - Methodologies, methods and tools to build and manage ontologies. - The current directions in Semantic Web Services, in particular the Web Service Modeling Ontology (WSMO) and the related Web Service Modeling Language (WSML) and Web Service Execution Environment (WSMX). Tutorials, hands-on sessions and exercices -------------------------------------------------------------------- Tutorials, hands-on sessions and exercises will provide additional insights into the aforementioned topics and guide the students in applying the technologies in specific situations. These learning modules will be complemented by invited talks which report on the deployment of semantic technologies in real-world business scenarios, handed over by representatives of well-known international companies. The participants will be involved in projects, in which they will develop prototypical Semantic Web applications in small teams on the basis of a pre-defined scenario specification. Co-located events -------------------------------------------------------------------- The Asian Autumn School on the Semantic Web will be co-located with the International Semantic Web Conference (ISWC2007) and Asian Semantic Web Conference (ASWC2007) in Busan, Korea. It will take place one week prior to these conferences. Important Dates -------------------------------------------------------------------- If you want to participate in AASSW2007, please register at http://aassw2007.org/application/ and fill in the required information. The deadline for submission is July, 31 and we will notify you by August, 15. The successful applicants will be expected to pay the registration fee, 500 euros, before September, 15. The fee covers all tuition, teaching materials, hands-on sessions, use of computers, room and board, from Sunday evening (November, 4) to Saturday lunch (November, 10), an excursion, and a social dinner. July, 31: Application deadline August, 15: Notification of acceptance August, 15: Registration opens September, 15: Registration fee paid November, 4: Arrival of participants November, 5: First day of the Semantic Web school November, 10: Last day of the Semantic Web school Organizing Committee --------------------------------------------------------------------- Elena Simperl, DERI Innsbruck Ying Ding, DERI Innsbruck Marco Ronchetti, University of Trento Sung-Kook Han, DERI Korea Invited Speakers and Tutors (to be completed) --------------------------------------------------------------------- Jürgen Angele, Ontoprise GmbH Paolo Bouquet, University of Trento Oscar Corcho, University of Manchester John Domingue, Open University Dieter Fensel, DERI Innsbruck Fausto Giunchiglia, University of Trento Peter Haase, Institute AIFB, University of Karlsruhe Michael Kerrigan, DERI Innsbruck Elena Simperl, DERI Innsbruck Denny Vrandecic, Institute AIFB, University of Karlsruhe Michal Zaremba, DERI Innsbruck Vilas Wuwongse, Asian Institute of Technology, Thailand Sponsoring ---------------------------------------------------------------------- The Asian School on the Semantic Web is supported by the EASTWEB project (http://latemar.science.unitn.it/EASTWEB). A limited amount of fellowships is available for Asian students. The fellowships cover the school's fees. Interested students should apply sending their CV per email to Marco Ronchetti at marco.ronchetti at unitn.it by July, 31, and will be notified by August, 10. Contact ---------------------------------------------------------------------- For any further information, please visit http://aassw2007.org/ or send an email to Elena Simperl at elena.simperl at deri.at. Ilona Zaremba DERI Innsbruck University of Innsbruck Technikerstrasse 21a A-6020 Innsbruck Tel.: +43/512/507/6427 Fax +43/512/507/9872 E-mail: ilona.zaremba at deri.at From Paolo.Torroni at UniBO.it Sat Jun 23 12:49:25 2007 From: Paolo.Torroni at UniBO.it (Paolo Torroni) Date: Sat, 23 Jun 2007 12:49:25 +0200 Subject: Australian AI: SUBMIT BY JULY 13, 2007 Message-ID: <467CFAB5.9020702@UniBO.it> Twentieth Australian Joint Conference on Artificial Intelligence 2nd-6th December 2007 * Gold Coast, Queensland The AI 2007 Program Committee invites submission of papers for the 20th Australian Joint Conference on Artificial Intelligence (AI). The purpose of the conference is to promote research in AI and scientific interchange among AI researchers and practitioners. The conference is hosted by the Griffith University School of Information Communication and Technology and the Institute for Integrated and Intelligent Systems and will be co-located with the Australasian Data Mining Conference (AusDM 2007) and the Third Australian Conference on Artificial Life (ACAL '07) at the Holiday Inn Hotel. The 19th Australian Joint Conference on Artificial Intelligence is being hosted in Tasmania, Australia in 2006. *NEW* - Invited Speakers announced for AI '07: Professor Robert Hecht-Nielsen, University of California, San Diego -- Title of Presentation: Confabulation Technology Professor Patrick Doherty, Linkoping University in Sweden Professor Norman Foo, University of New South Wales Professor Richard Hartley, Australian National University Deadline for paper submissions: 13th July 2007 MORE INFO ON THE AI'07 HOME PAGE @ http://www.cit.gu.edu.au/conferences/austai/* * -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Paolo.Torroni.vcf Dateityp : text/x-vcard Dateigröße : 278 bytes Beschreibung: nicht verfügbar URL : From Belaid.Benhamou at cmi.univ-mrs.fr Sat Jun 23 20:35:30 2007 From: Belaid.Benhamou at cmi.univ-mrs.fr (benhamou) Date: Sat, 23 Jun 2007 20:35:30 +0200 Subject: New submission deadline for SymCon'07 (June 29th) In-Reply-To: <458C0F2C.8070001@cmi.univ-mrs.fr> References: <43CB87AA.9030400@ucl.ac.uk> <458C0F2C.8070001@cmi.univ-mrs.fr> Message-ID: <467D67F2.7080506@cmi.univ-mrs.fr> Please notice that the new submission deadline for SymCon'07 is june 29th. We apologize for multiple copies of this Call. ================================================================ Call for Papers SymCon'07 The Seventh International Workshop on Symmetry and Constraint Satisfaction Problems (http://www.cmi.univ-mrs.fr/~benhamou/symcon07/) To be held at the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP 2007) Providence, RI, USA September 23rd 2007 ================================================================ WORKSHOP DESCRIPTION -------------------- SymCon'07 is the 7th in a series of workshops affiliated with the CP conference, and focuses on the investigation of symmetry and symmetry breaking techniques for Constraint Satisfaction Problems (CSPs). Symmetries occur frequently in CSPs. When undetected, they cause thrashing during traditional backtracking search by redundantly exploring symmetric parts of the search space. The topic was discussed as far back as 1874 by Glaisher, and new techniques to detect and/or break symmetry have been proposed in recent years. However, many outstanding problems remain. For instance, the detection and exploitation of local, dynamic, and weak forms of symmetry remains a challenge. The workshop is a forum for researchers to present advances in symmetry breaking techniques and to discuss the above or other open problems. Additionally, the workshop welcomes the presentation of applications and case studies that exhibit some form of symmetry. The workshop is relevant to the computational group theory (CGT) community because CGT is often the theory underlying many symmetry breaking techniques. Importantly, the organizers welcome submissions from researchers working in other areas of Artificial Intelligence who feel that their work would be of interest to the CP community. Such areas include planning, model checking, QBF formulas, finite model search, and theorem proving in FOL. Workshop topics include, but are not limited to: - Symmetry definition: semantic symmetry, syntactic symmetry, constraint symmetry, solution symmetry - Automatic symmetry detection: static approaches and dynamic approaches - Global symmetry detection and elimination - Dynamic symmetry detection and elimination - Combining symmetry breaking techniques - Exploiting weak forms of symmetries like "dominance" and "almost-symmetries" - Case studies of problems that exhibit interesting symmetries - Application of computational group theory techniques to symmetry breaking - Heuristics that use information about symmetry to guide search - Elimination and avoidance of symmetry by re-modelling - Dynamic avoidance of symmetric states during search - Complexity analysis of symmetry breaking techniques - Application of CSPs to symmetry and related algebraic problems - Comparing symmetry breaking techniques in constraint programming with techniques for dealing with symmetry in other search domains - Symmetry in CNF formulas and OBF formulas - Symmetry in finite model search in first order logic - Novel exploitation of symmetry in varied search domains of interest to the CP community ATTENDANCE ---------- The workshop is open to all members of the CP community. At least one author of each submission accepted for presentation must attend the workshop and present the contribution. All workshop attendees must pay the workshop fee. PAPER SUBMISSION ---------------- To submit a paper to the workshop, please e-mail a PS or PDF file in IJCAI03 style to both Belaid.Benhamou at cmi.univ-mrs.fr and symcon07 at cmi.univ-mrs.fr. Style files can be obtained at http://www.cmi.univ-mrs.fr/~benhamou/symcon07/ Papers must be formated in IJCAI requirements and can be of any length but should not exceed 8 pages. All submissions must be received by June 29th, 2007. The Program Committee Chairs will acknowledge all submissions. If a submitted paper is not acknowledged in 2 working days, the authors are kindly requested to contact one of the chairs. SELECTION PROCESS ----------------- All submissions will be reviewed. Those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at the workshop web-page and in hardcopy at CP 2007. If necessary, for time reasons, only a subset of the papers will be presented. A selection will then be made by the Program Committee Chairs. Post-publication of the proceedings is currently under negotiation. IMPORTANT DATES --------------- Submission deadline: Friday, 29th June 2007 Notification of acceptance: Tuesday, 17th July 2007 Camera ready deadline: Friday, 3rd August 2007 Workshop: Monday, 23rd PROGRAM COMMITTEE CHAIRS ------------------------ - Belaïd Benhamou Université de Provence (Aix-Marseille I) LSIS-CMI, 39 F. Joliot-Curie 13453 Marseille Cedex13 France. Email: Belaid.Benhamou at cmi.univ-mrs.fr - Berthe Y. Choueiry 256 Avery Hall Constraint Systems Laboratory CSE--University of Nebraska-Lincoln Lincoln, NE, 68588-0115, USA Email: choueiry at cse.unl.edu - Brahim Hnich Faculty of Computer Sciences Izmir University of Economics Sakarya Caddesi No:156, 35330 balcova Izmir, Turkey Email: brahim.hnich at ieu.edu.tr PROGRAM COMMITTEE ----------------- - Fadi A. Aloul, American University of Sharjah, U.A.E - Gilles Audemard, Université d'Artois, France. - Rolf Backofen, Albert-Ludwigs-University, Germany - Pierre Flener, Sabanci University, Turkey and Uppsala University, Sweden - Zeynep Kiziltan, University of Bologna, Italy - Derek Long, University of Strathclyde, Glasgow, UK - Igor Markov, University of Michigan, U.S.A. - Pedro Meseguer, Universitat Autonoma de Barcelona, Spain. - Michela Milano, University of Bologna, Italy - Justin Pearson, Uppsala University, Sweden - Karen Petrie, Oxford University, UK - Steve Prestwich, University College Cork, Ireland - Jean-François Puget, ILOG, France - Lakhdar Sais, Université d'Artois, France. - Pierre Seigel, University of Provence, Aix-Marseille I, France - Meinolf Sellmann, Brown University, U.S.A. - Barbara Smith, Cork Constraint Computation Centre, Irland. - Pascal van Hentenryck, Brown University, U.S.A. - Toby Walsh, University of New South Wales, Australia From zorano at mi.sanu.ac.yu Tue Jun 26 11:09:02 2007 From: zorano at mi.sanu.ac.yu (zorano at mi.sanu.ac.yu) Date: Tue, 26 Jun 2007 11:09:02 +0200 (CEST) Subject: WARNING! (2883929262) In-Reply-To: References: Message-ID: <50611.85.94.116.238.1182848942.squirrel@turing.mi.sanu.ac.yu> > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2883929262, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > From stijn.heymans at deri.org Wed Jun 27 19:26:32 2007 From: stijn.heymans at deri.org (Stijn Heymans) Date: Wed, 27 Jun 2007 19:26:32 +0200 Subject: Last CFP: 2nd International Workshop on Applications of Logic Programming in the Web, Semantic Web and Semantic Web Services (ALPSWS2007) Message-ID: ************************************************************************* 2nd International Workshop on Applications of Logic Programming in the Web, Semantic Web and Semantic Web Services (ALPSWS2007) ***********PAPER DEADLINE APPROACHING************** 30 June, 2007 http://www.bd.cesma.usb.ve/alpsws07 co-located with the International Conference on Logic Programming (ICLP2007) Porto, Portugal, 13 September 2007. ************************************************************************* Description: The advent of the Semantic Web promises machine-readable semantics and a machine-processable next generation of the Web. The first step in this direction is the annotation of static data on the Web with machine-processable information about knowledge and its structure, by means of ontologies. The next step in this direction is the annotation of dynamic applications and services invocable over the Web in order to facilitate automation of discovery, selection and composition of semantically described services and data sources on the Web by intelligent methods, which are called (Semantic) Web Services. In this workshop we want to advance the applications of Logic Programming as a paradigm for declarative knowledge representation and reasoning for the Web. The idea is to bring together the body of work related to applications of LP to the Web, Semantic Web and Web Services. We solicit contributions focusing on both practical applications and theoretical aspects of logic programming based approaches to Web related topics including (but not limited to): -Reasoning about Semantic Web languages such as RDF, RDFS, OWL, RuleML, WSML, OWL-S, SA-SWDL, SPARQL, RIF, etc. -Logic Programming based rule languages for the Semantic Web -Deductive query answering in a Semantic Web context -Ontology modeling and mediation using Logic Programming -Reasoning over large-scale ontologies -Reasoning with large instance data in the presence of ontologies -Combinations of Logic Programming and Description Logics -Modeling of and reasoning about Web Services -Applications of reasoning about actions and dynamics in the context of Web Services discovery and composition -Interactions of Logic Programming with other technologies such as agents, constraint programming, etc. in a (Semantic) Web context -Applications, use cases, experimental results and benchmarks -Extensions of Logic Programming engines for Semantic Web applications Important Dates: -30 June 2007, Submission of papers ****DEADLINE EXTENDED***** -30 July 2007, Notification of acceptance -10 August 2007, Camera-ready versions due -13 September 2007, Workshop Submissions and Proceedings: We invite two forms of submission to this workshop: full papers and short papers. Format required for submissions: Full papers shall be up to 16 pages length, short papers 6 pages which could include position papers, system descriptions or preliminary work. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Find submission details on ther workshop Webpage at: http://www.bd.cesma.usb.ve/alpsws07 We plan to invite authors of the best papers to submit revised and extended versions of their papers for an edited book on Applications of LP in the Web, Semantic Web and Web Services. Workshop Organization: The workshop will be organized in part around talks presenting research results in the intersection of the Semantic Web and Logic Programming selected from the accepted submissions. Another important part of the workshop will be to identify next steps and provide an opportunity for new ideas and initiatives. A part of the workshop will be dedicated towards discussion using the open-space methodology which facilitates and enables effective on site agenda building and execution. Organizing Committee: ---------------------------- Stijn Heymans, DERI, Leopold-Franzens Universitaet Innsbruck Axel Polleres, DERI Galway, National University of Ireland, Galway Edna Ruckhaus, Universidad Simon Bolivar, Caracas, Venezuela David Pearce, Universidad Rey Juan Carlos, Madrid, Spain Program Committee: ------------------------- Stefan Decker, DERI Galway Jos de Bruijn, Free University of Bozen-Bolzano Lukacsy Gergely, Budapest University of Technology and Economics Gopal Gupta, University of Texas Pascal Hitzler, AIFB, University of Karlsruhe Giovambattista Ianni, University of Calabria Zoe Lacroix, University of Arizona Enrico Pontelli, New Mexico State University Hans Tompits, Vienna University of Technology Alejandro Vaisman, University of Toronto Maria Esther Vidal, Universidad Simon Bolivar Gerd Wagner, Brandenburg University of Technology From Paolo.Torroni at UniBO.it Thu Jun 28 10:14:55 2007 From: Paolo.Torroni at UniBO.it (Paolo Torroni) Date: Thu, 28 Jun 2007 10:14:55 +0200 Subject: Governance, Risk and Compliance in Web Information Systems :: SUBMIT BY JULY 15, 2007 Message-ID: <46836DFF.9090407@UniBO.it> [apologies for cross-posting] CALL FOR PAPERS Workshop on Governance, Risk and Compliance in Web Information Systems to be held in Conjunction with WISE2007 , 8th International Conference on Web Information Systems Engineering 3-7th December, 2007, Nancy, France -->> http://www.itee.uq.edu.au/~shazia/Research/_GRC-WISE2007/ <<-- Importance of governance and associated issues of compliance and risk management are well recognized in enterprise systems. This importance has dramatically increased over the last few years as a result of recent events that led to some of the largest scandals in corporate history. Compliance related software and services is expected to reach a market value of over $27billion this year. At the same time, there is an increasing complexity on how to facilitate compliant business processes due to frequent and dynamic changes as well as shared processes and services executing in highly decentralized environments. Due to the distributed nature of business operations, there is a need to develop tools, methods and techniques to support governance and compliance in web information systems (WIS). This is emerging as a critical and challenging area of research and innovation. It opens new questions e.g. modeling approaches for compliance requirements as well as challenge existing ones e.g. extension of process and service modeling and execution frameworks for compliance and risk management. This workshop will provide a forum to bring together diverse researchers and make a consolidated contribution to new and extended methods to address the challenges of governance, risk and compliance. Topics covered by the workshop include at least the following: - Policy definition, integration, enforcement - Risk management - Compliance modelling - Compliant service and process design - Governance processes - Compliance, risk and tolerance metrics - Organizational structures to support compliance - Intellectual property issues - Separation of duties/Separation of rights - Trust management - Privacy preservation - Decision tracing - Data provenance and lineage - Information flow - Work tracking - Violation detection - Identity resolution - Detection of adverse events - Applications, case studies and use cases Submitted papers will be evaluated on the basis of significance, originality, technical quality, and exposition. Papers should clearly establish the research contribution, and relation to previous research. Position and survey papers are also welcome. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Paolo.Torroni.vcf Dateityp : text/x-vcard Dateigröße : 278 bytes Beschreibung: nicht verfügbar URL : From iclp07-publicity at di.uevora.pt Thu Jun 28 18:49:50 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Thu, 28 Jun 2007 17:49:50 +0100 Subject: FinalCFP: ASP2007 - 4th International Workshop on Answer Set Programming Message-ID: <102E1796-A60D-4D55-8608-5732C768E9B2@di.uevora.pt> (Apologies for multiple copies) ********* CALL FOR PAPERS ********* *************** Deadline June 30, 2007 **************** ******** DEADLINE APPROACHING! ****** *** NEW! *** *** Invited Speaker: *** Mirek Truszczynski, Univ. of Kentucky *** NEW! *** *** Post-Proceedings as special issue of the Journal of Logic and Computation *** *** Please notice: authors who need a (very limited) extension to submit their paper should submit on time a title page and an abstract, and should inform the Co-chairs about the delay ======================================================================== =================== ASP2007 4th International Workshop on Answer Set Programming Co-located with the International Conference on Logic Programming ICLP 2007 September 8 and 13, 2007 Porto, Portugal ======================================================================== =================== *** Overview *** Answer Set Programming is by now a well-established paradigm of declarative programming. While close in syntax to prolog-like logic programming, its semantics is based on a program having a number of answer sets, that represent possible consistent "views" on the "world" defined by the program itself. Answer Set Programming can be seen under several points of view: as a knowledge representation language strongly related to non- monotonic reasoning, as a programming language suitable to many application domains where incomplete/uncertain information may occur, as an underlying formalism for many extensions tailored to specific application domains. An increasingly important application area is that of databases and data integration systems, where the need of constructing and managing a unified view of data originating from different heterogeneous and possibly distributed sources calls for increased flexibility in managing inconsistency. *** Topics: *** All with focus on Answer Set Programming, among which: * foundations * extensions * ASP-based programming languages * reasoning about action and change * causal reasoning * reasoning with uncertain knowledge * planning, diagnosis, learning * representation of and reasoning about complex systems * deductive databases * data integration systems * ASP and agents * specification and verification of formal properties * implementations and benchmarks * tools and methodologies for ASP-programming * (innovative) application domains ======================================================================== ==================== *** Submissions *** We invite submissions of 2 kinds: 1. Submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 15 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. 2. Submissions of system descriptions, to be presented at the workshop as demos. In this category papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 5 pages including figures, references, etc. Each paper should describe a working system illustrating its objectives and the implementation techniques. Working systems possibly include solvers, solver components and interfaces and application-oriented systems that employ Answer Set Programming for some of their functions. Submissions should be sent by E-mail to the Workshop Co-chairs. The message should indicate paper Title, Authors and Abstract, with the .pdf version of the paper in attachment. Email: stefcost at di.univaq.it and richard.watson at ttu.edu ------------------------------------------------------------------------ ------------------- *** Important Dates *** Submission Deadline: June 30, 2007 Notification: July 30, 2007 Camera Ready Copy Due: August 10, 2007 ASP'07 : September 8 and September 13, 2007 ------------------------------------------------------------------------ ------------------- *** Proceedings *** A printed volume of the proceedings will be available at the workshop. A selection of extended workshop papers will be published on a special issue of the Journal of Logic and Computation. ======================================================================== =================== *** Invited Speaker: *** Mirek Truszczynski, Univ. of Kentucky, has accepted the invitation to give an Invited Talk on September 8th ======================================================================== =================== *** About ASP Workshop Series *** You can find information about the ASP worshop series here (http://asp05.cs.bath.ac.uk/). ======================================================================== =================== *** Workshop Chairs *** Stefania Costantini, University of L'Aquila, Italy Richard Watson, Texas Tech University, Lubbock, Texas, USA ------------------------------------------------------------------------ ------------------- *** Programme Committee *** Marcello Balduccini, Texas Tech University, Lubbock, Texas, USA Loreto Bravo, University of Edinburgh, UK Marina De Vos, University of Bath, UK Pedro Cabalar, Corunna University, Galicia, Spain Andrea Formisano, University of Perugia, Italy Emilia Oikarinen, Helsinki University of Technology, Finland Mauricio Osorio, Fundacion Universidad de las Americas, Puebla, M?xico. Gerald Pfeifer, Novell/SUSE Linux Products GmbH, Germany Giorgio Terracina, University of Calabria, Italy ======================================================================== ============== *** Workshop Web site *** http://www.cs.ttu.edu/asp07/ For any inquiry, please send it to stefcost at di.univaq.it. From alexander.friedmann at uqam.ca Thu Jun 28 02:26:57 2007 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Wed, 27 Jun 2007 20:26:57 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <20070628002449.SVDK875.tomts22-srv.bellnexxia.net@Alex-Dell.uqam.ca> At 09:13 PM 6/25/2007, you wrote: >This is an automated message from the > mailing list manager > >List messages sent to your address have bounced. From AdministratorofmailinglistsofCIG at TUC Wed Jun 6 11:01:14 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Wed, 06 Jun 2007 11:01:14 +0200 Subject: [Event@CIG] Call for Paper- the Computer Journal, Special Issue on "Artificial Societies for Ambient Intelligence" In-Reply-To: <46666539.8040306@informatik.uni-halle.de> References: <46666539.8040306@informatik.uni-halle.de> Message-ID: Dear Stefan, I unsubscribed the address brass at informatik.uni-halle.de from Event at CIG list. I hope everything will be OK from now on. If not, please let me know. Best regards, Peter Novak, Event at CIG administrator. On Wed, 06 Jun 2007 09:41:45 +0200 Stefan Brass wrote: > I get all EMails twice (since EMails bounced and I >acknowledged the receipt of the warning). > I wish to unsubscribe one of the two EMail addresses >only. From AdministratorofmailinglistsofCIG at TUC Wed Jun 6 15:47:29 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Wed, 06 Jun 2007 15:47:29 +0200 Subject: 2nd Test Message-ID: This is the 2nd test from the list account. I hope it will reach you. Kind regards, Oliver Koch Postmaster (postmaster at tu-clausthal.de) From ci-listen at in.tu-clausthal.de Wed Jun 6 15:49:36 2007 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIGatTUC) Date: Wed, 06 Jun 2007 15:49:36 +0200 Subject: 2nd Test Message-ID: This is the 2nd test. I hope that my message will reach you! Kind regards, Oliver Koch Postmaster (postmaster at tu-clausthal.de)