From cimca at canberra.edu.au Fri Aug 1 07:55:01 2008 From: cimca at canberra.edu.au (cimca) Date: Fri, 1 Aug 2008 15:55:01 +1000 Subject: CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 Message-ID: * Kindly forward to your colleagues or students who may be interested * * Our apologies if you receive multiple copies of this announcement CALL FOR PAPERS International Conference on Computational Intelligence for Modelling, Control and Automation 10-12 December 2008 - Vienna, Austria http://community.ise.canberra.edu.au/conference/cimca08/ Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ Honorary Chair: Lotfi A. Zadeh, University of California, USA Stephen Grossberg, Boston University, USA Important Dates: 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Collaborators and sponsors: European Society for Fuzzy Logic and Technology - EUFLAT International Association for Fuzzy Set in Management and Economy - SIGEF Japan Society for Fuzzy Theory and Intelligent Informatics - SOFT Taiwan Fuzzy Systems Association - TFSA World Wide Web Business Intelligence - W3BI Hungarian Fuzzy Association - HFA University of Canberra IEEE - Conference Proceedings will be published by IEEE in USA The international conference on computational intelligence for modelling, control and automation will be held in Vienna, Austria on 10-12 December 2008. The conference provides a medium for the exchange of ideas between theoreticians and practitioners to address the important issues in computational intelligence, modelling, control and automation. The conference will consist of both plenary sessions and contributory sessions, focusing on theory, implementation and applications of computational intelligence techniques to modelling, control and automation. For contributory sessions, papers (4 pages or more) are being solicited. Several well-known keynote speakers will address the conference. Conference Proceedings will be published as books by IEEE (The Institute of Electrical and Electronic Engineering) in USA and will be index world wide. All papers will be peer reviewed by at least two reviewers. Topics of the conference include, but are not limited to, the following areas: Modern and Advanced Control Strategies: Neural Networks Control, Fuzzy Logic Control, Genetic Algorithms and Evolutionary Control, Model-Predictive Control, Adaptive and Optimal Control, Intelligent Control Systems, Robotics and Automation, Fault Diagnosis, Intelligent agents, Industrial Automations, Modelling, Simulation Hybrid Systems: Fuzzy Evolutionary Systems, Fuzzy Expert Systems, Fuzzy Neural Systems, Neural Genetic Systems, Neural-Fuzzy-Genetic Systems, Hybrid Systems for Optimisation Data Analysis, Prediction and Model Identification: Signal Processing, Prediction and Time Series Analysis, System Identification, Data Fusion and Mining, Knowledge Discovery, Intelligent Information Systems, Image Processing, and Image Understanding, Parallel Computing applications in Identification & Control, Pattern Recognition, Clustering and Classification Decision Making and Information Retrieval: Case-Based Reasoning, Decision Analysis, Intelligent Databases & Information Retrieval, Dynamic Systems Modelling, Decision Support Systems, Multi-criteria Decision Making, Qualitative and Approximate-Reasoning Paper Submission Papers will be selected based on their originality, significance, correctness, and clarity of presentation. Papers (4 pages or more) should be submitted to the following e-mail or through conference website: E-mail: cimca at canberra.edu.au CIMCA'2008 Secretariat School of Information Sciences and Engineering University of Canberra, Canberra, 2616, ACT, Australia Electronic submission of papers (either by E-mail or through conference website) is preferred. Papers should present original work, which has not been published or being reviewed for other conferences. Further Information For further information either contact cimca at canberra.edu.au or see the conference homepage at: http://community.ise.canberra.edu.au/conference/cimca08/ From henry at cs.uu.nl Fri Aug 1 13:41:20 2008 From: henry at cs.uu.nl (Henry Prakken) Date: Fri, 01 Aug 2008 13:41:20 +0200 Subject: PhD project Agent Technology at Utrecht University Message-ID: <4892F660.3090302@cs.uu.nl> (Apologies for multiple postings) PhD student Agent Technology The Intelligent Systems group of Utrecht University has acquired funding from The Dutch Research Council NWO for a four-year PhD project titled "Agents Interacting in Dialogues with Argumentation". * PROJECT DESCRIPTION This project concerns the following problem. The world of software systems increasingly consists of autonomous artificial agents interacting in open, dynamic and unpredictable environments, such as the Internet. In such environments it is often impossible to predict all interactions the agents will have so that a centralised architecture is not feasible. Therefore, the agents' interactive behaviour must become more intelligent and flexible. For this reason, intelligent communicative interaction between artificial agents is a key research issue in artificial intelligence and agent technology. Communication languages, protocols and strategies have been studied for various types of agent interaction, such as information exchange, negotiation, and collaborative problem solving. In this field there is a particularly marked interest in the role of argumentation, i.e., the process in which agents present arguments in support of their own opinions or in attack of those of other agents. Argumentation is often claimed to promote more efficient dialogues or dia­logues with better outcomes. However, so far there has been little research on whether these advantages of argumentation indeed obtain. This research project aims to fill this gap. The main research question therefore is: is the use of argumentation in dialogical interaction between artificial agents be­ne­ficial for the agents or the community in which they operate? This question will be answered with systematic simulation experiments, in which forms of interaction with and without argumentation will be compared on their efficiency and quality of outcome. The research will thus contribute to a computational theory of effective communication between intelligent artificial agents. * REQUIREMENTS: The candidate should have a Msc Degree in Computer Science or Artificial Intelligence, good programming skills, and an interest in multi-agent systems research, both from a formal and a computational perspective. * CONDITIONS OF EMPLOYMENT: Estimated maximum salary per month: eur 2500 - 3000 Salaryscale 10. Maximum salary amount in Euro's a month 2558 Employment basis: Temporary for specified period Duration of the contract: 4 years Maximum hours per week: 38 Additional conditions of employment: The candidate is offered a full-time position for four years. The gross salary is in the range between € 2,000.- per month in the first year and € 2,558.- per month in the fourth year of appointment. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 6,4% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions in which you may trade salary for vacation days or vice versa. Conditions are based on the Collective Employment Agreement of the Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. * ADDITIONAL INFORMATION Additional information about the vacancy can be obtained from Prof.Dr. H. (Henry) Prakken, email henry at cs.uu.nl, phone +31-30-2532313 (not on Thursdays) For more information on the Intelligent Systems group and its research on Agent Technology, please visit www.cs.uu.nl/groups/IS/ The text of this vacancy can also be found at www.academictransfer.org/00351-1645 * HOW TO APPLY To apply, please send your application before 12-09-2008 to: Faculty of Science Personnel Department Budapestlaan 6 3584 CD Utrecht The Netherlands or by email to Science.PenO at cs.uu.nl Please send your application including a letter of motivation, curriculum vitae and contact details of at least two references. When applying for this job always mention the vacancy number 62812. From german at fi.upm.es Fri Aug 1 18:34:57 2008 From: german at fi.upm.es (German Puebla) Date: Fri, 1 Aug 2008 18:34:57 +0200 Subject: PEPM'09 -- Preliminary Call for Papers Message-ID: <18579.15153.686634.850007@espadin.ls.fi.upm.es> P R E L I M I N A R Y C A L L F O R P A P E R S === P E P M 2009 === ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.clip.dia.fi.upm.es/Conferences/PEPM09 January 19-20, 2009 Savannah, Georgia, USA (Affiliated with POPL 2009) IMPORTANT DATES Abstract due: October 12, 2008 Submission: October 17, 2008 Author Notification: November 17, 2008 Camera-Ready Paper: December 1, 2008 SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. PEPM is classified as category A in the CORE ranking of ICT conferences. The 2009 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'09 include, but are not limited to: * Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems. * Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. * Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and webbased programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS Regular Research Papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'09 Web-site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library. A journal special issue dedicated to PEPM'09 including selected papers is under consideration. PROGRAM CO-CHAIRS German Puebla, Technical University of Madrid, Spain German Vidal, Technical University of Valencia, Spain PEPM 2009 PROGRAM COMMITTEE To be announced -- =============================================================== | German Puebla | http://clip.dia.fi.upm.es/~german | | Facultad de Informatica | Universidad Politecnica de Madrid | =============================================================== From jeanneret at ifi.uzh.ch Sat Aug 2 23:45:58 2008 From: jeanneret at ifi.uzh.ch (=?ISO-8859-1?Q?C=E9dric_Jeanneret?=) Date: Sat, 02 Aug 2008 23:45:58 +0200 Subject: Deadline Extension - Models@Runtime Message-ID: <4894D596.80500@ifi.uzh.ch> Please note the deadline extension of August 15th. ------------------------ CALL FOR PAPERS ------------------------ WORKSHOP Models at run.time http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT At the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems MODELS'08, 28 September - 3 October, Toulouse, France ********************************************************************** Important Dates: Submission deadline: Friday August 15th Notification of acceptance: September 8th (or before early registration deadline at MODELS08) Workshop at MODELS: Tuesday 30th September Program Committee Betty Cheng, Michigan State University, USA Fabio M. Costa, Federal University of Goias, Brazil Anthony Finkelstein, UCL, UK Jeff Gray, UAB, USA Oystein Haugen, SINTEF, Norway Jozef Hooman, ESI, The Netherlands Gang Huang, Peking University, China Paola Inverardi, University of L'Aquila P.F.Linington, University of Kent, UK Jean-Marc Jezequel, Triskell Team,IRISA, France Rui Silva Moreira, UFP, INESC Porto, Portugal Andrey Nechypurenko, Siemens, Germany Oscar Nierstrasz, University of Berne, Switzerland Eugenio Scalise, UCV, Venezuela Arnor Solberg, SINTEF, Norway Thaís Vasconcelos Batista, UFRN, Brazil Steffen Zschaler, T.U. Dresden, Germany Organizing Committee Nelly Bencomo (main contact), Gordon Blair, Lancaster University, UK Robert France, Colorado State University, USA Freddy Munoz, INRIA, France (Submissions) Cédric Jeanneret, University of Zurich, Switzerland (Publicity) Goal The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to monitoring and managing the execution of systems. This is the first workshop to address this theme and its treatment requires the bringing together of a variety of communities including researchers working on model-driven software development, software architectures, reflection (including for example architectural reflection), and autonomic and self healing systems. Discussions in the workshop will address questions such as: What should a runtime model look like? How can the models be maintained at runtime? What are the best approaches to follow when developing runtime models? Workshop Format The workshop participants will be selected based on their experience and ideas related to this new and emerging field. You are invited to apply for attendance by sending a full-paper (8-10 pages) or a short paper (2-4 pages) in PDF or PS The paper must conform to the Springer LNCS formatting guidelines: http://www.springer.com/computer/lncs (it is the same format of the Conference, see conference website for more information). Submissions will be reviewed by at least 3 PC members. The authors will be notified about acceptance before the MoDELS 2008 early registration deadline. Candidates for best papers can be just taken from the category of full-papers. A primary deliverable of the workshop is a report that clearly outlines (1) the research issues and challenges in terms of specific research problems in the area, and (2) a synopsis of existing model-based solutions that target some well-defined aspect of monitoring and managing the execution of systems. Potential attendees are strongly encouraged to submit position papers that clearly identify research issues and challenges, present techniques that address well-defined problems in the area, and are supported by small demos. The first part of the workshop will focus on identifying the research issues and challenges and framing an initial set of research questions. The second part of the workshop will focus on discussing approaches for tackling the problems; in particular, the integration of runtime models with model-driven development approaches will be discussed. The workshop aims to: - Integrate and combine research ideas from the areas cited above. - Provide a "state-of-the-research" assessment expressed in terms of research issues, challenges, and accomplishments. This assessment can be used to guide research in the area. - Continue to build a network of researchers in this area, building on the initial event help last year. - Plan and promote further events on these topics. We strongly encourage authors to address the following topics. Labelled research topics with (*) are crucially important: - What a runtime model looks like and how does it evolve? (*) - How can runtime models be maintained? (*) - How can runtime models be validated? - What abstractions over runtime phenomena are useful? - How are the abstractions tied to the types of adaptations supported? (*) - How do these abstractions evolve over time? (*) - Are new abstractions created during runtime? (*) - How are the causal relationships with executing code realized? (*) - What is the role of reflection in maintaining the causal connection between models and run-time system? - The relevance and suitability of different model-driven approaches to monitoring and managing systems during runtime - Examples of how models can be used to validate and verify the behaviour of the system at runtime (*) - Compatibility (or tension) between different model-driven approaches - How do models at other phases of the software engineering lifecycle relate to the corresponding run-time models? - Small demos and tools that support the use of models at run.time (*) Cédric Jeanneret Department of Informatics, University of Zurich, Switzerland From heymans at kr.tuwien.ac.at Mon Aug 4 14:50:56 2008 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Mon, 4 Aug 2008 14:50:56 +0200 Subject: 2nd CFP: ALPSWS 2008 Message-ID: *******2nd Call for Papers - Submission deadline 26 August 2008 ********** ALPSWS 2008 Third International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services http://www.kr.tuwien.ac.at/events/alpsws2008/ Udine, Italy in conjunction with the 24th International Conference on Logic Programming (ICLP 2008) December 9-13 2008 http://iclp08.dimi.uniud.it/ ********************************************************************* One of the key challenges in making the static Web and dynamic applications such as Web services more intelligent is to introduce some form of automated reasoning. For example, the Semantic Web promises machine-readable semantics and a machine-processable Web through ontology-based annotation of static data on the Web and Web-based dynamic applications and services. Such annotation facilitates querying and aggregating data sources on the Web in a unified manner, as well as automating discovery, selection and composition of services. Reasoning technologies for services and data on the Web have typically focused on Description Logic (e.g., OWL DL) and Rule-based (RIF, RuleML) approaches and languages. In this workshop we focus on the latter with a particular focus on Logic Programming as a viable candidate paradigm for enabling intelligent and declarative Web applications. Many workshops and conferences that are dedicated to the Web arena deal mostly with generic topics and bring together people from a variety of research fields with different understandings of the topic. The plethora of these workshops and conferences make it hard to keep track of the various approaches of a particular technology such as Logic Programming in our case. We deliberately take a narrower focus to advance the application of LP as a paradigm for declarative knowledge representation and reasoning to the Web and Web services. Towards this aim we bring together researchers working on applications of LP to (Semantic) Web and Web services, as well as LP-based foundations for Semantic Web and Web service languages. ALPSWS 2008 is the 3rd workshop in its series, still following its original goals: - Bringing together people from different sub-disciplines of LP and focus on technological solutions and applications from LP to the problems of the Web. - Promoting further research in this interesting application field. Topics: ------- Possible topics include (but are not limited to): * Logic Programming based approaches for reasoning about Semantic Web languages such as RDF, RDFS, WSML, OWL, OWL-S, RuleML, SA-WSDL, SPARQL, RIF * Ontology Modeling and Mediation using Logic Programming * Deductive query answering in a Semantic Web context * Reasoning over large-scale ontologies * Reasoning with large instance data in the presence of ontologies * Logic-Programming based mashups for Linked Open Data * Combinations of Logic Programming and Description Logics * Modeling of and reasoning about Web services * Applications of Reasoning about actions and dynamics in the context of Web service discovery and composition * Interaction of Logic Programming and other technologies such as agents, constraint programming, etc. in a (Semantic) Web context * Applications, use cases, experimental results and benchmarks * Extensions of Logic Programming engines for Semantic Web (service) applications * Extensions of Logic Programming paradigms to tackle Web challenges, e.g., fuzzy logic programming to deal with uncertainty on the Web * Logic Programming and the application of Semantic Web technologies to Semantic content Sumbission Details: ------------------- We invite two forms of submission to this workshop: full papers and short papers. Full papers shall be up to 14 pages length, short papers 6 pages which could include position papers, system descriptions or preliminary work. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Submitted papers will be reviewed by at least two members of the program committee. Papers must be submitted electronically in PDF format. For paper submission we use the EasyChair conference management system: http://www.easychair.org/conferences/?conf=alpsws2008 Important Dates: ---------------- Deadline for Submissions: August 26, 2008 Notification of acceptance: September 26, 2008 Camera-ready versions: October 10, 2008 Workshop: December 12, 2008 (to be confirmed) ICLP 2008 Conference: December 9 - 13, 2008 Program Committee: ------------------ Carlos Damasio, Universidade Nova de Lisboa, Portugal Thomas Eiter, TU Vienna, Austria Cristina Feier, TU Vienna, Austria Lukacsy Gergely, Budapest University of Technology and Economics, Hungary Gopal Gupta, University of Texas at Dallas, US Claudio Gutierrez, Universidad de Chile Giovambattista Ianni, University of Calabria, Italy Uwe Keller, STI Innsbruck, Austria Markus Kroetzsch, AIFB, University of Karlsruhe, Germany Zoe Lacroix, University of Arizona, US Wolfgang May, Göttingen University, Germany Enrico Pontelli, New Mexico State University, US Hans Tompits, TU Vienna, Austria Alejandro Vaisman, University of Toronto, Canada Maria Esther Vidal, Universidad Simon Bolivar, Venezuela Gerd Wagner, Brandenburg University of Technology, Germany Organization: ------------- Jos de Bruijn, Free University of Bozen-Bolzano, Italy debruijn at inf.unibz.it Stijn Heymans, Vienna University of Technology, Austria heymans at kr.tuwien.ac.at Axel Polleres, DERI, National University of Ireland, Galway axel.polleres at deri.org David Pearce, Universidad Rey Juan Carlos, Spain davidandrew.pearce at urjc.es Edna Ruckhaus, Universidad Simon Bolivar Caracas, Venezuela ruckhaus at ldc.usb.ve -- Dr. Stijn Heymans Vienna University of Technology http://www.kr.tuwien.ac.at/staff/heymans/ ---------------------------------------------- The modern mind is in complete disarray. Knowledge has stretched itself to the point where neither the world nor our intelligence can find any foot-hold. It is a fact that we are suffering from nihilism. (Albert Camus) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bill.stinson at verizonbusiness.com Tue Aug 5 03:23:08 2008 From: bill.stinson at verizonbusiness.com (Stinson, Willis D) Date: Tue, 05 Aug 2008 01:23:08 +0000 Subject: [Mycolleagues] AOMP SAC 2009 -- Deadline Approacing Message-ID: <4391634798F2B24EBA0BC1962034ECE0061CAF9E@ASHEVS001.mcilink.com> - Bill ________________________________ From: mycolleagues-bounces at grid.lrg.ufsc.br To: ecoop-info at ecoop.org ; mycolleagues at grid.lrg.ufsc.br ; seworld at cs.colorado.edu ; agents at cs.umbc.edu ; event at in.tu-clausthal.de ; computational.science at lists.OptimaNumerics.com Sent: Mon Aug 04 12:12:36 2008 Subject: [Mycolleagues] AOMP SAC 2009 -- Deadline Approacing [Please accept our apologies if you received multiple copies of this call] --------------------------------------------------------------------------------- CALL FOR PAPER --- AOMP 2009 --- AOMP: Agent-Oriented Software Engineering Methodologies and Processes Track of the 24th Edition ACM Symposium on Applied Computing Honolulu, Hawaii, USA, March 8 -12, 2009 http://www.apice.unibo.it/xwiki/bin/view/AOMP/ http://www.acm.org/conferences/sac/sac2009/ -------------------------------------------------------------------------------------------- TOPICS OF INTEREST The list of most relevant topics includes, but it is not limited to: * Methodologies for agent-oriented analysis and design * Agent-Oriented Software Engineering * Design of software development processes * Situational Method Engineering techniques for AOSE design processes * Relationships between MAS meta-models and their relative AOSE methodologies * Relationships between AOSE processes and the other traditional processes (e.g. OO) * Relationship between AOSE methodologies (processes) and MAS Infrastructures * Meta-modelling techniques * Software development process models * Fragment definitions and descriptions * Integration of agent-oriented methodologies and processes * Approaches for AOSE methodologies: design patterns, components, and architectures * MAS Product Lines * Supporting tools for AOSE methodologies/processes construction and enactment * Standardisation for AOSE methodologies and processes * Self-* approaches in AOSE methodologies and processes Important Dates: Aug. 16, 2008 (strict): Paper submissions Oct. 11, 2008: Author notification Oct. 25, 2008: Camera-Ready Copy Organising Committee: Massimo Cossentino, Italy Ambra Molesini, Italy Andrea Omicini, Italy Valeria Seidita, Italy ********************************************************** Dott. Ing. Ambra Molesini , Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale del Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ambra.molesini at unibo.it Mon Aug 4 14:12:36 2008 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Mon, 4 Aug 2008 14:12:36 +0200 Subject: AOMP SAC 2009 -- Deadline Approacing Message-ID: <2ADF63C9-EE19-49A2-8DCA-92E6CFA45093@unibo.it> [Please accept our apologies if you received multiple copies of this call] --------------------------------------------------------------------------------- CALL FOR PAPER --- AOMP 2009 --- AOMP: Agent-Oriented Software Engineering Methodologies and Processes Track of the 24th Edition ACM Symposium on Applied Computing Honolulu, Hawaii, USA, March 8 -12, 2009 http://www.apice.unibo.it/xwiki/bin/view/AOMP/ http://www.acm.org/conferences/sac/sac2009/ -------------------------------------------------------------------------------------------- TOPICS OF INTEREST The list of most relevant topics includes, but it is not limited to: * Methodologies for agent-oriented analysis and design * Agent-Oriented Software Engineering * Design of software development processes * Situational Method Engineering techniques for AOSE design processes * Relationships between MAS meta-models and their relative AOSE methodologies * Relationships between AOSE processes and the other traditional processes (e.g. OO) * Relationship between AOSE methodologies (processes) and MAS Infrastructures * Meta-modelling techniques * Software development process models * Fragment definitions and descriptions * Integration of agent-oriented methodologies and processes * Approaches for AOSE methodologies: design patterns, components, and architectures * MAS Product Lines * Supporting tools for AOSE methodologies/processes construction and enactment * Standardisation for AOSE methodologies and processes * Self-* approaches in AOSE methodologies and processes Important Dates: Aug. 16, 2008 (strict): Paper submissions Oct. 11, 2008: Author notification Oct. 25, 2008: Camera-Ready Copy Organising Committee: Massimo Cossentino, Italy Ambra Molesini, Italy Andrea Omicini, Italy Valeria Seidita, Italy ********************************************************** Dott. Ing. Ambra Molesini , Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale del Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iclp08pub at cs.nmsu.edu Mon Aug 4 17:49:28 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Mon, 4 Aug 2008 09:49:28 -0600 Subject: ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS Message-ID: <200808041549.m74FnSHY009301@pippo.cs.nmsu.edu> ICLP'08 Call for Posters Submissions 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it **** FINAL CALL **** DEADLINE: August 15th, 2008 Within the scope of the general call for papers for the upcoming 24th International Conference on Logic Programming, we would like to draw your attention on the opportunity to submit an extended abstract to the Posters Track of the conference. Posters are ideal for presenting work-in-progress, speculative, late-breaking results or for introducing the audience to new research directions, projects, and initiatives. Posters are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters will be allocated a separate session during the conference, composed of a standing poster demonstration and a lightning talk presentation. SUBMISSION: ----------- Poster submissions are in the form of extended abstracts. They are expected to be succinct and clear, presenting the key ideas, possibly in an informal and widely understandable manner. All submissions must be written in English. Application papers must not exceed 5 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 REVIEW PROCESS: --------------- All submissions will be peer-reviewed by an international panel. Accepted extended abstracts will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. Each accepted extended abstract will be allocated 5 pages in the conference proceedings. PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. IMPORTANT DATES --------------- Abstract submission deadline August 15th (strict) Notification of authors September 1st Camera-ready copy due September 15th Early-bird Registration TBA Conference December 9-13, 2008 --- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From ulrich.sorger at uni.lu Wed Aug 6 14:05:29 2008 From: ulrich.sorger at uni.lu (ulrich sorger) Date: Wed, 6 Aug 2008 14:05:29 +0200 Subject: Postdoctoral Researcher in Graphical Probabilistic Models for Reliability at University of Luxembourg Message-ID: The University of Luxembourg is seeking for its strategic priority P1 "Security and Reliability", within the Computer Science and Communication Research Unit of the Faculty of Science, Technology and Communication, a Postdoctoral researcher in graphical probabilistic models for reliability (M/F) - 2-year contract, renewable for another 2 years, 40 hours/week - Ref : F1-080012 We are looking for a highly motivated and creative postdoc willing to join our Interdisciplinary Lab for Intelligent and Adaptive Systems. We expect a solid theoretical background in uncertain reasoning, a strong theoretical research experience in graphical probabilistic models, a related innovative research program, and an interest in applying these techniques to analyze and ensure system reliability (e.g. via design, diagnosis, prediction, monitoring, or control based on graphical models). Knowledge about relational probabilistic models, relational machine learning, generalized belief propagation, Markov/probabilistic logic, or Bayesian statistics, would be an advantage. Profile: * PhD in computer science, mathematics, or equivalent; * A strong publication record in the area of interest; * Very good written and oral English skills, a working knowledge in German or French would be useful. Offer: * A challenging job at a dynamic and ambitious University * An exciting international working environment for collaborative and interdisciplinary research; * A possibility to do teaching and to contribute to the supervision of MSc/PhD students; * A competitive salary For further information about this position, please contact both prof dr Ulrich Sorger and prof dr Leon van der Torre, at ulrich.sorger at uni.lu, leon.vandertorre at uni.lu Interested candidates are invited to send their full application (cover letter, a detailed CV including Bachelor and Master grades, a list of publications, a one page research proposal, the names of two referees) to - University of Luxembourg – CSC Mireille Kies - Campus Kirchberg - 6, rue Richard Coudenhove-Kalergi - L-1359 Luxembourg Applications are to be received no later than Sep 15, 2008. The University of Luxembourg is an equal opportunity employer. Links: www.uni.lu csc.uni.lu ilias.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mdv at cs.bath.ac.uk Wed Aug 6 17:36:52 2008 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Wed, 06 Aug 2008 16:36:52 +0100 Subject: EUMAS08: Second Call for papers Message-ID: <1218037012.6894.50.camel@localhost.localdomain> Apologies for cross-postings. ************************************************************ THE SIXTH EUROPEAN WORKSHOP ON MULTI-AGENT SYSTEMS Bath, UK, 18th and 19th of December, 2008 http://eumas08.cs.bath.ac.uk/ Abstract Submission Deadline: Sept. 12th 2008 Full Submission Deadline: Sept. 15th 2008 Notification to Authors: Oct. 20th 2008 ************************************************************ In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006 and Hammamet 2007), the aim of this sixth European Workshop on MultiAgent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS08 welcomes also papers that are under submission, will be presented or have already been presented at relevant international conferences. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-oriented focus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. We request the submission of title and abstract prior or together with the paper submission for supporting the tight schedule of reviewing. As we want to send out notifications before the AAMAS 2009 deadline, we will not postpone the paper submission deadline. The authors can submit their abstracts and papers through the following webpage: http://www.easychair.org/conferences/?conf=eumas2008. The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide electronic (CD) proceedings. Printed proceedings will be available for an extra fee covering printing costs. Workshop notes will contain all original papers and abstracts of previously published papers. Depending on the quality, we intend to invite a selection of extended versions of the unpublished submissions to be included in relevant journal special issues. TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multiagent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-* Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification,Virtual Agents INVITED TALKS We are happy to announce two invited talks by prominent and inspiring speakers: Marek Sergot (Imperial College, London) and Niek Wijngaards (Thales, Netherlands). VENUE EUMAS 2008 will be held at the University of Bath, whose buildings are set in an attractive campus on a hill above the centre of Bath, a World Heritage City. The weather in December is cold and often sunny - but dont forget your umbrella! IMPORTANT DATES Abstract Submission Deadline: 12th September Full Paper Submission Deadline: 15th September Notification to Authors: 10th October Camera Ready due: 17th November Early Registration: 31th October Event: 18th and 19th of December CONTACT Franziska Kluegl kluegl[]informatik.uni-wuerzburg.de OFFICIALS GENERAL CHAIR Julian Padget Department of Computer Science University of Bath, UK PROGRAM CHAIR Franziska Kluegl Dept. of Artificial Ingelligence and Applied Computer Science University of Wuerzburg, Germany LOCAL CHAIRS: Marina De Vos Julian Padget Department of Computer Science University of Bath, UK From ambra.molesini at unibo.it Thu Aug 7 13:06:07 2008 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Thu, 7 Aug 2008 13:06:07 +0200 Subject: AOMP SAC 2009 -- Deadline Extended to 23rd August Message-ID: <4A540EF2-432A-45C8-89FF-7A2332EB5D04@unibo.it> [Please accept our apologies if you received multiple copies of this call] --------------------------------------------------------------------------------- CALL FOR PAPER --- AOMP 2009 --- AOMP: Agent-Oriented Software Engineering Methodologies and Processes Track of the 24th Edition ACM Symposium on Applied Computing Honolulu, Hawaii, USA, March 8 -12, 2009 http://www.apice.unibo.it/xwiki/bin/view/AOMP/ http://www.acm.org/conferences/sac/sac2009/ -------------------------------------------------------------------------------------------- TOPICS OF INTEREST The list of most relevant topics includes, but it is not limited to: * Methodologies for agent-oriented analysis and design * Agent-Oriented Software Engineering * Design of software development processes * Situational Method Engineering techniques for AOSE design processes * Relationships between MAS meta-models and their relative AOSE methodologies * Relationships between AOSE processes and the other traditional processes (e.g. OO) * Relationship between AOSE methodologies (processes) and MAS Infrastructures * Meta-modelling techniques * Software development process models * Fragment definitions and descriptions * Integration of agent-oriented methodologies and processes * Approaches for AOSE methodologies: design patterns, components, and architectures * MAS Product Lines * Supporting tools for AOSE methodologies/processes construction and enactment * Standardisation for AOSE methodologies and processes * Self-* approaches in AOSE methodologies and processes Important Dates: Aug. 23, 2008 : Paper submissions Oct. 11, 2008: Author notification Oct. 25, 2008: Camera-Ready Copy Organising Committee: Massimo Cossentino, Italy Ambra Molesini, Italy Andrea Omicini, Italy Valeria Seidita, Italy ********************************************************** Dott. Ing. Ambra Molesini , Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale del Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giuseppe.vizzari at disco.unimib.it Thu Aug 7 14:09:30 2008 From: giuseppe.vizzari at disco.unimib.it (Giuseppe Vizzari) Date: Thu, 7 Aug 2008 14:09:30 +0200 Subject: Deadline Extended - Advances in Computer Simulation @ ACM SAC 2009 Message-ID: ACM SAC 2009 - CALL FOR PAPERS Track: Advances in Computer Simulation (SIM) (http://www.lintar.disco.unimib.it/SIM09/ - web site under construction) The 24th Annual ACM Symposium on Applied Computing (SIGAPP) March 8 - 12, 2009, Hilton Hawaiian Village Beach Resort & Spa Waikiki Beach, Honolulu, Hawaii, USA (http://www.acm.org/conferences/sac/sac2009/) Chairs: Fabien Michel (fmichel [ at > leri.univ-reims.fr) Giuseppe Vizzari (viz [at > disco.unimib.it) Call For Papers Scope and Aims Computer simulation approaches have established as fundamental conceptual and practical instruments for the analysis of growingly complex systems, both for industry and business applications as well as in the scientific research context. Computational models and simulators are currently employed in the most different application areas, ranging from urban modeling and planning to logistics and production, from biology to social sciences. Consequently, the adopted modeling approaches and methodologies, as well as simulation project life-cycles, techniques for the evaluation and interpretation of simulation results are often very distant. This track at ACM SAC aims to provide a forum for the discussion of results and relevant research advances on the topic of computer simulation, fostering thus interdisciplinary discussion and cross fertilization of the involved disciplines and application areas. It is intended to facilitate the dissemination of theoretical advances in computer simulation, as well as a vehicle for discussions about methodologies, models, tools, in several application domains. Content and Topics The track will consider both reports on practical results of computer simulation experiences as well as recent research contributions. Topics of interest include, but are not limited to: * Computational models for simulation (e.g. discrete event modeling, cellular automata, multi-agent systems, etc.) * Modeling and simulation methodologies * Simulation project life-cycle * Modeling and simulation languages, platforms and tools * Tools and methodologies for large-scale simulation * Case studies and applications in domains such as: simulation of human and social dynamics, military applications, industrial engineering, manufacturing, supply chain management, virtual reality, swarm intelligence, ethological/ecological/biological modeling, artificial life, video games. Important Dates * Aug. 23, 2008: Paper submissions - DEADLINE EXTENDED! * Oct. 11, 2008: Author notification * Oct. 25, 2008: Camera-Ready Copy Submission Guidelines A paper cannot be submitted to more than one track. Authors are invited to submit original papers in any of the areas listed above. The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. This is to facilitate blind review. Only the title should be shown at the first page without the author's information. Submissions must be original, unpublished and not currently under review by workshops, conferences, or journals. All papers should be submitted online through the electronic submission system (http://www.acm.org/conferences/sac/sac2009/ ). Authors should pay particular attention to the following guidelines: * In order to facilitate blind review, the name(s) and address(es) of the author(s) must not appear in the body of the paper * Papers should not exceed 4000 words Papers must be formatted according to the template which can be downloaded from the SAC 2009 website (http://www.acm.org/conferences/sac/sac2009/downloads09.htm ), and their size should be limited to around 4000 words. The total number of pages per paper is five; additional pages (maximum three) may be included for an additional fee. All accepted papers will be published in the annual conference proceedings and will be available at the conference. Some journals related to simulation as well as agent-based simulation and complex systems are being contacted regarding publication of extended versions of selected papers as post-proceedings. Program Committee: * Ana Bazzan - Univ. Federal do Rio Grande do Sul - Brazil * Grégory Beurier - IRD - France * Rafael Bordini - University of Durham - UK * Claudio Cioffi-Revilla - George Mason University - USA * Paul Davidsson - Blekinge Institute of Technology - Sweden * Giovanna Di Marzo Seruguendo - University of London - UK * Jan Dijkstra - Eindhoven Univ. of Technology - Netherlands * Samira El Yacoubi - Université de Perpignan - France * Nora Faci - King's College - UK * Giorgio Fagiolo - Sant'Anna School of Adv. Studies - Italy * Abdelkader Gouaïch - Université Montpellier II - France * Alexander Helleboogh - Katholieke Univ. Leuven - Belgium * David Hill - ISIMA/LIMOS CNRS - France * Xiaolin Hu - Georgia State University - USA * Sara Manzoni - University of Milano-Bicocca - Italy * Akira Namatame - National Defense Academy of Japan - Japan * H. Van Dyke Parunak - NewVectors - USA * Andreas Pyka - University of Bremen - Germany * Rosaldo Rossetti - University of Porto - Portugal * Julien Saunier - University of Paris-Dauphine - France * Andreas Schadschneider - University of Cologne - Germany * Olivier Simonin - LORIA, Univ. de Nancy I, Nancy - France * Flavio Soares Correa Da Silva - Univ. of São Paulo - Brazil * Adelinde Uhrmacher - University of Rostock - Germany * Gabriel Wainer - Carleton University - Canada From nbassili at csd.auth.gr Fri Aug 8 19:44:37 2008 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Fri, 08 Aug 2008 20:44:37 +0300 Subject: RuleML-2008: Open Calls, Deadline August 22nd Message-ID: <489C8605.3040302@csd.auth.gr> [ our apologies should you receive this message more than one time ] ============================================================================= 2008 International RuleML Symposium on Rule Interchange and Applications (RuleML-2008) October 30-31, 2008, Orlando, Florida http://2008.ruleml.org ============================================================================= Open Calls for RuleML-2008 Challenge/Showcase Demos, Lightning/Highlight Talks & Fast Abstracts ============================================================================= RuleML-2008 Challenge/Showcase Demos ------------------------------------ The RuleML-2008 Challenge is one of the highlights of RuleML-2008. It addresses system demonstrations showcasing the practical use of rule technologies in distributed and/or Web-based environments. The focus of the challenge is on rule technologies (including rule languages and engines), interoperation, and interchange. The challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Prizes will be awarded to the two best applications. All accepted demos will be presented in a special Challenge Session. A submission to the RuleML-2008 Challenge has to meet the requirement that explicit (declarative) rules play a central role in the application. For the 2008 Challenge this means that: - Rules are available in the explicit representation of a declarative format and are decoupled from the application (rather than only existing in a form that is compiled or hard-coded into the application logic). - Rules are used in interesting and practically relevant ways, e.g. to derive new information, transform knowledge, provide decision support; or, to enable automated monitoring, enforcement, validation, or management of the behavioral logic of an application. The demo should preferably (but not necessarily) be embedded into a web-based or distributed environment so that there will be a need for features related to the RuleML symposium topics, as listed in the call for papers. Submissions to the RuleML Challenge 2008 consist of (1) a link to information about the demo/showcase, e.g. a project site, an (embedded link to an) online demonstration, a presentation, or a download site and (2) demo description material (up to 3 pages), which can be either in the form of a paper (e.g., in LNCS format) and/or contain other descriptive material. The demo description material will be distributed at the Symposium as part of the official Symposium handouts and it will be published at the Symposium's Web site. The demo description material will be subject to evaluation, so the material should contain a substantial presentation of the system to enable a proper evaluation of the techniques used. The demo link should be submitted through the Challenge Website (http://ruleml-challenge.cs.nccu.edu.tw/), while the demo paper should be submitted as a pdf file by email to: ruleml2008 at easychair.org with the text 'Submission to RuleML-2008 Challenge' in the subject by August 22, 2008. After the submission of the demo link, it will be immediately available on the Web, which can provide instant visibility to information about demos/showcases. If the (embedded) link to your demo/showcase is password- protected, then please submit a password for anonymous login from any Web browser, giving us the permission to pass the password on to 3 PC members. Decisions will be notified by September 1st. The demos/showcases themselves will be evaluated during RuleML-2008, and prizes will be awarded to the first two best applications. Fast Abstracts -------------- Fast Abstracts at RuleML-2008 are short presentations, either on new ideas or work in progress, or radical opinions that can address any issue relevant to RuleML-2008. Fast Abstracts provide an opportunity to receive early feedback from the community. Contributions are particularly solicited from industrial practitioners and academics that may not have been able to prepare full papers, but seek an opportunity to engage with the RuleML community. Fast Abstracts should be 4-pages long, and must be formatted in LNCS format (http://www.springer.de/comp/lncs/authors.html). The submission deadline is August 22, 2008. Submissions should be sent directly by email to ruleml2008 at easychair.org, and they will be refereed on the relevance to RuleML 2008, but also on their novelty of idea and/or on their capacity to stimulate and intrigue the reader. Accepted contributions will be published in electronic form (at the Symposium's Web site and on CD), and an author will deliver a short talk in the Fast Abstracts track at the conference. Decisions will be notified by September 1st. Authors of accepted fast abstracts must provide the camera ready version by September 15. At least one author of each accepted Fast Abstract is expected to register to the conference before or on September 15. Lightning Talks --------------- A lightning talk is a five-minute presentation on any topic of interest to the RuleML community; it can be a new idea, a technology, an evaluation, an observation, a complaint, an explanation, a suggestion, a report of success or failure, a call to action, a description of a technique, or a lament. In general, it is supposed to be a short visionary talk which should initiate discussion. If you are a rule developer working on an exciting project and you do not have the time to submit a full paper, Lightning talks are a great way to interact with the RuleML community and receive feedback on your ideas. Lightning talks are presented back-to-back with a strictly enforced five minute limit, so make sure that you can fit your presentation within this time span. People interested at giving a lightning talk during RuleML-2008 should show their their interest by sending an email to ruleml2008 at easychair.org by August 22, 2008, including a title and a 250-word abstract of their intended talk. Decisions will be notified by September 1st. Highlight Talks --------------- We invite the submission of outstanding full papers that have been published between 2007 and the submission deadline (August 22, 2008). Publications that are "in press" and already linked on the journal web site are also welcome. A group of experts will select the papers to be presented at the meeting considering the impact of the work on the field, the likelihood that the work makes a good presentation, and the relevance for the topics of RuleML-2008, in general. Submissions should be sent directly to the RuleML-2008 chairs at ruleml2008 at easychair.org by August 22, 2008, and must include the following: * Name/affiliation/email of submitter (assumed to be the presenter; note that the presenter cannot change because the identity and ability to present of that person will be an essential selection criterion). * Names/affiliations/email of ALL coauthors (note: any name appearing on a published paper has to be added here). Note that all co-authors have to agree to the submission and that it is the responsibility of the submitter to guarantee that all co- author email addresses are correct (email notifications of the submission will be sent to all co-authors). * Additional contact information (for presenter). * A 250-word abstract-like argument that explains how the submitted paper(s) suit the goal of presenting highlights that impacted the field. * Sources of original publication(s) (Year, Journal, Vol., pages). * PDF with paper(s) (note: in case of the submission of 2 papers, both have to be merged into one single PDF; all reviews will be based on the content of this PDF). * Note that we will need PDF submissions. It is the responsibility of the submitter to verify that the PDF is completely viewable/printable by all major operating systems. * Each presenter can submit a maximum of one application to present a highlight. The maximal number of submissions per author/co-author is 5. All submissions will be evaluated by a group of reviewers. Reviewers will consider the following criteria: * Relevance, interest, and value of the topic to RuleML-2008 attendees, * Impact of the paper(s) on rules (while the impact of papers on science is not fully reflected by ISI/Google-like impact factors or high number of downloads, high values in such factors will clearly stand as a strong argument for acceptance), * "Presentability" of the work to a large, diverse audience, * Quality of oral presentations by the submitter (if none). These "soft" criteria attempt to capture the underlying concept, namely the presentation of exciting and thought-provoking seminars that will both contribute to the success and attraction-value of RuleML-2008 and to the impact the meeting has on advancing rule interchange and applications. The criterion of "presentability" accounts for the fact that some papers that will completely change the field, or will become citation records may not translate to exciting seminars. The selected Highlights will be presented in a special track during the RuleML-2008 Symposium. All presentations will have to be completed within 20 minutes and will be followed by 5-minute discussions. While presenters are expected to focus mostly on the chosen paper(s), short infusions of more recent data are welcome. Decisions will be notified by September 1st. ------------------------------------------------------------------------- ========================= The RuleML-2008 Symposium ========================= Collocated with the 11th International Business Rules Forum, the 2008 International Symposium on Rule Interchange and Applications (RuleML-2008) is the second symposium (after last year's highly successful RuleML-2007) devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of, e.g., the Semantic Web, Intelligent Multi- Agent Systems, Event-Driven Architectures and Service-Oriented Computing Applications. The RuleML symposium is a new kind of event where the Web Rules and Logic community joins the established, practically oriented Forum of the Business Rules community to help cross- fertilizing between Web and Business Logic technology. The goal of RuleML-2008 is to bring together rule system providers, representatives of, and participants in, rule standardization efforts (e.g., SBVR, RuleML, RIF, PRR, CL) and open source rules communities (e.g., jBoss Rules, CLIPS/Jess, Prova, OO jDrew, Mandarax, XSB, XQuery), practitioners and technical experts, developers, users, and researchers. They will be offered an exciting venue to exchange new ideas, practical developments and experiences on issues pertinent to the interchange and application of rules in open distributed environments such as the Web. The Symposium gives emphasis on practical issues such as technical contributions and show case demonstrations of effective, practical, deployable rule-based technologies, rule interchange formats and applications as well as discussions of lessons learned that have to be taken into account when employing rule-based technologies in distributed, (partially) open, heterogeneous environments. We also welcome groundwork that helps to build an effective, practical, and deployable rule standard, improve rule technology, provide better understanding of the integration and interchange of rules, and make the current generation of rule engines and rule technology more usable for advanced Web and Service Oriented Architectures. -------------------------------------------------------------------- RuleML-2008 Highlights * Keynote speakers: o Michael Kifer (State University of New York at Stony Brook), on WC3's Rule Interchange Format (RIF). Joint keynote between RuleML-2008 and RR2008. o David Luckham (Stanford University, USA) on "The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems". o Paul Haley (Haley Systems, Inc) on business rules. o Benjamin Grosof (Vulcan, Inc.) on the SILK KRR system of the HALO project. * Joint Lunch Panel held in conjunction with the co-located Business Rules Forum on "Rules on the Web". * Lightning talks/Highlight talks * A RuleML-2008 Challenge with prizes to demonstrate tools, use cases, and applications. * Industry, demo and scientific research & development papers and presentations advancing and assessing the state of the art in event and rule-based systems selected in a peer-reviewed fashion by an international program committee. * Papers will be published as a Springer LNCS proceedings. A special issue (IEEE TKDE pending) will be forthcoming. * Social events to promote networking among the symposium delegates in an informal setting. ===================================================================== Co-located with: The 11th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Sponsored by: Gold level : Vulcan Inc Silver level: Model Systems Bronze level: STI Innsbruck, ruleCore, JBoss Sponsoring opportunities: http://2008.ruleml.org/sponsoring/ ===================================================================== In Co-operation with: AAAI, W3C, BPM-Forum, Business Rules Forum , ECCAI, OASIS, OMG, Dallas Rules Group, Belgium Business Rules Forum, MIT Sloan CIO Symposium, ACM, ACM SIGART, ACM SIGMIS, ACM SIGWEB, Open Research Society, IEEE Systems Man and Cybernetics Society IEEE SMCS TC on Intelligent Internet Systems IEEE SMCS TC on Distributed Intelligent Systems IEEE Computer Society IEEE Computer Society TC on Autonomous and Autonomic Systems ===================================================================== Media Partners: Springer LNCS, MoDo Marketing ===================================================================== From gupta at utdallas.edu Sun Aug 10 06:19:13 2008 From: gupta at utdallas.edu (Gopal Gupta) Date: Sat, 9 Aug 2008 23:19:13 -0500 (CDT) Subject: Symposium on Practical Aspects of Declarative Languages (PADL'09) Message-ID: Please Post. Thx. CALL FOR PAPERS!!! Eleventh International Symposium on Practical Aspects of Declarative Languages 2009 (PADL '09) http://cs.utdallas.edu/padl09/ Savannah Georgia, USA January 19-20, 2009 Co-located with ACM POPL'09 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include: * innovative applications of declarative languages; * declarative domain-specific languages and applications; * practical applications of theoretical results; * new language developments & their impact on applications; * evaluation of implementation techniques on practical applications; * novel uses of declarative languages in the classroom; and * practical experiences PADL 09 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 09 will be co-located with the ACM POPL. IMPORTANT DATES AND SUBMISSION GUIDELINES Paper Submission: September 8, 2008 Notification: October 10, 2008 Camera-ready: November 5, 2008 Symposium: January 19-20, 2009 Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF, in the Springer LNCS format (see http://www.springeronline.com/lncs/ ). In addition to the technical papers of previous PADL conferences, PADL 09 will contain a stream for application papers. TECHNICAL PAPERS Technical papers must describe original, previously unpublished results, and must not be simultaneously submitted for publication elsewhere. Each submission must be written in English, and include three to four keywords, which will be used to assist us in selecting appropriate reviewers for the paper. Submissions must not exceed 15 pages in Springer LNCS format. APPLICATION PAPERS Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than computer science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate poster session. Application papers, are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 3 pages in Springer LNCS format. MOST PRACTICAL PAPER AWARD The Most Practical Paper award will be given to the technical submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. PROGRAM COMMITTEE Lennart Augustsson Credit Suisse (UK) Hasan Davulcu Arizona State University (US) Ines Dutra Universidade do Porto (PT) John Gallagher Roskilde University (DK) Andy Gordon Microsoft Research (UK) Jeff Gray University of Alabama at Birmingham (US) Kevin Hamlen University of Texas at Dallas (US) Fergus Henderson Google (US) Gabriele Keller University of New South Wales (Australia) Michael Kifer SUNY Stony Brook (US) Ilkka Niemela Helsinki University of Technology (FI) Johan Nordlander Lulea University of Technology (Sweden) Luis Pereira Universidade Nova de Lisboa (PT) Tom Schrijvers Katholieke Universiteit Leuven (BE) Lindsey Spratt Onology Works (US) Don Stewart Galois, Inc (US) Walter Wilson Systems Development and Analysis (US) Contacts: For information about papers and submissions, please contact a Program Chair: Andy Gill PC co-Chair - PADL 2009 Dept. of Electrical Engineering & Computer Science The University of Kansas 2001 Eaton Hall 1520 West 15th Street Lawrence, KS 66045-7621 Email: andygill ku.edu Terrance Swift PC co-Chair - PADL 2009 Centre for Artificial Intelligence (CENTRIA) Departamento de Informática, FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Email: tswift cs.sunysb.edu For other information about the conference, please contact: Kevin Hamlen General Chair - PADL 2009 Department of Computer Science University of Texas at Dallas Richardson, TX, USA Email: hamlen utdallas.edu From iclp08pub at cs.nmsu.edu Mon Aug 11 15:26:47 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Mon, 11 Aug 2008 07:26:47 -0600 Subject: ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS Message-ID: <200808111326.m7BDQlpd026805@pippo.cs.nmsu.edu> ICLP'08 Call for Posters Submissions 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it **** FINAL CALL **** ** DEADLINE APPROACHING ** August 15th, 2008 Within the scope of the general call for papers for the upcoming 24th International Conference on Logic Programming, we would like to draw your attention on the opportunity to submit an extended abstract to the Posters Track of the conference. Posters are ideal for presenting work-in-progress, speculative, late-breaking results or for introducing the audience to new research directions, projects, and initiatives. Posters are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters will be allocated a separate session during the conference, composed of a standing poster demonstration and a lightning talk presentation. SUBMISSION: ----------- Poster submissions are in the form of extended abstracts. They are expected to be succinct and clear, presenting the key ideas, possibly in an informal and widely understandable manner. All submissions must be written in English. Application papers must not exceed 5 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 REVIEW PROCESS: --------------- All submissions will be peer-reviewed by an international panel. Accepted extended abstracts will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. Each accepted extended abstract will be allocated 5 pages in the conference proceedings. PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. IMPORTANT DATES --------------- Abstract submission deadline August 15th (strict) Notification of authors September 1st Camera-ready copy due September 15th Early-bird Registration TBA Conference December 9-13, 2008 --- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From iclp08pub at cs.nmsu.edu Mon Aug 11 17:20:15 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Mon, 11 Aug 2008 09:20:15 -0600 Subject: 2008 ICLP Doctoral Consortium Message-ID: <200808111520.m7BFKFsb006032@pippo.cs.nmsu.edu> ********************************************************************** International Conference on Logic Programming Fourth Doctoral Consortium Udine, Italy December 9-13, 2008 http://www.cs.kuleuven.be/~toms/DC2008/ ----------- The 2008 ICLP Doctoral Consortium (DC) is the fourth international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2008 in Udine, Italy. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renowned experts in the field. The Doctoral Consortium will also offer invited speakers and panel discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2008 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2008 conference; the ICLP conference will run from December 9th to December 9th, 2008. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2008 conference proceedings. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2008 Doctoral Consortium web site, at: http://www.cs.kuleuven.be/~toms/DC2008/ -------- Important Dates Submission Deadline: August 25, 2008 (strict) Acceptance Notification: September 5, 2008 Last Date to Update Research Summary: September 15, 2008 (strict) Doctoral Consortium: December 9-13, 2008 (TBA) ICLP 2008 Conference: December 9-13, 2008 ------------ Doctoral Consortium Chairs: David S. Warren Tom Schrijvers Department of Computer Science Departement of Computer Science State University of New York Catholic University of Leuven Stony Brook, NY, USA Leuven, Belgium warren _a_t_ cs.sunysb.edu tom.schrijvers _a_t_ cs.kuleuven.be From td at cs.uns.edu.ar Fri Aug 8 15:37:48 2008 From: td at cs.uns.edu.ar (Telma Delladio) Date: Fri, 8 Aug 2008 10:37:48 -0300 Subject: WARNING! (0185700129) In-Reply-To: References: Message-ID: On Thu, Aug 7, 2008 at 11:45 PM, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0185700129, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- :) tdf From koller at CoLi.Uni-SB.DE Mon Aug 11 18:59:39 2008 From: koller at CoLi.Uni-SB.DE (Alexander Koller) Date: Mon, 11 Aug 2008 18:59:39 +0200 Subject: Postdoc and PhD positions in natural language generation and planning Message-ID: <11030BF1-43EE-4A37-A9C2-F86B5E21959A@coli.uni-saarland.de> Postdoc and PhD positions in natural language generation and planning Saarland University, Saarbrücken, Germany We invite applications for two research positions (for up to 5 years) in natural language generation and planning -- one post-doc and one PhD student. The selected candidates will work on the generation of natural-language instructions in a virtual 3D environment. They will build upon ideas from AI planning to model situated instruction-giving in a linguistically and formally clean way, implement an instruction-giving system using efficient planning algorithms, and then enter this system into the GIVE Challenge ("Generating Instructions in Virtual Environments"; www.give-challenge.org), where it will be evaluated over the Internet. This research will be carried out in the context of the newly established junior research group "Efficient algorithms in computational linguistics", which is part of the Cluster of Excellence "Multimodal Computing and Interaction" at Saarland University in Saarbrücken, Germany. Saarland University is one of the major centers for computational linguistics worldwide, and with the recent creation of the cluster of excellence (20 new independent junior research groups in various fields of computer science and computational linguistics) is set to become an even more dynamic research environment. Researchers come from all over the world, and the research language is English. The post-doc should have (or be about to finish) a PhD in computational linguistics, computer science, linguistics, or a related field. He or she should be an expert in (and ideally, have published on) one or more of the following areas: natural language generation; planning or plan recognition; situated communication; discourse. The PhD student should have an interest in one or more of these areas and an excellent university degree in a relevant subject. Both researchers will have the opportunity to participate in teaching and the supervision of student research assistants, as well as the organization of the GIVE Challenge. Applicants are expected to be comfortable with interdisciplinary collaborations. Please send your application (CV, list of publications, and 2-3 letters of reference) as a PDF file to Alexander Koller at koller at coli.uni-saarland.de by September 15, 2008. The positions will remain open until filled, so later applications may still be considered. Saarland University wishes to increase the proportion of women in research and strongly encourages qualified female candidates to apply. Priority will be given to handicapped candidates with equivalent qualifications. We also encourage you to inquire about further details from: Dr. Alexander Koller Exzellenzcluster / FR 4.7 Computerlinguistik Saarland University Postfach 151150, 66041 Saarbrücken Germany http://www.coli.uni-saarland.de/~koller/ koller at coli.uni-saarland.de phone: +49 681 302 70040 From dingl at cs.rpi.edu Tue Aug 12 14:38:54 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Tue, 12 Aug 2008 08:38:54 -0400 Subject: Call for Semantic Web Challenge and Billion Triples tracks Message-ID: <48A1845E.3040408@cs.rpi.edu> Call for Participation Sixth Semantic Web Challenge Open Track and Billion Triples Track International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany We invite submissions to the sixth annual Semantic Web Challenge, the premiere event for demonstrating practical progress towards achieving the vision of the Semantic Web. The central idea of the Semantic Web is to extend the current human-readable web by encoding some of the semantics of resources in a machine-processable form. Moving beyond syntax opens the door to more advanced applications and functionality on the Web. Computers will be better able to search, process, integrate and present the content of these resources in a meaningful, intelligent manner. As the core technological building blocks are now in place, the next challenge is to show off the benefits of semantic technologies by developing integrated, easy to use applications that can provide new levels of Web functionality for end users on the Web or within enterprise settings. Applications submitted should demonstrate clear practical value that goes above and beyond what is possible with conventional web technologies alone. Unlike in previous years, the Semantic Web Challenge of 2008 will consist of two tracks: the Open Track and the Billion Triples Track. The key difference between the two tracks is that the Billion Triples Track requires the participants to make use of the data set –a billion triples– provided by the organizers. The Open Track has no such restrictions. As before, the Challenge is open to everyone from academia and industry. The authors of the best applications will be awarded prizes and featured prominently at special sessions during the conference. Goals The overall goal of this event is to advance our understanding of how semantic technologies can be exploited to produce useful applications for the Web. Semantic Web applications should integrate, combine, and deduce information from various sources to assist users in performing specific tasks. The specific goal of the Billion Triples Track is to demonstrate the scalability of applications as well as to encourage the development of applications that can deal with Web data. We stress that the goal of this is not to be a benchmarking effort between triple stores, but rather to demonstrate applications that can scale to a Web scale using realistic Web-quality data. Minimal Requirements Submissions for the Semantic Web Challenge must meet the following minimum requirements: For the Open Track: * The meaning of data has to play a central role. o Meaning must be represented using formal descriptions. o Data must be manipulated/processed in interesting ways to derive useful information and o this semantic information processing has to play a central role in achieving things that alternative technologies cannot do as well, or at all; * The information sources used o should be under diverse ownership or control o should be heterogeneous (syntactically, structurally, and semantically), and o should contain substantial quantities of real world data (i.e. not toy examples). * The application has to be an end-user application, i.e. an application that provides a practical value to domain experts. Although we expect that most applications will use RDF, RDF Schema, or OWL this is not a requirement. What is more important is that whatever semantic technology is used, it plays a central role in achieving interesting new levels of functionality or performance. It is required that all applications assume an open world, i.e. that the information is never complete. Additional Desirable Features In addition to the above minimum requirements, we note other desirable features that will be used as criteria to evaluate submissions. * The application provides an attractive and functional Web interface (for human users) * Rigorous evaluations have taken place that demonstrate the benefits of semantic technologies, or validate the results obtained. * The application should be scalable (in terms of the amount of data used and in terms of distributed components working together) * Novelty, in applying semantic technology to a domain or task that have not been considered before * Functionality is different from or goes beyond pure information retrieval * The application has clear commercial potential and/or large existing user base * Contextual information is used for ratings or rankings * Multi-media documents are used in some way * There is a use of dynamic data (e.g. workflows), perhaps in combination with static information * The results should be as accurate as possible (e.g. use a ranking of results according to context) * There is support for multiple languages and accessibility on a range of devices For the Billion Triples Track * The primary goal is to for submissions to show how they add value to the very large triple store. This can involved anything from helping people figure out what is in the store via browsing, visualization, etc; could include inferencing that adds information not directly queriable in the original dataset; could involve showing how ontological information could be tied to part(s) or the whole of the dataset; etc. * The tool or application has to make use of at least a significant portion of the data provided by the organizers. * The tool or application is allowed to use other data that can be linked to the target dataset, but there is still an expectation that the primary focus will be on the data provided. * The tool or application does not have to be specifically an end-user application, as defined for the Open Track Challenge, but usability is a concern. The key goal is to demonstrate an interaction with the large data-set driven by a user or an application. However, given the scale of this challenge, solutions that can be justified as leading to such applications, or as crucial to the success of future applications, will be considered. It is desired that all applications assume an open world, i.e. that the information is never complete. However, applications that can show useful ways to “close the world” for sections of the very large dataset will be considered. Additional Desirable Features In addition to the above minimum requirements, we note other desirable features that will be used as criteria to evaluate submissions. * The application should do more than simply store/retrieve large numbers of triples * The application or tool(s) should be scalable (in terms of the amount of data used and in terms of distributed components working together) * The application or tool(s) should show the use of the very large, mixed quality data set * The application should either function in real-time or, if pre-computation is needed, have a real-time realization (but we will take a wide view of “real time” depending on the scale of what is done) How to participate Visit http://challenge.semanticweb.org/ in order to participate and register for the Semantic Web Challenge by submitting the required information as well as a link to the application on the online registration form. The form will be open until October 1, 2008, 12am CET. The requirements of this entry are: * Abstract: no more than 200 words. * Description: The description will show details of the system including why the system is innovative, which features or functions the system provides, what design choices were made and what lessons were learned. Papers should not exceed eight pages and must be formatted according to the same guidelines as the papers in the Research Track (see http://iswc2008.semanticweb.org/) * Web access: The application should be accessible via the web. If the application is not publicly accessible, passwords should be provided. We also ask to provide a (short) instruction on how to start and use the application. Descriptions will be published in the form of an online proceedings. Prizes A prize in money will be provided to the winners along with publicity for their work. The winners will also be asked to give a live demonstration of their application at the ISWC 2008 conference. The best applications will also have a chance to appear as full papers in the Journal of Web Semantics. In the event that one of the tracks receive less than a minimal number of submissions, the organizers reserve the right to merge the two tracks of the competition. Important Dates * October 1, 2008 Submissions due * October 26-30, 2008 ISWC 2008 Technical Program SWC Co-Chairs * Jim Hendler (Rensselaer Polytechnic Institute) * Peter Mika (Yahoo! Research Barcelona) SWC Advisory Board Dean Allemang (TopQuadrant), Jürgen Angele (Ontoprise), Mike Dean (BBN Technologies), Stefan Decker (DERI, Galway), Jérôme Euzenat (INRIA Rhone-Alpes), Ian Horrocks (University of Manchester), Atanas Kiryakov (OntoText), Michel Klein (Vrije Universiteit, Amsterdam), Deborah McGuinness (Stanford University), Rob Shearer (University of Manchester), Amit Sheth (Wright State University), York Sure (University of Karlsruhe), Hideaki Takeda (National Institute of Informatics, Tokyo), Ubbo Visser (University of Bremen) Contact Peter Mika Yahoo! Research Barcelona, Ocata 1 08001 Barcelona, Spain Tel: +34 935 421 165 Fax: +34 935 421 150 Email: pmika at yahoo-inc.com Web: http://www.cs.vu.nl/~pmika/ From mangel at uco.es Wed Aug 13 10:09:42 2008 From: mangel at uco.es (=?iso-8859-1?Q?Miguel_Angel_G=F3mez-Nieto?=) Date: Wed, 13 Aug 2008 10:09:42 +0200 Subject: CASEE2008 Extended Dates for submission Message-ID: [Apologies for multiple/cross posting] ******************************* EXTENDED DEADLINE FOR SUBMISSION OF PAPERS TO CASEE2008 (In conjuction with ICCMSE2008) ================================================================================= Dear Colleagues: Due to a big number of request, the deadline for submission of contributions to CASEE2008 has been extended to August 31 ========================================================================================== -------------------------------------------------------------------------------- SYMPOSIUM on Computer Applications in Science, Engineering and Education CASEE 2008 http://www.uco.es/iscbd/casee2008 --------------------------------------------------------------------------------- Organised by: ------------------ Irene Luque Ruiz and Miguel Angel Gomez-Nieto University of Cordoba. Department of Computing and Numerical Analysis. Campus de Rabanales. Albert Einstein Building. E-14071 Cordoba (Spain). Phone: 0034-957-212082, Fax: 0034-957-218630 Description --------------- The First International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The development of software applications for the research and education is an activity that implies a high effort for researchers and teachers. The spread of these software resources and their sharing is a current demand for the investigation development and the improvement of the high education within the objectives of Bologna´s declaration. In this symposium, all fundamental points are addressed to the current progress and research in the development of computer applications aimed to support the investigation and teaching; in order to create a frame for sharing experiences and results and providing a forum to present and discuss emerging ideas and trends. Scope and Interest ------------------------ We invite research submissions on all topics related to software development including, but not limited to, these listed below: · Computational Chemistry and Chemometric · Computational physics · Computational Biology · Bioinformatics · Medical Informatics · Engineering Applications · Mathematical software · New Technologies and Innovation in High Education Instructions to the authors ---------------------------------- Instructions for contributions and templates can be found at http://www.uco.es/iscbd/casee2008 Contact ---------- Please email inquiries concerning CASEE 2008 to any of the organizers: Prof. Dr. Irene Luque Ruiz. Email: iluque at uco.es Prof. Dr. Miguel Ángel Gómez-Nieto. Email: mangel at uco.es ------------------------------------------------------------------------------------------ Prof. Dr. Miguel Ángel Gómez-Nieto University of Córdoba Department of Computer Science and Numerical Analysis Campus Universitario de Rabanales Albert Einstein Building E-14071 Córdoba (Spain) Tel: +34-957-212-082 Fax: +34-957-218-630 ------------------------------------------------------------------------------------------ **CONFIDENTIALITY NOTICE** This email communication and any attachments may contain confidential and privileged information for the sole use of the designated recipient named above. Distribution, reproduction or any other use of this transmission by any party other than the intended recipient is prohibited. If you are not the intended recipient please contact the sender and delete all copies. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Sat Aug 16 15:00:42 2008 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sat, 16 Aug 2008 15:00:42 +0200 Subject: LaSh08 - deadline extension Message-ID: <872bf010808160600y20da98ddq5880ae693045fc83@mail.gmail.com> [apologies for multiple postings] **** DEADLINE EXTENSION **** As you might recall, the intention of LaSH is to foster an exchange of ideas between the areas of SAT, CP and ASP. To this end, we have found excellent invited speakers (Pascal Van Hentenryck and Robert Nieuwenhuis) and are offering a workshop program which will contain technical contributions, system demonstrations and a panel with well-know experts from the different areas. LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 DEADLINE EXTENSION: August 25, 2008. ................................................................ IMPORTANT DATES: Submission: August 25, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: LaSh is the first workshop that aims to bring together researchers from the areas of Propositional Satisfiability (SAT), Constraint Programming (CP), and Answer Set Programming (ASP). While so far SAT, ASP and CP have developed as three independent disciplines, the past years have shown a trend in which the application domains of SAT, CP and ASP are more and more overlapping and the languages developed in these areas tend to converge. There is a growing awareness of the potential of combining techniques and algorithms from the different areas. Objectives ========== LaSh08 aims to offer a discussion forum for research in SAT, ASP and CP. We invite contributions on modeling languages, methodologies, theoretical analysis, techniques, algorithms and systems. The forum is an occasion to exchange ideas on the state-of-the-art; to discuss specific technical problems; to formulate challenges and opportunities ahead; to analyse differences and simularities between the different areas; to study opportunities for synergy and integration. In particular, we would like to foster exchange at least on the following topics: -- integrations of SAT, ASP and/or CP technologies -- comparisons of modeling languages -- criteria for choice of modeling languages (for modeling convenience or efficiency) -- new algorithm directions -- efficient modeling strategies -- new applications -- complexity results, tractable subsets -- completeness results (e.g. capturing complexity classes) -- methods for taking advantage of tractability results -- SAT modulo theories -- solver implementation techniques, -- algorithms for grounding -- modeling languages and constructs (aggregates, global constraints,..) -- search control and heuristics in the context of model generation -- symmetry breaking in model construction -- optimisation problems in model construction: -- languages for optimality criteria; -- algorithms for computing optimal models LaSh08 will also provide an opportunity for presentation of implemented systems and tools at a demo session. Thus, we invite submissions of systems and tools that reflect the above ideas, and aim at facilitating declarative problem solving, and making it practical and used. Workshop format: ================ The workshops objective is to create an informal, stimulating atmosphere for exchange of ideas. The invited speakers are well-known experts: * Pascal Van Hentenryck, Brown University, "Constraint Programming at Work ". * Robert Nieuwenhuis, Technical University of Catalonia, "The Barcelogic approach to search: fast and robust but expressive". A panel with experts of the different fields will be organized to discuss differences and similarities between the different areas, opportunities for integration, etc. Paper Format ============= Technical papers and application papers must be in the Springer LNCS format and must not exceed 15 pages. Experimental and tool papers are intended to describe implementations of systems, to report experiments with implemented systems, or to compare implemented systems. They can be at most 8 pages long in the LNCS style. The workshop has no formal proceedings; copies of the contributions will be available. Program Chair ============= * Marc Denecker, K.U.Leuven Organizing Committee ==================== * Enrico Giunchiglia, University of Genova * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Eugenia Ternovska Simon Fraser University * Mirek Truzczynski, University of Kentucky * Marc Denecker, K.U.Leuven Program Committee ================= * Peter Baumgartner, The Australian National University * Francesco Calimeri, University of Calabria * Koen Claessen, Chalmers University of Technology * Thomas Eiter, Vienna University of Technology * Wolfgang Faber, University of Calabria * Pierre Flener, Uppsala University * Alan Frisch, University of York * Enrico Giunchiglia, University of Genova * Daniel LeBerre, Universite d'Artois * Fangzen Lin, Hong kong University of Science and Technology * Ines Lynce, Universidade Tecnica de Lisboa * Tony Mancini, Sapienza Universita di Roma * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Pierre Marquis, Universite d'Artois * Ilkka Niemela, Helsinki University of Technology * Karem Sakallah, University of Michigan * Torsten Schaub, University of Potsdam * Barry O'Sullivan, University College Cork * Eugenia Ternovska Simon Fraser University * Mirek Truszcznski, University of Kentucky * Pascal Van Hentenryck, Brown University * Toby Walsh, University of New South Wales Local organisation ==================== * Marc Denecker, K.U.Leuven * Joost Vennekens, K.U.Leuven Venue ====== The workshop will take place in the Beguinage of Leuven, Belgium. Leuven is an old flemish town, hosting the oldest university of the lower countries. The Beguinage is a medieval city in the city, where the beguines lived together to form a religious community. The Beguinage is recognized as a Unesco World Heritage site. -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: CFP.txt URL: From Marc.Denecker at cs.kuleuven.be Fri Aug 15 22:30:44 2008 From: Marc.Denecker at cs.kuleuven.be (Marc Denecker) Date: Fri, 15 Aug 2008 22:30:44 +0200 Subject: LaSh08 DEADLINE EXTENSION Message-ID: <200808152030.m7FKUiSg004140@ray.cs.kuleuven.be.> LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 DEADLINE EXTENSION: August 25, 2008. ................................................................ IMPORTANT DATES: Submission: August 25, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: LaSh is the first workshop that aims to bring together researchers from the areas of Propositional Satisfiability (SAT), Constraint Programming (CP), and Answer Set Programming (ASP). While so far SAT, ASP and CP have developed as three independent disciplines, the past years have shown a trend in which the application domains of SAT, CP and ASP are more and more overlapping and the languages developed in these areas tend to converge. There is a growing awareness of the potential of combining techniques and algorithms from the different areas. Objectives ========== LaSh08 aims to offer a discussion forum for research in SAT, ASP and CP. We invite contributions on modeling languages, methodologies, theoretical analysis, techniques, algorithms and systems. The forum is an occasion to exchange ideas on the state-of-the-art; to discuss specific technical problems; to formulate challenges and opportunities ahead; to analyse differences and simularities between the different areas; to study opportunities for synergy and integration. In particular, we would like to foster exchange at least on the following topics: -- integrations of SAT, ASP and/or CP technologies -- comparisons of modeling languages -- criteria for choice of modeling languages (for modeling convenience or efficiency) -- new algorithm directions -- efficient modeling strategies -- new applications -- complexity results, tractable subsets -- completeness results (e.g. capturing complexity classes) -- methods for taking advantage of tractability results -- SAT modulo theories -- solver implementation techniques, -- algorithms for grounding -- modeling languages and constructs (aggregates, global constraints,..) -- search control and heuristics in the context of model generation -- symmetry breaking in model construction -- optimisation problems in model construction: -- languages for optimality criteria; -- algorithms for computing optimal models LaSh08 will also provide an opportunity for presentation of implemented systems and tools at a demo session. Thus, we invite submissions of systems and tools that reflect the above ideas, and aim at facilitating declarative problem solving, and making it practical and used. Workshop format: ================ The workshops objective is to create an informal, stimulating atmosphere for exchange of ideas. The invited speakers are well-known experts: * Pascal Van Hentenryck, Brown University, "Constraint Programming at Work ". * Robert Nieuwenhuis, Technical University of Catalonia, "The Barcelogic approach to search: fast and robust but expressive". A panel with experts of the different fields will be organized to discuss differences and similarities between the different areas, opportunities for integration, etc. Paper Format ============= Technical papers and application papers must be in the Springer LNCS format and must not exceed 15 pages. Experimental and tool papers are intended to describe implementations of systems, to report experiments with implemented systems, or to compare implemented systems. They can be at most 8 pages long in the LNCS style. The workshop has no formal proceedings; copies of the contributions will be available. Program Chair ============= * Marc Denecker, K.U.Leuven Organizing Committee ==================== * Enrico Giunchiglia, University of Genova * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Eugenia Ternovska Simon Fraser University * Mirek Truzczynski, University of Kentucky * Marc Denecker, K.U.Leuven Program Committee ================= * Peter Baumgartner, The Australian National University * Francesco Calimeri, University of Calabria * Koen Claessen, Chalmers University of Technology * Thomas Eiter, Vienna University of Technology * Wolfgang Faber, University of Calabria * Pierre Flener, Uppsala University * Alan Frisch, University of York * Enrico Giunchiglia, University of Genova * Daniel LeBerre, Universite d'Artois * Fangzen Lin, Hong kong University of Science and Technology * Ines Lynce, Universidade Tecnica de Lisboa * Tony Mancini, Sapienza Universita di Roma * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Pierre Marquis, Universite d'Artois * Ilkka Niemela, Helsinki University of Technology * Karem Sakallah, University of Michigan * Torsten Schaub, University of Potsdam * Barry O'Sullivan, University College Cork * Eugenia Ternovska Simon Fraser University * Mirek Truszcznski, University of Kentucky * Pascal Van Hentenryck, Brown University * Toby Walsh, University of New South Wales Local organisation ==================== * Marc Denecker, K.U.Leuven * Joost Vennekens, K.U.Leuven Venue ====== The workshop will take place in the Beguinage of Leuven, Belgium. Leuven is an old flemish town, hosting the oldest university of the lower countries. The Beguinage is a medieval city in the city, where the beguines lived together to form a religious community. The Beguinage is recognized as a Unesco World Heritage site. From eyasa at usa.net Sun Aug 17 09:47:48 2008 From: eyasa at usa.net (Dr. Eyas El-Qawasmeh) Date: Sun, 17 Aug 2008 01:47:48 -0600 Subject: CFP: Web X.0 and Web Mining Workshop - India Message-ID: <864mHqHUW5864S11.1218959268@cmsweb11.cms.usa.net> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Nuno.David at iscte.pt Mon Aug 18 07:36:22 2008 From: Nuno.David at iscte.pt (Nuno David) Date: Mon, 18 Aug 2008 06:36:22 +0100 Subject: CALL FOR PARTICIPATION IBERAMIA 2008 Message-ID: <001d01c900f4$683b3260$a14c0a0a@b> ********************************************************************** IBERAMIA 2008 - CALL FOR PARTICIPATION The 11th edition of the Ibero-American Conference on Artificial Intelligence October 14-17, 2008 Lisbon University Institute - ISCTE, Lisbon, Portugal http://www.adetti.pt/events/IBERAMIA2008 ********************************************************************** Latest NEWS * Preliminary Technical Programme for the main track http://adetti.iscte.pt/events/IBERAMIA2008/Main.php?contents=programme.htm * TAP Air Portugal offers discounts to participants http://www.adetti.pt/events/IBERAMIA2008 * Visit Lisbon! http://adetti.iscte.pt/events/IBERAMIA2008/Main.php?contents=visit_lisbon.htm -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexander.friedmann at uqam.ca Mon Aug 18 05:56:27 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Sun, 17 Aug 2008 23:56:27 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Sun, Aug 17, 2008 at 10:47 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From shilov at iis.nsk.su Mon Aug 18 06:14:03 2008 From: shilov at iis.nsk.su (shilov at iis.nsk.su) Date: Mon, 18 Aug 2008 11:14:03 +0700 Subject: WARNING! (3519295298) In-Reply-To: References: Message-ID: <724572923.20080818111403@iis.nsk.su> Hello event, Monday, August 18, 2008, 9:47:05 AM, you wrote: ea> This is an automated message from the ea> mailing list manager ea> List messages sent to your address have bounced. ea> If you read this message, your mail system has been probably fixed. ea> To clear the bounce counter and to prevent automatic cancelation of ea> your subscription, use the Reply command in your mailer. ea> Check that the Subject of the reply message contains ea> the confirmation ID: 3519295298, ea> and the reply is directed to ea> , ea> and the 'From' address of your reply is . ea> All requests about this mailing list ea> should be sent to -- Best regards, shilov mailto:shilov at iis.nsk.su From heymans at kr.tuwien.ac.at Mon Aug 18 13:37:41 2008 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Mon, 18 Aug 2008 13:37:41 +0200 Subject: CFP: ALPSWS 2008 in conjunction with ICLP 2008 Message-ID: *******Call for Papers - !!Deadline change: 8 September 2008!! ********** ALPSWS 2008 Third International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services http://www.kr.tuwien.ac.at/events/alpsws2008/ Udine, Italy in conjunction with the 24th International Conference on Logic Programming (ICLP 2008) December 9-13 2008 http://iclp08.dimi.uniud.it/ ****************************************************************************** One of the key challenges in making the static Web and dynamic applications such as Web services more intelligent is to introduce some form of automated reasoning. For example, the Semantic Web promises machine-readable semantics and a machine-processable Web through ontology-based annotation of static data on the Web and Web-based dynamic applications and services. Such annotation facilitates querying and aggregating data sources on the Web in a unified manner, as well as automating discovery, selection and composition of services. Reasoning technologies for services and data on the Web have typically focused on Description Logic (e.g., OWL DL) and Rule-based (RIF, RuleML) approaches and languages. In this workshop we focus on the latter with a particular focus on Logic Programming as a viable candidate paradigm for enabling intelligent and declarative Web applications. Many workshops and conferences that are dedicated to the Web arena deal mostly with generic topics and bring together people from a variety of research fields with different understandings of the topic. The plethora of these workshops and conferences make it hard to keep track of the various approaches of a particular technology such as Logic Programming in our case. We deliberately take a narrower focus to advance the application of LP as a paradigm for declarative knowledge representation and reasoning to the Web and Web services. Towards this aim we bring together researchers working on applications of LP to (Semantic) Web and Web services, as well as LP-based foundations for Semantic Web and Web service languages. ALPSWS 2008 is the 3rd workshop in its series, still following its original goals: - Bringing together people from different sub-disciplines of LP and focus on technological solutions and applications from LP to the problems of the Web. - Promoting further research in this interesting application field. Topics: ------- Possible topics include (but are not limited to): * Logic Programming based approaches for reasoning about Semantic Web languages such as RDF, RDFS, WSML, OWL, OWL-S, RuleML, SA-WSDL, SPARQL, RIF * Ontology Modeling and Mediation using Logic Programming * Deductive query answering in a Semantic Web context * Reasoning over large-scale ontologies * Reasoning with large instance data in the presence of ontologies * Logic-Programming based mashups for Linked Open Data * Combinations of Logic Programming and Description Logics * Modeling of and reasoning about Web services * Applications of Reasoning about actions and dynamics in the context of Web service discovery and composition * Interaction of Logic Programming and other technologies such as agents, constraint programming, etc. in a (Semantic) Web context * Applications, use cases, experimental results and benchmarks * Extensions of Logic Programming engines for Semantic Web (service) applications * Extensions of Logic Programming paradigms to tackle Web challenges, e.g., fuzzy logic programming to deal with uncertainty on the Web * Logic Programming and the application of Semantic Web technologies to Semantic content Sumbission Details: ------------------- We invite two forms of submission to this workshop: full papers and short papers. Full papers shall be up to 14 pages length, short papers 6 pages which could include position papers, system descriptions or preliminary work. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Submitted papers will be reviewed by at least two members of the program committee. Papers must be submitted electronically in PDF format. For paper submission we use the EasyChair conference management system: http://www.easychair.org/conferences/?conf=alpsws2008 Important Dates: ----------------------- Deadline for Submissions: September 8, 2008 Notification of acceptance: October 13, 2008 Camera-ready versions: November 3, 2008 Workshop: December 12, 2008 (to be confirmed) ICLP 2008 Conference: December 9 - 13, 2008 Program Committee: ---------------------------- Carlos Damasio, Universidade Nova de Lisboa, Portugal Thomas Eiter, TU Vienna, Austria Cristina Feier, TU Vienna, Austria Lukacsy Gergely, Budapest University of Technology and Economics, Hungary Gopal Gupta, University of Texas at Dallas, US Claudio Gutierrez, Universidad de Chile Giovambattista Ianni, University of Calabria, Italy Uwe Keller, STI Innsbruck, Austria Markus Kroetzsch, AIFB, University of Karlsruhe, Germany Zoe Lacroix, University of Arizona, US Wolfgang May, Göttingen University, Germany Enrico Pontelli, New Mexico State University, US Hans Tompits, TU Vienna, Austria Alejandro Vaisman, University of Toronto, Canada Maria Esther Vidal, Universidad Simon Bolivar, Venezuela Gerd Wagner, Brandenburg University of Technology, Germany Organization (alphabet.): -------------------------------- Jos de Bruijn, Free University of Bozen-Bolzano, Italy debruijn at inf.unibz.it Stijn Heymans, Vienna University of Technology, Austria heymans at kr.tuwien.ac.at David Pearce, Universidad Rey Juan Carlos, Spain davidandrew.pearce at urjc.es Axel Polleres, DERI, National University of Ireland, Galway axel.polleres at deri.org Edna Ruckhaus, Universidad Simon Bolivar Caracas, Venezuela ruckhaus at ldc.usb.ve -- Dr. Stijn Heymans Vienna University of Technology http://www.kr.tuwien.ac.at/staff/heymans/ From H.vandenHeuvel at let.ru.nl Wed Aug 20 11:04:22 2008 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Wed, 20 Aug 2008 11:04:22 +0200 Subject: Job ad for CLST, Radboud University Nijmegen In-Reply-To: References: Message-ID: Dear Mme/ Sir, Would you be so kind as to include the appended job ad in you distribution letter or website ? (See text below signature) Thanks! Henk van den Heuvel --------------------------------------------------------- CLST / SPEX Radboud University Nijmegen Erasmusplein 1 NL-6525 HT Nijmegen Netherlands ---------------------------------------------------------- Tel : +31 24 3611686 Fax : +31 24 3612907 e-mail: H.vandenHeuvel at let.ru.nl http://www.ru.nl/clst http://www.spex.nl --------------------------------------------------------- PhD 'Topic and Speaker Tracking in Broadcast Archives' (1.0 fte) Faculty of Arts Vacancy number: 23.35.08 Closing date: 31-08-2008 Job description The project focuses on indexing and retrieving information in multimedia archives, more specifically of programmes broadcasted by the Flemish broadcasting corporation VRT. The eventual goal of the project is to retrieve fragments in documents that concern specific topics or specific speakers. To that end broadcast documents must be segmented in fragments dealing with a specific topic or in fragments that are spoken by one and the same speaker. All speech must be automatically transcribed in text so that the fragments can be indexed. The task of the PhD is to carry out a requirements analysis, investigate topic detection scenarios, apply speaker detection techniques, and to develop and test an interactive retrieval procedures. The PhD thesis will consist of a collection of journal papers about the project elements mentioned above. The project will be carried out in close collaboration with the Catholic University of Leuven (Prof. H. Van Hamme). Requirements: The successful candidate must have a strong background in signal processing and pattern recognition and computer science. In addition, he/she must have an interest in human factors issues and user interface design. Good communication skills in English are essential, as well as a good record of collaboration in teams. Candidates must have been authorized to work in the EU. Organization The Faculty of Arts consists of eleven departments in the area of language and culture, history, history of arts, linguistics and business communication, which together cater for about 2,700 students and collaborate closely in teaching and research. The project will be carried out at the research institute Centre for Language Studies as part of the Linguistic Information Processing research programme. Conditions of employment The total duration of the contract is 3.5 years. The PhD student will receive an initial contract for the duration of 18 months with the possibility of prolongation for another 2 years. Informal enquiries should be made to Prof Dr David van Leeuwen (T +31 (0)346 356235; E david.vanleeuwen at gmail.com) or prof. dr Lou Boves (T +31 (0)24 361 2902; E L.Boves at let.ru.nl). Additional information The starting gross salary is € 2.000 per month based on a full-time employment. Preferable starting date: December 2008. From xrambous at aurora.fi.muni.cz Wed Aug 20 17:41:30 2008 From: xrambous at aurora.fi.muni.cz (TSD 2008) Date: Wed, 20 Aug 2008 17:41:30 +0200 Subject: TSD 2008 Last Call for Participation Message-ID: ********************************************************* TSD 2008 - LAST CALL FOR PARTICIPATION ********************************************************* Eleventh International Conference on TEXT, SPEECH and DIALOGUE (TSD 2008) Brno, Czech Republic, 8-12 September 2008 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. IMPORTANT DATES September 8-12 2008 ..... Conference date CONFERENCE PROGRAM The detailed conference program with links to presentation abstracts is now available on the conference web page http://www.tsdconference.org/tsd2008/tsd_prog.html The conference fee covers also a Welcome dinner on Tuesday, a night guided tour of Brno and the half day conference trip on Thursday to the Castle of Pernstejn, the Cerna Hora Moravian brewery with the conference dinner, and a night tour to the Chateau of Rajec nad Svitavou. KEYNOTE SPEAKERS Jerry Hobbs, ISI USC, USA Deep Lexical Semantics Frederick Jelinek, USA Toward the Ultimate ASR Language Model Elizabeth Shriberg, SRI, USA Practical Prosody: Modeling Language Beyond the Words Graeme Hirst, University of Toronto, Canada The Future of Text-Meaning in Computational Linguistics VENUE: Hotel AVANTI, Brno, Czech Republic CONFERENCE FEES The conference fee depends on the date of payment and on your status. It includes one copy of the printed Springer LNCS proceedings, refreshments, social events and organizing costs. The fee does not include accommodation. Full participant: On-site payment: CZK 12,000 Student: On-site payment: CZK 10,000 All costs are in Czech Crowns (Czech Koruna, CZK), see e.g. http://www.xe.com/ucc/ for the current exchange rate. TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series (as Volume 5246 this year). TOPICS Topics of the conference will include (but are not limited to): text corpora and tagging transcription problems in spoken corpora sense disambiguation links between text and speech oriented systems parsing issues parsing problems in spoken texts multi-lingual issues multi-lingual dialogue systems information retrieval and information extraction text/topic summarization machine translation semantic networks and ontologies semantic web speech modeling speech segmentation speech recognition search in speech for IR and IE text-to-speech synthesis dialogue systems development of dialogue strategies prosody in dialogues emotions and personality modeling user modeling knowledge representation in relation to dialogue systems assistive technologies based on speech and dialogue applied systems and software facial animation visual speech synthesis Papers on processing languages other than English are strongly encouraged. PROGRAM COMMITTEE Frederick Jelinek, USA (general chair) Hynek Hermansky, Switzerland (executive chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Attila Ferencz, Romania Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, Czech Republic Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Ernst G. Schukat-Talamazzini, Germany Pavel Skrelin, Russia Pavel Smrz, Czech Republic Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. OFFICIAL LANGUAGE The official language of the conference is English. ADDRESS All correspondence regarding the conference should be addressed to Dana Hlavackova, TSD 2008 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 33 29 fax: +420-5-49 49 18 20 email: tsd2008 at tsdconference.org The official TSD 2008 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400,000. The city is the country's judiciary and trade-fair center. Brno is the capital of Moravia, which is in the south-east part of the Czech Republic. Brno had been a Royal City since 1347 and with its six universities it forms also a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, Barcelona and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, some nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. PRESENTED PAPERS Marcin Szymanski and Stefan Grocholewski: Error Prediction-Based Semi-Automatic Segmentation of Speech Databases Zornitsa Kozareva and Rumen Moraliyski and Gael Dias: Web People Search with Domain Ranking Margus Treumuth: Normalization of Temporal Information in Estonian Andreas Maier, Julian Exner, Stefan Steidl, Anton Batliner, Tino Haderlein, Elmar Nöth: An Extension to the Sammon Mapping for the Robust Visualization of Speaker Dependencies Tobias Bocklet, Andreas Maier, Elmar Nöth: Age Determination of Children in Preschool and Primary School Age with GMM-Based Supervectors and Support Vector Machines/Regression Andreas Maier, Alexander Reuß, Christian Hacker, Maria Schuster, Elmar Nöth: Analysis of Hypernasal Speech in Children with Cleft Lip and Palate Mare Koit, Olga Gerassimenko, Riina Kasterpalu, Andriela Raabis, Krista Strandson: Developing a Dialogue System Todor Ganchev, Alexandros Lazaridis, Iosif Mporas, Nikos Fakotakis: Performance Evaluation for Voice Conversion Systems Wei Qiao, Maosong Sun, Wolfgang Menzel: Statistical Properties of Overlapping Ambiguities in Chinese Word Segmentation and a Strategy for Their Disambiguation Martin Raab, Rainer Gruhn, Elmar Noth: Multilingual Weighted Codebooks for Non-Native Speech Recognition Pere R. Comas and Jordi Turmo: Spoken Document Retrieval Based on Approximated Sequence Alignment Niksa Jakovljevic, Marko Janev, Darko Pekar, Dragisa Miskovic: Energy Normalization in Automatic Speech Recognition Darja Fiser, Benoit Sagot: Combining Multiple Resources to Build Reliable Wordnets Milena Slavcheva: Thinking in Objects Ladislav Kunc, Jan Kleindienst, Pavel Slavik: Talking Head as Life Blog Jaroslava Hlavacova and Marketa Lopatkova: Variants and Homographs Jaroslava Hlavacova, Michal Hrusecky: Affisix: Tool for Prefix Recognition Hiroki Mori, Tomoyuki Satake, Makoto Nakamura, Hideki Kasuya: UU Database: A Spoken Dialogue Corpus for Studies on Paralinguistic Information in Expressive Conversation Rok Gajsek, Janez Zibert, France Mihelic: Acoustic Modeling for Speech Recognition in Telephone Based Dialog System Using Limited Audio Resources Stanislav Ondas, Jozef Juhar, Anton Cizmar: Evaluation of the Slovak Spoken Dialogue System Based on ITU-T Tino Haderlein, Elmar Nöth, Andreas Maier, Maria Schuster, Frank Rosanowski: Influence of Reading Errors on the Text-Based Automatic Evaluation of Pathologic Voices Vaclava Kettnerova, Marketa Lopatkova and Klara Hrstkova: Semantic Classes in Czech Valency Lexicon Ivan Kopecek, Radek Oslejsek: Dialogue-Based Processing of Graphics and Graphical Ontologies Antti Suni, Martti Vainio: Deep Syntactic Analysis and Rule Based Accentuation in Text-to-Speech Synthesis Petr Cerva, Jindrich Zdansky, Jan Silovsky, Jan Nouza: Study on Speaker Adaptation Methods in the Broadcast News Transcription Task Adam Przepiorkowski, Michał Marcinczuk, Łukasz Degorski: Dealing with Small, Noisy and Imbalanced Data Laura Hasler: Spoken Requests for Tourist Information Petr Fousek, Lori Lamel, Jean-Luc Gauvain: On the Use of MLP Features for Broadcast News Transcription Ramón López-Cózar, Zoraida Callejas, Martin Kroul, Jan Nouza, Jan Silovsky: Two-Level Fusion to Improve Emotion Classification in Spoken Dialogue Systems Milan Rusko, Sakhia Darjaa, Marian Trnka, Viliam Zeman, Juraj Glovna: Making Speech Technologies Available in (Serviko) Romani Language Jaromir Plhak: Dialogue Based Text Editing Jan Curin and Jan Kleindienst: Architecture Model and Tools for Perceptual Dialog Systems Ana-Maria Barbu: First Steps in Building a Verb Valency Lexicon for Romanian Verginica Barbu Mititelu: Hyponymy Patterns Rodolfo Pazos and Rene Santaolalaya S. and Juan C. Rojas P., Joaquin Perez O.: Shedding Light on a Troublesome Issue in NLIDBS Remi Bove: A Tagged Corpus-Based Study for Repeats and Self-Repairs Detection in French Transcribed Speech Kaili Muurisep and Helen Nigol: Where Do Parsing Errors Come From Garimella S.V.S. Sivaram and Hynek Hermansky: Emulating Temporal Receptive Fields of Higher Level Auditory Neurons for ASR Oldrich Plchot, Valiantsina Hubeika, Lukas Burget, Petr Schwarz, Pavel Matejka: Acquisition of Telephone Data from Radio Broadcasts with Applications to Language Recognition Petr Motlicek, Sriram Ganapathy, Hynek Hermansky, Harinath Garudadri, Marios Athineos: Perceptually Motivated Sub-Band Decomposition for FDLP Audio Coding Siska Fitrianie and Leon J.M. Rothkrantz: The Generation of Emotional Expressions for a Text-Based Dialogue Agent Dimitris Spiliotopoulos, Georgios Petasis, Georgios Kouroupetroglou: A Framework for Language-Independent Analysis and Prosodic Feature Annotation of Text Corpora Jan Romportl: Prosodic Phrases and Semantic Accents in Speech Corpus for Czech TTS Synthesis George Tsatsaronis : Word Sense Disambiguation with Semantic Networks Alain Loisel, Jean-Philippe Kotowicz, Nathalie Chaignaud: An Issue-Based Approach to Information Search Modelling: Analysis of a Human Dialog Corpus Kinfe Tadesse Mengistu and Andreas Wendemuth: Accent and Channel Adaptation for Use in a Telephone-Based Spoken Dialog System Ben Allison: Sentiment Detection Using Lexically-Based Classifiers Sanaz Jabbari, Ben Allison and Louise Guthrie: An Empirical Bayesian Method for Detecting Out of Context Words Hemant A. Patil, Robin Jain, Prakhar Jain: Identification of Speakers from Their Hum Sotiris Karabetsos, Pirros Tsiakoulis, Aimilios Chalamandaris, Spyros Raptis: HMM-Based Speech Synthesis for the Greek Language Richard Farkas, Veronika Vincze, Istvan Nagy, Róbert Ormandi, Gyorgy Szarvas, Attila Almasi: Web-Based Lemmatisation of Named Entities Piotr Majewski: Syllable Based Language Model for Large Vocabulary Continuous Speech Recognition of Polish Sree Hari Krishnan Parthasarathi, Petr Motlicek, Hynek Hermansky: Exploiting Contextual Information for Speech/Non-Speech Detection Ivan Habernal, Miloslav Konopik: Active Tags for Semantic Analysis Jiri Kopecky, Ondrej Glembek, Martin Karafiat: Advances in Acoustic Modeling for the Recognition of Czech Fernando Batista, Nuno Mamede, Isabel Trancoso: Temporal Issues and Recognition Errors on the Capitalization of Speech Transcriptions Olga Mitrofanova, Olga Lashevskaya, Polina Panicheva: Statistical Word Sense Disambiguation in Contexts for Russian Nouns Denoting Physical Objects Agnieszka Mykowiecka, Małgorzata Marciniak, Katarzyna Głowinska: Automatic Semantic Annotation of Polish Dialogue Corpus Balint Sass: The Verb Argument Browser Jachym Kolar: A Comparison of Language Models for Dialog Act Segmentation of Meeting Transcripts France Mihelic, Bostjan Vesnicer, Janez Zibert, Elmar Noth: Prosodic Events Recognition in Evaluation of Speech-Synthesis System Performance Stefan Steidl, Anton Batliner, Elmar Noth, Joachim Hornegger: Quantification of Segmentation and F0 Errors and Their Effect on Emotion Recognition Qiang Zhou: A Computational Framework to Integrate Different Semantic Resources Louis ten Bosch, Lou Boves: Language Acquisition: the Emergence of Words from Multimodal Input Ales Mihelic, Jerneja Zganec Gros: Efficient Unit-Selection in Text-to-Speech Synthesis Jerneja Zganec-Gros, Stanislav Gruden: MSD Recombination for Statistical Machine Translation into Highly-Inflected Languages Sun Maosong, Xu Dongliang, Benjamin K.Y. T'sou, Lu Huaming: Disyllabic Chinese Word Extraction Based on Character Thesaurus and Semantic Constraints in Word-Formation Alexey Karpov, Andrey Ronzhin, Anastasia Leontyeva: A Semi-Automatic Wizard of Oz Technique for Let'sFly Spoken Dialogue System Amel Achour, Jeanne Villaneau, Dominique Duhaut: Cognitive and Emotional Interaction Tomas Dubeda, Jan Raab: Pitch Accents, Boundary Tones and Contours: Automatic Learning of Czech Intonation Derek Flood, Kevin Mc Daid, Fergal Mc Caffery, Brian Bishop: Intelligent Voice Navigation of Spreadsheets Anastasia Leontyeva, Ildar Kagirov: The Module of Morphological and Syntactic Analysis SMART Serguei Pakhomov, Jayson Richardson, Matt Finholt-Daniel, Gregory Sales: Forced-Alignment and Edit-Distance Scoring for Vocabulary Tutoring Applications Petr Horak: Czech Pitch Contour Modeling Using Linear Prediction Miroslav Vacura and Vojtech Svatek and Pavel Smrz: A Pattern-Based Framework for Uncertainty Representation in Ontologies Joel Pinto, Garimella S.V.S. Sivaram, Hynek Hermansky: Reverse Correlation for Analyzing MLP Posterior Features in ASR Vojtech Kovar, Ales Horak, Vladimir Kadlec: New Methods for Pruning and Ordering of Syntax Parsing Trees Noor Shaker, Mohamed Abou-Zleikha, Oumayma Al Dakkak: SSML for Arabic Language Javier Tejada-Carcamo, Hiram Calvo, Alexander Gelbukh: Improving Unsupervised WSD with a Dynamic Thesaurus DEMONSTRATIONS Hemant A. Patil, Robin Jain, Prakhar Jain: Identification of Speakers from Their Hum Aleksander Buczyński, Adam Przepiórkowski: An Open Source Tool for Partial Parsing and Morphosyntactic Disambiguation Cerva, Zdansky, Nouza: On-line and off-line speech recognition systems for Czech language Neeme Kahusk: Python Module and GUI for EuroWordNet Jörg Ritter, Susanne Schütz: Unintrusive IT for philological editing From csoares at fep.up.pt Thu Aug 21 19:30:19 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Thu, 21 Aug 2008 18:30:19 +0100 Subject: Ph.D. grant available - Project Rank! Message-ID: <48ADA62B.8020702@fep.up.pt> _*UNIVERSIDADE DO PORTO*_ RESEARCH GRANT The Rank! Project (http://www.liaad.up.pt/csoares/rank) is looking for researchers in Artificial Intelligence/Data Mining to do work in Machine Learning methods for predicting rankings. Description The Rank! Project (PTDC/EIA/81178/2006) is funded by the Portuguese Government (Fundação para a Ciência e Tecnologia). The main goal is to develop of a methodology for predicting rankings. The problem of learning to predict rankings is similar to the problem of supervised classification in Machine Learning/Data Mining. However, the goal is not to predict which class each example belong to but to rank the classes for each example. There are several applications that involve predicting rankings (e.g., recommender systems on the web, stock trading, medical diagnosis, marketing and sales), thus, the amount of research dedicated to this problem is increasing. The grantees will work on one or more of the tasks involved in developing a methodology for predicting rankings, namely: * formalization of the problem * development/adaptation of Machine Learning methods for the problem of predicting rankings * development of evaluation measures for the problem of predicting rankings * application of the methodology developed on practical problems The project and the grants are managed by the Faculdade de Economia do Porto and the work will be carried out at LIAAD-INESC Porto L.A. (http://www.liaad.up.pt), in Porto, Portugal. More information: * http://www.liaad.up.pt/csoares/rank * contact Carlos Soares (+351-223392095 or csoares at fep.up.pt) Profile Eligible academic levels include undergraduate, B.Sc., Lic. and M.Sc. from any nationality. Minimal requirements: * Good knowledge of Artificial Intelligence and Machine Learning * Knowledge of programming * Knowledge of Statistics * Strong motivation to work in research * Interest in pursuing studies (Ph.D.) Desirable abilities: * Programming in R * Experience in the problem of learning to predict rankings Selection criteria: * Analysis of curriculum vitae * Suitability of the candidate's profile for the position * Optional interview (Note: The Faculdade de Economia do Porto may only interview the candidates who are better positioned after analysis of the application documents). The Faculdade de Economia do Porto may not hire any candidate, in case none of the applicants has a suitable profile. Conditions The grant is predicted to start in 29 September 2008 and has a duration of 6 or 12 months, depending on the profile of the selected applicant, and may be extended up to 3 years. Full time dedication is required, according to Portuguese Law (Lei nº 40/2004). The salary is defined in the corresponding FCT regulations, with current approximate values of (http://www.fct.mctes.pt/pt/apoios/bolsas/valores/): * 385 € per month for undergraduate and B.Sc. * 745 € per month for Lic. * 980 € per month for M.Sc. The funding organization will be in charge of costs with social welfare, according to the Portuguese Law (Lei nº 40/2004) and an insurance for personal injuries, according to the regulation for grants of the Universidade do Porto (http://sigarra.up.pt/rscup/noticias_geral.ver_noticia?p_nr=168). Application Submit via email to D. Lídia Soares (lidia at fep.up.pt) until *15 September 2008*, the following documents: * application letter * curriculum vitae * copy of certificate of academic level or courses completed in current level *This project is funded by FCT, through PIDDAC.* Faculty of Economics University of Porto Dean of the Faculty of Economics (Prof. Doutor José da Silva Costa) From fs at doc.ic.ac.uk Thu Aug 21 19:19:51 2008 From: fs at doc.ic.ac.uk (F Sadri) Date: Thu, 21 Aug 2008 18:19:51 +0100 Subject: CLIMA-IX Call for Participation Message-ID: <48ADA3B7.6000803@doc.ic.ac.uk> CLIMA-IX 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) [Co-located with 11th European Conference on LOGICS IN ARTIFICIAL INTELLIGENCE (JELIA-08)] Technische Universität Dresden, Germany 29th-30th September, 2008 REGISTRATION/PARTICIPATION: Registration for CLIMA is now open. This must be carried out via the JELIA registration page http://www.jelia.eu/2008/coming/registration.html Note that the deadline for early registration is August 20th. BACKGROUND: Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations. AIM AND SCOPE: The aim of CLIMA is to bring together active researchers from all the above areas to discuss and present their work. Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * logical foundations * extensions of logic programming * modal logic approaches * logic-based programming languages * non-monotonic reasoning * decision theory * hypothetical reasoning and learning * knowledge and belief representation and updates * operational semantics and execution agent models * model checking approaches using (multi-)agent logics * semantics of interaction and agent communication languages * distributed constraint satisfaction * temporal reasoning * distributed theorem proving * logic-based implementations * specification and verification of formal properties INVITED SPEAKERS: * Mehdi Dastani Title: Programming Multi-Agent Systems: Issues and Milestones Abstract: The development of multi-agent systems requires programming languages that facilitate the implementation of autonomous agents and mechanisms that control and regulate agents' behaviours. It also requires computational tools to verify multi-agent programs. In this talk, I give a brief overview of recent developments in this research field and discuss concepts, tools and techniques that are used in different multi-agent programming approaches. In particular, I will focus on a multi-agent programming language called 2APL (A Practical Agent Programming Language) and explain different approaches to verify 2APL programs. * Wojtek Jamroga Title: Does Complexity Matter? Abstract: A study of computational complexity is nowadays almost obligatory in a paper on logic in MAS. Authors usually study the complexity of model checking and/or satisfiability checking of their logics in order to back the usefulness of the logics with a formal argument. In my talk, I suggest that the results are often removed from the "practical" complexity which is encountered when one tries to use the formalisms in reality. Moreover, it is possible to manipulate the context so that different complexity results are obtained for the same problem. I support the claim with a review of complexity results for model checking of temporal and strategic logics. I also briefly discuss some ideas that might help to reduce the real complexity of computation, at the expense of either generality or accuracy. ACCEPTED PAPERS: * Contracts Violation: Justification via Argumentation - Stefania Costantini, Arianna Tocchio and Panagiota Tsintza. * Specification and Dynamic Verification of Agent Properties - Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira and Panagiota Tsintza. * Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall - Catalin Dima. * Iterated Belief Revision for Legal Belief - Yoshitaka Suzuki. * Probabilistic Planning with Imperfect Sensing Actions using Hybrid Probabilistic Logic Programs - Emad Saad. * Verifying Agents Conformance with Multiparty Protocols - Laura Giordano and Alberto Martelli. * Bounded-Resource Reasoning as (Strong or Classical) Planning - Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini and Brian Logan. * Embedding linear-time temporal logic into inifinitary logic: Application to the Cut-Elimination Theorem for a Multi-Agent Infinitary Epistemic Linear-Time Temporal Logic - Norihiro Kamide. * Argument-based Decision Making and Negotiation in E-business: Contracting a Land Lease for a Computer Assembly Plant - Phan Minh Dung, Phan Minh Thang and Nguyen Duy Hung. * Towards an Argument-based Model of Legal Doctrines in Common Law of Contracts - Phan Minh Dung and Phan Minh Thang. * Programming Social Processes with Action Languages - Juan Manuel Serrano and Sergio Saugar. * A Stochastic Agent Logic and its Model Checking - Marius Bujorianu and Manuela Luminita Bujorianu. From alex at nittka.de Wed Aug 20 13:41:43 2008 From: alex at nittka.de (Alexander Nittka) Date: Wed, 20 Aug 2008 13:41:43 +0200 Subject: subscribe Message-ID: <48AC02F7.9090907@nittka.de> From go-crazy at gmx.de Wed Aug 20 13:58:06 2008 From: go-crazy at gmx.de (Alexander Nittka) Date: Wed, 20 Aug 2008 13:58:06 +0200 Subject: Confirmation Request (1149073777) In-Reply-To: References: Message-ID: <48AC06CE.5060401@gmx.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: 1149073777, > 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 nittka at informatik.uni-leipzig.de Wed Aug 20 13:40:48 2008 From: nittka at informatik.uni-leipzig.de (Alexander Nittka) Date: Wed, 20 Aug 2008 13:40:48 +0200 (CEST) Subject: Kein Betreff Message-ID: From nittka at informatik.uni-leipzig.de Wed Aug 20 14:24:44 2008 From: nittka at informatik.uni-leipzig.de (Alexander Nittka) Date: Wed, 20 Aug 2008 14:24:44 +0200 (CEST) Subject: Confirmation Request (2931050705) In-Reply-To: References: Message-ID: From alex at nittka.de Wed Aug 20 14:26:17 2008 From: alex at nittka.de (Alexander Nittka) Date: Wed, 20 Aug 2008 14:26:17 +0200 Subject: Confirmation Request (1149073777) In-Reply-To: References: Message-ID: <48AC0D69.7050605@nittka.de> From td at cs.uns.edu.ar Fri Aug 22 15:22:23 2008 From: td at cs.uns.edu.ar (Telma Delladio) Date: Fri, 22 Aug 2008 10:22:23 -0300 Subject: WARNING! (0185700129) In-Reply-To: References: Message-ID: On Mon, Jul 28, 2008 at 10:41 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0185700129, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- :) tdf -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hpwu at world-research-institutes.cn Fri Aug 22 16:04:08 2008 From: hpwu at world-research-institutes.cn (Hongping Wu) Date: Fri, 22 Aug 2008 22:04:08 +0800 Subject: =?GB2312?B?Q1NJRSAyMDA5LCBMb3MgQW5nZWxlcywgU3VibWlzc2lvbnM6IFNlcHRlbWJlciAzMA==?= Message-ID: <20080822222258.A9E0425BC40@selket.rz.tu-clausthal.de> 2009 World Congress on Computer Science and Information Engineering (CSIE 2009) March 31 - April 2, 2009 Los Angeles/Anaheim, USA http://world-research-institutes.org/conferences/CSIE/2009 CALL FOR PAPERS & EXPO The Los Angeles/Anaheim area is known for its many renowned attractions, such as Disneyland, Universal Studios and the Hollywood Walk of Fame. Very few cities in the world offer as much entertainment, excitement and diversity as Los Angeles/Anaheim does. CSIE 2009 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in computer science and information engineering. CSIE 2009 consists of the following Technical Symposiums: * Communications & Mobile Computing Symposium * Computer Applications Symposium * Computer Design & VLSI Symposium * Data Mining & Data Engineering Symposium * Intelligent Systems Symposium * Multimedia & Signal Processing Symposium * Software Engineering Symposium CSIE 2009 conference proceedings will be published by the IEEE Computer Society and all papers in the proceedings will be included in EI Compendex, ISTP, and IEEE Xplore. In addition to research papers, CSIE 2009 also seeks exhibitions of modern products and equipment for computer science and information engineering. Important Dates: Paper/Abstract Submission Deadline: September 30, 2008 Review Notification: November 15, 2008 Final Papers and Author Registration Deadline: December 7, 2008 Organizing Committee: General Chair: Adrian Martin, World Research Institutes, USA Program Chair: Mark Burgin, University of California at Los Angeles, USA Symposium Chairs: Jane Dong, California State University at Los Angeles, USA Chan H. Ham, University of Central Florida, USA Simone Ludwig, University of Saskatchewan, Canada Weilian Su, Naval Postgraduate School, USA Sumanth Yenduri, University of Southern Mississippi, USA Publicity Chair: Nitin Upadhyay, Birla Institute of Technology and Science (BITS), India (Please forward to those who may be interested.) (To unsubscribe all WRI announcements, please reply with subject "Unsubscribe ALL event at in.tu-clausthal.de". Thanks and apologies) (To unsubscribe CSIE announcements only, please reply with subject "Unsubscribe CSIE event at in.tu-clausthal.de".) From Thomas.Lukasiewicz at kr.tuwien.ac.at Mon Aug 25 10:13:47 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Mon, 25 Aug 2008 09:13:47 +0100 Subject: SUM 2008: Call for Participation Message-ID: <48B269BB.1080905@kr.tuwien.ac.at> CALL FOR PARTICIPATION Second International Conference on Scalable Uncertainty Management (SUM 2008) October 1-3, 2008 Naples, Italy http://www.kr.tuwien.ac.at/staff/lukasiew/sum08/ Originally, managing uncertainty and inconsistency has especially been explored in Artificial Intelligence. During the recent years, especially with the availability of massive amounts of data in different repositories and the possibility of integrating and exploiting these data, technologies for managing uncertainty and inconsistency have started to play a key role in databases and the Web. Some of the most prominent such technologies are probably the ranking algorithms standing behind web search engines. Techniques for handling uncertainty and inconsistency are expected to play a similarly important role in the context of the Semantic Web. The annual International Conference on Scalable Uncertainty Management (SUM) has grown out of this very large interest on managing uncertainty and inconsistency in databases, the Web, the Semantic Web, and AI. It aims at bringing together all those interested in the management of large volumes of uncertainty and inconsistency, irrespective of whether they are in databases, the Web, the Semantic Web, or in AI. The very successful First International Conference on Scalable Uncertainty Management (SUM 2007) was held in Washington DC, USA, October 10-12, 2007 (see http://www.umiacs.umd.edu/conferences/sum2007/). The Second International Conference on Scalable Uncertainty Management (SUM 2008) will be held in Naples, Italy, October 1-3, 2008. EARLY REGISTRATION DEADLINE September 1, 2008 INVITED TALKS "Heavy Tails and Web Models" Prabhakar Raghavan (Yahoo! Research, USA) "Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do" Dan Suciu (University of Washington, USA) INVITED TUTORIAL "Consistent Query Answering: The First Ten Years" Jan Chomicki (State University of NY-Buffalo, USA) ACCEPTED PAPERS "Frequent Itemset Mining from Databases Including One Evidential Attribute" M.A. Bach Tobji, B. Ben Yaghlane, K. Mellouli "Evaluating Trustworthiness from Past Performances: Interval-based Approaches" J. Ben-Naim, H. Prade "A Comparative Study of Six Formal Models of Causal Ascription" S. Benferhat, J.-F. Bonnefon, P. Chassy, R. Da Silva Neves, D. Dubois, F. Dupin de Saint-Cyr, D. Kayser, F. Nouioua, S. Nouioua-Boutouhami, H. Prade, S. Smaoui "An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs" S. Benferhat, K. Tabia "Transitive Observation-Based Causation, Saliency, and the Markov Condition" J.-F. Bonnefon, D. Dubois, H. Prade "A Family of Tolerant Antidivision Operators for Database Fuzzy Querying" P. Bosc, O. Pivert "Uncertainty Management for the Retrieval of Economic Information from Distributed Markets" R. Brunner, F. Freitag, L. Navarro "Loopy Propagation in a Probabilistic Description Logic" F.G. Cozman, R.B. Polastro "On the Performance of Fuzzy Data Querying" M. Curiel, C. González, L. Tineo, A. Urrutia "Tractable Reasoning with Bayesian Description Logics" C. d'Amato, N. Fanizzi, T. Lukasiewicz "Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases" N. Di Mauro, T.M.A. Basile, S. Ferilli, F. Esposito "Fusing Uncertain Structured Spatial Information" F. Dupin de Saint-Cyr, R. Jeansoulin, H. Prade "A Neuro Fuzzy Approach for Handling Structured Data" A. Ferone, A. Petrosino "A Framework for the Partial Evaluation of SPARQL Queries" S. Flesca, F. Furfaro, A. Pugliese "An Evolutionary Perspective on Approximate RDF Query Answering" C. Gueret, E. Oren, S. Schlobach, M. Schut "Clustering Uncertain Data via K-medoids" F. Gullo, G. Ponti, A. Tagarelli "Speeding up the NRA Algorithm" P. Gursky, P. Vojtas "Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory" Y. Jiang, H. Dong "A Personalized Approach to Experience-Aware Service Ranking and Selection" F. Klan, B. Koenig-Ries "Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results" S. Langevin, M. Valtorta "Optimization of Queries over Interval Probabilistic Data" M. Magnani, D. Montesi "Polynomial Time Queries over Inconsistent Databases" C. Molinaro "Using OBDDs for Efficient Query Evaluation on Probabilistic Databases" D. Olteanu, J. Huang "A Logical Framework to Reinforcement Learning using Hybrid Probabilistic Logic Programs" E. Saad "On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability" E. Saad "Scaling Most Probable World Computations in Probabilistic Logic Programs" G.I. Simari, M.V. Martinez, A. Sliva, V.S. Subrahmanian "Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs" A. Yue, W. Liu, A. Hunter FURTHER INFORMATION For further information, including information on registration, accommodation, and travel, please refer to the SUM 2008 web site: http://www.kr.tuwien.ac.at/staff/lukasiew/sum08/ From rcra08 at dis.uniroma1.it Mon Aug 25 15:07:31 2008 From: rcra08 at dis.uniroma1.it (RCRA 2008) Date: Mon, 25 Aug 2008 15:07:31 +0200 Subject: RCRA 2008: 1 week to the abstract submission Message-ID: <48B2AE93.3020809@dis.uniroma1.it> [apologies for multiple postings] * ____________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://www.dis.uniroma1.it/~rcra organises the 15th RCRA international workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://www.dis.uniroma1.it/~rcra08 rcra08 at dis.uniroma1.it * ____________________________________________________________________ * This workshop follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meeting, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. *** Workshop post-proceedings will be published in the Elsevier *** *** Journal of Algorithms in Logic, Informatics and Cognition. *** * ____________________________________________________________________ * DATES Two days in December 2008, co-located with ICLP 2008 (9-13 December 2008) (exact dates to be announced) VENUE Udine, Italy AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: o knowledge representation o automated reasoning o planning o scheduling o agents and distributed systems o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization Contributions are solicited about (the list is not exhaustive): * Experimental evaluation of algorithms * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. Although the spirit of the workshop is informal, a second formal stage is expected, with a second round of reviews for the selection of extended versions of the papers to appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition. WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy PROGRAM COMMITTEE Gilles Audemard, Université d'Artois, France Matteo Baldoni, Università di Torino, Italy Francesco Buccafurri, Università Mediterranea di Reggio Calabria,Italy Francesco Calimeri, Università della Calabria, Italy Stefania Costantini, Università dell'Aquila, Italy Luca Di Gaspero, Università di Udine, Italy Khalil Djelloul, Université d'Orléans, France Marco Gavanelli, Università di Ferrara, Italy Daniel Le Berre, Université d'Artois, France Ines Lynce, Universidade Técnica de Lisboa, Portugal Toni Mancini, Sapienza Università di Roma, Italy Marco Maratea, Università di Genova, Italy Joao Marquez-Silva, University of Southampton, UK Pedro Meseguer, Consejo Superior de Investigaciones Científicas, Spain Nicola Policella, European Space Agency, Germany Steve Prestwich, Cork Constraint Computation Centre, Ireland Luca Pulina, Università di Genova, Italy Francesco Ricca, Università della Calabria, Italy Fabrizio Riguzzi, Università di Ferrara,Italy Daniel Singer, Université de Metz, France Kostas Stathis, Royal Holloway, University of London, UK Kostas Stergiou, University of the Aegean, Greece Mirek Truszczynski, University of Kentucky, USA Richard Wallace, Cork Constraint Computation Centre, Ireland HOST ORGANIZATION Università di Udine, Italy LOCAL COMMITTEE Luca Di Gaspero, Università degli Studi di Udine, Italy Stefano Benedettini, Università degli Studi di Udine, Italy Sara Ceschia, Università degli Studi di Udine, Italy Andrea Schaerf, Università degli Studi di Udine, Italy SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. All submissions must be in PDF format, do not exceed 10 pages, and should be written in Latex, using the standard Article style, 11pt. Papers should be submitted electronically via email to rcra08 at dis.uniroma1.it All submissions will be reviewed by at least three members of the program committee. Papers accepted at the workshop will be electronically published on the workshop web site. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of accepted papers will have the opportunity to participate in the selection for the post-proceedings by submitting an extended version of their work. Workshop post-proceedings will appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any previous version already published in formal conference proceedings. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed (cf. important dates). Hence, authors are invited to work on their paper mainly before the workshop date. IMPORTANT DATES * Abstract submission deadline: 1 September 2008 * Papers submission deadline: 15 September 2008 * Notification of acceptance/reject: 25 October 2008 * Final version due: 15 November 2008 * Workshop: Around 9-13 December 2008 SELECTION FOR POST-PROCEEDINGS (special issue of Elsevier J. of Algorithms in Logic, Informatics and Cognition) * Extended papers submission deadline: 15 January 2009 * Notification of reviews of the 1st round: 28 February 2009 * Re-submission deadline (for papers not accepted with minor rev.): 15 April 2009 * Final notification of acceptance: 1 May 2009 * Final version due: 15 May 2009 -- http://www.dis.uniroma1.it/~rcra08/ -- -- http://www.dis.uniroma1.it/~rcra08/ From tag at hib.no Tue Aug 26 12:54:07 2008 From: tag at hib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Tue, 26 Aug 2008 12:54:07 +0200 Subject: EUMAS-2009: Call for bids Message-ID: ************************************* *** CALL FOR BIDS TO HOST *** *** EUMAS-2009 *** ************************************* BACKGROUND ---------- After Oxford, Barcelona, Brussels, Lisbon, Hammamet, and Bath, EUMAS is looking for a seventh host. The previous events attracted on average about 100 participants over 2 days, shortly before Christmas. We expect EUMAS'09 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 the local organization committee (local chair, and possibly finance and sponsorship chairs) while the general chair and the programme chair will be selected by the EUMAS Advisory Board. BIDDING PROCEDURE ----------------- While there is no set format for proposals, potential applicants should address the following aspects: 1. Organisational structure. - who is/are 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 facilities are available at this site? - what previous events have taken place at the site? - what are the attractive features of this venue? - how accessible is the venue? - what are the options for accommodation near 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? Proposers are expected to have received prior approval from their respective organisations to host the event. Proposals should be submitted by email to the chair of the EUMAS Advisory Board (chair at eumas.org) before *** October 30, 2008 *** . The Advisory Board hopes to make a decision before or during EUMAS'08. For further question or inquiries, send an email to chair at eumas.org. From cxea at uralhosting.ru Tue Aug 26 15:36:49 2008 From: cxea at uralhosting.ru (Mike Johanson) Date: Tue, 26 Aug 2008 19:36:49 +0600 Subject: Full-time job in Germany Message-ID: <001a01c907b3$156c0170$00ffbfd4@notetimur> International company seeks for representative in Germany. Part-time and full-time positions available. The job is based on administrative/customer service support. Immediate need for customer service representative seeking fun working environment, opportunity for advancement and hands on training provided. Will be responsible for supporting sales team, and resolving customer related issues for consumer product/services company. Great benefits. No money required (we are serious company located in Sweden, we will never ask our representatives any money in prior). Salary: - 3000 EUR monthly income/part-time job - 5000 EUR monthly income/full time job Benefits: - No relocation required - Comprehensive medical and life insurance - Professional, fun and highly motivated work environment - Outstanding benefits/compensation for full-time, permanent associates - Competitive base pay - TAX refund and all travel fees are repaid Please, contact our HR department at job at jerixgroup.com if you are interested. Mike Johanson Jetix Group Inc. 15 mauvas str B 33,, FI-00837 Stockholm, Sweden +46 139836625 REPLY DIRECTY TO: job at jerixgroup.com From nbassili at csd.auth.gr Tue Aug 26 15:59:24 2008 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Tue, 26 Aug 2008 16:59:24 +0300 Subject: RuleML-2008: Call for Participation Message-ID: <48B40C3C.8060407@csd.auth.gr> [ our apologies should you receive this message more than one time ] ===================================================================== CALL FOR PARTICIPATION 2008 International RuleML Symposium on Rule Interchange and Applications (RuleML-2008) October 30-31, 2008, Orlando, Florida http://2008.ruleml.org *** The early registration deadline is on 19 September 2008 *** Register by September 19, receive $100 off. Special team discounts also available ===================================================================== Open Calls for RuleML-2008 Challenge/Showcase Demos, Lightning/Highlight Talks & Fast Abstracts http://2008.ruleml.org/lightning.php Submission deadline: September 15 ===================================================================== We invite you to attend the 2008 International RuleML Symposium on Rule Interchange and Applications (RuleML-2008) to be held during October 30-31, 2008 in Orlando, Florida. As this is a relatively new event, being only its 2nd year, participants can make a difference about shaping the future direction and structure of the field, including about rule standards supporting their own approaches and about their own possible involvement in the organization of future events. Co-located with the 11th International Business Rules Forum, RuleML-2008 provides a unique opportunity to exchange your ideas about practical distributed rule technologies and rule-based applications. Meet the Web rules experts and discuss with them status and progress of the rules technology. Discuss your recent work with colleagues in the informal atmosphere of the symposium. You should not miss the high-quality technical presentations, the innovative applications presented in detail and the state of the art reports of the plenary speakers. RuleML-2008 is a must for all people active in rules technologies or entering the field. The scope of RuleML-2008 covers all topics relevant to rule-based technologies, rule interchange formats and rule-based applications as well as discussions of lessons learned that have to be taken into account when employing rule-based technologies in distributed, (partially) open, heterogeneous environments. ======================= Technical Program ======================= The symposium will feature a strong, single-track technical program consisting of: * Keynote speakers: o Michael Kifer (State University of New York at Stony Brook), on "Rule Interchange Format: Not Just Syntax". Joint keynote between RuleML-2008 and RR2008. o David Luckham (Stanford University, USA) on "The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems". o Paul Haley (Haley Systems, Inc) on "Event and Process Semantics will Rule". o Benjamin Grosof (Vulcan, Inc.) on the SILK KRR system of the HALO project. * Joint Lunch Panel held in conjunction with the co-located Business Rules Forum on "Rules on the Web". * Lightning talks/Highlight talks * A RuleML-2008 Challenge with prizes to demonstrate tools, use cases, and applications. * Industry, demo and scientific research & development papers and presentations advancing and assessing the state of the art in event and rule-based systems selected in a peer-reviewed fashion by an international program committee. * Papers will be published as a Springer LNCS proceedings. A special issue (IEEE TKDE pending) will be forthcoming. * Social events to promote networking among the symposium delegates in an informal setting. The full symposium program is available at: http://2008.ruleml.org/program.php ========================== RuleML-2008 Registration ========================== Early Registration Deadline: September 19, 2008 Late Registration Deadline: after September 19, 2008 RuleML-2008 Symposium: October 30-31, 2008 The registration page is available at: http:/2008.ruleml.org/registration.php As shown there, special discounts are available for our collaboration partners and sponsors, as well as a group discount. The symposium will be held at the Buena Vista Palace in Orlando, Florida, near the Walt Disney World Resort. Information about the symposium venue are available here: http://2008.ruleml.org/venue.php ========================== RuleML-2008 Challenge ========================== The new RuleML-2008 Challenge provides an excellent opportunity to demonstrate rule-based tools, use cases, and applications (and to win a prestigious prize). Late-breaking demos for the RuleML-2008 Challenge are welcome. Please send title, author(s) and brief description by September, 15th to ruleml2008 at easychair.org More detail can be cound at: http://www.cs.manchester.ac.uk/ruleML/lightning.php#soft ======================= Program Committee ======================= Asaf Adi, IBM, Israel Grigoris Antoniou, University of Crete-FORTH, Greece Sidney Bailin, Knowledge Evolution, USA Matteo Baldoni, University of Torino, Italy Cristina Baroglio, University of Torino, Italy Claudio Bartolini, HP Labs Tim Bass, SilkRoad Inc. Bernhard Bauer, University of Augsburg, Germany Mikael Berndtsson, University of Skovde, Sweden Leopoldo Bertossi, Carleton University, Canada Pedro Bizarro, University of Coimbra, Portugal Peter Bollen, University of Maastricht, Netherlands Christian Brelage, SAP Research, Germany Donald Chapin, Business Semantics Ltd, UK Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan Jorge Cuellar, Siemens, Germany Mike Dean, BBN Technologies, USA Stan Devitt, Agfa Healthcare, Ontario, Canada Jens Dietrich, Massey University, New Zeeland Jurgen Dix, Technische Universitaet Clausthal, Germany Schahram Dustdar, Vienna University of Technology, Austria Andreas Eberhart, fluid Operations, Germany Opher Etzion, IBM Research Laboratory Haifa, Israel Dieter Fensel, DERI Innsbruck, Austria Dragan Gasevic, Athabasca University, Canada Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany Stijn Goedertier, Katholieke Universiteit Leuven, Belgium Robert Golan, DBmind Technologies, USA Christine Golbreich, University of Versailles, France Tom Gordon, Fraunhofer Institute for Open Communication Systems, Germany Marek Hatala, Simon Fraser University, Canada Ioannis Hatzilygeroudis, University of Patras, Greece Martin Hepp, University of Innsbruck, Austria Elisa Kendall, Sandpiper Software, USA Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece Manolis Koubarakis, National and Kapodistrian University of Athens, Greece Alex Kozlenkov, Betfair Ltd., UK Holger Lausen, DERI Innsbruck, Austria John Lee, Polytechnic University, Hong Kong Mark Linehan, IBM Research, USA Heiko Ludwig, IBM Watson Research, USA Mirko Malekovic, University of Zagreb, Croatia Christopher J. Matheus, Vistology, USA Craig McKenzie, SAIC Ltd., UK Jing Mei, IBM Research Lab China, China Zoran Milosevic, Deontik Inc, Australia Jang Minsu, E&T Research Institute, Korea Leora Morgenstern, Stanford, USA Gero Muehl, Technische Universitat Berlin, Germany Jorg Muller, TU Clausthal, Germany Chieko Nakabasami, Toyo University, Japan Ilkka Niemela, Helsinki University of Technology, Finland Bart Orriens, Tilburg University, Netherlands Jeff Pan, University of Aberdeen, UK Paula-Lavinia Patranjan, Skytec AG, Germany Jon Pellant, Pega Systems Inc., USA Jeff Pollock, Oracle, USA Alun Preece, Cardiff University, UK Maher Rahmouni, HP Labs Girish Ranganathan, University of New Brunswick, Canada Dave Reynolds, HP, England Graham Rong, MIT Sloan School of Management, USA Antonio Rotolo, CIRSFID, University of Bologna, Italy Norman Sadeh, Carnegie Mellon University, USA Christian de Sainte Marie, ILOG, France Marco Seirio, ruleCore, Sweden Timos Sellis, Institute for the Management of Information Systems and National Technical University of Athens, Greece Michael Sintek, DFKI, Germany Silvie Spreeuwenberg, LibRT, The Netherlands Giorgos Stamou, National Technical University of Athens, Greece Giorgos Stoilos, National Technical University of Athens, Greece Terrance Swift, XSB Inc., USA Kuldar Taveter, University of Melbourne, Australia James Taylor, Fair Isaac Corp., USA Vagan Terziyan, University of Jyvaskyla, Finland Paul Vincent, TIBCO Software, USA George Vouros, University of the Aegean, Greece Kewen Wang, Griffith University, Australia Mehmet Emre Yegen, Ygntec Inc., USA ======================= Organizing Committee ======================= General Chair Adrian Paschke, Technical University Dresden, Germany adrian.paschke AT biotec.tu-dresden.de Program Co-Chairs Nick Bassiliades, Aristotle University of Thessaloniki, Greece nbassili AT csd.auth.gr Guido Governatori, University of Queensland, Australia guido AT itee.uq.edu.au Challenge Co-Chairs Costin Badica, University of Craiova, Romania badica_costin AT software.ucv.ro Yuh-Jong Hu, National Chengchi University, Taiwan hu AT cs.nccu.edu.tw Panel Co-Chairs John Hall, Model Systems, UK john.hall AT modelsys.com Axel Polleres, DERI Galway, Ireland axel AT polleres.net Liaison Co-Chairs Mark Proctor, JBoss Rules, UK mproctor AT redhat.com Rainer von Ammon, CITT GmbH, Germany vonammon AT t-online.de Jan Vanthienen, Katholieke Universiteit Leuven, Belgium Jan.Vanthienen AT econ.kuleuven.be Publicity Co-Chairs Matthias Nickles, University of Bath, UK M.L.Nickles AT cs.bath.ac.uk Tracy Bost, Valocity, USA tbost AT valocity.com (Sponsoring levels: http://2008.ruleml.org/sponsoring/) Web Chair Suzanne Embury, University of Manchester, UK Suzanne.Embury AT manchester.ac.uk ===================================================================== Co-located with: The 11th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Sponsored by: Gold level : Vulcan Inc Silver level: Model Systems Bronze level: STI Innsbruck, ruleCore, JBoss Sponsoring opportunities: http://2008.ruleml.org/sponsoring/ ===================================================================== In Co-operation with: AAAI, W3C, BPM-Forum, Business Rules Forum, ECCAI, OASIS, OMG, Dallas Rules Group, Belgium Business Rules Forum, MIT Sloan CIO Symposium, Complex Event Processing Technical Society, ACM, ACM SIGART, ACM SIGMIS, ACM SIGWEB, Open Research Society, IEEE Computer Society, IEEE Systems Man and Cybernetics Society, IEEE SMCS TC on Intelligent Internet Systems, IEEE SMCS TC on Distributed Intelligent Systems, IEEE Computer Society TC on Autonomous and Autonomic Systems, Event Processing Technical Society ===================================================================== Media Partners: Springer LNCS, MoDo Marketing ===================================================================== From H.vandenHeuvel at let.ru.nl Wed Aug 27 10:47:17 2008 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Wed, 27 Aug 2008 10:47:17 +0200 Subject: Job ads for CLST, Radboud University Nijmegen In-Reply-To: References: Message-ID: Dear Mme/ Sir, Would you be so kind as to spread the attached job ads to relevant addresses in your institute ? Thanks! -------------------------------------------------------- Henk van den Heuvel --------------------------------------------------------- CLST / SPEX Radboud University Nijmegen Erasmusplein 1 NL-6525 HT Nijmegen Netherlands ---------------------------------------------------------- Tel : +31 24 3611686 Fax : +31 24 3612907 e-mail: H.vandenHeuvel at let.ru.nl http://www.ru.nl/clst http://www.spex.nl --------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : PhD position ACMOLA Vacature_23.31.08_PhD_CLST.doc Dateityp : application/msword Dateigröße : 37888 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : PhD position ACMOLA Vacature_23.32.08_PhD_CLST.doc Dateityp : application/msword Dateigröße : 37888 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Postdoc position ACMOLA Vacature_23.30.08_Post-doc_CLST.doc Dateityp : application/msword Dateigröße : 36864 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : PhD position Phasar Vacature_23.33.08_PhD_TW_(NWI).doc Dateityp : application/msword Dateigröße : 42496 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : PhD position Phasar Vacature_23.34.08_PhD_TW_(NWI).doc Dateityp : application/msword Dateigröße : 38400 bytes Beschreibung: nicht verfügbar URL : From H.vandenHeuvel at let.ru.nl Wed Aug 27 11:33:40 2008 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Wed, 27 Aug 2008 11:33:40 +0200 Subject: Job ads for CLST, Radboud University Nijmegen In-Reply-To: References: Message-ID: At CLST we have a number of vacancies in interesting research topics: - Post-doc position: A memory-Prediction model of language acquisition. - PhD position: Emergence of structures in speech signals. - PhD position: Development of phonetic contrasts. - PhD position: Hybrid Dependency Parsing of Technical Texts. - PhD position: Anaphora Resolution in Technical Texts. Please visit our website at http://lands.let.ru.nl/ and click "vacancies" in the bulletin board for the full job text and for sending applications. Closing date is 14 Sep. 2008 -------------------------------------------------------- Henk van den Heuvel --------------------------------------------------------- CLST / SPEX Radboud University Nijmegen Erasmusplein 1 NL-6525 HT Nijmegen Netherlands ---------------------------------------------------------- Tel : +31 24 3611686 Fax : +31 24 3612907 e-mail: H.vandenHeuvel at let.ru.nl http://www.ru.nl/clst http://www.spex.nl --------------------------------------------------------- -- -------------------------------------------------------- Henk van den Heuvel --------------------------------------------------------- CLST / SPEX Radboud University Nijmegen Erasmusplein 1 NL-6525 HT Nijmegen Netherlands ---------------------------------------------------------- Tel : +31 24 3611686 Fax : +31 24 3612907 e-mail: H.vandenHeuvel at let.ru.nl http://www.ru.nl/clst http://www.spex.nl --------------------------------------------------------- From H.vandenHeuvel at let.ru.nl Wed Aug 27 11:27:04 2008 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Wed, 27 Aug 2008 11:27:04 +0200 Subject: Job ads for CLST, Radboud University Nijmegen In-Reply-To: References: Message-ID: Dear Peter, Thanks for the prompt response. I fully understand your intervention and will act as you propose. Kindest Regards, Henk On Wed, Aug 27, 2008 at 11:02 AM, Administrator of mailing lists of CIG wrote: > Dear Henk, > distributing e-mails with so many attachments > is against the moderation policy of the Event at CIG > distribution list (http://cig.in.tu-clausthal.de/event/). > > However, your posting is definitely in the scope of our list, > therefore I suggest you to put the attachments somewhere to > the website of your department and send a short posting with > a ULR via the list. > > Best regards, > > Peter Novak, Event at CIG administrator. > > On Wed, 27 Aug 2008 10:47:17 +0200 > "Henk van den Heuvel" wrote: >> >> Dear Mme/ Sir, >> >> Would you be so kind as to spread the attached job ads to relevant >> addresses in your institute ? >> >> Thanks! >> >> -------------------------------------------------------- >> Henk van den Heuvel >> --------------------------------------------------------- >> CLST / SPEX >> Radboud University Nijmegen >> Erasmusplein 1 >> NL-6525 HT Nijmegen >> Netherlands >> ---------------------------------------------------------- >> Tel : +31 24 3611686 >> Fax : +31 24 3612907 >> e-mail: H.vandenHeuvel at let.ru.nl >> http://www.ru.nl/clst >> http://www.spex.nl >> --------------------------------------------------------- > > > -- -------------------------------------------------------- Henk van den Heuvel --------------------------------------------------------- CLST / SPEX Radboud University Nijmegen Erasmusplein 1 NL-6525 HT Nijmegen Netherlands ---------------------------------------------------------- Tel : +31 24 3611686 Fax : +31 24 3612907 e-mail: H.vandenHeuvel at let.ru.nl http://www.ru.nl/clst http://www.spex.nl --------------------------------------------------------- From jleite at di.fct.unl.pt Fri Aug 29 01:38:27 2008 From: jleite at di.fct.unl.pt (Joao Leite) Date: Fri, 29 Aug 2008 00:38:27 +0100 Subject: WARNING! (0839223855) In-Reply-To: References: Message-ID: On Thu, Aug 28, 2008 at 8:10 AM, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0839223855, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > From tews at cs.ru.nl Fri Aug 29 10:16:58 2008 From: tews at cs.ru.nl (Hendrik Tews) Date: Fri, 29 Aug 2008 10:16:58 +0200 Subject: 2nd CFP: JAR Special Issue on OS Verification Message-ID: <18615.45178.562456.331701@tandem.cs.ru.nl> [apologies for crossposting, sent on behalf the guest editors -- Hendrik] 2nd Call for Papers Special Issue On Operating Systems Verification Journal of Automated Reasoning Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, static analysis techniques, as well as correctness by design. However, many techniques are working under restrictive assumptions which are invalidated by complex (embedded) system software such as operating system kernels, low-level device drivers or microcontroller code. This special issue will be devoted to the formal verification of operating systems and similar low-level systems code. The emphasis is on techniques and methods that provide real solutions to real software problems. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic toy version of it. Submissions are encouraged, but not limited to, the following topics and their application to operating systems or low-level systems code: * model checking * automated and interactive theorem proving * embedded systems development * programming languages * verifying compilers * software certification Manuscripts should be unpublished works and not submitted elsewhere. Revised and enhanced versions of papers published in conference proceedings that have not appeared in archival journals are eligible for submission. All submissions will be reviewed according to the usual standards of scholarship and originality. Papers should be in pdf format, following the JAR guidelines for authors, and be submitted via EasyChair at: http://www.easychair.org/conferences/?conf=jarosv08 Please do not use the Springer online submission system for the special issue at this stage, but EasyChair instead. To encourage a speedy review cycle, it will be expected that authors of submissions also serve as referees. For more information, please see http://www.cse.unsw.edu.au/~kleing/JAR-OSV-08/ Guest Editors Gerwin Klein, NICTA, Australia, gerwin.klein at nicta.com.au Ralf Huuck, NICTA, Australia, ralf.huuck at nicta.com.au Bastian Schlich, RWTH Aachen, Germany, schlich at cs.rwth-aachen.de Important Dates Sep 15 2008 Submission Deadline Dec 15 2008 Notification of accepted papers Jan 15 2009 Final version From Richard.Moot at labri.fr Fri Aug 29 16:22:33 2008 From: Richard.Moot at labri.fr (Richard Moot) Date: Fri, 29 Aug 2008 16:22:33 +0200 Subject: ESSLLI 2009 Deadline Extension and Final Call for Course/Workshop Proposals Message-ID: <31C9318D-7947-4177-8B0D-673E7934B8A6@labri.fr> [apologies for cross-posting] [note the new submission web site and extended deadline] ---------------------------------------------------------------------------- ESSLLI Monday, 20 July -- Friday, 31 July 2009 Bordeaux, France Call for Course and Workshop Proposals ---------------------------------------------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. *** Call for Course and Workshop Proposals *** The ESSLLI 2009 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 21st annual Summer School in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. The Summer School program is organized around the components: * Language and Computation * Language and Logic * Logic and Computation. We also welcome proposals that do not exactly fit one of these three categories. All proposals should be submitted no later than: EXTENDED Deadline: Monday, September 8, 2008. Authors of proposals will be notified of the committee's decision no later than: Wednesday October 22, 2008. Proposals should be submitted through a web form available at: http://www.easychair.org/conferences/?conf=esslli2009. *** Guidelines for Submission *** Anyone interested in lecturing a course or organizing a workshop during ESSLLI-2009, should follow the guidelines below, and those on the website, while preparing a submission. Proposals that deviate can not be considered. Courses are taught by 1 or max. 2 lecturers, and workshops are organized by 1 or max. 2 organizers. Lecturers and organizers should have obtained a PhD in their field at the time of the proposal. Courses and workshops last a week and consist of five sessions, of 90 minutes each. Lecturers who want to offer a long, two-week, course should submit two independent one-week courses. The ESSLLI program committee has the right to select only one of the two proposed courses. *** Foundational Courses *** These are strictly elementary courses not assuming any background knowledge. They are intended for people to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competences of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses may presuppose some experience with scientific methods in general, so as to be able to concentrate on the issues that are germane to the area of the course. *** Introductory Courses *** Introductory courses are central to the activities of the Summer School. They are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). *** Advanced Courses *** Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. *** Workshops *** Next to the courses there is room for a number of workshops. The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. Organizers are required to give a general introduction to the theme of the workshop during the first session. They are also responsible for the organization and program of the workshop including inviting the submission of papers, setting up a program committee, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a first Call for Papers for the workshop by November 17, 2008. The call must make it clear that the workshop is open to all members of the ESSLLI community. It should also note that all workshop contributors must register for the Summer School. Important dates are: * Nov 17, 08 & Call for Workshop Papers * Feb 15, 09 & Deadline for Submissions * Apr 15, 09 & Notification * June 1, 09 & Deadline for Proceedings Workshop speakers will be required to register for the Summer School; they are entitled to the reduced student rate. *** Proposals Format *** The submission form at: http://www.easychair.org/conferences/?conf=esslli2009 will require you to submit the following information: * Name (name(s) of proposed lecturer(s)/organizer) * Address (contact addresses of proposed lecturer(s)/organizer; email, phone, fax, homepage) * Title (title of proposed course/workshop) * Type (is this a workshop, a foundational course, an introductory course, or an advanced course? If a course is introductory or advanced, what are the prerequisites?) * Section (does your proposal fit in Language & Computation, Language & Logic or Logic & Computation?) * Description (describe the proposed contents of the course, outline the program, and substantiate timeliness and relevance to ESSLLI in at most one page a4) * External funding (will you be able to find external funding to help fund your travel and accommodation expenses? if so, how?) * Further particulars (any other relevant information; e.g., experience with the field, with teaching, with ESSLLI; other information) *** Financial Aspects *** Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but they are reimbursed for travel and/or accommodation expenses, up to a fixed maximum amount specified after notification. Lecturers and workshop organizers are allowed a fee-waiver. In case a course is to be taught by two lecturers, or a workshop is organized by two organizers, a lump sum is reimbursed to cover travel and/or accommodation expenses for one of them. The splitting of the sum is up to the lecturers/organizers. It should be emphasized that while proposals from all over the world are welcomed, the Summer School cannot guarantee full reimbursement of travel costs. The local organizers highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, and such issues might be taken into account when selecting courses. *** Programm Committtee *** Chair: Uwe Moennich (SfS, Tuebingen) Seminar fuer Sprachwissenschaft Universitaet Tuebingen Wilhelmstrasse 19 72074 Tuebingen, Germany phone: +49-7071-29-74035 e-mail: um at sfs.uni-tuebingen.de http://tcl.sfs.uni-tuebingen.de/~um Local co-chair: Richard Moot (LaBRI, Bordeaux) Area Specialists: Marco Baroni and Claire Gardent (Language and Computation) Paul Egre and Kjell Johan Saeboe (Language and Logic) Alex Rabinovich and Ulrike Sattler (Logic and Computation) *** Organizing Committee *** Chair: Christian Retore (LaBRI Bordeaux) *** Further Information *** The website for ESSLLI 2009 can be found at: http://esslli2009.labri.fr The website of this year's summer school at: http://www.illc.uva.nl/ESSLLI2008/ From agata at logic.at Fri Aug 29 18:45:36 2008 From: agata at logic.at (Agata Ciabattoni) Date: Fri, 29 Aug 2008 18:45:36 +0200 (CEST) Subject: Postdoc position at the TU Wien Message-ID: Dear colleague, A 2 year PostDoc position will be available from (earliest) November 2008 at the Vienna University of Technology. Requirements: The candidate should hold a PhD in computer science, artificial intelligence, or a related field, with some experience of mathematical logic and/or applications of fuzzy logic. Alternatively, the candidate should hold a PhD in mathematics or logic, preferably with some experience of knowledge-based expert systems. We require programming experience; knowledge in database management is desirable. Subject: The position will be part of the project ``Fuzzy logics: From ci-listen at in.tu-clausthal.de Wed Aug 27 11:02:53 2008 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Wed, 27 Aug 2008 11:02:53 +0200 Subject: Job ads for CLST, Radboud University Nijmegen In-Reply-To: References: Message-ID: Dear Henk, distributing e-mails with so many attachments is against the moderation policy of the Event at CIG distribution list (http://cig.in.tu-clausthal.de/event/). However, your posting is definitely in the scope of our list, therefore I suggest you to put the attachments somewhere to the website of your department and send a short posting with a ULR via the list. Best regards, Peter Novak, Event at CIG administrator. On Wed, 27 Aug 2008 10:47:17 +0200 "Henk van den Heuvel" wrote: > Dear Mme/ Sir, > > Would you be so kind as to spread the attached job ads >to relevant > addresses in your institute ? > > Thanks! > > -------------------------------------------------------- > Henk van den Heuvel > --------------------------------------------------------- > CLST / SPEX > Radboud University Nijmegen > Erasmusplein 1 > NL-6525 HT Nijmegen > Netherlands > ---------------------------------------------------------- > Tel : +31 24 3611686 >Fax : +31 24 3612907 > e-mail: H.vandenHeuvel at let.ru.nl > http://www.ru.nl/clst > http://www.spex.nl > ---------------------------------------------------------