From joerg.siekmann at dfki.de Mon Feb 2 10:25:58 2009 From: joerg.siekmann at dfki.de (Joerg Siekmann) Date: Mon, 02 Feb 2009 10:25:58 +0100 Subject: Job-Openings in e-learning Message-ID: <4986BC26.3020404@dfki.de> Please find enclosed job descriptions for research assistants (post doc and/or PhDs) in the area of ITS (Intelligent Tutor Systems). Jörg Siekmann -- Prof. Dr. Joerg Siekmann Saarland University Tel: +49-681-302-5275 German Research Centre for Fax: +49-681-302-2235 Artificial Intelligence (DFKI) Email: joerg.siekmann at dfki.de Campus D3 2, Stuhlsatzenhausweg 3 WWW: www-ags.dfki.uni-sb.de/ 66123 Saarbruecken, Germany ------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (CEO) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Job Openings in the field of e.doc Dateityp : application/msword Dateigröße : 26624 bytes Beschreibung: nicht verfügbar URL : From ci-listen at in.tu-clausthal.de Mon Feb 2 15:27:07 2009 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Mon, 02 Feb 2009 15:27:07 +0100 Subject: Job-Openings in e-learning In-Reply-To: <4986BC26.3020404@dfki.de> References: <4986BC26.3020404@dfki.de> Message-ID: Dear Prof. Siekmann, first of all, thanks for using the services of our Event at CIG distribution list for your announcement. However, the form you posted it in is not compliant with our moderation policy (http://cig.in.tu-clausthal.de/event), namely your posting is basically in the attachment with only a short blob in the e-mail body. I do believe your posting is relevant for our audience, therefore I would like to suggest that you either re-post the announcement in a plain text, or put it somewhere to a public web space and re-post a short announcement via our list. I will try my best to pass it through the list asap. For further details, please check our moderation policy at http://cig.in.tu-clausthal.de/event. Best regards, Peter Novak, Event at CIG administrator and moderator. On Mon, 02 Feb 2009 10:25:58 +0100 Joerg Siekmann wrote: > Please find enclosed job descriptions for research >assistants (post doc and/or PhDs) in the area of ITS >(Intelligent Tutor Systems). > Jörg Siekmann > > > -- > Prof. Dr. Joerg Siekmann > Saarland University Tel: >+49-681-302-5275 > German Research Centre for Fax: >+49-681-302-2235 > Artificial Intelligence (DFKI) Email: >joerg.siekmann at dfki.de > Campus D3 2, Stuhlsatzenhausweg 3 WWW: >www-ags.dfki.uni-sb.de/ > 66123 Saarbruecken, Germany > ------------------------------------------------------------- > Deutsches Forschungszentrum fuer Kuenstliche Intelligenz >GmbH >Firmensitz: Trippstadter Strasse 122, D-67663 >Kaiserslautern > > Geschaeftsfuehrung: > Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (CEO) > Dr. Walter Olthoff > > Vorsitzender des Aufsichtsrats: > Prof. Dr. h.c. Hans A. Aukes > > Amtsgericht Kaiserslautern, HRB 2313 > ------------------------------------------------------------- From oltramari at loa-cnr.it Mon Feb 2 16:01:31 2009 From: oltramari at loa-cnr.it (Alessandro Oltramari) Date: Mon, 2 Feb 2009 16:01:31 +0100 Subject: FOMI 2009 - FIRST ANNOUNCEMENT & CfP Message-ID: <20090202150135.98E05413404@kletz.unipd.it> ************************************************ APOLOGIES FOR MULTIPLE POSTINGS ************************************************ FOMI 2009 - 4TH Workshop on Formal Ontologies Meet Industry www.loa-cnr.it/fomi2009 September 2, 2009 - Vicenza (Italy) FIRST ANNOUNCEMENT AND CALL FOR PAPERS In association with 10th European Conference on Knowledge Management (ECKM 2009) http://www.academic-conferences.org/eckm/eckm2009/eckm09-home.htm CONFERENCE AIMS FOMI is an international forum where academic researchers and industrial practitioners meet to analyze and discuss application issues related to methods, theories, tools and applications based on formal ontologies. There is today wide agreement that knowledge modeling and the semantic dimension of information plays an increasingly central role in networked economy: semantic-based applications aim to provide a framework for information and knowledge sharing, reliable information exchange, meaning negotiation and coordination between distinct organizations or among members of the same organization. Often, theoretical ideas seem very promising but their actual implementation brings up unexpected problems and issues. The FOMI 09 Workshop aims to collect useful experiences and lessons learned by the presentation of (1) experienced problems in ontology application, (2) new insights on known problematic issues, (3) new results and observations in ontology implementation, (4) lessons learned on the best way to apply ontological methodologies to real situations. FOMI 09 will facilitate open discussion and experience sharing. Very similar problems arise in disparate ontology applications and an open discussion helps to highlight commonalities and to spread ideas for possible solutions. For this reason, FOMI welcomes researchers and practitioners that embrace this perspective without restrictions on the domain they deal with: business, medicine, engineering, finance, law, biology, geography, electronics, etc. CONFERENCE TOPICS (not exhaustive) *problems in ontology application:* - practical issues in using ontologies in the enterprise - real cases of successful/unsuccessful use of ontology in business - from legacy systems to the new ontology-driven systems *ontology and knowledge management:* - ontology and ontological methodologies in knowledge management; - adaptation of ontologies for companies and organizations; - ontology development and change within organizations; - ontology effectiveness and evaluation - ontology-driven representation of products, services, functionalities, design, processes; - ontologies for the know-how; - ontologies for corporate knowledge; *ontology in practice:* - ontologies for electronic catalogs, e-commerce, e-government; - ontologies for marketing; - ontologies for finance; - ontologies for engineering; - ontologies for medical sciences; - etc. SUBMISSIONS AND DATES Submitted papers will be reviewed by at least two member of the Program Committee and selected on the basis of technical quality, relevance of the described experiences, and clarity of the presentation. In particular, we insist that papers should (1) be written for a wide audience and (2) focus on the problematic, successful, etc. ontological aspects. Following the previous FOMI editions, we are considering publishing the proceedings of the workshop in the FAIA series (IOS Press) or as a special issue of "Applied Ontology". * Format and other information will be added in the conference website shortly. * Deadlines: - Paper Submission: April 2, 2009 - Acceptance Notification: May 23, 2009 - Camera Ready: June 23, 2009 ORGANIZING COMMITTEE Chair: Roberta Ferrario, Alessandro Oltramari - Laboratory for Applied Ontology (ISTC-CNR), Trento - Italy. Local Chair: Ettore Bolisani, Department of Management and Engineering (University of Padua), Vicenza - Italy; Stefano Borgo, Laboratory for Applied Ontology (ISTC-CNR), Trento - Italy. CONFERENCE PROGRAMME COMMITTEE (to be completed) Derek Sleeman, University of Aberdeen Matteo Cristani, University of Verona, Italy Roberta Cuel, University of Trento, Italy Riichiro Mizoguchi, , Osaka University Kavi Mahesh, Infosys Technologies Ltd., and PES Institute of Technology, Bangalore, India Fred Freitas, Universidade Federal de Pernambuco Brazil Kyril Simov, Sirma Labs, Sofia, Bulgary [...] For any question, contact fomi2009 at loa-cnr.it -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : winmail.dat Dateityp : application/ms-tnef Dateigröße : 6374 bytes Beschreibung: nicht verfügbar URL : From joerg.siekmann at dfki.de Mon Feb 2 15:36:51 2009 From: joerg.siekmann at dfki.de (Joerg Siekmann) Date: Mon, 02 Feb 2009 15:36:51 +0100 Subject: Job-Openings in e-learning In-Reply-To: References: <4986BC26.3020404@dfki.de> Message-ID: <49870503.9030002@dfki.de> hi, thanks. I will do that best Jörg Siekmann Administrator of mailing lists of CIG schrieb: > Dear Prof. Siekmann, > first of all, thanks for using the services of our Event at CIG > distribution list > for your announcement. However, the form you posted it in is not > compliant with > our moderation policy (http://cig.in.tu-clausthal.de/event), namely your > posting is basically in the attachment with only a short blob in the e-mail > body. I do believe your posting is relevant for our audience, therefore I > would like to suggest that you either re-post the announcement in a plain > text, or put it somewhere to a public web space and re-post a short > announcement via our list. I will try my best to pass it through > the list asap. > > For further details, please check our moderation policy at > http://cig.in.tu-clausthal.de/event. > > Best regards, > > Peter Novak, Event at CIG administrator and moderator. > > > On Mon, 02 Feb 2009 10:25:58 +0100 > Joerg Siekmann wrote: >> Please find enclosed job descriptions for research assistants (post >> doc and/or PhDs) in the area of ITS (Intelligent Tutor Systems). >> Jörg Siekmann >> >> >> -- >> Prof. Dr. Joerg Siekmann >> Saarland University Tel: +49-681-302-5275 >> German Research Centre for Fax: +49-681-302-2235 >> Artificial Intelligence (DFKI) Email: joerg.siekmann at dfki.de >> Campus D3 2, Stuhlsatzenhausweg 3 WWW: www-ags.dfki.uni-sb.de/ >> 66123 Saarbruecken, Germany >> ------------------------------------------------------------- >> Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH >> Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern >> >> Geschaeftsfuehrung: >> Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (CEO) >> Dr. Walter Olthoff >> >> Vorsitzender des Aufsichtsrats: >> Prof. Dr. h.c. Hans A. Aukes >> >> Amtsgericht Kaiserslautern, HRB 2313 >> ------------------------------------------------------------- > -- Prof. Dr. Joerg Siekmann Saarland University Tel: +49-681-302-5275 German Research Centre for Fax: +49-681-302-2235 Artificial Intelligence (DFKI) Email: joerg.siekmann at dfki.de Campus D3 2, Stuhlsatzenhausweg 3 WWW: www-ags.dfki.uni-sb.de/ 66123 Saarbruecken, Germany ------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (CEO) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 ------------------------------------------------------------- From Klaus.Fischer at dfki.de Mon Feb 2 19:40:12 2009 From: Klaus.Fischer at dfki.de (Klaus Fischer) Date: Mon, 02 Feb 2009 19:40:12 +0100 Subject: Deadline Extended (February 11): ATOP@AAMAS2009 - Agent-based Technologies and applications for enterprise interOPerability Message-ID: <49873E0C.1040402@dfki.de> Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2009 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Eighth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2009) (http://www.conferences.hu/AAMAS2009/workshops.html) Budapest, Hungary 12 May 2009 (date still to be finally confirmed, please check Web pages for changes) MOTIVATION Today's enterprises must adapt their software processes to work in open settings, such as online marketplaces and, more generally, the Web, where business relationships exhibit a high degree of dynamism. Moreover, open settings are characterized by the autonomy and heterogeneity of the enterprises. In such settings, interoperability is a key concern: how do we ensure that diverse enterprises can work together toward a mutually desirable end? Interoperability problems occur at different levels: at the business level (how organizations do business together, what needs to be described and how?), at the knowledge level (different formats, schemas, and ontologies), and at the infrastructure level (the underlying information and communication technologies and systems). Agents, Model-Driven Architecture (MDA), and Service-Oriented Architecture (SOA) are complementary approaches to addressing the enterprise interoperability problem. Agents enable dynamic collaboration and orchestration in changing and unpredictable situations; MDA provides mechanisms that generate artifacts for different platforms; SOA gives us late-binding interoperability between business process requirements and providers of service implementations. This workshop aims to bring together research that combines ideas from MDA and SOA with agents in presenting new solutions for enterprise interoperability. WORKSHOP TOPICS We would like to focus the ATOP 2009 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems SUBMISSION DETAILS Authors should submit original research papers (must not exceed 12 pages including all figures and tables) including an abstract of about 200 words or position papers (must not exceed 3 pages). In any case submission of preliminary abstracts some time before the official submission deadline is very much appreciated. All submissions must be sent electronically to Klaus.Fischer at dfki.de Acceptable formats are PDF and PostScript. It is planned to structure the workshops into invited talks, technical presentations and panel discussions. A publication of selected workshop papers is planned in Springer's new LNBIP series. Formatting instructions can be found at http://www.springer.de/comp/lncs/authors.html and should be strictly followed. The first page should include the full name and contact details of at least one author (email and full postal address). IMPORTANT DATES Submissions due February 11 2009 (new) Notifications sent February 26 2009 (new) Final papers due March 12 2009 (new) Workshop May 12 2009 (date still to be finally confirmed) ORGANIZING COMMITTEE Arne-Jorgen Berre, SINTEF, Norway Klaus Fischer, DFKI, Germany James Odell, CSC, USA Joerg P. Mueller, Technische Universitaet Clausthal, Germany PROGRAM COMMITTEE Sahin Albayrak, TU Berlin, Germany Bernhard Bauer, University Augsburg, Germany Amit Chopra, University of Trento, Italy Michael Georgeff, Monash University, Australia Dominic Greenwood, Whitestein Technologies, Switzerland Axel Hahn, University Oldenburg, Germany Christian Hahn, DFKI, Germany Oystein Haugen, SINTEF, Norway Sebastian Kaemper, IWi, Germany Stefan Kirn, Hohenheim University, Germany Margaret Lyell, IAI, USA Saber Mansour, Oslo Software, France Nikolay Mehandjiev, Manchester Business School, UK Michele Missikoff, LEKS; IASI-CNR, Italy Eugenio Oliveira, University of Porto, Portugal Herve Panetto, University Nancy, France Omer Rana, Cardiff University, UK Ralph Ronnquist, Intendico Pty. Ltd., Australia Rainer Ruggaber, SAP, Germany Omair Shafiq, Semantic Technology Institute (STI) Innsbruck, Austria Iain Stalker, Unversity of Teesside, UK Ingo Timm, Goethe-University Frankfurt/Main, Germany Joerg Ziemann, DFKI-IWi, Germany Ingo Zinnikus, DFKI, Germany -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 3356 bytes Beschreibung: S/MIME Cryptographic Signature URL : From iclp09.dc at gmail.com Mon Feb 2 22:35:55 2009 From: iclp09.dc at gmail.com (iclp09.dc at gmail.com) Date: Mon, 2 Feb 2009 15:35:55 -0600 (CST) Subject: ICLP'09 Doctoral Consortium Message-ID: <200902022135.n12LZtuT010453@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 emiliano.lorini at istc.cnr.it Tue Feb 3 09:56:11 2009 From: emiliano.lorini at istc.cnr.it (emiliano.lorini at istc.cnr.it) Date: Tue, 3 Feb 2009 09:56:11 +0100 Subject: Workshop "Logical Methods for Social Concepts (LMSC)" In-Reply-To: References: Message-ID: <1233651371.498806ab17962@webmail.src.cnr.it> CALL FOR PAPERS LOGICAL METHODS FOR SOCIAL CONCEPTS (LMSC'09) http://www.irit.fr/~Andreas.Herzig/Esslli09 workshop organized as part of European Summer School on Logic, Language and Information ESSLLI 2009 http://esslli2009.labri.fr 20-25 July, 2009 in Bordeaux Workshop Organizers: Andreas Herzig ("herzig at irit.fr") and Emiliano Lorini ("lorini at irit.fr") Workshop Purpose Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. In particular, are existing logical approaches sufficiently expressive to capture the main features of these social concepts? Are the basic assumptions in the existing logics for MAS too strong to capture the fundamental aspects of social phenomena? Are some concepts relevant for social theory missing in these logics? The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. Workshop Topics The following are some examples of topics that are relevant for the workshop: * Logics of individual and collective powers; * Logical approaches to game theory; * Dynamic epistemic logics and logics of communication; * Logics of normative systems and institutions; * Logical approaches to trust and reputation; * Logical approaches to organizational concepts (e.g. roles, responsibility, delegation); * Logics of social commitment and collective attitudes (e.g. common belief and common knowledge, collective acceptance, joint intentions); * Logics for mechanism design. Invited speakers: * Alexandru Baltag, Oxford University * Rineke Verbrugge, University of Groningen Workshop Programme Committee (confirmed): * Thomas Ågotnes * Nicholas Asher * Johan van Benthem, Universities of Amsterdam and Stanford * Guido Boella * Jan Broersen * Cristiano Castelfranchi * Rosaria Conte * Pilar Dellunde * Frank Dignum * Nicola Dimitri * Hans van Ditmarsch, University of Otago, NZ * Davide Grossi * Andreas Herzig (co-chair), IRIT-CNRS, Toulouse * Wiebe van der Hoek, University of Liverpool * Jeff Horty * Andrew Jones * Jérôme Lang, IRIT-CNRS * Emiliano Lorini (co-chair), IRIT-UPS, Toulouse * Claudio Masolo * John-Jules Meyer * Matthias Nickles * Eric Pacuit * Henry Prakken * Antonino Rotolo * Lambèr Royakkers * Nicolas Troquard * Raimo Tuomela * Leon van der Torre Submission Details: Authors are invited to submit an extended abstract presenting an approach which is relevant to the area of logic for multi-agent systems. Extended abstract should have a maximum of 5 pages. The following formats are accepted: PDF, PS, Word. (Latex-generated papers are preferred.) Please send your submission electronically to both program chairs by the deadline listed below. The submissions will be reviewed by the workshop’s program committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. We plan to organize a special issue of a journal based on selected papers presented at the workshop. Important dates: Submissions: February 15, 2009 Notification: April 15, 2009 Preliminary programme: April 24, 2009 ESSLLI early registration: May 1, 2009 Final papers for proceedings: May 15, 2009 Final programme: June 15, 2009 Workshop dates: July 20-31, 2009 Local Arrangements: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the OC on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant. Further Information: About the workshop: http://www.irit.fr/~Andreas.Herzig/Esslli09 About ESSLLI: http://esslli2009.labri.fr From aldini at sti.uniurb.it Tue Feb 3 13:15:40 2009 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Tue, 3 Feb 2009 13:15:40 +0100 (CET) Subject: FOSAD 2009 summer school: CFP Message-ID: =========================================================================== (Apologies for multiple copies) ** Application Deadline: June 15, 2009 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % NINTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2009 % % http://www.sti.uniurb.it/events/fosad09 % % % % 30 August - 4 September 2009, Bertinoro, Italy % % % % *** Announcement *** % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. FOSAD 2009 is organized in collaboration with the EU Project IST-15905 Mobius. SCHOOL TOPICS> This year the aim of FOSAD is to offer a good spectrum of current research in cryptography, crypto-protocol analysis, security of Java-like programming languages, wireless network security, authorization, monoculture, independence and diversity. SCHOOL PROGRAMME> The 9th edition of FOSAD alternates monographic courses of 4 hours and special sessions dedicated to presentations given by participants who intend to take advantage of the audience for discussing their current research in the area. The lecturers of the monographic course are: * Martin Abadi (Microsoft Research and UCSC, USA) * Rustan Leino (Microsoft Research, USA) * Javier Lopez (University of Malaga, Spain) * Ueli Maurer (ETH Zurich, Switzerland) * David Pichardie (INRIA Rennes Bretagne Atlantique, France) * Erik Poll (Radboud University Nijmegen, The Netherlands) * German Puebla (Technical University of Madrid, Spain) * Fred Schneider (Cornell University, USA) * Luca Vigan� (University of Verona, Italy) Scientific Committee: Roberto Gorrieri (Chair) Sandro Etalle Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli Gilles Barthe Catherine Meadows SCHOOL MATERIAL> Proocedings of the lectures will appear as a volume in the tutorial series of Springer LNCS. The volume will also collect material presented at FOSAD 2008. SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro, Italy. The host venue provides modern conference facilities with computing services and Internet access. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by June 15, 2009. Notification of accepted applicants will be posted by June 18, 2009. Registration to the school is due by July 31, 2009. SCHOOL FEES> The full fee is 900 Euros and covers costs for 7 nights - starting from Sat 29 August 2009 - in double room, half board - breakfast and lunch, dinner of 29 August 2009 included, lunch of 5 September 2009 excluded. Registration includes didactical material from the lectures. SCHOOL GRANTS> A limited amount of grants will be provided to cover part of the expenses, particularly for young researchers from less favoured countries. SCHOOL SPONSORSHIP> We are grateful to: * CNR-IIT, Pisa * EU Project MOBIUS: Mobility, Ubiquity and Security * EU Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers * University of Bologna * EATCS - IT * EEF * ERCIM STM WG * IEEE CS - IT * IFIP WG 1.7 SCHOOL SURROUNDINGS> Related events in the same period: * 12th International Conference on Information Security (ISC) Pisa, September 7-9, 2009 * 20th International Conference on Concurrency Theory (CONCUR) Bologna, September 1-4, 2009 * 7th Conference on Computational Methods in Systems Biology (CMSB) Bologna, August 31 - September 1, 2009 From Stephen.Bond at cs.kuleuven.be Tue Feb 3 16:07:58 2009 From: Stephen.Bond at cs.kuleuven.be (Stephen Bond) Date: Tue, 03 Feb 2009 16:07:58 +0100 Subject: [CFP] The Second Answer Set Programming Competition Message-ID: <49885DCE.2040609@cs.kuleuven.be> ................................................................ The Second Answer Set Programming Competition Call For Benchmark problems 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 first phase: the collection of benchmarks. We invite researchers from the different areas to help in creating a representative collection of benchmarks by submitting benchmark problems. For more details, see the webpage. IMPORTANT DATES: * Until 01/03/2009: o Submission and selection of benchmark problems. * 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 walterjackson91 at gmail.com Tue Feb 3 17:23:36 2009 From: walterjackson91 at gmail.com (Walter Jackson) Date: Tue, 3 Feb 2009 11:23:36 -0500 Subject: Paper submission deadline extended: MULTICONF-09 Message-ID: <2508df7d0902030823g13e97f82x886a0391ffe05b4@mail.gmail.com> Paper submission deadline extended: MULTICONF-09 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 due to numerous requests from the authors. 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 Walter Jackson Publicity committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Marc.Denecker at cs.kuleuven.be Tue Feb 3 16:37:16 2009 From: Marc.Denecker at cs.kuleuven.be (Marc Denecker) Date: Tue, 3 Feb 2009 16:37:16 +0100 Subject: ASP-competition Call for Participation Message-ID: <200902031537.n13FbGVK014273@ray.cs.kuleuven.be.> ................................................................ The Second Answer Set Programming Competition Call For Benchmark problems 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 first phase: the collection of benchmarks. We invite researchers from the different areas to help in creating a representative collection of benchmarks by submitting benchmark problems. For more details, see the webpage. IMPORTANT DATES: * Until 01/03/2009: o Submission and selection of benchmark problems. * 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 peter.novak at tu-clausthal.de Tue Feb 3 21:52:59 2009 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Tue, 3 Feb 2009 21:52:59 +0100 Subject: Job-Openings in e-learning Message-ID: <20090203205259.GF12526@tu-clausthal.de> Job Openings in the field of ITS (Intelligent Tutoring Systems) at University of Saarland (UdS) and German Research Center for Artificial Intelligence (DFKI) in Saarbrücken (Germany) ActiveMath is a web-based intelligent learning environment for mathematics. It is being developed at the DFKI and at the University of the Saarland. See the group's home page http://www.activemath.org. Both, the CS department of UdS and DFKI are internationally well-known for their excellent research environment. The Intelligent Educational Technologies Group (ActiveMath Group) in the Department of Computer Science at UdS and at the DFKI is seeking to recruit motivated candidates in the areas of Personalised Technology-Enhanced (Web-based) Learning and Student Modelling. The positions include - researcher for student modelling (motivational and meta-cognitive variables) - researcher for collaborative authoring - software engineer for development. Candidates should have strong research interests and good software development skills. We are seeking PhD students as well as postdocs with an appropriate postgraduate qualification. Candidates should hold a Ph.D. or above average Master degree in Computer Science, Artificial Intelligence, Human-Computer Interaction, Mathematics, Mathematics Education or related subjects. Skills and experience are desirable in several of the following areas: student modelling, authoring tools/user interfaces, personalised e-Learning, (semantic) web technology and/or backend web service development; programming in Java, XML, XSL, CSS is a plus. Applicants should enjoy teamwork and interdisciplinary work with computer scientists, artificial intelligence as well as psychologists and educationalists. We offer the possibility of obtaining a PhD, based on the project work. Saarland University is an equal opportunities employer. In accordance with its policy of increasing the proportion of women, the University actively encourages applications of female candidates. The positions will be paid according to BAT2a/TVL13. The expected salary range is between 33,000 and 45,000 euro. The anticipated starting date is April 2009 for a duration of 33 months with the possibility of an extension. Candidates must be authorized to work in the EU and must be Saarbrücken based during the contract period. Please submit your applications to: PD. Dr. Erica Melis and Prof. Dr. Jörg Siekmann melis at dfki dot de -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 189 bytes Beschreibung: Digital signature URL : From agnieszka.lawrynowicz at cs.put.poznan.pl Wed Feb 4 13:58:32 2009 From: agnieszka.lawrynowicz at cs.put.poznan.pl (Agnieszka Lawrynowicz) Date: Wed, 4 Feb 2009 13:58:32 +0100 (CET) Subject: 2nd CFP IRMLeS'09: 1st Int. Workshop on Inductive Reasoning and Machine Learning on the Semantic Web Message-ID: <1504.150.254.130.111.1233752312.squirrel@www.cs.put.poznan.pl> ------------- Apologies for multiple cross-postings --------------------- 2nd CALL FOR PAPERS IRMLeS'09 1st Int. Workshop on Inductive Reasoning and Machine Learning on the Semantic Web http://irmles2009.di.uniba.it To be held as part of the 6th European Semantic Web Conference (ESWC) in June of 2009 in Heraklion, Crete (Greece). Open, distributed and inherently incomplete nature of the Semantic Web environment posses problems for deductive approaches, traditionally employed to reason with logic-based ontological data. Hence, one may witness a recent trend in the Semantic Web community to propose complementary forms of reasoning, preferably more efficient and noise-tolerant. Promising and already successful approach is the use of inductive and statistical methods as complement to deductive one (for example by adding data mining support to SPARQL query evaluation). It is especially valid when data comes from distributed sources and may be inconsistent. The IRMLeS workshop puts special attention on the problem of ontology mining and inductive and statistical approximate reasoning. The focus of the workshop is on discussion how machine learning techniques, such as statistical learning methods and inductive forms of reasoning, can work directly on the richly structured Semantic Web data and exploit the Semantic Web technologies, and what is the added value of machine learning methods in the Semantic Web context. The workshop is meant to be a forum for scientific exchange amongst researchers interested in an interdisciplinary research on the intersection of the Semantic Web with Knowledge Discovery and Machine Learning fields. AUDIENCE The intended audience for this workshop includes: .. Semantic Web researchers interested in methods for intelligent data analysis and inductive and statistical approximate reasoning .. Researchers in machine learning and data mining with interest in the Semantic Web technologies .. Developers of applications of the Semantic Web technologies that contain components realizing inductive and statistical approximate reasoning, data mining and/or machine learning tasks .. Knowledge engineers and ontology developers interested in semi-automatic methods for ontology mining, namely ontology construction and evolution TOPICS The topics of interest of the workshop include, but are not limited to: .. Knowledge Discovery and Ontologies - Data mining techniques using ontologies - Ontology Mining and Knowledge Discovery in ontological knowledge bases - Ontology-based interpretation and validation of discovered knowledge - Graph mining for ontologies - Evaluation methodologies and metrics for the interaction of knowledge discovery and ontologies .. Inductive Reasoning with Concept Languages - inductive concept retrieval and query answering - approximate classification - inductive methods for ontology construction - concept change and novelty detection for ontology evolution - rule induction for ontology mapping - fuzzy reasoning for ontology construction and evolution .. Statistical learning in the context of standard Semantic Web languages - refinement operators for concept and rule languages - concept learning and Web rules learning - kernels and instance-based learning for structured representations - semantic distances, dissimilarity measures and conceptual clustering - extensions of Bayesian methods for concept and rule languages .. Knowledge-intensive learning from: - Linked Open Data and Semantic Networks - semi-structured data e.g. semantic mark-up mixed with text content (RSS, RDFa, microformats, DublinCore) .. Applications (life sciences, cultural heritage, semantic multimedia,.) and Tools FORMAT The workshop will include invited talk(s), presentations (technical, application and position papers) and a wrap-up discussion. SUBMISSIONS Submissions (in PDF or PostScript format) should be written in English, and not longer than 12 pages (full paper) or 5 pages (position paper), following the ESWC formatting style (Springer LNCS). All submissions will be reviewed by at least 2 reviewers. In addition to the ESWC workshop proceedings, depending on the quality and quantity of submissions, it is intended to publish a selection of revised accepted papers in a journal special issue or a book volume. ORGANIZING COMMITTEE Claudia d'Amato, University of Bari, Italy Nicola Fanizzi, University of Bari, Italy Marko Grobelnik, Jo¸ef Stefan Institute, Slovenia Agnieszka Lawrynowicz, Poznan University of Technology, Poland Vojtech Svatek, University of Economics, Prague, Czech Republic PROGRAM COMMITTEE Sarabjot S. Anand - University of Warwick Bettina Berendt - Katholieke Universiteit Leuven Sonia Bergamaschi - University of Modena-Reggio Emila Sebastian Blohm - University of Karlsruhe Floriana Esposito - University of Bari Mohand-Said Hacid - Univ. Lyon 1 Pascal Hitzler - University of Karlsruhe Andreas Hotho - University of Kassel Jose Iria - University of Sheffield Maciej Janik - University of Koblenz-Landau Matthias Klush - DFKI - German Research Center for Artificial Intelligence Francesca Alessandra Lisi - University of Bari Thomas Lukasiewicz - Oxford University Matthias Nickles - University of Bath Sebastian Rudolph - University of Karlsruhe Steffen Staab - University of Koblenz-Landau Umberto Straccia - ISTI-CNR York Sure - SAP Valentina Tamma - University of Liverpool Johanna Voelker - University of Karlsruhe DATES Deadline: March 7, 2009 Notification: April 4, 2009 Camera ready: April 18, 2009 Workshop day: June 1st, 2009 FURTHER INFORMATION http://irmles2009.di.uniba.it From phismith at buffalo.edu Wed Feb 4 17:28:09 2009 From: phismith at buffalo.edu (Barry Smith) Date: Wed, 04 Feb 2009 11:28:09 -0500 Subject: Postdoctoral Research Position in Ontology Message-ID: <20090204162838.DE5C8207B6@mweb2.acsu.buffalo.edu> The National Center for Biomedical Ontology (http://ncbo.us) seeks applicants for a post-doctoral research position to work on projects relating to applications of ontology in medicine and biology. The successful candidate will work with ontology researchers in the New York State Center of Excellence in Bioinformatics and Life Sciences in Buffalo, New York. He or she will have expertise in at least two of the following areas: ontology, logic, philosophy of science, bioinformatics, biology, medicine, computer science. Further details are available from Barry Smith or under posting number 0900040 at http://ubjobs.buffalo.edu. From roberto.mirizzi at gmail.com Wed Feb 4 17:12:03 2009 From: roberto.mirizzi at gmail.com (Roberto Mirizzi) Date: Wed, 04 Feb 2009 17:12:03 +0100 Subject: subscribe Message-ID: <4989BE53.1060803@gmail.com> From roberto.mirizzi at gmail.com Wed Feb 4 17:20:05 2009 From: roberto.mirizzi at gmail.com (Roberto Mirizzi) Date: Wed, 04 Feb 2009 17:20:05 +0100 Subject: Confirmation Request (0657871054) In-Reply-To: References: Message-ID: <4989C035.9080304@gmail.com> event administration ha scritto: > 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: 0657871054, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > From german at fi.upm.es Wed Feb 4 17:59:14 2009 From: german at fi.upm.es (German Puebla) Date: Wed, 4 Feb 2009 17:59:14 +0100 Subject: Postdoc Positions at the CLIP group, Spain Message-ID: <18825.51554.111922.676131@morena.ls.fi.upm.es> ********************************************************************** Application deadline 13th of February (for the 5 years position) and 18th of February (for the 3 years position) ********************************************************************** The CLIP (Computational Logic, Implementation and Parallelism) group is searching for candidates for postdoctoral research positions in the research areas in which the group is involved. A PhD in Computer Science or related areas is required. These are research positions (no teaching is compulsory, although it is allowed) and renewable for up to 3 or 5 years. The initial salary (for the 5 year positions) is 44370 Euros/year plus an initial budget of 15000 Euros for travel and other expenses during the first year. Knowledge of Spanish is not a prerequisite for application and candidates can be of any nationality. The working language at the CLIP group for research is English. The number of positions available depends on the quality of the applicants. The positions are co-funded by the Spanish Ministry of Science and Technology and the Technical University of Madrid within the Ramon y Cajal and Juan de la Cierva programs. Selection Process: Interested applicants should send their c.v. and a description of their research interests to the CLIP group at hats-grants at clip.dia.fi.upm.es. The CLIP group will perform a pre-selection of the best applicants based on their scientific merits and the relevance of their research interests and experience to the research activities of the group. The CLIP group will then assist the pre-selected candidates in accomplishing all required steps to present the required documentation for the final evaluation step. The applications, will then be sent to the Spanish Ministry of Science and Technology which performs the final selection. The details of this step are described here. http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html More details on the CLIP group, publications, projects, and research areas of interest can be found at our WWW site (see e.g. the group description and the listing of research topics and publications): http://clip.dia.fi.upm.es/ For more information on any of the above, please contact hats-grants at clip.dia.fi.upm.es -- =============================================================== | German Puebla | http://lml.ls.fi.upm.es/~german | | Facultad de Informatica | Universidad Politecnica de Madrid | =============================================================== From sofronie at mpi-sb.mpg.de Thu Feb 5 22:03:16 2009 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Thu, 5 Feb 2009 22:03:16 +0100 (CET) Subject: FTP 2009: First call for papers Message-ID: <41f7f36e657b7acdbba880e5806ff0a3.squirrel@mail.mpi-inf.mpg.de> [We apologize for multiple copies] ==================================================================== CALL FOR PAPERS ==================================================================== FTP 2009 International Workshop on First-Order Theorem Proving Oslo, Norway, July 6-7 2009 http://www.mpi-inf.mpg.de/~sofronie/ftp09/ ==================================================================== FTP 2009 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): * theorem proving in first-order classical, many-valued, and modal logics, including: - satisfiability in propositional logic, - satisfiability modulo theories, - specialized decision procedures, - constraint reasoning, - equational reasoning, - term rewriting, - resolution, - paramodulation/superposition; * strategies and complexity of theorem proving procedures; * implementation techniques; * applications of first-order theorem provers to: - program verification, - model checking, - artificial intelligence, - mathematics, - computational linguistics. Previous editions of FTP took place in Schloss Hagenberg, Austria (1997); Vienna, Austria (1998); St Andrews, Scotland (2000); Valencia, Spain (2003); Koblenz, Germany (2005); and Liverpool, UK (2007). For more information about FTP, its scope and previous workshops, please see the FTP Workshop Series web page http://www.csc.liv.ac.uk/FTP-WS/ . Paper Submissions ================= Authors are invited to submit papers in the following categories: * Extended abstracts of up to 15 pages describing original results. * Position papers of up to 10 pages describing work in progress, or future directions of research. * System descriptions of up to 10 pages, describing new systems or significant upgrades of existing ones, especially including experiments; sources and manuals of systems will have to be freely available online. * Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. We see this as a way to provide additional access to important developments that FTP Workshop attendees may be unaware of. Authors are encouraged to use LaTeX and the standard article class/style file (10pt or 11pt). The first page should contain the title, the authors' names, e-mail and postal addresses. Submissions should be made via Easychair at the following address: http://www.easychair.org/conferences/?conf=ftp2009 Publication =========== Accepted submissions will be published as a technical report of the University of Oslo and will be distributed at the workshop. They will also be available on the web. As for the previous editions of FTP, a journal special issue is planned after the workshop. The submission will be open to papers on First-Order Theorem Proving. Important dates =============== Full paper submission deadline: 20 April 2009 Notification of acceptance/rejection: 27 May 2009 Final version due: 10 June 2009 Workshop: July 6-7, 2009 Program Chairs ============== * Nicolas Peltier( (CNRS - LIG) * Viorica Sofronie-Stokkermans (Max-Planck-Institut für Informatik, Saarbrücken) Programme Committee =================== * Alessandro Armando (DIST - Univ. Genova) * Franz Baader (TU Dresden) * Peter Baumgartner (National ICT Australia) * Bernhard Beckert (Univ. Koblenz) * Maria Paola Bonacina (Univ. degli Studi di Verona) * Ricardo Caferra (Grenoble INP - LIG) * Martin Giese (Univ. Oslo) * Ullrich Hustadt (Univ. Liverpool) * Alexander Leitsch (Vienna Univ. of Technology) * Christopher Lynch (Clarkson University) * Nicola Olivetti (LSIS, Univ. Paul Cézanne, Marseille) * Nicolas Peltier (co-chair) (CNRS - LIG) * David Plaisted (Univ. North Carolina-Chapel Hill) * Silvio Ranise (Univ. degli Studi di Verona) * Michael Rusinowitch (LORIA - INRIA Lorraine) * Renate Schmidt (The Univ. Manchester) * Viorica Sofronie-Stokkermans (co-chair) (Max-Planck-Institut für Informatik, Saarbrücken) * Arild Waaler (Univ. of Oslo) * Christoph Weidenbach (Max-Planck-Institut für Informatik, Saarbrücken) Local organization ================== Roger Antonsen (University of Oslo) From simon.miles at kcl.ac.uk Fri Feb 6 18:10:54 2009 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Fri, 6 Feb 2009 17:10:54 +0000 Subject: AAMAS-09 Call for Participation Message-ID: 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 NOW 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 tschneider at rayva.org Sat Feb 7 19:48:55 2009 From: tschneider at rayva.org (Todd Schneider) Date: Sat, 7 Feb 2009 13:48:55 -0500 Subject: ISWC 2009: Call for Papers Message-ID: ISWC 2009 Call for Papers The 8th International Semantic Web Conference (ISWC) will be held 25 - 29 October, 2009, in Fairfax, Virginia, U.S. Invited speakers include Patrick Hayes, Institute for Human and Machine Cognition, and Nova Spivack, Radar Networks. IS WC is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. As the Semantic Web is rapidly entering the mainstream, IS WC 2009 will pay particular attention to showcasing scalable and usable solutions, which bring semantic technologies to web users in authentic application settings. The tracks for ISWC 2009 include Research, Semantic Web in Use, Posters & Demonstrations, Industry, Doctorial Consortium, Tutorials, and Workshops. Calls for each of these tracks is below. The International Semantic Web Conference (IS WC) series is organized and managed by the Semantic Web Science Association (SWSA ). See http://iswc2009.semanticweb.org/ for full details. Research Track - Call for Papers The web continues to grow and increasing amounts of data are available for human and machine consumption, processing, and re-dissemination. As Semantic Web technologies (including linked data approaches) mature and become usable by end-users we can expect to encounter new technologies, modes of interactions, and applications that enable us to "surf" this web of data. These new approaches give rise to new challenges - both from a technical and human-computer interaction perspective. The goal of the research track at ISWC is to bring together researchers, practitioners, and users from the areas of artificial intelligence, databases, social networks, distributed computing, web engineering, information systems, natural language processing, soft computing, and human-computer interaction to discuss the biggest challenges and proposed solutions. It solicits the submission of original, principled research papers dealing with both analytical theoretical, empirical, and practical aspects of all areas of Semantic Web research. Papers to the research track are expected to clearly present their contribution and provide some well-principled means of evaluation. We especially encourage papers that ensure the repeatability of their experiments and share with the community their data and test harnesses. General Information ISWC 2009 calls for papers for its research track. The research track solicits the submission of original, principled research papers dealing with both analytical theoretical, empirical, and practical aspects of all areas of Semantic Web research. Papers to the research track are expected to clearly present their contribution and provide some well-principled means of evaluation. We especially encourage papers that ensure the repeatability of their experiments, and share with the community their data and test harnesses. Topics Topics of interest include, but are not limited to: · User Interfaces · Interacting with Semantic Web data 1 Semantic Web content creation and annotation 2 Mashing up Semantic Web data and processes 3 Novel interaction paradigms aimed at linked data 4 Semantic web applications to Web-2.0 sites · Data Semantics and Ontologies · Beyond Description Logic: New formalisms for semantics (such as probabilistic approaches) 1 Lightweight semantics (linked data, microformats, etc). 2 Ontology modeling, reuse, extraction, and evolution 3 Ontology mapping, merging, and alignment 4 Searching and ranking ontologies 5 Ontology evaluation · Applications of the Semantic Web · Applications with clear lessons learned or evaluations 1 Semantic Web for large scale applications, desktops or personal information management 2 Semantic Web technologies for multimedia, sensors, and situational awareness 3 Semantic Web technologies for P2P, services, agents, grids and middleware · Management of Semantic Web Data · Languages, tools and methodologies for representing and managing Semantic Web data 1 Database, IR and AI technologies for the Semantic Web 2 Search, query, integration, and analysis on the Semantic Web 3 Robust and scalable knowledge management and reasoning on the Web 4 Machine learning and information extraction for the Semantic Web 5 Cleaning, assurance, trust, provenance of Semantic Web data, services and processes · Social Semantic Web · Social networks and processes on the Semantic Web 1 Semantic Web technologies for collaboration and cooperation 2 Representing and reasoning about trust, privacy, and security General questions can be sent to iswc2009 semanticweb.org Evaluation of Submitted Research Papers ISWC is a highly attractive and competitive conference series. From all previous ISWC conferences, we have seen researchers and practitioners making best use of the methods and technologies reported at the event for their own research and practice. We are very eager to maintain this high level of impact achieved by ISWC papers in the future. For this purpose, all papers will be critically reviewed by 3 reviewers and one vice chair. To assess papers, reviewers will judge originality of papers, significance for further research and/or practice related to the Semantic Web, technical soundness of the proposed approaches and readability of the submitted papers. Specific weight will be given to the evaluation of the approaches described in the papers. We strongly encourage evaluations that are repeatable. Depending on the type of the paper and the proposed approach indications for repeatability may vary. For instance, theoretical papers may want to upload full proofs of theorems (as supplementary data), empirical work may want to upload training/test data, experimental results, or supporting movies (as supplementary data), case study work may link to case study journals for deeper insights, system papers may provide download of the software or a Web client together with full assessments in user studies, approaches that describe algorithms may want to provide the algorithm in source code and in an easy-to-install manner. Submission of Abstracts and Papers Submissions and reviewing will be handled using the EasyChair reviewing system. Pre-submission of abstracts will be a strict requirement. Final papers can be submitted until 21 June 2009, 23:59 hrs, Hawaiian time. The submission platform will be opened from the beginning of May. Note the we made a special effort to cut all slack from the reviewing schedule in order to assure that we will have the newest results presented at the conference. We will, therefore, be unable to make any extensions to this submission deadline! Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Format Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0 ). Formatted papers must be no longer than 16 pages. Papers that exceed this limit will be rejected without review. ISWC 2009 will not accept research papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task) and submit a version of their paper to a special conference discussion system. Details will be provided on the conference Web page at the time of acceptance. At least one author of each accepted paper must register for the conference. Important Dates - Research Track * Abstracts due: Monday, June 8, 2009, 23:59 Hawaii Time (GMT-10) * Submissions due: Monday, June 15 2009 23:59 Hawaii Time (GMT-10) * Rebuttal phase: July 15 - July 20, 2009 * Notification: August 4, 2009 * Camera ready: August 14, 2009 Program Committee · Chairs · Abraham Bernstein, University of Zurich, Switzerland 1 David Karger, MIT, USA * Vice Chairs To Be Announced Semantic Web In Use - Call for Papers Semantic Web technologies continue to make the transition from research labs into mainstream adoption. The Semantic Web In Use track at ISWC 2009 provides a forum for the community to explore the benefits and challenges of applying Semantic Web technology in real-life applications and contexts, such as industry, science, society, government or entertainment. Submissions to the Semantic Web In Use track may employ scientific methods (qualitative and/or quantitative) to understand in greater detail the application of Semantic Web technologies, or present novel practical approaches that are relevant to the deployment of Semantic Web technologies but may not otherwise gain an outlet in the ISWC series. We therefore invite the submission of original, principled papers organized around some of or all of the following aspects: * Description of concrete problems in specific application domains, for which Semantic Web technologies can provide a solution. * Description of an implemented application of Semantic Web technologies in a specific domain. * Assessment of the pros and cons of using Semantic Web technologies to solve a particular business problem or other practical problems in a specific domain. * Comparison with alternative or competing approaches using conventional or competing technologies. * Learned best practices for deploying an application based on Semantic Web technologies. * Assessment of the costs and benefits of the application of Semantic Web Technologies, e.g. time and cost of implementation and deployment, integration with legacy IT systems, user acceptance, returns on investment. * Assessment/evaluation of usage and uptake of a deployed Semantic Web application. The Semantic Web In Use track is open to submissions based on a wide-range of hypotheses, methodologies and conclusions. However priority will be given to submissions that demonstrate rigor in the methodology and analysis on which conclusions are based. Submissions/Format Submissions and reviewing will be handled using the EasyChair reviewing system. Pre-submission of abstracts is preferred but not required. Final papers can be submitted until 15 June 2009, 23:59 hrs, Hawaiian time. The submission platform will be opened from the beginning of May. Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0). Formatted papers must be no longer than 16 pages. Papers that exceed this limit will be rejected without review. ISWC 2009 will not accept papers to the Semantic Web In Use track that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task) and submit a version of their paper to a special conference discussion system. Details will be provided on the conference Web page at the time of acceptance. At least one author of each accepted paper must register for the conference. Authors of papers submitted to the Semantic Web In Use track (whether accepted or not) are encouraged to also consider submitting their work to the ISWC2009 Poster and Demo track, where appropriate. Please note that such submissions must be made separately to In Use track submissions and must adhere strictly to the submission requirements for Posters and Demos. Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Important Dates - Semantic Web in Use * Submission Deadline: Monday, June 15, 2009 (23:59 Hawaii Time) * Notification of Acceptance: August 4, 2009 * Camera-Ready Paper Deadline: August 14, 2009 Program Committee · Chairs · Lee Feigenbaum, Cambridge Semantics, USA 1 Tom Heath, Talis, UK Posters and Demonstrations - Call for Proposals ISWC 2009 will hold combined poster and demonstration sessions. The Poster/Demo Session is an opportunity for presenting late-breaking results, ongoing research projects, and speculative or innovative work in progress. Posters and demos are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Technical posters, reports on Semantic Web software systems, descriptions of completed work, and work in progress are all welcome. Demonstrations are intended to showcase innovative Semantic Web related implementations and technologies. Submissions/Format Authors must submit a two-page paper with a short abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. Submissions will be reviewed by members of the program committee. Decisions about acceptance will be based on relevance to the Semantic Web, originality, potential significance, topicality and clarity. A detailed list of suggested topics can be found in the calls for papers both for the Research Track and for the Semantic Web In Use track. Posters and demos are intended to convey a scientific result or work in progress and are not intended as advertisements for software packages. Authors submitting a full paper to another track in ISWC 2009 may also submit the same work for consideration in the Demo/Poster track, either before or after result notification for the full paper. For example, a demo can be provided for an accepted paper, or a poster can be used to present work that was insufficiently mature for the other track. For demo submissions, authors are strongly encouraged to include in their submission a link to where the demo (live or recorded video) can be found. At least one of the Poster/Demo authors must be a registered participant at the conference, and attend the Poster/Demo Session to present the work. The abstracts for all accepted posters and demos will be given to all conference attendees and published on the conference web site. They will not be included in the formal proceedings. Poster and demo papers must be submitted in ACM format. For complete details, see ACM SIG Proceedings Templates. Please remove the ACM copyright box from the first page of your submission. Poster/Demo papers must be submitted in PDF format, and no other format will be accepted. Poster/Demo papers that exceed the page limit could be rejected without review. Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Please submit papers at the ISWC 2009 submission page. Important Dates - Posters & Demonstrations * August 7, 2009: Deadline for submissions * August 24 , 2009: Notification of acceptance * September 8, 2009: Camera ready abstracts due Time for all deadlines above will be 23:59 pm Hawaiian time (GMT-10). Further Information For further information and for any questions regarding the event or submissions, please contact the Posters and Demonstration co-chairs Tania Tudorache and Harith Alani. Organizing Chairs · Tania Tudorache, Stanford University, USA 1 Harith Alani, University of Southampton, UK Program Committee * To be announced Industry Track - Call for Proposals ISWC 2009 is hosting an Industry Track to enable the business community to present products that utilize or enrich the Semantic Web. We invite industry vendors to submit brief presentations for this track. No formal accompanying paper is required. We encourage product and service vendors who may or may not be exhibiting at ISWC 2009 to give a presentation about their products or services. While such presentations can explicitly focus on vendor-branded products and services, we seek to allow vendors to (1) give more in-depth discussion about the specific aspects of Semantic Web technologies in their products and services; (2) explain how their products and services are helping transition clients into the Semantic Web; and (3) describe the innovative plans for their products and services that lead to greater adoption of Semantic Web standards and interoperability. The key dates for the Call for Presentations are close to the conference date to encourage vendors to include last-minute updates and innovations of general interest to ISWC attendees. We want to provide a venue for companies who might otherwise not submit a formal paper to ISWC, but nevertheless have valuable insights and engineering acumen regarding various Semantic Web technologies and their applicability. Submissions/Format Authors must submit a presentation for consideration. It is recommended that each submission also include an abstract of a maximum of 200 words. Submissions will be reviewed by members of the program committee. Decisions for acceptance will be based on relevance to the Semantic Web, technical depth and business applicability. Marketing and sales material will not be considered. Submissions should be in one of the following formats: * HTML * PowerPoint (PPT) slides * PDF slides * MPEG2 or MPEG4 (Screencasts) No formal paper is required. While it is difficult to handle the entire range of presentation technologies, we are willing to negotiate accommodations if one of the above formats is not suitable. If your technology is not listed and is critical to your presentation, please contact the Industry Track co-chairs. Presentations may be fully automated (e.g. screencasts) or narrated live during the conference. Submissions should also include presentation needs (e.g. projector, Internet connectivity). You may submit hyperlinks to your presentation (including the final presentation), but if you require Internet access for your presentation, please submit a backup final presentation in the unlikely event of connection problems. Presentations are expected to be either 20 or 50 minutes with 10 minutes for questions. A presentation may be mixed media (any of the above formats) and include demonstrations, but must adhere to the 20 or 50 minute limit. Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Please submit presentations at the ISWC 2009 submission page. Topics Potential topics are listed below but are not inclusive. See the Research Track for additional topic areas. * Ontology Management * Reasoning Engines * Collaboration and the Semantic Web * Open Data on the Semantic Web * Open Source Strategies for Semantic Web Businesses Important Dates - Industry Track * August 1, 2009: Draft presentations due * August 31, 2009: Notification of acceptance * September 10, 2009: Final presentations due Further Information For further information and for any questions regarding the event or submissions, please contact the Industry Track co-chairs Matthew Fisher and John Callahan. Program Committee · Chairs · Matthew Fisher, Progeny Systems, USA 1 John Callahan, JHUAPL, USA Doctoral Consortium - Call for Papers Introduction The ISWC 2009 Doctoral Consortium will take place as part of the 8th International Semantic Web Conference at the Westfields Conference Center near Washington, DC. Alongside the plenary sessions which afford opportunity for the scientific exchange and presentation of high quality research in all aspects of the Semantic Web, this forum will allow doctoral students to present their work and obtain guidance from mentors as well as to meet other postgraduate students in the field. The goal of the Doctoral Consortium is to create an opportunity for PhD students to test their research ideas, present their current progress and future plans, and receive constructive criticism and insights related to their future work and career perspectives. A mentor (peer researcher and expert in the field) will be assigned to each student of an accepted paper, to provide individual feedback and advice on the paper, the focus of the work and further developments. Students who are submitting papers on specific portions of their work to the main conference are also invited to apply to the Doctoral Consortium. In this case, the short paper for the Doctoral Consortium should give an overview of the student's dissertation research, and the paper for the main conference should focus on a specific piece of this work. All papers submitted to the Doctoral Consortium stream will undergo a thorough reviewing process with a view to providing detailed and constructive feedback. The best submissions will be selected for presentation at the ISWC 2009 Doctoral Consortium sessions. Full papers will be published in the main ISWC proceedings. Some papers will be accepted as posters rather than full papers, depending on the nature of the submission. The poster session will take place as part of the Doctoral Consortium. Topics The Doctoral Consortium track of ISWC 2009 solicits submission of PhD research papers dealing with foundational and core issues, application domains and practical aspects of Semantic Web research. Topics include, but are not limited to: · Applications of the Semantic Web · Applications with clear lessons learned 1 Evaluations of Semantic Web technologies 2 Semantic Web for e-business, e-science, e-government, and other application domains 3 Semantic Web technologies for multimedia content 4 Personal Information Management · Management of Semantic Web Data · Languages, tools and methodologies for representing and managing Semantic Web data 1 Database technologies for the Semantic Web 2 Search, query, and visualization of the Semantic Web 3 Robust and scalable knowledge management and reasoning on the Web 4 Machine learning and human language technologies for the Semantic Web 5 Semantic Web content creation, annotation, and extraction · Ontologies · Ontology creation, extraction, and evolution 1 Ontology mapping, merging, and alignment 2 Evaluation and tanking of ontologies 3 Ontology search · Semantic Web Architecture · Semantic Web middleware 1 Semantic Web services 2 Agents on the Semantic Web 3 Semantics in peer-to-peer systems and grids · Social Semantic Web · Social networks and processes on the Semantic Web 1 Semantic web technology for collaboration and cooperation · Representing and reasoning about trust, privacy, and security Submissions/Format Doctoral Consortium papers should include a clear presentation of the PhD research direction, sound situation of the PhD research in the context of Semantic Web and related fields, a report on the work done so far and a plan of further research. They should indicate at what stage of the PhD the author is at. All submissions should be no longer than 8 pages, in the same format as is used for the main conference papers. Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions. Papers must be submitted electronically through the conference submission site. Papers must be submitted in PDF format. Papers will not be accepted in any other format. ISWC 2009 will not accept research papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task). Details will be provided on the conference Web page at the time of acceptance. Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org . Detailed information will be provided with the acceptance notification. Important Dates - Doctorial Consortium * June 15, 2009 (11:59pm Hawaii time, GMT-10): Doctoral consortium paper submissions due * July 21, 2009: Doctoral consortium paper acceptance notification * August 7, 2009: Doctoral consortium camera-ready papers due * October 24, 2009: Doctoral consortium * October 25-29, 2009: ISWC conference Further Information For further information and for any questions regarding the event or submissions, please contact the Doctoral Consortium Chair Diana Maynard . For more information about ISWC 2009, please contact the ISWC General Chair. Program Committee * Chair Diana Maynard, University of Sheffield, UK Tutorials - Call for Proposals The Web continues to grow and new technologies, modes of interactions, and applications are being developed. Building on this growth, Semantic Web technologies aim at providing a shared semantic information space, qualitatively changing our experiences on the Web. As Semantic Web technologies mature and permeate more and more application areas, new research challenges are becoming apparent and some unsolved ones are becoming more acute. To foster the exchange of ideas and collaboration, ISWC brings together researchers in relevant disciplines such as artificial intelligence, databases, social networks, distributed computing, web engineering, information systems, natural language processing, and human-computer interaction. In addition to the regular research and workshop program, ISWC'09 aims to feature a tutorial program that would address the interests of its varied audience: novices to the Semantic Web, representatives of government and funding agencies, Semantic Web practitioners that wish to learn new technologies. We welcome submissions of tutorial proposals on all major topics related to Semantic Web research, including, but not limited to those of relevance for ISWC'09 (http://iswc2009.semanticweb.org/). We expect proposals of the following types of tutorials: * Tutorials providing an introduction to the Semantic Web; * Tutorials describing the application of Semantic Web technology in specific domains (e.g., business intelligence, life-sciences, health care). Applications to government and e-government are especially encouraged; * Tutorials presenting concrete Semantic Web technologies and trends. We encourage proposals describing both established technologies that are increasingly used by the community and novel, ground-breaking technologies. * Tutorials presenting techniques from other research fields that are of relevance for Semantic Web research. (e.g., machine learning, NLP). Important Organizers' Responsibilities Organizers of accepted tutorials are responsible for preparing and maintaining a Web site that describes the tutorial and includes other relevant information. The URL of the tutorial site should be submitted to the tutorial chair by 14 August 2009. The description should make it clear that the tutorial is open to all members of the ISWC community. It should also mention that all tutorial participants must pay the ISWC'09 conference registration fee, as well as the tutorial fee. The tutorial organizers will also be asked to provide some metadata about their tutorial, conforming to the Semantic Web Conference ontology (detailed instructions will be provided). Organizers are also responsible for the production and distribution of all technical material to be used for teaching the tutorial (slides, notes, technical papers, etc.) except for the reproduction of hard copies of printed materials, which will be handled by ISWC. In the case of a hands-on tutorial requiring software, it is strongly recommended that the organizers provide CDs from which the participants can install the software needed on their computers. (It is not realistic to expect tutorial attendees to download the software at the beginning of the tutorial!) Tutorial presenters will need to submit the material for printed hand-outs to the tutorial organizers for pre-printing. (The deadline for this is given below.) The ISWC 2009 Organizing Committee will be responsible for the following: * Providing publicity for the tutorial as a whole on the conference's web page. The ISWC 2009 page will include the tutorial abstract and provide a link to the tutorial's local page. * Providing logistic support and a meeting place for the tutorial. * In conjunction with the organizers, determining the tutorial date and time. * Production of sufficient copies of printed tutorial materials provided by the tutorial organizers. Submissions/Format ISWC'09 tutorials may be either for a full day or for a half day. Although tutorials may focus entirely on theoretical aspects, we encourage organisers to incorporate hands-on sessions where appropriate. Tutorial proposals should not exceed 5 pages in Springer LNCS format and should contain the following information: * An abstract (200 words maximum; to be published on the ISWC'09 website); * A justification of the tutorial, including its relevance to this conference and its relation to similar tutorials presented at other events; * A brief description of tutorial, including aims, overview of content, presentation style, target audience, and prerequisite knowledge; * An indication of full- or half-day, and a draft outline of the tutorial content and schedule * Audio-visual or technical requirements and any special room requirements; * For a hands-on tutorial, please briefly describe the software that will be used for the hands-on activities, the planned procedure to allow the participants to install the software on their computers, and any special technical requirements related to these activities. Please note that any software needed for hands-on activities, and download sites for the software, must be provided by the tutorial presenters. * Information on presenters (name, affiliation, contact info, expertise, experiences in teaching and in tutorial presentation). Please indicate which presenter is the primary contact. Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Please submit tutorial proposals by email to Jennifer Golbeck at jgolbeck at umd.edu. Important Dates - Tutorials * June 19, 2009: Tutorial proposals due * July 10, 2009: Notification of proposal acceptance * August 14, 2009: Deadline for receipt of URL for tutorial web page * September 25, 2009: Deadline for sending the tutorial notes (handouts) to the tutorial chair for reproduction (PDF preferred) * October 25-26, 2009: Presentation of Tutorial Program Program Committee · Chairs · Jennifer Golbeck, University of Maryland, College Park, USA, jgolbeck at umd.edu · Marta Sabou, The Open University, UK, r.m.sabou at open.ac.uk Workshops - Call for Proposals ISWC 2009, the Eighth International Semantic Web Conference, will be held on October 25-29 2009 at the Westfields Conference Center near Washington DC. Co-located workshops at previous ISWC conferences have become an important meeting point for researchers to discuss and exchange ideas concerning focused Semantic Web topics. ISWC 2009 plans to continue with this tradition and invites proposals for the Workshop Track. General Information * Co-located workshops must be on topics that are of interest to ISWC attendees. * Workshop duration can be half a day or a full day. * We strongly advise having more than one organizer, preferably from different institutions, bringing different perspectives to the workshop topic. * Workshops are intended to be genuine interactive events. We welcome workshops with creative structures and organizations that attract various types of contributions and ensure rich interactions. * The decision on acceptance/rejection of workshop proposals will be made on the basis of the overall quality of the proposal as well as how it fits in with the conference. * The organizers of successful workshops will be responsible for their own reviewing process, publicity (e.g., website), and proceedings. They will be required to closely cooperate with the Workshops Chairs and the ISWC 2009 local organizers to finalize all details mentioned above. * The workshop organizers will also be asked to provide some metadata about their workshop, conforming to the Semantic Web Conference ontology (detailed instructions will be provided). * Workshop attendees must pay the ISWC 2009 workshop registration fee, as well as the conference registration fee. * Accepted workshops will receive one free registration to the main conference. Submissions/Format Workshop proposals should be no more than 3 pages in length, should be in text or PDF format and should contain the following information: * A title. * A 200 words abstract. * A brief discussion of why the topic is of particular interest at this time. * A brief description of why and to whom the workshop is of interest, the workshop audience, as well as the expected number of participants. * A brief description of the proposed workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussion. * A list of (potential) members of the program committee (at least 50% have to be known and confirmed at the time of the proposal). * An indication of whether the workshop should be considered for a half-day or full-day meeting. * A description of past versions of the workshop, including URLs as well as submission and acceptance counts. * The names and contact information (web page, email address) of the proposed organizing committee and short description of their relevant experience. Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Please send your proposals by *May 1*, 2009 to iswc09workshops at lists.csail.mit.edu. Important Dates - Workshops · *May 1*, 2009 - Workshop proposals are due. · Proposals should be submitted to iswc09workshops at lists.csail.mit.edu . · May 22, 2009 - Notification of acceptance/rejection. · The important dates for accepted workshops will be: · June 8, 2009 - Workshop Call for Papers out (suggested). 1 July 31, 2009 - Submissions to workshops (suggested) 2 August 30, 2009 - Acceptance of papers for workshops (suggested) 3 October 2, 2009 - Camera ready papers 4 October 9, 2009 - Camera ready proceedings 5 October 25 - 26, 2009 - Workshops days Program Committee · Chairs · Philippe Cudre-Mauroux, MIT, USA 1 Jeff Heflin, Lehigh University, USA -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : winmail.dat Dateityp : application/ms-tnef Dateigröße : 23523 bytes Beschreibung: nicht verfügbar URL : From alexander.friedmann at uqam.ca Sat Feb 7 08:32:56 2009 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Sat, 7 Feb 2009 02:32:56 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Sat, Feb 7, 2009 at 1:46 AM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexander.friedmann at uqam.ca Sun Feb 8 06:00:03 2009 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Sun, 08 Feb 2009 00:00:03 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <20090208050010.RPRC1703.tomts10-srv.bellnexxia.net@toip5.srvr.bell.ca> At 01:46 AM 2/7/2009, you wrote: >This is an automated message from the > mailing list manager > >List messages sent to your address have bounced. > >If you read this message, your mail system has been probably fixed. > >To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > >All requests about this mailing list > should be sent to -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dtr at aifb.uni-karlsruhe.de Sun Feb 8 16:43:46 2009 From: dtr at aifb.uni-karlsruhe.de (Tran Thanh) Date: Sun, 8 Feb 2009 22:43:46 +0700 Subject: SEMSEARCH09 2nd Call for Papers Message-ID: <498efdc0.02066e0a.7edf.fffff2f9@mx.google.com> (Apologies if you receive multiple copies of this message) =================================== 2nd Call for Papers SEMSEARCH'09 Semantic Search 2009 Workshop Located at the 18th Int. World Wide Web Conference WWW2009 April 21, 2009, Madrid, Spain http://km.aifb.uni-karlsruhe.de/ws/semsearch09 Submission deadline for full papers: March 1st, 2009 (12.00 AM, GMT) =================================== In recent years we have witnessed tremendous interest and substantial economic exploitation of search technologies, both at web and enterprise scale. However, the representation of user queries and resource content in existing search appliances is still almost exclusively achieved by simple syntax-based descriptions of the resource content and the information need such as in the predominant keyword-centric paradigm (i.e. keyword queries matched against bag of words document representation). On the other hand, recent advances in the field of semantic technologies have resulted in tools and standards that allow for the articulation of domain knowledge in a formal manner at a high level of expressivity. At the same time, semantic repositories and reasoning engines have only now advanced to a state where querying and processing of this knowledge can scale to realistic IR scenarios. In parallel to these developments, in the past years we have also seen the emergence of important results in adapting ideas from IR to the problem of search in RDF/OWL data, folksonomies, microformat collections or semantically tagged natural text. Common to these scenarios is that the search is focused not on a document collection, but on metadata (which may be possibly linked to or embedded in textual information). Search and ranking in metadata stores is another key topic addressed by the workshop. As such, semantic technologies are now in a state to provide significant contributions to IR problems. In this context, several challenges arise for Semantic Search systems. These include, among others: * How can semantic technologies be exploited to capture the information need of the user? * How can the information need of the user be translated to expressive formal queries without enforcing the user to be capable of handling the difficult query syntax? * How can expressive resource descriptions be extracted (acquired) from documents (users)? * How can expressive resource descriptions be stored and queried efficiently on a large scale? * How can vague information needs and incomplete resource descriptions be handled? * How can semantic search systems be evaluated and compared with standard IR systems? ----------------------------------- Topics of Interest ----------------------------------- Main topics of interest in the areas of Semantic Search include but are not limited to: Tasks and Interaction Paradigms for Semantic Search * Information Retrieval Tasks on the Semantic Web * Incentives and Interaction Paradigms for Resource Annotation * Interaction Paradigms for Semantic Search * Collaborative Aspects of Semantic Search (Wikis, Social Networks) Query Construction and Resource Modeling for Semantic Search * Semantic Technologies for Query Interpretation, Refinement and Routing * Natural Language Interfaces for Semantic Web Repositories * Modeling Expressive Resource Descriptions * Ontology and Metadata Standards for Expressive Resource Descriptions * Natural Language Processing and Information Extractions for the Acquisition of Resource Descriptions * Semantic Web Mining and Semantic Network Analysis Algorithms and Infrastructures for Semantic Search * Scalable Reasoners, Repositories and Infrastructures for Semantic Search * Crawling, Storing and Indexing of Expressive Resource Descriptions * Fusion of Semantic Search Results on the Semantic Web * Algorithms for Matching Expressive Queries and Resource Descriptions * Algorithms and Reasoning Procedure to Deal With Vagueness, Incompleteness and Inconsistencies in Semantic Search Evaluation of Semantic Search * Evaluation Methodologies for Semantic Search * Standard Datasets and Benchmarks for Semantic Search ----------------------------------- Organizers ----------------------------------- * Marko Grobelnik, Jožef Stefan Institute, Ljubljana, Slovenia * Peter Mika, Yahoo! Research, Barcelona, Spain * Thanh Tran Duc, Institute AIFB, University of Karlsruhe (TH), Germany * Haofen Wang, Apex Data & Knowledge Management Lab, Shanghai Jiao Tong University, China ----------------------------------- Program Committee ----------------------------------- * Wray Buntine, NICTA Canberra, Australia * Pablo Castells, Universidad Autónonoma de Madrid, Spain * Alistair Duke, British Telecom, UK * Blaz Fortuna, Jožef Stefan Institute, Slovenia * Norbert Fuhr, Universität Duisburg-Essen, Germany * Lise Getoor, University Maryland, USA * Rayid Ghani, Accenture Labs, USA * Peter Haase, Institute AIFB, University of Karlsruhe, Germany * Andreas Harth, DERI, Galway, Ireland * Andreas Hotho, University of Kassel, Germany * Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece * Li Ma, IBM Research, Beijing, China * Eduarda Mendes Rodrigues, Microsoft Research, Cambridge, UK * Yuzhong Qu, Southeast University, Nanjing, China * Sergej Sizov, University of Koblenz-Landau, Germany * Nenad Stojanovic, FZI Karlsruhe, Germany * Rudi Studer, Institute AIFB, University of Karlsruhe, Germany * Cao Hoang Tru, HCMC University of Technology, HCMC, Vietnam * Michael Witbrock, Cycorp, USA and Cycorp Europe, Slovenia * Yong Yu, Apex Lab, Shanghai Jiao Tong University, China * Ilya Zaihrayeu, University of Trento, Italy * Hugo Zaragoza, Yahoo! Research Barcelona, Spain ----------------------------------- Submission and Proceedings ----------------------------------- Proceedings will be published for the workshop as part of the CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073). We will pursue a journal special issue with the topics of the workshop if we receive an appropriate number of high-quality submissions. Details on the proceedings and camera-ready formatting will be announced upon notification of the authors. For submissions, the following rules apply: * Papers should be formatted according to the guidelines of the WWW2009 conference, i.e. according to the ACM Proceedings Style. More information is available at http://www.acm.org/sigs/pubs/proceed/template.html. * Regular research papers are limited to 10 pages. * Additionally, we invite discussion papers, experimental contributions, system and demo descriptions which are limited to 2 pages. In this case, please indicate the type of the contribution as subtitle. * Please use the following link to the submission system to submit your paper: Easychair Submission System for SemSearch2009 at http://www.easychair.org/conferences/?conf=semse2009. ----------------------------------- Important Dates ----------------------------------- Deadline for submissions: March 1st, 2009 (12.00 AM, GMT) Notification of acceptance: April 1st, 2009 Camera-ready versions: April 10th, 2009 WWW'09 Conference: April 20th-24th, 2009 Workshop Day: April 21st, 2009 ----------------------------------- Contact ----------------------------------- The organization committee can be reached via semsearch09 at aifb.uni-karlsruhe.de. For questions on submission, please contact Tran Duc Thanh via dtr at aifb.uni-karlsruhe.de. Workshop website at http://km.aifb.uni-karlsruhe.de/ws/semsearch09. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : winmail.dat Dateityp : application/ms-tnef Dateigröße : 15334 bytes Beschreibung: nicht verfügbar URL : From cfp at clip.dia.fi.upm.es Sun Feb 8 17:05:29 2009 From: cfp at clip.dia.fi.upm.es (cfp at clip.dia.fi.upm.es) Date: Sun, 8 Feb 2009 17:05:29 +0100 Subject: ICLP 2009: Call for Workshop Proposals Message-ID: <18831.713.609057.368295@fi.upm.es> [We apologize in advance for repeated reception of this message] [Please fell free to forward it to anyone who can be interested] *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2009 25th International Conference on Logic Programming Pasadena, California, USA July 14-17, 2009 URL: http://www.ist.unomaha.edu/iclp2009/ ICLP 2009, the 25th International Conference on Logic Programming, will be held in Pasadena (USA), from July 14 to 17, 2009. Workshops co-located with international conferences are one of the best venue for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2009 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2009 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation, and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experience of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Manuel Carro) by email by February 9th, 2009. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by February 23rd, 2009. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and arrange the distribution of the workshop proceedings, whose preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP 2009 home page by March 9th, 2009. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested. See http://www.logicprogramming.org/ for guidelines. We encourage reading these instructions in advance so that you can ask paper authors to prepare accordingly the final versions of their papers. Location: ========= All workshops will take place in Pasadena at the site of the main conference. See the ICLP 2009 web site for location details. Important Dates: ================ February 9, 2009: Proposal submission deadline. February 23, 2009: Notification. March 9, 2009: Deadline to receive the CFP and URL for workshop web page. June 1, 2009: Deadline for preliminary proceedings. July 14-17, 2009: ICLP 2009 workshops. Workshop Chair: =============== Manuel Carro [mcarro AT fi dot upm dot es] (www.clip.dia.fi.upm.es/~mcarro) From kostas at cs.rhul.ac.uk Sun Feb 8 20:46:08 2009 From: kostas at cs.rhul.ac.uk (Kostas Stathis) Date: Sun, 08 Feb 2009 19:46:08 +0000 Subject: 1st CFP: COIN@IJCAI09 Message-ID: <498F3680.6070205@cs.rhul.ac.uk> ------------------------------------------------------------- * 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 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 sescobar at dsic.upv.es Sun Feb 8 22:49:54 2009 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Sun, 8 Feb 2009 22:49:54 +0100 Subject: Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming References: <51580035-5DE7-4E2F-A69D-CF943F10A060@dsic.upv.es> Message-ID: <831FB26D-73CD-4BB9-BD0B-4A58164E01C6@dsic.upv.es> ******************************************************************* Preliminary Call For Papers WFLP 2009 18th International Workshop on Functional and (Constraint) Logic Programming Brasilia, Brazil, June, 28, 2009 http://www.dsic.upv.es/workshops/wflp09/ ********* part of the Federated Conference on Rewriting, Deduction, and Programming RDP'09 http://rdp09.cic.unb.br/index.html ******************************************************************* IMPORTANT DATES Abstract Submission April 20, 2009 Full Paper Submission April 26, 2009 Acceptance Notification May 25, 2009 Preliminary Proceedings June 8, 2009 Workshop June 28, 2009 SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). LOCATION WFLP'09 will be held in June 28, 2009 at Brasilia, Brazil, as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'09). WFLP'09 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: security, declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding well-marked appendices not intended for publication). Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2009 Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. Contributions accepted for the post-workshop proceedings are planned to be published in a journal. INVITED SPEAKERS Claude Kirchner INRIA Bordeaux - Sud-Ouest, France Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil PROGRAMME CHAIR Santiago Escobar Universidad Politecnica de Valencia, Spain ORGANIZING COMMITTEE Maria Alpuente Universidad Politecnica de Valencia, Spain Sergio Antoy Portland State University, USA Christiano Braga Universidade Federal Fluminense, Brazil Rafael Caballero Universidad Complutense de Madrid, Spain David Deharbe Universidade Federal do Rio Grande do Norte, Brazil Rachid Echahed CNRS,laboratoire LIG, France Moreno Falaschi Universita di Siena, Italy Michael Hanus Christian-Albrechts-Universitaet zu Kiel, Germany Frank Huch Christian-Albrechts-Universitaet zu Kiel, Germany Tetsuo Ida University of Tsukuba, Japan Wolfgang Lux Westfalische Wilhelms-Universitat Munster, Germany Mircea Marin University of Tsukuba, Japan Camilo Rueda Universidad Javeriana-Cali, Colombia Jaime Sanchez-Hernandez Universidad Complutense de Madrid, Spain Anderson Santana de Oliveira Universidade Federal do Rio Grande do Norte, Brazil From jiazhang at cs.niu.edu Mon Feb 9 20:08:54 2009 From: jiazhang at cs.niu.edu (Jia Zhang) Date: Mon, 9 Feb 2009 13:08:54 -0600 Subject: Gentle Reminder: IEEE ICWS 2009 Submission Deadline Approaching - 2/15/2009 Message-ID: <257501c98ae9$e35ee570$aa1cb050$@niu.edu> Apologies for cross-postings. Please send it to interested colleagues and students. Thanks! =============== Submission Deadline Approaching =============== ICWS 2009 Submission Site is Open: (Submission Deadline Approaching: 2/15/2009) http://conferences.computer.org/icws/2009/submission.html ::::::::::::::::::::::::: CALL FOR PAPERS ::::::::::::::::::::::::: The 7th IEEE International Conference on Web Services (ICWS 2009) http://conferences.computer.org/icws/2009 July 6-10, 2009, Los Angeles, CA, USA Theme: Innovations for Web-based Services Sponsored by: IEEE Computer Society Technical Committee on Services Computing (http://tab.computer.org/tcsc) & Services Society (http://www.servicessociety.org) (Approval Pending) *************************************** NEWS ********************** Call for Papers: IEEE Transactions on Services Computing (TSC, http://computer.org/tsc). Special theme issues from ICWS 2009 will be published in TSC. Call for Papers: International Journal of Web Services Research (JWSR, http://www.servicescomputing.org/jwsr/) has been indexed by SCI-E. Special theme issues from ICWS 2009 will be published in JWSR. Call For papers: International Journal of Business Process Integration and Management (IJBPIM, http://ijbpim.servicescomputing.org/) ******************************************************************** ICWS 2009 organizing committee invites you to participate in the seventh edition of ICWS, to be held in Los Angeles, CA, USA. ICWS has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art on Web services. ICWS aims to identify emerging research topics and define the future of Web services. Over the past seven years, ICWS has grown steadily, attracting over 250 participants on a regular basis. Previous editions of ICWS have been held (most recent first) in Beijing, Salt Lake City, Chicago, Orlando, San Diego, and Las Vegas. ICWS 2009 will co-locate with the Fourth World Congress on Services (SERVICES 2009) to explore the science and technology of all aspects of "Services", which has been formally promoted by IEEE Computer Society since 2003. In addition, ICWS 2009 will be supported by a set of keynotes, panels, and tutorials. The technical program of ICWS 2009 will include a refereed research track, an application and industry track, a work-in-progress track, and a poster track. The research track will highlight foundational work that strives to push beyond the limits of existing Web services platforms and products, including experimental efforts, innovative systems and investigations that identify weaknesses in the existing Web services models. The ICWS 2009 research track seeks original, UNPUBLISHED research papers reporting substantive new work in various aspects of Web services. Research papers must properly cite related work and clearly indicate their contributions to the field of Web services. All topics relevant to Web services are of interest, but the conference program committee particularly encourages submissions related to the following aspects of Web services: Foundations of Web Services * Service-Oriented Architecture (SOA) and Evolutions * Models, methodologies, and tools (including analysis, design, modeling, and composition) * Publishing, discovery, and selection (including in mobile settings) * Validation and testing (including risk assessment and tracking) * Management and governance (including monitoring, QoS, privacy, trust) * Formal methods (including modeling and specification, data and process semantics, type systems, security, QoS, and other properties) * Standards and implementation and deployment technologies Web-based Services * Web 2.0 and Web X.0 concepts in Web services settings * Software as a Service (SaaS) * Service As Software * Cloud Computing * Technologies for building and operating massive data centers (including middleware) Web Services Applications beyond Web * Applications (including mobile, scientific, Grid and utility, autonomic, and embedded computing) * Business process management (including business protocols, business intelligence, service level agreements, and business licensing models) All submitted manuscripts will be peer-reviewed by at least 3 program committee members. Accepted papers will appear in the conference proceedings published by the IEEE Computer Society Press. Extended versions of selected papers published in the ICWS 2009 will be invited through a fast review channel for potential publication in the IEEE Transactions on Services Computing (TSC), International Journal of Web Services Research (JWSR) and the International Journal of Business Process Integration and Management (IJBPIM). Both the ICWS Proceedings and JWSR are included in EI Compendex. JWSR is also indexed in SCI-E. Submitted manuscripts will be limited to 8 (IEEE Proceedings style) pages and REQUIRED to be formatted using the IEEE Proceedings template. Unformatted papers and papers beyond 8 pages will not be reviewed. Electronic submission of manuscripts (in PDF or Word format) is required. Detailed instructions for electronic paper preparation and submission, panel proposals, tutorial proposals, workshop proposals, and review process can be found at http://conferences.computer.org/icws/2009/. At least one author of each accepted paper is required to register to the conference and present the paper. One Best Paper award and one Best Student Paper award will be granted at ICWS 2009. The first author of the best student paper must be a full-time student. If your paper is application or solution oriented, you can consider submitting it to ICWS 2009 Applications and Industry Track. Manuscripts submitted to the Research Track focusing on application or solution descriptions may be recommended to the Applications and Industry Track for further consideration if the session slots are available. Submitted papers with novel ideas but not accepted by the Research Track and Applications and Industry Track may also be recommended for potential consideration by the chairs of the Work-in-Progress Track and Poster Track of ICWS 2009, and other tracks and workshops of SERVICES 2009. ICWS Program Committee requires that authors adopt the keywords and index terms in Services Computing "M" from the IEEE CS taxonomy (computer.org/tsc). Important Dates: ============== Abstract Submission Deadline: February 15, 2009 Full Paper Submission Due Date: February 15, 2009 Decision Notification (Electronic): March 31, 2009 Camera-Ready Copy Due Date & Pre-registration Due: April 17, 2009 Organizing Committee ================= General Chair Paul Hofmann, Ph.D., Vice President Research, SAP Labs, USA Program Committee Chairs Ernesto Damiani, Ph.D., Professor, Dept. of Computer Technology, University of Milan, Italy. Head of the University of Milan's Ph.D. School in Computer Science Rong Chang, Ph.D., IBM T.J. Watson Research Center, USA Program Committee Vice Chair Jia Zhang, Ph.D., Assistant Professor, Department of Computing Science, Northern Illinois University, USA Applications and Industry Chair Wu Chou, Ph.D., IEEE Fellow, Director, Avaya Labs Fellow, Avaya Labs Research, USA Work-in-Progress Chair Onyeka Ezenwoye, Ph.D., Assistant Professor, South Dakota State University, USA Poster Chairs Incheon Paik, Ph.D., Associate Professor, The University of Aizu, Japan Ali Bahrami, Ph.D., Associate Technical Fellow, The Boeing Company, USA Hong Cai, Ph.D., Chief Architecture, IBM China Software Development Lab Publication Chair Patrick C.K. Hung, Ph.D., Associate Professor, Faculty of Business and Information Technology, University of Ontario Institute of Technology (UOIT), Canada, Adjunct Assistant Professor, Department of Electrical and Computer Engineering, University of Waterloo, Canada Local Arrangement Chair Qun Zhou, IBM T.J. Watson Research Center, USA Global SOA Industry Summit Chair Tony Shan, IBM Global Technology Services, USA Dejan S. Milojicic, Ph.D., HP Labs, USA Publicity Chairs Charles Shoniregun, Ph.D., Programme Leader for MSc TM, School of Computing & Technology, University of East London, UK Mikio Aoyama, Ph.D., Professor, Department of Information and Telecommunication Engineering, Nanzan University, Japan Hong Mei, Ph.D., Professor, Director, Institute of Software, Dean, School of Electronics Engineering and Computer Science, Peking University, China Panel Chairs Calton Pu, Ph.D., Professor and John P. Imlay, Jr. Chair in Software, Georgia Tech, USA Geng Lin, Ph.D., CTO of Cisco IBM Alliance, USA Bhavani Thuraisingham, Ph.D., Professor, University of Texas at Dallas, USA Casey Fung, Ph.D., Boeing Phantom Works, USA Tutorial Chairs Ling Liu, Ph.D., Associate Professor, College of Computing, Georgia Institute of Technology, USA Brian Blake, Ph.D., Associate Professor and Chair, Department of Computing Science, Georgetown University, USA Workshop Chairs Umesh Bellur, Ph.D., Professor, IIT Bombay, India Jian Yang, Ph.D., Associate Professor, Department of Computing, Macquaire University, Australia Pradip K Srimani, Ph.D., Professor, Department of Computer Science, Clemson University, USA Ph.D. Symposium Chair Steve Yau, Ph.D., Professor, Department of Computing Science, Arizona State University, USA Services Cup Contest Chairs Min Luo, Ph.D., IBM Global Services, USA. Yuhong Yan, Ph.D., Assistant Professor, Concordia University, Canada Sujoy Basu, Ph.D., HP Labs - Palo Alto, USA Sushil Prasad, Ph.D., Professor, Georgia State University, USA Body of Knowledge Chairs Michael Goul, Ph.D., Professor, W.P. Carey School of Business, Arizona State University, USA Yanchun Zhang, Ph.D., Director, Centre for Applied Informatics Research School of Computer Science & Mathematics, Victoria University, Australia Services Education Methodology Summit Chairs Hemant Jain, Ph.D., Wisconsin Distinguished Professor, Management Information Systems, Tata Consulting Services Professor, University of Wisconsin - Milwaukee, USA Andreas Wombacher, Ph.D., Assistant Professor, University of Twente, The Netherlands Zhixiong Chen, Ph.D., Professor, Mathematics and Computer Information Science, Mercy College, USA Job Fair Chair Anup Kumar, Ph.D., Professor, University of Louisville, USA Innovation Show Case Chairs Atilla Elci, Ph.D., Eatern Mediterranean University, Turkey Wing-Kwong Chan, Ph.D., City of University of Hong Kong, China Registration Chair Thomas Kwok, Sc.D., IBM T.J. Watson Research Center, USA Technical Steering Committee Carl K. Chang, Ph.D., Department Chair and Professor, Iowa State University, USA Ephraim Feig, Ph.D., President, Innovations-to-Market, USA Hemant Jain, Ph.D., Professor, University of Wisconsin at Milwaukee , USA Frank Leymann, Ph.D., Professor, University of Stuttgart, Germany Calton Pu, Ph.D., Professor and John P. Imlay, Jr. Chair in Software, Georgia Tech, USA Jeffrey Tsai, Ph.D., Professor, University of Illinois at Chicago, USA Zhiwei Xu, Ph.D., Institute of Computing Technology, China Liang-Jie Zhang, Ph.D. (Chair), Research Staff Member and Founding Chair of Services Computing Professional Interest Community, IBM T.J. Watson Research Center, USA Program Committee Marco Aiello, University of Groningen, Netherlands Sriram Anand, Accenture, India Mikio Aoyama, Nanzan University, Japan Danilo Ardagna, Politecnico di Milano, Italy Akhilesh Bajaj, University of Tulsa, USA Matteo Baldoni, University of Torino, Italy Alistair Barros, SAP Research, USA Boualem Benatallah, University of New South Wales, Australia Elisa Bertino, Purdue University, USA Athman Bouguettaya, CSIRO ICT Center, Canberra, ACT, Australia Christoph Bussler, Merced Systems, Inc., USA Jorge Cardoso, SAP Research, Germany and University of Madeira, Portugal Fabio Casati, Trento University, Italy Malu G. Castellanos, HP Labs, USA Coimbatore Chandersekaran, Air Force, IDA, USA Wing-Kwong Chan, City University of Hong Kong, Hong Kong Jeane Chen, Kintera, USA Shiping Chen, CSIRO ICT Centre Australia Ying Chen, IBM China Research Lab, China Dickson K.W. Chiu, Dickson Computer Systems, Hong Kong, China Wu Chou, Avaya Labs Research, Avaya, USA William Cheng-Chung Chu, Tunghai University, Taiwan Cecil Chua, Nanyang Technological University, Singapore Florian Daniel, University of Trento, Italy Nirmit Desai, IBM India Research Lab Marlon Dumas, University of Tartu, Estonia Schahram Dustdar, Vienna University of Technology, Austria Vadim Ermolayev, Zaporozhye National University, Ukraine Onyeka Ezenwoye, South Dakota State University Ben Falchuk, Telcordia Technologies, Inc., USA Ephraim Feig, Innovations-to-Market, USA Elena Ferrari, Politiche e dell'Informazione, University of Insubria at Como, Italy Sebastian Fischmeister, University of Waterloo, Canada Piero Fraternali, Politecnico di Milano, Italy Dimitrios Georgakopolous, CSIRO ICT Center, Canberra, ACT, Australia Vladimir Getov, University of Westminster, UK Shahram Ghandeharizadeh, University of Southern California, USA Vijay K. Gurbani, Bell Laboratories, Alcatel-Lucent, USA Mohand-Sa?d Hacid, Université Claude Bernard Lyon, France Satoshi Hada, IBM Tokyo Research Lab, Japan James Harland, RMIT University, Australia Ken Hopkinson, Air Force Institute of Technology, USA Jinpeng Huai, Beihang University, China Patrick C. K. Hung, University of Ontario Institute of Technology, Canada Toru Ishida, Kyoto University, Japan Arun Iyengar, IBM T.J. Watson Research Center, USA Varghese S. Jacob, University of Texas at Dallas, USA Hemant Jain, University of Wisconsin - Milwaukee, USA Hai Jin, HUST, China Sandeep M Karamongikar, InfoSys, India Rania Khalaf, IBM T.J. Watson Research Center, USA Akhil Kumar, Penn State, USA Herman Lam, University of Florida, USA Konstantin L?ufer, Loyola University Chicago, USA Frank Leymann, University of Stuttgart, Germany Ling Liu, Georgia Institute of Technology, USA Xiaoqing (Frank) Liu, Missouri University, USA Shiyong Lu, Wayne State University, USA Heiko Ludwig, IBM Research, USA Tiziana Margaria, University of Potsdam, Germany Carolyn McGregor, University of Ontario Institute of Technology, Canada Dennis McLeod, Univeristy of Southern California, USA Hong Mei, Peking University, China Weiyi Meng, Binghamton University, USA Dejan S. Milojicic, HP Laboratories, USA Simanta Mitra, Iowa State University, USA Louise Moser, U.C. Santa Barbara, USA Gilles Muller, Ecoles des Mines de Nantes, France Krzys Ostrowski, Cornell University, USA Srinivas Padmanabhuni, Infosys India Sushil Prasad, Georgia State University, USA Calton Pu, Georgia Institute of Technology, USA Manfred Reichert, University of Ulm, Germany Norbert Ritter, University of Hamburg, Germany Marcus Rothenberger, University of Nevada Las Vegas, USA Ming-Chien Shan, SAP Research, USA Liuba Shrira, Brandeis University, USA Gautam Shroff, Tata Consultancy Services, India Munindar P. Singh, North Carolina State University, USA George Spanoudakis, City University, UK Judith Stafford, Tufts University, USA Vijayan Sugumaran, Oakland University, USA Kevin Sullivan, University of Virginia, USA Stefan Tai, Karlsruhe Institute of Technology (KIT), Germany Azzel Taleb-Bendiab, Liverpool John Moores University, UK Bhavania Thuraisingham, UT Dallas, USA Scott Tilley, Florida Institute of Technology, USA Vladimir Tosic, NICTA, Australia; University of New South Wales, Australia; University of Western Ontario, Canada Kunal Verma, Accenture Technology Labs, USA Harry Jiannan Wang, University of Delaware, USA Andreas Wombacher, University of Twente, Netherlands Stephen J.H. Yang, National Central University, Taiwan Jian Yang, Macquaire University, Australia Hongji Yang, Montfort University, UK Pinar Yolum, Bogazici University, Turkey Liang-Jie Zhang, IBM T.J. Watson Research Center, USA Leon Zhao, University of Arizona, USA Nianjun (Joe) Zhou, IBM Research, USA Hong Zhu, Oxford Brookes University, UK Kezysztof Zielinski, University of Science and Technology, Poland Review Policy ============= IEEE Policy and professional ethics require that referees treat the contents of papers under review as privileged information not to be disclosed to others before publication. It is expected that no one with access to a paper under review will make any inappropriate use of the special knowledge that access provides. Contents of abstracts submitted to conference program committees should be regarded as privileged as well, and handled in the same manner. The Conference Publications Chair shall ensure that referees adhere to this practice. Organizers of IEEE conferences are expected to provide an appropriate forum for the oral presentations and discussions of all accepted papers. An author, in offering a paper for presentation at an IEEE conference, or accepting an invitation to present a paper, is expected to be present at the meeting to deliver the paper. In the event that circumstances unknown at the time of submission of a paper preclude its presentation by an author, the program chair should be informed on time, and appropriate substitute arrangements should be made. In some cases it may help reduce no-shows for the Conference to require advance registration together with the submission of the final manuscript. ======================================================== Please join us at: IEEE Services Computing Community To join, please visit https://www.ieeecommunities.org/services and follow instructions to apply for free membership. As a member, you will be permitted to login and participate in the community, including accessing IEEE Body of Knowledge on Services Computing (servicescomputing.tv). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From core at cic.ipn.mx Tue Feb 10 04:56:02 2009 From: core at cic.ipn.mx (core at cic.ipn.mx) Date: Mon, 9 Feb 2009 21:56:02 -0600 Subject: Call For Papers: CORE-2009 Message-ID: <200902100356.n1A3u21E025533@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: March 8 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 jbsa at acadjourn.org Tue Feb 10 14:58:28 2009 From: jbsa at acadjourn.org (Journal of Bioinformatics and Sequence Analysis) Date: Tue, 10 Feb 2009 14:58:28 +0100 Subject: =?windows-1252?Q?Introducing_=91=91Journal_of_Bioinformatics_and_Sequ?= =?windows-1252?Q?ence_Analysis=94?= Message-ID: Journal of Bioinformatics and Sequence Analysis www.academicjournals.org/JBSA Dear Colleague, The *Journal of Bioinformatics and Sequence Analysis (JBSA)* is a multidisciplinary peer-reviewed journal published that will be monthly by Academic Journals (http://www.academicjournals.org/JBSA). JBSA is dedicated to increasing the depth of the subject across disciplines with the ultimate aim of expanding knowledge of the subject. *Editors and reviewers* JBSA* *is seeking qualified researchers to join its editorial team as editors, subeditors or reviewers. Kindly send your resume to JBSA at acadjourn.org *Call for Papers* JBSA will cover all areas of the subject. The journal welcomes the submission of manuscripts that meet the general criteria of significance and scientific excellence, and will publish: · Original articles in basic and applied research · Case studies · Critical reviews, surveys, opinions, commentaries and essays We invite you to submit your manuscript(s) to JBSA at acadjourn.org for publication in the Maiden Issue (April 2009). Our objective is to inform authors of the decision on their manuscript(s) within four weeks of submission. Following acceptance, a paper will normally be published in the next issue. Instruction for authors and other details are available on our website; http://www.academicjournals.org/JBSA/Instruction.htm JBSA is an Open Access Journal One key request of researchers across the world is unrestricted access to research publications. Open access gives a worldwide audience larger than that of any subscription-based journal and thus increases the visibility and impact of published works. It also enhances indexing, retrieval power and eliminates the need for permissions to reproduce and distribute content.JBSA is fully committed to the Open Access Initiative and will provide free access to all articles as soon as they are published. Best regards, *Franklyn Monyei* Editorial Assistant Journal of Bioinformatics and Sequence Analysis (JBSA) E-mail: JBSA at acadjourn.org www.academicjournals.org/JBSA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wcom at worldcomp.cviog.uga.edu Wed Feb 11 01:59:24 2009 From: wcom at worldcomp.cviog.uga.edu (WORLDCOMP'09 Congress Conferences) Date: Tue, 10 Feb 2009 19:59:24 -0500 Subject: Call For Papers: Computer Science & Computer Engineering Conferences - July 13-16 2009, USA, WORLDCOMP'09 Message-ID: <20090211005924.57C5A780B9@worldcomp.cviog.uga.edu> C A L L F O R P A P E R S =============================== WORLDCOMP'09 The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing Date and Location: July 13-16, 2009, Las Vegas, USA http://www.world-academy-of-science.org You are invited to submit a paper; see below for submission instructions. All accepted papers will be published in the respective conference proceedings (in printed books, DVD, as well as online/web). The sponsors of the congress include universities, research centers, research laboratories, and various USA government agencies and associations (see below for a list). WORLDCOMP'09 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. In recent past, keynote and/or tutorial speakers included: Prof. David A. Patterson (U. of California, Berkeley); Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland (U. of Michigan, Ann Arbor); Prof. Brian D. Athey (U. of Michigan, Ann Arbor), Prof. H. J. Siegel (Colorado State U.); Prof. Barry Vercoe (MIT); Prof. Ruzena Bajcsy (U. of California, Berkeley); Prof. Jun Liu (Harvard U.); Dr. Jim Gettys (OLPC + developer of X Window); Dr. Chris Rowen (President and CEO, Tensilica, Inc.); and many other distinguished speakers. Prof. Ian Foster (Father of Grid Computing) has already accepted to deliver a keynote for WORLDCOMP'09 (others will be announced soon). The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of the following conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA): o BIOCOMP'09: The 2009 International Conference on Bioinformatics and Computational Biology; o CDES'09: The 2009 International Conference on Computer Design o CGVR'09: The 2009 International Conference on Computer Graphics and Virtual Reality o CSC'09: The 2009 International Conference on Scientific Computing o DMIN'09: The 2009 International Conference on Data Mining o EEE'09: The 2009 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government o ERSA'09: The 2009 International Conference on Engineering of Reconfigurable Systems and Algorithms o ESA'09: The 2009 International Conference on Embedded Systems and Applications o FCS'09: The 2009 International Conference on Foundations of Computer Science o FECS'09: The 2009 International Conference on Frontiers in Education: Computer Science and Computer Engineering o GCA'09: The 2009 International Conference on Grid Computing and Applications o GEM'09: The 2009 International Conference on Genetic and Evolutionary Methods o ICAI'09: The 2009 International Conference on Artificial Intelligence o ICOMP'09: The 2009 International Conference on Internet Computing o ICWN'09: The 2009 International Conference on Wireless Networks o IKE'09: The 2009 International Conference on Information and Knowledge Engineering o IPCV'09: The 2009 International Conference on Image Processing, Computer Vision, and Pattern Recognition o MSV'09: The 2009 International Conference on Modeling, Simulation and Visualization Methods o PDPTA'09: The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications o SAM'09: The 2009 International Conference on Security and Management o SERP'09: The 2009 International Conference on Software Engineering Research and Practice o SWWS'09: The 2009 International Conference on Semantic Web and Web Services (a link to each conference's URL can be found at http://www.world-academy-of-science.org ) SUBMISSION OF PAPERS: Prospective authors are invited to submit their draft papers by uploading them to http://worldcomp.cviog.uga.edu/ . Submissions must be received by Feb. 25, 2009 and they must be in either MS doc or pdf formats (about 5 to 7 pages - single space, font size of 10 to 12). All reasonable typesetting formats are acceptable (later, the authors of accepted papers will be asked to follow a particular typesetting format to prepare their papers for publication.) The length of the Camera-Ready papers (if accepted) will be limited to 7 (IEEE style) pages. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the draft paper should include: title of the paper, name, affiliation, postal address, and email address for each author. The first page should also identify the name of the Contact Author and a maximum of 5 topical keywords that would best represent the content of the paper. Finally, the name of the conference that the paper is being submitted to must be stated on the first page. Papers will be evaluated for originality, significance, clarity, impact, and soundness. Each paper will be refereed by two experts in the field who are independent of the conference program committee. The referees' evaluations will then be reviewed by two members of the program committee who will recommend a decision to the chair of the track that the paper has been submitted to. The chair will make the final decision. Lastly, the Camera-Ready papers will be reviewed by one member of the program committee. IMPORTANT DATES: Feb. 25, 2009: Submission of papers (about 5 to 7 pages) March 25, 2009: Notification of acceptance April 25, 2009: Camera-Ready papers and Registration due July 13-16, 2009: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09 - 22 joint conferences) COORDINATOR: H. R. Arabnia, PhD Professor, Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) Advisory Board, IEEE Technical Committee on TCSC Vice President, Int'l Society of Intelligent Biological Medicine The University of Georgia, USA Tel: (706) 542-3480 email: hra at cs.uga.edu SPONSORS (confirmed as of Feb. 10, 2009): Academic Sponsors include: United States Military Academy, Network Science Center, USA; Biomedical Cybernetics Laboratory, HST of Harvard University and MIT, USA; Argonne's Leadership Computing Facility of Argonne National Laboratory, USA; Functional Genomics Laboratory, University of Illinois at Urbana-Champaign, USA; Minnesota Supercomputing Institute, University of Minnesota, USA; Intelligent Data Exploration and Analysis Laboratory, University of Texas at Austin, Texas, USA; Harvard Statistics Department Genomics & Bioinformatics Laboratory, Harvard University, USA; Texas Advanced Computing Center, The University of Texas at Austin, Texas, USA; Center for the Bioinformatics and Computational Genomics, Georgia Institute of Technology, Atlanta, Georgia, USA; Bioinformatics & Computational Biology Program, George Mason University, Virginia, USA; Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria; BioMedical Informatics & Bio-Imaging Laboratory, Georgia Institute of Technology and Emory University, Atlanta, Georgia, USA; Knowledge Management & Intelligent System Center (KMIS) of University of Siegen, Germany; Hawkeye Radiology Informatics, College of Medicine, University of Iowa, USA; Institute for Informatics Problems of the Russian Academy of Sciences, Moscow, Russia; Medical Image HPC & Informatics Lab (MiHi Lab), University of Iowa, USA; SECLAB of University of Naples Federico II, University of Naples Parthenope, and the Second University of Naples, Italy; The University of North Dakota, North Dakota, USA; Intelligent Cyberspace Engineeing Lab., ICEL, Texas A&M University (Com./Texas), USA; International Society of Intelligent Biological Medicine; World Academy of Biomedical Sciences & Technologies; & European Commission. Other Sponsors include: High Performance Computing for Nanotechnology (HPCNano); HoIP - Health without Boundaries; The International Council on Medical and Care Compunetics; The UK Department for Business, Enterprise & Regulatory Reform; VMW Solutions Ltd.; Scientific Technologies Corporation; and Bentham Science Publishers. TUTORIALS: 12 to 15 tutorials are currently being planned - all tutorials are free to conference registrants. Tutorial subjects include, ABET accreditation as it relates to computing, various aspects of supercomputing (parallel and distributed systems and processing), visualization, preparation for teaching online courses, various areas of security, sensor networks, bioinformatics for computer scientists, ... PURPOSE / HISTORY: This set of joint conferences is the largest annual gathering of researchers in computer science, computer engineering and applied computing. Many of the joint conferences in WORLDCOMP are the premier conferences for presentation of advances in their respective fields. We anticipate to have 2,400 or more attendees from over 85 countries participating in the 2009 joint conferences. The motivation is to assemble a spectrum of affiliated research conferences into a coordinated research meeting held in a common place at a common time. The main goal is to provide a forum for exchange of ideas in a number of research areas that interact. The model used to form these annual conferences facilitates communication among researchers from all over the world in different fields of computer science, computer engineering and applied computing. Both inward research (core areas of computer science and engineering) and outward research (multi-disciplinary, inter-disciplinary, and applications) will be covered during the conferences. WORLDCOMP'09 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. One registration fee provides full access to all events/sessions of all conferences (including tutorials). The registration fee is set at the low end of the academia range for Academic Conferences. MEMBERS OF PROGRAM AND ORGANIZING COMMITTEES: The Program Committee includes members of chapters of World Academy of Science (chapters: supercomputing; scientific computing; AI; imaging science; databases; simulation; software engineering; embedded systems; internet and web technologies; communications; computer security; and bioinformatics.) The Program Committee for individual conferences is currently being formed. Those interested in joining the Program Committee should email H. R. Arabnia (hra at cs.uga.edu) the following information: Name, affiliation and position, complete mailing address, email address, a short biography together with research interests and the name of the conference offering to help with. Many who have already joined the committees of individual tracks are renowned leaders, scholars, researchers, scientists and practitioners of the highest ranks; many are directors of research laboratories, fellows of various societies, heads/chairs of departments, deans and provosts, and program directors of various funding agencies. LOCATION OF CONFERENCES: The conferences will be held in the Monte Carlo hotel, Las Vegas, Nevada, USA (with any overflows at other near-by hotels). This is a mega hotel with excellent conference facilities and over 3,000 rooms. It is minutes from the airport with 24-hour shuttle service to and from the airport. This hotel has many recreational attractions, including: waterfalls, spa, pools, sunning decks, Easy River, wave pool, lighted tennis courts, health spa, nightly shows, a number of restaurants, ... The negotiated room rate for conference attendees is very reasonable. The hotel is within walking distance from most other attractions (recreational destinations, Golf courses, ...) =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= This email was sent to: event at in.tu-clausthal.de To opt out of this email list: http://worldcomp.cviog.uga.edu/cgi-bin/rm/full.cgi?1BC32490-BA23-11DD-ABA0-FC776EE9E895 From arcoe-09 at aifb.uni-karlsruhe.de Thu Feb 12 17:53:12 2009 From: arcoe-09 at aifb.uni-karlsruhe.de (ARCOE-09) Date: Thu, 12 Feb 2009 17:53:12 +0100 Subject: ARCOE-09 Third Call for Participation Message-ID: <52c479f40902120853n44e18fbau992637c137edee89@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; IJCAI set workshop dates to July 11-12, 2009 -- 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://ijcai-09.org for the style files. Submissions should be no longer than 3 pages. - Submission deadline: March 6, 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 submit.jbsa at acadjourn.org Fri Feb 13 15:06:12 2009 From: submit.jbsa at acadjourn.org (Journal of Bioinformatics and Sequence Analysis) Date: Fri, 13 Feb 2009 15:06:12 +0100 Subject: =?windows-1252?Q?Introducing_=91=91Journal_of_Bioinformatics_and_Sequ?= =?windows-1252?Q?ence_Analysis=94?= Message-ID: <41f5a390902130606i6d34a86w5eb23a50ce790dcb@mail.gmail.com> Journal of Bioinformatics and Sequence Analysis www.academicjournals.org/JBSA Dear Colleague, The *Journal of Bioinformatics and Sequence Analysis (JBSA)* is a multidisciplinary peer-reviewed journal published that will be monthly by Academic Journals (http://www.academicjournals.org/JBSA). JBSA is dedicated to increasing the depth of the subject across disciplines with the ultimate aim of expanding knowledge of the subject. *Editors and reviewers* JBSA* *is seeking qualified researchers to join its editorial team as editors, subeditors or reviewers. Kindly send your resume to JBSA at acadjourn.org *Call for Papers* JBSA will cover all areas of the subject. The journal welcomes the submission of manuscripts that meet the general criteria of significance and scientific excellence, and will publish: · Original articles in basic and applied research · Case studies · Critical reviews, surveys, opinions, commentaries and essays We invite you to submit your manuscript(s) to JBSA at acadjourn.org for publication in the Maiden Issue (April 2009). Our objective is to inform authors of the decision on their manuscript(s) within four weeks of submission. Following acceptance, a paper will normally be published in the next issue. Instruction for authors and other details are available on our website; http://www.academicjournals.org/JBSA/Instruction.htm JBSA is an Open Access Journal One key request of researchers across the world is unrestricted access to research publications. Open access gives a worldwide audience larger than that of any subscription-based journal and thus increases the visibility and impact of published works. It also enhances indexing, retrieval power and eliminates the need for permissions to reproduce and distribute content.JBSA is fully committed to the Open Access Initiative and will provide free access to all articles as soon as they are published. Best regards, *Franklyn Monyei* Editorial Assistant Journal of Bioinformatics and Sequence Analysis (JBSA) E-mail: JBSA at acadjourn.org www.academicjournals.org/JBSA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From quratulain.rajput at gmail.com Mon Feb 16 09:15:01 2009 From: quratulain.rajput at gmail.com (Quratulain Rajput) Date: Mon, 16 Feb 2009 13:15:01 +0500 Subject: [protege-owl] CfP | SEMAPRO 2009 | October 11-16, 2009 - Sliema, Malta In-Reply-To: References: Message-ID: <110623850902160015r5735da5frbd12dc45f4b1291f@mail.gmail.com> Hello all, I have to read owl file in my java application. I am trying to read pizza.owl a popular example comes along with protege. I do'nt know how to do it. please tell me any tutorial, if available. I am working with eclipse and created RDF using Jena. Now I have to read OWL file. Please give me any sample code. waiting of your response. Quratulain From baojie at gmail.com Sun Feb 15 23:17:19 2009 From: baojie at gmail.com (Jie Bao) Date: Sun, 15 Feb 2009 17:17:19 -0500 Subject: [semanticweb] Call for Statement of Interest, AAAI 2009 Spring Symposium - Social Semantic Web: Where Web 2.0 Meets Web 3.0 In-Reply-To: <499396F2.1050807@cs.rpi.edu> References: <499396F2.1050807@cs.rpi.edu> Message-ID: (Apology for cross posting) ============== SEMAPRO 2009 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS SEMAPRO 2009: The Third International Conference on Advances in Semantic Processing October 11-16, 2009 - Sliema, Malta General page: http://www.iaria.org/conferences2009/SEMAPRO09.html Call for Papers: http://www.iaria.org/conferences2009/CfPSEMAPRO09.html Submission deadline: May 20, 2009 Technically Co-sponsored by the IEEE Malta Section Sponsored by IARIA, www.iaria.org Submissions will be peer-reviewed, published by IEEE CPS, posted in IEEE Digital Library, and indexed with the major indexes Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Please note the Poster Forum and Work in Progress track The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. SEMAPRO 2009 Tracks (tracks' topics and submission details: see CfP on the site) -- Basics on semantics -- Ontology fundamentals for semantic processing -- Semantic technologies -- Semantic Deep Web -- Semantic reasoning -- Semantic content searching -- Hypertext and hypermedia semantic -- Semantic voice-video-speech (VVS) searching -- Semantic multimedia -- Semantic social media -- Semantic networking -- Domain-oriented semantic applications -- Economics and governance of semantics technologies -- Semantic applications/platforms/tools ========== SEMAPRO Advisory Chairs Petre Dini, Cisco Systems Inc., USA / Concordia University , Canada James Hendler, Rensselaer Polytechnic Institute ? Troy , USA Josef Noll, ConnectedLife at UNIK / UiO- Kjeller , Norway SEMAPRO 2009 Industry-Research Chairs Massimo Paolucci, DOCOMO Communications Laboratories Europe GmbH ? Munich , Germany Peter Yeh, Accenture Technology Labs, USA SEMAPRO 2009 Publicity Chairs Nima Dokoohaki, Royal Institute of Technology (KTH)- Kista , Sweden Sofia J. Athenikos, Drexel University , USA Meena Nagarajan, Wright State University , USA Arun Kumar, IBM India Research Laboratory-New Delhi, India SEMAPRO 2009 Program Committee Chairs René Witte, Concordia University , Canada Filip Zavoral, Charles University in Prague , Czech Republic Dumitru Roman, University of Innsbruck , Austria Committee members: http://www.iaria.org/conferences2009/ComSEMAPRO09.html From baojie at gmail.com Sun Feb 15 23:19:23 2009 From: baojie at gmail.com (Jie Bao) Date: Sun, 15 Feb 2009 17:19:23 -0500 Subject: CfP | SEMAPRO 2009 | October 11-16, 2009 - Sliema, Malta Message-ID: (Apology for cross posting) ============== SEMAPRO 2009 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS SEMAPRO 2009: The Third International Conference on Advances in Semantic Processing October 11-16, 2009 - Sliema, Malta General page: http://www.iaria.org/conferences2009/SEMAPRO09.html Call for Papers: http://www.iaria.org/conferences2009/CfPSEMAPRO09.html Submission deadline: May 20, 2009 Technically Co-sponsored by the IEEE Malta Section Sponsored by IARIA, www.iaria.org Submissions will be peer-reviewed, published by IEEE CPS, posted in IEEE Digital Library, and indexed with the major indexes Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Please note the Poster Forum and Work in Progress track The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. SEMAPRO 2009 Tracks (tracks' topics and submission details: see CfP on the site) -- Basics on semantics -- Ontology fundamentals for semantic processing -- Semantic technologies -- Semantic Deep Web -- Semantic reasoning -- Semantic content searching -- Hypertext and hypermedia semantic -- Semantic voice-video-speech (VVS) searching -- Semantic multimedia -- Semantic social media -- Semantic networking -- Domain-oriented semantic applications -- Economics and governance of semantics technologies -- Semantic applications/platforms/tools ========== SEMAPRO Advisory Chairs Petre Dini, Cisco Systems Inc., USA / Concordia University , Canada James Hendler, Rensselaer Polytechnic Institute ? Troy , USA Josef Noll, ConnectedLife at UNIK / UiO- Kjeller , Norway SEMAPRO 2009 Industry-Research Chairs Massimo Paolucci, DOCOMO Communications Laboratories Europe GmbH ? Munich , Germany Peter Yeh, Accenture Technology Labs, USA SEMAPRO 2009 Publicity Chairs Nima Dokoohaki, Royal Institute of Technology (KTH)- Kista , Sweden Sofia J. Athenikos, Drexel University , USA Meena Nagarajan, Wright State University , USA Arun Kumar, IBM India Research Laboratory-New Delhi, India SEMAPRO 2009 Program Committee Chairs René Witte, Concordia University , Canada Filip Zavoral, Charles University in Prague , Czech Republic Dumitru Roman, University of Innsbruck , Austria Committee members: http://www.iaria.org/conferences2009/ComSEMAPRO09.html From wjamroga at in.tu-clausthal.de Mon Feb 16 10:02:18 2009 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Mon, 16 Feb 2009 10:02:18 +0100 Subject: MASTA'2009: Call for Papers Message-ID: <49992B9A.1060402@in.tu-clausthal.de> ******* Apologies for cross postings ******* CALL FOR PAPERS ====================================================================== 5th Multi-Agent Systems: Theory and Applications - MASTA'2009 October, 12-15, 2009, Aveiro, Portugal http://epia2009.appia.pt/masta ====================================================================== The 5th Multi-Agent Systems: Theory and Applications (MASTA'2009) will be held as a Thematic Track of the 14th Portuguese Conference on Artificial Intelligence (EPIA'2009), October, 12-15, 2009, in Aveiro, Portugal. Aims and Scope and Topics ------------------------- The purpose of this thematic track is to provide a discussion forum on the most recent and innovative work in the areas of multi-agent systems and autonomous agents. Some topics of special interest are: * Agent Architectures * Agent Programming Languages * Agent-Based Applications * Agent-Oriented Software Engineering * Automated Negotiation and Decision Making * Artificial Social Systems * Cognitive models, including emotions and philosophies * Communication: languages, semantics, protocols and conversations * Cooperation, Coordination and teamwork in MAS * Electronic Institutions * Ethical and Legal issues raised by Agents and MAS * Formal Methods for Modelling Agent-Based Systems * Industrial and Commercial Applications * Multi-Agent Evolution, Adaptation and Learning * Multi-Agent Simulation & Modelling * Scalability and Performance of MAS * Trust and Reputation in MAS Important Dates --------------- 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 Introduction ------------ Since 1993, the area of Multi-Agent Systems/Distributed Artificial Intelligence has been present in the EPIA Conferences, both as individual tracks in the main conference and as autonomous workshops. Focusing on a fundamental subject of research in the scientific area of Artificial Intelligence, the 5th Edition on Multi-Agent Systems: Theory and Applications – MASTA'2009 thematic track will be, in the context of EPIA'2009, the forum for presenting and discussing the most recent and innovative work in the area of multi-agent systems. Departing, from the end of the 1980’s, from the two main branches of Decentralized Artificial Intelligence and Distributed Problem Solving, research in Distributed Artificial Intelligence/Multi-Agent Systems has developed in areas of increase specialisation and autonomy as diverse as agent oriented programming and software engineering, cognitive modelling, swarm intelligence, coordination in MAS, social organisation modelling, social simulation, agent architectures and many more. Today, besides the existence of countless application areas, theoretical research in these topics has also a great activity and development. Being a young research area, a lot of work is still to be done, both on its foundations and on the methodological approaches that will allow for a better grounding of the results obtained. Submission and Reviewing Process -------------------------------- Submission of papers is made electronically through the Conference website. Authors must remove their names from the submitted papers, and should take reasonable care not to indirectly disclose their identity. Papers should be no longer than 12 pages including figures and references, and should be formatted according to the Springer's LNCS/LNAI format, following the instructions on Springer’s site. All papers will be reviewed by, at least, three members of the Program Committee. Publication ----------- Papers of higher quality will be selected for publication in a book published by Springer, in the LNAI series. All other accepted papers will be published in the local thematic track proceedings. Registration in the EPIA Conference is mandatory to attend MASTA thematic track. Thematic Track Organizers ------------------------- Ana Paula Rocha, arocha at fe.up.pt (Universidade do Porto, Portugal) Paulo Urbano, pub at di.fc.ul.pt (Universidade de Lisboa, Portugal) Cesar Analide, analide at di.uminho.pt (Universidade do Minho, Portugal) Program Committee ----------------- Ana Lucia Bazzan (Universidade Federal do Rio Grande do Sul, Brazil) Ana Paula Rocha (Universidade do Porto, Portugal) Andrea Omicini (DEIS, Italy) Andreia Malucelli (Pontificia Universidade Catolica, Curitiba, Brazil) Antonio Rocha Costa (Universidade Catolica de Pelotas, Brazil) Carlos Martinho (IST, Universidade Tecnica de Lisboa, Portugal) Cesar Analide (Universidade do Minho, Portugal) Edmund Durfee (University of Michigan, USA) Eugenio Oliveira (Universidade do Porto, Portugal) F. Amilcar Cardoso (Universidade de Coimbra, Portugal) Graca Gaspar (Universidade de Lisboa, Portugal) Helder Coelho (Universidade de Lisboa, Portugal) Isabel Praca (ISEP/IPP, Portugal) Jaime Sichmann (Universidade de Sao Paulo, Brazil) Joao Balsa (Universidade de Lisboa, Portugal) John-Jules Meyer (Universiteit Utrecht, The Netherlands) Jordi Sabater (IIIA, CSIC, Spain) Jorg Muller (Siemens AG, Germany) Jorge Louca (ISCTE, Portugal) Jose Machado (Universidade do Minho, Portugal) Julian Padget (University of Bath, UK) Luis Antunes (Universidade de Lisboa, Portugal) Luis Botelho (ISCTE, Portugal) Luis Macedo (Universidade de Coimbra, Portugal) Luis Nunes (ISCTE, Portugal) Luis Paulo Reis (Universidade do Porto, Portugal) Marie-Pierre Gleizes (Universite Paul Sabatier, Toulouse III, France) Michael Fisher (University of Liverpool, UK) Mikhail Prokopenko (CSIRO ICT Centre, Sidney, Australia) Nuno Lau (Universidade de Aveiro, Portugal) Oliver Obst (University of Newcastle, Australia) Paolo Petta (Austrian Research Institute for AI, Austria) Paulo Leitao (IP Braganca, Portugal) Paulo Novais (Universidade do Minho, Portugal) Paulo Urbano (Universidade de Lisboa, Portugal) Reinaldo Bianchi (FEI - Sao Paulo, Brazil) Rosaldo Rossetti (Universidade do Porto, Portugal) Virginia Dignum (University of Utrecht, The Netherlands) Wojtek Jamroga (Clausthal University of Technology, Germany) Yves Demazeau (IMAG, France) Informations ------------ Additional information about the 5th MASTA thematic track can be found at the Conference website (http://epia2009.appia.pt/masta) or asked for by e-mail, using the address masta2009 at appia.pt. ---------------------------------- - - - - - - - - - - - - - - - 5th Multi-Agent Systems: Theory and Applications - MASTA 2009 Special Track of EPIA 2009 Aveiro, PORTUGAL http://epia2009.appia.pt/masta masta2009 at appia.pt ---------------------------------- - - - - - - - - - - - - - - - From csoares at fep.up.pt Tue Feb 17 12:00:24 2009 From: csoares at fep.up.pt (Carlos Soares) Date: Tue, 17 Feb 2009 11:00:24 +0000 Subject: Fwd: [KDBI09] 1st call for papers: please distribute... References: <499A9274.2080308@dsi.uminho.pt> Message-ID: <712FF5E5-3088-438F-8088-1FB78A62316F@fep.up.pt> Please distribute. Best regards, Carlos Begin forwarded message: > From: Paulo Cortez > Date: February 17, 2009 10:33:24 AM GMT+00:00 > To: andre at icmc.usp.br, amendes at uac.pt, asv at isep.ipp.pt, bli at cmp.uea.ac.uk > , carlos.alzate at esat.kuleuven.be, Carlos Soares > , cristian.figueroa at neo-metrics.com, ecarrizosa at us.es > , emenasalvas at fi.upm.es, fr at dei.isep.ipp.pt, jgama at liacc.up.pt, jpn at di.fc.ul.pt > , alfredo at dee.ufrn.br, lbcao at it.uts.edu.au, Luis Cavique >, mtf at lx.it.pt, mtestik at hacettepe.edu.tr, ningchen74 at yahoo.com, obelo at di.uminho.pt > , hitzler at aifb.uni-karlsruhe.de, pgomes at dei.uc.pt, > p.geczy at aist.go.jp, philippe.lenca at enst-bretagne.fr, > rcamacho at fe.up.pt, lessmann at econ.uni-hamburg.de, stephane.lallich at univ-lyon2.fr > , snt at di.fct.unl.pt, ttrafalis at ou.edu, AggelisV at winbank.gr, vlobo at isegi.unl.pt > , wjank at rhsmith.umd.edu, lippe at math.uni-muenster.de > Subject: [KDBI09] 1st call for papers: please distribute... > > Dear KDBI reviewers, > > Please distribute the 1st KDBI call for papers (attached below) > among your contacts. > > On behalf the KDBI organizing committee. > > Regards, > -- > Paulo Alexandre Ribeiro Cortez (PhD, MSc) > Lecturer (Prof. Auxiliar) at the Department of Information Systems > (DSI) > University of Minho, Campus de Azurem, 4800-058 Guimaraes, Portugal > http://www.dsi.uminho.pt/~pcortez +351253510313 Fax:+351253510300 > > > ----------------------------------------------------------------------------------------- > 1st Call for Papers: KDBI 2009-Knowledge Discovery and Business > Intelligence > a thematic track of EPIA 2009, the 14th Portuguese Conference on > Artificial Intelligence > Aveiro, Portugal, October 12-15, 2009 > > http://epia2009.web.ua.pt/kdbi > >>> Deadline for paper submission: April 15, 2009 << > ----------------------------------------------------------------------------------------- > > Knowledge Discovery and Business Intelligence > > The aim of this thematic track is to gather the latest research in > Knowledge Discovery (KD) and Business Intelligence (BI). We > encourage papers that deal with the interaction with the end users, > taking into account how easily one can understand data model's > representation of extracted knowledge or encode expert knowledge, as > well as its impact on real organizations. In particular, papers that > describe experience and lessons learned from KD/BI projects and/or > present business and organizational impacts using AI technologies, > are welcome. > > The amount of data representing the activities of organizations that > is stored in databases is exponentially growing. Moreover, business > organizations are increasingly moving towards decision-making > processes that are based on information. Thus, pressure to extract > as much useful information as possible from these data is very > strong. Knowledge Discovery (KD) is a branch of the Artificial > Intelligence (AI) field that aims to extract useful and > understandable high-level knowledge from complex and/or large > volumes of data. Business Intelligence (BI) is an umbrella term that > represents computer architectures, tools, technologies and methods > to enhance managerial decision making in public and corporate > enterprises, from operational to strategic level. > > KD and Data Mining (DM) are faced with new challenges. The temporal > and spatial nature of the data generation demands new learning > approaches, since samples' observations are no longer independent > and the underlying regularities may change over time. New challenges > are also to be considered when integrating background knowledge into > the learning processes. Indeed, the success of hybrid models for > knowledge understanding and the dead-end of several purely > experimental methods in machine learning and DM are pointing to a > more rationalistic view. In this context, the understanding of data > and human mind emerges as crucial in combining KD with Cognitive > Models. Namely, results in inductive logic or in neuro-symbolic > methods seem to show the need of more knowledge aware models. > Moreover, AI plays a crucial role in BI, providing methodologies to > deal with prediction, optimization and adaptability to dynamic > environments, in an attempt to offer support to better (more > informed) decisions. In effect, several AI techniques can be used to > address these problems, namely KD/DM, Evolutionary Computation and > Modern Optimization, Forecasting, Neural Computing and Intelligent > Agents. > > Topics of Interest > > * Data Analysis, including Knowledge Discovery, Data Mining, > Machine Learning and Statistical Methods > * Logic and Philosophy of Scientific Discovery and its relevance > to Knowledge Discovery and Business Intelligence > * Hybrid Learning Models and Methods > * Domain Knowledge Discovery (e.g. Learning from Heterogeneous, > Unstructured and Multimedia data, Networks, Graphs and Link Analysis) > * Cognitive Models including Human-machine interaction for > Knowledge Discovery and Management > * Classification Regression and Clustering > * Methodologies, Architectures or Computational Tools for > Business Intelligence > * Artificial Intelligence applied to Business Intelligence (e.g. > Knowledge Discovery, Evolutionary Computation, Intelligent Agents, > Fuzzy Logic) > * Data and Knowledge Visualization > * Temporal and Spatial Knowledge Discovery > * Data Pre-Processing Techniques for Knowledge Discovery and > Business Intelligence > * Bio-inspired and other cognitive related models, namely Neural > Networks. > * Bayesian Learning and Inductive Logic > * Incremental Learning, Change Detection and Learning from > Ubiquitous Data Streams > * Adaptive Business Intelligence > * Data Warehouse and OLAP > * Intelligent Decision Support Systems > * Learning in Neuro-Symbolic and Neural Computation Systems > * Real-word Applications (e.g. Prediction/Optimization in > Finance, Marketing, Sales, Production) > > Paper submission > > All submissions will be refereed and selected for presentation at > the conference on the basis of quality and relevance to the KDBI > issues. A selection of high quality full papers presented in the > different tracks will appear in a book published by Springer, in the > LNAI series. All remaining papers presented at the conference will > be published in a conference proceedings book. > > Submitted papers can be full-length papers or short papers. Full > papers can have a maximum length of 12 pages. Short papers can have > a maximum length of 4 pages. All papers should be prepared according > to the formatting instructions of Springer LNAI series (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 > ). Authors should omit their names from the submitted papers, and > should take reasonable care to avoid indirectly disclosing their > identity. > > All papers should be submitted in PDF format through the conference > management website at: https://cmt.research.microsoft.com/EPIA2009 > > Organising Committee > > * Nuno Marques, New University of Lisbon, Portugal (contact person) > * Paulo Cortez, University of Minho, Portugal (contact person) > * Joao Moura Pires, New University of Lisbon, Portugal > * Luis Cavique, Univ. Aberta, Portugal > * Manuel Filipe Santos, DIS, University of Minho, Portugal > * Margarida Cardoso, ISCTE-Business School, Portugal > * Robert Stahlbock, DBE, University of Hamburg, Germany > * Zbigniew Michalewicz, SCS, University of Adelaide, Australia > > Contact: nmm[at]di[.]fct[.]unl[.]pt pcortez[at]dsi[.]uminho[.]pt > > Program Committee > > * Andre Ponce de Carvalho, Univ. Sao Paulo, Brazil > * Armando Mendes, Univ. Acores, Portugal > * Armando Vieira, ISEP, Portugal > * Beatriz De la Iglesia, CMP, UEA, UK > * Carlos Alzate, K.U.Leuven, ESAT/SISTA, Belgium > * Carlos Soares, University of Porto, Portugal > * Cristian Figueroa-Sepulveda, Neo Metrics, Chile > * Emilio Carrizosa, University of Sevilla, Spain > * Ernestina Menasalvas, Universidad Politecnica de Madrid, Spain > * Fatima Rodrigues, ISEP, Portugal > * Joao Gama, University of Porto, Portugal > * Joao Pedro Neto, University of Lisbon, Portugal > * Jose Costa, Federal University UFRN, Brazil > * Logbing Cao, University of Technology Sydney, Australia > * Mario Figueiredo, IT, IST, Portugal > * Murat Caner Testik, Hacettepe University, Turkey > * Ning Chen, Instituto Politecnico do Porto, Portugal > * Orlando Belo, Minho University, Portugal > * Pascal Hitzler, University of Karlsruhe,Germany > * Paulo Gomes, University of Coimbra, Portugal > * Peter Geczy, AIST, Japan > * Philippe Lenca, GET/ENST, France > * Rui Camacho, Universidade do Porto, Portugal > * Stefan Lessmann, Universit of Hamburg, Germany > * Stephane Lallich, Universit Lyon 2, France > * Susana Nascimento, New Univ. of Lisbon, Portugal > * Theodore Trafalis, University of Oklahoma,USA > * Vasilis Aggelis, Piraeus Bank S.A., Greece > * Vitor Lobo, Escola Naval, Portugal > * Wolfgang Jank, University of Maryland, USA > * Wolfram-M. Lippe, University of Muenster, Germany > ----------------------------------------------------------------------------------------- == 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 csoares at fep.up.pt Tue Feb 17 11:58:20 2009 From: csoares at fep.up.pt (Carlos Soares) Date: Tue, 17 Feb 2009 10:58:20 +0000 Subject: Fwd: [Event@CIG] CFP: Special Issue of AIJ on Preferences References: Message-ID: <8452907F-EA35-46F1-824E-9F59DD04514E@fep.up.pt> Begin forwarded message: > From: "Carmel Domshlak" > Date: October 28, 2008 1:23:48 PM GMT+00:00 > To: event at in.tu-clausthal.de > Subject: [Event at CIG] CFP: Special Issue of AIJ on Preferences > > [ please distribute - apologies for multiple postings ] > > > C A L L F O R P A P E R S > > Special issue of the ARTIFICIAL INTELLIGENCE Journal > > > Representing, Learning, and Processing Preferences: > Theoretical and Practical Challenges > > > http://www.uni-marburg.de/fb12/kebi/si-ai > > > > =================================================== > Background and Scope > =================================================== > The topic of preferences has recently attracted considerable attention > in Artificial Intelligence (AI) and plays an increasingly important > role in several AI-related research fields, including, e.g., agents, > constraint satisfaction, decision theory, planning, machine learning, > and argumentation. Representing and processing knowledge in terms of > preferences appears to be especially appealing from an AI perspective, > notably as it allows one to specify desires in a declarative way, to > combine qualitative and quantitative modes of reasoning and to deal > with inconsistencies and exceptions in a quite flexible manner. > > Even though methods for dealing with preferences in a formal way have > been developed in research areas such as operations research, game and > decision theory, and social choice for quite a while, AI research has > made novel and complementary contributions to preference handling > during the last decade. Besides, having contemporary application > fields such as electronic auctions, e-commerce, and recommender > systems in mind, AI research has raised new problems and put emphasis > on additional aspects such as combinatorial structure of the > alternatives, algorithmic issues and complexity, and the absence of a > decision analyst in the loop (which is typical for many applications). > > Despite the existence of some established representation frameworks > that allow for building and handling preference models in an effective > and tractable way, research in the preference field has remained very > active and still faces many challenges, such as comparing the > expressivity and complexity of existing modeling languages, combining > different representation modes and frameworks, supporting the > knowledge acquisition task by discovering, learning, and adapting user > preferences based on different types of feedback, handling preferences > in multi-agent systems and group decision making, and developing > efficient and theoretically sound algorithms for preference > aggregation and revision, just to mention a few. > > The aim of this special issue is to provide an up-to-date picture of > the current trends in the AI research on handling user preferences. > Especially welcome are contributions that bridge the gap between the > rather particulate approaches existing so far, thereby helping to > establish a coherent theoretical foundation of preferences in AI, as > well as interdisciplinary work that combines or integrates approaches > from other fields, such as operations research, databases, or game and > decision theory. > > > =================================================== > Submission Information > =================================================== > All manuscripts must adhere to the submission guidelines of the AI > journal and should be submitted to the journal in the usual way (that > is, not to the guest editors directly). To give notice of submitting > to the special issue, please put "Special Issue on Preferences" in the > subject heading of your email to aij at ida.liu.se. > > We kindly ask prospective authors to express, as far as possible, > their intention to submit a paper. To this end, please send an email > including a tentative title and a short abstract to all guest editors. > > > =================================================== > Timetable > =================================================== > * Intention: December 15th, 2008 > * Submission: February 15th, 2008 > * Notification: June 15th, 2009 > * Revised papers: July 30th, 2009 > > > =================================================== > Guest Editors > =================================================== > Carmel Domshlak, Israel Institute of Technology > dcarmel at ie.technion.ac.il > > Eyke Hüllermeier, University of Marburg, Germany > mail at eyke.de > > Souhila Kaci, IUT de Lens, France, > kaci at cril.univ-artois.fr > > Henri Prade, University of Toulouse, France, > prade at irit.fr > > ------------------------------------------------------------------------ > This e-mail was delivered to you by event [at] in.tu-clausthal.de, > what is a > moderated list run by Computational Intelligence Group of Clausthal > University of Technology, Germany. > > In the case of any requests, questions, or comments, do not hesitate > and > contact the list administrator event-request [at] in.tu-clausthal.de > ASAP. > > For all the information on the list, please visit our website > http://cig.in.tu-clausthal.de/event/ where you can also find an > archive > of this list. > > To unsubscribe, E-mail to: > To switch to the DIGEST mode, E-mail to > > To switch to the INDEX mode, E-mail to clausthal.de> > Send administrative queries to > > Computational Intelligence Group, Department of Computer Science > Clausthal University of Technology > Germany, http://cig.in.tu-clausthal.de/ > > > == 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 csoares at fep.up.pt Tue Feb 17 11:59:42 2009 From: csoares at fep.up.pt (Carlos Soares) Date: Tue, 17 Feb 2009 10:59:42 +0000 Subject: [Event@CIG] CFP: Special Issue of AIJ on Preferences In-Reply-To: <8452907F-EA35-46F1-824E-9F59DD04514E@fep.up.pt> References: <8452907F-EA35-46F1-824E-9F59DD04514E@fep.up.pt> Message-ID: apologies for re-sending the wrong message. Carlos On Feb 17, 2009, at 10:58 AM, Carlos Soares wrote: > Begin forwarded message: > >> From: "Carmel Domshlak" >> Date: October 28, 2008 1:23:48 PM GMT+00:00 >> To: event at in.tu-clausthal.de >> Subject: [Event at CIG] CFP: Special Issue of AIJ on Preferences >> >> [ please distribute - apologies for multiple postings ] >> >> >> C A L L F O R P A P E R S >> >> Special issue of the ARTIFICIAL INTELLIGENCE Journal >> >> >> Representing, Learning, and Processing Preferences: >> Theoretical and Practical Challenges >> >> >> http://www.uni-marburg.de/fb12/kebi/si-ai >> >> >> >> =================================================== >> Background and Scope >> =================================================== >> The topic of preferences has recently attracted considerable >> attention >> in Artificial Intelligence (AI) and plays an increasingly important >> role in several AI-related research fields, including, e.g., agents, >> constraint satisfaction, decision theory, planning, machine learning, >> and argumentation. Representing and processing knowledge in terms of >> preferences appears to be especially appealing from an AI >> perspective, >> notably as it allows one to specify desires in a declarative way, to >> combine qualitative and quantitative modes of reasoning and to deal >> with inconsistencies and exceptions in a quite flexible manner. >> >> Even though methods for dealing with preferences in a formal way have >> been developed in research areas such as operations research, game >> and >> decision theory, and social choice for quite a while, AI research has >> made novel and complementary contributions to preference handling >> during the last decade. Besides, having contemporary application >> fields such as electronic auctions, e-commerce, and recommender >> systems in mind, AI research has raised new problems and put emphasis >> on additional aspects such as combinatorial structure of the >> alternatives, algorithmic issues and complexity, and the absence of a >> decision analyst in the loop (which is typical for many >> applications). >> >> Despite the existence of some established representation frameworks >> that allow for building and handling preference models in an >> effective >> and tractable way, research in the preference field has remained very >> active and still faces many challenges, such as comparing the >> expressivity and complexity of existing modeling languages, combining >> different representation modes and frameworks, supporting the >> knowledge acquisition task by discovering, learning, and adapting >> user >> preferences based on different types of feedback, handling >> preferences >> in multi-agent systems and group decision making, and developing >> efficient and theoretically sound algorithms for preference >> aggregation and revision, just to mention a few. >> >> The aim of this special issue is to provide an up-to-date picture of >> the current trends in the AI research on handling user preferences. >> Especially welcome are contributions that bridge the gap between the >> rather particulate approaches existing so far, thereby helping to >> establish a coherent theoretical foundation of preferences in AI, as >> well as interdisciplinary work that combines or integrates approaches >> from other fields, such as operations research, databases, or game >> and >> decision theory. >> >> >> =================================================== >> Submission Information >> =================================================== >> All manuscripts must adhere to the submission guidelines of the AI >> journal and should be submitted to the journal in the usual way (that >> is, not to the guest editors directly). To give notice of submitting >> to the special issue, please put "Special Issue on Preferences" in >> the >> subject heading of your email to aij at ida.liu.se. >> >> We kindly ask prospective authors to express, as far as possible, >> their intention to submit a paper. To this end, please send an email >> including a tentative title and a short abstract to all guest >> editors. >> >> >> =================================================== >> Timetable >> =================================================== >> * Intention: December 15th, 2008 >> * Submission: February 15th, 2008 >> * Notification: June 15th, 2009 >> * Revised papers: July 30th, 2009 >> >> >> =================================================== >> Guest Editors >> =================================================== >> Carmel Domshlak, Israel Institute of Technology >> dcarmel at ie.technion.ac.il >> >> Eyke Hüllermeier, University of Marburg, Germany >> mail at eyke.de >> >> Souhila Kaci, IUT de Lens, France, >> kaci at cril.univ-artois.fr >> >> Henri Prade, University of Toulouse, France, >> prade at irit.fr >> >> ------------------------------------------------------------------------ >> This e-mail was delivered to you by event [at] in.tu-clausthal.de, >> what is a >> moderated list run by Computational Intelligence Group of Clausthal >> University of Technology, Germany. >> >> In the case of any requests, questions, or comments, do not >> hesitate and >> contact the list administrator event-request [at] in.tu- >> clausthal.de ASAP. >> >> For all the information on the list, please visit our website >> http://cig.in.tu-clausthal.de/event/ where you can also find an >> archive >> of this list. >> >> To unsubscribe, E-mail to: >> To switch to the DIGEST mode, E-mail to > > >> To switch to the INDEX mode, E-mail to > > >> Send administrative queries to >> >> Computational Intelligence Group, Department of Computer Science >> Clausthal University of Technology >> Germany, http://cig.in.tu-clausthal.de/ >> >> >> > > == > Carlos Soares > Faculdade de Economia do Porto - Prof. Auxiliar > LIAAD-INESC Porto LA - Investigador > csoares at fep.up.pt > > > > > > == 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 ruy at cin.ufpe.br Tue Feb 17 12:34:43 2009 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Tue, 17 Feb 2009 08:34:43 -0300 Subject: WoLLIC 2009 - DEADLINE APPROACHING: Feb 28 In-Reply-To: <496E01AB.1080901@cin.ufpe.br> References: <48FE214B.9050600@cin.ufpe.br> <496E01AB.1080901@cin.ufpe.br> Message-ID: <499AA0D3.5080100@cin.ufpe.br> [** sincere apologies for duplicates **] Call for Papers /*16th Workshop on Logic, Language, Information and Computation*/ (/*WoLLIC 2009*/) Tokyo, Japan June 21-24, 2009 (SPECIAL: There will be a screening of George Csicsery's "N is a Number: A Portrait of Paul Erdos" http://zalafilms.com/films/nisanumber.html with kind permission of the film director) WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009. It is jointly sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). *SPECIAL EVENT* 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem. WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos" http://zalafilms.com/films/nisanumber.html *PAPER SUBMISSION* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at http://wollic.org/wollic2009/instructions.html A title and single-paragraph abstract should be submitted by February 28, and the full paper by March 8 (firm date). Notifications are expected by April 5, and final papers for the proceedings will be due by April 12 (firm date). *PROCEEDINGS* The proceedings of WoLLIC 2009, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's /Lecture Notes in Computer Science/ series (FoLLI-LNAI subseries). In addition, abstracts will be published in the Conference Report section of the /Logic Journal of the IGPL/, and selected contributions will be published as a special post-conference WoLLIC 2009 issue of Fundamenta Informaticae. *INVITED SPEAKERS* Arnold Beckmann (Swansea U, UK) Carlos Caleiro (UT Lisbon, Portugal) Thomas Eiter (Tech U Wien, Austria) Sylvain Salvati (INRIA, France) Taisuke Sato (Tokyo Inst Tech, Japan) Michiel van Lambalgen (U Amsterdam, NL) Frank Wolter (U Liverpool, UK) *STUDENT GRANTS* ASL sponsorship of WoLLIC 2009 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2009). See http://www.aslonline.org/studenttravelawards.html for details. *IMPORTANT DATES* February 28, 2009: Paper title and abstract deadline March 8, 2009: Full paper deadline (firm) April 5, 2009: Author notification April 12, 2009: Final version deadline (firm) *PROGRAM COMMITTEE* Toshiyasu Arai (Kobe U, Japan) Matthias Baaz (Tech U Wien) Alexandru Baltag (Oxford U) Josep Maria Font (U Barcelona) Silvio Ghilardi (U Milano) Katsumi Inoue (Nat Inst of Informatics, Japan) Marcus Kracht (U Bielefeld) Hiroakira Ono (JAIST, Japan) (Chair) Masanao Ozawa (Nagoya U) John Slaney (Australian Nat U) Mark Steedman (Edinburgh U) Hans Tompits (Tech U Wien) *ORGANISING COMMITTEE* Makoto Kanazawa (Nat Inst of Informatics, Japan, co-chair) Anjolina de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair) Ken Satoh (Nat Inst of Informatics, Japan) *STEERING COMMITTEE* Samson Abramsky , Johan van Benthem , Joe Halpern , Wilfrid Hodges , Daniel Leivant , Angus Macintyre , Grigori Mints , Ruy de Queiroz *WEB PAGE* wollic.org/wollic2009/ --- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From braubach at informatik.uni-hamburg.de Tue Feb 17 15:43:26 2009 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Tue, 17 Feb 2009 15:43:26 +0100 Subject: Call for Papers for the Seventh German Conference on Multi-Agent System Technologies (MATES 2009) Message-ID: <499ACD0E.6020009@informatik.uni-hamburg.de> * Our apologies if you receive multiple copies of this announcement * ################################################################# # # # Submission Deadline: April 4, 2009 # # # ################################################################# CALL FOR 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 ORGANIZATION MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events. TOPICS OF INTEREST Topics of interest of MATES 2009 include all aspects of agent-oriented computing and agent technologies: basic and applied research; reports on experiences with deployed real-world applications; and detailed visions and challenges for mid- to long-term progress in the field grounded in experience reports or analyses of the overall technical, economical, and social context. MATES 2009 encourages specifically submissions from an emerging area of interest with a close connection to multi-agent systems: self-organizing systems and autonomic computing. EXHIBITION MATES 2009 will feature an exhibition of tools, prototype technologies, showcases of practical applications, and business cases of agent and multi-agent technology at the conference venue. The exhibition allows submitting an exhibition paper and the possibility to demonstrate the practical work at the conference at a poster stand. DOCTORAL MENTORING PROGRAM MATES 2009 will include a doctoral mentoring program aimed at PhD students. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. PROCEEDINGS As in previous editions of MATES, the proceedings of MATES 2009 will be published in the Springer series of Lecture Notes on Artificial Intelligence (LNAI). SUBMISSION DETAILS All papers must be written in English and submitted in PDF format. The paper style should follow the Springer LNCS formatting. Papers that have been accepted or are under review with other conferences or journals are not eligible for submission. However, we do encourage interdisciplinary contributions submitted to or already presented in part to forums outside of the field of agent technology. Submissions not conforming to these requirements will be rejected without review. MATES'09 welcomes two kinds of submissions: * Scientific paper contributions (must not exceed 12 pages) * Exhibition paper contributions (must not exceed 10 pages) Submissions should be uploaded at: http://www.easychair.org/conferences/?conf=mates2009 Boths kinds of papers will be published in the Springer MATES proceedings and for both the following dates apply: 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 08. 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 core at cic.ipn.mx Wed Feb 18 01:19:08 2009 From: core at cic.ipn.mx (core at cic.ipn.mx) Date: Tue, 17 Feb 2009 18:19:08 -0600 Subject: Second Call For Papers: CORE-2009 Message-ID: <200902180019.n1I0J8V3008223@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: March 8 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 H.vandenHeuvel at let.ru.nl Wed Feb 18 10:42:03 2009 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Wed, 18 Feb 2009 10:42:03 +0100 Subject: PhD position at CLST, Radboud University Nijmegen In-Reply-To: References: Message-ID: *PhD 'Topic and Speaker Tracking in Broadcast Archives' (1.0 fte)* *Faculty of Arts* *Vacancy number: 23.08.09* *Extended closing date: 8 March 2009* *Job description* In the project BATS (Topic and Speaker Tracking in Broadcast Archives) we have an opening for a PhD position in audio mining and spoken document retrieval. The project aims at making it possible to search in audio/visual archives, as is currently possible in searching for written documents on the web. The approach is to use speech technology tools such as speech and speaker recognition to automatically transcribe and label the data in the archives, and then apply text retrieval techniques to disclose the archive. The doctoral research will focus on two techniques: topic detection, based on speech recognition and word spotting techniques; and speaker detection, based on a combination of the voice characteristics of the speaker and the contents of the speech. Apart from working on state-of-the-art technology, the research will involve development and assessment of a prototype search environment, with a focus on iterative, or refined, search strategies. The project will be carried out in close collaboration with the Catholic University of Leuven (Prof. H. Van hamme). The PhD thesis will consist of a collection of journal papers about the research subjects mentioned above. *Requirements*: The successful candidate must have a strong background in computer science, pattern recognition and/or signal processing. In addition, he/she must have an interest in human factors issues and user interface design. Good communication skills in English are essential, as well as a good record of collaboration in teams. Candidates must be authorized to work in the EU. *Organization* The Faculty of Arts consists of eleven departments in the area of language and culture, history, history of arts, linguistics and business communication, which together cater for about 2,700 students and collaborate closely in teaching and research. The PhD student will work in an inspiring environment as a member of an international and interdisciplinary team with representatives from the universities of Nijmegen and Leuven as well as the Flemish Broadcast Organisation, which offers excellent career perspectives in academia and industry. *Conditions of employment* The total duration of the contract is 3.5 years. The PhD student will receive an initial contract for the duration of 18 months with the possibility of prolongation for another 2 years. Informal inquiries should be made to Prof Dr David van Leeuwen (*T* +31 (0)346 356235; *E* d.vanleeuwen at let.ru.nl) or prof. dr Lou Boves (*T* +31 (0)24 361 2902; *E* L.Boves at let.ru.nl). *Additional information* The starting gross salary is € 2.000 per month based on a full-time employment. Preferable starting date: April 2008. An elaborate description of the project plan (in Dutch) or a summary description (in English) can be obtained upon request. Please ask Hella Jooren (h.jooren at let.ru.nl). *Application letters, including extensive CV and MA thesis and the names of at least two references, *(with vacancy number: 23.08.09, preferably by e-mail) *can be sent to:* Radboud University Nijmegen, Faculty of Arts, Department of Human Resources, attn. of Ms. A. Graat P.O. Box 9103, 6500 HD Nijmegen, the Netherlands E-mail: vacatures at let.ru.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From braubach at informatik.uni-hamburg.de Tue Feb 17 18:02:15 2009 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Tue, 17 Feb 2009 18:02:15 +0100 Subject: WARNING! (2930867369) In-Reply-To: References: Message-ID: <499AED97.9010907@informatik.uni-hamburg.de> event administration schrieb: > 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: 2930867369, > 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 friedmann.alexander at uqam.ca Tue Feb 17 19:06:24 2009 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Tue, 17 Feb 2009 13:06:24 -0500 (EST) Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Tue, 17 Feb 2009, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > 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 alexander.friedmann at uqam.ca Tue Feb 17 19:04:40 2009 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Tue, 17 Feb 2009 13:04:40 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Tue, Feb 17, 2009 at 12:01 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From scranefield at infoscience.otago.ac.nz Tue Feb 17 22:03:40 2009 From: scranefield at infoscience.otago.ac.nz (Stephen Cranefield) Date: Wed, 18 Feb 2009 10:03:40 +1300 Subject: WARNING! (2899483624) In-Reply-To: References: Message-ID: -----Original Message----- From: event administration [mailto:event-subscribe at in.tu-clausthal.de] Sent: Wednesday, 18 February 2009 6:01 a.m. To: Stephen Cranefield Subject: WARNING! (2899483624) 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: 2899483624, 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 braubach at informatik.uni-hamburg.de Wed Feb 18 09:05:06 2009 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Wed, 18 Feb 2009 09:05:06 +0100 Subject: CFP distribution Message-ID: <499BC132.3020908@informatik.uni-hamburg.de> Dear list managers, I have tried yesterday to send a CFP for MATES 2009 to this list, but the only thing I got in reply was the text below. I would be grateful if you could tell me if my CFP will eventually come through or if I have to resend. (The CFP is also attached below) Kind regards, Lars Braubach ---------------------------- 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: 2930867369, and the reply is directed to , and the 'From' address of your reply is . All requests about this mailing list should be sent to ---------------------------- * Our apologies if you receive multiple copies of this announcement * ################################################################# # # # Submission Deadline: April 4, 2009 # # # ################################################################# CALL FOR 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 be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events. TOPICS OF INTEREST Topics of interest of MATES 2009 include all aspects of agent-oriented computing and agent technologies: basic and applied research; reports on experiences with deployed real-world applications; and detailed visions and challenges for mid- to long-term progress in the field grounded in experience reports or analyses of the overall technical, economical, and social context. MATES 2009 encourages specifically submissions from an emerging area of interest with a close connection to multi-agent systems: self- organizing systems and autonomic computing. EXHIBITION MATES 2009 will feature an exhibition of tools, prototype technologies, showcases of practical applications, and business cases of agent and multi-agent technology at the conference venue. The exhibition allows submitting an exhibition paper and the possibility to demonstrate the practical work at the conference at a poster stand. DOCTORAL MENTORING PROGRAM MATES 2009 will include a doctoral mentoring program. This program will provide an opportunity for PhD students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. SUBMISSION DETAILS All papers must be written in English and submitted in PDF format. The paper style should follow the Springer LNCS formatting. MATES'09 welcomes two kinds of submissions: * Scientific paper contributions (must not exceed 12 pages) * Exhibition paper contributions (must not exceed 10 pages) Submissions should be uploaded at: http://www.easychair.org/conferences/?conf=mates2009 Boths kinds of papers will be included in the MATES proceedings to be published in the Springer series of Lecture Notes on Artificial Intelligence (LNAI) and for both kinds of papers the following dates apply: 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 hr at sti2.at Wed Feb 18 16:15:52 2009 From: hr at sti2.at (HR) Date: Wed, 18 Feb 2009 16:15:52 +0100 Subject: Position as a software developer Message-ID: <200902181515.n1IFFqAC032530@smtp.uibk.ac.at> Software Developer The Semantic Technology Institute (STI) Innsbruck is looking for a number of enthusiastic software developers to join an established and successful international team. Software developers will be involved in the SEALS research project with the aim to architecture and implement the SEALS platform for benchmarking of semantic software applications. Senior Positions Candidates should have at least 4 years commercial experience involving all aspects of the project life-cycle especially in architectural design, solid Java skills, and team-leadership/project management experience. Junior Positions Candidates should have a minimum of 2 years java experience, preferably in a commercial setting. All candidates must have a good understanding of object-oriented approaches to software engineering, excellent English skills and a flexible attitude. Experience with Web-technologies and Semantics is not essential, rather the candidate's desire to learn, ability to communicate, and professional approach are more important. Please send your application to hr at sti2.at -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nza at Cs.Nott.AC.UK Wed Feb 18 16:36:58 2009 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 18 Feb 2009 15:36:58 +0000 Subject: final call for papers: Workshop on Logics and Agent Programming Languages Message-ID: <200902181536.aa04819@pat.Cs.Nott.AC.UK> Call for Papers WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES July 27-31 2009 http://www.agents.cs.nott.ac.uk/events/lapl09 to be held as part of ESSLLI 2009 (21st European Summer School in Logic, Language and Information, Bordeaux, France) July 20-31 2009 http://esslli2009.labri.fr/ WORKSHOP DESCRIPTION To create a language for programming entities capable of intelligent behaviour (`agents'), researchers and developers must address deep questions such as: what are the basic constituent parts of an intelligent agent; how should the agent `think' (e.g., which deliberation strategy should it employ -- should it plan a precise sequence of actions in advance or should it adopt an abstract plans with gaps `to be filled-in later'); what relationship should there be between the agent's beliefs and its goals, etc. In seeking to address these questions, researchers have drawn heavily on formal models of agents and on agent logics, including epistemic logics, logics of action, dynamic logic, coalition logics etc. For example, the development of agent programming languages such as AgentSpeak were heavily influenced by the BDI (Beliefs, Desires and Intentions) logics developed to understand what an agent's behaviour should be. These interactions have resulted in an extremely fruitful cross fertilisation between work in logic and computation, and the application of logical techniques to address key practical issues such as the verification of agent programs (i.e., will an agent program meet the specification set out by its developers). The development of agent programming languages continues to go hand in hand with the development of logics to express properties of agent programs and associated verification techniques, with work on various aspects of agent programming, agent logics and verification. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs. Topics of interest include (but are not limited to): * agent programming languages * agent logics * verification of agent programs PUBLICATION Accepted papers will appear in pre-proceedings published by ESSLLI. We aim to publish a selection of revised and expanded papers as a journal special issue. SUBMISSIONS Authors are invited to submit a paper describing original or recently published work. Submissions should not exceed 15 pages in LaTeX 11pt article style. The following formats are accepted: pdf, ps. Please submit on line at http://www.easychair.org/conferences/?conf=lapl09 All enquiries to lapl09 at cs.nott.ac.uk IMPORTANT DATES March 4 2009 (Extended) deadline for submissions April 15 2009 Notification of acceptance June 1 2009 Deadline for proceedings ORGANISERS Natasha Alechina University of Nottingham, UK Brian Logan University of Nottingham, UK INVITED SPEAKER Giuseppe De Giacomo Sapienza Universita' di Roma, Italy PROGRAMME COMMITTEE Thomas Agotnes Bergen University College, Norway Rafael Bordini University of Durham, UK Mehdi Dastani Universiteit Utrecht, Netherlands JŸrgen Dix Technische Universitaet Clausthal, Germany Amal El Fallah Seghrouchni, University Paris VI, France Michael Fisher University of Liverpool, UK Giuseppe De Giacomo Sapienza Universita' di Roma, Italy Andreas Herzig IRIT, UniversitŽ Paul Sabatier, France Koen Hindriks Delft University of Technology, Netherlands Gerhard Lakemeyer Aachen University of Technology, Germany Yves LespŽrance York University, Canada Hector Levesque, University of Toronto, Canada John-Jules Ch. Meyer Universiteit Utrecht, Netherlands Steven Shapiro University of Toronto, Canada Neil Yorke-Smith, AIC, SRI International, USA 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 richard.moot at labri.fr Wed Feb 18 18:26:26 2009 From: richard.moot at labri.fr (Richard Moot) Date: Wed, 18 Feb 2009 18:26:26 +0100 Subject: ESSLLI 2009 Call for Participation Message-ID: <426F559F-2FAC-41E5-B78E-75975D3092F1@labri.fr> ====================================================================== = = = CALL FOR PARTICIPATION = = = = 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 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 Richard Moot ESSLLI Organizing Committee From cmueller at iits.uni-stuttgart.de Thu Feb 19 10:31:28 2009 From: cmueller at iits.uni-stuttgart.de (=?ISO-8859-1?Q?Claudia_M=FCller?=) Date: Thu, 19 Feb 2009 10:31:28 +0100 Subject: Call for Papers - Journal of Emerging Technologies in Web Intelligence (JETWI) Message-ID: [Apologies if you receive multiple copies of this message] Dear Colleagues It is our pleasure to announce the birth of the Journal of Emerging Technologies in Web Intelligence (JETWI) (ISSN 1798-0461) published by the Academy Publisher in Finland. This journal is a team work of the distinguished editorial board along with the Academy Publisher to respond to the emerging research needs in the evolving area of Web Intelligence and related Technologies. The aim, scope and the targets of this journal are listed below. You can visit JETWI Web Site on: http://www.academypublisher.com/jetwi/index.html ****JETWI Aims**** Following the introduction of the phrase "Web 2.0" as a description of the recent evolution of the Web, the term "Emergent Web Intelligence or Web 3.0" has been introduced to hypothesize about a future wave of Internet innovation. Views on the next stage of the World Wide Web's evolution vary greatly, from the concept of emerging technologies such as the Semantic Web transforming the way the Web is used (and leading to new possibilities in artificial intelligence) to the observation that increases in Internet connection speeds, modular web applications, and advances in computer graphics will play the key role in the evolution of the World Wide Web. JETWI aims at gathering the latest advances of various topics in web intelligence and reporting how organizations can gain competitive advantages by applying the different emergent techniques in the real- world scenarios. Papers and studies which couple the intelligence techniques and theories with specific web technology problems are mainly targeted. Survey and tutorial articles that emphasize the research and application of web intelligence in a particular domain are also welcomed. ****Scope**** Topics includes‚ - Web 3.0 - Enterprise Mashup - Ambient Intelligence (AmI) - Situational Applications - Emerging Web-based Systems - Context Aware Ubiquitous Computing - Web 2.0 and Social intelligence - Web Information Filtering and Retrieval - Web Mining and Farming - Wisdom Web - Web Security - Information Filtering and Access Control Models - Web Services and Semantic Web - Human-Web Interaction - E-Applications and AI Systems - Web Technologies and Protocols - Web Agents and Agent-based Systems - Agent Self-organization, Learning, and Adaptation - Agent-based Knowledge Discovery - Agent-mediated Markets - Knowledge Grid and Grid intelligence - Knowledge Management, Networks, and Communities - Agent Infrastructure and Architecture - Agent Self-organization, Learning, and Adaptation - Agent-based Knowledge Discovery - Agent-mediated Markets - Autonomy-oriented or Autonomic Computing - Cooperative Problem Solving - Distributed Intelligence and Emergent Behaviour - Evaluation and Standards for Agent-based Web Intelligence Technologies - Information Ecology - Knowledge Grid and Grid intelligence - Mediators and Middleware - Granular Computing for the Web - Ontology Engineering - Personalization Techniques - Semantic Web, Web services Flow and Integrity - Web based Support Systems - Web based Information Retrieval Support Systems - Web Services, Services Discovery & Composition ****Target Audience**** The primary target audience for the journal includes researchers, scholars, postgraduate students and developers who are interested in Web intelligence and Emerging Technologies research and related issues. The journal will provide reviews of the cutting-edge technologies and insights for using intelligence at Web-based systems. In particular, the journal will be valuable library reference for research fellows, postgraduate and senior undergraduate students who are researching Web intelligence. Moreover, the new journal seeks to collaborate with major societies and international conferences in the fields. You are kindly invited to send your valuable research work to JETWI as the preparations to produce the first issue is already started. ------------------------------------------------------------- Claudia Mueller, Dr. rer.nat. Institute of Information Technology Services (IITS) Department for Computer Science, Electrical Engineering & Information Technology, University of Stuttgart cmueller at iits.uni-stuttgart.de, phone: + 49 711 - 685 60457, fax: + 49 711 - 685 65898 http://www.iits.uni-stuttgart.de/clmueller.html http://www.sonivis.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pierregrenon at gmail.com Thu Feb 19 14:09:10 2009 From: pierregrenon at gmail.com (Pierre Grenon) Date: Thu, 19 Feb 2009 13:09:10 +0000 Subject: [ExaCt 2009] 2nd Call for papers: IJCAI 09 WS on Explanation-aware Computing Message-ID: ** Apologies if you receive multiple copies of this announcement ** ** Please forward to anyone who might be interested ** 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 ** Paper submission deadline: March 6, 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: March 6, 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, Department of Computer Science, University Of Aberdeen, UK n.tintare at abdn ac uk 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 csoares at fep.up.pt Fri Feb 20 12:11:06 2009 From: csoares at fep.up.pt (Carlos Soares) Date: Fri, 20 Feb 2009 11:11:06 +0000 Subject: Fwd: First Announcement NN2009 References: <1AB46CB3F1CC428383F5A63A4298C3CB@ineb.fe.up.pt> Message-ID: <22E9F489-C2A2-4C37-96D1-5F5A8B119CF8@fep.up.pt> Begin forwarded message: > From: "alexandra" > Date: February 20, 2009 10:39:12 AM GMT+00:00 > To: "alexandra" > Subject: First Announcement NN2009 > > Apologies for multiple copies. > > We appreciate if you can forward this Announcement to potential > candidates. > ============================================================= > SUMMER SCHOOL NN2009 > > NEURAL NETWORKS in CLASSIFICATION, REGRESSION and DATA MINING > > July 6-10, 2009, Porto, Portugal > ============================================================= > > http://www.nn.isep.ipp.pt email: nn-2009 at isep.ipp.pt > > > > GENERAL INFORMATION > > The Summer School will be held at Porto, Portugal, jointly organized > by the Polytechnic School of Engineering of Porto (ISEP) and the > Engineering Biomedical Institute (INEB). > > Following last year experience, this year's edition also includes a > POSTER/WORKSHOP SESSION providing a discussion forum where the > participants can obtain peer guidance for their projects. > > > > PROGRAMME COMMITTEE > > • Carlos Soares (Assistant Professor, Faculty of Economy, University > of Porto, Portugal) > > • Craig Saunders (Research Scientist, Xerox Research Centre Europe, > France) > > • Hans-Georg Zimmermann(Principal Research Scientist, Siemens AG, > Corporate Technology Dpt., Berlin, Germany) > > • Igor Aizenberg (Assistant Professor at the Department of Computer > and Information Sciences, Texas A&M University-Texarkana, USA) > > • Joaquim Marques de Sá (Full Professor, Dept. Electr. and Comp. > Engineering, Fac. of Engineering, University of Porto, Portugal) > > • Jorge Santos (Assistant Professor, Engineering Polythecnic > Institute, Porto, Portugal) > > • Luis Silva (Assistant Professor, University of Minho, Portugal) > > • Mark Embrechts (Associate Professor, Rensselaer Polytechnic > Institute, RPI Troy, New York, USA) > > • Noelia Sánchez Maroño (Assistant Professor, Coruna University, > Spain) > > • Paulo Cortez (Assistant Professor, University of Minho, Portugal) > > • Petia Georgieva (Assistant Professor, University of Aveiro, > Portugal) > > > > COURSE CONTENTS > > Neural networks (NN) have become a very important tool in > classification and regression tasks. The applications are nowadays > abundant, e.g. in the engineering, economy and biology areas. The > Summer School on NN is dedicated to explain relevant NN paradigms, > namely multilayer perceptrons (MLP), radial basis function networks > (RBF) and support vector machines (SVM) used for classification and > regression tasks, illustrated with applications to real data. > Specific topics are also presented, namely Recurrent Neural > Networks, Multi-Valued and UB Neurons , Functional Networks , MLP's > with Entropic Criteria and Data Mining using NN. > > Classes include practical sessions with appropriate software tools. > The trainee has, therefore, the opportunity to apply the taught > concepts and become conversant with a broad range of NN topics and > applications. A special workshop session will provide a discussion > forum where the participants can obtain peer guidance for their > projects. > > > > PRELIMINARY PROGRAMME > > A preliminary programme and further information about the classes > are available at the school webpage (http://www.nn.isep.ipp.pt) > > > > IMPORTANT DEADLINES > > Early Registration: 18 May 2009 > > Poster Submission: 15 June 2009 > > Hotel booking : 15 June 2009 > > Summer School: 6-10 July 2009 > > All participants are required to register prior to the start of the > School - until the June 15 - even if you choose to pay the late > registration fee at the registration desk. > Please note that only a LIMITED number of participants can be > accepted. > > > > REGISTRATION > > In order to attend the School you must fill in the registration > form, available at the School web page. Please note that if you have > any guests who would like to take part in the social programme, you > must register them as well, by filling in the corresponding field in > the registration form. > > > > SCHOOL FEES > > The registration fee for participants amounts to: > > - Early registration fee (paid until May 18th) > > * 370 Euro (students or ISEP staff) > > * 420 Euro (all other participants) > > - Late registration fee (paid after May 18th) > > * 420 Euro (students, ISEP and FEUP staff) > > * 470 Euro (all other participants) > > The registration fee includes: > > * school package (manuscripts, lecture's notes, CD) > * coffee breaks > * daily lunch > * welcome reception > * school banquet > > NOTE: The registration fee for those who attended previous editions > amounts to 30/35 euro per lecture and includes the school package > and coffee-breaks. Please, contact the LOC for further details. > > > > LOCAL ORGANIZING COMMITTEE (LOC) > > - Jorge M. Santos - Assistant Professor, Dept. Mathematics, ISEP, > Portugal > > - Rui Chibante - Assistant Professor, Dept. Mathematics, ISEP, > Portugal > > > > CONTACT ADDRESS > > Local Organizing Committee (LOC) - Summer School NN2009 > > A/C Jorge M. Santos > > Departamento de Matemática > > Instituto Superior de Engenharia do Porto > > Rua Dr. António Bernardino de Almeida 431 > > 4200-072 PORTO / PORTUGAL > Email: nn-2009 at isep.ipp.pt > > > > NN2009 Secretariat > > Ms. Gabriela Afonso > Email: gafonso at fe.up.pt > > > > Programme Chair: > Prof. Jorge M. Santos > Tel. +351 228340500 ext. 1571 - Email: jms at isep.ipp.pt > == 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 emiliano.lorini at istc.cnr.it Fri Feb 20 16:06:43 2009 From: emiliano.lorini at istc.cnr.it (emiliano.lorini at istc.cnr.it) Date: Fri, 20 Feb 2009 16:06:43 +0100 Subject: Workshop Logical Methods for Social Concepts (LMSC) Message-ID: <1235142403.499ec70355be8@webmail.src.cnr.it> Apologies for multiple copies. ------------------------------------ Workshop Logical Methods for Social Concepts Call for Papers Call Deadline: 04-Mar-2009 Call for Papers Workshop Purpose: Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. In particular, are existing logical approaches sufficiently expressive to capture the main features of these social concepts? Are the basic assumptions in the existing logics for MAS too strong to capture the fundamental aspects of social phenomena? Are some concepts relevant for social theory missing in these logics? The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. Workshop Topics: The following are some examples of topics that are relevant for the workshop: - Logics of individual and collective powers; - Logical approaches to game theory; - Dynamic epistemic logics and logics of communication; - Logics of normative systems and institutions; - Logical approaches to trust and reputation; - Logical approaches to organizational concepts (e.g. roles, responsibility, delegation); - Logics of social commitment and collective attitudes (e.g. common belief and common knowledge, collective acceptance, joint intentions); - Logics for mechanism design. Workshop Organizers: Andreas Herzig and Emiliano Lorini Invited speakers: - Alexandru Baltag, Oxford University - Rineke Verbrugge, University of Groningen Workshop Programme Committee: Thomas Ågotnes, Johan van Benthem, Guido Boella, Jan Broersen, Cristiano Castelfranchi, Pilar Dellunde, Frank Dignum, Nicola Dimitri, Hans van Ditmarsch, Davide Grossi, Andreas Herzig (co-chair), Wiebe van der Hoek, Jeff Horty, Andrew Jones, Jérôme Lang, Emiliano Lorini (co-chair), Claudio Masolo, John-Jules Meyer, Matthias Nickles, Eric Pacuit, Henry Prakken, Antonino Rotolo, Lambèr Royakkers, Nicolas Troquard, Raimo Tuomela, Leon van der Torre Submission Details: Authors are invited to submit an extended abstract presenting an approach which is relevant to the area of logic for multi-agent systems. Extended abstract should have a maximum of 5 pages. The following formats are accepted: PDF, PS, Word. (Latex-generated papers are preferred.) Please send your submission electronically to both program chairs by the deadline listed below. The submissions will be reviewed by the workshop's program committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. We plan to organize a special issue of the Journal of Applied Non-Classical Logics (JANCL) based on selected papers presented at the workshop. Important dates: Submissions: March 4, 2009 Notification: April 15, 2009 Preliminary programme: April 24, 2009 ESSLLI early registration: May 1, 2009 Final papers for proceedings: May 15, 2009 Final programme: June 15, 2009 Workshop dates: July 20-31, 2009 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wcom at worldcomp.cviog.uga.edu Sat Feb 21 01:25:18 2009 From: wcom at worldcomp.cviog.uga.edu (WORLDCOMP'09 Congress Conferences) Date: Fri, 20 Feb 2009 19:25:18 -0500 Subject: Call For Papers: Computer Science & Computer Engineering Conferences, USA, WORLDCOMP'09, Submission Deadline: Feb. 25, 2009 Message-ID: <20090221002518.9B48A81B49@worldcomp.cviog.uga.edu> CALL FOR PAPERS ================= Paper Submission Deadline: February 25, 2009 WORLDCOMP'09 The 2009 World Congress in Computer Science, Computer Engineering, & Applied Computing Date and Location: July 13-16, 2009, Las Vegas, USA http://www.world-academy-of-science.org You are invited to submit a paper; see below for submission instructions. All accepted papers will be published in the respective conference proceedings (in printed books/proceedings). WORLDCOMP'09 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. In recent past, keynote and/or tutorial speakers included: Prof. David A. Patterson (U. of California, Berkeley); Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland (U. of Michigan, Ann Arbor); Prof. H. J. Siegel (Colorado State U.); Prof. Barry Vercoe (MIT); Prof. Ruzena Bajcsy (U. of California, Berkeley); Prof. Jun Liu (Harvard U.); Dr. Jim Gettys (OLPC + developer of X Window); and many other distinguished speakers. For this year's conference, the keynote speakers include: Prof. Ian Foster (Father of Grid Computing), Dr. Eric Drexler (Father of Nanotechnology), Prof. Brian Athey (Head, NIH National Center for Computational Medicine & Biology), Dr. Jose Munoz (Deputy Director, National Science Foundation Office of Cyberinfrastructure), and many other distinguished speakers. The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of the following conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA). A link to each conference's URL can be found at http://www.world-academy-of-science.org BIOCOMP'09: International Conf. on Bioinformatics & Computational Biology CDES'09: International Conf. on Computer Design CGVR'09: International Conf. on Computer Graphics & Virtual Reality CSC'09: International Conf. on Scientific Computing DMIN'09: International Conf. on Data Mining EEE'09: International Conf. on e-Learning, e-Business, Enterprise Information Systems, & e-Government ERSA'09: International Conf. on Engineering of Reconfigurable Systems and Algorithms ESA'09: International Conf. on Embedded Systems & Applications FCS'09: International Conf. on Foundations of Computer Science FECS'09: International Conf. on Frontiers in Education: Computer Science & Computer Engineering GCA'09: International Conf. on Grid Computing & Applications GEM'09: International Conf. on Genetic & Evolutionary Methods ICAI'09: International Conf. on Artificial Intelligence ICOMP'09: International Conf. on Internet Computing ICWN'09: International Conf. on Wireless Networks IKE'09: International Conf. on Information & Knowledge Engineering IPCV'09: International Conf. on Image Processing, Computer Vision, & Pattern Recognition MSV'09: International Conf. on Modeling, Simulation & Visualization Methods PDPTA'09: International Conf. on Parallel and Distributed Processing Techniques & Applications SAM'09: International Conf. on Security and Management SERP'09: International Conf. on Software Engineering Research and Practice SWWS'09: International Conf. on Semantic Web and Web Services SUBMISSION OF PAPERS: Prospective authors are invited to submit their draft papers by uploading them to http://worldcomp.cviog.uga.edu/ . Submissions must be received by Feb. 25, 2009 and they must be in either MS doc or pdf formats (about 5 to 7 pages - single space, font size of 10 to 12). All reasonable typesetting formats are acceptable (later, the authors of accepted papers will be asked to follow a particular typesetting format to prepare their papers for publication.) The length of the Camera-Ready papers (if accepted) will be limited to 7 (IEEE style) pages. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the draft paper should include: title of the paper, name, affiliation, postal address, and email address for each author. The first page should also identify the name of the Contact Author and a maximum of 5 topical keywords that would best represent the content of the paper. Finally, the name of the conference that the paper is being submitted to must be stated on the first page. Papers will be evaluated for originality, significance, clarity, impact, and soundness. Each paper will be refereed by two experts in the field who are independent of the conference program committee. The referees' evaluations will then be reviewed by two members of the program committee who will recommend a decision to the chair of the track that the paper has been submitted to. The chair will make the final decision. Lastly, the Camera-Ready papers will be reviewed by one member of the program committee. IMPORTANT DATES: Feb. 25, 2009: Submission of papers (about 5 to 7 pages) March 25, 2009: Notification of acceptance April 25, 2009: Camera-Ready papers and Registration due July 13-16, 2009: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09 - 22 joint conferences) COORDINATOR: H. R. Arabnia, PhD Professor, Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) Advisory Board, IEEE Technical Committee on TCSC Vice President, Int'l Society of Intelligent Biological Medicine The University of Georgia, USA Tel: (706) 542-3480 email: hra at cs.uga.edu SPONSORS (confirmed as of Feb. 20, 2009): Academic Sponsors include: United States Military Academy, Network Science Center, USA; Biomedical Cybernetics Laboratory, HST of Harvard University and MIT, USA; Argonne's Leadership Computing Facility of Argonne National Laboratory, USA; Functional Genomics Laboratory, University of Illinois at Urbana-Champaign, USA; Minnesota Supercomputing Institute, University of Minnesota, USA; Intelligent Data Exploration and Analysis Laboratory, University of Texas at Austin, Texas, USA; Harvard Statistics Department Genomics & Bioinformatics Laboratory, Harvard University, USA; Texas Advanced Computing Center, The University of Texas at Austin, Texas, USA; Center for the Bioinformatics and Computational Genomics, Georgia Institute of Technology, Atlanta, Georgia, USA; Bioinformatics & Computational Biology Program, George Mason University, Virginia, USA; Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria; BioMedical Informatics & Bio-Imaging Laboratory, Georgia Institute of Technology and Emory University, Atlanta, Georgia, USA; Knowledge Management & Intelligent System Center (KMIS) of University of Siegen, Germany; National Institute for Health Research; Hawkeye Radiology Informatics, College of Medicine, University of Iowa, USA; Institute for Informatics Problems of the Russian Academy of Sciences, Moscow, Russia; Medical Image HPC & Informatics Lab (MiHi Lab), University of Iowa, USA; SECLAB of U. of Naples Federico II, U. of Naples Parthenope, and Second U. of Naples, Italy; U. of North Dakota, USA; Intelligent Cyberspace Engineering Lab., ICEL, Texas A&M University (Com./Texas), USA; International Society of Intelligent Biological Medicine; World Academy of Biomedical Sciences & Technologies; and European Commission. Other Sponsors include: High Performance Computing for Nanotechnology (HPCNano); HoIP - Health without Boundaries; The International Council on Medical and Care Compunetics; The UK Department for Business, Enterprise & Regulatory Reform; VMW Solutions Ltd.; Scientific Technologies Corporation; and others. TUTORIALS: 12 to 15 tutorials are currently being planned - all tutorials are free to conference registrants. Tutorial subjects include, ABET accreditation as it relates to computing, various aspects of supercomputing (parallel and distributed systems and processing), visualization, preparation for teaching online courses, various areas of security, sensor networks, bioinformatics for computer scientists, web services for mobile and wireless systems, ... PURPOSE / HISTORY: This set of joint conferences is the largest annual gathering of researchers in computer science, computer engineering and applied computing. Many of the joint conferences in WORLDCOMP are the premier conferences for presentation of advances in their respective fields. We anticipate to have 2,400 or more attendees from over 85 countries participating in the 2009 joint conferences. The motivation is to assemble a spectrum of affiliated research conferences into a coordinated research meeting held in a common place at a common time. The main goal is to provide a forum for exchange of ideas in a number of research areas that interact. The model used to form these annual conferences facilitates communication among researchers from all over the world in different fields of computer science, computer engineering and applied computing. Both inward research (core areas of computer science and engineering) and outward research (multi-disciplinary, inter-disciplinary, and applications) will be covered during the conferences. WORLDCOMP'09 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. One registration fee provides full access to all events/sessions of all conferences (including tutorials). The registration fee is set at the low end of the academia range for Academic Conferences. MEMBERS OF PROGRAM AND ORGANIZING COMMITTEES: The Program Committee includes members of chapters of World Academy of Science (chapters: supercomputing; scientific computing; AI; imaging science; databases; simulation; software engineering; embedded systems; internet and web technologies; communications; computer security; and bioinformatics.) The Program Committee for individual conferences is currently being formed. Those interested in joining the Program Committee should email H. R. Arabnia (hra at cs.uga.edu) the following information: Name, affiliation and position, complete mailing address, email address, a short biography together with research interests and the name of the conference offering to help with. Many who have already joined the committees of individual tracks are renowned leaders, scholars, researchers, scientists and practitioners of the highest ranks; many are directors of research laboratories, fellows of various societies, heads/chairs of departments, deans and provosts, and program directors of various funding agencies. LOCATION OF CONFERENCES: The conferences will be held in the Monte Carlo hotel, Las Vegas, Nevada, USA (with any overflows at other near-by hotels). This is a mega hotel with excellent conference facilities and over 3,000 rooms. It is minutes from the airport with 24-hour shuttle service to and from the airport. This hotel has many recreational attractions, including: waterfalls, spa, pools, sunning decks, Easy River, wave pool, lighted tennis courts, health spa, nightly shows, a number of restaurants, ... The negotiated room rate for conference attendees is very reasonable. The hotel is within walking distance from most other attractions (recreational destinations, Golf courses, ...) =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= This email was sent to: event at in.tu-clausthal.de To opt out of this email list: http://worldcomp.cviog.uga.edu/cgi-bin/rm/full.cgi?1BC32490-BA23-11DD-ABA0-FC776EE9E895 From justinwilliams9 at gmail.com Sat Feb 21 20:19:47 2009 From: justinwilliams9 at gmail.com (Justin Williams) Date: Sat, 21 Feb 2009 14:19:47 -0500 Subject: Last call for papers: MULTICONF-09 (deadline will not be extended further) Message-ID: *Apologies for cross posting. Kindly share with interested people* Last call for papers: MULTICONF-09 (deadline will not be extended further) 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 due to numerous requests from the authors and it will not be extedned further. 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 Justin Williams Publicity committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From areces at loria.fr Fri Feb 20 14:21:12 2009 From: areces at loria.fr (Carlos Areces) Date: Fri, 20 Feb 2009 14:21:12 +0100 Subject: subscribe Message-ID: <499EAE48.2040006@loria.fr> From areces at loria.fr Fri Feb 20 14:21:47 2009 From: areces at loria.fr (Carlos Areces) Date: Fri, 20 Feb 2009 14:21:47 +0100 Subject: Confirmation Request (1567049950) In-Reply-To: References: Message-ID: <499EAE6B.1070306@loria.fr> 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: 1567049950, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to From Patrick.Hung at uoit.ca Sun Feb 22 12:13:11 2009 From: Patrick.Hung at uoit.ca (Patrick Hung) Date: Sun, 22 Feb 2009 06:13:11 -0500 Subject: CALL FOR PAPERS: The 2009 4th IEEE Congress on Services (SERVICES 2009 - Part I) Message-ID: Apologies for cross-postings. Please send it to interested colleagues, researchers and students. Many Thanks. ::::::::::::::::::::::: CALL FOR PAPERS ::::::::::::::::::::::: The 2009 4th IEEE Congress on Services (SERVICES 2009 - Part I) =============================================================== http://www.servicescongress.org July 6-10, 2009, Los Angeles, California, USA Sponsored by the Technical Committee on Services Computing (TC-SVC), IEEE Computer Society and Services Society (approval pending) The theme of the 2009 IEEE Congress on Services (SERVICES 2009) is "modernization of the services industry". SERVICES 2009 supports and further explores the science and technology of modernizing services industries using latest methods and technologies such as Services Computing, which has been formally promoted by IEEE Computer Society since 2003. From a technology perspective, Services Computing has become the foundational discipline for modernizing the services industry. The first Joint Conference on SERVICES includes the 2005 International Conference on Web Services (ICWS 2005) and the 2005 International Conference on Services Computing (SCC 2005), which were held in July 2005 in Orlando, Florida, USA. The second Joint Conference on SERVICES includes the 2006 International Conference on Web Services (ICWS 2006) and the 2006 International Conference on Services Computing (SCC 2006), which were held in September 2006 in Chicago, IL, USA. In 2007, the joint conference on Services formally became the 2007 IEEE Congress on Services (SERVICES 2007), which was held in July 2007 in Salt Lake City, Utah, USA. The 2008 IEEE Congress on Services (SERVICES 2008) was co-located with the 2008 International Conference on Services Computing (SCC 2008) in July 2008 in Hololulu, Hawaii, USA. The Third Congress on Services (SERVICES 2008 Part II) was co-located with the 2008 IEEE International Conference on Web Services (ICWS 2008) in September 2009 in Beijing, China. In 2009, The Fourth IEEE Congress on Services (SERVICES 2009) goes beyond the IT community. SERVICES 2009 tries to attract researchers, practitioners, and industry business leaders in all the following services sectors to help define and shape the modernization strategy and directions of the services industry. You are invited to submit research, engineering, and business innovation papers to the following services sub-sectors: - Advertising Services - Banking Services - Broadcasting & IPTV Services - Business Services - Casinos & Gaming Services - Communications Services - Cross-industry Services (e.g. strategy and planning, supply chain management, enterprise resource planning, customer relationship management, marketing services) - Design Automation Services - Energy and Utilities Services - Financial Services - Government Services - Healthcare Services - Hotels & Motels Services - Insurance Services - Internet Services - Motion Pictures Services - Personal Services - Printing & Publishing Services - Real Estate Operations Services - Recreational Activities Services - Rental & Leasing Services - Restaurants Services - Retail Services (Apparel, Catalog & Mail Order, Department & Discount, Drugs, Grocery, Home Improvement, Specialty, Technology) - Schools and Education Services - Security Systems & Services - Technology Services - Travel and Transportation Services - Waste Management Services - Wholesale Distribution Services In addition, SERVICES 2009 presents keynote sessions, panel discussions, paper presentations, paper posters, innovation show cases, job fair, Services University (Summer School and Fall School), Education Methodology Summit, "Services Cup" contest, SOA industry summit, workshops, tutorials, and symposiums. Important Dates =============== Abstract Submission Deadline: March 6, 2009 Paper Submission Due Date: March 6, 2009 Decision Notification (Electronic): April 2, 2009 Camera-Ready Copy Due Date & Pre-registration Due: April 17, 2009 Maximum Length: 8 pages SERVICES 2009 also invites you to submit papers to participate the following key events: 11 Approaved IEEE Workshops --------------------------- Accepted Workshop papers will be included in the proceedings of SERVICES 2009 (Part I), which will be published by IEEE Computer Society Press. All papers will go through a peer review process. See the workshop list and their dedicated online paper submission and review system: http://www.servicescongress.org/2009/1/workshops.html Submission Deadline: Check each workshop at http://www.servicescongress.org/2009/1/workshops.html Maximum Length: 8 pages Services University ------------------- "Services University" (servicesuniversity.org) was launched at The 2007 Congress on Services (SERVICES 2007) to help teach Services Computing discipline in a systematic way. A regional leader's community is being formed to support this worldwide "Services University" program. It is technically sponsored by IEEE Technical Committee on Services Computing, IBM Research and other sponsors. 2009 Education Methodology Summit on Services Computing (EMS-SC 2009) --------------------------------------------------------------------- The Education Methodology Summit on Services Computing brings educators and practitioners around the world together to share their experiences in Services related education, and builds consensus on the core of Services Computing education, the knowledge areas and education methodologies. The Summit will focus on pedagogical implications of Services education and its role in overall Services Computing Curriculum Initiative (SCCI). Abstract/Full Paper Submission Deadline: March 14/20, 2009 Maximum Length: 4 pages 2009 Services Cup Contest Registration and Report ------------------------------------------------- The 2009 International Services Computing Contest (SCContest 2009, http://iscc.servicescomputing.org/2009/) will focus on using the SOA methodologies and tools to better solve today's business issues and bring together world-wide talented students for the industry wave. The top winners of the contest will be announced at SERVICES 2009. In addition, the technical papers of the winners will be published in the proceedings of IEEE Congress on Services (SERVICES 2009) as a special section. Final Full Report/Paper Submission Deadline: March 20, 2009 Maximum Length: 8 pages 2009 SOA Industry Summit at SERVICES 2009 (Part I) --------------------------------------------------- The 2009 SOA Industry Summit encourages industry people to submit presentations and two-page papers instead of 8-page research reports. The accepted papers will be published in the IEEE Congress on Services (SERVICES 2009) as a special section. Abstract/Full Paper Submission Deadline: March 14/20, 2009 Maximum Length: 2 pages 2009 Ph.D. Symposium on Services at SERVICES 2009 (Part I) ---------------------------------------------------------- SERVICES 2009 will provide a Ph.D. Symposium on Services Computing as a forum encouraging Ph.D. students and holders to report on-going or just completed work. All the accepted papers will be published in the proceedings of IEEE Congress on Services (SERVICES 2009) as a special section. Abstract/Full Paper Submission Deadline: March 14/20, 2009 Maximum Length: 4 pages 2009 IEEE Symposium on SOA Standards (SOA Standards 2009) at SERVICES 2009 (Part I) ----------------------------------------------------------------------------------- SERVICES 2009 will favor the 2009 Symposium on SOA Standards as a forum for international researchers and practitioners to discuss and establish standards around SOA. All the accepted papers will be published in the proceedings of IEEE Congress on Services (SERVICES 2009) as a special section for SOA standards. Abstract/Full Paper Submission Deadline: March 14/20, 2009 Maximum Length: 8 pages Tutorial Proposal Submission SERVICES 2009 (Part I) --------------------------------------------------- Final Proposal Submission Deadline: March 20, 2009 Maximum Length: 2 pages - abstract and speaker short bio(s) in one PDF file (See template from http://www.servicescongress.org/2009/1/tutorials.html) Panel, Innovation Show Case, Job Fair Booth Reservation or Event Proposal ------------------------------------------------------------------------- ICWS 2009 and SERVICES 2009 (Part I) Innovation Show Case complement the technical program and feature industry leaders. This Innovation Show Case is one you will not want to miss! SOA Industry Summit is part of SERVICES 2009 (Part I), which is co-located with ICWS 2009. Final Proposal Submission Deadline: March 20, 2009 Maximum Length: 2 pages Paper Submission and Review Process =================================== Please use the submission page (http://www.servicescongress.org/2009/1/submission.html) to find the right tracks and events to submit your papers. All submitted manuscripts will be peer-reviewed by at least 3 program committee members. Please note that the same paper should NOT be submitted to other conferences or events simultaneously. Such duplicate submissions will be rejected from all conferences without review. Accepted papers will appear in the CD-ROM version and online version of the proceedings of the 2009 IEEE Congress on Services (SERVICES 2009), which will be published by the IEEE Computer Society Press. Extended versions of selected best papers published in the SERVICES 2009 will be invited for potential publication in the International Journal of Web Services Research (JWSR) , the International Journal of Business Process Integration and Management (IJBPIM) , and IEEE Transactions on Services Computing (TSC). Both the ICWS Proceedings and JWSR are included in EI Compendex. JWSR is also indexed in SCI-E. Submitted manuscripts will be limited to 8 (IEEE Proceedings style) pages and required to be formatted using the IEEE Proceedings template. Electronic submission of manuscripts (in PDF or Word format) is required. Detailed instructions for electronic paper preparation and submission, panel proposals, tutorial proposals, and review process can be found at www.servicescongress.org. At least one author of each accepted paper is required to register to the conference and present the paper. Paper Review Policy =================== SERVICES 2009's Policy and professional ethics require that referees treat the contents of papers under review as privileged information not to be disclosed to others before publication. It is expected that no one with access to a paper under review will make any inappropriate use of the special knowledge, which that access providers. Contents of abstracts submitted to conference program committees should be regarded as privileged as well, and handled in the same manner. The Conference Publications Chair shall ensure that referees adhere to this practice. Organization Committee ====================== General Chair:: Ephraim Feig (Innovations-to-Market, USA) Program Committee Chairs:: Hemant Jain (University of Wisconsin - Milwaukee, USA) Liang-Jie Zhang (IBM T.J. Watson Research Center, USA) Program Vice Chair:: Patrick C. K. Hung (University of Ontario Institute of Technology, Canada) Industry Chair:: Krishna Singh (IBM Almaden Research Center, USA) Global SOA Industry Summit Chairs:: Tony Shan (IBM, USA) Dejan Milojicic (HP Labs, USA) Publicity Chairs:: Charles Shoniregun (University of East London, UK) Mikio Aoyama (Nanzan University, Japan) Hong Mei (Peking University, China) Panel Chairs:: Calton Pu (Georgia Tech, USA) Geng Lin (Cisco IBM Alliance, USA) Bhavani Thuraisingham (University of Texas at Dallas, USA) Casey Fung (Boeing Phantom Works, USA) Tutorial Chairs:: Ling Liu (Georgia Tech, USA) Brian Blake (Georgetown University, USA) Workshop Chairs:: Umesh Bellur (IIT Bombay, India) Jian Yang (Macquarie University, Australia) Pradip K Srimani (Clemson University, USA) Ph.D. Symposium Chair:: Stephen S. Yau (Arizona State University, USA) Services Cup Contest Chairs:: Min Luo (IBM Global Services, USA) Yuhong Yan (Concordia University, Canada) Sujoy Basu (HP Labs - Palo Alto, USA) Sushil Prasad (Georgia State University, USA) Body of Knowledge Chairs:: Michael Goul (Arizona State University, USA) Yanchun Zhang (Victoria University, Australia) Services Education Methodology Summit Chairs:: Andreas Wombacher (University of Twente, The Netherlands) Zhixiong Chen (Mercy College, USA) Program Committee Members:: Please check - http://www.servicescongress.org/2009/1/organization.html *** For any enquiries, please e-mail to the Program Committee Vice-Chair Patrick C. K. Hung: patrick.hung at uoit.ca *** ======================================================== Please join us at: IEEE Services Computing Forum TO JOIN, CLICK HERE NOW: https://www.ieeecommunities.org/services Next, press the "JOIN" button to apply for membership. As a member, you will be permitted to login and participate in the community. ---------------------------------------------------------------- If the link provided cannot be clicked, simply cut and paste it into the address bar of your browser (include all parts if the address is split over multiple lines). This invitation allows you to join a community designed to facilitate collaboration among a group while minimizing e-mails to your inbox. As a registered member of the Services Computing Community, you can also access IEEE Body of Knowledge on Services Computing (servicescomputing.tv). From kostas at cs.rhul.ac.uk Sun Feb 22 23:19:59 2009 From: kostas at cs.rhul.ac.uk (Kostas Stathis) Date: Sun, 22 Feb 2009 22:19:59 +0000 Subject: 2nd CFP: COIN@IJCAI09 Message-ID: <49A1CF8F.4080106@cs.rhul.ac.uk> ------------------------------------------------------------- * 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 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. -- Kostas Stathis kostas.stathis at rhul.ac.uk Department of Computer Science +44(0)1784 443698 (Tel) Royal Holloway, University of London +44(0)1784 439786 (Fax) Egham, Surrey TW20 0EX, UK http://www.cs.rhul.ac.uk/~kostas From dousset at irit.fr Tue Feb 24 13:42:32 2009 From: dousset at irit.fr (Bernard DOUSSET) Date: Tue, 24 Feb 2009 13:42:32 +0100 Subject: =?iso-8859-1?Q?Programme_du_2=B0_s=E9minaire_VSST=2C_30-31_mars_2009=2C_I?= =?iso-8859-1?Q?NIST-Nancy?= Message-ID: <022b01c9967e$d29f22e0$ca0a738d@irit.fr> Bonjour, voici le programme provisoire de VSST'2009 sur la Veille Stratégique Scientifique et Technologique Ce 2° séminaire vient à la suite de celui de 2006 - Université de Lille 1 (120 participants) et s'intercale entre le colloque VSST'2007 de Marrakech et celui programmé à Toulouse pour octobre 2010 Bien cordialement , pour le comité scientifique, Professeur Bernard DOUSSET UPS/IRIT/SIG 118, route de Narbonne 31062 Toulouse cedex 9 tél: (33) 5 61 55 67 81 gsm: (33) 6 12 57 19 49 fax irit: (33) 5 61 55 62 58 perso: (33) 5 61 55 67 81 w3: http://atlas.irit.fr et http://ieut1.irit.fr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Programme_VSST'2009.pdf Dateityp : application/pdf Dateigröße : 1031543 bytes Beschreibung: nicht verfügbar URL : From mehdi at cs.uu.nl Tue Feb 24 20:23:36 2009 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Tue, 24 Feb 2009 20:23:36 +0100 Subject: EASSS 2009 Message-ID: <49A44938.1070102@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 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 jbsa at acadjourn.org Wed Feb 25 08:32:41 2009 From: jbsa at acadjourn.org (Journal of Bioinformatics and Sequence Analysis) Date: Wed, 25 Feb 2009 08:32:41 +0100 Subject: =?windows-1252?Q?Introducing_=91=91Journal_of_Bioinformatics_and_Sequ?= =?windows-1252?Q?ence_Analysis=94?= Message-ID: Journal of Bioinformatics and Sequence Analysis www.academicjournals.org/JBSA Dear Colleague, The *Journal of Bioinformatics and Sequence Analysis (JBSA)* is a multidisciplinary peer-reviewed journal published that will be monthly by Academic Journals (http://www.academicjournals.org/JBSA). JBSA is dedicated to increasing the depth of the subject across disciplines with the ultimate aim of expanding knowledge of the subject. *Call for Papers* JBSA will cover all areas of the subject. The journal welcomes the submission of manuscripts that meet the general criteria of significance and scientific excellence, and will publish: · Original articles in basic and applied research · Case studies · Critical reviews, surveys, opinions, commentaries and essays We invite you to submit your manuscript(s) to JBSA at acadjourn.org for publication in the Maiden Issue (April 2009). Our objective is to inform authors of the decision on their manuscript(s) within four weeks of submission. Following acceptance, a paper will normally be published in the next issue. Instruction for authors and other details are available on our website; http://www.academicjournals.org/JBSA/Instruction.htm JBSA is an Open Access Journal One key request of researchers across the world is unrestricted access to research publications. Open access gives a worldwide audience larger than that of any subscription-based journal and thus increases the visibility and impact of published works. It also enhances indexing, retrieval power and eliminates the need for permissions to reproduce and distribute content.JBSA is fully committed to the Open Access Initiative and will provide free access to all articles as soon as they are published. Best regards, *Franklyn Monyei* Editorial Assistant Journal of Bioinformatics and Sequence Analysis (JBSA) E-mail: JBSA at acadjourn.org www.academicjournals.org/JBSA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mesfarslim at yahoo.fr Wed Feb 25 20:27:35 2009 From: mesfarslim at yahoo.fr (mesfar slim) Date: Wed, 25 Feb 2009 19:27:35 +0000 (GMT) Subject: NooJ 2009 - 2nd Call for Abstracts (8-10 June 2009, Tozeur, Tunisia) Message-ID: <166492.18576.qm@web27805.mail.ukl.yahoo.com> ********************************************************************  *Second Call for abstracts* NOOJ'09 : Conference & Workshop 08-10 June 2009, Tozeur , Tunisia * * www.miracl.rnu.tn/nooj.  ******************************************************************** *Important Dates* ·         Abstract submission: Mars 15, 2009 ·          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: 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*** * Bilel GARGOURI, FSEG Sfax , Tunisia * Héla FEHRI, FS Sfax , Tunisia * Inès ZALILA, FS Sfax , Tunisia * Kais HADDAR, FS Sfax , Tunisia * Slim MESFAR,  ISI Tunis,Tunisia -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From areces at pluton.loria.fr Wed Feb 25 21:30:20 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Wed, 25 Feb 2009 21:30:20 +0100 Subject: E. W. Beth Dissertation Prize: 2009 call for submissions Message-ID: <200902252030.n1PKUKMd019703@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: Deadline for Submissions: March 16, 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 Feb 25 22:38:30 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Wed, 25 Feb 2009 22:38:30 +0100 Subject: Last Call for Papers HyLo09 Message-ID: <200902252138.n1PLcUv6020855@pluton.loria.fr> *************************************************************** Please excuse for multiple posts and distribute as widely as possible *************************************************************** CALL FOR PAPERS International Workshop on Hybrid Logic 2009 (HyLo 2009) "Conmemorating the Ten Years of HyLo" http://hylo.loria.fr/content/Hylo09 15 - 17 July, 2009 Nancy, France *************************************************************** WORKSHOP PURPOSE: 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 HyLo 2009 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. HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). SUBMISSION DETAILS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Details about the submission procedure will be announced in the second call for papers. The accepted papers will appear in the workshop proceedings, and selected papers will be included in a special volume to conmemorate the 10th aniversary of the first Hybrid Logic Workshop. Please use the HyLo09 submission page at http://www.easychair.org/conferences/?conf=hylo09, handled by the EasyChair conference system, to submit papers. Papers should not exceed 15 pages including references. Authors are required to prepare their submissions in latex, using the conference's style (available at http://hylo.loria.fr/content/Hylo09). Notice that one author for each accepted paper must attend the workshop in order to present the paper. INVITED SPEAKERS: * Melvin Fitting (CUNY) * Ian Hodkinson (Imperial College) * Carsten Lutz (University of Bremen) * Thomas Schneider (University of Manchester) ORGANIZERS: Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr) Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr) PROGRAM COMMITTEE: Carlos Areces (INRIA Nancy Grand Est, co-chair) Patrick Blackburn (INRIA Nancy Grand Est, co-chair) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University) Stephane Demri (LSV Cachan) Santiago Figueira (University of Buenos Aires) Valentin Goranko (University of the Witwatersrand) Ian Hodkinson (Imperial College London) Ulrike Sattler (University of Manchester) Thomas Schneider (University of Manchester) Balder ten Cate (University of Amsterdam) IMPORTANT DATES: Deadline for submissions: Sunday, 1st March 2009 Notification of acceptance: Monday, 30th of March 2009 Deadline for final versions: Friday, 1st of May 2009 Workshop dates: 15 to 17 July, 2009 FURTHER INFORMATION: http://hylo.loria.fr/content/Hylo09 From leucker at in.tum.de Thu Feb 26 07:40:10 2009 From: leucker at in.tum.de (Martin Leucker) Date: Thu, 26 Feb 2009 07:40:10 +0100 Subject: 2nd CfP: ICTAC'09 Message-ID: <20090226064010.GA22334@lapbroy101> Our apology for possible multiple copies. ---------------------------------------------------------------------- ICTAC'09 6th International Colloquium on Theoretical Aspects of Computing *** CALL FOR PAPERS *** Equatorial Hotel Bangi, Malaysia University Kebangsaan Malaysia (UKM) August 16th - 20th 2009 http://www.ictac.net/ictac09/ ---------------------------------------------------------------------- The 6th International Colloquium on Theoretical Aspects of Computing is taking place from the 16th till the 20th of August 2009 in Kuala Lumpur, Malaysia. ICTAC'09 is organized by Abdullah Mohd Zin, Universiti Kebangsaan Malaysia and Jeff Sanders, United Nation University, Institute of Software Technology, Macao. The PC is chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW). Visit http://www.ictac.net/ictac09 for a preliminary web page. About ICTAC 2009 ---------------- ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The main purpose of ICTAC is to bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The previous four ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau (2007) and Istanbul (2008). Workshops --------- The main conference is surrounded by workshops and a summer school. See the web page for more details. Invited Speakers ---------------- Zuohua Ding Zhejiang Sci-Tech University Leslie Lamport Microsoft Annabelle McIver Macquarie University Sriram Rajamani Microsoft Scope ----- Topics include, but are not limited to: * software specification, refinement, verification and testing * model checking and theorem proving * software architectures * coordination and feature interaction * integration of theories, formal and engineering methods and tools * models of concurrency, security, and mobility * parallel, distributed, and internet-based (grid) computing * real-time, embedded and hybrid systems * automata theory and formal languages * principles and semantics of languages * logics and their applications * type and category theory in computer science * case studies, theories, tools and experiments of verified systems * service-oriented architectures: models and development methods * domain modelling and domain-specific technology: examples, frameworks and experience Paper Submissions ----------------- ICTAC 2009 calls for two types of contributions: RESEARCH PAPERS and TOOL DEMONSTRATION PAPERS. Both types of contributions will appear in the LNCS proceedings and have oral presentations at the conference. Papers should be written in English in LNCS format. RESEARCH PAPERS: Research papers should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions reporting on industrial case studies are welcome, and should describe both strengths and weaknesses in sufficient depth. Research papers should be no more than 15 pages. TOOL DEMONSTRATION PAPERS: Tool demonstration papers present tools based on aforementioned theories or fall into the above application areas. Tool demonstration papers allow researchers to stress the technical and practical side, illustrating how one can apply the theoretic contributions in practice. Tool demonstration papers should be no more than 6 pages. As usual, submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Submission constitutes a commitment to attend and present a paper, if accepted. Proceedings of ICTAC 2009 will be published by Springer in the LNCS series. Important Dates --------------- Abstract Submission: 6 April 2009 Submission of Papers: 10 April 2009 Notification of acceptance: 25 May 2009 Final copy for proceedings: 1 June 2009 ICTAC 2009: 16 - 20 August 2009 Committees ---------- General Chair ------------- Abdullah Mohd Zin Universiti Kebangsaan Malaysia Jeff Sanders United Nation University, Institute of Software Technology, Macao Program Chairs -------------- Martin Leucker Technische Universität München, Germany Carroll Morgan University of New South Wales Local Organizing Committee -------------------------- Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson) Nazlia Omar Syahanim Mohd Salleh Program Committee ----------------- Parosh Abdulla Uppsala University, Schweden Keijiro Araki Kyushu University, Japan Farhad Arbab Leids University, The Netherlands Christel Baier Technical University of Dresden, Germany Mario Bravetti Universita di Bologna, Italian Ana Cavalcanti University of York, England Van Hung Dang United Nations University, Macao David Deharbe Federal University of Rio Grande do Norte, Brazil Wei Dong National University of Defense Technology, China Deepak D'Souza Indian Institute of Science, India John Fitzgerald Newcastle Uiversity, England Wan Fokkink Vrije University Amsterdam, The Netherlands Marcelo Frias University of Buenos Aires, Argentina Kokichi Futatsugi JAIST, Japan Paul Gastin LSV/ENS Cachan, France Susanne Graf VERIMAG, France Lindsay Groves Victoria University of Wellington, New Zealand Anne Haxthausen Technical University of Denmark, Denmark Moonzoo Kim KAIST, South Korea Kim G. Larsen Aalborg University, Denmark Insup Lee University of Pennsylvania, USA Martin Leucker TU Munich, Germany Kamal Lodaya Institute of Mathematical Sciences, India Larissa Meinicke Abo Akademi, Finland Ugo Montanari University of Pisa, Italian Carroll Morgan University of New South Wales, Australia Ahmed Patel Universiti Kebangsaan Malaysia, Malaysia Pekka Pihlajasaari Data Abstraction (Pty) Ltd, South Africa Abhik Roychoudhury National University of Singapore, Singapore Hassen Saidi SRI International, USA Augusto Sampaio Universidade Federal de Pernambuco, Brazil Cesar Sanchez IMDEA, Spain Marjan Sirjani University of Tehran, Iran Sofiene Tahar Concordia University, Canada Serdar Tasiran Koc University, Turkey Helmut Veith Technical University Darmstadt, Germany Mahesh Viswanathan University of Illinois at Urbana, USA Tomas Vojnar Brno University of Technology, Czech Republic Ji Wang Zhejiang University, China Jim Woodcock University of York, England Husnu Yenigun Sabanci University, Turkey Naijun Zhan Chinese Academy of Sciences, China Huibiao Zhu East China Normal University, China Steering Committee ------------------ John Fitzgerald University of Newcastle upon Tyne, UK Martin Leucker Technische Universität München, Germany Zhiming Liu (Chair) UNU-IIST, Macao Tobias Nipkow Technische Universität München, Germany Augusto Sampaio Universidade Federal de Pernambuco, Brazil Natarajan Shankar SRI, USA Jim Woodcock University of York, UK From t.dinoia at poliba.it Thu Feb 26 11:20:44 2009 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Thu, 26 Feb 2009 11:20:44 +0100 Subject: CFP EC-WEB 2009 Message-ID: <1235643644.6238.37.camel@tdn-vaio> [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 ==================================================================== !!! 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 16, 2009 - Submission of full papers: March 21, 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 invitation at iariaannounce.org Thu Feb 26 08:48:47 2009 From: invitation at iariaannounce.org (NexComm 2009) Date: Thu, 26 Feb 2009 02:48:47 -0500 (EST) Subject: Last week to submit | NexComm 2009 [ICDT, CTRQ, SPACOMM, MMEDIA] Colmar, France Message-ID: <165228.20288.1235634527703.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 ======= NexComm 2009, July 20-25, 2009 - Colmar/Alsace, France see: http://www.iaria.org/conferences2009/NexComm09.html NexComm 2009 is a federated event focusing on advances topics concerning the areas of digital telecommunications, communications theory and reliability, space communications, and multimedia communications and systems. NexComm 2009 continues the tradition of well-established conferences ICDT, CTRQ, and adds new trends on space communications (SPACOMM) and multimedia (MMEDIA). . Submission (full paper) deadline: February 27, 2009. Submissions must be electronically done using the ?Submit a Paper? button on the entry page of each conference. 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. - ICDT 2009 The Fourth International Conference on Digital Telecommunications http://www.iaria.org/conferences2009/ICDT09.html - SPACOMM 2009 The First International Conference on Advances in Satellite and Space Communications http://www.iaria.org/conferences2009/SPACOMM09.html - CTRQ 2009 The Second International Conference on Communication Theory, Reliability, and Quality of Service http://www.iaria.org/conferences2009/CTRQ09.html - MMEDIA 2009 The First International Conference on Advances in Multimedia http://www.iaria.org/conferences2009/MMEDIA09.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about NexComm, please reply with "DROP NexComm 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 franconi at inf.unibz.it Fri Feb 27 18:52:09 2009 From: franconi at inf.unibz.it (Enrico Franconi) Date: Fri, 27 Feb 2009 18:52:09 +0100 Subject: Postdoc position on Description Logics and Rules in Bozen-Bolzano (Italy) References: <49A6BD9F.7000700@inf.unibz.it> Message-ID: ============================================================ Job: Postdoc position at Free University of Bozen-Bolzano, Italy Duration: 3 years, renewable (by mutual consent) for another 3 years Topics: Knowledge Representation, Description Logics, Rules Language requirement: English Application deadline: 25 March 2009 ============================================================ The KRDB research centre at the Free University of Bozen-Bolzano (http://www.inf.unibz.it/krdb/) seeks applicant for a postdoctoral position. The bulk of the research to be carried out is in the context of the ONTORULE project (http://ontorule-project.eu/), and is concerned with the application of Description Logics to business rules and the combination of production rule and Description Logic formalisms. Both representational adequacy and computational complexity play important roles in such combinations. Candidates must have a strong research record and a solid background in description and/or modal logics. Experience with first-order modal and fixed-point logics, and to a lesser extent experience with active rule languages such as production rules, is considered desirable, but by no means mandatory. ============================================================ How to apply ============================================================ Please fill in the forms A, B and C that may be found at the following locations, and submit them to the address indicated on the forms: http://www.unibz.it/it/organisation/vacancies/research/nonpermanent/default.html?call=614 http://www.unibz.it/de/organisation/vacancies/research/nonpermanent/default.html?call=614 Unfortunately, the forms are only available in Italian and in German. Note that *neither* Italian *nor* German is required for this position. If you intend to apply but do not understand Italian or German (or do not understand the complicated forms), please let Jos de Bruijn know, so that he can help you fill in the forms. If you have any further questions related to the position, please don't hesitate to contact Jos at the address above. From arcoe-09 at aifb.uni-karlsruhe.de Fri Feb 27 22:15:49 2009 From: arcoe-09 at aifb.uni-karlsruhe.de (ARCOE-09) Date: Fri, 27 Feb 2009 22:15:49 +0100 Subject: ARCOE-09 Final Call for Participation Message-ID: <52c479f40902271315g268da52sa5e824ceb4b0ec17@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; IJCAI set workshop dates to July 11-12, 2009 -- 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. - Submission deadline: March 6, 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 areces at loria.fr Sat Feb 28 22:04:57 2009 From: areces at loria.fr (Carlos Areces) Date: Sat, 28 Feb 2009 22:04:57 +0100 Subject: HyLo09: Deadline Extended till 15th March, 2009 Message-ID: <49A9A6F9.8000706@loria.fr> *************************************************************** Please excuse for multiple posts and distribute as widely as possible DEADLINE EXTENDED TILL 15th MARCH, 2009 *************************************************************** CALL FOR PAPERS International Workshop on Hybrid Logic 2009 (HyLo 2009) "Conmemorating the Ten Years of HyLo" http://hylo.loria.fr/content/Hylo09 15 - 17 July, 2009 Nancy, France *************************************************************** WORKSHOP PURPOSE: 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 HyLo 2009 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. HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). SUBMISSION DETAILS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Details about the submission procedure will be announced in the second call for papers. The accepted papers will appear in the workshop proceedings, and selected papers will be included in a special volume to conmemorate the 10th aniversary of the first Hybrid Logic Workshop. Please use the HyLo09 submission page at http://www.easychair.org/conferences/?conf=hylo09, handled by the EasyChair conference system, to submit papers. Papers should not exceed 15 pages including references. Authors are required to prepare their submissions in latex, using the conference's style (available at http://hylo.loria.fr/content/Hylo09). Notice that one author for each accepted paper must attend the workshop in order to present the paper. INVITED SPEAKERS: * Melvin Fitting (CUNY) * Ian Hodkinson (Imperial College) * Carsten Lutz (University of Bremen) * Thomas Schneider (University of Manchester) ORGANIZERS: Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr) Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr) PROGRAM COMMITTEE: Carlos Areces (INRIA Nancy Grand Est, co-chair) Patrick Blackburn (INRIA Nancy Grand Est, co-chair) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University) Stephane Demri (LSV Cachan) Santiago Figueira (University of Buenos Aires) Valentin Goranko (University of the Witwatersrand) Ian Hodkinson (Imperial College London) Ulrike Sattler (University of Manchester) Thomas Schneider (University of Manchester) Balder ten Cate (University of Amsterdam) IMPORTANT DATES: Deadline for submissions: Sunday, 15th March 2009 Notification of acceptance: Friday, 10th of April 2009 Deadline for final versions: Friday, 1st of May 2009 Workshop dates: 15 to 17 July, 2009 FURTHER INFORMATION: http://hylo.loria.fr/content/Hylo09 From jerneja.gros at alpineon.com Thu Feb 26 19:10:07 2009 From: jerneja.gros at alpineon.com (Jerneja Zganec Gros) Date: Thu, 26 Feb 2009 19:10:07 +0100 Subject: unsubscribe In-Reply-To: Message-ID: <002401c9983d$754a4b40$6700a8c0@JERNEJA> unsubscribe From alexander.friedmann at uqam.ca Sat Feb 28 02:09:46 2009 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Fri, 27 Feb 2009 20:09:46 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Fri, Feb 27, 2009 at 6:04 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From friedmann.alexander at uqam.ca Sat Feb 28 08:23:53 2009 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Sat, 28 Feb 2009 02:23:53 -0500 (EST) Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Sat, 28 Feb 2009, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > 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