From dix at tu-clausthal.de Thu Feb 1 10:42:54 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Thu, 01 Feb 2007 10:42:54 +0100 Subject: Fwd: Second Call for Papers CORE 2007 In-Reply-To: References: Message-ID: <45C1B61E.8090604@tu-clausthal.de> Mailing-Listen der Informatik schrieb: > > Hi Juergen, > what is your opinion about this? It seems to be serious, however > there's not enough information to > confirm this. The page does not even list organizers. Did you ever > hear about such an event? It seems > to have something with CIC-IPN (http://www.cic.ipn.mx/), what seems to > be a kind of Institute for > Informatics of some academy of sciences of Mexico. Well, I just cannot > judge on this one... I agree with you. In case of doubt, do not let it through. J From bojanm at turing.mi.sanu.ac.yu Thu Feb 1 19:59:07 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Thu, 1 Feb 2007 19:59:07 +0100 (CET) Subject: seedi conference on digitization Message-ID: [Sorry for any multiple reception of this message. Please, forward this message to your colleagues.] THE THIRD SEEDI INTERNATIONAL CONFERENCE DIGITIZATION OF CULTURAL AND SCIENTIFIC HERITAGE September 13-15, 2007, Cetinje, Montenegro First Announcement and Call for Papers CONFERENCE GOALS SEEDI (http://www.ncd.matf.bg.ac.yu/seedi/) is an international effort to develop awareness about digitization of cultural and scientific heritage in the South-Eastern European countries. This Third SEEDI International Conference is in line with the events held in Ohrid (2005) and Sofia (2006). It will convene: " Archivists, librarians and curators responsible for the preservation of and permanent access to cultural and scientific heritage; " Information technology researchers developing projects on digitization of cultural and scientific heritage; " Scholars in the arts and humanities, social sciences, history and computer science; " Developers, entrepreneurs and managers interested in issues regarding the digitization of cultural and scientific heritage; " Policy makers from the heritage sector; " Students, users and all others interested in the topic. The conference will offer to this wide and varied audience the opportunity to address and discuss state-of-the-art concepts, methodologies, results, policies and case studies in the field of digitization of cultural and scientific heritage. ABOUT THE CONFERENCE Distinguished features of this Conference are: " A broad scope of topics which will create a unique atmosphere of active exchange and learning about various aspects of the topic; " A combination of methodological and technical presentations; " A condensed procedure of submission, revision and publication of proceedings which will guarantee the presentation of the most recent works. Contributions related to all aspects of digitization of and access to cultural and scientific heritage with an emphasis on SEE specific features are encouraged. Papers that report on applications of new information technologies in the field of digitization are particularly welcome. The Conference will offer scientific tracks, including, but not limited to: " Digital capture and transformation from analogue to digital form; " Descriptions and representations of heritage objects and related documentation; " Processing of digitized content; " Presentation, long term preservation and curation of digitised content; " Training and socialisation practices and strategies. ACTIVITIES The Conference will include a combination of various activities contributing to vivid exchange of opinions and ideas: " Basic conference topics will be introduced by invited lectures; " Scientific papers (up to 30 minutes in length). " Plenary sessions aiming to summarize the main ideas presented and discussed during the presentation of the conference papers; " Demonstration sessions; " Posters. CONFERENCE OFFICIAL LANGUAGE English REGISTRATION FEES To be announced SUBMISSION Extended abstracts of up to 4 pages should be submitted to Program Committee. CONFERENCE PROCEEDINGS Presented papers, selected after a review by the international editorial board, will be published in the Review of the National Centre for Digitization, Serbia (http://www.ncd.matf.bg.ac.yu/?page=publications&lang=en). CONFERENCE VENUE For the first time a SEEDI event will be held in Cetinje, Montenegro. PROGRAM COMMITTEE Chair: Jelena Djurovic (Director of the Central National Library of Montenegro) Members: Dzenana Aladjuz (Bosnia and Hercegovina) Umit Atabek (Turkey) Boris Badurina (Croatia) Nikola Ikonomov (Bulgaria) Smile Markovski (Macedonia) Zarko Mijajlovic (Serbia) Milenko Musurovic (Montenegro) Anka Rapeanu (Romania) IMPORTANT DATES February, 2007: Second announcement April 10, 2007: Extended abstract submissions May 20, 2007: Authors notification, draft programme June 30, 2007: Final paper submission and registration SUGGESTIONS All suggestions and comments are welcome. Traditionally, events in our region seek for additional financial support for the event. All such ideas are particularly welcome. Please, send your recommendations on conference structure and all other issues to ncd at matf.bg.ac.yu. From bojanm at turing.mi.sanu.ac.yu Thu Feb 1 20:01:09 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Thu, 1 Feb 2007 20:01:09 +0100 (CET) Subject: Confirmation Request (0289667366) In-Reply-To: References: Message-ID: On Thu, 1 Feb 2007, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(feed) 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: 0289667366, > 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 mehdi at cs.uu.nl Thu Feb 1 22:42:02 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Thu, 01 Feb 2007 22:42:02 +0100 Subject: EASSS 2007: call for tutorials Message-ID: <45C25EAA.8030607@cs.uu.nl> !!! CALL FOR TUTORIALS -- EASSS 2007 !!! The ninth edition of the European Agent Systems Summer School (EASSS'07) will take place at Durham University, UK 27-31 August 2007 http://www.dur.ac.uk/durham.agents007/EASSS07/ Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the ninth edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2007 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. The success of this summer school is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe. A typical course has 4 hours in total, but variations are possible. Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. For an impression, the courses given in 2001 are collected in a volume of Springer's LNAI series (No 2086), and programmes of previous editions of EASSS can be found via the above webpage. The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, breakfast, lunch, and dinner, but each tutor is encouraged to book and pay for his/her own travel to Durham. There are cheap flights from Newcastle to various destinations in Europe. Tutors are encouraged to submit a 1-page course proposal including: the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (2, 6, or, preferably, 4 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers. Deadline for proposals: February 5, 2007 Notification: March 19, 2007 material for reader (< 26 pp) July 2, 2007 Submissions should be sent to Mehdi Dastani (mehdi at cs.uu.nl). The EASSS-2007 Committee members are: Rafael H. Bordini (local chair) Durham, UK Mehdi Dastani (chair) Utrecht, The Netherlands Wiebe van der Hoek Liverpool, UK Barbara Keplicz Warszawa, Poland Michael Luck Southampton, UK Michal Pechoucek Prague, Czech Republic Carles Sierra Barcelona, Spain Gerhard Weiss Hagenberg, Austria For information about local organisation please contact Rafael H. Bordini (durham.agents007 at durham.ac.uk). POSSIBLE TOPICS: * action selection and planning in multi-/agent systems * adaptation, evolution and learning in multi-/agent systems * agent-based simulation and modeling * agent communication, agent dialogues and agent conversations * agents, ontologies, web services and semantic web * agent-oriented software engineering and development methodologies * agent programming languages and development tools * agent standardizations in industry and commerce * ambient intelligence and agents-based systems * applications for agent and multi-agent systems * argumentation in agent-based systems * architectures for multi-agent systems * artificial market systems, auctions, trading agents and electronic commerce * autonomous robots and robot teams * believability, human-like qualities of synthetic agents, humanoid, and sociable robots * coalition formation and multi-agent teams * computational complexity in agent systems * conventions, commitments, norms, social laws and legal issues in multi-agent systems * coordination, cooperation, and collaboration in multi-agent systems * electronic institutions * emergence, self-organisation and collective behavior in agent-based systems * foundational issues and theories of agency * frameworks, infrastructures, environments, and system support for multi-agent systems * game theoretic models for agents based systems * information agents, routers, brokering and matchmaking * lessons learned and performance evaluation of deployed multi-agent systems * logics and formal models for agent systems * mobile agents * multi-agent, specification, verification and validation * negotiation and conflict handling in multi-agent systems * privacy, safety and security in multi-agent systems * scalability, robustness and dependability of multi-agent systems * social and cognitive models for agents * social and organizational structures of multi-agent systems * trust and reputation in multi-agent systems * task and resource allocation in multi-agent systems -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From hameur at irit.fr Fri Feb 2 10:53:15 2007 From: hameur at irit.fr (Abdelkader HAMEURLAIN) Date: Fri, 02 Feb 2007 10:53:15 +0100 Subject: CFP: Globe 2007- 4 th Int. Workshop: Grid/P2P ComputingImpacts on HDDB Systems In-Reply-To: References: Message-ID: <45C30A0B.6000203@irit.fr> ************************************************************* Apologies if you receive multiple copies of this message ************************************************************* CALL FOR PAPERS: GLOBE 2007 4th International Workshop: Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE 2007) Co-located with the 18th Intl. Conf. on Database and Expert Systems Applications - DEXA 2007 Regensburg, Germany September 3 - 7, 2007 http://www.irit.fr/globe2007 or http://www.dexa.org Paper submission deadline : March 12th 2007 Notification of acceptance : April 30th 2007 Camera-ready copies : May 22th 2007 Proceedings published by IEEE Computer Science Press. ************************************************************** From bojanm at turing.mi.sanu.ac.yu Fri Feb 2 10:42:47 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Fri, 2 Feb 2007 10:42:47 +0100 (CET) Subject: about event@in.tu-clausthal.de list Message-ID: I have been subscibed to you list. I want to send call for a conference, but I am not shure what is right procedure to do this. Can you explain me that? I have tried couple of times but I haven't make it to do that. Sincerely, Bojan Marinkovic From bojanm at turing.mi.sanu.ac.yu Fri Feb 2 14:33:34 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Fri, 2 Feb 2007 14:33:34 +0100 (CET) Subject: seedi conference on digitization Message-ID: [Sorry for any multiple reception of this message. Please, forward this message to your colleagues.] THE THIRD SEEDI INTERNATIONAL CONFERENCE DIGITIZATION OF CULTURAL AND SCIENTIFIC HERITAGE September 13-15, 2007, Cetinje, Montenegro First Announcement and Call for Papers CONFERENCE GOALS SEEDI (http://www.ncd.matf.bg.ac.yu/seedi/) is an international effort to develop awareness about digitization of cultural and scientific heritage in the South-Eastern European countries. This Third SEEDI International Conference is in line with the events held in Ohrid (2005) and Sofia (2006). It will convene: " Archivists, librarians and curators responsible for the preservation of and permanent access to cultural and scientific heritage; " Information technology researchers developing projects on digitization of cultural and scientific heritage; " Scholars in the arts and humanities, social sciences, history and computer science; " Developers, entrepreneurs and managers interested in issues regarding the digitization of cultural and scientific heritage; " Policy makers from the heritage sector; " Students, users and all others interested in the topic. The conference will offer to this wide and varied audience the opportunity to address and discuss state-of-the-art concepts, methodologies, results, policies and case studies in the field of digitization of cultural and scientific heritage. ABOUT THE CONFERENCE Distinguished features of this Conference are: " A broad scope of topics which will create a unique atmosphere of active exchange and learning about various aspects of the topic; " A combination of methodological and technical presentations; " A condensed procedure of submission, revision and publication of proceedings which will guarantee the presentation of the most recent works. Contributions related to all aspects of digitization of and access to cultural and scientific heritage with an emphasis on SEE specific features are encouraged. Papers that report on applications of new information technologies in the field of digitization are particularly welcome. The Conference will offer scientific tracks, including, but not limited to: " Digital capture and transformation from analogue to digital form; " Descriptions and representations of heritage objects and related documentation; " Processing of digitized content; " Presentation, long term preservation and curation of digitised content; " Training and socialisation practices and strategies. ACTIVITIES The Conference will include a combination of various activities contributing to vivid exchange of opinions and ideas: " Basic conference topics will be introduced by invited lectures; " Scientific papers (up to 30 minutes in length). " Plenary sessions aiming to summarize the main ideas presented and discussed during the presentation of the conference papers; " Demonstration sessions; " Posters. CONFERENCE OFFICIAL LANGUAGE English REGISTRATION FEES To be announced SUBMISSION Extended abstracts of up to 4 pages should be submitted to Program Committee. CONFERENCE PROCEEDINGS Presented papers, selected after a review by the international editorial board, will be published in the Review of the National Centre for Digitization, Serbia (http://www.ncd.matf.bg.ac.yu/?page=publications&lang=en). CONFERENCE VENUE For the first time a SEEDI event will be held in Cetinje, Montenegro. PROGRAM COMMITTEE Chair: Jelena Djurovic (Director of the Central National Library of Montenegro) Members: Dzenana Aladjuz (Bosnia and Hercegovina) Umit Atabek (Turkey) Boris Badurina (Croatia) Nikola Ikonomov (Bulgaria) Smile Markovski (Macedonia) Zarko Mijajlovic (Serbia) Milenko Musurovic (Montenegro) Anka Rapeanu (Romania) IMPORTANT DATES February, 2007: Second announcement April 10, 2007: Extended abstract submissions May 20, 2007: Authors notification, draft programme June 30, 2007: Final paper submission and registration SUGGESTIONS All suggestions and comments are welcome. Traditionally, events in our region seek for additional financial support for the event. All such ideas are particularly welcome. Please, send your recommendations on conference structure and all other issues to ncd at matf.bg.ac.yu. From axel.polleres at urjc.es Sun Feb 4 02:49:02 2007 From: axel.polleres at urjc.es (Axel Polleres) Date: Sun, 04 Feb 2007 02:49:02 +0100 Subject: Correspondence and Equivalence for Nonmonotonic Theories (CENT2007) - 2nd Call for papers Message-ID: <45C53B8E.60109@urjc.es> ================================================================================ Call for Papers CENT 2007 Correspondence and Equivalence for Nonmonotonic Theories (CENT2007) http://www.kr.tuwien.ac.at/cent2007/ a workshop colocated with LPNMR 2007, Tempe, AZ, May 14-16 2007. ================================================================================ The systematic study of intertheory relations such as strong and uniform equivalence has recently become an active sub-area of research in the field of LPNMR. Various kinds of correspondence relations that may hold between logic programs or between nonmonotonic theories have been analysed and shown to be of practical relevance for theory or program transformation, optimisation and modularity. Several systems for verifying such relations have been implemented. Different types of knowledge representation and reasoning tasks have begun to be explored in this context, such as abductive and inductive reasoning, causal reasoning, preference-based reasoning or reasoning about updates. In the field of KRR more generally one notes an increased interest in intertheory relations that are relevant for ontologies, eg to describe modular ontologies or equivalences between ontologies or their parts. It may therefore be of interest to combine work in this area with work on equivalences between nonmonotonic rules. We are also interested in new results on equivalences between different ontology languages proposed for the Semantic Web, particularly in combinations with (nonmonotonic) rules. Frameworks for study might therefore include e.g. DL-programs or hybrid knowledge bases that provide combinations of a classical or description logic KB with logic programming rules. The scope of the workshop covers all aspects of the study and application of intertheory relations in the LPNMR area. In particular it welcomes contributions that * extend the catalogue of useful relations or provide novel characterisations * characterise relations wrt different approaches to LP and NMR * examine specialised reasoning tasks, eg planning, diagnosis, explanation, reasoning about actions, reasoning about ontologies * explore practical applications * present system descriptions and comparisons Workshop topics --------------- Workshop topics include, but are not limited to: * logical characterisations * applications * computational complexity * implementation issues * benchmarks and system comparisons * relations to datalog and database theory * relations to ontologies and Semantic Web languages Submission and Presentation Format ---------------------------------- Papers must be written in English and we encourage both original research papers or system descriptions. Submissions must not exceed twelve (12) pages including title page, references and figures, and must be formatted according to the Springer LNCS/LNAI authors' instructions, but also shorter papers will be considered. For system presentations a length of 4 pages is recommended. We will use easychair for your electronic submissions, the submission page is accessible at: http://www.easychair.org/CENT2007/ Important Dates --------------- * 23 Feb 2007, Submission of papers * 30 March 2007, Notification of acceptance * 20 April 2007, Camera-ready versions due * 14-16 May 2007, Workshop Committees ---------- Steering committee David Pearce Axel Polleres Agustin Valverde Stefan Woltran Programme Committee Wolfgang Faber Katsumi Inoue Vladimir Lifschitz Fangzhen Lin Emilia Oikarinen Riccardo Rosati Hans Tompits -- Dr. Axel Polleres email: axel at polleres.net url: http://www.polleres.net/ From event-request at in.tu-clausthal.de Sun Feb 4 21:17:52 2007 From: event-request at in.tu-clausthal.de (event Report) Date: Sun, 04 Feb 2007 21:17:52 +0100 Subject: Subscriber german@fi.upm.es Failed Message-ID: german at fi.upm.es failed and it has been unsubscribed from the 'event' list From event-request at in.tu-clausthal.de Sun Feb 4 21:17:52 2007 From: event-request at in.tu-clausthal.de (event Report) Date: Sun, 04 Feb 2007 21:17:52 +0100 Subject: Subscriber mcarro@fi.upm.es Failed Message-ID: mcarro at fi.upm.es failed and it has been unsubscribed from the 'event' list From a.artikis at gmail.com Mon Feb 5 12:31:32 2007 From: a.artikis at gmail.com (Alexander Artikis) Date: Mon, 5 Feb 2007 13:31:32 +0200 Subject: CfP: ESAW 07 Message-ID: <130ef5930702050331p3a4df768t19c657a576b479bf@mail.gmail.com> Apologies for cross-posting. --------------------------------------------------------------------------- CALL FOR PAPERS --------------------------------------------------------------------------- Eighth International Workshop "Engineering Societies in the Agents World" (ESAW 07), October 22-24 2007, National Centre for Scientific Research (NCSR) "Demokritos", Athens, Greece --------------------------------------------------------------------------- AIMS & SCOPE: The sequel to successful editions since 2000, ESAW 07 remains committed to the use of the notion of multi-agent system as seed for animated, constructive, and highly inter-disciplinary discussions about technologies, methodologies, and tools for the engineering of complex distributed applications. While the workshop places an emphasis on practical engineering issues and applications, it also welcomes theoretical, philosophical, and empirical contributions, provided that they clearly document their connection to the core applied issues. Prospective papers about new paradigms, theories, models are also appreciated. Topics of interest include, but are not limited to: - analysis, design, development and verification of agent societies - open, large-scale multi-agent systems - models of complex distributed systems with agents and societies - interaction-coordination patterns in agent societies - inter-disciplinary approaches for agent societies engineering - engineering of social intelligence in multi-agent systems - self-organisation and self regulation in agent societies - autonomy and self-design of agent societies in an environment - security, trust and norms in agent societies - middleware infrastructures for agent societies - tools and models for agent societies management - studies of information ecosystems - experiences in building and maintaining large agent societies - evolution of institutions in agent societies - insightful analyses of negative results --------------------------------------------------------------------------- IMPORTANT DATES: * Submission Deadline: June 8, 2007 * Acceptance/Rejection Notification: July 27, 2007 * Revised Papers for Workshop Notes: September 15, 2007 --------------------------------------------------------------------------- SUBMISSION: The ESAW post-proceedings are typically published by Springer in the LNAI series. Papers should not exceed 16 pages and should be formatted according to the Springer LNAI guidelines. --------------------------------------------------------------------------- WEB SITE: http://esaw07.iit.demokritos.gr --------------------------------------------------------------------------- ORGANISERS: - Alexander Artikis, (NCSR "Demokritos", Greece) - Gregory O'Hare, (University College Dublin, Ireland) - Kostas Stathis, (Royal Holloway, University of London, UK) - George Vouros, (University of the Aegean, Greece) STEERING COMMITTEE: - Marie-Pierre Gleizes, (IRIT Universite Paul Sabatier, France) - Andrea Omicini, (DEIS Universita di Bologna, Italy) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Robert Tolksdorf, (Free University of Berlin, Germany) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) PROGRAMME COMMITTEE: - Grigoris Antoniou, (University of Crete, Greece) - Federico Bergenti, (Universita di Parma, Italy) - Carole Bernon, (IRIT Universite Paul Sabatier, France) - Guido Boella, (Universita degli Studi di Torino, Italy) - Olivier Boissier, (Ecole Nationale Superieure des Mines de Paris, France) - Jeff Bradshaw, (IHMC, USA) - Monique Calisti, (Whitestein Technologies, Switzerland) - Jacques Calmet, (Ecole Nationale Superieure des Mines de Paris, France) - Cristiano Castelfranchi, (ISTC-CNR, Italy) - Luca Cernuzzi, (Universidad Catolica "Nuestra Senora de la Asuncion", Paraguay) - Helder Coelho, (University of Lisbon, Portugal) - Rem Collier, (University College Dublin, Ireland) - Dan Corkill, (University of Massachusetts at Amherst, USA) - R. Scott Cost, (University of Maryland Baltimore County, USA) - Aspassia Daskalopulu, (University of Thessaly, Greece) - Mehdi Dastani, (Utrecht University, The Netherlands) - Paul Davidsson, (Blekinge Institute of Technology, Sweden) - Keith Decker, (University of Delaware, USA) - Oguz Dikenelli, (Ege University, Turkey) - Riza Cenk Erdur, (Ege University, Turkey) - Rino Falcone, (ISTC-CNR, Italy) - Paul Feltovich, (IHMC, USA) - Jean-Pierre George, (IRIT Universite Paul Sabatier, France) - Paolo Giorgini, (University of Trento, Italy) - Michael O'Grady, (University College Dublin, Ireland) - Frank Guerin, (University of Aberdeeen, UK) - Salima Hassas, (Universite Claude Bernard Lyon 1, France) - Lloyd Kamara, (Imperial College London, UK) - Anthony Karageorgos, (University of Thessaly, Greece) - Manolis Koubarakis, (University of Athens, UK) - Michael Luck, (University of Southampton, UK) - Fabien Michel, (Universite de Reims, France) - Tim Miller, (University of Liverpool, UK) - Pavlos Moraitis, (Paris-Descartes University, France) - Pablo Noriega, (IIIA, Spain) - Sascha Ossowski, (Univesidad Rey Juan Carlos, Spain) - Julian Padget, (University of Bath, UK) - Juan Pavon Mestras, (Universidad Complutense de Madrid, Spain) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Alessandro Ricci, (Universita di Bologna, Italy) - Giovanni Rimassa, (Whitestein Technologies, Switzerland) - Juan Antonio Rodriguez Aguilar, (IIIA, Spain) - Fariba Sadri, (Imperial College London, UK) - Maarten Sierhuis, (RIACS/NASA Ames Research Center, USA) - Tiberiu Stratulat, (LIRMM, France) - Robert Tolksdorf, (Free University of Berlin, Germany) - Leon Van der Torre, (University of Luxembourg, Luxembourg) - Luca Tummolini, (ISTC-CNR, Italy) - Paul Valckenaers, (Katholieke Universiteit Leuven, Belgium) - Wamberto Vasconcelos, (University of Aberdeeen, UK) - Mirko Viroli, (Universita di Bologna, Italy) - Marina De Vos, (University of Bath, UK) - Danny Weyns, (Katholieke Universiteit Leuven, Belgium) - Pinar Yolum, (Bogazici University, Turkey) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) From Patrick.Wambacq at esat.kuleuven.be Mon Feb 5 13:44:00 2007 From: Patrick.Wambacq at esat.kuleuven.be (Patrick.Wambacq at esat.kuleuven.be) Date: Mon, 5 Feb 2007 13:44:00 +0100 (CET) Subject: INTERSPEECH 2007 final call for papers; submission is now open Message-ID: (apologies for multiple copies) Interspeech 2007 August 27--31, 2007 Antwerp, Belgium ---------- CALL FOR PAPERS (PAPER SUBMISSION IS NOW OPEN) ----------- Interspeech is the world's largest and most comprehensive conference on Speech Science and Speech Technology and it solicits papers in the following areas and topics: Human speech production, perception and communication Phonology and phonetics Discourse and dialogue Prosody (production, perception, prosodic structure) Paralinguistic and nonlinguistic cues (e.g. emotion and expression) Speech production Speech perception Physiology and pathology Spoken language acquisition, development and learning Speech and Language technology Speech and audio processing Speech enhancement Speech coding and transmission Spoken language generation and synthesis Speech recognition Spoken language understanding Accent and language identification Cross-lingual and multi-lingual processing Multimodal/multimedia signal processing Speaker characterization and recognition Spoken language systems and applications Dialogue systems Systems for information retrieval Systems for translation Applications for aged and handicapped persons Applications for learning and education Other applications Resources, standardization and evaluation Spoken language resources and annotation Evaluation and standardization PAPER SUBMISSION Prospective authors are invited to submit full-length, four-page papers (including figures and references) via the conference website by March 23, 2007 midnight at the International Date Line West. Since the conference takes place early this year, the paper submission deadline will not be postponed by any significant amount of time. The paper preparation guidelines can be found on the conference website. They stipulate that authors may submit multimedia files to illustrate their contribution. These multimedia files will have to be incorporated in one ZIP archive. The conference will host several Special Sessions (see conference website). If authors want their paper to be considered for one of these Sessions, they can specify that during paper submission. Irrespective of this specification, all papers will follow the same electronic review procedure. Authors will have to declare that their contribution is original and not being submitted for publication elsewhere (e.g., another conference, workshop, or journal). Each corresponding author will be notified by e-mail of the acceptance or rejection of his paper by May 25, 2007. Minor updates of accepted papers will be allowed during May 25 - June 3, 2007. More information is available on the conference website at http://www.interspeech2007.org IMPORTANT DATES: Full paper submission deadline: March 23, 2007 Notification of paper acceptance/rejection May 25, 2007 Early registration deadline: June 22, 2007 Dirk Van Compernolle, Lou Boves Conference Chairs Jean-Pierre Martens, Helmer Strik Technical Program Chairs Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From tc at cs.bath.ac.uk Mon Feb 5 17:40:34 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Mon, 05 Feb 2007 16:40:34 +0000 Subject: Final CfP: Software Engineering for Answer Set Programming 2007 (SEA'07) Message-ID: <1170693634.6794.46.camel@tcr.cs.bath.ac.uk> ========================================================================= FINAL CALL FOR PAPERS Software Engineering for Answer Set Programming 2007 (SEA'07) Tempe, Arizona, USA, 14-16 May 2007 http://sea07.cs.bath.ac.uk/ ========================================================================= Co-located event with the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007) http://lpnmr2007.googlepages.com/ OVERVIEW Over the last ten years, answer set programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle many industrially-relevant applications. Writing complex programs in any language is not an easy task, with ASP being no exception. Most of the modern popular programming languages have an abundance of tools and development methodologies to facilitate and improve the coding process. Given the differences in for example language design, execution, and application domains for languages such as Java and C++, the existing methodologies and tools that are available are mostly not suitable for ASP. Therefore development tools and software engineering methodologies specifically designed for ASP are required. This workshop aims to bring together researchers who are currently working on or are interested in the development of dedicated tools, techniques, and methodologies to facilitate the development of answer set programs. TOPICS Authors are invited to submit original research or system description papers on software engineering tools or techniques for answer set programming. The list of topics of interest includes but is not limited to: * Modelling tools * (Domain-specific) front and/or back-ends * Methodologies * Debuggers * (Graphical) User Interfaces * Integrated Development Environments (IDEs) * Software engineering metrics SUBMISSIONS Submitted articles will undergo peer-review. The paper must be in Springer LNCS format and should not exceed 15 pages overall. Submission should be via PDF to both workshop chairs. Formal paper proceedings will be available during the conference and will also be published online. IMPORTANT DATES Submission 16 February 2007 - EXTENDED Notification 12 March 2007 Camera-ready submission 20 April 2007 Workshop 14-16 May 2007 WORKSHOP OFFICIALS Workshop Chairs: Marina De Vos (University of Bath, UK) Torsten Schaub (University of Potsdam, Germany) Programme Committee: Martin Brain (University of Bath, UK) Wolfgang Faber (University of Calabria, Italy) Enrico Pontelli (New Mexico State University, USA) Ken Satoh (National Institute of Informatics, Japan) Tran Cao Son (New Mexico State University, USA) Tommi Syrjanen (Helsinki University of Technology, Finland) Richard Watson (Texas Tech University, USA) Stefan Woltran (Technical University of Vienna, Austria) Yan Zhang (University of Western Sydney, Australia) From franconi at inf.unibz.it Tue Feb 6 00:59:24 2007 From: franconi at inf.unibz.it (Enrico Franconi) Date: Tue, 6 Feb 2007 12:59:24 +1300 Subject: 20th Workshop on Description Logics: call for papers Message-ID: ---------------------------------------------------------------------- 20th International Workshop on Description Logics (DL'07) CALL FOR PAPERS Brixen-Bressanone (near Bozen-Bolzano), Italy 8-10 June 2007 http://dl.kr.org/dl2007/ The 2007 edition of the DL workshop will take place from the 8th to the 10th of June 2007 in Brixen-Bressanone (near Bozen-Bolzano), Italy. This is 80 Km south of Innsbruck (where the ESWC-07 conference will take place immediately before); direct train connections run every hour between Innsbruck and Brixen-Bressanone. Arrived this year to its 20th edition, DL is the major annual event of the description logics research community. The workshop is thought as a gathering forum to meet, discuss and exchange experiences among all those, both in the academy and industry, who are interested in description logics and in all their broad range of applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: 23 March 2007 Notification of acceptance: 27 April 2007 Camera ready papers due: 18 May 2007 DL'07 Workshop: 8-10 June 2007 ---------------------------------------------------------------------- SCOPE We invite contributions on all aspects of description logics. Possible subjects include: -- Foundations of description logics, including distinguishing features of description logics with respect to other formalisms, expressive power of description logics, decidability and complexity of reasoning, and novel inference problems and reasoning techniques for solving these problems. -- Extensions of description logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages. -- Integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems. -- Use of description logics in applications or areas such as natural language, planning, learning, databases, document management, semistructured data, ontology design, ontology languages, ontology engineering, semantic web, and grid computing. -- Building systems based on description logics, with special emphasis on optimization and implementation techniques. -- Tools that exploit description Logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of technical papers as extended abstracts of 8 pages, and submissions of statements of interest of 2 pages. The technical papers will be judged according to their scientific quality, while the statements of interest will be judged according to their scientific relevance. Accepted papers will be included in the workshop proceedings as extended abstract (8 pages), regular papers (12 pages), or as statements of interest (2 pages). The workshop proceedings will be distributed in paper form at the workshop, and will be made available electronically in the CEUR Workshop Proceedings series. Papers should follow the formatting and submission guidelines to be found at the workshop submissions web page, and should arrive by the paper submission deadline stated above. ---------------------------------------------------------------------- PROGRAM COMMITTEE Area chairs: Volker Haarslev (chair of the Systems and Tools area) Domenico Lembo (chair of the Database and Information Systems area) Boris Motik (chair of the Ontologies and Semantic Web area) Anni-Yasmin Turhan (chair of the Foundations and Theory area) The PC has still to be finalised. ---------------------------------------------------------------------- DL-07 COMMITTEE Alessandro Artale Raffella Bernardi Andrea Calì Diego Calvanese , co-chair Jos de Bruijn Enrico Franconi , co-chair Rosella Gennari Davide Martinenghi Werner Nutt Sergio Tessaris , co-chair David Toman ---------------------------------------------------------------------- VENUE The workshop will take place in the charming town of Brixen- Bressanone, near Bozen-Bolzano in South Tyrol at the heart of the Dolomites - the pink mountains of the Alps. Like Bozen-Bolzano, Brixen-Bressanone has always been a crossroads of various cultures and it is distinguished by its mediaeval Gothic architecture. The mediaeval alleys and the wealth of historical references are an ideal starting point for excursions into the countryside and for practising a whole variety of sports and leisure activities. Leaving directly from the town centre delegates can set off on their bikes or on foot for excursions into the surrounding hills and mountains. Brixen-Bressanone is on the main arterial road between Austria/Germany and Italy and it is easily accessible from everywhere by train, car, bus or plane. ---------------------------------------------------------------------- From tc at cs.bath.ac.uk Mon Feb 5 16:55:29 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Mon, 05 Feb 2007 15:55:29 +0000 Subject: subscribe Message-ID: <1170690929.6794.31.camel@tcr.cs.bath.ac.uk> From tc at cs.bath.ac.uk Mon Feb 5 17:35:33 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Mon, 05 Feb 2007 16:35:33 +0000 Subject: Confirmation Request (2462130350) In-Reply-To: References: Message-ID: <1170693333.6794.41.camel@tcr.cs.bath.ac.uk> On Mon, 2007-02-05 at 17:33 +0100, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2462130350, > 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 tc at cs.bath.ac.uk Mon Feb 5 17:38:03 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Mon, 05 Feb 2007 16:38:03 +0000 Subject: digest Message-ID: <1170693483.6794.42.camel@tcr.cs.bath.ac.uk> From tc at cs.bath.ac.uk Mon Feb 5 17:58:03 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Mon, 05 Feb 2007 16:58:03 +0000 Subject: Confirmation Request (2462130350) In-Reply-To: References: Message-ID: <1170694683.6794.50.camel@tcr.cs.bath.ac.uk> On Mon, 2007-02-05 at 17:53 +0100, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(digest) operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2462130350, > 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 publicity at samt2006.org Tue Feb 6 17:40:19 2007 From: publicity at samt2006.org (publicity at samt2006.org) Date: Tue, 6 Feb 2007 18:40:19 +0200 Subject: MTAP - JAWS Special Issue on Semantic Multimedia Message-ID: [Apologies for cross-postings. Please forward this mail to anyone interested.] ------------------------------------------------------------ Multimedia Tools and Applications - Journal of Web Semantics Joint Special Issue on "Semantic Multimedia" CALL FOR PAPERS http://samt2006.org/mtap.html http://samt2006.org/jows.html ------------------------------------------------------------ The objective of this special issue is to collect and report on recent high quality research that narrows the large disparity between the low-level descriptors typically computed automatically from multimedia content and the richness and subjectivity of semantics in user queries and human interpretations of audiovisual media i.e. the so called Semantic Gap. Research in this area is important because of the overwhelming amount of information available as multimedia for the purpose of entertainment, security, education, cultural or technical documentation and the very limited understanding of the semantics of such data sources and, hence, the limited ways in which they can be accessed by users. In spite of the multitude of such activities, there is a lack of appropriate outlets for presenting high-quality research in the area of "Semantic Multimedia". This joint special issue is addressed to two research communities and two journals, Multimedia Tools and Applications (http://www.springer.com/sgw/cda/frontpage/0,11855,5-0-70-35538244-0,00.html) and Journal of Web Semantics (http://www.elsevier.com/wps/find/journaldescription.cws_home/671322/description). The former is addressed to those members of the multimedia community interested in extending their multimedia analysis, indexing, retrieval etc. methods by leveraging Semantic Web technologies, i.e. core multimedia research employing semantics. The latter will cater towards those members of the Semantic Web community interested in applying their semantic technologies to the field of multimedia. This means that it targets core semantic web research with multimedia as its field of application. High quality contributio! ns addressing related theoretical and practical aspects are expected in both. Topics of interest ------------------ Topics of interest include, but are not limited to: * Integration of multimedia processing and Semantic Web technologies * Multimedia ontologies and infrastructures * Knowledge assisted multimedia data mining * Knowledge based inference for semi-automatic semantic media annotation * Integration of content-based image/video analysis with natural language and speech processing * Revelance feedback for finding semantics * Semantic-driven multimedia indexing and retrieval * Metadata management for multimedia * Semantic Browsing of large multimedia archives * Scalable, semantic-driven multimedia content adaptation and summarization * Semantic interfaces and semantic personalisation for interaction with large multimedia repositories * Semantics-driven multimedia presentation generation * Semantics-aware media engineering involving content, users, and networks * Standards bridging the multimedia and knowledge domains Submission Procedure -------------------- Authors have the possibility to submit specifically to either the Journal of Web Semantics or to Multimedia Tools and Applications. However it is also possible to submit to this joint double special issue and leave it to the editors to decide about acceptance for one of the two journals. Prospective contributors are invited to submit papers in A4/US letter, single column, double space format, up to 30 pages long including figures, tables and references. Authors should submit their manuscripts in pdf format online at http://samt2006.org/submission_mtap_jows.html indicating their submission target as "MTAP", "JoWS" or "BOTH". Camera-ready papers will have to conform to the style of the target journal. Important Dates --------------- Deadline for manuscript submission: 31 March 2007 Notification to authors: 15 July 2007 Final accepted manuscript due: 15 September 2007 Publication date: 2008 Guest Editors ------------- Yannis Avrithis, National Technical University of Athens, Greece iavr at image.ntua.gr Steffen Staab, University of Koblenz-Landau, Germany staab at uni-koblenz.de Noel O'Connor, Dublin City University, Ireland oconnorn at eeng.dcu.ie Raphael Troncy, CWI, The Netherlands Raphael.Troncy at cwi.nl ------------------------------------------------------------------------------------ TO BE REMOVED FROM THIS LIST If you would like to be removed from the SAMT publicity email list, please reply to this message with the word "REMOVE" in the SUBJECT LINE. This email should be addressed to publicity at samt2006.org. You will be removed from this list when we receive your reply. From mitchell at cs.sfu.ca Tue Feb 6 22:43:25 2007 From: mitchell at cs.sfu.ca (David Mitchell) Date: Tue, 6 Feb 2007 13:43:25 -0800 (PST) Subject: Post-Doc Positions in Computational Logic at SFU Message-ID: <200702062143.l16LhPb00649@muddy.cs.sfu.ca> Computing Science Post-Doctoral Positions - Simon Fraser University Applications are invited for Post-Doctoral Fellowships supporting work on the MX Project, in the Computational Logic Laboratory at Simon Fraser University. The goal of the Project is to develop effective techniques for modelling and solving of search and optimization problems using logic. Further information on the project can be found at: http://www.cs.sfu.ca/research/groups/mxp/. Between 1 and 3 fellowships will be offered, depending upon final level of funding and availability of suitable candidates. Ideal candidates will have background in logic for computing science, with an interest in several of: -- finite model theory and descriptive complexity -- constraint modelling languages -- logic and databases or database query processing -- solvers for SAT/CSP/SMT/QBF -- combinatorial optimization and algorithms -- knowledge representation or theorem proving The selected candidate(s) will work closely with the other members of the MX Project team on fundamental theoretical or applied problems related to the project. Work on the more applied problems may also involve interaction with our industrial partner. Positions will commence as soon as possible after the candidate is chosen. Current project funding is for one year, with possibility of extension. Funding will depend upon background, but will be not less than Cdn $42,000, with the possibility teaching a one-semester course for additional stipend. Some funds are available for conference travel. Simon Fraser University is located atop Burnaby Mountain in Vancouver, Canada. Vancouver thrives as a scenic waterfront city located just minutes away from the mountains and a wide range of outdoor activities. Vancouver's cultural and intellectual pursuits, leisure opportunities, favourable climate, and clean and safe environment are consistently cited as quality of life factors that make it one of the most desirable places in the world to live and work. Interested applicants should contact one of project leaders: Eugenia Ternovska ter at cs.sfu.ca David Mitchell mitchell at cs.sfu.ca For full consideration, application should be made by February 20, 2007. Please forward to any interested parties. ------------------------------------------------------ From ArgNMR2007 at easychair.org Thu Feb 8 01:22:17 2007 From: ArgNMR2007 at easychair.org (ArgNMR 2007) Date: Thu, 8 Feb 2007 01:22:17 +0100 Subject: ArgNMR: Extended Deadline (Feb 19, 2007) Message-ID: <20070208002503.8EE772A9B67@amun.rz.tu-clausthal.de> [please distribute. apologies for cross-posting.] Dear Colleagues, Due to multiple requests, the ArgNMR 2007 paper submission deadline has been extended to -->> February 19, 2007 <<-- The Workshop will be held on May 14, 2007. Best regards and apologies for multiple copies, Guillermo Simari and Paolo Torroni ============================================================ CALL FOR PAPERS 1st Workshop on Argumentation and Nonmonotonic Reasoning (Arg-NMR) in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-07) Tempe, Arizona May 14, 2007 http://lia.deis.unibo.it/confs/ArgNMR/ ============================================================ Important Dates -> Submission: February 19, 2007 (Extended Deadline) -> Notification: March 12, 2007 -> Camera-ready: March 29, 2007 -> ArgNMR: May 14, 2007 = Aims and Scope = Research on Argumentation and Nonmonotonic Reasoning began in full force in the early eighties. The first attempts showed how argumentation results in a very natural way of conceptualizing Commonsense Reasoning, appropriately reflecting its defeasible nature. Further work in the KR&R community has shown that argumentation provides a useful perspective for relating different nonmonotonic formalisms. More recently, argumentation has been revealed as a powerful conceptual tool for exploring the theoretical foundations of reasoning and interaction in Autonomous Agents and Multiagent Systems. This workshop will represent an opportunity for exchanging ideas on the fundamental theoretical basis and the design and implementation of argument-based systems including semantics, proof theory, applications to epistemic and practical reasoning, and the comparison of those systems with other types of nonmonotonic reasoning. = Topics = We solicit unpublished papers that present work on argumentation and nonmonotonic reasoning. We will privilege articles who emphasize connections between them. Relevant topics include, but are not limited to, the following: -> argumentation theories and logical foundations -> argumentation and logic programming -> formal models of argument -> semantics of argumentation -> operational semantics and execution models of argumentation systems -> argumentation and commonsense reasoning -> argumentation for practical reasoning and deliberation -> argumentation tools and applications -> argumentation for reasoning in multiagent systems -> argumentation dialogues in multiagent systems -> nonmonotonic reasoning in multiagent systems -> argumentation for legal reasoning -> argumentation and nonmonotonic reasoning in the semantic web -> implementations of argumentation systems = Submissions = We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers should be written in English, formatted according to the Springer LNCS style ( http://www.springer.com/comp/lncs/Authors.html ), and they should not exceed sixteen (16) pages including title page, figures, references, etc. = Proceedings and post-workshop publications = A printed volume with the proceedings will be available at the workshop. The proceedings of ArgNMR are also planned to form the basis for publishing a post-workshop volume, and/or a special issue of an international journal, subject to appropriate quality. = Programme Committee = Leila Amgoud, IRIT-CNRS Toulouse, France Grigoris Antoniou, FORTH-ICS, Greece Pietro Baroni, U Brescia, Italy Trevor J. Bench-Capon, U Liverpool, United Kingdom Carlos Iv�n Ches�evar, U Nacional del Sur, Bahia Blanca, Argentina J�rgen Dix, TU Clausthal, Germany Phan Minh Dung, Asian Institute of Technology, Thailand Lluis Godo, IIIA-CSIC, Spain Anthony Hunter, U College London, United Kingdom Antonis C. Kakas, U Cyprus Gabriele Kern-Isberner, U Dortmund, Germany Nicolas Maudet, U Paris-Dauphine, France Peter McBurney, U Liverpool, United Kingdom Donald Nute, U. Georgia, Athens, GE, United States Henry Prakken, U Utrecht, The Netherlands Iyad Rahwan, British U Dubai, UAE & U Edinburgh, United Kingdom Tran Cao Son, New Mexico State U, NM, United States Francesca Toni, Imperial College London, United Kingdom = Organization = Guillermo R. Simari, U. Nacional del Sur, Bahia Blanca, Argentina Paolo Torroni, U. Bologna, Italy From nza at Cs.Nott.AC.UK Thu Feb 8 16:10:20 2007 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 08 Feb 2007 15:10:20 +0000 Subject: CFP: Workshop on logics for resource-bounded agents Message-ID: <200702081510.aa00910@pat.Cs.Nott.AC.UK> CALL FOR PAPERS Workshop on Logics for Resource-Bounded Agents To be held as part of Multi-Agent Logics, Languages, and Organisations -- Federated Workshops (MALLOW'007) in Durham, 3-7 September 2007 http://www.dur.ac.uk/durham.agents007/MALLOW007 AIMS AND SCOPE Logics of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong and idealised assumptions about the reasoners. For example, traditional epistemic logic say that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded. The workshop aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. TOPICS Topics include, but are not limited to, logical models of: * logically non-omniscient agents in general * explicit knowledge and belief * algorithmic knowledge * temporal logics of reasoning * active logics * knowledge and belief of reasoners with bounds on reasoning time * knowledge and belief of reasoners with bounded memory * knowledge and belief of reasoners with other resource bounds (e.g. bandwidth, sensing limitations) * other attitudes, such as desire, intention, etc., under bounded resources * limited awareness * paraconsistency * rational choice under bounded resources * games under bounded resources, e.g., o games with bounded recall o resource bounded reasoning about the structure of the game o incomplete information due to bounded resources IMPORTANT DATES Submission deadline: 1 June 2007 Notification of acceptance: 6 July 2007 Camera-ready: 20 July 2007 Workshop: 3-4 September 2007 PUBLICATION Accepted papers will appear in pre-proceedings published by MALLOW. We aim to publish a selection of revised and expanded papers as a journal special issue. (We are currently working on a special issue of the Journal of Logic, Language and Information based on LRBA 06 held as part of ESSLLI 2006 in Malaga). SUBMISSION GUIDELINES Authors are invited to submit a full original paper. Submissions should not exceed 15 pages in LaTeX 11pt article style. The following formats are accepted: pdf, ps. Please submit on line at http://www.easychair.org/LRBA07 Any equiries to lrba07 at cs.nott.ac.uk. ORGANIZING COMMITTEE Thomas Agotnes (Bergen University College, Norway) Natasha Alechina (University of Nottingham, UK) Brian Logan (University Nottingham, UK) PROGRAM COMMITTEE Johan van Benthem (University of Amsterdam, The Netherlands) Michael Fisher (University of Liverpool, UK) Joseph Halpern (Cornell University, USA) Paul Harrenstein (Ludwig-Maximilians-Universitat Munchen, Germany) Wiebe van der Hoek (University of Liverpool, UK) Jacek Malec (Lund University, Sweden) Rohit Parikh (Brooklyn College, CUNY, USA) Luciano Serafini (ITC-irst, Trento, Italy) Elias Thijsse (University of Tilburg, The Netherlands) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From ilona.zaremba at deri.org Thu Feb 8 17:19:57 2007 From: ilona.zaremba at deri.org (Ilona Zaremba) Date: Thu, 8 Feb 2007 17:19:57 +0100 Subject: 1st European Semantic Technology Conference (ESTC 2007) - Call for Presentations Message-ID: <012901c74b9c$f9bec940$6c0110ac@at.deri.local> ***CALL FOR PRESENTATIONS*** ============================================= 1st European Semantic Technology Conference (ESTC 2007) ============================================= 31 May – 1 June 2007 Vienna, Austria http://www.estc2007.com/ Contributions should consist of a presentation (PPT) to be given at the conference and an accompanying short paper (five pages) for submission and publication in the conference proceedings. We particularly are interested in joint contributions of users and providers of Semantic Technology. Contributions (only 5-page paper) are submitted through the conference website in PDF. IMPORTANT DATES: 5-page paper submission due: April 6, 2007 Notification of acceptance: April 20, 2007 Deadline for final version of 5-page paper: April 27, 2007 Presentations at the conference: May 31 – June 1, 2007 The European Semantic Technologies Conference (ESTC) is the leading European forum to bring together those who use Semantic Technologies in their business, those who implement Semantic Solutions and those who build semantically-enabled products. With semantic technology becoming increasingly mature and commercially deployed, the need for a European industrial event (to complement existing academic events) is evident. For the first ESTC, we are seeking contributions of: • Businesses and public organizations describing their practical experience (case studies) in using Semantic Technologies (the problem, the solution, initial expectations, the project, results, cost/benefit) • Vendor reports on semantically-enabled products and solutions • Analyst reports on the current market situation for Semantic Technologies In particular, we invite the submission of case studies, reports and practical experience papers in the following subject areas: • Experience of Business Deployments of Semantic Web technologies - value proposition and business case, - return on investment, - ease of adoption of technologies, - gaining end-user acceptance, - problems encountered in deploying semantic technology, - limits (and limitations) of semantic technology today, - dos and don’ts of applying semantic technology, - recognising the need – when to apply semantic technology, - integration with legacy systems, and so on; • Semantic Technology market in Europe and globally; • Semantic Technology for Data and Information Integration; • Business Rules and Vocabularies; • Management of content and unstructured data in legacy systems; • Semantic Technology for Knowledge Management; • Business Process Management; • Ontology Engineering: knowledge acquisition, ontology creation and management (e.g. evolution, evaluation); • Semantic Web for e-Business, e-Health, e-Government, Multimedia, Bio-Pharmacy; • Semantic Interoperability in Data and Services for the Enterprise; • Semantic Web Services Tools and Applications; • Semantic Mining for Business Intelligence; • Semantic Searching, Querying, Navigation and Browsing; • Semantic Annotation of Data, Resources and Services. Contributions will be reviewed by the organization committee with advice from the ESTC Program Advisory Board. Program Chair: Dr. V. Richard Benjamins, iSOCO (ES) Program Advisory Board: Academic Mark Musen, Stanford University (US) Rudi Studer, University of Karlsruhe (DE) Government María Jesús Fernandez, City of Zaragoza (ES) Steve Robertshaw, DSTL (UK) Industry Jürgen Angele, Ontoprise, (DE) Luis Bas, Bankinter (ES) Jesús Contreras, iSOCO (ES) Atanas Kiryakov, Ontotext (BG) Ora Lassila, Nokia (US) Andreas Presidís, Biovista (GR) Ralph Traphoener, Empolis (DE) Research Analysts Christopher Harris-Jones, OVUM (UK) Mark Crocker, OTR (UK) Standards José M. Alonso, W3C (ES) Venture Capitalists Mark Greaves, Vulcan Inc. (US) Juan de Tejada, Alta Partners (ES) For more information please visit: http://www.estc2007.com/ Ilona Zaremba DERI Innsbruck University of Innsbruck Technikerstrasse 21a A-6020 Innsbruck Tel.: +43/512/507/96818 Fax +43/512/507/9872 E-mail: ilona.zaremba at deri.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From areces at loria.fr Thu Feb 8 17:23:34 2007 From: areces at loria.fr (Carlos Areces) Date: Thu, 08 Feb 2007 17:23:34 +0100 Subject: CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007) Message-ID: <45CB4E86.9050009@loria.fr> ******************************************************************* THIRD CALL FOR PAPERS International Workshop on Hybrid Logic 2007 (HyLo 2007) http://hylomol.ruc.dk/HyLo2007 6 - 10 August, 2007 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2007 https://www.cs.tcd.ie/esslli2007 6 - 17 August, 2007 in Dublin ******************************************************************* ORGANIZERS: Torben Braüner (Roskilde University, Denmark, torben at ruc.dk) - Chair Jørgen Villadsen (Technical University of Denmark, jv at imm.dtu.dk) WORKSHOP PURPOSE: Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop HyLo 2007 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers who work in the broad subject areas represented at ESSLLI. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). SUBMISSION DETAILS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Papers should not exceed 10 pages including references. A paper must be submitted as a PDF file and the font size must be at least 10 pt when printed on A4 paper. It is recommended that the LaTeX "article" style is used. Please use the HyLo 2007 submission page (http://www.easychair.org/HyLo2007/), handled by the EasyChair conference system, to submit papers. The accepted papers will appear in the workshop proceedings published by ESSLLI. One author for each accepted paper must attend the workshop in order to present the paper. It is planned to publish revised versions of the accepted papers in a special issue of Journal of Logic, Language and Information. WORKSHOP FORMAT: The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic. INVITED SPEAKERS: Balder ten Cate (University of Amsterdam, The Netherlands) Ian Hodkinson (Imperial College, UK) PROGRAM COMMITTEE: Carlos Areces (INRIA Lorraine, France) Patrick Blackburn (INRIA Lorraine, France) Thomas Bolander (Technical University of Denmark) - Co-Chair Torben Braüner (Roskilde University, Denmark) - Chair Mai Gehrke (New Mexico State University, USA) Valeria de Paiva (PARC, USA) Jørgen Villadsen (Technical University of Denmark) IMPORTANT DATES: Deadline for submissions: March 8, 2007 Notification of acceptance: April 21, 2007 Preliminary programme: April 24, 2007 ESSLLI early registration: May 1, 2007 Deadline for final versions: May 17, 2007 Final programme: June 21, 2007 Workshop dates: 6 - 10 August, 2007 LOCAL ARRANGEMENTS: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the ESSLLI local organizing committee on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant. FURTHER INFORMATION: About the workshop: http://hylomol.ruc.dk/HyLo2007 About ESSLLI: https://www.cs.tcd.ie/esslli2007 From jv at imm.dtu.dk Fri Feb 9 08:08:03 2007 From: jv at imm.dtu.dk (Joergen Villadsen) Date: Fri, 9 Feb 2007 08:08:03 +0100 Subject: 3rd CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007) Message-ID: <20070209070759.BDF1DA50024@pfepb.post.tele.dk> ******************************************************************* THIRD CALL FOR PAPERS International Workshop on Hybrid Logic 2007 (HyLo 2007) http://hylomol.ruc.dk/HyLo2007 6 - 10 August, 2007 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2007 https://www.cs.tcd.ie/esslli2007 6 - 17 August, 2007 in Dublin ******************************************************************* ORGANIZERS: Torben Braüner (Roskilde University, Denmark, torben at ruc.dk) - Chair Jørgen Villadsen (Technical University of Denmark, jv at imm.dtu.dk) WORKSHOP PURPOSE: Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop HyLo 2007 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers who work in the broad subject areas represented at ESSLLI. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). SUBMISSION DETAILS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Papers should not exceed 10 pages including references. A paper must be submitted as a PDF file and the font size must be at least 10 pt when printed on A4 paper. It is recommended that the LaTeX "article" style is used. Please use the HyLo 2007 submission page (http://www.easychair.org/HyLo2007/), handled by the EasyChair conference system, to submit papers. The accepted papers will appear in the workshop proceedings published by ESSLLI. One author for each accepted paper must attend the workshop in order to present the paper. It is planned to publish revised versions of the accepted papers in a special issue of Journal of Logic, Language and Information. WORKSHOP FORMAT: The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic. INVITED SPEAKERS: Balder ten Cate (University of Amsterdam, The Netherlands) Ian Hodkinson (Imperial College, UK) PROGRAM COMMITTEE: Carlos Areces (INRIA Lorraine, France) Patrick Blackburn (INRIA Lorraine, France) Thomas Bolander (Technical University of Denmark) - Co-Chair Torben Braüner (Roskilde University, Denmark) - Chair Mai Gehrke (New Mexico State University, USA) Valeria de Paiva (PARC, USA) Jørgen Villadsen (Technical University of Denmark) IMPORTANT DATES: Deadline for submissions: March 8, 2007 Notification of acceptance: April 21, 2007 Preliminary programme: April 24, 2007 ESSLLI early registration: May 1, 2007 Deadline for final versions: May 17, 2007 Final programme: June 21, 2007 Workshop dates: 6 - 10 August, 2007 LOCAL ARRANGEMENTS: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the ESSLLI local organizing committee on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant. FURTHER INFORMATION: About the workshop: http://hylomol.ruc.dk/HyLo2007 About ESSLLI: https://www.cs.tcd.ie/esslli2007 From ccbsaher at si.ehu.es Thu Feb 8 18:50:01 2007 From: ccbsaher at si.ehu.es (Roberto Santana) Date: Thu, 08 Feb 2007 18:50:01 +0100 Subject: (no subject) Message-ID: <45CB62C9.7020807@si.ehu.es> -- Roberto Santana Intelligent Systems Department DECSAI-UPV/EHU http://www.sc.ehu.es/ccwbayes/members/rsantana/ From ccbsaher at si.ehu.es Thu Feb 8 19:07:01 2007 From: ccbsaher at si.ehu.es (Roberto Santana) Date: Thu, 08 Feb 2007 19:07:01 +0100 Subject: Confirmation Request (2969444786) In-Reply-To: References: Message-ID: <45CB66C5.2040807@si.ehu.es> event administration wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe(digest) operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 2969444786, > 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 > > > > -- Roberto Santana Intelligent Systems Department DECSAI-UPV/EHU http://www.sc.ehu.es/ccwbayes/members/rsantana/ From ilona.zaremba at deri.org Fri Feb 9 15:58:06 2007 From: ilona.zaremba at deri.org (Ilona Zaremba) Date: Fri, 9 Feb 2007 15:58:06 +0100 Subject: 1st European Semantic Technology Conference - Call for Tutorials Message-ID: <01fe01c74c5a$b479fe90$6c0110ac@at.deri.local> Call for Tutorial Proposals 1st European Semantic Technology Conference (ESTC 2007) 31 May – 1 June 2007 Vienna, Austria www.estc2007.org ESTC 2007 organizing committee invites the submission of tutorial proposals on Industry aspects of the development of Semantic Web Technology, particularly relating to the subject areas indicated below. We encourage adapted academic content that will present the state of the art and present intricacies and limitations of the current technology. So, we encourage tutorials that will greatly foster the fast education of the practitioners in industry facing practical issues driven primarily by business interests. IMPORTANT DATES * Tutorial proposals due: February 28, 2007 * Notification of proposal acceptance: March 30, 2007 * URL for tutorial website due: April 15, 2007 * Tutorial: June 1, 2007 PROPOSAL REQUIREMENTS: Tutorials can vary in length from 1.5 hours to 3 hours (a half day). Having more than one co-organizer for a tutorial is strongly advised, typically a joint industry and academic effort should be pursued. Tutorial proposed for the ESTC 2007 should cover one topic in appropriate depth (see ESTC 2007 topics of interest below), and present this in a appropriate way that enables especially practitioners in industry to better understand and apply rapidly the state of art Semantic Web technologies. Furthermore, we strongly encourage parts of tutorials to be hands-on sessions that allow attendees to have time and support to have hands-on presented technologies. Tutorial proposals should not exceed 3 pages in A4 format and need to contain the following information: 1. Title and Abstract (200 maximum; to be published on ESTC 2007 website) 2. Description (aims, content, presentation style, technical requirements, hands-on activities) 3. Relevance of the tutorial to foster education of the practitioners in Industry 4. Outline of tutorial content and schedule 5. A list of related tutorials held in the last 3 years, or to be held in 2007 6. Information on presenters (name, affiliation, expertise, experiences in teaching and tutorial presentation) 7. A description of the qualifications of the proposed organizing committee (e.g., papers published in the proposed topic area, previous tutorials organization, other relevant information). Each tutorial organizing committee will be responsible for the following: * Producing a web page and a "Call for Participation" for their tutorial. * Providing a brief description of the tutorial for the conference web page and program. * Advertising the tutorial beyond the conference web page. * Producing a camera-ready version of the tutorial proceedings in LNCS style. The ESTC 2007 Organizing Committee will be responsible for the following: * Providing a link to a tutorial's local page. * Providing logistics support and a meeting place for the tutorial. * Proposing to the organizers, the tutorial date and time. * Providing copies or files on ESTC 2007 CDROM of the tutorial proceedings to attendees. Submitted proposals that follow the above guidelines will be reviewed by the ESTC 2007 organizing committee with respect to the relevance of the topic, the content, and the presentation style. For accepted tutorials, the tutorial organizers need to submit the material for hand-outs (the slide sets and / or additional information; software installation and usage guides for practical hands-on sessions) to the organization committee for pre-printing and preparation of the ESTC 2007 website. Accepted tutorials will receive 1 free registration to the ESTC. PROPOSAL SUBMISSION Tutorial proposals, organization details and any inquiries should be sent by e-mail to the tutorial chairs. Proposals may be submitted in PDF, text or MS Word format. Submitted proposals that follow the above requirements will be reviewed by the ESTC 2007 organizing committee with respect to the relevance of the topic and content. CONFERENCE TOPICS OF INTEREST AND AREA KEYWORDS Topics of interest to the conference include (but are not restricted to): * Real World Deployments of Semantic Web technologies (value proposition, ROI, adoption of technologies, etc) * Semantic Web Services Tools and Applications (e.g. description, discovery, composition, orchestration, etc) * Business taxonomies and Vocabularies * Ontology and Rules systems deployment * Semantic technologies for content and unstructured data in legacy systems * Practices in migration to knowledge technology * Knowledge acquisition, Ontology Creation and Management (e.g. evolution, evaluation) * Best Practices in Data, Schemas, terminology and Ontology Alignment * Semantic Annotation of Data, Resources and services * Semantic Web Rules and Query Languages * Deployment of semantic inference schemes and reasoners (e.g. scalability, fuzziness, distribution) * Semantic Web-based Knowledge Management * Semantic Web for e-Business, e-Health, e-Government, Multimedia, Bio-Pharmacy drug discovery * Database Technologies and Query Languages with Semantic technology * Semantic Interoperability in Data and Services for the enterprise * Semantic Mining for Business Intelligence * Semantic Searching, Querying, Navigation and Browsing * Visualization and Semantic Data Modelling * Semantic Web Trust, Privacy, Security and Intellectual Property Rights Tutorials Chairs: The ESTC 2007 Tutorial chairs are: Dr. Alain Léger, Dr. Vincent Louis FT R&D - Research e-mails : a-t.leger @wanadoo.fr ; vincent.louis @orange-ftgroup.com Dr.YorkSure, Institute AIFB, University of Karlsruhe e-mail: sure @aifb.uni-karlsruhe.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ilona.zaremba at deri.org Fri Feb 9 16:29:00 2007 From: ilona.zaremba at deri.org (Ilona Zaremba) Date: Fri, 9 Feb 2007 16:29:00 +0100 Subject: 1st European Semantic Technology Conference - Call for Workshops Message-ID: <02e401c74c5f$060bcff0$6c0110ac@at.deri.local> Call for Workshop Proposals 1st European Semantic Technology Conference (ESTC 2007) 31 May – 1 June 2007 Vienna, Austria www.estc2007.org ESTC 2007 invites the submission of workshop proposals on Industry aspects of the development of Semantic Web Technology, particularly relating to the subject areas indicated below. We encourage workshops which will open discussion on issues driven by the need of the fast take off of the semantic technology in IT industry. The format of the workshops will be determined by the organizers. Workshops will have a length of 3 hours (a half day). Having more than one co-organizer for a workshop is strongly advised, typically a joint industry and academic effort. IMPORTANT DATES * Workshop proposals due: February 28, 2007 * Notification of proposal acceptance : March 30, 2007 * URL for workshop website due : April 15, 2007 * Workshop : May 31, 2007 PROPOSAL REQUIREMENTS Proposals for workshops should be no more than 3 pages in length. They should contain the following information: 1. Title and Abstract (200 maximum; to be published on ESTC 2007 website) 2. Description (aims, content, presentation style, technical requirements) 3. Relevance of the tutorial to speed up the take off in Industry 4. Outline of workshop content and schedule 5. A list of related workshops held in the last 3 years, or to be held in 2007 6. Information on presenters (name, affiliation, expertise, experiences in workshops organization) 7. A description of the qualifications of the proposed organizing committee (e.g., papers published in the proposed topic area, previous tutorials organization, other relevant information). Each workshop organizing committee will be responsible for the following: * Producing a web page and a "Call for Participation" for their workshop. * The call should also mention that at least one author of each accepted submission must attend the workshop and that all workshop participants must pay the ESTC 2007 workshop registration fee, as well as the conference fee. Finally, it should also clearly describe the process by which the Organizing Committee will select the participants. * Providing a brief description of the workshop for the conference web page and program. * Selecting the presentations accepted for the workshop. * Advertising the tutorial beyond the conference web page. * Producing a camera-ready version of the tutorial proceedings in LNCS style. The ESTC 2007 Organizing Committee will be responsible for the following: * Providing a link to a workshop's local page. * Providing logistics support and a meeting place for the workshop. * In conjunction with the organizers, determining the workshop date and time. * Providing copies or files on ESTC 2007 CDROM of the workshop proceedings to attendees. PROPOSAL SUBMISSION Workshop proposals and any inquiries should be sent by e-mail to the workshop chairs. Proposals may be submitted in PDF, text or Microsoft Word format. Submitted proposals that follow the above guidelines will be reviewed by the ESTC 2007 organizing committee with respect to the relevance of the topic, the content, and the presentation style. For accepted workshops, the workshop organizers need to submit the material for hand-outs (the slide sets and / or additional information) to the ESTC 2007 organization committee for pre-printing and preparation of the ESTC 2007 website. Accepted tutorials will receive 1 free registration to the ESTC 2007 CONFERENCE TOPICS OF INTEREST AND AREA KEYWORDS Topics of interest to the conference include (but are not restricted to): * R eal World Deployments of Semantic Web technologies (value proposition, ROI, adoption of technologies, etc) * Semantic Web Services Tools and Applications (e.g. description, discovery, composition, orchestration, etc) * Business taxonomies and Vocabularies * Ontology and Rules systems deployment * Semantic technologies for content and unstructured data in legacy systems * Best Practices in migration to knowledge technology * Knowledge acquisition, Ontology Creation and Management (e.g. evolution, evaluation) * Practices in Data, Schemas, terminology and Ontology Alignment * Semantic Annotation of Data, Resources and services * Semantic Web Rules and Query Languages * Deployment of semantic inference schemes and reasoners (e.g. scalability, fuzziness, distribution) * Semantic Web-based Knowledge Management * Semantic Web for e-Business, e-Health, e-Government, Multimedia, Bio-Pharmacy drug discovery * Database Technologies and Query Languages with Semantic technology * Semantic Interoperability in Data and Services for the entreprise * Semantic Mining for Business Intelligence * Semantic Searching, Querying, Navigation and Browsing * Visualization and Semantic Data Modelling * Semantic Web Trust, Privacy, Security and Intellectual Property Rights WORKSHOP CHAIRS The ESTC 2007 Workshop chairs are: Dr. Alain Léger, Dr. Vincent Louis FT R&D - Research e-mails : a-t.leger @wanadoo.fr, vincent.louis @orange-ftgroup.com Dr. York Sure, Institute AIFB, University of Karlsruhe email: sure @aifb.uni-karlsruhe.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruskey at cs.uvic.ca Sat Feb 10 10:08:12 2007 From: ruskey at cs.uvic.ca (Frank Ruskey) Date: Sat, 10 Feb 2007 01:08:12 -0800 (PST) Subject: CORE-2007: DEADLINE EXTENDED!! In-Reply-To: References: Message-ID: Please take me permanently off of your e-mailing list. Sincerely, Frank Ruskey On Fri, 9 Feb 2007, core wrote: > > Due to numerous requests from many authors, the CORE organizing committee has > decided to extend the paper submission deadline to February 23. > > There have been updates to the web page about Working Language, which may be > of your interest. > > Please find additional details at www.cic.ipn.mx/core/2007 > > > -------------------- > (We apologize if you receive multiple copies of this message) > > > -- ---------------------- Frank Ruskey e-mail: (last_name)(AT)cs(DOT)uvic(DOT)ca Dept. of Computer Science fax: 250-472-5708 University of Victoria office: 250-472-5794 Victoria, B.C. V8W 3P6 CANADA WWW: http://www.cs.uvic.ca/~(last_name) From lc at cs.uns.edu.ar Mon Feb 12 19:03:56 2007 From: lc at cs.uns.edu.ar (Maria Laura Cobo) Date: Mon, 12 Feb 2007 15:03:56 -0300 Subject: subscribe Message-ID: <45D0AC0C.8000606@cs.uns.edu.ar> From lc at cs.uns.edu.ar Mon Feb 12 19:03:05 2007 From: lc at cs.uns.edu.ar (Maria Laura Cobo) Date: Mon, 12 Feb 2007 15:03:05 -0300 Subject: suscribe Message-ID: <45D0ABD9.1010901@cs.uns.edu.ar> From lc at cs.uns.edu.ar Mon Feb 12 19:32:13 2007 From: lc at cs.uns.edu.ar (Maria Laura Cobo) Date: Mon, 12 Feb 2007 15:32:13 -0300 Subject: Confirmation Request (3073213619) In-Reply-To: References: Message-ID: <45D0B2AD.2040409@cs.uns.edu.ar> event administration wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 3073213619, > 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 K.V.Hindriks at tudelft.nl Wed Feb 14 09:48:04 2007 From: K.V.Hindriks at tudelft.nl (Koen Hindriks) Date: Wed, 14 Feb 2007 09:48:04 +0100 Subject: subscribe Message-ID: <003001c75014$d71eb3b0$d39da182@meije> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From K.V.Hindriks at tudelft.nl Wed Feb 14 10:45:12 2007 From: K.V.Hindriks at tudelft.nl (Koen Hindriks) Date: Wed, 14 Feb 2007 10:45:12 +0100 Subject: Confirmation Request (3213623449) In-Reply-To: Message-ID: <003a01c7501c$d2c942a0$d39da182@meije> -----Original Message----- From: event administration [mailto:event-subscribe at in.tu-clausthal.de] Sent: Wednesday, February 14, 2007 10:19 AM To: Koen Hindriks Subject: Confirmation Request (3213623449) 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: 3213623449, 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 iclp07-publicity at di.uevora.pt Wed Feb 14 10:37:38 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Wed, 14 Feb 2007 09:37:38 +0000 Subject: Second CFP: 23rd International Conference on Logic Programming (ICLP 2007) Message-ID: <2FC7E5EF-B8EE-4C8A-8EA3-33DCB8D8C1AD@di.uevora.pt> (apologies for cross-posting) Second Call for Papers 23rd International Conference on Logic Programming ICLP 2007 Porto, Portugal, September 8-13, 2007 http://www.dcc.fc.up.pt/iclp07/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Abductive Logic Programming, Answer Set Programming, Constraint Logic Programming, Inductive Logic Programming, Alternative Inference Engines and Mechanisms. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence, Bioinformatics. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Papers and Posters Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical and application papers must not exceed 15 pages in the Springer LNCS format. The limit for posters is 2 pages in the same format. The primary means of submission is electronic. Papers and posters must be submitted at http://www.easychair.org/ICLP2007/. Publication It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings. Important Dates Paper registration deadline: March 2, 2007 Submission deadline: March 9, 2007 Notification of authors: May 4, 2007 Camera-ready copy due: June 8, 2007 ICLP 2007 Organization Program Chairs: Verónica Dahl and Ilkka Niemelä General Chair: Fernando Silva Local Chair: Ricardo Rocha Publicity Chair: Salvador Abreu Workshops Chair: Agostino Dovier Doctoral Consortium Chairs: Enrico Pontelli and Inês Dutra Prolog Programming Contest: Bart Demoen Contact Address: iclp07 at dcc.fc.up.pt Program Committee: Maurice Bruynooghe Keith Clark Verónica Dahl (Co-chair) Marina De Vos Yannis Dimopoulos Inês Dutra Esra Erdem Maurizio Gabbrielli Patricia M Hill Katsumi Inoue Tomi Janhunen Tony Kusalik Nicola Leone Vladimir Lifschitz Ilkka Niemelä (Co-chair) Luís Moniz Pereira German Puebla Francesca Rossi Kostis Sagonas Peter Schachte Torsten Schaub Fernando Silva Guillermo R. Simari Tran Cao Son Paul Tarau Francesca Toni Eric Villemonte de la Clergerie David S. Warren Stefan Woltran Workshops The ICLP'07 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a wide and interested audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. You can find the call for proposals in http://www.dimi.uniud.it/dovier/WICLP07/. Workshop proposal submission deadline: February 14, 2007. Doctoral Consortium The Doctoral Consortium (DC) on Logic Programming is the third doctoral consortium to be offered as part of ICLP conference series. The DC builds on the experience of the previous successful consortiums (held in Sitges, Spain and in Seattle, WA) during ICLP-05 and ICLP-06. The DC is designed for doctoral students working in areas related to logic and constraint programming, who are planning to pursue a career in academia. The DC also considers applications from Master's students pursuing projects in logic programming and interested in entering a doctoral program. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. More information can be found at http://www.cs.nmsu.edu/~epontell/DC2007/. Conference Venue ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours. The Conference will take place in the Hotel "Le Meridien Park Atlantic Porto". From stijn.heymans at deri.org Wed Feb 14 11:59:25 2007 From: stijn.heymans at deri.org (Stijn Heymans) Date: Wed, 14 Feb 2007 11:59:25 +0100 Subject: Call for Demos: ESWC 2007 Message-ID: <200702141159.29841.stijn.heymans@deri.org> ==== Call for Demos at ESWC2007 ESWC 2007 4th European Semantic Web Conference 3 - 7 June 2007 Innsbruck (Austria) http://www.eswc2007.org/ Besides the referred paper and poster tracks, ESWC asks for demonstrations of semantic web ideas to applied to real world problems. This includes applications, demonstrations of innovative technologies or infrastructure that supports the deployment of semantic web applications in any area covered by topics of interest for ESWC2007. All demonstrations must show relevance, novelty and significance. == Submissions Submissions are to be sent to eswc2007-demo at sparql.org by noon, Monday April 2nd. They must contain: * A description of the demonstration, including a statement of its cnovelty and relevance. * An RDF description The RDF metadata must include at least a DOAP description [DOAP] and include contact email using FOAF [FOAF]. The description should be 2-sides or less (excluding screen shots), or a draft poster with a covering note stating the contribution. We accept only submissions in the PDF or HTML formats. == Late breaking news A few items of late breaking news may also be accepted. To be acceptable for a poster presentation of late breaking news, a submission must include: * Draft poster or 2-side description of the new item * A statement as why the submission is timely. Material submitted to the main paper and poster tracks will not be accepted. Posters for late breaking news will not be published as part of the conference proceedings. == Dates Demo day: Monday 4th June Important Dates: * Deadline for demo submission: noon Monday April 2nd * Notification: May 2nd * Demo day: Monday 4th June Review Committee Andy Seaborne (Chair) -- Hewlett-Packard Laboratories Chris Bizer -- Freie Universit�t Berlin Alberto Reggiori -- asemantics Arjohn Kampman -- Aduna Steve Harris -- garlik Rob Shearer -- University of Manchester DOAP http://usefulinc.com/doap/ DOAP generator http://crschmidt.net/semweb/doapamatic/ FOAF http://xmlns.com/foaf/0.1/ FOAF generator http://www.ldodds.com/foaf/foaf-a-matic.html -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : nicht verfügbar Dateityp : application/pgp-signature Dateigröße : 189 bytes Beschreibung: nicht verfügbar URL : From c.orasan at wlv.ac.uk Wed Feb 14 12:55:46 2007 From: c.orasan at wlv.ac.uk (Constantin Orasan) Date: Wed, 14 Feb 2007 11:55:46 +0000 Subject: Job announcement: Senior Research Fellow in Computational Linguistics Message-ID: <1171454146.5954.107.camel@localhost.localdomain> [apologies for cross posting] ----------------------------------------------------------------------- Senior Research Fellow in Computational Linguistics/Natural Language Processing Applications closing date: 9 March 2007 Reference: A4686 Salary: £29,349 to £39,033* pa (level of appointment dependent on qualifications and experience) ------------------------------------------------------------------------ We are seeking a Senior Researcher in Computational Linguistics/Natural Language Processing with an excellent research record as evidenced by publications in reputable journals. Project experience or links with industry would be an advantage as would teaching or PhD supervision experience. Duties include collaborative research and producing first class research/publications, involvement in grant applications, and some teaching and student supervision. This appointment is for two years in the first instance. Applications should include a completed application form, CV, and covering letter in which you explain why you have applied for the position and give details of your research interests/experience and background. The covering letter should also present a research plan (about 1,000 words) which you would like to pursue. The interviews are scheduled to take place in April with the starting date as soon as possible thereafter. For informal enquiries, please contact Prof. Ruslan Mitkov (R.Mitkov at wlv.ac.uk). Applications to be sent to Personnel. If emailed, please cc to R.Mitkov at wlv.ac.uk For an application form, contact: Personnel Services Department, University of Wolverhampton, Molineux Street, Wolverhampton WV1 1SB Phone +44 (0) 1902 321049 (ansaphone), and quoting the reference number. For hearing impaired candidates our Minicom number is +44 (0) 1902 321249. Email address: per at wlv.ac.uk The application form can also be downloaded from http://clg.wlv.ac.uk/jobs/app_form_jobs.pdf * In line with the University pay modernisation programme, salaries may be subject to review. Established by Prof. Mitkov in 1997, the Research Group in Computational Linguistics (http://clg.wlv.ac.uk) is a highly successful one, delivering cutting-edge research in a number of NLP areas such as anaphora resolution, automatic summarisation, question answering, lexical knowledge acquisition, text categorisation, named entity recognition, information extraction, corpus construction and annotation, automatic terminology processing, multilingual processing, and multiple-choice question generation. To a large extent, this research has been undertaken in projects funded by major UK funding bodies and commercial partners. -- Constantin Orasan Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From c.orasan at wlv.ac.uk Wed Feb 14 12:56:12 2007 From: c.orasan at wlv.ac.uk (Constantin Orasan) Date: Wed, 14 Feb 2007 11:56:12 +0000 Subject: Job announcement: Professor or Reader in Computational Linguistics Message-ID: <1171454172.5954.109.camel@localhost.localdomain> [apologies for cross postings] ------------------------------------------------------------------- Professor or Reader in Computational Linguistics/Natural Language Processing Reference number: B4553 Application deadline: 9 March 2007 Salary in the range: £36,675 - £46,114 (Reader) or £47,807 - £53,945* (Professor) ------------------------------------------------------------------- We are seeking a Professor or Reader (depending on track record and qualifications) in Computational Linguistics/Natural Language Processing with an outstanding research record as evidenced by publications in leading journals and successful grant applications. Commercial experience or links with industry would be an advantage as would teaching experience and experience in mentoring less experienced researchers. Duties include collaborative research and producing first class research/publications, grant applications, PhD student/researcher supervision and teaching. This is a permanent position. Applications should include a completed application form, CV, and covering letter explaining your reasons for applying for the position, including the level of appointment, and giving details of your research interests/experience and background. You should also give the names of three referees who can comment on your suitability for appointment at the appropriate level. The interviews are scheduled to take place in April, with the starting date as soon as possible thereafter. For informal enquires, please contact Prof. Ruslan Mitkov (R.Mitkov at wlv.ac.uk). Applications to be sent to Personnel. If emailed, please cc to R.Mitkov at wlv.ac.uk For an application form, contact: Personnel Services Department, University of Wolverhampton, Molineux Street, Wolverhampton WV1 1SB Phone +44 (0) 1902 321049 (ansaphone), and quoting the reference number. For hearing impaired candidates our Minicom number is +44 (0) 1902 321249. Email address: per at wlv.ac.uk The application form can also be downloaded from http://clg.wlv.ac.uk/jobs/app_form_jobs.pdf * In line with the University pay modernisation programme, salaries may be subject to review. Established by Prof. Mitkov in 1997, the Research Group in Computational Linguistics (http://clg.wlv.ac.uk) is a highly successful one, delivering cutting-edge research in a number of NLP areas such as anaphora resolution, automatic summarisation, question answering, lexical knowledge acquisition, text categorisation, named entity recognition, information extraction, corpus construction and annotation, automatic terminology processing, multilingual processing, and multiple-choice question generation. To a large extent, this research has been undertaken in projects funded by major UK funding bodies and commercial partners. -- Constantin Orasan Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From laszlo.varga at sztaki.hu Wed Feb 14 13:41:24 2007 From: laszlo.varga at sztaki.hu (Laszlo Z. Varga) Date: Wed, 14 Feb 2007 13:41:24 +0100 Subject: CEEMAS07 Call for Papers In-Reply-To: References: Message-ID: <45D30374.7010608@sztaki.hu> *************** Call for Papers *************** 5th International Central and Eastern European Conference on Multi-Agent Systems 25-27 September 2007, Leipzig, Germany http://www.ceemas.org/ceemas07 About the Conference ==================== The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its particular geographical orientation towards Central and Eastern Europe, CEEMAS has become an internationally recognised event with participants from all over the world. CEEMAS’07 expects papers from every fundamental research fields of multi agent systems. Papers which focus on the following three areas are especially welcome: scalability and reconfigurability of multi agent systems; deployment scenarios exploiting synergies of multi agent systems and other related technologies like grid, web services and semantic web; applications of multi agent systems in design and manufacturing, transport and logistics, space applications, tourism industry, e-commerce and many other application areas. The Organising Committee solicits research submissions for the main research track of the conference, as well as for the accompanying industrial and posters track. For further details visit the conference web site. The conference proceedings including the accepted papers of the main conference, selected papers from the posters and industrial track, are planned to be published by Springer Verlag in the LNAI series as before. Topics of the conference ======================== # agent models and architectures # reactive and intentional agents # planning and scheduling in MAS # conflicts, conflict resolution and negotiation # coordination, teamwork, coalition formation # formal methods, logic in MAS # personal agents, agent-based user interfaces # learning and evolution in MAS # holons and holarchies # mobility, migration, accessibility # agents' representation # social knowledge and social reasoning # ant colonies & swarms # agents in electronic business and virtual organizations # self-organising systems and emergent organization # complexity and tractability in agent-based systems # agent standards, communication, agent management # agent platforms and interoperability # knowledge management & ontologies # agent oriented software engineering, modelling and methodologies # agent communication, interaction protocols and mechanisms # meta-reasoning, meta-agency, reflection in MAS # security, authentication, intrusion detection # reports on applications and case studies # relationship to related technologies: middleware, grid, web services # trust, reputation, and reliability # scalability and performance issues, robustness # robot teams, multi robot systems # artificial social systems # agent based social simulation # verification and testing # adjustable autonomy of MAS Important Dates =============== Full paper submission: 8 April, 2007 Notification of acceptance: 13 May, 2007 Camera ready papers: 17 June, 2007 Submission Details ================== All submissions will be subject to academic peer review by at least two members of the Program Committee. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. Authors of all submissions are requested to format their papers according to Springer LNAI guidelines (http://www.springer.de/comp/lncs/authors.html) and submit them electronically as described on the conference web page. Research track submissions: --------------------------- Paper submissions for the main research track of the conference should be formatted according to Springer LNAI guidelines and must not exceed 10 pages, including graphics and references. Authors are requested to submit their papers electronically on the conference submission web page. Posters track ------------- The conference poster session provides an opportunity to present the work in progress, enabling to discuss projects with others in the field. Students are encouraged to submit a poster presentation. The presenters will be invited to contribute an article as well. Papers should be formatted according to Springer LNAI guidelines and must not exceed 3 pages, including graphics and references. Authors are requested to submit their papers electronically on the conference submission web page. Industrial track ---------------- The CEEMAS conference provides the opportunity to submit papers on genuine applications of agent technology. Papers describing concrete, practical implementations with industrial links are encouraged opposed to pure conceptual plans or potential applications. Our goal is to demonstrate the real life value and commercial reality of multi-agent systems as well as to foster the communication between academia and industry on this field. If your paper describes practical experience and real applications, you should submit it to the industrial track. System descriptions should be formatted according to Springer LNAI guidelines and must not exceed 2 pages, including graphics and references. Authors are requested to submit their papers electronically on the conference submission web page. Submission policies =================== CEEMAS’07 will not accept any paper, which has already been published or accepted for publication in a journal or another conference. These restrictions apply only to journals and conferences, not to workshops and similar specialized presentations with a limited audience and without archival proceedings. For each accepted paper, at least one author is required to attend the conference to present the paper. Each author can give only one presentation. Papers without at least one author registering by the early registration deadline will be automatically excluded from the conference programme and the proceedings. The best paper of the conference, to be selected by the Programme Committee at the conference, will receive the Best Paper Award during the conference. Organising Committee ==================== General chair: Laszlo Z. Varga (Hungary) Programme co-chair: Hans-Dieter Burkhard (Germany) Programme co-chair: Rineke Verbrugge (The Netherlands) Secretariat ----------- UNIVERSITÄT LEIPZIG Karen Heyden Marschnerstrasse 31 D-04109 Leipzig Tel. +49 (0)341 9733727 Fax. +49 (0)341 9733729 Steering Committee ------------------ Barbara Dunin-Keplicz (Poland) Vladimir Gorodetski (Russia) Michael Luck (UK) Vladimir Marik (Czech Republic) Joerg Mueller (Germany) Edward Nawarecki (Poland) Michal Pechoucek (Czech Republic) Paolo Petta (Austria) Laszlo Z. Varga (Hungary) Conference Venue ================ http://www.sabre-conference.de/ In 2007 Leipzig will be the location for a major event in which a number of well established as well as new conferences and workshops will join forces in order to conduct the probably biggest and most influential event in this area in Europe for 2007. SABRE will mainly focus on Software, Agents, Multi-agent Systems, Grid-computing, Service-oriented Architectures, Business Process and Services Computing, Self-Organization, and Autonomous Systems. It, especially, will also concentrate on the relationships and overlaps between these areas. Moreover, as can already be implied from the title of the conference, SABRE will not only concentrate on research but will especially also bridge the gap between research and industry by providing a fertile platform for business-oriented topics and presentations. Thus, we especially encourage applied researchers, users, and industry to submit contributions to one of our events. SABRE is a transparent event what especially also means that every participant of an individual conference is allowed to go to whatever session (s)he wants to go, whether it belongs to the specific conference of her/his choice or not. From lt at cs.uns.edu.ar Wed Feb 14 18:05:41 2007 From: lt at cs.uns.edu.ar (Tamargo, Luciano H.) Date: Wed, 14 Feb 2007 14:05:41 -0300 Subject: subscribe Message-ID: <000101c7505a$5b8c7980$b700a8c0@lucho> From lt at cs.uns.edu.ar Wed Feb 14 18:35:27 2007 From: lt at cs.uns.edu.ar (Tamargo, Luciano H.) Date: Wed, 14 Feb 2007 14:35:27 -0300 Subject: Confirmation Request (3243213884) In-Reply-To: Message-ID: <000001c7505e$846ea4a0$b700a8c0@lucho> -----Original Message----- From: event administration [mailto:event-subscribe at in.tu-clausthal.de] Sent: Miércoles, 14 de Febrero de 2007 02:32 p.m. To: Tamargo, Luciano H. Subject: Confirmation Request (3243213884) 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: 3243213884, 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 aldini at sti.uniurb.it Fri Feb 16 10:17:27 2007 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Fri, 16 Feb 2007 10:17:27 +0100 (CET) Subject: FOSAD 2007: call for participation Message-ID: =========================================================================== (Apologies for multiple copies) ** Application Deadline: May 31, 2007 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % SEVENTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2007 % % http://www.sti.uniurb.it/events/fosad07 % % % % 9-15 September 2007, Bertinoro, Italy % % % % *** Announcement *** % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% General Information ^^^^^^^^^^^^^^^^^^^ Security in computer systems and networks emerged as one of the most challenging research areas. The International School on Foundations of Security Analysis and Design (FOSAD) has been one of the foremost events established with the goal of disseminating knowledge in this critical area. The main aim of the FOSAD school is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management - that can be of help for graduate students and young researchers from academia or industry that intend to approach the field. The seventh edition of FOSAD alternates monographic courses of 3 to 6 hours and special sessions dedicated to presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area. Programme: * Ross Anderson (University of Cambridge, UK) API Security and Security Economics * Ulfar Erlingsson (Microsoft Research, USA) Low-level Software Security * Cathy Meadows (Naval Research Laboratory, USA) Application of Formal Methods to Cryptographic Protocol Analysis * Chris Mitchell (Royal Holloway, University of London, UK) Trusted Mobile Platforms * George Necula (University of California, Berkeley, USA) Language-Based Security * Bart Preneel (KU Leuven, Belgium) Cryptographic Algorithm Engineering and Provable Security * Jean-Jacques Quisquater (UCL, Belgium) Embedded Systems Security and Cryptographic Coprocessors Proocedings of the lectures will appear as a volume in the tutorial series of Springer LNCS. The volume will also collect material presented at FOSAD 2006. Location ^^^^^^^^ The school is organized at the University Residential Center of Bertinoro, situated in Bertinoro, a small village on a scenic hill with a wonderful panorama, in between Forli' and Cesena (about 50 miles south-east of Bologna, 15 miles to the Adriatic sea). The cheapest way to travel is by plane to Forli' airport (the secondary airport of Bologna), which is daily connected to, e.g., London and Frankfurt AM through the low fares airline Ryanair. Organisation ^^^^^^^^^^^^ Scientific Committee: - Roberto Gorrieri director (University of Bologna) - Martin Abadi (University of California at Santa Cruz, USA) - Alessandro Aldini (University "Carlo Bo" of Urbino) - Sandro Etalle (Twente University, The Netherlands) - Javier Lopez (University of Malaga) - Fabio Martinelli (CNR-IIT, Pisa) - Catherine Meadows (U.S. Naval Research Laboratory) Administrative staff: - Andrea Bandini, director (University Residential Centre of Bertinoro) - Eleonora Campori (University Residential Centre of Bertinoro) Important Dates ^^^^^^^^^^^^^^^ Prospective participants should apply through the web site by May 31, 2007. Notification of accepted applicants will be posted by June 14, 2007. Registration to the school is due by July 24, 2007. Fees ^^^^ Accommodation fee is 350 Euros and covers costs for 6 nights (starting from Sunday 9 September, 2007) in double room, half board (breakfast and lunch, dinner of 9 September 2007 included, lunch of 15 September 2007 excluded). Registration fee is 350 Euros and includes didactical material from the lectures. Grants ^^^^^^ A limited amount of grants will be provided to cover part of the expenses. Please, include your request with the application. Further Information ^^^^^^^^^^^^^^^^^^^ More detailed information available at URL http://www.sti.uniurb.it/events/fosad/ http://www.sti.uniurb.it/events/fosad07 Sponsors ^^^^^^^^ * ARTIST 2 Network of Excellence on Embedded Systems Design * CNR-IIT, Pisa * SENSORIA Software Engineering for Service-Oriented Overlay Computers * University of Bologna Under the auspices of: * EATCS - IT * EEF * ERCIM STM WG * IFIP WG 1.7 From stijn.heymans at deri.org Fri Feb 16 11:17:35 2007 From: stijn.heymans at deri.org (Stijn Heymans) Date: Fri, 16 Feb 2007 11:17:35 +0100 Subject: Last call for extended abstracts PhD symposium ESWC 2007 Message-ID: <200702161117.40935.stijn.heymans@deri.org> [Apologies if you receive multiple copies] ================================================================== LAST CALL FOR EXTENDED ABSTRACTS KWEPSY2007 KnowledgeWeb PhD Symposium Innsbruck, Austria 6th June, 2006 http://ontoworld.org/wiki/KWEPSY2007 at the 4th Annual European Semantic Web Conference (ESWC) http://www.eswc2007.org/ Executive Summary ------------------------------------------------------------------ The Knowledge Web PhD Symposium aims at bringing together doctoral students within the Semantic Web community to open their work up to discussion in a European forum, and to obtain valuable feedback from leading scientists in the field. However, in contrast with other similar initiatives, participants to the symposium will not only receive constructive comments with respect to topic-specific research issues; they will also be assisted in formulating a coherent research narrative for their doctoral work. In particular, students will be asked to submit an extended abstract, structured in accordance to a pre-defined template, which has been designed to highlight the key methodological components required for a sound research narrative. Generally speaking, priority will be given to 1st/2nd year PhD students (because they are still in the process of defining the scope of their research). However, all PhD students are welcome and encouraged to apply. Just as in 2006 (http://www.l3s.de/kweb/kwepsy2006/), the 2nd Symposium will be co-located with the 4th Annual European Semantic Web Conference ESWC2007. It is scheduled for the 6th of June 2007. Important Dates (GMT) ------------------------------------------------------------------ -- Deadline for paper submissions: March 2, 2007 -- Notification of acceptance: April 2, 2007 -- Camera-ready versions: April 13, 2007 -- Symposium: June 6, 2007 Call for Contributions ------------------------------------------------------------------ Though organized under the umbrella of KnowledgeWeb (http://knowledgeweb.semanticweb.org/), the symposium is open to all PhD students carrying out research on topics related to the Semantic Web. The applicants are required to send an extended abstract of their doctoral work, which should address the following aspects: -- Describe the research problem of the PhD thesis and argument its relevance for the Semantic Web area. -- Describe the state of the art, emphasizing the need for improvement and the feasibility of their approach. -- Summarize the expected contributions and outline the real-world use cases (applications, target audience) which will mainly benefit from their work. -- Sketch the research methodology that they have adopted (or are planning to adopt), in particular the approach to evaluating/validating the results. -- Describe the proposed approach, clearly differentiating between the results achieved so far, the remaining work and the (planned) evaluation. -- Compare and contrast their approach with other existing approaches, in particular highlighting the shortcomings of other approaches and the way they are dealt with in the present work. -- Conclude with a summary and an outline of the planned future work. Papers should not exceed 5 pages. They should be formatted according to the LNCS format (http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0) and submitted as PDF documents per mail to Elena Simperl simperl at inf.fu-berlin.de. Applicants should also specify how long they have worked on their doctoral work. All papers will be peer-reviewed by at least two members of the scientific advisory board. The submissions will be reviewed against the following criteria (in this order): -- Conformance of the submitted abstract to the given template. -- Novelty and originality of the research work. -- Rigorousness and scientific soundness of the overall approach and of the results so far. -- Clarity of the presentation. -- Relevance of the work with respect to the Semantic Web field. The selected participants will be given the opportunity to open their work up to discussion in front of other students and an expert audience (either in a regular presentation session or in a poster session, this will be decided by the reviewers). Each accepted contribution will be assigned to a scientific advisor, who will provide extended feedback to the presented research achievements and to the accuracy of the applied methodology, and will attend the symposium. A template for structuring the paper presentations will be provided after the final program of the symposium has been set up. Topics ------------------------------------------------------------------ Topics of interest to the symposium include (but are not restricted to): -- Ontology management (e.g. creation, evolution, evaluation) -- Ontology alignment (e.g. mapping, matching, merging, alignment, mediation and reconciliation) -- Ontology learning -- Ontology population -- Business-oriented aspects of ontology engineering (costs, business measurements, cost benefit analysis) -- Semantic Web-based multimedia -- Semantic annotation of data -- Semantic Web trust, privacy, security and intellectual property rights -- Semantic Web representation and query languages -- Reasoning on the Web (e.g. scalability, fuzziness, distribution) -- Searching, querying, visualizing, navigating and browsing the Semantic Web -- Personalization and user modelling -- User interfaces and Semantic Web -- Semantic Grid and Middleware -- Semantic Web Services (e.g. description, discovery, invocation, composition) -- Semantic Web Applications for knowledge management, eBusiness, eCulture, eGovernment, eHealth, eLearning, eScience etc. -- Database technologies for the Semantic Web -- Semantic interoperability -- Semantic data integration -- Semantic Web mining Organisation Committee ------------------------------------------------------------------- Elena Simperl (Free University of Berlin, Germany) Joerg Diederich (L3S Hannover, Germany) Guus Schreiber (Vrije Universiteit Amsterdam, Netherlands) Scientific Advisors (provisional list) ------------------------------------------------------------------- Alain Leger (France Telecom, France) Anupriya Ankolekar (University of Karlsruhe, Germany) Axel Polleres (DERI Innsbruck, Austria) Carole Goble (University of Manchester, UK) Daniel Olmedilla (University of Hannover, Germany) Diana Maynard (University of Sheffield, UK) Dieter Fensel (DERI Innsbruck, Austria) Elena Simperl (Free University of Berlin, Germany) Enrico Franconi (Free University of Bozen-Bolzano, Italy) Enrico Motta (The Open University, UK) Fabien Gandon (INRIA Sophia-Antipolis, France) Fausto Giunchiglia (University of Trento, Italy) Frank van Harmelen (Vrije Universiteit Amsterdam, Netherlands) Guus Schreiber (Vrije Universiteit Amsterdam, Netherlands) Heiner Stuckenschmidt (University of Mannheim, Germany) Holger Wache (Vrije Universiteit Amsterdam, Netherlands) Ilya Zaihrayeu (University of Trento, Italy) Jeff Z. Pan (University of Aberdeen, UK) Jerome Euzenat (INRIA Rhone-Alpes, France) Joerg Diederich (University of Hannover, Germany) John Breslin (NUIG Galway, Irland) John Davies (BT, UK) Lora Aroyo (Technical University of Eindhoven, Netherlands) Lyndon Nixon (Free University of Berlin, Germany) Marco Ronchetti (University of Trento, Italy) Martin Dzbor (The Open University, UK) Michal Zaremba (DERI Innsbruck, Austria) Pavel Shvaiko (University of Trento, Italy) Peter Haase (University of Karlsruhe, Germany) Richard Benjamins (iSOCO, Spain) Robert Meersman (Free University of Brussels, Belgium) Robert Shearer (University of Manchester, UK) Robert Tolksdorf (Free University of Berlin, Germany) Rose Dieng (INRIA, France) Rudi Studer (University of Karlsruhe, Germany) Sergio Tesaris (Free University of Bozen-Bolzano, Italy) Stefan Decker (NUIG Galway, Irland) Steven Willmott (UPC, Spain) Tomas Vitvar (NUIG Galway, Irland) Valentina Tamma (University of Liverpool, UK) Walter Binder (L'Ecole Polytechnique F�d�rale de Lausanne, CH) Wolfgang Nejdl (University of Hannover, Germany) Yiannis Kompatsiaris (CERTH, Greece) Ying Ding (DERI Innsbruck, Austria) York Sure (University of Karlsruhe, Germany) Contact ---------------------------------------------------------------------- Please contact Elena Simperl (simperl at inf.fu-berlin.de) if you have any questions regarding this event. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : nicht verfügbar Dateityp : application/pgp-signature Dateigröße : 189 bytes Beschreibung: nicht verfügbar URL : From walid.chainbi at lycos.com Fri Feb 16 17:37:17 2007 From: walid.chainbi at lycos.com (Walid Chainbi) Date: Fri, 16 Feb 2007 11:37:17 -0500 (EST) Subject: ATAC'2007 within SABRE conference Message-ID: <20070216113717.HM.0000000000000YY@walid.chainbi.bos-mail-wwl17.lycos.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rcra07 at dis.uniroma1.it Mon Feb 19 18:25:43 2007 From: rcra07 at dis.uniroma1.it (RCRA 2007) Date: Mon, 19 Feb 2007 18:25:43 +0100 Subject: RCRA 2007 - Call for Papers Message-ID: <0A2F0AC2-A55E-4790-8D25-8470F8605F76@dis.uniroma1.it> [apologies for multiple postings] * ________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organises the 14th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://pst.istc.cnr.it/RCRA07/ rcra07 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. * ________________________________________________________________ * DATE 5-6 July 2007 VENUE Rome, CNR (National Research Council) 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: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling 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 * 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. WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara * Toni Mancini, Università di Roma "La Sapienza" LOCAL COMMITTEE * Amedeo Cesta, ISTC-CNR, Rome * Nicola Policella, ISTC-CNR, Rome PROGRAM COMMITTEE * Marco Benedetti, Université d'Orléans, France * Francesco Buccafurri, Università meditterranea di Reggio Calabria, Italy * Amedeo Cesta, ISTC-CNR, Italy * Agostino Dovier, Università degli Studi di Udine, Italy * Wolfang Faber, Università della Calabria, Italy * Marco Gavanelli, Università di Ferrara, Italy * Narendra Jussien, Ecole des Mines de Nantes, France * Daniel Le Berre, Université d'Artois, France * Ines Lynce, Universidade Técnica de Lisboa, Portugal * Donato Malerba, Università degli Studi di Bari, Italy * Toni Mancini, Università degli Studi di Roma "La Sapienza", Italy * Pedro Meseguer, CSIC-IIIA, Spain * Ilkka Niemela, Helsinki University of Technology, Finland * Laurent Perron, ILOG, France * Nicola Policella, European Space Agency, Germany * Steve Prestwich, Cork Constraint Computation Centre, Ireland * Andrea Roli, Università degli Studi di Bologna, Italy * Andrea Schaerf, Università di Udine, Italy * Laurent Simon, LRI-Université Paris-Sud, France * Kostas Stathis, Royal Holloway-University of London, United Kingdom * Armando Tacchella, Università di Genova, Italy * Mirek Truszczynski, University of Kentucky, USA IMPORTANT DATES * Paper submission deadline: 25 April 2007 * Notification of acceptance/reject: 25 May 2007 * Final version: 20 June 2007 * Workshop: 5-6 July 2007 SUBMISSIONS Papers should not exceed 15 pages (Latex standard article style, 11pt) and should be submitted electronically via email to rcra07 at dis.uniroma1.it, either in postscript or PDF format. Two types of submissions are possible * Original papers, not previously published in conferences or journals * Informal presentations, overviews of research projects, position papers Both types of submissions will be reviewed by at least three members of the program committee. Accepted papers will be electronically published on the workshop web site. Informal presentations are aimed at fostering discussion between the participants. After the workshop, the authors of original papers will be invited to submit an extended version of their paper for possible publication in the post-proceedings. From basili at info.uniroma2.it Mon Feb 19 19:25:56 2007 From: basili at info.uniroma2.it (Roberto Basili) Date: Mon, 19 Feb 2007 19:25:56 +0100 Subject: AI*IA 2007: Call for Workshop Proposals Message-ID: <5.2.1.1.0.20070219192323.01d98060@mail.disp.uniroma2.it> (Please apologize multiple postings) Call For Workshop Proposals AI*IA '07 "Artificial Intelligence and Human-oriented Computing" 10th Congress of the Italian Association for Artificial Intelligence September 10 - 13, 2007 - University of Roma Tor Vergata (Italy) Web: http://aiia.info.uniroma2.it/ * * * Submission deadline: March 10, 2007 * * * CALL FOR WORKSHOP PROPOSALS AT AI*IA 2007 ========================================= (http://aiia.info.uniroma2.it/cfw.html) We invite proposals for workshops to be held in conjunction with the 10th biannual Congress of the Italian Association for Artificial Intelligence (AI*IA 2007 - web site http://aiia.info.uniroma2.it) in Rome (Italy). We solicit proposals on any topic of interest to the AI community. The workshops will be held on the conference days at the conference venue Villa Mondragone In the schedule of AIIA 2007, workshops will provide an opportunity to discuss and explore emerging areas of Artificial Intelligence research. Their intended aim is to bring together researchers from different communities to promote discussion and development of new ideas and methods in AI. These may focus on any AI aspect, from specific theoretical studies to practical work like AI industrial applications. Reports on ongoing research projects are also welcome. The proposals for workshops should be prepared according to the guidelines available at: http://aiia.info.uniroma2.it/cfw-proposal-form.html and they must be sent by e-mail to the Workshop chair Alessandro Moschitti. Please contact the Workshops Chair, if you have any questions about the appropriate preparation of your proposal, especially with regard to the budget. IMPORTANT DATES ========================================= Submission deadline for Workshop Proposal: March 10, 2007 Notification for Workshop Proposal: March 25, 2007 Workshop Call For Paper due (suggested): April 5, 2007 CONTACT PERSON ========================================= Workshop chair Alessandro Moschitti: moschitti[at]info.uniroma2.it SUBMISSION INSTRUCTIONS ========================================= Please prepare the proposal according to the guidelines available at http://aiia.info.uniroma2.it/cfw-proposal-form.html and send it, by email to the following address: moschitti[at]info.uniroma2.it. The subject line must be: "AI*IA 2007 WORKSHOP PROPOSAL". ------------------------------------------------------------------------------------ Roberto BASILI Department of Computer Science, Systems and Production AI Research Group University of Roma, Tor Vergata Via del Politecnico 1 00133 Roma, Italy Tel. +39-06-72597391. Lab. +39-06-72597332, Fax. +39-06-72587460 URL: ai-nlp.info.uniroma2.it/basili ------------------------------------------------------------------------------------ From paolo.romano at istge.it Tue Feb 20 11:50:41 2007 From: paolo.romano at istge.it (Paolo Romano) Date: Tue, 20 Feb 2007 11:50:41 +0100 Subject: Final Call for Papers NETTAB 2007 Message-ID: <7.0.1.0.0.20070220115035.01da6fb8@istge.it> ================================= Apologies, if you're receiving multiple copies ================================= Final Call for Papers 7th International Workshop NETTAB 2007 June 12-15, 2006 Department of Computer Science, University of Pisa, Pisa http://www.nettab.org/2007/ FOCUS THEME A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications ADJUNCT THEMES Algorithms in bioinformatics Formal Methods for Systems Biology Network Tools and Applications in Bioinformatics AIMS This workshop aims at getting together biologists, bioinformaticians, computer scientists and linguists to try to answer the following questions: - Is the Semantic Web of some use for Bioinformatics? - Which goals should have a Semantic Web for Bioinformatics? - Which standards, technologies and tools of the Semantic Web can most profitably be used in Bioinformatics? - Which application did the Semantic Web already find in Bioinformatics? - Which current Bioinformatics research problems can be solved by the Semantic Web? - Which are the short, medium and long term perspectives in applying Semantic Web technologies to Bionformatics? The workshop also intends to: - introduce the basic knowledge of related standards and technologies, in a non trivial way through invited lectures and tutorials - outline the promising features of the Semantic Web in bioinformatics through invited lectures and open discussion - show some valuable examples in bioinformatics through invited lectures, oral communications and posters - support as much discussion as possible through open discussions and a panel discussion - practically demonstrate "how it works" through tutorials INVITED SPEAKERS We are extremely glad to inform you that four excellent speakers have accepted to give an invited lecture at next NETTAB workshop. + Session on Goals of the Semantic Web in Bioinformatics Invited speaker: Eric Neumann, Co-chair of the Health Care and Life Science Interest Group of the Semantic Web Activity at W3C & Teranode Inc., USA + Session on Semantic Web Standards and Technologies Invited speaker: Guus Schreiber, Chair of Semantic Web Deployment Interest Group at W3C & University of Amsterdam, The Netherlands + Session on Semantic Web Tools Invited speaker: Olivier Bodenreider, Medical Ontology Research, National Library of Medicine, USA + Session on Applications of Semantic Web in Bioinformatics Invited speakers: Michael Schroeder, Biotec TU Dresden, Germany, and Albert Burger, Heriot-Watt University, Scotland, UK Titles of the lectures will soon be announced. TOPICS NETTAB workshops also include general sessions on Network Tools and Applications in Biology and adjunct focus topics selected by local organizers. You are therefore welcome to submit your work on any of the followings topics: Goals of a Semantic Web for Bioinformatics: Standards, Technologies, Tools for the Semantic Web Systems for a Semantic Web for Bioinformatics: Existing and perspective applications of the Semantic Web for Bioinformatics Algorithms in Bioinformatics Formal Methods for Systems Biology Network Tools and Applications in Bioinformatics DEADLINES Submission of oral communications: March 16, 2007 Proposals for tutorials: March 16, 2007 Submission of posters: April 20, 2007 Early Registration Deadline: April 27, 2007 SUBMISSION OF CONTRIBUTIONS You are welcome to submit your contributions through the MyReview system at the following URL: http://www.nettab.org/2007/myreview/ . This is a two steps submission procedure. You will have to submit first an abstract and later the paper. You are invited to prepare your contribution according to instructions available at http://www.biomedcentral.com/bmcbioinformatics/ifora/ (specially, see "Preparing main manuscript text" section). See the workshop's web site for more details about the preparation of the papers. PUBLICATION OF PAPERS AND POSTERS All accepted oral communications and posters will be published in the Workshop's Proceedings that will be distributed to all participants. Selected papers will be published by BMC Bioinformatics as a Supplement Issue. When submitting, you will be asked if your submission is intended for the workshop only or for the publication in BMC Bioinformatics too. The papers will be reviewed by the members of the Programme Committee. They will decide whether the papers are accepted for the workshop only or for the publication in BMC Bioinformatics as well. The workshop will engage itself to pay part of the cost of the publication, but please be advised that depending on the final budget of the workshop you could be requested to contribute to publication costs which has been set to 600 British pounds per paper. For any further information or clarification, please contact the organization by email at info at nettab.org . CHAIRS P. Romano, Bioinformatics, Natl Cancer Research Inst., Italy M. Schröder, Biotechnology Centre, TU Dresden, Germany N. Cannata, Mathematics & Computer Science Dept, Univ. of Camerino, Italy O. Signore, ISTI, National Research Council, Italy PROGRAMME COMMITTEE G. Armano, Electrical and Electronic Engineering Dept, Univ. of Cagliari, IT C. Baker, Institute for Infocomm Research (I2R), SG P. Barahona, Department of Informatics, New University of Lisboa, PT L. Barrio-Alvers, Transinsight GmbH, DE O. Bodenreider, National Library of Medicine, USA A. Burger, Department of Computer Science, Heriot-Watt University, UK M. Cannataro, Experimental and Clinical Medicine Dept, Univ. of Catanzaro "Magna Graecia", IT W. Ceusters, Bioinformatics and Life Sciences, University at Buffalo, USA M. Cockerill, BioMed Central, UK M.-D. Devignes, LORIA, Vandoeuvre les Nancy, FR R. Dieng, INRIA, Sophia Antipolis, FR L. Grivell, European Molecular Biology Organisation, DE M. Harris, European Bioinformatics Institute, UK M. Helmer-Citterich, Biology Dept, University of Rome "Tor Vergata", IT C. M. Keet, Computer Science Faculty, Free University of Bozen-Bolzano, IT J. Koehler, Biomathematics and Bioinformatics, Rothamsted Research, UK M. Krallinger, Spanish National Cancer Research Center (CNIO), ES L. Krippahl, Department of Informatics, New University of Lisboa, PT P. Lambrix, Computer and Information Science Dept, Linköping University, SE U. Leser, Institute for Computer Science, Humboldt-University of Berlin, DE J. Luciano, Department of Genetics, Harvard Medical School, USA R. Marangoni, Computer Science Department, University of Pisa, IT M. Marchiori, Pure and Applied Mathematics Dept, University of Padua, IT M. Masseroli, Department of BioEngineering, Polytechnic of Milan, IT G. Mauri, Informatics Systems and Communication Dept, Univ. Milan "Bicocca", IT E. Merelli, Mathematics and Computer Science Dept, University of Camerino, IT S. Moeller, Institute of Neuro- and Bioinformatics, University of Lübeck, DE S. Philippi, Institute for Software Technology, Univ. of Koblenz-Landau, DE D. Quann, IBM Software Group, USA D. Rubin, Stanford Medical Informatics, Stanford University Medical Center, USA S.-A. Sansone, European Bioinformatics Institute, UK M. Senger, International Rice Research Institute, PH D. Turi, School of Computer Science, University of Manchester, UK G. Vetere, IBM Center for Advanced Studies of Rome, IT D. Zaccagnini, Language and Computing, USA Looking forward to seeing you all in Tuscany. Best regards. On behalf of the Chairs and of the Organizing Committee Paolo Romano Paolo Romano (paolo.romano at istge.it) Bioinformatics and Structural Proteomics National Cancer Research Institute (IST) Largo Rosanna Benzi, 10, I-16132, Genova, Italy Tel: +39-010-5737-288 Fax: +39-010-5737-295 From Stephanie.Chow at uoit.ca Tue Feb 20 16:49:19 2007 From: Stephanie.Chow at uoit.ca (Stephanie Chow) Date: Tue, 20 Feb 2007 10:49:19 -0500 Subject: CALL FOR PAPERS: SOBDAT/ICWS 2007 Message-ID: Dear Colleagues: We are excited to announce this unique interdisciplinary workshop at the premier ICWS conference on the emerging issues arising from the interplay of service-oriented Internet technologies with bio-medical research and applications. This is expected to be a world-class forum bringing together both computer and domain scientists and practitioners, featuring papers reviewed by the high-caliber program committee we have assembled as well as keynote/invited talks and panel/tutorial discussions on hot topics. The papers will be published by IEEE CS Press (hardcopy and online). Please encourage your students and colleagues to submit 5-page extended abstacts (deadline: March 10, 2007). Details are in the CFP below. Program Co-Chairs: Phil Bourne, University of California, San Diego Shamkant B. Navathe, Georgia Institute of Technology Sushil K. Prasad, Georgia State University ----------------------- Call for Papers The Ist IEEE International Workshop on Service Oriented Technologies for Biological Databases and Tools (SOBDAT 2007) http://www.cs.gsu.edu/~hipc/sobdat07/ In conjunction with ICWS/SCC 2007 9-13 July 2007, Salt Lake City, Utah Important Dates: 5-Page Extended Abstract Submission Deadline: March 10, 2007 Notification Deadline: April 15, 2005 Camera-Ready Paper Due (8 pages): May 1, 2007 Integration of data sources and tools, and performing computations on them is one of the key problems for using the data from experimental biology today. However, these resources are highly diverse in nature in terms of representation, data formats, and computer systems and are distributed across the network. Although this broad spectrum of information is accessible over the Web, each data source comes with its own structure, semantics, data formats, names, concepts, and access methods. Currently, the burden falls on the scientist to manually (via programs) convert between the data formats, resolve conflicts, integrate data, and interpret results in order to make viable use of this information. This workshop will provide a forum to bring together researches and practitioners working to solve these challenges in biological data and tools using service oriented technologies. Submission Instructions: The SOBDAT 2007 invites submission of high quality papers by the submission deadline of March 10, 2007. Original unpublished manuscripts in IEEE format (pdf or doc file) should be submitted electronically at ICWS 2007 Workshop Management System (http://www.servicesscience.org/scw07/). All submitted manuscripts will be peer-reviewed by at least three program committee members. All accepted papers will be published as a single volume of proceedings encompassing all the workshops (held in conjunction with ICWS-2007) to be published by IEEE Computer Society and will also be available online in the IEEE explorer digital library. Submissions are specially invited on the following topics, but the scope is not limited to these. We also encourage the submission of survey and case study papers. Topics: - Challenges, solutions, and methodologies in providing web services interfaces to biological data sources and tools - Methodologies for data transformation and normalization including transformation of raw data into information and knowledge - Design, management, and governance for information infrastructures, including information flow, adaptive evolution, and interoperability - Development of algorithms and data structures for analysis of biological information - Querying and query optimization against biological sources - Ontology based data and tool integration - Semantic Web technologies and formalisms for biological data and applications - Web Service based biological workflow configuration and deployment systems - Web interfaces for defining, accessing, and executing workflows - Dynamic discovery of suitable of biological resources - Data exchange rules among data sources and tools - Peer-to-peer based architectures for data and tool integration - Case studies in application of service oriented techniques to solve data integration issues - Handheld based monitoring of biological workflows, and the role of pervasive computing Workshop Organization Program Co-Chairs: Phil Bourne, University of California, San Diego, USA (bourne at sdsc.edu) Shamkant B. Navathe , Georgia Tech, Atlanta, USA (sham at cc.gatech.edu) Sushil K. Prasad, Georgia State Univ., Atlanta, USA(sprasad at gsu.edu) Program Committee: Srinivas Aluru, Iowa State University, USA Christoph Bussler, CISCO Systems, Inc., San Francisco, USA Rajkumar Buyya, The University of Melbourne, Melbourne, Australia Terence Critchlow, Center for Applied Scientific Computing, Lawrence Livermore National Laboratory, Livermore, CA, USA Fikret Ercal, University of Missouri, Rolla, USA Graciela Gonzalez, Arizona State University, Tempe, USA Patrick C. K. Hung, University of Ontario Institute of Technology,Canada Kamal Karlapalem, IIIT, Hyderabad, India Zoe Lacroix, Arizona State University, Tempe, USA Bertram Ludaescher, University of California, Davis, USA Sanjay Madria, University of Missouri, Rolla, USA Jose Francisco Aldana Montes, The University of Manchester, UK Nigam Shah, Stanford Medical Informatics, Stanford, USA Proceedings Chair: Kamal Karlapalem, International Institute of Information Technology, Hyderabad, India (kamal at iiit.ac.in) Local Arrangements Co-Chairs: Janaka Balasooriya, University of Missouri, Rolla, USA Graciela Gonzalez, Arizona State University, Tempe, USA -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: SOBDAT ICWS 2007.txt URL: From ksatoh at nii.ac.jp Thu Feb 22 08:37:14 2007 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Thu, 22 Feb 2007 08:37:14 +0100 Subject: CfP: CLIMA VIII Message-ID: <20070222073714.GR17334@tu-clausthal.de> ======================================================= Call for Papers 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) http://research.nii.ac.jp/climaVIII 10 and 11 September 2007, Porto, Portugal Co-located with the International Conference on Logic Programming (ICLP 07) http://www.dcc.fc.up.pt/iclp07/ Important Dates Submission Deadline: 30 April 2007 Notification: 11 June 2007 Camera Ready Copy Due: 2 July 2007 CLIMA VIII: 10-11 September 2007 Aims of the Workshop Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in 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, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for the various tasks of individual agents, as well as for the interaction and integration amongst agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specification to implementation, and for verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Relevant topics include, but are not limited to, the following: Topics: All with focus on agents or multi-agent systems 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 algorithms, tools, and applications for (multi-)agent logics semantics of interaction and agent communication languages distributed constraint satisfaction temporal reasoning distributed theorem proving logic-based implementations specification and verification of formal properties Submissions We invite submissions of 2 kinds: 1. Submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. 2. Submissions of system descriptions, to be presented at the workshop as demos. In this category papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 5 pages including figures, references, etc. Each paper should describe a working system illustrating its objectives and the implementation techniques. We will set up a web page for paper submission in March, so please watch the home page of CLIMA-VIII: http://research.nii.ac.jp/climaVIII Proceedings A printed volume of the proceedings will be available at the workshop. We plan to publish a selection of extended workshop papers in Post-Proceedings in the Springer Verlag LNAI series as the previous publications, LNAI 3487 for CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA VII (subject to approval). Workshop Chairs Fariba Sadri, Imperial College London, UK Ken Satoh, National Institute of Informatics, Japan About CLIMA Workshop Series You can find information about the CLIMA worshop series at: http://centria.di.fct.unl.pt/~clima/ Programme Committee Jose Julio Alferes, New University of Lisbon, Portugal Rafael H. Bordini, University of Durham, UK Gerhard Brewka, University of Leipzig, Germany Stefania Costantini, University of L'Aquila, Italy Juergen Dix, Technical University of Clausthal, Germany Klaus Fisher, DFKI, Germany Michael Fisher, The University of Liverpool, UK James Harland, RMIT, Australia Hisashi Hayashi, Toshiba, Japan Wiebe van der Hoek, The University of Liverpool, UK Katsumi Inoue, National Insitute of Informatics, Japan Joao Leite, New University of Lisbon, Portugal Fangzhen Lin, Hong Kong University of Science and Technology , Hong Kong Paola Mello, University of Bologna, Italy John Jules Ch. Meyer, Utrecht University, The Netherlands Leora Morgenstern, IBM T.J. Watson Research Center, USA Naoyuki Nide, Nara Women's University , Japan Maurice Pagnucco, University of New South Wales, Australia Jeremy Pitt, Imperial College London, UK Enrico Pontelli, New Mexico State University, USA Chiaki Sakama, Wakayama University, Japan Abdul Sattar, Griffith University, Australia Renate Schmidt, University of Manchester, UK Tran Cao Son, New Mexico State University, USA Kostas Stathis, Royal Holloway, University of Lodon, UK Michael Thielscher, Dresden University of Technology, Germany Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Francesca Toni, Imperial College London, UK Paolo Torroni, University of Bologna, Italy Marina De Vos, University of Bath, UK Cees Witteveen, Delft University of Technology, The Netherlands For any inquiry, please send it to "clima-viii at nii.ac.jp". From ksatoh at nii.ac.jp Wed Feb 21 23:45:05 2007 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Thu, 22 Feb 2007 07:45:05 +0900 Subject: CFP for CLIMA VIII Message-ID: <014e01c75609$ee419bc0$222ebb88@niiNH26C> Dear Peter, Thank you very much for your mail. Please post cfp to the mailing list. Regards, Ken Satoh ======================================================= Call for Papers 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) http://research.nii.ac.jp/climaVIII 10 and 11 September 2007, Porto, Portugal Co-located with the International Conference on Logic Programming (ICLP 07) http://www.dcc.fc.up.pt/iclp07/ Important Dates Submission Deadline: 30 April 2007 Notification: 11 June 2007 Camera Ready Copy Due: 2 July 2007 CLIMA VIII: 10-11 September 2007 Aims of the Workshop Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in 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, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for the various tasks of individual agents, as well as for the interaction and integration amongst agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specification to implementation, and for verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Relevant topics include, but are not limited to, the following: Topics: All with focus on agents or multi-agent systems 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 algorithms, tools, and applications for (multi-)agent logics semantics of interaction and agent communication languages distributed constraint satisfaction temporal reasoning distributed theorem proving logic-based implementations specification and verification of formal properties Submissions We invite submissions of 2 kinds: 1. Submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. 2. Submissions of system descriptions, to be presented at the workshop as demos. In this category papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 5 pages including figures, references, etc. Each paper should describe a working system illustrating its objectives and the implementation techniques. We will set up a web page for paper submission in March, so please watch the home page of CLIMA-VIII: http://research.nii.ac.jp/climaVIII Proceedings A printed volume of the proceedings will be available at the workshop. We plan to publish a selection of extended workshop papers in Post-Proceedings in the Springer Verlag LNAI series as the previous publications, LNAI 3487 for CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA VII (subject to approval). Workshop Chairs Fariba Sadri, Imperial College London, UK Ken Satoh, National Institute of Informatics, Japan About CLIMA Workshop Series You can find information about the CLIMA worshop series at: http://centria.di.fct.unl.pt/~clima/ Programme Committee Jose Julio Alferes, New University of Lisbon, Portugal Rafael H. Bordini, University of Durham, UK Gerhard Brewka, University of Leipzig, Germany Stefania Costantini, University of L'Aquila, Italy Juergen Dix, Technical University of Clausthal, Germany Klaus Fisher, DFKI, Germany Michael Fisher, The University of Liverpool, UK James Harland, RMIT, Australia Hisashi Hayashi, Toshiba, Japan Wiebe van der Hoek, The University of Liverpool, UK Katsumi Inoue, National Insitute of Informatics, Japan Joao Leite, New University of Lisbon, Portugal Fangzhen Lin, Hong Kong University of Science and Technology , Hong Kong Paola Mello, University of Bologna, Italy John Jules Ch. Meyer, Utrecht University, The Netherlands Leora Morgenstern, IBM T.J. Watson Research Center, USA Naoyuki Nide, Nara Women's University , Japan Maurice Pagnucco, University of New South Wales, Australia Jeremy Pitt, Imperial College London, UK Enrico Pontelli, New Mexico State University, USA Chiaki Sakama, Wakayama University, Japan Abdul Sattar, Griffith University, Australia Renate Schmidt, University of Manchester, UK Tran Cao Son, New Mexico State University, USA Kostas Stathis, Royal Holloway, University of Lodon, UK Michael Thielscher, Dresden University of Technology, Germany Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Francesca Toni, Imperial College London, UK Paolo Torroni, University of Bologna, Italy Marina De Vos, University of Bath, UK Cees Witteveen, Delft University of Technology, The Netherlands For any inquiry, please send it to "clima-viii at nii.ac.jp". From ksatoh at nii.ac.jp Thu Feb 22 09:29:20 2007 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Thu, 22 Feb 2007 17:29:20 +0900 Subject: Subscribe me! Message-ID: <068a01c7565b$8d047240$222ebb88@niiNH26C> From ksatoh at nii.ac.jp Thu Feb 22 09:31:58 2007 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Thu, 22 Feb 2007 17:31:58 +0900 Subject: Confirmation Request (3901847841) References: Message-ID: <06c101c7565b$eb0933d0$222ebb88@niiNH26C> From tsd at kiv.zcu.cz Fri Feb 23 11:58:55 2007 From: tsd at kiv.zcu.cz (tsd at kiv.zcu.cz) Date: Fri, 23 Feb 2007 04:58:55 -0600 Subject: TSD 2007 Call For Papers Message-ID: ###################################################################### An International Conference on TEXT, SPEECH and DIALOGUE SECOND CALL FOR PAPERS September 3-7, 2007 http://www.tsdconference.org/tsd2007 Primavera Hotel & Congress centre Plze� (Pilsen), Czech Republic ###################################################################### [Our apologies for possible duplicates of this message] [Our apologies if you are in our list by mistake, in this case please, simply reply STOP in the subject line] TSD 2007 is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, and the Faculty of Informatics, Masaryk University, Brno. TSD 2007 is also supported by International Speech Communication Association (ISCA). TOPICS Topics of the international conference will include (but are not limited to): Language modelling, text corpora and tagging, transcription problems in spoken corpora, sense disambiguation, links between text and speech oriented systems, parsing issues (especially parsing problems in spoken texts), multi-lingual issues (especially multi-lingual dialogue systems), information retrieval and information extraction, text/topic summarization, machine translation, semantic networks and ontologies, semantic web, speech modelling, 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 modelling, user modelling, knowledge representation in relation to dialogue systems, assistive technologies based on speech and dialogue, facial animation, visual speech synthesis. The keynote topic of TSD 2007 Conference is language modelling. OFFICIAL LANGUAGE The official language of the event will be English but papers on issues relating to text and speech processing in languages other than English are strongly encouraged. 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. A preliminary conference program will be published at the conference www pages. One day of the conference will be dedicated for tutorials and workshops. SUBMISSION OF PAPERS Full papers (max. 8 pages in Springer LNCS format) or short papers (max. 6 pages in the same format) sent according to instructions at the conference web page will be required to reach a decision about acceptance or rejection. The reviewing of the papers will be blind and managed by International Program Committee members. PROCEEDINGS The conference proceedings will be traditionally published by Springer-Verlag in LNCS/LNAI series and will be distributed to the participants at the conference. LOCATION Plze� (Pilsen) is located in Western Bohemia on the confluence of four rivers. With 170 thousand inhabitants it is the fourth largest city in the Czech Republic and an important industrial, commercial, cultural, and administrative center. Plze� is well known for its brewing tradition. The trademark Pilsner-Urquell penetrated all over the world thanks to the traditional recipe, high quality hops and good wells. Beer lovers will also appreciate a visit to the Brewery museum or the Brewery itself. Apart from its famous beer, Plze� has a lot of hidden treasures in its core. Plze� can pride itself on the second largest synagogue in Europe. The old city center is dominated by a 13th-century Gothic church which features the highest tower in Bohemia (102.34 m). It is possible to go up the stairs and admire the panorama. Not far from the church is a splendid Renaissance Town Hall from 1558 and plenty of pleasant cafes and pubs. Plze� has also a beautiful historical underground under the city center there are 25 km of tunnels. Visitors can pass through the most beautiful part of thislabyrinth. It is also recommended to visit the zoo having the second largest space for bears in Europe and keeping the Komodo dragons - large lizards existing in only a few zoos in the world. In the neighborhood of the city there are castle Radyn� and hunting-seat Kozel. St. Peter's Rotunda in Star� Plzenec was built in the 10th century. The University of West Bohemia in Plze� provides a variety of courses for both Czech and international students. It is the only institution of higher education in this part of the country which prepares students for careers in engineering (electrical and mechanical), science (computer science, applied mathematics, physics, and mechanics), education (both primary and secondary), economics, philosophy, politology, archaeology, anthropology, foreign languages, law and public administration, art and design. GETTING THERE The city has an access from the D5 highway connecting Prague (Praha) with Germany. Plze� has a very good bus and train connections with the capital Prague (takes about 1 - 1.5 hour). From the international airport Prague - Ruzyn� you can reach Plze� by frequent public transport in 1.5 - 2 hours. SOCIAL EVENTS The international conference will also include social events and trips i.e. visit of brewery and city sightseeing. PROGRAM COMMITTEE Frederick Jelinek, USA - general chair Hynek Hermansky, Switzerland - executive chair Eneko Agirre, Spain - text Genevieve Baudoin, France - speech Jan Cernocky, Czech Rep. - speech Attila Ferencz, Romania - speech Alexander Gelbukh, Mexico - text Louise Guthrie, GB - text, speech Jan Hajic, Czech Rep. - text, speech Eva Hajicova, Czech Rep. - text, speech Jaroslava Hlavacova, Czech Rep. - text Ales Horak, Czech Rep. - text Eduard Hovy, USA - text, speech Ivan Kopecek, Czech Rep. - text, speech Steven Krauwer, The Netherlands - text Natalija Loukachevitch, Russia - text Vaclav Matousek, Czech Rep. - speech Hermann Ney, Germany - speech Elmar Noeth, Germany - speech Karel Oliva, Austria, Czech Rep. - text Karel Pala, Czech Rep. - text Nikola Pavesic, Slovenia - speech Vladimir Petkevic, Czech Rep. - text Fabio Pianesi, Italy - speech Josef Psutka, Czech Rep. - speech James Pustejovsky, USA - text Leon J.M. Rothkrantz, The Netherlands - speech Ernst G. Schukat-Talamazzini, Germany - speech Pavel Skrelin, Russia - speech Pavel Smrz, Czech Rep. - text Marko Tadic, Croatia - text Tamas Varadi, Hungary - text Zygmunt Vetulani, Poland - text, speech Yorick Wilks, GB - text Victor Zacharov, Russia - text, speech IMPORTANT DATES April 8, 2007 Deadline for submission of full papers May 15, 2007 Notification of acceptance or rejection May 31, 2007 Camera-ready papers submission Sept. 3-7, 2007 TSD 2007 CONFERENCE FEES The final conference fee depends on the date of payment and your status. The fee covers meals at the main conference time (Sept. 4 -6), refreshments, organizing costs, one copy of the conference proceedings and social events. The fee does not include accommodation. Full participant: early registration (by May 31st, 2007) - CZK 8.000,- (approx. 290 EUR) late registration (by August 15th, 2007) - CZK 9.500,- (approx. 340 EUR) on-site registration - CZK 11.000,- (approx. 390 EUR) Student: early registration (by May 31st, 2007) - CZK 6.500,- (approx. 240 EUR) late registration (by August 15th, 2007) - CZK 8.000,- (approx. 290 EUR) on-site registration - CZK 9.500,- (approx. 340 EUR) One of the authors has to register and to pay the registration fee by May 31st, 2007 to include the paper submission into the conference proceedings. Please visit the conference web page to see detailed information. The discounts and grants for participants from East European countries (Russia, Belarus, Ukraine...) are available. Please refer to http://www.isca-speech.org/grants.html for other information. All costs are in Czech Crowns (CZK), see e.g. http://www.xe.com/ucc/ for the current exchange rate. ACCOMMODATION The organizing committee has arranged accommodation at reasonable prices in the Primavera hotel and student dormitories. The current list of available accommodation is accessible on the conference website. ADDRESS All paper correspondence regarding the conference should be addressed to the department secretary: Mrs. Helena Ptackova University of West Bohemia in Pilsen Faculty of Applied Sciences Department of Computer Science Univerzitni 8, CZ - 306 14 PLZEN Czech Republic Tel: +420 377 632 401 Fax: +420 377 632 402 E-mail communication should go to the conference PR Mr. Kamil Ekstein at tsd at kiv.zcu.cz. TSD 2007 conference web site: http://www.tsdconference.org/tsd2007 From iclp07-publicity at di.uevora.pt Sat Feb 24 01:29:08 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Sat, 24 Feb 2007 00:29:08 +0000 Subject: Final CFP: 23rd International Conference on Logic Programming (ICLP 2007) Message-ID: <74CF5A85-7728-4ADB-968D-47A6AEAD6AA6@di.uevora.pt> (apologies for cross-posting) Final Call for Papers 23rd International Conference on Logic Programming ICLP 2007 Porto, Portugal, September 8-13, 2007 http://www.dcc.fc.up.pt/iclp07/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Abductive Logic Programming, Answer Set Programming, Constraint Logic Programming, Inductive Logic Programming, Alternative Inference Engines and Mechanisms. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence, Bioinformatics. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Papers and Posters Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical and application papers must not exceed 15 pages in the Springer LNCS format. The limit for posters is 2 pages in the same format. The primary means of submission is electronic. Papers and posters must be submitted at http://www.easychair.org/ICLP2007/. Publication It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings. Important Dates Paper registration deadline: March 2, 2007 Submission deadline: March 9, 2007 Notification of authors: May 4, 2007 Camera-ready copy due: June 8, 2007 ICLP 2007 Organization Program Chairs: Verónica Dahl and Ilkka Niemelä General Chair: Fernando Silva Local Chair: Ricardo Rocha Publicity Chair: Salvador Abreu Workshops Chair: Agostino Dovier Doctoral Consortium Chairs: Enrico Pontelli and Inês Dutra Prolog Programming Contest: Bart Demoen Contact Address: iclp07 at dcc.fc.up.pt Program Committee: Maurice Bruynooghe Keith Clark Verónica Dahl (Co-chair) Marina De Vos Yannis Dimopoulos Inês Dutra Esra Erdem Maurizio Gabbrielli Patricia M Hill Katsumi Inoue Tomi Janhunen Tony Kusalik Nicola Leone Vladimir Lifschitz Ilkka Niemelä (Co-chair) Luís Moniz Pereira German Puebla Francesca Rossi Kostis Sagonas Peter Schachte Torsten Schaub Fernando Silva Guillermo R. Simari Tran Cao Son Paul Tarau Francesca Toni Eric Villemonte de la Clergerie David S. Warren Stefan Woltran Workshops The ICLP'07 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a wide and interested audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. You can find the call for proposals in http://www.dimi.uniud.it/dovier/WICLP07/. Workshop proposal submission deadline: February 14, 2007. Doctoral Consortium The Doctoral Consortium (DC) on Logic Programming is the third doctoral consortium to be offered as part of ICLP conference series. The DC builds on the experience of the previous successful consortiums (held in Sitges, Spain and in Seattle, WA) during ICLP-05 and ICLP-06. The DC is designed for doctoral students working in areas related to logic and constraint programming, who are planning to pursue a career in academia. The DC also considers applications from Master's students pursuing projects in logic programming and interested in entering a doctoral program. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. More information can be found at http://www.cs.nmsu.edu/~epontell/DC2007/. Conference Venue ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours. The Conference will take place in the Hotel "Le Meridien Park Atlantic Porto". From gini at cs.umn.edu Mon Feb 26 02:14:40 2007 From: gini at cs.umn.edu (gini at cs.umn.edu) Date: Sun, 25 Feb 2007 19:14:40 -0600 (CST) Subject: new deadline for ICEC 2007 Message-ID: <200702260114.TAA00740@dante.cs.umn.edu> NEW SUBMISSION DEADLINE March 12, 2007 =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The 9th International Conference on Electronic Commerce (ICEC'07) August 19-22, 2007 University of Minnesota, Minneapolis, MN, USA http://icec07.cs.umn.edu C A L L F O R P A P E R S =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ICEC annually brings together the leaders of the scientific research community in e-commerce and e-business from all over the world. The conference will showcase new ideas that have emerged from cross- disciplinary discovery and collaboration. ICEC'07 invites submission by March 12, 2007 of high quality papers in all e-commerce related areas. Papers must be submitted using the online submission system at http://icec07.cs.umn.edu/myreview/. All accepted papers will be published in the conference proceedings and available in the ACM Digital Library. The best papers will be invited for submission to various special issues of journals. For additional information visit the web site at http://icec07.cs.umn.edu. Invited Speakers: Eric K. Clemons, Wharton School, University of Pennsylvania Tuomas Sandholm, Computer Science, Carnegie Mellon University Patrick Khoury, Senior Director Sales, Air Canada Academic Program Co-Chairs: Chris Dellarocas, University of Maryland, USA Frank Dignum, Universiteit Utrecht, The Netherlands Conference Co-Chairs: Maria Gini, University of Minnesota, USA Robert J. Kauffman, Arizona State University and University of Minnesota, USA (on leave) Industry and Special Events Co-Chairs: Roberto Evaristo, 3M Corporation, St. Paul, MN, USA Nora Paul, Institute for New Media Studies, Univ. of Minnesota, USA Jamshid Vayghan, IBM Corporation, Minneapolis, MN, USA From Stephanie.Chow at uoit.ca Mon Feb 26 14:24:50 2007 From: Stephanie.Chow at uoit.ca (Stephanie Chow) Date: Mon, 26 Feb 2007 08:24:50 -0500 Subject: CFP: Service Intelligence and Service Science - New Theme of ICMLC 2007 Message-ID: Apologies for cross-postings. Please send it to interested colleagues and students. Thanks. CALL FOR PAPERS New Conference Theme on "Service Intelligence and Service Science" for 6th International Conference on Machine Learning and Cybernetics August 19-22, 2007, Hong Kong Conference web site: http://www.icmlc.com The global economy and organizations are evolving to become service-oriented. There are recently more and more research works on services provision, particularly the application of cybernetics, machine learning, and artificial intelligence. Beyond the Service Oriented Architecture, IBM proposed an emerging research and curriculum area called Service Science to the industry and academia, which is a combined discipline of technologies including cybernetics, computer science, industrial and systems engineering, management science, operations research, marketing, contracts and negotiations; as well as culture transformation and integration methods based on beliefs, assumptions, principles, and values among organizations and humans. The creation, operation, and evolution of such research and practice raise concerns that range from high-level requirements and policy modeling through to the deployment of specific implementation technologies and paradigms, and involve a wide (and ever growing) range of methods, tools, and technologies. They also cover a broad spectrum of vertical domains, industry segments, and even governments. Extended versions of the best papers will be considered for publishing in a nother special issue of the International Journal of Business Process Integration and Management (IJBPIM) in the following year. ISSN (Print) : 1741-8763 ISSN (Online) : 1741-8771 URL: https://www.inderscience.com/browse/index.php?journalID=115 We are interested in research topics including but not limited to: . Principles, theories and challenges of Service Intelligence and Service Science . Cultural and economic issues in Service Intelligence and Service Science . Machine learning and cybernetics for service provision and management . Inter- and Intra enterprise service computing and service engineering . Service marketing, data mining, and relationship management . Man-machine interactions for service excellence . Decision models and decision support systems for service-related management and operations . Agent based technologies and logic for service-related management and operations . Web Services and Semantic Web support for service matchmaking, recommendation, personalization, operation, and monitoring. . Virtual organizations and supply-chain issues for service management and operations . Trust, reputation, security, and privacy in services . Game Theory models and analysis for services . Service Level Agreements (SLA) , quality, and reliability . Services contract specifications, cases, models, automation, and legal issues Theme Co-Chairs: . Dr. Dickson K. W. Chiu, SMIEEE, Dickson Computer Systems, Hong Kong email: dicksonchiu at ieee.org, kwchiu at acm.org (Primary Contact) . Prof. Ho-fung Leung, SMIEEE, Department of Computer Science and Engineering, The Chinese University of Hong Kong. email: lhf at cuhk.edu.hk . Patrick C. K. Hung, The University of Ontario Institute of Technology (UOIT), Canada email: patrick.hung at uoit.ca Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. All papers are refereed through a peer review process. Submission details (through the online system) are at the conference web site: http://www.icmlc.com Some important dates of the conference are as follows: Submission Due: 1st March, 2007 Notification of Acceptance: 1st May, 2007 Author Registration Deadline: 15th May, 2007 Carmera-Ready: 1st June, 2007 Conference Date: 19th-22th, August, 2007 PC Members for the theme (partial): Boualem Benatallah (The University of New South Wales, Australia) William Cheung (Baptist University of Hong Kong) Samuel P. M. Choi (The Open University of Hong Kong, HK) Casey Fung (Boeing Phantom Works, USA) Edward Hung (Hong Kong Polytechnic University, HK) Eleanna Kafeza (Athens University of Economics and Commerce, Greece) P. Radha Krishna (Institute for Development and Research in Banking Technology, Hyderabad, India) Thomas Y Kwok (IBM Research, USA) Raymond Lau (City University of Hong Kong, HK) Fu-ren Lin (National Tsing Hua University, Taiwan) Jun Ma (Shandong University, China) Zakaria Maamar (Zayed University, U.A.E.) Yu-qing Sun (Shandong University, China) Vladimir Tosic (National ICT, Australia) Jian Yang (Macquarie University, Australia) Benjamin Yen (University of Hong Kong, HK) Raymond Wong (National ICT, Australia) Jia Zhang (Northern Illinois University, USA) -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: CFP Service Intelligence and Service Science - New Theme of ICMLC 2007.txt URL: From tic.encyclopedia.ai at udc.es Mon Feb 26 20:59:59 2007 From: tic.encyclopedia.ai at udc.es (tic.encyclopedia.ai at udc.es) Date: Mon, 26 Feb 2007 20:59:59 +0100 Subject: Call for articles - New Extended Deadline (Only 5 Topics) Message-ID: <20070227045907.49CE43CB@smtp.udc.es> "Encyclopedia of Artificial Intelligence". Editors: Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos. tic.encyclopedia.ai at udc.es http://sabia.tic.udc.es/encyclopediaAI/ We have received more than 200 proposals and we want to thank all contributors, for the work and for the confidence in the success of this project. We have organized the received articles in 20 topics. We have not received enough submissions in 5 of these topics, for that reason we propose a new call of articles for these 5 topics: -- Knowledge Engineering (Expert Systems) -- Ontologies -- Ambient Intelligence and Ubiquitous -- Natural Language Processing -- Robotics *************************************************************************** IMPORTANT NEW EXTENDED DEADLINE - ONLY 5 TOPICS April 4, 2007 - RECEIVE PROPOSALS FOR ARTICLES *************************************************************************** ** Introduction Nature has always been a source of inspiration for science problem solving.Areas such as Pharmacy, Physics or Aeronautics use biological concepts toreach beyond their current limits. As far as Computing Science - and more specifically, Artificial Intelligence (AI) - is concerned, the use of biological concepts is highly reliable for achieving good results. At the early stages of AI (1950s), Artificial Neural Networks (ANN) - quite successful as classification and pattern recognition systems - were developed by using the structure of the nervous system as a basis. After these systems, biology has inspired the development of other techniques - among which the evolutionary systems are the most promising ones when dealing with new problems that use a vast amount of data - such asBiomedical Computing or weather forecasting. Both the techniques based in cell or natural organisms performance, as well as those based on evolutionary theories, have a wide success record when applied to real problems. These types of techniques currently represent a very active area of research, as not only a high number of companies use them, but also many related high level scientific congresses are being held annually on these techniques. ** Coverage To meet this need, currently we are in the process of editing the "Encyclopedia of Artificial Intelligence " that will provide comprehensive coverage and definitions of the most important issues, concepts, trends and technologies in Artificial Intelligence. This important new publication will be distributed worldwide among academic and professional institutions and will be instrumental in providing researchers, scholars, students and professionals with access to the latest knowledge related to Artificial Intelligence techniques. To ensure that this publication has the most current and relevant coverage of all topics related to Artificial Intelligence, we are asking scholars well-known for their particular area of research, to contribute short articles of 1,500-3,500 words on any of the above topics. ** Submission Procedure We would like to invite you to consider submitting a proposal on any of the above topics for this upcoming encyclopedia by submitting a brief (75-100 words) description of your proposed topic to us by no later than April 4, 2007. You will then have until May 31, 2007 to prepare your full submission (1,500-3,500 words in length) and 7-10 related terms and their appropriate definitions. A copy of a sample article and terms with definitions can be found at http://sabia.tic.udc.es/encyclopediaAI/ All submitted articles will undergo a double-blind, peer-review process upon its receipt. We also invite you to visit the site http://sabia.tic.udc.es/encyclopediaAI/ for additional information about this publication. Please forward your proposal to Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos, editors, at tic.encyclopedia.ai at udc.es. This book is tentatively scheduled for publishing by Information Science Reference (formerly Idea Group Reference), www.idea-group.com/reference, (an imprint of Idea Group Inc.) in 2008. IMPORTANT DEADLINES April 4, 2007 - Receive proposals for articles April 12, 2007 - Notification of accepted proposals May 31, 2007 - Full articles due If you have any questions or concerns, or if we can be of any assistance, please let us know. We look forward to hearing from you soon. Kind Regards, Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos Editors of Encyclopedia of Artificial Intelligence tic.encyclopedia.ai at udc.es Dept. of Information & Communications Technologies University of A Coru�a Spain EDITORIAL ADVISORY BOARD Dr. Jose Mar�a Barreiro. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Stefano Cagnoni. Dipartimento di Ingegneria dell'Informazione. Universit� degli Studi di Parma. Italia Dr. Paul M. Chapman. Dept. of Computer Science. University of Hull. England Dr. Jose Crespo del Arco. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Darryl Davis. Dept. of Computer Science. University of Hull. England Dr. Anselmo del Moral. University of Deusto. Spain Dr. Norberto Ezquerra. Georgia Institute of Technology. USA Dr. Llu�s Jofre. Polytechnical University of Catalunya. Spain Dr. Daniel Manrique. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Juan Pazos. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Javier Pereira. University of A Coru�a. Spain Dr. Ana Belen Porto. Dept. of Information & Communications Technologies. University of A Coru�a. Spain Dr. Juan R�os. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Peter Smith. University of Sunderland. England From Oege.de.Moor at comlab.ox.ac.uk Mon Feb 26 21:47:53 2007 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Mon, 26 Feb 2007 20:47:53 GMT Subject: AOSD 2007: call for participation Message-ID: <200702262047.l1QKlrRd013043@mercury.comlab.ox.ac.uk> AOSD 2007 International Conference on Aspect-Oriented Software Development Vancouver, BC, March 12-16 AOSD is the premier conference on software modularity that crosscuts traditional abstraction boundaries. This year's programme includes several papers from related communities, and a schedule of the research track is included below. The full proceedings can already be accessed in the ACM digital library at: http://portal.acm.org/toc.cfm?id=1218563&idx=SERIES10702&type=proceeding&coll=portal&dl=ACM&part=series&WantType=Proceedings&title=AOSD Furthermore citation details are available on DBLP at http://www.informatik.uni-trier.de/~ley/db/conf/aosd/aosd2007.html For further information on AOSD 2007 and to register, visit http://aosd.net/conference The deadline for the hotel discount is this Friday. -------------------------------------------------- AOSD 2007: RESEARCH PROGRAM Session 1: Applications Wednesday, 11:00-12:30 Session Chair: Laurie Hendren Aspect-Oriented Application-Level Scheduling for J2EE Servers Kenichi Kourai, Tokyo Institute of Technology Hideaki Hibino, Tokyo Institute of Technology Shigeru Chiba, Tokyo Institute of Technology Framework Specialization Aspects Andr� Santos, Tampere University of Technology Ant�nia Lopes, University of Lisbon Kai Koskimies, Tampere University of Technology An Aspect-Oriented Approach to Bypassing Middleware Layers Omer Demir, University of California Davis Premkumar Devanbu, University of California Davis Eric Wohlstadter, University of British Columbia Stefan Tai, IBM Research Session 2: Early aspects, models and design Wednesday, 14:00-15:30 Session Chair: Eric Eide Semantics-Based Composition for Aspect-Oriented Requirements Engineering Ruzanna Chitchyan, Lancaster University Awais Rashid, Lancaster University Paul Rayson, Lancaster University Robert Waters, Lancaster University >From Aspect-Oriented Design to Aspect-Oriented Programs: tool-supported translation of JPDDs into Code Stefan Hanenberg, University of Duisburg-Essen Dominik Stein, University of Duisburg-Essen Rainer Unland, University of Duisburg-Essen A Static Aspect Language for Checking Design Rules Clint Morgan, University of British Columbia Kris De Volder, University of British Columbia Eric Wohlstadter, University of British Columbia Session 3: Tools Wednesday, 16:00-17:30 Session Chair: Mik Kersten Expressive Programs through Presentation Extension Andrew D. Eisenberg, University of British Columbia Gregor Kiczales, University of British Columbia A Graph-Based Approach to Modelling and Detecting Composition Conflicts Related to Introductions Wilke Havinga, University of Twente Istvan Nagy, ASML Lodewijk Bergmans, University of Twente Mehmet Aksit, University of Twente Debugging with Control-Flow Breakpoints Rick Chern, University of British Columbia Kris De Volder, University of British Columbia Session 4: Programming language semantics Thursday, 11:00-12:30 Session Chair: Hidehiko Masuhara Open Bisimulation for Aspects Radha Jagadeesan, School of CTI, DePaul University Corin Pitcher, School of CTI, DePaul University James Riely, School of CTI, DePaul University Tribe: A simple Virtual Class Calculus Dave Clarke, Centrum voor Wiskunde en Informatica (CWI) Sophia Drossopoulou, Imperial College London James Noble, Victoria University of Wellington Tobias Wrigstad, Stockholm University Fully Abstract Semantics of Additive Aspects by Translation Sam Sanjabi, Oxford University Computing Laboratory Luke Ong, Oxford University Computing Laboratory Session 5: Programming languages Thursday, 14:00-16:00 Session Chair: Awais Rashid Conservative Aspect-Orientated Programming with the e-language Matan Vax, Cadence Design SCOPE: an AspectJ Compiler for Supporting User-Defined Analysis-Based Pointcuts Tomoyuki Aotani, University of Tokyo, Japan Hidehiko Masuhara, University of Tokyo Declarative Failure Recovery for Sensor Networks Ramakrishna Gummadi, Univerity of Southern California Nupur Kothari, Univerity of Southern California Todd Millstein, University of California at Los Angeles Ramesh Govindan, Univerity of Southern California cJ: Enhancing Java with Safe Type Conditions Shan Shan Huang, Georgia Institute of Technology David Zook, Georgia Institute of Technology Yannis Smaragdakis, University of Oregon Panel: Beyond AspectJ: AOP languages in 2017 Thursday, 16:30-18:00 What will the next generation of aspect-oriented programming languages look like? How will they be different from AspectJ? Must they support obliviousness? How will aspect interfaces be specified? In what form will open classes be present? Or will aspects turn out to be an instance of a more general and elegant modularisation mechanism? panelists: Theo d'Hondt, Vrije Universiteit Brussels, Belgium Hidehiko Masuhara, University of Tokyo, Japan Klaus Ostermann, Technical University Darmstadt, Germany Yannis Smaragdakis, University of Oregon, USA Session 6: Aspect mining Friday, 11:00-12:30 Session Chair: Yvonne Coady Simple Cross-Cutting Concerns are not so Simple Magiel Bruntink, Centrum voor Wiskunde en Informatica Arie van Deursen, Delft University of Technology Maja D'Hondt, Centrum voor Wiskunde en Informatica Tom Tourw�, Eindhoven University of Technology Using Natural Language Program Analysis to Locate and Understand Action-Oriented Concerns David Shepherd, University of Delaware Zachary Fry, University of Delaware Emily Hill, University of Delaware K. Vijay-Shanker, University of Delaware Lori Pollock, University of Delaware Efficiently Mining Crosscutting Concerns Through Random Walks Charles Zhang, University of Toronto Hans-Arno Jacobsen, University of Toronto From pgomes at dei.uc.pt Mon Feb 26 23:28:44 2007 From: pgomes at dei.uc.pt (Paulo Gomes) Date: Mon, 26 Feb 2007 22:28:44 -0000 Subject: =?us-ascii?Q?TCBR_Call_For_Papers_-_=22Textual_Case-Based_Reasoning:_Beyo?= =?us-ascii?Q?nd_Retrieval=22?= Message-ID: <012301c759f5$b10e9150$0202fea9@hal8600> [ Please circulate / Apologies for multiple postings ] ------------------------------------------------------------------ CALL FOR PAPERS Fourth Workshop on Textual Case-Based Reasoning "Textual Case-Based Reasoning: Beyond Retrieval" http://tcbr.dei.uc.pt Workshop at the Seventh International Conference on Case-Based Reasoning 15 August 2007 Belfast - Northern Ireland http://www.iccbr.org/iccbr07/ Paper Submission Deadline: 30 April 2007 ------------------------------------------------------------------ The aim of this workshop is to provide a forum for the discussion of trends, research issues and practical experiences in Textual Case-Based Reasoning (TCBR). TCBR applies the Case-Based Reasoning (CBR) problem-solving methodology to situations where experiences are predominantly captured in text form. The theme of the workshop is 'Textual Case-Based Reasoning: Beyond Retrieval'. We invite submissions of two types: - Research and application papers; and - Papers that address the workshop challenge. Submission topics for research and application papers ----------------------------------------------------- We particularly welcome contributions that explore approaches that address the workshop theme. Topics include, but are not limited to, the following: - Textual case authoring (e.g. from the Web, from semi-structured documents). - Adaptation of textual cases. - Explanation in TCBR. - Maintenance of textual case bases. - The relationship between textual CBR and related technologies, such as text mining, question-answering, dialogue systems, and human-language technology. - Approaches to multilingual TCBR, mixed content types (e.g. text and images) and collective TCBR. - Automated extraction of textual knowledge sources (e.g. cases, similarity measures, thesauruses, lexicons, taxonomies, ontologies & folksonomies). - Testing, evaluation, analysis and visualisation methods for TCBR. - Conversational TCBR. - TCBR case studies. Papers that address the workshop challenge ------------------------------------------ We encourage all potential workshop participants, individually or as a research group, to submit a short paper that addresses the workshop challenge (described below). Submission of a research or application paper (above) does not preclude submission of a workshop challenge paper. Accepted challenge papers will appear in the workshop proceedings, along with research and application papers. Short presentations of the accepted challenge papers at the workshop will form the basis for workshop discussions. The challenge that we propose consists in analysing the corpus of Air Investigation Reports available from the Transportation Safety Board of Canada. The reports are ordered by year and are available in English and French at: http://www.tsb.gc.ca/en/reports/ http://www.tsb.gc.ca/fr/reports/ Investigation reports are created by human experts to describe system malfunctions or procedural errors, in this case in Canadian air traffic. They are written in natural language, but may also contain images referenced from the text. They mostly share a common structure; most frequently, they are divided into sections such as Summary, Analysis, Safety Actions, and so on. Imagine that you are to use this corpus to build a TCBR system that supports human investigators. A TCBR system might support the investigators in tasks such as the following: - authoring a new investigation report; - proposing safety actions in response to a new incident; - discovering recurring unsolved problems. A non-exhaustive list of the difficulties to be overcome in building such a TCBR system includes: - the free-form vocabulary, the length of the documents, and the likelihood that section headers may not accurately describe section content; - multilingual support (English and French), and multimedia support (text and images); - possible obsolescence of cases due to, e.g., changes in aircraft manufacture, in airport infrastructure, or in policies and legal requirements. You might like to submit, for example, a 2 or 3 page paper that describes some of the problems in more detail; or a 3 or 4 page paper that proposes ways of overcoming some of these problems; or a 4 or 5 page paper that reports actual experience in addressing the problems (perhaps using the jColibri framework). We particularly welcome contributions that address the workshop theme ('Beyond Retrieval'). Format and submission --------------------- Papers of both types should be submitted in Springer LNCS format, which is the format required for the final camera ready copy, subject to the following page limits: - a maximum of 10 pages for research and application papers; and - a maximum of 5 pages for papers that address the workshop challenge. Authors' instructions along with LaTeX and Word macro files are available on the web at http://www.springer.de/comp/lncs/authors.html Accepted papers will appear in the Workshop Proceedings. We also plan to edit a special issue of a journal with extended versions of a selection of the accepted contributions. Instructions for submission can be found on the workshop web site. Important dates --------------- April 30, 2007: Deadline for workshop paper submissions May 28, 2007: Notification of acceptance for workshop papers June 25, 2007: Deadline for workshop final camera-ready copies August 15, 2007: TCBR Workshop, Belfast, Northern Ireland Organising committee -------------------- Derek Bridge, University College Cork, Ireland Paulo Gomes, University of Coimbra, Portugal Nuno Seco, University of Coimbra, Portugal From dix at tu-clausthal.de Mon Feb 26 22:29:23 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Mon, 26 Feb 2007 22:29:23 +0100 Subject: Fwd: AOSD 2007: call for participation In-Reply-To: References: Message-ID: <45E35133.6040507@tu-clausthal.de> Mailing-Listen der Informatik schrieb: > > Hi Juergen, > do we accept this type of posts? > Although it looks a bit funny at first, I think we can let it through. I do not know the names, but some seem to be ok. J From klusch at dfki.de Wed Feb 28 13:02:48 2007 From: klusch at dfki.de (Matthias Klusch) Date: Wed, 28 Feb 2007 13:02:48 +0100 Subject: Final CFP: CIA 2007 - 11th Int Wshp Cooperative Information Agents Message-ID: <45E56F68.3010703@dfki.de> Please take our apologies if you receive this message more than once. FINAL CALL FOR PAPERS ********************************************* Eleventh International Workshop on Cooperative Information Agents (CIA 2007) September 19 - 21, 2007 Delft University of Technology, Delft, The Netherlands ********************************************* http://www.dfki.de/~klusch/cia2007 Co-sponsored by TU Delft ICT Research Whitestein Technologies, Switzerland IEEE FIPA ------------------------------------------- IMPORTANT DATES Submission of papers: MARCH 26, 2007 Notification of authors: May 29, 2007 Camera-ready papers: June 15, 2007 ------------------------------------------- AIMS & SCOPE ============ An intelligent information agent is a computational software entity that is capable of accessing one or multiple, heterogeneous and distributed information sources, proactively searching for, mediating, and maintaining relevant information or services on behalf of its human users, or other agents, at any time and anywhere. One key challenge of the development of intelligent and cooperative information system is to balance the autonomy of networked data, information, and knowledge sources with the potential payoff of leveraging them by the appropriate use of such agents. Research on intelligent information agents and systems is inherently cross disciplinary covering themes from domains such as artificial intelligence, HCI, Internet and Web technologies, information systems, information retrieval, P2P and grid computing, pervasive computing, and multiagent system technologies as well. The objective of the international workshop series on cooperative information agents (CIA), since its establishment in 1997, is to provide a small but distinguished, interdisciplinary forum for researchers, programmers, and managers to get informed about, present, and discuss latest high quality results in research and development of agent-based intelligent and cooperative information systems, and applications for the Internet and Web. INVITED SPEAKERS ================ To be announced. TOPICS ====== Topics of interest are but not exclusive: Systems and Applications of Information Agents Architectures of information agents. Prototypes and fielded systems of information agents. Recommender systems; collaborative cases. Issues of programming information agents. Information Agents and Grid Computing Agent-based grid computing services and infrastructure Agent-based grid computing applications Advanced Means of Collaboration and Coordination Social filtering, cooperative search, group forming, negotiation, etc. Cooperation in real-time and open environments. Self-organising information agent systems. Capability-based mediation between information agents. Collaboration in peer-to-peer networks. Agent-Based Knowledge Discovery Agent-based distributed data mining. Distributed information retrieval, text, and Web mining. Information Agents, Web Services, and the Semantic Web Agent-based information search in the semantic web. Agent-based service discovery and composition. Agent-based service matchmaking and brokering Agent-based distributed ontology mapping and learning. Mobile Information Agents Mobile information agents for distributed information retrieval. Engineering of mobile information agents. Cooperative mobile information agents. Information Agents for Pervasive Computing Environments Visions, applications, surveys; collaborative cases. Rational Information Agents for E-Business Models of economic rationality. Trust and reputation. Issues of privacy of communication, data security, and jurisdiction for agent-mediated trading. Coalition and team formation algorithms. Intelligent Interfaces for Information Agents Human-agent interaction for (systems of) information agents. Life-like characters and avatars. Information agents for/applied to digital cities. Advanced, personalized 3-d visualizations of information spaces. Personalization; collaborative cases. Adaptive Information Agents Adaptive information retrieval; collaborative cases. Reasoning with imperfect information: collaborative cases. Multi-strategy and meta-learning for cooperative information agents. PROCEEDINGS =========== The proceedings of the CIA workshop series are regularly published as volume of the Springer LNCS subseries LNAI (Lecture Notes on Artificial Intelligence). Former volumes of the series are CIA-1997: LNAI 1202, CIA-1998: LNAI 1435, CIA-1999: LNAI 1652, CIA-2000: LNAI 1860, CIA-2001: LNAI 2182, CIA-2002: LNAI 2446, CIA-2003: LNAI 2782, CIA 2004: LNAI 3191, CIA 2005 (MATES 2005): LNAI 3550, CIA-2006: LNAI 4149 The proceedings of the CIA 2007 workshop will be available to the participants of the workshop at the registration desk. SUBMISSION ========== For preparation of (camera-ready) papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: http://www.springer.de/comp/lncs/authors.html For those not using the Springer LNCS style files: The paper must be formatted in A4 size using 10 point Times. (If Times is not available, please use one of the similar fonts widely used in phototypesetting.) Printing area should be 12.2 x 19.3 cm, and the interline distance should be arranged in such a way that some 42 to 45 lines occur on a full-text page. The length of each paper should not exceed 15 pages. All papers must be written in English. Please submit your paper online at http://www.easychair.org/CIA2007 In case of problems, please contact us immediately for assistance! Submission of full paper including all figures and references is either in POSTSCRIPT or PDF format only. In any case, please check whether the file is really printable on a postscript-level-2 printer before submitting it. Double Submission Policy ------------------------ CIA 2007 will not accept papers which have already been published, or accepted for publication. However, these restrictions apply ONLY to journals, NOT to conferences, workshops, or symposia. Though, full copies of papers that are published elsewhere are, of course, not acceptable; there have to be significant modifications. Papers not conforming to the above requirements may be rejected without review. Submissions will be reviewed for quality, correctness, sufficient originality, and relevance. STUDENT SUPPORT =============== There will be limited financial support provided to a limited number of students as (co-)authors of accepted papers to present their work at the CIA 2007 workshop. AWARDS ====== The CIA 2007 workshop issues both a BEST PAPER award, and a SYSTEM INNOVATION award to acknowledge and honor highly innovative research and development, respectively, in the area of intelligent information agents for the Internet and Web. The prize money is 300 euros. The CIA 2007 SYSTEM INNOVATION AWARD is sponsored by Whitestein Technologies. The prize money is 500 euros. Nominations for the CIA 2007 SYSTEM INNOVATION AWARD are eligible either by means of regular paper submission, or external explicit request for nomination by submitting a brief (max. 4 pages, 10pt Times) description of the system in terms of its core functionalities, main techniques used to implement them, and (publicly available reference to) experimental results, as well as a summary of the innovative features in comparison to other existing systems. After confidential voting by the PC, chairs, and sponsors of the award the top ranked nominees will be requested to demonstrate a running prototype of their system at the workshop to all participants and the jury for a final public voting. The prize money is 500 euros. Both awards will be given at the end of the workshop. ORGANISATION ============ Matthias Klusch (DFKI, Germany), general chair Koen Hindriks (TU Delft, The Netherland) Mike P. Papazoglou (U Tilburg, The Netherlands) Leon Sterling (U Melbourne, Australia) PROGRAM COMMITTEE ================= Wolfgang Benn (TU Chemnitz, Germany) Sonia Bergamaschi (U Modena, Italy) Abraham Bernstein (U Zurich, Switzerland) Monique Calisti (Whitestein Technologies, Switzerland) Boi Faltings (EPF Lausanne, Switzerland) Rune Gustavsson (TH Blekinge, Sweden) Heikki Helin (TeliaSonera, Finland/Sweden) Michael Huhns (U South Carolina, USA) Catholijn Jonker (TU Delft, The Netherlands) Hillol Kargupta (UMBC, USA) Uwe Keller (DERI Innsbruck, Austria) Ryszard Kowalczyk (Swinburne U, Australia) Manolis Koubarakis (TU Crete, Greece) Sarit Kraus (Bar-Ilan U, Israel) Daniel Kudenko (U York, UK) Alain Leger (France Telecom, France) Victor Lesser (U Massachusetts, USA) Jiming Liu (Hongkong Baptist U, China) Stefano Lodi (U Bologna, Italy) Werner Nutt (FU Bozen-Bolzano, Italy) Sascha Ossowski (U Rey Juan Carlos, Spain) Terry Payne (U Southampton, UK) Adrian Pearce (U Melbourne, Australia) Alun Preece (U Aberdeen, UK) Cartic Ramakrishnan (U Georgia, USA) Jeffrey Rosenschein (Hebrew U, Israel) Amit Sheth (Wright State U, USA) Steffen Staab (U Koblenz, Germany) Katia Sycara (Carnegie Mellon U, USA) Valentina Tamma (U Liverpool, UK) Jan Treur (VU Amsterdam, The Netherlands) Rainer Unland (U Duisburg-Essen, Germany) Gottfried Vossen (U Muenster, Germany) Gerhard Weiss (SCCH, Austria) Steve Willmott (UPC Barcelona, Spain) CONTACT ======= Please do not hesitate to contact us, if you have any question on this event. Matthias Klusch klusch at dfki.de Koen Hindriks koen at wenen.twi.tudelft.nl Leon Sterling leon at csse.unimelb.edu.au Mike Papazoglou mikep at uvt.nl ------------------------------------------------------------- Dr. Matthias Klusch German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3, 66123 Saarbruecken, Germany Phone: +49-681-302-5297, Fax: +49-681-302-2235 http://www.dfki.de/~klusch/ ------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 ------------------------------------------------------------- From ci-listen at in.tu-clausthal.de Thu Feb 1 10:29:45 2007 From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik) Date: Thu, 01 Feb 2007 10:29:45 +0100 Subject: Fwd: Second Call for Papers CORE 2007 Message-ID: Hi Juergen, what is your opinion about this? It seems to be serious, however there's not enough information to confirm this. The page does not even list organizers. Did you ever hear about such an event? It seems to have something with CIC-IPN (http://www.cic.ipn.mx/), what seems to be a kind of Institute for Informatics of some academy of sciences of Mexico. Well, I just cannot judge on this one... Best, Peter. --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: core Betreff: Second Call for Papers CORE 2007 Datum: Tue, 30 Jan 2007 16:46:28 -0600 (CST) Größe: 3490 URL: From ci-listen at in.tu-clausthal.de Thu Feb 22 08:39:25 2007 From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik) Date: Thu, 22 Feb 2007 08:39:25 +0100 Subject: CFP for CLIMA VIII In-Reply-To: <014e01c75609$ee419bc0$222ebb88@niiNH26C> References: <014e01c75609$ee419bc0$222ebb88@niiNH26C> Message-ID: Hi Ken, as you probably noticed I faked your e-mail address in the post to Event at CIG list ;-). The next time send please just a plain post (without personal comments) so that I can only approve it and forward to the list ;-). I hope everything is alright and the CfP is OK. Best, Peter. On Thu, 22 Feb 2007 07:45:05 +0900 "Ken Satoh" wrote: > Dear Peter, > > Thank you very much for your mail. > Please post cfp to the mailing list. > > Regards, > Ken Satoh > ======================================================= > Call for Papers > > 8th Workshop on Computational Logic in Multi-Agent >Systems > (CLIMA-VIII) > http://research.nii.ac.jp/climaVIII > > 10 and 11 September 2007, Porto, Portugal > > Co-located with > the International Conference on Logic Programming (ICLP >07) > http://www.dcc.fc.up.pt/iclp07/ > > Important Dates > Submission Deadline: 30 April 2007 > Notification: 11 June 2007 > Camera Ready Copy Due: 2 July 2007 > CLIMA VIII: 10-11 September 2007 > > Aims of the Workshop > Multi-Agent Systems are communities of problem-solving > entities that can perceive and act upon their >environment to > achieve their individual goals as well as joint goals. >The > work on such systems integrates many technologies and > concepts in 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, from search > engines to educational aids to electronic commerce and > trade, e-procurement, recommendation systems, simulation >and > routing, to cite only some. > > Computational logic provides a well-defined, general, >and > rigorous framework for studying syntax, semantics and > procedures for the various tasks of individual agents, >as > well as for the interaction and integration amongst >agents > in multi-agent systems. It also provides tools, >techniques > and standards for implementations and environments, for > linking specification to implementation, and for > verification of properties of individual agents, >multi-agent > systems and their implementations. In this workshop we >aim > to bring together researchers from all these areas to > discuss and present their work. Relevant topics include, >but > are not limited to, the following: > > Topics: All with focus on agents or multi-agent systems > > 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 algorithms, tools, and applications > for (multi-)agent logics > semantics of interaction and agent communication >languages > distributed constraint satisfaction > temporal reasoning > distributed theorem proving > logic-based implementations > specification and verification of formal properties > > Submissions > We invite submissions of 2 kinds: > 1. Submissions of high quality, original papers, which >are > not simultaneously submitted for publication > elsewhere. Papers should be written in English, >formatted > according to the Springer Verlag LNCS style, which can >be > obtained from http://www.springeronline.com, and not > exceed 16 pages including figures, references, etc. >Each > paper should include some examples illustrating the > proposed techniques. > > 2. Submissions of system descriptions, to be presented >at > the workshop as demos. In this category papers should >be > written in English, formatted according to the >Springer > Verlag LNCS style, which can be obtained from > http://www.springeronline.com, and not exceed 5 pages > including figures, references, etc. Each paper should > describe a working system illustrating its objectives >and > the implementation techniques. > > We will set up a web page for paper submission in March, >so > please watch the home page of CLIMA-VIII: > http://research.nii.ac.jp/climaVIII > > Proceedings > A printed volume of the proceedings will be available at >the > workshop. We plan to publish a selection of extended > workshop papers in Post-Proceedings in the Springer >Verlag > LNAI series as the previous publications, LNAI 3487 for > CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA >VII > (subject to approval). > > Workshop Chairs >Fariba Sadri, Imperial College London, UK > Ken Satoh, National Institute of Informatics, Japan > > > About CLIMA Workshop Series > You can find information about the CLIMA worshop series >at: > http://centria.di.fct.unl.pt/~clima/ > > Programme Committee > Jose Julio Alferes, New University of Lisbon, Portugal > Rafael H. Bordini, University of Durham, UK > Gerhard Brewka, University of Leipzig, Germany > Stefania Costantini, University of L'Aquila, Italy > Juergen Dix, Technical University of Clausthal, Germany > Klaus Fisher, DFKI, Germany > Michael Fisher, The University of Liverpool, UK > James Harland, RMIT, Australia > Hisashi Hayashi, Toshiba, Japan > Wiebe van der Hoek, The University of Liverpool, UK > Katsumi Inoue, National Insitute of Informatics, Japan > Joao Leite, New University of Lisbon, Portugal >Fangzhen Lin, Hong Kong University of Science and >Technology , Hong Kong > Paola Mello, University of Bologna, Italy > John Jules Ch. Meyer, Utrecht University, The >Netherlands > Leora Morgenstern, IBM T.J. Watson Research Center, USA > Naoyuki Nide, Nara Women's University , Japan > Maurice Pagnucco, University of New South Wales, >Australia > Jeremy Pitt, Imperial College London, UK > Enrico Pontelli, New Mexico State University, USA > Chiaki Sakama, Wakayama University, Japan > Abdul Sattar, Griffith University, Australia > Renate Schmidt, University of Manchester, UK > Tran Cao Son, New Mexico State University, USA > Kostas Stathis, Royal Holloway, University of Lodon, UK > Michael Thielscher, Dresden University of Technology, >Germany > Satoshi Tojo, Japan Advanced Institute of Science and >Technology, Japan >Francesca Toni, Imperial College London, UK > Paolo Torroni, University of Bologna, Italy > Marina De Vos, University of Bath, UK > Cees Witteveen, Delft University of Technology, The >Netherlands > >For any inquiry, please send it to "clima-viii at >nii.ac.jp". > > > > > > From ci-listen at in.tu-clausthal.de Mon Feb 26 22:12:10 2007 From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik) Date: Mon, 26 Feb 2007 22:12:10 +0100 Subject: Fwd: AOSD 2007: call for participation Message-ID: Hi Juergen, do we accept this type of posts? Thanks for your help, Peter. --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Oege.de.Moor at comlab.ox.ac.uk Betreff: AOSD 2007: call for participation Datum: Mon, 26 Feb 2007 20:47:53 GMT Größe: 7615 URL: