From tag at hib.no Sun Mar 1 20:45:15 2009 From: tag at hib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Sun, 1 Mar 2009 20:45:15 +0100 Subject: Call for bids to host EUMAS 2010 Message-ID: <00CB1705-F7FD-4CF1-B8DE-F78F2C052346@hib.no> **************************************** *** CALL FOR BIDS TO HOST *** *** EUMAS-2010 *** **************************************** BACKGROUND ---------- After Oxford (UK), Barcelona (Spain), Brussels (Belguim), Lisbon (Portugal), Hammamet (Tunisia), Bath (UK) and Ayia Napa (Cyprus), EUMAS is looking for an eighth host. The previous events attracted on average about 100 participants over 2 days, shortly before Christmas. We expect EUMAS'10 to be of similar size, timing, and to retain the informal nature of the EUMAS workshop series. See http://www.eumas.org/ for details. The proposers are expected to suggest the local organization committee (local chair, and possibly finance and sponsorship chairs) while the general chair and the programme chair will be selected by the EUMAS Advisory Board. BIDDING PROCEDURE ----------------- While there is no set format for proposals, potential applicants should address the following aspects: 1. Organisational structure. - who is/are the proposed local organiser(s)? - what experience do the above have in organising similar events? 2. Workshop venue. - where do you propose for the workshop to take place? - what facilities are available at this site? - what previous events have taken place at the site? - what are the attractive features of this venue? - how accessible is the venue? - what are the options for accommodation near the venue? 3. Organisational timetable. - what suggested timetable do the organisers have for publicity, submissions, reviews and acceptance (subject to discussion)? - are there any invited speakers proposed already? - are there additional, co-located, events? 4. Funding. - what is the outline budget for the event? - what are the expected costs for participants? - are there any potential sponsors and support organisations? Proposers are expected to have received prior approval from their respective organisations to host the event. Proposals should be submitted by email to the chair of the EUMAS Advisory Board (sascha.ossowski at urjc.es) before *** April 26, 2009 *** . The Advisory Board hopes to make a decision at its AAMAS'09 meeting. For further questions or inquiries, send an email to the chair of the EUMAS Advisory Board. ---------------------------------------------------------------------- Thomas Ågotnes Bergen University College P.O. Box 7030, N-5020 Bergen, Norway Tel: (+47) 55587229 Fax: (+47) 55587790 http://home.hib.no/ansatte/tag/ tag at hib.no From nalon at unb.br Mon Mar 2 12:55:49 2009 From: nalon at unb.br (=?utf-8?b?Q2zDoXVkaWE=?= Nalon) Date: Mon, 02 Mar 2009 08:55:49 -0300 Subject: LSFA'09 - Call for Papers Message-ID: <20090302085549.16011cl3ez6qmv5x@webmail.unb.br> Apologies for multiple posts. Please find below the second call for papers for the 4th Logical, Semantics Frameworks with Applications. -- Cláudia Nalon Organising Committee LSFA'09 UnB/IE/CIC http://www.cic.unb.br/~nalon Fourth Workshop on Logical and Semantic Frameworks, with Applications 28th June, 2009 - Brasília, Brazil Call for Papers Scope Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning. The objective of this one-day workshop is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. Topics of interest to this forum include, but are not limited to: * Logical frameworks o Proof theory o Type theory o Automated deduction * Semantic frameworks o Specification languages and meta-languages o Formal semantics of languages and systems o Computational and logical properties of semantic frameworks o Implementation of logical and/or semantic frameworks * Applications of logical and/or semantic frameworks LSFA'09 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. Submissions to the workshop will in the form of full papers. The proceedings are produced only after the meeting, so that authors can incorporate this feedback in the published papers. Invited Speakers There will be three invited talks. The following talks have already been confirmed. Delia Kesner (PPS, CNRS and Universite Paris-Diderot) Title: Theory and Practice of First-Class Patterns Jonathan Seldin (University of Lethbridge, Canada) Title: Luis Fariñas de Cerro (Université Paul Sabatier -- Toulose III, France) Title: Program Committee Mauricio Ayala-Rincón (University of Brasília, Brazil), co-chair Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK), co-chair Serge Autexier (DFKI, Bremen, Germany) Benjamin Rene Callejas Bedregal (Federal University of Rio Grande do Norte, Brazil) Mario Benevides (Federal University of Rio de Janeiro, Brazil) Guilherme Bittencourt (Federal University of Santa Catarina, Brazil) Christiano Braga (Universidad Complutense de Madrid, Spain) Andreas Brunner (Federal University of Bahia, Brazil) Marcelo Coniglio (State University of Campinas, Brazil) Clare Dixon (University of Liverpool, UK) Gilles Dowek (École Polytechnique, France) William Farmer (McMaster University, Hamilton, Ontario, Canada) Marcelo Finger (University of São Paulo, Brazil) Edward Hermann Haeusler (PUC Rio, Brazil) Tudor Jebelean (RISC Johannes Kepler University, Austria) Manfred Kerber (The University of Birmingham, UK) Luis C. Lamb (Federal University of Rio Grande do Sul, Brazil) Daniel Leivant (Indiana University, USA) João Marcos (Federal University of Rio Grande do Norte, Brazil) Ana Teresa de Castro Martins (Federal University of Ceará, Brazil) Dale Miller (INRIA, France) Flávio Leonardo Cavalcanti de Moura (University of Brasília, Brazil) Luca Paolini (Università di Torino, Italy) Alberto Pardo (Universidad de la República, Uruguay) Elaine Pimentel (Federal University of Minas Gerais, Brazil) Ruy de Queiroz (Federal University of Pernambuco, Brazil) Simona Ronchi della Rocca (Università di Torino, Italy) Amr Sabry (Indiana University, USA) Christian Urban (TUM, Germany) Freek Wiedijk (Radboud Universiteit, The Netherlands) Organizing Committee Cláudia Nalon (University of Brasília, Brazil), Local Chair Elaine Pimentel (Federal University of Minas Gerais, Brazil) Edward Hermann Haeusler (PUC Rio, Brazil) Mauricio Ayala-Rincon (University of Brasília, Brazil) Guilherme Albuquerque Pinto (University of Brasília, Brazil) Dates and Submission Paper submission: 3rd April, 2009 Author notification: 15th May, 2009 Camera ready: 31st May, 2009 Contributions should be written in English and submitted in the form full papers with at most 16 pages. They must be unpublished and not submitted simultaneously for publication elsewhere. The submission should be in the form of a PDF file uploaded to LSFA'09 page at EasyChair until the submission deadline by midnight, Central European Standard Time (GMT+1). The papers should be prepared in latex using Elsevier ENTCS style. Please see the Instructions for Preparing Files for Preliminary Versions Instructions for styles and examples. The file entcs.cls is also available here. The prentcsmacro.sty file will be available soon. The workshop pre-proceedings, containing the reviewed papers, will be handed-out at workshop registration and the proceedings will be published as a volume of ENTCS. After the workshop, according to the quantity and quality of selected papers, the authors will be invited to submit full versions of their works that will be also reviewed to high standards. A special issue of LSFA'06 appeared in the Journal of Algorithms and currently a special issue of LSFA'07 is being processed and will appear in The Logical Journal of the IGPL. At least one of the authors should register at the conference. The paper presentation should be in English. Contact Information For more information please contact the organizers. The web page of the event can be reached at: http://lsfa09.cic.unb.br From iclp09.dc at gmail.com Mon Mar 2 19:19:12 2009 From: iclp09.dc at gmail.com (iclp09.dc at gmail.com) Date: Mon, 2 Mar 2009 12:19:12 -0600 (CST) Subject: ICLP'09 Doctoral Consortium Message-ID: <200903021819.n22IJCQ7014669@krlab.cs.ttu.edu> ********************************************************************** International Conference on Logic Programming Fifth ICLP Doctoral Consortium Pasadena (California, USA) July 14-17, 2009 http://www.cs.kuleuven.be/~toms/DC2009/ ----------- The 2009 ICLP Doctoral Consortium (DC) is the fifth international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2009 in Pasadena, California, USA. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renowned experts in the field. The Doctoral Consortium will also offer invited speakers and panel discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2009 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2009 conference; the ICLP conference will run from July 14th to July 17th, 2009. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2009 conference proceedings. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2009 Doctoral Consortium web site, at: http://www.cs.kuleuven.be/~toms/DC2009/ -------- Important Dates Submission Deadline: April 10, 2009 (strict) Acceptance Notification: April 20, 2009 Last Date to Update Research Summary: May 5, 2009 (strict) Doctoral Consortium: July 14-17, 2009 (TBA) ICLP 2009 Conference: July 14-17, 2009 ------------ Doctoral Consortium Chairs: Tom Schrijvers Marcello Balduccini Department of Computer Science Intelligent Systems Department Catholic University of Leuven Kodak Research Labs Leuven, Belgium Rochester, NY (USA) tom.schrijvers _a_t_ cs.kuleuven.be marcello.balduccini _a_t_ gmail.com From kostas at cs.rhul.ac.uk Mon Mar 2 19:39:44 2009 From: kostas at cs.rhul.ac.uk (Kostas Stathis) Date: Mon, 02 Mar 2009 18:39:44 +0000 Subject: Final CFP: COIN@IJCAI09 Message-ID: <49AC27F0.5040203@cs.rhul.ac.uk> ------------------------------------------------------------- * Apologies if you receive multiple copies of this message. * ------------------------------------------------------------- Final Call for papers COIN at IJCAI09 8th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems July 11-13, Pasadena, CA, USA. Web site: http://www.les.inf.puc-rio.br/coin at ijcai09 Overview -------- In recent years, social and organisational aspects of agency have become important considerations in MAS research, especially in applications such as Service-Oriented Computing, Grid Computing and Ambient Intelligence. In addition, the MAS requirements for openness, heterogeneity, and scalability pose new demands on traditional interaction models in that coordination and control has to be expanded to consider societal and organisation-centric views. Within this context, this workshop seeks to provide a forum for the convergence of AI developments from the complementary perspectives of coordination, organisations, institutions and norms. Topics ------ Relevant topics include, but are no limited to: * Modeling multi-agent organizations. * Models and architectures for social agents. * Coordination in dynamic and emergent agent organizations. * Organization design and monitoring of regulated MAS. * Ontologies, methodologies, tools and standards for regulated MAS. * Social science background for regulated MAS: Roles, authority, motivation, social power and other social relationships and attitudes. * Languages for norms:expressiveness VS efficiency. * Agent communities, electronic institutions and virtual organizations. * Coordination and interaction conventions, technologies and artifacts. * Institutional aspects of peer to peer interactions. * Issues in regulatory dynamics (creation, evolution, change). * Issues in regulated MAS implementation. * Simulation, analysis and verification of regulated MAS. * Engineering organizations (validation, implementation and tools for agent organizations). * Scaling and control issues in agent organizations. * Norms, institutions and organizations: authority, power, dependence, sanctions, contracts, trust, reputation as regulating tools for agents within organizations. * Application of organizational theory to MAS. * Organised Adaptation of regulated MAS: protocols and frameworks. * Models of norm (law, policy) change: norm revision, conflict detection, norm updates. * Simulation, analysis and verification of dynamics of multi-agent organizations. * Dynamic, adaptive and emergent organizational structures. * Practical applications of agent organization systems. Important Dates --------------- Submission deadline: March 06, 2009 Notification about submissions: April 17, 2009 Camera ready copy: May 08, 2009 Proceedings and Submission -------------------------- Proceedings will be available at the workshop. As with previous COIN workshops, selected, revised and extended versions of the papers of the 2009 COIN editions will be published in a single Springer LNCS volume. The length of each paper, including figures and references, may not exceed 16 pages. Further formatting guidelines and instructions on how to submit a paper may be found at the workshop web page. From Valentin.Goranko at wits.ac.za Tue Mar 3 11:17:13 2009 From: Valentin.Goranko at wits.ac.za (Valentin Goranko) Date: Tue, 3 Mar 2009 12:17:13 +0200 Subject: TABLEAUX'09 Workshop on tableaux vs automata: call for submissions Message-ID: TABLEAUX'2009 Workshop on tableaux versus automata as logical decision methods Oslo, July 6, 2009 CALL FOR SUBMISSIONS TOPIC AND OBJECTIVE: Terminating semantic tableaux have served for a long time as one of the practically most efficient types of decision procedures for a wide range of logical systems. On the other hand, automata-based methods for testing satisfiability and model checking for various modal and temporal logics of computations have gained very wide recognition and popularity over the past two decades, because they provide uniform, elegant, and often optimal decision procedures. Furthermore, a number of increasingly efficient automata-based tools have been implemented and used for academic and industrial purposes, and there seem to be a growing perception amongst the formal verification community that these tools are superior and preferable to the tableau-based tools. That perception, however, is not based on systematic comparative analysis, and some practical experience with well-designed tableau-based tools suggest that such perception can sometimes be misleading. Moreover, various optimization techniques, such as on-the-fly methods, draw automata-based algorithms very close to tableau-like procedures, thus strongly suggesting that tableaux and automata are closely related formalisms for deciding logical satisfiability. Yet, few formal technical results to that effect are known, and the scientific discussion on the pros and cons, similarities and differences, comparisons of applicability, efficiency, and performance between tableaux and automata has so far been rather sporadic. The purpose of the workshop is to provide an expert forum for such discussion, to provoke and foster debate between the automata and tableaux communities, and to stimulate further research on the topic. IMPORTANT DATES: Submissions deadline: May 4, 2009 Notification deadline: May 25, 2009 Preliminary programme: June 5, 2009 Final programme: June 12, 2009 Workshop: July 6, 2009 SUBMISSIONS: Submissions for workshop talks are invited by means of extended abstracts within 5 A4 pages in PDF or PS format, using Springer LNCS style. Submissions may be based on new and original, or on already published or submitted work, but they should address the topic of the workshop. The abstracts of the workshop talks will be included in informal proceedings. No formal proceedings are currently planned, but if the workshop attracts sufficiently many good and original contributions, a journal special issue will be organized after the event. WORKSHOP PROGRAM COMMITTEE: Franz Baader, TU Dresden, Germany Stephane Demri, CNRS, Cachan, France Valentin Goranko, Univ. of the Witwatersrand, Johannesburg, South Africa Rajeev Gore, The Australian National Univ., Canberra, Australia Colin Stirling, University of Edinburgh, UK Pierre Wolper, Université de Liege, Belgium (More PC members may join) FURTHER INFORMATION: TABLEAUX'2009 website: http://heim.ifi.uio.no/martingi/Tableaux09 Workshop website: http://www.maths.wits.ac.za/~goranko/TableauxAutomataWorkshop/TableauxAutomataWorkshop.html ENQUIRIES to: Valentin Goranko (Workshop organizer), goranko at maths.wits.ac.za.

This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorized signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.

From Stephen.Bond at cs.kuleuven.be Tue Mar 3 13:36:23 2009 From: Stephen.Bond at cs.kuleuven.be (Stephen Bond) Date: Tue, 3 Mar 2009 13:36:23 +0100 (CET) Subject: Call for Participation: The 2nd Answer Set Programming Competition Message-ID: ................................................................ The Second Answer Set Programming Competition Call For Participation K.U.Leuven, Belgium, spring 2009 http://www.cs.kuleuven.be/~dtai/events/ASP-competition/ ................................................................ The second ASP competition is a Modeling and Solving competition open to all declarative problem solving systems from areas such as ASP, SAT and CP. In the competition, both satisfiability problems and optimization problems need to be solved. Each team submits a solver and modelings for all benchmark problems. These are used to solve a number of instances of each benchmark problem. The solver that solves the most instances wins. The results will be published in the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09). For more details on the format of the competition, see the webpage. The competition is open for all solvers. The Modeling and Solving formula offers the best opportunities for different communities to show the strength of their applications and solvers. Modeling support for SAT teams, for whom modeling can be a burden, is available on the webpage. The competition is currently in its second phase: the registration of participating teams and the installation of solutions to the submitted benchmarks. We invite teams from different areas to enter their solvers in the competition. For more details, see the webpage. IMPORTANT DATES: * 01/03/2009-01/05/2009: o Registration of teams. * 01/03/2009-15/05/2009: o Installation period: Participants install and test solvers and programs on the K.U.Leuven pinac pool. * 15/05/2009-15/06/2009: o Competition phase * 15/09/2009: o Results announced at LPNMR'09. From Zakaria.Maamar at zu.ac.ae Tue Mar 3 14:14:49 2009 From: Zakaria.Maamar at zu.ac.ae (Zakaria Maamar) Date: Tue, 03 Mar 2009 17:14:49 +0400 Subject: The 2nd UAE Symposium on Web Services Message-ID: <49AD6580.CD7A.0091.0@zu.ac.ae> Call Participation The 2nd UAE Symposium on Web Services Zayed University, Dubai, U.A.E April 15-16, 2009 (www.zu.ac.ae/wss) Speakers: 1. Dr. Ryszard Kowalczyk, Swinburne University of Technology, Australia 2. Dr. Michael P. Papazoglou, Tilburg University, The Netherlands 3. Hamid Khafagy, IBM Middle East, UAE. Symposium program to be posted soon. Zakaria -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From csoares at fep.up.pt Wed Mar 4 02:50:30 2009 From: csoares at fep.up.pt (Carlos Soares) Date: Wed, 4 Mar 2009 01:50:30 +0000 Subject: Fwd: ADMA2009 Call for Papers(updated) References: <436128820.07666@bnu.edu.cn> Message-ID: Begin forwarded message: > From: "ADMA2009" > Date: 4 de março de 2009 01:07:00 GMT+00:00 > To: 3337276wanghan at 163.com, 48678211 at qq.com, abolhassani at sharif.edu, agarwal at soe.ucsc.edu > , aioria at apex.sjtu.edu.cn, Alfred.Hofmann at springer.com, alhajj at cpsc.ucalgary.ca > , Andrew-kusiak at uiowa.edu, arthurtay at nus.edu.sg, asahtan at ntu.edu.sg, asami at ieee.org > , Ashish_Sureka at infosys.com, asosheh at modares.ac.ir, ayzhou at fudan.edu.cn > , baca.0428 at 163.com, berzal at acm.org, binh2008 at sina.com, bly8155 at asee.buaa.edu.cn > , bryang_kd at yahoo.com.cn, buaayuli at ruc.edu.cn, caolijun_jun at 163.com, carlosengutierrez at yahoo.com.ar > , cgc at cs.byu.edu, cgz_bnu at 126.com, Charles.li2004 at gmail.com, chenyu.cd at 163.com > , cling at csd.uwo.ca, comliy at 163.com, cscysl at techie.cs.gsu.edu, csoares at fep.up.pt > , cuzzocrea at si.deis.unical.it, D.Neagu at Bradford.ac.uk, dash_wu at hotmail.com > , deepak.s.p at in.ibm.com, dell.z at ieee.org, dengya.zhu at postgrad.curtin.edu.au > , dimitris at delab.csd.auth.gr, dongjs168 at 126.com, drule at 163.com, dujiali68 at yahoo.cn > , duyajun at mail.xhu.edu.cn, duyong at ruc.edu.cn, d-xj at 163.com, dxj at sdili.edu.cn > , eletankc at nus.edu.sg, erichu2006 at 163.com > Subject: ADMA2009 Call for Papers(updated) > Reply-To: "ADMA2009" > > ======================================================== > > The 5th International Conference on Advanced Data Mining and > Applications (ADMA2009) > > August 17-19, 2009 Beijing, China Submission Deadline: April 13, > 2009 > > ======================================================== > > Note: The online conference service (OCS) is available, please > submit papers at http://senldogo0039.springer-sbm.com/ADMA2009/servlet/Conference > > http://www.adma2009.org (for public user) > > http://ksei.bnu.edu.cn/adma2009 (for CERNET user in China) > > ADMA2009 aims at bringing together the experts on data mining in the > world, and provides a leading international forum for the > dissemination of original research results in data mining, spanning > applications, algorithms, software and systems, and different > applied disciplines with potential in data mining. > > We kindly invite you to submit your original research results on any > topics in the field of advanced data mining and applications. The > full paper submission deadline is April 13, 2009 and all submissions > are made electronically via the above conference website. > > The Proceedings of the conference will be published by Springer in > its Lecture Notes in Computer Science series, and indexed by EI. > > A selected number of the accepted papers will be expanded and > revised for possible inclusion in "Knowledge and Information > Systems: An International Journal" (http://www.cs.uvm.edu/~kais/) by > Springer, which could be indexed by several databases including SCI > expanded. > > The important dates of ADMA 2009 are: > April 13, 2009 Submission of full papers > May 25, 2009 Notification of papers acceptance > Jun 3, 2009 Deadline of early registration > Jun 3, 2009 Deadline of final camera-ready > > For detailed information, please relate to the CFP attached to this > mail. > > For detailed instructions about paper submission, please visit the > ADMA 2009 conference website. > > For any more info: please mail to adma2009 at bnu.edu.cn (Organization > Committee). > > We look forward to your submission and your participation in ADMA > 2009 in Beijing, China. > > Best Regards. > > Sincerely, > General Co-Chairs of ADMA 2009 > Ronghuai Huang, Beijing Normal University, China > Qiang Yang, Hong Kong University of Science and Technology, Hong > Kong, China > Program Co-Chairs of ADMA 2009 > Jian Pei, Simon Fraser University, Canada > João Gama, University of Porto, Portugal > Xiaofeng Meng, Renmin University of China, China -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : ADMA_2009_CFP090303.pdf Dateityp : application/pdf Dateigröße : 76368 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gqi at aifb.uni-karlsruhe.de Wed Mar 4 10:33:20 2009 From: gqi at aifb.uni-karlsruhe.de (Guilin Qi) Date: Wed, 04 Mar 2009 10:33:20 +0100 Subject: CFP: AMAI Special Issue on Commonsense Reasoning for the Semantic Web (deadline extended to 4th of April) Message-ID: <20090304103320.bwp7seqfkc08kscs@webmail.uni-karlsruhe.de> [Apologies for cross and multiple postings] Deadline extended to 4th of April ------------------ Journal of Annals of Mathematics and Artificial Intelligence (AMAI) Special Issue on Commonsense Reasoning for the Semantic Web (https://logic.aifb.uni-karlsruhe.de/wiki/AMAI_special_issue_on_commmonsense_reasoning_in_the_semantic_web) Editor-in-Chief: Martin Charles Golumbic (University of Haifa, Israel) Guest Editors Frank van Harmelen, Vrije University Amsterdam (Frank.van.Harmelen at cs.vu.nl) Andreas Herzig, IRIT-CNRS (herzig at irit.fr) Pascal Hitzler, University of Karlsruhe (hitzler at aifb.uni-karlsruhe.de) Guilin Qi, University of Karlsruhe (gqi at aifb.uni-karlsruhe.de) Descriptions --------------- Semantic Web Technologies provide concepts, architectures, and tools for interconnected vocabularies and applications. One of the declared goals of Semantic Web research is to enable intelligent software agents to reason about information and knowledge which is pervaded on the Web. To achieve this goal, a challenging and important problem is to represent commonsense knowledge on the Web and to reason with it. Indeed, commonsense reasoning is a central part of human behaviour, and how to endow computers with common sense capabilities is one of the major long-term goals of Artificial Intelligence research and is therefore also relevant to the realization of the ambitious Semantic Web vision. At the same time, the forthcoming Semantic Web constitutes an ideal application scenario for formal logic and traditional commonsense reasoning approaches. In recent years, there is a substantially increasing interest in applying theoretical approaches of commonsense reasoning to deal with practical application problems in the Semantic Web. It is indeed widely accepted that extensions of commonsense reasoning to the Semantic Web will have to be provided in the near future. In this special issue we intend to publish articles discussing commonsense reasoning aspects on the Web. Submissions describing original and solid theoretical contributions to commonsense reasoning with application to the Semantic web are especially encouraged. Topics of Interest ------------------ We encourage original and high quality work on all topics related to commonsense reasoning for the Semantic Web. Topics of interest include, but are not limited to: -reasoning about change and dynamics of ontologies, including ontology integration, ontology evolution, revision and update of ontologies in the Semantic Web -nonmonotonic extensions of ontology languages, including circumscriptive, default, defeasible logic, diagnosis, and autoepistemic approaches -temporal and spatial extensions of ontology languages -planning and action in the Semantic Web and Semantic Web services -combining modal logics and description logics -commonsense knowledge acquisition from the (Semantic) Web -integration of logic programming and description logics -abductive reasoning in the Semantic Web -extensions of ontology languages to enable uncertainty reasoning, including fuzzy, probabilistic and possibilistic approaches -contextualized, distributed, and modular ontology languages -non-standard reasoning in description logics, such as computing least common subsumer and matching. -paraconsistent extension of ontology languages -computational models of argumentation in the Semantic Web -approximate reasoning and compilation in description logics -scalability issues -other mathematical tools for using commonsense reasoning on the Semantic Web Important Dates --------------- Submission Deadline (extended): April 04, 2009 Acceptance Deadline: June 31, 2009 Revised Version Deadline: August 31, 2009 Final Decision: November 30, 2009 Final Paper: December 30, 2009 Submission Procedure -------------------- Manuscripts must follow the AMAI guidelines for submission and have to be accompanied by abstracts. Details regarding the submission format and on-line submission site can be found at http://www.editorialmanager.com/amai/. All manuscripts should be submitted through that online system. All manuscripts must be of high quality and are subject to peer review performed by three reviewers. The refereeing will be at the same level as in any of the major journal publications in the area. Editorial Board --------------------------- Grigoris Antoniou, University of Crete, Greece Jos de Bruijn, Free University of Bolzano, Italy Diego Calvanese, Free University of Bozen-Bolzano, Italy Xiaoping Chen, University of Science and Technology of China, China Patrick Doherty, University of Linkoping, Sweden Thomas Eiter, TU Wien, Austria Jerome Euzenat, INRIA, France Zhisheng Huang, Vrije University Amsterdam, Netherlands Thomas Lukasiewicz, University of Oxford, UK Thomas Meyer, Meraka Institute, South Africa Boris Motik : Oxford University Computing Laboratory, UK Jeff Z. Pan, University of Aberdeen, UK Bijan Parsia, University of Manchester, UK Riccardo Rosati, Sapienza Università di Roma, Italy Luciano Serafini, Fondazione Bruno Kessler, Italy Heiner Stuckenschmidt, Universität Mannheim, Germany Chris Welty, IBM Watson Research Center, USA Renata Wassermann, Universidade de São Paulo, Brazil Mary-Anne Williams, the University of Technology, Australia Main contact: Guilin Qi Best regards, Frank van Harmelen Andreas Herzig Pascal Hitzler Guilin Qi From Stephen.Bond at cs.kuleuven.be Wed Mar 4 15:57:18 2009 From: Stephen.Bond at cs.kuleuven.be (Stephen Bond) Date: Wed, 4 Mar 2009 15:57:18 +0100 Subject: ASP-competition Call for Participation Message-ID: <200903041457.n24EvINp006031@borgraf.cs.kuleuven.be.> ................................................................ The Second Answer Set Programming Competition Call For Participation K.U.Leuven, Belgium, spring 2009 http://www.cs.kuleuven.be/~dtai/events/ASP-competition/ ................................................................ The second ASP competition is a Modeling and Solving competition open to all declarative problem solving systems from areas such as ASP, SAT and CP. In the competition, both satisfiability problems and optimization problems need to be solved. Each team submits a solver and modelings for all benchmark problems. These are used to solve a number of instances of each benchmark problem. The solver that solves the most instances wins. The results will be published in the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09). For more details on the format of the competition, see the webpage. The competition is open for all solvers. The Modeling and Solving formula offers the best opportunities for different communities to show the strength of their applications and solvers. Modeling support for SAT teams, for whom modeling can be a burden, is available on the webpage. The competition is currently in its second phase: the registration of participating teams and the installation of solutions to the submitted benchmarks. We invite teams from different areas to enter their solvers in the competition. For more details, see the webpage. IMPORTANT DATES: * 01/03/2009-01/05/2009: o Registration of teams. * 01/03/2009-15/05/2009: o Installation period: Participants install and test solvers and programs on the K.U.Leuven pinac pool. * 15/05/2009-15/06/2009: o Competition phase * 15/09/2009: o Results announced at LPNMR'09. From cmueller at iits.uni-stuttgart.de Thu Mar 5 09:31:14 2009 From: cmueller at iits.uni-stuttgart.de (=?ISO-8859-1?Q?Claudia_M=FCller?=) Date: Thu, 5 Mar 2009 09:31:14 +0100 Subject: =?WINDOWS-1252?Q?The_6th_International_Conference_on_Knowledge_M?= =?WINDOWS-1252?Q?anagement_=96_Call_for_papers/proposals?= Message-ID: <8469C8D0-0B05-4977-8046-B63CE1E6D35B@iits.uni-stuttgart.de> [Apologies if you receive multiple copies of this message] Dear Sir/Madam: We would like to invite you to participate in the captioned conference to be held in Hong Kong on December 3-4, 2009. This is an exciting opportunity since we have active committee members from over 30 countries helping to put this together. The International Conference on Knowledge Management (ICKM) provides top researchers and practitioners from all over the world in Knowledge Management a forum for discussion and exchange. Since the first ICKM was held in Singapore in 2004, subsequent conferences have been held in Charlotte, North Carolina, U.S.A. (2005); Greenwich, London, U.K. (2006); Vienna, Austria (2007); and Columbus, Ohio, U.S.A. (2008). In 2009, ICKM will be held in Hong Kong, China. ICKM 2009 will feature invited keynote presentations, panels on topical issues (e.g. management, technology, business, and public policy), refereed paper presentations on emerging and continuing business and research issues, and workshops on new areas of knowledge management. The theme of ICKM 2009 is “Managing Knowledge for Global and Collaborative Innovations.” This conference aims to facilitate dialogue among experts in the academe and the industry. The exchange of insights on related issues will boost up research momentum and contribute to the advancement of knowledge management as a discipline. The conference will be organized into several tracks along but not limited to these topics: - Knowledge Management and Collaboration - New Models of Virtual Real-Time Collaboration, 3-D Collaborative Environments - Collaborative Technologies and Cultures, Collaboration 2.0 - Knowledge Networks and Ecologies - Strengthening School Collaboration through KM - KM in Universities: Interdisciplinary Research and Scholarly Collaboration - The Impact of Creative Commons on Collaboration and Knowledge Sharing - Knowledge Management in Synchronous and Asynchronous Collaborative Environments - Convergence of Audio, Video and Web Conferencing - Social and Ethical Issues of (Virtual) Collaboration - Inter-organizational Knowledge and Information Flows between Organizations - Social and Value Networks in Business and Non-profit Environments - Measuring the Intangible Value of Collaboration - Knowledge Management and Game Theory - From e-Government to Participatory Government - Human Interpersonal and Group Communication - Narratives, Stories and Anecdotes for Learning and Knowledge Transfer - Ontologies and Semantic Technologies - Web 2.0 and Knowledge Management - Knowledge Management in NGOs - Knowledge Management for Social Change and Innovation - Knowledge Value Chain - Strategic Knowledge Management ICKM 2009 encourages submission of high-quality research reports and workshop or practice presentation proposals in knowledge management and its related areas. There will be awards for the Best Conference Paper, the Best Theme Paper, the Best Student Paper, and the Best Practice Presentation. Additional information are available on the conference website http://ickm2009.pbwiki.com . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paolo.torroni at unibo.it Thu Mar 5 18:19:38 2009 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Thu, 05 Mar 2009 18:19:38 +0100 Subject: CFP: International Symposium on Computer and Information Sciences (ISCIS 2009) Message-ID: <49B009AA.6020405@unibo.it> [apologies for cross-posting] SUBMIT YOUR PAPERS TO THE 24TH I.S. ON COMPUTER AND INFORMATION SCIENCES 6 TRACKS, 8 SPECIAL SESSIONS SUBMIT BY APRIL 17, 2009 ********************************************************************* CALL FOR PAPERS 24th International Symposium on Computer and Information Sciences ISCIS 2009 Guzelyurt, Northern Cyprus, September 14-16,2009 Middle East Technical University, Northern Cyprus Campus http://iscis.metu.edu.tr *********************************************************************** This year, the 24th of the International Symposium on Computer and Information Sciences will be organized by the Middle East Technical University. The Symposium will be held on September 14-16, 2009 in METU Northern Cyprus Campus. We kindly invite you to submit papers for the twentyfourth of the ISCIS series of conferences that bring together scientists and engineers from around the world. This year's conference will be held in Northern Cyprus, a beautiful Mediterranean island. Topics of Interest: -------------------- Computer Vision, Pattern Recognition and Image Processing: Computer Vision, Video Processing, Pattern Analysis and Recognition World Wide Web: Web Data Management, Web Information Systems, Web Mining Data Database Management Systems: Data Extraction and Reporting, Information Retrieval, Multimedia Databases, Parallel, Distributed, and Grid Databases, Query Processing and Optimization, Database Indexing and Search, Database Modeling and Design, Spatial and Temporal Databases Bioinformatics and Bioengineering: Biomedical Data Mining and Engineering, Molecular Sequence/Structure Databases, Functional Genomics, Proteomics, Microarray Technologies, Bio-imaging, Biomedical & Biological Sensors, Tissue Engineering AI, Machine Learning and Data Mining: Evolutionary Computation, Knowledge Representation and Reasoning, Natural Language Processing, Robotics, Machine Learning and Data Mining, Data Warehousing and OLAP Networks, Parallel and Distributed Computing: Wireless Communication and Networks, Optical Networks Multimedia Communication and Software, Network Security, Parallel and Distributed Programming, Grid and Cluster Computing Peer to Peer computing Special Sessions: -------------------- The following list of special sessions have also been approved for ISCIS 2009: - Special Session on Cognitive Cybernetics and Brain Modeling - Special Session on Computer Graphics - Special Session on Biological Data Management, Mining, and Analysis - Special Session on NLP - Special Session on Multiagent systems - Special Session on Audio Speech and Language Technologies - Special Session on Software Engineering - Special Session on Software Quality Special sessions will be chaired by the session organizers and the papers will be reviewed by session's PC. The accepted papers will be published in ISCIS 2009 conference proceedings. Important Dates: ------------------ Submission of papers: April 17, 2009 Notification of acceptance: June 15, 2009 Camera ready and registration due: July 1, 2009 Symposium date: September 14-16, 2009 Paper Submission and Publication: ------------------------------------ Authors are invited to submit manuscripts written in English. Papers must contain original work not published or under revision elsewhere. All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Papers should be prepared following IEEE format, double column, minimum 10pt fonts and up to 6 pages. The proceedings will be published by IEEE and included in the IEEE digital library. Submission implies the willingness of at least one author per paper to register, attend the symposium and present the paper. The submissions will be through the electronic submission system at http://iscis.metu.edu.tr/submission Organizing Committee ----------------------- Honorary Chair: Erol Gelenbe General Chair: Fatos Tunay Yarman-Vural Program Committee Co-Chairs: Adnan Yazici, I. Hakki Toroslu Publication Chair: Tolga Can Publicity Chair: Pinar Senkul Local Organization Chair: Ozlem Uzuner Web Management: Ozgur Kaya, Ahmet Sacan General Secretary: Mete Ozay From pierregrenon at gmail.com Fri Mar 6 18:43:04 2009 From: pierregrenon at gmail.com (Pierre Grenon) Date: Fri, 6 Mar 2009 17:43:04 +0000 Subject: ExaCt 2009: Final Call / Deadline extension Message-ID: -------------------------------------------------------------------- Please note the new deadline for submissions: 13 March 2009 -------------------------------------------------------------------- ** Apologies if you receive multiple copies of this announcement **  ** Please forward to anyone who might be interested **                 FINAL CALL FOR PAPERS            for the 4th International and                  IJCAI-09 Workshop on        EXPLANATION-AWARE COMPUTING (ExaCt 2009)           11-12 July 2009, Pasadena, CA, USA            http://exact2009.workshop.hm   ** New paper submission deadline: March 13, 2009** Both within AI systems and in interactive systems, the ability to explain reasoning processes and results can have substantial impact. Within the field of knowledge-based systems, explanations have been considered as an important link between humans and machines. There, their main purpose has been to increase the confidence of the user in the system’s result (persuasion) or the system as a whole (satisfaction), by providing evidence of how it was derived (transparency). More recently, in recommender systems good explanations have also been used to help to inspire user trust and loyalty (trust), and make it quicker and easier (efficiency) for users to find what they want (effectiveness). Additional AI research has focused on how computer systems can themselves use explanations, for example to form new generalizations (learning).  Explanations have also been used to increase the external user's understanding of a domain (education). Current interest in mixed-initiative systems provides a new context in which explanation issues may play a crucial role. When knowledge-based systems are partners in an interactive socio-technical process, with incomplete and changing problem descriptions, communication between human and software systems is a central part. Thus explanations exchanged between human agents and software agents may play an important role in mixed-initiative problem solving. This workshop series aims to draw on multiple perspectives on explanation, to examine how explanation can be applied to further the development of robust and dependable systems, and increase transparency,  user sense of control (scrutability), trust, acceptance and decision support. If you would like to participate in discussions on this topic or like to receive further information about this workshop you might consider joining the Yahoo!-group  http://groups.yahoo.com/group/explanation-research. Information on explanation research is also collected at  http://on-explanation.net. GOALS AND AUDIENCE We invite original contributions to the research on explanations from a variety of areas and communities such as computer science, cognitive science, linguistics, philosophy of science, psychology, and education. In addition to presentations and discussions of invited contributions and invited talks, this workshop will offer organised and open sessions for targeted discussions and creating an interdisciplinary community. Demonstration sessions will provide the opportunity to showcase explanation-enabled/-aware applications. TOPICS OF INTEREST Suggested topics for contributions (not restricted to IT views): * Models and knowledge representations for explanations * Integrating application and explanation knowledge * Explanation-awareness in (designing) applications * Methodologies for developing explanation-aware systems * Explanations and learning * Context-aware explanation vs. explanation-aware context * Confidence and explanations * Privacy, security, trust, and explanation * Empirical studies of explanations * Requirements and needs for explanations to support human understanding * Explanation of complex, autonomous systems * Co-operative explanation * Visualising explanations * Dialogue management and natural language generation Submissions on additional topics are welcome as well. SUBMISSIONS AND STYLE Workshop submissions will be electronic, in pdf format only, using the EasyChair submission system linked from the workshop website. Papers must be written in English and not exceed 12 pages in the Springer LNCS format. At least one author of each accepted paper must register for the workshop and present the contribution in order to be published in the workshop proceedings. The organising committee is considering editing a special issue of an appropriate international journal (e.g., Kluwer’s Knowledge-based Systems, Elsevier’s Expert Systems with Applications, or Springer’s Information System Frontiers) depending on the number and quality of the submissions. Those wishing to participate providing a live system demonstration should submit a proposal (1-2 pages). Those wishing to participate without paper or demo submission should submit a brief synopsis of their relevant work or at least a brief statement of interest. Non-archival working notes will be produced containing the papers presented at the workshop. If you have questions please contact the chairs at the following email address: exact2009 at dfki.uni-kl.de. IMPORTANT DATES Submission deadline (new):               March 13, 2009 Notification of acceptance:              April 17, 2009 Camera-ready versions of papers:         May 8, 2009 IJCAI-09 Workshop Program:               July 11-12, 2009 WORKSHOP SCHEDULE The schedule will be made available on the workshop website. See the workshop website for an agenda overview und links to past workshops. INVITED TALKS Talks by two invited speakers, each representing a different community addressing explanation issues, are planned. CHAIRS Thomas R. Roth-Berghofer, German Research Center for Artificial Intelligence DFKI GmbH, Germany thomas.roth-berghofer at dfki de Nava Tintarev, Telefónica research, Madrid, Spain nava at tid dot es David B. Leake Computer Science Department, Indiana University, USA leake at cs indiana edu PROGRAMME COMMITTEE Agnar Aamodt, Norwegian University of Science and Technology (NTNU) David W. Aha, Navy Center for Applied Research in AI, Washington DC, USA Patrick Brézillon, LIP6, France Jörg Cassens, Norwegian University of Science and Technology (NTNU) Li Chen, Dept. of Computer Science, Hong Kong Baptist University Francisco Javier Díez, UNED Madrid, Spain Babak Esfandiari, Carleton University, Canada Pierre Grenon, KMI, The Open University, UK Anders Kofod-Petersen, SINTEF, Norway Hector Muñoz-Avila, Lehigh University, USA Paulo Pinheiro da Silva, University of Texas, El Paso, USA Enric Plaza, IIIA-CSIC, Spain Michael M. Richter, University of Kaiserslautern, Germany Christophe Roche, University of Savoie, France Sven Schwarz, DFKI, Germany Gheorghe Tecuci, George Mason University, Fairfax, VA, USA Douglas Walton, University of Winnipeg, Canada From simon.miles at kcl.ac.uk Fri Mar 6 20:16:31 2009 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Fri, 6 Mar 2009 19:16:31 +0000 Subject: AAMAS-09 Early registration deadline approaching! Message-ID: (apologies if you receive multiple copies of this message) Call for Participation EIGHTH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS-09) May 10 - 15, 2009 Budapest, Hungary http://www.conferences.hu/AAMAS2009 REGISTRATION IS OPEN. EARLY REGISTRATION DEADLINE IS MARCH 15, 2009. AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences: - the International Conference on MultiAgent Systems (ICMAS); - the International Workshop on Agent Theories, Architectures, and Languages (ATAL); - the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS-09 is the eighth conference in the AAMAS series, following enormously successful previous conferences at Bologna, Italy (2002), Melbourne, Australia (2003), New York, USA (2004), Utrecht, The Netherlands (2005), Hakodate, Japan (2006), Honolulu, USA (2007) and Estoril, Portugal (2008). AAMAS-09 will be held at the Europa Congress Center, Budapest, Hungary. The conference includes a wide range of advanced workshops and tutorials, a demonstration track for implemented systems, software, or robot prototypes; and an industry track for descriptions of industrial applications of agents. The conference will be held from Sunday May 10th until Friday May 15th, 2009. Tutorials, workshops and the doctoral consortium will be held on Sunday May 10th to Tuesday May 12th, 2009. Accepted technical papers and invited talks will be presented from Wednesday May 13th to Friday May 15th, 2009. The list of accepted papers is available on the main conference webpage. Invited speakers include Klaus G. Troitzsch (Universitaet Koblenz-Landau) and Michael N. Huhns (University of South Carolina). The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field. We encourage the community to reflect about their work not as belonging to just a niche in a long list of topics, but rather as a point in an abstract topological space defined by three complementary axes: (i) the *focus* of the work, i.e. what is the AAMAS topic or contribution of the work (ii) the *description level*, i.e. whether this contribution is mostly in the theoretical, experimental, method/language, or application level (iii) the intellectual *inspiration source*, i.e. what scientific domain has given the main ideas for the contribution Please see the conference website above for more details on these axes. Early registration is now open and closes on March 15th. Late registration closes on April 20th. http://www.conferences.hu/AAMAS2009/registration.html ==================== ORGANIZING COMMITTEE ==================== General Chairs: Carles Sierra, Artificial Intelligence Research Institute of the Spanish Research Council (Spain) Cristiano Castelfranchi, ISTC-CNR (Italy) Program Chairs: Jaime Simão Sichman, Politecnic School, University of São Paulo (Brazil) Keith S. Decker, Dept. of Computer and Information Sciences, University of Delaware (USA) Local Organization Chair: Lászlo Zsolt Varga, Computer and Automation Research Institute, Hungarian Academy of Sciences (Hungary) Workshop Chair: Gal A. Kaminka, Bar Ilan University (Israel) Tutorial Chair: Mehdi Dastani, Intelligent Systems Group, Utrecht University (The Netherlands) Exhibits and Demo Chairs: Paolo Giorgini, University of Trento, Povo (Trento) (Italy) Danny Weyns, Katholieke Universiteit Leuven (Belgium) Doctoral Mentoring Chair: Stacy Marsella, ISI - Marina del Rey,CA (USA) Publicity Chair: Simon Miles, Kings College London, (United Kingdom) Registration, Local Finance and Publication Chair: Gusztáv Hencsey, Computer and Automation Research Institute, Hungarian Academy of Sciences (Hungary) Sponsorship Chairs: H. Van Dyke Parunak, TechTeam Government Solutions, Inc. (USA) Hideyuki Nakashima, Future University - Hakodate, (Japan) Student Scholarships: Maria Gini, University of Minnesota (USA) =================== PROGRAM AREA CHAIRS =================== DESCRIPTION LEVEL AXIS Theory: Wiebe van der Hoek (UK) Timothy Norman (UK) Experimental Systems/Architectures: Edmund Durfee (USA) Katia Sycara (USA) Methodologies/Programming: Amal El Fallah Seghrouchni (France) Gerhard Weiss (Germany) Applications Jeffrey Kephart (USA) Danny Weyns (Belgium) INSPIRATION SOURCE AXIS Artificial Intelligence: Helder Coelho (Portugal) Jose Vidal (USA) Distributed Systems: Michael Huhns (USA) Tim Finin (USA) Economics: Sarit Kraus (Israel) Tuomas Sandholm (USA) (Multi-)Robots: Silvia Coradeschi (Sweden) Erol Sahin (Turkey) Social/Management Sciences: Rosaria Conte (Italy) Les Gasser (USA) Biologically-Inspired Approaches: Marie-Pierre Gleizes (France) Radhika Nagpal (USA) FOCUS AXIS (Virtual) Agents: Ana Paiva (Portugal) Helmut Prendinger (Japan) Environments: Victor Lesser (USA) Andrea Omicini (Italy) Interactions: Frank Dignum (The Netherlands) Sandip Sen (USA) Social / Organizational Structure: Olivier Boissier (France) Virginia Dignum (The Netherlands) Comprehensive/Cross-cutting: Jean-Pierre Muller (France) Thomas Wagner (USA) ========================== SENIOR PROGRAMME COMMITTEE ========================== Thomas Agotnes (Norway) Elisabeth Andre (Germany) Luis Antunes (Portugal) Olivier Boissier (France) Sven Brueckner (USA) Helder Coelho (Portugal) Rosaria Conte (Italy) Silvia Coradeschi (Sweden) Stephen Cranefield (New Zealand) Mathijs de Weerdt (The Netherlands) Yves Demazeau (France) Marie desJardins (USA) Frank Dignum (The Netherlands) Virginia Dignum (The Netherlands) Juergen Dix (Germany) Alexis Drogoul (Vietnam) Barbara Dunin-Keplicz (Poland) Edmund Durfee (USA) Amal El Fallah Seghrouchni (France) Maria Fasli (UK) Tim Finin (USA) Klaus Fischer (Germany) Les Gasser (USA) Marie-Pierre Gleizes (France) Jomi Fred Hubner (Brazil) Michael Huhns (USA) Toru Ishida (Japan) Catholijn Jonker (The Netherlands) Jeffrey Kephart (USA) Franziska Klugl (Germany) Sarit Kraus (Israel) Victor Lesser (USA) Pedro Lima (Portugal) Jean-Pierre Muller (France) Radhika Nagpal (USA) Pablo Noriega (Spain) Timothy Norman (UK) James Odell (USA) Andrea Omicini (Italy) Sascha Ossowski (Spain) Lin Padgham (Australia) Ana Paiva (Portugal) Mario Paolucci (Italy) Jeremy Pitt (UK) Helmut Prendinger (Japan) Erol Sahin (Turkey) Tuomas Sandholm (USA) Paul Scerri (USA) Sandip Sen (USA) Onn Shehory (Israel) Yoav Shoham (Israel) Leon Sterling (Australia) Katia Sycara (USA) Milind Tambe (USA) Wiebe van der Hoek (UK) Wamberto Vasconcelos (UK) Jose Vidal (USA) Thomas Wagner (USA) Gerhard Weiss (Germany) Danny Weyns (Belgium) Makoto Yokoo (Japan) Pinar Yolum (Turkey) -- Dr Simon Miles Lecturer, Department of Computer Science Kings College London, WC2R 2LS, UK +44 (0)20 7848 1166 From core at cic.ipn.mx Sat Mar 7 05:17:06 2009 From: core at cic.ipn.mx (core at cic.ipn.mx) Date: Fri, 6 Mar 2009 22:17:06 -0600 Subject: DEADLINE EXTENDED UP TO MARCH 15th: CORE - 2009 Message-ID: <200903070417.n274H6Kc024100@sagitario.cic.ipn.mx> *********************************************************************************** We apologize in advance if you receive multiple copies of this CFP. *********************************************************************************** CORE 2009 10th Conference on Computing A new event of the series of international conferences CORE! www.cic.ipn.mx/core May 27-29, 2009 Mexico City PUBLICATION: Special issue of the journal "Research in Computing Science", ISSN 1870-4069. SUBMISSION GUIDELINES: Up to 12 pages, Springer LNCS format, in English. TOPICS: Artificial Intelligence, Natural Language Processing, Fuzzy Logic, Computer Vision, Multi-agent Systems, Bioinformatics, Neural Networks, Evolutionary Algorithms, Cellular Automata, Knowledge Representation, Semantic Web, Database Systems, Data Mining, Software Engineering, Web Design, Compilers, Formal Languages, Operating Systems, Distributed Systems, Parallelism, Real Time Systems, Algorithm Theory, Scientific Computing, High-Performance Computing, Geoprocessing, Networks and Connectivity, Cryptography, Informatics Security, Digital Systems Design, Digital Signal Processing, Control Systems, Robotics, Virtual Instrumentation, Computer Architecture, etc. IMPORTANT DATES: Paper submission�deadline extended: March 15 Acceptance notification: April 26 Camera-ready deadline: May 3 AWARDS: Best Paper Award (1st, 2nd and 3rd place). Best Presentation Award. KEYNOTE SPEAKERS: To be announced. CULTURAL PROGRAM: To be announced. WORKING LANGUAGES: English REGISTRATION FEE: Author and public early / public on site: US$ 150 / 200 Full US$ 80 / 150 Student Free Author, researcher or student of CIC-IPN Entrance: Free CONFERENCE PLACE: National Polytechnic Institute Center for Computing Research Info: www.cic.ipn.mx/core core at cic.ipn.mx From christian.retore at labri.fr Sat Mar 7 19:42:45 2009 From: christian.retore at labri.fr (retore) Date: Sat, 7 Mar 2009 19:42:45 +0100 Subject: 21st ESSLLI Bordeaux July 20-31 Message-ID: <0C71A468-9921-4B60-B3C9-930C38902CA9@labri.fr> 21st EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION ESSLLI 2009 Bordeaux, July 20-31 2009 http://esslli2009.labri.fr/ The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. The 21st edition of ESSLLI will be held in Bordeaux, recently selected as a Unesco World Heritage site. * Course Program * ESSLLI gathers about 500 people and offers a total of 48 courses and workshops, divided among foundational, introductory and advanced courses, and including a total of 7 workshops. The courses and workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. http://esslli2009.labri.fr/programme.php * Registration * Registration for ESSLLI is open. Early registration rates are 225 euros for students and 350 euros for others. Early registration deadline: 1st of May 2009. http://esslli2009.labri.fr/reg.php -- Christian Retoré http://www.labri.fr/perso/retore/ From edwardmellon1 at gmail.com Sat Mar 7 20:26:29 2009 From: edwardmellon1 at gmail.com (edwardmellon1) Date: Sat, 7 Mar 2009 14:26:29 -0500 Subject: Draft paper submission is extended (will not be extended further): MULTICONF-09 Message-ID: <4b3a49500903071126l65f164edxd08854620df4911b@mail.gmail.com> Draft paper submission is extended (will not be extended further): MULTICONF-09 *Apologies if you receive multiple copies of this email. Please forward to interested people.* The deadline for draft paper submission at the 2009 Multi Conference in Computer Science, Information Technology and Control systems and Computational Science and Computer Engineering (MULTICONF-09) (website: http://www.PromoteResearch.org ) is extended. The conference will be held during July 13-16 2009 in Orlando, FL, USA. We invite draft paper submissions. The event consists of the following conferences: · International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09) · International Conference on Automation, Robotics and Control Systems (ARCS-09) · International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-09) · International Conference on Enterprise Information Systems and Web Technologies (EISWT-09) · International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-09) · International Conference on Information Security and Privacy (ISP-09) · International Conference on Recent Advances in Information Technology and Applications (RAITA-09) · International Conference on Software Engineering Theory and Practice (SETP-09) · International Conference on Theory and Applications of Computational Science (TACS-09) · International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09) The website http://www.PromoteResearch.org contains more details. Sincerely Edward Mellon Publicity committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kostas at cs.rhul.ac.uk Sun Mar 8 12:15:35 2009 From: kostas at cs.rhul.ac.uk (Kostas Stathis) Date: Sun, 08 Mar 2009 11:15:35 +0000 Subject: COIN@IJCAI09: Submission Deadline Extended to 15 March 09 Message-ID: <49B3A8D7.5040007@cs.rhul.ac.uk> Due to numerous requests, the submission deadline of this event has been extended to: 15th of March 2009. ------------------------------------------------------------- * Apologies if you receive multiple copies of this message. * ------------------------------------------------------------- Call for papers COIN at IJCAI09 8th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems July 11-13, Pasadena, CA, USA. Web site: http://www.les.inf.puc-rio.br/coin at ijcai09 Overview -------- In recent years, social and organisational aspects of agency have become important considerations in MAS research, especially in applications such as Service-Oriented Computing, Grid Computing and Ambient Intelligence. In addition, the MAS requirements for openness, heterogeneity, and scalability pose new demands on traditional interaction models in that coordination and control has to be expanded to consider societal and organisation-centric views. Within this context, this workshop seeks to provide a forum for the convergence of AI developments from the complementary perspectives of coordination, organisations, institutions and norms. Topics ------ Relevant topics include, but are no limited to: * Modeling multi-agent organizations. * Models and architectures for social agents. * Coordination in dynamic and emergent agent organizations. * Organization design and monitoring of regulated MAS. * Ontologies, methodologies, tools and standards for regulated MAS. * Social science background for regulated MAS: Roles, authority, motivation, social power and other social relationships and attitudes. * Languages for norms:expressiveness VS efficiency. * Agent communities, electronic institutions and virtual organizations. * Coordination and interaction conventions, technologies and artifacts. * Institutional aspects of peer to peer interactions. * Issues in regulatory dynamics (creation, evolution, change). * Issues in regulated MAS implementation. * Simulation, analysis and verification of regulated MAS. * Engineering organizations (validation, implementation and tools for agent organizations). * Scaling and control issues in agent organizations. * Norms, institutions and organizations: authority, power, dependence, sanctions, contracts, trust, reputation as regulating tools for agents within organizations. * Application of organizational theory to MAS. * Organised Adaptation of regulated MAS: protocols and frameworks. * Models of norm (law, policy) change: norm revision, conflict detection, norm updates. * Simulation, analysis and verification of dynamics of multi-agent organizations. * Dynamic, adaptive and emergent organizational structures. * Practical applications of agent organization systems. Important Dates --------------- Submission deadline: March 15, 2009 Notification about submissions: April 17, 2009 Camera ready copy: May 08, 2009 Proceedings and Submission -------------------------- Proceedings will be available at the workshop. As with previous COIN workshops, selected, revised and extended versions of the papers of the 2009 COIN editions will be published in a single Springer LNCS volume. The length of each paper, including figures and references, may not exceed 16 pages. Further formatting guidelines and instructions on how to submit a paper may be found at the workshop web page. From friedmann.alexander at uqam.ca Tue Mar 10 04:32:17 2009 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Mon, 9 Mar 2009 23:32:17 -0400 (EDT) Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Tue, 10 Mar 2009, 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.friedmann at uqam.ca C.P. 8888 Centre-Ville Montreal Canada, H3C 3P8 From friedmann.alexander at uqam.ca Tue Mar 10 14:03:35 2009 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Tue, 10 Mar 2009 09:03:35 -0400 (EDT) Subject: Confirmation Request (0698344461) In-Reply-To: References: Message-ID: On Tue, 10 Mar 2009, 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: 0698344461, > 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: (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 arcoe-09 at aifb.uni-karlsruhe.de Tue Mar 10 16:56:45 2009 From: arcoe-09 at aifb.uni-karlsruhe.de (ARCOE-09) Date: Tue, 10 Mar 2009 16:56:45 +0100 Subject: [ARCOE-09] Extended Submission Deadline: March 18th 2009 Message-ID: <52c479f40903100856j10dde04cj59c4e1fb3f5eca57@mail.gmail.com> Apologies for Multiple Postings ======================= CALL FOR PARTICIPATION ARCOE-09 at IJCAI-09 July 11-12, 2009 Pasadena, CA, USA ======================= The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09) http://km.aifb.uni-karlsruhe.de/ws/ARCOE-09 July 11-12, 2009 Pasadena, California, USA held at the International Joint Conference on Artificial Intelligence (IJCAI-09) http://ijcai-09.org ARCOE-09 Highlights: McGuinness' and Baader's Invited Talks, Submission Deadline Extended until Wed 18 March 2009 23:59 Californian Time -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-09 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors. Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. ARCOE-09 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will select and present works about Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between Non-Monotonic Reasoning and ontology evolution. Prof. Deborah McGuinness and prof. Franz Baader have recently accepted ARCOE-09's invitation to deliver an invited talk. The titles of their contributions will be made available after the submission deadline. ARCOE-09 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information Integration - The role of context and ontology in Distributed Reasoning and Knowledge Management - The role of context and ontology in Semantic Web - Multi-Agent Systems - Data Grid and Grid Computing - Pervasive Computing and Ambient Intelligence - Peer-to-peer Information Systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging, Update and Merging - Inconsistency Handling, Belief Revision and Theory Change for DL ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Problem Solving - Agent Communication - Persistent Agents in Changing Environment - Multimedia on the Web - IT and Automated Reasoning -- Attendance -- Following IJCAI-09 policy, the total number of participants in ARCOE-09 will be limited to 75 people. This includes organisers, PC members, invited speakers, authors and attendees. Authors will be selected on significance of their submission and will be preferred to simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ijcai-09.org for registration procedure and fees. -- Submission Requirements and Dates -- ARCOE-09 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the IJCAI-09 Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of IJCAI-09. Please check http://www.ijcai-09.org/fcfp.html for the style files. Submissions should be no longer than 3 pages. - Orginal submission deadline: March 6, 2009 - Extended submission deadline: March 18, 2009 - Notification to authors: April 17, 2009 - Camera-ready version: May 8, 2009 - Workshop dates: July 11-12, 2009 -- Submit to -- Please submit to http://www.easychair.org/conferences/?conf=arcoe09 -- Workshop Co-Chairs -- - Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax No.: +44-131-650-6899. - Jos Lehmann School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax No.: +44-131-650-6899. - Guilin Qi Institute AIFB, Universitaet Karlsruhe, D-76128 Karlsruhe, Germany. Tel: +49-721-608-6038. - Ivan Jose Varzinczak Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-33-23. Please send all enquiries and communications to: arcoe-09 at aifb.uni-karlsruhe.de -- Program Committee -- - Richard Booth (Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Alain Leger (France Telecom R&D, France) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Palo Alto Research Center (PARC), USA) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Pavel Shvaiko (Informatica Trentina S.P.A., Italy) - John F. Sowa (VivoMind Intelligence, Inc., USA) - Holger Wache (University of Applied Sciences, Northwestern Switzerland) - Renata Wassermann (Universidade de Sao Paulo, Brasil) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wf at wfaber.com Tue Mar 10 23:08:54 2009 From: wf at wfaber.com (Wolfgang Faber) Date: Tue, 10 Mar 2009 23:08:54 +0100 Subject: CfP: ASPOCP 09 (ICLP Workshop) Message-ID: <1236722934.6794.841.camel@positron> [apologies if you receive multiple copies] =============================================================================== CALL FOR PAPERS ASPOCP 2009 2nd Workshop on Answer Set Programming and Other Computing Paradigms Collocated with the International Conference on Logic Programming 2009 Pasadena, California, USA July 14-17, 2009 =============================================================================== AIMS AND SCOPE Since its introduction in the 1990s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship, the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), or first-order logic (FOL) is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, and FOL theorem provers. Furthermore, the practical application of ASP also fosters work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms. - Relating ASP to other nonmonotonic languages. - New methods of computing answer sets using algorithms or systems of other paradigms. - ASP and probabilistic reasoning. - ASP and machine learning. - Language extensions to ASP. - ASP and multi-agent systems. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - Embedding ASP for challenging applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp2009 . IMPORTANT DATES (tentative) Submission deadline: April 23, 2009 Notification: May 27, 2009 Camera-ready articles due: June 10, 2009 Proceedings to ICLP: June 15, 2009 Workshop: ~ July 14-17, 2009 (exact day to be determined) PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). Informal proceedings will be provided at the workshop. LOCATION The workshop will be held in Pasadena, California, USA, collocated with the International Conference on Logic Programming (ICLP) 2009. WORKSHOP CO-CHAIRS Wolfgang Faber (University of Calabria, Italy) Joohyung Lee (Arizona State University, USA) PROGRAM COMMITTEE Chitta Baral (Arizona State University, USA) Gerhard Brewka (University of Leipzig, Germany) Pedro Cabalar (University of A Coruña, Spain) Nicola Leone (University of Calabria, Italy) Vladimir Lifschitz (University of Texas at Austin, USA) Fangzhen Lin (Hong Kong University of Science and Technology, China) Thomas Lukasiewicz (University of Oxford, UK) Ilkka Niemelä (Helsinki University of Technology, Finland) Torsten Schaub (University of Potsdam, Germany) Miroslaw Truszczynski (University of Kentucky, USA) Dirk Vermeir (Vrije Universiteit Brussel, Belgium) Stefan Woltran (Vienna University of Technology, Austria) Jia-Huai You (University of Alberta, Canada) Yan Zhang (University of Western Sydney, Australia) Yuanlin Zhang (Texas Tech University, USA) From pnse09 at informatik.uni-hamburg.de Tue Mar 10 23:27:18 2009 From: pnse09 at informatik.uni-hamburg.de (PNSE09) Date: Tue, 10 Mar 2009 23:27:18 +0100 Subject: [PNSE'09] Call for Papers: Petri Nets and Software Engineering Message-ID: <49B6E946.6000701@informatik.uni-hamburg.de> Call for Papers: PNSE'09 International Workshop on Petri Nets and Software Engineering Paris, France, June 22-23, 2009 a satellite event of Petri Nets 2009 and RSP 2009 http://petrinet2009.lip6.fr/ For more information please see our workshop web site: http://www.informatik.uni-hamburg.de/TGI/events/pnse09/ Short summary: Important Dates: Deadline for full papers: March 31, 2009 (extended) Deadline for short papers: March 31, 2009 (extended) Deadline for posters: May 02, 2009 Workshop: June 22-23, 2009 Scope: Any combination of Petri nets (and other models of concurrency) and software engineering. For details have a look at the web site. Submissions (LNCS-Style): The program committee invites submissions of full contributions (up to 15 / (20) pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session. The online conference management system can be found at: http://www.easychair.org/conferences/?conf=pnse09 Some of the best papers from the workshop proceedings will be invited for publication in a volume of a new journal sub-line of Lecture Notes in Computer Science entitled (ToPNoC) "Transactions on Petri Nets and Other Models of Concurrency". The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. For PNSE'07 please have a look at the first issue of the journal at -- Please use the Information below to contact me with respect to PNSE09 PNSE09 PC-Chair University of Hamburg Daniel Moldt Department of Informatics Tel./Fax : +49 40 428 83 - 2247 / 2246 Vogt-Koelln-Str. 30 mailto:pnse09 at informatik.uni-hamburg.de D-22527 Hamburg http://www.informatik.uni-hamburg.de/TGI/events/pnse09/ From invitation at iariaannounce.org Wed Mar 11 12:49:10 2009 From: invitation at iariaannounce.org (InfoWare 2009) Date: Wed, 11 Mar 2009 07:49:10 -0400 (EDT) Subject: Extension March 30 || InfoWare 2009 [ICCGI, ICWMC, INTERNET, HOWAN] Cannes/French Riviera Message-ID: <8556516.22137.1236772150521.JavaMail.Onitza@IariaAnnounce> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= InfoWare 2009, August 23-29, 2009, Cannes/French Riviera see: http://www.iaria.org/conferences2009/InfoWare09.html InfoWare 2009 is a federated event focusing on advances topics concerning the areas of wireless and mobile communications, computing, global information processing, internet evolution, and access networks. InfoWare 2009 continues the tradition of well-established conferences ICWMC, ICCGI, and adds new trends on Internet (INTERNET) and access networks (HOWAN). Submission (full paper) new deadline: March 30, 2009. Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. Submissions will be peer-reviewed, published by IEEE Computer Society Press, posted in IEEE Digital Library, and indexed via all the IEEE indexing agreements. All tracks/topics are open to both research and industry contributions. -- ICCGI 2009, The Fourth International Multi-Conference on Computing in the Global Information Technology http://www.iaria.org/conferences2009/ICCGI09.html -- ICWMC 2009, The Fifth International Conference on Wireless and Mobile Communications http://www.iaria.org/conferences2009/ICWMC09.html -- INTERNET 2009, The First International Conference on Evolving Internet http://www.iaria.org/conferences2009/INTERNET09.html -- HOWAN 2009, The First International Workshop on Hybrid Optical and Wireless Access Networks http://www.iaria.org/conferences2009/HOWAN.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about InfoWare, please reply with "DROP InfoWare event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From MFisher at liverpool.ac.uk Wed Mar 11 22:01:02 2009 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Wed, 11 Mar 2009 21:01:02 +0000 Subject: PhD studentship, Liverpool [UK] Message-ID: <49B8268E.7050301@liverpool.ac.uk> PhD Studentship [starting September 2009] ----------------------------------------- Department of Computer Science University of Liverpool, UK The "Verifying Interoperability Requirements in Pervasive Systems" project [http://cgi.csc.liv.ac.uk/VPS] is a collaboration between the universities of Birmingham, Glasgow and Liverpool. As part of this project we are supporting a 3 year PhD project to tackle relevant aspects in logic, formal verification, and pervasive systems. This PhD project is intended to start in September 2009 and includes full payment of fees at UK/EU rate and a maintenance grant £12,600 per annum. Applicants must be EU citizens and should have, or expect to obtain, either a degree at grade 2i or above, or an MSc, in Computer Science or Mathematics. The project tackles the development of logical foundations and verification techniques for pervasive systems. This PhD will involve one or more of: formal specification; autonomous systems; security; organisational/context models; model-checking; non-classical logics; deductive verification; executable specifications; fault tolerance. You will study under the supervision of Prof. Michael Fisher in the Logic and Computation group of the Department of Computer Science at the University of Liverpool [http://www.csc.liv.ac.uk/~michael]. The group has an international reputation for research in the areas of formal logics, verification, and execution. For further details and application procedure, see http://www.liv.ac.uk/working/job_vacancies/studentships/PhD_Computer_Science.htm Closing date for receipt of applications: 17th April 2009 -- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- From paolo.torroni at unibo.it Wed Mar 11 11:05:13 2009 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Wed, 11 Mar 2009 11:05:13 +0100 Subject: CfP :: Agent-Based Compuing (Greece August 27-29, 2009) Message-ID: <49B78CD9.7030907@unibo.it> [apologies for multiple posting] 6th Workshop on Agent Based Computing: from Model to Implementation – ABC:MI http://software.ucv.ro/~badica_costin/abcmi2009/ organized within the framework of 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) Patras, Greece, August 27-29, 2009 http://seaa2009.vtt.fi/ Call for Papers --------------- The field of agent technology is rapidly maturing. One of key factors that influence this process is the gathered body of knowledge that allows in-depth reflection on the very nature of designing and implementing agent systems. As a result, we know much better how to design and implement them. We also understand the most important issues to be addressed in the process. Therefore, on the top-most level we see progress in development of methodologies for design of agent-based systems. Furthermore, these methodologies are usually supported by tools that support not only top level conceptualization but guide the process toward implementation (e.g. by generating at least some code). Next, we can see that new languages for agent based systems are created, e.g. AML or API Calculus. Separately, tools / platforms / environments that can be used for design and implementation of agent systems have been through a number of releases, eliminating problems and adding new, important features. Resulting products are becoming truly robust and flexible. Furthermore, open source products (e.g. JADE) are surrounded by user communities, which often generate powerful ad-on components, further increasing value of existing solutions. During the Workshop we are primarily interested in all aspects of the process that leads from the model of the problem domain to the actual agent-based solution. These aspects will cover both principled approaches and established practices of software engineering aimed at producing high quality software. In this context, research into the application of agent-based solutions to key challenges faced by software engineering (e.g. reduction of costs and delivery times, coping with a larger diversity of problems) will be of primary importance. The workshop welcomes high-quality papers covering one or more of the following topics of agent systems research: - Methodologies for design of agent systems - Multi-agent systems product lines - Modeling agent systems - Agent architectures - Agent-based simulations - Simulating and verifying agent systems - Agent benchmarking and performance measurement - Agent communication, coordination and cooperation - Agent languages - Agent learning and planning - Agent mobility - Agent modeling, calculi, and logics - Agent security - Agents and Service Oriented Computing - Agents in the Semantic Web - Applications and Experiences History ------- Agent Based Computing: from Model to Implementation Workshop is a result of an evolutionary process involving: 1. Special Track on Agents, Interactions, Mobility, and Systems – AIMS organized within the framework of the ACM Symposium on Applied Computing in 2005, 2006, 2007 and 2008. 2. International Workshop on (Multi-)Agent Systems in E-Business: Concepts, Technologies and Applications – MASeB organized in 2006, 2007 with the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology – WI-IAT and in 2008 with the International Conference on Intelligent Systems Design and Applications – ISDA. 3. Agent Based Computing Workshop – ABC initially organized in 2003, 2005, 2006 within the framework of various multiconferences, and recently (2007 and 2008) within the framework of the International Multiconference on Computing Science and Information Technology. During 2008, after receiving an invitation to create a track for the SEAA conference, we have decided that the best approach is going to be to merge the three events (AIMS, MASeB and ABC) into a single one, and focus it on the, broadly understood, software-engineering oriented aspects of Agent Based Computing. This is how the ABC:MI Workshop has come into being. Paper Submission and Publication -------------------------------- Papers will be reviewed by the Program Committee and accepted on their scientific merit and relevance to the topics of the Workshop. Accepted papers will be included in the Proceedings that will be published by the IEEE/CS. Best papers, accepted and presented at the ABC:MI Workshop, will be selected for a Special Issue of international journals (more information to follow). Important Dates --------------- 27.03.2009 Full paper submission (extended deadline) 27.04.2009 Notification of acceptance 26.05.2009 Final (camera ready) paper due Workshop Organizers ------------------- Costin Badica, University of Craiova, Romania Maria Ganzha, Systems Research Institute Polish Academy of Sciences, Poland Marcin Paprzycki (Chair), Systems Research Institute Polish Academy of Sciences, Poland Shahram Rahimi, Southern Illinois University, USA Program Committee (tentative) ----------------------------- Stanislaw Ambroszkiewicz, Institute of Computer Science Polish Academy of Sciences, Poland Walter Binder, Ecole Polytechnique Federale De Lausanne, Switzerland Giacomo Cabri, Universita di Modena e Reggio Emilia, Italy Bengt Carlsson, Blekinge Institute of Technology, Sweden Radovan Cervenka, Whitestein Technologies AG, Slovakia Krzysztof Cetnarowicz, AGH University of Science and Technology, Poland Beniamino di Martino, Seconda Universita di Napoli, Italy George Eleftherakis, City College, Thessaloniki, Greece Adina Magda Florea, "Politehnica" University of Bucharest, Romania Giancarlo Fortino, University of Calabria, Italy Vladimir Gorodetsky, SPII RAS, Russia Dominic Greenwood, Whitestein Technologies AG, Switzerland Tomas Klos, Delft University of Technology, The Netherlands Ioan Alfred Letia, Technical University of Cluj-Napoca, Romania Viorel Negru, Western University of Timisoara, Romania Benno Overeinder, NLnet Labs, The Netherlands Myon Woong Park, Korea Institute of Science and Technology, Korea Joaquin Pena, University of Seville, Spain Alexander Pokhar, University of Hamburg, Germany Thomas E. Potok, Oak Ridge National Laboratory, USA Jarogniew Rykowski, Poznan University of Economics, Poland Sattar B. Sadkhan, University of Babylon, Iraq James D. Sissom, Southern Illinois University, USA Stanislaw Stanek, Katowice University of Economics, Poland Paolo Torroni, University of Bologna, Italy Walt Truszkowski, NASA - Goddard Space Flight Center, USA Tatyana Yakhno, Dokuz Eylul University, Turkey Arkady Zaslavsky, Monash University, Australia Yu Zhang, Trinity University, USA Hong Zhou, Saint Joseph College, USA Frank Zimmer, SES ASTRA TechCom SA, Luxembourg From tkren at kr.tuwien.ac.at Wed Mar 11 18:08:46 2009 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Wed, 11 Mar 2009 18:08:46 +0100 Subject: subscribe Message-ID: -- Thomas Krennwallner Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9-11/1843, A-1040 Vienna, Austria T: +43 (1) 58801-18469 E: tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ From tkren at kr.tuwien.ac.at Wed Mar 11 18:24:46 2009 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Wed, 11 Mar 2009 18:24:46 +0100 Subject: Confirmation Request (0623310720) In-Reply-To: References: Message-ID: On Wed, Mar 11, 2009 at 6:16 PM, 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: 0623310720, >  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 > > -- Thomas Krennwallner Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9-11/1843, A-1040 Vienna, Austria T: +43 (1) 58801-18469 E: tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ From lsir2 at easychair.org Wed Mar 11 23:50:34 2009 From: lsir2 at easychair.org (LSIR-2 at IJCAI 2009) Date: Wed, 11 Mar 2009 23:50:34 +0100 (MET) Subject: Extension of Deadline: 3rd CfP LSIR-2, "Logic and the Simulation of Interaction and Reasoning" Message-ID: THIRD CALL FOR PAPERS & EXTENSION OF DEADLINE Second Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2) held at IJCAI-09, Pasadena CA, U.S.A., 12 July 2009 http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2 INVITED SPEAKERS. Leora Morgenstern (Hawthorne NY, United States of America) Lenhart Schubert (Rochester NY, United States of America) R. Michael Young (Raleigh NC, United States of America) SUBMISSION DEADLINE. 3 April 2009. *** Note the extended deadline. *** DESCRIPTION OF WORKSHOP. In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities. LSIR-2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities. SUBMISSION. The emphasis of the workshop is the exchange of ideas and techniques between researchers in the various fields involved, rather than the most recent technical advances. We therefore strongly encourage the submission of announcements of survey, expository, and programmatic presentations, as well as work-in-progress and presentations based on published papers. We invite all researchers in the relevant fields to submit extended abstracts of one to four pages (in the AAAI style) via the EasyChair submission page at http://www.easychair.org/conferences/?conf=lsir2. Please use the AAAI style files for your submissions. For this, consult http://www.aaai.org/Publications/Author/author.php. Longer submissions (within reasonable bounds!) are acceptable, but will not be thoroughly refereed. Abstracts co-authored by members of the programme committee are allowed (and will be reviewed and discussed strictly without involvement of the relevant PC member). Abstracts reporting on submitted or published work are also acceptable as long as there is a clear relation to the workshop topic. In the latter case, the authors should notify the PC that the paper is under consideration or has been published elsewhere. Accepted paper will be printed in the Workshop informal "Working Notes". IMPORTANT DATES. Submission Deadline: 3 April 2009. Notification. 17 April 2009. Final version due. 8 May 2009. Workshop. 12 July 2009. PROGRAMME COMMITTEE. Jan Broersen (Utrecht, The Netherlands) Cristiano Castelfranchi (Rome, Italy) Frank Dignum (Utrecht, The Netherlands) Benedikt Löwe (Amsterdam, The Netherlands, chair) Erik T. Mueller (Hawthorne NY, United States of America) Amitabha Mukherjee (Kanpur, India) Mark Overmars (Utrecht, The Netherlands) Eric Pacuit (Stanford CA, United States of America) Rohit Parikh (New York NY, United States of America) Jos Uiterwijk (Maastricht, The Netherlands) Hans van Ditmarsch (Otago, New Zealand & Aberdeen, Scotland) The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass. From astocker at know-center.at Thu Mar 12 11:48:49 2009 From: astocker at know-center.at (Alexander Stocker) Date: Thu, 12 Mar 2009 11:48:49 +0100 Subject: I-KNOW '09 Deadline Extension Message-ID: <46F07AD1CC8A0148B560FFE150183321017382EF@exchange2.know.know-center.at> Dear Colleagues, Due to multiple requests from our scientific community we decided to extend the paper submission deadline for the I-KNOW - International Conference for Knowledge Management and Knowledge Technologies (http://www.i-know.at) to ** 6 April 2009 **. Remember, the topics of I-KNOW '09 will cover most relevant aspects of knowledge management and knowledge technologies, including but not limited to: * Basics and Theories * Knowledge Work Support * Semantic Technologies * Knowledge Services * Knowledge Relationship Discovery * Knowledge Visualization * Innovative Approaches to Knowledge Management * Knowledge Management and Web 2.0 The I-KNOW '09 Call for Paper can be found here: http://i-know.tugraz.at/scientific_part/call_for_papers We are looking forward to your original contribution to I-KNOW '09! Best regards, Klaus Tochtermann I-KNOW Conference Chair From emil.weydert at uni.lu Fri Mar 13 12:09:57 2009 From: emil.weydert at uni.lu (emil.weydert at uni.lu) Date: Fri, 13 Mar 2009 12:09:57 +0100 Subject: Symposium on Games, Argumentation and Logic Programming Message-ID: <49BA3F05.6000707@uni.lu> [Apologies for multiple posting] CALL FOR (FREE) REGISTRATION Symposium on Games, Argumentation and Logic Programming 23-24 April 2009 University of Luxembourg The meeting offers the opportunity to learn about, and discuss with leading researchers, promising developments at the interface of game theory, logic programming, and argumentation theory. Inspired by Dung's seminal work "On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-persons games" (Artificial Intelligence, 1995), it aims at fostering the interaction between these historically autonomous burgeoning subareas of nonmonotonic and practical reasoning. Please register no later than 15th April (free!) - there is a limited number of places. List of speakers: P. Barbini (University of Luxemburg and University of Turin, Italy) Prof. G. Brewka (University of Leipzig, Germany) Dr. M. Caminada (University of Luxembourg, Luxembourg) Prof. J. Dix (Technical University of Clausthal, Germany) Prof. P. M. Dung (Asian Institute of Technology, Thailand) Prof. D. Gabbay (King's College London, UK) Dr. D. Grossi (ILLC, The Netherlands) Dr. S. Modgil (King's College London, UK) Prof. H. Prakken (Universities of Utrecht/Groningen, The Netherlands) Dr. M. de Vos (University of Bath, UK) Yining Wu (University of Luxembourg, Luxembourg) The symposium is organized by the Individual and Collective Reasoning Group of the University of Luxembourg. More info: http://eqas.gforge.uni.lu/Galp/galp.html From guido at di.unito.it Fri Mar 13 17:57:39 2009 From: guido at di.unito.it (Guido Boella) Date: Fri, 13 Mar 2009 17:57:39 +0100 Subject: Announcing EASSS 2009 and MALLOW 2009 in Turin Message-ID: <49BA9083.4050405@di.unito.it> [We apologize if you received multiple copies of this email. Please feel free to distribute.] We are please to announce that the 11th European Agent Systems Summer School and the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops will be held in Turin from, respectively, August 31 to September 4 and September 7 to September 11. You will find on the website http://agents009.di.unito.it/ the description of the two events. EASSS 2009 is currently looking for proposals of courses. Important dates: Deadline for proposals: April 19, 2009 Notification: May 17, 2009 Material for reader (< 26 pp): June 28, 2009 MALLOW 2009 will be composed of the following workshops: - Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME) - Coordination, Organization, Institutions and Norms in Agent Systems in Online Communities (COIN) - Formal Approaches to Multi-Agent Systems (FAMAS) - LAnguages, methodologies and Development tools for multi-agent systemS (LADS) - Multi-Agent Systems and Simulation (MAS&S) Important dates: Submission: June, 10th, 2009 Notification: July, 1st, 2009 Camera Ready: July, 15th, 2009 Call for papers of each workshop will follow soon. For enquires please write to agents009 at di.unito.it The organizing chairs Cristina Baroglio, Matteo Baldoni and Guido Boella From bsl at Cs.Nott.AC.UK Fri Mar 13 19:33:12 2009 From: bsl at Cs.Nott.AC.UK (Brian Logan) Date: Fri, 13 Mar 2009 18:33:12 +0000 Subject: Call for Papers: Agents and Distributed Computing track of EUC-09 ... Message-ID: Call for Papers Agents and Distributed Computing track of the 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09) http://cse.stfx.ca/~euc09/ St Francis Xavier University, Vancouver, Canada, August 29-31, 2009 Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did. The emergence of this technology is a natural outcome of research and technological advances in a variety of areas including embedded systems, pervasive computing and communications, wireless networks, mobile computing, distributed computing and agent technologies. SCOPE AND INTERESTS The EUC-09 conference provides a forum for engineers and scientists in academia, industry, and government to address all resulting profound challenges including technical, safety, social, legal, political, and economic issues, and to present and discuss their ideas, results, work in progress and experience on all aspects of embedded and ubiquitous computing. Topics of particular interest include, but are not limited to: EMBEDDED COMPUTING: * Embedded System Software and Optimization * Embedded System Architectures * Hardware/Software Co-design and Design Automation * Real-Time Systems and Operating Systems * Application-Specific Processors and Devices * Power-Aware Computing * Sensor Networks * System/Network-on-Chip * Reconfigurable Computing Systems and Applications * Cyber-Physical Systems UBIQUITOUS COMPUTING: * Pervasive Computing and Communications * Middleware and Peer-to-Peer Computing * Internet Computing and Applications * Multimedia and Data Management * Human-Computer Interaction * Network Protocols * Wireless Communication & Networks * Mobile Computing * Agents and Distributed Computing * Security and Fault Tolerance Applications IMPORTANT DATES Paper Submission Deadline: April 15 , 2009 Author Notification: May 25 , 2009 Final Manuscript Due: June 15, 2009 ELECTRONIC SUBMISSION Prepare your paper with free styles not more than 15 pages in PDF file. Submit your paper(s) at the EUC-09 submission site: http://cse.stfx.ca/~euc09/sub/ Each submission should be regarded as an undertaking that, if the paper be accepted, at least one of the authors must attend the conference to present the work in order for the paper to be included in the IEEE Digital Library. PAPER PUBLICATIONS Accepted papers will be published in proceedings of the EUC-09 conference by IEEE Computer Society. Selected bested papers will be recommended for publication in special issues of Journal of Embedded Computing, International Journal of Embedded Systems, International Journal of Parallel, Emergent and Distributed Systems and several SCI- indexed journals. One best paper in embedded and ubiquitous themes will be selected. ORGANISERS General Chairs Victor Leung, University of British Columbia, Canada Jianhua Ma, Hosei University, Japan General Vice-Chairs Mieso Denko, University of Guelph, Canada Sajid Hussain, Acadia University, Canada Kin F. Li, University of Victoria, Canada Program Chairs Jingling Xue, University of New South Wales, Australia Ivan Stojmenovic, University of Ottawa, Canada Contact: General: euc09 at googlegroups.com Program: Jingling Xue (jingling at cse.unsw.edu.au) -- Brian Brian Logan, School of Computer Science, University of Nottingham Email: bsl at cs.nott.ac.uk, Phone: +44 115 846 6509, Fax: +44 115 951 4254 This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From torsten at cs.uni-potsdam.de Sat Mar 14 10:29:55 2009 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Sat, 14 Mar 2009 10:29:55 +0100 (CET) Subject: Call for Paper: LPNMR'09 Message-ID: <20090314092955.2405D20CA@raz.haiti.cs.uni-potsdam.de> [apologies if you receive multiple copies] Call for Papers: LPNMR'09 ========================= 10th International Conference on Logic Programming and Nonmonotonic Reasoning Potsdam, Germany, 14-18 September, 2009 http://www.cs.uni-potsdam.de/lpnmr09 LPNMR'09 is the tenth in the series of international meetings on logic programming and nonmonotonic reasoning. The special theme of LPNMR'09 is Applications of Logic Programming and Nonmonotonic Reasoning; it aims at providing a comprehensive survey of the state-of-the-art of Applications in the field, with a slight focus on Answer Set Programming (ASP). LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that led or will lead to the construction of practical systems for declarative programming and knowledge representation. Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on LPNMR techniques which led to the development of significant applications. In addition to technical and original application papers, we also invite submissions of short papers, system descriptions, and summaries of of existing successful applications of LPNMR systems, which will be presented in dedicated poster sessions. As in the past, the proceedings of the conference will be published in the Springer Verlag LNCS series (http://www.springeronline.com/lncs). As part of the technical program, LPNMR'09 comprises special sessions devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems and applications of LPNMR with a focus on applications of ASP. Moreover, LPNMR'09 hosts the award ceremony of the Second Answer Set Programming Competition (http://www.cs.kuleuven.be/~dtai/events/ASP-competition). Workshops --------- The program of LPNMR'09 will also include several workshops. Workshops provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to LPNMR, including cross-disciplinary areas. Those interested in organizing a workshop at LPNMR'09 are invited to submit an informal workshop proposal to the program chairs until 30 April 2009. Submission ---------- LPNMR'09 welcomes submissions in the following formats. * Technical papers (13 pages) * Original application papers (13 pages) * Short papers (6 pages) * System descriptions (6 pages) * Summaries of of existing successful applications (6 pages) All papers must not exceed the alloted number of pages including title page, references and figures; they must be formatted according to the Springer LNCS authors instructions. Papers must be written in English and present original research. All submissions will be peer-reviewed by an international panel. Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr09 Important Dates --------------- * Paper registration 15 April 2009 * Paper submission 20 April 2009 * Workshop submission 30 April 2009 * Paper Notification 1 June 2009 * Final conference papers 22 June 2009 Venue ----- The conference will be held at the University of Potsdam's Institute of Informatics. Potsdam, once a city of kings and royal residences, is today the capital of the state of Brandenburg in Germany and at the same time a European city of culture and science. The heart of Prussia is famous for its palaces and parks, its gardens and villas, and its numerous museums. Last but not least it nicely complements the adjacent capital city of Berlin. Program Chairs -------------- Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong, China, http://www.cs.ust.hk/~flin Torsten Schaub, University of Potsdam, Germany, http://www.cs.uni-potsdam.de/~torsten ASP/LPNMR Application Theme Chair --------------------------------- Esra Erdem, Sabanci University, Istanbul, Turkey, http://people.sabanciuniv.edu/esraerdem ASP Competition Chair --------------------- Marc Denecker, Leuven University, Belgium, http://www.cs.kuleuven.ac.be/~marcd Contact ------- Email to lpnmr09 at cs.uni-potsdam.de. From nooj2009 at miracl.rnu.tn Sat Mar 14 18:07:29 2009 From: nooj2009 at miracl.rnu.tn (NooJ'09 Organising Committee) Date: Sat, 14 Mar 2009 18:07:29 +0100 Subject: NooJ'09 : Last CFP & Deadline extension Message-ID: <852041137fd8cacf9f51f8f77d96acb9@pop.rnu.tn> Dear colleagues, Due to many requests, the submission deadline has been extended. The deadline is now 29 March 2009. ******************************************************************** *Last Call for abstracts & Final deadline extension* NOOJ'09 : Conference & Workshop 08-10 June 2009, Tozeur , Tunisia * * www.miracl.rnu.tn/nooj. ******************************************************************** *Important Dates* · Abstract submission: Mars 29, 2009 (FINAL deadline extension) · Notification of Acceptance : May 04, 2009 · Conference : 08-10 June, 2009 ******************************************************************** NOOJ 2009 will be organized by the research laboratory MIR at CL (Multimedia InfoRmation & Advanced Computing Laboratory), Sfax University in collaboration with the "Semio-linguistic, the Didactic and computer science Laboratory", Franche-Comté University and the "Maison des Sciences de l'Homme Claude Ledoux". NOOJ 2009 will be held in Tozeur city-Tunisia, 450 Km in the south-west of Tunis . The conference intends to: - give NooJ users and researchers in Linguistics and in Computational Linguistics the opportunity to meet and share their experience as developers, researchers and teachers; - present to NooJ users the latest linguistic resources and NLP applications developed for/with NooJ, its latest functionalities, as well as its future developments; - offer researchers and graduate students two tutorials (one basic and one advanced) to help them parse corpora and build NLP applications using NooJ. - Present NooJ's Arabic resources to all researchers in Arabic studies : linguists, computational linguists as well as all researchers who work with/on Arabic corpora. NooJ is a freeware, linguistic engineering development environment used to formalize various types of textual phenomena (orthography, lexical and productive morphology, local, structural and transformational syntax) using a large gamut of computational devices (from Finite-State Automata to Augmented Recursive Transition Networks). NooJ includes tools to construct, test, debug, maintain and accumulate large sets of linguistic resources, and can apply them to large texts. Modules for a dozen languages are already available for free download: Arabic, Armenian, Bulgarian, Catalan, Chinese, English, French, Hebrew, Hungarian, Italian, Polish, Portuguese and Spanish. A dozen of other modules are under construction. ****************************************************** *Topics of Interest* Suggested topics include but are not limited to: · Syntactic analysis · Lexical analysis · Linguistic resources · Dictionary ******************************************************: *Submission* We invite the submission of papers until the March 15, 2009 either in English or in French. The abstracts should contain the title of the article, the name, the institution, the surface mail and the electronic address of each co-author. The abstracts should not exceed one page, and should be submitted from the workshop web site: www.miracl.rnu.tn/nooj. All proposals will be reviewed by the scientific committee. You will be given notice about the acceptance of the proposals no later than May 04, 2009. For more information, please contact: nooj2009 at miracl.rnu.tn abdelmajid.benhamadou at isimsf.rnu.tn. ********************************************************************: *Program Committee*** * *Abdelmajid Ben Hamadou* (MIRACL, ISIM-Sfax , Tunisia ) * *Max Silberztein* ( University of Franche-Comté , France ) * Anaid Donabedian (INALCO, Paris) * Belinda Maia ( University of Porto , Portugal ) * Bilel Gargouri (MIRACL, FSEG-Sfax , Tunisia ) * Denis Le Pesant (University Paris 10) * Dusko Vitas ( University of Belgrade , Serbia ) * Gisele Chevalier ( University of Moncton , Canada ) * Kais Haddar (MIRACL, FSS-Sfax , Tunisia ) * Kimmo Koskenniemi ( University of Helsinki , Finland ) * Krzysztof Bogacki ( University of Warshaw , Poland ) * Mireille Piot (University Stendhal 3, Grenoble ) * Odile Piton (University Paris 1, France) * Peter Machonis (Intnl University of Florida , USA ) * Philippe Schepens ( University of Franche-Comté , France ) * Simona Vietri (University Salerne , Italy ) * Xavier Blanco (University Autonomous Barcelona , Spain ) *Organization Committee*** * Héla FEHRI, FS Sfax , Tunisia * Bilel GARGOURI, FSEG Sfax , Tunisia * Kais HADDAR, FS Sfax , Tunisia * Slim MESFAR, ISI Tunis , Tunisia * Moncef TEMANNI, ISI Tunis,Tunisia * Inès ZALILA, FS Sfax , Tunisia From noreply at imcsit.org Thu Mar 12 17:39:03 2009 From: noreply at imcsit.org ([IMCSIT] News Service) Date: Thu, 12 Mar 2009 17:39:03 +0100 Subject: [CFP] Computational Linguistics - Applications, Poland, October 2009 Message-ID: *********************************************************************************** Dear Colleague, We apologize if you received the CLA'09 CFP more than once. Information how to permanently unsubscribe from the list can be found on the bottom of this e-mail. Please forward this CFP to colleagues that may be interested in our conference. Sincerely, CL-A Organizing Committee *********************************************************************************** CALL FOR PAPERS Computational Linguistics - Applications Workshop (CLA'09) http://cla.imcsit.org/ -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- event of International Multiconference on Computer Science and Information Technology (IMCSIT 2009) 12-14 October 2009, Mragowo, Poland The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country. Workshop Goals ============== The Computational Linguistics - Applications Workshop was created in 2008 in response to the fast-paced progress in the area. Traditionally, computational linguistics was limited to the scientists specialized in the processing of a natural language by computers. Scientific approaches and practical techniques come from linguistics, computer science, psychology, and mathematics. Nowadays, there is a number of practical applications available. These applications are sometimes developed by smart yet NLP-untrained developers who solve the problems using sophisticated heuristics. Computational Linguistics needs to be applied to make the full use of the Internet. There is a definite need for software that can handle unstructured text to allow search for information on the web. According to the European Commission, Human Language Technologies are one of the key research areas for the upcoming years. The priority aim of the research in this area is to enable users to communicate with the computer in their native language. CLA'09 Workshop is a place where the parties meet to exchange views and ideas with a benefit to all involved. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction. Paper Topics ============ This call is for papers that present research and developments on all aspects of Natural Language Processing used in real-life applications, such as (this list is not exhaustive): * information retrieval * extraction of linguistic knowledge from text corpora * semantic ontologies in computer linguistics * lexical resources * machine translation and translation aids * ambiguity resolution * text classification * corpus-based language modeling * POS-tagging * parsing issues * proofing tools * dialogue systems * machine learning methods applied to language processing * ontology and taxonomy evaluation * opinion mining * question answering * sentiment analysis * speech and audio processing * text summarization * use of NLP techniques in practical applications Paper Presentation ================== The presentation of the paper has to include a demonstration of an existing tool. The papers should include a section describing the tool (or a prototype), which demonstrates the theory discussed in the paper. The presentation is divided into two parts. First, the author(s) shortly demonstrate their tools to the audience. In the second part, the authors discuss their work with other participants and let the audience test their software. Papers will be evaluated and accepted on the basis of their technical merit, usefulness of the real life application and relevance to the workshop scope by the CLA'09 Program Committee (http://www.imcsit.org/md/cmt/⊂=219&pars=2). The paper will be assessed by academics as well as industry representatives in order to assure fair and balanced assessment. All accepted and presented papers will be published in the Conference Proceedings and included in the IEEE Xplore(R) database. The best demonstrations will be selected to be shown to the general audience of the conference at a plenary session. Papers Submission Requirements ============================== * Authors should submit full papers (as Postscript, PDF of MSWord file). * The submissions are accepted via conference submission system until 2009-05-10 (link will be published soon). * The total length of a paper should not exceed 8 pages (IEEE style). IEEE style templates are available at: http://submit.imcsit.org. CLA'09 Committees ================= See: http://www.imcsit.org/md/cmt/⊂=219&pars=2 Useful links ============ Mragowo: http://en.wikipedia.org/wiki/Mr%C4%85gowo IMCSIT: http://www.imcsit.org/ *********************************************************************************** CLA'09 - where science meets reality! *********************************************************************************** -- To unsubscribe from this list visit: http://www.mailing.imcsit.org/?p=unsubscribe&uid=7af0578e84b1f1b84fe3d102af3db921 To change your e-mail address visit: http://www.mailing.imcsit.org/?p=preferences&uid=7af0578e84b1f1b84fe3d102af3db921 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tkren at kr.tuwien.ac.at Sat Mar 14 20:06:33 2009 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Sat, 14 Mar 2009 20:06:33 +0100 Subject: Kein Betreff Message-ID: -- Thomas Krennwallner Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9-11/1843, A-1040 Vienna, Austria T: +43 (1) 58801-18469 E: tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ From tkren at kr.tuwien.ac.at Sat Mar 14 20:46:59 2009 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Sat, 14 Mar 2009 20:46:59 +0100 Subject: Confirmation Request (0623310720) In-Reply-To: References: Message-ID: On Sat, Mar 14, 2009 at 8:13 PM, event administration wrote: > This is an automated message from the >   mailing list manager > > Somebody (probably you) have requested the subscribe(digest) 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: 0623310720, >  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 > > -- Thomas Krennwallner Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9-11/1843, A-1040 Vienna, Austria T: +43 (1) 58801-18469 E: tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ From lpnmr09 at cs.uni-potsdam.de Mon Mar 16 10:55:50 2009 From: lpnmr09 at cs.uni-potsdam.de (LPNMR09 Account) Date: Mon, 16 Mar 2009 10:55:50 +0100 (CET) Subject: Call for Papers: LPNMR'09 Message-ID: <20090316095551.0679210D34@mail.cs.uni-potsdam.de> Call for Papers: LPNMR'09 ========================= 10th International Conference on Logic Programming and Nonmonotonic Reasoning Potsdam, Germany, 14-18 September, 2009 http://www.cs.uni-potsdam.de/lpnmr09 LPNMR'09 is the tenth in the series of international meetings on logic programming and nonmonotonic reasoning. The special theme of LPNMR'09 is Applications of Logic Programming and Nonmonotonic Reasoning; it aims at providing a comprehensive survey of the state-of-the-art of Applications in the field, with a slight focus on Answer Set Programming (ASP). LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that led or will lead to the construction of practical systems for declarative programming and knowledge representation. Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on LPNMR techniques which led to the development of significant applications. In addition to technical and original application papers, we also invite submissions of short papers, system descriptions, and summaries of of existing successful applications of LPNMR systems, which will be presented in dedicated poster sessions. As in the past, the proceedings of the conference will be published in the Springer Verlag LNCS series (http://www.springeronline.com/lncs). As part of the technical program, LPNMR'09 comprises special sessions devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems and applications of LPNMR with a focus on applications of ASP. Moreover, LPNMR'09 hosts the award ceremony of the Second Answer Set Programming Competition (http://www.cs.kuleuven.be/~dtai/events/ASP-competition). Workshops --------- The program of LPNMR'09 will also include several workshops. Workshops provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to LPNMR, including cross-disciplinary areas. Those interested in organizing a workshop at LPNMR'09 are invited to submit an informal workshop proposal to the program chairs until 30 April 2009. Submission ---------- LPNMR'09 welcomes submissions in the following formats. * Technical papers (13 pages) * Original application papers (13 pages) * Short papers (6 pages) * System descriptions (6 pages) * Summaries of of existing successful applications (6 pages) All papers must not exceed the alloted number of pages including title page, references and figures; they must be formatted according to the Springer LNCS authors instructions. Papers must be written in English and present original research. All submissions will be peer-reviewed by an international panel. Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr09 Important Dates --------------- * Paper registration 15 April 2009 * Paper submission 20 April 2009 * Workshop submission 30 April 2009 * Paper Notification 1 June 2009 * Final conference papers 22 June 2009 Venue ----- The conference will be held at the University of Potsdam's Institute of Informatics. Potsdam, once a city of kings and royal residences, is today the capital of the state of Brandenburg in Germany and at the same time a European city of culture and science. The heart of Prussia is famous for its palaces and parks, its gardens and villas, and its numerous museums. Last but not least it nicely complements the adjacent capital city of Berlin. Program Chairs -------------- Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong, China, http://www.cs.ust.hk/~flin Torsten Schaub, University of Potsdam, Germany, http://www.cs.uni-potsdam.de/~torsten ASP/LPNMR Application Theme Chair --------------------------------- Esra Erdem, Sabanci University, Istanbul, Turkey, http://people.sabanciuniv.edu/esraerdem ASP Competition Chair --------------------- Marc Denecker, Leuven University, Belgium, http://www.cs.kuleuven.ac.be/~marcd Contact ------- Email to lpnmr09 at cs.uni-potsdam.de. From t.dinoia at poliba.it Mon Mar 16 13:42:28 2009 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Mon, 16 Mar 2009 13:42:28 +0100 Subject: CFP - EC-Web 2009 Message-ID: <1237207348.11066.59.camel@tdn-sisinf03> [We apologize for multiple copies] ======================= CALL FOR PAPERS ============================ 10th International Conference on Electronic Commerce and Web Technologies EC-Web 09 http://sisinflab.poliba.it/ecweb09/ Johannes Kepler University of Linz Linz, Austria 31 August - 4 September 2009 ==================================================================== !!! SUBMISSION DEADLINE EXTENDED !!! - Submission of abstracts: March 27, 2009 - Submission of full papers: March 30, 2009 ==================================================================== !!! NEW !!! Journal publication for selected papers. LNCS Transactions Subline Selected and reviewed papers will be published in LNCS Transactions Subline (Springer Verlag) "Transactions on Large Scale Data and Knowledge Centered Systems" Editors: Abdelkader Hameurlain (University Toulouse) Josef Küng (University of Linz) Roland Wagner (University of Linz) ==================================================================== EC-Web 2009 After the initial enthusiastic initiatives and investments and the eventual bubble, Electronic Commerce has changed and evolved in a well established and founded reality both from a technological point of view and from a scientific one. Nevertheless, together with its evolution, new challenges and topics have emerged as well as new questions have raised related to many aspects of Electronic Commerce. After the lesson learned during last years, for its 10th edition EC-Web completely renews its structure trying to provide a clearer description of the Electronic Commerce universe focusing on some relevant topics. The main focus is not only on Internet related techniques and approaches. The aim of EC-Web 2009 is to cover also aspects related to theoretical foundation of E-Commerce, Business Processes as well as new approaches exploiting recently emerged technologies and scenarios such as Semantic Web, Web services, SOA architectures, mobile and ubiquitous computing, just to cite a few. Due to their central role in any realistic e-commerce infrastructure security and privacy issues are widely considered, without excluding legal and regulatory aspects. We encourage papers that present innovative solutions for classical E-Commerce issues, such as e-negotiation, recommender systems, secure payments, as well as for new emerging areas, such as the Semantic Web, applied Web services, applied soft computing and information retrieval techniques in web and/or e-commerce environments. Although the conference seems naturally focused on computer science issues, we welcome and encourage research contributions from economics, business administration, law, sociology and other disciplines. In particular, papers about web marketing and its non-technical aspects, as well as about social aspects of e-commerce are encouraged. We also welcome papers reporting about innovative applications and case studies in the field of E-Commerce and/or Web Applications, like, e.g., Electronic Voting and Sponsored web search. In order to provide a better categorization and classification of its main goals, Ec-Web 2009 will be organized as a multi-track conference. Each track will be organized as a mini-conference with corresponding reference area chairs. Even though the main focus of the conference concerns the relationship between E-commerce and emerging technologies, with strong attention toward semantics aspects, contributions about theoretical issues as well as cross-track contributions are very welcome. TRACKS * Service Oriented E-Commerce and Business Process o Business process modeling and analysis o Software architectures o Processes and service composition o Business process and e-service repositories o Quality of Service in business processes o Security in business processes o Cross-organizational process support, contracts o Workflow management systems o Process modeling and enactment in ERP, CRM, and SCM systems o SOA and Process Management o Resource management in business process execution o Enterprise Application Integration o Inter-organizational Systems o SOA approaches to E-Commerce o Virtual enterprises, supply chains, coalitions * Recommender Systems o Innovative applications of recommender technology o Recommendation learning and reasoning o Industrial application of recommendation technology o Recommender system user interfaces and conversational approaches o Explanations in recommender systems o Group recommender systems o Consumer decision making and consumer buying behavior models o Collaborative Filtering o Appraisal of Recommender Systems o User Issues in Recommender Systems o Recommendation Interfaces o Computational advertising o Decision theory and preferences * E-Payment, Security and Trust o Payment and authentication protocols o Micropayments o Access Control o Privacy-enhancing technologies o Information Hiding and Watermarking o Reputation and trust systems o Security and privacy issues in electronic commerce o E-Commerce Dependability o Transactions and Contracts o Legal and Regulatory Issues o Electronic voting * Electronic Commerce and Web 3.0 o Ontology engineering for E-Commerce o Taxonomies and Web directories for semantic E-Commerce o Semantic-based discovery of resources in a marketplace o Semantic electronic markets o Semantic Web Service architecture for E-Commerce o Semantic E-Procurement o Ontology-based user profiling o Application of standard and non-standard reasoning in E-Commerce o User tagging for item annotation and discovery o Cloud computing in E-Commerce scenarios o User interface to exploit Web 3.0 technologies in E-Commerce o Emerging languages for E-Commerce o Mobile and Pervasive Commerce o P2P E-Commerce o Experience with e-commerce systems o Usability of e-commerce systems CONFERENCE CHAIRS * Francesco Buccafurri - Università Mediterranea di Reggio Calabria * Tommaso Di Noia - Politecnico di Bari TRACK CHAIRS Service Oriented E-Commerce and Business Process * Stefan Tai - Karlsruhe University Recommender Systems * Giovanni Semeraro - Università degli Studi di Bari E-Payment, Security and Trust * Barbara Masucci - Università di Salerno Electronic Commerce and Web 3.0 * Martin Hepp - Bundeswehr University Munich IMPORTANT DATES - Submission of abstracts: March 27, 2009 - Submission of full papers: March 30, 2009 - Notification of acceptance: May 15, 2009 - Camera-ready copies due: June 10, 2009 SUBMISSION Authors are invited to submit original research contributions in English, following the LNCS format (http://www.springer.de/comp/lncs/authors.html). Duplicate submissions are not allowed and will be rejected Papers should not exceed 12 pages (i.e. 12 LNCS formatted pages). Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in "Lecture Notes in Computer Science" (LNCS) by Springer Verlag. At least one author is required to attend the conference and present the paper. For paper registration, electronic submission and further information please see http://sisinflab.poliba.it/ecweb09/ and http://www.dexa.org. From DHui at uno.edu Tue Mar 17 08:12:25 2009 From: DHui at uno.edu (David Hui) Date: Tue, 17 Mar 2009 02:12:25 -0500 Subject: ICCE-17 Hawaii, invitation from Chairman Message-ID: <34C25DE6A5835B46A29B60ABC4F205F74E4B3BF73C@MAIL25CLUSTER.uno.edu> March 17, 2009 Re: INVITATION for oral presentation at ICCE-17th Hawaii, USA event at in.tu-clausthal.de Upon review of your expertise in composite and nanotechnology of materials or physics/chemistry of materials/devices, and metals and concrete research, it gives me pleasure to invite you to orally present a paper at the coming 17th Annual International Conference on Composites or Nano Engineering, ICCE-17, July 26-31, 2009 in Hawaii, USA.. This is a truly "international" conference held in the USA, where the majority of the participants are from outside USA. The topic is broad to include almost all science and engineering, due to the emphasis of interdisciplinary research in nanotechnology. The ICCE-17 Hawaii Call for Papers has received overwhelming responses of over 600 abstracts. The emphasis of the conference is to (1) to learn the state of the art in hot topics where funding exists, such as Biomedical and Nano research on multifunctional materials and structures, (2) provide a forum of exchange of ideas between Chemists, Physicists, Biologists, Engineers, mathematicians and mechanicians, to promote interdisciplinary approach to Nano/Biomedical/ Composites Technology, (3) encourage participants to conduct interdisciplinary joint research and write joint research proposals The venue hotel rate is being negotiated (prices falling due to recession), and the venue hotel and the island will be announced soon. The conference web is, www.uno.edu/~engr/composite These ICCE-17 detailed abstracts will be reviewed and appear as short papers in World Journal of Engineering, upon payment of registration fee and attendance of ICCE-17. Further, "all" full length version of these short papers, with paper title change, will be reviewed and published in WJOE or in Composites B journal. Thus, all participants will have two journal papers as a benefit of coming to ICCE-17 Hawaii. Due to budgetary constraints, we are unable to offer financial assistance. Looking forward to seeing you in Hawaii. Yours sincerely [cid:image002.jpg at 01C9A6A5.D1A8E010] _________________ David Hui, Ph.D., Chairman ICCE-17 Hawaii, USA Professor of Mechanical Engineering Univ of New Orleans Editor-in-Chief, Composites Part B: Doctor Honoris Causa (Italy, Nov. 2008, Vietnam, Dec. 2006, Ukraine, Nov. 2004) dhui at uno.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image001.jpg Dateityp : image/jpeg Dateigröße : 15678 bytes Beschreibung: image001.jpg URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image002.jpg Dateityp : image/jpeg Dateigröße : 1671 bytes Beschreibung: image002.jpg URL : From franconi at inf.unibz.it Tue Mar 17 14:44:46 2009 From: franconi at inf.unibz.it (Enrico Franconi) Date: Tue, 17 Mar 2009 14:44:46 +0100 Subject: 5th Reasoning Web Summer School 2009 - call for participation Message-ID: <1003C423-1E21-494C-856C-DA2E8BC346B1@inf.unibz.it> 5th REASONING WEB Summer School (RW 2009) "Semantic technologies for information systems" http://www.reasoningweb.org/2009/ Brixen-Bressanone (near Bozen-Bolzano), Italy 30 August - 4 September 2008 DEADLINE FOR APPLICATIONS: 10 May 2009 The "Reasoning Web" series of annual Summer Schools was started in 2005 by the Network of Excellence REWERSE. This edition will focus on the use of semantic technologies to enhance data access on the web. Courses will present a range of techniques an formalisms which bridge semantic based and data intensive systems. COURSES: 1. Description Logics. by Franz Baader 2. Ontologies and databases. by Diego Calvanese 3. Database theory for RDF. by Claudio Gutierrez 4. Database technology for RDF. by Souripriya Das 5. Answers-set semantics based tools. by Thomas Eiter, Giovambattista Ianni 6. The Semantic Desktop. by Siegfried Handschuh, Michael Sintek 7. Logical foundations of XML and XQuery. by Maarten Marx REGISTRATION FEE: €400 (including all lunches and social events). APPLICATION: The applications have to be submitted by the *** 10th of May 2009 *** according to the instruction in the web site: http://reasoningweb.org/2009/ Details on the registration procedure will be available after the notification of acceptance of the application; details on the accommodation are already available in the web site. PROGRAM COMMITTEE: Thomas Eiter, Vienna Technical University, Austria. Enrico Franconi (co-chair), Free University of Bozen-Bolzano, Italy. Claudio Gutierrez, Universidad de Chile, Santiago, Chile. Siegfried Handschuh, DERI Galway, Ireland. Marie-Christine Rousset, University of Grenoble, France. Renate Schmidt, University of Manchester, United Kingdom. Sergio Tessaris (co-chair), Free University of Bozen-Bolzano, Italy. REASONING WEB SCHOOL STEERING COMMITTEE: Uwe Assmann. Cristina Baroglio (chair). François Bry. Norbert Eisinger. Nicola Henze. Massimo Marchiori. Axel Polleres (deputy chair). LOCAL ORGANISATION: Stefano David, Università Politecnica delle Marche, Italy. Enrico Franconi, Free University of Bozen-Bolzano, Italy. Sergio Tessaris, Free University of Bozen-Bolzano, Italy. From Valentin.Goranko at wits.ac.za Tue Mar 17 21:28:23 2009 From: Valentin.Goranko at wits.ac.za (Valentin Goranko) Date: Tue, 17 Mar 2009 22:28:23 +0200 Subject: E. W. Beth Dissertation Prize: 2009 call for submissions -- deadline extension In-Reply-To: References: Message-ID: E. W. Beth Dissertation Prize: 2009 call for submissions ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2008. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation. Inter-disciplinarity is an important feature of the theses competing for the E. W. Beth Dissertation Prize. Who qualifies. ~~~~~~~~~~~~~~ Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2008 and December 31st, 2008. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2008 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for 2009). Respectively, nominations of full English translations of theses originally written in other language than English and defended in 2007 and 2008 will be accepted for consideration this year, too. Prize. ~~~~~~ The prize consists of: * a certificate * a donation of 2500 euros provided by the E. W. Beth Foundation. * an invitation to submit the thesis (or a revised version of it) to the new series of books in Logic, Language and Information to be published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on this series is available on the FoLLI site) How to submit. ~~~~~~~~~~~~~~ Only electronic submissions are accepted. The following documents are required: 1. the thesis in pdf or ps format (doc/rtf not accepted); 2. a ten page abstract of the dissertation in ascii or pdf format; 3. a letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to bethaward2008 at gmail.com. Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days after submission, nominators should write to goranko at maths.wits.ac.za or policriti at dimi.uniud.it, with a cc to bethaward2008 at gmail.com. Important dates: Extended (strict) deadline for submissions: April 7, 2009. Notification of decision: July 1, 2009. Committee : * Anne Abeille (Universite Paris 7) * Natasha Alechina (University of Nottingham) * Wojciech Buszkowski (Adam Mickiewicz University, Poznan) * Didier Caucal (IGM-CNRS) * Nissim Francez (The Technion, Haifa) * Valentin Goranko (chair) (University of the Witwatersrand, Johannesburg) * Alexander Koller (Saarland University) * Alessandro Lenci (University of Pisa) * Gerald Penn (University of Toronto) * Alberto Policriti (Universita  di Udine) * Rob van der Sandt (University of Nijmegen) * Colin Stirling (University of Edinburgh)

This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorized signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.

From nbassili at csd.auth.gr Wed Mar 18 09:23:56 2009 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Wed, 18 Mar 2009 10:23:56 +0200 Subject: [1st CFP] 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009) Message-ID: <49C0AF9C.2080900@csd.auth.gr> [ our apologies should you receive this message more than one time ] Call for Papers RuleML 2009 3rd International Symposium on Rules, Applications and Interoperability November 5-7 2009, Las Vegas, Nevada, USA http://2009.ruleml.org/ co-located with 12th International Business Rules Forum Sponsored by ============================================================================== NICTA (National ICT Australia) BMBF InnoProfile Corporate Semantic Web Logic Programming Associated Ltd ============================================================================== Overview and Aim ============================================================================== The International Symposium on Rules, Applications and Interoperability has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007. This year, the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009) takes place in Las Vegas, Nevada, USA, collocated with the 12th Business Rules Forum, the world's largest Business Rules event. RuleML-2009 is devoted to practical distributed rule technologies and rule-based applications which need language standards for rules (inter)operating in, e.g., the Semantic Web, Intelligent Multi-Agent Systems, Event-Driven Architectures, and Service-Oriented Applications. Especially, this year's focus will be on the practical adoption and application of standards such as W3C RIF, OMG SBVR, OMG PRR, RuleML, ISO Common Logic, OASIS BPEL++Rules, OMG BPMN++Rules, and industry standards in relation with rules such as XBRL, MISMO, FIXatdl, FIX, FpML, HL7, Acord, etc. The main goal of RuleML-2009 is to stimulate the cooperation and interoperability between business and research, by bringing together rule system providers, participants in rule standardization efforts, open source communities, practitioners, and researchers. The concept of the symposium has also advanced continuously in the face of extremely rapid progress in practical rule and event processing technologies. As a result, RuleML-2009 will feature hands-on demonstrations and challenges alongside a wide range of thematic tracks, thus and will be an exciting venue to exchange new ideas and experiences on all issues related to the engineering, management, integration, interoperation and interchange of rules in open distributed environments such as the Web. Conference Theme ============================================================================== This year, we particularly welcome submissions that address applications of Web rule technologies for business and information systems. We invite you to share your ideas, results, and experiences: as an industry practitioner, rule system provider, technical expert and developer, rule user or researcher, exploring foundations, developing systems and applications, or using rule-based systems. We invite high-quality submissions related to (but not limited to) one or more of the following topics: Track Topics ------------------------------------------------------------------------------ Rule Transformation and Extraction - Transformation and extraction with rule standards, such as SBVR, RIF and OCL - Extraction of rules from code - Transformation and extraction in the context of frameworks such as KDM (Knowledge Discovery meta-model) - Extraction of rules from natural language - Transformation or rules from one dialect into another Rules and Uncertainty - Languages for the formalization of uncertainty rules - Probabilistic, fuzzy and other rule frameworks for reasoning with uncertain or incomplete information - Handling inconsistent or disparate rules using uncertainty - Uncertainty extensions of event processing rules, business rules, reactive rules, causal rules, derivation rules, association rules, or transformation rules Rules and Norms - Methodologies for modeling regulations using both ontologies and rules - Defeasibility: modeling rule exceptions and priority relations among rule - The relationship between rules and legal argumentation schemes - Rule language requirements for the "isomorphic" modeling of legislation - Rule based inference mechanism for legal reasoning - E-contracting and automated negotiations with rule-based declarative strategies Rule-based Game AI - Rule-based movement, decision making, strategies, behavior design - Rule-based environmental programming, virtual reality - Rules for multi-agent/character games - Rules for serious games - Rule-based agent design Rule-based Event Processing and Reaction Rules - Reaction rule languages and engines (production rules, ECA rules, logic event action formalisms, vocabularies/ontologies) - State management approaches and frameworks - Concurrency control and scalability - Event and action definition, detection, consumption, termination, lifecycle management - Dynamic rule-based workflows and intelligent event processing (rule-based CEP) - Non-functional requirements, use of annotations, metadata to capture those - Design time and execution time aspects of rule-based (Semantic) Business Processes Modeling and Management - Practical and business aspects of rule-based (Semantic) Business Process Management (business scenarios, case studies, use cases etc.) Rules and Cross Industry Standards - Rules in Current Industry Standards, including: - XBRL: Extensible Business Reporting Language - MISMO: Mortgage Industry Standards Maintenance Org - FIXatdl: FIX Algorithmic Trading Definition Language - FpML: Financial products Markup Language - HL7: Health Level 7 - Acord: Association for Cooperative Operations Research and Development (Insurance Industry) - Rules for Governance, Risk, & Compliance (GRC), e.g., rules for internal audit, SOX compliance, enterprise risk management (ERM), operational risk, etc - Rules and Corporate Actions General Rule Topics - Rules and ontologies - Execution models, rule engines, and environments - From rules to FOL to modal logics - Rule-based reasoning with non-monotonic negation, modalities, deontic, temporal, priority, scoped or other rule qualification - Rule-based default reasoning with default logic, defeasible logic, and answer set programming - Graphical processing, modelling and rendering of rules - Rules in Semantic Web Technologies - Miscellaneous rule topics Case studies, experience reports, and industrial problem statements are particularly encouraged. RuleML-2009 Challenge ============================================================================== **** MAKE RULEML-2009 YOUR WEB RULES SHOWCASE! **** The RuleML-2009 Challenge is one of the highlights of RuleML-2009. Rules are used in interesting and practically relevant ways to, e.g., derive useful information, transform knowledge, provide decision support and provide automated rule-based monitoring, enforcement, validation or management of the behavioural logic of the application. The Challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. The recommended categories for the Challenge submissions are: - derivation rules and constructive views over data, - production rules and (complex) event processing reaction rules, - benchmark for evaluation of rule engines, and - use cases / case studies (possibly using rule standards). We strongly suggest participants declare their submissions related to at least one of the above categories. Prizes will be awarded to the two best applications from each category. All accepted demos will be presented in a special Challenge Session. A submission to the RuleML Challenge has to meet the requirement that declarative rules explicitly play a central role in the application. Basically this means that: Rules are explicitly represented in a declarative format and they are decoupled from the application (rather than being compiled or hard-coded into the application logic). The demo should preferably (but not necessarily) be embedded into a web-based or distributed environment so that there will be a need for features related to the RuleML conference topics, as listed in the call for papers. For more details please consult the RuleML-2009 Challenge website: http://ruleml-challenge.cs.nccu.edu.tw Conference Language ============================================================================== The official language of the conference will be English. Submission ============================================================================== Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case/use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=ruleml2009 as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) RuleML-2009 Challenge Demo Paper + Show Cases (3-5 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload the abstracts of their papers before June 9, 2008 and to upload their complete papers by June 16, 2008. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series along with a CD with demo software and documents. The best paper from all submissions will be determined by the PC and a Best Paper Award will be handed over at the Symposium by a Sponsor. All submissions must be done electronically. A selection of revised papers will be resubmitted to a special issue of a journal. Submissions to the RuleML Challenge 2009 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. In case of product demos, the link can be password-protected: please submit a password for anonymous login from any Web browser, giving us the permission to pass the password on to 3 PC members. The submissions should satisfy the minimal requirements defined in the topics of interest and preferably exhibit some of the additional desiderata. The more desiderata are met by an application, the higher the score will be. The demos will be evaluated by the RuleML-2009 Program Committee and prizes will be awarded to the two best applications, sponsored by the RuleML Inc. non-profit organization. Review Process ============================================================================== The submitted papers will pass the blind review process. At least three members of the Program Committee will review each submission. Important Dates: ============================================================================== Abstract submission deadline: June 9, 2009 Paper Ssbmission deadline: June 16, 2009 Notification of acceptance: July 18, 2009 Camera ready due: August 9, 2009 Symposium dates: November 5-7, 2009 RuleML Challenge: November 5, 2009 Conference Venue ============================================================================== RuleML-2009 will take place at the Bellagio in Las Vegas collocated with the Business Rules Forum. Programme Committee ============================================================================== General Chair -------------------- Adrian Paschke, Freie Universitaet Berlin, Germany Program Chairs -------------------- Guido Governatori, NICTA, Australia John Hall, Model System, UK Liaison Chair -------------------- Hai Zhuge, Chinese Academy of Sciences Track Chairs Rule Transformation and Extraction -------------------- Erik Putrycz, Canada Mark Linehan, IBM, USA Rules and Uncertainty -------------------- Matthias Nickles, Univ. of Bath, UK Davide Sottara, University Bologna, Italy Rules and Norms -------------------- Thomas Gordon, Fraunhofer FOKUS, Germany Antonino Rotolo, CIRSFID, University of Bologna, Italy Rule-based Game AI -------------------- Benjamin Craig, National Research Council, Canada Weichang Du, University of New Brunswick, Canada Rule-based Event Processing and Reaction Rule -------------------- Alex Kozlenkov, Betfair Ltd., UK Adrian Paschke, Freie Universitaet Berlin, Germany Rules and Cross Industry Standards -------------------- Tracy Bost, Valocity, USA Robert Golan, DBMind, USA RuleML Challenge -------------------- Yuh-Jong Hu, National Chengchi University, Taiwan Ching-Long Yeh, Tatung University, Taiwan Wolfgang Laun, Thales Rail Signalling Solutions GmbH, Austria RuleML 2009 Sponsors ============================================================================== NICTA (National ICT Australia) BMBF InnoProfile Corporate Semantic Web Logic Programming Associated Ltd (sponsoring opportunities - http://2009.ruleml.org/sponsors) RuleML 2009 Partners ============================================================================== Belgian Business Rules Forum MIT Sloan CIO Symposium SKG2009 5th International Conference on Semantic, Knowledge and Grid RR-2009 3rd International Conference on Web Reasoning and Rule Systems From areces at pluton.loria.fr Wed Mar 18 11:39:07 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Wed, 18 Mar 2009 11:39:07 +0100 Subject: E.W. Beth Dissertation Prize: Extended Deadline Message-ID: <200903181039.n2IAd7V6010305@pluton.loria.fr> E. W. Beth Dissertation Prize: 2009 call for submissions Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2008. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation. Inter-disciplinarity is an important feature of the theses competing for the E. W. Beth Dissertation Prize. Who qualifies. ~~~~~~~~~~~~~~ Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2008 and December 31st, 2008. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2008 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for 2009). Respectively, nominations of full English translations of theses originally written in other language than English and defended in 2007 and 2008 will be accepted for consideration this year, too. Prize. ~~~~~~ The prize consists of: * a certificate * a donation of 2500 euros provided by the E. W. Beth Foundation. * an invitation to submit the thesis (or a revised version of it) to the new series of books in Logic, Language and Information to be published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on this series is available on the FoLLI site) How to submit. ~~~~~~~~~~~~~~ Only electronic submissions are accepted. The following documents are required: 1. the thesis in pdf or ps format (doc/rtf not accepted); 2. a ten page abstract of the dissertation in ascii or pdf format; 3. a letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to bethaward2008 at gmail.com. Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days after submission, nominators should write to goranko at maths.wits.ac.za or policriti at dimi.uniud.it, with a cc to bethaward2008 at gmail.com. Important dates: Extended (strict) deadline for submissions: April 7, 2009. Notification of decision: July 1, 2009. Committee : * Anne Abeillé (Université Paris 7) * Natasha Alechina (University of Nottingham) * Wojciech Buszkowski (Adam Mickiewicz University, Poznan) * Didier Caucal (IGM-CNRS) * Nissim Francez (The Technion, Haifa) * Valentin Goranko (chair) (University of the Witwatersrand, Johannesburg) * Alexander Koller (Saarland University) * Alessandro Lenci (University of Pisa) * Gerald Penn (University of Toronto) * Alberto Policriti (Università di Udine) * Rob van der Sandt (University of Nijmegen) * Colin Stirling (University of Edinburgh) From areces at pluton.loria.fr Wed Mar 18 11:39:21 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Wed, 18 Mar 2009 11:39:21 +0100 Subject: E.W. Beth Dissertation Prize: Extended Deadline Message-ID: <200903181039.n2IAdLtv010574@pluton.loria.fr> E. W. Beth Dissertation Prize: 2009 call for submissions Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2008. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation. Inter-disciplinarity is an important feature of the theses competing for the E. W. Beth Dissertation Prize. Who qualifies. ~~~~~~~~~~~~~~ Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2008 and December 31st, 2008. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2008 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for 2009). Respectively, nominations of full English translations of theses originally written in other language than English and defended in 2007 and 2008 will be accepted for consideration this year, too. Prize. ~~~~~~ The prize consists of: * a certificate * a donation of 2500 euros provided by the E. W. Beth Foundation. * an invitation to submit the thesis (or a revised version of it) to the new series of books in Logic, Language and Information to be published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on this series is available on the FoLLI site) How to submit. ~~~~~~~~~~~~~~ Only electronic submissions are accepted. The following documents are required: 1. the thesis in pdf or ps format (doc/rtf not accepted); 2. a ten page abstract of the dissertation in ascii or pdf format; 3. a letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to bethaward2008 at gmail.com. Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days after submission, nominators should write to goranko at maths.wits.ac.za or policriti at dimi.uniud.it, with a cc to bethaward2008 at gmail.com. Important dates: Extended (strict) deadline for submissions: April 7, 2009. Notification of decision: July 1, 2009. Committee : * Anne Abeillé (Université Paris 7) * Natasha Alechina (University of Nottingham) * Wojciech Buszkowski (Adam Mickiewicz University, Poznan) * Didier Caucal (IGM-CNRS) * Nissim Francez (The Technion, Haifa) * Valentin Goranko (chair) (University of the Witwatersrand, Johannesburg) * Alexander Koller (Saarland University) * Alessandro Lenci (University of Pisa) * Gerald Penn (University of Toronto) * Alberto Policriti (Università di Udine) * Rob van der Sandt (University of Nijmegen) * Colin Stirling (University of Edinburgh) From henning at ruc.dk Wed Mar 18 19:16:39 2009 From: henning at ruc.dk (Henning Christiansen) Date: Wed, 18 Mar 2009 19:16:39 +0100 Subject: Call for papers: Logic in Databases, LID workshop 2009 Message-ID: <0E957B04-FEA4-4B2D-91FC-4862FE88EB61@ruc.dk> International Workshop on Logic in Databases Roskilde University, Denmark, 29-30 October 2009 http://LID2009.ruc.dk CALL FOR PAPERS - submission deadline July 1, 2009 Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management. The present LID workshop series started with LID'08 in Rome as the confluence of three successful events series which had a strong overlap in interests. LID'96, an international workshop on Logic in Databases, which LID 2008 derives its name from LAAIC'05 and LAAIC'06, international workshops on Logical Aspects and Applications of Integrity Constraints IIDB'06, an international workshop on Inconsistency and Incompleteness in Databases The workshop will be focused on applications of logic to every aspect of database management and related topics. Topics of interest include but are not limited to the following, as they pertain to logic in databases: consistent query answering data exchange data mining data warehousing and OLAP for novel forms of data database repairing DB + IR incomplete information inconsistency tolerance inductive databases knowledge discovery logical approaches to inconsistency logic programming nonmonotonic reasoning ordered data/query models (top-K) privacy/security semantic web social networks uncertain data (fuzzy, probabilistic, etc.) and imprecision LID 2009 will have informal proceedings; details about the proceedings are found at http://LID2009.ruc.dk/Procs.html. Each submission will be reviewed by an international program committee; see listing below. Submissions must include original and previously unpublished results. A volume at an international publisher or a special journal issue will be considered for selected and revised papers, if number and quality of submissions permit. Submission deadline is submission deadline July 1, 2009; see details at http://LID2009.ruc.dk The workshop will take place in the historical city of Roskilde, Denmark - city of vikings and kings, the fjord, the little harbour, etc. - on 29-30 October 2009. LID is co-located with FQAS 2009 that takes place the days up to LID, 26-28 October 2009. PROGRAM COMMITTEE Foto Afrati (Th. U. Athens) Pablo Barceló (U. de Chile) Leopoldo Bertossi (Carleton University) (Co-chair) Alexander Borgida (Rutgers U.) Loreto Bravo (U. Concepcion) Henning Christiansen (Roskilde University) (Co-chair) Marc Denecker (K.U. Leuven) Wenfei Fan (University of Edinburgh) Floris Geerts (U. Edinburgh) Bart Kuijpers (Hasselt U.) Georg Lausen (Universität Freiburg) Sebastian Link (University of Wellington) Maarten Marx (U. Amsterdam) Riccardo Rosati (U. Roma) Marie-Christine Rousset (U. Grenoble) Francesco Scarcello (U. Calabria) Dan Suciu (University of Washington) Val Tannen (U. Pennsylvania) David Toman (U. Waterloo) Jef Wijsen (Université de Mons-Hainaut) Peter Wood (Birbeck College) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Fri Mar 20 08:37:10 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Fri, 20 Mar 2009 15:37:10 +0800 Subject: CSE-09 Call For Papers (Vancouver, Canada, August 29-31, 2009) Message-ID: <200903200737.n2K7bABl017096@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From shilov at iis.nsk.su Fri Mar 20 10:23:09 2009 From: shilov at iis.nsk.su (shilov at iis.nsk.su) Date: Fri, 20 Mar 2009 15:23:09 +0600 Subject: WARNING! (3519295298) References: Message-ID: <512CEC34DEA04050A645858E8A5F99E6@fitmobile01> ----- Original Message ----- From: "event administration" To: Sent: Friday, March 20, 2009 6:53 AM Subject: WARNING! (3519295298) > 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: 3519295298, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > From C.Orasan at wlv.ac.uk Sat Mar 21 17:20:46 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Sat, 21 Mar 2009 16:20:46 +0000 Subject: International Symposium on SM-MT-CL, July 1-3, 2009 Message-ID: <1237652446.15119.2.camel@dinel-desktop> [Apologies for cross-postings] --------------------------------------------------------------------------- ISMTCL - International Symposium on SM-MT-CL (Data and Sense Mining, Machine Translation and Controlled Languages, and their application to emergencies, and safety critical domains) --------------------------------------------------------------------------- University of Franche-Comté, Besançon, France, July 1-3, 2009 http://www.ismtcl.org Important dates: Extended abstract (2 pages) due: March 31, 2009 Student extended abstract due: April 7, 2009 Notification of acceptance: April 20, 2009 Camera-ready papers due: May 11, 2009 Keynote speakers: Igor Mel’cuk (Canada) Makoto Nagao (Japan) John Hutchins (England) Richard Kittredge (USA) Concept: Research in Natural Language Processing and Computational Linguistics began over 50 years ago. Research in the 3 disciplines of controlled languages, machine translation and data and sense mining has however been done separately for the most part, and it would be useful to combine these three disciplines. The primary objective of this conference is to bring together researchers and practitioners in controlled languages, machine translation and sense mining. Papers are invited from researchers, practitioners, end-users and students in the following areas: Controlled Languages Machine Translation Data and Sense Mining Speech Recognition Speech Synthesis Natural Language Generation Anaphora Resolution Word Sense Disambiguation Text and Speech Interfaces Information Extraction Information Retrieval Corpus Analysis Need for standardisation and standards Medical needs and applications Aeronautic needs and applications Civil security needs and applications General security needs and applications There will be three categories of presentation of accepted papers: · orally · poster · by means of a demonstration There will be a special oral session reserved for students. -- Scanned by iCritical. From csoares at fep.up.pt Mon Mar 23 11:36:45 2009 From: csoares at fep.up.pt (Carlos Soares) Date: Mon, 23 Mar 2009 10:36:45 +0000 Subject: Fwd: 2nd Call for Papers EPIA-09 : thematic track on Web and Network Intelligence References: <49C76553.90400@fc.up.pt> Message-ID: > please, distribute. apologies for multiple postings. Carlos > ** CALL FOR PAPERS *** > > --------------------------- > Web and Network Intelligence > EPIA 2009 thematic track, 12-15 October 2009, Portugal > Springer LNCS publication > http://www.liaad.up.pt/~amjorge/wni-epia09/ > --------------------------- > > ** Topics > > · Web mining > · Visual Web mining > · Link mining > · Web usability > · Web automation and adaptation > · Web content mining > · Multimedia Web mining > · Recommender systems for the Web > · Focused crawling > · Community detection > · Social network mining and analysis > · Graph mining > · Complex networks > > ** Important dates and other EPIA09 information > > Deadline for paper submission: April 15, 2009 > Notification of paper acceptance: May 31, 2009 > Deadline for final versions: July 15, 2009 > Conference dates: October 12-15, 2009 > > For more info and updates please refer to http://epia2009.web.ua.pt/wni/ > > > ** Track organizers > > Alípio M. Jorge, U. Porto > Alneu de Andrade Lopes, U. Sao Paulo > Solange Oliveira Rezende, U. Sao Paulo > > ** Program Committee > > Alípio Jorge, U. Porto, Portugal > Alneu Lopes, USP, Brazil > Bettina Berendt, K. U. Leuven, Belgium > Carlos Soares, U. Porto, Portugal > Debora Donato, Yahoo! Research, Spain > Dunja Mladenic, Josef Stefan Institute, Slovenia > Eduarda Mendes Rodrigues, Microsoft Research, UK > Florent Masseglia, INRIA, France > Gael Harry Dias, UBI, Portugal > Giovanni Semeraro, University of Bari, Italy > José Luís Borges, U. Porto, Portugal > José Paulo Leal, U. Porto, Portugal > Lubos Popelinsky, Mazarik University, Czech Republic > Maarten van Someren, U. Amsterdam, Netherlands > Maguelonne Teisseire, U. Montpellier, France > Maria Carolina Monard, USP, Brazil > Maria Cristina Ferreira de Oliveira, USP, Brazil > Mario J. Silva, Universidade de Lisboa, Portugal > Nuno Cavalheiro Marques, Universidade Nova de Lisboa, Portugal > Paulo Azevedo, U. Minho, Portugal > Pavel Brazdil, U. Porto, Portugal > Pedro Campos, U. Porto, Portugal > Ruth Cobos, U. Politecnica de Madrid, Spain > Sarabjot Anand, U. Warwick, UK > Solange Rezende, USP, Brazil > Thiago A. S. Pardo, USP, Brazil > > == Carlos Soares Faculdade de Economia do Porto - Prof. Auxiliar LIAAD-INESC Porto LA - Investigador csoares at fep.up.pt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From midlothian at j-cardon.fr Mon Mar 23 12:23:44 2009 From: midlothian at j-cardon.fr (Bierkortte Surles) Date: Mon, 23 Mar 2009 11:23:44 +0000 Subject: Warningg! Message-ID: <49C7706F.6927816@malersprich.de> The son of pwyll the chief of annwvyn, was brought surgery!' 'you know,' i said, throwing down the were to dip in poison, and then shoot the monster, off was of no help at all. Unfortunately now, in obtaining the capital was due to the adroit. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mehdi at cs.uu.nl Mon Mar 23 16:03:49 2009 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Mon, 23 Mar 2009 16:03:49 +0100 Subject: EASSS 2009: call for tutorial proposals Message-ID: <49C7A4D5.6090700@cs.uu.nl> !!! CALL FOR TUTORIALS -- EASSS 2009 !!! The eleventh edition of the European Agent Systems Summer School (EASSS'09) will be co-located with MALLOW'09 and will take place at University of Torino, Italy 31 August - 4 September, 2009 http://agents009.di.unito.it/EASSS.html Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the eleventh edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2009 aims to offer a valuable forum for knowledge exchange between various research groups in this field, for the benefit of students and researchers at both beginner and advanced level. The success of this summer school is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of agents' research and development in Europe. Tutors are encouraged to submit a 1-page course proposal including: the topic and a justification of its importance for the field, intended audience and its required background knowledge, outline of the intended topics, information about how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (typically 4 or 6 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description and the teaching skills of the proposed speakers. Deadline for proposals: April 19, 2009 Notification: May 17, 2009 Material for reader (< 26 pp): June 28, 2009 A typical course has 4 hours in total, but some variations are possible. Suggested course should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. In general, courses are expected to take a wider perspective than one specific approach. As an example see the courses given in 2001 collected in LNAI 2086 volume. Programs of previous EASSS editions can be found via http://centria.di.fct.unl.pt/events/easss08/. The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, however covering travel costs is not possible. Please note that EASSS is co-located with MALLOW 2009 and will take place the week before that event. Submissions should be sent to Mehdi Dastani (mehdi at cs.uu.nl). The EASSS-2009 Committee members are: Local Chairs: Guido Boella Torino, Italy Matteo Baldoni Torino, Italy Cristina Baroglio Torino, Italy Advisory Board: Mehdi Dastani (chair) Utrecht, Netherlands Rafael Bordini Durham, UK Catholijn Jonker Delft, Netherlands Barbara Keplicz Warszawa, Poland Nicolas Maudet Paris, France Andrea Omicini Bologna, Italy Michal Pechoucek Prague, Czech Republic For information about local organisation please contact Guido Boella (guido at di.unito.it). Topics of interest include (but are not limited to): * action selection and planning in multi-/agent systems * adaptation, evolution and learning in multi-/agent systems * agent-based simulation and modeling * agent communication, agent dialogues and agent argumentation * agents, ontologies, web services and semantic web * agent-oriented software engineering and development methodologies * agent programming languages and development tools * agent standardizations in industry and commerce * applications and deployment for agents and multi-agent systems * architectures for multi-agent systems * artificial market systems, auctions, trading agents and electronic commerce, electronic institutions * autonomous robots and robot teams * believability, human-like qualities of synthetic agents, humanoid and sociable robots * game theory and coalition formation for agents based systems * computational complexity in agent systems * conventions, commitments, norms, social laws and legal issues in multi-agent systems * coordination, cooperation, and collaboration in multi-agent systems * emergence, self-organisation and collective behavior in agent-based systems * foundational issues and theories of agency * information agents, routers, brokering and matchmaking * logics for specification, verification and validation of multi-agent systems * mobile agents * negotiation, task and resource allocation, and conflict handling in multi-agent systems * privacy, safety and security in multi-agent systems * scalability, robustness and dependability of multi-agent systems * social and cognitive models for agents * social and organizational structures of multi-agent systems * trust and reputation in multi-agent systems -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From t.dinoia at poliba.it Tue Mar 24 19:08:40 2009 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Tue, 24 Mar 2009 19:08:40 +0100 Subject: [CFP] DEADLINE APPROACHING -- EC-Web 2009 Message-ID: <1237918120.7154.84.camel@tdn-sisinf03> [We apologize for multiple copies] ======================= CALL FOR PAPERS ============================ 10th International Conference on Electronic Commerce and Web Technologies EC-Web 09 http://sisinflab.poliba.it/ecweb09/ Johannes Kepler University of Linz Linz, Austria 31 August - 4 September 2009 ==================================================================== !!! SUBMISSION DEADLINE EXTENDED !!! - Submission of abstracts: March 27, 2009 - Submission of full papers: March 30, 2009 ==================================================================== !!! NEW !!! Journal publication for selected papers. LNCS Transactions Subline Selected and reviewed papers will be published in LNCS Transactions Subline (Springer Verlag) "Transactions on Large Scale Data and Knowledge Centered Systems" Editors: Abdelkader Hameurlain (University Toulouse) Josef Küng (University of Linz) Roland Wagner (University of Linz) ==================================================================== EC-Web 2009 After the initial enthusiastic initiatives and investments and the eventual bubble, Electronic Commerce has changed and evolved in a well established and founded reality both from a technological point of view and from a scientific one. Nevertheless, together with its evolution, new challenges and topics have emerged as well as new questions have raised related to many aspects of Electronic Commerce. After the lesson learned during last years, for its 10th edition EC-Web completely renews its structure trying to provide a clearer description of the Electronic Commerce universe focusing on some relevant topics. The main focus is not only on Internet related techniques and approaches. The aim of EC-Web 2009 is to cover also aspects related to theoretical foundation of E-Commerce, Business Processes as well as new approaches exploiting recently emerged technologies and scenarios such as Semantic Web, Web services, SOA architectures, mobile and ubiquitous computing, just to cite a few. Due to their central role in any realistic e-commerce infrastructure security and privacy issues are widely considered, without excluding legal and regulatory aspects. We encourage papers that present innovative solutions for classical E-Commerce issues, such as e-negotiation, recommender systems, secure payments, as well as for new emerging areas, such as the Semantic Web, applied Web services, applied soft computing and information retrieval techniques in web and/or e-commerce environments. Although the conference seems naturally focused on computer science issues, we welcome and encourage research contributions from economics, business administration, law, sociology and other disciplines. In particular, papers about web marketing and its non-technical aspects, as well as about social aspects of e-commerce are encouraged. We also welcome papers reporting about innovative applications and case studies in the field of E-Commerce and/or Web Applications, like, e.g., Electronic Voting and Sponsored web search. In order to provide a better categorization and classification of its main goals, Ec-Web 2009 will be organized as a multi-track conference. Each track will be organized as a mini-conference with corresponding reference area chairs. Even though the main focus of the conference concerns the relationship between E-commerce and emerging technologies, with strong attention toward semantics aspects, contributions about theoretical issues as well as cross-track contributions are very welcome. TRACKS * Service Oriented E-Commerce and Business Process o Business process modeling and analysis o Software architectures o Processes and service composition o Business process and e-service repositories o Quality of Service in business processes o Security in business processes o Cross-organizational process support, contracts o Workflow management systems o Process modeling and enactment in ERP, CRM, and SCM systems o SOA and Process Management o Resource management in business process execution o Enterprise Application Integration o Inter-organizational Systems o SOA approaches to E-Commerce o Virtual enterprises, supply chains, coalitions * Recommender Systems o Innovative applications of recommender technology o Recommendation learning and reasoning o Industrial application of recommendation technology o Recommender system user interfaces and conversational approaches o Explanations in recommender systems o Group recommender systems o Consumer decision making and consumer buying behavior models o Collaborative Filtering o Appraisal of Recommender Systems o User Issues in Recommender Systems o Recommendation Interfaces o Computational advertising o Decision theory and preferences * E-Payment, Security and Trust o Payment and authentication protocols o Micropayments o Access Control o Privacy-enhancing technologies o Information Hiding and Watermarking o Reputation and trust systems o Security and privacy issues in electronic commerce o E-Commerce Dependability o Transactions and Contracts o Legal and Regulatory Issues o Electronic voting * Electronic Commerce and Web 3.0 o Ontology engineering for E-Commerce o Taxonomies and Web directories for semantic E-Commerce o Semantic-based discovery of resources in a marketplace o Semantic electronic markets o Semantic Web Service architecture for E-Commerce o Semantic E-Procurement o Ontology-based user profiling o Application of standard and non-standard reasoning in E-Commerce o User tagging for item annotation and discovery o Cloud computing in E-Commerce scenarios o User interface to exploit Web 3.0 technologies in E-Commerce o Emerging languages for E-Commerce o Mobile and Pervasive Commerce o P2P E-Commerce o Experience with e-commerce systems o Usability of e-commerce systems CONFERENCE CHAIRS * Francesco Buccafurri - Università Mediterranea di Reggio Calabria * Tommaso Di Noia - Politecnico di Bari TRACK CHAIRS Service Oriented E-Commerce and Business Process * Stefan Tai - Karlsruhe University Recommender Systems * Giovanni Semeraro - Università degli Studi di Bari E-Payment, Security and Trust * Barbara Masucci - Università di Salerno Electronic Commerce and Web 3.0 * Martin Hepp - Bundeswehr University Munich IMPORTANT DATES - Submission of abstracts: March 27, 2009 - Submission of full papers: March 30, 2009 - Notification of acceptance: May 15, 2009 - Camera-ready copies due: June 10, 2009 SUBMISSION Authors are invited to submit original research contributions in English, following the LNCS format (http://www.springer.de/comp/lncs/authors.html). Duplicate submissions are not allowed and will be rejected Papers should not exceed 12 pages (i.e. 12 LNCS formatted pages). Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in "Lecture Notes in Computer Science" (LNCS) by Springer Verlag. At least one author is required to attend the conference and present the paper. For paper registration, electronic submission and further information please see http://sisinflab.poliba.it/ecweb09/ and http://www.dexa.org. From braubach at informatik.uni-hamburg.de Wed Mar 25 18:28:10 2009 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Wed, 25 Mar 2009 18:28:10 +0100 Subject: MATES 2009 Exhibition Paper Call Message-ID: <49CA69AA.50800@informatik.uni-hamburg.de> * Our apologies if you receive multiple copies of this announcement * ################################################################# # # # Submission Deadline: April 4, 2009 # # # ################################################################# CALL FOR EXHIBITION PAPERS MATES 2009 - Seventh German Conference on Multi-Agent System Technologies September 9 - 11, 2009 in Hamburg, Germany http://jadex.informatik.uni-hamburg.de/mates INTRODUCTION The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems. MATES 2009 will feature an exhibition of development tools, prototype technologies, showcases of practical applications and their management, and business cases of agent and multi-agent technology at the conference venue. Each potential exhibitor is requested to submit an exhibition paper describing the contribution that follows the submission details of technical papers but does not exceed 10 pages. Exhibition papers will be reviewed and published as part of the conference proceedings. At the conference, a special track for exhibition paper presentations will be held in addition to an opportunity for live presentations of the practical work at poster stands. SUBMISSION DETAILS All papers must be written in English and submitted in PDF format. The paper style should follow the Springer LNCS formatting and must not exceed 10 pages. Submissions should be uploaded at: http://www.easychair.org/conferences/?conf=mates2009 (Choose paper type 'exhibition paper' when adding your submission) All exhibition papers will be reviewed and accepted exhibition papers will be included in the MATES proceedings to be published in the Springer series of Lecture Notes on Artificial Intelligence (LNAI). IMPORTANT DATES * Submissions: April 4, 2009 * Notification of authors: May 22, 2009 * Camera-ready papers: June 19, 2009 * Conference: September 9-11, 2009 CONFERENCE OFFICIALS Program Co-Chairs: Lars Braubach (U Hamburg, D) Wiebe van der Hoek (U Liverpool, UK) Paolo Petta (OFAI, A) Alexander Pokahr (U Hamburg, D) General Chair: Winfried Lamersdorf (U Hamburg, D) Steering Committee: Hans-Dieter Burkhard (HU Berlin, Germany) Stefan Kirn (U Hohenheim, Germany) Matthias Klusch (DFKI, Germany) Jörg P. Müller (TU Clausthal, Germany) Rainer Unland (U Essen, Germany) Gerhard Weiss (SCCH Hagenberg, Austria) PROGRAM COMMITTEE More than 40 distinguished researchers and practitioners have confirmed their participation in the program committee of MATES 2009. See: http://jadex.informatik.uni-hamburg.de/mates/bin/view/MATES/Program+Committee CONTACTS Lars Braubach Alexander Pokahr Arbeitsbereich Verteilte Systeme und Informationssysteme (VSIS) Department Informatik Fakultät für Mathematik, Informatik und Naturwissenschaften (MIN) Universität Hamburg Vogt-Kölln-Str. 30 22527 Hamburg Germany Tel. +49-40-42883-2091 Fax. +49-40-42883-2328 http://vsis-www.informatik.uni-hamburg.de From areces at pluton.loria.fr Thu Mar 26 15:12:37 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Thu, 26 Mar 2009 15:12:37 +0100 Subject: CFP: LJ of the IGPL Special Issue on Hybrid Logics Message-ID: <200903261412.n2QECb2I004689@pluton.loria.fr> *************************************************************** Please excuse for multiple posts and distribute as widely as possible *************************************************************** CALL FOR PAPERS Logic Journal of the IGPL Special issue on Hybrid Logic DEADLINE FOR SUBMISSIONS: 31st May 2009 *************************************************************** Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of this special issue is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc.) but also extensions of modal logic that increase its expressive power in one way or other. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). The special issue will welcome papers in a wide range of topics, including description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. We welcome both theoretical work and work describing systems and applications on hybrid logics, broadly conceived. All submissions will be peer reviewed with respect to the usual journal criteria. Authors are invited to submit original, previously unpublished, research papers written in English. SUBMISSION DETAILS: Papers should not exceed 25 pages including references. Authors are required to prepare their submissions in latex, using the style available at http://hylo.loria.fr/content/SI/2009 DEADLINE FOR SUBMISSIONS: 31st May 2009 GUEST EDITORS: Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr) Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr) From dml2009 at easychair.org Thu Mar 26 14:49:17 2009 From: dml2009 at easychair.org (dml2009 at easychair.org) Date: Thu, 26 Mar 2009 14:49:17 +0100 (CET) Subject: CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th Message-ID: <20090326134917.985FB1F6828@anxur.fi.muni.cz> Call for papers: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Ontario, CA c/o CICM 2009 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2009.html Deadlines: April 29th: abstract submissions May 4th: paper submissions May 22nd: paper acceptance/rejection decision May 29th: versions for the proceedings due Jul 8th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2009 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Final paper versions should conform to the Springer LNCS (llncs class) style, preferably using LaTeX2e. Submission categories: Full paper: 4-12 LNCS pages Short paper/poster/work in progress report: 1-4 LNCS pages Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM/Euclid model])? Proceedings: will be published by Masaryk University and will be available on site, with best papers chosen for postconference proceedings published by renowned publisher or for journal. Keynote (conditioned by funding approval): David Ruddy (Project Euclid, Cornell University Library, US): Getting from Here to There: Assembling the Pieces of the Digital Mathematics Library (tentative title) Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee (some members approval pending): Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) Michael Doob (University of Manitoba, Winnipeg, CA) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Volker Sorge (University of Birmingham, UK) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Zentralblatt MATH, Berlin, DE) Organizing Committee: Michael Doob, Adam Rambousek, Michal Ruzicka, Petr Sojka Registration, Travel, Accomodation: see CICM web pages http://www.orcca.on.ca/conferences/cicm09/ Questions/inquiries: email to dml2009 at easychair dot org CFP distribution: Please, distribute at your institution. Apologies for multiple postings! From nalon at unb.br Fri Mar 27 14:49:14 2009 From: nalon at unb.br (Claudia Nalon) Date: Fri, 27 Mar 2009 10:49:14 -0300 Subject: LSFA'09 - Call for Papers Message-ID: <49CCD95A.20008@unb.br> Apologies for multiple posts. ----------------------------------------------------------------------- Fourth Workshop on Logical and Semantic Frameworks, with Applications 28th June, 2009 - Brasília, Brazil Call for Papers Scope Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning. The objective of this one-day workshop is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. Topics of interest to this forum include, but are not limited to: * Logical frameworks o Proof theory o Type theory o Automated deduction * Semantic frameworks o Specification languages and meta-languages o Formal semantics of languages and systems o Computational and logical properties of semantic frameworks o Implementation of logical and/or semantic frameworks * Applications of logical and/or semantic frameworks LSFA'09 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. Submissions to the workshop will in the form of full papers. The proceedings are produced only after the meeting, so that authors can incorporate this feedback in the published papers. Invited Speakers There will be three invited talks: Delia Kesner (PPS, CNRS and Universite Paris-Diderot) Title: Untyped Pattern Calculi Jonathan Seldin (University of Lethbridge, Canada) Title: A Reduction in Combinatory Logic Equivalent to ??-Reduction Luis Fariñas de Cerro (Université Paul Sabatier -- Toulose III, France) Title:Dedutcion and Abduction of Information about an Entity Program Committee Mauricio Ayala-Rincón (University of Brasília, Brazil), co-chair Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK), co-chair Serge Autexier (DFKI, Bremen, Germany) Benjamin Rene Callejas Bedregal (Federal University of Rio Grande do Norte, Brazil) Mario Benevides (Federal University of Rio de Janeiro, Brazil) Guilherme Bittencourt (Federal University of Santa Catarina, Brazil) Christiano Braga (Fluminense Federal University, Brazil) Andreas Brunner (Federal University of Bahia, Brazil) Marcelo Coniglio (State University of Campinas, Brazil) Clare Dixon (University of Liverpool, UK) Gilles Dowek (École Polytechnique, France) William Farmer (McMaster University, Hamilton, Ontario, Canada) Marcelo Finger (University of São Paulo, Brazil) Edward Hermann Haeusler (PUC Rio, Brazil) Tudor Jebelean (RISC Johannes Kepler University, Austria) Manfred Kerber (The University of Birmingham, UK) Luis C. Lamb (Federal University of Rio Grande do Sul, Brazil) Daniel Leivant (Indiana University, USA) João Marcos (Federal University of Rio Grande do Norte, Brazil) Ana Teresa de Castro Martins (Federal University of Ceará, Brazil) Dale Miller (INRIA, France) Flávio Leonardo Cavalcanti de Moura (University of Brasília, Brazil) Luca Paolini (Università di Torino, Italy) Alberto Pardo (Universidad de la República, Uruguay) Elaine Pimentel (Federal University of Minas Gerais, Brazil) Ruy de Queiroz (Federal University of Pernambuco, Brazil) Simona Ronchi della Rocca (Università di Torino, Italy) Amr Sabry (Indiana University, USA) Christian Urban (TUM, Germany) Freek Wiedijk (Radboud Universiteit, The Netherlands) Organizing Committee Cláudia Nalon (University of Brasília, Brazil), Local Chair Elaine Pimentel (Federal University of Minas Gerais, Brazil) Edward Hermann Haeusler (PUC Rio, Brazil) Mauricio Ayala-Rincon (University of Brasília, Brazil) Guilherme Albuquerque Pinto (University of Brasília, Brazil) Dates and Submission Paper submission: 3rd April, 2009 Author notification: 15th May, 2009 Camera ready: 31st May, 2009 Contributions should be written in English and submitted in the form full papers with at most 16 pages. They must be unpublished and not submitted simultaneously for publication elsewhere. The submission should be in the form of a PDF file uploaded to LSFA'09 page at EasyChair until the submission deadline by midnight, Central European Standard Time (GMT+1). The papers should be prepared in latex using Elsevier ENTCS style. Please see the Instructions for Preparing Files for Preliminary Versions Instructions for styles and examples. The file entcs.cls is also available here. The prentcsmacro.sty file will be available soon. The workshop pre-proceedings, containing the reviewed papers, will be handed-out at workshop registration and the proceedings will be published as a volume of ENTCS. After the workshop, according to the quantity and quality of selected papers, the authors will be invited to submit full versions of their works that will be also reviewed to high standards. A special issue of LSFA'06 appeared in the Journal of Algorithms and currently a special issue of LSFA'07 is being processed and will appear in The Logical Journal of the IGPL. At least one of the authors should register at the conference. The paper presentation should be in English. Contact Information For more information please contact the organizers. The web page of the event can be reached at: http://lsfa09.cic.unb.br -- Cláudia Nalon ---------------------------------------------------- Departamento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília Contato: +55 61 3307 2702 ext. 202 From rseba at brenta.disi.unitn.it Fri Mar 27 15:40:49 2009 From: rseba at brenta.disi.unitn.it (Roberto Sebastiani) Date: Fri, 27 Mar 2009 15:40:49 +0100 Subject: FroCoS'09 Call for Papers Message-ID: <20090327144049.GA8761@brenta.disi.unitn.it> ------------------------------------------------------------------------- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ------------------------------------------------------------------------- Final Call for Papers 7th International Symposium on FRONTIERS OF COMBINING SYSTEMS (FroCoS’09) Trento, Italy, September 16-18th, 2009 http://events.unitn.it/en/frocos09/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FROCOS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. Like its predecessors, FROCOS’09 wants to offer a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use. RELEVANT TOPICS Typical topics of interest include (but are not limited to): * combinations of logics such as combined predicate, temporal, modal, or epistemic logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, and of CS techniques; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into CLP formalisms and deduction processes; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. INVITED SPEALERS * Alessandro Armando, University of Genoa, Italy * Thomas Eiter, TU Wien, Austria * Boris Motik, Oxford University, UK * Ashish Tiwari, SRI International, USA PAPER SUBMISSION Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. All submissions will be subject to academic peer review by at least three members of the program committee. For each accepted paper, at least one author is required to attend the conference to present the paper. Papers must be edited in LATEX using the llncs style and be submitted electronically as PDF files via the EasyChair system: http://www.easychair.org/conferences/?conf=frocos09. The page limit in Springer LNCS style is 16 pages. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Further information about paper submission is available at FROCOS’09 web page. PROCEEDINGS The proceedings of FroCoS’09 will be published by Springer-Verlag in the LNAI/LNCS series. IMPORTANT DATES Abstract submission deadline: April 26th, 2009 Full paper submission deadline: May 3rd, 2009 Notification of acceptance: June 8th, 2009 Camera Ready Copy: June 22th, 2009 Conference: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter Baumgartner, NICTA, Camberra, Australia - Torben Brauner, Roskilde University, DK - Leonardo de Moura, Microsoft Research, USA - Bernhard Gramlich, T.U. Wien, Austria - Sava Krstic, Intel Corporation, USA - Viktor Kuncak, E.P.F. Lausanne, Switzerland - Albert Oliveras, T.U. of Catalonia, Spain - Silvio Ranise, University of Verona, Italy - Christophe Ringeissen, LORIA, Nancy, France - Ulrike Sattler, Univ. of Manchester, UK - Renate Schmidt, Univ. of Manchester, UK - Luciano Serafini, FBK-Irst, Italy - Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany - Cesare Tinelli, University of Iowa, USA - Frank Wolter, University of Liverpool, UK - Michael Zakharyaschev, London Knowledge Lab, UK From err.support at academicjournals.org Fri Mar 27 15:49:15 2009 From: err.support at academicjournals.org (Educational Research and Reviews) Date: Fri, 27 Mar 2009 15:49:15 +0100 Subject: CALL FOR PAPERS Message-ID: <759dd0530903270749u50a1ca50gb33b114d068c9b62@mail.gmail.com> * **Educational Research and Reviews* www.academicjournals.org/err * * Dear Colleague, *Educational Research and Reviews (ERR)* is currently accepting manuscripts for publication. The journal publishes high-quality solicited and unsolicited articles, in English, in all areas of education including education policies and management. All articles published in ERR will be peer-reviewed. One key request of researchers from across the world is open access to research publications. Educational Research and Reviews is fully committed to providing free access to all articles as soon as they are published. We ask you to support this initiative by publishing your papers in this journal. Please visit our website - www.academicjournals.org/err for more details. Prospective authors should send their manuscript(s) to err.acadjourn at gmail.com ERR is also seeking for qualified reviewers as members of its editorial board. Please contact me if you are interested in serving as a reviewer. Please visit http://www.academicjournals.org/ERR/contents/2008cont/.htm to view our current issues. Best regards, Prof. Malcolm Vick** * * Associate Editor, Educational Research and Reviews Academic Journals E-mail: *err_acadjourn at yahoo.com* Email: err.acadjourn at gmail.com http://www.academicjournals.org/ERR -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gqi at aifb.uni-karlsruhe.de Sun Mar 29 20:35:02 2009 From: gqi at aifb.uni-karlsruhe.de (Guilin Qi) Date: Sun, 29 Mar 2009 20:35:02 +0200 Subject: Final CFP: AMAI Special Issue on Commonsense Reasoning for the Semantic Web Message-ID: <20090329203502.mccsvic9ycccow44@webmail.uni-karlsruhe.de> [Apologies for cross and multiple postings] Submission deadline: 4th of April ------------------ Journal of Annals of Mathematics and Artificial Intelligence (AMAI) Special Issue on Commonsense Reasoning for the Semantic Web (https://logic.aifb.uni-karlsruhe.de/wiki/AMAI_special_issue_on_commmonsense_reasoning_in_the_semantic_web) Editor-in-Chief: Martin Charles Golumbic (University of Haifa, Israel) Guest Editors Frank van Harmelen, Vrije University Amsterdam (Frank.van.Harmelen at cs.vu.nl) Andreas Herzig, IRIT-CNRS (herzig at irit.fr) Pascal Hitzler, University of Karlsruhe (hitzler at aifb.uni-karlsruhe.de) Guilin Qi, University of Karlsruhe (gqi at aifb.uni-karlsruhe.de) Descriptions --------------- Semantic Web Technologies provide concepts, architectures, and tools for interconnected vocabularies and applications. One of the declared goals of Semantic Web research is to enable intelligent software agents to reason about information and knowledge which is pervaded on the Web. To achieve this goal, a challenging and important problem is to represent commonsense knowledge on the Web and to reason with it. Indeed, commonsense reasoning is a central part of human behaviour, and how to endow computers with common sense capabilities is one of the major long-term goals of Artificial Intelligence research and is therefore also relevant to the realization of the ambitious Semantic Web vision. At the same time, the forthcoming Semantic Web constitutes an ideal application scenario for formal logic and traditional commonsense reasoning approaches. In recent years, there is a substantially increasing interest in applying theoretical approaches of commonsense reasoning to deal with practical application problems in the Semantic Web. It is indeed widely accepted that extensions of commonsense reasoning to the Semantic Web will have to be provided in the near future. In this special issue we intend to publish articles discussing commonsense reasoning aspects on the Web. Submissions describing original and solid theoretical contributions to commonsense reasoning with application to the Semantic web are especially encouraged. Topics of Interest ------------------ We encourage original and high quality work on all topics related to commonsense reasoning for the Semantic Web. Topics of interest include, but are not limited to: -reasoning about change and dynamics of ontologies, including ontology integration, ontology evolution, revision and update of ontologies in the Semantic Web -nonmonotonic extensions of ontology languages, including circumscriptive, default, defeasible logic, diagnosis, and autoepistemic approaches -temporal and spatial extensions of ontology languages -planning and action in the Semantic Web and Semantic Web services -combining modal logics and description logics -commonsense knowledge acquisition from the (Semantic) Web -integration of logic programming and description logics -abductive reasoning in the Semantic Web -extensions of ontology languages to enable uncertainty reasoning, including fuzzy, probabilistic and possibilistic approaches -contextualized, distributed, and modular ontology languages -non-standard reasoning in description logics, such as computing least common subsumer and matching. -paraconsistent extension of ontology languages -computational models of argumentation in the Semantic Web -approximate reasoning and compilation in description logics -scalability issues -other mathematical tools for using commonsense reasoning on the Semantic Web Important Dates --------------- Submission Deadline (extended): April 04, 2009 Acceptance Deadline: June 31, 2009 Revised Version Deadline: August 31, 2009 Final Decision: November 30, 2009 Final Paper: December 30, 2009 Submission Procedure -------------------- Manuscripts must follow the AMAI guidelines for submission and have to be accompanied by abstracts. Details regarding the submission format and on-line submission site can be found at http://www.editorialmanager.com/amai/. All manuscripts should be submitted through that online system. All manuscripts must be of high quality and are subject to peer review performed by three reviewers. The refereeing will be at the same level as in any of the major journal publications in the area. Editorial Board --------------------------- Grigoris Antoniou, University of Crete, Greece Jos de Bruijn, Free University of Bolzano, Italy Diego Calvanese, Free University of Bozen-Bolzano, Italy Xiaoping Chen, University of Science and Technology of China, China Patrick Doherty, University of Linkoping, Sweden Thomas Eiter, TU Wien, Austria Jerome Euzenat, INRIA, France Zhisheng Huang, Vrije University Amsterdam, Netherlands Thomas Lukasiewicz, University of Oxford, UK Thomas Meyer, Meraka Institute, South Africa Boris Motik : Oxford University Computing Laboratory, UK Jeff Z. Pan, University of Aberdeen, UK Bijan Parsia, University of Manchester, UK Riccardo Rosati, Sapienza Università di Roma, Italy Luciano Serafini, Fondazione Bruno Kessler, Italy Heiner Stuckenschmidt, Universität Mannheim, Germany Chris Welty, IBM Watson Research Center, USA Renata Wassermann, Universidade de São Paulo, Brazil Mary-Anne Williams, the University of Technology, Australia Main contact: Guilin Qi Best regards, Frank van Harmelen Andreas Herzig Pascal Hitzler Guilin Qi From jyb at ufc.br Sun Mar 29 21:47:31 2009 From: jyb at ufc.br (Jean-Yves Beziau) Date: Sun, 29 Mar 2009 16:47:31 -0300 (BRT) Subject: Is logic universal? Call for papers Message-ID: <236705f14abb66620d0641cfc22341fb.squirrel@correio1.ufc.br> Is logic universal? Call for papers Special issue of the journal Logica Universalis (Birkhauser/Springer) http://www.birkhauser.ch/LU There will be a special issue of the journal logica universalis dedicated to the question "Is logic universal?" Many questions are connected to this issue: 1. Do all human beings have the same capicity of reasoning? Does a man, a woman, a child, a papuan, a yuppie, reason in the same way? 2. Does reasoning evolve? Did human beings reason in the same way two centuries ago? In the future will human beings reason in the same way? Did computers change our way to reason? Is a mathematical proof independent of time and culture ? 3. Do we reason in different ways depending on the situation? Do we use the same logic for everyday life, physics, economy? 4. Do the different systems of logic reflect the diversity of reasonings? 5. Is there any absolute true way of reaoning ? Any contibutions dedicated to one aspects of the question "Is logic universal?" is welcome. Submit your paper to universal.logic at ufc.br before August 31st 2009 From MFisher at liverpool.ac.uk Sun Mar 29 22:39:32 2009 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Sun, 29 Mar 2009 21:39:32 +0100 Subject: CFP: Computational Logic in Multi-Agent Systems workshop Message-ID: <49CFDC84.9080406@liverpool.ac.uk> /-----------\ | CLIMA-X | \-----------/ 10th International Workshop on Computational Logic in Multi-Agent Systems Hamburg, Germany 9th-10th September, 2009 [ http://jadex.informatik.uni-hamburg.de/mates/bin/view/CLIMA/Home ] OVERVIEW -------- The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) will be held in Hamburg, Germany on the 9th and 10th September. CLIMA-X will be co-located with the 7th German Conference on Multi Agent System Technologies (MATES); see http://jadex.informatik.uni-hamburg.de/mates Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from 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, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the 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. Finally, note that CLIMA-X will also incorporate the results of this year's Multi-Agent Contest (see http://www.multiagentcontest.org). TOPICS ------ Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * logical foundations * extensions of logic programming * modal logic approaches * logic-based programming languages * non-monotonic reasoning * decision theory * hypothetical reasoning and learning * knowledge and belief representation and updates * operational semantics and execution agent models * model checking approaches using (multi-)agent logics * semantics of interaction and agent communication languages * distributed constraint satisfaction * temporal reasoning * distributed theorem proving * logic-based implementations * specification and verification of formal properties SUBMISSIONS ----------- We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. Submissions must be made via http://www.easychair.org/conferences/?conf=clima10 Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. A selection of extended workshop papers will be published in a Post-Proceedings volume within the Springer Verlag LNAI series, as in previous years; see http://centria.di.fct.unl.pt/~clima IMPORTANT DATES --------------- Submission Deadline: 22nd June 2009 Notification: 16th July 2009 Camera Ready Copy Due: 10th August 2009 CLIMA X: 9th-10th September 2009 WORKSHOP CO-CHAIRS ------------------ Juergen Dix (Clausthal, DE) Michael Fisher (Liverpool, UK) Peter Novak (Clausthal, DE) PROGRAMME COMMITTEE ------------------- Thomas Agotnes (Bergen, NO) Natasha Alechina (Nottingham, UK) Jose Julio Alferes (Lisbon, PT) Rafael Bordini (Durham, UK) Gerhard Brewka (Leipzig, DE) Keith Clark (Imperial, UK) Stefania Costantini (L'Aquila, IT) Mehdi Dastani (Utrecht, NL) Juergen Dix (Clausthal, NL) Louise Dennis (Liverpool, UK) Chiara Ghidini (Trento, IT) James Harland (RMIT, AUS) Hisashi Hayashi (Toshiba, JP) Koen Hindriks (Delft, NL) Wiebe van der Hoek (Liverpool, UK) Katsumi Inoue (NII, JP) Wojtek Jamroga (Clausthal, DE) Viviana Mascardi (Genoa, IT) Paola Mello (Bologna, IT) John-Jules Meyer (Utrecht, NL) Leora Morgenstern (Stanford, USA) Naoyuki Nide (Nara, JP) Mehmet Orgun (Macquarie, AUS) Maurice Pagnucco (NSW, AUS) Jeremy Pitt (Imperial, UK) Enrico Pontelli (New Mexico, USA) Chiaki Sakama (Wakayama, JP) Renate Schmidt (Manchester, UK) Tran Cao Son (New Mexico, USA) Kostas Stathis (RHUL, UK) Michael Thielscher (Dresden, DE) Marina de Vos (Bath, UK) Cees Witteveen (Delft, NL) ----------------------------------------------------- -- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- From atilla.elci at gmail.com Sat Mar 28 21:35:11 2009 From: atilla.elci at gmail.com (Atilla Elci) Date: Sat, 28 Mar 2009 22:35:11 +0200 Subject: Final CFP: IEEE ESAS 2009, 20 July 2009, Seattle, WA, USA. In-Reply-To: <2991b4c10903281323ia987315n2186beda47f96564@mail.gmail.com> References: <2991b4c10903280935v3b7c2adep4b5d3e4e8e9b4b35@mail.gmail.com> <2991b4c10903281050p1fbc2600xa558c81064039ea2@mail.gmail.com> <2991b4c10903281306m4ff85f28j7c3ac9e4341f536b@mail.gmail.com> <2991b4c10903281323ia987315n2186beda47f96564@mail.gmail.com> Message-ID: <2991b4c10903281335x555132va6fa2bc139d1af1f@mail.gmail.com> My Dear Colleague: Apologies for likely cross-postings. Please forward to interested colleagues and students -------------------------------------------------------------------------------------- Final CFP; extended deadline is March 31st. CALL FOR PAPERS =============== 4th IEEE International Workshop on Engineering Semantic Agent Systems (ESAS 2009), 20 July 2009 to 24 July 2009 Seattle, WA, USA. Main theme of the workshop is Applying Semantic Technologies in Research and Development of Ontology-Enabled Multi-Agent Systems. Semantic Web technology topics are welcome. Researchers and practitioners  working on the following are especially encouraged to submit papers: realization of multi-agent systems through semantic web technology, ontology-based agent applications, distributed control and processing applications, security & trust, interoperability, service levels and quality issues in such systems. Enterprises and research centers developing ontologies, languages, integrated development environments, tools, and middleware. Other relevant topics in semantic Web and multi-agent systems are welcome. This one-day workshop will take place IN CONJUNCTION WITH COMPSAC 2009. The deadline has been extended to 31st March 2009 (final). Original research papers will be considered. All submitted papers will be reviewed by the large international program committee considering originality, significance, correctness, presentation, and relevance. We also encourage authors to present position papers on practical studies and experiments, critiques of existing work, emerging issues, and novel ideas under development. Papers must be submitted electronically via the ESAS2009 Submission Page (URL: http://rs.cs.iastate.edu/COMPSAC2009Workshops/ESAS2009/). Manuscripts will be limited to six pages for regular/invited paper, four pages for short paper, two pages for fast abstract and position statement including all figures, tables, and references. Extra page charges apply. The format of submitted papers must follow the IEEE conference proceedings guidelines (i.e., 8.5" x 11", Two-Column Format (PDF: instruct.pdf; DOC: instruct.doc); Layout Guide (PDF: format.pdf; DOC: format.doc; all under ftp://pubftp.computer.org/press/outgoing/proceedings/). All accepted papers will be published in the electronic conference proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index (Elsevier's Engineering Information Index), and automatically included in the IEEE Xplore Digital Library. At least one of the authors of each accepted paper must register as a full participant of COMPSAC for the paper to be included in the proceedings. Each accepted paper must be presented in person. ESAS 2009 authors will be invited to submit extended versions of their papers for publication in a special issue in an academic journal (TBD). After the conference book project is being finalized with a major scientific publisher. The authors of ESAS 2008 and 2007 were invited to submit extended versions of their papers for publication in the Special Issue on Engineering Semantic Agent Systems of the Expert Systems: The Journal of Knowledge Engineering by Blackwell Publishing (http://www.wiley.com/bw/journal.asp?ref=0266-4720). Paper selection is being finalized for late 2009 publication. A special issue of the best papers of ESAS 2006 has been published with the Multiagent and Grid Systems - An International Journal, IOS Press, ISSN 1574-1702; Volume 4, Number 3, 2008, pp: 293-346. Enquiries: aelci at ieee.org Web address: http://conferences.computer.org/compsac/2009/workshops/ESAS2009.html Sponsored by: IEEE Computer Society --------------------------------------- From wjamroga at in.tu-clausthal.de Mon Mar 30 10:19:16 2009 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Mon, 30 Mar 2009 10:19:16 +0200 Subject: CFP: Computational Logic in Multi-Agent Systems (CLIMA) Message-ID: <49D08084.7030300@in.tu-clausthal.de> /-----------\ | CLIMA-X | \-----------/ 10th International Workshop on Computational Logic in Multi-Agent Systems Hamburg, Germany 9th-10th September, 2009 [ http://jadex.informatik.uni-hamburg.de/mates/bin/view/CLIMA/Home ] OVERVIEW -------- The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) will be held in Hamburg, Germany on the 9th and 10th September. CLIMA-X will be co-located with the 7th German Conference on Multi Agent System Technologies (MATES); see http://jadex.informatik.uni-hamburg.de/mates Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from 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, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the 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. Finally, note that CLIMA-X will also incorporate the results of this year's Multi-Agent Contest (see http://www.multiagentcontest.org). TOPICS ------ Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * logical foundations * extensions of logic programming * modal logic approaches * logic-based programming languages * non-monotonic reasoning * decision theory * hypothetical reasoning and learning * knowledge and belief representation and updates * operational semantics and execution agent models * model checking approaches using (multi-)agent logics * semantics of interaction and agent communication languages * distributed constraint satisfaction * temporal reasoning * distributed theorem proving * logic-based implementations * specification and verification of formal properties SUBMISSIONS ----------- We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. Submissions must be made via http://www.easychair.org/conferences/?conf=clima10 Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. A selection of extended workshop papers will be published in a Post-Proceedings volume within the Springer Verlag LNAI series, as in previous years; see http://centria.di.fct.unl.pt/~clima IMPORTANT DATES --------------- Submission Deadline: 22nd June 2009 Notification: 16th July 2009 Camera Ready Copy Due: 10th August 2009 CLIMA X: 9th-10th September 2009 WORKSHOP CO-CHAIRS ------------------ Juergen Dix (Clausthal, DE) Michael Fisher (Liverpool, UK) Peter Novak (Clausthal, DE) PROGRAMME COMMITTEE ------------------- Thomas Agotnes (Bergen, NO) Natasha Alechina (Nottingham, UK) Jose Julio Alferes (Lisbon, PT) Rafael Bordini (Durham, UK) Gerhard Brewka (Leipzig, DE) Keith Clark (Imperial, UK) Stefania Costantini (L'Aquila, IT) Mehdi Dastani (Utrecht, NL) Juergen Dix (Clausthal, NL) Louise Dennis (Liverpool, UK) Chiara Ghidini (Trento, IT) James Harland (RMIT, AUS) Hisashi Hayashi (Toshiba, JP) Koen Hindriks (Delft, NL) Wiebe van der Hoek (Liverpool, UK) Katsumi Inoue (NII, JP) Wojtek Jamroga (Clausthal, DE) Viviana Mascardi (Genoa, IT) Paola Mello (Bologna, IT) John-Jules Meyer (Utrecht, NL) Leora Morgenstern (Stanford, USA) Naoyuki Nide (Nara, JP) Mehmet Orgun (Macquarie, AUS) Maurice Pagnucco (NSW, AUS) Jeremy Pitt (Imperial, UK) Enrico Pontelli (New Mexico, USA) Chiaki Sakama (Wakayama, JP) Renate Schmidt (Manchester, UK) Tran Cao Son (New Mexico, USA) Kostas Stathis (RHUL, UK) Michael Thielscher (Dresden, DE) Marina de Vos (Bath, UK) Cees Witteveen (Delft, NL) ----------------------------------------------------- From vanni at na.infn.it Mon Mar 30 09:57:18 2009 From: vanni at na.infn.it (vanni at na.infn.it) Date: Mon, 30 Mar 2009 09:57:18 +0200 (CEST) Subject: WARNING! (2957596233) In-Reply-To: References: Message-ID: <1168.172.16.6.100.1238399838.squirrel@imap-qz.na.infn.it> > 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: 2957596233, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > From rseba at disi.unitn.it Mon Mar 30 11:32:50 2009 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Mon, 30 Mar 2009 11:32:50 +0200 (CEST) Subject: missing: cfp Frocos'09 Message-ID: Hi. I've recently submitted a CFP for FroCoS'09. Although it is explicitly listed in the events from your web site, it seems I did not receive it thorough your list, even though I received many CFP which are listed after frocos'09 in the list. Was there anything wrong with muy submission? Did I miss anything? Can you please check? Best regards Roberto Sebastiani -- ------------------------------------------------------------------------ Prof. ROBERTO SEBASTIANI Dip. Ingegneria e Scienza dell'Informazione Skype: roberto.sebastiani1 Fac. Scienze M.F.N., Universita` di Trento Tel: +39 0461 881514 Via Sommarive 14, Povo, I-38100, Trento, Italy Fax: +39 0461 883964 roberto.sebastiani at disi.unitn.it http://disi.unitn.it/~rseba ------------------------------------------------------------------------ From Richard.Moot at labri.fr Mon Mar 30 19:31:57 2009 From: Richard.Moot at labri.fr (Richard Moot) Date: Mon, 30 Mar 2009 19:31:57 +0200 Subject: ESSLLI 2009 - Second Call for Participation Message-ID: <9885927A-AF71-45E5-B088-572025AAECED@labri.fr> 21st EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION ESSLLI 2009 Bordeaux, July 20-31 2009 http://esslli2009.labri.fr/ The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. The 21st edition of ESSLLI will be held in Bordeaux, recently selected as a Unesco World Heritage site. = Course Program = ESSLLI gathers about 500 people and offers a total of 48 courses and workshops, divided among foundational, introductory and advanced courses, and including a total of 6 workshops. The courses and workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. http://esslli2009.labri.fr/programme.php = Registration = Registration for ESSLLI is open. Early registration rates are 225 euros for students and 350 euros for others. *Early registration deadline*: 1st of May 2009. http://esslli2009.labri.fr/reg.php = Grants and Volunteers = There is a limited number of fee waivers available for students who want to spend some time assisting the organizing committee during ESSLLI. *Application deadline*: 19 April 2009 http://esslli2009.labri.fr/grants.php We look forward to seeing you in Bordeaux this summer! On behalf of the ESSLLI organizing committee Richard Moot From csoares at fep.up.pt Tue Mar 31 11:52:11 2009 From: csoares at fep.up.pt (Carlos Soares) Date: Tue, 31 Mar 2009 10:52:11 +0100 Subject: Fwd: [Discovery Science 2009] Mentoring Program References: <1797084932.1238490633014.JavaMail.ocstc42@smtp.springer-sbm.com> Message-ID: <0634EF87-B07E-45B7-95FB-80D20299963A@fep.up.pt> Please, distribute. Thanks, Carlos Begin forwarded message: > > > ----------------------------------------------------------------- > > > Following the success of the pass three years, Discovery Science 2009 > is featuring a mentoring program once again. > > Students who are first authors of papers are invited to submit a paper > draft, no later than the mentoring deadline, to ds09 at liaad.up.pt > > They will receive comments from a PC member that will help them > prepare their final submission. > > Final paper submission should follow regular paper procedure, with > abstract and full paper submission. > > Please visit http://ds09.liaad.up.pt/ for regulation and procedures. > > > Deadline for submission of paper drafts: 12 April 2009 > > > Best regards, > > The Conference Chairs > > == Carlos Soares Faculdade de Economia do Porto - Prof. Auxiliar LIAAD-INESC Porto LA - Investigador csoares at fep.up.pt From jraskin at ulb.ac.be Tue Mar 31 13:19:05 2009 From: jraskin at ulb.ac.be (Jean-Francois Raskin) Date: Tue, 31 Mar 2009 13:19:05 +0200 Subject: TIME'09 - Final call for papers Message-ID: <3A184559-EEEB-4C55-9B43-0884BB9724F8@ulb.ac.be> TIME 2009 - Final Call for Papers Sixteenth International Symposium on Temporal Representation and Reasoning Brixen, Italy, July 23-25, 2009 http://www.inf.unibz.it/krdb/events/time-2009/ The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures. * IMPORTANT DATES Abstract Submission: April 6 (strict) Paper Submission: April 9 (strict) Paper Notification: May 11 Camera Ready Copy Due: May 22 TIME 2009 Symposium: July 23-25 * INVITED SPEAKERS Logic - Mark Reynolds, The University of West Australia AI - Froduald Kabanza, Universite de Sherbrooke, Quebec, Canada DB - Serge Abiteboul, INRIA, France * TOPICS Track 1: Temporal Representation and Reasoning in AI - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web Track 2: Temporal Database Management - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of workflow and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - novel applications of temporal database management - experiences with real applications Track 3: Temporal Logic and Verification in Computer Science - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security * PAPER SUBMISSION Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Computer Society Press. Acceptance of a paper is contingent on one author presenting the paper at the symposium. Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guide- lines described at ftp://pubftp.computer.org/press/outgoing/ proceedings/8.5x11 - Formatting files/ and must not exceed 8 pages; over-length submissions may be rejected without review. Papers are submitted electronically via Easychair: http://www.easychair.org/conferences/?conf=time2009 * CONFERENCE OFFICERS General Chair: David Toman, University of Waterloo, Canada Program Committee Chairs: Carsten Lutz, University of Bremen, Germany Jean-Francois Raskin, Free University of Brussels, Belgium Organization Chair: Alessandro Artale, Free University of Bozen-Bolzano, Italy * PROGRAM COMMITTEE Peter van Beek, University of Waterloo, Canada Claudio Bettini, University of Milan, Italy Thomas Brihaye, University of Mons-Hainaut, Belgium Franck Cassez, National ICT Australia Jan Chomicki, University at Buffalo, USA Carlo Combi, University of Verona, Italy Alessandro Cimatti, IRST, Italy Stephane Demri, CNRS, France Bernd Finkbeiner, Saarland University, Germany Michael Fisher, Liverpool, UK Tim French, University of Western Australia, Australia Antony Galton, University of Exeter, UK Alfonso Gerevini, University of Brescia, Italy Valentin Goranko, University of Witwatersrand, South Africa Rajeev Gore, ANU, Australia Keijo Heljanko, Helsinki University of Technology, Finland Ian Hodkinson, Imperial College, UK Ulrich Hustadt, University of Liverpool, UK George Kollios, Boston University, USA Orna Kupferman, Hebrew University, Israel Francois Laroussinie, CNRS, France Salvatore Latorre, University of Salerno, Italy Nicolas Markey, CNRS, France Rupak Majumdar, University of California, USA Angelo Montanari, University of Udine, Italy Madhusudan Parthasarathy, University of Illinois, USA Ian Pratt-Hartmann, Manchester University, UK Jochen Renz, Australian National University, Australia Roger Villemaire, UQAM, Canada Sean Wang, University of Vermont, USA Jef Wijsen, University of Mons-Hainaut, Belgium Ouri Wolfson, University of Illinois, USA Pierre Wolper, University of Liege, Belgium Frank Wolter, University of Liverpool, UK James Worrell, Oxford University, UK Michael Zakharyaschev, Birkbeck College, UK Carlo Zaniolo, University of California, USA * FURTHER INFORMATION Questions related to submission, reviewing, and program: time09 at informatik.uni-bremen.de Questions related to local organization: artale at inf.unibz.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From t.dinoia at poliba.it Tue Mar 31 19:01:51 2009 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Tue, 31 Mar 2009 19:01:51 +0200 Subject: EC-WEB 2009 | deadline extension - new deadline April 10 Message-ID: <1238518911.7212.41.camel@tdn-sisinf03> [We apologize for multiple copies] ======================= CALL FOR PAPERS ============================ 10th International Conference on Electronic Commerce and Web Technologies EC-Web 09 http://sisinflab.poliba.it/ecweb09/ Johannes Kepler University of Linz Linz, Austria 31 August - 4 September 2009 ==================================================================== !!! SUBMISSION DEADLINE EXTENDED !!! - Submission of abstracts: April 10, 2009 - Submission of full papers: April 10, 2009 ==================================================================== !!! NEW !!! Journal publication for selected papers. LNCS Transactions Subline Selected and reviewed papers will be published in LNCS Transactions Subline (Springer Verlag) "Transactions on Large Scale Data and Knowledge Centered Systems" Editors: Abdelkader Hameurlain (University Toulouse) Josef Küng (University of Linz) Roland Wagner (University of Linz) ==================================================================== EC-Web 2009 After the initial enthusiastic initiatives and investments and the eventual bubble, Electronic Commerce has changed and evolved in a well established and founded reality both from a technological point of view and from a scientific one. Nevertheless, together with its evolution, new challenges and topics have emerged as well as new questions have raised related to many aspects of Electronic Commerce. After the lesson learned during last years, for its 10th edition EC-Web completely renews its structure trying to provide a clearer description of the Electronic Commerce universe focusing on some relevant topics. The main focus is not only on Internet related techniques and approaches. The aim of EC-Web 2009 is to cover also aspects related to theoretical foundation of E-Commerce, Business Processes as well as new approaches exploiting recently emerged technologies and scenarios such as Semantic Web, Web services, SOA architectures, mobile and ubiquitous computing, just to cite a few. Due to their central role in any realistic e-commerce infrastructure security and privacy issues are widely considered, without excluding legal and regulatory aspects. We encourage papers that present innovative solutions for classical E-Commerce issues, such as e-negotiation, recommender systems, secure payments, as well as for new emerging areas, such as the Semantic Web, applied Web services, applied soft computing and information retrieval techniques in web and/or e-commerce environments. Although the conference seems naturally focused on computer science issues, we welcome and encourage research contributions from economics, business administration, law, sociology and other disciplines. In particular, papers about web marketing and its non-technical aspects, as well as about social aspects of e-commerce are encouraged. We also welcome papers reporting about innovative applications and case studies in the field of E-Commerce and/or Web Applications, like, e.g., Electronic Voting and Sponsored web search. In order to provide a better categorization and classification of its main goals, Ec-Web 2009 will be organized as a multi-track conference. Each track will be organized as a mini-conference with corresponding reference area chairs. Even though the main focus of the conference concerns the relationship between E-commerce and emerging technologies, with strong attention toward semantics aspects, contributions about theoretical issues as well as cross-track contributions are very welcome. TRACKS * Service Oriented E-Commerce and Business Process o Business process modeling and analysis o Software architectures o Processes and service composition o Business process and e-service repositories o Quality of Service in business processes o Security in business processes o Cross-organizational process support, contracts o Workflow management systems o Process modeling and enactment in ERP, CRM, and SCM systems o SOA and Process Management o Resource management in business process execution o Enterprise Application Integration o Inter-organizational Systems o SOA approaches to E-Commerce o Virtual enterprises, supply chains, coalitions * Recommender Systems o Innovative applications of recommender technology o Recommendation learning and reasoning o Industrial application of recommendation technology o Recommender system user interfaces and conversational approaches o Explanations in recommender systems o Group recommender systems o Consumer decision making and consumer buying behavior models o Collaborative Filtering o Appraisal of Recommender Systems o User Issues in Recommender Systems o Recommendation Interfaces o Computational advertising o Decision theory and preferences * E-Payment, Security and Trust o Payment and authentication protocols o Micropayments o Access Control o Privacy-enhancing technologies o Information Hiding and Watermarking o Reputation and trust systems o Security and privacy issues in electronic commerce o E-Commerce Dependability o Transactions and Contracts o Legal and Regulatory Issues o Electronic voting * Electronic Commerce and Web 3.0 o Ontology engineering for E-Commerce o Taxonomies and Web directories for semantic E-Commerce o Semantic-based discovery of resources in a marketplace o Semantic electronic markets o Semantic Web Service architecture for E-Commerce o Semantic E-Procurement o Ontology-based user profiling o Application of standard and non-standard reasoning in E-Commerce o User tagging for item annotation and discovery o Cloud computing in E-Commerce scenarios o User interface to exploit Web 3.0 technologies in E-Commerce o Emerging languages for E-Commerce o Mobile and Pervasive Commerce o P2P E-Commerce o Experience with e-commerce systems o Usability of e-commerce systems CONFERENCE CHAIRS * Francesco Buccafurri - Università Mediterranea di Reggio Calabria * Tommaso Di Noia - Politecnico di Bari TRACK CHAIRS Service Oriented E-Commerce and Business Process * Stefan Tai - Karlsruhe University Recommender Systems * Giovanni Semeraro - Università degli Studi di Bari E-Payment, Security and Trust * Barbara Masucci - Università di Salerno Electronic Commerce and Web 3.0 * Martin Hepp - Bundeswehr University Munich IMPORTANT DATES - Submission of abstracts: April 10, 2009 - Submission of full papers: April 10, 2009 - Notification of acceptance: May 15, 2009 - Camera-ready copies due: June 10, 2009 SUBMISSION Authors are invited to submit original research contributions in English, following the LNCS format (http://www.springer.de/comp/lncs/authors.html). Duplicate submissions are not allowed and will be rejected Papers should not exceed 12 pages (i.e. 12 LNCS formatted pages). Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in "Lecture Notes in Computer Science" (LNCS) by Springer Verlag. At least one author is required to attend the conference and present the paper. For paper registration, electronic submission and further information please see http://sisinflab.poliba.it/ecweb09/ and http://www.dexa.org. From ci-listen at in.tu-clausthal.de Tue Mar 3 16:13:56 2009 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Tue, 03 Mar 2009 16:13:56 +0100 Subject: The 2nd UAE Symposium on Web Services In-Reply-To: <49AD6580.CD7A.0091.0@zu.ac.ae> References: <49AD6580.CD7A.0091.0@zu.ac.ae> Message-ID: Dear Sir, first of all, thanks for using our distribution list for your announcement. It seems to be relevant to our audience, therefore I wouldn't like to discard it right away. However, your posting does not fulfill minimal requirements set by our moderation policy (http://cig.in.tu-clausthal.de/event/). Therefore, in the case you would like to use our list for re-distribution of your call, I advise you to reformat your announcement and post it again through our list. I will do my best to let it through asap. Thank you for your understanding. Best regards, Peter Novak, Event at CIG administrator. On Tue, 03 Mar 2009 17:14:49 +0400 "Zakaria Maamar" wrote: > Call Participation > The 2nd UAE Symposium on Web Services > Zayed University, Dubai, U.A.E > April 15-16, 2009 > (www.zu.ac.ae/wss) > > Speakers: > 1. Dr. Ryszard Kowalczyk, Swinburne University of >Technology, Australia > 2. Dr. Michael P. Papazoglou, Tilburg University, The >Netherlands > 3. Hamid Khafagy, IBM Middle East, UAE. > > Symposium program to be posted soon. > > Zakaria > From ci-listen at in.tu-clausthal.de Tue Mar 31 14:23:30 2009 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Tue, 31 Mar 2009 14:23:30 +0200 Subject: [Discovery Science 2009] Mentoring Program In-Reply-To: <0634EF87-B07E-45B7-95FB-80D20299963A@fep.up.pt> References: <1797084932.1238490633014.JavaMail.ocstc42@smtp.springer-sbm.com> <0634EF87-B07E-45B7-95FB-80D20299963A@fep.up.pt> Message-ID: Dear Carlos, It seems to me that this posting does not satisfy the minimal requirements set by our moderation policy (http://cig.in.tu-clausthal.de/event/). In the case you would like to get this through the list, please reformat it as a regular CfP. Thanks for understanding. Best regards, Peter Novak, Event at CIG list admin. On Tue, 31 Mar 2009 10:52:11 +0100 Carlos Soares wrote: > Please, distribute. > Thanks, > Carlos > > Begin forwarded message: > >> >> >> ----------------------------------------------------------------- >> >> >> Following the success of the pass three years, Discovery >>Science 2009 >> is featuring a mentoring program once again. >> >> Students who are first authors of papers are invited to >>submit a paper >> draft, no later than the mentoring deadline, to >>ds09 at liaad.up.pt >> >> They will receive comments from a PC member that will >>help them >> prepare their final submission. >> >> Final paper submission should follow regular paper >>procedure, with >> abstract and full paper submission. >> >> Please visit http://ds09.liaad.up.pt/ for regulation and >>procedures. >> >> >> Deadline for submission of paper drafts: 12 April 2009 >> >> >> Best regards, >> >> The Conference Chairs >> >> > > == > Carlos Soares >Faculdade de Economia do Porto - Prof. Auxiliar > LIAAD-INESC Porto LA - Investigador > csoares at fep.up.pt > > > > > >