From paschke at in.tum.de Mon Jul 23 00:21:26 2007 From: paschke at in.tum.de (Adrian Paschke) Date: Mon, 23 Jul 2007 00:21:26 +0200 Subject: 2nd CfP RuleML-2007, Springer Confirmed, Submission Deadline Extended to July 20th Message-ID: <46A3D866.8000708@in.tum.de> [Apologies if you receive this more than once] The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) October 25-26, 2007, Orlando, Florida http://2007.ruleml.org Dear Colleagues, Due to numerous requests about conflicting deadlines, and with Springer as confirmed publisher, online submissions to RuleML-2007 will be allowed until July 20 (hard deadline): Abstract submission before July 10, 2007 Paper submission due July 20, 2007 Notification of acceptance August 6, 2007 Final submissions due August 23, 2007 The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) will take place, October 25-26, 2007, in Orlando, Florida http://2007.ruleml.org, 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, Web 2.0/3.0, Intelligent Multi-Agent Systems, Event-Driven Architectures, Service-Oriented Computing Applications and Rule-based Enterprise Application Systems. A RuleML-2007 Challenge with prizes will be organized to demonstrate tools, use cases, and applications. Call for Papers: http://2007.ruleml.org/cfp.pdf Highlights: - Accepted papers will be published as Springer LNCS proceedings - 2 Keynote speakers; Confirmed Keynote by Jürgen Angele (Ontoprise): "Rule-based Development Support in the Automotive Industry" - In cooperation with ECCAI (confirmend) and IEEE Computer TCAAS - Selection of revised papers will be resubmitted to a special journal issue - Best Paper Award - Prestigious prizes will be awarded to the first two best applications of the Challenge - Panel by world-class scientists and practitioners, featuring topics on event and rule-based computing and industry success stories Updates: 1) Modified Challenge Requirements: "Submissions to the RuleML Challenge 2007 consist of a demo paper of 3-5 pages, describing the demo show case, and a link to more information about the demo/show case, e.g. a project site, an online demonstration, a presentation about the demonstration, or a download site for the demonstration. The show case should demonstrate the use of rules of various kinds in interesting and practically relevant ways, preferably (but not necessarily) embedded into a Web-based or distributed environment." More information regarding submissions can be found in the RuleML-2007 web site: http://2007.ruleml.org/index-Dateien/Page787.htm 2) Enhanced Topics: - Rules in Web 2.0 and Web 3.0 - Rules in Semantic Web Technologies - Rules in Web Intelligence Research We invite submissions of full, short and demo papers related (but not limited) to one or more of the topics listed at: http://2007.ruleml.org/index-Dateien/Page431.htm 3) All papers and demos will be carefully peer-reviewed by 3 PC members of the Program Committee: http://2007.ruleml.org/index-Dateien/Page508.htm Sincerely, General Chair Said Tabet, Inferware Corp. stabet AT ruleml.org Program Co-Chairs Adrian Paschke, Technical University Munich, Germany paschke AT in.tum.de Yevgen Biletskiy, University of New Brunswick, Canada biletski AT unb.ca Challenge Co-Chairs Alexander Kozlenkov, Betfair Ltd., London, UK alex.kozlenkov AT betfair.com Ralph Hodgson, TopQuadrant, Inc., Mountain View, USA rhodgson AT topquadrant.com Panel Chair John Hall, Model Systems, UK john.hall AT modelsys.com Publicity Chair Suzette Stoutenburg, MITRE Corporation, USA suzette AT mitre.org From dix at tu-clausthal.de Sun Jul 1 21:05:43 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Sun, 01 Jul 2007 21:05:43 +0200 Subject: [Fwd: CFP FoIKS 08] Message-ID: <4687FB07.5080502@tu-clausthal.de> -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: "Gabriele Kern-Isberner" Betreff: CFP FoIKS 08 Datum: Sun, 1 Jul 2007 20:02:23 +0200 (MEST) Größe: 12640 URL: From gheorghe at funinf.cs.unibuc.ro Mon Jul 2 07:01:57 2007 From: gheorghe at funinf.cs.unibuc.ro (Gheorghe Stefanescu) Date: Mon, 2 Jul 2007 08:01:57 +0300 (EEST) Subject: 2st CfP: Streams and Algebra - J.Log.Alg.Prog. Special Issue Message-ID: [Our apologies if you receive multiple copies] ----------------------------------------------------------------------- CALL FOR PAPERS Journal of Logic and Algebraic Programming special issue on S T R E A M S A N D A L G E B R A [ Deadline: 1st September 2007 ] Special Issue Editors: Manfred Broy [TU Muenchen, Germany] Gheorghe Stefanescu [Univ. Bucharest, Romania] SCOPE OF THE SPECIAL ISSUE A new computing paradigm is currently on spot: interactive computation. Most of concurrent, distributed, reactive, embedded, component-oriented, agent-oriented and service-oriented systems exploit interaction as a fundamental paradigm. At an interaction interface data evolve in time, hence streams occur as a royal candidate for modeling, specifying, programming, and verifying interactive systems. This JLAP special issue is dedicated to papers presenting fundamental results on streams and making use of algebraic techniques. Topics of interest include [but are not limited to]: * Algebraic specifications * Coordination languages * Data-flow networks * Interactive systems * Hardware design * Programming languages * Real-time systems * Semantics THE JOURNAL The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original work in the areas of logical and algebraic methods and techniques for programming in its broadest sense. The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming. For more information, visit http://www.elsevier.com/locate/jlap. IMPORTANT DATES Submission deadline: 1st September 2007 Author notification: 1st January 2008 Revised papers due: 1st March 2008 SUBMISSION OF MANUSCRIPTS We are expecting full (typically, 20-40 pages) high-quality papers describing original, previously unpublished research and not being simultaneously submitted for publication elsewhere. The normal reviewing process for JLAP journal will be used. Submissions should arrive no later than 1st September 2007. For submission, the Elsevier online submission system will be used. The authors have to select "Special Issue: Streams and Algebra" when they reach the "Article Type" step in the submission process. Link: http://ees.elsevier.com/jlap/default.asp Authors should use the LaTeX style of the journal which can be obtained at the following address: http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authorinstructions Queries concerning this special issue should be directed to any of the special issue editors. Up-to-date information will also be available from http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP/ SPECIAL ISSUE EDITORS Manfred Broy Technische Universität München Institut für Informatik Boltzmannstr. 3 85748 Garching Germany Email: broy at in.tum.de Gheorghe Stefanescu University of Bucharest Faculty of Mathematics and Computer Science Str. Academiei 14 010014 Bucharest Romania Email: gheorghe at funinf.cs.unibuc.ro USEFUL LINKS Journal website: http://www.elsevier.com/locate/jlap Up-to-date information: http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP From mehdi at cs.uu.nl Mon Jul 2 11:55:42 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Mon, 02 Jul 2007 11:55:42 +0200 Subject: EASSS 2007: Call for Participation Message-ID: <4688CB9E.5070105@cs.uu.nl> ============================================================ *** EARLY REGISTRATION 1 August 2007 *** Call For Participation 9th European Agent Systems Summer School (EASSS 2007) Durham, UK, 27 - 31 August 2007 http://www.dur.ac.uk/durham.agents007/EASSS07/ ============================================================ As its very successful predecessors, EASSS-2007 offers a valuable forum for knowledge exchange between various research groups in the area multi-agent systems for the benefit of students and researchers. EASSS 2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems. The final programme is available on the EASSS'07 website. This summer school is open to anyone from academia or industry. A modest registration fee will be charged to cover costs such as proceedings, lunch, social dinner, and welcome reception. There are several cheap connections from European cities to Durham. Please see the EASSS-2007 website for further information about registration, travel, and accommodation. Although there is no early registration deadline, we strongly recommend registering early as there is a limited number of available places. Early registration deadline is *** 1 August 2007 ***. Registration fee after this date (including on-site registration) will be 130 GBP. From areces at loria.fr Mon Jul 2 18:51:36 2007 From: areces at loria.fr (Carlos Areces) Date: Mon, 02 Jul 2007 18:51:36 +0200 Subject: M4M-5 Call for Papers Message-ID: <46892D18.8060901@loria.fr> ==================================================================== 5th Worskhop on "Methods for Modalities" (M4M-5) http://m4m.loria.fr/M4M5 Ecole Normale Superieure de Cachan, France November 29-30, 2007 ==================================================================== 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, The Australian National University, Canberra 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 From wjamroga at in.tu-clausthal.de Tue Jul 3 11:34:47 2007 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Tue, 03 Jul 2007 11:34:47 +0200 Subject: MASTA '07 - extended deadline - 15 July Message-ID: <468A1837.4030904@in.tu-clausthal.de> Apologies for multiple copies... ============================================================= MASTA'07 4th Workshop on Multi-Agent Systems: Theory and Applications ============================================================= Extended deadline: 15 July 2007 ============================================================= To be held at EPIA'07 - 13th Portuguese Conference on Artificial Intelligence, 03-07, December, 2007, Guimaraes, Portugal (http://epia2007.appia.pt) Sponsored by: APPIA, Portuguese Association for Artificial Intelligence Proceedings: Springer LNAI Supported by: ECCAI, European Coordinating Committee for Artificial Intelligence ============================================================= Workshop Description ============================================================= 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 ============================================================= 15-Jul-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) 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) Sherief Abdallah (British Univ.Dubai, UAE) Virginia Dignum (University of Utrecht, Netherlands) Wojtek Jamroga (Clausthal University of Technology, Germany) Yves Demazeau (IMAG, Grenoble, France) ***************************************** CFP ***************************************** From tc at cs.bath.ac.uk Tue Jul 3 11:22:07 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Tue, 03 Jul 2007 10:22:07 +0100 Subject: CfP: AgentcitiesUK.net Challenge Day on Agents and Pervasive Computing Message-ID: <1183454527.12988.11.camel@tcr.cs.bath.ac.uk> ========================================================================= CALL FOR PARTICIPATION AgentcitiesUK.net Challenge Day 6: Agents and Pervasive Computing http://agentcitiesuk.net/ University of Bath, UK 29th -- 30th August 2007 ========================================================================= This is a call for participation in the sixth AgentcitiesUK.net Challenge Day on Agents and Pervasive Computing, to be held on 29th-30th August 2007 at the University of Bath, UK. Aims and Scope -------------- This is the sixth and final meeting in a series that has previously investigated issues in e-Health provision (CD1), e-Government (CD2), e-Transportation (CD3), Disaster Response and Management (CD4) and Agents and Grids (CD5). The purpose of this "Challenge Day" is both to explore and extrapolate from current research and to brainstorm on completely new possibilities for the use of agent technologies in pervasive computing, as well as introduce non-specialists to the possibilities agents can offer. The focus will be on how agents can help us with tasks that we are unable to do now -- not just automating existing practices. The aims are to identify real agent added-value and develop sustainable arguments that autonomy is an opportunity, not a threat. The goal of the sixth AgentcitiesUK.net Challenge Day is (i) to provide a forum for projects that are attempting to bring these technologies together as well as (ii) an opportunity for established researchers in either area to find out more about the other, with the objective of (iii) building a consensus for a joint research agenda. Some possible discussion themes include: -healthcare and assisted living (e.g. Healthcare at Home) -social spaces (e.g. Cityware) -differences in living (supporting people) and external applications (looking after environment) -sensors and monitoring -ubiquitous computing (e.g. UbiNet) We invite applications for participation from UK-based researchers (including postgraduate students) from the agent and pervasive computing communities, along with stakeholders from the industrial and public sectors. Structure --------- The meeting will take place over two days, starting in the morning of day one and finishing mid-afternoon on day two. Dinner will be provided on the evening of day one. The discussion leaders will outline particular problems for which agent technology might offer solutions: this will be interactive -- a mixture of brainstorming and requirements elicitation. A session during the first day will be spent working in groups focussing on specific problems/scenarios followed by reporting back to the workshop as a whole. The dinner in the evening will provide a context for further exploration of the ideas generated earlier. The second day will comprise further talks plus a discussion mediated by the rapporteurs from the groups of the previous day. After lunch we will conclude by looking at potential future directions for research and follow-up actions. Networking and internet access facilities will be provided throughout the meeting. Application Procedure --------------------- We invite applications for participation from UK-based researchers, including postgraduate students with interests in the applications development in fields relating to multi-agent systems and disaster response and management. All places will include funded accommodation at the University of Bath on the night of the 29th August, along with subsistence and travel support. FUNDING IS ONLY AVAILABLE TO UK PARTICIPANTS AND UK-BASED RESEARCHERS. However, it may possible to fund the UK portion of overseas participants' travel. REGISTRATION IS NOW OPEN: To apply for a place please visit http://agentcitiesuk.net/ and fill out the CD6 event registration form. We ask that potential participants prepare a paragraph detailing their research interests and potential discussion topics for the Challenge Day. Important Dates --------------- 17th August 2007: Registration deadline 20th August 2007: Notification of places and grants 29th/30th August 2007: Challenge Day For further information, visit the AgentcitiesUK.net website or contact cd6-registration at agentcitiesuk.net. CD6 Steering Committee: Julian Padget, University of Bath (jap at cs.bath.ac.uk) About AgentcitiesUK.net ----------------------- AgentcitiesUK.net is an EPSRC-funded project which exists to continue and extend the lines of research and development initiated by the EU-funded agentcities projects within the United Kingdom. Specifically, the project goals include: - Establish a support network for UK agents research - diffusion of EU agentcities outputs - Create and maintain a body of experience in agent-based services - Provide a national/European context for masters and doctoral research in agent-based services - Develop infrastructure and framework for a distributed laboratory for agent experiments - Liaison with AgentLink and other EU agent activities From dix at tu-clausthal.de Sun Jul 1 21:04:33 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Sun, 01 Jul 2007 21:04:33 +0200 Subject: [Fwd: CFP FoIKS 08] Message-ID: <4687FAC1.4010108@tu-clausthal.de> -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: "Gabriele Kern-Isberner" Betreff: CFP FoIKS 08 Datum: Sun, 1 Jul 2007 20:02:23 +0200 (MEST) Größe: 12640 URL: From klusch at dfki.de Tue Jul 3 19:39:11 2007 From: klusch at dfki.de (Matthias Klusch) Date: Tue, 03 Jul 2007 19:39:11 +0200 Subject: CIA 2007 Call for Participation Message-ID: <468A89BF.6080803@dfki.de> +++ Apologies for multiple copies due to cross posting +++ CALL FOR PARTICIPATION ********************************************* Eleventh International Workshop on Cooperative Information Agents (CIA 2007) September 19 - 21, 2007 Delft University of Technology, Delft, The Netherlands ********************************************* http://www.dfki.de/~klusch/cia2007 Co-sponsored by - TU Delft ICT Research - Whitestein Technologies, Switzerland - IEEE FIPA - Belgium-Netherlands Association for AI - SIKS Dutch Research School for Information and Knowledge Systems In cooperation with ACM SIGART, ACM SIGWeb, ACM SIGKDD, ACM SIGCHI SCIENTIFIC PROGRAM ================== The scientific program is available at http://www.dfki.de/~klusch/cia2007/html/program.html AWARDS ====== CIA 2007 issues a CIA 2007 Best Paper Award This award is sponsored by the series. The winning prize is 300 euros. CIA 2007 issues a "CIA 2007 System Innovation Award". This award is sponsored by Whitestein Technologies, Switzerland. The winning prize is 500 euros. INVITED SPEAKERS ================ * Alun Preece (U Aberdeen, UK) * Jaap van den Herik (U Maastricht, The Netherlands) * John-Jules Meyer (U Utrecht, The Netherlands) * Catholijn Jonker (TU Delft, The Netherlands) REGISTRATION ============ The registration fee (310e) covers * Scientific program * One copy of the proceedings (LNAI vol 4676) * Lunch servings on each day * Coffee breaks, of course, on each day * Welcome reception (on Sept 19) * Social program (on Sept 20): Visit to the Vermeer Center Visit to the Royal Delft Factory Dinner at De Prinsenkelder Registration for CIA 2007 is handled by the local host at: http://www.dfki.de/~klusch/cia2007/html/registration.html ORGANISATION ============ Co-Chairs Matthias Klusch (DFKI, Germany) Leon Sterling (U Melbourne, Australia) Mike P. Papazoglou (U Tilburg, The Netherlands) Koen Hindriks (TU Delft, The Netherlands) Program Committee Wolfgang Benn (TU Chemnitz, Germany) Sonia Bergamaschi (U Modena, Italy) Abraham Bernstein (U Zurich, Switzerland) Monique Calisti (Whitestein Technologies, Switzerland) Boi Faltings (EPF Lausanne, Switzerland) Rune Gustavsson (TH Blekinge, Sweden) Heikki Helin (TeliaSonera, Finland/Sweden) Michael Huhns (U South Carolina, USA) Catholijn Jonker (TU Delft, The Netherlands) Hillol Kargupta (UMBC, USA) Uwe Keller (DERI Innsbruck, Austria) Ryszard Kowalczyk (Swinburne U, Australia) Manolis Koubarakis (TU Crete, Greece) Sarit Kraus (Bar-Ilan U, Israel) Daniel Kudenko (U York, UK) Alain Leger (France Telecom, France) Victor Lesser (U Massachusetts, USA) Jiming Liu (Hongkong Baptist U, China) Stefano Lodi (U Bologna, Italy) Werner Nutt (FU Bozen-Bolzano, Italy) Sascha Ossowski (U Rey Juan Carlos, Spain) Terry Payne (U Southampton, UK) Adrian Pearce (U Melbourne, Australia) Alun Preece (U Aberdeen, UK) Cartic Ramakrishnan (Wright State U, USA) Jeffrey Rosenschein (Hebrew U, Israel) Amit Sheth (Wright State U, USA) Steffen Staab (U Koblenz, Germany) Katia Sycara (Carnegie Mellon U, USA) Valentina Tamma (U Liverpool, UK) Jan Treur (VU Amsterdam, The Netherlands) Rainer Unland (U Duisburg-Essen, Germany) Gottfried Vossen (U Muenster, Germany) Gerhard Weiss (SCCH, Austria) Steve Willmott (UPC Barcelona, Spain) From fs at doc.ic.ac.uk Wed Jul 4 14:28:45 2007 From: fs at doc.ic.ac.uk (F Sadri) Date: Wed, 04 Jul 2007 13:28:45 +0100 Subject: Call for Participation in CLIMA VIII, Porto, Portugal, 10-11 September Message-ID: <468B927D.2060107@doc.ic.ac.uk> Call for Participation CLIMA-VIII Eighth Workshop on Computational Logic in Multi-Agent Systems 10 and 11 September 2007, Porto, Portugal Co-located with the International Conference on Logic Programming (ICLP 07) To register please go to http://www.dcc.fc.up.pt/iclp07/registration.html Early registration is until July 15th, 2007. Aims of the Workshop Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for the various tasks of individual agents, as well as for the interaction and integration amongst agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specification to implementation, and for verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Workshop Chairs Fariba Sadri, Imperial College London, UK Ken Satoh, National Institute of Informatics and Sokendai, Japan For the programme please see http://research.nii.ac.jp/climaVIII/programme.html. From Adrian.Paschke at gmx.de Wed Jul 4 17:41:22 2007 From: Adrian.Paschke at gmx.de (Adrian Paschke) Date: Wed, 04 Jul 2007 17:41:22 +0200 Subject: 2nd CfP RuleML-2007, Springer Confirmed, Submission Deadline Extended to July 20th Message-ID: <20070704154122.26350@gmx.net> [Apologies if you receive this more than once] The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) October 25-26, 2007, Orlando, Florida http://2007.ruleml.org Dear Colleagues, Due to numerous requests about conflicting deadlines, and with Springer as confirmed publisher, online submissions to RuleML-2007 will be allowed until July 20 (hard deadline): Abstract submission before July 10, 2007 Paper submission due July 20, 2007 Notification of acceptance August 6, 2007 Final submissions due August 23, 2007 The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) will take place, October 25-26, 2007, in Orlando, Florida http://2007.ruleml.org, 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, Web 2.0/3.0, Intelligent Multi-Agent Systems, Event-Driven Architectures, Service-Oriented Computing Applications and Rule-based Enterprise Application Systems. A RuleML-2007 Challenge with prizes will be organized to demonstrate tools, use cases, and applications. Call for Papers: http://2007.ruleml.org/cfp.pdf Highlights: - Accepted papers will be published as Springer LNCS proceedings - 2 Keynote speakers; Confirmed Keynote by Jürgen Angele (Ontoprise): "Rule-based Development Support in the Automotive Industry" - In cooperation with ECCAI (confirmend) and IEEE Computer TCAAS - Selection of revised papers will be resubmitted to a special journal issue - Best Paper Award - Prestigious prizes will be awarded to the first two best applications of the Challenge - Panel by world-class scientists and practitioners, featuring topics on event and rule-based computing and industry success stories Updates: 1) Modified Challenge Requirements: "Submissions to the RuleML Challenge 2007 consist of a demo paper of 3-5 pages, describing the demo show case, and a link to more information about the demo/show case, e.g. a project site, an online demonstration, a presentation about the demonstration, or a download site for the demonstration. The show case should demonstrate the use of rules of various kinds in interesting and practically relevant ways, preferably (but not necessarily) embedded into a Web-based or distributed environment." More information regarding submissions can be found in the RuleML-2007 web site: http://2007.ruleml.org/index-Dateien/Page787.htm 2) Enhanced Topics: - Rules in Web 2.0 and Web 3.0 - Rules in Semantic Web Technologies - Rules in Web Intelligence Research We invite submissions of full, short and demo papers related (but not limited) to one or more of the topics listed at: http://2007.ruleml.org/index-Dateien/Page431.htm 3) All papers and demos will be carefully peer-reviewed by 3 PC members of the Program Committee: http://2007.ruleml.org/index-Dateien/Page508.htm Sincerely, General Chair Said Tabet, Inferware Corp. stabet AT ruleml.org Program Co-Chairs Adrian Paschke, Technical University Munich, Germany paschke AT in.tum.de Yevgen Biletskiy, University of New Brunswick, Canada biletski AT unb.ca Challenge Co-Chairs Alexander Kozlenkov, Betfair Ltd., London, UK alex.kozlenkov AT betfair.com Ralph Hodgson, TopQuadrant, Inc., Mountain View, USA rhodgson AT topquadrant.com Panel Chair John Hall, Model Systems, UK john.hall AT modelsys.com Publicity Chair Suzette Stoutenburg, MITRE Corporation, USA suzette AT mitre.org -- Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer -- Ist Ihr Browser Vista-kompatibel? Jetzt die neuesten Browser-Versionen downloaden: http://www.gmx.net/de/go/browser From ines at sat.inesc-id.pt Wed Jul 4 17:11:48 2007 From: ines at sat.inesc-id.pt (Ines Lynce) Date: Wed, 04 Jul 2007 16:11:48 +0100 Subject: 2nd CFP - EPIA 2007 Workshop on Search Techniques for Constraint Satisfaction Message-ID: <468BB8B4.1010308@sat.inesc-id.pt> *** Extended Deadline: 15.July.2007 *** EPIA 2007 13th Portuguese Conference on Artificial Intelligence http://epia2007.appia.pt ** Workshop on Search Techniques for Constraint Satisfaction ** Call for Papers December 3-7, Guimaraes, Portugal Search is essential for solving combinatorial problems in AI. For the usual case where inference based methods are incomplete, search provides the core engine for applications such as hardware verification, planning, or protein folding. Recent advances in Constraint Programming (CP) and Boolean algorithms for Propositional Satisfiability (SAT), Pseudo-Boolean Optimization (PBO), Satisfiability-Modulo Theories (SMT) and Quantified Boolean Formulas (QBF) have allowed current solvers to perform several orders of magnitude faster than previous ones. This workshop aims at bringing together researchers and practitioners from these communities, in order to learn from each other, develop common understandings, and inspire new applications, algorithms and approaches. TOPICS OF INTEREST The topics of the workshop span practical and theoretical research on search techniques for constraint satisfaction and include but are not limited to: Complete and local search algorithms Analysis of search algorithms Search heuristics Search space pruning techniques Problem encodings for combinatorial problems using constraint programming and propositional satisfiability Novel applications using constraint satisfaction components Implementation techniques for constraint satisfaction and combinatorial optimization search algorithms Distributed and parallel algorithms for constraint satisfaction Case studies and empirical results SUBMISSION Authors should submit full papers with a maximum of 12 pages using Springer LNCS format. Submission is double blind. A selection of the workshop accepted full papers will be published by Springer LNAI sub-series. All the other accepted papers will be published in the workshop proceedings. IMPORTANT DATES Submission Deadline: 15.July.2007 Notification of acceptance: 28.July.2007 Workshop and EPIA 2007: 3-7.December.2007 ORGANISING COMMITTEE Francisco Azevedo, New University of Lisbon, Portugal Ines Lynce, Technical University of Lisbon, Portugal Vasco Manquinho, Technical University of Lisbon, Portugal PROGRAM COMMITTEE Pedro Barahona, Universidade Nova de Lisboa, Portugal Lucas Bordeaux, Microsoft Research, UK Carla Gomes, Cornell University, USA Zeynep Kiziltan, Università di Bologna, Italy Oliver Kullmann, University of Wales Swansea, UK Daniel Le Berre, Université d'Artois, France Felip Manyà, Universitat de Lleida, Spain João Marques-Silva, University of Southampton, UK Pedro Meseguer, IIIA-CSIC Barcelona, Spain Steven Prestwich, University College Cork, Ireland Olivier Roussel, Université d'Artois, France Carsten Sinz, University of Tübingen, Germany Barbara Smith, Cork Constraint Computation Centre, Ireland Armando Tachella, Università di Genova, Italy Mark Wallace, Monash University, Australia From wmaccaul at stfx.ca Wed Jul 4 18:36:33 2007 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Wed, 4 Jul 2007 13:36:33 -0300 Subject: Postdoc position Message-ID: Please post the following: PostDoc Position at St. Francis Xavier University in Parallel Methods for Verification Supervisor: Dr. Wendy MacCaull, Professor of Mathematics, Statistics and Computer Science. Project: Parallel approaches to model checking based verification and tableau-based theorem proving for problems of high computational complexity will be investigated. The motivating examples will be drawn from adaptive workflows for health care as developed within the context of a 5-year interdisciplinary research and development project under the leadership of MacCaull. The project is a university industry collaboration in dynamic verifiable workflow software for decision support in health. The successful applicant will be part of the newly established Centre for Logic and Information at StFX, and have the opportunity to work with computer scientists and software engineers both in academics and with a health informatics company. He or she will join a growing group of researchers at StFX verification and formal methods and be developing associated methods in parallel and high performance computing using ACEnet, Atlantic Canada's high performance computing consortium ( www.ace-net.ca ). Qualifications: A PhD degree in Computer Science (or closely related subject), with expertise in parallel computing and logic programming; background in formal methods is an asset. Funding: The salary is $40,000 per year, plus benefits, plus a research allowance of to $4,000. per year. Funding is available for 1 year and renewable for a second year. Some opportunities for (limited) undergraduate teaching may be available. To Apply: Please forward a covering letter, a CV (including references) and university transcripts to Dr. Wendy MacCaull, Dept. of Math/Stats/CS, PO Box 5000, St. Francis Xavier University, Antigonish, NS, Canada, B2G 2W5. Applications will be initially reviewed on Aug. 7, 2007 with a start date of October 1, 2007 (somewhat negotiable). The file will remain open until filled. Those interested in applying can contact Dr. MacCaull at wmaccaul at stfx.ca for details. Wendy MacCaull, PhD, Professor, Dept. Math/Stats/CompSci, Director, Laboratory for Logic and Computation, St. Francis Xavier University, Antigonish, NS, B2G 2W5, Canada, Phone: 902 867-3989, Secretary: 902 867-3972, FAX: 902 867-3302 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofia at vinci.inesc-id.pt Thu Jul 5 12:50:35 2007 From: sofia at vinci.inesc-id.pt (Sofia Pinto) Date: Thu, 05 Jul 2007 11:50:35 +0100 Subject: [Fwd: Deadline extension and Last CFP BAOSW 2007] Message-ID: <468CCCFB.8070700@algos.inesc-id.pt> Please distribute! Thanks! -- --------------------------------------------------------------------- Helena Sofia Pinto Phone + 351 - 21 - 3100388 Instituto Superior Tecnico Email sofia.pinto at dei.ist.utl.pt Departamento de Eng. Informatica Av. Rovisco Pais 1049-001 Lisboa PORTUGAL INESC-ID Algos Group Email sofia at algos.inesc-id.pt Rua Alves Redol, 9 1000-029 Lisboa PORTUGAL --------------------------------------------------------------------- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Sofia Pinto Betreff: Deadline extension and Last CFP BAOSW 2007 Datum: Thu, 05 Jul 2007 11:13:27 +0100 Größe: 12458 URL: From franconi at inf.unibz.it Fri Jul 6 10:04:32 2007 From: franconi at inf.unibz.it (Enrico Franconi) Date: Fri, 6 Jul 2007 10:04:32 +0200 Subject: CFP: ACM Web Information and Data Management workshop References: <200707060208.TAA12795@moondance.cse.ucsc.edu> Message-ID: <07D7AE75-3022-4664-9278-4A9D3A9FFDA9@inf.unibz.it> **** CALL FOR PAPERS ***** 9th ACM International Workshop on Web Information and Data Management (WIDM 2007) November 9, 2007, Lisbon, Portugal http://workshops.inf.ed.ac.uk/WIDM2007 Sponsored by ACM SIGIR and SIGWEB In Conjunction with the 16th ACM CIKM 2007 ACM WIDM 2007 is the ninth in a series of workshops on Web Information and Data Management to be held in conjunction with the 16th International Conference on Information and Knowledge Management (CIKM 2007). The objective of the workshop is to bring together researchers, industrial practitioners, and developers to study how Web information can be extracted, stored, analyzed, and processed to provide useful knowledge to the end users for various advanced database and Web applications. TOPICS OF INTEREST ------------------- -- Web Mining: Web Usage Mining, Web Classification, Web Clustering, Resource Discovery, Web Personalization, Web Data Extraction, Web Structure Mining -- Formal Models for Web Data and Knowledge Management: Ontologies, Data Models and Metadata, Query Languages, Annotations -- System Issues for Web Applications: Performance of Web Applica- tions, System Design, Caching and Indexing of Web data, P2P -- Methodologies for Web Data Management: Data Integration, Archiving, Security, Personalization -- Tools and Infrastructure for Web Data Management: Web Site Modeling and Design, Web Visualization Tools, Intelligent Agents on the Web, Web Services -- Web Applications: Digital Libraries, Web Portals, Warehousing, Web Information Filtering, Web Commerce, Web Monitoring -- Web Exploration: Web Crawling, Web Search Engines IMPORTANT DATES --------------- Submission of abstracts & full papers: July 21st, 2007 Notification of acceptance: August 21st, 2007 Camera-ready copy due date: August 31st, 2007 PAPER SUBMISSION ---------------- Electronic submission will be used. The pdf version of the paper should be submitted to the WIDM 2007 electronic review system no later than July 3rd, 2007. The paper should be formatted in the camera ready ACM format and should be at most 8 pages long. The paper should present innovative ideas on the topics of interest and not be published or under consideration elsewhere. More detailed information about the paper submission procedure will be available at the workshop website. All accepted papers will appear in the Proceedings published by ACM Press. PROGRAM COMMITTEE CHAIRS Irini Fundulaki School of Informatics, University of Edinburgh, UK Irini.Fundulaki at ed.ac.uk Neoklis Polyzotis Department of Computer Science, Univ. of California-Santa Cruz, USA alkis at cs.ucsc.edu PROGRAM COMMITTEE Serge Abiteboul (INRIA-Futurs, France) Ashraf Aboulnaga (University of Waterloo, Canada) Pablo Barcelo (University of Chile, Chile) Omar Benjelloun (Google, USA) Angela Bonifati (ICAR-CNR, Italy) Chee-Yong Chan (National University of Singapore, Singapore) Vassilis Christophides (University of Crete and ICS-FORTH, Greece) Magdalini Eirinaki (San Jose State University, USA) Tim Furche (Ludwig-Maximilians-University of Munich, Germany) Floris Geerts (University of Edinburgh, UK) Zoltan Gyongyi (Stanford University, USA) Ihab Ilyas (University of Waterloo, Canada) Benny Kimelfeld (Hebrew University of Jerusalem, Israel) Rajasekar Krishnamurthy (IBM Almaden Research Center, USA) Boon Thau Loo (University of Pennsylvania, USA) Bertram Ludaescher (University of California-Davis, USA) Qiong Luo (Hong Kong University of Science and Technology, Hong Kong) Sebastian Maneth (NICTA and University of New South Wales, Australia) Ioana Manolescu (INRIA-Futurs, France) Gerome Miklau (University of Massachusetts, Amherst, USA) Tova Milo (Tel Aviv University, Israel) Prasenjit Mitra (Penn State University, USA) Michael Nelson (Old Dominion University, USA) Alexandros Ntoulas (Microsoft Research, USA) Fatma Ozcan (IBM Almaden, USA) Evaggelia Pitoura (University of Ioannina, Greece) Arnaud Sahuguet (Google, USA) Wang-Chiew Tan (University of California, Santa Cruz, USA) Martin Theobald (Stanford University, USA) Vasilis Vassalos (Athens University of Economics and Business, Greece) Yannis Velegrakis (University of Trento, Italy) Stratis Viglas (University of Edinburgh, UK) Yi Zhang (University of California-Santa Cruz, USA) From fs at doc.ic.ac.uk Fri Jul 6 13:29:59 2007 From: fs at doc.ic.ac.uk (F Sadri) Date: Fri, 06 Jul 2007 12:29:59 +0100 Subject: CFP: First International Workshop on Human Aspects in Ambient Intelligence Message-ID: <468E27B7.8050808@doc.ic.ac.uk> First International Workshop on Human Aspects in Ambient Intelligence Darmstadt, Germany, November 10, 2007 Workshop at the European Conference on Ambient Intelligence (AmI’07) Call for Papers Background The environment in which humans operate has an important influence on their wellbeing and performance. For example, a comfortable workspace may improve the productivity of an employee, and an attentive partner or acquaintance may contribute to preventing more severe health problems by early detection. As another example, our car may warn us when we are falling asleep while driving or when we are too drunk to drive. Developments within Ambient Intelligence provide possibilities to contribute to such personal care. This can be based on the one hand on possibilities to acquire sensor information about humans and their functioning, but on the other hand, more far-reaching applications crucially depend on the availability of adequate knowledge for analysis of such information about human functioning. If such knowledge about human functioning is computationally available in devices in the environment, these devices can show more human-like understanding and contribute to such personal care based on this understanding. In recent years, scientific areas focusing on humans such as cognitive science, psychology, neuroscience and biomedical sciences have made substantial progress in providing an increased insight in the various physical and mental aspects of human functioning. Although much work still remains to be done, models have been developed for a variety of such aspects and the way in which humans (try to) manage or regulate them. From a more biomedical angle, examples of such aspects are (management of) heart functioning, diabetes, eating regulation disorders, and HIV-infection. From a more psychological and social angle, examples are emotion regulation, attention regulation, addiction management, trust management, stress management, and criminal behaviour management. If such models of human processes and their management are represented in a formal and computational format, and incorporated in the human environment in devices that monitor the physical and mental state of the human, then such devices are able to perform a more in depth analysis of the human’s functioning. This can result in an environment that has a human-like understanding of humans and that may more efffectively affect the state of humans by undertaking in a knowledgeable manner actions that improve their wellbeing and performance. For example, the workspaces of naval officers may include systems that, among others, track their eye movements and characteristics of incoming stimuli (e.g., airplanes on a radar screen), and use this information in a computational model that is able to estimate where their attention is focussed at. When it turns out that an officer neglects parts of a radar screen, such a system can either indicate this to the person, or arrange on the background that another person or computer system takes care of this neglected part. In applications like this, an ambience is created that has a more human-like understanding of humans, based on computationally formalised knowledge from the human-directed disciplines. For example, this may concern elderly people, criminals and psychiatric patients, but also, as the example shows, humans in highly demanding circumstances or tasks. Aims This workshop addresses multidisciplinary aspects of Ambient Intelligence with human-directed disciplines such as psychology, social science, neuroscience and biomedical sciences. The aim is to get people together from these disciplines or working on cross connections of Ambient Intelligence with these disciplines. The focus is on the use of knowledge from these disciplines in Ambient Intelligence applications, in order to take care of and support in a knowledgeable manner humans in their daily living in medical, psychological and social respects. The workshop can play an important role, for example, to get modellers in the psychological, neurological, social or biomedical disciplines interested in Ambient Intelligence as a high-potential application area for their models, and, for example, get inspiration for problem areas to be addressed for further developments in their disciplines. From the other side, the workshop may make researchers in Computer Science, and Artificial and Ambient Intelligence more aware of the possibilities to incorporate more substantial knowledge from the psychological, neurological social and biomedical disciplines in Ambient Intelligence architectures and applications, and may offer problem specifications that can be addressed by the human-directed sciences. Some of the areas of interest · computational modelling of psychological, neurological, social and biomedical processes for Ambient Intelligence · collecting and analysing histories of behaviour · computational modelling of mind reading, Theory of Mind · building profiles; user modelling in Ambient Intelligence ·sensoring; e.g., tracking physiological states, gaze, body movements, gestures · analysis of sensor information; e.g., voice and skin analysis with respect to emotional states, gesture analysis, heart rate analysis ·environmental modelling and awareness ·analysis of applications to care of humans in need of support for physical and mental health; e.g., elderly or psychiactric care, surveillance, penitentiary care, humans in need of regular medical or psychological care, support for psychotherapeutical/selfhelp communities ·analysis of applications to support humans in demanding circumstances and tasks, such as warfare officers, air traffic controllers, crisis and disaster managers, humans in space missions. ·responsive and adaptive systems; agent system approaches ·human interaction with devices ·handling aspects of privacy and security; philosophical and ethical aspects Submission and Proceedings Papers can be submitted of at most 18 pages in Springer LNCS format (as for the AmI’07 conference). Proceedings will be available at the workshop. The intention is to realise publication of extended postproceedings as a book on the workshop theme by a recognized publisher after the workshop. More submission details will follow at the workshop’s Website: http://www.few.vu.nl/~treur/HAwsCfP.htm. Important Dates Submission Deadline August 1, 2007 Notification of Acceptance September 20, 2007 Camera ready papers October 25, 2007 Workshop November 10, 2007 Coordination Commitee Tibor Bosse (Vrije Universiteit Amsterdam, Agent Systems Research Group) Cristiano Castelfranchi (CNR Rome, Institute of Cognitive Sciences and Technologies) Mark Neerincx (TNO Human Factors; Technical University Delft,Man-Machine Interaction) Fariba Sadri Imperial College, Department of Computing) Jan Treur (contact person, Vrije Universiteit Amsterdam, Agent Systems Research Group) Programme Committee (partly to be confirmed) Gerhard Andersson (Linköping University, Department of Behavioural Sciences) Juan Carlos Augusto (University of Ulster, School of Computing and Mathematics) Tibor Bosse (Vrije Universiteit Amsterdam, Agent Systems Research Group) Antonio Camurri (University of Genoa, InfoMus Lab) Nick Cassimatis (Rensselaer Polytechnic Institute, Cognitive Science Department) Cristiano Castelfranchi (CNR Rome, Institute of Cognitive Sciences and Technologies) James L. Crowley (INRIA Rhone-Alpes, Perception and Integration for Smart Spaces Group) Pim Cuijpers (Vrije Universiteit Amsterdam, Clinical Psychology) Henk Elffers (Institute for Criminology and Law; Antwerp University, Faculty of Law) Rino Falcone (CNR Rome, Institute of Cognitive Sciences and Technologies) Dirk Heylen (University of Twente, Human Media Interaction) Ingrid Heynderickx (Philips Research Netherlands) Anthony Jameson (DFKI, Human-Computer Interaction) Paul Lukowicz (Austrian University for Health Sciences, Medical Informatics and Technology) Isaac Marks (King’s College London, Institute of Psychiatry/Maudsley Hospital) Silvia Miksch (Danube University Krems, Department of Information and Knowledge Engineering) Scott Moss (Manchester Metropolitan University, Centre for Policy Modelling) Mark Neerincx (TNO Human Factors; Technical University Delft, Man-Machine Interaction) Fariba Sadri (Imperial College, Department of Computing) Matthias Scheutz (University of Notre Dame, Artificial Intelligence and Robotics Laboratory) Elizabeth Sklar (City University of New York, Brooklyn College, Dept of Computer and Information Science) Ron Sun (Rensselaer Polytechnic Institute, Cognitive Science Department) Jan Treur (Vrije Universiteit Amsterdam, Agent Systems Research Group) Robert L. West (Carleton University, Department of Cognitive Science) From lobrst at mitre.org Mon Jul 9 20:55:09 2007 From: lobrst at mitre.org (Obrst, Leo J.) Date: Mon, 9 Jul 2007 14:55:09 -0400 Subject: Final Call for Papers: OIC 2007: Ontology for the Intelligence Community, Nov. 28-30, 2007, Columbia, MD, USA (1 week for paper submissions) Message-ID: <9F771CF826DE9A42B548A08D90EDEA80021D1BDA@IMCSRV1.MITRE.ORG> Apologies for cross-postings; please forward to colleagues and prospective interested parties. NOTE: 1 week until paper submission date: July 15, 2007 NEWS: Registration is now open: see http://ncor.us/oic2007. Plenary speakers will include David C. Roberts (Chief Technology Officer and Chief Data Architect, CIA) and Steven Robertshaw (Defence Science and Technology Laboratory, UK), and the program will also feature a special session on the topic OWL: Why, and Why Not? with panelists Bill Andersen (Ontology Works), Mike Dean (BBN Technologies), Leo Obrst (The MITRE Corporation), Barry Smith (NCOR), and Chris Welty (IBM Watson Research Center). ======================================== OIC 2007: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY Towards Effective Exploitation and Integration of Intelligence Resources Hilton Hotel, Columbia, MD November 28-30, 2007 (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 (maximum: 1500 words, including all footnotes and references) designed to serve as the basis for 20-minute oral presentations at the conference. Accepted papers will be published in a volume of CEUR Workshop Proceedings. 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, to be published by IOS Press. 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? 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 From adinamagdaflorea at yahoo.com Sat Jul 7 08:41:48 2007 From: adinamagdaflorea at yahoo.com (Adina Magda Florea) Date: Fri, 6 Jul 2007 23:41:48 -0700 (PDT) Subject: 4th Workshop on Agents for Complex Systems Call for papers Message-ID: <584759.80919.qm@web31814.mail.mud.yahoo.com> ACSys 2007 - 4th Workshop on Agents for Complex Systems in conjunction with SYNASC-2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26 - 29, 2007 http://synasc07.info.uvt.ro/SYNASC07/acsys http://synasc07.info.uvt.ro/SYNASC07 Workshop Chairs: Joel Quinqueton, LIRMM, University of Montpellier II, France Vladimir Gorodetsky, St. Petersburg Institute for Informatics and Automation, Russia Adina Magda Florea - Department of Computer Science, "Politehnica" University of Bucharest, Romania Workshop description Autonomous agents are software entities that are capable of independent action in open, unpredictable environments. Agents and multi-agent systems are currently applied in diverse domains that require complex problem solving models. The aim of the workshop is to bring together researchers and developers from academia and industry in order to discuss current scientific and technical results on using agents technology for solving complex, distributed real-world problems. The workshop welcomes submissions of original, high-quality papers reporting on models or systems that have been or are being implemented. Experience reports and application demonstrators are particularly welcome. Topics: Specific topics of this workshop include, but are not limited to, the following: - Multi-agent systems for modeling and simulation - Agent oriented software design and methodology - Performance analysis / modeling of multi-agent systems - Task-based agent context and task-oriented agents - Multi-agent systems in high-performance processing - Agents and multi-agent systems for Grid Computing - Recommendation agents for scientific problem solving - Distributed knowledge integration and sharing for scientific applications - Agent based resource and service discovery - Agents and emergent behavior Submission of papers: We invite submissions in the form of: - full research papers, - short papers (work in progress), system descriptions and software demonstrations. Papers of up to 8 pages (IEEE style) must be submitted electronically to vnegru at info.uvt.ro Extended abstracts (up to 4 pages) may be submitted for short papers and system presentations. Only full papers will be considered for publication in post-proceedings. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the Workshop topics. Publication: The extended abstracts of the papers accepted for presentation at SYNASC'07 will be available to the participants at the conference site. Revised versions of papers presented at SYNASC'07 will further be published by IEEE Computer Science Press. Workshop deadlines: Submission of papers: July 15, 2007 Notification of acceptance: August 10, 2007 Final paper: September 1, 2007 Registration: September 1, 2007 Symposium starts: September 26, 2007 Revised papers for post-proceedings: October 30, 2007 Program Committee: Costin Badica, Romania Stefano Cerri, France Alexandru Cicortas, Romania Christo Dichev, Bulgaria Vladimir Gorodetsky, Russia Vasile Palade, UK Marcin Paprzycki, Poland Daniel Pop, Romania Nicolas Sabouret, France Amal El Fallah Seghrouchni, France Calin Sandru, Romania Doina Tatar, Romania Nick Szirbik, The Netherlands Marie-Claude Thomas, France Local Workshop organizer: Viorel Negru - Department of Computer Science, West University of Timisoara, Romania, vnegru at info.uvt.ro --------------------------------- Bored stiff? Loosen up... Download and play hundreds of games for free on Yahoo! Games. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From luis.moniz.pereira at gmail.com Fri Jul 6 23:19:24 2007 From: luis.moniz.pereira at gmail.com (Luis Moniz Pereira) Date: Fri, 6 Jul 2007 22:19:24 +0100 Subject: Postdoctoral research job opportunities in AI - 5-year contracts - deadline 31 August 07 Message-ID: <018e01c7c013$54c5a8a0$8e85aa0a@Mensexmachina> Dear colleague Please relay this information to interested parties and lists. Best regards L M Pereira ---------------------------------------------------------------------------- -------------------------------------------------- Postdoctoral research job opportunities in AI - 5-year contracts – deadline 31 August 07 Centre for Artificial Intelligence, Universidade Nova de Lisboa, Portugal Applications are invited for RESEARCHER positions, from those with at least 3 years post-doctoral experience. Exceptionally only, in duly justified cases, candidates with less than 3 years experience may be considered. The positions, of which there are several in each thematic area, offer about 42.500 € net annually, plus social benefits and retirement fund. The thematic areas of the positions are - see detailed profiles below: COGNOMA – “Knowledge Based, Cognitive and Learning Systems”, and “Semantic Web” BIOINFO – “Bio-Informatics” GEOINFO – “Oceanographic Remote Sensing Interpretation” In addition to their integration in the research Centre for Artificial Intelligence (CENTRIA – http://centria.di.fct.unl.pt/), the candidates are expected to help with post-graduate teaching, including the supervision of post-graduate students, and to write research papers as well as project and grant applications. Candidates will profit from the technical facilities and expertise available at CENTRIA, at the Faculdade de Ciências e Tecnologia ( www.fct.unl.pt ), Universidade Nova de Lisboa, where they will be stationed. Please send detailed curriculum vitae and two reference letters to: Prof. Luís Moniz Pereira lmp at di.fct.unl.pt Director Centro de Inteligência Artificial Universidade Nova de Lisboa Quinta da Torre 2825-516 Caparica Portugal Job Reference profile: COGNOMA FCT/442/2006 Applications are invited from those with a PhD in Computer Science to work in the thematic areas of: “Knowledge Based, Cognitive and Learning Systems”, and “Semantic Web.” Candidates must be knowledgeable in one or more of these specific areas: Semantic Web; Knowledge and Reasoning Representation; Autonomous Agents and Multi-Agent Systems; Machine Learning; Logic Programming; Computation and Cognitive Sciences; Epistemological Foundations. Job Reference profile: BIOINFO FCT/418/2006 Applications are invited from those with a PhD in Computer Science to work in a multidisciplinary project involving “Informatics, Structural Bio Chemistry, Molecular and Cell Biology, Materials Science and Physics.” Candidates must be knowledgeable in one ore more of these specific areas: Machine Learning and Data Mining; Constraint Programming and Optimisation, Simulation (including Artificial Life), or other Artificial Intelligence areas. They should be familiar with application of these techniques to bioinformatics applications, namely for sequence matching and comparison, determination of protein structure and interaction, analysis of metabolic pathways, assessment of phylogenetic trees, and be able to interact with scientists from within and outside of the Institution, not only from the above mentioned research areas, but also from the areas of Structural Biochemistry and Molecular and Cell Biology. Job Reference profile: GEOINFO FCT/555/2006 Applications are invited from those with a PhD in Physics or Computer Science, to work in the thematic areas of: “Development of techniques applicable to data collected with remote sensing methods, in order to retrieve and computationally analyze oceanic mesoscale phenomena.” Candidates must be knowledgeable in Physics and Computer Science in general, particularly in fields like Physical Oceanography, Air-Sea Interaction, Remote Sensing, Machine Learning, and Intelligent Information Systems. A good candidate is required to have competence in programming languages (namely Matlab and C), experience in the analysis of satellite data applied to Oceanography, and knowledge of pattern recognition techniques. Applicants with a strong Computer Science background will have priority. Accepted candidates will conduct satellite data processing and analysis applied to the ocean, and will develop fuzzy pattern recognition methods and neural networks using contextual models in order to identify and characterize oceanographic patterns, among other technique that may prove useful. Candidates are expected to analyze and validate the oceanographic patterns (namely, associated with fronts and eddies) identified by means of automatic pattern recognition tools, using as reasoning criteria the results of realistic numerical simulations and the physical constraints of the oceanographic phenomena under study. The candidate will profit from the technical facilities and expertise already available, such as, a real-time satellite receiving station, a large collection of in situ and remote sensing oceanographic measurements in the Oceanography Institute (IO) at the University of Lisbon, and a solid record in the development and use of Artificial Intelligence methods from the Centre of Artificial Intelligence (CENTRIA), at the New University of Lisbon. The working place will be at CENTRIA, with visits to the Oceanography Institute. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : winmail.dat Dateityp : application/ms-tnef Dateigröße : 10162 bytes Beschreibung: nicht verfügbar URL : From peter.novak at tu-clausthal.de Tue Jul 10 20:16:21 2007 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Tue, 10 Jul 2007 20:16:21 +0200 Subject: CfP: International Workshop on Multi-Agent Systems as Middleware and Architectures for Business Systems Message-ID: <20070710181621.GG22818@tu-clausthal.de> (Apologies for multiple copies) ********* CALL FOR PAPERS ********* *************** Deadline September 20, 2007 **************** =========================================================================================== MAS² 2008 International Workshop on Multi-Agent Systems as Middleware and Architectures for Business Systems http://vsis-www.informatik.uni-hamburg.de/events/mas2/ As part of Multikonferenz Wirtschaftsinformatik 2008 MKWI 2008 February 26 - 28, 2008 München, Germany =========================================================================================== *** Overview *** Multi-agent systems (MAS) offer important concepts and technical solutions for the analysis, design and construction of business systems, especially regarding more and more complex company structures. Therefore, MAS represent a conceptual and technological foundation for solving typical problems of distributed systems such as communication, conflict resolution, cooperation and concurrency. The construction of software using architectures inspired by agent-oriented concepts has the clear advantage that domain-centered metaphors such as groups, actors, objects and services can be directly transferred to the technical side as they are supported on this level as well. This is an essential point regarding the realization of organizational structures und workflows within the software architecture. The agent-oriented paradigm exhibits an especially high degree of concept continuity from the domain to the technical perspective. Foundation of an efficient IT-management is the usage of an appropriate system infrastructure which is in case of distributed systems often backed by middleware systems and/or services. The traditional point-of-view that considers middleware as solution for classical problems of distributed systems is in many cases not sufficient when complex business applications need to be built, because advanced functionalities e.g. from software engineering, artificial intelligence and service orientation need to be taken into account. Thus, new approaches are needed that offer support domain centered adjustment of business processes and structures. In this respect, MAS can be seen as the underlying paradigm for the architecture of software systems as well as providing a technical middleware for their realization. This leads to the question how middleware and architecture can reflect the business system entities. Therefore, applications and their analysis with respect to their requirements for direct IT-support are also of high interest for the workshop. *** Topics: *** The workshop covers a wide range of topics from the area of multi-agent systems as well as from middleware and architectures of business systems. This includes (but is not necessarily limited to) the following genreal topics: * Architecture: Service-Oriented Architecture (SOA), MDA, Event-Driven Systems, Data-Driven Systems, Organizational Patterns * Middleware: Standards, Platforms, Peer-to-Peer, GRID, Components, Enterprise Service Bus, Web-Services * Business Systems: Standards, Business processes, Governance, Application Domains, Organizational Structures, Electronic Market Places, IT-Risk Management, Project Management, Virtual organizations, Semantic Web and more specifically the orthogonal topics for the integration and mutual dependencies of middleware, architecture and business systems: * Concepts: Teamwork, Problem Solving, Planning, Patterns, Adaptation, Self Organization, Autonomic Computing, Behavior, Structure, Composition * Modeling: Software Engineering, Development Processes and Methods, Process Models, Generative Software Development, Standards, Verification, Validation, Simulation, Processes, Tools * Implementation: Web Services, Programming Languages, MDA, Product Lines ============================================================================================ *** Submissions *** We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be formatted according to the GI´s LNI style, which can be obtained from , and not exceed 12 pages including figures, references, etc. Submissions should be sent by E-mail to the Workshop Chairs. The message should indicate paper Title, Authors and Abstract, with the Microsoft Word (.doc) version of the paper in attachment. Email: mas2 at informatik.uni-hamburg.de ------------------------------------------------------------------------------------------- *** Important Dates *** Submission Deadline: September 20, 2007 Notification: November 5, 2007 Camera Ready Copy Due: December 3, 2007 MKWI'08 : February 26 - 28, 2008 ------------------------------------------------------------------------------------------- *** Proceedings *** The accepted papers will be published in the proceedings of the MKWI 2008 conference. From t.dinoia at poliba.it Tue Jul 3 16:52:55 2007 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Tue, 03 Jul 2007 16:52:55 +0200 Subject: Subscribe me! Message-ID: <1183474375.5855.37.camel@localhost> From t.dinoia at poliba.it Tue Jul 3 21:00:49 2007 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Tue, 03 Jul 2007 21:00:49 +0200 Subject: Confirmation Request (2360384266) In-Reply-To: References: Message-ID: <1183489249.5855.66.camel@localhost> Il giorno mar, 03/07/2007 alle 17.26 +0200, event administration ha scritto: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(feed) operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2360384266, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > From wmaccaul at stfx.ca Wed Jul 4 18:31:04 2007 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Wed, 4 Jul 2007 13:31:04 -0300 Subject: subscribe Message-ID: I wish to subscribe to this list. Thank you. Wendy Wendy MacCaull, PhD, Professor, Dept. Math/Stats/CompSci, Director, Laboratory for Logic and Computation, St. Francis Xavier University, Antigonish, NS, B2G 2W5, Canada, Phone: 902 867-3989, Secretary: 902 867-3972, FAX: 902 867-3302 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wmaccaul at stfx.ca Wed Jul 4 18:34:54 2007 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Wed, 4 Jul 2007 13:34:54 -0300 Subject: Confirmation Request (2450786825) In-Reply-To: References: Message-ID: Please confirm my subscription. W Wendy MacCaull, PhD, Professor, Dept. Math/Stats/CompSci, Director, Laboratory for Logic and Computation, St. Francis Xavier University, Antigonish, NS, B2G 2W5, Canada, Phone: 902 867-3989, Secretary: 902 867-3972, FAX: 902 867-3302 -----Original Message----- From: event administration [mailto:event-subscribe at in.tu-clausthal.de] Sent: Wednesday, July 04, 2007 1:33 PM To: Wendy MacCaull Subject: Confirmation Request (2450786825) This is an automated message from the mailing list manager Somebody (probably you) have requested the subscribe operation for your address If you want to confirm this operation, use the Reply command in your mailer. Check that the Subject of the reply message contains the confirmation ID: 2450786825, the reply is directed to , and the 'From' address of your reply is . If you do not want to confirm the requested operation, simply do nothing All requests about this mailing list should be sent to From r31500 at nobel.si.uqam.ca Sat Jul 7 18:03:10 2007 From: r31500 at nobel.si.uqam.ca (alex friedmann) Date: Sat, 7 Jul 2007 12:03:10 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On 7/5/07, event administration wrote: > > This is an automated message from the > mailing list manager > > > -- ================== Alex Friedmann Tel: +1 514 987-3000 ext. 3219# Departement d'Informatique Fax: +1 514 987-8477 Universite du Quebec a Montreal CP 8888 Centre Ville Montreal, H3C 3P8, Canada E-mail : alexander dot friedmann at uqam dot ca -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexander.friedmann at uqam.ca Tue Jul 10 07:55:28 2007 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Tue, 10 Jul 2007 01:55:28 -0400 Subject: Confirmation Request (2708187097) In-Reply-To: References: Message-ID: <20070710061853.MQHC25465.tomts5-srv.bellnexxia.net@Alex-Dell.uqam.ca> At 12:03 PM 7/7/2007, you wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 2708187097, > the reply is directed to , > and the 'From' address of your reply is . > >If you do not want to confirm the requested operation, simply do nothing > >All requests about this mailing list > should be sent to ====================== Alex Friedmann Tel: +1 514 987-3000 ext. 3219# Departement d'Informatique Fax: +1 514 987-8477 Universite du Quebec a Montreal CP 8888 Centre Ville Montreal, H3C 3P8, Canada E-mail : alexander dot friedmann at uqam dot ca -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fs at doc.ic.ac.uk Wed Jul 11 13:05:17 2007 From: fs at doc.ic.ac.uk (F Sadri) Date: Wed, 11 Jul 2007 12:05:17 +0100 Subject: Still time to submit - Workshop on Ambient Intelligence Technologies and Applications Message-ID: <4694B96D.8040303@doc.ic.ac.uk> AmITA Workshop on Ambient Intelligence Technologies and Applications Extended Deadline: 15 July 2007 http://epia2007.appia.pt Ambient Intelligence (AmI) deals with a new world where computing devices are spread everywhere (ubiquity) allowing humans to interact with physical world environments in an intelligent and unobtrusive way. These environments should be aware of the needs of people, customizing requirements and forecasting behaviours. AmI environments may be highly diverse, such as homes, offices, meeting rooms, schools, hospitals, control centers, transport facilities, tourist attractions, stores, sport installations, music devices, etc. In the Workshop on Ambient Intelligence Technologies and Applications we will bring together researchers to present works and systems, discussing issues in Artificial Intelligence topics included in Ambient Intelligence environments. Topics of Interest - Knowledge Representation and Intelligent Reasoning for AmI - Speech Recognition, Natural Language, Intelligent Interfaces in AmI interaction - Computer Vision for AmI - Intelligent Sensor Processing for AmI - Planning & Scheduling in AmI - Machine Learning and Data Mining in AmI - Knowledge-based AmI systems - Multi-Agent based AmI systems - Mixed and Virtual Reality in AmI - Proactive Computing in AmI - Activity Recognition - Context Awareness - Other AI methodologies and techniques applied to AmI - AmI applications for leasure - AmI applications in home - AmI applications in work environments - AmI applications in Industry - AmI applications in Services - AmI applications in Health - AmI applications in Energy - AmI applications in Transports - Other AmI application areas Scope The trend in the direction of hardware cost reduction and miniaturization increasingly allows embedding computing devices in several objects and environments. Ambient Intelligence (AmI) deals with a new world where computing devices are spread everywhere (ubiquity) allowing humans to interact with physical world environments in an intelligent and unobtrusive way. These environments should be aware of the needs of people, customizing requirements and forecasting behaviours. AmI environments may be highly diverse, such as homes, offices, meeting rooms, schools, hospitals, control centers, transport facilities, tourist attractions, stores, sport installations, music devices, etc. Ambient Intelligence involves many different disciplines, for example automation (sensors, control, and actuators), human-machine interaction and computer graphics, ubiquitous computing, embedded systems, and, obviously, Artificial Intelligence. The main contributions envisaged of AI research towards the objectives of Ambient Intelligence are the inclusion of more intelligence in the AmI environments, provision of better, more "natural", support for humans, and access to the knowledge essential for making better decisions in response to interactins between humans and the environments. In the Workshop on Ambient Intelligence Technologies and Applications we would like to bring together researchers to present work and discuss issues in AI topics in Ambient Intelligence, as well as to present some developed systems realising AmI applications. From iclp07-publicity at di.uevora.pt Thu Jul 12 08:24:36 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Thu, 12 Jul 2007 07:24:36 +0100 Subject: ICLP07: second call for participation Message-ID: (apologies for multiple copies) ---------------------------------------------------------------------- Dear Colleague, ICLP 2007 registration is now open. Please note that early registration was postponed to July 15th. 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 r.bordini at durham.ac.uk Fri Jul 13 22:48:27 2007 From: r.bordini at durham.ac.uk (Rafael H Bordini) Date: Fri, 13 Jul 2007 21:48:27 +0100 Subject: EASSS07 Grants and Durham Agents'007 Update Message-ID: <4697E51B.2070007@durham.ac.uk> NB: EASSS07 grants available, thanks to support from EPSRC-UK. Early registration deadline is 1st of August 2007. ================================================================== Durham Agents 2007 ------------------ http://www.dur.ac.uk/durham.agents007/ MALLOW'007 - Multi-Agent Logics, Languages, and Organisations Federated Workshops Sponsored by EPSRC and Durham University http://www.dur.ac.uk/durham.agents007/MALLOW007 EASSS'07 - 9th European Agent Systems Summer School Sponsored by EPSRC, IFAAMAS, and Durham University http://www.dur.ac.uk/durham.agents007/EASSS07 Durham University, UK 27th August - 7th of September, 2007 =============================================================== EASSS07 news: ------------- - Early registration deadline is 1st of August! Prospective attendants are requested to fill in the online registration form no later than 1st August (payment can still be sent later). Registration forms received after that date will not be entitled to early registration fees. - We are grateful to EPSRC (the UK Engineering and Physical Sciences Research Council) for funding part of the organisation costs of EASSS07. We will therefore give grants covering *part* of the registration costs (total cost of registration is GBP 100) to a significant number of PhD students attending EASSS07. Those who wish to apply for such grants should email To: durham.agents007 at durham.ac.uk Subject: EASSS07 grant application with a short (no longer than 1 paragraph) description of their research interests, and a brief explanation of how their attendance is being funded. Applicants who have not yet filled in the registration form should add full personal details and affiliation. MALLOW'007 news: ---------------- - Thanks to the support of EPSRC, MALLOW007 will have four invited speakers: * Munindar Singh (NCSU, USA) * Wiebe van der Hoek (Liverpool, UK) * Andrzej Szalas (Linkoping, Sweden) * Dave Robertson (Edinburgh, UK) Watch out the workshops' webpages for the list of accepted papers, due to be announced by end of July. From friedmann.alexander at uqam.ca Mon Jul 16 17:32:00 2007 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Mon, 16 Jul 2007 11:32:00 -0400 (EDT) Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Mon, 16 Jul 2007, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > ------- Alex Friedmann tel: (514) 987-3000 ext. 3219 Dept. d'Informatique fax: (514) 987-8477 U.Q.A.M. e-mail :alexander dot friedmann dot uqam.ca C.P. 8888 Centre-Ville Montreal Canada, H3C 3P8 From nick at cs.uu.nl Tue Jul 17 11:25:30 2007 From: nick at cs.uu.nl (Nick Tinnemeier) Date: Tue, 17 Jul 2007 11:25:30 +0200 Subject: subscribe Message-ID: <469C8B0A.3040608@cs.uu.nl> From nick at cs.uu.nl Tue Jul 17 11:36:58 2007 From: nick at cs.uu.nl (Nick Tinnemeier) Date: Tue, 17 Jul 2007 11:36:58 +0200 Subject: 3548899458 In-Reply-To: References: Message-ID: <469C8DBA.1020000@cs.uu.nl> event administration wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 3548899458, > the reply is directed to , > and the 'From' address of your reply is . > >If you do not want to confirm the requested operation, simply do nothing > >All requests about this mailing list > should be sent to > > > From alessio at doc.ic.ac.uk Tue Jul 17 18:18:31 2007 From: alessio at doc.ic.ac.uk (Alessio Lomuscio) Date: Tue, 17 Jul 2007 17:18:31 +0100 Subject: Post-doc position at Imperial College London - Verification of autonomous underwater vehicles via model checking Message-ID: <469CEBD7.3090905@doc.ic.ac.uk> With apologies for multiple copies. ========================================================= Research Assistant or Research Associate (fixed term) Methods of reliability-control for autonomous underwater vehicles Salary: £23,850 - £34,750 per annum Closing date: 30th July 07 The Department of Computing is a leading department of Computer Science among the UK Universities. It has consistently been awarded the highest research rating (5*) in Research Assessment Exercises and was rated as "Excellent" in the previous national assessment of teaching quality. We currently have one open postdoc position (Research Assistant/Associate) to work on the EPSRC project “Methods of reliability-control for autonomous underwater vehicles” (EP/02727X/1), to develop methodologies based on model checking for the verification of control systems for autonomous underwater vehicles. The ideal candidate will have a PhD or an advanced MSc in Computer Science or related areas and have direct research expertise in one or more of the following topics: • Logic and modal logic, especially temporal and epistemic logic; • Automatic verification by symbolic model checking; • Legacy systems, real-time systems. It is essential for the appointed candidates to be able to work as part of a team with peers and senior academics and to have good communication and presentation skills. The appointed Research Assistant/Associate will be working at the South Kensington Campus in the Department of Computing. Partners of the research project will be the team at the University of Southampton lead by Prof Sandor Veres and the National Oceanographic Centre in Southampton. The project is set to run for 36 months. The post is for a fixed term of up to 36 months beginning no later than 1 November 2007 and preferably before September 2007. The post is to be held within the Logic and Artificial Intelligence section, see job description for a more details. More information on the research section may be found at http://www.doc.ic.ac.uk/research/strategy/sections/LAI/. Applications must include the following:- * A College application form, which can be obtained from http://www3.imperial.ac.uk/employment/applicationformnonclinlecsenlecclinsenlec * State job reference number 12181 on the application form * A full CV Preference will be given to applicants with a proven research record in relevant areas. Applications should be sent to: Nicola Rogers Department of Computing, Imperial College London, London, SW7 2AZ UK e-mail: n.c.rogers at imperial.ac.uk fax: +44 (0)20 75948282 Informal enquiries are welcome and should be addressed to: Dr A Lomuscio Department of Computing Imperial College London London, SW7 2AZ UK e-mail: a.lomuscio at imperial.ac.uk Imperial College London values diversity and is committed to equality of opportunity. From mirek at cs.uky.edu Wed Jul 18 03:36:30 2007 From: mirek at cs.uky.edu (Miroslaw Truszczynski) Date: Tue, 17 Jul 2007 21:36:30 -0400 Subject: ISAIM-2008 CFP Message-ID: <5394f5540707171836g261b13e0u5e9a0774b4126e7f@mail.gmail.com> Please, distribute this CFP. Thanks. Mirek -------------------------------CUT HERE--------------------------------- CALL FOR PAPERS Tenth International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS ISAIM 2008 http://isaim2008.unl.edu January 2-4, 2008 Fort Lauderdale, Florida PAPER SUBMISSION DEADLINE: Monday, October 1, 2007 The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions. INVITED SPEAKERS: o David McAllester, Toyota Technological Institute at Chicago, USA o Francesca Rossi, Padova University, Italy o Naftali Tishby, The Hebrew University, Israel SPECIAL TOPIC INVITED SESSIONS: o Logic in Artificial Intelligence -Special Session in Honor of the 65th Birthday of Victor Marek -Organized by Michael Kaminski and Mirek Truszczynski. o Computation and Social Choice -Organized by Toby Walsh, NICTA and University of New South Wales Other special sessions may be announced soon. PAPER SUBMISSION: Paper submission will be electronic via the submission link on the Symposium web-site (isaim2008.unl.edu). Papers must be formatted in accordance with the guidelines in the "Paper Submission" chapter of the web site. The submission deadline is Monday, October 1, 2007 (11:59PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by Wednesday, October 31, 2007. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by Wednesday, November 21, 2007. Note that papers may be submitted to the Symposium even if submitted to other conferences or journals, because the Symposium web site is not archival. Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Any questions regarding paper submission should be sent to the program co-chairs to the email address . IMPORTANT DATES: Paper submission: Monday, October 1, 2007 Notification: Wednesday, October 31, 2007 Final version due: Wednesday, November 21, 2007 TRAVEL SUPPORT: Limited travel support is available for students. Please contact isaim2008 AT cse.unl.edu for information. ORGANIZERS: o General Chair: Martin Charles Golumbic, University of Haifa o Conference Chair: Frederick Hoffman, Florida Atlantic University o Program Co-Chairs: Berthe Y. Choueiry, University of Nebraska-Lincoln and Bob Givan, Purdue University o Publicity Chair: Mehran Sahami, Stanford University PROGRAM COMMITTEE: Michael Bowling University of Alberta Ronen Brafman Ben-Gurion University Yixin Chen Washington University in St Louis Rina Dechter University of California, Irvine Alan Fern Oregon State University Hector Geffner Universitat Pompeu Fabra Malte Helmert Albert-Ludwigs-Universitat Freiburg Michael Kaminski Technion Kristian Kersting Massachusetts Institute of Technology Roni Khardon Tufts University Sven Koenig University of Southern California Richard Korf University of California, Los Angeles Manolis Koubarakis National and Kapodistrian University of Athens Gerhard Lakemeyer Aachen University of Technology Guy Lebanon Purdue University-West Lafayette Hector Levesque University of Toronto Vladimir Lifschitz University of Texas, Austin Alan K. Mackworth University of British Columbia Michela Milano Universita di Bologna Brian Milch Massachusetts Institute of Technology Bernhard Nebel Albert-Ludwigs-Universitat Freiburg David Page University of Wisconsin, Madison Ronald Parr Duke University Pascal Poupart University of Waterloo Henri Prade IRIT and Universite de Toulouse Steven Prestwich Cork Constraint Computation Center Jussi Rintanen NICTA Jeff Rosenschein The Hebrew University of Jerusalem Andrea Schaerf University of Udine Bart Selman Cornell University Meinolf Sellmann Brown University Thomas Stuetzle Universite Libre de Bruxelles Miroslaw Truszczynski University of Kentucky Hudson Turner University of Minnesota, Duluth Peter van Beek University of Waterloo Toby Walsh NICTA and University of New South Wales Nic Wilson Cork Constraint Computation Center Michael Wooldridge University of Liverpool Neil Yorke-Smith SRI International Weixiong Zhang Washington University Luke Zettlemoyer Massachusetts Institute of Technology Shlomo Zilberstein University of Massachusetts, Amherst Additional program committee members are anticipated. ADVISORY COMMITTEE: The Editor-in-Chief (Martin Charles Golumbic) and the members of the Editorial Board of Annals of Mathematics and Artificial Intelligence serve as the permanent Advisory Committee of the Symposium. SPONSORS: The Symposium is partially supported by: o Annals of Mathematics and Artificial Intelligence o Caesarea Rothschild Institute at the University of Haifa o Florida Atlantic University (Department of Mathematical Sciences) o Florida-Israel Institute o Google Inc. ISAIM 2008 is held in cooperation with AAAI. Send inquiries and requests: isaim2008 AT cse.unl.edu. Check symposium web-page: http://isaim2008.unl.edu. Join isaim at googlegroups.com to receive announcements related to ISAIM. -------------------------------CUT HERE--------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tc at cs.bath.ac.uk Wed Jul 18 12:36:07 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Wed, 18 Jul 2007 11:36:07 +0100 Subject: 2nd CfP: AgentcitiesUK.net Challenge Day on Agents and Pervasive Computing Message-ID: <469DED17.20507@cs.bath.ac.uk> ========================================================================= CALL FOR PARTICIPATION AgentcitiesUK.net Challenge Day 6: Agents and Pervasive Computing University of Bath, UK 29th -- 30th August 2007 REGISTRATION NOW OPEN: http://agentcitiesuk.net/ ========================================================================= This is a call for participation in the sixth AgentcitiesUK.net Challenge Day on Agents and Pervasive Computing, to be held on 29th-30th August 2007 at the University of Bath, UK. Aims and Scope -------------- This is the sixth and final meeting in a series that has previously investigated issues in e-Health provision (CD1), e-Government (CD2), e-Transportation (CD3), Disaster Response and Management (CD4) and Agents and Grids (CD5). The purpose of this "Challenge Day" is both to explore and extrapolate from current research and to brainstorm on completely new possibilities for the use of agent technologies in pervasive computing, as well as introduce non-specialists to the possibilities agents can offer. The focus will be on how agents can help us with tasks that we are unable to do now -- not just automating existing practices. The aims are to identify real agent added-value and develop sustainable arguments that autonomy is an opportunity, not a threat. The goal of the sixth AgentcitiesUK.net Challenge Day is (i) to provide a forum for projects that are attempting to bring these technologies together as well as (ii) an opportunity for established researchers in either area to find out more about the other, with the objective of (iii) building a consensus for a joint research agenda. Some possible discussion themes include: -healthcare and assisted living (e.g. Healthcare at Home) -social spaces (e.g. Cityware) -differences in living (supporting people) and external applications (looking after environment) -sensors and monitoring -ubiquitous computing (e.g. UbiNet) We invite applications for participation from UK-based researchers (including postgraduate students) from the agent and pervasive computing communities, along with stakeholders from the industrial and public sectors. Structure --------- The meeting will take place over two days, starting in the morning of day one and finishing mid-afternoon on day two. Dinner will be provided on the evening of day one. The discussion leaders will outline particular problems for which agent technology might offer solutions: this will be interactive -- a mixture of brainstorming and requirements elicitation. A session during the first day will be spent working in groups focussing on specific problems/scenarios followed by reporting back to the workshop as a whole. The dinner in the evening will provide a context for further exploration of the ideas generated earlier. The second day will comprise further talks plus a discussion mediated by the rapporteurs from the groups of the previous day. After lunch we will conclude by looking at potential future directions for research and follow-up actions. Networking and internet access facilities will be provided throughout the meeting. Application Procedure --------------------- We invite applications for participation from UK-based researchers, including postgraduate students with interests in the applications development in fields relating to multi-agent systems and pervasive computing. All places will include funded accommodation at the University of Bath on the night of the 29th August, along with subsistence and travel support. FUNDING IS ONLY AVAILABLE TO UK PARTICIPANTS AND UK-BASED RESEARCHERS. However, it may possible to fund the UK portion of overseas participants' travel. REGISTRATION IS NOW OPEN: To apply for a place please visit http://agentcitiesuk.net/ and fill out the CD6 event registration form. We ask that potential participants prepare a paragraph detailing their research interests and potential discussion topics for the Challenge Day. Important Dates --------------- 17th August 2007: Registration deadline 20th August 2007: Notification of places and grants 29th/30th August 2007: Challenge Day For further information, visit the AgentcitiesUK.net website or contact cd6-registration at agentcitiesuk.net. CD6 Steering Committee: Julian Padget, University of Bath (jap at cs.bath.ac.uk) About AgentcitiesUK.net ----------------------- AgentcitiesUK.net is an EPSRC-funded project which exists to continue and extend the lines of research and development initiated by the EU-funded agentcities projects within the United Kingdom. Specifically, the project goals include: - Establish a support network for UK agents research - diffusion of EU agentcities outputs - Create and maintain a body of experience in agent-based services - Provide a national/European context for masters and doctoral research in agent-based services - Develop infrastructure and framework for a distributed laboratory for agent experiments - Liaison with AgentLink and other EU agent activities From thehungrymind at gmail.com Wed Jul 18 17:57:48 2007 From: thehungrymind at gmail.com (Hungry Mind) Date: Wed, 18 Jul 2007 11:57:48 -0400 Subject: [DL] Final Call for Papers: OIC 2007: Ontology for the Intelligence Community, Nov. 28-30, 2007, Columbia, MD, USA (1 week for paper submissions) In-Reply-To: <9F771CF826DE9A42B548A08D90EDEA80021D1BDA@IMCSRV1.MITRE.ORG> References: <9F771CF826DE9A42B548A08D90EDEA80021D1BDA@IMCSRV1.MITRE.ORG> Message-ID: <5c8377410707180857i157383bew5e966be681f11674@mail.gmail.com> Please unsubscribe me from this list. I tried to do it but it seems it didn´t work. On 7/9/07, Obrst, Leo J. wrote: > Apologies for cross-postings; please forward to colleagues and > prospective interested parties. > > NOTE: 1 week until paper submission date: July 15, 2007 > > NEWS: > > Registration is now open: see http://ncor.us/oic2007. > > Plenary speakers will include David C. Roberts (Chief Technology > Officer and Chief Data Architect, CIA) and Steven Robertshaw (Defence > Science and Technology Laboratory, UK), and the program will also > feature a special session on the topic OWL: Why, and Why Not? with > panelists Bill Andersen (Ontology Works), Mike Dean (BBN > Technologies), Leo Obrst (The MITRE Corporation), Barry Smith (NCOR), > and Chris Welty (IBM Watson Research Center). > > ======================================== > > OIC 2007: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY > > Towards Effective Exploitation and Integration of Intelligence > Resources > > Hilton Hotel, Columbia, MD > > November 28-30, 2007 (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 (maximum: 1500 > words, including all footnotes > and references) designed to serve as the basis for 20-minute oral > presentations at the conference. > Accepted papers will be published in a volume of CEUR Workshop > Proceedings. 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, to be published by IOS Press. > > 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? > > 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 > > --- > ** You received this mail via the description logic mailing list; for more ** > ** information, visit the description logic homepage at http://dl.kr.org/. ** > From brewka at informatik.uni-leipzig.de Wed Jul 18 15:27:25 2007 From: brewka at informatik.uni-leipzig.de (Gerhard Brewka) Date: Wed, 18 Jul 2007 15:27:25 +0200 Subject: KR 2008 Message-ID: <000001c7c93f$64db3a40$d10d128b@informatik.informatik.unileipzig.de> Call for Papers KR 2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, Sept. 16-19, 2008 collocated with NMR-08, ICAPS-08 and CP-08 Paper submission deadline: March 15, 2008 The call is available under www.informatik.uni-leipzig.de/~brewka/KRcall.pdf -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From franconi at inf.unibz.it Thu Jul 19 11:37:16 2007 From: franconi at inf.unibz.it (Enrico Franconi) Date: Thu, 19 Jul 2007 11:37:16 +0200 Subject: European Master in Computational Logic - openings and scholarships for Europeans Message-ID: *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Specialistica). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain This program, completely in English, involves studying one year at the Free University of Bozen-Bolzano, and completing the second year with a stay in one of the partner universities. After this, the student will obtain, together with the European degree, two Master of Science degrees: the Laurea Specialistica degree from the Free University of Bozen-Bolzano, with legal value in Italy, and the respective Master of Science degree from the visited university, with legal value in its country. ********************************************************************** NEW! Every year 10 EMCL students with European citizenship can visit Australia (Canberra, Sidney, Melbourne or Brisbane) up to 3 months to work on a research project, sponsored by the European Master. The study period in Australia is part of the study programme and it is fully recognised by the European Master's Program in Computational Logic. The guaranteed scholarship is of 3,100 € and it covers the travel and living expenses in Australia. ********************************************************************** The European Masters Program in Computational Logic is one of the few European Masters of Science awarded by the European Union's Erasmus Mundus programme since its first year of existence in 2004. The Erasmus Mundus programme is a co-operation and mobility programme in the field of higher education which promotes the European Union as a centre of excellence in learning around the world by supporting European top-quality Masters Courses. LAST APPLICATION DEADLINE: - 24 August 2007: last deadline only for European students starting at the Free University of Bozen-Bolzano, Italy (notification of acceptance: 10 September 2007) SCHOLARSHIPS & MONEY SUPPORT: European citizens can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. Scholarships may amount up to more than 6,000 EUR per academic year, including support on the accommodation and total reimbursement of the enrolment fees. These scholarships are also available to non-European citizens with residence in Italy. Check the web page for detailed info on other available scholarships: http://www.computational-logic.eu THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Specialistica in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Prof. Enrico Franconi or Dr. Sergio Tessaris at info at fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0461 173 9006 Email: info at fub.computational-logic.eu Web site: http://www.computational-logic.eu -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/pkcs7-signature Dateigröße : 2425 bytes Beschreibung: nicht verfügbar URL : From info at eurosis.org Thu Jul 19 14:51:49 2007 From: info at eurosis.org (Eurosis) Date: Thu, 19 Jul 2007 14:51:49 +0200 Subject: [EUROSIS-AD] ESM'2007, October 22-24, 2007, St.Julian's, Malta, LATE SUBMISSION DEADLINE OF JULY 25 Message-ID: <200707191251.l6JCpnxE002740@hb1321.hostbasket.com> ------------ESM'2007, OCTOBER 22-24, 2007, ST.JULIAN'S, MALTA, LATE SUBMISSION DEADLINE OF JULY 25------------ Dear Colleague, a quick reminder that the final abstract submission deadline of July 25th for ESM 2007 (October 22-24 in Malta) is next week. With this email I would also like to thank those of you, who have already sent in a submission. Reviews of these submissions will be in by August 10. More information about the conference on: http://www.eurosis.org/cms/index.php?q=node/208 Regards Philippe -- Unsubscribe from this newsletter: http://www.eurosis.org/cms/?q=newsletter/confirm/remove/4d67306f558885t86 From sadighim at gmail.com Sat Jul 21 16:05:55 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sat, 21 Jul 2007 07:05:55 -0700 Subject: WARNING! (3142569372) In-Reply-To: References: Message-ID: On 7/16/07, event administration wrote: > > 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: 3142569372, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sadighim at gmail.com Sat Jul 21 16:06:54 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sat, 21 Jul 2007 07:06:54 -0700 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 7/21/07, event administration wrote: > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2516455161, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From t.dinoia at poliba.it Mon Jul 23 11:05:16 2007 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Mon, 23 Jul 2007 11:05:16 +0200 Subject: Final CFP: ISWC'07 Service Matchmaking and Resource Retrieval in the Semantic Web - Workshop Message-ID: <1185181516.7485.40.camel@localhost> [We apologize for multiple copies] !!! D E A D L I N E A P P R O A C H I N G !!! ============ CALL FOR PAPERS ================= First International Joint Workshop SMR2 2007 on Service Matchmaking and Resource Retrieval in the Semantic Web http://www-ags.dfki.uni-sb.de/~klusch/smr2/ Co-located with the 6th International Semantic Web Conference ISWC 2007 November 11, 2007 Busan, South Korea + Aims & Scope: One challenge of service coordination in the semantic Web is concerned with how to best connect the ultimate service requester with the ultimate service provider? Like intermediaries in the physical economy, a special kind of software agents, so called middle-agents, is supposed to solve this problem based on the declarative characterization of the capabilities of both service requester and provider agents. In fact, the standard Web service interaction life cycle corresponds to the classical service matchmaking process. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from web-services, grid computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, or social networks applications such as mating and dating services. The SMR2 workshop provides a forum for promoting, presenting, and discussing the latest scientific advances on semantic Web service and resource retrieval; and Establishing and fostering cross-disciplinary relations between relevant parties in research and/or business for the purpose of joint work on solutions to relevant problems in the domain. For this workshop the organizing committees of both previous high quality workshops SMR (Semantic Matchmaking and Resource Retrieval) and SDISCO (Service Discovery on the WWW) are joining forces together with the S3 contest initiative. + Topics of interest: - Advanced searching of services and other resources in the semantic Web - Approaches to matchmaking and brokering in the semantic Web, with particular emphasis on semantic web services - Semantic retrieval of resources and services in P2P and Grid networks - Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply chain - Composition planning of semantic Web services - Negotiation of semantic Web services and resources - Interleaving of discovery, composition, and negotiation of semantic Web services - Formal description and handling of semantic Web services, queries, and resources - Non-functional service properties and their use for discovery (and composition) - Trust issues of semantic Web service discovery - Prototypes and tools for semantic Web services engineering - Practical and user-oriented issues and experiences of implementing semantic Web service retrieval - Experimental comparative evaluation of implemented SW service retrieval tools + Going to Practice: The First Semantic Service Selection (S3) Contest This year, the SMR2 workshop also integrates the first edition of the open international contest on semantic service selection (S3). More information on the contest are available at http://www.dfki.de/~klusch/s3/ + Important Dates: Submission deadline: July 27, 2007 Authors notification: August 24, 2007 Camera-ready due: September 7, 2007 + Joint Organisation Committee: Abraham Bernstein (U Zurich, Switzerland) Tommaso Di Noia (TU Bari, Italy) Takahiro Kawamura (Toshiba Research, Japan) Matthias Klusch (DFKI, Germany) Ruben Lara (AFI, Spain) Alain Leger (France Telecom Research, France) David Martin (SRI International, USA) Massimo Paolucci (NTT DoCoMo Research Europe, Germany) Axel Polleres (DERI Galway, Ireland) Ioan Toma (DERI Innsbruck, Austria) From conf at deweerdt.org Tue Jul 24 13:11:46 2007 From: conf at deweerdt.org (Mathijs de Weerdt) Date: Tue, 24 Jul 2007 13:11:46 +0200 Subject: CfP Special issue in Multiagent and Grid Systems: Coordinating Agents' Plans and Schedules Message-ID: <46A5DE72.7000902@deweerdt.org> ************************************************************ Call for Papers Special Issue of Multiagent and Grid Systems on Coordinating Agents' Plans and Schedules (CAPS) URL: http://www.st.ewi.tudelft.nl/~mathijs/mags08/ Guest editors: Brad Clement, Mathijs de Weerdt ************************************************************ Multiagent planning is concerned with planning by (and for) multiple agents. Nowadays a major issue in multiagent planning is the coordination of single-agent planners. Here, coordination is studied not only during the execution of plans, but also in the (pre)-planning phase. A wide range of real applications could benefit from such coordinated planning technology, for example, in transportation and logistics, health care management, space missions, military tasks, and disaster management. Also, planning in the context of human-computer (or human-robot) interaction is inherently a multiagent planning task. Coordinating the plans of the involved entities up front has the potential to improve the efficiency of the whole system. However, currently, a great amount of research seems to focus solely on either planning, or the coordination of agents without the context of a plan. The purpose of this special issue is to bring together advanced work that addresses the problems that arise when coordinating the plans and schedules of multiple agents. We therefore solicit papers with original work, as well as surveys that relate to one or more of the following questions: 1. Which applications require decentralized planning? (a) Can we derive benchmark problems from these applications? 2. How can we evaluate multiagent planning techniques? (a) How to measure communication costs, privacy loss, flexibility and robustness? (b) How to measure plan quality when agents are self-interested (e.g., multi-objective optimization, or game theoretical concepts such as Pareto optimal solutions)? 3. What are efficient techniques to deal with the many problems inherent to a dynamic and uncertain multiagent world? (a) How to deal with local autonomy, privacy issues, and conflicting preferences? (b) How to deal with uncertainty and incomplete information? (c) How to coordinate multiagent plan diagnosis and (local) plan repair? (d) How to coordinate plans when agents' objectives (tasks, intentions, preferences,...) evolve over time? Submissions should clarify their relevance to these questions. To summarize, specific topics of interest include (but are not limited to): * multiagent planning and scheduling applications * strategies for testing/evaluating distributed plan/schedule management techniques * self-interested planning agents * privacy in distributed planning * game theoretic planning * managing local autonomy in team planning/scheduling * mixed initiative and adjustable autonomy in distributed planning/scheduling * negotiation over tasks/intentions in distributed planning/scheduling * distributed continual planning/scheduling * plan/schedule maintenance in single and multiagent systems * plan/schedule repair in stochastic and adversarial domains * active (distributed) monitoring to trigger plan/schedule maintenance * distributed planning under uncertainty * multiagent planning with sparse or unreliable communication IMPORTANT DATES * Deadline for submissions: November 18, 2007 * Notifications: February 2008 * Deadline for revisions: Spring 2008 * Publication: Begin 2009 Please contact the guest editors with any queries: * Brad Clement, Jet Propulsion Laboratory, Pasadena * Mathijs de Weerdt, Delft University of Technology From A.M.King at kent.ac.uk Wed Jul 25 09:40:45 2007 From: A.M.King at kent.ac.uk (A.M.King) Date: Wed, 25 Jul 2007 08:40:45 +0100 Subject: LOPSTR 2007 Call for Participation Message-ID: ***************************************************************** Call for Participation SAS 2007 - LOPSTR 2007 - PLID 2007 Kongens Lyngby, Denmark ****************************************************************** CONFERENCES LOPSTR 2007, August 23-24 International Symposium on Logic-based Program Synthesis and Transformation http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ Talks schedule: http://www.cs.kent.ac.uk/events/conf/2007/lopstr/program.htm SAS 2007, August 22-24 Static Analysis Symposium http://www.imm.dtu.dk/sas2007 Talks schedule: http://www.imm.dtu.dk/sas2007/program.htm PLID 2007, August 21 Workshop on Programming Language Interference and Dependence http://www.dcs.kcl.ac.uk/pg/cmu/plid07/ REGISTRATION Please register online at http://palace.imm.dtu.dk/SASLOPSTR/ From nixon at inf.fu-berlin.de Wed Jul 25 14:26:13 2007 From: nixon at inf.fu-berlin.de (Lyndon J B Nixon) Date: Wed, 25 Jul 2007 14:26:13 +0200 Subject: Call for Papers: First Industrial Results of Semantic Technologies Message-ID: <03bc01c7ceb6$fe100160$d2722da0@pcpool.mi.fuberlin.de> Apologies for multiple postings CALL FOR PAPERS The 1st International Workshop on First Industrial Results of Semantic Technology (FIRST 2007) ============================================================================ ================== at the ISWC+ASWC Conference, November 11-15 2007, Busan, Korea http://www.disa.unitn.it/net-economy/first/index.html co-located with the 6th International Semantic Web Conference and the 2nd Asian Semantic Web Conference 2007. Submission Deadline: August 23, 2007 ==================================== Description The goal of the FIRST workshop is to demonstrate the early adoption of semantic technologies by enterprises, and to promote further technology transfer from Semantic Web research to industry. It will bring industry and research together to present and discuss the pros and cons of applying semantic technologies in business processes, not only to identify how industrial requirements can be met, but also important issues of technology maturity, accessibility, integration into existing enterprise IT structures and maintenance throughout the entire ontology and metadata lifecycle. Call for Submissions We seek concrete reports of technology transfer to industry of Semantic Web technologies. In particular, we invite industry representatives to report on first experiences from the application and use of semantic technology within business processes. The workshop provides an opportunity to inform the research community of industrial requirements and gain feedback from technology developers. Workshop submissions will be electronic and should follow the ISWC guidelines (PDF, formatting according to Springer guidelines, no more than 14 pages). Submissions can be made at https://cmt.research.microsoft.com/ISWC2007. Papers will be published in an accompanying online proceedings as well as hardcopy which will be available to all workshop attendees. Topics of Interest We aim for a broad range of topics to be covered in terms of their industrial value and barriers to uptake, including (but not limited to): * Ontology Engineering * Metadata Extraction * Reasoning * Mediation * Data Integration * Semantic Web Services * Search and Personalisation * Ontology methodologies in business practice; * Ontologies and corporate knowledge; * Representation of knowledge and business processes; * Linguistic representation in organizational knowledge; * Enterprise modeling; * Ontology evaluation; * Ontologies and electronic catalogs; * Ontologies and e-commerce; * Ontologies in the practice of engineering; * Ontologies in the practice of medical sciences; * Ontologies in finance; * Ontologies and e-government. Important Dates --------------- August 23, 2007 - Submission of papers September 10, 2007 - Notification of acceptance September 30, 2007 - Submission of camera-ready paper November 11-15, 2007 - Workshop during ISWC+ASWC Conference Organizing Committee -------------------- Lyndon Nixon (Free University Berlin, Germany) Roberta Cuel (University of Trento, Italy) Claudio Bergamini (Imola Informatica, Italy) Program Committee ----------------- Richard Benjamin, ISOCO, Spain Elmar Dorner, SAP AG, Germany Roberta Ferrario, LOA-CNR, Italy Christian Fillies, Semtation Gmbh, Germany Tim Geisler, webXcerpt Software GmbH, Germany Ruben Lara, Tecnologia, Informacion and Finanzas, Spain Andreas Persidis, Biovista, Greece Jean Rohmer, Thales group, France Hans-Peter Schnurr, Ontoprise and Customer, Germany Paul Warren, British Telecom, UK David Wood, Mindswap, USA Sponsored by the EU Network of Excellence KnowledgeWeb. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ok at caucasus.net Wed Jul 25 16:32:02 2007 From: ok at caucasus.net (ok at caucasus.net) Date: Wed, 25 Jul 2007 18:32:02 +0400 (GEST) Subject: Call for Applications: the NATO ASI RECENT ADVANCES IN LANGUAGE ENGINEERING In-Reply-To: <03bc01c7ceb6$fe100160$d2722da0@pcpool.mi.fuberlin.de> References: <03bc01c7ceb6$fe100160$d2722da0@pcpool.mi.fuberlin.de> Message-ID: <1230.85.117.48.246.1185373922.squirrel@webmail.caucasus.net> Apologies for multiple postings ************************************ I want to bring to your attention an information about the NATO ASI on RECENT ADVANCES IN LANGUAGE ENGINEERING FOR LOW- AND MIDDLE-DENSITY LANGUAGES, September 17 - 28, 2007, BATUMI, GEORGIA. (attached) Please, circulate this e-mail to people around you who might be interested. Thank you very much in advance. Prof. Oleg Kapanadze the NATO Advanced Study Institute Co-Director -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: ASI0.html URL: From axel.polleres at deri.org Thu Jul 26 18:44:01 2007 From: axel.polleres at deri.org (Axel Polleres) Date: Thu, 26 Jul 2007 17:44:01 +0100 Subject: Deadline Extension: ISWC'07 Service Matchmaking and Resource Retrieval in the Semantic Web - Workshop Message-ID: <46A8CF51.9050709@deri.org> [We apologize for multiple copies] !!! E X T E N D E D D E A D L I N E : August 13th 2007!!! ========================= CALL FOR PAPERS ========================= First International Joint Workshop SMR2 2007 on Service Matchmaking and Resource Retrieval in the Semantic Web http://www-ags.dfki.uni-sb.de/~klusch/smr2/ Co-located with the 6th International Semantic Web Conference ISWC 2007 November 11, 2007 Busan, South Korea + Aims & Scope: One challenge of service coordination in the semantic Web is concerned with how to best connect the ultimate service requester with the ultimate service provider? Like intermediaries in the physical economy, a special kind of software agents, so called middle-agents, is supposed to solve this problem based on the declarative characterization of the capabilities of both service requester and provider agents. In fact, the standard Web service interaction life cycle corresponds to the classical service matchmaking process. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from web-services, grid computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, or social networks applications such as mating and dating services. The SMR2 workshop provides a forum for promoting, presenting, and discussing the latest scientific advances on semantic Web service and resource retrieval; and Establishing and fostering cross-disciplinary relations between relevant parties in research and/or business for the purpose of joint work on solutions to relevant problems in the domain. For this workshop the organizing committees of both previous high quality workshops SMR (Semantic Matchmaking and Resource Retrieval) and SDISCO (Service Discovery on the WWW) are joining forces together with the S3 contest initiative. + Topics of interest: - Advanced searching of services and other resources in the semantic Web - Approaches to matchmaking and brokering in the semantic Web, with particular emphasis on semantic web services - Semantic retrieval of resources and services in P2P and Grid networks - Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply chain - Composition planning of semantic Web services - Negotiation of semantic Web services and resources - Interleaving of discovery, composition, and negotiation of semantic Web services - Formal description and handling of semantic Web services, queries, and resources - Non-functional service properties and their use for discovery (and composition) - Trust issues of semantic Web service discovery - Prototypes and tools for semantic Web services engineering - Practical and user-oriented issues and experiences of implementing semantic Web service retrieval - Experimental comparative evaluation of implemented SW service retrieval tools + Going to Practice: The First Semantic Service Selection (S3) Contest This year, the SMR2 workshop also integrates the first edition of the open international contest on semantic service selection (S3). More information on the contest are available at http://www.dfki.de/~klusch/s3/ + Important Dates: Submission deadline: *NEW* August 13, 2007 Authors notification: *NEW* September 7, 2007 Camera-ready due: *NEW* September 21, 2007 + Joint Organisation Committee: Abraham Bernstein (U Zurich, Switzerland) Tommaso Di Noia (TU Bari, Italy) Takahiro Kawamura (Toshiba Research, Japan) Matthias Klusch (DFKI, Germany) Ruben Lara (AFI, Spain) Alain Leger (France Telecom Research, France) David Martin (SRI International, USA) Massimo Paolucci (NTT DoCoMo Research Europe, Germany) Axel Polleres (DERI Galway, Ireland) Ioan Toma (DERI Innsbruck, Austria) From Jaafar.Gaber at utbm.fr Thu Jul 26 19:07:15 2007 From: Jaafar.Gaber at utbm.fr (Jaafar.Gaber at utbm.fr) Date: Thu, 26 Jul 2007 19:07:15 +0200 Subject: IEEE GLOBECOM07 Workshop Message-ID: <1185469635.46a8d4c389159@webmail.utbm.fr> ------------------------------------------------------------ apologize if you received multiple copies of this message Please distribute it to those who might be interested ------------------------------------------------------------- CALL FOR PAPERS for IEEE Workshop on Service Discovery and Composition in Ubiquitous and Pervasive Environments, with IEEE GLOBECOM07, 26-30 November 2007, Washington DC Please visit http://www.ieee-globecom.org/2007/tuts.html and http://hpcl.seas.gwu.edu/~bakhouya/SUPE'07.htm for more information Accepted papers will be available on IEEExplore. Best regards, --J.Gaber From Thomas.Lukasiewicz at dis.uniroma1.it Sun Jul 29 00:45:03 2007 From: Thomas.Lukasiewicz at dis.uniroma1.it (Thomas Lukasiewicz) Date: Sun, 29 Jul 2007 00:45:03 +0200 Subject: URSW 2007 Final Call for Papers Message-ID: <46ABC6EF.5060201@dis.uniroma1.it> FINAL CALL FOR PAPERS ******************************************************************************** 3rd Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw2007 In conjunction with the 6th International Semantic Web Conference Busan - Korea November 12, 2007 ******************************************************************************** You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 6th International Semantic Web Conference (ISWC) in November of 2007 in Busan - Korea. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following * Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies * Semantic web developers and researchers * People in the knowledge representation community with interest in the Semantic Web * Ontology researchers and ontological engineers * Web services researchers and developers with interest in the Semantic Web * Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protege and Protege-OWL developers TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * Using fuzzy approaches to deal with imprecise concepts within ontologies * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web * The role of uncertainty as it relates to Web services * Interface protocols with support for uncertainty as a means to improve interoperability among Web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web * Issues and techniques for integrating tools for representing and reasoning with uncertainty * The future of uncertainty reasoning for the Semantic Web IMPORTANT DATES August 1, 2007 Paper submissions due September 12, 2007 Paper acceptance notification October 02, 2007 Camera-ready papers due November 12, 2007 3rd Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2007 Conference, and committed to attend the URSW Workshop. Submissions to the Workshop are only accepted in electronic format and should be sent via the workshop's submission site: https://cmt.research.microsoft.com/ISWC2007/default.aspx. Papers must be submitted in PDF format, and follow the same submission format used by the ISWC 2007 Conference, the Springer Publications format for Lecture Notes in Computer Science (LNCS), available at http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html. Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 2 pages. Following the general acceptance rules of the ISWC 2007 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings, which will be available as a separate publication after the Conference. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 5-minute slot to share their ideas. In addition, both technical and position papers will be published in the URSW Workshop proceedings, to be available after the ISWC 2007 Conference. PROGRAM COMMITTEE The program committee is as follows (in alphabetical order): * Ameen Abu-Hanna - Universiteit van Amsterdam, the Netherlands. * Fernando Bobillo - University of Granada, Spain. * Paulo C. G. Costa - George Mason University, USA. * Fabio G. Cozman - Universidade de Sao Paulo, Brazil. * Claudia d'Amato - University of Bari, Italy. * Ernesto Damiani - University of Milan, Italy. * Nicola Fanizzi - University of Bari, Italy. * Francis Fung - Information Extraction & Transport, Inc., USA. * Linda van der Gaag - Universiteit Utrecht, The Netherlands. * Ivan Herman - C.W.I., the Netherlands. W3C Activity Lead for the Semantic Web. * Kathryn B. Laskey - George Mason University, USA. * Kenneth J. Laskey - MITRE Corporation, USA. Member of the W3C Advisory Board. * Thomas Lukasiewicz - Universit^ di Roma "La Sapienza", Italy. * Anders L. Madsen - Hugin Expert A/S, Denmark. * M. Scott Marshall Ð Adaptive Information Disclosure, Universiteit van Amsterdam, the Netherlands * Trevor Martin - University of Bristol, UK. * Bill McDaniel - DERI, Ireland. * Matthias Nickles - Technical University of Munich, Germany. * Leo Obrst - MITRE Corporation, USA. * Yung Peng - University of Maryland, Baltimore County, USA. * Michael Pool - Convera, Inc., USA. * Livia Predoiu - UniversitS(t Mannheim, Germany. * Dave Robertson - University of Edinburgh, UK. * Daniel S++nchez - University of Granada, Spain. * Elie Sanchez - UniversitZ( de La MZ(diterranZ(e Aix-Marseille II , France. * Oreste Signore - Istituto di Scienza e Technologie dell'Informazione "A. Faedo", Italy. Manager of the W3C Office in Italy. * Nematollaah Shiri - Concordia University, Canada. * Sergej Sizov - University of Koblenz-Landau, Germany. * Pavel Smrz - Brno University of Technology, Czech Republic. * Umberto Straccia - Istituto di Scienza e Technologie dell'Informazione "A. Faedo", Italy. * Heiner Stuckenschmidt - UniversitS(t Mannheim, Germany. * Masami Takikawa - Cleverset, Inc., USA. * Peter Vojtas - Charles University, Czech Republic. ORGANIZING COMMITTEE The organizing committee is as follows (in alphabetical order): * Fernando Bobillo - University of Granada, Spain. * Paulo C. G. Costa - George Mason University, USA. * Claudia d'Amato - University of Bari, Italy. * Nicola Fanizzi - University of Bari, Italy. * Francis Fung - Information Extraction & Transport, Inc., USA. * Thomas Lukasiewicz - Universita di Roma "La Sapienza", Italy. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - Technical University of Munich, Germany. * Yung Peng - University of Maryland, Baltimore County, USA. * Michael Pool - Convera, Inc., USA. * Pavel Smrz - Brno University of Technology, Czech Republic. * Peter Vojtas - Charles University, Czech Republic. We are looking forward to seeing you in Busan! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Sun Jul 29 14:24:38 2007 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Sun, 29 Jul 2007 08:24:38 -0400 (EDT) Subject: LPAR Call for Short Papers Message-ID: <20070729122438.EDCDAAFEC@sherman.cs.miami.edu> ------------------------------------------------------------------------------- LPAR 2007 Yerevan, Armenia 15th-19th October 2007 http://www.lpar.net/2007/ Call For Short Papers The 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007) will be held 15th-19th October 2007, in Yerevan, Armenia, Submission of short papers for presentation at the conference is now invited. Short papers may be research papers, describe work in progress or provide system descriptions. They need not be original. Extended versions of the short papers may be submitted concurrently or after LPAR to another conference or a journal. The page limit for short papers is 5 pages in the LNCS format. Short papers must be submitted through the EasyChair system using the Web page ... http://www.easychair.org/LPAR2007short/ Questions related to submission may be sent to the programme chairs. Proceedings ----------------- The short paper proceedings of LPAR 2007 will be published by the conference. Program Chairs ----------------- Nachum Dershowitz Tel Aviv University Andrei Voronkov University of Manchester Dates and Deadlines ----------------------- + Submission of short papers August 10 + Notification of acceptance of short papers August 17 + Camera ready versions of short papers due August 31 + Conference October 15-19 Other information can be found at the conference Web page ... http://www.lpar.net/2007/ ------------------------------------------------------------------------------- From mitchell at cs.sfu.ca Mon Jul 30 08:50:53 2007 From: mitchell at cs.sfu.ca (David G Mitchell) Date: Sun, 29 Jul 2007 23:50:53 -0700 (PDT) Subject: [Event@CIG] LPAR Call for Short Papers In-Reply-To: References: Message-ID: On Sun, 29 Jul 2007, geoff at cs.miami.edu wrote: > ------------------------------------------------------------------------------- > > LPAR 2007 > Yerevan, Armenia > 15th-19th October 2007 > http://www.lpar.net/2007/ > > Call For Short Papers > > The 14th International Conference on Logic for Programming, Artificial > Intelligence and Reasoning (LPAR 2007) will be held 15th-19th October 2007, > in Yerevan, Armenia, Submission of short papers for presentation at the > conference is now invited. > > Short papers may be research papers, describe work in progress or provide > system descriptions. They need not be original. Extended versions of the > short papers may be submitted concurrently or after LPAR to another > conference or a journal. The page limit for short papers is 5 pages in > the LNCS format. Short papers must be submitted through the EasyChair > system using the Web page ... > http://www.easychair.org/LPAR2007short/ > > Questions related to submission may be sent to the programme chairs. > > Proceedings > ----------------- > The short paper proceedings of LPAR 2007 will be published by the conference. > > Program Chairs > ----------------- > Nachum Dershowitz Tel Aviv University > Andrei Voronkov University of Manchester > > Dates and Deadlines > ----------------------- > + Submission of short papers August 10 > + Notification of acceptance of short papers August 17 > + Camera ready versions of short papers due August 31 > + Conference October 15-19 > > Other information can be found at the conference Web page ... > http://www.lpar.net/2007/ > ------------------------------------------------------------------------------- > > ------------------------------------------------------------------------ > This e-mail was delivered to you by event [at] in.tu-clausthal.de, what is a > moderated list run by Computational Intelligence Group of Clausthal > University of Technology, Germany. > > In the case of any requests, questions, or comments, do not hesitate and > contact the list administrator event-request [at] in.tu-clausthal.de ASAP. > > For all the information on the list, please visit our website > http://cig.in.tu-clausthal.de/event/ where you can also find an archive > of this list. > > To unsubscribe, E-mail to: > To switch to the DIGEST mode, E-mail to > To switch to the INDEX mode, E-mail to > Send administrative queries to > > Computational Intelligence Group, Department of Computer Science > Clausthal University of Technology > Germany, http://cig.in.tu-clausthal.de/ > > From nicola.olivetti at univ-cezanne.fr Sun Jul 29 21:24:12 2007 From: nicola.olivetti at univ-cezanne.fr (Nicola OLIVETTI) Date: Sun, 29 Jul 2007 21:24:12 +0200 (CEST) Subject: CFP, Journal of Logic and Computation, Special Issue Message-ID: <16607444.16921185737052948.JavaMail.root@frontal1> Call for papers Special issue of the JOURNAL OF LOGIC AND COMPUTATION on AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS IMPORTANT DATES Paper submission: December 15, 2007 Notification of acceptance: April 15, 2008 Publication: by the end of 2008 GENERAL INFORMATION Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. This special issue has its origins in the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'07), which was held in Aix en Provence (France) in July 2007. It will be published in the Journal of Logic and Computation by Oxford University Press. TOPICS This special issue focuses on automated reasoning with analytic tableaux. Topics of interest include the following: * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. SUBMISSIONS This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. Authors of papers presented at TABLEAUX 2007 are welcome to submit extended and revised versions of their papers. However, contributions are not limited to those based on papers presented at TABLEAUX 2007; other submission are welcome as well. All submissions will be refereed to usual journal standards. Submissions should not exceed 30 pages and preferably be written in LaTeX and be formatted according to JLC's author’ guidelines (see the link on the special issue's web page below). Submissions should be sent to (as a Postscript or PDF file): nicola.olivetti at univ-cezanne.fr EDITOR Nicola Olivetti (LSIS, Paul Cézanne University, Marseille, France) FURTHER INFORMATION For further information visit the web page: http://tableaux2007.univ-cezanne.fr/CFPJLC.htm Home page of TABLEAUX 2007: http://tableaux2007.univ-cezanne.fr/ Nicola Olivetti Chair of TABLEAUX 2007 -- Nicola Olivetti LSIS - UMR CNRS 6168 Université Paul Cézanne (Aix-Marseille 3) Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 Marseille Cedex 20 (France) email: nicola.olivetti at univ-cezanne.fr, nicola.olivetti at lsis.org phone: +33 (0)49128 9094 fax: +33 (0) 49128 8334 http://www.lsis.org/olivetti/