From bcseet at ieee.org Mon Jun 1 05:35:00 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Mon, 1 Jun 2009 15:35:00 +1200 Subject: CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence Message-ID: <007201c9e269$f3bb1f60$7ff65a79@yourbbc104cd11> --------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Call for Papers Sensors are windows to the physical world for ambient intelligence (AmI) applications. The recent emergence of networked sensors as a result of rapid advances in sensor technologies and wireless networks, have set the stage for the realization of smart environments where unobtrusive sensors, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring to humanistic and social endevours such as health and elderly care service provisioning. Following the success of the first SeNAmI at PDCAT 2008 in Dunedin, New Zealand, this workshop once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based ambient intelligence systems. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative sensor localization and target tracking - Context-aware reasoning and inference for sensor/RFID-based systems - Cross-layer design and optimization of sensor-based AmI systems - Intelligent agents for autonomous sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Security, trust, and privacy for autonomous smart spaces - Nature or bio-inspired designs for ambient sensing and intelligence - AmI architectures, platforms, applications, and services - Prototype or testbed implementation and deployment trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society proceedings guidelines to prepare your papers. Maximum page length will be limited to 6 pages. Accepted papers will be included in the conference proceedings of PDCAT'09, which will be published by IEEE Computer Society and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by IEE INSPEC, EI (Compendex), and Thomson ISI. Extended version of selected best papers will be considered for publication in a refereed international journal (TBA). Important dates Paper submission due : July 1, 2009 Acceptance notification : August 10, 2009 Camera-ready due : September 1, 2009 Workshop date : TBA For further details, please visit: http://senami.aut.ac.nz From MFisher at liverpool.ac.uk Mon Jun 1 10:14:50 2009 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Mon, 01 Jun 2009 09:14:50 +0100 Subject: CFP: Computational Logic in Multi-Agent Systems workshop Message-ID: <4A238DFA.5040509@liverpool.ac.uk> /-----------\ | CLIMA-X | \-----------/ 10th International Workshop on Computational Logic in Multi-Agent Systems Hamburg, Germany 9th-10th September, 2009 [ http://jadex.informatik.uni-hamburg.de/mates/bin/view/CLIMA/Home ] OVERVIEW -------- The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) will be held in Hamburg, Germany on the 9th and 10th September. CLIMA-X will be co-located with the 7th German Conference on Multi Agent System Technologies (MATES); see http://jadex.informatik.uni-hamburg.de/mates Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Finally, note that CLIMA-X will also incorporate the results of this year's Multi-Agent Contest (see http://www.multiagentcontest.org). TOPICS ------ Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * logical foundations * extensions of logic programming * modal logic approaches * logic-based programming languages * non-monotonic reasoning * decision theory * hypothetical reasoning and learning * knowledge and belief representation and updates * operational semantics and execution agent models * model checking approaches using (multi-)agent logics * semantics of interaction and agent communication languages * distributed constraint satisfaction * temporal reasoning * distributed theorem proving * logic-based implementations * specification and verification of formal properties SUBMISSIONS ----------- We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. Submissions must be made via http://www.easychair.org/conferences/?conf=clima10 Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. A selection of extended workshop papers will be published in a Post-Proceedings volume within the Springer Verlag LNAI series, as in previous years; see http://centria.di.fct.unl.pt/~clima IMPORTANT DATES --------------- Submission Deadline: 22nd June 2009 Notification: 16th July 2009 Camera Ready Copy Due: 10th August 2009 CLIMA X: 9th-10th September 2009 WORKSHOP CO-CHAIRS ------------------ Juergen Dix (Clausthal, DE) Michael Fisher (Liverpool, UK) Peter Novak (Clausthal, DE) PROGRAMME COMMITTEE ------------------- Thomas Agotnes (Bergen, NO) Natasha Alechina (Nottingham, UK) Jose Julio Alferes (Lisbon, PT) Rafael Bordini (Durham, UK) Gerhard Brewka (Leipzig, DE) Keith Clark (Imperial, UK) Stefania Costantini (L'Aquila, IT) Mehdi Dastani (Utrecht, NL) Juergen Dix (Clausthal, NL) Louise Dennis (Liverpool, UK) Chiara Ghidini (Trento, IT) James Harland (RMIT, AUS) Hisashi Hayashi (Toshiba, JP) Koen Hindriks (Delft, NL) Wiebe van der Hoek (Liverpool, UK) Katsumi Inoue (NII, JP) Wojtek Jamroga (Clausthal, DE) Viviana Mascardi (Genoa, IT) Paola Mello (Bologna, IT) John-Jules Meyer (Utrecht, NL) Leora Morgenstern (Stanford, USA) Naoyuki Nide (Nara, JP) Mehmet Orgun (Macquarie, AUS) Maurice Pagnucco (NSW, AUS) Jeremy Pitt (Imperial, UK) Enrico Pontelli (New Mexico, USA) Chiaki Sakama (Wakayama, JP) Renate Schmidt (Manchester, UK) Tran Cao Son (New Mexico, USA) Kostas Stathis (RHUL, UK) Michael Thielscher (Dresden, DE) Marina de Vos (Bath, UK) Cees Witteveen (Delft, NL) ----------------------------------------------------- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- From nza at Cs.Nott.AC.UK Mon Jun 1 12:07:13 2009 From: nza at Cs.Nott.AC.UK (Natasha Alechina) Date: Mon, 01 Jun 2009 11:07:13 +0100 Subject: CFP: Workshop on Formal Approaches to Ubiquitous Systems Message-ID: <4A23A851.1060006@cs.nott.ac.uk> Call for contributed talks/abstracts Workshop on Formal Approaches to Ubiquitous Systems (FAUSt 2009) London, 14-15 September 2009 A key challenge in ubiquitous computing is identifying and developing appropriate formal approaches for understanding, designing and implementing ubiquitous systems. However applications which must interact with heterogeneous devices in multiple contexts and/or whose implementation may span multiple devices with widely differing resource constraints pose significant difficulties for current analysis, design and verification methodologies. While some of these issues have been addressed in previous work, their combination and interaction presents significant new challenges. The workshop aims to bring together researchers from the ubiquitous computing and formal methods communities to determine how the current state of the art in formal methods can be applied to ubiquitous computing, and to map out key research questions and future directions for formal approaches to ubiquitous systems. Topics of interest include (but are not limited to): * what sorts of (formal) system properties are of interest to the ubicomp community; * what sorts of formal models and techniques are appropriate for modelling context, mobility and resource constraints; * which verification techniques are appropriate for ubiquitous systems The two day workshop would feature a mixture of invited talks and submitted contributions describing current work or work in progress in ubiquitous computing; applications of formal analysis to some aspect of ubiquitous computing or similar systems (e.g. verification of sensor networks); and other formal approaches which are likely to be relevant (e.g., logics of resource bounds, context logics, verification of mobile or real time systems). In addition, there would be a panel session to identify possible synergies (and collaborations) in current work and to map out key questions for future research. We have preliminary confirmation from the following invited speakers: Muffy Calder (Glasgow) Michael Fisher (Liverpool) Marta Kwiatkowska (Oxford) Derek McAulay (Nottingham/Cambridge) Robin Milner (Edinburgh/Cambridge) Alessandra Russo (Imperial) We invite the submission of two-page extended abstracts about recent work or work in progress. The abstract can describe work that has already been published elsewhere. Limited bursaries are available to support the attendance of PhD students. Important Dates: Abstract submission: 27 July 2009 Notification of acceptance/rejection: 10 August 2009 Version for informal proceedings: 31 August 2009 Workshop: 14-15 September 2009 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 C.Orasan at wlv.ac.uk Wed Jun 3 01:38:47 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Wed, 03 Jun 2009 00:38:47 +0100 Subject: CFP: Events in Emerging Text Types (eETTs) - extended deadline Message-ID: <1243985927.19155.5.camel@dinel-desktop> **************************************************************************** Call for Papers: Events in Emerging Text Types (eETTs) Held in conjunction with the Recent Advances in Natural Language Processing (RANLP 2009) 18th September 2009, Borovets, Bulgaria http://clg.wlv.ac.uk/events/eETTs/index.php Contact Email: eETTs2009 at dinel.org.uk Extended deadline: 20 June 2009 **************************************************************************** AIMS The proliferation of the Internet has revolutionised the way information is disseminated and presented. Blogs no longer only relay and comment on news stories but also influence what is talked about in the news. Such changes have not gone unnoticed by the computational linguistics research community, who are increasingly processing or exploiting blogs in an attempt to keep track of what is going on and mine information. This workshop will focus on how events can be identified and how information related to event processing (e.g. NP coreference, temporal processing) can be extracted from blogs. Emphasis will be on how existing methods for event processing need to be adapted in order to process this medium, and on linguistic differences in the reporting of events in blogs and more traditional news texts. Extensions of this research to text types from other collaborative environments such as wikis, fora, chats and social networks are also welcomed. Event detection and processing is not a new topic in computational linguistics, but until now it has focused mainly on processing of newswire. The TimeBank corpus (Pustejovsky et. al. 2003), the AQUAINT TimeML corpus, and the NP4E corpus (Hasler, Orasan and Naumann 2006) exclusively contain newswire, which may make them inappropriate for the development of methods which need to process other text types. This workshop will give researchers the opportunity to present efforts to develop resources related to event identification and processing using blog entries. In addition, papers describing annotation guidelines and linguistic analyses of such resources are encouraged, including comparisons with annotations of more traditional text types. The informal style and structure of most blog entries makes event detection in these documents a difficult task. This workshop will encourage submission of papers that develop new methods for event identification or test existing ones on blog entries. The fact that the same event is usually reported in several entries, in many instances containing contradictory information, makes cross-document event coreference identification a more challenging task. Researchers are encouraged to submit papers presenting such methods. Of particular interest are papers detailing methods to identify subjective or objective ways of presenting an event or to detect contradictory reporting of the same event. The workshop is not restricted only to event processing. Papers on topics related to event processing, such as the identification of entities and temporal processing and reasoning are also encouraged. Submissions about NLP applications that exploit event identification such as summarisation of events in blogs, question answering about events described in collaborative environments (e.g. Wikipedia) or opinion mining related to events are also invited. TOPICS Original papers in three main areas are expected: Linguistics * linguistic representation and function of different kinds of information (e.g. opinion/subjectivity/objectivity) * discourse structure related to the presentation of events within and across blog entries * annotation of events in corpora of blogs * extension/adaptation of 'traditional' annotation of news texts for blog entries * description of resources encoding information relevant to this workshop Methods for event processing or necessary for event processing * event identification in blogs * contradictory information regarding the same events (cross-document NP and event coreference) * entity tracking across blog entries * identification, representation and reasoning about time in blogs * evaluation of event identification methods trained on newswire vs blogs NLP methods and applications that use information about events * summarisation of events from blogs * opinion mining and analysis in blogs vs newswire * identification of objective and subjective information in blogs vs newswire * commercial systems which process events in blogs Although we only explicitly mention blogs, research on text types from other collaborative environments such as wikis, fora, chats and social networks will also be considered. INVITED SPEAKER Prof. Mike Thelwall, University of Wolverhampton, UK SUBMISSION GUIDELINES Authors are invited to submit three types of papers: full papers which describe original and unpublished work in the topic area of this workshop, posters which describe work in progress, and demos which describe full working systems, and which, if accepted, will be presented at a special session accompanied by live demo. Papers should be submitted as a PDF file, formatted according to the RANLP 2009 stylefiles and not should not exceed 8 pages for full papers and 4 pages for posters and demos. The RANLP 2009 stylefiles are available at: http://lml.bas.bg/ranlp2009/submissions.htm. As reviewing will be blind, the papers should not include the authors' names and affiliations. Furthermore, self-references that reveal the authors' identities should be avoided. Papers that do not conform to these requirements will be rejected without review. Submission of papers will be handled using the START system. More information available at: http://clg.wlv.ac.uk/events/eETTs/submission.php Each submission will be reviewed at least by two members of the Program Committee. Reviewers will be asked to provide detailed comments, and to score submitted papers on the following factors: * Relevance to the workshop * Significance and originality * Technical/methodological accuracy * References to related work * Presentation (clarity, organisation, English) Accepted papers will be published in the workshop proceedings. By submitting a paper at the workshop the authors agree that, in case the paper is accepted for publication, at least one of the authors will attend the workshop; all workshop participants are expected to pay the RANLP-2009 workshop registration fee. IMPORTANT DATES * Paper submission deadline: June 20, 2009 (extended deadline) * Paper acceptance notification: July 27, 2009 * Camera-ready papers due: August 24, 2009 * Workshop date: September 18, 2009 PROGRAM COMMITTEE: * Alexandra Balahur, Alicante University, Spain * Carmen Banea, University of North Texas, USA * Sabin-Corneliu Buraga, Al.I. Cuza University of Iasi, Romania * Di Cai, University of Wolverhampton, UK * Andras Csomai, Google * Iustin Dornescu, University of Wolverhampton, UK * Erhard Hinrichs, Tubingen University, Germany * Veronique Hoste, University College Gent, Belgium * Radu Ion, Research Institute for AI, Romanian Academy * Rafael Munoz, University of Alicante, Spain * Vivi Nastase, EML Research, Germany * Nicolas Nicolov, Umbria Inc, USA * Georgios Paltoglou, University of Wolverhampton, UK * Livia Polanyi, Powerset/Microsoft, USA * Irina Prodanof, ILC-CNR, Pisa, Italy * Mark Rogers, Market Sentinel, UK * Doina Tatar, "Babes-Bolyai" University, Romania WORKSHOP CHAIRS: * Constantin Orasan, University of Wolverhampton, UK * Laura Hasler, University of Wolverhampton, UK * Corina Forascu, Al.I. Cuza University of Iasi, Romania -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From iswc2009publicity at covad.net Wed Jun 3 03:24:28 2009 From: iswc2009publicity at covad.net (iswc2009publicity) Date: Tue, 02 Jun 2009 21:24:28 -0400 Subject: ISWC 2009: 2nd Call for Papers Message-ID: <4A25D0CC.5090804@covad.net> 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, Nova Spivack, Radar Networks and Tom Mitchell, Carnegie-Mellon University. ISWC 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, ISWC 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, and Tutorials (Workshops is now closed). 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 ISWC 20009 for conference details and http://iswc2009.semanticweb.org/wiki/index.php/ISWC_2009_Calls for specifics on calls for papers. =========================================== ISWC 2009 Research Track -- Call for Papers =========================================== The most important information first ------------------------------------ Deadlines: - Abstracts: Monday, June 8, 23:59 (11:59pm) Hawaii time - Papers: Sunday, June 21, 23:59 (11:59pm) Hawaii time Detailed submission information is now available at: http://iswc2009.semanticweb.org/wiki/index.php/Submission_instructions The submission system is now open at https://precisionconference.com/~semantic/ . Please read the submission instructions before submitting a paper. General Information =================== 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 of interest include, but are not limited to: - User Interfaces - Interacting with Semantic Web data - Semantic Web content creation and annotation - Mashing up Semantic Web data and processes - Novel interaction paradigms aimed at linked data - Semantic web applications to Web-2.0 sites - Natural Language Interfaces - Information Visualization - Data Semantics and Ontologies - Beyond Description Logic: New formalisms for semantics (such as probabilistic approaches) - Lightweight semantics (linked data, microformats, etc). - Ontology modeling, reuse, extraction, and evolution - Ontology mapping, merging, and alignment - Searching and ranking ontologies - Ontology evaluation - Applications of the Semantic Web - Applications with clear lessons learned or evaluations - Semantic Web for large scale applications, desktops or personal information management - Semantic Web technologies for multimedia, sensors, and situational awareness - Semantic Web technologies for P2P, services, agents, grids and middleware - Semantic Web technologies for software and systems engineering - eGovernment - Mobile Semantic Web - Semantic Web technologies for life sciences and healthcare - Management of Semantic Web Data - Languages, tools and methodologies for representing and managing Semantic Web data - Database, IR and AI technologies for the Semantic Web - Search, query, integration, and analysis on the Semantic Web - Robust and scalable knowledge management and reasoning on the Web - Machine learning and information extraction for the Semantic Web - Cleaning, assurance, trust, provenance of Semantic Web data, services and processes - Principles & Applications of very large semantic data bases - Semantic Wikis - Social Semantic Web - Social networks and processes on the Semantic Web - Semantic Web technologies for collaboration and cooperation - 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 Precision Conference 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! Detailed submission instructions are available now. 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, 23:59 (11:59pm) Hawaii time - Submissions due: Sunday, June 21 23:59 (11:59pm) Hawaii time - Rebuttal phase: July 15 - July 20 - Notification: August 4 - Camera ready: To be determined Program Committee ================= - Chairs - Abraham Bernstein, Switzerland - David Karger, USA - Vice Chairs - Ed Chi - Phillip Cimiano - Claudia d'Amato - Stefan Decker - Steven Drucker - Jerome Euzenat - Jennifer Golbeck - Claudio Gutierrez - Siegfired Handschuh - David Huynh - Georg Lausen - Thomas Lukasievicz - David Martin - Peter Mika - Natahsa Noy - Bijan Parsia - mc shraefel - Umberto Straccia - Heiner Stuckenschmid ===================================== 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 21, 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 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 - Posters & Demonstrations ============================================= 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 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 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 • Evaluations of Semantic Web technologies • Semantic Web for e-business, e-science, e-government, and other application domains • Semantic Web technologies for multimedia content • Personal Information Management • Management of Semantic Web Data • Languages, tools and methodologies for representing and managing Semantic Web data • Database technologies for the Semantic Web • Search, query, and visualization of the Semantic Web • Robust and scalable knowledge management and reasoning on the Web • Machine learning and human language technologies for the Semantic Web • Semantic Web content creation, annotation, and extraction • Ontologies • Ontology creation, extraction, and evolution • Ontology mapping, merging, and alignment • Evaluation and tanking of ontologies • Ontology search • Semantic Web Architecture • Semantic Web middleware • Semantic Web services • Agents on the Semantic Web • Semantics in peer-to-peer systems and grids • Social Semantic Web • Social networks and processes on the Semantic Web • 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 t 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 ------ o Jennifer Golbeck, University of Maryland, College Park, USA, jgolbeck at umd.edu o Marta Sabou, The Open University, UK, r.m.sabou at open.ac.uk From ksatoh at nii.ac.jp Wed Jun 3 07:49:20 2009 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Wed, 3 Jun 2009 14:49:20 +0900 Subject: CFP: Third International Workshop on Juris-informatics (JURISIN 2009) Message-ID: <63520B0CE22F474193970B5383809DCF@niiNH26C> Third International Workshop on Juris-informatics (JURISIN 2009) http://research.nii.ac.jp/~ksatoh/jurisin2009.html Nov. 19-20, 2009 Campus Innovation Center Tokyo, Tokyo, Japan with a support of The Japanese Society for Artificial Intelligence. Important Dates Submission Deadline: September 14, 2009 Notification: October 5, 2009 Camera Ready Copy due: October 12, 2009 JURISIN 2009: November 19-20, 2009 Aims and scope Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. Topics Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law Submissions We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form , which can be obtained from http://www.springeronline.com, and not exceed 10 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form and submit it to the designated page which will be announced later. If a paper is accepted, at least one author of the paper must register the workshop and present it. Proceedings A printed volume of the proceedings with ISBN will be available at the workshop. Post Proceedings We are now negotiating with Springer Verlag about publishing selected papers of the workshop as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the first and the second workshops have been published as volumes of LNAI4914 and LNAI5447 respectively. Financial Support for Students We have some budget for partial economical support for traveling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2009. The support is at most 200,000 yen for each students, and the actuall support might vary based on the number of applicants and where students come from. Please contact Ken Satoh (ksatoh at nii.ac.jp) for details. Workshop Chair Seiichiro Sakurai, Meiji Gakuin University, Japan Programme Committee Members Kevin Ashley, University of Pittsburgh, USA Trevor Bench-Capon, University of Liverpool, UK Phan Minh Dung, AIT, Thailand Aditya Ghose, University of Wollongong, Australia Guido Governatori, University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Henry Prakken, University of Utrecht & Groningen, The Netherlands Giovanni Sartor, European University Institute, Italy Ken Satoh, National Institute of Informatics and Sokendai, Japan Hajime Sawamura, Niigata University, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Takahira Yamaguchi, Keio University, Japan John Zeleznikow, Victoria University, Australia For any inquiry, please send it to "jurisin2009 at nii.ac.jp". From ch.lange at jacobs-university.de Wed Jun 3 08:31:55 2009 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Wed, 3 Jun 2009 08:31:55 +0200 Subject: Deadline Extension "Knowledge and Experience Management" (FGWM), Darmstadt, Sept. 21-23 Message-ID: <200906030831.55468.ch.lange@jacobs-university.de> FGWM 2009 - Deadline Extension (new date: June 15; notification July 13) Workshop "Knowledge and Experience Management" of the knowledge management working group http://lwa09.informatik.tu-darmstadt.de/bin/view/WM/WebHomeEnglish German Version: Workshop "Wissens- und Erfahrungsmanagement" der Fachgruppe Wissensmanagement http://lwa09.informatik.tu-darmstadt.de/bin/view/WM/WebHome This workshop takes place in the context of the meeting of the knowledge management working group (http://www.fgwm.de) of the German society of computer science (GI) and is to make an interdisciplinary forum available both for scientists and practitioners. The exchange of innovative ideas and practical applications in the field of knowledge and experience management is the desired goal of this workshop. Therefore submissions from the current research out of these and adjacent areas are welcome. Moreover, contributions that describe work in progress or approaches that have not yet been investigated comprehensively, thus having a provisional character, are of interest. The latter should, however, be described sufficiently clearly and in a structured way, in order to serve as a basis for interesting discussions among the participants. *Topics of Interest*: * Experience/knowledge search and knowledge integration approaches (case-based reasoning, logic-based approaches, text-based approaches, semantic portals/wikis/blogs, Web 2.0, etc.) * Applications of knowledge and experience management (corporate memories, e-commerce, design, tutoring/e-learning, e-government, software engineering, robotics, medicine, etc.) * (Semantic) Web Services for knowledge manangement * Agile approaches within the knowledge management domain * Agent-based & Peer-to-Peer knowledge management * Just-in-time retrieval and just-in-time knowledge capturing * Ways of knowledge representation (ontologies, similarity, retrieval, adaptive knowledge, etc.) * Support of authoring and maintenance processes (change management, requirements tracing, (distributed) version control, etc.) * Evaluation of knowledge management systems * Practical experiences ("lessons learned") with IT aided approaches * Integration of knowledge management and business processes ---+ Important Dates (all times CEST) * Submission of papers: 15th June 2009 * Notification of acceptance: 13th July 2009 * Camera ready copies due: 27th July 2009 * Workshop: 21st to 23rd September 2009 ---+ Submissions All papers submitted to the workshop will be reviewed. Submission is electronic in PDF format via the EasyChair system [http://www.easychair.org/conferences/?conf=fgwm08]. Submitted papers must conform to the LWA style (see homepage). Submitted papers should not exceed 8 pages. In case of questions do not hesitate the organizers. You may also present work that has already been published elsewhere. In that case, we ask for a one-page abstract referring to the original publications. ---+ Organizers * Christoph Lange [http://kwarc.info/clange/], Jacobs University Bremen * Jochen Reutelshöfer [http://www.is.informatik.uni- wuerzburg.de/staff/reutelshoefer_jochen/], University of Würzburg ---+ Programme Committee * Klaus-Dieter Althoff, Universität Hildesheim * Ralph Bergmann, Universität Trier * Rainer Schmidt, Universität Rostock * Mirjam Minor, Universität Trier * Markus Nick, empolis GmbH * Ioannis Iglezakis, Universität von Thessaloniki * Steffen Staab, Universität Koblenz-Landau * Joachim Baumeister, Universität Würzburg * Michael Kohlhase, Jacobs-Universität Bremen * Ulrich Reimer, University of Applied Sciences St. Gallen * Thomas Roth-Berghofer, DFKI -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 198 bytes Beschreibung: This is a digitally signed message part. URL : From jeanneret at ifi.uzh.ch Wed Jun 3 11:13:12 2009 From: jeanneret at ifi.uzh.ch (Cedric Jeanneret) Date: Wed, 3 Jun 2009 11:13:12 +0200 Subject: CfP - 4th International Workshop Models@run.time 2009 Message-ID: ------------------------ CALL FOR PAPERS ------------------------ 4th International Workshop Models at run.time 2009 http://www.comp.lancs.ac.uk/~bencomo/MRT/ In conjunction with MODELS Conference, Denver, Colorado, USA October 2009 http://modelsconference.org/ Important Dates: Submission deadline: ---> Wednesday August 06th <--- Notification of acceptance: TBA (before early registration deadline at MODELS09) Workshop at MODELS: TBA (in any case it will be during 4-6 October 2009) Motivation We are witnessing the emergence of new classes of application that are highly complex, inevitably distributed, and operate in heterogeneous and rapidly changing environments. Examples of such applications include those from pervasive and Grid computing domains. These systems are required to be adaptable, flexible, reconfigurable and, increasingly, self-managing. Such characteristics make systems more prone to failure when executing and thus the development and study of appropriate mechanisms for runtime validation and monitoring is needed. In the model-driven software development area, research effort has focused primarily on using models at design, implementation, and deployment stages of development. This work has been highly productive with several techniques now entering the commercialisation phase. The use of model- driven techniques for validating and monitoring run-time behaviour can also yield significant benefits. A key benefit is that models can be used to provide a richer semantic base for run-time decision-making related to system adaptation and other run-time concerns. For example, one can use models to help determine when a system should move from a consistent architecture to another consistent architecture. Model-based monitoring and management of executing systems can play a significant role as we move towards implementing the key self-* properties associated with autonomic computing. Goal The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We build on the previous events where we have succeeded in building a community and bringing about an initial exploration of the core ideas ofModels at run.time and now seek: - experiences with actual implementations of the concept - rationalisation of the various concepts into overall architectural perspectives - to make explicit the specific roles that models play at runtime - impact on software engineering methodologies - to continue to assemble a network of researchers in this emerging area, building on the results of the earlier editions. Workshop Format The workshop participants will be selected based on their experience and ideas related to this new and emerging field. You are invited to apply for attendance by sending a paper (8-10 pages) in PDF or PS The paper must conform to the Springer LNCS formatting guidelines: http://www.springer.com/computer/lncs (it is the same format of the Conference, see conference website for more information). Submissions will be reviewed by at least 3 PC members. The authors will be notified about acceptance before the MODELS 2009 early registration deadline. Candidates for best papers (if finally chosen) can be just taken from the category of full-papers. A primary deliverable of the workshop is a report that clearly outlines (1) the research issues and challenges in terms of specific research problems in the area, and (2) a synopsis of existing model-based solutions that target some well-defined aspect of monitoring and managing the execution of systems. Potential attendees are strongly encouraged to submit position papers that clearly identify research issues and challenges, present techniques that address well-defined problems in the area, and are supported by small demos. The workshop aims to: - Integrate and combine research ideas from the areas cited above. - Provide a "state-of-the-research" assessment expressed in terms of research issues, challenges, and accomplishments. This assessment can be used to guide research in the area. - Continue to build a network of researchers in this area, building on the previous editions. - Plan and promote further events on these topics. We strongly encourage authors to address the following topics. Labelled research topics with (*) are crucially important: - What a runtime model looks like and how does it evolve? (*) - How can runtime models be maintained? (*) - How can runtime models be validated? - What abstractions over runtime phenomena are useful? - How are the abstractions tied to the types of adaptations supported? (*) - How do these abstractions evolve over time? (*) - Are new abstractions created during runtime? (*) - How are the causal relationships with executing code realized? (*) - What is the role of reflection in maintaining the causal connection between models and runtime system? - The relevance and suitability of different model-driven approaches to monitoring and managing systems during runtime - Examples of how models can be used to validate and verify the behaviour of the system at runtime (*) - Compatibility (or tension) between different model-driven approaches - How do models at other phases of the SE lifecycle relate to the corresponding runtime models? - Small demos and tools that support the use of models at run.time (*) Dynamics of the workshop We always like to innovate in the kind of discussions during the workshop. Last year we had a successful panel with a mix of invited experienced professionals of the area. We have also used the role of second readers and discussant of papers. We hope to keep the dynamic of the discussions this year. See the web site http://www.comp.lancs.ac.uk/~bencomo/MRT/ for more info about earlier editions and their results. Organizing Committee Nelly Bencomo (main contact) Gordon Blair Computing Department Lancaster University, UK Robert France Computer Science Department Colorado State University, USA Freddy Munoz INRIA, France (Submissions) Cedric Jeanneret University of Zurich, Switzerland (Publicity) Program Committee Betty Cheng Michigan State University, USA Danilo Ardagna Politecnico di Milano, Italy Peter J. Clarke Florida International University, USA Fabio M. Costa Federal University of Goias, Brazil Anthony Finkelstein UCL, UK Franck Fleurey SINTEF, Norway John Georgas NAU, USA Jeff Gray UAB, USA Oystein Haugen SINTEF, Norway Jozef Hooman ESI, The Netherlands Gang Huang Peking University, China Paola Inverardi University of L'Aquila Jean-Marc Jezequel Triskell Team, IRISA, France Rui Silva Moreira UFP, INESC Porto, Portugal Flavio Oquendo University of Brittany , France Arnor Solberg SINTEF, Norway Thais Vasconcelos Batista UFRN, Brazil More information at http://www.comp.lancs.ac.uk/~bencomo/MRT/ Cedric Jeanneret Department of Informatics, University of Zurich, Switzerland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From heymans at kr.tuwien.ac.at Thu Jun 4 08:29:53 2009 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Thu, 4 Jun 2009 08:29:53 +0200 Subject: PhD Position at Vienna University of Technology Message-ID: The Knowledge-Based Systems Group (http://www.kr.tuwien.ac.at/) at the Vienna University of Technology (http://www.tuwien.ac.at/) is looking for excellent PhD candidates. The PhD candidate will work in the area of the integration of ontologies and rules, in particular the inconsistency management of such combinations. The candidate should have: - a Master's degree in Mathematics or Computer Science - a strong background in Logic Programming and its applications - a background in other Knowledge Representation paradigms such as Description Logics - a willingness to travel to project meetings and to work on project deliverables - a willingness to work in an international team - good proficiency in English The position is estimated to start as soon as possible and will run until the end of 2011 with the possibility for an extension; the salary will depend on the experience of the candidate and will be according to Austrian guidelines (http://www.fwf.ac.at/de/projects/personalkostensaetze_2008.html). The candidate is expected to work towards a PhD degree in Computer Science. We encourage interested candidates to send their resume, list of publications, and digital versions of their most relevant work to Dr. Stijn Heymans heymans at kr.tuwien.ac.at The Knowledge-Based Systems group is lead by Prof. Dr. Thomas Eiter and has a strong expertise in areas such as Knowledge Representation and Reasoning, Computational Logic and Complexity, and Declarative Problem Solving. For more information, see http://www.kr.tuwien.ac.at/. From hr at sti2.at Thu Jun 4 16:15:00 2009 From: hr at sti2.at (HR) Date: Thu, 04 Jun 2009 16:15:00 +0200 Subject: Job ad: Scientific Employee In-Reply-To: <4A0933D9.4090109@sti2.at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> Message-ID: <4A27D6E4.1010401@sti2.at> Dear All, STI Innsbruck, University of Innsbruck is currently seeking candidates for the position: Scientific Employee More Information on the job and application procedure can be found at http://orawww.uibk.ac.at/public_prod/owa/karriereportal.karriere_detail?asg_id_in=5649 Best Regards, HR STI Innsbruck Technikerstraße 21a 6020 Innsbruck Austria Tel.+435125076484 From alessandra.mileo at disco.unimib.it Thu Jun 4 17:15:03 2009 From: alessandra.mileo at disco.unimib.it (Alessandra Mileo) Date: Thu, 4 Jun 2009 17:15:03 +0200 Subject: DEADLINE EXTENSION: LPNMR Workshop on Logic-Based Interpretation of Context: Modelling and Applications (Log-IC) Message-ID: <67C8C2A8-7D6E-450F-BEE2-01EEA5D4E957@disco.unimib.it> [Apologies for cross-postings of this CFP. Please send to interested colleagues and students] --------------------------------------------------------------------------------------------------------------------------------------------------------- 2nd Call for Papers and DEADLINE EXTENSION Log-IC 2009 First International Workshop on Logic-Based Interpretation of Context: Modelling and Applications http://www.nomadis.unimib.it/flex/cm/pages/ServeBLOB.php/L/EN/IDPagina/227 In conjunction with LPNMR 2009 http://www.cs.uni-potsdam.de/lpnmr09/ Potsdam, Berlin 14-19 September 2009 NEW SUBMISSION DEADLINE: 19th June 2009 --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration. As well, the theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning with more recently emerging areas such as ontologies, including the semantic web, and approaches to belief change. While implemented context-representation models are generally domain-dependent and do not support powerful inference, declarative logic-based models fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge- or databases. The incompleteness and heterogenous nature of such data and the need for state-based context interpretation in dynamic systems suggest that nonmonotonic reasoning techniques can be a powerful tool for effective context-dependent reasoning. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite proposals that assume hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts. --------------------------- Objectives --------------------------- This workshop will provide a forum for researchers investigating context-aware applications and context-based reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2009 will also propose targeted discussions on the topic. Holding the workshop in conjunction with LPNMR has the additional advantage of reaching out to the logic programming community, facilitating collaboration between different formalisms for context- based reasoning and enhancing nonmonotonicity combined or compared with other approaches to context interpretation. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modelling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Ontologies and nonmonotonig reasoning in context representation - Hybrid formalisms for reasoning within (distributed) contexts - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications: Independent-Living Systems, Activity Monitoring, Smart Environments, Context-Based Interaction --------------------------- Submissions --------------------------- Submitted papers will be peer-reviewed and must be formatted according to the Springer LNCS/LNAI format. Regular papers (included application papers) should not exceed 8 pages overall. The limit for short papers and system descriptions is 4 pages in the same format. To submit a paper, send the PDF version of the paper to both Program Chairs. Proceedings will be published online after the workshop. --------------------------- Important dates --------------------------- Paper submissions: 19th June 2009 Notification of Acceptance: 24th July 2009 Workshop: 14-18 September 2009 (exact date to be determined) ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy James P. Delgrande School of computing Science Simon Fraser University Burnaby, Canada Davide Merico Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Alessandra Latini Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Program Chairs: Alessandra Mileo, University of Milan-Bicocca, Italy, email: alessandra.mileo at disco.unimib.it James P. Delgrande, Simon Fraser University, Canada, email: jim at cs.sfu.ca Program Committee: - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Stefania Bandini, University of Milan-Bicocca, Italy - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Amedeo Cesta, ISTC-CNR, Rome, Italy - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, Department of Mathematics, University of Calabria - Stijn Heymans, Vienna University of Technology, Austria - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Alessandra Mileo, University of Milan-Bicocca, Italy - Pascal Nicolas, University of Angers, France - Axel Polleres, University of Galway, Ireland - Torsten Schaub, University of Potsdam, Germany - Hans Tompits, Vienna University of Technology, Austria - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria ----------------------------------------------------------- Dr. Alessandra Mileo Research Assistant, Nomadis Lab. Dept. of Informatics, Systems and Communication University of Milan-Bicocca, Italy email: alessandra.mileo at disco.unimib.it email: alessandra.mileo at nomadis.unimib.it tel: +39 02 6448 7887 ----------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From g.akmayeva at icitst.org Fri Jun 5 23:03:02 2009 From: g.akmayeva at icitst.org (g.akmayeva at icitst.org) Date: Fri, 05 Jun 2009 23:03:02 +0200 Subject: Call for Papers: ELS-2009! Message-ID: <3088039.90161244235782499.JavaMail.servlet@kundenserver> Apologies for cross-postings. Please send this Call for Papers to your colleagues, faculty members and postgraduate students. Thanks! Workshop on E-Learning Security (ELS-2009) in conjunction with The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009) Technical Co-Sponsored by IEEE UK/RI Communication Section November 9-12, 2009, London, UK (www.icitst.org) Objectives The aim of the ELS-2009 Workshop is to bring together researchers and practitioners interested in E-Learning Security and to discuss the latest advanced technologies in this area. This workshop is expected to stimulate discussions about the future development of appropriate models, methods, and tools for building E-Learning Security. Topics of Interest include but are not limited to: • Security and Privacy in E-Learning • Security Issues on E-Learning Assessments • E-Learning Security Auditing • Biometrics in E-Learning • Secure E-Learning Development and Application • Digital Rights Management (DRM) for E-Learning • Emerging E-Learning Markets Important Dates Paper Submission Deadline: June 30, 2009 Notification of Paper Acceptance/Rejection: July 31, 2009 Camera Ready Paper Due: September 1, 2009 Conference Dates: November 9-12, 2009 Paper Submission The style file and templates is available at Paper Submission. Please submit your full paper(s) in PDF format via email to els-2009 at icitst.org For more details, visit www.icitst.org/Workshops.html From baroglio at di.unito.it Sun Jun 7 09:47:11 2009 From: baroglio at di.unito.it (baroglio at di.unito.it) Date: Sun, 07 Jun 2009 09:47:11 +0200 Subject: MALLOW-AWESOME 2009: Deadline Extension Message-ID: <20090607094711.212kwu682044s440@www.di.unito.it> [Please accept our apologies if you receive multiple postings.] ***************************************************************** Agents, Web-Services, and Ontologies Integrated Methodologies (AWESOME'009) International Workshop Turin, IT, September 7th - 11th, 2009 Federated workshop of MALLOW 2009: Multi-Agent Logics, Languages, and Organizations URL: http://awesome009.disi.unige.it/ ***************************************************************** ***************************************************************** >>>> DUE TO THE MANY REQUESTS, THE DEADLINE FOR SUBMITTING A PAPER TO AWESOME'009 HAS BEEN SHIFTED TO THE 26th OF JUNE. CHECK THE NEW DEADLINES BELOW. PLEASE NOTE THAT THESE ARE STRICT DEADLINES. <<<< ***************************************************************** ***************************************************************** ***************************************************************** CALL FOR PAPERS ***************************************************************** Following the success of the previous edition held in Durham in 2007, MALLOW-AWESOME'009 wants to stimulate discussion among researchers working on Agents, Web Services, and Ontologies, in order to help the identification and definition of methodologies for integrating them. The realisation of distributed, open, dynamic, and heterogeneous software systems is, in fact, a challenge that involves many facets, from formal theories to software engineering and practical applications. Scientists in various research areas, such as Semantic Web, Web Services, Agents, Ontologies, are attacking this problem from different perspectives. MALLOW-AWESOME'009 attempts to provide a discussion forum for collecting and comparing such diverse experiences with the aim of fostering cross fertilization. Topics of interest are all those concerned with integrated and/or cross-field approaches for engineering Agents, Web Services, Ontologies. They include, but are not limited to: - Semantic Web Agents and Semantic WSs - Integrated Methodologies, notations, infrastructures for Agents, WSs, Ontologies - Enhancement of communication among Agents/WSs by means of Ontologies - Formal aspects for Agents, WSs and Ontologies - Service-oriented multiagent systems - Implementing Agents with WS technologies - Agent-inspired declarative approaches to WSs or SOA - Exploiting AOSE for engineering WSs and Ontologies - Orchestrations, choreographies, and interaction protocols: languages, theory and practice - Ontologies for Agents and/or WSs: languages, theory and practice - Formal description of contracts and negotiation policies - Tools for semantic WSs/Agents - Applications of semantic WSs/Agents - Security and trust in Agents/WSs settings ***************************************************************** IMPORTANT DATES (STRICT) ***************************************************************** Submission deadline (new!!!): June, 26th, 2009 Notification of acceptance (new!!!): July, 15st, 2009 Final version due (new!!!): July, 30th, 2009 Workshop: September 7th - 11th, 2009 ***************************************************************** SUBMISSION INSTRUCTIONS AND WORKSHOP PROCEEDINGS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publica- tion elsewhere. Papers should be written in English, formatted according to IEEEtran style file for papers, and should not exce- ed the limit of 8 pages. You can find styles for LaTeX, BibTeX and documentations at the following address: http://www.michaelshell.org/tex/ieeetran/ Paper submission is electronic via the workshop home page: http://awesome009.disi.unige.it/datesAndInstructions.html Accepted papers will appear in pre-proceedings published by MALLOW. We aim to publish a selection of revised and expanded papers as an international journal special issue, as we did for the previous edition of the workshop. ***************************************************************** ORGANISING COMMITTEE ***************************************************************** * Matteo Baldoni, Universita` di Torino, IT * Cristina Baroglio, Universita` di Torino, IT * Jamal Bentahar, Concordia University, CA * Viviana Mascardi, Universita` di Genova, IT ***************************************************************** PROGRAMME COMMITTEE ***************************************************************** * Federico Bergenti, Universita` di Parma, IT * Mario Bravetti, Universita` di Bologna, IT * Antonio Brogi, Universita` di Pisa, IT * Federico Chesani, Universita` di Bologna, IT * Marco Comuzzi, City University London, UK * Virginia Dignum, Utrecht University, NL * Amal El Fallah Seghrouchni, University of Paris 6, FR * Pilar Herrero, Universidad Politecnica de Madrid, ES * Benjamin Hirsch, Technische Universitaet Berlin, DE * Fuyuki Ishikawa, National Insitute of Informatics, JP * Zakaria Maamar, Zayed University, AE * Peter Massuthe, Humboldt University Berlin, DE * Julian Padget, University of Bath, UK * Viviana Patti, Universita` di Torino, IT * Adam Pease, Articulate Software, California, US * Axel Polleres, National University of Ireland, IE * Alessandro Ricci, Universita` di Bologna, IT * Birna van Riemsdijk, Ludwig-Maximilians-Universitaet Muenchen, DE * Giovanni Rimassa, Whitestein Technologies AG, Zurich, CH * Munindar Singh, North Carolina State University, US * Christopher Walton, Metaforic, UK * Hamdi Yahyaoui, KFUPM, KSA * Nobuko Yoshida, Imperial College London , UK * Muhammad Younas, Oxford Brookes University, UK ***************************************************************** MALLOW 2009 ORGANIZERS ***************************************************************** * Cristina Baroglio, Universita` di Torino, IT * Matteo Baldoni, Universita` di Torino, IT * Guido Boella, Universita` di Torino, IT From mcarro at fi.upm.es Sun Jun 7 20:50:52 2009 From: mcarro at fi.upm.es (Manuel Carro) Date: Sun, 7 Jun 2009 20:50:52 +0200 Subject: Initial Call for Papers: PADL 2010 Message-ID: <18988.3084.942164.925360@clip.dia.fi.upm.es> [We apologize in advance for the reception of duplicate messages] [Please feel free to redistribute to interested colleagues] CALL FOR PAPERS Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 (PADL'10) http://clip.dia.fi.upm.es/Conferences/PADL-2010 Pasadena, California, USA January 18-19, 2010 Co-located with ACM POPL'10 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Declarative languages and Software Engineering. * Evaluation of implementation techniques on practical applications. * Practical experiences and industrial applications. * Novel uses of declarative languages in the classroom. PADL'10 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL'10 will be co-located with POPL 2010. IMPORTANT DATES Abstract submission: August 31, 2009 Paper Submission: September 4, 2009 Notification: October 5, 2009 Camera-ready: October 26, 2009 Symposium: January 18-19, 2010 SUBMISSION GUIDELINES Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF, in the Springer LNCS format (see http://www.springeronline.com/lncs/ ). The submission will be done through EasyChair at the URL http://www.easychair.org/conferences/?conf=padl10 . PADL'10 will accept both technical and application papers. Technical Papers Technical papers must describe original, previously unpublished results, and must not be simultaneously submitted for publication elsewhere. Each submission must be written in English, and include three to four keywords, which will be used to assist us in selecting appropriate reviewers for the paper. Submissions must not exceed 15 pages in Springer LNCS format. Application Papers Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than computer science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate session. Application papers, are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 3 pages in Springer LNCS format. Most Practical Paper Award The Most Practical Paper award will be given to the technical submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. PROGRAM COMMITTEE Program Committee Chairs Manuel Carro (Technical University of Madrid, Spain) Ricardo Peña (Universidad Complutense de Madrid, Spain) Program Committee (not yet complete) María Alpuente (Universidad Politécnica de Valencia, Spain) Olaf Chitil (University of Kent, UK) María García de la Banda (Monash University, Australia) Haifeng Guo (University of Nebraska at Omaha, USA) Martin Hofmann (Ludwig-Maximilians Universität, Germany) John Launchbury (Galois, USA) Rita Loogen (Philipps-Universität Marburg, Germany) Erik Meijer (Microsoft Research, UK) Enrico Pontelli (New Mexico State University, USA) Vítor Santos Costa (Universidade do Porto, Portugal) Terrance Swift (CENTRIA, Portugal) Paolo Torroni (Università di Bologna, Italy) Roland Yap (National University of Singapore, Singapore) CONTACTS: For information about papers and submissions, please contact a Program Chair: Manuel Carro PC co-Chair - PADL 2010 School of Computer Science Technical University of Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupmes Ricardo Peña PC co-Chair - PADL 2010 Facultad de Informática Universidad Complutense de Madrid c/ Profesor José García Santesmases s/n E-28040 Madrid, Spain Email: ricardo sipucmes For other information about the conference, please contact: Manuel Carro General Chair - PADL 2010 School of Computer Science Technical University of Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupm.es WITH THE COOPERATION OF: The University of Texas at Dallas ACM Sigplan (Pending) From jleite at di.fct.unl.pt Mon Jun 8 03:34:35 2009 From: jleite at di.fct.unl.pt (Joao Leite) Date: Mon, 8 Jun 2009 02:34:35 +0100 Subject: LADS'009 - Deadline Extension Message-ID: ************************************************************************ LADS'009 DEADLINE EXTENSION *** NEW Submission deadline: June 19, 2009 **** Springer LNAI Post-Proceedings LADS'009 - Second Workshop on Languages, methodologies and Development tools for multi-agent Systems http://centria.di.fct.unl.pt/events/lads009/ Part of MALLOW'009, a federation of workshops on Multi-Agent Logics, Languages, and Organisations September 7-11, 2009 Torino, Italy ************************************************************************ CALL FOR PAPERS ************************************************************************ Aims and Scope LADS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. From nbassili at csd.auth.gr Mon Jun 8 09:06:09 2009 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Mon, 08 Jun 2009 10:06:09 +0300 Subject: 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009) Message-ID: <4A2CB861.6040509@csd.auth.gr> [Apologies for multiple postings] Call for Papers RuleML 2009 3rd International Symposium on Rules, Applications and Interoperability November 5-7 2009, Las Vegas, Nevada, USA http://2009.ruleml.org/ co-located with the 12th Business Rules Forum ---------------------------- Latest news * Student grants of the value of up to $1000 plus free registration * Keynote by Sandro Hawke, W3C RIF Contact - The Future of Rule Interchange * New categories in the Challenge with prestigious prizes * Rules standards session, W3C RIF workshop, and joint BRF/RuleML lunch panel on Web Rules Sponsored by =================================================================== Franz Inc NICTA (National ICT Australia) Ltd Corporate Semantic Web Logic Programming Associated Ltd ruleCore JBoss Modelsystems Ltd =================================================================== Overview and Aim =================================================================== The International Symposium on Rules, Applications and Interoperability has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007. This year, the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009) takes place in Las Vegas, Nevada, USA, collocated with the 12th Business Rules Forum, the world's largest Business Rules event. RuleML-2009 is devoted to practical distributed rule technologies and rule-based applications which need language standards for rules (inter)operating in, e.g., the Semantic Web, Multi-Agent Systems, Event-Driven Architectures, and Service-Oriented Applications. The main goal of RuleML-2009 is to stimulate the cooperation and interoperability between business and research, by bringing together rule system providers, participants in rule standardization efforts, open source communities, practitioners, and researchers. The concept of the symposium has also advanced continuously in the face of extremely rapid progress in practical rule and event processing technologies. As a result, RuleML-2009 will feature hands-on demonstrations and challenges alongside a wide range of thematic tracks, and thus will be an exciting venue to exchange new ideas and experiences on all issues related to the engineering, management, integration, interoperation and interchange of rules in open distributed environments such as the Web. Conference Theme =================================================================== This year, we particularly welcome submissions that address applications of Web rule technologies for business and information systems. We invite you to share your ideas, results, and experiences: as an industry practitioner, rule system provider, technical expert and developer, rule user or researcher, exploring foundations, developing systems and applications, or using rule-based systems. We invite high-quality submissions related to (but not limited to) one or more of the following topics: Track Topics ---------------------------------------------------------------------------- Rule Transformation and Extraction - Transformation and extraction with rule standards, such as SBVR, RIF and OCL - Extraction of rules from code - Transformation and extraction in the context of frameworks such as KDM (Knowledge Discovery meta-model) - Extraction of rules from natural language - Transformation or rules from one dialect into another Rules and Uncertainty - Languages for the formalization of uncertainty rules - Probabilistic, fuzzy and other rule frameworks for reasoning with uncertain or incomplete information - Handling inconsistent or disparate rules using uncertainty - Uncertainty extensions of event processing rules, business rules, reactive rules, causal rules, derivation rules, association rules, or transformation rules Rules and Norms - Methodologies for modeling regulations using both ontologies and rules - Defeasibility: modeling rule exceptions and priority relations among rule - The relationship between rules and legal argumentation schemes - Rule language requirements for the "isomorphic" modeling of legislation - Rule based inference mechanism for legal reasoning - E-contracting and automated negotiations with rule-based declarative strategies Rule-based Game AI - Rule-based movement, decision making, strategies, behavior design - Rule-based environmental programming, virtual reality - Rules for multi-agent/character games - Rules for serious games - Rule-based agent design Rule-based Event Processing and Reaction Rules - Reaction rule languages and engines (production rules, ECA rules, logic event action formalisms, vocabularies/ontologies) - State management approaches and frameworks - Concurrency control and scalability - Event and action definition, detection, consumption, termination, lifecycle management - Dynamic rule-based workflows and intelligent event processing (rule- based CEP) - Non-functional requirements, use of annotations, metadata to capture those - Design time and execution time aspects of rule-based (Semantic) Business Processes Modeling and Management - Practical and business aspects of rule-based (Semantic) Business Process Management (business scenarios, case studies, use cases etc.) Rules and Cross Industry Standards - Rules in Current Industry Standards, including: - XBRL: Extensible Business Reporting Language - MISMO: Mortgage Industry Standards Maintenance Org - FIXatdl: FIX Algorithmic Trading Definition Language - FpML: Financial products Markup Language - HL7: Health Level 7 - Acord: Association for Cooperative Operations Research and Development (Insurance Industry) - Rules for Governance, Risk, & Compliance (GRC), e.g., rules for internal audit, SOX compliance, enterprise risk management (ERM), operational risk, etc - Rules and Corporate Actions General Rule Topics - Rules and ontologies - Execution models, rule engines, and environments - From rules to FOL to modal logics - Rule-based reasoning with non-monotonic negation, modalities, deontic, temporal, priority, scoped or other rule qualification - Rule-based default reasoning with default logic, defeasible logic, and answer set programming - Graphical processing, modelling and rendering of rules - Rules in Semantic Web Technologies - Miscellaneous rule topics Case studies, experience reports, and industrial problem statements are particularly encouraged. RuleML-2009 Challenge =================================================================== The RuleML-2009 Demo Challenge is one of the highlights of RuleML-2009. We invite submissions of demo papers and demos where rules are used in interesting and practically relevant ways to, e.g., derive useful information, transform knowledge, provide decision support and provide automated rule-based monitoring, enforcement, validation or management of the behavioural logic of the application. The Challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Submissions are solicited in these categories: - Benchmarks (test cases, suites) with evaluations of (their own, other) rule engines and/or rule translators, possibly drawing on our growing pool at http://ruleml-challenge.cs.nccu.edu.tw - Case studies (use cases) implemented via engines/translators employing rule standards such as RIF, RuleML, CLIPS, Common Logic, SBVR, and ISO Prolog. We welcome all demos about tools and applications using rules such as: - Derivation rules, including query and integrity rules - ECA rules, including production rules, reaction rules, and rule-based CEP languages Authors of demo are also invited to submit a Challenge demo paper for publications in the conference proceedings, see the submission section below for submission details. Prizes will be awarded to the two best applications from each category. All accepted demos will be presented in a special Challenge Session. A submission to the RuleML Challenge has to meet the requirement that declarative rules explicitly play a central role in the application. Basically this means that: Rules are explicitly represented in a declarative format and they are decoupled from the application (rather than being compiled or hard-coded into the application logic). The demo should preferably (but not necessarily) be embedded into a web-based or distributed environment so that there will be a need for features related to the RuleML conference topics, as listed in the call for papers. For more details and the demo site web link please consult the RuleML-2009 Challenge website: http://ruleml-challenge.cs.nccu.edu.tw Student Grant Awards =================================================================== Two travel grants are available to students who are authors or co-authors of papers or demos accepted for presentation at the symposium. The grants include free registration and cover travel expenses up to 1000 dollars. Conference Language =================================================================== The official language of the conference will be English. Submission =================================================================== Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case/use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=ruleml2009 as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) RuleML-2009 Challenge Demo Paper + Show Cases (3-5 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload the abstracts of their papers before June 9, 2009 and to upload their complete papers by June 16, 2009. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series along with a CD with demo software and documents. The best paper from all submissions will be determined by the PC and a Best Paper Award will be handed over at the Symposium by a Sponsor. All submissions must be done electronically. A selection of revised papers will be resubmitted to a special issue of a journal. Submissions to the RuleML Challenge 2009 consist of a demo paper of 3-5 pages, describing the demo show case, and a link to more information about the demo/show case, e.g. a project site, an online demonstration, a presentation about the demonstration, or a download site for the demonstration. In case of product demos, the link can be password-protected: please submit a password for anonymous login from any Web browser, giving us the permission to pass the password on to 3 PC members. The submissions should satisfy the minimal requirements defined in the topics of interest and preferably exhibit some of the additional desiderata. The more desiderata are met by an application, the higher the score will be. The demos will be evaluated by the RuleML-2009 Program Committee and prizes will be awarded to the two best applications, sponsored by the RuleML Inc. non-profit organization. Review Process =================================================================== The submitted papers will pass the blind review process. At least three members of the Program Committee will review each submission. Important Dates: =================================================================== Abstract submission deadline: June 9, 2009 Paper Submission deadline: June 16, 2009 Notification of acceptance: July 18, 2009 Camera ready due: August 9, 2009 Symposium dates: November 5-7, 2009 RuleML Challenge: November 5, 2009 Conference Venue =================================================================== RuleML-2009 will take place at the Bellagio in Las Vegas collocated with the Business Rules Forum. Keynote Speakers =================================================================== - Sandro Hawke, W3C RIF Team Contact The Future of Rule Interchange - TBA Programme Committee =================================================================== General Chair -------------------- Adrian Paschke, Freie Universitaet Berlin, Germany Program Chairs -------------------- Guido Governatori, NICTA, Australia John Hall, Model Systems, UK Liaison Chair -------------------- Hai Zhuge, Chinese Academy of Sciences Publicity Chair -------------------- William Langley, NRC-IRAP, Canada Track Chairs Rule Transformation and Extraction -------------------- Erik Putrycz, Canada Mark Linehan, IBM, USA Rules and Uncertainty -------------------- Matthias Nickles, University of Bath, UK Davide Sottara, University Bologna, Italy Rules and Norms -------------------- Thomas Gordon, Fraunhofer FOKUS, Germany Antonino Rotolo, CIRSFID, University of Bologna, Italy Rule-based Game AI -------------------- Benjamin Craig, National Research Council, Canada Weichang Du, University of New Brunswick, Canada Rule-based Event Processing and Reaction Rules -------------------- Alex Kozlenkov, Betfair Ltd., UK Adrian Paschke, Free Univ. Berlin, Germany Rules and Cross Industry Standards -------------------- Tracy Bost, Valocity, USA Robert Golan, DBMind, USA RuleML Challenge -------------------- Yuh-Jong Hu, National Chengchi University, Taiwan Ching-Long Yeh, Tatung University, Taiwan Wolfgang Laun, Thales Rail Signalling Solutions GesmbH, Austria Program Committee Members -------------------- http://2009.ruleml.org/pc RuleML 2009 Sponsors =================================================================== Silver Sponsors -------------------- NICTA (National ICT Australia) Ltd Corporate Semantic Web Franz Inc Bronze Sponsors -------------------- Logic Programming Associated Ltd ruleCore jBoss Modelsystems Ltd RuleML 2009 Partners =================================================================== W3C, World Wide Web Consortium OMG, Object Management Group ACM, Association for Computer Machinery AAAI ECCAI International Association for Artificial Intelligence and Law ACM SigMis ACM SigArt Belgian Business Rules Forum MIT Sloan CIO Symposium EPTS, Event Processing Technical Society BPM Forum Belgium October Rules Fest SKG2009 5th International Conference on Semantic, Knowledge and Grid RR-2009 3rd International Conference on Web Reasoning and Rule Systems From samt09-office at joanneum.at Mon Jun 8 11:26:07 2009 From: samt09-office at joanneum.at (samt09-office) Date: Mon, 8 Jun 2009 11:26:07 +0200 Subject: SAMT 2009 Call for Contributions - Short Paper Deadline EXTENDED, Call for Industry Day Speaking Proposals Message-ID: [Apologies for cross-postings. Please forward this e-mail to anyone interested.] * Due to numerous requests we have EXTENDED the deadline for the submission of short papers to June 29, 2009. * A call for speaking proposals at SAMT 2009 industry day has been issued. * The list of accepted workshops and tutorials has been published. ================================================================================ Call for Contributions SAMT 2009 4th International Conference on Semantic and Digital Media Technologies 2-4 December 2009 Graz, Austria http://www.samt2009.org/ ================================================================================ The 4th International Conference on Semantics and Digital Media Technologies (SAMT) targets to narrow the large disparity between the low-level descriptors that can be computed automatically from multimedia content and the richness and subjectivity of semantics in user queries and human interpretations of audiovisual media - The Semantic Gap. Contributions ============= We invite the following types of contributions: * Full papers * Short papers * Industry Day Speaking Proposals Details on the calls can be found at http://www.samt2009.org/calls In case of questions please contact samt09-office at joanneum.at Topics ====== * Semantic Analysis of Multimedia - Knowledge assisted multimedia analysis - Content-based multimedia analysis linked with natural language/speech processing * Semantic Retrieval of Multimedia - Semantic-driven multimedia indexing and retrieval - Semantic retrieval of 3D objects - Machine Learning and relevance feedback for finding semantics - Semantic-driven multimedia content adaptation and summarization * Semantic Metadata Management of Multimedia - Metadata management for multimedia - Multimedia ontologies and infrastructures - Standards bridging the multimedia and knowledge domains * Semantic User Interfaces for Multimedia - Interfaces and personalization for interaction with large multimedia - repositories - Semantic media annotation - Inference and machine learning for semi-automatic annotation - Browsing multimedia archives - Device-specific access to and adaptation of multimedia * Semantics in Visualization and Computer Graphics - illustrative depiction and rendering - mapping meaning to presentation content - smart virtual environments - supporting knowledge discovery * Applications of Semantic Multimedia - Social multimedia tagging - Context, user, network and semantics-aware media engineering - Multimedia mash-ups - Case studies with clear, innovative lessons learned Important Dates =============== Full/Short Papers ----------------- Full paper submission: June 15, 2009 (extended) Short paper submission: June 29, 2009 (extended) Notification of acceptance: July 27, 2009 Camera-ready papers: September 7, 2009 Industry Day ------------ Speaking Proposals Submission: September 1, 2009 Notification of acceptance: September 20, 2009 Conference ---------- Conference dates: December 2-4, 2009 Committees ========== General and Local Chairs ------------------------ Werner Haas, JOANNEUM RESEARCH, Austria Georg Thallinger, JOANNEUM RESEARCH, Austria Werner Bailer, JOANNEUM RESEARCH, Austria Program Chairs -------------- Bernard Mérialdo, Eurecom, France Yiannis Kompatsiaris, ITI, Greece Tat-Seng Chua, National University of Singapore The members of the technical programme committee are listed on the web site. Workshop/Tutorial Chairs ------------------------ Noel O'Connor, Dublin City University, Ireland Klaus Tochtermann, Know Center, Austria Josep Blat, Universitat Pompeu Fabra, Spain Industry Day Chairs ------------------- Wessel Kraaij, TNO, Netherlands Alberto Messina, RAI CRIT, Italy From axel.polleres at deri.org Mon Jun 8 13:31:07 2009 From: axel.polleres at deri.org (Axel Polleres) Date: Mon, 08 Jun 2009 12:31:07 +0100 Subject: RR 2009 Call for Papers Message-ID: <4A2CF67B.2010200@deri.org> Apologies for multiple postings CALL FOR PAPERS The Third International Conference on Web Reasoning and Rule Systems (RR 2009) http://www.rr-conference.org/RR2009 Chantilly, Virginia, USA October 25-26, 2009 Co-located with the International Semantic Web Conference '09 The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2009 builds on the success of the first two International Conferences on Web Reasoning and Rule Systems, held in 2007 in Innsbruck and in and 2008 in Karlsruhe, which received enthusiastic support from the Web Rules community. In 2009, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. Suggested topics include the following, which is not to be considered as an exhaustive list: * Representation techniques for web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the World Wide Web Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers ------------------------------------------------------------------------ SUBMISSION DETAILS Papers for past conferences were published in the Springer LNCS series (acceptance pending for this year). Papers may be accepted as: * full papers (15 pages in the proceedings) * short papers (8 pages in the proceedings) * posters (2 pages in the proceedings). The stated lengths include title, abstract and list of references. All papers should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2009 ------------------------------------------------------------------------ TENTATIVE DATES * Abstract submission: June 28, 2009 * Paper submission: July 4, 2009 * Acceptance decisions: August 1, 2009 * Camera-ready papers due: August 25, 2009 ------------------------------------------------------------------------ PROGRAM COMMITTEE Grigoris Antoniou FORTH-ICS (GR) Marcelo Arenas PUC Chile (CL) Leopoldo Bertossi Carleton University (CA) Piero Bonatti Univ. of Naples Frederico II (IT) Carlos Damasio Universidade Nova de Lisboa (PT) Wlodek Drabent IPI PAN Warszawa (PL) Bernardo Cuenca Grau University of Oxford (UK) Volker Haarslev Concordia University (CA) Giovambattista Ianni Univ. of Calabria (IT) Manolis Koubarakis National&Kapodistrian Univ. of Athens (GR) Domenico Lembo DIS, Univ. di Roma "La Sapienza" (IT) Thomas Lukasiewicz Computing Lab. Univ. of Oxford (UK) Francesca Alessandra Lisi Universita degli Studi di Bari (IT) Wolfgang May Univ. Goettingen (DE) David Pearce Universidad Politécnica de Madrid (ES) Enrico Pontelli New Mexico State University (US) Guilin Qi Univ. of Karlsruhe (DE) Marie-Christine Rousset Univ. of Grenoble (FR) Sebastian Rudolph Institute AIFB, University of Karlsruhe (DE) Sebastian Schaffert Salzburg Research Forschungsgesellschaf (AT) Michael Sintek DFKI GmbH (DE) Giorgos Stamou National Tech. University of Athens (GR) Heiner Stuckenschmidt Univ. of Mannheim (DE) York Sure AIFB - Universitaet Karlsruhe (DE) Peter Szeredi Budapest Univ of Tech. and Econ. (HU) Sergio Tessaris Free University of Bozen - Bolzano (IT) Hans Tompits Vienna Univ. of Technology (AT) Dirk Vermeir Vrije Universiteit Brussel (BE) ------------------------------------------------------------ CONTACTS For information about papers and submissions, please contact a Program Chair: Terrance Swift PC co-Chair - RR 2009 Centre for Artificial Intelligence (CENTRIA) Departamento de Informatica FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Email: tswift at cs.sunysb.edu Axel Polleres PC co-Chair - RR 2009 Digital Enterprise Research Institute (DERI) National University of Ireland, Galway IDA Business Park, Lower Dangan - Galway, Ireland Email: axel.polleres at deri.org For other information about the conference, please contact the General Chair: Michael Kifer Computer Science Department SUNY Stony Brook Stony Brook, NY USA Email; kifer at cs.sunysb.edu From iustina.ilisei at wlv.ac.uk Mon Jun 8 15:14:22 2009 From: iustina.ilisei at wlv.ac.uk (Iustina Ilisei) Date: Mon, 08 Jun 2009 14:14:22 +0100 Subject: Extended deadline: CFP RANLP-2009 Workshop on Natural Language Processing methods and corpora in translation, lexicography, and language learning In-Reply-To: <1243985927.19155.5.camel@dinel-desktop> References: <1243985927.19155.5.camel@dinel-desktop> Message-ID: <4A2D0EAE.9020809@wlv.ac.uk> [Apologies for cross-postings] Call for papers RANLP-2009 Workshop on Natural Language Processing methods and corpora in translation, lexicography, and language learning We are pleased to announce the workshop on Natural Language Processing methods and corpora in translation studies, lexicography, and language learning, to be held in conjunction with the main RANLP-09 conference in Borovets, Bulgaria, on 17-18 September 2009. Extended deadline: 21 June 2009 Motivation Corpora are now indispensable tools in research and everyday practice for translators, lexicographers, second language learners. Specialists in these areas share a general goal in using corpora in their work: corpora provide the possibility to find and analyse linguistic patterns characteristic of various kinds of language users, monitor language change, and reveal important similarities and divergences across different languages. For professional translators corpora present an invaluable linguistic and cultural awareness tools. For language learners, they serve as a means to gain insights into specifics of competent language use as well as to analyse typical errors of fellow learners. For lexicographers, corpora are key for monitoring the development of the vocabularies of languages, making informed decisions as to lexicographic relevance of the lexical material, and for general verification of all varieties of lexicographic data. While simple corpus analysis tools such as concordancers have been long in use in these specialist areas, in the past decade there have been important developments in Natural Language Processing (NLP) technologies: it has become much easier to construct corpora and powerful NLP methods have become available that can be used to analyse corpora not only on the surface level, but also on the syntactic, and even semantic, pragmatic, and stylistic levels. This workshop aims to bring together the developers and the users of NLP technologies for the purposes of translation, translation studies, lexicography, terminology, and language learning in order to present their research and discuss new possibilities and challenges in these fields. Topics Submissions are invited for the following topics of interest to the workshop: - NLP methodologies for processing parallel and comparable corpora - Context-sensitive dictionary look-up - Corpus-based study and identification of cognates and false friends - Compilation and use of corpora in translation studies - Corpus-based study of properties of translated text: translation universals, phraseology, lexical and grammatical patterns - Corpora in translator training - Translation of terms and collocations using corpora - Bilingual concordancing in translation applications - NLP methods for Computer-Aided Translation - Compilation of specialised terminologies - Compilation of corpora for bilingual lexicography - Detection of gaps in bilingual dictionaries - Corpus-based estimation of lexicographic relevance - Term and collocation extraction - Discovery of illustrative examples and definitions of words and word senses in corpora - Reading and writing aid applications for language learners - Automated text glossing in Computer-Aided Language Learning (CALL) - Corpus-based design of assessment materials in CALL - Error detection and error analysis in CALL - Detection of first-language interference in learner corpora Important dates Extended submission deadline: 21 June 2009 Acceptance notification: 20 July 2009 Final copies due: 24 August 2009 Submission instructions Papers must be submitted in PDF format as e-mail attachments to Iustina Ilisei at iustina.ilisei at gmail.com. The e-mail should use the subject header “RANLP-2009 workshop”. Format Authors are invited to submit full papers on original, unpublished work in the topic area of this workshop. Papers (in PDF format conforming to the RANLP 2009 stylefiles) should not exceed 8 pages. The RANLP 2009 stylefiles are available at: http://lml.bas.bg/ranlp2009/submissions.htm As reviewing will be blind, the papers should not include the authors' names and affiliations. Furthermore, self-references that reveal the authors' identities should be avoided. Papers that do not conform to these requirements will be rejected without review. Reviewing Each submission will be reviewed by at least two members of the Program Committee. Reviewers will be asked to provide detailed comments, and to score submitted papers on the following factors: - Relevance to the workshop - Significance and originality - Technical/methodological accuracy - References to related work - Presentation (clarity, organisation, English) Accepted papers policy Accepted papers will be published in the workshop proceedings. By submitting a paper at the workshop the authors agree that, in case the paper is accepted for publication, at least one of the authors will attend the workshop; all workshop participants are expected to pay the RANLP-2009 workshop registration fee. Workshop webpage http://pers-www.wlv.ac.uk/~in0963/ranlp/ Programme Committee Marco Baroni (University of Trento) Jill Burstein (Educational Testing Service) Michael Carl (Copenhagen Business School) Gloria Corpas Pastor (University of Malaga) Le An Ha (University of Wolverhampton) Patrick Hanks (Masaryk University) Marie-Claude Homme (Université de Montréal) Federico Gaspari (University of Bologna) Adam Kilgarriff (Lexical Computing) Ruslan Mitkov (University of Wolverhampton) Roberto Navigli (University of Rome 'La Sapienza') Miriam Seghiri (University of Malaga) Pete Whitelock (Oxford University Press) Richard Xiao (Edge Hill University) Federico Zanettin (University of Perugia) Organising Committee Iustina Ilisei (University of Wolverhampton) Viktor Pekar (Oxford University Press) Silvia Bernardini (University of Bologna) -- Scanned by iCritical. From elsevierissues35 at gmail.com Tue Jun 9 08:16:08 2009 From: elsevierissues35 at gmail.com (Elsevier Journals) Date: Tue, 9 Jun 2009 07:16:08 +0100 Subject: Paper Submission! Message-ID: *ELSEVIER:* *BUILDING INSIGHTS; BREAKING BOUNDARIES* *MANUSCRIPTS SUBMISSION* Dear Colleague, On behalf of all the Editors-in-chief of Elsevier Journals, we wish to Communicate to you that we are currently accepting manuscripts in all Fields of human Endeavour. All articles published will be peer-reviewed. The following types of papers are considered for publication: • Original articles in basic and applied research. •Critical reviews, surveys, opinions, commentaries and essays. Authors are invited to submit manuscripts reporting recent developments in their fields. Papers submitted will be sorted out and published in any of our numerous journals that best Fits. This is a special publication procedure which published works will be discussed at seminars (organized by Elsevier) at strategic Cities all over the world. Please maximize this opportunity to showcase your research work to the world. The submitted papers must be written in English and describe original research not published nor currently under review by other journals. Parallel submissions will not be accepted. Our goal is to inform authors about their paper(s) within one week of receipt. All submitted papers, if relevant to the theme and objectives of the journal, will go through an external peer-review process. *Prospective authors should send their manuscript(s) in** **Microsoft Word** **or PDF format to** **elsevier at live.co.uk** *and should Include a cover sheet containing corresponding Author(s) name, Paper Title, affiliation, phone, fax number, email address etc. Kind Regards, Emily Robinson(Prof.) PS: Pls. show interest by mailing *elsevier at live.co.uk* if your Manuscript is not ready but will be ready soon. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Richard.Chbeir at u-bourgogne.fr Tue Jun 9 09:47:10 2009 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Tue, 9 Jun 2009 09:47:10 +0200 Subject: SITIS'09: Call For Papers (Deadline extended) Message-ID: <1244533630.4a2e137e42fa1@webmail.u-bourgogne.fr> ------ Sorry for cross-postings -------- ############################################################################################ The 5th Int. Conference on Signal Image Technology and Internet Based Systems (SITIS'09) November 29 - December 4, 2009 Farah Kenzi Hotel Marrakech, Morocco http://www.u-bourgogne.fr/SITIS In cooperation with ACM SigApp.fr, IFIP TC 2 WG 2.13, IEEE (pending) ############################################################################################ The SITIS conference is dedicated to research on the technologies used to represent, share and process information in various forms, ranging multimedia data to traditional structured data and semi-structured data found in the web. SITIS spans two inter-related research domains that increasingly play a key role in connecting systems across network centric environments to allow distributed computing and information sharing. SITIS 2009 aims to provide a forum for high quality presentations on research activities centered on the following tracks: * The focus of the track "Information Management & Retrieval Technologies" (IMRT) is on the emerging modeling, representation and retrieval techniques that take into account the amount, type and diversity of information accessible in distributed computing environment. The main topics include data semantics and ontologies, semi-structure data management, spatial information systems, multimedia databases, multimedia networking and qos, information retrieval and search engine, information security, schema mapping and evolution, data warehousing, social network, and applications. * The track "Web-Based Information Technologies & Distributed Systems" (WITDS) is devoted to emerging and novel concepts, architectures and methodologies for creating an interconnected world in which information can be exchanged easily, tasks can be processed collaboratively, and communities of users with similarly interests can be formed while addressing security threats that are present more than ever before. The main topics include information system interoperability, emergent semantics, agent-based systems, distributed and parallel information management, grid, P2P, web-centric systems, web security and integrity issues. * The track "Open Source Software Development and Solution" (OSSDS) focuses on new software engineering method in distributed and large scaled environments, strategies for promoting, adopting, and using Open Source Solutions and case studies or success stories in specific domains. The main topics include software engineering methods, users and communities' interactions, software development platforms, open source developments and project management, applications domain, case studies. In addition to the above tracks, SITIS 2009 includes workshops. The final list of workshop will be provided later. Submission and publication -------------------------- The conference will include keynote addresses, tutorials, and regular and workshop sessions. SITIS 2009 invites submission of high quality and original papers on the topics of the major tracks described below. All submitted papers will be peer-reviewed by at least two reviewers for technical merit, originality, significance and relevance to track topics. Papers must be up to 8 pages and follow IEEE double columns publication format. Accepted papers will be included in the conference proceedings and published by IEEE Computer Society and referenced in IEEE explore and major indexes. Important dates ---------------- * Paper Submission (Extended): July 15th, 2009 * Acceptance/Reject notification: August 15th, 2009 * Camera ready / Author registration: September 1st, 2009 Local organizing committee (Cadi Ayyad University, Morocco) ------------------------------------------------------------ * Aziz Elfaazzikii (Chair) * El Hassan Abdelwahed * Jahir Zahi * Mohamed El Adnani * Mohamed Sadgal * Souad Chraibi * Said El Bachari More details about each track and detailed topics can be found on the conference website: http://www.u-bourgogne.fr/SITIS -- #################################################### # Richard CHBEIR, Ph.D. in Computer Science # # Associate Professor # # Laboratoire LE2I (UMR - CNRS) # # Bourgogne University # # Aile de l'Ingénieur # # Office GS 16 # # BP 47870 # # 21078 Dijon CEDEX France # # Tel.: +333 80 39 36 55 # # Fax: +333 80 39 68 69 # # Email: richard.chbeir at u-bourgogne.fr # # Web: http://www.le2I.com # #################################################### From i.j.dickinson at gmail.com Mon Jun 8 12:55:15 2009 From: i.j.dickinson at gmail.com (Ian Dickinson) Date: Mon, 8 Jun 2009 11:55:15 +0100 Subject: subscribe Message-ID: subscribe From i.j.dickinson at gmail.com Mon Jun 8 13:59:12 2009 From: i.j.dickinson at gmail.com (Ian Dickinson) Date: Mon, 8 Jun 2009 12:59:12 +0100 Subject: Confirmation Request (1748169719) In-Reply-To: References: Message-ID: On Mon, Jun 8, 2009 at 12:21 PM, event administration wrote: > This is an automated message from the >   mailing list manager > > Somebody (probably you) have requested the subscribe operation >  for your address > > If you want to confirm this operation, >  use the Reply command in your mailer. > > Check that the Subject of the reply message contains >  the confirmation ID: 1748169719, >  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 L.C.Verbrugge at rug.nl Tue Jun 9 21:57:05 2009 From: L.C.Verbrugge at rug.nl (Rineke Verbrugge) Date: Tue, 9 Jun 2009 21:57:05 +0200 Subject: Final Call for papers FAMAS'09 - deadline extended to 17 June In-Reply-To: References: Message-ID: <92BCD721-9A1D-4938-89FD-08A57C9E5E59@rug.nl> -We apologize for multiple copies- ------------------------------------------------------------ FINAL CALL FOR PAPERS ------------------------------------------------------------ Formal Approaches to Multi-Agent Systems (FAMAS'09) Torino, Italy, two days in the week of 7-11 September 2009 http://www.mimuw.edu.pl/MAS/FAMAS2009/ Part of MALLOW 2009, Multi-Agent Logics, Languages, and Organisations Federated Workshops, 7-11 September 2009 http://agents009.di.unito.it/MALLOW.html ***MALLOW decided for deadline extensions. Extended FAMAS deadline: Wednesday 17 June*** -------------------------------------------------------------- ----------------------------- Description of FAMAS ----------------------------- In recent years, multi-agent systems have come to form one of the key technologies for software development. The fourth edition of the FAMAS workshop series, after the success of FAMAS'03 affiliated with ETAPS’03 in Warsaw, FAMAS'06 affiliated with ECAI'06 in Riva del Garda, and FAMAS'007 as part of MALLOW'007 in Durham, aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. Suggested, but not exclusive, topics of interest for the workshop are: *logics for multi-agent systems *formal methods for verification of multi-agent systems *formal models of teamwork *formal approaches to communication, coordination and negotiation *logical analysis of games *computational social choice *logical approaches to protocols ensuring privacy and security *approximate reasoning in a multi-agent environment ----------------------------- Submission instructions ----------------------------- We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to IEEEtran style file for papers, and should not exceed the limit of 8 pages (two-column style). You can find styles for LaTeX, BibTeX and documentations at the following address: http://www.michaelshell.org/tex/ieeetran/ Please send your paper in PDF to both rineke at ai.rug.nl and keplicz at mimuw.edu.pl. ***Extended deadline: Wednesday 17 June, 2009*** --------------- Proceedings --------------- Informal workshop proceedings will be available at the workshop. A special issue of Fundamenta Informaticae, namely vol. 63 (2-3), 2004, collected new versions of the best papers of FAMAS'03. A special issue of JAAMAS recently appeared with new versions of the best papers of FAMAS'06, namely volume 19 (1), 2009, see http:// www.springerlink.com/content/m46t38n03854/? p=e8370e8af9314317aca917442c589904&pi=0 For the 2009 edition (as for FAMAS’007), authors of selected papers will be invited to submit an extended version for a special issue of the Logical Journal of the IGPL. Further details will be announced at FAMAS'09. ---------------- Venue ---------------- The workshop will be part of MALLOW 2009, hosted by the Universita degli Studi di Torino. Participants of FAMAS are very welcome to join the co-located workshops. For more details of the MALLOW location, please see http://agents009.di.unito.it/location.html MALLOW 2009 is preceded by this year's edition of the European Agent Systems Summer School, taking place 31 August- 4 September 2009, also in Turin, see http://agents009.di.unito.it/EASSS.html After MALLOW, IAT'09 will take place in Milan on 15-18 September, see http://www.wi-iat09.disco.unimib.it/IAT09/IAThome.htm -------------------- Invited speakers -------------------- Joint invited lectures of MALLOW 2009 will be announced later. ------------------------ Program committee ------------------------ Barbara Dunin-Keplicz, Warsaw University and Polish Academy of Sciences, Poland (chair) Rineke Verbrugge, University of Groningen, The Netherlands (chair) Hans van Ditmarsch, University of Aberdeen, UK Amal El Fallah-Seghrouchni, University of Paris 6, France Andreas Herzig, Universite Paul Sabatier, France Wiebe van der Hoek, University of Liverpool , UK Wojtek Jamroga, Clausthal University of Technology, Germany John-Jules Meyer, Utrecht University, The Netherlands Wojciech Penczek, Polish Academy of Sciences, Poland David Robertson, University of Edinburgh, UK Jeff Rosenschein, The Hebrew University of Jerusalem, Israel Onn Shehory, IBM - Haifa Research Labs, Israel Carles Sierra, IIIA, Spanish Research Council, Spain Andrzej Szalas, University of Warsaw, Poland, and Linköping University, Sweden -------------------------- Workshop organizers -------------------------- Barbara Dunin-Keplicz - keplicz at mimuw.edu.pl Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences http://www.mimuw.edu.pl/~keplicz/ Rineke Verbrugge - rineke at ai.rug.nl Institute of Artificial Intelligence, University of Groningen http://www.ai.rug.nl/~rineke ---------------------------------- MALLOW 2009 organizers ---------------------------------- Cristina Baroglio, Universita di Torino, Italy Matteo Baldoni, Universita di Torino, Italy Guido Boella, Universita di Torino, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gadducci at di.unipi.it Tue Jun 9 12:25:17 2009 From: gadducci at di.unipi.it (Fabio Gadducci) Date: Tue, 9 Jun 2009 12:25:17 +0200 Subject: WARNING! (3206102020) In-Reply-To: References: Message-ID: <5CDCF5B9-964C-4B56-9823-4D6D8E915576@di.unipi.it> On 09/giu/09, at 03:40, 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: 3206102020, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to ---------------------------------------------------------------------------------------------- Fabio Gadducci gadducci at di.unipi.it +---------------------------------+ Dpt. of Informatics University of Pisa | "The weight of the world | largo Pontecorvo 3 Ph. +390502212716 | is love" - Allen Ginsberg | 56127 Pisa, ITALY Fax +390502212726 +---------------------------------+ + "I keep my feeling buried inside a sea urchin" Ezra Pound + ---------------------------------------------------------------------------------------------- From mjb at cs.bath.ac.uk Tue Jun 9 11:38:41 2009 From: mjb at cs.bath.ac.uk (Martin) Date: Tue, 09 Jun 2009 10:38:41 +0100 Subject: [Fwd: [Event@CIG] Paper Submission!] Message-ID: <1244540321.4720.524.camel@white.sevalidation.com> I mean this in the nicest possible way and my apologies if my suspicions are incorrect but - this e-mail doesn't look right. I don't think Elsevier would use a gmail account to send announcements, and if they did I don't think they'd want a response to a different mail address, from a different free webmail provider. This looks like some kind of scam to me. Cheers, - Martin -------- Forwarded Message -------- From: Elsevier Journals To: event at in.tu-clausthal.de Subject: [Event at CIG] Paper Submission! Date: Tue, 09 Jun 2009 10:08:53 +0200 ELSEVIER: BUILDING INSIGHTS; BREAKING BOUNDARIES MANUSCRIPTS SUBMISSION Dear Colleague, On behalf of all the Editors-in-chief of Elsevier Journals, we wish to Communicate to you that we are currently accepting manuscripts in all Fields of human Endeavour. All articles published will be peer-reviewed. The following types of papers are considered for publication: • Original articles in basic and applied research. •Critical reviews, surveys, opinions, commentaries and essays. Authors are invited to submit manuscripts reporting recent developments in their fields. Papers submitted will be sorted out and published in any of our numerous journals that best Fits. This is a special publication procedure which published works will be discussed at seminars (organized by Elsevier) at strategic Cities all over the world. Please maximize this opportunity to showcase your research work to the world. The submitted papers must be written in English and describe original research not published nor currently under review by other journals. Parallel submissions will not be accepted. Our goal is to inform authors about their paper(s) within one week of receipt. All submitted papers, if relevant to the theme and objectives of the journal, will go through an external peer-review process. Prospective authors should send their manuscript(s) in Microsoft Word or PDF format to elsevier at live.co.uk and should Include a cover sheet containing corresponding Author(s) name, Paper Title, affiliation, phone, fax number, email address etc. Kind Regards, Emily Robinson(Prof.) PS: Pls. show interest by mailing elsevier at live.co.uk if your Manuscript is not ready but will be ready soon. From ci-listen at in.tu-clausthal.de Wed Jun 10 16:54:58 2009 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Wed, 10 Jun 2009 16:54:58 +0200 Subject: [Fwd: [Event@CIG] Paper Submission!] In-Reply-To: <1244540321.4720.524.camel@white.sevalidation.com> References: <1244540321.4720.524.camel@white.sevalidation.com> Message-ID: Dear Martin, > I mean this in the nicest possible way and my apologies >if my suspicions > are incorrect but - this e-mail doesn't look right. I >don't think > Elsevier would use a gmail account to send >announcements, and if they > did I don't think they'd want a response to a different >mail address, > from a different free webmail provider. This looks like >some kind of > scam to me. Thank you for pointing me to this issue. I only skimmed through the e-mail before passing it through the list and I did not notice the issue. Not that I was not a bit suspicious about Elsevier sending this type of announcement, but on the first sight it seemed quite alright, so I did not give it a second thought. I apologize for this. Of course it does not serve the quality of this list. You are right, from now on I will take a closer look at this type of things, I already stopped several similar attempts. Yet, I somehow do not see the motivation behind such a scam. No serious member of the research community would fall for such a way of submission... Very interesting case :-). Have a nice day and thanks again, Peter Novak, Event at CIG administrator. From jap at cs.bath.ac.uk Wed Jun 10 17:42:46 2009 From: jap at cs.bath.ac.uk (Julian Padget) Date: Wed, 10 Jun 2009 16:42:46 +0100 Subject: COIN @ MALLOW second CfP + deadline extension Message-ID: <1244648566.4017.67.camel@jap-lap3> With the usual apologies for multiple copies. ========================================================================== *Second Call For Papers* AND *Deadline Extension* Important Dates: ================ * Submission: WAS June 10th NOW June 26th * Notification to authors: WAS July 1st NOW July 17th * Camera ready: WAS July 15th NOW July 31st ======================================================================== The MALLOW Workshop on Coordination, Organization, Institutions and Norms in Agent systems in On-line Communities (COIN) http://www.cs.bath.ac.uk/coin-at-mallow-2009/ Torino, IT, 7th - 11th September, 2009 Aims and Scope: The COIN workshop series brings together the topics of coordination, organization, institutions and norms in the context of multi-agent systems. These topics have become an established area of agent research and a significant number of influential papers on these topics have been appearing in AAMAS and other agent conferences and workshops in recent years. The series of COIN workshops are thus aimed at consolidating and expanding the subject by providing focused events in which researchers from different communities participate. For this edition of COIN, the focus is on how COIN topics influence and are realized in on-line communities, where it is necessary to take into account social, legal, economic and technological dimensions of agent-agent, agent-human, human-human interactions in order to ensure social order within these environments. Furthermore, the dynamic nature of such communities, combined with their potential dissimilarity to conventional human social structures - which means that simply transporting existing conventions does not necessarily work - and the strengths, weaknesses, opportunities and threats posed by alternative interaction modalities deriving from the different physics of virtual environments, leads to the exploration and establishment of new normative frameworks that do not necessarily have parallels in the physical world but are well reflected in "made natures" such as the Web. Such frameworks are not only interesting for the agent community but also have attracted interest of the Semantic Web Community in events such as the recent W3C Workshop on the Future of Social Networking (http://www.w3.org/2008/09/msnws/)). We seek contributions that address, model, analyse and/or enable (but not-exclusively!) such issues and look forward to a highly interactive, convivial meeting. Consequently, relevant topics - tuned to the workshop theme - include: * Ontologies, methodologies, tools and standards for multi-agent systems * Social science background for multi-agent systems: Roles, authority, motivation, social power and other social relationships and attitudes * Languages for norms and policies: expressiveness vs. efficiency * Electronic institutions and virtual organizations * Coordination and interaction conventions, technologies and artifacts. * Institutional aspects of peer to peer interactions * Dynamic, adaptive and emergent organizational structures * Issues in the dynamics of norms and policies (creation, evolution, change, disappearance) * Simulation, analysis and verification of Online Communities as multi-agent systems * Parallels and differences of multi-agent systems and Online Communities We particularly encourage authors to submit innovative and original papers that report on: * Software frameworks, tools, and methodologies * Applications, case studies, and experimental work * Formal and theoretical models Papers describing ongoing work and position papers are also welcome. Venue: ====== The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW 2009 and will take place at Educatorio della Providenza. Full details are available at http://www.di.unito.it/~baroglio/MALLOW_EASSS09/MALLOW.html. The MALLOW 2009 format will allow us to host a two-day meeting with longer presentations, round tables and discussions that were a feature of the previous MALLOW edition of COIN, in contrast to the compressed schedule when associated with large international conferences.. Proceedings: ============ Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of the three 2009 workshops will be published in a single Springer LNCS volume. Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. Preparation and submission of papers: ===================================== Although the post-proceedings will be published in Springer LNCS, the preliminary proceedings will follow a different format, namely IEEE Transactions. For preparation of papers to be submitted please use the styles for LaTeX and BibTex and the documentation at the following address: http://www.michaelshell.org/tex/ieeetran/. The length of each paper including figures and references may not exceed 6 pages in this format. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the conference to present the work. To submit a paper follow the link below: http://www.easychair.org/conferences/?conf=coinatmallow2009 Organization: ============= Program Committee: ------------------ * Alexander Artikis * Sören Auer * Guido Boella * Frances Brazier * Dan Brickley * John Breslin * Antonio Carlos Costa * Stephen Cranefield * Harry Halpin * Jomi Fred Hubner * Lloyd Kamara * Eric Matson * Pablo Noriega * Eamonn O'Neill * Alexandre Passant * Jeremy Pitt * Juan Antonio Rodriguez Aguilar * Sascha Ossowski * Sebastian Schaffert * Jaime Sichman * Maarten Sierhuis * Kostas Stathis * Harko Verhagen * Niek Wijngaards Workshop Chairs: ---------------- Axel Polleres, Digital Enterprise Research Institute National University of Ireland, Galway e-mail: axel.polleres [at] deri.org Julian Padget, Department of Computer Science, University of Bath, UK e-mail: jap [at] cs.bath.ac.uk COIN Steering Committee: ------------------------ Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Nicoletta Fornara (University of Lugano, Italy) Christian Lemaître (Universidad Autonoma Metropolitana, Mexico) Eric Matson (Purdue University, USA) Pablo Noriega (IIIA-CSIC, Spain) Sascha Ossowski (Universidad Rey Juan Carlos, Spain) Julian Padget (University of Bath, UK) Jeremy Pitt (Imperial College London, UK) Jaime Sichman (University of São Paulo, Brazil) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vazquez Salceda (Universitat Politecnica de Catalunya, Spain) George Vouros (University of the Aegean, Greece) From Thomas.Agotnes at infomedia.uib.no Wed Jun 10 23:51:11 2009 From: Thomas.Agotnes at infomedia.uib.no (Thomas.Agotnes at infomedia.uib.no) Date: Wed, 10 Jun 2009 23:51:11 +0200 Subject: PhD scholarship in modal logic for social software, Bergen (Norway) Message-ID: <20090610235111.wa6cjgyxskssowco@webmail.uib.no> At the University of Bergen (Norway) there is currently an open position for a Research Fellow, in the form of a 4 years PhD scholarship, in information science. Project proposals are invited, and projects on modal logic for social software are of particular interest. For enquiries regarding projects on that particular theme, Thomas Ågotnes (thomas.agotnes at infomedia.uib.no) can be contacted; for contact information for more general enquiries and for application details see: https://secure.jobbnorge.no/visstilling2.aspx?stillid=58692 (choose "English" from the menu in the upper right corner) Note that the deadline is (already!) 20 June. From ian.dickinson at hp.com Thu Jun 11 12:34:49 2009 From: ian.dickinson at hp.com (Dickinson, Ian J. (HP Labs, Bristol, UK)) Date: Thu, 11 Jun 2009 10:34:49 +0000 Subject: unsubscribe Message-ID: Unsubscribe From ian.dickinson at hp.com Thu Jun 11 12:42:16 2009 From: ian.dickinson at hp.com (Dickinson, Ian J. (HP Labs, Bristol, UK)) Date: Thu, 11 Jun 2009 10:42:16 +0000 Subject: Confirmation Request (2885044176) In-Reply-To: References: Message-ID: > -----Original Message----- > From: event administration [mailto:event-unsubscribe at in.tu- > clausthal.de] > Sent: 11 June 2009 11:41 > To: Dickinson, Ian J. (HP Labs, Bristol, UK) > Subject: Confirmation Request (2885044176) > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe 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: 2885044176, > 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 tudorache at stanford.edu Thu Jun 11 20:52:28 2009 From: tudorache at stanford.edu (Tania Tudorache) Date: Thu, 11 Jun 2009 11:52:28 -0700 Subject: CFP: ISWC 2009 Workshop on Collaborative Construction, Management and Linking of Structured Knowledge Message-ID: <4A31526C.1060808@stanford.edu> Apologies for cross-postings. Please forward to interested colleagues and mailing lists. CALL FOR PAPERS, POSTERS AND DEMOS ==================================================================== Workshop on Collaborative Construction, Management and Linking of Structured Knowledge October 25, 2009 Collocated with ISWC-2009 Westfields Conference Center, near Washington, DC., USA Paper submission: 10 August 2009 http://users.ecs.soton.ac.uk/gc3/iswc-workshop/ ==================================================================== Objectives ----------- Many have argued that the next generation of the Web (Web 3.0) will grow out of an integration between Semantic Web and Social Web (Web 2.0) technologies.Can ontology management benefits from social web? Can Wikipidia be a style of collaborative ontology authoring? How to exploit user feedback for constructing structured knowledge? In these and many other questions lie the opportunity and the challenge to integrate knowledge bases approaches to social web ones. This integration involves several very different aspects of technology and social practice. Recent workshops and journal special issues have been devoted to methods for extracting ontologies and other structured knowledge from resources such as Wikipedia and other loosely structured data; or on using Semantic Web representations to describe the social structures and interactions in Web 2.0; or on mapping existing data using semantic technologies. In this workshop, we want to focus on another aspect of linkage between Social Web and Semantic Web techniques: collaborative and distributed methods for constructing and maintaining ontologies, terminologies, vocabularies, and mappings between them, throughout their entire life cycle. Topics of interest ------------------- They include (but are not limited to): - Collaborative creation and editing of structured knowledge - Collaborative creation of ontology mappings - Efficient methods for maintenance and evolution of structured knowledge that was created collaboratively - Individual and group incentives for collaborative knowledge construction and maintenance - Ontology repositories, knowledge bases, and their utility in the Social Web. - Metadata management - User interfaces for collaborative tools for creating structured knowledge - Inconsistency management and user-specific views of ontologies - Workflows for collaborative construction and linking of structured knowledge - Evaluation of collaborative tools: methods, metrics, and experimental reports Submission guidelines --------------------- Papers submitted to the workshop must follow the same submission guidelines of the ISWC'09 conference. Submissions must be in PDF format in Springer format (for instruction see http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0) We solicit in this workshop two types of contributions: 1. Research papers analysing the process of collaborative construction, management and linkage of structured knowledge; the requirements for supporting technologies and the field of exploitation of such knowledge. Formatted papers must not be longer than 10 pages. 2. Demos papers describing relevant tools and prototypes. Formatted papers must not be longer than 2 pages. Important dates ---------------- Paper submission: 10 August 2009 Notification : 31 August 2009 Workshop : 25 October 2009 Organizing committee --------------------- Tania Tudorache (co-chair), Stanford University Gianluca Correndo (co-chair), University of Southampton Natasha Noy, Stanford University Harith Alani, University of Southampton Mark Greaves, Vulcan inc. Program Committee ------------------ Mathieu D'Aquin, Knowledge Media Institute, UK Sören Auer, University of Leipzig, Germany Ken Baklawski, Northeastern University, US Simone Braun, FZI, Germany Raul Garcia Castro, Universidad Politecnica de Madrid, Spain Vinay Chaudhri, SRI international, USA Mike Dean, BBN Technologies, USA Jerome Euzenat, INRIA, France Sean Falconer, University of Victoria, Canada Aldo Gangemi, ISTC-CNR, Italy John Graybeal, Monterey Bay Aquarium Research Institute, USA Martin Hepp, Universität der Bundeswehr München, Germany Andreas Hotho, University of Kassel, Germany Elisa Kendall, Sandpiper Software, USA Peter Mika, Yahoo Research, Spain Valentina Presutti, ISTC-CNR, Italy Marta Sabou, Knowledge Media Institute, UK Robert Stevens, University of Manchester, UK Gerd Stumme, Universität Kassel, Germany Giovanni Tummarello, DERI, Ireland Denny Vrandecic, AIFB, Germany Anna Zhdanova, FTW, Austria From robert at grid.chu.edu.tw Sat Jun 13 09:11:31 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sat, 13 Jun 2009 15:11:31 +0800 Subject: ISPAN\'09 Announcement and CFP Message-ID: <200906130711.n5D7BVHK023284@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ivan.varzinczak at gmail.com Fri Jun 12 13:24:51 2009 From: ivan.varzinczak at gmail.com (=?ISO-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Fri, 12 Jun 2009 13:24:51 +0200 Subject: Confirmation Request (3479280753) In-Reply-To: References: Message-ID: <3dc5ef7e0906120424q4805b26ah41675b5447af3e39@mail.gmail.com> On Fri, Jun 12, 2009 at 1:19 PM, event administration wrote: > This is an automated message from the >   mailing list manager > > Somebody (probably you) have requested the unsubscribe 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: 3479280753, >  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 > > -- Ivan José Varzinczak - http://member.acm.org/~ijv From ijv at acm.org Fri Jun 12 13:50:52 2009 From: ijv at acm.org (=?ISO-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Fri, 12 Jun 2009 13:50:52 +0200 Subject: subscribe Message-ID: From ijv at acm.org Fri Jun 12 13:57:33 2009 From: ijv at acm.org (=?ISO-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Fri, 12 Jun 2009 13:57:33 +0200 Subject: Confirmation Request (2121758690) In-Reply-To: References: Message-ID: <6D045AAD-9D4D-4A18-B30D-24EBA884D676@acm.org> On Jun 12, 2009, at 1:56 PM, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2121758690, > 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 > -- Ivan José Varzinczak - http://ksg.meraka.org.za/~ivarzinczak Researcher in Logic-based Knowledge Representation and Reasoning Knowledge Systems Group - Meraka Institute - CSIR - Pretoria SA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Mon Jun 15 07:05:28 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Mon, 15 Jun 2009 17:05:28 +1200 Subject: CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence Message-ID: <00cc01c9ed76$e836a930$3ce05a79@yourbbc104cd11> --------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Call for Papers Sensors are windows to the physical world for ambient intelligence (AmI) applications. The recent emergence of networked sensors as a result of rapid advances in sensor technologies and wireless networks, have set the stage for the realization of smart environments where unobtrusive sensors, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring to humanistic and social endevours such as health and elderly care service provisioning. Following the success of the first SeNAmI at PDCAT 2008 in Dunedin, New Zealand, this workshop once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based ambient intelligence systems. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative sensor localization and target tracking - Context-aware reasoning and inference for sensor/RFID-based systems - Cross-layer design and optimization of sensor-based AmI systems - Intelligent agents for autonomous sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Security, trust, and privacy for autonomous smart spaces - Nature or bio-inspired designs for ambient sensing and intelligence - AmI architectures, platforms, applications, and services - Prototype or testbed implementation and deployment trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society proceedings guidelines to prepare your papers. Maximum page length will be limited to 6 pages. Accepted papers will be included in the conference proceedings of PDCAT'09, which will be published by IEEE Computer Society and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by IEE INSPEC, EI (Compendex), and Thomson ISI. Extended version of selected best papers will be considered for publication in a refereed international journal (TBA). Important dates Paper submission due : July 1, 2009 Acceptance notification : August 10, 2009 Camera-ready due : September 1, 2009 Workshop date : TBA For further details, please visit: http://senami.aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From arcoe-09 at aifb.uni-karlsruhe.de Mon Jun 15 11:38:40 2009 From: arcoe-09 at aifb.uni-karlsruhe.de (ARCOE-09) Date: Mon, 15 Jun 2009 11:38:40 +0200 Subject: ARCOE-09 Call for Participation Message-ID: <52c479f40906150238g42070abdq6df92148cd7c2186@mail.gmail.com> ================================ ARCOE-09 at IJCAI-09 July 11-12, 2009 Pasadena, CA, USA CALL FOR REGISTRATION Register on http://ijcai-09.org/ ================================ ARCOE-09 is an IJCAI-09 workshop on Automated Reasoning about Context and Ontology Evolution http://km.aifb.uni-karlsruhe.de/ws/ARCOE-09 Program ** Day 1 (July 11th 2009) 08h00 to 08h45: Registration 08h45 to 09h00: Introduction to ARCOE Track 1: COMMON SENSE AND NON-MONOTONIC REASONING 09h00 to 10h00: Invited talk: Small is again beautiful in Description Logics Baader ---Coffee Break (30min)--- 10h30 to 11h00: Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach Moguillansky, Wassermann 11h00 to 11h30: Forgetting for Knowledge Bases in DL-Lite_{bool} Wang, Wang, Topor ---Lunch (2h)--- 13h30 to 14h00: AGM Revision in Description Logics Ribeiro, Wasserman 14h00 to 14h30: First Steps in EL Contraction Booth, Meyer, Varzinczak Track 2: CONTEXT AND ONTOLOGY 14h30 to 15h00: Shifting Valence Helps Verify Contextual Appropriateness of Emotions Ptaszynski, Dybala, Shi, Rzepka, Araki ---Coffee Break (30min)--- 15h30 to 16h00: Context Discovery via Theory Interpretation Kutz, Normann 16h00 to 16h30: Contextualized OWL-DL KB for the management of OWL-S effects Redavid, Palmisano, Iannone, Doran (presentation) 16h30 to 17h30: Panel discussion: Theme TBA ** Day 2 (July 12th 2009) 09h00 to 10h00: Invited talk: Title TBA McGuinness ---Coffee break (30min)--- 10h30 to 11h00: Modeling the External Quality of Context to Fine-tune Context Reasoning in Geo-spatial Interoperability Sboui, Bedard, Badard 11h00 to 11h30: A Conflict-based Operator for Mapping Revision Qi, Ji, Haase ---Lunch (2h)--- Track 3: AUTOMATED ONTOLOGY EVOLUTION 13h30 to 14h00: Unite: A New Plan for Automated Ontology Evolution in Physics Bundy 14h00 to 14h30: An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics Chan, Bundy 14h30 to 15h00: A Case Study of Ontology Evolution in Atomic Physics as the Basis of the Open Structure Ontology Repair Plan Lehmann ---Coffee break (30min)--- 15h30 to 16h00: Atypicalities in Ontologies: Inferring New Facts from Topological Axioms Jouis, Habib, Liu Track 4: LINKS AND INTEGRATION BETWEEN TRACKS 1 TO 3 16h00 to 17h00: Participants Scientific Discussion 17h00 to 18h00: Plenary Business Meeting, closing of the workshop followed by social activities ================================ Please note thatProgram may be subject to variations. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dvillatoro at iiia.csic.es Mon Jun 15 16:36:03 2009 From: dvillatoro at iiia.csic.es (Daniel Villatoro Segura) Date: Mon, 15 Jun 2009 16:36:03 +0200 Subject: Second CFP Student Session @ EASSS09 Message-ID: <4A365C53.8070406@iiia.csic.es> ----------------------------------------------------------------------- **** 2nd CALL FOR PAPERS **** (apologies for multiple postings) ----------------------------------------------------------------------- STUDENT SESSION @ EASSS09 11th European Agent Systems Summer School Torino, Italy August 31st - September 4th 2009} *Call for submissions to the Student Session* All students are cordially invited to participate in the Student Session of EASSS'09 (http://agents009.di.unito.it/EASSS.html). The European Agent Systems Summer School aims to offer a valuable forum for knowledge exchange between various research groups in its field for the benefit of students and researchers at both beginner and advanced level. The success of the summer school series 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. EASSS attracts about 100 students each year. The school provides a wide range of state-of-the-art courses given by the most prominent researchers in the area. A typical course has 4 hours in total and they are broad enough to provide a general introduction to the chosen topic, whilst also covering the most important contributions in depth. Courses are expected to take a wide perspective of the research being done by various groups active in research on the specific topic of the course. Within this context, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 15 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience. In addition, selected submission authors will be given the opportunity to present their work in form of a poster that will be displayed at a special room throughout the EASSS'09. Moreover, all the submissions will be published in online proceedings. As the goal is to provide the speakers with constructive feedback and a way to be introduced to the community, the competitive elements often found in conferences (best paper award, best presentation award) are intentionally omitted. The peer review will focus not on the magnitude of the presented material but on the clarity of the formulated material or whether or not the posed question is of relevance to a majority of students. Giving a good presentation is a difficult task, practising it is the benefit of this session. The extend to which the audience has understood the details should be the criterion by which the presentations are judged. *Deadlines* June 26th Fri: Submissions deadline. August 3th Fri: Notification to authors. August 31st Mon: Start Summer School *Submission Details* Submissions should be - student work at student level. - up to 6 pages maximum (including figures, tables, bibliography, abstract etc) in the AAMAS09 format (templates can be found in http://www.conferences.hu/AAMAS2009/instruction.html ). - clearly stating the posed question or the proposed approach, as well as outlining the problem at hand. - stating the author(s), their affiliation and their current status. - giving a few references to both the standard literature and specific relevant publications (possibly your own). - in either .pdf or .ps or .doc format (for MS Word files it will be your responsibility to ensure compatibility). - all papers should be written in English. - use the tool EasyChair (http://www.easychair.org/conferences/?conf=sseasss09) for the submission. Please feel free to email easss09 at di.unito.it with any questions or suggestions regarding the student session. Please mention EASSS'09 in the subject. *Regards* Student Session PC Chairs Tina Balke University of Bayreuth, Germany tina.balke at uni-bayreuth.de Serena Villata University of Turin, Italy villata at di.unito.it Daniel Villatoro IIIA-CSIC, Spain dvillatoro at iiia.csic.es From jleite at di.fct.unl.pt Tue Jun 16 02:08:45 2009 From: jleite at di.fct.unl.pt (Joao Leite) Date: Tue, 16 Jun 2009 01:08:45 +0100 Subject: LADS'009 - Final Call for Papers Message-ID: ************************************************************************ LADS'009 Final Call for Papers *** NEW Submission deadline: June 19, 2009 **** Springer LNAI Post-Proceedings LADS'009 - Second Workshop on Languages, methodologies and Development tools for multi-agent Systems http://centria.di.fct.unl.pt/events/lads009/ Part of MALLOW'009, a federation of workshops on Multi-Agent Logics, Languages, and Organisations September 7-11, 2009 Torino, Italy ************************************************************************ CALL FOR PAPERS ************************************************************************ Aims and Scope LADS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. From fsvweb at dimi.uniud.it Wed Jun 17 11:05:43 2009 From: fsvweb at dimi.uniud.it (fsvweb at dimi.uniud.it) Date: Wed, 17 Jun 2009 11:05:43 +0200 Subject: GAMES 2009: Call for Contributions Message-ID: <20090617090543.A94703FC382@sole.dimi.uniud.it> GAMES 2009 Annual Workshop of the ESF Networking Programme on Games for Design and Verification September 14 - 17, 2009 Udine, Italy http://games2009.dimi.uniud.it/ CALL FOR CONTRIBUTIONS GAMES is an European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic, and automata theory. For details, see www.games.rwth-aachen.de/ PROGRAMME: As in previous years, GAMES 2009 will be an informal workshop, without proceedings. Its programme consists of three invited introductory tutorial (90 min), 5 invited advanced tutorials (90 min), contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games. SCOPE: The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic for the design and verification of computing systems. SUBMISSIONS: Researchers who would like to present a talk at GAMES 2009 are invited to submit an extended abstract of up to two pages at https://fsv.dimi.uniud.it/Games2009_submission/ by July 15th 2009. Decision about acceptance will be made by August 1st 2009. SUPPORT: We will be able to cover travel and accomodation costs for a limited number of participants (especially students). For information, please contact games09-travel at dimi.uniud.it There will be no registration fee. INTRODUCTORY TUTORIALS: - Olivier Gossner, CNRS, Paris-Jourdan Sciences Economiques, France - Christof Lˆding, University of Aachen, Germany - Angelo Montanari and Nicola Vitacolonna, University of Udine, Italy ADVANCED TUTORIALS - Mikolaj Bojanczyk, University of Warsaw, Poland - Joseph Y. Halpern, Cornell University, USA - Salvatore La Torre, University of Salerno, Italy - Guy McCusker, University of Bath, UK - Peter Bro Miltersen, Aarhus University, Denmark LOCATION: The workshop will be held at Udine Castle and at the University of Udine. The web site for the workshop is at http://games2009.dimi.uniud.it/. PROGRAMME COMMITTEE: - Parosh Abdulla (Uppsala) - Erich Gr‰del (Aachen) - Angelo Montanari (Udine) - Luke Ong (Oxford) - Wieslaw Zielonka (Paris) From peter.novak at tu-clausthal.de Wed Jun 17 20:40:12 2009 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Wed, 17 Jun 2009 20:40:12 +0200 Subject: CLIMA-X ... deadline almost here ... Message-ID: <20090617184012.GP10885@tu-clausthal.de> /-----------\ | CLIMA-X | \-----------/ 10th International Workshop on Computational Logic in Multi-Agent Systems Hamburg, Germany 9th-10th September, 2009 [ http://jadex.informatik.uni-hamburg.de/mates/bin/view/CLIMA/Home ] OVERVIEW -------- The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) will be held in Hamburg, Germany on the 9th and 10th September. CLIMA-X will be co-located with the 7th German Conference on Multi Agent System Technologies (MATES); see http://jadex.informatik.uni-hamburg.de/mates Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Finally, note that CLIMA-X will also incorporate the results of this year's Multi-Agent Contest (see http://www.multiagentcontest.org). TOPICS ------ Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * logical foundations * extensions of logic programming * modal logic approaches * logic-based programming languages * non-monotonic reasoning * decision theory * hypothetical reasoning and learning * knowledge and belief representation and updates * operational semantics and execution agent models * model checking approaches using (multi-)agent logics * semantics of interaction and agent communication languages * distributed constraint satisfaction * temporal reasoning * distributed theorem proving * logic-based implementations * specification and verification of formal properties SUBMISSIONS ----------- We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. Submissions must be made via http://www.easychair.org/conferences/?conf=clima10 Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. A selection of extended workshop papers will be published in a Post-Proceedings volume within the Springer Verlag LNAI series, as in previous years; see http://centria.di.fct.unl.pt/~clima IMPORTANT DATES --------------- Submission Deadline: 22nd June 2009 Notification: 16th July 2009 Camera Ready Copy Due: 10th August 2009 CLIMA X: 9th-10th September 2009 WORKSHOP CO-CHAIRS ------------------ Juergen Dix (Clausthal, DE) Michael Fisher (Liverpool, UK) Peter Novak (Clausthal, DE) PROGRAMME COMMITTEE ------------------- Thomas Agotnes (Bergen, NO) Natasha Alechina (Nottingham, UK) Jose Julio Alferes (Lisbon, PT) Rafael Bordini (Durham, UK) Gerhard Brewka (Leipzig, DE) Keith Clark (Imperial, UK) Stefania Costantini (L'Aquila, IT) Mehdi Dastani (Utrecht, NL) Juergen Dix (Clausthal, NL) Louise Dennis (Liverpool, UK) Chiara Ghidini (Trento, IT) James Harland (RMIT, AUS) Hisashi Hayashi (Toshiba, JP) Koen Hindriks (Delft, NL) Wiebe van der Hoek (Liverpool, UK) Katsumi Inoue (NII, JP) Wojtek Jamroga (Clausthal, DE) Viviana Mascardi (Genoa, IT) Paola Mello (Bologna, IT) John-Jules Meyer (Utrecht, NL) Leora Morgenstern (Stanford, USA) Naoyuki Nide (Nara, JP) Mehmet Orgun (Macquarie, AUS) Maurice Pagnucco (NSW, AUS) Jeremy Pitt (Imperial, UK) Enrico Pontelli (New Mexico, USA) Chiaki Sakama (Wakayama, JP) Renate Schmidt (Manchester, UK) Tran Cao Son (New Mexico, USA) Kostas Stathis (RHUL, UK) Michael Thielscher (Dresden, DE) Marina de Vos (Bath, UK) Cees Witteveen (Delft, NL) ----------------------------------------------------- From peter.novak at tu-clausthal.de Sat Jun 20 00:30:51 2009 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Sat, 20 Jun 2009 00:30:51 +0200 Subject: CLIMA-X Submission deadline extended! Message-ID: <20090619223051.GM15649@tu-clausthal.de> [apologies for cross-posting] Due to numerous requests, the CLIMA-X deadline was extended by one week! Find the Call for papers below. /-----------\ | CLIMA-X | \-----------/ *********************************************************************** *** !!! DEADLINE EXTENDED !!! *** *********************************************************************** IMPORTANT DATES --------------- Submission Deadline: 29nd June 2009 (!!! NEW !!!) Notification: 16th July 2009 Camera Ready Copy Due: 10th August 2009 CLIMA X: 9th-10th September 2009 *********************************************************************** 10th International Workshop on Computational Logic in Multi-Agent Systems Hamburg, Germany 9th-10th September, 2009 [ http://jadex.informatik.uni-hamburg.de/mates/bin/view/CLIMA/Home ] OVERVIEW -------- The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) will be held in Hamburg, Germany on the 9th and 10th September. CLIMA-X will be co-located with the 7th German Conference on Multi Agent System Technologies (MATES); see http://jadex.informatik.uni-hamburg.de/mates Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Finally, note that CLIMA-X will also incorporate the results of this year's Multi-Agent Contest (see http://www.multiagentcontest.org). TOPICS ------ Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * logical foundations * extensions of logic programming * modal logic approaches * logic-based programming languages * non-monotonic reasoning * decision theory * hypothetical reasoning and learning * knowledge and belief representation and updates * operational semantics and execution agent models * model checking approaches using (multi-)agent logics * semantics of interaction and agent communication languages * distributed constraint satisfaction * temporal reasoning * distributed theorem proving * logic-based implementations * specification and verification of formal properties SUBMISSIONS ----------- We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. Submissions must be made via http://www.easychair.org/conferences/?conf=clima10 Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. A selection of extended workshop papers will be published in a Post-Proceedings volume within the Springer Verlag LNAI series, as in previous years; see http://centria.di.fct.unl.pt/~clima IMPORTANT DATES --------------- Submission Deadline: 29nd June 2009 (was 22nd June 2009) Notification: 16th July 2009 Camera Ready Copy Due: 10th August 2009 CLIMA X: 9th-10th September 2009 WORKSHOP CO-CHAIRS ------------------ Juergen Dix (Clausthal, DE) Michael Fisher (Liverpool, UK) Peter Novak (Clausthal, DE) PROGRAMME COMMITTEE ------------------- Thomas Agotnes (Bergen, NO) Natasha Alechina (Nottingham, UK) Jose Julio Alferes (Lisbon, PT) Rafael Bordini (Durham, UK) Gerhard Brewka (Leipzig, DE) Keith Clark (Imperial, UK) Stefania Costantini (L'Aquila, IT) Mehdi Dastani (Utrecht, NL) Juergen Dix (Clausthal, NL) Louise Dennis (Liverpool, UK) Chiara Ghidini (Trento, IT) James Harland (RMIT, AUS) Hisashi Hayashi (Toshiba, JP) Koen Hindriks (Delft, NL) Wiebe van der Hoek (Liverpool, UK) Katsumi Inoue (NII, JP) Wojtek Jamroga (Clausthal, DE) Viviana Mascardi (Genoa, IT) Paola Mello (Bologna, IT) John-Jules Meyer (Utrecht, NL) Leora Morgenstern (Stanford, USA) Naoyuki Nide (Nara, JP) Mehmet Orgun (Macquarie, AUS) Maurice Pagnucco (NSW, AUS) Jeremy Pitt (Imperial, UK) Enrico Pontelli (New Mexico, USA) Chiaki Sakama (Wakayama, JP) Renate Schmidt (Manchester, UK) Tran Cao Son (New Mexico, USA) Kostas Stathis (RHUL, UK) Michael Thielscher (Dresden, DE) Marina de Vos (Bath, UK) Cees Witteveen (Delft, NL) ----------------------------------------------------- From ribooth at gmail.com Fri Jun 19 14:31:08 2009 From: ribooth at gmail.com (Richard Booth) Date: Fri, 19 Jun 2009 19:31:08 +0700 Subject: subscribe Message-ID: From ribooth at gmail.com Fri Jun 19 14:56:53 2009 From: ribooth at gmail.com (Richard Booth) Date: Fri, 19 Jun 2009 19:56:53 +0700 Subject: Confirmation Request (0321101644) In-Reply-To: References: Message-ID: On Fri, Jun 19, 2009 at 7:55 PM, event administration wrote: > > This is an automated message from the >   mailing list manager > > Somebody (probably you) have requested the subscribe operation >  for your address > > If you want to confirm this operation, >  use the Reply command in your mailer. > > Check that the Subject of the reply message contains >  the confirmation ID: 0321101644, >  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 ribooth at gmail.com Sun Jun 21 22:49:20 2009 From: ribooth at gmail.com (Richard Booth) Date: Mon, 22 Jun 2009 03:49:20 +0700 Subject: First call for papers: MIWAI'09 Message-ID: ================================================================== Apologies for multiple copies due to cross postings ================================================================== Dear Colleague, Following on from the success of the 1st and 2nd Mahasarakham International Workshops on AI (MIWAI 2007,http://www.miwai.org, MIWAI 2008, http://www.it.msu.ac.th/miwai2008/index.html), we are delighted to announce the 2009 edition of the event. Please find the Call for Papers below. Submission of full papers is due on September 27, 2009. The workshop will take place in Mahasarakham, Thailand on December 10-11, 2009. We will also be grateful to you for advertising MIWAI 2009 and inviting your colleagues and/or research students to submit their work and participate in the event. The (preliminary version of the) MIWAI09 homepage may be found here http://khamreang.msu.ac.th/miwai09 This year's MIWAI will take place inbetween the Australasian AI Conference (AI'09) in Melbourne, Australia and the International Conference on Principles of Practice in Multi-Agent Systems (PRIMA'09) in Nagoya, Japan. We look forward to receiving your submission. Best regards, Natthariya Laopracha MIWAI 2009 Publicity Chair Richard Booth and Chattrakul Sombattheera MIWAI 2009 Program Chairs ================================================================== The Third Mahasarakham International Workshop on AI (MIWAI'09) Call for Papers: MIWAI 2009 ================================================================== December 10-11, 2009 Mahasarakham, Thailand Contact: richard.b at msu.ac.th, chattrakul.s at msu.ac.th Homepage: http://khamreang.msu.ac.th/miwai09 (Preliminary version) ================================================================== Invited Speakers ================================================================== Patrick Doherty Linkoping University, Sweden, http://www.ida.liu.se/~patdo/patdosite1/index.html Ryohei Nakatsu (National University of Singapore, http://www.idmi.nus.edu.sg/ourpeople/prof_nakatsu.htm) MORE TO BE ANNOUNCED ================================================================== Important Dates: ================================================================== Papers due: September 27 2009 Author notification: October 25 2009 Camera-ready papers due: November 8 2009 Registration deadline: November 22 2009 Workshop dates: December 10-11 2009 ================================================================== About MIWAI ================================================================== Artificial Intelligence (AI) research has broad applications on real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The advances in AI research have been driven partially by our passionate enthusiasm and have been thriving recently. On the other hand, the ever evolving needs in business both in local and global scale have been demanding for better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. The focus of MIWAI'09 will be fairly broad, taking in all sub-topics of AI. The programme aims at high quality research publications in AI of both technical and applied natures. ================================================================== About Mahasarakham ================================================================== Mahasarakham is a city in the northeast of Thailand in the so-called "Isan" region of the country. Mahasarakham University (http://www.msu.ac.th) is a major centre of learning in the region and its Faculty of Informatics (http://www.it.msu.ac.th) is currently enjoying an exciting period of growth, with a blossoming research culture now complementing its traditional teaching strengths. The town itself boasts many temples, as well as numerous restaurants selling delicious Isan food. It is also renowned for its silk and handicraft. ================================================================== Topics of Interest ================================================================== The research areas in AI include but not limited to: -Agent-based simulation -Agent-oriented software engineering -Agents and Web services -Agent-based electronic commerce, auctions and markets -Constraint satisfaction -Decision theory -Distributed AI -E-Commerce and AI -Game theory -Internet/WWW intelligence -Industrial applications of AI -Intelligent tutoring -Knowledge representation and reasoning -Machine learning -Multiagent planning and learning -Multiagent systems and their applications -Multiagent systems and evolving intelligence -Natural language processing -Neural networks -Planning and scheduling -Robotics -Web services ================================================================== Submission Requirements ================================================================== Submissions of the following two categories are invited: Category A: REGULAR PAPERS ------------------------------------------------------------------ Papers presenting new original work. Submitted papers should not exceed a length of 12 pages, formatted in the IEEE style (latex and MS Word templates available for download from http://khamreang.msu.ac.th/miwai09/submission.html). These papers will be reviewed on overall quality and relevance. Reviewing will be double-blind, meaning names and institutions of authors should not appear in the submitted paper. All accepted papers will be fully published in the proceedings. Category B: COMPRESSED CONTRIBUTIONS ------------------------------------------------------------------ Papers that have recently been accepted for AI-related refereed conferences (e.g., IJCAI 2009, PRICAI 2009, PRIMA 2009) or journals can be resubmitted and will be accepted as "compressed contributions". Authors are invited to submit the published version (without page or format restriction). The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. The language of the workshop is English. Papers written in any other language will not be accepted. The workshop proceedings will be published with ISBN number. At least one author of each accepted paper (in both submission categories) is required to attend the workshop. ================================================================== Submission Instructions ================================================================== Submission will be handled via EasyChair. Please send an electronic pdf copy via the submission page http://www.easychair.org/conferences/?conf=miwai09. (If you do not already have one, you will be first asked to register an EasyChair account on this submission page.) Be sure to tick the box stating clearly to which of the 2 submission categories your submission belongs. Submission deadline is September 27, 2009. ================================================================== Publication ================================================================== MIWAI 2009 workshop proceedings will be distributed at the event. We intend to invite authors of the best papers to submit revised and extended versions of their papers for a special issue of a suitable journal. ================================================================== Committees ================================================================== ------------------------------------------------------------------ Advisory Commitee ------------------------------------------------------------------ -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok) -Wirat Pongsiri(Mahasarakham, Thailand) -Sujin Butdeesuwan (Mahasarakham, Thailand) -Somnuk Puangpronpitag (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Co-Chairs ------------------------------------------------------------------ -Richard Booth (Mahasarakham, Thailand) -Chattrakul Sombattheera (Mahasarakham, Thailand) ------------------------------------------------------------------ Publicity Chair ------------------------------------------------------------------ -Natthariya Laopracha (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Committee (provisional) ------------------------------------------------------------------ -Samir Aknine (Paris 6, France) -Roger Boyle (Leeds, UK) -Chee Fon Chang (Wollongong, Australia) -Krisana Chinnasarn (Burapha, Thailand) -Matthew Dailey (AIT, Thailand) -Aniruddha Dasgupta (Wollongong, Australia) -Juergen Dix (Clausthal, Germany) -Phan Minh Dung (AIT, Thailand) -Andreas Herzig (IRIT, Toulouse, France) -Wiebe van der Hoek (Liverpool, UK) -Jerome Lang (Lamsade, Paris, France) -Kittichai Lavangnananda (KMUTT, Thailand) -Fangzhen Lin (HKUST, Hong Kong) -Chidchanok Lursinsap (Chulalongkorn University, Bangkok) -Yuji Matsumoto (Nara Institute of Science and Technology, Japan) -Jerome Mengin (IRIT, Toulouse, France) -Ryohei Nakatsu (NUS, Singapore) -Supawan Phonphitakchai (Naresuan University, Thailand) -Iyad Rahwan (Edinburgh, UK and British University in Dubai) -Jun Shen (Wollongong, Australia) -Sukree Sinthupinyo (Chulalongkorn University, Bangkok) -Boontawee Suntisrivaraporn (SIIT, Bangkok) -Leon van der Torre (Uni Luxembourg) -Paul Weng (Paris 6, France) From alessandro.dalpalu at unipr.it Mon Jun 22 11:08:57 2009 From: alessandro.dalpalu at unipr.it (Alessandro Dal Palu') Date: Mon, 22 Jun 2009 11:08:57 +0200 Subject: Call for papers - WCB09 - Extended Deadline Message-ID: <200906220908.n5M98vtF016790@nemo3.cce.unipr.it> (Apologies for multiple copies. Please, re-distribute.) ====================================================================== CALL FOR PAPERS - EXTENDED DEADLINE WCB09 Workshop on Constraint Based Methods for Bioinformatics http://www.bioinf.uni-freiburg.de/Events/WCB09/ September 20th, 2009, Lisbon, Portugal associated to CP 2009 ====================================================================== ---------------------------------------------------------------------- Description ---------------------------------------------------------------------- Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to: Recognition, analysis, and organization of DNA sequences. For instance, haplotype/pedigree inference, motif localization, constrained and structural alignments, biological systems simulations (for metabolic or regulatory networks), and structure prediction of proteins and RNA. All these problems can be naturally formalized using constraint programming. The main aim of this workshop is twofold. On the one hand, to share recent results in this area. This includes new ideas and/or systems, relying on constraints, but also on other AI techniques like linear programming, mixed Integer Linear Programming, local search, and possibly combinations thereof. On the other hand, to present new challenging problems that were recently formalized and are well-suited for constraint-based methods. Here, we welcome problem proposals that motivate further developments in the field, even if they are still far from having effective solutions. ---------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------- NEW Submission Deadline: ** July 3rd, 2009 ** Notification to Authors: July 24th, 2009 Camera-ready copy due: August 14th, 2009 Workshop: September 20th, 2009 ---------------------------------------------------------------------- Program Committee ---------------------------------------------------------------------- Rolf Backofen, Freiburg Univ., Germany Pedro Barahona, Univ. Nova de Lisbona, Portugal Alexander Bockmayr, Freie Univ. Berlin, Germany Mats Carlsson SICS, Uppsala Sweden Alessandro Dal Palu' (co-chair), Parma Univ., Italy Agostino Dovier, Udine Univ., Italy Esra Erdem, Sabanci University, Turkey Francois Fages, INRIA Rocquencourt, France Ines Lynce, INESC-ID Lisboa, Portugal Neil Moore, Univ. of St Andrews, UK Enrico Pontelli, NMSU, USA Sebastian Will (co-chair), Freiburg Univ., Germany ---------------------------------------------------------------------- Submission Details ---------------------------------------------------------------------- We appreciate submissions of * Extended Abstracts of new results * Abstracts of ongoing work * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results * Well-motivated proposals of bioinformatics problems for constraint based methods in any topic concerning bioinformatics and constraints and close techniques. Submission style is the standard llncs style. The page limit for submissions is 8 pages. Please send the pdf or ps to wcb09 at informatik.uni-freiburg.de ---------------------------------------------------------------------- Participation ---------------------------------------------------------------------- At least one author of each accepted submission is expected to attend the workshop and present the topic. Workshop participants must pay the workshop fee according to CP rules. From gqi at aifb.uni-karlsruhe.de Mon Jun 22 22:40:05 2009 From: gqi at aifb.uni-karlsruhe.de (Guilin Qi) Date: Mon, 22 Jun 2009 22:40:05 +0200 Subject: Final CFP: 3rd Int. Conf. on Web Reasoning and Rule Systems (RR 2009) Message-ID: <20090622224005.fvm3cm3hso4s8oo8@webmail.uni-karlsruhe.de> Apologies for multiple postings CALL FOR PAPERS The Third International Conference on Web Reasoning and Rule Systems (RR 2009) http://www.rr-conference.org/RR2009 Chantilly, Virginia, USA October 25-26, 2009 Co-located with the International Semantic Web Conference '09 The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2009 builds on the success of the first two International Conferences on Web Reasoning and Rule Systems, held in 2007 in Innsbruck and in and 2008 in Karlsruhe, which received enthusiastic support from the Web Rules community. In 2009, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. Suggested topics include the following, which is not to be considered as an exhaustive list: * Representation techniques for web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the World Wide Web Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers ------------------------------------------------------------------------ SUBMISSION DETAILS Papers for past conferences were published in the Springer LNCS series (acceptance pending for this year). Papers may be accepted as: * full papers (15 pages in the proceedings) * short papers (8 pages in the proceedings) * posters (2 pages in the proceedings). The stated lengths include title, abstract and list of references. All papers should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2009 ------------------------------------------------------------------------ TENTATIVE DATES * Abstract submission: June 28, 2009 * Paper submission: July 4, 2009 * Acceptance decisions: August 1, 2009 * Camera-ready papers due: August 25, 2009 ------------------------------------------------------------------------ PROGRAM COMMITTEE Grigoris Antoniou, FORTH-ICS (GR) Marcelo Arenas, PUC Chile (CL) Leopoldo Bertossi, Carleton University (CA) Piero Bonatti, Univ. of Naples Frederico II(IT) Carlos Damasio, Universidade Nova de Lisboa (PT) Wlodek Drabent, IPI PAN Warszawa (PL) Bernardo Cuenca Grau, University of Oxford (UK) Volker Haarslev, Concordia University (CA) Giovambattista Ianni, Univ. of Calabria (IT) Manolis Koubarakis, National and Kapodistrian Univ.of Athens (GR) Domenico Lembo, DIS, Univ. di Roma ``La Sapienza'' (IT) Thomas Lukasiewicz, Computing Lab. Univ. of Oxford (UK) Francesca Alessandra Lisi, Universita degli Studi di Bari (IT) Wolfgang May, Univ. Goettingen (DE) David Pearce, Universidad Politde Madrid (ES) Enrico Pontelli, New Mexico State University (US) Guilin Qi, Univ. of Karlsruhe (DE) Marie-Christine Rousset, Univ. of Grenoble (FR) Sebastian Rudolph, Institute AIFB, University of Karlsruhe (DE) Sebastian Schaffert, Salzburg Research Forschungsgesellschaf (AT) Michael Sintek, DFKI GmbH (DE) Giorgos Stamou, National Tech. University of Athens (GR) Heiner Stuckenschmidt, Univ. of Mannheim (DE) York Sure, AIFB - Universitaet Karlsruhe (DE) Peter Szeredi, Budapest Univ of Tech. and Econ. (HU) Sergio Tessaris, Free University of Bozen - Bolzano (IT) Hans Tompits, Vienna Univ. of Technology (AT) Dirk Vermeir, Vrije Universiteit Brussel (BE) ------------------------------------------------------------ CONTACTS For information about papers and submissions, please contact a Program Chair: Axel Polleres PC co-Chair - RR 2009 Digital Enterprise Research Institute (DERI) National University of Ireland, Galway IDA Business Park, Lower Dangan - Galway, Ire. Email: axel.polleresderi.org Terrance Swift PC co-Chair - RR 2009 Centre for Artificial Intelligence (CENTRIA) Departamento de Informatica FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Email: tswiftcs.sunysb.edu For other information about the conference, please contact the General Chair: Michael Kifer Computer Science Department SUNY Stony Brook Stony Brook, NY USA Email; kifercs.sunysb.edu From inap2009 at di.uevora.pt Mon Jun 22 23:54:12 2009 From: inap2009 at di.uevora.pt (INAP 2009) Date: Mon, 22 Jun 2009 22:54:12 +0100 Subject: INAP 2009: 2nd Call for Papers Message-ID: <200906222154.n5MLsCJ5008019@host.di.uevora.pt> [apologies for cross-posting; please distribute] --- (PLEASE DISTRIBUTE) ------------------------------------------------------------ Second Call for Papers INAP 2009 18th International Conference on Applications of Declarative Programming and Knowledge Management November 5-7, 2009 Evora, Portugal http://www.di.uevora.pt/inap2009/ http://inap.dialogengines.com/ ------------------------------------------------------------ Organized by the Portuguese AI Society (APPIA), the INAP Committee and the Society of Logic Programming (GLP e.V.) == Overview == Declarative Programming is a family of advanced paradigms for the modeling and solving of complex problems. These specification and implementation methods have attracted more and more attention over the past years, e.g. in the domains of databases and natural language processing, for modeling and the processing of combinatorial problems, and for establishing systems for the web. == INAP 2009 == INAP is a communicative and dense forum for intensive discussion of applications of important technologies related to Prolog, Logic and Constraint Programming as well as closely related advanced software. It comprehensively covers the impact of programmable logic solvers in the Internet Society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. INAP 2009 continues a tradition of successful workshops cast around the applications of declarative programming, which were held in Kobe (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka (2005) and Wuerzburg (2007). We invite the submission of high quality papers on the described topics, especially, but not exclusively, on different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web: - Knowledge Management, e.g. Data Mining, Decision Support, Deductive Databases - Distributed Systems and the Web, e.g. Agents and Concurrent Engineering, Semantic Web - Constraints, e.g. Constraint Systems, Extensions of Constraint (Logic) Programming - Theoretical Foundations, e.g. Deductive Databases, Nonmonotonic Reasoning - Systems and Tools for Academic and Industrial Use - Knowledge-based Web Services - Logic Solvers and Applications == Workshop Format == The technical program of the workshop will include invited presentations (to be announced), regular technical sessions with presentations of the accepted papers, system demonstrations and a panel discussion. == Conference Venue == The conference will be held at the University of Evora, Portugal in November 5-7, 2009. Evora is a nice and quiet historical city located in the south of Portugal that can be reached from Lisbon by train or coach in under 2 hours. It is a small city of 60.000 inhabitants, 120 km inland from Lisbon and classified by Unesco as World Heritage. The University of Evora was established in the 16th Century and is the 2nd oldest Portuguese University. The social program is promising since the region is very rich in historical sites (Stone Age, Roman, Medieval and Renaissance remains) and also offers a very special gastronomy. See http://en.wikipedia.org/wiki/%C3%89vora for more information. == Important Dates == Paper Submission Deadline: June 29, 2009 Notifications to Authors: August 17, 2009 Camera-ready Version Deadline: September 14, 2009 INAP 2009 Workshop: November 5-7, 2009 == Submission Guidelines == Participants should submit a paper (maximum 15 pages, PDF format), describing their work in topics relevant to the workshop. Accepted papers will be presented during the workshop. At least one author of an accepted contribution is expected to register for the workshop, and present the paper. All submissions should include the author's name(s), affiliation, complete mailing address, and email address. Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see: http://www.springer.de/comp/lncs/authors.html for further details. The submission should be submitted through the electronic submission site: http://www.easychair.org/conferences/?conf=inap2009 The deadline for receipt of submissions is June 29, 2009. Papers received after this date will not be reviewed. Eligible papers will be peer-reviewed by at least three members of the Program Committee. Authors will be notified via email of the results by August 17, 2009. Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by September 14, 2009. Accepted papers will be included in the workshop proceedings, which will be distributed to the participants. As in previous editions, we plan to publish selected papers in a proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. == Organizing Committee == Vitor Nogueira vbn AT di.uevora.pt Salvador Abreu spa AT di.uevora.pt Pedro Salgueiro pds AT di.uevora.pt Universidade de Evora Portugal == Program Committee == Salvador Abreu, University of Evora, Portugal (co-chair) Sergio Alvarez, Boston College, USA Philippe Codognet, CNRS/JFLI, Tokyo, Japan Vitor Santos Costa, University of Porto, Portugal Daniel Diaz, University of Paris I, France Ulrich Geske, University of Potsdam, Germany Gopal Gupta, UT Dallas, USA Petra Hofstedt, Technical University of Berlin, Germany Ulrich Neumerkel, Technical University of Vienna, Austria Vitor Nogueira, University of Evora, Portugal Enrico Pontelli, New Mexico State University, USA Irene Rodrigues, University of Evora, Portugal Carolina Ruiz, Worcester Polytechnic Institute, USA Dietmar Seipel, University of Wuerzburg, Germany (co-chair) Terrance Swift, CENTRIA, Portugal Hans Tompits, Technical University of Vienna, Austria Masanobu Umeda, Kyushu Institute of Technology, Japan Armin Wolf, Fraunhofer FIRST, Berlin, Germany Osamu Yoshie, Waseda University, Japan == Contact Information == inap2009 at di.uevora.pt Universidade de Evora Departamento de Informatica Largo dos Colegiais, 2 7004-516 Evora - PORTUGAL From grail.devel at gmail.com Tue Jun 23 11:15:04 2009 From: grail.devel at gmail.com (Richard Moot) Date: Tue, 23 Jun 2009 11:15:04 +0200 Subject: ESSLLI 2009 - Final Call for Participation Message-ID: ------------------------------------------------- ESSLLI Monday, 20 July -- Friday, 31 July 2009 Bordeaux, France Program - Final Call for Participation ------------------------------------------------- *Registration deadline approaching*: 1st of July 2009 The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. *** Registration *** Registration fees are 350 euros for master's/PhD student and 500 euros for other partipants. Registration closes on July the 1st. On-site registration will not be possible. You can register online at our website. http://esslli2009.labri.fr/reg.php *Registration deadline*: 1st of July 2009 *** Program *** * Evening Lecturers * - Anne Abeille (Laboratoire de Linguistique Formelle, Universite Paris 7) - Nick Chater (University College London) - Bruno Courcelle (LaBRI, Universite de Bordeaux) - Yiannis N. Moschovakis (University of California, Los Angeles) * First Week * (20 - 24th of July, 2009) 9:15 - 10:45 * Non-deterministic Multi-valued Logics - Arnon Avron and Beata Konikowska (Introductory course, Logic and Computation) * Introduction to Abstract Categorial Grammars: Foundations and main properties - Philippe de Groote and Sylvain Salvati (Introductory course, Language and Logic) * An introduction to minimalist grammars - Greg Kobele and Jens Michaelis (Advanced course, Language and Computation) * Ontology Modelling Languages - Markus Kroetzsch and Sebastian Rudolph (Foundational course, Logic and Computation) * The Logic of Sense and Reference - Reinhard Muskens (Foundational course, Language and Logic) * The mental lexicon, blueprint of the dictionaries of tomorrow: linguistic, computational and psychological aspects of a highly valuable resource - Michael Zock (Introductory course, Language and Computation) 10:45 - 11:00 Coffee Break 11:00 - 12:30 * How to do things with words: Speech Acts in Linguistics, Philosophy and Computation - Regine Eckardt and Magda Schwager(Advanced course, Language and Logic) * Temporal logics for specification and verification - Valentin Goranko (Introductory course, Logic and Computation) * Logics of individual and collective intentionality - Andreas Herzig and Emiliano Lorini (Introductory course, Logic and Computation) * Quotation and the semantics of speech reports - Emar Maier (Introductory course, Language and Logic) * Grammaticality Judgements as Linguistic Evidence - Brian Murphy (Introductory course, Language and Computation) * The Foundations of Statistics: A Simulation-Based Approach - Shravan Vasishth (Foundational course, Language and Computation) Lunch Break 14:15 - 15:45 * Logical Methods for Social Concepts - Andreas Herzig and Emiliano Lorini (Workshop, Logic and Computation) * Game semantics and its applications - Andrzej Murawski (Advanced course, Logic and Computation) * Parsing with Categorial Grammars - Gerald Penn (Workshop, Language and Computation) * Reasoning in complex theories and applications - Viorica Sofronie- Stokkermans (Advanced course, Logic and Computation) * Focus, Focus Interpretation, and Focus Sensitivity - Malte Zimmermann and Daniel Hole (Introductory course, Language and Logic) * Plurality and distributivity across language(s) and logic(s) - Eytan Zweig and George Tsoulas (Advanced course, Language and Logic) 15:45 - 17:15 Student Session 17:15 - 18:45 * Theoretical and Empirical Perspectives on Discourse - Nicolas Asher (Advanced course, Language and Logic) * Logicality and Invariance - Denis Bonnay (Introductory course, Language and Logic) * Games, Action and Social Software - Jan van Eijck and Rineke Verbrugge (Introductory course, Logic and Computation) * Vagueness in Communication - Manfred Krifka (Workshop, Language and Logic) * Computational Psycholinguistics - Roger Levy (Advanced course, Language and Computation) * Structures and Deduction 2009 - Michel Parigot and Lutz Strassburger (Workshop, Logic and Computation) * Week-End * (25 - 26th of July, 2009) 14th conference on Formal Grammar - FG 2009 * Second Week * (27 - 31st of July, 2009) 9:15 - 10:45 * Ontologies: Structuring, Modularity and Heterogeneity - Stefano Borgo and Oliver Kutz (Advanced course, Logic and Computation) * Meaning Composition: Empricial Problems and Formal Solutions - Louise McNally (Foundational course, Language and Logic) * Logics of Rational Agency (Pacuit) * Psycho-computational issues in Morphology Learning and Processing - Vito Pirrelli (Advanced course, Language and Computation) * Standard XML query languages for natural language processing - Ulrich Schaefer (Introductory course, Language and Computation) * Topics in the Semantics of Interrogative Clauses - Benjamin Spector and Marta Abrusan (Introductory course, Language and Logic) 10:45 - 11:00 Coffee Break 11:00 - 12:30 * Computational Lexical Semantics - Gemma Boleda and Stefan Evert (Introductory course, Language and Computation) * Case, Scrambling and Default Word Order - Miriam Butt and Heike Zinsmeister (Foundational course, Language and Computation) * Event Semantics and Adverbial Modification - Berit Gehrke and Boban Arsenijevic (Introductory course, Language and Logic) * Reasoning with Probabilities - Eric Pacuit and Joshua Sack (Advanced course, Logic and Computation) * Logics with Counting - Ian Pratt-Hartmann (Advanced course, Logic and Computation) * Proof-Theoretic Semantics - Peter Schroeder-Heister (Advanced course, Language and Logic) 12:30 - 14:15 Lunch Break 14:15 - 15:45 * Dynamic Logics for Interactive Belief Revision - Alexandru Baltag and Sonja Smets (Advanced course, Logic and Computation) * Advances in Abstract Categorial Grammars: Language theory and linguistic modeling - Makoto Kanazawa and Sylvain Pogodalla (Advanced course, Language and Logic) * Intelligent Computer-Assisted Language Learning: An introduction to an emerging interdisciplinary field - Detmar Meurers (Introductory course, Language and Computation) * Linguistic Information Visualization - Gerald Penn and Sheelagh Carpendale (Advanced course, Language and Computation) * New Directions in the Theory of Presupposition - Daniel Rothschild and Nathan Klinedinst (Workshop, Language and Logic) * Syntax and Semantics from an Algebraic Perspective - Edward Stabler and Edward Keenan (Introductory course, Language and Logic) 15:45 - 17:15 Student Session 17:15 - 18:45 * Logics and Agent Programming Languages - Natasha Alechina and Brian Logan (Introductory course, Logic and Computation) * Formal approaches to sign languages - Carlo Cecchetto and Carlo Geraci (Workshop, Language and Logic) * Distributional Semantic Models - Theory and Empirical Results - Stefan Evert and Alessandro Lenci (Advanced course, Language and Computation) * Referent Systems - Udo Klein and Markus Kracht (Advanced course, Language and Logic) * Corpus-Based Argument Structure - Adam Przepiorkowski (Introductory course, Language and Computation) * Explanation in Ontology Languages - Bijan Parsia and Thomas Schneider (Introductory course, Logic and Computation) *** Further Information *** The website for ESSLLI 2009 can be found at: http://esslli2009.labri.fr From borgo at loa-cnr.it Tue Jun 23 14:35:58 2009 From: borgo at loa-cnr.it (Stefano Borgo) Date: Tue, 23 Jun 2009 14:35:58 +0200 Subject: International Association for Ontology and its Applications (IAOA) Message-ID: <057975CD-9556-462B-8EA7-7B2F47D418C8@loa-cnr.it> Dear all, we are pleased to announce the creation of the International Association for Ontology and its Applications (IAOA). Founded in April 2009, IAOA is a non-profit, open association with the purpose of promoting interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research and semantic technologies in general. IAOA is open to all individuals and institutions who share its goals. For the statute, list of activities, membership, mailing list and other information, please visit http://www.iaoa.org Sincerely, For and on behalf of the (provision) Executive Council for the IAOA ================================================== Stefano Borgo Researcher, Laboratory for Applied Ontology (LOA), ISTC-CNR http://www.loa-cnr.it/borgo.html ------------------------------------------------------------------------------- Member, Int. Association for Ontologies and its Applications (IAOA) http://iaoa.org/ ------------------------------------------------------------------------------- Address: via alla Cascata 56/C, Povo I-38100, Trento phone: +39 0461 314873 fax: +39 0461 314875 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dvillatoro at iiia.csic.es Tue Jun 23 15:53:36 2009 From: dvillatoro at iiia.csic.es (Daniel Villatoro) Date: Tue, 23 Jun 2009 15:53:36 +0200 Subject: Final CFP Student Session @ EASSS09: DEADLINE EXTENSION Message-ID: <4A40DE60.6050307@iiia.csic.es> ----------------------------------------------------------------------- **** FINAL CALL FOR PAPERS and DEADLINE EXTENSION**** (apologies for multiple postings) ----------------------------------------------------------------------- STUDENT SESSION @ EASSS09 11th European Agent Systems Summer School Torino, Italy August 31st - September 4th 2009 *Final Call for submissions to the Student Session* All students are cordially invited to participate in the Student Session of EASSS'09 (http://agents009.di.unito.it/EASSS.html). The European Agent Systems Summer School aims to offer a valuable forum for knowledge exchange between various research groups in its field for the benefit of students and researchers at both beginner and advanced level. The success of the summer school series 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. EASSS attracts about 100 students each year. The school provides a wide range of state-of-the-art courses given by the most prominent researchers in the area. A typical course has 4 hours in total and they are broad enough to provide a general introduction to the chosen topic, whilst also covering the most important contributions in depth. Courses are expected to take a wide perspective of the research being done by various groups active in research on the specific topic of the course. Within this context, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 15 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience. In addition, selected submission authors will be given the opportunity to present their work in form of a poster that will be displayed at a special room throughout the EASSS'09. Moreover, all the submissions will be published in online proceedings. As the goal is to provide the speakers with constructive feedback and a way to be introduced to the community, the competitive elements often found in conferences (best paper award, best presentation award) are intentionally omitted. The peer review will focus not on the magnitude of the presented material but on the clarity of the formulated material or whether or not the posed question is of relevance to a majority of students. Giving a good presentation is a difficult task, practising it is the benefit of this session. The extend to which the audience has understood the details should be the criterion by which the presentations are judged. *Deadlines* **July 3rd** Fri: Submissions deadline. August 3th Fri: Notification to authors. August 31st Mon: Start Summer School *Submission Details* Submissions should be - student work at student level. - up to 6 pages maximum (including figures, tables, bibliography, abstract etc) in the AAMAS09 format (templates can be found in http://www.conferences.hu/AAMAS2009/instruction.html ). - clearly stating the posed question or the proposed approach, as well as outlining the problem at hand. - stating the author(s), their affiliation and their current status. - giving a few references to both the standard literature and specific relevant publications (possibly your own). - in either .pdf or .ps or .doc format (for MS Word files it will be your responsibility to ensure compatibility). - all papers should be written in English. - use the tool EasyChair (http://www.easychair.org/conferences/?conf=sseasss09) for the submission. Please feel free to email easss09 at di.unito.it with any questions or suggestions regarding the student session. Please mention EASSS'09 in the subject. *Regards* Student Session PC Chairs Tina Balke University of Bayreuth, Germany tina.balke at uni-bayreuth.de Serena Villata University of Turin, Italy villata at di.unito.it Daniel Villatoro IIIA-CSIC, Spain dvillatoro at iiia.csic.es From moca09 at informatik.uni-hamburg.de Tue Jun 23 16:40:43 2009 From: moca09 at informatik.uni-hamburg.de (MOCA'09) Date: Tue, 23 Jun 2009 16:40:43 +0200 Subject: CfP: MOCA'09 - Fifth Workshop on Modelling of Objects, Components and Agents Message-ID: <20090623144043.GB7165@rzdspc6.informatik.uni-hamburg.de> (Please accept our apologies if you receive multiple copies.) __________________________________________________________________ MOCA'09 Call for Papers Fifth International Workshop on Modelling of Objects, Components, and Agents http://www.informatik.uni-hamburg.de/TGI/events/moca09/ Hamburg, Germany, 11th September 2009 organised by the "Theoretical Foundations of Informatics" Group at the University of Hamburg Contact e-mail: moca09 at informatik.uni-hamburg.de __________________________________________________________________ The workshop is co-located with MATES 2009 The Seventh German conference on Multi-Agent System Technologies http://jadex.informatik.uni-hamburg.de/mates/bin/view/MATES/Home and CLIMA-X 2009 10th International Workshop on Computational Logic in Multi-Agent Systems http://jadex.informatik.uni-hamburg.de/mates/bin/view/CLIMA/Home __________________________________________________________________ Important Dates: Deadline for submissions: July 17, 2009 Notification of acceptance: August 14, 2009 Deadline for final papers: August 28, 2009 Workshop: September 11, 2009 __________________________________________________________________ Scope Modelling is THE central task in informatics. Models are used to capture, analyse, understand, discuss, evaluate, specify, design, simulate, validate, test, verify and implement systems. Modelling needs an adequate repertoire of concepts, formalisms, languages, techniques and tools. This enables addressing distributed, concurrent and complex systems. Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives. Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences. The multiple perspectives on modelling and models in informatics are most welcome, since the presentation of them will lead to intensive discussions. Also the way objects, components, and agents are use to build architectures / general system structures and executing units / general system behaviours will provide new ideas for other areas. Therefore, we invite a wide variety of contributions, which will be reviewed by the PC-members who reflect important areas and perspectives for the Modelling of Objects, Components, and Agents (MOCA). __________________________________________________________________ Topics We look for contributions describing original research in topics related to formal methods in combination with object-orientation, components, or agents addressing open problems or presenting new ideas. Topics of interest include but are not limited to: * Uses of models of objects, components, and agents: design, specification, analysis, synthesis, composition, transformation, testing, validation, simulation, verification, assessment, software engineering, software development, re-engineering, code generation, prototyping, configuration, presentation, evolution, model checking, etc. * Concepts used within modelling of objects, components, and agents: objects (OOP, OOD, OOSE), components (CBD, CBSE), agents (AOP, AOSE, ABM), multi-agent systems (MAS), services, roles, interactions, organisations, processes, etc. * Concepts to be modelled with objects, components, and agents: software architecture, intelligence, coordination, negotiation, cooperation, organisation, encapsulation business objects, e-commerce, workflows, web services, flexible manufactoring, bio informatics, etc. * Techniques for modelling of objects, components, and agents: formal languages, visual languages, Unified Modelling Language (UML), Business Process Execution Language (BPEL), object-oriented Petri nets (OOPN), agent-oriented Petri nets, graph grammars and transformations, process algebras, logics, domain-specific languages (DSL), architecture description languages (ADL), event-driven process chains (EPC), discrete event systems, comparisons between modelling techniques, heterogeneous designs, multi-formalism modelling * Properties of models of objects, components, and agents: concurrency, distribution, mobility, autonomy, emotions, complexity, adaptability, self-organising, reliability, consistency, safety, deadlock prevention, evolution, scalability, etc. * Modelling methodologies, paradigms and principles * Embedding of formal techniques in traditional software engineering approaches * Tools and implementation technology in the fields mentioned above __________________________________________________________________ Submissions The program committee invites submissions of full contributions (10 - 20 pages) or short contributions (up to 6 pages). For your submission in PDF format please use the online conference management system at http://www.easychair.org/conferences/?conf=moca09 Just create a new account and then upload your paper. (Later you will be able to see your reviews there.) Submission Guidelines Please use the LaTeX document class svmult.cls for your contributions. Please also use BibTeX for your references (in particular for the final papers). An up-to-date version of svmult.cls together with extensive documentation can be found at ftp://ftp.springer.de/pub/tex/latex/compgl/mult or directly at ftp://ftp.springer.de/pub/tex/latex/compgl/mult.zip Accepted papers will be included in the workshop proceedings which will appear as a technical report of the Department of Informatics, University of Hamburg, and which will be available at the workshop. The submissions will be evaluated by the international programme committee. It is planned to publish post proceedings after a further review process in a book, dedicated to the workshop topics. __________________________________________________________________ For further information on MOCA'09 contact the programme commitee by email at moca09 at informatik.uni-hamburg.de From invitation at iariaevent.org Tue Jun 23 17:49:28 2009 From: invitation at iariaevent.org (ComputationWorld 2009) Date: Tue, 23 Jun 2009 11:49:28 -0400 (EDT) Subject: Deadline Extension: ComputationWorld 2009 / Athens-Greece, November 15-20, 2009 Message-ID: <31137802.23836.1245772168953.JavaMail.Onitza@IariaAnnounce> INVITATION: Note that the submission deadline has been extended to July 5, 2009 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 ======= ComputationWorld 2009, November 15-20, 2009 - Athens, Greece see: http://www.iaria.org/conferences2009/ComputationWorld09.html ComputationWorld 2009 is a federated event focusing on advanced topics concerning the areas of computation. The target topics cover future computing techniques (strategies, mechanisms, technologies), service computation (ubiquitous, web services, societal), cognitive support (AI, agents, learning, autonomy), adaptiveness (component/systems, self-features, metrics), creative content technologies, and patterns. Submission (full paper) deadline: July 5, 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. 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). All topics are open to both research and industry contributions. - FUTURE COMPUTING 2009, The First International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2009/FUTURECOMPUTING09.html - SERVICE COMPUTATION 2009, The First International Conferences on Advanced Service Computing http://www.iaria.org/conferences2009/SERVICECOMPUTATION09.html - COGNITIVE 2009, The First International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2009/COGNITIVE09.html - ADAPTIVE 2009, The First International Conference on Adaptive and Self-adaptive Systems and Applications http://www.iaria.org/conferences2009/ADAPTIVE09.html - CONTENT 2009, The First International Conference on Creative Content Technologies http://www.iaria.org/conferences2009/CONTENT09.html - PATTERNS 2009, The First International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2009/PATTERNS09.html - SELFTRUST 2009, The First Workshop on Computational Trust for Self-Adaptive Systems http://www.iaria.org/conferences2009/SELFTRUST.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld 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 owre at csl.sri.com Tue Jun 23 20:51:03 2009 From: owre at csl.sri.com (Sam Owre) Date: Tue, 23 Jun 2009 11:51:03 -0700 Subject: AFM09 Program and Abstracts Message-ID: <12897.1245783063@ubi.csl.sri.com> Fourth Workshop on Automated Formal Methods (http://fm.csl.sri.com/afm09) In association with CAV 2009 (http://www-cav2009.imag.fr/) June 27, 2009 Grenoble, France 9:00 : Empty (SPIN has invited talk by Joseph Sifakis; RV has invited talk by Sriram Rajamani) 10:30 : Alwyn Goodloe, Corina Pasareanu, David Bushnell and Paul Miner. A Test Generation Framework for Distributed Fault-Tolerant Algorithms 10:55 : Luca Chiarabini. Automatic Synthesis of an Efficient Algorithm for the Similarity of Strings Problem 11:20 : Anduo Wang and Boon Thau Loo. Formalizing Meta-Routing in PVS 11:45 : Hassen Saidi Challenges in analyzing binary programs (Invited tutorial) 12:30 : Lunch 2:00 : Susanne Graf Contracts for the component-based design of embedded and distributed systems (Invited tutorial) 2:45 : Bernhard Steffen Continuous Model.Driven Engineering - Formal Methods at the Application (Invited tutorial) 3:30 : Coffee 4:00 : Ilya Lopatkin, Daniel Plagge, Alexei Iliasov, Michael Leuschel and Alexander Romanovsky. SAL, Kodkod, and BDDs for Validation of B Models 4:25 : Silvio Ghilardi and Silvio Ranise Model-Checking Modulo Theories at Work: The integration of Yices in MCMT 4:50 : Jean-Francois Couchot, Alain Giorgetti and Nicolas Stouls Graph-based Reduction of Program Verification Conditions 5:15 : Jean-Francois Filliatre Why - an intermediate language for deductive program verification (Invited tutorial) 6:00 : Close of Workshop Abstracts Title: Challenges in analyzing binary programs Speaker: Hassen Saidi (SRI Computer Science Laboratory) Abstract: Program analysis is an enough challenging task when source code is available. It is even more challenging when neither the source code nor debug information is present. The analysis task is further hindered when the available binary code has been obfuscated to prevent the analysis from being carried out. In this presentation, we review the main challenges when analyzing binary programs and explore techniques for recovery of information that allows program understanding and reverse-engineering. We illustrate these techniques on the Conficker worm that has plagued the Internet in the past few months. Title: Contracts for the component-based design of embedded and distributed systems Speaker: Susanne Graf Abstract: Distributed, real-time and embedded systems usually multiple layers from the high-level functional layers down to the interaction with hardware. The design of such systems leads to complex hierachical architectures with components subject to multiple constraints. The BIP composition operators allow specifying complex multi-party interactions between components in a hierarchical fashion, and by separating component behaviour and interaction between components. It is expressive enough to describe the interaction of a set of peers so as to abstract lower layers as composition operator represented by a set of connectors and their interactions. We define a notion of contract associated with components which strictly separates an expectation which it may have on the environment, called <>, and a <> which is behaviour of the component under consideration that the environment may take for granted as long as it respects the component's expectation. Contrary to most notions of contracts, it does not express the assumptions directly on the component's interface but as a constraint on it's peers to which it is connected by a rich connectors as in BIP. We do not intend contracts to be used for compositional verification but rather for compositional design and independent implementation of components. Assumptions allow simplifying component implementations by relying on properties ensured by the environment. An interesting of our kind of contracts is to allow expressing also assumptions which need not to be expressible on the component's interface. This means that the component interfaces need not to be "artificially" enriched with analysis related attributes. Moreover, knowledge about peers and about lower layers is clearly separated, and specifications of lower layers, represented by a set of connectors, may be refined independently of components. So far, we have shown that this general contract framework is indeed a generalisation of all existing notions of interface specifications or contracts that we have studied and proposed some general methodology. Here, we propose also a set of useful concepts which can be used to actually express contracts for components which must comply to safey and progress constraints. Title: Continuous Model.Driven Engineering - Formal Methods at the Application Level Speaker: Bernhard Steffen Abstract: Agility is a must, in particular for business-critical applications. Complex systems and processes must be continuously updated in order to meet the ever changing market conditions. Continuous Model Driven Engineering addresses this need by by continuously involving the customer/application expert throughout the whole systems? life cycle including maintenance and evolution. Conceptually, it is based on the One Thing Approach (OTA), which combines the simplicity of the waterfall development paradigm with a maximum of agility. The key to OTA is to view the whole development process simply as a complex hierarchical and interactive decision process, where each stakeholder, including the application expert, is allowed to continuously place his/her decisions in term of constraints. Thus semantically, at any time, the state of the development or evolution process can simply be regarded as the current set of constraints, and each development or evolution step can be regarded simply as a transformation of this very constraint set. This approach, conceptually, allows one 1) to monitor globally and at any time the consistency of the development or evolution process simply via constraint checking, and 2) to impose a kind of decision hierarchy by mapping areas of ompetencies to roles of individuals, in order to identify required actions in case of constraint violation. The essence and power of this approach, which is technically supported by the jABC development and execution framework, will be illustrated along real life application scenarios. Title: Why - an intermediate language for deductive program verification Speaker: Jean Christophe Filliatre Abstract: This tutorial is an introduction to the Why tool, an intermediate language for deductive program verification. The purpose of the Why tool is two-fold: first, it computes weakest preconditions for a small alias-free programming language, which is designed to be the target of other verification tools for languages such as C or Java; second, it translates verification conditions into the native languages of several existing theorem provers, either automatic such as Simplify, Alt-Ergo, Yices, Z3, etc. or interactive such as Coq, PVS, Isabelle, etc. Why is currently used in several verification frameworks such as Caduceus, Krakatoa, or Frama-C. From hepi at imm.dtu.dk Wed Jun 24 11:00:58 2009 From: hepi at imm.dtu.dk (Henrik Pilegaard) Date: Wed, 24 Jun 2009 11:00:58 +0200 Subject: subscribe Message-ID: <4A41EB4A.6060009@imm.dtu.dk> From hepi at imm.dtu.dk Wed Jun 24 11:17:07 2009 From: hepi at imm.dtu.dk (Henrik Pilegaard) Date: Wed, 24 Jun 2009 11:17:07 +0200 Subject: Confirmation Request (0774486285) In-Reply-To: References: Message-ID: <4A41EF13.2030201@imm.dtu.dk> 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: 0774486285, > 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 hepi at imm.dtu.dk Wed Jun 24 17:32:23 2009 From: hepi at imm.dtu.dk (Henrik Pilegaard) Date: Wed, 24 Jun 2009 17:32:23 +0200 Subject: Open positions in Language Based Technology at DTU Informatics Message-ID: <4A424707.1050705@imm.dtu.dk> ======================================================================== Associate/Assistant Professorships in Language Based Technology ------------------------------------------------------------------------ The Technical University of Denmark ======================================================================== Applications are invited for one or more positions as Associate or Assistant Professor at DTU Informatics. The application deadline is 7th September 2009 and the positions are available from 1st January 2010. DTU Informatics covers informatics and mathematical modelling and in the section on Language Based Technology we focus on modelling, analysis and realisation of systems using language-based techniques and tools - in particular, static analysis and model checking. The systems of interest include concurrent, distributed and mobile systems where reliability and predictability are essential - hence properties related to safety, security and performance are of key interest. The section is heading a VKR Centre of Excellence, MT-LAB - Modelling of Information Technology, that aims to exploit synergies between mathematical modelling (in particular stochastics) and formal verification techniques. We seek applicants who can contribute to and strengthen the research profile of the Language Based Technology section within one or more of the above areas. Please consult our web pages http://www.imm.dtu.dk/English/Research/Language-Based_Technology.aspx and http://www.mt-lab.dk/ for further information or contact Hanne Riis Nielson (riis at imm.dtu.dk ) or Flemming Nielson (nielson at imm.dtu.dk ). Applications must be submitted online no later than 24th August 2009. The full announcement and further details about the application procedure can be found at http://www.dtu.dk/English/About_DTU/vacancies.aspx From alessandra.mileo at nomadis.unimib.it Wed Jun 24 17:47:23 2009 From: alessandra.mileo at nomadis.unimib.it (Alessandra Mileo) Date: Wed, 24 Jun 2009 17:47:23 +0200 Subject: 3rd CALL FOR PAPERS: LPNMR Workshop on Logic-Based Interpretation of Context: Modelling and Applications (Log-IC) Message-ID: <2F840741-050A-423A-B734-7A10A96E4CA8@nomadis.unimib.it> [Apologies for cross-postings of this CFP. Please send to interested colleagues and students] Dear collegues, due to some requests we decided to include short papers in the CFP of the LOG-IC09 workshop, to be held in conjunction with LPNMR in Potsdam. It seems that there are several preliminary works on logic-based context modeling and context-related reasoning, although this is a rather new perspective and complete results may not be available yet. We think the workshop is an occasion to discuss these ideas with the logic community and have an immediate feedback during our panel session, thus we invite you to submit both theoretical and application- targeted considerations in form of a short paper. Submission deadline for short paper is 31st July 2009. Limit is 2 pages. The complete CFP follows. Thanks, Alessandra Mileo Jim Delgrande --------------------------------------------------------------------------------------------------------------------------------------------------------- 3rd Call Papers Log-IC 2009 First International Workshop on Logic-Based Interpretation of Context: Modelling and Applications http://www.nomadis.unimib.it/flex/cm/pages/ServeBLOB.php/L/EN/IDPagina/227 14 September 2009 In conjunction with LPNMR 2009 http://www.cs.uni-potsdam.de/lpnmr09/ Potsdam, Berlin 14-19 September 2009 SUBMISSION DEADLINE: 31st July 2009 --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration. As well, the theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning with more recently emerging areas such as ontologies, including the semantic web, and approaches to belief change. While implemented context-representation models are generally domain-dependent and do not support powerful inference, declarative logic-based models fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge- or databases. The incompleteness and heterogenous nature of such data and the need for state-based context interpretation in dynamic systems suggest that nonmonotonic reasoning techniques can be a powerful tool for effective context-dependent reasoning. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite proposals that assume hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts. --------------------------- Objectives --------------------------- This workshop will provide a forum for researchers investigating context-aware applications and context-based reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2009 will also propose targeted discussions on the topic. Holding the workshop in conjunction with LPNMR has the additional advantage of reaching out to the logic programming community, facilitating collaboration between different formalisms for context- based reasoning and enhancing nonmonotonicity combined or compared with other approaches to context interpretation. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modelling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Ontologies and nonmonotonig reasoning in context representation - Hybrid formalisms for reasoning within (distributed) contexts - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications: Independent-Living Systems, Activity Monitoring, Smart Environments, Context-Based Interaction --------------------------- Submissions --------------------------- Short papers are subjected to a faster revision process, limit is 2 pages in LNCS/LNAI format. To submit a short paper, send the PDF version of the paper to both Program Chairs. At least one author of accepted posters should attend the Workshop and give a 10 minutes presentation. Short papers will be included in the online proceedings. --------------------------- Important dates --------------------------- Poster submissions: 31st July 2009 Notification of Acceptance: 8th August 2009 Workshop: 14th September 2009 ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy James P. Delgrande School of computing Science Simon Fraser University Burnaby, Canada Davide Merico Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Alessandra Latini Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Program Chairs: Alessandra Mileo, University of Milan-Bicocca, Italy, email: alessandra.mileo at disco.unimib.it James P. Delgrande, Simon Fraser University, Canada, email: jim at cs.sfu.ca Program Committee: - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Stefania Bandini, University of Milan-Bicocca, Italy - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Amedeo Cesta, ISTC-CNR, Rome, Italy - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, Department of Mathematics, University of Calabria - Stijn Heymans, Vienna University of Technology, Austria - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Alessandra Mileo, University of Milan-Bicocca, Italy - Pascal Nicolas, University of Angers, France - Axel Polleres, University of Galway, Ireland - Torsten Schaub, University of Potsdam, Germany - Hans Tompits, Vienna University of Technology, Austria - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria ----------------------------------------------------------- Dr. Alessandra Mileo Research Assistant, Nomadis Lab. Dept. of Informatics, Systems and Communication University of Milan-Bicocca, Italy email: alessandra.mileo at disco.unimib.it email: alessandra.mileo at nomadis.unimib.it tel: +39 02 6448 7887 ----------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vfgo at imm.dtu.dk Thu Jun 25 10:56:50 2009 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Thu, 25 Jun 2009 10:56:50 +0200 Subject: CEJM special issue on Algorithmic Model Theory: Extended call for submissions In-Reply-To: Message-ID: SPECIAL ISSUE OF THE CENTRAL EUROPEAN JOURNAL OF MATHEMATICS ON ALGORITHMIC MODEL THEORY *******Extended call for submissions******* The Central European Journal of Mathematics (CEJM) is an international journal aspiring to high standards and scientific quality, co-published by Versita and Springer. It is listed in the ISI Master Journal Index and Science Citation Index-Expanded. Journal website: http://www.versita.com/science/mathematics/cejm/; online content also on http://www.springerlink.com/content/119963/. The CEJM invites high quality submissions of original research or survey papers to the special topical issue devoted to ³ALGORITHMIC MODEL THEORY², to be published as Volume 8, Number 2 / April 2010. SPECIFIC TOPICS: The following is a non-exclusive list of specific topics in the focus of the special issue: - Finite model theory - Effective presentations of infinite structures (in terms of automata, rewriting systems, algebraic or model-theoretic transformations, etc.) - Applications to decision problems in logic (e.g., in first-order logic, monadic second-order logic, modal logic, temporal logics) - Applications in infinite-state verification and algorithmic synthesis - Applications in data base theory (e.g., regarding semi-structured data) - Relations between logics, games, and automata - Computations and computational complexity over finitely presentable structures - Logic and computability in arithmetic and analysis SUBMISSION INSTRUCTIONS: The papers should be submitted in standard LATEX, article style, 12pt. The submissions should contain affiliations and contact details of the authors, and an abstract of up to 1 page. No fixed page limit is imposed. Submissions should preferably be made through the CEJM online submission processing system at http://www.cejm.editool.com , using the special link provided for this topical issue (when uploading the paper one should choose ³Algorithmic Model Theory² from the list available at ³Category² window). In special circumstances preventing the authors to submit through that system, submissions can be sent by email or mail to all special issue editors listed below or directly to the Managing Editor of this journal (bkubis at versita.com). All submissions will go through a proper and comprehensive peer-review procedure. SPECIAL ISSUE EDITORIAL TEAM: The handling of submissions and decision on acceptance will be made by the editorial team for this special issue, consisting of: Valentin Goranko, CEJM Logic Section Editor, vfgo at imm.dtu.dk Dietrich Kuske, Guest Editor, kuske at informatik.uni-leipzig.de Wolfgang Thomas, Guest Editor, thomas at informatik.rwth-aachen.de EXTENDED DEADLINES: Paper submission: September 30, 2009. Notification: by December 31, 2009 Revision: January 2010. Final version: February, 2010 Publication: April, 2010. ENQUIRIES: For any questions on subject matters of the special issue please contact the special issue Editors; for questions regarding CEJM, including the online submission processing system please contact the Managing Editor, Beata Kubis, bkubis at versita.com From grsimari at gmail.com Thu Jun 25 11:10:34 2009 From: grsimari at gmail.com (Guillermo R. Simari) Date: Thu, 25 Jun 2009 06:10:34 -0300 Subject: Book Announcement: "Argumentation in Artificial Intelligence" Message-ID: ================================= ================================= ARGUMENTATION IN ARTIFICIAL INTELLIGENCE Iyad Rahwan and Guillermo R. Simari (Eds.) With a foreword by Johan van Benthem ================================= ================================= 2009, Approx. 505 p. 100 illus., Hardcover ISBN: 978-0-387-98196-3 http://www.springer.com/computer/artificial/book/978-0-387-98196-3 ABOUT THIS BOOK: This volume is a systematic, expansive presentation of the major achievements in the intersection between two fields of inquiry: Argumentation Theory and Artificial Intelligence. Contributions from international researchers who have helped shape this dynamic area offer a progressive development of intuitions, ideas and techniques, from philosophical backgrounds, to abstract argument systems, to computing arguments, to the appearance of applications producing innovative results. Each chapter features extensive examples to ensure that readers develop the right intuitions before they move from one topic to another. In particular, the book exhibits an overview of key concepts in Argumentation Theory and of formal models of Argumentation in AI. After laying a strong foundation by covering the fundamentals of argumentation and formal argument modeling, the book expands its focus to more specialized topics, such as algorithmic issues, argumentation in multi-agent systems, and strategic aspects of argumentation. Finally, as a coda, the book explores some practical applications of argumentation in AI and applications of AI in argumentation. Argumentation in Artificial Intelligence is sure to become an essential resource for graduate students and researchers working in Autonomous Agents, AI and Law, Logic in Computer Science, Electronic Governance, and Multi-agent Systems. The book is suitable both as a comprehensive introduction to the field, and also as a highly organized and accessible reference for established researchers. The book is written for researchers and postgraduate students working in artificial intelligence, AI and law, logic in computer science, electronic democracy, multi-agent systems, etc. TABLE OF CONTENTS: 1 Argumentation Theory: A Very Short Introduction . . . . . . . . . . 1 Douglas Walton Part I Abstract Argument Systems 2 Semantics of Abstract Argument Systems . . . . . . . . . . . .. . . 25 Pietro Baroni and Massimiliano Giacomin 3 Abstract Argumentation and Values . . . . . . . . . . . . . . . . .. . . 45 Trevor Bench-Capon and Katie Atkinson 4 Bipolar abstract argumentation systems . . . . . . . . . . . . . . . . 65 Claudette Cayrol and Marie-Christine Lagasquie-Schiex 5 Complexity of Abstract Argumentation . . . . . . . . . . . . . . . . . . 85 Paul E. Dunne and Michael Wooldridge 6 Proof Theories and Algorithms for Abstract Argumentation Frameworks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 105 Sanjay Modgil and Martin Caminada Part II Arguments with Structure 7 Argumentation Based on Classical Logic . . . . . . . . . . . . . . . . 133 Philippe Besnard and Anthony Hunter 8 Argument-based Logic Programming . . . . . . . . . . ... . . . . . . . 153 Alejandro J. Garc´ıa, J¨urgen Dix and Guillermo R. Simari 9 A Recursive Semantics for Defeasible Reasoning . .. . . . . . . . . 173 John L. Pollock Assumption-Based Argumentation . . . . . . . . . . . . . . . . . . . . . . 199 Phan Minh Dung, Robert A. Kowalski and Francesca Toni 11 The Toulmin Argument Model in Artificial Intelligence. . . . . . . . 219 Bart Verheij 12 Proof Burdens and Standards . . . . . . . . . . . . . . . . . . . . . . . . 239 Thomas F. Gordon and Douglas Walton Part III Argumentation in Multi-Agent Systems 13 Dialogue Games for Agent Argumentation . . . . . . . . . . . . . . . 261 Peter McBurney and Simon Parsons 14 Models of Persuasion Dialogue . . . . . . . . . . . . . . . . . ... . . . . 281 Henry Prakken 15 Argumentation for Decision Making . . . . . . . . . . . . . . . . . . . . 301 Leila Amgoud 16 Argumentation and Game Theory . . . . . . . . . . . . . . . . . .. . . . 321 Iyad Rahwan and Kate Larson 17 Belief Revision and Argumentation Theory . . . . . . . . . . . . .. . . 341 Marcelo A. Falappa, Gabriele Kern-Isberner and Guillermo R. Simari Part IV Applications 18 Argumentation in Legal Reasoning. . . . . . . . . . . . . . . . .. . . . . 363 Trevor Bench-Capon, Henry Prakken and Giovanni Sartor 19 The Argument Interchange Format . . . . . . . . . . . . . . . . . .. . . . 383 Iyad Rahwan and Chris Reed 20 Empowering Recommendation Technologies Through Argumentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403 Carlos Iv´an Ches~nevar, Ana Gabriela Maguitman and Mar´ıa Paula Gonz´alez 21 Arguing on the Semantic Grid . . . . . . . . . . . . . . . . . . .. . . . . . . . 423 Paolo Torroni, Marco Gavanelli and Federico Chesani 22 Towards Probabilistic Argumentation . . . . . . . . . . . . . . . . . . . . 443 Ingrid Zukerman 23 Argument-Based Machine Learning . . . . . . . . . . . . . . . . . . . . . 463 Ivan Bratko, Jure ˇ Zabkar and Martin Moˇzina Appendices A Description Logic . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . 483 B Bayesian Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485 Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . 487 From vfgo at imm.dtu.dk Thu Jun 25 15:31:04 2009 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Thu, 25 Jun 2009 15:31:04 +0200 Subject: ESSLLI 2010: first call for course and workshop proposals Message-ID: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%% 22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August, 2010, University of Copenhagen, Denmark %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS ------------------------------------------------------------------------ The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as ESSLLI¹2009 website: http://esslli2009.labri.fr/. The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams: - Language and Computation - Language and Logic - Logic and Computation We also welcome proposals that do not exactly fit one of these categories. PROPOSAL SUBMISSION: All proposals should be submitted, using a prescribed form that will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010, through EasyChair on http://www.easychair.org/conferences/?conf=esslli2010, not later than ******* Monday, September 7, 2009 ******* Proposers must hold PhD or equivalent degrees and should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. GUIDELINES FOR COURSE AND WORKSHOP PROPOSALS: ALL COURSES: Courses are given over one week (Monday-Friday) and consist of five 90 minutes sessions, one per day. Course proposals should give a brief overview of the topic and a tentative content and structure of the course, as well as state the course¹s objectives and clearly specify prerequisites, if any. Lecturers who want to offer a long, two-week course, should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Jun 30, 2010: Deadline for receipt of camera-ready course material by the ESSLLI¹2010 local organizers FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should require no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the course field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: Workshops run over one week and consist of five 90-minutes sessions, one per day. The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Nov 02, 2009: Deadline for submission of the Calls for Papers to ESSLLI¹2010 PC chair Nov 09, 2009: Workshop organizers send out First Call for Papers Jan 25, 2010: Workshop organizers send out Second Call for Papers Mar 08, 2010: Workshop organizers send out Third Call for Papers Apr 12, 2010: Suggested deadline for submissions to the workshops May 24, 2010: Suggested deadline for notification of workshop contributors Jun 30, 2010: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI¹2010 Local Organizers for reproduction. Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: A form for submitting course and workshop proposals will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010. The proposers are required to submit the following information: * Name(s) of proposing lecturer(s)/ workshop organizer(s), at most two per course or workshop * Contact addresses, homepages, phones, and fax numbers (if available), of proposing lecturer(s)/ workshop organizer(s); * Title of proposed course/workshop; * Type (workshop, foundational, introductory, or advanced course) * Stream (one of: Language & Computation, Language & Logic, Logic & Computation) * Description (in at most 300 words, provide justification, relevance to ESSLLI, proposed contents and structure of the courses, resp. expected participation in the workshops) * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, course objectives and prerequisites, as well as the lecturers teaching experience relevant to the proposed course, and generally in the interdisciplinary field scope of ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to fixed maximum amounts, that will be communicated to the lecturers upon notification). It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. Please note that in case a course or workshop is to be taught/organized by two lecturers, a lump sum will be reimbursed to cover travel and accommodation expenses for one lecturer; the splitting of that sum is up to the lecturers. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI¹2010 lower. ESSLLI 2010 PROGRAM COMMITTEE: Chair: Valentin Goranko (Technical Univ. of Denmark) Area Specialists: Language and Computation: Walter Daelemans (Univ. of Antwerp) Sabine Schulte im Walde (Univ. of Stuttgart) Language and Logic: Yoad Winter (Utrecht Univ.) Raffaella Bernardi (Free Univ. of Bozen-Bolzano) Logic and Computation: Anuj Dawar (Univ. of Cambridge) Ken Shan (State Univ. of New Jersey, Rutgers) ESSLLI 2010 Program Committee dedicated email account: esslli2010 at gmail.com ESSLLI 2010 ORGANIZING COMMITTEE: Chair: Vincent Hendricks (University of Copenhagen) Organizing Manager: Rasmus Rendsvig ESSLLI 2010 website: www.hum.ku.dk/esslli2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Valentin.Goranko at wits.ac.za Thu Jun 25 16:07:32 2009 From: Valentin.Goranko at wits.ac.za (Valentin Goranko) Date: Thu, 25 Jun 2009 16:07:32 +0200 Subject: Subscribe Message-ID:

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

-------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schueller.p at gmail.com Fri Jun 26 10:15:13 2009 From: schueller.p at gmail.com (Peter Schueller) Date: Fri, 26 Jun 2009 10:15:13 +0200 Subject: subscribe Message-ID: <17594cc80906260115m6bad2a76l6b6246038edc3600@mail.gmail.com> subscribe From G.Grov at hw.ac.uk Fri Jun 26 11:39:01 2009 From: G.Grov at hw.ac.uk (Gudmund Grov) Date: Fri, 26 Jun 2009 10:39:01 +0100 Subject: VSTTE 2010: Verified Software -- Call for Papers Message-ID: <61A07E41-D547-4D8A-8B0E-B1205D8ECA7C@hw.ac.uk> (Apologies if you receive multiple copies of this announcement) ********************************************************* Third International Conference on Verified Software: Theories, Tools, and Experiments Call for Papers Edinburgh, Scotland August 16th-19th, 2010 http://www.macs.hw.ac.uk/vstte10 *********************************************************** The Third International Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich, Switzerland in 2005 and a successful conference in Toronto, Canada in 2008. This conference is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. It is open to anyone who is interested in participating actively in the VSI effort. SCOPE The goal of this conference is to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. Authors are encouraged to submit work in progress, particularly if the work involves collaboration, theory unification, and tool integration. Topics of interest include requirements modeling specification languages specification/verification case-studies formal calculi programming languages language semantics software design methods software testing automatic code generation refinement methodologies type systems computer security verification tools (static analysis, dynamic analysis, model checking, theorem proving, satisfiability) tool integration benchmarks challenge problems integrated verification environments We also encourage researchers to submit challenges in theory, formalization, systems verification, code verification, and applications. Contributions relating to existing challenges will also be welcomed, i.e. the POPLMark (http://tinyurl.com/poplmark) file system (http://tinyurl.com/qyzqk9) medical devices (http://tinyurl.com/pnztqb) VENUE VSTTE 2010 is being hosted by Heriot-Watt University and will be held at the Edinburgh Conference Centre, located on the Riccarton Campus in Edinburgh. The conference dates coincide with the 2010 Edinburgh International Festival and the Edinburgh Festival Fringe -- collectively the largest annual arts festival on the planet! The technical programme will take place on the Riccarton campus, where accommodation will be available at very competitive rates for Festival time. Social events will be arranged within the city centre, making VSTTE an unique cultural and scholarly event for 2010! IMPORTANT DATES March 29 2010: Submission deadline May 10 2010: Decisions on papers June 7 2010 Final versions due August 16--19 2010: conference INVITED SPEAKERS TBA SUBMISSIONS Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions are limited to 15 proceedings pages in LNCS format and must include a cogent and self-contained description of the ideas, methods and results, together with a comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers can be submitted at https://www.easychair.org/login.cgi?conf=vstte10 . Submissions that arrive late, are not in the proper format, or are too long will not be considered. The proceedings of VSTTE 2010 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer llncs class files, obtainable from http://www.springer.de/comp/lncs/authors.html, is strongly encouraged. WORKSHOPS In addition to the main conference, a number of related workshops will take place on August 19th. More details will be published summer 2009. PROGRAM CHAIRS Peter O'Hearn (Queen Mary, University of London; ohearn at dcs.qmul.ac.uk) Gary T. Leavens (University of Central Florida; leavens at eecs.ucf.edu) Sriram Rajamani (Microsoft Research; sriram at microsoft.com) PROGRAM COMMITTEE Ahmed Bouajjani Leo Freitas Philippa Gardner John Hatcliff Ranjit Jhala Joseph Kiniry Rustan Leino Xavier Leroy David Naumann Matthew Parkinson Wolfgang Paul Shaz Qadeer Andrey Rybalchenko Augusto Sampaio Zhong Shao Aaron Stump Serdar Tasiran Willem Visser Chin Wei-Ngan Stephanie Weirich Greta Yorsh CONFERENCE CHAIR Andrew Ireland (Heriot-Watt University; A.Ireland at hw.ac.uk) WORKSHOP CHAIR Peter Mueller (ETH Zurich; peter.mueller at inf.ethz.ch) PUBLICITY CHAIR Gudmund Grov (Heriot-Watt University; G.Grov at hw.ac.uk) LOCAL ARRANGEMENT CHAIR Ewen Maclean (Heriot-Watt University; E.A.H.Maclean at hw.ac.uk) STEERING COMMITTEE Tony Hoare Jay Misra Natarajan Shankar Jim Woodcock -- Heriot-Watt University is a Scottish charity registered under charity number SC000278. From adrian.paschke at gmx.de Fri Jun 26 14:39:35 2009 From: adrian.paschke at gmx.de (Adrian Paschke) Date: Fri, 26 Jun 2009 14:39:35 +0200 Subject: RuleML-2009 REMINDER - Paper Deadline June 28th In-Reply-To: <20090622224005.fvm3cm3hso4s8oo8@webmail.uni-karlsruhe.de> References: <20090622224005.fvm3cm3hso4s8oo8@webmail.uni-karlsruhe.de> Message-ID: <013901c9f65b$343a90c0$9cafb240$@paschke@gmx.de> RuleML 2009 3rd International Symposium on Rules, Applications and Interoperability November 5-7 2009, Las Vegas, Nevada, USA http://2009.ruleml.org/ co-located with the 12th Business Rules Forum ---------------------------- ********************************************************************** ***** Latest News ****** ** Submission Deadline - June 28th ** ** ------------------ ** * Deadline, June 28th for full, short and Challenge demo papers ** * Keynotes and special talks by ** * Sandro Hawke about W3C RIF, ** * Donald Chapin about OMG SBVR ** * Paul Vincent about CEP ** * Jans Aasman (FranzInc. CEO) ** * RuleML in the top 100 venues for impact factor in CiteSeerX ** * Forthcoming RuleML special journal issue ** * Proceedings published in Springer LNCS ** * Tutorials about W3C RIF, Drools, Business Process Compliance ** * New categories in the Challenge with prestigious prizes ** * Rules standards session, W3C RIF workshop, lunch panel on Web Rules* * Student grants of the value of up to $1000 plus free registration ** * 20% RuleML-2009 Partner discounts - see registration page ** ********************************************************************** This year, the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009) takes place in Las Vegas, Nevada, USA, collocated with the 12th Business Rules Forum, the world's largest Business Rules event. The International Symposium on Rules, Applications and Interoperability has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007, and is now in the top 100 venues for impact factor (71): http://citeseerx.ist.psu.edu/stats/venues. Supported by =================================================================== W3C, OMG, ACM, AAAI, ECCAI, IAAIL, ACM, Belgian Business Rules Forum MIT Sloan CIO Symposium, EPTS, BPM Forum Belgium Sponsored by =================================================================== Franz Inc NICTA (National ICT Australia) Ltd Corporate Semantic Web Logic Programming Associated Ltd ruleCore JBoss Modelsystems Ltd (sponsoring opportunities: http://www.defeasible.org/ruleml2009/sponsors) =================================================================== From henry at cs.uu.nl Fri Jun 26 22:08:45 2009 From: henry at cs.uu.nl (Henry Prakken) Date: Fri, 26 Jun 2009 22:08:45 +0200 (CEST) Subject: 2nd CFP AAAI Fall Symposium on argumentation Message-ID: <50075.131.211.113.5.1246046925.squirrel@mail.cs.uu.nl> (apologies for multiple postings) 2nd CALL FOR PAPERS (submission deadline July 3rd) THE USES OF COMPUATIONAL ARGUMENTATION 5th-7th November 2009, Washington D.C., as part of the AAAI 2009 Fall Symposium Series http://people.cs.uu.nl/henry/uses/ The AAAI Fall Symposium Series provides the AI community with a unique venue in which researchers from different areas of AI can present speculative work and work in progress, hold focused discussions over several days, build new communities for emerging disciplines, and build ties between existing disciplines. OVERVIEW Argumentation is a form of reasoning in which explicit attention is paid to the reasons for the conclusions that are drawn and how conflicts between reasons are resolved. Explicit consideration of the support for conclusions provides a mechanism, for example, to handle inconsistent and uncertain information. Argumentation has been studied both at the logical level, as a way of modelling defeasible inference, and at the dialogical level, as a form of agent interaction. Argumentation has long been studied in disciplines such as philosophy, and one can find approaches in computer science from the 1970s onwards that clearly owe something to the notion of an argument. Work on computational argumentation, where arguments are explicitly constructed and compared as a means of solving problems on a computer, first started appearing in the second half of the 1980s, and argumentation is now well established as an important sub-field within artificial intelligence. There is now a good understanding of the basic requirements of argumentation systems, and there are several theoretical models that have been widely studied by researchers. There are one or two robust implementations, and the first software systems built around argumentation are beginning to appear. This, therefore, is an appropriate time to consider what these models and implementations might be used for. This symposium will provide a forum for wide-ranging discussion of the possible applications of techniques from computational argumentation. It will give special focus to strongly innovative ideas, ideas that can engage current researchers in the area and can inspire others to become researchers in the area. Papers are invited in all areas relating to argumentation and computation, including, but not limited to: * Applications of argumentation systems * Implementations of argumentation systems * Argumentation and inconsistent information * Argumentation and uncertain information * Argumentation and decision making * Argumentation as an interaction mechanism * Multiagent argumentation * Formal models of argumentation Of particular interest are papers describing new applications of argumentation, and new areas in which argumentation could be applied. Descriptions of work in progress are welcomed. SUBMISSION DETAILS Papers should be submitted to Simon Parsons (parsons at sci.brooklyn.cuny.edu). Submissions should be no more than 6 pages in AAAI format (see http://www.aaai.org/Publications/Author/author.php). Please submit PDF files only. ORGANIZING COMMITTEE * Trevor Bench-Capon, University of Liverpool, UK. * Simon Parsons, Brooklyn College, City University of New York, USA * Henry Prakken, Utrecht University and University of Groningen, The Netherlands. IMPORTANT DATES Submission Deadline: Friday 3rd July 2009 Notification of Acceptance/Rejection: Friday 31st July 2009 Camera Ready Copy Due: Friday 11th September 2009 Symposium: Thursday 5th - Saturday 7th November 2009 PROGRAM COMMITTEE * Leila Amgoud, IRIT, Toulouse * Kevin Ashley, University of Pittsburgh * Katie Atkinson, University of Liverpool * Pietro Baroni, University of Brescia * Trevor Bench-Capon, University of Liverpool * Martin Caminada, University of Luxembourg * Carlos Chesnevar, Universidad Nacional del Sur * Sylvie Doutre, University of Toulouse 1 * Paul Dunne, University of Liverpool * Floriana Grasso, University of Liverpool * Nancy Green, University of North Carolina * John Horty, University of Maryland * Tony Hunter, University College, London * Antononis Kakas, University of Cyprus * Peter McBurney, University of Liverpool * Tim Norman, University of Aberdeen * Sanjay Mogdil, Kings College, London * Simon Parsons, Brooklyn College, City University of New York * Henry Prakken, Utrecht University and University of Groningen. * Iyad Rahwan, British University of Dubai * Chris Reed, University of Dundee * Carles Sierra, IIIA-ISIC Barcelona * Guillermo Simari, Universidad Nacional del Sur, Bahia Blanca * Francesca Toni, Imperial College London * Paolo Torroni, Univerity of Bologna * Bart Verheij, University of Groningen * Gerard Vreeswijk, Utrecht University * Doug Walton, University of Windsor From axel.polleres at deri.org Sun Jun 28 20:56:30 2009 From: axel.polleres at deri.org (Axel Polleres) Date: Sun, 28 Jun 2009 19:56:30 +0100 Subject: RR2009 **** deadline extended **** Message-ID: <4A47BCDE.9050408@deri.org> (apologies for multiple posts) ======================================================================== *** DEADLINE EXTENSION *** The Third International Conference on Web Reasoning and Rule Systems (RR 2009) http://www.rr-conference.org/RR2009 Chantilly, Virginia, USA October 25-26, 2009 Co-located with the International Semantic Web Conference '09 *New deadline Abstract submission* : July 5, 2009 *New deadline Paper submission* : July 12, 2009 The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2009 builds on the success of the first two International Conferences on Web Reasoning and Rule Systems, held in 2007 in Innsbruck and in and 2008 in Karlsruhe, which received enthusiastic support from the Web Rules community. In 2009, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. Suggested topics include the following, which is not to be considered as an exhaustive list: * Representation techniques for web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the World Wide Web Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers ------------------------------------------------------------------------ SUBMISSION DETAILS Papers for past conferences were published in the Springer LNCS series (acceptance pending for this year). Papers may be accepted as: * full papers (15 pages in the proceedings) * short papers (8 pages in the proceedings) * posters (2 pages in the proceedings). The stated lengths include title, abstract and list of references. All papers should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2009 ------------------------------------------------------------------------ IMPORTANT DATES * Abstract submission: July 5, 2009 * Paper submission: July 12, 2009 * Acceptance decisions: August 8, 2009 * Camera-ready papers due: August 25, 2009 ------------------------------------------------------------------------ PROGRAM COMMITTEE Grigoris Antoniou FORTH-ICS (GR) Marcelo Arenas PUC Chile (CL) Leopoldo Bertossi Carleton University (CA) Piero Bonatti Univ. of Naples Frederico II (IT) Carlos Damasio Universidade Nova de Lisboa (PT) Wlodek Drabent IPI PAN Warszawa (PL) Bernardo Cuenca Grau University of Oxford (UK) Volker Haarslev Concordia University (CA) Giovambattista Ianni Univ. of Calabria (IT) Manolis Koubarakis National&Kapodistrian Univ. of Athens (GR) Domenico Lembo DIS, Univ. di Roma "La Sapienza" (IT) Thomas Lukasiewicz Computing Lab. Univ. of Oxford (UK) Francesca Alessandra Lisi Universita degli Studi di Bari (IT) Wolfgang May Univ. Goettingen (DE) David Pearce Universidad Politécnica de Madrid (ES) Enrico Pontelli New Mexico State University (US) Guilin Qi Univ. of Karlsruhe (DE) Marie-Christine Rousset Univ. of Grenoble (FR) Sebastian Rudolph Institute AIFB, University of Karlsruhe (DE) Sebastian Schaffert Salzburg Research Forschungsgesellschaf (AT) Michael Sintek DFKI GmbH (DE) Giorgos Stamou National Tech. University of Athens (GR) Heiner Stuckenschmidt Univ. of Mannheim (DE) York Sure AIFB - Universitaet Karlsruhe (DE) Peter Szeredi Budapest Univ of Tech. and Econ. (HU) Sergio Tessaris Free University of Bozen - Bolzano (IT) Hans Tompits Vienna Univ. of Technology (AT) Dirk Vermeir Vrije Universiteit Brussel (BE) ------------------------------------------------------------ CONTACTS For information about papers and submissions, please contact a Program Chair: Terrance Swift PC co-Chair - RR 2009 Centre for Artificial Intelligence (CENTRIA) Departamento de Informatica FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Email: tswift at cs.stonybrook.edu Axel Polleres PC co-Chair - RR 2009 Digital Enterprise Research Institute (DERI) National University of Ireland, Galway IDA Business Park, Lower Dangan - Galway, Ireland Email: axel.polleres at deri.org For other information about the conference, please contact the General Chair: Michael Kifer Computer Science Department SUNY Stony Brook Stony Brook, NY USA Email: kifer at cs.stonybrook.edu From inap2009 at di.uevora.pt Mon Jun 29 18:05:42 2009 From: inap2009 at di.uevora.pt (INAP 2009) Date: Mon, 29 Jun 2009 17:05:42 +0100 Subject: INAP 2009: DEADLINE EXTENSION and Final Call for Papers Message-ID: <200906291605.n5TG5gHd019175@host.di.uevora.pt> ------------------------------------------------------------------- (PLEASE DISTRIBUTE -- **DEADLINE EXTENDED** -- PLEASE DISTRIBUTE) ------------------------------------------------------------------- Final Call for Papers INAP 2009 18th International Conference on Applications of Declarative Programming and Knowledge Management November 5-7, 2009 Evora, Portugal http://www.di.uevora.pt/inap2009/ http://inap.dialogengines.com/ ------------------------------------------------------------ Organized by the Portuguese AI Society (APPIA), the INAP Committee and the Society of Logic Programming (GLP e.V.) == Overview == Declarative Programming is a family of advanced paradigms for the modeling and solving of complex problems. These specification and implementation methods have attracted more and more attention over the past years, e.g. in the domains of databases and natural language processing, for modeling and the processing of combinatorial problems, and for establishing systems for the web. == INAP 2009 == INAP is a communicative and dense forum for intensive discussion of applications of important technologies related to Prolog, Logic and Constraint Programming as well as closely related advanced software. It comprehensively covers the impact of programmable logic solvers in the Internet Society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. INAP 2009 continues a tradition of successful workshops cast around the applications of declarative programming, which were held in Kobe (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka (2005) and Wuerzburg (2007). We invite the submission of high quality papers on the described topics, especially, but not exclusively, on different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web: - Knowledge Management, e.g. Data Mining, Decision Support, Deductive Databases - Distributed Systems and the Web, e.g. Agents and Concurrent Engineering, Semantic Web - Constraints, e.g. Constraint Systems, Extensions of Constraint (Logic) Programming - Theoretical Foundations, e.g. Deductive Databases, Nonmonotonic Reasoning - Systems and Tools for Academic and Industrial Use - Knowledge-based Web Services - Logic Solvers and Applications == Workshop Format == The technical program of the workshop will include invited presentations (to be announced), regular technical sessions with presentations of the accepted papers, system demonstrations and a panel discussion. == Conference Venue == The conference will be held at the University of Evora, Portugal in November 5-7, 2009. Evora is a nice and quiet historical city located in the south of Portugal that can be reached from Lisbon by train or coach in under 2 hours. It is a small city of 60.000 inhabitants, 120 km inland from Lisbon and classified by Unesco as World Heritage. The University of Evora was established in the 16th Century and is the 2nd oldest Portuguese University. The social program is promising since the region is very rich in historical sites (Stone Age, Roman, Medieval and Renaissance remains) and also offers a very special gastronomy. See http://en.wikipedia.org/wiki/%C3%89vora for more information. == Important Dates == Paper Submission Deadline: July 13, 2009 (EXTENDED!) Notifications to Authors: August 17, 2009 Camera-ready Version Deadline: September 14, 2009 INAP 2009 Workshop: November 5-7, 2009 == Submission Guidelines == Participants should submit a paper (maximum 15 pages, PDF format), describing their work in topics relevant to the workshop. Accepted papers will be presented during the workshop. At least one author of an accepted contribution is expected to register for the workshop, and present the paper. All submissions should include the author's name(s), affiliation, complete mailing address, and email address. Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see: http://www.springer.de/comp/lncs/authors.html for further details. The submission should be submitted through the electronic submission site: http://www.easychair.org/conferences/?conf=inap2009 The deadline for receipt of submissions is July 13, 2009. Papers received after this date will not be reviewed. Eligible papers will be peer-reviewed by at least three members of the Program Committee. Authors will be notified via email of the results by August 17, 2009. Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by September 14, 2009. Accepted papers will be included in the workshop proceedings, which will be distributed to the participants. As in previous editions, we plan to publish selected papers in a proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. == Organizing Committee == Vitor Nogueira vbn AT di.uevora.pt Salvador Abreu spa AT di.uevora.pt Pedro Salgueiro pds AT di.uevora.pt Universidade de Evora Portugal == Program Committee == Salvador Abreu, University of Evora, Portugal (co-chair) Sergio Alvarez, Boston College, USA Philippe Codognet, CNRS/JFLI, Tokyo, Japan Vitor Santos Costa, University of Porto, Portugal Daniel Diaz, University of Paris I, France Ulrich Geske, University of Potsdam, Germany Gopal Gupta, UT Dallas, USA Petra Hofstedt, Technical University of Berlin, Germany Ulrich Neumerkel, Technical University of Vienna, Austria Vitor Nogueira, University of Evora, Portugal Enrico Pontelli, New Mexico State University, USA Irene Rodrigues, University of Evora, Portugal Carolina Ruiz, Worcester Polytechnic Institute, USA Dietmar Seipel, University of Wuerzburg, Germany (co-chair) Terrance Swift, CENTRIA, Portugal Hans Tompits, Technical University of Vienna, Austria Masanobu Umeda, Kyushu Institute of Technology, Japan Armin Wolf, Fraunhofer FIRST, Berlin, Germany Osamu Yoshie, Waseda University, Japan == Contact Information == inap2009 at di.uevora.pt Universidade de Evora Departamento de Informatica Largo dos Colegiais, 2 7004-516 Evora - PORTUGAL From tinelli at cs.uiowa.edu Mon Jun 29 22:09:02 2009 From: tinelli at cs.uiowa.edu (Cesare Tinelli) Date: Mon, 29 Jun 2009 22:09:02 +0200 Subject: Postdoc position in Formal Verification Message-ID: <2A8691B9-50B4-4596-8B4B-0D1B24053E8F@cs.uiowa.edu> Project supervisor: Professor Cesare Tinelli Computational Logic Center Department of Computer Science The University of Iowa Iowa City, IA 52242 USA Project description: The project's overall objective is to develop and implement improved Model Checking techniques based on Satisfiability Modulo Theories to verify safety properties of synchronous data-flow programs used in embedded reactive software. The ideal candidate would be one with: * A PhD in Computer Science or a closely related field * Strong background in logic and/or automated reasoning * Knowledge of and experience with SAT/SMT and model checking * Experience designing, building, and maintaining large software systems * Excellent programming skills (preferably in ML or similar languages) * Good English writing and speaking skills * An established publication record in automated reasoning, verification, or programming languages Benefits of the position include access to UI health insurance, office space at the UI Computer Science Department and opportunities for collaboration with the other CLC faculty (Aaron Stump and Hantao Zhang) as well as other project partners in academia and industry. The position is available August 20, 2009 and will remain open until filled. It is expected to have a duration of up to four years based on performance and continued availability of funds. Interested candidates should send a cover letter, CV and a list of references to Cesare Tinelli at: tinelli at cs.uiowa.edu From dml2009 at easychair.org Tue Jun 30 02:33:11 2009 From: dml2009 at easychair.org (dml2009 at easychair.org) Date: Tue, 30 Jun 2009 02:33:11 +0200 (CEST) Subject: CFPart: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th Message-ID: <20090630003311.7999C493DE2@anxur.fi.muni.cz> Call for participation: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Grand Bend, Ontario, Canada Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2009.html Registration: http://www.orcca.on.ca/conferences/cicm09/cicm09/registration.html Travel: http://www.orcca.on.ca/conferences/cicm09/cicm09/travel.html Accomodation: http://www.orcca.on.ca/conferences/cicm09/cicm09/accommodation.html Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM model/Euclid])? Proceedings: has been published by Masaryk University Press and will be available on site. Papers and Posters selected for presentation at the workshop: Part I Towards Digital Mathematics Library * The Evolving Digital Mathematics Network (invited talk) David Ruddy (Cornell University Library, USA) * Community Curation and Management of Mathematical Literature John Burns and Nigel Kerr (Ithaka/JSTOR, USA) Part II Towards Mathematical OCR and Search * An Approach to Similarity Search for Mathematical Expressions using MathML Keisuke Yokoi (University of Tokyo, Japan) and Akiko Aizawa (University of Tokyo, National Institute of Informatics, Japan) * Improving Mathematics Retrieval Shahab Kamali and Frank Wm.~Tompa (University of Waterloo, Canada) * An Online Repository of Mathematical Samples Josef B. Baker, Alan P. Sexton, and Volker Sorge (University of Birmingham, UK) Part III Digitization Reports * Report on the Current State of the French DMLs Thierry Bouche (Universit\'e de Grenoble~I & CNRS, France) * Experimental DML over Digital Repositories in Japan Takao Namiki, Hiraku Kuroda, and Shunsuke Naruse (Hokkaido University, Sapporo, Japan) Part IV Digitization Technologies and Platforms * Document Interlinking in a Digital Math Library Claude Goutorbe (Cellule Mathdoc, Universit\'e Joseph Fourier and Centre National de la recherche Scientifique, Grenoble, France) * I2Geo: a Web-Library of Interactive Geometry Paul Libbrecht (DFKI GmbH, Saarbr\"ucken, Germany), Ulrich Kortenkamp (University of Education Karlsruhe, Germany) and Christian Mercat (I3M, Universit\'e Montpellier 2, France) Part V Tools and Techniques * MathML-aware Article Conversion from LaTeX Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase (Jacobs University Bremen, Germany) * Conversion of TeX Documents to PDF Aleksandar Pejovi\'c and \v{Z}arko Mijajlovi\'c (Mathematical Institute SANU, Belgarde, Serbia) Panel/round table discussion: Towards a Digital Mathematics Library: the Next Steps Panelists to be confirmed: Thierry Bouche (EuDML/EVLM/NUMDAM and CEDRAM), John Burns and/or Nigel Kerr (Ithaka/JSTOR, USA), Michael Doob (Canada), Patrick Ion (AMS, USA), David Ruddy (Cornell University Library, USA), Masakazu Suzuki (Japanese digitization projects), Petr Sojka (DML-CZ), Enrique Macias-Virgos (Spanish DML) Workshop topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee: Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) Michael Doob (University of Manitoba, Winnipeg, CA) Thomas Fischer (Goettingen University, Digitization Center, DE) Yannis Haralambous (T�l�com Bretagne, FR) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Volker Sorge (University of Birmingham, UK) Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Technical University & Zentralblatt MATH, Berlin, DE) Organizing Committee: Michael Doob, Michal Ruzicka, Petr Sojka Questions/inquiries: mail to dml2009 at easychair dot org CFP distribution: Please, distribute at your place. And apologies for multiple postings! From seipel at informatik.uni-wuerzburg.de Tue Jun 30 09:10:38 2009 From: seipel at informatik.uni-wuerzburg.de (Dietmar Seipel) Date: Tue, 30 Jun 2009 09:10:38 +0200 Subject: WARNING! (2940308891) In-Reply-To: References: Message-ID: <4A49BA6E.7020504@informatik.uni-wuerzburg.de> On 06/30/2009 12:25 AM, 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: 2940308891, > 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 robert at grid.chu.edu.tw Tue Jun 30 14:45:57 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Tue, 30 Jun 2009 20:45:57 +0800 Subject: ISPAN 2009 new announcement Message-ID: <200906301245.n5UCjvHV006470@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From zorano at mi.sanu.ac.yu Tue Jun 30 10:52:35 2009 From: zorano at mi.sanu.ac.yu (Zoran Ognjanovic) Date: Tue, 30 Jun 2009 10:52:35 +0200 (CEST) Subject: subscribe Message-ID: <53406.147.91.1.44.1246351955.squirrel@turing.mi.sanu.ac.yu> ---------------------------------------------------------------------------- dr Zoran Ognjanovic, Research Professor Mathematical Institute of the Serbian Academy of Sciences and Arts Kneza Mihaila 36, 11000 Belgrade, Serbia tel: 381-11-2630-170 / fax: 381-11-2186-105 http://www.mi.sanu.ac.rs/~zorano email: zorano at mi.sanu.ac.rs From zorano at turing.mi.sanu.ac.rs Tue Jun 30 13:53:40 2009 From: zorano at turing.mi.sanu.ac.rs (Zoran Ognjanovic) Date: Tue, 30 Jun 2009 13:53:40 +0200 (CEST) Subject: subscribe Message-ID: ---------------------------------------------------------------------------- dr Zoran Ognjanovic, Research Professor Mathematical Institute of the Serbian Academy of Sciences and Arts Kneza Mihaila 36, 11000 Belgrade, Serbia tel: 381-11-2630-170 / fax: 381-11-2186-105 http://www.mi.sanu.ac.rs/~zorano email: zorano at mi.sanu.ac.rs From zorano at turing.mi.sanu.ac.rs Tue Jun 30 14:14:40 2009 From: zorano at turing.mi.sanu.ac.rs (Zoran Ognjanovic) Date: Tue, 30 Jun 2009 14:14:40 +0200 (CEST) Subject: 0763434870 In-Reply-To: References: Message-ID: On Tue, 30 Jun 2009, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0763434870, > 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 > ---------------------------------------------------------------------------- dr Zoran Ognjanovic, Research Professor Mathematical Institute of the Serbian Academy of Sciences and Arts Kneza Mihaila 36, 11000 Belgrade, Serbia tel: 381-11-2630-170 / fax: 381-11-2186-105 http://www.mi.sanu.ac.rs/~zorano email: zorano at mi.sanu.ac.rs From smalek at gmu.edu Tue Jun 30 16:22:45 2009 From: smalek at gmu.edu (Sam Malek) Date: Tue, 30 Jun 2009 10:22:45 -0400 Subject: CFP: Self-Organizing ARchitectures (SOAR) workshop at WICSA/ECSA 2009 Message-ID: <004d01c9f98e$3c9aa5d0$b5cff170$@edu> ***************************************************************** C A L L F O R P A P E R S International Workshop on SELF-ORGANIZING ARCHITECTURES (SOAR'09) http://distrinet.cs.kuleuven.be/events/soar/2009/ soar [at] cs [dot] kuleuven [dot] be To be held at the Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA/ECSA'09) http://www.wicsa.net/ 14-17 September 2006, Cambridge, UK Important Dates: Paper submission deadline : August 14, 2009 Notification of acceptance : August 28, 2009 Camera ready paper : September 7, 2009 Workshop : September 14, 2009 INTRODUCTION Self-adaptability has been proposed as an effective approach to automate the complexity associated with the management of modern-day software systems. Self-adaptability endows a software system with the capability to adapt itself at runtime to deal with changing operating conditions or user requirements. With the term "Self-Organizing ARchitectures" (SOAR) we refer to an engineering approach for self-adaptive systems that combines architectural approaches for self-adaptability with principles and techniques from self-organization. Research works on self-adaptive systems mostly take an architecture-centric approach for developing top-down solutions, while research works on self-organizing systems mostly take an algorithmic/organizational approach for developing bottom-up solutions. Whereas both lines of research have been successful at alleviating some of the associated challenges of constructing self-adaptive systems, persistent challenges remain, in particular for building complex distributed self-adaptive systems. The awareness grows that for building complex distributed self-adaptive systems, principles from both self-adaptive and self-organizing communities have to be combined. TOPICS OF INTEREST Engineering such complex systems puts forward questions such as: What kind of bottom-up mechanisms can be exploited in order to deal with uncertainty but at the same time provide the required assurances? How to derive and exploit tactics, architectural patterns, and reference architectures to realize robust, scalable, and long-lived solutions? The general goal of SOAR is to provide a middle ground that combines the architectural perspective of self-adaptive systems with the algorithmic perspective of self-organizing systems. Concretely, the workshop aims to identify the critical challenges and advance state of the art in: * Software architecture (reference architectures, patterns, tactics, etc.) for complex self-adaptive systems that integrate principles from both self-adaptability and self-organization. * Design (modeling, analysis, synthesis) of self-adaptive systems that exploit principles of self-organization to deal with uncertainty and large scale. * Construction (frameworks, middleware, applications, etc.) of software systems based on self-organizing architectures in practice. Topics of interest to SOAR include, but are not limited to: * Architectural patterns and tactics for self-adaptive systems * Reflective architectures for self-adaptive systems * Self-representations in decentralized systems * Decentralized control in dynamic software architecture * Dealing with uncertainty in self-adaptive systems * Multi-agent system architectures for self-adaptation * Control of emergent properties in self-adaptive systems * Quality of service concerns in self-adaptive systems * Resilience of self-adaptive systems * Self-adaptation and software product lines * Application of principles from biology, sociology and physics to engineer self-adaptive systems * Applications of self-adaptive and self-organizing systems * (Ultra) large-scale self-adaptive systems SUBMISSION SOAR welcomes the submission of theoretical, experimental, methodological as well as application papers which focus on the topics outlined above. Papers may report on completed work, descriptions of work-in-progress, or discussion topics. Submissions can be either regular or short papers: * Regular papers should be between 6 and 8 pages, including the text, figures, and references. * Short papers should be between 2 and 4 pages, including the text, figures, and references. The submissions must be formatted according to the IEEE CS proceedings format. Templates and instructions can be downloaded from http://www.computer.org/portal/pages/cscps/cps/cps_forms.html Papers can be submitted via EasyChair 'SOAR 2009' https://www.easychair.org/login.cgi?conf=soar09 PUBLICATION Workshop notes with the accepted papers will be distributed at the workshop. Accepted papers will also be made available in electronic format on the workshop website before the workshop starts. All authors of accepted papers will be invited to submit a revised and extended version of their paper for the post-proceedings that are planned to be published as a volume in the Lecture Notes in Computer Science of Springer. The papers will undergo an additional review. ORGANISING COMMITTEE Danny Weyns, Katholieke Universiteit Leuven, Belgium Sam Malek, George Mason University, USA Rogério de Lemos, University of Coimbra, Portugal Jesper Andersson, Växjö University, Sweden PROGRAM COMMITTEE (to be completed) * Nelly Bencomo, Lancaster University, UK * Yuriy Brun, University of Southern California, USA * David Garlan, Carnegie Mellon University, USA * Kurt Geihs, University of Kassel, Germany * Jorge J. Gómez Sanz, Universidad Complutense de Madrid, Spain * Tom Holvoet, DistriNet Labs, Katholieke Universiteit Leuven, Belgium * Marco Mamei, DISMI, Universita' di Modena e Reggio Emilia, Italy * Flavio Oquendo, Université Européenne de Bretagne, Université de Bretagne-Sud, France * Van Parunak, Vector Research Center, division of TTGSI, Ann Arbor, USA * Onn Shehory, IBM Haifa Research Lab, Israel * Mirko Viroli, Alma Mater Studiorum - Università di Bologna, Italy **************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: