From rsm at ucl.ac.uk Tue Oct 3 12:20:34 2006 From: rsm at ucl.ac.uk (Rob Miller) Date: Tue, 3 Oct 2006 11:20:34 +0100 Subject: COMMONSENSE'07 SUBMISSION DEADLINE EXTENDED TO 27 OCTOBER Message-ID: <1E24DEA9-F838-4CDC-B1EA-669A1D16B00C@ucl.ac.uk> COMMONSENSE'07 SUBMISSION DEADLINE EXTENDED TO 27 OCTOBER By popular demand, the paper/extended-abstract submission deadline for Commonsense'07 has been extended by 3 weeks: NEW Important dates: - Paper or extended abstract submission deadline: October 27, 2006 - Notification of acceptance: November 24, 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 (AAAI format) should be submitted as email attachments to commonsense07 at ucl.ac.uk (PDF format) by October 27, 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 aleksandratakac at hotmail.com Tue Oct 3 23:58:09 2006 From: aleksandratakac at hotmail.com (Alexandra Takacova) Date: Tue, 03 Oct 2006 23:58:09 +0200 Subject: subscribe Message-ID: Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aleksandratakac at hotmail.com Wed Oct 4 00:26:01 2006 From: aleksandratakac at hotmail.com (Alexandra Takacova) Date: Wed, 04 Oct 2006 00:26:01 +0200 Subject: Confirmation Request (0271637846) In-Reply-To: Message-ID: Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ines at sat.inesc-id.pt Wed Oct 11 21:56:03 2006 From: ines at sat.inesc-id.pt (Ines Lynce) Date: Wed, 11 Oct 2006 20:56:03 +0100 (WEST) Subject: CFP: SAT 2007 Message-ID: <4076.85.210.207.65.1160596563.squirrel@sat.inesc-id.pt> SAT 2007 Call for Papers 10th International Conference on Theory and Applications of Satisfiability Testing May 28 - 31, Lisbon, Portugal http://sat07.ecs.soton.ac.uk The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT). SAT'07 is the tenth SAT conference. SAT'07 features the SAT competition, the QBF competition, the Pseudo-Boolean evaluation, and the MAX-SAT evaluation. SCOPE Many hard combinatorial problems can be encoded into SAT. Therefore improvements on heuristics on the practical, as well as theoretical insights into SAT apply to a large range of real-world problems. More specifically, many important practical verification problems can be rephrased as SAT problems. This applies to verification problems in hardware and software. Thus SAT is becoming one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a rather broad sense: besides propositional satisfiability, it includes the domain of quantified boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding and particularly satisfiability modulo theories (SMT). SUBMISSION Submissions should contain original material and can either be regular research papers up to 14 pages or short papers up to 6 pages. Double submissions including submissions as short and long papers will be rejected. Submissions should use the Springer LNCS style. All appendices, tables, figures and the bibliography must fit into the page limit. Submissions deviating from these requirements may be rejected without review. All accepted papers including short papers will be published in the proceedings of the conference. The conference proceedings will be published within Springer LNCS series. The submission page is http://www.easychair.org/SAT2007. Papers have to be submitted electronically as PDF files. Paper submissions are due by January 19. PROGRAM CHAIRS Joao Marques-Silva, University of Southampton, UK Karem Sakallah, University of Michigan, USA LOCAL CHAIR Ines Lynce, Technical University of Lisbon, Portugal IMPORTANT DATES January 19, Paper Submission March 2, Author Notification March 16, Final Version PROGRAM COMMITTEE Fahiem Bacchus, University of Toronto, Canada Paul Beame, University of Washington, USA Armin Biere, Johannes Kepler University, Austria Adnan Darwiche, UCLA, USA Leonardo de Moura, Microsoft Research, USA John Franco, University of Cincinnati, USA Ian Gent, University of St. Andrews, UK Enrico Giunchiglia, Universita di Genova, Italy Carla Gomes, Cornell University, USA Aarti Gupta, NEC Research Labs, USA Edward Hirsch, Steklov Inst. of Mathematics, Russia James Kukula, Synopsys ATG, USA Oliver Kullmann, University of Wales Swansea, UK Daniel Le Berre, Universite d'Artois, France Chu-Min Li, Universite de Picardie, France Ines Lynce, Technical University of Lisbon, Portugal Panagiotis Manolios, Georgia Institute of Technology, USA Vasco Manquinho, Technical University of Lisbon, Portugal Steve Prestwich, University College Cork, Ireland Roberto Sebastiani, Universita di Trento, Italy Hossein Sheini, CMU, USA Laurent Simon, Universite Paris Sud, France Ewald Speckenmeyer, Universitat Koln, Germany Ofer Strichman, Technion, Israel Stefan Szeider, Durham University, UK Armando Tacchella, Universita di Genova, Italy Allen Van Gelder, UC Santa Cruz, USA Hans van Maaren, Technische Universiteit Delft, Netherlands Toby Walsh, National ICT, Australia Lintao Zhang, Microsoft Research, USA SAT COMPETITION http://www.satcompetition.org/2007 Daniel Le Berre, Universite d'Artois, France Laurent Simon, Universite Paris Sud, France Ewald Speckenmeyer, Universitat Koln, Germany Geoff Sutcliffe, University of Miami, USA Lintao Zhang, Microsoft Research, USA QBF COMPETITION http://www.qbflib.org/qbfeval Massimo Narizzano, Universita di Genova, Italy Luca Pulina, Universita di Genova, Italy Armando Tacchella, Universita di Genova, Italy PSEUDO BOOLEAN EVALUATION http:www.cril.univ-artois.fr/PB07 Olivier Roussel, Universite d'Artois, France Vasco Manquinho, Technical University of Lisbon, Portugal MAX-SAT EVALUATION http://www.iiia.csic.es/~maxsat07 Josep Argelich, IIIA-CSIC, Spain Chu Min Li, Universite de Picardie, France Felip Manya, IIIA-CSIC, Spain Jordi Planes, IIIA-CSIC, Spain From Patrick.Wambacq at esat.kuleuven.be Mon Oct 16 16:57:41 2006 From: Patrick.Wambacq at esat.kuleuven.be (Patrick.Wambacq at esat.kuleuven.be) Date: Mon, 16 Oct 2006 16:57:41 +0200 (CEST) Subject: InterSpeech 2007 call for special sessions and call for tutorials Message-ID: INTERSPEECH 2007 - CALL FOR SPECIAL SESSIONS - CALL FOR TUTORIALS August 27-31 2007 Antwerp, Belgium http://www.interspeech2007.org INTERSPEECH 2007 is the eighth conference in the annual series of INTERSPEECH events and also the tenth biennial EUROSPEECH conference. The conference is jointly organized by scientists from the Netherlands and Belgium, and will be held in Antwerp, Belgium, August 27-31, 2007, under the sponsorship of the International Speech Communication Association (ISCA). The INTERSPEECH meetings are considered to be the top international conferences in spoken language processing, with more than 1000 attendees from universities, industry, and government agencies. The conference offers the prospect of meeting the future leaders of our field, exchanging ideas, and exploring opportunities for collaboration, employment, and sales through keynote talks, tutorials, technical sessions, exhibits, and poster sessions. In recent years the INTERSPEECH meetings have taken place in a number of exciting venues including most recently Pittsburgh, Lisbon, Jeju Island (Korea), Geneva, Denver, Aalborg (Denmark), and Beijing. CALL FOR SPECIAL SESSIONS ISCA, together with the INTERSPEECH 2007 organizing committee, would like to encourage submission of Special Session proposals for the upcoming conference, covering interdisciplinary topics and/or important new emerging areas of interest related to the main conference topics: Human speech production and perception Human speech communication Speech coding and speech enhancement Speech and audio signal processing Automatic speech and speaker characterization Speech synthesis Automatic speech recognition Speech technology applications Speech and multimodal resources Other relevant topics Persons who would like to organize a special session are invited to submit a one-page proposal to special_sessions at interspeech2007.org on or before November 15, 2006. Special sessions will be allocated one time slot of two hours. In exceptional cases two consecutive time slots may be allocated. Proposals should clearly describe the topic and the format of the session and explain why the topic cannot be covered appropriately in one or more regular sessions. Proposals also should include a list of at least ten names of independent persons or research groups who can be expected to make contributions to the special session. All papers submitted for Special Sessions will undergo the normal peer reviewing process organized by the Scientific Committee of the conference. CALL FOR TUTORIALS We also encourage proposals for three-hour tutorials to be held on August 27, 2007. Those interested in organizing a tutorial should send a one-page description of the proposed tutorial to tutorials at interspeech2007.org on or before January 8, 2007. Proposals for tutorials should contain the following information: * Title of the tutorial * Summary and relevance * The names, postal addresses, phone numbers, and email addresses of the tutorial speakers, with a one-paragraph statement describing the research interests and areas of expertise of the speaker(s) * Any special requirements for technical needs (display projector, computer infrastructure, etc.) IMPORTANT DATES Proposals for special sessions: November 15, 2006 Proposals for tutorials: January 8, 2007 Tutorial Day: August 27, 2007 Main conference: August 28-31, 2007 Further information via website or email. Organizers Professor Dirk Van Compernolle (General Chair) Professor Lou Boves (General Co-Chair) c/o Annitta De Messemaeker Katholieke Universiteit Leuven Department of Electrical Engineering Kasteelpark Arenberg 10 B3001 Heverlee Belgium Fax: +32 16 321723 Email info at interspeech2007.org Website www.interspeech2007.org Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From lliu1 at cs.uky.edu Mon Oct 16 20:47:47 2006 From: lliu1 at cs.uky.edu (Liu Lengning) Date: Mon, 16 Oct 2006 14:47:47 -0400 (EDT) Subject: Second Call for Submissions (ASP System Competition) Message-ID: SECOND CALL FOR SUBMISSIONS The First Answer Set Programming System Competition TRIAL-RUN DEADLINE EXTENSION: October 23, 2006 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 . Important dates: October 23, 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 nza at Cs.Nott.AC.UK Tue Oct 17 13:25:31 2006 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 17 Oct 2006 12:25:31 +0100 Subject: subscribe Message-ID: <200610171225.aa24932@pat.Cs.Nott.AC.UK> This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From nza at Cs.Nott.AC.UK Tue Oct 17 14:12:08 2006 From: nza at Cs.Nott.AC.UK (Natasha Alechina) Date: Tue, 17 Oct 2006 13:12:08 +0100 Subject: Confirmation Request (2939467381) In-Reply-To: Your message of "Tue, 17 Oct 2006 14:02:12 +0200." Message-ID: <200610171312.aa20840@marian.Cs.Nott.AC.UK> This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From rsm at ucl.ac.uk Tue Oct 17 11:18:21 2006 From: rsm at ucl.ac.uk (Rob Miller) Date: Tue, 17 Oct 2006 10:18:21 +0100 Subject: COMMONSENSE'07 CALL FOR PAPERS & EXTENDED ABSTRACTS Message-ID: COMMONSENSE'07 CALL FOR PAPERS & EXTENDED ABSTRACTS REVISED Important dates: - Paper or extended abstract submission deadline: October 27, 2006 - Notification of acceptance: November 24, 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 (AAAI format) should be submitted as email attachments to commonsense07 at ucl.ac.uk (PDF format) by October 27, 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 nza at Cs.Nott.AC.UK Tue Oct 17 18:26:33 2006 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 17 Oct 2006 17:26:33 +0100 Subject: call for papers Message-ID: <200610171726.aa14096@pat.Cs.Nott.AC.UK> CALL FOR PAPERS Special issue on logics for resource-bounded agents Journal of Logic, Language and Information Deadline: 20 January 2007 Following a successful workshop on logics for resource-bounded agents at the European Summer School on Logic, Language and Information (Malaga, 2006), submissions are invited to a special issue of the Journal of Logic, Language and Information based on the workshop. It is expected that the special issue will contain expanded versions of some of the papers presented at the workshop, as well as new papers. Topics include, but are not limited to, logical models of: - logically non-omniscient agents in general - explicit knowledge and belief - algorithmic knowledge - temporal logics of reasoning - active logics - knowledge and belief of reasoners with bounds on reasoning time - knowledge and belief of reasoners with bounded memory - knowledge and belief of reasoners with other resource bounds (e.g. bandwidth, sensing limitations) - other attitudes, such as desire, intention, etc., under bounded resources - limited awareness - paraconsistent logics - rational choice under bounded resources - games under bounded resources, e.g., - games with bounded recall - resource bounded reasoning about the structure of the game - incomplete information due to bounded resources Authors are invited to send a paper in pdf format to nza (at) cs.nott.ac.uk by the 20th of January 2007. Page limit: 30 pages in LaTeX 11pt article style. Editors of the special issue: Thomas Agotnes (Thomas.Agotnes (at) hib.no) and Natasha Alechina (nza (at) cs.nott.ac.uk) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From kostas at cs.rhul.ac.uk Wed Oct 18 16:55:44 2006 From: kostas at cs.rhul.ac.uk (Kostas Stathis) Date: Wed, 18 Oct 2006 15:55:44 +0100 Subject: 1st CFP: Artificial Societies for Ambient Intelligence Message-ID: <45364070.5040001@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/ From wanyama at cit.mak.ac.ug Thu Oct 19 10:30:03 2006 From: wanyama at cit.mak.ac.ug (dr tom wanyana) Date: Thu, 19 Oct 2006 11:30:03 +0300 Subject: =?utf-8?B?InN1YnNjcmliZSI=?= Message-ID: <200610190830.k9J8U3l3004873@mail.mak.ac.ug> Dr. Tom Wanyama Lecturer Dept. of Elect. Eng. MUK Research Advisor CIT, MUK P. O. Box 7062 Kampala Uganda Phone: 256-71-201 1571 Alt: Email: twanyama at ucalgary.ca From wanyama at cit.mak.ac.ug Sat Oct 21 06:17:26 2006 From: wanyama at cit.mak.ac.ug (dr tom wanyana) Date: Sat, 21 Oct 2006 07:17:26 +0300 Subject: Confirmation Request (1702815822) In-Reply-To: References: Message-ID: <200610210417.k9L4HQlm008801@mail.mak.ac.ug> event administration writes: > 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: 1702815822, > 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. Tom Wanyama Lecturer Dept. of Elect. Eng. MUK Research Advisor CIT, MUK P. O. Box 7062 Kampala Uganda Phone: 256-71-201 1571 Alt: Email: twanyama at ucalgary.ca From torsten at cs.uni-potsdam.de Tue Oct 24 09:00:00 2006 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Tue, 24 Oct 2006 09:00:00 +0200 (CEST) Subject: SEA'07: Software Engineering for Answer Set Programming Message-ID: <20061024070000.BFEE6D332@raz.haiti.cs.uni-potsdam.de> [Apologies if you receive multiple copies] CALL FOR PAPERS FIRST INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR ANSWER SET PROGRAMMING (SEA'07) Co-located workshop of the 9th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-07) Tempe, AZ, USA May 14-16 2007 Over the last ten years Answer Set Programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle the first industrially relevant applications. Writing complex programs in any language is not an easy task, with ASP being no exception. Most of the modern popular programming languages have an abundance of tools and development methodologies to facilitate and improve the coding process. Given the differences in for example language design, execution, and application domains for languages such as Java and C++, the existing methodologies and tools that are available are mostly not suitable for ASP. Therefore development tools and software engineering methodologies specifically designed for ASP are required. This workshop aims to bring together researchers who are currently working on or are interested in the development of dedicated tools, techniques, and methodologies to facilitate the development of answer set programs. Topics Authors are invited to submit original research or system description papers on software engineering tools or techniques for answer set programming. The list of topics of interest includes but is not limited to: - Modelling tools - (Domain Specific) Front and/or Back-ends - Methodologies - Debuggers - (Graphical) User Interfaces - Integrated Development Environment (IDE) - Software engineering metrics Workshop co-chairs Marina De Vos, University of Bath, UK (mdv at cs.bath.ac.uk) Torsten Schaub, University of Potsdam, (torsten at cs.uni-potsdam.de) Program Committee Tommi Syrjanen, Helsinki University of Technology, Finland Enrico Pontelli, New Mexico State University, US Tran Cao Son, New Mexico State University, US Stefan Woltran, Technical University of Vienna, Austria Martin Brain, University of Bath, UK Richard Watson, Texas Tech University, US Wolfgang Faber, University of Calabria, Italy Ken Satoh, National Institute of Informatics, Japan Yan Zhang, University of Western Sydney, Australia Submission Details Submitted articles will undergo peer-review. The paper must be in Springer LNCS format and must not exceed 15 pages in total. Submission should be sent as a pdf to both workshop chairs. Formal paper proceedings will be available during the conference and will also be published online. Important Dates Paper Submission: 8 February 2007 Paper Acceptance/Rejection Notification: 12 March 2007 Camera Ready Papers: 20 April 2007 From eiter at kr.tuwien.ac.at Thu Oct 26 14:08:44 2006 From: eiter at kr.tuwien.ac.at (Thomas Eiter) Date: Thu, 26 Oct 2006 14:08:44 +0200 (CEST) Subject: subscribe Message-ID: -- Thomas Eiter ........................................................................ Thomas Eiter (prof) Technische Universitaet Wien tel: +43 1 58801 18460 Institut fuer Informationssysteme, fax: +43 1 58801 18493 AB Wissensbasierte Systeme (184/3) sec: +43 1 58801 18405 Favoritenstrasse 9-11, A-1040 Vienna email: eiter at kr.tuwien.ac.at AUSTRIA http://www.kr.tuwien.ac.at/staff/eiter/ ........................................................................ From eiter at kr.tuwien.ac.at Thu Oct 26 14:56:38 2006 From: eiter at kr.tuwien.ac.at (Thomas Eiter) Date: Thu, 26 Oct 2006 14:56:38 +0200 (CEST) Subject: Confirmation Request (2223948716) In-Reply-To: Message-ID: On Thu, 26 Oct 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: 2223948716, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > -- Thomas Eiter ........................................................................ Thomas Eiter (prof) Technische Universitaet Wien tel: +43 1 58801 18460 Institut fuer Informationssysteme, fax: +43 1 58801 18493 AB Wissensbasierte Systeme (184/3) sec: +43 1 58801 18405 Favoritenstrasse 9-11, A-1040 Vienna email: eiter at kr.tuwien.ac.at AUSTRIA http://www.kr.tuwien.ac.at/staff/eiter/ ........................................................................ From zhang at st.ewi.tudelft.nl Mon Oct 30 14:11:18 2006 From: zhang at st.ewi.tudelft.nl (Yingqian Zhang) Date: Mon, 30 Oct 2006 14:11:18 +0100 (CET) Subject: subscribe Message-ID: From zhang at st.ewi.tudelft.nl Mon Oct 30 14:21:31 2006 From: zhang at st.ewi.tudelft.nl (Yingqian Zhang) Date: Mon, 30 Oct 2006 14:21:31 +0100 (CET) Subject: Confirmation Request (2573097500) In-Reply-To: References: Message-ID: On Mon, 30 Oct 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: 2573097500, > 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 >