From C.Orasan at wlv.ac.uk Fri Nov 3 12:53:51 2006 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Fri, 03 Nov 2006 11:53:51 +0000 Subject: RESEARCH STUDENTSHIP IN SPATIAL REASONING FOR QUESTION ANSWERING =?ISO-8859-1?Q?=28=A310=2C000?= per year) Message-ID: <1162554831.17429.11.camel@localhost.localdomain> [Apologies for cross-postings] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ RESEARCH STUDENTSHIP IN SPATIAL REASONING FOR QUESTION ANSWERING (£10,000 per year) http://clg.wlv.ac.uk/jobs/jobs.php Closing date: 23rd Nov 2006 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Research Group in Computational Linguistics, University of Wolverhampton invites applications for a three-year-funded research studentship in Computational Linguistics. The successful candidate is expected to carry out research in the domain of spatial reasoning for question answering. We are looking for candidates with a good honours degree in Computational Linguistics, Computer Science or Information Sciences, with programming skills and some experience in Natural Language Processing. Required skills: - degree in Computational Linguistics, Computer Science or Information Sciences - experience with at least one of the following: Java, Perl, C++, .NET - experience in Natural Language Processing - good command of the English language Desirable skills: - Master's degree in Computational Linguistics, Computer Science or Information Sciences - experience in question answering, information extraction and/or spatial reasoning - familiarity with a wide range of programming environments and operating systems Applications should be sent to Constantin Orasan School of Humanities, Languages and Social Sciences University of Wolverhampton Stafford St. Wolverhampton WV1 1SB United Kingdom E-mail: C.Orasan at wlv.ac.uk and must include: - completed application form available from http://clg.wlv.ac.uk/jobs/jobs.php - CV - copy of university degree (in English) - copy of transcript listing all university marks (in English) - evidence of postgraduate qualification if applicable - a covering letter in which candidates explain why they have applied for the studentship, give details of their research interests/experience, background, programming skills and an outline of any experience in Natural Language Processing or Linguistics. Applications should be made both by email and surface mail. The closing date for applications is 23rd November 2006. The short-listed applicants will be interviewed by email and telephone in the week beginning 27th November 2006. The studentship includes a maintenance grant of 10,000 GBP a year and also covers the tuition fees for 3 years. The successful candidate is expected to register in December 2006, and join the Research Group in Computational Linguistics in January 2007. She or he will be working in a vibrant research environment, engaging in active research. This studentship is funded by the EU-funded project QALL-ME, so it is expected that the appointed student will contribute to this project as well. In return, the student will have access and will benefit from the resources developed in the project. The RESEARCH GROUP IN COMPUTATIONAL LINGUISTICS at the University of Wolverhampton (http://clg.wlv.ac.uk) Established by Prof. Mitkov in 1997, the Research Group in Computational Linguistics is a highly successful one, delivering cutting-edge research in a number of NLP areas such as anaphora resolution, automatic summarisation, question answering, lexical knowledge acquisition, text categorisation, named entity recognition, information extraction, corpus construction and annotation, automatic terminology processing, multilingual processing, and multiple-choice question generation. To a large extent, this research has been undertaken in projects funded by major UK funding bodies and commercial partners. For further information/queries, please contact: Constantin Orasan Phone: +44 1902 322 623 Email: C.Orasan at wlv.ac.uk -- Constantin Orasan Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From C.Orasan at wlv.ac.uk Thu Nov 2 17:18:44 2006 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Thu, 02 Nov 2006 16:18:44 +0000 Subject: Preliminary announcement of the 1st Anaphora Resolution Exercise (ARE) Message-ID: <1162484325.31965.36.camel@localhost.localdomain> [Apologies for multiple postings] ------------------------------------------------------- Preliminary announcement of the 1st Anaphora Resolution Exercise (ARE) http://clg.wlv.ac.uk/events/ARE/ ------------------------------------------------------- We are pleased to announce the first Anaphora Resolution Exercise (ARE) organised in conjunction with the 6th Discourse Anaphora and Anaphor Resolution Colloquium (DAARC2007). The general objective of ACE is to develop discourse anaphora resolution methods and to evaluate them in a common and consistent manner. The exercise proposes four tasks: 1. Pronominal resolution on pre-annotated texts: in this task, participants will be provided with documents in which the NPs are annotated. Among these NPs, some of them will have an attribute which indicates that they are referential and have to be resolved. In this task only referential pronouns will have this attribute (i.e. pleonastic pronouns will not be annotated). The participants will have to identify for each pronominal referential expression any correct non-pronominal antecedent from the list of annotated NPs. 2. Coreferential chains resolution on pre-annotated texts: in this task participants will be provided with documents in which the NPs are annotated. The participants will have to identify full coreferential chains which contain the annotated NPs. 3. Pronominal resolution on raw texts: in this task, participants will have to resolve referential pronouns in unannotated texts (i.e. the referential expressions and antecedent candidates are not marked as in task 1) 4. Coreferential chains resolution on raw texts: in this task, participants will have to identify full coreferential chains in unannotated texts (i.e. the NPs are not pre-marked) In this first edition, the evaluation is organised only for English and tackles pronominal anaphora and NP coreference. If successful, in future editions it can be extended to include other types of referential expressions and anaphoric relations (e.g. bridging references) and other languages. The participants will be given a set of guidelines which will explain which referential expressions are considered, when two elements are coreferential and the evaluation procedures. In addition, we foresee the development of a web interface where the participants will be able to evaluate their results on the training data using the evaluation metrics to be used in the formal evaluation. Given that in normal circumstances the tasks of anaphora and coreference resolution are not very computational intensive the participants will have only 24h between the moment they download the test data and the time they have to submit the results. Tentative timeline: 2nd Nov 2006: the first announcement of ARE 2nd Nov 2006: the registration opens 15th Nov 2006: the training data available 15th Nov 2006: release of the guidelines 12th March 2007: the test data available 16th March 2007: the competition finishes 28th - 29th March 2007: DAARC2007 The results of this evaluation will be disseminated at DAARC where we plan to organise a round table and/or a poster session on this theme. If enough interest is shown by the participants, we also consider publishing a collection of paper afterwords. Participation is open to all. To indicate your intention to participate or for any other issues please contact Constantin Orasan (C.Orasan at wlv.ac.uk) Web page: http://clg.wlv.ac.uk/events/ARE/ Organising committee: Antonio Branco, University of Lisbon, Portugal Dan Cristea, "Alexandru Ioan Cuza" University, Iasi, Romania Ruslan Miktov, University of Wolverhampton, UK Constantin Orasan, University of Wolverhampton, UK -- Constantin Orasan Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From G.Brewka at t-online.de Sun Nov 5 17:05:28 2006 From: G.Brewka at t-online.de (Gerhard Brewka) Date: Sun, 5 Nov 2006 17:05:28 +0100 Subject: LPNMR'07 Message-ID: <000e01c700f4$36c6d8d0$0100a8c0@DELL> Call for Participation 9th International Conference on Logic Programming and Nonmonotonic Reasoning Tempe, Arizona, USA, 14-16 May, 2007 http://lpnmr2007.googlepages.com/ LPNMR'07 is the ninth in the series of international meetings on logic programming and nonmonotonic reasoning. Previous meetings were held in Washington, D.C., USA (1991), in Lisbon, Portugal (1993), in Lexington, Kentucky, USA (1995), in Dagstuhl, Germany (1997), in El Paso, Texas, USA (1999), in Vienna, Austria (2001), in Fort Lauderdale, Florida, USA (2004), and in Diamante, Italy (2005). LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. Authors are invited to submit papers (13 pages) presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on LPNMR techniques which led to the development of significant applications. We also encourage submission of posters (6 pages) and system descriptions (6 pages). Important Dates: Paper registration: 8 December 2006 Paper submission: 11 December 2006 Notification: 1 February 2007 Final conference papers: 26 February 2007 The proceedings of the conference will be published in the Springer Lecture Notes in Computer Science series; see http://www.springeronline.com/lncs/. Program Chairs: Gerhard Brewka, University of Leipzig, Germany John Schlipf, University of Cincinnati, USA Local Arrangements Chair: Chitta Baral, Arizona State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Mon Nov 6 14:28:15 2006 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Mon, 06 Nov 2006 14:28:15 +0100 Subject: subscribe Message-ID: <454F386F.6030708@in.tu-clausthal.de> From bulling at in.tu-clausthal.de Mon Nov 6 14:29:28 2006 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Mon, 06 Nov 2006 14:29:28 +0100 Subject: 3178528964 In-Reply-To: References: Message-ID: <454F38B8.6080708@in.tu-clausthal.de> event administration schrieb: > 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: 3178528964, > 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 > > -- ****************************************************************************** Dipl.-Inf. Nils Bulling (Clausthal University of Technology) bulling at in.tu-clausthal.de | www.in.tu-clausthal.de/~nbulling phone: +49 (5323) 72 7182 | Germany ****************************************************************************** From henning at ruc.dk Fri Nov 10 09:47:11 2006 From: henning at ruc.dk (Henning Christiansen) Date: Fri, 10 Nov 2006 09:47:11 +0100 Subject: CONTEXT'07, call for papers Message-ID: <6218CBBC-E432-42E2-8A78-DEFF8EEAD9E4@ruc.dk> FIRST CALL FOR PAPERS ------------------------------------------------------------------------ - CONTEXT'07 The Sixth International and Interdisciplinary Conference on Modeling and Using Context August 20-24, 2007 Roskilde University, Denmark Submissions deadlines: Full papers: March 15, 2007 Poster and Demonstration abstracts: March 15, 2007 http://context-07.ruc.dk/ ------------------------------------------------------------------------ - The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from a wide range of disciplines including: Computer Science, especially Artificial Intelligence and Ubiquitous Computing Cognitive Science Linguistics Organizational Sciences Philosophy Psychology Application areas such as Medicine and Law Context affects a wide range of activities in humans and animals as well as in artificial agents and other systems. The importance of context is widely acknowledged, and "context" has become an area of study in its own right, as evidenced by numerous workshops, symposia, seminars, and conferences on this area. CONTEXT, the oldest conference series focusing on context, is unique in its emphasis on interdisciplinary research. Previous CONTEXT conferences have been held in Rio de Janeiro, Brazil (CONTEXT'97), Trento, Italy (CONTEXT'99, LNCS 1688), Dundee, Scotland (CONTEXT'01, LNCS 2116), Palo Alto, U.S.A. (CONTEXT'03, LNCS 2680), and Paris, France (CONTEXT'05, LNCS 3554). Each of these brought together researchers and practitioners from many disparate fields to discuss and report on context-related research and projects. TOPICS OF INTEREST ------------------ The following list illustrates sample research areas whose perspectives on context are solicited for the conference. This is not an exhaustive list, and contributions addressing context from other perspectives are welcome. The conference scope includes the contextual issues related to areas such as: Analogy and Case-Based Reasoning Intelligent/Semantic Web Systems Autonomous Agents and Agent-based Knowledge Engineering and Management Systems Knowledge Representation Cognitive Modeling Language Understanding and Production Concepts and Categorization Learning Context-Aware Applications and Memory, Representation and Access Systems Multiagent Systems and Interagent Databases Communication Distributed Information Systems Neuroscience Formal Semantics and Pragmatics Formal Theories of Context Ontology Management Heterogeneous Information Organizational Theory and Design Integration Perception Human Decision-Making and Decision Philosophical Foundations of Context Support Systems Problem Solving and Planning Human-Centered Computing Reasoning Human-Computer Interaction Relevance Computation and Relevance Information Management Theories Intelligent Tutoring Systems Situated and Distributed Cognition Intelligent User Interfaces Ubiquitous Computing CONFERENCE EVENTS ----------------- CONTEXT'07 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. ACCEPTANCE CRITERIA AND SUBMISSION CATEGORIES --------------------------------------------- Because CONTEXT'07 will be an interdisciplinary forum, all submissions will be evaluated both for their technical merit and for their accessibility to an interdisciplinary audience. Works that transcend disciplinary boundaries are especially encouraged. Submissions may be for full papers, poster abstracts, or demonstration abstracts. Full papers will be accepted either for oral presentation or for presentation at a poster session. All accepted full paper submissions will be published in the proceedings. Accepted posters and demonstrations will be presented at the poster session, and the associated abstracts will be published in a brochure distributed to attendees. For additional details see the conference web site. For a paper to appear in the proceedings, at least one author must register for the conference by the deadline for camera-ready copy. SUBMISSION PROCEDURES --------------------- Papers must be submitted electronically as PDF files. Submissions cannot exceed 14 pages in the Springer LNAI format. Detailed formatting and submissions instructions, as well as LaTeX and Word templates, will be available in the author instructions section of the conference Web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Authors wishing to present a demonstration without an accompanying paper must submit a demonstration abstract. Demonstration abstracts should describe cutting-edge systems not described in paper submissions. Demonstration abstracts should summarize the system's behavior and significance, and should include at least one screen shot. If desired, they may also include the URL of an informal video on the web. Demonstration abstracts should be at most 2 pages long. MULTIPLE SUBMISSIONS POLICY --------------------------- CONTEXT'07 will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. This restriction does not apply to submissions for workshops and other venues with a limited audience. IMPORTANT DATES --------------- Deadline for workshop proposal submissions January 31, 2007 Deadline for paper submissions March 15, 2007 Deadline for poster and demonstration abstract submissions March 15, 2007 Notification of acceptance/rejection for paper submissions May 7, 2007 Suggested deadline for workshop paper submission May 15, 2007 Deadline for final versions of accepted papers May 31, 2007 Workshop days August 20-21, 2007 Main conference (including poster and demo sessions) August 22-24, 2007 CONFERENCE ORGANIZERS --------------------- CONFERENCE CHAIR Boicho Kokinov, New Bulgarian University, Bulgaria PROGRAM CO-CHAIRS Daniel C. Richardson, UCSC, USA Thomas R. Roth-Berghofer, DFKI, Germany Laure Vieu, IRIT-CNRS, France, and ISTC-CNR, Italy WORKSHOPS CHAIR Stefan Schulz, The e-Spirit Company GmbH, Dortmund, Germany ORGANIZING COMMITTEE Henning Christiansen, Roskilde University, Denmark (Chair) Troels Andreasen, Roskilde University, Denmark John Gallagher, Roskilde University, Denmark Mads Rosendahl, Roskilde University, Denmark Jørgen Villadsen, Technical University of Denmark (Publicity Chair) STEERING COMMITTEE Chiara Ghidini, ITC-irst, Italy (Chair) Varol Akman, Bilkent University, Turkey Massimo Benerecetti, University of Naples, Italy Paolo Bouquet, University of Trento, Italy Patrick Brézillon, University of Paris 6, France Anind Dey, Carnegie Mellon University, USA Fausto Giunchiglia, ITC-irst, Italy Boicho Kokinov, New Bulgarian University, Bulgaria David Leake, Indiana University, USA Luciano Serafini, Trentino Cultural Institute (ITC), Italy Rich Thomason, University of Michigan, USA Roy Turner, University of Maine, USA Roger A. Young, University of Dundee, UK FOR ADDITIONAL INFORMATION --------------------------- Please see http://context-07.ruc.dk/ for additional information on the conference, complete committee information, and contacts for questions. Henning Christiansen professor, ph.d. Computer Science Section, Bldg. 42.1 Roskilde University P.O.Box 260, DK-4000 Roskilde, DENMARK http://www.ruc.dk/~henning -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grcolson at yahoo.com Fri Nov 10 20:38:31 2006 From: grcolson at yahoo.com (grcolson at yahoo.com) Date: Fri, 10 Nov 2006 11:38:31 -0800 Subject: subscribe Message-ID: <20061110113831selman@www.hostz.com.ar> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grs at cs.uns.edu.ar Sun Nov 12 18:48:41 2006 From: grs at cs.uns.edu.ar (Guillermo R. Simari) Date: Sun, 12 Nov 2006 14:48:41 -0300 Subject: subscribe Message-ID: From grs at cs.uns.edu.ar Sun Nov 12 19:40:03 2006 From: grs at cs.uns.edu.ar (Guillermo R. Simari) Date: Sun, 12 Nov 2006 15:40:03 -0300 Subject: Confirmation Request (3712988297) In-Reply-To: References: Message-ID: On 11/12/06, 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: 3712988297, > 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 martinez at umiacs.umd.edu Sun Nov 12 20:38:21 2006 From: martinez at umiacs.umd.edu (Vanina Martinez) Date: Sun, 12 Nov 2006 14:38:21 -0500 Subject: subscribe Message-ID: -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From martinez at umiacs.umd.edu Sun Nov 12 20:48:57 2006 From: martinez at umiacs.umd.edu (Vanina Martinez) Date: Sun, 12 Nov 2006 14:48:57 -0500 Subject: Confirmation Request (3719507425) In-Reply-To: References: Message-ID: On 11/12/06, 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: 3719507425, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ccbodanz at criba.edu.ar Sun Nov 12 23:06:24 2006 From: ccbodanz at criba.edu.ar (Gustavo Bodanza) Date: Sun, 12 Nov 2006 19:06:24 -0300 Subject: subscribe Message-ID: <200611122204.kACM4VcB022830@huija.criba.edu.ar> -- No virus found in this outgoing message. Checked by AVG Free Edition. Version: 7.5.430 / Virus Database: 268.14.3/530 - Release Date: 11/11/2006 06:53 p.m. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mom at cs.uns.edu.ar Sun Nov 12 20:58:37 2006 From: mom at cs.uns.edu.ar (Mom) Date: Sun, 12 Nov 2006 19:58:37 -0000 Subject: subscribe Message-ID: <20061112225837.D4499201B0@cs.uns.edu.ar> From cml at cs.uns.edu.ar Mon Nov 13 00:18:22 2006 From: cml at cs.uns.edu.ar (Carlos M. Lorenzetti) Date: Sun, 12 Nov 2006 20:18:22 -0300 Subject: subscribe Message-ID: <4557ABBE.30306@cs.uns.edu.ar> From mc at cs.uns.edu.ar Mon Nov 13 01:09:08 2006 From: mc at cs.uns.edu.ar (Marcela Capobianco) Date: Sun, 12 Nov 2006 21:09:08 -0300 Subject: subscribe Message-ID: <4557B7A4.2020700@cs.uns.edu.ar> From cml at cs.uns.edu.ar Mon Nov 13 01:30:37 2006 From: cml at cs.uns.edu.ar (Carlos M. Lorenzetti) Date: Sun, 12 Nov 2006 21:30:37 -0300 Subject: Confirmation Request (3733920571) In-Reply-To: References: Message-ID: <588891ea0611121630v5cb0f26as62a63ce08ea3eb45@mail.gmail.com> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ccbodanz at criba.edu.ar Mon Nov 13 04:18:09 2006 From: ccbodanz at criba.edu.ar (Gustavo Bodanza) Date: Mon, 13 Nov 2006 00:18:09 -0300 Subject: Confirmation Request (3728816416) In-Reply-To: Message-ID: <200611130316.kAD3GP9X007965@huija.criba.edu.ar> -----Original Message----- From: event administration [mailto:event-subscribe at tu-clausthal.de] Sent: Domingo, 12 de Noviembre de 2006 07:20 p.m. To: Gustavo Bodanza Subject: Confirmation Request (3728816416) 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: 3728816416, 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 -- No virus found in this incoming message. Checked by AVG Free Edition. Version: 7.5.430 / Virus Database: 268.14.3/530 - Release Date: 11/11/2006 06:53 p.m. -- No virus found in this outgoing message. Checked by AVG Free Edition. Version: 7.5.430 / Virus Database: 268.14.3/530 - Release Date: 11/11/2006 06:53 p.m. From ajg at cs.uns.edu.ar Mon Nov 13 13:23:16 2006 From: ajg at cs.uns.edu.ar (Alejandro J. Garcia) Date: Mon, 13 Nov 2006 09:23:16 -0300 Subject: subscribe Message-ID: <6.2.1.2.2.20061113092240.028942f0@pop3.cs.uns.edu.ar> From ajg at cs.uns.edu.ar Mon Nov 13 14:13:55 2006 From: ajg at cs.uns.edu.ar (Alejandro J. Garcia) Date: Mon, 13 Nov 2006 10:13:55 -0300 Subject: Confirmation Request (3780919075) In-Reply-To: References: Message-ID: <6.2.1.2.2.20061113101035.028048a0@pop3.cs.uns.edu.ar> At 09:48 AM 11/13/2006, you wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 3780919075, > 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 mom at cs.uns.edu.ar Mon Nov 13 11:44:59 2006 From: mom at cs.uns.edu.ar (Mom) Date: Mon, 13 Nov 2006 10:44:59 -0000 Subject: Confirmation Request (3732920948) Message-ID: <20061113134459.D9FFD2020D@cs.uns.edu.ar> --------- Original Message -------- From: event administration To: Mom Subject: Confirmation Request (3732920948) Date: 12/11/06 23:28 > > This is an automated message from the > <event at tu-clausthal.de> mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your <mom at cs.uns.edu.ar> 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: 3732920948, > the reply is directed to <event-subscribe at tu-clausthal.de>, > and the 'From' address of your reply is <mom at cs.uns.edu.ar>. > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to <event-request at tu-clausthal.de> > > > > > From mfalappa at cs.uns.edu.ar Mon Nov 13 14:47:23 2006 From: mfalappa at cs.uns.edu.ar (Marcelo A. Falappa) Date: Mon, 13 Nov 2006 10:47:23 -0300 Subject: subscribe Message-ID: <20061113134347.1EC1D201FC@cs.uns.edu.ar> From mfalappa at cs.uns.edu.ar Mon Nov 13 17:25:14 2006 From: mfalappa at cs.uns.edu.ar (Marcelo A. Falappa) Date: Mon, 13 Nov 2006 13:25:14 -0300 Subject: Confirmation Request (3785919272) In-Reply-To: References: Message-ID: <20061113162136.47C4320230@cs.uns.edu.ar> At 11:11 13/11/2006, you wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 3785919272, > 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 Marcelo A. Falappa Webpage: http://www.cs.uns.edu.ar/~mfalappa/ E-mail: mfalappa at cs.uns.edu.ar -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ndr at cs.uns.edu.ar Mon Nov 13 18:12:45 2006 From: ndr at cs.uns.edu.ar (=?iso-8859-1?Q?=22Nicol=E1s_D=2E_Rotstein=22?=) Date: Mon, 13 Nov 2006 14:12:45 -0300 Subject: subscribe Message-ID: <6.2.1.2.2.20061113141232.02696f90@pop3.cs.uns.edu.ar> From ndr at cs.uns.edu.ar Mon Nov 13 18:40:38 2006 From: ndr at cs.uns.edu.ar (=?iso-8859-1?Q?=22Nicol=E1s_D=2E_Rotstein=22?=) Date: Mon, 13 Nov 2006 14:40:38 -0300 Subject: 3797919750 In-Reply-To: References: Message-ID: <6.2.1.2.2.20061113144013.026abab0@pop3.cs.uns.edu.ar> From renze at ch.its.tudelft.nl Tue Nov 14 10:29:50 2006 From: renze at ch.its.tudelft.nl (Renze Steenhuisen) Date: Tue, 14 Nov 2006 10:29:50 +0100 (CET) Subject: subscribe Message-ID: Renze Steenhuisen http://www.st.ewi.tudelft.nl/~renze/ From renze at ch.its.tudelft.nl Tue Nov 14 11:04:48 2006 From: renze at ch.its.tudelft.nl (Renze Steenhuisen) Date: Tue, 14 Nov 2006 11:04:48 +0100 (CET) Subject: Confirmation Request (3856786777) In-Reply-To: References: Message-ID: Renze Steenhuisen http://www.st.ewi.tudelft.nl/~renze/ On Tue, 14 Nov 2006, 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: 3856786777, > 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 sofronie at mpi-sb.mpg.de Tue Nov 14 15:30:57 2006 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Tue, 14 Nov 2006 15:30:57 +0100 Subject: Subscribe me! Message-ID: <1163514657.30907.6.camel@mpiat2302> From sofronie at mpi-sb.mpg.de Tue Nov 14 15:30:48 2006 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Tue, 14 Nov 2006 15:30:48 +0100 Subject: Subscribe me! Message-ID: <1163514648.30907.5.camel@mpiat2302> From sofronie at mpi-sb.mpg.de Tue Nov 14 15:30:36 2006 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Tue, 14 Nov 2006 15:30:36 +0100 Subject: Subscribe me! Message-ID: <1163514636.30907.3.camel@mpiat2302> I would like to subscribe to this mailing list. Many thanks in advance! Viorica Sofronie-Stokkermans ______________________________________________ Viorica Sofronie-Stokkermans, MPI Informatik, Saarbruecken, Germany e-mail: sofronie at mpi-sb.mpg.de www: http://www.mpi-inf.mpg.de/~sofronie/ _______________________________________________ From prf at cs.uns.edu.ar Tue Nov 14 20:49:01 2006 From: prf at cs.uns.edu.ar (Pablo R. Fillottrani) Date: Tue, 14 Nov 2006 16:49:01 -0300 Subject: subscribe Message-ID: <455A1DAD.4020708@cs.uns.edu.ar> From sofronie at mpi-sb.mpg.de Tue Nov 14 22:53:59 2006 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie) Date: Tue, 14 Nov 2006 22:53:59 +0100 (MET) Subject: subscribe Message-ID: <200611142153.kAELrxfg012078@contact.mpi-sb.mpg.de> From sofronie at mpi-sb.mpg.de Wed Nov 15 12:55:11 2006 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie) Date: Wed, 15 Nov 2006 12:55:11 +0100 (MET) Subject: TABLEAUX 2007: Call for Workshop Proposals Message-ID: <200611151155.kAFBtBZo020850@contact.mpi-sb.mpg.de> [We apologize if you receive multiple copies of this announcement] ------------------------------------------------------------ TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods 3-6 July 2007 Aix en Provence, France http://tableaux2007.univ-cezanne.fr/ ============================================================ CALL FOR WORKSHOP PROPOSALS PROPOSAL SUBMISSION DEADLINE: December 5, 2006 NOTIFICATION OF ACCEPTANCE: December 15, 2006 ============================================================ General ------- TABLEAUX 2007 is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2007, the conference will be held in Aix en Provence, France. See http://tableaux2007.univ-cezanne.fr/ for more information on TABLEAUX 2007, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. TABLEAUX 2007 launches a Call for Workshop Proposals on specialized subjects in the range of the conference topics. The proposals are reviewed by members of the program committee. The purpose of a workshop is to offer an opportunity for presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. Workshops will be held on July 3, 2007. They will run for one day, but half-day ones are possible as well. Scope ----- Proposals for workshops on TABLEAUX related topics, as mentioned in the "Call for papers" http://tableaux2007.univ-cezanne.fr/CFPTABLEAUX2007.txt) are cordially invited. The topics of the workshops can cover any areas related to TABLEAUX, including cross-disciplinary areas. Workshops bridging the gap between automated reasoning and its applications (e.g. hardware and software verification, knowledge engineering, semantic web) are especially encouraged. How to Propose a Workshop ------------------------- Workshop proposals must contain the necessary information for the program committee to judge the importance, quality and community interest in the proposed topic. Each workshop must have one or more designated organizers and may have a program committee as well. Workshop proposals must provide at least the following information: * The title of the workshop. * Description of the workshop topic and goals. Why do you believe this to be an interesting and significant topic? What are the main goals of the workshop? * Intended audience. From which areas do you expect potential participants to come? How many participants do you expect? Are there any limitations to participation (e.g., maximum number of participants)? How do you plan to publicize your workshop? * Organization of the workshop. Describe the intended format of the workshop and its expected duration (half a day or one day). Are you going to schedule invited talks, presentations, panel discussions, or other methods for ensuring an interactive atmosphere? Are there any plans to document the workshop results beyond online distribution on the Web and TABLEAUX's workshop notes? * Organizers' details. Provide complete affiliations and contact details (email, web page, phone, fax, etc.) of all organizers and committee members. For the designated organizers, briefly describe their background in the proposed topic, together with a list of workshops previously organized in the workshop's or related areas. Workshop proposals should be sent as plain text and as postscript or PDF to the workshop chair (Viorica Sofronie-Stokkermans, e-mail: sofronie at mpi-sb.mpg.de) no later than December 5, 2006. The proposals will be reviewed by members of the program committee. Further notes ------------- * Workshop organizers are themselves responsible for adequate distribution of their call for papers and other publicity (there will be general TABLEAUX announcements mentioning all TABLEAUX workshops as well). * Workshop organizers are expected to maintain a web site showing all the relevant information on their workshop, including online versions of accepted papers. * Workshop organizers are responsible for collecting and assembling all material in electronic form. The TABLEAUX organizers will help with printing and making copies of the material prepared by the organizers for the workshop proceedings. * We suggest workshop participation to be open, i.e. anyone interested can register, and not based on invitation or limited to authors of accepted papers. * Workshop participants will not be required to register for TABLEAUX; there will be independent workshop registration fees. For any questions please contact the workshop chair. Important dates --------------- Workshop proposal submission deadline: December 5, 2006 Notification of acceptance of workshops: December 15, 2006 Deadline for camera-ready copy of workshop notes: June 3, 2007 Workshops Date: July 3, 2007 Program and Conference chair: ----------------------------- Nicola Olivetti, LSIS, Paul Cézanne University, Marseille, France Publicity Chair: ---------------- Belaïd Benhamou, LSIS, Université de Provence, Marseille, France Workshop chair -------------- Viorica Sofronie-Stokkermans Max-Planck-Institut für Informatik, Saarbrücken, Germany sofronie at mpi-sb.mpg.de http://www.mpi-sb.mpg.de/~sofronie/ From apsimoes at student.dei.uc.pt Wed Nov 15 15:23:31 2006 From: apsimoes at student.dei.uc.pt (=?ISO-8859-1?Q?Ant=F3nio_Pedro_Oliveira?=) Date: Wed, 15 Nov 2006 14:23:31 +0000 Subject: subscribe Message-ID: <455B22E3.1040906@student.dei.uc.pt> -- António Pedro Oliveira From WiebevanderHoek at csc.liv.ac.uk Thu Nov 16 11:49:48 2006 From: WiebevanderHoek at csc.liv.ac.uk (Wiebe van der Hoek) Date: Thu, 16 Nov 2006 10:49:48 +0000 (GMT) Subject: Handbook of Modal Logic Message-ID: Dear reader, We are very pleased to inform you that the above book has now been published. We hope that you will be as pleased with the final result as we are. The book is also announced on Elsevier's website. For more information, please go to: http://books.elsevier.com/uk//elsevier/uk/subindex.asp?maintarget=&isbn= 0444516905&country=United+Kingdom&srccode=&ref=CWS1&subcode=&head=&pdf=& basiccode=&txtSearch=&SearchField=&operator=&order=&community=elsevier Wiebe van der Hoek --------------------------------------------------------------- Prof. Wiebe van der Hoek http://www.csc.liv.ac.uk/~wiebe/ Department of Computer Science tel (+44 151) 79 47480/54292 University of Liverpool fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom wiebe at csc.liv.ac.uk From WiebevanderHoek at csc.liv.ac.uk Thu Nov 16 11:50:14 2006 From: WiebevanderHoek at csc.liv.ac.uk (Wiebe van der Hoek) Date: Thu, 16 Nov 2006 10:50:14 +0000 (GMT) Subject: call proposals hosting EUMAS'07 Message-ID: Call for proposals for hosting the Fifth European Workshop on Multi-Agent Systems (EUMAS'07) ---------------------------------------------------------- Following the success of three European Workshops on Multi-Agent Systems, the EUMAS Advisory Board is soliciting proposals for hosting the next workshop in December 2007. After Oxford, Barcelona, Brussels and Lisbon, Eumas is looking for a fifth host. The previous events attracted around 140 participants over 2 days, shortly before Christmas. We expect EUMAS'07 to be of similar size, timing, and to retain the informal nature of the EUMAS workshop series. See http://www.eumas.org for details. The proposers are expected to suggest local organization committee (local chair, finance chair and possibly sponsorship chair) while the general chair and the programme chair will be seleceted by EUMAS AB. If this is done after the location is selected, local organizers can veto the EUMAS AB selection. The plan is that EUMAS AB will retain 50% of the workshop profit and 50% will remain with the organizers. EUMAS AB will not undertake any financial risks asociated with a possible failiure of the workshop. ---------------------------------------------------------- While there is no set format for proposals, potential applicants should address the following aspects: 1. Organisational structure. - who is the proposed local organiser(s)? - what experience do the above have in organising similar events? 2. Workshop venue. - where do you propose for the workshop to take place? - what previous events have taken place at this site? - what is their previous record in hosting events of this size? - what are the attractive features of this venue? - how accessible is the venue? 3. Organisational timetable. - what suggested timetable do the organisers have for publicity, submissions, reviews and acceptance (subject to discussion)? - are there any invited speakers proposed already? - are there additional, co-located, events? 4. Funding. - what is the outline budget for the event? - what are the expected costs for participants? - are there any potential sponsors and support organisations? - How much seed money is available? Proposers are expected to have received prior approval from their respective organisations to host the event (including authorisation for any advance financial obligations). Proposals should be submitted to Wiebe van der Hoek (wiebe at csc.liv.ac.uk) by email before December 5, 2006. The Advisory Board hopes to make a decision before or during EUMAS'06. Wiebe van der Hoek --------------------------------------------------------------- Prof. Wiebe van der Hoek http://www.csc.liv.ac.uk/~wiebe/ Department of Computer Science tel (+44 151) 79 47480/54292 University of Liverpool fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom wiebe at csc.liv.ac.uk From henning at RUC.DK Thu Nov 16 18:06:23 2006 From: henning at RUC.DK (Henning Christiansen) Date: Thu, 16 Nov 2006 18:06:23 +0100 Subject: CONTEXT'07, call for workshop proposals Message-ID: ------------------------------------------------------------------------ CALL FOR WORKSHOP PROPOSALS 6th International and Interdisciplinary Conference on Modeling and Using Context Roskilde University - Denmark 20-24 August 2007 http://context-07.ruc.dk ------------------------------------------------------------------------ CONTEXT 07 Workshops: CONTEXT 07 invites proposals for the workshop program. Workshops will be held on August 20-21 immediately prior to the main program of the conference. GENERAL INFORMATION The main goal of the CONTEXT 07 workshops is to stimulate and facilitate an active exchange on unique and interdisciplinary applications, ideas, approaches, and methods about specific topics in the general area of Modeling and Using Context. The Workshops provide a setting that fosters informal discussion and active engagement among attendees. Researchers from all disciplines are invited to submit proposals for workshop for review. Workshops on specific relevant aspects of broader topics and newly evolving areas of Context are particularly encouraged. Workshops in general will be one full day in duration, exceptionally lasting half a day or two days. Format and content of each workshop will largely be determined by each workshop's organizing committee. Proposals for "mini-conference" style workshops are discouraged and ample time should be allotted for general discussion. Workshop organizers and attendees must register for the main CONTEXT 07 conference! For presenting workshop summaries to all conference attendees, a time slot of about 10 minutes each will be provided in coordination with the main conference's regular sessions. These summaries should be presented by at least one of the workshop's organizers. SUBMISSION OF PROPOSALS To propose a workshop for CONTEXT 07, you will submit a full proposal of at most 5 pages containing the following information: * The proposed title of the workshop; * A brief description of the technical issues the workshop addresses; * A brief discussion on target audience and relevance to CONTEXT 07; * A preliminary workshop agenda/schedule, including desired duration; * A description of the intended workshop format and style; * A description of paper review process and acceptance standards; * Potential program committee members, including their affiliations; * Number of expected and, if available, a list of interested attendees; * Intended means of advertising the workshop; * Related workshops recently held, with description and location; * Contact information, including the names, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. The committee should consist of three or four people knowledgeable about the technical issues to be addressed and, ideally, not being from the same institution; * Brief notes on each member of the organizing committee and their recent work relating to the technical issues addressed. All proposals should be submitted by electronic mail to the CONTEXT 07 workshop chair as PDF file as soon as possible but no later than January 31, 2007 at: context07 at workshop.hm Proposals will be reviewed by the program committee and prospective organizers will be notified of their decision no later than February 15, 2006. RESPONSIBILITIES OF CONTEXT 07 AND WORKSHOP ORGANIZERS For all accepted proposals, CONTEXT 07 will be responsible for: * Providing a meeting place for the workshop; * Determining the workshop date and time; * Duplicating working notes. Workshop organizers will be responsible for the following: * Setting up a web site for the workshop; * Advertising the workshop and issuing a call for papers/ participation; * Review and select presentations and papers; * Providing the complete workshop's working notes as single PDF file; * Ensure registration of workshop organizers and participants to the main conference; * Arrange for special requirements with the CONTEXT 07 Workshop Chair no later than July 18, 2007. The workshop's call for papers should clarify the process by which the organizing committee will review and select the papers and presentations for being accepted. Additionally, the procedure, form, and dates for submissions should be included. It is recommended to adopt the deadlines for submissions and notifications from the list of important dates as given below. CONTEXT 07 reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few attendees register for the workshop. In special cases, the CONTEXT 07 program committee may suggest the consolidation of workshops, to prevent the need for cancellation. The decision on the acceptance of workshops to be included in the final CONTEXT 07 program will be based upon multiple factors, among others, scientific and/or technical interest of the topic, the proposal's quality, distinctness and balance of the workshop's topics, and the capacity of the conference workshop program. IMPORTANT DATES (2007) Jan 31. Deadline for Workshop Proposal Submission Feb 15. Notification of Acceptance for Workshop Proposals May 15. Suggested Deadline for Workshop Paper Submission Jun 07. Suggested Day of Notifications for Papers Jun 30. Suggested Deadline for Camera-ready Copies of Papers to be received by the Workshop Organizers Jul 18. Deadline for Camera-ready Copy of Workshop Notes to be received by the CONTEXT 07 Workshop Chair Aug 20.-21. Workshop Days CONTACT Stefan Schulz The e-Spirit Company GmbH Phone: +49 (231) 28661 - 43 Fax: +49 (231) 28661 - 59 Email: context07 at workshop.hm From C.Orasan at wlv.ac.uk Fri Nov 17 16:43:15 2006 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Fri, 17 Nov 2006 15:43:15 +0000 Subject: Final reminder for Research studentship in spatial reasoning for question answering =?ISO-8859-1?Q?=28=A310=2C000?= per year) Message-ID: <1163778196.8769.23.camel@localhost.localdomain> [Apologies for cross-postings] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ RESEARCH STUDENTSHIP IN SPATIAL REASONING FOR QUESTION ANSWERING (£10,000 per year) http://clg.wlv.ac.uk/jobs/jobs.php Closing date: 23rd Nov 2006 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Research Group in Computational Linguistics, University of Wolverhampton invites applications for a three-year-funded research studentship in Computational Linguistics. The successful candidate is expected to carry out research in the domain of spatial reasoning for question answering. We are looking for candidates with a good honours degree in Computational Linguistics, Computer Science or Information Sciences, with programming skills and some experience in Natural Language Processing. Required skills: - degree in Computational Linguistics, Computer Science or Information Sciences - experience with at least one of the following: Java, Perl, C++, .NET - experience in Natural Language Processing - good command of the English language Desirable skills: - Master's degree in Computational Linguistics, Computer Science or Information Sciences - experience in question answering, information extraction and/or spatial reasoning - familiarity with a wide range of programming environments and operating systems Applications should be sent to Constantin Orasan School of Humanities, Languages and Social Sciences University of Wolverhampton Stafford St. Wolverhampton WV1 1SB United Kingdom E-mail: C.Orasan at wlv.ac.uk and must include: - completed application form available from http://clg.wlv.ac.uk/jobs/jobs.php - CV - copy of university degree (in English) - copy of transcript listing all university marks (in English) - evidence of postgraduate qualification if applicable - a covering letter in which candidates explain why they have applied for the studentship, give details of their research interests/experience, background, programming skills and an outline of any experience in Natural Language Processing or Linguistics. Applications should be made both by email and surface mail. The closing date for applications is 23rd November 2006. The short-listed applicants will be interviewed by email and telephone in the week beginning 27th November 2006. The studentship includes a maintenance grant of 10,000 GBP a year and also covers the tuition fees for 3 years. The successful candidate is expected to register in December 2006, and join the Research Group in Computational Linguistics in January 2007. She or he will be working in a vibrant research environment, engaging in active research. This studentship is funded by the EU-funded project QALL-ME, so it is expected that the appointed student will contribute to this project as well. In return, the student will have access and will benefit from the resources developed in the project. The RESEARCH GROUP IN COMPUTATIONAL LINGUISTICS at the University of Wolverhampton (http://clg.wlv.ac.uk) Established by Prof. Mitkov in 1997, the Research Group in Computational Linguistics is a highly successful one, delivering cutting-edge research in a number of NLP areas such as anaphora resolution, automatic summarisation, question answering, lexical knowledge acquisition, text categorisation, named entity recognition, information extraction, corpus construction and annotation, automatic terminology processing, multilingual processing, and multiple-choice question generation. To a large extent, this research has been undertaken in projects funded by major UK funding bodies and commercial partners. For further information/queries, please contact: Constantin Orasan Phone: +44 1902 322 623 Email: C.Orasan at wlv.ac.uk From pgochet at ulg.ac.be Sun Nov 19 22:15:20 2006 From: pgochet at ulg.ac.be (Paul Gochet) Date: Sun, 19 Nov 2006 22:15:20 +0100 Subject: [Event@CIG] Handbook of Modal Logic In-Reply-To: References: Message-ID: Dear Wiebe, Many thanks for informing me about the event. I visited the Web site. I shall order the handbook without delay. it is of major importance for my work. Best Paul From torsten at cs.uni-potsdam.de Mon Nov 20 14:16:03 2006 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Mon, 20 Nov 2006 14:16:03 +0100 (CET) Subject: PostDoc and Ph.D. positions in AL and ASP Message-ID: <20061120131603.45C8AD237@raz.haiti.cs.uni-potsdam.de> [Apologies if you receive multiple copies] Dear colleague, the research unit for Systems Biology GoFORSYS offers interdisciplinary PostDoc and Ph.D. students positions, among others, in the area of Action Languages and Answer Set Programming for Modeling Biological Networks within the KRR group at the University of Potsdam. The official job advertisement can be found at http://www.goforsys.org/positions.php For further information about these position please contact: Prof. Torsten Schaub Fon +49-331-977-3080/3081 Fax +49-331-977-3122 Email torsten at cs.uni-potsdam.de Please send your application to the address indicated on the website. Best regards, -torsten schaub -- Prof. Dr. Torsten Schaub Universit�t Potsdam, Institut f�r Informatik August-Bebel-Strasse 89, D-14482 Potsdam net torsten at cs.uni-potsdam.de fon (+49) 331 977 3080/3081 url http://www.cs.uni-potsdam.de/~torsten fax (+49) 331 977 3122 From axel.polleres at urjc.es Tue Nov 21 10:00:16 2006 From: axel.polleres at urjc.es (Axel Polleres) Date: Tue, 21 Nov 2006 10:00:16 +0100 Subject: Call for Papers - CENT 2007 Message-ID: <4562C020.4030604@urjc.es> ================================================================================ Call for Papers CENT 2007 Correspondence and Equivalence for Nonmonotonic Theories (CENT2007) http://www.kr.tuwien.ac.at/cent2007/ a workshop colocated with LPNMR 2007, Tempe, AZ, May 14-16 2007. ================================================================================ The systematic study of intertheory relations such as strong and uniform equivalence has recently become an active sub-area of research in the field of LPNMR. Various kinds of correspondence relations that may hold between logic programs or between nonmonotonic theories have been analysed and shown to be of practical relevance for theory or program transformation, optimisation and modularity. Several systems for verifying such relations have been implemented. Different types of knowledge representation and reasoning tasks have begun to be explored in this context, such as abductive and inductive reasoning, causal reasoning, preference-based reasoning or reasoning about updates. In the field of KRR more generally one notes an increased interest in intertheory relations that are relevant for ontologies, eg to describe modular ontologies or equivalences between ontologies or their parts. It may therefore be of interest to combine work in this area with work on equivalences between nonmonotonic rules. We are also interested in new results on equivalences between different ontology languages proposed for the Semantic Web, particularly in combinations with (nonmonotonic) rules. Frameworks for study might therefore include e.g. DL-programs or hybrid knowledge bases that provide combinations of a classical or description logic KB with logic programming rules. The scope of the workshop covers all aspects of the study and application of intertheory relations in the LPNMR area. In particular it welcomes contributions that * extend the catalogue of useful relations or provide novel characterisations * characterise relations wrt different approaches to LP and NMR * examine specialised reasoning tasks, eg planning, diagnosis, explanation, reasoning about actions, reasoning about ontologies * explore practical applications * present system descriptions and comparisons Workshop topics --------------- Workshop topics include, but are not limited to: * logical characterisations * applications * computational complexity * implementation issues * benchmarks and system comparisons * relations to datalog and database theory * relations to ontologies and Semantic Web languages Submission and Presentation Format ---------------------------------- Papers must be written in English and we encourage both original research papers or system descriptions. Submissions must not exceed twelve (12) pages including title page, references and figures, and must be formatted according to the Springer LNCS/LNAI authors' instructions, but also shorter papers will be considered. For system presentations a length of 4 pages is recommended. We will use easychair for your electronic submissions, the submission page is accessible at: http://www.easychair.org/CENT2007/ Important Dates --------------- * 23 Feb 2007, Submission of papers * 30 March 2007, Notification of acceptance * 20 April 2007, Camera-ready versions due * 14-16 May 2007, Workshop Committees ---------- Steering committee: David Pearce Axel Polleres Agustin Valverde Stefan Woltran Programme Committee: Wolfgang Faber Katsumi Inoue Vladimir Lifschitz Fangzhen Lin Emilia Oikarinen Riccardo Rosati Hans Tompits -- Dr. Axel Polleres email: axel at polleres.net url: http://www.polleres.net/ From grs at cs.uns.edu.ar Tue Nov 21 14:20:31 2006 From: grs at cs.uns.edu.ar (Guillermo R. Simari) Date: Tue, 21 Nov 2006 10:20:31 -0300 Subject: CfP: Workshop on Argumentation and Nonmonotonic Reasoning (Arg-NMR) Message-ID: <20061121131919.BB72320246@cs.uns.edu.ar> Our Apologies for Multiple Copies - Please distribute ======================================================================= CALL FOR PAPERS 1st Workshop on Argumentation and Nonmonotonic Reasoning (Arg-NMR) in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-07) Tempe, Arizona May 14 -16 2007 (The exact date for the workshop has not yet been decided.) http://lia.deis.unibo.it/confs/ArgNMR/ ======================================================================= = Aims and Scope = Research on Argumentation and Nonmonotonic Reasoning began in full force in the early eighties. The first attempts showed how argumentation results in a very natural way of conceptualizing Commonsense Reasoning, appropriately reflecting its defeasible nature. Further work in the KR&R community has shown that argumentation provides a useful perspective for relating different nonmonotonic formalisms. More recently, argumentation has been revealed as a powerful conceptual tool for exploring the theoretical foundations of reasoning and interaction in Autonomous Agents and Multiagent Systems. This workshop will represent an opportunity for exchanging ideas on the fundamental theoretical basis and the design and implementation of argument-based systems including semantics, proof theory, applications to epistemic and practical reasoning, and the comparison of those systems with other types of nonmonotonic reasoning. = Topics = We solicit unpublished papers that present work on argumentation and nonmonotonic reasoning. We will privilege articles who emphasize connections between them. Relevant topics include, but are not limited to, the following: -> argumentation theories and logical foundations -> argumentation and logic programming -> formal models of argument -> semantics of argumentation -> operational semantics and execution models of argumentation systems -> argumentation and commonsense reasoning -> argumentation for practical reasoning and deliberation -> argumentation tools and applications -> argumentation for reasoning in multiagent systems -> argumentation dialogues in multiagent systems -> nonmonotonic reasoning in multiagent systems -> argumentation for legal reasoning -> argumentation and nonmonotonic reasoning in the semantic web -> implementations of argumentation systems = Important Dates = -> Submission: 8 February 2007 -> Notification: 12 March 2007 -> Camera-ready: 29 March 2007 -> ArgNMR: 14-16 May 2007 (one day) = Submissions = We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers should be written in English, formatted according to the Springer LNCS style ( http://www.springer.com/comp/lncs/Authors.html ), and they should not exceed sixteen (16) pages including title page, figures, references, etc. = Proceedings and post-workshop publications = A printed volume with the proceedings will be available at the workshop. The proceedings of ArgNMR are also planned to form the basis for publishing a post-workshop volume, and/or a special issue of an international journal, subject to appropriate quality. = Programme Committee = Leila Amgoud, IRIT-CNRS Toulouse, France Grigoris Antoniou, FORTH-ICS, Greece Pietro Baroni, U Brescia, Italy Trevor J. Bench-Capon, U Liverpool, United Kingdom Carlos Iván Chesñevar, U Nacional del Sur, Bahia Blanca, Argentina Jürgen Dix, TU Clausthal, Germany Phan Minh Dung, Asian Institute of Technology, Thailand Lluis Godo, IIIA-CSIC, Spain Anthony Hunter, U College London, United Kingdom Antonis C. Kakas, U Cyprus Gabriele Kern-Isberner, U Dortmund, Germany Nicolas Maudet, U Paris-Dauphine, France Peter McBurney, U Liverpool, United Kingdom Donald Nute, U. Georgia, Athens, GE, United States Henry Prakken, U Utrecht, U Groningen, The Netherlands Iyad Rahwan, British U Dubai, UAE & U Edinburgh, United Kingdom Tran Cao Son, New Mexico State U, NM, United States Francesca Toni, Imperial College London, United Kingdom = Organization = Guillermo R. Simari, U. Nacional del Sur, Bahia Blanca, Argentina Paolo Torroni, U. Bologna, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Tue Nov 21 16:57:35 2006 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Tue, 21 Nov 2006 15:57:35 +0000 Subject: Job announcement: Postdoctoral Research Fellow/Senior Research Fellow in Question Answering Message-ID: <1164124655.7101.19.camel@localhost.localdomain> [apologies for cross posting] ------------------------------------------------------------------ Postdoctoral Research Fellow/Senior Research Fellow in QALL-ME project Salary £19,430 - £25,184* pa or £29,211 - £37,521* pa (level of appointment dependent on qualifications and experience) ------------------------------------------------------------------- Applications closing date: 15th December 2006 Start date: no later than 1st March 2007 Reference: A4642 Salary: £19,430 - £25,184* pa or £29,211 - £37,521* pa (level of appointment dependent on qualifications and experience) As postdoctoral research fellow/senior research fellow you will work on a EU funded project to develop a system for question answering learning technologies in a multilingual and multimodal environment, focusing on implementation of various components, as well as evaluation of the system. This is a fixed contract for 30 months. You should have a degree in computer science and a PhD in computational linguistics or equivalent experience. Experience in Natural Language Processing (NLP) techniques and programming are required, as well as familiarity with Question Answering, Information Extraction and Machine Learning techniques for language processing. Publications in good journals, experience with grant applications and working with the industry, native or near native proficiency in English are a plus. For appointment at Senior Research Fellow level you will need to demonstrate a very good publications record, grant applications experience, and potential leadership qualities. Required skills: * PhD or equivalent research experience/output in Computational Linguistics/Natural Language Processing * Experience with Question Answering and/or Information Extraction * Experience with at least one of the following programming languages C, C#, Perl or Java * Experience with machine learning for computational linguistics Desirable skills: * Experience working with ontologies * Experience with database programming * Good journal publications Applications should include a completed application form, CV, and covering letter in which the candidates explain why they have applied for the position and give details of their research interests/experience and background. Candidates should also give the names of three referees with their email addresses and telephone numbers. The interviews are scheduled to take place in January 2007, and the starting date as soon as possible after the interviews, but no later than 1st March 2007. For informal inquiries, please contact Mr. Constantin Orasan (C.Orasan at wlv.ac.uk) or Prof. Ruslan Mitkov (R.Mitkov at wlv.ac.uk). Applications to be sent to Personnel. If emailed, please cc to C.Orasan at wlv.ac.uk. For an application form, contact Personnel Services Department, University of Wolverhampton, Molineux Street, Wolverhampton WV1 1SB Phone +44 (0) 1902 321049 (ansaphone), and quoting the reference number. For hearing impaired candidates our Minicom number is +44 (0) 1902 321249. Email address: per at wlv.ac.uk The application form can also be downloaded from http://clg.wlv.ac.uk/jobs/app_form_jobs.pdf. The RESEARCH GROUP IN COMPUTATIONAL LINGUISTICS at the University of Wolverhampton (http://clg.wlv.ac.uk) Established by Prof. Mitkov in 1997, the Research Group in Computational Linguistics is a highly successful one, delivering cutting-edge research in a number of NLP areas such as anaphora resolution, automatic abstracting, question answering, lexical knowledge acquisition, text categorisation, named entity recognition, information extraction, corpus construction and annotation, automatic terminology processing, multilingual processing, and multiple-choice question generation. To a large extent, this research has been undertaken in projects funded by major UK funding bodies and commercial partners. -- Constantin Orasan Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From telmadelladiof at gmail.com Tue Nov 21 16:05:53 2006 From: telmadelladiof at gmail.com (Telma Delladio) Date: Tue, 21 Nov 2006 12:05:53 -0300 Subject: subscribe Message-ID: From td at cs.uns.edu.ar Tue Nov 21 16:12:22 2006 From: td at cs.uns.edu.ar (Telma Delladio) Date: Tue, 21 Nov 2006 12:12:22 -0300 Subject: subscribe Message-ID: <45631756.7000309@cs.uns.edu.ar> From td at cs.uns.edu.ar Tue Nov 21 16:13:04 2006 From: td at cs.uns.edu.ar (Telma Delladio) Date: Tue, 21 Nov 2006 12:13:04 -0300 Subject: Confirmation Request (0185700129) In-Reply-To: References: Message-ID: <45631780.7050609@cs.uns.edu.ar> 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: 0185700129, > 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 telmadelladiof at gmail.com Tue Nov 21 16:08:23 2006 From: telmadelladiof at gmail.com (Telma Delladio) Date: Tue, 21 Nov 2006 12:08:23 -0300 Subject: Confirmation Request (0185418939) In-Reply-To: References: Message-ID: On 11/21/06, 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: 0185418939, > 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 > > -- :) tdf From td at cs.uns.edu.ar Tue Nov 21 16:04:51 2006 From: td at cs.uns.edu.ar (Telma Delladio) Date: Tue, 21 Nov 2006 12:04:51 -0300 Subject: subscribe Message-ID: <45631593.9060106@cs.uns.edu.ar> From M.M.deWeerdt at tudelft.nl Mon Nov 27 11:35:40 2006 From: M.M.deWeerdt at tudelft.nl (Mathijs de Weerdt) Date: Mon, 27 Nov 2006 11:35:40 +0100 Subject: CFP AAMAS Workshop on Coordinating Agents' Plans and Schedules Message-ID: <456ABF7C.9090401@tudelft.nl> ************************************************************ Call for Papers Workshop on Coordinating Agents' Plans and Schedules (CAPS07) Honolulu, May 14th or 15th 2007 (workshop at the AAMAS conference) URL: http://www.st.ewi.tudelft.nl/~mathijs/caps07/ ************************************************************ 1 Description ************************************************************ Multiagent planning is concerned with planning by (and for) multiple agents. Nowadays a major issue in multiagent planning is the coordination of single-agent planners. Here, coordination is studied not only during the execution of plans, but also in the (pre)-planning phase. A wide range of real applications could benefit from such coordinated planning technology, for example, in transportation and logistics, health care management, space missions, military tasks, and disaster management. Also, planning in the context of human-computer (or human-robot) interaction is inherently a multiagent planning task. Coordinating the plans of the involved entities up front has the potential to improve the efficiency of the whole system. However, currently, a great amount of research seems to focus solely on either planning, or the coordination of agents without the context of a plan. The purpose of this workshop is to address the problems that arise when coordinating the plans and schedules of multiple agents. We therefore solicit papers with original work, as well as position statements or surveys that relate to one or more of the following questions: 1. Which applications require decentralized planning? (a) Can we derive benchmark problems from these applications? 2. How can we evaluate multiagent planning techniques? (a) How to measure communication costs, privacy loss, flexibility and robustness? (b) How to measure plan quality when agents are self-interested (e.g., multi-objective optimization, or game theoretical concepts such as Pareto optimal solutions)? 3. What are efficient techniques to deal with the many problems inherent to a dynamic and uncertain multiagent world? (a) How to deal with local autonomy, privacy issues, and conflicting preferences? (b) How to deal with uncertainty and incomplete information? (c) How to coordinate multiagent plan diagnosis and (local) plan repair? (d) How to coordinate plans when agents' objectives (tasks, intentions, preferences,...) evolve over time? Paper should clarify their relevance to these questions. To summarize, specific topics of interest include (but are not limited to): * multiagent planning and scheduling applications * strategies for testing/evaluating distributed plan/schedule management techniques * self-interested planning agents * privacy in distributed planning * game theoretic planning * managing local autonomy in team planning/scheduling * mixed initiative and adjustable autonomy in distributed planning/scheduling * negotiation over tasks/intentions in distributed planning/scheduling * distributed continual planning/scheduling * plan/schedule maintenance in single and multiagent systems * plan/schedule repair in stochastic and adversarial domains * active (distributed) monitoring to trigger plan/schedule maintenance * distributed planning under uncertainty * multiagent planning with sparse or unreliable communication ************************************************************ 2 Paper submissions ************************************************************ Authors are encouraged to submit papers or position statements electronically in PDF format. Submitted papers should be formatted according to ACM specifications. ACM style guides, as well as templates and style sheets for Microsoft Word, WordPerfect, and LaTeX can be found at the ACM webpage. (http://www.acm.org/sigs/pubs/proceed/template.html) Papers should be no more than 8 pages. Please submit your paper at the workshop website no later than February 5, 2007. Accepted papers will be distributed as informal working notes, printed copies of which will be available at the workshop. Depending on the quality of the submissions, we are planning to select a subset of the papers, and give the authors of these papers the opportunity to publish a revised version of their workshop paper in a post-proceedings (e.g. by IOS Press or Springer). ************************************************************ 3 Important dates ************************************************************ * Deadline for submissions: February 5, 2007 * Notifications: March 5, 2007 * Deadline for camera-ready copy: March 19, 2007 * Workshop: half a day at May 14th or 15th, 2007 ************************************************************ 4 Program committee ************************************************************ Organizers * Michael Brenner, Albert-Ludwigs-Universität Freiburg (brenner at informatik.uni-freiburg.de) * Brad Clement, Jet Propulsion Laboratory, Pasadena (bclement at jpl.nasa.gov) * Mathijs de Weerdt, Delft University of Technology (M.M.deWeerdt at tudelft.nl) Program committee * Anthony Barrett, Jet Propulsion Laboratory, Pasadena * Keith Decker, University of Delaware * Ed Durfee, University of Michigan * Boi Faltings, Swiss Federal Institute of Technology * Piotr Gmytrasiewicz, University of Illinois at Chicago * Nick Hawes, University of Birmingham * Sven Koenig, University of Southern California * Roman van der Krogt, University College Cork * Victor Lesser, University of Massachusetts * Karen Myers, SRI International * Jeff Rosenschein, Hebrew University of Jerusalem * Reid Simmons, Carnegie Mellon University * Steve Smith, Carnegie Mellon University * Tom Wagner, DARPA * Cees Witteveen, Delft University of Technology * Shlomo Zilberstein, University of Massachusetts ************************************************************ From rsm at ucl.ac.uk Tue Nov 28 14:17:56 2006 From: rsm at ucl.ac.uk (Rob Miller) Date: Tue, 28 Nov 2006 13:17:56 +0000 Subject: COMMONSENSE'07 - CALL FOR PARTICIPATION Message-ID: COMMONSENSE'07 - CALL FOR PARTICIPATION We invite requests for participation in Commonsense'07, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning, to be held as part of the AAAI Spring Symposium Series, March 26-28 2007, at Stanford University, California, USA. Persons wishing to attend the symposium should submit a 1-2 page research summary including if possible a list of relevant publications. (This is not required for the authors of submitted papers.) PhD students need only to send the tentative title and abstract of their dissertation. All requests for attendance should be sent to commonsense07 at ucl.ac.uk. To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic. The challenges to creating such a formalization include the accumulation of large amounts of knowledge about our everday world, the representation of this knowledge in suitable formal languages, the integration of different representations in a coherent way, and the development of explicit reasoning methods that use these representations. The scaling problem is a particular challenge. Many bounded tasks which we already know how to build still cannot scale to broad scenarios involving commonsense knowledge, such as query answering and web service compositon on the semantic web, corpora- based computational biology, diagnosis, exploration of unfamiliar domains by robots and autonomous vehicles, and natural-language question answering. We aim at a science of commonsense reasoning that enables applications in such broad domains as well as a deeper understanding of the ways in which humans engage in commonsense reasoning. This is the theme of the symposium. It will bring together researchers who have studied the formalization of commonsense reasoning. The focus will be on representation rather than on algorithms, and on formal rather than informal methods. Topics of interest include action and causality, ontologies, levels of granularity of ontology and reasoning, large commonsense knowledge bases, axiomatizations of benchmark commonsense problems exploration of new commmonsense domains in a preformal way, nonmonotonic reasoning, probabilistic reasoning, theories of context, mental attitudes, cognitive robotics, reasoning about interactions among agents, the Semantic Web, and natural language processing. The symposium will be held in honor of John McCarthy, who will be 80 years old in September 2007. John McCarthy is, of course, the father of formal commonsense reasoning. We hope this dedication goes some small way to acknowledging the enormous contribution he has made to the field, and the lasting leadership and vision he has provided for many of us. For further information see www.ucl.ac.uk/commonsense07. From Jan.Sudeikat at gmx.de Thu Nov 30 11:07:52 2006 From: Jan.Sudeikat at gmx.de (Jan Sudeikat) Date: Thu, 30 Nov 2006 11:07:52 +0100 Subject: subscribe Message-ID: <20061130100752.5160@gmx.net> -- Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer From Jan.Sudeikat at gmx.de Thu Nov 30 11:11:17 2006 From: Jan.Sudeikat at gmx.de (Jan Sudeikat) Date: Thu, 30 Nov 2006 11:11:17 +0100 Subject: Confirmation Request (0945138463) In-Reply-To: References: Message-ID: <20061130101117.155210@gmx.net> -------- Original-Nachricht -------- Datum: Thu, 30 Nov 2006 11:07:55 +0100 Von: "event administration" An: "Jan Sudeikat" Betreff: Confirmation Request (0945138463) > 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: 0945138463, > 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 -- Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer From kostas at cs.rhul.ac.uk Thu Nov 30 22:20:32 2006 From: kostas at cs.rhul.ac.uk (Kostas Stathis) Date: Thu, 30 Nov 2006 21:20:32 +0000 Subject: 2nd CFP : Artificial Societies for Ambient Intelligence Message-ID: <456F4B20.7090604@cs.rhul.ac.uk> (Please accept our apologies for cross-posting) C A L L F O R P A P E R S Symposium on Artificial Societies for Ambient Intelligence to be held at the AISB Convention, Newcastle, UK 2-5 April 2007 In this one-day Symposium we would like to explore the application and development of agent societies for Ambient Intelligence (AmI), and use this framework to relate existing work on areas such as the semantic web, cognitive and social agents, and ambient and ubiquitous technologies. We also hope to present current research in the area of agent societies for AmI, where human activities are supported by social organisations of agents, computing devices or both. Submission Deadline: 8 January 2007 For details visit: http://asami07.cs.rhul.ac.uk/ -- Kostas Stathis kostas.stathis at rhul.ac.uk Department of Computer Science +44(0)1784 443698 (Tel) Royal Holloway, University of London +44(0)1784 439786 (Fax) Egham, Surrey TW20 0EX, UK http://www.cs.rhul.ac.uk/~kostas