From nza at Cs.Nott.AC.UK Sun Aug 2 16:40:28 2009 From: nza at Cs.Nott.AC.UK (Natasha Alechina) Date: Sun, 02 Aug 2009 15:40:28 +0100 Subject: Final CFP Workshop on Formal Approaches to Ubiquitous Systems (FAUSt 2009) Message-ID: <4A75A55C.2080009@cs.nott.ac.uk> Final Call for contributed talks/abstracts Workshop on Formal Approaches to Ubiquitous Systems (FAUSt 2009) Imperial College, 14-15 September 2009 http://www.agents.cs.nott.ac.uk/events/faust09/ A key challenge in ubiquitous computing is identifying and developing appropriate formal approaches for understanding, designing and implementing ubiquitous systems. However applications which must interact with heterogeneous devices in multiple contexts and/or whose implementation may span multiple devices with widely differing resource constraints pose significant difficulties for current analysis, design and verification methodologies. While some of these issues have been addressed in previous work, their combination and interaction presents significant new challenges. The workshop aims to bring together researchers from the ubiquitous computing and formal methods communities to determine how the current state of the art in formal methods can be applied to ubiquitous computing, and to map out key research questions and future directions for formal approaches to ubiquitous systems. Topics of interest include (but are not limited to): * what sorts of (formal) system properties are of interest to the ubicomp community; * what sorts of formal models and techniques are appropriate for modelling context, mobility and resource constraints; * which verification techniques are appropriate for ubiquitous systems The two day workshop will feature a mixture of invited talks and submitted contributions describing current work or work in progress in ubiquitous computing; applications of formal analysis to some aspect of ubiquitous computing or similar systems (e.g. verification of sensor networks); and other formal approaches which are likely to be relevant (e.g., logics of resource bounds, context logics, verification of mobile or real time systems). In addition, there will be a panel session to identify possible synergies (and collaborations) in current work and to map out key questions for future research. Invited speakers: Muffy Calder (University of Glasgow) Michael Fisher (University of Liverpool) Marta Kwiatkowska (University of Oxford) Derek McAulay (University of Nottingham / University of Cambridge) Robin Milner (University of Edinburgh / University of Cambridge) Alessandra Russo (Imperial College) We invite the submission of two-page extended abstracts about recent work or work in progress. The abstract can describe work that has already been published elsewhere. Limited bursaries are available to support the attendance of (UK) PhD students. Please email submissions (preferably in pdf or plain text format) to faust09 at cs.nott.ac.uk For registration details, please see the workshop web page. Important Dates (deadline extended): Abstract submission: 7 August 2009 Notification of acceptance: 14 August 2009 Version for informal proceedings: 31 August 2009 Registration deadline: 7 September 2009 Workshop: 14-15 September 2009 Workshop Organisers: Natasha Alechina (University of Nottingham) Brian Logan (University of Nottingham) 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 ribooth at gmail.com Mon Aug 3 09:11:29 2009 From: ribooth at gmail.com (Richard Booth) Date: Mon, 3 Aug 2009 14:11:29 +0700 Subject: MIWAI 2009: 2nd call for papers Message-ID: -------------- nächster Teil -------------- ================================================================== Apologies for multiple copies due to cross postings ================================================================== Dear Colleague, Following on from the success of the 1st and 2nd Mahasarakham International Workshops on AI (MIWAI 2007,http://www.miwai.org, MIWAI 2008, http://www.it.msu.ac.th/miwai2008/index.html), we are delighted to announce the 2009 edition of the event. Please find the Call for Papers below. Submission of full papers is due on September 27, 2009. The workshop will take place in Mahasarakham, Thailand on December 10-11, 2009. We will also be grateful to you for advertising MIWAI 2009 and inviting your colleagues and/or research students to submit their work and participate in the event. The MIWAI09 homepage may be found here http://khamreang.msu.ac.th/miwai09 This year's MIWAI will take place inbetween the Australasian AI Conference (AI'09) in Melbourne, Australia and the International Conference on Principles of Practice in Multi-Agent Systems (PRIMA'09) in Nagoya, Japan. We look forward to receiving your submission. Best regards, Natthariya Laopracha MIWAI 2009 Publicity Chair Richard Booth and Chattrakul Sombattheera MIWAI 2009 Program Chairs ================================================================== The Third Mahasarakham International Workshop on AI (MIWAI'09) Call for Papers: MIWAI 2009 ================================================================== December 10-11, 2009 Mahasarakham, Thailand Contact: richard.b at msu.ac.th, chattrakul.s at msu.ac.th Homepage: http://khamreang.msu.ac.th/miwai09 ================================================================== Invited Speakers ================================================================== Patrick Doherty Linkoping University, Sweden, http://www.ida.liu.se/~patdo/patdosite1/index.html Ryohei Nakatsu National University of Singapore, http://www.idmi.nus.edu.sg/ourpeople/prof_nakatsu.htm MORE TO BE ANNOUNCED ================================================================== Important Dates: ================================================================== Papers due: September 27 2009 Author notification: October 25 2009 Camera-ready papers due: November 8 2009 Registration deadline: November 22 2009 Workshop dates: December 10-11 2009 ================================================================== About MIWAI ================================================================== Artificial Intelligence (AI) research has broad applications on real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The advances in AI research have been driven partially by our passionate enthusiasm and have been thriving recently. On the other hand, the ever evolving needs in business both in local and global scale have been demanding for better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. The focus of MIWAI'09 will be fairly broad, taking in all sub-topics of AI. The programme aims at high quality research publications in AI of both technical and applied natures. ================================================================== About Mahasarakham ================================================================== Mahasarakham is a city in the northeast of Thailand in the so-called "Isan" region of the country. Mahasarakham University (http://www.msu.ac.th) is a major centre of learning in the region and its Faculty of Informatics (http://www.it.msu.ac.th) is currently enjoying an exciting period of growth, with a blossoming research culture now complementing its traditional teaching strengths. The town itself boasts many temples, as well as numerous restaurants selling delicious Isan food. It is also renowned for its silk and handicraft. ================================================================== Topics of Interest ================================================================== The research areas in AI include but not limited to: -Agent-based simulation -Agent-oriented software engineering -Agents and Web services -Agent-based electronic commerce, auctions and markets -Constraint satisfaction -Decision theory -Distributed AI -E-Commerce and AI -Game theory -Internet/WWW intelligence -Industrial applications of AI -Intelligent tutoring -Knowledge representation and reasoning -Machine learning -Multiagent planning and learning -Multiagent systems and their applications -Multiagent systems and evolving intelligence -Natural language processing -Neural networks -Planning and scheduling -Robotics -Web services ================================================================== Submission Requirements ================================================================== Submissions of the following two categories are invited: Category A: REGULAR PAPERS ------------------------------------------------------------------ Papers presenting new original work. Submitted papers should not exceed a length of 12 pages, formatted in the IEEE style (latex and MS Word templates available for download from http://khamreang.msu.ac.th/miwai09/submission.html). These papers will be reviewed on overall quality and relevance. Reviewing will be double-blind, meaning names and institutions of authors should not appear in the submitted paper. All accepted papers will be fully published in the proceedings. Category B: COMPRESSED CONTRIBUTIONS ------------------------------------------------------------------ Papers that have recently been accepted for AI-related refereed conferences (e.g., IJCAI 2009, PRIMA 2009) or journals can be resubmitted and will be accepted as "compressed contributions". Authors are invited to submit the published version (without page or format restriction). The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. The language of the workshop is English. Papers written in any other language will not be accepted. The workshop proceedings will be published with ISBN number. At least one author of each accepted paper (in both submission categories) is required to attend the workshop. ================================================================== Submission Instructions ================================================================== Submission will be handled via EasyChair. Please send an electronic pdf copy via the submission page http://www.easychair.org/conferences/?conf=miwai09. (If you do not already have one, you will be first asked to register an EasyChair account on this submission page.) Be sure to tick the box stating clearly to which of the 2 submission categories your submission belongs. Submission deadline is September 27, 2009. ================================================================== Publication ================================================================== MIWAI 2009 workshop proceedings will be distributed at the event. We intend to invite authors of the best papers to submit revised and extended versions of their papers for a special issue of a suitable journal. ================================================================== Committees ================================================================== ------------------------------------------------------------------ Advisory Commitee ------------------------------------------------------------------ -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok) -Wirat Pongsiri(Mahasarakham, Thailand) -Sujin Butdeesuwan (Mahasarakham, Thailand) -Somnuk Puangpronpitag (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Co-Chairs ------------------------------------------------------------------ -Richard Booth (Mahasarakham, Thailand) -Chattrakul Sombattheera (Mahasarakham, Thailand) ------------------------------------------------------------------ Publicity Chair ------------------------------------------------------------------ -Natthariya Laopracha (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Committee ------------------------------------------------------------------ -Arun Agarwal (Hyderabad, India) -Samir Aknine (Paris 6, France) -Veera Boonjing (KMITL, Bangkok) -Roger Boyle (Leeds, UK) -Rapeeporn Chamchong (Mahasarakham, Thailand) -Chee Fon Chang (Wollongong, Australia) -Yann Chevaleyre (LAMSADE, Paris, France) -Sirapat Chiewchanwattana (Khon Kaen, Thailand) -Krisana Chinnasarn (Burapha, Thailand) -Matthew Dailey (AIT, Thailand) -Aniruddha Dasgupta (Wollongong, Australia) -Juergen Dix (Clausthal, Germany) -Phan Minh Dung (AIT, Thailand) -Andreas Herzig (IRIT, Toulouse, France) -Wiebe van der Hoek (Liverpool, UK) -Sarun Intakosum (KMITL, Bangkok) -Boonserm Kijsirikul (Chulalongkorn University, Bangkok) -Jerome Lang (LAMSADE, Paris, France) -Kittichai Lavangnananda (KMUTT, Thailand) -Fangzhen Lin (HKUST, Hong Kong) -Chidchanok Lursinsap (Chulalongkorn University, Bangkok) -Yuji Matsumoto (Nara Institute of Science and Technology, Japan) -Jerome Mengin (IRIT, Toulouse, France) -Debajyoti Mukhopadhyay (Calcutta Business School, India) -Ryohei Nakatsu (NUS, Singapore) -Vineet Nair (Hyderabad, India) -Juggapong Natwichai (Chiang Mai, Thailand) -Supawan Phonphitakchai (Naresuan University, Thailand) -Jiratta Phuboon-Ob (Mahasarakham, Thailand) -Ouen Pinngern (Ramkhamhaeng University, Bangkok) -Guilin Qi (Nanjing, China) -Iyad Rahwan (Edinburgh, UK and British University in Dubai) -Umaporn Saisangchan (Mahasarakham, Thailand) -Jun Shen (Wollongong, Australia) -Sukree Sinthupinyo (Chulalongkorn University, Bangkok) -Siriwan Suebnukarn (Thammasat University, Bangkok) -Khamron Sunat (Mahanakorn University of Technology, Bangkok) -Boontawee Suntisrivaraporn (SIIT, Bangkok) -Leon van der Torre (Uni Luxembourg) -Paul Weng (Paris 6, France) -Dongmo Zhang (Western Sydney, Australia) From franconi at inf.unibz.it Mon Aug 3 11:26:01 2009 From: franconi at inf.unibz.it (Enrico Franconi) Date: Mon, 3 Aug 2009 11:26:01 +0200 Subject: Faculty Position in Computer Science at the Free University of Bozen-Bolzano Message-ID: <90BEC91C-9890-4646-8788-6A3537E8351A@inf.unibz.it> Faculty Position in Computer Science at the Free University of Bozen-Bolzano. The Faculty of Computer Science at the Free University of Bozen- Bolzano (Italy) invites applications for a Computer Science faculty position. The position is at the level of full or associate professor, starting academic year 2010/2011. The following areas of Computer Science will be considered: database systems, foundations of data- bases, data mining, knowledge representation, artificial intelligence, computational logic, information search and retrieval. The Faculty of Computer Science puts a strong emphasis on foundational and applied research, on experience in the development of scalable systems, and on the co-operation with national and international research institutions and companies. Candidates should have a strong research background and a commitment to teaching excellence, and they are expected to teach both introductory and advanced courses in Computer Science; management skills and a strong record of project funding from companies and other organisations are desirable. The teaching language for the Computer Science courses is English. Salary and support are negotiable and highly competitive at the European level. Only candidates that already hold at a university outside of Italy an academic position equivalent to the one they are applying for may express interest for the position - according to the Italian law about "chiamata diretta". The Free University of Bozen-Bolzano was founded in 1997 as a free, state-recognised university. As a central-European, internationally oriented educational establishment it acts as an important bridge between the German and Italian cultural and economic spheres. Most of the teaching staff have an international professional background. The Free University of Bozen-Bolzano offers degrees in Economics and Management, Education, Design and Art, and Science and Technology. With its almost 100,000 German-speaking and Italian-speaking inhabitants, Bozen-Bolzano, as the capital of the province of Alto Adige-South Tirol, is a multilingual business and tourist centre located in a beautiful setting in the Dolomite Alps area. For more information view the web page at http://www.inf.unibz.it or contact Prof. M. Böhlen or Prof. E. Franconi . Applicants should submit a single PDF file with their curriculum vitae, including research, teaching, and organisational records, a cover letter with the specification of the position they are applying for (associate or full professor), and three references, both by email to and by regular mail to: Faculty of Computer Science Free University of Bozen-Bolzano Universitätsplatz 1 39100 Bozen-Bolzano, Italy Primary consideration will be given to applications received by October 15, 2009. From joost.vennekens at cs.kuleuven.be Mon Aug 3 17:13:17 2009 From: joost.vennekens at cs.kuleuven.be (Joost Vennekens) Date: Mon, 3 Aug 2009 17:13:17 +0200 Subject: CFP KR 2010 Doctoral Consortium Message-ID: <200908031513.n73FDH9O007953@brundij.cs.kuleuven.be.> Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: nicht verfügbar URL: From paolucci at docomolab-euro.com Tue Aug 4 11:13:54 2009 From: paolucci at docomolab-euro.com (Paolucci, Massimo) Date: Tue, 4 Aug 2009 11:13:54 +0200 Subject: CFP: Service Matchmaking and Resource Retrieval in the Semantic Web Message-ID: <317B40DA788E894D8FDD440D2835F5F701CD08DE@DEMAIL.docomolab-euro.com> Apologies for cross-postings -------------------------------------------------------------------------- CALL FOR PAPERS -------------------------------------------------------------------------- SMR2-2009 Third International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web http://www-ags.dfki.uni-sb.de/~klusch/smr2-09/ 8th International Semantic Web Conference (ISWC 2009) October 25, 2009 Washington DC, USA Aims & Scope: One central challenge of service coordination in the Semantic Web is how to best relate requests for services with the services that are available. This functionality is usually provided by matchmaking capabilities (which may themselves be deployed as services, brokers or middle agents) that select the services that are closest to a requested service on the basis of a declarative characterization of the capabilities of both service requested and services provided. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge, even persons and organizations) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from Web services, Grid computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, and social networking applications such as dating services. The primary objective of this workshop is to bring together academic and industry researchers and industry practitioners who tackle semantic service matchmaking and discovery from various points of view. In particular, we intend to build bridges to the software engineering and model-driven development communities in order to share requirements, technologies, and experiences that might be helpful in advancing the state of the art in semantic service matchmaking and resource retrieval. Going to Practice: The Third Semantic Service Selection (S3) Contest The SMR2 workshop also integrates the third edition of the open international contest on semantic service selection (S3) executed in collaboration with the Semantic Web Service Challenge. The S3 contest provides the means and a forum for evaluating the retrieval performance of Semantic Web service matchmakers in terms of recall, precision, F1, response time etc., over given test collections based on the prominent semantic service formats such as OWL-S, WSML and the standard SA-WSDL. Publication: Accepted papers will be available online as a volume of CEUR proceedings. In addition, selected papers will be published in a special issue of the International Journal on Software Tools for Technology Transfer (STTT, Springer Verlag). Topics of interest include (but are not limited to): * Advanced searching of services and other resources in the Semantic Web * Novel approaches to matchmaking and brokering in the Semantic Web, with a particular emphasis on Semantic Web services * Model-driven semantic service engineering and matchmaking * Semantic retrieval of resources and services in P2P and Grid networks * Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply chains * Matchmaking in other application scenarios: e-government, biopharma, etc. * Composition planning of Semantic Web services * Negotiation of Semantic Web services and resources * Interleaving of discovery, composition, and negotiation of Semantic Web services * Semantic Web services selection * Formal description and handling of Semantic Web services, queries, and resources * Non-functional service properties and their use for discovery (and composition) * Trust issues of Semantic Web service discovery * Prototypes and tools for Semantic Web services engineering * Practical business and user-oriented issues and experiences of implementing SW service retrieval tools * Experimental comparative evaluation of implemented SW service retrieval tools Submissions : Contributions to the workshop can be made as technical papers addressing different issues of service and resource matching. The papers should not be longer than 12 pages using the LNCS Style: http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html All contributions should be prepared in PDF format and should be submitted through the workshop submission site at: http://www.easychair.org/conferences/?conf=smr22009 Important Dates: August 11, 2009: Deadline for the submission of papers. September 6, 2009: Deadline for the notification of acceptance/rejection. October 2, 2009: Camera ready copy submission. October 25, 2009: OM-2009, Westfields Conference Center, Fairfax, near Washington DC., USA. Organizing Committee: Matthias Klusch (DFKI, Germany) Alain Léger (France Telecom Research, France) Tiziana Margaria (University of Potsdam, Germany) David Martin (SRI International, USA) Massimo Paolucci (NTT DoCoMo Research Europe, Germany) Program Committee: Sudhir Agarwal , AIFB, Germany Rama Akkiraju, IBM US Eugenio Di_Sciascio, University of Bary, Italy Takahiro Kawamura, Toshiba, Japan Ulrich Kuester, University of Jena, Germany Freddy Lecue, University of Manchester, UK Axel Polleres, DERI, Ireland Dumitru Roman, STI, Austria Bernhard Steffen , University of Dortmund, Germany Eran Toch, CMU, USA Ioan Toma, STI, Austria Farouk Toumani, Isima, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ha at ecs.soton.ac.uk Wed Aug 5 10:48:05 2009 From: ha at ecs.soton.ac.uk (Harith Alani) Date: Wed, 05 Aug 2009 09:48:05 +0100 Subject: ISWC 2009 Posters and Demonstrations - Last call for submissions References: <4A794745.2090204@ecs.soton.ac.uk> Message-ID: *ISWC 2009 Posters and Demonstrations* - Last call for submissions - *August 7*, 2009: Deadline for submissions (23:59 pm Hawaiian time (GMT-10)) - August 24 , 2009: Notification of acceptance - September 8, 2009: Camera ready abstracts due http://iswc2009.semanticweb.org/wiki/index.php/ISWC_2009_Posters_and_Demonstrations/Call_for_Proposals ISWC 2009 will hold combined poster and demonstration sessions. The Poster/Demo Session is an opportunity for presenting late-breaking results, ongoing research projects, and speculative or innovative work in progress. Posters and demos are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Technical posters, reports on Semantic Web software systems, descriptions of completed work, and work in progress are all welcome. Demonstrations are intended to showcase innovative Semantic Web related implementations and technologies. Submissions/Format Authors must submit a two-page paper with a short abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. Submissions will be reviewed by members of the programme committee. Decisions about acceptance will be based on relevance to the Semantic Web, originality, potential significance, topicality and clarity. A detailed list of suggested topics can be found in the calls for papers both for the Research Track and for the Semantic Web In Use track. Posters and demos are intended to convey a scientific result or work in progress and are not intended as advertisements for software packages. Authors submitting a full paper to another track in ISWC 2009 may also submit the same work for consideration in the Demo/Poster track, either before or after result notification for the full paper. For example, a demo can be provided for an accepted paper, or a poster can be used to present work that was insufficiently mature for the other tracks. For demo submissions, authors are strongly encouraged to include in their submission a link to where the demo (live or recorded video) can be found. At least one of the Poster/Demo authors must be a registered participant at the conference, and attend the Poster/Demo Session to present the work. The abstracts for all accepted posters and demos will be given to all conference attendees and published on the conference web site. They will not be included in the formal proceedings. Poster and demo paper submissions should be formatted in the style of the ACM format (http://www.acm.org/sigs/publications/proceedings-templates). Please remove the ACM copyright box from the first page of your submission. Poster/Demo papers must be submitted in PDF format, and no other format will be accepted. Poster/Demo papers that exceed the page limit could be rejected without review. Please note that metadata about all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Submissions can now be made at the ISWC 2009 submission page: https://precisionconference.com/~semantic/ Organising Chairs * Tania Tudorache, Stanford University * Harith Alani, University of Southampton * Oscar Corcho, Universidad Politécnica de Madrid Program Committee * Mathieu d'Aquin - KMI, Open University, UK * Sören Auer - University of Leipzig, Germany * Eva Blomqvist - Linköping University, Sweeden * Sebastian Brandt - University of Manchester, UK * Paul Buitelaar - DFKI, Germany * Yun-Heh (Jessica) Chen-Burger - University of Edinburgh, UK * Gong Cheng - Southeast University, China * Gianluca Correndo - University of Southampton, UK * Isabel Cruz - University of Illinois, USA * Philippe Cudre-Mauroux - MIT, USA * Danica Damljanovic - University of Sheffield , UK * Klaas Dellschaft - University of Koblenz, Germany * Ying Ding - Indiana University, USA * Leigh Dodds - Talis, UK * Martin Dzbor - KMI, Open University, UK * Hugh Glaser - University of Southampton, UK * Tudor Groza - DERI Galway, Ireland * Olaf Görlitz - University of Koblenz, Germany * Michael Hausenblas - DERI Galway, Ireland * Conor Hayes - NUIG, Ireland * Masahiro Hori - Kansai University, Japan * Matthew Horridge - Manchester University, UK * Andreas Hotho - University of Kassel, Germany * Trung Dong Huynh - University of Southampton, UK * Luigi Iannone - University of Manchester, UK * Mustafa Jarrar - University of Cyprus, Cyprus * Holger Lewen - AIFB, Karlsruhe, Germany * Alexander Löser - Technical University of Berlin, Germany * Diana Manyard - University of Sheffield, UK * Ian Millard - University of Southampton, UK * Dilvan Moreira - University of Sao Paulo, Brazil * Knud Möller - NUIG, Galway * Natasha Noy - Stanford University, USA * Martin O'Connor - Stanford University, USA * Jeff Z. Pan - University of Aberdeen * Alexandre Passant - DERI Galway, Ireland * Valentina Presutti - ISTC-CNR, Italy * Yves Raimond - BBC, UK * Marco Rospocher - IRS Trento, Italy * Alan Ruttenberg - Science Commons, USA * Marta Sabou - KMI, Open University, UK * Horacio Saggion - University of Sheffield , UK * Elena Simperl - STI, Innsbruck * Patrick Sinclair - BBC, UK * Nenad Stojanovic - University of Karlsruhe, Germany * Mari Carmen Suárez-Figueroa - Universidad Politécnica de Madrid, Spain * Martin Szomszor - University of Southampton, UK * Mischa Tuffield - Garlik, UK * Denny Vrandecic - University of Karlsruhe, Germany From symposium at hni.upb.de Thu Aug 6 11:38:24 2009 From: symposium at hni.upb.de (8th International Heinz Nixdorf Symposium) Date: Thu, 6 Aug 2009 11:38:24 +0200 Subject: Call for Papers: 8th International Heinz Nixdorf Symposium Message-ID: <000701ca1679$a5fd1140$f1f733c0$@upb.de> Call for Papers - 8th International Heinz Nixdorf Symposium *** Apologies for cross-postings *** 8th International Heinz Nixdorf Symposium "Advanced Manufacturing and Sustainable Logistics" April 21-22, 2010 Paderborn, Germany http://wwwhni.uni-paderborn.de/symposium2010 ************************ CALL FOR PAPERS ************************ We are pleased to announce the Call for Papers for the 8th International Heinz Nixdorf Symposium "Advanced Manufacturing and Sustainable Logistics". Current research and innovative approaches from industry regarding issues of production logistics will be in the focus of the two-day symposium. Furthermore, we plan to examine selected special topics from production logistics more closely. Feel free to forward this information to your colleagues. ************************ CONFERENCE ************************ The Heinz Nixdorf Symposium is an established biannual event of the Heinz Nixdorf Institute during which researchers and practitioners come together to present challenges from industry, discuss contributions from research institutions and develop novel solution approaches. The 8th International Heinz Nixdorf Symposium will take place on April 21–22 in Paderborn, Germany. On April 21, distinguished professors and senior executives from large manufacturing and logistics companies will deliver invited speeches. On April 22, contributions are invited from both researchers and practitioners in the fields of manufacturing, logistics and supply chain management. Papers can be submitted to any of the six conference tracks. ************************ TRACKS ************************ Topics can include but are not limited to: Track 1: Production Logistics I (Chair: Prof. Dr.-Ing. Egon Müller): Design of dynamic production and logistics networks, Integrated design of products and production systems, Late product differentiation, Lean supply chain management, Mobile network structures, Optimization of procurement and customer service level Track 2: Production Logistics II (Chair: Prof. Dr. Dirk Van Oudheusden) Artificial intelligence and multi-agent systems, Autonomous decentralized schedule execution, Hierarchical agent-based control, Integration of production and in-bound logistics, Supply chain event and risk management, Uncertainties in production and logistics processes, Ontologies for productions and logistics Track 3: Industrial Engineering (Chair: Prof. Dr.-Ing. Gert Zülch) Knowledge management in supply chains, Rapid manufacturing and workforce involvement, Reorganization of work structures at variant diversity, Resilient logistics and production planning, Working time models under volatile demand Track 4: Operations Research Techniques (Chair: Prof. Dr. Leena Suhl) Green strategies, Online planning / optimization with rolling horizon, Optimization in large networks Robustness and flexibility of transport schedules, Sustainable supply chain management Track 5: Simulation (Chair: Prof. Dr.-Ing. Sigrid Wenzel) Graphical parameter interfaces, Integration of mathematical programming and simulation, Online integration in production environments, Simulation as training tool set, Simulation-based decentralized real-time control Track 6: Humanitarian Logistics (Chair: Alexander Blecken) Operations research and humanitarian logistics, Performance measurement, Collaboration and coordination of actors, Modeling humanitarian operations, Supply chain planning in humanitarian supply chains ************************ SUBMISSIONS ************************ Authors should submit papers that have not yet been submitted for publication elsewhere. All papers are subject to double-blind reviews. Submitted papers (up to 12 pages) may be accepted as full or short papers. All accepted papers will be published in the Lecture Notes in Business Information Processing (LNBIP) series of Springer Verlag. Please follow carefully the instructions provided on our website. Further information can be found on the LNBIP authors website. All submissions need to be made through our online conference management system. If you have any questions or need assistance, please do not hesitate to contact us. ************************ DEADLINES ************************ Submission of Papers: November 15, 2009 Notification of Acceptance: December 22, 2009 Submission of Camera-Ready Version: February 7, 2010 8th International Heinz Nixdorf Symposium: April 21–22, 2010 ************************ ORGANIZATION ************************ Heinz Nixdorf Institute Prof. Dr.-Ing. habil. Wilhelm Dangelmaier Fuerstenallee 11 33102 Paderborn, Germany Further information about the symposium and instructions for authors can be found at: http://wwwhni.upb.de/symposium2010 E-mail: symposium at hni.upb.de Phone: +49 5251 60 64 79 / 64 84 From MFisher at liverpool.ac.uk Thu Aug 6 11:46:30 2009 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Thu, 06 Aug 2009 10:46:30 +0100 Subject: Call for bids: hosting JELIA 2010.... Message-ID: <4A7AA676.8060101@liverpool.ac.uk> European Conference on Logics in Artificial Intelligence (JELIA) Call for Proposals for Hosting JELIA 2010 The European Conference on Logics in Artificial Intelligence (or Journees Europeennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in the field. Since then, JELIA has been organised biennially, with English as official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to Artificial Intelligence. See http://www.jelia.eu The next edition of JELIA will be held in 2010, most likely in September. Thus, the JELIA Steering Committee invites proposals for hosting JELIA 2010. Such proposals are due by 24th September 2009, and should include: - Location (accessibility, conference venue, hotels, ...) - Local Arrangements (chairs, committee, ...) - Financial Aspects (sponsors, registration fees, ...) - Local Logic/AI Community - Proposed Date for JELIA 2010 - Publishing arrangements (publication of proceedings in LNAI, ...) - Information on co-located events, e.g. Summer Schools - Highlight the main advantages of the proposal The proposals will be evaluated by the JELIA Steering Committee with notification planned for October 2009 at the latest. We would welcome an early indication that you are planning to prepare such a proposal. Details: Proposals due by 24th September 2009 Decision expected early in October 2009 Proposals should be sent electronically to MFisher at liverpool.ac.uk -- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : MFisher.vcf Dateityp : text/x-vcard Dateigröße : 325 bytes Beschreibung: nicht verfügbar URL : From jap at cs.bath.ac.uk Fri Aug 7 15:58:05 2009 From: jap at cs.bath.ac.uk (Julian Padget) Date: Fri, 07 Aug 2009 14:58:05 +0100 Subject: PhD studentship/University of Bath Message-ID: <1249653485.4071.33.camel@jap-lap3> Interdisciplinary PhD Studentship in Computer Science and Engineering Departments of Computer Science and Mechanical Engineering University of Bath Applications are invited for a PhD studentship to research issues in the intersection of service-oriented architectures and engineering design utilizing technology from web services, work-flow enactment, semantic web and multi-criteria optimization. PROJECT AIM: To contribute to the creation of a multi-fidelity multi-disciplinary optimisation environment for aircraft design. The precise focus of the work will depend on the background of the successful candidate, but will involve application of semantic web technology, adaptation of e-Science technology and development of tools to support multi-disciplinary optimisation, with application to aerospace engineering to enable the exploration of, for example, structural and aero-elasticity design requirements. ACADEMIC REQUIREMENTS: The successful applicant will have, or be expecting, a First Class Honours Degree (or equivalent) in computer science or aerospace/mechanical engineering or applied mathematics. He/she must be a competent programmer (Java, C, but able to pick up other languages as required) and have some knowledge of numerical methods (facility with Matlab). In addition, he/she must offer excellent communication and team working skills appropriate to an interdisciplinary project. FINANCES: Tuition fees (at home/EU level) and stipend of £12940/year (tax-free) are provided by the studentship, funded by the University of Bath in the context of the EPSRC “Bridging the Gaps between mathematics, ICT and Engineering” initiative. Overseas (non European Union) applicants must be able to fund the home/overseas differential (approx £9000 at this time) themselves. The studentship is for 3 years and should start in October 2009, or as soon as possible thereafter. APPLICATION PROCEDURE AND DEADLINES: Suitable candidates are invited to complete the downloadable PhD application form available at www.bath.ac.uk/grad-office/. To speed application processing, please ensure that a copy is also sent to PG admissions Computer Science (mdv at cs.bath.ac.uk). For informal enquiries and further details please contact Dr. H Alicia Kim (h.a.kim at bath.ac.uk or Dr. Julian Padget (j.a.padget at bath.ac.uk). The application cut-off date is 15th September 2009 at which time all applications received will be considered, but late applications will be considered until the position is filled. From tudorache at stanford.edu Fri Aug 7 23:01:35 2009 From: tudorache at stanford.edu (Tania Tudorache) Date: Fri, 07 Aug 2009 23:01:35 +0200 Subject: Deadline extension: ISWC Workshop on Collaborative Construction, Management and Linking of Structured Knowledge - CK 2009 Message-ID: <4A7C962F.9070601@stanford.edu> Apologies for cross-postings. Please forward to interested colleagues and mailing lists. CALL FOR PAPERS, POSTERS AND DEMOS ==================================================================== Workshop on Collaborative Construction, Management and Linking of Structured Knowledge October 25, 2009 Collocated with ISWC-2009 Westfields Conference Center, near Washington, DC., USA ******* DEADLINE EXTENSION TO: August 13, 2009 ******* http://users.ecs.soton.ac.uk/gc3/iswc-workshop/ ==================================================================== Objectives ----------- Many have argued that the next generation of the Web (Web 3.0) will grow out of an integration between Semantic Web and Social Web (Web 2.0) technologies.Can ontology management benefits from social web? Can Wikipidia be a style of collaborative ontology authoring? How to exploit user feedback for constructing structured knowledge? In these and many other questions lie the opportunity and the challenge to integrate knowledge bases approaches to social web ones. This integration involves several very different aspects of technology and social practice. Recent workshops and journal special issues have been devoted to methods for extracting ontologies and other structured knowledge from resources such as Wikipedia and other loosely structured data; or on using Semantic Web representations to describe the social structures and interactions in Web 2.0; or on mapping existing data using semantic technologies. In this workshop, we want to focus on another aspect of linkage between Social Web and Semantic Web techniques: collaborative and distributed methods for constructing and maintaining ontologies, terminologies, vocabularies, and mappings between them, throughout their entire life cycle. Topics of interest ------------------- They include (but are not limited to): - Collaborative creation and editing of structured knowledge - Collaborative creation of ontology mappings - Efficient methods for maintenance and evolution of structured knowledge that was created collaboratively - Individual and group incentives for collaborative knowledge construction and maintenance - Ontology repositories, knowledge bases, and their utility in the Social Web. - Metadata management - User interfaces for collaborative tools for creating structured knowledge - Inconsistency management and user-specific views of ontologies - Workflows for collaborative construction and linking of structured knowledge - Evaluation of collaborative tools: methods, metrics, and experimental reports Submission guidelines --------------------- Papers submitted to the workshop must follow the same submission guidelines of the ISWC'09 conference. Submissions must be in PDF format in Springer format (for instruction see http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0) We solicit in this workshop two types of contributions: 1. Research papers analysing the process of collaborative construction, management and linkage of structured knowledge; the requirements for supporting technologies and the field of exploitation of such knowledge. Formatted papers must not be longer than 10 pages. 2. Demos papers describing relevant tools and prototypes. Formatted papers must not be longer than 2 pages. Important dates ---------------- Paper submission: 10 August 2009 Notification : 31 August 2009 Workshop : 25 October 2009 Organizing committee --------------------- Tania Tudorache (co-chair), Stanford University Gianluca Correndo (co-chair), University of Southampton Natasha Noy, Stanford University Harith Alani, University of Southampton Mark Greaves, Vulcan inc. Program Committee ------------------ Mathieu D'Aquin, Knowledge Media Institute, UK Sören Auer, University of Leipzig, Germany Ken Baklawski, Northeastern University, US Simone Braun, FZI, Germany Raul Garcia Castro, Universidad Politecnica de Madrid, Spain Vinay Chaudhri, SRI international, USA Mike Dean, BBN Technologies, USA Jerome Euzenat, INRIA, France Sean Falconer, University of Victoria, Canada Aldo Gangemi, ISTC-CNR, Italy John Graybeal, Monterey Bay Aquarium Research Institute, USA Martin Hepp, Universität der Bundeswehr München, Germany Andreas Hotho, University of Kassel, Germany Elisa Kendall, Sandpiper Software, USA Peter Mika, Yahoo Research, Spain Valentina Presutti, ISTC-CNR, Italy Marta Sabou, Knowledge Media Institute, UK Robert Stevens, University of Manchester, UK Gerd Stumme, Universität Kassel, Germany Giovanni Tummarello, DERI, Ireland Denny Vrandecic, AIFB, Germany Anna Zhdanova, FTW, Austria From Thomas.Lukasiewicz at kr.tuwien.ac.at Sat Aug 8 14:12:34 2009 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sat, 08 Aug 2009 13:12:34 +0100 Subject: CFP: 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009) Message-ID: <4A7D6BB2.6050500@kr.tuwien.ac.at> **** NEW PAPER SUBMISSION DEADLINE: August 19, 2009 **** CALL FOR PAPERS 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009) http://c4i.gmu.edu/ursw/2009 In conjunction with the 8th International Semantic Web Conference (ISWC 2009) Washington, D.C. - USA October 26, 2009 You are invited to participate in the upcoming 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 8th International Semantic Web Conference (ISWC) in October of 2009 at the Westfields Conference Center near Washington, D.C., USA. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. Audience -------- The intended audience for this workshop includes the following: • Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies. • Semantic web developers and researchers. • People in the knowledge representation community with interest in the Semantic Web. • Ontology researchers and ontological engineers. • Web services researchers and developers with interest in the Semantic Web. • Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé and Protégé-OWL developers. Topic List ---------- We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. • Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty • Logical formalisms to support uncertainty in Semantic Web languages • Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts • Architectures for applying plausible reasoning to the problem of ontology mapping • Using fuzzy approaches to deal with imprecise concepts within ontologies • The concept of a probabilistic ontology and its relevance to the Semantic Web • Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web • The role of uncertainty as it relates to Web services • Interface protocols with support for uncertainty as a means to improve interoperability among Web services • Uncertainty reasoning techniques applied to trust issues in the Semantic Web • Existing implementations of uncertainty reasoning tools in the context of the Semantic Web • Issues and techniques for integrating tools for representing and reasoning with uncertainty • The future of uncertainty reasoning for the Semantic Web Important Dates --------------- • August 19, 2009 Paper submissions due (*** NEW DEADLINE ***) • September 9, 2009 Paper acceptance notification • September 30, 2009 Camera-ready papers due • October 20, 2009 Presentations due • October 26, 2009 5th Int'l Workshop on Uncertainty Reasoning for the Semantic Web Submission Details ------------------ The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2009 Conference, and committed to attend the URSW Workshop. Submissions to the Workshop are only accepted in electronic format and should be sent via the workshop’s submission site: http://www.easychair.org/conferences/?conf=ursw2009. Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2009. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2009 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. Presentation and Publication ---------------------------- URSW 2009 will be a half-day workshop divided into three sessions. Two of those sessions will be devoted to paper presentations, while the remaining session will be planned in a format that invites an open debate on the results, conclusions, recommendations, and follow-up work of the URSW-XG group. We also plan to convey a work meeting after the workshop, in case the last session need to be extended. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings, which will be available as a separate publication after the Conference. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. In addition, both technical and position papers will be published in the URSW Workshop proceedings, to be available after the ISWC 2009 Conference. Program Committee ----------------- The program committee is as follows (in alphabetical order): • Fernando Bobillo - University of Granada, Spain. • Silvia Calegari - University of Milano-Bicocca, Italy. • Rommel Carvalho - George Mason University, USA. • Paulo C. G. Costa - George Mason University, USA. • Fabio G. Cozman - Universidade de Sao Paulo, Brazil. • Claudia d'Amato - University of Bari, Italy. • Nicola Fanizzi - University of Bari, Italy. • Marcelo Ladeira - University of Brasilia, Brazil. • Kathryn B. Laskey - George Mason University, USA. • Kenneth J. Laskey - MITRE Corporation, USA. Member of the W3C Advisory Board. • Thomas Lukasiewicz - Oxford University, UK. • Anders L. Madsen - Hugin Expert A/S, Denmark. • Trevor Martin - University of Bristol, UK. • Matthias Nickles - University of Bath, UK. • Jeff Pan - University of Aberdeen, UK. • Yung Peng - University of Maryland, Baltimore County, USA. • Michael Pool - Convera, Inc., USA. • Livia Predoiu - Universität Mannheim, Germany. • Guilin Qi - University of Karlsruhe, Germany. • Carlos Henrique Ribeiro - Instituto Tecnológico de Aeronáutica, Brazil. • Dave Robertson - University of Edinburgh, UK. • Daniel Sánchez - University of Granada, Spain. • Sergej Sizov - University of Koblenz-Landau, Germany. • Pavel Smrz - Brno University of Technology, Czech Republic. • Giorgos Stoilos - National Technical University of Athens, Greece. • Umberto Straccia - Istituto di Scienza e Tecnologie dell' Informazione "A. Faedo", Italy. • Andreas Tolk - Old Dominion University, USA. • Peter Vojtas - Charles University, Czech Republic. • Johanna Voelker - University of Karlsruhe, Germany. Organizing Committee -------------------- The organizing committee is as follows (in alphabetical order): • Fernando Bobillo - University of Granada, Spain. • Paulo C. G. Costa - George Mason University, USA. • Claudia d'Amato - University of Bari, Italy. • Nicola Fanizzi - University of Bari, Italy. • Kathryn Laskey - George Mason University, USA. • Ken Laskey - MITRE Corporation, USA. • Thomas Lukasiewicz - Oxford University, UK. • Trevor Martin - University of Bristol, UK. • Matthias Nickles - Technical University of Munich, Germany. • Michael Pool - Convera, Inc., USA. • Pavel Smrz - Brno University of Technology, Czech Republic. We are looking forward to seeing you in D.C.! From robert at grid.chu.edu.tw Sat Aug 8 22:11:28 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sun, 9 Aug 2009 04:11:28 +0800 Subject: IEEE SOCA-09 Final Call for Papers Message-ID: <200908082011.n78KBS9K004391@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaannounce.org Mon Aug 10 20:26:20 2009 From: invitation at iariaannounce.org (DigitalWorld 2010) Date: Mon, 10 Aug 2009 14:26:20 -0400 (EDT) Subject: 2nd CFS: DigitalWorld 2010, February 15-20, 2010 / St. Maarten, Netherlands Antilles Message-ID: <11088944.16583.1249928780107.JavaMail.owner@owner-PC> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= DigitalWorld 2010, February 10-15, 2010 - St. Maarten, Netherlands Antilles DigitalWorld 2010 is a federated event focusing on advanced topics concerning all digital aspects in our society. Nowadays, most of the economic activities and business models are driven by the unprecedented evolution of theories and technologies. The impregnation of these achievements into our society is present everywhere, and it is only question of user education and business models optimization towards a digital society. Submission (full paper) deadline: October 5, 2009. Submissions must be electronically done using the "Submit a Paper" button on the entry page of each conference. For details on the each conference's topics, see the individual Call for Papers. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. All topics are open to both research and industry contributions: theories, systems, standards, projects, initiatives, commercial systems, studies, or visionary ideas. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in the Journals mentioned on the conferences' sites. - ICDS 2010, The Fourth International Conference on Digital Society http://www.iaria.org/conferences2010/ICDS10.html - CYBERLAWS 2010, The First International Conference on Technical and Legal Aspects of the e-Society http://www.iaria.org/conferences2010/CYBERLAWS10.html - ICQNM 2010, The Fourth International Conference on Quantum, Nano and Micro Technologies http://www.iaria.org/conferences2010/ICQNM10.html - GEOProcessing 2010, The Second International Conference on Advanced Geographic Information Systems, Applications, and Services http://www.iaria.org/conferences2010/GEOProcessing10.html - eTELEMED 2010, The Second International Conference on eHealth, Telemedicine, and Social Medicine http://www.iaria.org/conferences2010/eTELEMED10.html - eKNOW 2010, The Second International Conference on Information, Process, and Knowledge Management http://www.iaria.org/conferences2010/eKNOW10.html - eL&mL 2010, The Second International Conference on Mobile, Hybrid, and On-line Learning http://www.iaria.org/conferences2010/eLmL10.html - ACHI 2010, The Third International Conferences on Advances in Computer-Human Interactions http://www.iaria.org/conferences2010/ACHI10.html Featuring also the workshops - WEBONT 2010, The First International Workshop on Ontologies on the Web http://www.iaria.org/conferences2010/WEBONT.html - MLMB 2010, The First International Workshop on Applications of Machine Learning Techniques in Medicine and Biology http://www.iaria.org/conferences2010/MLMB.html - BUSMMed 2010, The International Workshop on Business Modeling for the Next Generation of Telemedicine Systems and Services http://www.iaria.org/conferences2010/BUSMMed.html -------------------------------- IARIA Publicity Board DigitalWorld Advisory Committees ------------------------------- To stop receiving notices about DigitalWorld, please reply with "DROP DigitalWorld event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From jaesuk.ahn at gmail.com Mon Aug 10 13:28:55 2009 From: jaesuk.ahn at gmail.com (Jaesuk Ahn) Date: Mon, 10 Aug 2009 20:28:55 +0900 Subject: subscribe Message-ID: subscribe -- --- Jaesuk Ahn Ph.D., Electrical and Computer Eng. University of Texas at Austin +82-10-9645-0328 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jaesuk.ahn at gmail.com Mon Aug 10 13:33:44 2009 From: jaesuk.ahn at gmail.com (Jaesuk Ahn) Date: Mon, 10 Aug 2009 20:33:44 +0900 Subject: Confirmation Request (1652924022) In-Reply-To: References: Message-ID: On Mon, Aug 10, 2009 at 8:31 PM, event administration < event-subscribe at in.tu-clausthal.de> 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: 1652924022, > 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 > > -- --- Jaesuk Ahn Ph.D., Electrical and Computer Eng. University of Texas at Austin +82-10-9645-0328 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From klusch at dfki.de Tue Aug 11 17:19:59 2009 From: klusch at dfki.de (Matthias Klusch) Date: Tue, 11 Aug 2009 17:19:59 +0200 Subject: CFP: Third International SMR2 Workshop Message-ID: <4A818C1F.8000902@dfki.de> ---------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------- Third International Workshop SMR2-2009 on Service Matchmaking and Resource Retrieval in the Semantic Web October 25, 2009 @ 8th International Semantic Web Conference (ISWC) Washington D.C., USA Workshop Web Site: http://www.dfki.de/~klusch/smr2-09/ *** Extended Submission Deadline: August 24, 2009 *** ---------------------------------------------------------------- Aims & Scope: ========== One central challenge of service coordination in the Semantic Web is how to best relate requests for services with the services that are available. This functionality is usually provided by matchmaking capabilities (which may themselves be deployed as services, brokers or middle agents) that select the services that are closest to a requested service on the basis of a declarative characterization of the capabilities of both service requested and services provided. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge, even persons and organizations) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from Web services, Grid computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, and social networking applications such as dating services. The primary objective of this workshop is to bring together academic and industry researchers and industry practitioners who tackle semantic service matchmaking and discovery from various points of view. In particular, we intend to build bridges to the software engineering and model-driven development communities in order to share requirements, technologies, and experiences that might be helpful in advancing the state of the art in semantic service matchmaking and resource retrieval. Going to Practice: The Third International Semantic Service Selection (S3) Contest. The SMR2 workshop also integrates the third edition of the open international contest on semantic service selection (S3). The international S3 contest on semantic service selection provides means and forum for the joint and comparative evaluation of the retrieval performance (recall/precision, F1, AQRT, etc) of publicly available Semantic Web service matchmakers over given public test collections. For more infos, pls visit http://www.dfki..de/~klusch/s3/html/2009.html Publication: ======== Accepted papers will be available online as a volume of CEUR proceedings. In addition, selected papers will be published in a special issue of the International Journal on Software Tools for Technology Transfer (STTT, Springer Publisher). Topics of interest include (but are not limited to): ============ * Advanced searching of services and other resources in the Semantic Web * Novel approaches to matchmaking and brokering in the Semantic Web, with a particular emphasis on Semantic Web services * Model-driven semantic service engineering and matchmaking * Semantic retrieval of resources and services in P2P and Grid networks * Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply chains * Matchmaking in other application scenarios: e-government, biopharma, etc. * Composition planning of Semantic Web services * Negotiation of Semantic Web services and resources * Interleaving of discovery, composition, and negotiation of Semantic Web services * Semantic Web services selection * Formal description and handling of Semantic Web services, queries, and resources * Non-functional service properties and their use for discovery (and composition) * Trust issues of Semantic Web service discovery * Prototypes and tools for Semantic Web services engineering * Practical business and user-oriented issues and experiences of implementing SW service retrieval tools * Experimental comparative evaluation of implemented SW service retrieval tools Submission: ======== Contributions to the workshop can be made as technical papers addressing different issues of service and resource matching. The papers should not be longer than 15 pages using the LNCS Style: http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html All contributions should be prepared in PDF format and should be submitted through the workshop submission site at: http://www.easychair.org/conferences/?conf=smr22009 Important Dates: =========== August 24, 2009: Extended deadline for submission of papers. September 10, 2009: Notification of acceptance/rejection. October 2, 2009: Camera ready copy submission. October 25, 2009: OM-2009, Westfields Conference Center, Fairfax, near Washington DC., USA. Organizing Committee: =============== Alain Léger (France Telecom Research, France) Tiziana Margaria (University of Potsdam, Germany) David Martin (SRI International, USA) Massimo Paolucci (NTT DoCoMo Research Europe, Germany) Matthias Klusch (DFKI, Germany) Program Committee: ============== Sudhir Agarwal, AIFB, Germany Rama Akkiraju, IBM US Eugenio Di_Sciascio, University of Bary, Italy Takahiro Kawamura, Toshiba, Japan Ulrich Kuester, University of Jena, Germany Freddy Lecue, University of Manchester, UK Axel Polleres, DERI, Ireland Dumitru Roman, STI, Austria Bernhard Steffen, University of Dortmund, Germany Eran Toch, CMU, USA Ioan Toma, STI, Austria Farouk Toumani, Isima, France From dgorin at dc.uba.ar Tue Aug 11 13:16:37 2009 From: dgorin at dc.uba.ar (=?ISO-8859-1?Q?Daniel_Gor=EDn?=) Date: Tue, 11 Aug 2009 13:16:37 +0200 Subject: subscribe Message-ID: From christian.guttmann at gmail.com Thu Aug 13 03:25:42 2009 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Thu, 13 Aug 2009 11:25:42 +1000 Subject: [agents] CFP for CARE 2009 -- International Workshop on Collaborative Agents -- REsearch and Development Message-ID: <4A836B96.6040905@gmail.com> Please accept our apologies if you receive multiple copies of this call. ====================================================================================== International Workshop on *C*ollaborative *A*gents -- *RE*search and Development (CARE) 2009 http://www.med.monash.edu.au/sphc/care2009.html ABSTRACT SUBMISSION October 10, 2009 FULL PAPER SUBMISSION October 15, 2009 The workshop is held in conjunction with the 22nd Australasian Joint Conference on Artificial Intelligence AI09, 1st December, 2009, Melbourne, Australia ====================================================================================== Summary ======= Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity. This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. Some issues of interest of this workshop are: * How to enable agents to reach and maintain joint agreements in complex organisational and market driven domains. * How to develop a comprehensive agreement formation/maintenance framework applicable to many application domains. * How to build and extend MAS that work efficiently in partially regulated markets (instead of free or fully regulated markets). * How to identify and represent conceptual/formal components of organisational structures (e.g., health care and other service-oriented domains). * How organisational structures influence the negotiation of agents and the distribution/execution of tasks. * Similarly, what are the implications of a partially regulated market on negotiation/distribution/execution of tasks. * How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. * How to cope with unreliable and non-conformant collaborators, where agreements are made but are not always conformed with. * Which measures of optimality and efficiency are useful in evaluating models of collaboration by means of theory and simulation. * How can interventions and incentive structures assist in reaching and maintaining agreements. * How to assign transaction costs to actions in the planning, assignment, and execution stages (e.g., costs incurred by reaching and maintaining agreements). * How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. * Can lessons learnt in game theoretic computation inform collaborative agent settings. * How can agents collectively acquire knowledge about their social and physical environment, and their collaborative tasks. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop will foster open discussions among all participants, particularly encouraging students to discuss their research topics and to seek feedback from senior agent researchers. Important Dates =============== Abstract submission October 10, 2009 Full paper submission October 15, 2009 Notification November 10, 2009 Camera ready November 20, 2009 Topics of Interest include (but are not limited to): ==================================================== RESEARCH * Collaboration frameworks * Models of teamwork and joint action * Organisation/Institutes/Norms * Auctioning/Negotiation * Task/Resource allocation * Behaviour modelling/monitoring * Adherence/Intervention mechanisms * Incentive frameworks * Intervention mechanisms * Agreement technology * Contract networks/formation * Cloud computing APPLICATION AREAS * Collaborative care planning/management * Disaster planning/management * Traffic planning/management * Transport/Logistics * Applications in primary and preventative healthcare * Chronic disease planning/management * Epidemiological agent models * Unmanned air/land vehicles * Robotic soccer/Robotic rescues * Weather forecast * Artificial and natural immune systems * Social networks (e.g., LinkedIn, Facebook,...) * Smart grid network (e.g., electricity/gas metering) Submission and Publication ========================== Submission is to be done electronically at EasyChair at: http://www.easychair.org/conferences/?conf=care2009. Submissions should be formatted according to LNCS specification and submitted as a PDF file. Instructions and templates can be found at: www.springer.de/comp/lncs/authors.html. CARE 2009 seeks two types of submissions. - Full paper of 8-12 pages. - Short paper of 2-4 pages (such as position and early result papers) are welcome with the option of extending it to a full paper for the post-proceedings. Submissions will be peer-reviewed by three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Since this workshop is associated with the AI'09 conference, accepted papers should be relevant to the AI research community. Accepted papers will be published in the workshop proceedings. CARE 2009 plans to offer a best paper award for the best full paper submission, and a selection of papers is planned to be published as post-proceedings with a major international publisher, subject to an appropriate number and quality of submissions. Workshop Officials ================== GENERAL CHAIR Christian Guttmann (Monash University, Australia) CO-CHAIRS Michael Georgeff (PrecedenceHealthCare, Australia) Frank Dignum (University Utrecht, Netherlands) PROGRAM COMMITTEE Philippe Pasquier (Simon Fraser University, Canada) Iyad Rahwan (British University of Dubai, United Arab Emirates) Kobi Gal (Harvard University, United States of America) Simon Thompson (British Telecom Research Laboratories, United Kingdom) Cees Witteveen (Delft University of Technology, Netherlands) Mathijs de Weerdt (Delft University of Technology, Netherlands) Gord McCalla (University of Saskatchewan, Canada) Andrew Gilpin (Hg Analytics, United States of America) David Morley (SRI International, United States of America) Kumari Wickramasinghe (Monash University, Australia) Liz Sonenberg (Melbourne University, Australia) Sascha Ossowski (University Rey Juan Carlos, Spain) Samin Karim (Accenture, Australia) Lawrence Cavedon (NICTA and RMIT University, Australia) Michael Winikoff (University of Otago, New Zealand) Rafael Bordini (Federal University of Rio Grande do Sul, Brazil) Wayne Wobcke (University of New South Wales, Australia) more to be announced... INVITED SPEAKERS to be announced Sponsors ======== School of Primary Health Care, Monash University, Australia The Finkel Foundation, Australia PrecedenceHealthCare, Australia Contact ======= CARE organisers care2009 at easychair.org -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ +61 (0) 417375679 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From torsten at cs.uni-potsdam.de Thu Aug 13 15:34:20 2009 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Thu, 13 Aug 2009 15:34:20 +0200 (CEST) Subject: LPNMR'09 early Registration ends Message-ID: <20090813133420.2750420C2@raz.haiti.cs.uni-potsdam.de> Hello, this is just to remind that the EARLY REGISTRATION period of LPNMR'09 is about to end. Best wishes, -torsten http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=registration From radoslaw.katarzyniak at pwr.wroc.pl Thu Aug 13 20:11:45 2009 From: radoslaw.katarzyniak at pwr.wroc.pl (Radoslaw Katarzyniak) Date: Thu, 13 Aug 2009 20:11:45 +0200 Subject: SCANP 2010 (ACIIDS10, Hue, Vietnam): Special Session on Semantic Communication in Artificial and Natural Populations Message-ID: <73d0f0551586.4a847381@pwr.wroc.pl> 2nd Asian Conference on Intelligent Information and Database Systems Hue City, Vietnam, 24-26 March 2010 Special Session on SEMANTIC COMMUNICATION IN ARTIFICIAL AND NATURAL POPULATIONS (SCANP 2010) http://www.iit.pwr.wroc.pl/~katarzyniak/scanp2010/ Call for Papers 1. Scope and Topics of the Session This session covers broad spectrum of practical and theoretical problems related to the phenomenon of semantic communication in populations of artificial and natural agents with special emphasis on the case of populations of cognitive agents. Such populations can consist of software and/or embodied robots, artificial and natural cognitive agents, humans, as well as communities of virtual or natural insects. Effective semantic communication is very important for these cases of applied artificial systems where in-built ability to interact and communicate with human end-users is needed for their proper functioning. Semantic communication is a very complex and originally social process that involves multiple stages of content (knowledge) processing. Various models for particular steps of this content-directed and communication – oriented processing have already been proposed. In many cases they are competing models. However, all of them capture multiple aspects of socially-based transfer of meaning between artificial and/or natural members of populations, and describe this transfer from different perspectives and at various levels of conceptualization. General topics for the session are set up to answer the following questions: - How the content to be communicated is collected, stored in and extracted from knowledge bases managed by members of artificial and natural populations? - What communication languages are used to carry the meaning between members of artificial and natural populations? - How the meaning is developed and bound to semantic communication languages used by artificial and natural populations? The above general topics consist of many detailed research sub-problems. Some examples are: a. models for intelligent and cognitive systems capable of carrying semantic communication, b. approaches to extraction of linguistic representations from embodied (private) or external (common) knowledge bases of various types, c. syntax, semantics and pragmatics for semantic communication languages, d. symbol grounding and symbol anchoring problem in artificial and natural populations, e. semiosis (symbol meaning creation) in artificial and natural population of intelligent communicative agents f. ontologies, commitments and protocols for semantic communication, g. applications of machine learning and knowledge mining techniques to implementations of semantic communication in artificial populations, h. human – robot and human – artificial agent interaction i. natural language processing, semi-natural language interfaces, j. practical implementations of communicative agents (e.g. BDI architectures with semantic communication possibilities, semantic communication implemented with JADE) etc. The session organizers cordially invite potential authors to submit their original papers on the above and related topics. 2. Instructions for Authors and Publication Papers must correspond to the main conference format detailed in the Instructions for Authors available on the ACIIDS’10 Conference Web Site: http://aciids2010.hueuni.edu.vn/ All contributions should be original, unpublished and not intended to be published elsewhere and not during another review process. All accepted papers will appear in the main conference proceedings. The proceedings of ACIIDS 2010 will be published by Springer in series Lecture Notes in Artificial Intelligence LNCS/LNAI and will be distributed at the conference. Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. After the conference a number of best papers will be invited to special issues of prestigious international journals. 3. Deadlines - Submission of papers: October 16, 2009 - Notification of acceptance: November 05, 2009 - Camera-ready papers submission: November 30, 2009 - Authors / Early registration: December 31, 2009 - Conference date: March 24-26, 2010 4. Session Organizers and Contact Details Please direct all correspondence regarding the session to organizers: Radosław Katarzyniak - correspondence Wrocław University of Technology, Poland Homepage: http://www.ii.pwr.wroc.pl/~katarzyniak E-mail: radoslaw.katarzyniak at pwr.wroc.pl Ngoc Thanh Nguyen Wrocław University of Technology, Poland Homepage: http://www.ii.pwr.wroc.pl/~nguyen E-mail: thanh at pwr.wroc.pl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From radoslaw.katarzyniak at pwr.wroc.pl Thu Aug 13 20:17:29 2009 From: radoslaw.katarzyniak at pwr.wroc.pl (Radoslaw Katarzyniak) Date: Thu, 13 Aug 2009 20:17:29 +0200 Subject: ACIIDS 2010: 2nd Call for Special Sessions and Workshops (Hue, Vietnam 2010) Message-ID: <73b0f21b57ca.4a8474d9@pwr.wroc.pl> ********************** Apology for Multiple Posting ********************* C A L L F O R W O R K S H O P S/SPECIAL SESSIONS P R O P O S A L S ACIIDS-2010 Workshops/Special Sessions The 2nd Asian Conference on Intelligent Information and Database Systems (ACIIDS-2010) Website: http://aciids2010.hueuni.edu.vn/ 24-26 March, 2010 Hue City, Vietnam ************************************************************************* The workshop/session chair of ACIIDS-2010 invites proposals for workshops to be held in conjunction with ACIIDS-2010 conference. The workshops are aimed to provide opportunities for researchers, professionals and students to meet and discuss selected topics in the ACIIDS conference scope but not limited. Workshops will be either full day or half day. The workshops are part of the ACIIDS conference and also part of the conference registration. At least one of the workshop organizers must commit to attend and run the workshop. Workshops proceedings will be published by Springer LNCS/LNAI series. ACIIDS-2010 Program Committee will also help workshop organizers finding high quality scientific journals interested in publishing extended versions of selected papers. SEE ALREADY ACCEPTED SESSIONS AND WORKSHOPS ON CONFERENCE PAGES: http://aciids2010.hueuni.edu.vn/ ------------------------ SUBMISSION REQUIREMENTS ------------------------ o Title of the workshop o The names, addresses and emails of the workshop organizers o A brief description of the workshop goals and focus o The expected number of papers and attendees and planned length of the workshop o A description of plans for publicity and places for dissemination (i.e. mailing lists) o Other possible sponsors for the workshop besides ACIIDS's ---------------- IMPORTANT DATES ---------------- o Workshop proposals due: 30 Aug. 2009 - NEW o Notification of acceptance: 10 Aug. 2009 Workshop proposals should be sent to RADOSLAW.KATARZYNIAK at PWR.WROC.PL WITH COPY TO aciids2010 at hueuni.edu.vn For further information, please contact A/Prof. Dr. Radoslaw Katarzyniak Wroclaw University of Technology Wybrzeze Wyspianskiego 27 50-370 Wroclaw, Poland e-mail: radoslaw.katarzyniak at pwr.wroc.pl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.Beckmann at swansea.ac.uk Fri Aug 14 21:18:35 2009 From: A.Beckmann at swansea.ac.uk (Arnold Beckmann) Date: Fri, 14 Aug 2009 20:18:35 +0100 Subject: 2nd Call for Papers: Greifswald 2010 Message-ID: <20090814191835.5EA25DAF2C@cs-svr1.swan.ac.uk> [Apologies for multiple copies] ********************************************************************** SECOND CALL FOR PAPERS The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki i Filozofii Nauki" (PTLiFN), the "Association Computability in Europe" (ACiE) and the "European Association for Computer Science Logic" (EACSL) jointly organize a workshop on Logical Approaches to Barriers in Computing and Complexity http://www.cs.swan.ac.uk/greifswald2010/ Greifswald, 17-20 February 2010 The workshop is sponsored by the Stiftung Alfried Krupp Kolleg Greifswald and the Deutsche Forschungsgemeinschaft (DFG), and takes place at the Alfried Krupp Wissenschaftskolleg in Greifswald, Germany: http://www.wiko-greifswald.de/events/cal/article/6/logical-approaches.html IMPORTANT DATES: Submission of extended abstracts: 15 October 2009 Notification of authors: 1 December 2009 Deadline for final revisions: 5 Januar 2010 Workshop: 17-20 February 2010 FINANCIAL SUPPORT: We have funds to offer financial support to authors of accepted papers. In individual cases refunds can range up to full reimbursement of travel and accommodation costs. Further detail will be announced on the webpage. DESCRIPTION: Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and efficient computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation. In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness. Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work. KEYNOTE SPEAKERS: * Alessandra Carbone (Paris, France) * Lance Fortnow (Evanston, IL, U.S.A.) * Erich Graedel (Aachen, Germany) * Pascal Koiran (Lyon, France) * Leszek Kolodziejczyk (Warsaw, Poland) * Antonina Kolokolova (St.John's, NL, Canada) SPECIAL SESSION: There will be a special session on "Complexity in Arbitrary Structures" organised by Christine Gassner (Greifswald, Germany) and Martin Ziegler (Paderborn, Germany). Details about the special session will be published on our website in due course. Contributed talks will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Zofia Adamowicz (Warsaw, Poland) * Franz Baader (Dresden, Germany) * Arnold Beckmann (chair; Swansea, Wales) * Sam Buss (La Jolla CA, U.S.A.) * Manfred Droste (Leipzig, Germany) * Christine Gassner (Greifswald, Germany) * Peter Koepke (Bonn, Germany) * Benedikt Loewe (Amsterdam, The Netherlands) * Johann Makowsky (Haifa, Israel) * Elvira Mayordomo (Zaragoza, Spain) * Damian Niwinski (Warsaw, Poland) * Wolfgang Thomas (Aachen, Germany) * Martin Ziegler (Paderborn, Germany) SUBMISSIONS: The Programme Committee cordially invites all researchers in the area of the workshop to submit their extended abstracts (in PDF-format, at most 4 pages) for presentation at the workshop. Further details about submission can be found on our website http://www.cs.swan.ac.uk/greifswald2010/ Accepted abstracts will be printed in an abstract booklet which will be distributed to the participants of the workshop. We emphatically encourage submissions by female authors, as women are underrepresented in mathematics and computer science. Submission of abstracts of published and presented work is also possible, since the abstract booklet is non-archival. Quality and quantity of submissions permitting, we plan to invite the authors of unpublished papers to submit a full version to a post-proceedings volume after the workshop. From tb at imm.dtu.dk Sat Aug 15 11:37:12 2009 From: tb at imm.dtu.dk (Thomas Bolander) Date: Sat, 15 Aug 2009 11:37:12 +0200 Subject: Last CFP: Methods for Modalities 6 (M4M-6) Message-ID: <4A8681C8.3070807@imm.dtu.dk> ==================================================================== LAST CALL FOR PAPERS 6th Workshop on METHODS FOR MODALITIES (M4M-6) http://m4m.loria.fr/M4M6 Copenhagen, Denmark November 12-14, 2009 ==================================================================== Scope ----- The workshop METHODS FOR MODALITIES (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://m4m.loria.fr/ M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop (http://hylocore.ruc.dk/m4m6school.html). The mini-course is associated with the FIRST research school (http://first.dk). Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original research. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via EasyChair at the following address: http://www.easychair.org/conferences/?conf=m4m6 Final versions of accepted papers will be published online in a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the proceedings will be provided at the workshop. Invited speakers ----------------- - Franz Baader, TU Dresden http://lat.inf.tu-dresden.de/~baader/index-en.html - Barteld Kooi, University of Groningen http://www.philos.rug.nl/~barteld/ - Kim Guldstrand Larsen, Aalborg University http://www.cs.aau.dk/~kgl/ - Renate Schmidt, University of Manchester http://www.cs.man.ac.uk/~schmidt/ - Yde Venema, University of Amsterdam http://staff.science.uva.nl/~yde/ Important dates --------------- Deadline for submissions: August 24, 2009 Notification: October 5, 2009 Camera ready versions: October 26, 2009 Workshop dates: November 12-14, 2009 Workshop venue -------------- M4M will take place at the IDA Conference Center in the center of Copenhagen (http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx). Local organisers ---------------- - Thomas Bolander, Technical University of Denmark tb at imm.dtu.dk - Torben Braüner, Roskilde University torben at ruc.dk Program Committee ----------------- Carlos Areces, INRIA Lorraine Lars Birkedal, IT University of Copenhagen Patrick Blackburn, INRIA Lorraine Thomas Bolander (co-chair), Technical University of Denmark Julian Bradfield, University of Edinburgh Torben Braüner (co-chair), Roskilde University Balder ten Cate, University of Amsterdam Stephane Demri, ENS de Cachan Hans van Ditmarsch, University of Otago Melvin Fitting, City University of New York John Gallagher, Roskilde University Mai Gehrke, Radboud University Nijmegen Silvio Ghilardi, University of Milano Valentin Goranko, University of the Witwatersrand Rajeev Goré, ANU Michael R. Hansen, Technical University of Denmark Andreas Herzig, IRIT Wiebe van der Hoek, University of Liverpool Martin Lange, LMU München Carsten Lutz, Dresden University of Technology Angelo Montanari, University of Udine Valeria de Paiva, Cuil Inc. Renate Schmidt, University of Manchester Thomas Schneider, University of Manchester Carsten Schürmann, IT University of Copenhagen Gert Smolka, Saarland University Anders Søgaard, University of Copenhagen Jørgen Villadsen, Technical University of Denmark Frank Wolter, University of Liverpool Thomas Ågotnes, Bergen University College ================================================================== From jsabater at iiia.csic.es Sat Aug 15 14:31:13 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Sat, 15 Aug 2009 14:31:13 +0200 Subject: [AAMAS-2010] - Call for tutorials proposal Message-ID: <3704622745122380615469@Galvatron> (apologies if you receive multiple copies of this call) Call for Tutorial Proposals Ninth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2010) Toronto, Canada May 10-14, 2010 http://www.cse.yorku.ca/AAMAS2010 The AAMAS-10 Organizing Committee invites proposals for the Tutorial Program, to be held on May 10--11, immediately before to the technical conference. AAMAS-10 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry AAMAS 2010 will be co-located with KR, NMR, ICAPS, FOIS (all in Toronto) and DL 2010 (in Waterloo), and welcomes proposals that cater to the broader community across these areas. Submission Requirements: ------------------------ Proposals should be two to four pages in length, and should contain the following information: * A brief description of the tutorial, suitable for inclusion in the conference registration brochure. * A detailed outline of the tutorial, including preferred length (half or full day). * Characterization of the potential target audience for the tutorial, including prerequisite knowledge. * A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. * A brief resume of the presenter(s), which should include name, postal address, phone and fax numbers, e-mail address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills), and evidence of scholarship in the area. * The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account its general interest for AAMAS attendees, the quality of the proposal as well as the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. Responsibilities (with respect to accepted proposals): ----------------------------------------------------- AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: ---------------------------------------------------------- * Providing AAMAS with a legible PDF copy of their tutorial notes by April 4, 2010. * Presenting the tutorial at AAMAS-2010. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. Important Dates: ---------------- November 13, 2009: Tutorial Proposal Submission Deadline December 4, 2009: Tutorial Acceptance Notifications April 4, 2010: Deadline for submitting tutorial materials May 10--11, 2010: AAMAS-2009 Tutorials Submissions and Inquiries: -------------------------- Proposals and inquiries should be sent by email (in ASCII or pdf) to the tutorials chair: Kate Larson Cheriton School of Computer Science University of Waterloo klarson at cs.uwaterloo.ca -- From herme at fi.upm.es Sun Aug 16 15:27:35 2009 From: herme at fi.upm.es (Manuel Hermenegildo) Date: Sun, 16 Aug 2009 15:27:35 +0200 Subject: CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 Message-ID: <19080.2375.266603.905552@gazelle.local> ---------------------------------------------------------------------- *** CALL FOR PAPERS -- EXTENDED DEADLINE: Aug 21/28 *** [ Please redistribute. Apologies for multiple postings. ] VMCAI 2010 The Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation Madrid, Spain, January 17-19, 2010 (Co-located with POPL 2010) http://software.imdea.org/events/vmcai10/ ---------------------------------------------------------------------- VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. VMCAI'10 is co-located with the POPL'10 conference. The program of VMCAI'10 will consist of invited lectures, invited tutorials, refereed research papers, and tool demonstrations. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: program verification program certification model checking debugging techniques abstract interpretation abstract domains static analysis type systems deductive methods optimization Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. The proceedings will be published by Springer in the Lecture Notes in Computer Science series. The page limit for submissions is 15 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers. Formatting style files can be found at: http://www.springer.de/comp/lncs/authors.html Please visit the conference website for more information. Important Dates (extended): - Submission of abstracts: August 21, 2009 - Submission of papers: August 28, 2009 - Notification of acceptance: October 2, 2009 - Final version due: October 30, 2009 - Conference: January 17-19, 2010 Program Chairs: Gilles Barthe, IMDEA Software, Spain Manuel Hermenegildo, IMDEA Software and T. U. of Madrid, Spain Program Committee: Christel Baier, Technische Universitaet Dresden, Germany Patrick Cousot, Ecole Normale Superieure, France Javier Esparza, Technische Universitaet Muenchen, Germany Patrice Godefroid, Microsoft Research, USA Orna Grumberg, Technion, Israel Sumit Gulwani, Microsoft Research, USA Joxan Jaffar, National University of Singapore Rustan Leino, Microsoft Research, USA Ken McMillan, Cadence, USA Markus Mueller-Olm, Universitaet Muenster, Germany Hanne Riis Nielson, Technical University of Denmark Xavier Rival, Ecole Normale Superieure and INRIA, France David Sands, Chalmers University of Technology, Sweden David Schmidt, Kansas State University, USA Hongseok Yang, Queen Mary, University of London, United Kingdom Kwangkeun Yi,Seoul National University, Korea Greta Yorsh, IBM TJ Watson Research Center, NY, USA Steering Committee: Tino Cortesi, Universita Ca Foscari, Venice, Italy Patrick Cousot, Ecole Normale Superieure, France E. Allen Emerson, University of Texas at Austin, USA Giorgio Levi, University of Pisa, Italy Andreas Podelski, Universitaet Freiburg, Germany Thomas W. Reps, University of Wisconsin at Madison, USA David Schmidt, Kansas State University, USA Lenore Zuck, University of Illinois at Chicago, USA ---------------------------------------------------------------------- From baojie at gmail.com Mon Aug 17 11:18:22 2009 From: baojie at gmail.com (Jie Bao) Date: Mon, 17 Aug 2009 05:18:22 -0400 Subject: Call for Workshops, Tutorials, Posters, and Demos - Fourth Asian Semantic Web Conference (ASWC 2009) Message-ID: ( WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ) Call for Workshops, Tutorials, Posters, and Demos Fourth Asian Semantic Web Conference (ASWC 2009) 6-9 December, 2009 Shanghai, China http://www.aswc2009.org/ The Asian Semantic Web Conference is the yearly conference on theoretical foundations, technological building blocks and practical applications of semantic technologies on the Asian continent. Targeted at both academia and industry, the conference will present the latest research and development of the Semantic Web and its related technologies. It will bring together researchers in relevant disciplines such as artificial intelligence, knowledge modeling, logic, databases, social networks, Web services, distributed computing, Web engineering, information systems, natural language processing, multimedia, and human-computer interaction. Besides presenting papers including latest research in the Semantic Web area, this year the conference will also include workshops, tutorials and a poster and demo session. For these three events, we welcome submissions that are aligned with the topics of the conference (http://www.aswc2009.org/research-paper-track). Further details about the calls for workshops, tutorials, posters, and demos can be found in the conference web page: * ASWC2009 Call for Workshops (http://www.aswc2009.org/research-paper-track/callworkshops) * ASWC2009 Call for Tutorials (http://www.aswc2009.org/research-paper-track/calltutorials) * ASWC2009 Call for Posters and Demos (http://www.aswc2009.org/research-paper-track/callpostersdemos) ===Important dates=== 'Workshop Track * Proposal due: 27 Aug 2009 * Notification : 3 Sept 2009 * The important dates for accepted workshops are: ** Paper Submissions: 3 Oct 2009 ** Paper Notification: 15 Oct 2009 ** Paper Camera-ready: 22 Oct 2009 ** Workshop days: 6-7 Dec 2009 Tutorial Track * 10 Sept 2009: Proposal submission * 17 Sept 2009: Notification * 5 Nov 2009: Tutorial notes (handouts) to tutorial chair * Tutorial days: 6-7 Dec 2009 Poster and Demo Track * Poster and demo submission: 17 Sept 2009 * Notification of acceptance: 1 Oct 2009 * Camera-ready version: 15 Oct 2009 ** Poster and Demo days: 8-9 Dec 2009 ===Contacts=== * ASWC2009 Workshop Chair: Hong-Gee Kim, Seoul National University, Korea (hgkim at snu.ac.kr) * ASWC2009 Tutorial Chair: Jie Bao, Rensselaer Polytechnic Institute, USA (baojie at cs.rpi.edu) * ASWC2009 Poster and Demo Chair: Raúl García-Castro, Universidad Politecnica de Madrid, Spain (rgarcia at fi.upm.es) From gini at cs.umn.edu Sun Aug 16 11:51:38 2009 From: gini at cs.umn.edu (gini at cs.umn.edu) Date: Sun, 16 Aug 2009 04:51:38 -0500 (CDT) Subject: subscribe Message-ID: <200908160951.EAA02017@caesar.cs.umn.edu> From gini at cs.umn.edu Sun Aug 16 12:37:38 2009 From: gini at cs.umn.edu (gini at cs.umn.edu) Date: Sun, 16 Aug 2009 05:37:38 -0500 (CDT) Subject: Confirmation Request (1297237979) Message-ID: <200908161037.FAA02243@caesar.cs.umn.edu> From baojie at cs.rpi.edu Sun Aug 16 19:13:41 2009 From: baojie at cs.rpi.edu (Jie Bao) Date: Sun, 16 Aug 2009 13:13:41 -0400 Subject: subscribe Message-ID: From baojie at cs.rpi.edu Sun Aug 16 19:52:52 2009 From: baojie at cs.rpi.edu (Jie Bao) Date: Sun, 16 Aug 2009 13:52:52 -0400 Subject: Confirmation Request (2019547341) In-Reply-To: References: Message-ID: On Sun, Aug 16, 2009 at 1:39 PM, 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: 2019547341, >  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 > > -- Jie Bao http://www.cs.rpi.edu/~baojie From jlpspi at cs.nmsu.edu Tue Aug 18 02:19:15 2009 From: jlpspi at cs.nmsu.edu (jlpspi) Date: Mon, 17 Aug 2009 18:19:15 -0600 Subject: Third Call for Papers: DAMP 2010 Message-ID: <200908180020.n7I0KUBh013921@pippo.cs.nmsu.edu> DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January, 2010 damp10.cs.nmsu.edu SUBMISSION DEADLINE: SEPTEMBER 21, 2009 The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2010 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Abstract submission: Sept. 21 Paper submission: Sept. 25 Notification to authors: Oct. 26 Camera ready: Nov. 9 Program Chair: Enrico Pontelli New Mexico State University General Chairs: Leaf Petersen Intel Corporation Santa Clara, CA, USA Program Committee: Manuel Carro Universidad Politecnica de Madrid Clemens Grelck University of Hertfordshire Haifeng Guo University of Nebraska at Omaha Gabriele Keller University of New South Wales Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen Leaf Petersen Intel Corporation John Reppy University of Chicago Ricardo Rocha University of Porto Kostis Sagonas National Technical University of Athens Vitor Santos Costa University of Porto Satnam Singh Microsoft Research Philip Trinder Heriot-Watt University Pascal Van Hentenryck Brown University URL: http://damp10.cs.nmsu.edu From paolucci at docomolab-euro.com Fri Aug 21 15:20:44 2009 From: paolucci at docomolab-euro.com (Paolucci, Massimo) Date: Fri, 21 Aug 2009 15:20:44 +0200 Subject: CFP: Third International SMR2 Workshop Message-ID: <317B40DA788E894D8FDD440D2835F5F702188738@DEMAIL.docomolab-euro.com> Apologies for cross posting... ---------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------- Third International Workshop SMR2-2009 on Service Matchmaking and Resource Retrieval in the Semantic Web October 25, 2009 @ 8th International Semantic Web Conference (ISWC) Washington D.C., USA Workshop Web Site: http://www.dfki.de/~klusch/smr2-09/ *** Extended Submission Deadline: August 24, 2009 *** ---------------------------------------------------------------- Aims & Scope: ========== One central challenge of service coordination in the Semantic Web is how to best relate requests for services with the services that are available. This functionality is usually provided by matchmaking capabilities (which may themselves be deployed as services, brokers or middle agents) that select the services that are closest to a requested service on the basis of a declarative characterization of the capabilities of both service requested and services provided. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge, even persons and organizations) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from Web services, Grid computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, and social networking applications such as dating services. The primary objective of this workshop is to bring together academic and industry researchers and industry practitioners who tackle semantic service matchmaking and discovery from various points of view. In particular, we intend to build bridges to the software engineering and model-driven development communities in order to share requirements, technologies, and experiences that might be helpful in advancing the state of the art in semantic service matchmaking and resource retrieval. Going to Practice: The Third International Semantic Service Selection (S3) Contest. The SMR2 workshop also integrates the third edition of the open international contest on semantic service selection (S3). The international S3 contest on semantic service selection provides means and forum for the joint and comparative evaluation of the retrieval performance (recall/precision, F1, AQRT, etc) of publicly available Semantic Web service matchmakers over given public test collections. For more infos, pls visit http://www.dfki..de/~klusch/s3/html/2009.html Publication: ======== Accepted papers will be available online as a volume of CEUR proceedings. In addition, selected papers will be published in a special issue of the International Journal on Software Tools for Technology Transfer (STTT, Springer Publisher). Topics of interest include (but are not limited to): ============ * Advanced searching of services and other resources in the Semantic Web * Novel approaches to matchmaking and brokering in the Semantic Web, with a particular emphasis on Semantic Web services * Model-driven semantic service engineering and matchmaking * Semantic retrieval of resources and services in P2P and Grid networks * Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply chains * Matchmaking in other application scenarios: e-government, biopharma, etc. * Composition planning of Semantic Web services * Negotiation of Semantic Web services and resources * Interleaving of discovery, composition, and negotiation of Semantic Web services * Semantic Web services selection * Formal description and handling of Semantic Web services, queries, and resources * Non-functional service properties and their use for discovery (and composition) * Trust issues of Semantic Web service discovery * Prototypes and tools for Semantic Web services engineering * Practical business and user-oriented issues and experiences of implementing SW service retrieval tools * Experimental comparative evaluation of implemented SW service retrieval tools Submission: ======== Contributions to the workshop can be made as technical papers addressing different issues of service and resource matching. The papers should not be longer than 15 pages using the LNCS Style: http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html All contributions should be prepared in PDF format and should be submitted through the workshop submission site at: http://www.easychair.org/conferences/?conf=smr22009 Important Dates: =========== August 24, 2009: Extended deadline for submission of papers. September 10, 2009: Notification of acceptance/rejection. October 2, 2009: Camera ready copy submission. October 25, 2009: OM-2009, Westfields Conference Center, Fairfax, near Washington DC., USA. Organizing Committee: =============== Alain Léger (France Telecom Research, France) Tiziana Margaria (University of Potsdam, Germany) David Martin (SRI International, USA) Massimo Paolucci (NTT DoCoMo Research Europe, Germany) Matthias Klusch (DFKI, Germany) Program Committee: ============== Sudhir Agarwal, AIFB, Germany Rama Akkiraju, IBM US Eugenio Di_Sciascio, University of Bary, Italy Takahiro Kawamura, Toshiba, Japan Ulrich Kuester, University of Jena, Germany Freddy Lecue, University of Manchester, UK Axel Polleres, DERI, Ireland Dumitru Roman, STI, Austria Bernhard Steffen, University of Dortmund, Germany Eran Toch, CMU, USA Ioan Toma, STI, Austria Farouk Toumani, Isima, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tb at imm.dtu.dk Sun Aug 23 17:28:17 2009 From: tb at imm.dtu.dk (Thomas Bolander) Date: Sun, 23 Aug 2009 17:28:17 +0200 Subject: M4M-6: Deadline extended till September 1 Message-ID: <4A916011.2010005@imm.dtu.dk> ==================================================================== Numerous authors have requested a short extension of the submission deadline. We have decided to meet their request. SUBMISSION DEADLINE EXTENDED TILL SEPTEMBER 1 ==================================================================== CALL FOR PAPERS 6th Workshop on METHODS FOR MODALITIES (M4M-6) http://m4m.loria.fr/M4M6 Copenhagen, Denmark November 12-14, 2009 ==================================================================== Scope ----- The workshop METHODS FOR MODALITIES (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://m4m.loria.fr/ M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop (http://hylocore.ruc.dk/m4m6school.html). The mini-course is associated with the FIRST research school (http://first.dk). Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original research. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via EasyChair at the following address: http://www.easychair.org/conferences/?conf=m4m6 Final versions of accepted papers will be published online in a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the proceedings will be provided at the workshop. Invited speakers ----------------- - Franz Baader, TU Dresden http://lat.inf.tu-dresden.de/~baader/index-en.html - Barteld Kooi, University of Groningen http://www.philos.rug.nl/~barteld/ - Kim Guldstrand Larsen, Aalborg University http://www.cs.aau.dk/~kgl/ - Renate Schmidt, University of Manchester http://www.cs.man.ac.uk/~schmidt/ - Yde Venema, University of Amsterdam http://staff.science.uva.nl/~yde/ Important dates --------------- Deadline for submissions: September 1, 2009 (extended deadline) Notification: October 5, 2009 Camera ready versions: October 26, 2009 Workshop dates: November 12-14, 2009 Workshop venue -------------- M4M will take place at the IDA Conference Center in the center of Copenhagen (http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx). Local organisers ---------------- - Thomas Bolander, Technical University of Denmark tb at imm.dtu.dk - Torben Braüner, Roskilde University torben at ruc.dk Program Committee ----------------- Carlos Areces, INRIA Lorraine Lars Birkedal, IT University of Copenhagen Patrick Blackburn, INRIA Lorraine Thomas Bolander (co-chair), Technical University of Denmark Julian Bradfield, University of Edinburgh Torben Braüner (co-chair), Roskilde University Balder ten Cate, University of Amsterdam Stephane Demri, ENS de Cachan Hans van Ditmarsch, University of Otago Melvin Fitting, City University of New York John Gallagher, Roskilde University Mai Gehrke, Radboud University Nijmegen Silvio Ghilardi, University of Milano Valentin Goranko, University of the Witwatersrand Rajeev Goré, ANU Michael R. Hansen, Technical University of Denmark Andreas Herzig, IRIT Wiebe van der Hoek, University of Liverpool Martin Lange, LMU München Carsten Lutz, Dresden University of Technology Angelo Montanari, University of Udine Valeria de Paiva, Cuil Inc. Renate Schmidt, University of Manchester Thomas Schneider, University of Manchester Carsten Schürmann, IT University of Copenhagen Gert Smolka, Saarland University Anders Søgaard, University of Copenhagen Jørgen Villadsen, Technical University of Denmark Frank Wolter, University of Liverpool Thomas Ågotnes, Bergen University College ================================================================== From smera at dc.uba.ar Wed Aug 19 20:24:48 2009 From: smera at dc.uba.ar (Sergio Mera) Date: Wed, 19 Aug 2009 15:24:48 -0300 Subject: subscribe Message-ID: <4A8C4370.2070207@dc.uba.ar> From alexander.friedmann at uqam.ca Thu Aug 20 03:07:25 2009 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Wed, 19 Aug 2009 21:07:25 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Wed, Aug 19, 2009 at 8:50 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From friedmann.alexander at uqam.ca Thu Aug 20 03:09:23 2009 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Wed, 19 Aug 2009 21:09:23 -0400 (EDT) Subject: WARNING! (0698344461) In-Reply-To: References: Message-ID: ------- Alex Friedmann tel: (514) 987-3000 ext. 3219 Dept. d'Informatique fax: (514) 987-8477 U.Q.A.M. e-mail :alexander dot friedmann dot uqam.ca C.P. 8888 Centre-Ville Montreal Canada, H3C 3P8 From seipel at informatik.uni-wuerzburg.de Thu Aug 20 10:04:00 2009 From: seipel at informatik.uni-wuerzburg.de (Dietmar Seipel) Date: Thu, 20 Aug 2009 10:04:00 +0200 Subject: WARNING! (2940308891) In-Reply-To: References: Message-ID: <4A8D0370.1060401@informatik.uni-wuerzburg.de> event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2940308891, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > From smera at dc.uba.ar Thu Aug 20 16:20:44 2009 From: smera at dc.uba.ar (Sergio Mera) Date: Thu, 20 Aug 2009 11:20:44 -0300 Subject: Confirmation Request (1584332121) In-Reply-To: References: Message-ID: <4A8D5BBC.4060308@dc.uba.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: 1584332121, > 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 iswanghao at gmail.com Tue Aug 25 18:24:23 2009 From: iswanghao at gmail.com (Hao Wang) Date: Tue, 25 Aug 2009 13:24:23 -0300 Subject: subscribe Message-ID: <341433fa0908250924w6f9cd352pfe834055cf5ab09a@mail.gmail.com> From iswanghao at gmail.com Tue Aug 25 18:25:28 2009 From: iswanghao at gmail.com (Hao Wang) Date: Tue, 25 Aug 2009 13:25:28 -0300 Subject: Confirmation Request (1834379671) In-Reply-To: References: Message-ID: <341433fa0908250925s6f958e88h7c92a5ce4b81445f@mail.gmail.com> On Tue, Aug 25, 2009 at 1:24 PM, 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: 1834379671, >  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 iswanghao at yahoo.com.cn Tue Aug 25 18:29:08 2009 From: iswanghao at yahoo.com.cn (Hao Wang) Date: Wed, 26 Aug 2009 00:29:08 +0800 (CST) Subject: Kein Betreff Message-ID: <478436.85775.qm@web15904.mail.cnb.yahoo.com> ___________________________________________________________ 好玩贺卡等你发，邮箱贺卡全新上线！ http://card.mail.cn.yahoo.com/ -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nza at Cs.Nott.AC.UK Tue Aug 25 00:39:50 2009 From: nza at Cs.Nott.AC.UK (Natasha Alechina) Date: Mon, 24 Aug 2009 23:39:50 +0100 Subject: Workshop on Formal Approaches to Ubiquitous Systems, call for participation Message-ID: <4A9316B6.1090700@cs.nott.ac.uk> Call for participation Workshop on Formal Approaches to Ubiquitous Systems (FAUSt 2009) Imperial College London, 14-15 September 2009 http://www.agents.cs.nott.ac.uk/events/faust09/ A key challenge in ubiquitous computing is identifying and developing appropriate formal approaches for understanding, designing and implementing ubiquitous systems. However applications which must interact with heterogeneous devices in multiple contexts and/or whose implementation may span multiple devices with widely differing resource constraints pose significant difficulties for current analysis, design and verification methodologies. While some of these issues have been addressed in previous work, their combination and interaction presents significant new challenges. The workshop aims to bring together researchers from the ubiquitous computing and formal methods communities to determine how the current state of the art in formal methods can be applied to ubiquitous computing, and to map out key research questions and future directions for formal approaches to ubiquitous systems. Topics of interest include (but are not limited to): * what sorts of (formal) system properties are of interest to the ubicomp community; * what sorts of formal models and techniques are appropriate for modelling context, mobility and resource constraints; * which verification techniques are appropriate for ubiquitous systems The two day workshop will feature a mixture of invited talks and submitted contributions describing current work or work in progress in ubiquitous computing; applications of formal analysis to some aspect of ubiquitous computing or similar systems (e.g. verification of sensor networks); and other formal approaches which are likely to be relevant (e.g., logics of resource bounds, context logics, verification of mobile or real time systems). In addition, there will be a panel session to identify possible synergies (and collaborations) in current work and to map out key questions for future research. Invited Speakers Muffy Calder (University of Glasgow) Michael Fisher (University of Liverpool) Marta Kwiatkowska (University of Oxford) Derek McAulay (University of Nottingham / University of Cambridge) Robin Milner (University of Edinburgh / University of Cambridge) Alessandra Russo (Imperial College London) A provisional programme is available on the workshop web page: http://www.agents.cs.nott.ac.uk/events/faust09/faust-programme.html Registration Registration is £40.00 (includes lunch and tea/coffee on the 14th and 15th). Limited bursaries are available for UK PhD students with an accepted abstract. Registration forms are available on the workshop web page: http://www.agents.cs.nott.ac.uk/events/faust09/#registration Workshop Organisers Natasha Alechina (University of Nottingham) Brian Logan (University of Nottingham) 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 ambra.molesini at unibo.it Tue Aug 25 08:29:32 2009 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Tue, 25 Aug 2009 08:29:32 +0200 Subject: 3rd and Final Call for Papers AOMIP@SAC2010 Message-ID: <73876368-394E-4792-A176-0AAFBB9CBFFB@unibo.it> [Please accept our apologies if you received multiple copies of this call] --------------------------------------------------------------------------------- CALL FOR PAPER AOMIP: AOse Methodologies, Infrastructures and Processes Track of the 25th Edition ACM Symposium on Applied Computing Sierre, Switzerland, March 22 -26, 2010 http://www.apice.unibo.it/xwiki/bin/view/AOMIP/ http://www.acm.org/conferences/sac/sac2010/ -------------------------------------------------------------------------------------------- The aim of this track is the deeper investigations of Agent-Oriented Software Engineering (AOSE) methodologies, infrastructures and processes. The need of engineering new sorts of complex computational systems (like for example self-* systems) for new kinds of application scenarios (like pervasive systems) calls for new SE methodologies, frameworks, infrastructures, and processes. Agent-oriented systems are the most likely candidate to work as the sources for new metaphors, abstractions, technologies, and methods for the engineering of complex systems. In this track we aim at discussing all the elements that influence the construction of complex computational systems as agent-oriented ones, by promoting the interplay between researchers in AOSE methodologies, agent-oriented frameworks and infrastructures, and AOSE processes, thus encouraging the development of the very notion of AOSE towards the most general and widest acceptation of the term. TOPICS OF INTEREST The list of most relevant topics includes, but it is not limited to: * Agent-Oriented Software Engineering * Methodologies for agent-oriented analysis and design * Infrastructures for multi-agent systems * Design of software development processes * Situational Method Engineering techniques for AOSE design processes * Relationships between MAS meta-models and their relative AOSE methodologies * Relationships between AOSE processes and the other traditional processes (e.g. OO) * Relationship between AOSE methodologies and Infrastructures processes * Meta-modelling techniques * Software development process models * Fragment definitions and descriptions * Integration of agent-oriented methodologies, infrastructures and processes * Approaches for AOSE methodologies: design patterns, components, and architectures * Supporting tools for AOSE methodologies/processes construction and enactment * Standardisation for AOSE methodologies and processes * Self-* approaches in AOSE methodologies and processes Important Dates: Sept. 8, 2009: Paper submissions Oct. 19, 2009: Author notification Nov. 2, 2009: Camera-Ready Copy Paper Publication: Authors are invited to submit original and unpublished papers. All papers will be fully refereed and undergo a blind review process by at least three referees. The conference proceedings will be published by ACM. Hence, all accepted papers should be submitted in ACM 2-column camera-ready format for publication in the symposium proceedings. Authors are allowed up to 8 pages according to the template, but more than 5 pages in the camera ready will be charged with 80USD per extra page. Paper submission should be in electronic format, via the website: eCMS sitehttp://sac.cs.iupui.edu/SAC2010/ Organising Committee: Massimo Cossentino, Italy Ambra Molesini, Italy Andrea Omicini, Italy Valeria Seidita, Italy ********************************************************** Dott. Ing. Ambra Molesini , Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale del Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gini at cs.umn.edu Tue Aug 25 10:38:05 2009 From: gini at cs.umn.edu (gini at cs.umn.edu) Date: Tue, 25 Aug 2009 03:38:05 -0500 (CDT) Subject: CFP special issue on Multi-agent Systems for Energy Management Message-ID: <200908250838.DAA20590@caesar.cs.umn.edu> ------------------------------------------------------------------------- CALL FOR PAPERS - SPECIAL ISSUE OF INTERNATIONAL JOURNAL INTEGRATED COMPUTER-AIDED ENGINEERING (Founded in 1993) on Multi-agent Systems for Energy Management http://home.dei.polimi.it/amigoni/research/ICAE-MASfEM.html ------------------------------------------------------------------------- Guest Editors: Francesco Amigoni, Maria Gini, and Wolfgang Ketter francesco.amigoni at polimi.it, gini at cs.umn.edu, wketter at rsm.nl TOPICS OF INTEREST Software agents are inherently distributed systems that offer a convenient way of modeling processes that are distributed over space and time. The combination of distributed and coordinated autonomy makes agent-based systems well-suited for a wide variety of problems in energy management. Areas of interest for the special issue cover the full spectrum of agent- related topics applied to energy management. All aspects of energy management, from energy production to transport and distribution networks, to fault tolerance, to price modeling for energy prices are of interest. Papers are solicited specifically in the following areas: * agents for supporting production, transport, and distribution of energy * agents for energy management of data centers, office buildings, homes, spacecrafts, sensor networks, etc. * agents for real-time management of the power grid * agent-based price modeling for energy sources * fault management of electricity transport networks * agents for software for energy management systems Innovative ideas, theoretical results, field based studies, and experimental results in real applications are of interest. Both practical and theoretical work is welcome. SUBMISSION GUIDELINES ICAE is a scholarly research journal with a primary focus on novel computational modeling. Authors are invited to contact the Guest Editors and indicate their intent to submit a paper for possible publication in the special issue as soon as possible. All papers will be peer-reviewed for originality by at least 3 referees on the journal's standard review form. Submission of a manuscript implies that it is the authors’ original unpublished work and the manuscript or any variation of it has not been submitted for publication elsewhere previously. Please email the pdf file of your original manuscript by ----> October 30, 2009 <---- to the Guest Editors and the Editor-in-Chief, Hojjat Adeli, Dept. of Civil and Environmental Engineering and Geodetic Science, The Ohio State University, 470 Hitchcock Hall, 2070 Neil Avenue, Columbus, Ohio 43210, USA. Email: Adeli.1 at osu.edu. Francesco Amigoni Dipartimento di Elettronica e Informazione, Politecnico di Milano via Ponzio 34/5, 20133 Milano, Italy e-mail: francesco.amigoni at polimi.it Maria Gini Department of Computer Science and Engineering, University of Minnesota 200 Union St SE Minneapolis, MN 55455, USA e-mail: gini at cs.umn.edu Wolfgang Ketter RSM Erasmus University, Department of Decision and Information Sciences P.O. Box 1738 3000 DR Rotterdam, The Netherlands e-mail: wketter at rsm.nl A complimentary sample copy of the journal can be requested from the Dutch publisher of the journal IOS Press, Nieuwe Hemweg 6B, 1013 BG Amsterdam, The Netherlands (www.iospress.nl), Fax in Netherlands: 31-20-620 3419, Fax in U.S.A.: 1-703-323 3668). From mcarro at fi.upm.es Wed Aug 26 06:06:11 2009 From: mcarro at fi.upm.es (Manuel Carro) Date: Wed, 26 Aug 2009 06:06:11 +0200 Subject: PADL 10: Third Call for Papers Message-ID: <19092.46259.473740.50279@fi.upm.es> CALL FOR PAPERS Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 (PADL'10) http://clip.dia.fi.upm.es/Conferences/PADL-2010 Madrid, Spain January 18-19, 2010 Co-located with ACM POPL'10 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Declarative languages and Software Engineering. * Evaluation of implementation techniques on practical applications. * Practical experiences and industrial applications. * Novel uses of declarative languages in the classroom. PADL'10 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL'10 will be co-located with POPL 2010. IMPORTANT DATES Abstract submission: August 31, 2009 Paper Submission: September 4, 2009 Notification: October 5, 2009 Camera-ready: October 26, 2009 Symposium: January 18-19, 2010 SUBMISSION GUIDELINES Authors should submit an electronic copy of the full paper (written in English) in PDF, in the Springer LNCS format (see http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). The submission will be done through EasyChair at the URL http://www.easychair.org/conferences/?conf=padl10 . PADL'10 will accept both technical and application papers. Technical Papers Technical papers must describe original, previously unpublished research results, and must not be simultaneously submitted for publication elsewhere. Each submission must be written in English, and include three to four keywords, which will be used to assist us in selecting appropriate reviewers for the paper. Submissions must not exceed 15 pages in Springer LNCS format. Application Papers Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than computer science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate session. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 3 pages in Springer LNCS format. Most Practical Paper Award The Most Practical Paper award will be given to the technical submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. PROGRAM COMMITTEE Program Committee Chairs Manuel Carro (Universidad Politécnica de Madrid, Spain) Ricardo Peña (Universidad Complutense de Madrid, Spain) Program Committee María Alpuente (Universidad Politécnica de Valencia, Spain) Lennart Augustson (Standard Chartered Bank and Chalmers University of Technology, Sweden) Olaf Chitil (University of Kent, UK) María García de la Banda (Monash University, Australia) Andy Gill (The University of Kansas, USA) Haifeng Guo (University of Nebraska at Omaha, USA) Martin Hofmann (Ludwig-Maximilians Universität, Germany) Andy King (Portcullis Computer Security Limited, UK) John Launchbury (Galois, USA) Rita Loogen (Philipps-Universität Marburg, Germany) Erik Meijer (Microsoft Research, UK) Enrico Pontelli (New Mexico State University, USA) Vítor Santos Costa (Universidade do Porto, Portugal) Terrance Swift (CENTRIA, Portugal) Paolo Torroni (Università di Bologna, Italy) Roland Yap (National University of Singapore, Singapore) CONTACTS: For information about papers and submissions, please contact a Program Chair: Manuel Carro PC co-Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupmes Ricardo Peña PC co-Chair - PADL 2010 Facultad de Informática Universidad Complutense de Madrid c/ Profesor José García Santesmases s/n E-28040 Madrid, Spain Email: ricardo sipucmes For other information about the conference, please contact: Manuel Carro General Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupm.es WITH THE COOPERATION OF: The University of Texas at Dallas ACM Sigplan -- +------------------------------------------------------------------------------+ | Manuel Carro --- Facultad de Informática -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-913363747 --- FAX: +34-913363669 | From joerg.mueller at tu-clausthal.de Wed Aug 26 19:58:20 2009 From: joerg.mueller at tu-clausthal.de (Joerg Mueller) Date: Wed, 26 Aug 2009 19:58:20 +0200 Subject: Call for Papers: Multiagent Systems Track@MKWI'2010 Message-ID: <4A9577BC.5050204@tu-clausthal.de> We invite high quality contributions to the Track "Multi-agent Systems: Decentral approaches for designing, organizing, and operating information systems" to be held at the Multikonferenz Wirtschaftsinformatik (MKWI'2010) in Goettingen, Germany, February 23-25, 2010. The submission deadline is September 20, 2009. Please consult http://winf.in.tu-clausthal.de/mkwi10 for details regarding Track topics, submission details, and committees. On behalf of the Track Chairs Joerg P. Mueller ******************************************************************* Call for Papers: Konferenz-Track Multiagentensysteme @ MKWI'2010 Wir bitten um Einreichungen für den Track "Multiagentensysteme: Dezentralität als Entwurfs-, Organisations- und Betriebsprinzip für Informationssysteme" der im Rahmen der Multikonferenz Wirtschaftsinformatik (MKWI'2010) vom 23.-25. Februar 2010 in Göttingen stattfindet. Der Annahmeschluss für Beiträge ist der 20. September 2009. Unter http://winf.in.tu-clausthal.de/mkwi10 finden Sie nähere Informationen zu den Themen des Tracks, zu Einreichungsmodalitäten und Programmkomittee. Für die Track Chairs Joerg P. Mueller -- Prof. Dr. Jörg P. Müller Technische Universität Clausthal Institut für Informatik D-38678 Clausthal-Zellerfeld Tel. +49 5323 727141 Fax. +49 5323 727149 http://winf.in.tu-clausthal.de From Kerry.Taylor at csiro.au Fri Aug 28 05:00:05 2009 From: Kerry.Taylor at csiro.au (Kerry.Taylor at csiro.au) Date: Fri, 28 Aug 2009 13:00:05 +1000 Subject: CFP #2: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009 In-Reply-To: References: Message-ID: 5th Australasian Ontology Workshop (AOW 2009) 1 December 2009 Held in Conjunction with the 22nd Australian Joint Conference on Artificial Intelligence (AI'09) University of Melbourne, Melbourne, Australia http://ksg.meraka.org.za/~aow2009 AOW 2009 is the fifth in a series of workshops on ontologies held in the Australasian region. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications The proceedings of the four previous workshops were published as volumes in the Conferences in Research and Practice in Information Technology (CRPIT) series (http://crpit.com/), and this will again be the case for AOW 2009. As with the previous workshops, we are investigating the possibility of extended versions of selected papers appearing in a special issue of a suitable journal. Submission information such as format etc. can be found on the CRPIT website: http://crpit.com/AuthorsSubmitting.html. The page limit is 10 pages. Important Dates: Paper submission deadline: 25 September 2009 Notification of acceptance/rejection: 23 October 2009 Camera-ready copies due: 13 November 2009 AOW 2009: 1 December 2009 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=aow2009 This year AOW 2009 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. Workshop Chairs: Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Kerry Taylor CSIRO ICT Centre Kerry.Taylor at csiro.au Program Committee: Franz Baader (TU Dresden, Germany) Richard Booth (Mahasarakham University, Thailand) Arina Britz (Meraka Institute, South Africa) Werner Ceusters (SUNY Buffalo, USA) Michael Compton (CSIRO, Australia) Oscar Corcho (Universidad Politecnica de Madrid, Spain) R. Cenk Erdur (Ege University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (SAP Research, UK) Renato Iannella (NICTA, Australia) Ken Kaneiwa (NICT, Japan) Marijke Keet (Free University of Bolzano, Italy) Kevin Lee (NICTA and UNSW, Australia) Laurent Lefort (CSIRO, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Deshendran Moodley (University of KwaZulu Natal, South Africa) Mehmet Orgun (Macquarie University, Australia) Maurice Pagnucco (UNSW, Australia) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Murat Sensoy (Bogazici University, Turkey) Barry Smith (SUNY Buffalo, USA) Markus Stumptner (University of South Australia, Australia) Boontawee Suntisrivaraporn (Thammasat University, Thailand) Sergio Tessaris (Free University of Bolzano, Italy) Nwe Ni Tun (National University of Singapore, Singapore) Ivan Varzinczak (Meraka Institute, South Africa) Kewen Wang (Griffith University, Australia) Antoine Zimmermann (DERI, Ireland) From jsabater at iiia.csic.es Fri Aug 28 18:23:39 2009 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Fri, 28 Aug 2009 18:23:39 +0200 Subject: [CfP] EUMAS-09 - Deadline approaching Message-ID: <4A98048B.9000708@iiia.csic.es> Dear all, This is just a gentle reminder that the deadline for papers submission to the Seventh European Workshop on Multi-Agent Systems (EUMAS 2009) is aproaching. Abstracts ---- September 14th Full papers -- September 18th You can find the CfP with the instructions for the submission in http://www.eumas09.cs.ucy.ac.cy/cfp.html Remeber that you can submit original papers but also papers that are under submission, will be presented or have already been presented at relevant international conferences. Best regards, Jordi Sabater-Mir ______________________________________________________________________________ _/ _/ _/_| Dr. Jordi Sabater Mir / _/ _/ _| IIIA - Artificial Intelligence Research Institute _/ _/___| CSIC - Spanish National Research Council _/ _/____| Campus Universitat Autonoma de Barcelona / _/ _| 08193 Bellaterra, Catalonia, Spain Ph.: +34 935809570 (ext. 261) Fax.: +34 935809661 jsabater at iiia.csic.es http://www.iiia.csic.es ______________________________________________________________________________ From vfgo at imm.dtu.dk Fri Aug 28 19:24:42 2009 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Fri, 28 Aug 2009 19:24:42 +0200 Subject: ESSLLI'2010: LAST CALL FOR COURSE and WORKSHOP PROPOSALS Message-ID: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%% 22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August, 2010, University of Copenhagen, Denmark %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS ------------------------------------------------------------------------ The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as ESSLLI¹2009 website: http://esslli2009.labri.fr/. The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams: - Language and Computation - Language and Logic - Logic and Computation We also welcome proposals that do not exactly fit one of these categories. PROPOSAL SUBMISSION: All proposals should be submitted using a prescribed form, available on the ESSLLI 2010 website, that can be downloaded from here: http://esslli2010cph.info/wp-content/uploads/ESSLLI2010CourseAndWorkshopProp osalTemplate_090729.txt. All proposals must be submitted through EasyChair on http://www.easychair.org/conferences/?conf=esslli2010, not later than ******* Monday, September 7, 2009 ******* Proposers must hold PhD or equivalent degrees and should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. GUIDELINES FOR COURSE AND WORKSHOP PROPOSALS: ALL COURSES: Courses are given over one week (Monday-Friday) and consist of five 90 minutes sessions, one per day. Course proposals should give a brief overview of the topic and a tentative content and structure of the course, as well as state the course¹s objectives and clearly specify prerequisites, if any. Lecturers who want to offer a long, two-week course, should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Jun 30, 2010: Deadline for receipt of camera-ready course material by the ESSLLI¹2010 local organizers FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should require no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the course field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: Workshops run over one week and consist of five 90-minutes sessions, one per day. The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Nov 02, 2009: Deadline for submission of the Calls for Papers to ESSLLI¹2010 PC chair Nov 09, 2009: Workshop organizers send out First Call for Papers Jan 25, 2010: Workshop organizers send out Second Call for Papers Mar 08, 2010: Workshop organizers send out Third Call for Papers Apr 12, 2010: Suggested deadline for submissions to the workshops May 24, 2010: Suggested deadline for notification of workshop contributors Jun 30, 2010: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI¹2010 Local Organizers for reproduction. Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: A form for submitting course and workshop proposals is available on the ESSLLI 2010 website, and can be downloaded from here: http://esslli2010cph.info/wp-content/uploads/ESSLLI2010CourseAndWorkshopProp osalTemplate_090729.txt The proposers are required to submit the following information: * Name(s) of proposing lecturer(s)/ workshop organizer(s), at most two per course or workshop * Contact addresses, homepages, phones, and fax numbers (if available), of proposing lecturer(s)/ workshop organizer(s); * Title of proposed course/workshop; * Type (workshop, foundational, introductory, or advanced course) * Stream (one of: Language & Computation, Language & Logic, Logic & Computation) * Description (in at most 300 words, provide justification, relevance to ESSLLI, proposed contents and structure of the courses, resp. expected participation in the workshops) * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, course objectives and prerequisites, as well as the lecturers teaching experience relevant to the proposed course, and generally in the interdisciplinary field scope of ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to fixed maximum amounts, that will be communicated to the lecturers upon notification). It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. Please note that in case a course or workshop is to be taught/organized by two lecturers, a lump sum will be reimbursed to cover travel and accommodation expenses for one lecturer; the splitting of that sum is up to the lecturers. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI¹2010 lower. ESSLLI 2010 PROGRAM COMMITTEE: Chair: Valentin Goranko (Technical Univ. of Denmark) Area Specialists: Language and Computation: Walter Daelemans (Univ. of Antwerp) Sabine Schulte im Walde (Univ. of Stuttgart) Language and Logic: Yoad Winter (Utrecht Univ.) Raffaella Bernardi (Free Univ. of Bozen-Bolzano) Logic and Computation: Anuj Dawar (Univ. of Cambridge) Ken Shan (State Univ. of New Jersey, Rutgers) ESSLLI 2010 Program Committee dedicated email account: esslli2010 at gmail.com ESSLLI 2010 ORGANIZING COMMITTEE: Chair: Vincent Hendricks (University of Copenhagen) Organizing Manager: Rasmus Rendsvig ESSLLI 2010 website: http://www.esslli2010cph.info/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mcarro at fi.upm.es Mon Aug 31 14:04:05 2009 From: mcarro at fi.upm.es (Manuel Carro) Date: Mon, 31 Aug 2009 14:04:05 +0200 Subject: PADL'10: deadline extension (1 more week) Message-ID: <19099.48181.702169.115713@fi.upm.es> Due to several requests, we have decided to extend the deadline for abstract and paper submissions. Please find enclosed the updated Call for Papers. Sorry about duplicate receptions. --------------------------------------------------------------------------- CALL FOR PAPERS [extended deadline] Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 (PADL'10) http://clip.dia.fi.upm.es/Conferences/PADL-2010 Madrid, Spain January 18-19, 2010 Co-located with ACM POPL'10 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Declarative languages and Software Engineering. * Evaluation of implementation techniques on practical applications. * Practical experiences and industrial applications. * Novel uses of declarative languages in the classroom. PADL'10 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL'10 will be co-located with POPL 2010. IMPORTANT DATES [extended deadline] Abstract submission: September 4, 2009 (23:59 CEST - strict) Paper Submission: September 11, 2009 (23:59 CEST - strict) Notification: October 7, 2009 Camera-ready: October 26, 2009 (23:59 CEST - strict) Symposium: January 18-19, 2010 SUBMISSION GUIDELINES Authors should submit an electronic copy of the full paper (written in English) in PDF, in the Springer LNCS format (see http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). The submission will be done through EasyChair at the URL http://www.easychair.org/conferences/?conf=padl10 . PADL'10 will accept both technical and application papers. Technical Papers Technical papers must describe original, previously unpublished research results, and must not be simultaneously submitted for publication elsewhere. Each submission must be written in English, and include three to four keywords, which will be used to assist us in selecting appropriate reviewers for the paper. Submissions must not exceed 15 pages in Springer LNCS format. Application Papers Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than computer science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate session. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 3 pages in Springer LNCS format. Most Practical Paper Award The Most Practical Paper award will be given to the technical submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. PROGRAM COMMITTEE Program Committee Chairs Manuel Carro (Universidad Politécnica de Madrid, Spain) Ricardo Peña (Universidad Complutense de Madrid, Spain) Program Committee María Alpuente (Universidad Politécnica de Valencia, Spain) Lennart Augustson (Standard Chartered Bank and Chalmers University of Technology, Sweden) Olaf Chitil (University of Kent, UK) María García de la Banda (Monash University, Australia) Andy Gill (The University of Kansas, USA) Haifeng Guo (University of Nebraska at Omaha, USA) Martin Hofmann (Ludwig-Maximilians Universität, Germany) Andy King (Portcullis Computer Security Limited, UK) John Launchbury (Galois, USA) Rita Loogen (Philipps-Universität Marburg, Germany) Erik Meijer (Microsoft Research, UK) Enrico Pontelli (New Mexico State University, USA) Vítor Santos Costa (Universidade do Porto, Portugal) Terrance Swift (CENTRIA, Portugal) Paolo Torroni (Università di Bologna, Italy) Roland Yap (National University of Singapore, Singapore) CONTACTS: For information about papers and submissions, please contact a Program Chair: Manuel Carro PC co-Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupmes Ricardo Peña PC co-Chair - PADL 2010 Facultad de Informática Universidad Complutense de Madrid c/ Profesor José García Santesmases s/n E-28040 Madrid, Spain Email: ricardo sipucmes For other information about the conference, please contact: Manuel Carro General Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupm.es WITH THE COOPERATION OF: The University of Texas at Dallas ACM Sigplan --------------------------------------------------------------------------- From vfgo at imm.dtu.dk Fri Aug 28 19:21:16 2009 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Fri, 28 Aug 2009 19:21:16 +0200 Subject: subscribe Message-ID: -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vfgo at imm.dtu.dk Fri Aug 28 22:26:17 2009 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Fri, 28 Aug 2009 22:26:17 +0200 Subject: Confirmation Request (0128787460) In-Reply-To: Message-ID: On 8/28/09 7:33 PM, "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: 0128787460, > 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 A.J.Power at bath.ac.uk Sun Aug 30 17:40:55 2009 From: A.J.Power at bath.ac.uk (John Power) Date: Sun, 30 Aug 2009 16:40:55 +0100 Subject: WARNING! (2151465048) In-Reply-To: References: Message-ID: <20090830164055.20ln96enggwo44ok@webmail.bath.ac.uk> Quoting event administration : > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2151465048, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > >