From csoares at liacc.up.pt Fri Sep 1 18:09:54 2006 From: csoares at liacc.up.pt (Carlos Soares) Date: Fri, 01 Sep 2006 17:09:54 +0100 Subject: Data Mining for Business Workshop: program available Message-ID: <44F85B52.3000007@liacc.up.pt> [apologies for multiple postings] ******************************************************************************** PRACTICAL DATA MINING Applications, Experiences and Challenges 22 September 2006 Berlin, Germany ************************************************************ workshop in partnership with SAS Deutschland to be held in conjunction with the 17th European Conference on Machine Learning and the 10th European Conference on Principles and Practice of Knowledge Discovery in Databases ******************************************************************************** * CALL FOR PARTICIPATION Business, government and science organizations are increasingly moving towards decision-making processes that are based on information. In parallel, the amount of data representing the activities of organizations that is stored in databases is also growing. Therefore, the pressure to extract as much useful information as possible from this data is very strong. Data and text mining (DTM) is essentially a technological field enabling the improvement of the aforementioned processes. DTM research is, thus, essentially geared towards practical problems and requires permanent feedback from practical applications. Feedback from people with a business-oriented perspective on DTM is therefore useful to assess current research work and directions, to assess how theoretical results and methods developed in the lab stand the test of real world problems. And, not the least, to provide researchers with new challenges to work on. Besides two excellent invited talks, you will learn about state-of-the-art applications in areas including marketing, economics, health care and law, presented by leading researchers and practitioners from universities and companies, such as Unilever, Capgemini, British Telecom, Inforsense and PowerHealth Solutions. A detailed program can be found in the workshop website indicated below. CHAIRS * Markus Ackermann (Institute for Computer Science, University of Leipzig) * Carlos Soares (LIACC/Faculty of Economics, University of Porto) * Bettina Guidemann (SAS Deutschland) WEBSITE: http://wortschatz.uni-leipzig.de/~macker/dmbiz06 CONTACT: dmbiz at liacc.up.pt -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : CFPart-dmbiz.pdf Dateityp : text/x-pdf Dateigröße : 95923 bytes Beschreibung: nicht verfügbar URL : From kaci at cril.univ-artois.fr Tue Sep 5 15:21:09 2006 From: kaci at cril.univ-artois.fr (Souhila KACI) Date: Tue, 05 Sep 2006 15:21:09 +0200 Subject: Confirmation Request (1305389813) In-Reply-To: References: Message-ID: <44FD79C5.6030306@cril.univ-artois.fr> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 1305389813, > 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. Souhila Kaci Associate Professor CRIL - IUT de Lens Rue de l'Université SP 16 62307 Lens France Tel: (00 33) 3 21 79 32 74 Fax: (00 33) 3 21 79 32 72 http://www.cril.univ-artois.fr/~kaci/ ______________________________________ From kaci at cril.univ-artois.fr Tue Sep 5 15:37:13 2006 From: kaci at cril.univ-artois.fr (Souhila KACI) Date: Tue, 05 Sep 2006 15:37:13 +0200 Subject: Confirmation Request (2117197895) In-Reply-To: References: Message-ID: <44FD7D89.3090208@cril.univ-artois.fr> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2117197895, > 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. Souhila Kaci Associate Professor CRIL - IUT de Lens Rue de l'Université SP 16 62307 Lens France Tel: (00 33) 3 21 79 32 74 Fax: (00 33) 3 21 79 32 72 http://www.cril.univ-artois.fr/~kaci/ ______________________________________ From brass at informatik.uni-halle.de Tue Sep 5 17:13:56 2006 From: brass at informatik.uni-halle.de (Stefan Brass) Date: Tue, 05 Sep 2006 17:13:56 +0200 (MEST) Subject: subscribe Message-ID: From jarred at cs.rhul.ac.uk Sat Sep 9 22:21:09 2006 From: jarred at cs.rhul.ac.uk (Jarred McGinnis) Date: Sat, 09 Sep 2006 21:21:09 +0100 Subject: subscribe Message-ID: <45032235.5030502@cs.rhul.ac.uk> From jarred at cs.rhul.ac.uk Sat Sep 9 22:29:59 2006 From: jarred at cs.rhul.ac.uk (Jarred McGinnis) Date: Sat, 09 Sep 2006 21:29:59 +0100 Subject: Confirmation Request (2487478027) In-Reply-To: References: Message-ID: <45032447.3000701@cs.rhul.ac.uk> 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: 2487478027, > 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 ghilardi at dsi.unimi.it Mon Sep 11 14:06:44 2006 From: ghilardi at dsi.unimi.it (Silvio Ghilardi) Date: Mon, 11 Sep 2006 14:06:44 +0200 Subject: subscribe Message-ID: <4.0.1.20060911141323.01ece008@pop.dsi.unimi.it> ================================= Silvio Ghilardi Dipartimento di Scienze dell'Informazione Università degli Studi di Milano via Comelico 39 20135 Milano, Italy e-mail: ghilardi at dsi.unimi.it tel: +39/0250316217 fax:+39/0250316373 web-page: http://homes.dsi.unimi.it/~ghilardi/ From ghilardi at dsi.unimi.it Mon Sep 11 14:28:43 2006 From: ghilardi at dsi.unimi.it (Silvio Ghilardi) Date: Mon, 11 Sep 2006 14:28:43 +0200 Subject: Confirmation Request (2631224023) In-Reply-To: Message-ID: <200609111228.k8BCShJb014249@mercurio.srv.dsi.unimi.it> In 14.34 11/09/2006 +0000, hai scritto: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 2631224023, > 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 > ================================= Silvio Ghilardi Dipartimento di Scienze dell'Informazione Università degli Studi di Milano via Comelico 39 20135 Milano, Italy e-mail: ghilardi at dsi.unimi.it tel: +39/0250316217 fax:+39/0250316373 web-page: http://homes.dsi.unimi.it/~ghilardi/ From ines at sat.inesc-id.pt Mon Sep 11 18:04:53 2006 From: ines at sat.inesc-id.pt (Ines Lynce) Date: Mon, 11 Sep 2006 17:04:53 +0100 Subject: Call for Papers: International Symmetry Conference Message-ID: <45058925.6090908@sat.inesc-id.pt> CALL FOR EXTENDED ABSTRACTS International Symmetry Conference http://isc.dcs.st-and.ac.uk To be held in the Thistle Hotel, Edinburgh 14th to the 17th of January, 2007 Conference Description This conference focuses on current symmetry research in the areas of Constraint Programming, Boolean Satisiability, Group Theory, Model Checking, Planning, and any other combinatorial research area. The objective is to promote discussion and presentation of novel ideas relating to symmetry within the above areas, and to foster new collaboration opportunities between areas. This will be achieved by presentations of current work both in individual areas and of a collaborative nature. Conference Format This conference is open to all members of the combinatorial research communities. The conference will emphasize discussion and cross-fertilization, so presentations will be balanced with discussion time, tutorials and invited talks. In this direction, the conference is seeking high quality papers that address cutting-edge research in this field, and that can contribute to the discussion. The agenda will include: * Tutorial time at the start, to introduce each area and the role symmetry plays within it to a general audience. * An invited speaker from each area of to talk about recent research on a topic of their choice. * Presentations and posters of the accepted Extended Abstracts. * A competition which will allow different techniques to tackle one problem. * A doctoral program, where the best abstracts will be invited for presentation and the remaining abstracts will be allocated a poster. There will also be a mentoring session where Doctoral students will be paired with a more senior researcher from a different area. Important Dates Submission Deadline: October 16th, 2006 Notifications to Authors: November 6th, 2006 Final Version Deadline: December 11th, 2006 Early Registration Deadline: TBA Conference: January 14th to January 17th, 2007 Submission Guidelines Authors should submit an extended abstract (maximum 5 pages), describing their work in topics relevant to the conference. Accepted papers will be presented during the conference either as a full talk or as a poster. At least one author of an accepted contribution is expected to register for the conference, 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. Extended abstracts should be submitted through a website, which will be found at: http://isc.dcs.st-and.ac.uk/ The deadline for receipt of submissions is October 16, 2006. Extended abstracts received after this date may not be reviewed. Eligible papers will be peer-reviewed by members of the Program Committee. Authors will be notified via email of the results. Authors of accepted extended abstracts are expected to improve their extended abstract based on reviewers' comments and to send a camera ready version of their manuscripts. Accepted papers will be included in the conference proceedings, which will be distributed to the participants. Questions about submissions may be directed to: isc at dcs.st-and.ac.uk Post Conference Publication The 10 to 12 best contributions, based upon both the quality of the extended abstract and the contents of the presentation, will be asked to submit a longer paper. After undergoing a thorough peer review process these will be published within the Annals of AI and Maths. Program Chairs Ian Gent, University of St Andrews Steve Linton, University of St Andrews Organizing Chair Karen Petrie, University of Reading Area Chairs Constraint Programming - Chris Jefferson, University of Oxford Boolean Satisfiability - Ines Lynce, Universidade Tecnica de Lisoa Group Theory - Colva Roney-Dougal, University of St Andrews Model Checking - Alastair Donaldson, University of Glasgow Planning - Maria Fox, University of Strathclyde From ruy at cin.ufpe.br Wed Sep 13 03:23:49 2006 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Tue, 12 Sep 2006 22:23:49 -0300 (BRT) Subject: WoLLIC'2007 - Call for Papers Message-ID: <20060912222339.Y36721@buique.cin.ufpe.br> [please post] [** sincere apologies for duplicates **] Call for Papers 14th Workshop on Logic, Language, Information and Computation (WoLLIC'2007) Rio de Janeiro, Brazil July 2-5, 2007 WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Fourteenth WoLLIC will be held in Rio de Janeiro, Brazil, from July 2 to July 5, 2007, and sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at www.cin.ufpe.br/~wollic/wollic2007/instructions.html A title and single-paragraph abstract should be submitted by February 23, and the full paper by March 2 (firm date). Notifications are expected by April 13, and final papers for the proceedings will be due by April 27 (firm date). PROCEEDINGS Proceedings, including both invited and contributed papers, will be published in advance of the meeting. Publication venue TBA. INVITED SPEAKERS: TBA STUDENT GRANTS ASL sponsorship of WoLLIC'2007 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2007). See www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES February 23, 2007: Paper title and abstract deadline March 2, 2007: Full paper deadline (firm) April 12, 2007: Author notification April 26, 2007: Final version deadline (firm) PROGRAM COMMITTEE Samson Abramsky (U Oxford) Michael Benedikt (Bell Labs) Lars Birkedal (ITU Copenhagen) Andreas Blass (U Michigan) Thierry Coquand (Chalmers U, Goteborg) Jan van Eijck (CWI, Amsterdam) Marcelo Finger (U Sao Paulo) Rob Goldblatt (Victoria U, Wellington) Yuri Gurevich (Microsoft Redmond) Hermann Haeusler (PUC Rio) Masami Hagiya (Tokyo U) Joseph Halpern (Cornell U) John Harrison (Intel UK) Wilfrid Hodges (U London/QM) Phokion Kolaitis (IBM San Jose) Marta Kwiatkowska (U Birmingham) Daniel Leivant (Indiana U) (Chair) Maurizio Lenzerini (U Rome) Jean-Yves Marion (LORIA Nancy) Dale Miller (Polytechnique Paris) John Mitchell (Stanford U) Lawrence Moss (Indiana U) Peter O'Hearn (U London/QM) Prakash Panangaden (McGill, Montreal) Christine Paulin-Mohring (Paris-Sud, Orsay) Alexander Razborov (Moscow U) Helmut Schwichtenberg (Munich U) Jouko Vaananen (U Helsinki) ORGANISING COMMITTEE Marcelo da Silva Correa (U Fed Fluminense) Renata P. de Freitas (U Fed Fluminense) Ana Teresa Martins (U Fed Ceara') Anjolina de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco, co-chair) Petrucio Viana (U Fed Fluminense, co-chair) WEB PAGE www.cin.ufpe.br/~wollic/wollic2007 From rsm at ucl.ac.uk Wed Sep 13 13:31:37 2006 From: rsm at ucl.ac.uk (Rob Miller) Date: Wed, 13 Sep 2006 12:31:37 +0100 Subject: COMMONSENSE'07 - CALL FOR PAPERS Message-ID: <861678A9-A7AD-4B4F-A490-9DAEB9E4C4AB@ucl.ac.uk> COMMONSENSE'07 - CALL FOR PAPERS Important dates: - Paper or extended abstract submission deadline: October 6, 2006 - Notification of acceptance: November 3, 2006 - Camera ready papers due: January 26, 2007 - Symposium: March 26-28, 2007 We invite submissions for presentation at 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. One of the major long-term goals of AI is to endow computers with common sense, and one approach to this goal is to formalize commonsense reasoning using mathematical logic. This is the focus of this symposium. 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. Specific topics of interest include: - change, action, and causality - ontologies, including space, time, shape, and matter - 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 - formal models of probabilistic reasoning - formal theories of context - mental attitudes - belief change, update, and revision - cognitive robotics - reasoning about multi-agent systems - aspects of commonsense reasoning applicable to the Semantic Web - applications of formal representations to applications - other mathematical tools for capturing commonsense reasoning The focus of the symposium is on formal representation rather than on algorithms. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but non-logic-based representation of commonsense domains. Technical papers offering new results in the area are especially welcome; object-level theories as opposed to meta-level results are preferred. However, survey papers, papers studying the relationship between different approaches, and papers on methodological issues such as theory evaluation, are also encouraged. We are pleased to be able to hold this symposium as a special event in honor of John McCarthy's 80th year. John McCarthy is, of course, the father of formal commonsense reasoning, and submissions which celebrate his immense contribution to the field are especially welcome. Papers or extended abstracts of no more than 6 pages should be submitted as email attachments to commonsense07 at ucl.ac.uk (PDF format) by October 6, 2006. All submissions will be reviewed by the program committee as listed on the Commonsense'07 web site (URL below). The symposium will be co-chaired by - Eyal Amir, University of Illinois - Vladimir Lifschitz, University of Texas at Austin - Rob Miller, University College London For all enquiries please email the symposium co-chairs at commonsense07 at ucl.ac.uk. For a more detailed call for papers and further information see the symposium web site at www.ucl.ac.uk/ commonsense07. From G.Brewka at t-online.de Wed Sep 13 16:50:55 2006 From: G.Brewka at t-online.de (Gerhard Brewka) Date: Wed, 13 Sep 2006 16:50:55 +0200 Subject: LPNMR-07 Message-ID: <000701c6d744$04a30ba0$0100a8c0@DELL> 9th International Conference on Logic Programming and Nonmonotonic Reasoning Tempe, Arizona, USA, 14-16 May, 2007 http://lpnmr2007.googlepages.com/ About the conference: LPNMR'07 is the ninth in the series of international meetings on logic programming and nonmonotonic reasoning. Eight 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). Aims and Scope: LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass these theoretical and experimental studies that lead to the construction of practical systems for declarative programming and knowledge representation. Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on LPNMR techniques which led to the development of significant applications. A non-exhaustive list of topics of interest includes: 1. Mathematical foundations of non-monotonic logical systems: semantics of new and existing languages; relationships among formalisms; complexity and expressive power; development of inference algorithms and search heuristics for LPNMR systems; extensions of ''classical'' LPNMR languages; updates and other operations on LPNMR systems; uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: system descriptions, comparisons, evaluations; LPNMR benchmarks. 3. Applications of LPNMR systems, including LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, and other domains; applications of LPNMR languages in data integration and exchange systems; methodology of representing knowledge in LPNMR languages Important Dates : Paper registration 8 December 2006 Paper submission11 December 2006 Notification 1 February 2007 Final conference papers 26 February 2007 Papers must not exceed thirteen (13) pages including title page, references and figures, and must be formatted according to the Springer LNCS/LNAI authors' instructions. Papers must be written in English and present original research. Paper submission will be electronic. Details will be announced on the conference home page http://lpnmr2007.googlepages.com/. The proceedings of the conference will be published in the Springer Lecture Notes in Computer Science series. Program Chairs: Gerhard Brewka, University of Leipzig, Germany; brewka at informatik.uni-leipzig.de John Schlipf, University of Cincinnati, USA, John.Schlipf at uc.edu Local Arrangements Chair: Chitta Baral, Arizona State University, USA, chitta at asu.edu From dtabakov at rice.edu Thu Sep 14 18:09:24 2006 From: dtabakov at rice.edu (Deian Tabakov) Date: Thu, 14 Sep 2006 11:09:24 -0500 (CDT) Subject: digest mode Message-ID: digest mode ignore index done quit exit =================================== Deian Tabakov Rice University Computer Science 713-348-5731, Duncan Hall #3097 From dtabakov at rice.edu Thu Sep 14 18:08:43 2006 From: dtabakov at rice.edu (Deian Tabakov) Date: Thu, 14 Sep 2006 11:08:43 -0500 (CDT) Subject: index mode Message-ID: index mode quit end =================================== Deian Tabakov Rice University Computer Science 713-348-5731, Duncan Hall #3097 From dtabakov at rice.edu Thu Sep 14 18:42:38 2006 From: dtabakov at rice.edu (Deian Tabakov) Date: Thu, 14 Sep 2006 11:42:38 -0500 (CDT) Subject: Confirmation Request (2989632041) In-Reply-To: References: Message-ID: =================================== Deian Tabakov Rice University Computer Science 713-348-5731, Duncan Hall #3097 ~~~~~ Original Message ~~~~~ Date: Thu, 14 Sep 2006 18:41:10 +0200 From: event administration To: Deian Tabakov Subject: Confirmation Request (2989632041) This is an automated message from the mailing list manager Somebody (probably you) have requested the subscribe(digest) operation for your address If you want to confirm this operation, use the Reply command in your mailer. Check that the Subject of the reply message contains the confirmation ID: 2989632041, 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 !DSPAM:45098628114114125316671! From d.plikynas at delfi.lt Mon Sep 18 07:45:58 2006 From: d.plikynas at delfi.lt (Darius Plikynas) Date: Mon, 18 Sep 2006 08:45:58 +0300 Subject: subscribe Message-ID: <20060918054558.E8D26504BF@mailhub.zebra.lt> From: Darius Plikynas, prof. Vilnius Management Academy Thanks in advance! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image001.jpg Dateityp : image/jpeg Dateigröße : 5675 bytes Beschreibung: nicht verfügbar URL : From pagnan at dima.unige.it Mon Sep 18 12:39:43 2006 From: pagnan at dima.unige.it (ruggero pagnan) Date: Mon, 18 Sep 2006 12:39:43 +0200 Subject: subscribe Message-ID: <200609181239.43293.pagnan@dima.unige.it> From pagnan at dima.unige.it Mon Sep 18 12:45:02 2006 From: pagnan at dima.unige.it (ruggero pagnan) Date: Mon, 18 Sep 2006 12:45:02 +0200 Subject: Confirmation Request (3229613241) In-Reply-To: References: Message-ID: <200609181245.02329.pagnan@dima.unige.it> Alle 12:36, lunedì 18 settembre 2006, hai scritto: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3229613241, > 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 Jeremy.Dawson at rsise.anu.edu.au Tue Sep 19 01:22:15 2006 From: Jeremy.Dawson at rsise.anu.edu.au (Jeremy Dawson) Date: Tue, 19 Sep 2006 09:22:15 +1000 Subject: subscribe Message-ID: <450F2A27.5080506@rsise.anu.edu.au> From Jeremy.Dawson at rsise.anu.edu.au Tue Sep 19 01:48:25 2006 From: Jeremy.Dawson at rsise.anu.edu.au (Jeremy Dawson) Date: Tue, 19 Sep 2006 09:48:25 +1000 Subject: Confirmation Request (3277024000) In-Reply-To: References: Message-ID: <450F3049.20707@rsise.anu.edu.au> 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: 3277024000, > 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 mirek at cs.uky.edu Fri Sep 22 20:05:08 2006 From: mirek at cs.uky.edu (Mirek Truszczynski) Date: Fri, 22 Sep 2006 14:05:08 -0400 Subject: Confirmation Request (2882306637) In-Reply-To: References: Message-ID: <20060922180508.GA18396@bud.cs.uky.edu> On Wed, Jul 26, 2006 at 07:05:43PM +0200, 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: 2882306637, > 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 -- ==================================================================== Mirek Truszczynski Dept. of Computer Science e-mail: mirek at cs.engr.uky.edu University of Kentucky http://www.cs.engr.uky.edu/~mirek Lexington, KY 40506-0046 phone: (859) 257-3961 USA fax: (859) 323-1971 ====================================================================== From lliu1 at cs.uky.edu Sat Sep 23 15:30:55 2006 From: lliu1 at cs.uky.edu (Liu Lengning) Date: Sat, 23 Sep 2006 09:30:55 -0400 (EDT) Subject: subscribe Message-ID: Dear Sir/Madam, There will be a CFP for the coming answer set programming solver competition in conjunction with the LPNMR-07. Therefore, I would like to subscribe the mailing list. Thank you for your help. Sincerely, Lengning _______________________________________________________ ''~`` ( o o ) +------------------.oooO--(_)--Oooo.------------------+ | Dr. Lengning Liu Computer Science | | University of Kentucky | | Office: ASTeCC #107 | | Phone : (859)257-3813 | | Email : lliu1 at cs.uky.edu | | Web : http://www.cs.uky.edu/~lliu1 | | .oooO | | ( ) Oooo. | +---------------------\ (----( )--------------------+ \_) ) / (_/ From nicola.olivetti at univ-cezanne.fr Mon Sep 25 19:50:15 2006 From: nicola.olivetti at univ-cezanne.fr (Nicola OLIVETTI) Date: Mon, 25 Sep 2006 19:50:15 +0200 (CEST) Subject: TABLEAUX 2007 First Call for Paper Message-ID: <19606822.1159206615820.JavaMail.root@frontal2> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Call for Papers, Call for Tutorials and %% %% Call for Workshop Proposals %% %% %% %% TABLEAUX 2007 %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods Aix en Provence, France 3-6 July 2007 http://tableaux2007.univ-cezanne.fr/ IMPORTANT DATES Workshop proposal submission deadline: December 5, 2006 Notification of acceptance of workshops: December 15, 2006 Tutorial proposal submission deadline: January 10, 2007 Notification of acceptance of tutorials: January 20, 2007 Title and abstract submission deadline: February 2, 2007 Paper submission deadline: February 9, 2007 Notification of acceptance of papers: April 2, 2007 Final version of papers due: April 16, 2007 Conference: July 3-6, 2007 GENERAL INFORMATION This conference 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. The conference proceedings will be published in LNAI series as in the previous editions of the conference. 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. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. TABLEAUX 2007 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as, for example, hardware and software verification, knowledge engineering, semantic web, etc. are particularly invited. One or more tutorials and workshops will be part of the conference program. SUBMISSIONS The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in four categories: A Research papers (reporting original theoretical and/or experimental research, up to 15 pages) B System descriptions (up to 5 pages) C Position papers and brief reports on work in progress D Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages) Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. Accepted papers in these categories will be published in the conference proceedings . For category B submissions a working implementation must exist and be available to the referees. Submissions in category C will be reviewed by members of the program committee and a collection of the accepted papers in this category will be published as a Technical Report of the LSIS/Université Paul Cézanne. Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee. Authors of accepted papers are expected to present their work at the conference. CALL FOR WORKSHOP PROPOSALS TABLEAUX 2007 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to 2 proposals. The proposals are reviewed by members of the PC committee. The purpose of a workshop is to offer an opportunity of 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. The format of aworkshop is left to the the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops. Further information and instructions about submissions will be available on the conference website at http://tableaux2007.univ-cezanne.fr/. PROGRAM COMMITTEE Nicola Olivetti, LSIS, Paul Cézanne University, Marseille, France (Chair) Peter Baumgartner, Peter Baumgartner, NICTA, Canberra, Australia Bernhard Beckert, University of Koblenz-Landau, Germany Patrick Blackburn, INRIA Lorraine, France Marta Cialdea, University of Roma 3, Italy Roy Dyckhoff, University of St Andrews, Scotland Christian G. Fermüller, University of Wien, Austria Ulrich Furbach, University of Koblenz-Landau, Germany Didier Galmiche, LORIA, Henri Poincaré University, Nancy, France Martin Giese, RICAM, Austrian Academy of Sciences, Linz, Austria Rajeev P. Goré, Australian National University, Canberra, Australia Jean Goubault-Larrecq, LSV, ENS Cachan, France Reiner Hähnle, University of Chalmers, Gothenburg, Sweden Ullrich Hustadt, University of Liverpool, UK Christoph Kreitz, University of Potsdam, Germany Carsten Lutz, University of Dresden, Germany Angelo Montanari, University of Udine, Italy Ugo Moscato, University of Milano-Bicocca, Italy Neil V. Murray, ILS Institute, University at Albany, USA Ilkka Niemelä, Helsinki University of Technology, Finland Lawrence C. Paulson, University of Cambridge, UK Camilla Schwind, CNRS, Marseille, France Viorica Sofronie-Stokkermans, Max-Planck-Institut für Informatik,Saarbrücken, Germany Arild Waaler, University of Oslo, Norway ORGANIZING COMMITTEE Conference Chair: Nicola Olivetti, LSIS, Paul Cézanne University, Marseilles, France Local Organisers: Belaid Benhamou, LSIS, University of Provence, Marseilles, France Djamal Habet, LSIS, Paul Cézanne University, Marseilles, France Philippe Jégou, LSIS, Paul Cézanne University, Marseilles, France Richard Ostrowski, LSIS, University of Provence, Marseilles, France Cyril Pain-Barre, LSIS, University of Mediterranean, Marseilles, France Odile Papini, LSIS, University of Toulon, France Nicolas Prcovic, LSIS, Paul Cézanne University, Marseilles, France Vincent Risch, LSIS, University of Mediterranean, Marseilles, France Pierre Siegel, LSIS, University of Provence, Marseilles, France Cyril Terrioux, LSIS, Paul Cézanne University, Marseilles, France Eric Würbel, LSIS, University of Toulon, France -- Nicola Olivetti LSIS - UMR CNRS 6168 Université Paul Cézanne (Aix-Marseille 3) Avenue Escadrille Normandie-Niemen 13397 Marseille Cedex 20 (France) email: nicola.olivetti at univ-cezanne.fr, nicola.olivetti at lsis.org phone: +33 (0)49128 9094 fax: +33 (0) 49128 8334 http://www.lsis.org/olivetti/ From lliu1 at cs.uky.edu Tue Sep 26 15:33:43 2006 From: lliu1 at cs.uky.edu (Liu Lengning) Date: Tue, 26 Sep 2006 09:33:43 -0400 (EDT) Subject: Confirmation Request (3717025837) In-Reply-To: References: Message-ID: Thank you. On Sun, 24 Sep 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: 3717025837, > 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 lliu1 at cs.uky.edu Tue Sep 26 15:38:17 2006 From: lliu1 at cs.uky.edu (Liu Lengning) Date: Tue, 26 Sep 2006 09:38:17 -0400 (EDT) Subject: Confirmation Request (3931484157) In-Reply-To: References: Message-ID: Thanks a lot. By the way, I got another "confirmation request" email last week with the number 3717025837. I replied that one today. Is there any problem? Sincerely, Lengning On Tue, 26 Sep 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: 3931484157, > 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 rsm at ucl.ac.uk Tue Sep 26 22:14:27 2006 From: rsm at ucl.ac.uk (Rob Miller) Date: Tue, 26 Sep 2006 21:14:27 +0100 Subject: COMMONSENSE'07 - CALL FOR PAPERS Message-ID: <942FF2F5-5CA0-4EAC-A128-0B5C552D93ED@ucl.ac.uk> COMMONSENSE'07 - CALL FOR PAPERS Important dates: - Paper or extended abstract submission deadline: October 6, 2006 - Notification of acceptance: November 3, 2006 - Camera ready papers due: January 26, 2007 - Symposium: March 26-28, 2007 We invite submissions for presentation at 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. One of the major long-term goals of AI is to endow computers with common sense, and one approach to this goal is to formalize commonsense reasoning using mathematical logic. This is the focus of this symposium. 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. Specific topics of interest include: - change, action, and causality - ontologies, including space, time, shape, and matter - 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 - formal models of probabilistic reasoning - formal theories of context - mental attitudes - belief change, update, and revision - cognitive robotics - reasoning about multi-agent systems - aspects of commonsense reasoning applicable to the Semantic Web - applications of formal representations to applications - other mathematical tools for capturing commonsense reasoning The focus of the symposium is on formal representation rather than on algorithms. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but non-logic-based representation of commonsense domains. Technical papers offering new results in the area are especially welcome; object-level theories as opposed to meta-level results are preferred. However, survey papers, papers studying the relationship between different approaches, and papers on methodological issues such as theory evaluation, are also encouraged. We are pleased to be able to hold this symposium as a special event in honor of John McCarthy's 80th year. John McCarthy is, of course, the father of formal commonsense reasoning, and submissions which celebrate his immense contribution to the field are especially welcome. Papers or extended abstracts of no more than 6 pages should be submitted as email attachments to commonsense07 at ucl.ac.uk (PDF format) by October 6, 2006. All submissions will be reviewed by the program committee as listed on the Commonsense'07 web site (URL below). The symposium will be co-chaired by - Eyal Amir, University of Illinois - Vladimir Lifschitz, University of Texas at Austin - Rob Miller, University College London For all enquiries please email the symposium co-chairs at commonsense07 at ucl.ac.uk. For a more detailed call for papers and further information see the symposium web site at www.ucl.ac.uk/ commonsense07. From lliu1 at cs.uky.edu Tue Sep 26 19:46:45 2006 From: lliu1 at cs.uky.edu (Liu Lengning) Date: Tue, 26 Sep 2006 13:46:45 -0400 (EDT) Subject: Call for submissions: the first ASP system competition Message-ID: CALL FOR SUBMISSIONS The First Answer Set Programming System Competition The First Answer Set Programming System Competition will be held in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007). The goals for the competition are to advance the state-of-the-art of answer set programming solvers and to develop better understanding of answer set programming methodology. The competition will run in two phases. The first, trial phase, is meant to help the organizers to fine tune the rules of the competition, select the benchmarks for the competition, offer feedback to participants on the performance of their solvers and, finally, eliminate bugs (if any) in the system on which the competition will be run. The actual competition will constitute the second phase. It is not necessary to participate in the trial phase in order to participate in the competition. We invite submissions of answer set programming solvers to the competition. We also invite submissions of challenging benchmark problems and instances for use in the competition. The detailed rules can be found at the competition web site (also available from the LPNMR 2007 site . Lead Organizers: Torsten Schaub (torsten at cs.uni-potsdam.de) Mirek Truszczynski (mirek at cs.uky.edu) Important dates: October 16, 2006 deadline for the trial run submissions November 11, 2006 feedback from dry run sent to participants November 27, 2006 deadline for submission to the actual competition The results of the competition will be announced and discussed at the LPNMR 2007 conference. From WiebevanderHoek at csc.liv.ac.uk Wed Sep 27 22:00:15 2006 From: WiebevanderHoek at csc.liv.ac.uk (Wiebe van der Hoek) Date: Wed, 27 Sep 2006 21:00:15 +0100 (BST) Subject: CFP: AAMAS 2007 Message-ID: CALL FOR PAPERS The Sixth International Joint Conference on AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (AAMAS-07) Honolulu, Hawaii, USA May 14--18, 2007 http://www.aamas2007.org/ Introduction AAMAS is the premier scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. (See http://www.aamas-conference.org/ for more information.) AAMAS-07 is the Sixth conference in the AAMAS series, following enormously successful previous conferences at Bologna, Italy (2002), Melbourne, Australia (2003), New York, USA (2004), Utrecht, The Netherlands (2005), and Hakodate, Japan (2006). AAMAS-07 will be held at the Hawaii Convention Center, Honolulu, Hawaii, USA. Information for Authors AAMAS-07 encourages the submission of theoretical, experimental, methodological, and application papers. Theory papers should make clear the significance and relevance of their results to the AAMAS community. Similarly, applied papers should make clear both their scientific and technical contributions, and are expected to demonstrate a thorough evaluation of their strengths and weaknesses in practice. Papers that address isolated agent capabilities (for example, planning or learning) are discouraged unless they are placed in the overall context of autonomous agent architectures or multiagent system organization and performance. A thorough evaluation of all hypotheses is considered an essential component of any submission. Authors should also make clear the implications of any theoretical and empirical results, as well as how their work relates to the state of the art in autonomous agents and multiagent systems as evidenced in, for example, previous AAMAS conferences. All submissions will be peer reviewed rigorously and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. In addition to conventional conference papers, AAMAS-07 will also include a demonstration track for work focusing on implemented systems, software, or robot prototypes; and an industry track for descriptions of industrial applications of agents. The submission processes for the demonstration and industry tracks will be separate from the main paper submission process. Topics of Interest for Papers Agents (Does the research apply to an individual agent?) * Architectures: reactive and deliberative (e.g., based on BDI, Bayesian networks, or logic) * Autonomous or humanoid robots * Autonomy * Cognitive models, including emotions and philosophies * Embodied and believable agents * Formal models of agency * Learning, evolution, and adaptation * Perception and action Multiagent Systems (Does the research apply to more than one agent?) * Argumentation, negotiation, and conflict handling * Brokering and matchmaking * Communication: languages, semantics, pragmatics, protocols, and conversations * Cooperative distributed problem solving o Coordination, cooperation, and teamwork o Task and resource allocation o Distributed constraint processing * Emergent behavior * Mechanism design, auctions, and game theory * Modeling other agents and self * Multiagent planning * Multiagent learning * Societal aspects o Conventions, commitments, norms, obligations, and social laws o Social and organizational structures o Trust and reputation * Social robots and robot teams Tools and Techniques (How do we go about creating agents and MAS?) * Agent-oriented software engineering, including implementation languages and frameworks * Computational complexity * Mobile agents * Ontologies * Performance, scalability, robustness, and dependability * Verification and validation (e.g., model checking) Applications and Environments (Where do we use agents and MAS?) * Artificial social systems * Autonomic computing * Case studies and reports on deployments * Computational infrastructures (e.g., Grid and P2P) * Electronic markets and institutions * Pervasive computing * Privacy, safety, and security * Simulation systems * Web services and service-oriented computing Systemic Matters * Ethical and legal issues raised by agents and multiagent systems * Standardization efforts in industry and commerce Important Dates Oct 20, 2006: electronic abstract submission deadline Oct 23, 2006: electronic paper submission deadline Dec 19, 2006: notification --------------------------------------------------------------- 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