From ndt at dirf.org Sun Nov 1 12:02:19 2009 From: ndt at dirf.org (Digital Information Research Foundation) Date: Sun, 01 Nov 2009 16:32:19 +0530 Subject: CFP: NDT2010- Czech Republic: Prague Message-ID: <20091101163219.7tyv3qc8gsskc008@202.54.156.184> Second International Conference on 'Networked Digital Technologies' (NDT2010) Prague, Czech Republic, July 6-8, 2010 http://www.dirf.org/ndt2010 ========================================================================== Location: Charles University, Prague, Czech Republic Date: July. 6-8, 2010. Topics: Data and Network Mining Information and Data Management Intelligent Agent-Based Systems, Cognitive and Reactive Distributed AI Systems Internet Modeling User Interfaces, Visualization and Modeling XML-Based Languages Security and Access Control Trust Models for Social Networks Information Content Security Mobile, Ad Hoc and Sensor Network Management Web Services Architecture, Modeling and Design New Architectures for Web-Based Social Networks Semantic Web, Ontologies (Creation, Merging, Linking and Reconciliation) Web Services Security Quality of Service, Scalability and Performance Self-Organizing Networks and Networked Systems Data management in Mobile Peer-to-Peer Networks Data Stream Processing in Mobile/Sensor Networks Indexing and Query Processing for Moving Objects User Interfaces and Usability Issues form Mobile Applications Mobile Social Networks Peer-to-Peer Social Networks Sensor Networks and Social Sensing Social Search Social Networking Inspired Collaborative Computing Information Propagation on Social Networks Resource and Knowledge Discovery Using Social Networks Measurement Studies of Actual Social Networks Simulation Models for Social Networks Cloud computing Grid computing Green Computing IMPORTANT DATES: Submission Date: April 1, 2010 Notification of acceptance: April 20, 2010 Camera Ready submission: May 10, 2010 Registration: May 15, 2010 Conference date: July 6-8, 2010 SUBMISSION: Submission instructions are listed at http://www.dirf.org/ndt2010/submission.asp From dconf at dline.info Sun Nov 1 18:30:44 2009 From: dconf at dline.info (dconf at dline.info) Date: Sun, 01 Nov 2009 23:00:44 +0530 Subject: CFP: India- Bangalore-India: ICBED2010 Message-ID: <20091101230044.4ivv3676f4w0s40c@202.54.156.184> The 2010 International Conference on the Business and Digital Enterprises (ICBDI 2010) July, 22-24, 2010 Gopalan Educational Society and DIRF, Bangalore, India http:/dline.info/icbde2010/ ========================================================================== Location: Gopalan Educational society, Bangalore, India Date: July, 22-24, 2010. Topics: E-Business Consumer Electronics Digital Libraries Digital Economy Digital Data Mining Digital Enterprises E-Commerce Technology E-Business Applications and Software E-Commerce in developing countries Global E-Commerce Infrastructure for E-Commerce Marketing on the Web Barriers to E-Business Adoption Cryptography for enabling E-Commerce e-Commerce Strategy & Implementation Internet payment systems E-Logistics E-Government E-Procurement E-Services Business-oriented E-Commerce Consumer-oriented E-Commerce Web advertising and Web Publishing Mobile Commerce Supply Chain Management & E-Fulfilment E-Communities Regulatory/Policy Issues Social Issues in E-Commerce The Regulatory Environment of E-Commerce Trust & Security Issues in E-Commerce IMPORTANT DATES: Submission Date: April 1, 2010 Notification of acceptance: April 20, 2010 Camera Ready submission: May 10, 2010 Registration: May 15, 2010 Conference date: July 22-24, 2010 SUBMISSION: Submission instructions are listed at http://www.dirf.org/ndt2010/submission.asp From icicca at dline.info Sun Nov 1 18:48:34 2009 From: icicca at dline.info (Digital Information Research Foundation) Date: Sun, 01 Nov 2009 23:18:34 +0530 Subject: CFP: India- Bangalore-India: ICICCA July 19-20 Message-ID: <20091101231834.5xfiv9dm8sgc88sg@202.54.156.184> The 2010 International Conference on Informatics Cypernetics, and Computer Applications (ICICCA2010) Bangalore, India, July 19-20, 2010 http://www.dirf.org/icca2010/index.asp ========================================================================== Location: HKBK College of Engineering, Bangalore Date: July 19-20, 2010 Topics: Computational Intelligence Biometrics Technologies Forensics, Recognition Technologies and Applications Biometrics and Ethics Fuzzy and neural network systems Signal processing, pattern recognition and applications Digital image processing Speech processing Computational biology and bioinformatics Parallel and distributed computing and networks Information retrieval and internet applications Software engineering Biometrics and CSR Artificial intelligence and applications Databases and applications Genetic algorithms Data mining Real time systems Computer and network security Multi-Agent systems IMPORTANT DATES: Submission deadline: April 1, 2010 Notification: April 20, 2010 Camera ready and registration: May 10, 2010 Conference date: July 19-20, 2010 SUBMISSION: Submission instructions are listed at http://www.dirf.org/icca2010/submission.asp From universal.logic at ufc.br Mon Nov 2 11:04:05 2009 From: universal.logic at ufc.br (Universal Logic) Date: Mon, 2 Nov 2009 08:04:05 -0200 (BRST) Subject: contest: how to combine logics? Message-ID: How to combine logics? This will be the contest for the universal logic 2010 price offered by Birkhäuser at the World Congress on Universal Logic III Lisbon, Portugal, April 22-25, 2010 http://www.uni-log.org When we have two logics, we may want to put them together. For example on the one hand we have a temporal logic and on the other hand we have a deontic logic, how then to put them together to produce a temporal deontic logic in which we can deal with sentences such as "Sometimes it is allowed to eat chocolate"? This is a very interesting question in the engineering of logic. People have been working in the subject since about 15 years. But there are still some fundamental problems not completely solved. These problems are connected to the very nature of what a logical system is. One may wonder if the intuitive definition of combination of logic as the smallest conservative extension of two given logics really works, and also if it is always possible to combine two logics. If you want to take part to this contest send a short paper (10 to 15 pages) to unilog2010 at gmail.com before November 15th, 2009. The best ones will be selected for presentation at a special session during the congress and a jury will then decide who is the winner. From behrens at in.tu-clausthal.de Mon Nov 2 14:05:46 2009 From: behrens at in.tu-clausthal.de (Tristan Behrens) Date: Mon, 02 Nov 2009 14:05:46 +0100 Subject: Multi-Agent Contest 2010 -- Call for Participation Message-ID: <4AEED92A.9010104@in.tu-clausthal.de> =================== Call for Participation ==================== Multi-Agent Programming Contest 2010 http://www.multiagentcontest.org ======================================================= Organizers: Tristan Behrens (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Michael Köster (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Peter Novak (Czech Technical University) 1. Aims and Scope This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. 2. Short Scenario Description The contest scenario consists of developing a multi-agent system to solve a cooperative task in a dynamic environment. The environment is a grid-like world in which virtual cows are moving around collectively in one or more herds exhibiting a swarm-like behavior. There are two corrals, each belongs to one of the two agent teams. The teams of agents compete to control the behavior of animals and lead them to their own corral. The winning agent team is the one that scores highest. A detailed scenario description of the scenario will be available in time. 3. Participation Requirements The participation in this contest consists of these parts: 1. Declaring the intent to participate by registering to the mailing list. 2. Submission of the description of analysis, design and implementation of a multi-agent system for the above application. Thus registering to the contest officially. 3. Participation in the contest tournament by taking part on the final tournament. 4. Submitting the source-code of your application right after the tournament. 4. Important Dates Stating your intent to participate: now Publication of the software: January 2010 Submission of the description and registration to the contest: July 2009 Notification: after submission Camera-Ready of the description: after notification Testing phase: July - September 2010 Competition: September 2010 Winner announcement: after competition 4. Details 4.1 Intention to Participate Please announce your intention to attend the contest by subscribing to the mailing list. Participants and all interested colleagues are invited to subscribe to the mailing list agentcontest2010 [at] in.tu-clausthal.de All the important details and announcements including scenario and communication protocol specifications as well as software release announcements and bug reports will be announced and discussed via this list. To subscribe, send an e-mail to agentcontest2010-subscribe [at] in.tu-clausthal.de with the subject "subscribe". The confirmation request and welcome message will be sent to you shortly afterwards. Please follow the instructions in the automatic mailing list replies. 4.2 Packages The packages that we will publish include: 1. the protocol description that defines the communication scheme between agents and our server, 2. the scenario description that defines the environment, 3. the MASSim server, 4. the scenario itself, 5. template-agents implemented in Java, and 6. an EIS. 4.3 Submissions of the Short Descriptions We intend to handle the submissions of the short system-descriptions via EasyChair. We also aim at publishing in the CLIMA (@ECAI) post-proceedings (still in a planning phase). We will provide details in time. 4.4 Scenario The scenario will be *almost the same* as in 2010. The only thing that we are going to adapt is the scoring schema (more details later). But if we discover further adaptations that would make the scenario more interesting from a research-point-of-view, we could adapt as well. 4.5 Source Codes Obligation Note that the submission of the source-codes is obligatory in 2010. From sofia at ontol.inesc-id.pt Mon Nov 2 23:36:18 2009 From: sofia at ontol.inesc-id.pt (HSofia Pinto) Date: Mon, 02 Nov 2009 22:36:18 +0000 Subject: EKAW 2010: Call for Papers Message-ID: <4AEF5EE2.9060307@ontol.inesc-id.pt> International Conference on Knowledge Engineering and Knowledge Management EKAW 2010 Lisbon, Portugal, http://ekaw2010.inesc-id.pt The 17th International Conference on Knowledge Engineering and Knowledge Management is concerned with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. The focus of the 17th edition of EKAW will be on "Knowledge Management and Engineering by the Masses". The call for papers in PDF available at http://ekaw2010.inesc-id.pt/docs/cfpEkaw2010.pdf Important dates * Submission: 19th of March 2010 * Notification: 14th of May 2010 * Camera Ready: 11th of June 2010 Organizing Committee * General and PC chairs: - Sofia Pinto (INESC-ID, Lisbon) - Philipp Cimiano (CITEC, Universität Bielefeld) * Workshop chair: - Siegfried Handschuh (DERI, NUI Galway) * Tutorial chair: - Victoria Uren (University of Sheffield) Demonstration chairs: - Oscar Corcho (UPM, Madrid) - Johanna Völker (University of Mannheim) The proceedings of the conference will be published by Springer Verlag in the LNCS series. The LNCS volume will contain contributed papers. EKAW 2010 will also feature a tutorial and workshop program, as well as a poster and demo track. Poster/demo notes and workshop/tutorial notes will be published separately in a companion booklet. Paper submission and reviewing for EKAW 2010 will be electronic via the EasyChair conference submissions site. Submissions should be 15 pages long (max) formatted according to Springer Verlag LNCS guidelines. EKAW 2010 welcomes papers dealing with theoretical, methodological, experimental, and application aspects. In particular, but not exclusively, we solicit papers about methodologies, models, and tools for the following topics: 1) Knowledge Management * Methodologies and tools for knowledge management * Aspects of collaboration, distribution and evolution of knowledge in KM * Advanced knowledge modeling languages and tools * Best practices / experiences in KM * Foundations of KM * Entity-oriented approaches to KM * Layered intelligence in knowledge management * Provenance, reliability and trust in knowledge management * Knowledge management for collaboration and decision support * Methods for accelerating take-up of KM technologies * Corporate memories for KM * Case-based reasoning for KM 2) Knowledge Engineering and Acquisition * Methodologies for knowledge engineering * Knowledge acquisition, ontology learning * Knowledge sharing * Knowledge evolution * Collaborative knowledge engineering * Design patterns * Techniques for knowledge acquisition based on machine learning, NLP etc. * Uncertainty and vagueness in knowledge modeling * Knowledge engineering and software engineering * Ontology localization * Ontology alignment * Evolution of knowledge (including ontology evolution) * Knowledge acquisition from non-ontological resources (thesauri, folksonomies, lexica etc.) * Knowledge acquisition and knowledge integration from heterogeneous sources (multimedia and 3D data, databases, sensor data streams, social interaction data) * Knowledge authoring and knowledge markup languages * Ontology evaluation * Dynamic, distributed and process knowledge (including web services, grid services, P2P systems, rules and business processes, problem solving methods, procedural knowledge) * Agent-based approaches to knowledge management * Knowledge mashups 3) Knowledge In Use: knowledge management and engineering for * Retrieval and proactive delivery of pertinent knowledge * Multimedia applications * Life and E-sciences * E-Government and public administration * Health and medicine * Automotive and manufacturing industry * Semantic desktop applications * The legal domain * Cultural heritage applications * Digital broadcasting and film, game and 3D media content production and sharing * Digital libraries * Virtual worlds * Storytelling * Management in critical applications * Organizing user-contributed content * Transition across organizations 4) Social and Cognitive Aspects of Knowledge Engineering * Sustainability and cost analysis of knowledge engineering * Human-knowledge interaction * Cognitive systems and knowledge engineering * Knowledge ecosystems * Knowledge and social network analysis & modeling * Knowledge in trust networks * Personal sphere in knowledge engineering and management * Collaborative and social approaches to knowledge management and acquisition 5) Special focus knowledge management and engineering by the masses * Human-machine synergy in knowledge acquisition * Incentives for knowledge creation and semantic annotation * Enhancing human productivity (e.g. knowledge workers) * Social and human factors in knowledge management * Collective and collaborative intelligence in knowledge management * Social tagging and folksonomies, social networks * Web2.0 approaches to KM (including semantic wikis, folksonomies, etc.) * Games with a Purpose and KM * Linked Open Data / Web of Data As an important difference to earlier conferences, EKAW will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to own evaluation criteria. The PC will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. A) Standard research papers These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as proof-of concept. The main evaluation criteria here will be originality, technical soundness and validation. B) In-use papers Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real and large datasets, involving many users etc. The focus is less on the originality of the approach and more on presenting real, large-scale and complex systems that solve a significant problem. Technical details to understand how the problem is solved are required. Evaluations should involve real users of a system rather than representing a pure academic exercise. The papers will be evaluated according to the significance and practical relevance of the described research as well as with respect to the technical soundness of the described solution and accompanying evaluation. C) Problem Analysis papers We invite researchers to also publish problem analysis papers which do not present any novel method, technique or approach to solving a problem, but help to understand the problem itself. Understanding the characteristics of a problem itself is an important task in research and can benefit many people working on the same or at least similar problems. We expect in-depth discussions and analysis of a certain phenomenon or problem, with clear definitions as well as qualitative and quantitative analyzes of the main characteristics of the problem. We also expect a reasonable review of the state-of-the-art stating in how far current solutions fall short. Papers will mainly be evaluated with respect to how general and technically sound their problem analysis is and how useful it will be for other researchers working on the same problem. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a subproblem or explaining why current techniques are not sufficient, all corroborated by quantitative and qualitative arguments. Evaluation criteria will also include appropriate categorization of the problem area and description of present solutions and approaches; and appropriate description of the limitations of the present solutions and approaches. D) Validation papers A fundamental characteristic of research is that it should be reproducible. In some disciplines, reproduction of results by others is a basic research activity. We would like to encourage researchers to reproduce and validate methods, results and experiments etc. proposed by others before in a new context or application, on new datasets, under new assumptions etc. The goal is clearly to reach interesting and significant new conclusions about the method/approach in question that warrant a stand-alone publication. The reproduction of results should thus lead to new knowledge about the method in question or reveal inherent problems in the assumptions of the original research or limitations of previous solutions. Papers will be evaluated with respect to the soundness of the rationale for reproducing a certain approach as well as with respect to the new knowledge that is generated by reproducing the approach in question. A clear comparison between the results obtained through the reproduction and the original results are mandatory. -- --------------------------------------------------------------------- Helena Sofia Pinto Phone + 351 - 21 - 3100388 Instituto Superior Tecnico Email sofia.pinto at dei.ist.utl.pt Departamento de Eng. Informatica Av. Rovisco Pais 1049-001 Lisboa PORTUGAL INESC-ID Email sofia at inesc-id.pt Rua Alves Redol, 9 1000-029 Lisboa PORTUGAL --------------------------------------------------------------------- From tag at hib.no Wed Nov 4 16:04:02 2009 From: tag at hib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Wed, 4 Nov 2009 16:04:02 +0100 Subject: PhD and postdoc positions in formal methods for grid computing, Norway (logic, model checking, category theory, multi-agent systems) Message-ID: Bergen University College (Norway), Faculty of Engineering, has 1-3 open positions for PhD students/research fellows (3-4 years) and 1-2 open positions for postdoctoral researchers (2-3 years) in computer science/informatics, as a part of the research project Formal Modelling and Verification of Grid Systems (FORMGRID), funded by the Research Council of Norway. Deadline: 28 November 2009. The researchers will be associated with the Department of Computer Engineering. The department is responsible for the bachelor programmes in computer engineering and information technology, as well as a masters programme in software development in collaboration with the Department of Informatics, University of Bergen. Grid systems enable networks of loosely coupled computers to be used as a single "virtual" computer, in order to solve problems which are computationally hard and/or require large storage capacities. Grid systems are complex systems, and it is not necessarily obvious whether or not a given system will behave in a correct and reliable manner. Methods, models, tools and technologies for verifying that a grid system has desired properties are therefore needed. The goal of the FORMGRID project, scheduled to start late 2009, is to develop theories, techniques and tools for designing and analysing grid computing systems based on formal methods. In particular, the focus will be on: - diagrammatic models of (aspects of) grid systems based on category theory, and - formal verification of (aspects of) grid systems based on model checking of modal multi-agent logics. The FORMGRID project forms a part of Bergen University College's strategic research programme DISTECH - Software Technologies for Distributed Systems. The programme currently involves 8 permanent professors and associate professors and several PhD and master students. * Qualifications and requirements : PhD positions* A successful applicant must have earned a master's degree, or equivalent, in computer science/informatics, or in a similar field with a master's thesis on a relevant subject, or have submitted a master's thesis before the application deadline. It is required that the master's degree is awarded within 4 weeks after the application deadline. A background in formal logic, model checking, multi-agent systems, grid computing, and/or category theory will be considered a significant advantage when candidates are ranked. In addition to the required educational background, the following criteria will be evaluated: competence, quality of the master's thesis, publications, research and teaching experience, practical software development skills and experience. A submitted outline of a proposed research plan for the PhD project will also be taken into account, but is not required. The position is for three or four years. Depending on the background and qualifications of the candidate, a four year position may be offered including 25 % of the time spent on duties such as teaching, development or administrative tasks. The employment period may be reduced if the successful applicant has held previous employment as a research fellow. The PhD student must enrol in an approved PhD programme. Bergen University College does not award PhD degrees, but will together with a degree awarding institution develop a detailed plan for the PhD studies. The degree awarding institution will be chosen by Bergen University College, and has on previous similar occasions been the University of Bergen. The successful candidate must have sufficient qualifications to be accepted into the PhD programme of the awarding institution. The PhD student will be assigned an academic supervisor at Bergen University College, who will assist the candidate with the application for PhD enrolment at the awarding institution. * Qualifications and requirements : postdoc positions* A successful applicant must have earned a PhD degree, or equivalent, in computer science/informatics, or in a similar field with a thesis on a relevant subject. Applicants must have achieved a Norwegian doctorate or equivalent PhD education abroad, or have presented the dissertation for assessment by the closing date for applications. A background in formal logic, model checking, multi-agent systems, grid computing, category theory, and/or algorithms, combined with practical software development skills and experience, will be considered a significant advantage when candidates are ranked. In addition to the required educational background, the following criteria will be evaluated: competence, quality of the PhD thesis, publications, research and teaching experience. * Application procedure * Apply electronically by using the following links (use the "send application" link on the bottom of the page): For the PhD student positions: http://hib.easycruit.com/vacancy/347903/41311 For the postdoc positions: http://hib.easycruit.com/vacancy/348002/41311 In addition, paper copies of a written application, CV, diplomas, transcripts, publications and a publication list must be submitted in three complete sets within a week after the deadline. The applicant is responsible for ensuring that the submitted sets are complete. The papers will be returned when the case is closed. Send all documents to: Høgskolen i Bergen, Seksjon for personal- og organisasjonsutvikling, Postboks 7030, 5020 Bergen, Norway. Applicants for the position will be evaluated by a committee consisting of three members. * Employment and salary * Employment for the PhD student positions will be for 3 or-4 years depending on the candidate as explained above. Salary for the PhD position will be offered according to code 1017 (stipendiat) in the Norwegian State Salary Scheme gross NOK 355 600 to NOK 387 500 per year. PhD students are normally remunerated at salary level 45. The postdoc positions will be offered for 2-3 years dependent on the qualifications of the candidate. Salary will be offered according to code 1352 (postdoktor) in the Norwegian State Salary Scheme gross NOK 438 700 to NOK 499 700 per year. There is a compulsory 2 % deduction to the pension fund. Successful candidates are obliged to comply with general directives for this position at any time. Applicants may be called in for an interview. Women and applicants with minority background are encouraged to apply in accordance with Bergen University College's Policy for Equal Opportunities. Contact: Associate professor Thomas Ågotnes, tag at hib.no From jsabater at iiia.csic.es Wed Nov 4 18:01:37 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Wed, 4 Nov 2009 18:01:37 +0100 Subject: [AAMAS-10] Call for Papers: Industry and Applications track Message-ID: <3856624016001354120269@Galvatron> **************************************************************************** Call for Papers: Industry and Applications track - AAMAS-2010 **************************************************************************** **** Introduction The AAMAS Industry Track is a special track of the AAMAS conference that offers a globally unique opportunity to present and promote industrial and commercial applications of agent technologies. Due to the growing maturity of the field there are now agent-based applications in widespread use across multiple domains that are responsible for the generation of significant revenue. This event provides the ideal forum to present and discuss your work; to inform and inspire the largest international gathering of agent technology researchers and practitioners with presentations and demonstrations of your compelling applications, success stories and new business ideas. It is our intention that the 2010 event actively works to promote the fostering of mutually beneficial relationships between members of the AAMAS community who are engaged in foundational scientific research and those who are working to make autonomous agents and multi-agent systems a commercial reality. **** Topics and Issues of Interest The AAMAS Industry Track invites submissions of short (4-page) or long (8-page) papers that describe autonomous agent and multi-agent systems that have been incorporated into for-profit or non-profit products or services, or that demonstrate a clear potential to be so included. Application domains of interest include, but are not limited to: * telecommunication, media and entertainment * bio-technology, pharmaceutical and health care * financial systems and services * manufacturing, automation, and logistics * enterprise systems * large-scale and grid systems management * transportation and telematics * ambient intelligence, intelligent buildings and smart cities * surveillance and security * e-government Authors are advised and encouraged to address the following questions in their paper: * Why is your chosen application domain important to industry and/or society? What are typical use cases? * What is the rationale for using agent-based technology in your application, as opposed to a more traditional approach? * If you have deployed your technology commercially, what specific or general insights have you gained from the experience? * Have you experienced (or do you foresee) technical challenges or market-based barriers to adoption, and if so how did (or might) you address them? * What improvements or external factors might facilitate wider-spread adoption of your technology? * What improvements in fundamental agent technology might improve your application, or enable it to be adopted more broadly? * In financial terms, or any other appropriate measure of benefit, what is the present value of your technology to customers, industry, or government, and what is its ultimate potential? **** What is the relationship between AAMAS Industry Track and AAMAS? The AAMAS Industry Track is an essential and integral part of the AAMAS conference. It runs concurrently with the regular AAMAS scientific track, and all accepted papers are included in the general conference proceedings. The AAMAS Industry Track mandates the same high level of quality that has come to be expected of the AAMAS scientific track. The expectation is that authors must make a concerted effort to address the issues and questions identified in "Topics and Issues of Interest", as appropriate to their paper. We discourage the submission of purely speculative papers or papers whose primary contribution is scientific, as these ought to have been submitted to the regular conference track. Authors submitting a paper to the AAMAS Industry Track are encouraged to submit a demo of their agent-based application to the AAMAS Demonstration session http://www.cse.yorku.ca/AAMAS2010/index.php#content=call4_demo_proposal **** Submission instructions and dates Please format your paper according to standard AAMAS guidelines. AAMAS style guides, as well as templates and style sheets for Microsoft Word and LaTeX can be found here. http://www.cse.yorku.ca/AAMAS2010/index.php#content=authors_instructions Papers must be 8 pages (regular paper) or 4 pages (short paper), including figures and references, when formatted using the specified style. Papers should be formatted for standard Letter paper size. (i.e. not A4). Over-length papers will be rejected. Notification of receipt of the electronic paper will be mailed to the first author (or designated author) soon after receipt. To submit your paper, please register your abstract at http://www.easychair.org/conferences/?conf=aamas2010industrytrack) before 11:59pm, December 8, 2009 (UTC), and then submit an electronic copy of your completed paper to the same site by 11:59pm, December 15, 2009 (UTC). We strongly encourage submissions in PDF (Adobe's Portable Document Format), but will accept submissions in Postscript if PDF is infeasible. We will not accept papers in any other format (e.g., MS Word) because of compatibility problems between software versions, machines, and nationalities. We cannot accept title pages or papers submitted by FAX. Submissions received after this deadline will not be considered for review. Notification of acceptance or rejection of submitted papers will be mailed to the first author (or designated author) by January 23, 2010. Note that at least one author of each accepted paper is required to register and to attend the conference to present the work. In summary, here are the critical dates: * Deadline for paper information: December 8, 2009 * Deadline for paper submission: December 15, 2009 * Notification of acceptance or rejection: January 23, 2010 * Final versions due: February 8, 2010 For more information, contact the track co-chairs at aamas2010industrytrack at easychair.org **** Policy on Multiple Submissions The AAMAS 2009 Industry Track will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the AAMAS review period. These restrictions apply only to journals and conferences, not to workshops and similar specialized presentations with a limited audience and no formal proceedings. **** Track Co-Chairs Dominic Greenwood Whitestein Technologies, Switzerland Jeff Kephart IBM Thomas J Watson Research Center, USA **** Program Committee Jeremy Baxter, QinetiQ Michael Berger, DocuWare AG Sven Br�ckner, NewVectors LLC Paul Buhler, Modus 21 Bernard Burg, Panasonic Laboratories Klaus Dorer, Offenburg University James Hanson, IBM Research Tarek Helmy, King Fahd University of Petroleum and Minerals Martin Hofmann, Lockheed Martin Advanced Technology Laboratories Takahiro Kawamura, Toshiba Michael Kerstetter, Boeing Dejan Milojicic, Hewlett Packard Laboratories James Odell, CSC Michal Pechoucek, Czech Technical University Michael Pirker, Siemens AG Maarten Sierhuis, NASA Elizabeth Sklar, Brooklyn College, City University of New York Simon Thompson, BT Research Shigeo Matsubara, Kyoto University Steven Willmott, 3Scale Networks Gaku Yamamoto, IBM and Tokyo Institute of Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Fri Nov 6 17:40:55 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Fri, 6 Nov 2009 17:40:55 +0100 Subject: Call for IFAAMAS-09 Victor Lesser Distinguished Dissertation Award nominations Message-ID: <1464623995201446367@Galvatron> ******************************************************************************** Call for IFAAMAS-09 Victor Lesser Distinguished Dissertation Award nominations ******************************************************************************** Nominations are invited for the 2009 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems ([[http://www.ifaamas.org]]). This award includes a certificate signed by the IFAAMAS Chair and 1500EUR. Eligible doctoral dissertations are those defended between January 1, 2009 and December 31, 2009 in the area of Autonomous Agents or Multiagent Systems. The award will be based on the originality, significance, and real or potential impact of the work. Evidence of such impact may come from existing pre- or post-defense publications of the work at highly selective conferences and journals, and/or from comments of the supervisor and references. Work that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right not to award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents: *A.* A pdf file of the dissertation. If the dissertation is not written in English, the nomination must include a long paper in English, with the nominee as the first author, published in a journal or a prestigious conference. *B.* A list of citations to published papers based primarily on work reported in the dissertation with links to corresponding pdf files. *C.* A recommendation from the supervisor nominating the dissertation for the IFAAMAS-09 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2009. *D.* Up to three reference letters of no more than 500 words in length, signed and scanned as pdf files, from researchers familiar with the research of the candidate and with related research expertise. These documents must be placed on a web page and only a link to this page e-mailed to the chair of the selection committee, Peter Stone, at [[pstone at cs.utexas.edu]] on or before February 5, 2010. Though the nomination is to be submitted by the student's supervisor, it is assumed that the student has consented that the dissertation be considered for this award and, if selected, commits to attend the AAMAS10 conference where he/she will receive the award and will give an hour-long presentation on this work in a special session. The cost of attending the conference is not covered by the award. Selection committee: Peter Stone (Chair) Ana Bazzan Ariel Procaccia Mike Wooldridge Makoto Yokoo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaevent.org Fri Nov 6 20:30:53 2009 From: invitation at iariaevent.org (GlobeNet 2010) Date: Fri, 6 Nov 2009 14:30:53 -0500 (EST) Subject: Deadline extension: November 20, 2009: GlobeNet 2010 [ICN, ICONS, DBKDA] April 11-16, 2010 - Menuires, The Three Valleys, French Alps, France Message-ID: <20295837.15879.1257535853757.JavaMail.owner@owner-PC> INVITATION Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results. Note that in order to accommodate EU Project deadlines, the GlobeNet 2010 event submission deadline has been extended to November 20, 2009. Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index ===== Call for Submissions ======= GlobeNet 2009, April 11-16, 2010 - Menuires, The Three Valleys, French Alps, France see: http://www.iaria.org/conferences2010/GlobeNet10.html GlobeNet 2010 is a federated event focusing on advances topics concerning the areas of networks, systems, databases and application. GlobeNet 2010 continues the tradition of well-established conferences ICN (networks), ICONS (systems), as well as the second edition of DBKDA (databases and applications). Submission (full paper) deadline: November 20, 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. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. Submissions will be peer-reviewed, published by IEEE Computer Society Press, posted in IEEE Digital Library, and indexed via all the IEEE indexing agreements. All tracks/topics are open to both research and industry contributions. -- ICN 2010, The Ninth International Conference on Networks http://www.iaria.org/conferences2010/ICN10.html -- ICONS 2010, The Fifth International Conference on Systems http://www.iaria.org/conferences2010/ICONS10.html -- DBKDA 2010, The Fourth International Conference on Systems and Networks Communications http://www.iaria.org/conferences2010/DBKDA10.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about GlobeNet, please reply with "DROP GlobeNet 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 bcseet at ieee.org Thu Nov 5 00:20:14 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Thu, 5 Nov 2009 12:20:14 +1300 Subject: Call for Posters and Demos on Sensor Networks and Ambient Intelligence Message-ID: <005301ca5da5$5e91c940$2dc65a79@yourbbc104cd11> --------------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI) --------------------------------------------------------------------------------------- In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Call for Posters and Demos In addition to full-length papers, SeNAmI 2009 welcomes submissions in the form of posters and demos that feature late-breaking results, innovative work in progress, preliminary research findings, or any interesting early ideas and visions, in areas of relevance to sensor-based ambient intelligence systems. Demonstrations are intended to showcase the practical implementation of novel new technologies, applications, techniques, and research prototypes or testbeds among others. We are particularly interested to see emerging young researchers in this field, applying their creativity and skills to innovate new technologies that could make a real difference by solving some of the most challenging issues facing our world today. We welcome both academic and industrial submissions. Abstract submission Poster and Demo abstracts should be in single-column format and not exceed one page, including figures and references. The abstract should be prepared using the template provided on the website, and submitted as a Word document to: senami at aut.ac.nz The information fields for the contact author and type of presentation (poster or demo) on second page of the abstract template should be completed as appropriate. For demo authors, please further specify any space requirements and/or any other equipment-specific requirements. The abstracts of accepted posters and demos would be distributed to all conference participants through the USB memory version of the proceedings, but they would not be published by IEEE Computer Society. However, they would be published online with citable DOI (Digital Object Identifiers) and permanently archived by the Frontiers Research Foundation (a Swiss-based non-profit academic publisher). Special registration fee A special registration fee of 35,000 JPY has been planned for poster and demo authors. If an author has already registered for a paper in the main conference (PDCAT) or any of its workshops, a reimbursement of 10,000 JPY for each registered poster/demo paper can be arranged at the conference site. At least one of the authors must register and present their work in the workshop. All registrations shall go through the main conference (PDCAT) registration website. Best Poster and Demo award A selection panel will convene to select the recipients for the Best Poster and Best Demo awards, courtesy of the Global COE (Centers of Excellence) Program for Founding Ambient Information Society Infrastructure of Graduate School of Information Science and Technology, Osaka University. Important dates Abstract submission due : November 10, 2009 (extended) Acceptance notification : November 15, 2009 Registration due: November 20, 2009 For further details, please visit: http://www.aut.ac.nz/study-at-aut/study-areas/engineering/senaml-2009/posters-and-demos From Thomas.Lukasiewicz at kr.tuwien.ac.at Fri Nov 6 03:38:48 2009 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Fri, 06 Nov 2009 02:38:48 +0000 Subject: AAAI-10: Last Call for Tutorials Message-ID: <4AF38C38.30902@kr.tuwien.ac.at> **** NEW TUTORIAL SUBMISSION DEADLINE: November 13, 2009 **** AAAI-10 TUTORIAL FORUM ====================== http://www.aaai.org/Conferences/AAAI/2010/aaai10tutorialcall.php LATEST NEWS: * The deadline for submission of AAAI-10 Tutorial Forum Proposals has been extended to November 13, 2009. * The notification deadline will be December 7, 2009. The Tutorial Forum of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10) will be held July 11-12, 2010 in Atlanta, Georgia USA. The Tutorial Forum is sponsored by the Association for the Advancement of Artificial Intelligence. The AAAI-10 Program Committee invites proposals for the Tutorial Forum of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10). The Tutorial Forum will be held July 11-12, 2010 in Atlanta. Anyone interested in presenting a tutorial at AAAI-10 should submit a proposal to the 2010 Tutorial Forum Cochairs listed below. What Is the Tutorial Forum? The Tutorial Forum provides an opportunity for junior and senior researchers to spend two days each year freely exploring exciting advances in disciplines outside their normal focus. We believe this type of forum is essential for the cross fertilization, cohesiveness, and vitality of the AI field. We all have a lot to learn from each other; the Tutorial Forum promotes the continuing education of each member of the AAAI. Topics AAAI is interested in proposals for advanced tutorials at the leading edge of AI. We are particularly interested in tutorials that offer two types of knowledge. The first type provides in-depth background tools to help educate researchers and students for the purpose of conducting AI research; examples of this type of tutorials from AAAI-08 include "General Game Playing," "Graphical Models for Multiagent Decision-Making," and "Satisfied by Message Passing: Probabilistic Techniques for Combinatorial Problems." A second type of tutorial provides a broad overview for an AI area that potentially crosses boundaries with an interesting application area; examples of this type of tutorial from AAAI-08 include "Social Network Mining: A Tutorial on Inference and Learning with Social Network Data" and "Machine Learning for Biomedical Applications." Our goal is to present a diverse program that includes core areas of AI, new techniques from allied disciplines that can inform research within AI, and conversely emerging applications of AI techniques to new areas. Previous years' tutorial programs provide an indication of the scope and variety of possible topics. The list is not exclusive; indeed, we are expressly interested in topics that we would not have imagined to mention. Finally, note that we very much welcome proposals for educational approaches that go beyond the traditional format of four-hour tutorials, exploiting the flexibility that the one-fee program offers. Submission Requirements We need two kinds of information in the proposals: information that will be used for selecting proposals and information that will appear in the tutorial description brochure. The proposal should provide sufficient information to evaluate the quality of the technical content being taught, the quality of the educational material being used, and the speakers' skill at presenting this material. Each proposal should include at least the following: * Goal of the tutorial: Who is the target audience? What will the audience walk away with? What makes the topic innovative? * Content: Detailed outline and list of additional materials, augmented with samples, such as past tutorial slides and survey articles, whenever possible. Be as complete as possible. * Tutorial description: A short paragraph summarizing the tutorial outline, and the intended duration of the symposium (default is four hours). * Prerequisite knowledge: What knowledge is assumed of the target audience. Please also submit the following information about the team of presenters: name, mailing address, phone number, email address; background in the tutorial area, including a list of publications and/or presentations; any available examples of work in the area (ideally, a published tutorial-level article or presentation materials on the subject); evidence of teaching experience (courses taught or references); and evidence of scholarship in AI or computer science. Submission Deadline Proposals must be received by November 13, 2009. Decisions about the tutorial program will be made by December 7, 2009. Speakers should be prepared to submit their tutorial descriptions and bios by January 8, 2010, and to post completed course materials on their websites by June 4, 2010. Please e-mail proposal material to Russell Greiner and Thomas Lukasiewicz at the following addresses. ------------------------------------------------------------------------ AAAI-10 Tutorial Program Cochairs * Russell Greiner Department of Computing Science University of Alberta Edmonton, Alberta Canada T6G 2E8 780-492-5461 780-492-1071 (fax) russ.greiner+Tutorial at gmail.com * Thomas Lukasiewicz Oxford University Computing Laboratory Wolfson Building, Parks Road Oxford OX1 3QD, UK 0044-1865-522566 0044-1865-273839 (fax) Thomas.Lukasiewicz at comlab.ox.ac.uk For further information about the AAAI-10 tutorial forum, please see http://www.aaai.org/Conferences/AAAI/2010/aaai10tutorialcall.php For information about AAAI-10 in general, visit http://www.aaai.org/Conferences/AAAI/aaai10.php From ebrahim.bagheri at gmail.com Sun Nov 8 21:00:53 2009 From: ebrahim.bagheri at gmail.com (Ebrahim Bagheri) Date: Sun, 8 Nov 2009 16:00:53 -0400 Subject: CFP: Graduate Symposium - Canadian Artificial Intelligence 2010 Message-ID: <3a2edcff0911081200p68e3148csd3c5acab269b77dd@mail.gmail.com> *Canadian Conference on AI 2010 Graduate Students Symposium* May 30th, University of Ottawa, Ontario, Canada Call For Paper - Deadline 30 January 2010 http://glass.cs.unb.ca/~ebrahim/conf/cai-gs/ AI 2010, the twenty-third Canadian Conference on Artificial Intelligence, invites graduate students to submit four-page extended abstracts of their thesis for possible inclusion in the AI 2010 Graduate Student Symposium and the Canadian AI proceedings published by Springer. Symposium Objectives The Symposium provides an opportunity for Master's and PhD students to discuss and explore their research interests and career objectives with their peers and with a panel of established researchers in Artificial Intelligence, helping to develop a supportive community of scholars and a spirit of collaborative research. The symposium will be a one-day pre-conference event, where students of accepted abstracts will be invited to give a presentation on their thesis work before a group of peers as well as a small team of expert AI researchers who would offer a critique of each presentation and provide support, advice, and mentoring. Each student may also be invited to participate in the poster session during the main conference. In addition, a small selection of the best student submissions will be invited to give a short talk during the main conference. PhD and Master's students are invited to submit original work in all areas of Artificial Intelligence. Submissions should have emphasis on work in progress, with directions for future research clearly indicated wherever appropriate. More weight will be placed on the significance of the work, the proposed ideas or solutions, and the overall presentation than on submissions which present work with complete results. The Application Package Applicants to the symposium need to submit the following materials. Please combine all materials into one PDF document: * A four-page thesis summary that outlines the problem being addressed, the proposed plan for research, and a description of the progress to date. The most successful applications directly address all three of these components. Please be sure to distinguish between work that has already been accomplished and work that remains to be done. Be sure to include a title for your work. All submissions must be written in English. Abstracts may be up to 4 pages in length and must be formatted according to Springer's LNCS style. Please follow the instructions for authors at Springer's site for authors. The use of the LaTeX2e style file available at the web site is strongly encouraged. * Include a CV (at most two pages) that describes your background and relevant experience (research, education, employment). Your CV needs to include your anticipated graduation date, or it may be rejected without review. Please include any additional items that may indicate your potential contribution to, and benefit from, the symposium. * A letter of recommendation from your thesis advisor. It must include an assessment of the current status of your thesis research, and an expected date for thesis submission. In addition, your advisor should indicate what he or she hopes you would gain from participation in the symposium. * Participant's Expectations. A short (one page or less) statement of what you expect to gain from presenting and participating in the symposium, as well as what you think you can contribute to the symposium. For best consideration, your statement must address both of these expectations. The Reviewing Process Each abstract will be reviewed by a team of program committee members. Presenting students will be selected based on clarity of the submission, stage of research, advisor's letter and evidence of promise such as published papers or technical reports. (Partial) Financial assistance for travel and accommodations may be available to the students presenting at the Symposium. All students are encouraged to attend and participate in the Symposium, whether or not they apply to present their work. All the selected student presenters are expected to actively participate in the full Symposium, as we envision participants gaining as much by interacting with their peers as by having their presentations critiqued by the faculty panel. In addition, a senior AI researcher and faculty member will be invited to give a talk on a topic of interest to graduate students. Important Dates Package submission due January 30th, 2010 Notification of acceptance March 3rd, 2010 Final paper due March 8th, 2010 Program Co-chairs: Ebrahim Bagheri, National Research Council Canada and Athabasca University Marina Sokolova, CHEO Research Institute, University of Ottawa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Mon Nov 9 00:49:43 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Mon, 9 Nov 2009 12:49:43 +1300 Subject: Final CFP: Posters and Demos on Sensor Networks and Ambient Intelligence Message-ID: <004a01ca60ce$26bc13f0$060d5a79@yourbbc104cd11> --------------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI) --------------------------------------------------------------------------------------- In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Call for Posters and Demos In addition to full-length papers, SeNAmI 2009 welcomes submissions in the form of posters and demos that feature late-breaking results, innovative work in progress, preliminary research findings, or any interesting early ideas and visions, in areas of relevance to sensor-based ambient intelligence systems. Demonstrations are intended to showcase the practical implementation of novel new technologies, applications, techniques, and research prototypes or testbeds among others. We are particularly interested to see emerging young researchers in this field, applying their creativity and skills to innovate new technologies that could make a real difference by solving some of the most challenging issues facing our world today. We welcome both academic and industrial submissions. Abstract submission Poster and Demo abstracts should be in single-column format and not exceed one page, including figures and references. The abstract should be prepared using the template provided on the website, and submitted as a Word document to: senami at aut.ac.nz The information fields for the contact author and type of presentation (poster or demo) on second page of the abstract template should be completed as appropriate. For demo authors, please further specify any space requirements and/or any other equipment-specific requirements. The abstracts of accepted posters and demos would be distributed to all conference participants through the USB memory version of the proceedings, but they would not be published by IEEE Computer Society. However, they would be published online with citable DOI (Digital Object Identifiers) and permanently archived by the Frontiers Research Foundation (a Swiss-based non-profit academic publisher). Special registration fee A special registration fee of 35,000 JPY has been planned for poster and demo authors. If an author has already registered for a paper in the main conference (PDCAT) or any of its workshops, a reimbursement of 10,000 JPY for each registered poster/demo paper can be arranged at the conference site. At least one of the authors must register and present their work in the workshop. All registrations shall go through the main conference (PDCAT) registration website. Best Poster and Demo award A selection panel will convene to select the recipients for the Best Poster and Best Demo awards, courtesy of the Global COE (Centers of Excellence) Program for Founding Ambient Information Society Infrastructure of Graduate School of Information Science and Technology, Osaka University. Important dates Abstract submission due : November 10, 2009 (extended) Acceptance notification : November 15, 2009 Registration due: November 20, 2009 For further details, please visit: http://www.aut.ac.nz/study-at-aut/study-areas/engineering/senaml-2009/posters -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Tue Nov 10 10:37:46 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Tue, 10 Nov 2009 10:37:46 +0100 Subject: [AAMAS-10] - Final Call for Tutorials Message-ID: <1644623962241278024286@Galvatron> (apologies if you receive multiple copies of this call) Final 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 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 Further Information: --------------------- For further information on submission requirements and responsibilities with respect to accepted proposals please refer to the full call for proposals on the AAMAS 2010 website http://www.cse.yorku.ca/AAMAS2010/#content=call4_tutorial_proposal 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From symposium at hni.upb.de Wed Nov 11 15:00:15 2009 From: symposium at hni.upb.de (8th International Heinz Nixdorf Symposium) Date: Wed, 11 Nov 2009 15:00:15 +0100 Subject: Call for papers: 8th International Heinz Nixdorf Symposium 2010, Extended Submission Deadline Nov 22 Message-ID: <016a01ca62d7$4c459640$e4d0c2c0$@upb.de> Extended Submission Deadline - Call for Papers - 8th International Heinz Nixdorf Symposium ************************ Upon repeated requests, the deadline for submission of contributions has been extended to November 22, 2009. Please find the Call for Papers below. ************************ *** 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 22, 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mchan at inf.ed.ac.uk Wed Nov 11 17:08:35 2009 From: mchan at inf.ed.ac.uk (Michael Chan) Date: Wed, 11 Nov 2009 16:08:35 +0000 Subject: 2nd CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies. Message-ID: <4AFAE183.7060704@inf.ed.ac.uk> Apologies for possible multiple postings. ------------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------------ Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies http://dream.inf.ed.ac.uk/events/wmm-2010 31st March 2010, part of AISB'10 Convention, Leicester, UK OVERVIEW The problem of semantic misalignment - of two (or more) systems failing to understand one another when their semantic representation is not identical - occurs in a huge variety of areas: the Semantic Web, databases, natural language processing; anywhere, indeed, where semantics are necessary but centralised control is undesirable or impractical. In highly dynamic domains, where interactions are between a large, diverse and evolving community, there is a need for the resolving of these misalignments - through developing and evolving existing ontologies or interpreting unknown ontologies in terms of known ones - to be done automatically and on-the-fly. The aim of this workshop is to bring together researchers interested in the problems of automated development, evolution and interpretation of ontologies in the many different domains in which it occurs. We are primarily interested in the exchange of ideas and the stimulation of debate, and the workshop is intended to be a forum for researchers to present ongoing work and ideas and to engage in discussion with other researchers from the field. We are particularly interested in novel ideas and innovative research, which may be in its early stages, and encourage reports on work in progress. Topics of interest include: * Ontology evolution * Ontology matching and alignment * Ontology versioning * Representational or structural change * Formal aspects of ontology dynamics * Formalisation of and reasoning with contexts * Foundational issues * Social and collaborative matching * Background knowledge in matching * Extensions to ontology languages to better support change * Non-monotonic reasoning for ontologies and the Semantic Web * Inconsistency handling in evolving ontologies * Uncertainty in matching * Change propagation in ontologies and metadata * Ontologies for dynamic environments * Dynamic knowledge construction and exploitation * Matching for dynamic applictions (e.g., p2p, agents, web-services) * Case studies, software tools, use cases, applications * Open problems SUBMISSION GUIDELINES We encourage the submission of extended abstracts of 2-5 pages that discuss ongoing research, problem descriptions and overviews of the domain. Accepted papers will be included in the AISB 2010 proceedings unless the authors prefer them not to be (for example, if the work is very similar to work presented elsewhere which they nevertheless feel it would be valuable to present in this context, or if the work is at a stage where discussion would be valuable but publication would be premature). Authors wishing their submissions to be included in the convention proceedings must follow the style guide on the convention website. Submissions will be subject to light reviewing, mainly intended to check fit to workshop. Abstracts should be submitted electronically in pdf format to mchan-at-ed.ac.uk by 18th December 2009. Notification of acceptance will be sent to the submitting author on 15th February 2010. VENUE The workshop will take place at De Montfort University in Leicester, as part of the AISB 2010 Convention (http://www.aisb.org.uk/convention/aisb10/), from March 31st to 1st April, 2010. All workshop participants must be registered for the AISB 2010 Convention. Registration for this workshop is included in the convention registration fee. IMPORTANT DATES Submission: Friday, 18th December 2009 Notification: Monday, 15th February 2010 Workshop: 31st March - 1st April 2010 AISB10 Convention: 29th March - 1st April 2010 PROGRAMME Presentations: Authors of accepted abstracts will give presentations of their work; exact times to be decided. Posters: If it is not possible to fit in presentations for all accepted authors, some may be asked to present posters instead. There will be a session of 5 minute poster talks. Panel: The technical programme will end with a 90 minute panel discussion on a topic of mutual interest to be decided. Three speakers will speak for 10 minutes each with a brief to stimulate debate during the remaining 60 minutes. Discussion amongst all participants, rather than question-and-answering for the panel, will be strongly encouraged. ORGANISERS Fiona McNeill, University of Edinburgh, UK Michael Chan, University of Edinburgh, UK PROGRAMMING COMMITTEE Manuel Atencia Arcas, IIIA-CSIC, Spain Paolo Besana, University of Edinburgh, UK Alan Bundy, University of Edinburgh, UK Jerome Euzenat, INRIA Grenoble Rhone-Alpes, France Fausto Giunchiglia, University of Trento, Italy Adam Pease, Articulate Software, USA Pavel Shvaiko, TasLab, Informatica Trentina, Italy -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From evomusart at yahoo.com Wed Nov 11 19:50:05 2009 From: evomusart at yahoo.com (Penousal Machado) Date: Wed, 11 Nov 2009 10:50:05 -0800 (PST) Subject: EvoMUSART 2010 **FURTHER DEADLINE EXTENSION 30 Nov.** Message-ID: <639345.59558.qm@web59411.mail.ac4.yahoo.com> *** Several authors have contacted EvoStar to get an extension of the submission deadline. It was therefore agreed, to extend the deadline for all events. Authors who have already submitted their work may update their submission until the deadline. *** EvoMUSART 2010 - * SUBMISSION DEADLINE EXTENDED TO 30 NOVEMBER 2009 * 8th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design 7-9 April, 2010, Istanbul, Turkey http://dces.essex.ac.uk/research/evostar/evomusart.html ---------------------------------------------------------------------- INTRODUCTION ---------------------------------------------------------------------- EvoMUSART 2010 is the eighth European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design. Following the success of previous editions and the growth of interest in the field, the main goal of EvoMUSART 2010 is to bring together researchers who are using biologically inspired techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in this area. EvoMUSART 2010 will be held from 7-9 April, 2010 in Istanbul, Turkey as part of the European Conference on the Applications of Evolutionary Computation, EvoApplications 2010. Accepted papers will be presented orally at the conference and included in the EvoApplications proceedings, published by Springer Verlag in the Lecture Notes in Computer Science series. EvoMUSART 2010 important dates are: Submission deadline: November 30, 2009 Conference: 7-9 April, 2010 ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- The papers should concern the use of bio-inspired techniques (Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, etc.) in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: - Generation o Biologically Inspired Design and Art-Making Systems that create drawings, images, animations, sculptures, poetry, text, objects, designs, webpages, buildings, etc.; o Biologically Inspired Sound-Generators and Music-Systems that create music, aggregate sound, or simulate instruments, voices, effects, etc; o Robotic Based Evolutionary Art and Music; o Other related generative techniques; - Theory o Computational Aesthetics, Emotional Response, Surprise, Novelty; o Representation techniques; o Comparative analysis and classification; o Validation methodologies; o New biologically inspired computation models in art, music and design; - Computer Aided Creativity o New ways of integrating users into evolutionary computation art and music frameworks; o Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; o Collaborative distributed artificial art environments; - Automation o Techniques for automated fitness assignment; o Systems that exploit biologically inspired computation to analyze artistic objects and artifacts; ---------------------------------------------------------------------- ADDITIONAL INFORMATION AND SUBMISSION DETAILS ---------------------------------------------------------------------- Submit your manuscript, at most 10 A4 pages long, in Springer LNCS format no later than November 30, 2009. Formatting instructions available at: http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 The papers will be peer reviewed by at least three members of the program committee. Authors will be notified via email on the results of the review by 6 January 2009. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts, along with text sources and pictures, by 10 January 2010. The accepted papers will appear in the event proceedings, published in Springer LNCS Series, which will be available at the event. Further information, including the Online Submission Details, can be found on the following pages: Evo*2010: http://www.evostar.org EvoMUSART2010: http://dces.essex.ac.uk/research/evostar/evomusart.html ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- Submission: 30 November 2009 EvoMUSART: 7-9 April 2009 ---------------------------------------------------------------------- PROGRAMME COMMITTEE ---------------------------------------------------------------------- Alain Lioret, Paris 8 University, France Alan Dorin, Monash University, Australia Alejandro Pazos, University of A Coruna, Spain Amilcar Cardoso, University of Coimbra, Portugal Amy K. Hoover, University of Central Florida, USA Andrew Gildfind, Google, Inc., Australia Andrew Horner, University of Science & Technology, Hong Kong Anna Ursyn, University of Northern Colorado, USA Antonino Santos, University of A Coruna, Spain Artemis Sanchez Moroni, Renato Archer Research Center, Brazil Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carlos Grilo, Instituto Politécnico de Leiria, Portugal Christian Jacob , University of Calgary, Canada Colin Johnson, University of Kent, UK Craig Kaplan, University of Waterloo, Canada David Hart, Independent Artist, USA Eduardo Miranda, University of Plymouth, UK Eleonora Bilotta , University of Calabria, Italy Erwin Driessens, Independent Artist, Netherlands Gary Nelson, Oberlin College, USA Gerhard Widmer, Johannes Kepler University Linz, Austria Hans Dehlinger, Independent Artist, Germany James McDermott, University of Limerick, Ireland Jon McCormack, Monash University, Australia Jonatas Manzolli , UNICAMP, Brasil Jorge Tavares, University of Coimbra, Portugal Juan Romero, University of A Coruna, Spain Kenneth O. Stanley, University of Central Florida, USA Luigi Pagliarini, Pescara Electronic Artists Meeting & University of Southern Denmark, Italy Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Mauro Annunziato, Plancton Art Studio, Italy Nicolas Monmarché, University of Tours, France Oliver Bown, Monash University, Australia Pablo Gervás, Universidad Complutense de Madrid , Spain Palle Dahlstedt, Göteborg University, Sweden Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa , Portugal Peter Bentley, University College London , UK Philip Galanter, Texas A&M College of Architecture, USA Rafael Ramirez, Pompeu Fabra University, Spain Rui Pedro Paiva, University of Coimbra, Portugal Ruli Manurung, University of Indonesia, Indonesia Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, Multimedia University, Malaysia Stefano Cagnoni, University of Parma, Italy Stephen Todd, IBM, UK Steve DiPaola, Simon Fraser University, Canada Tim Blackwell, Goldsmiths College, University of London, UK Vic Ciesielski, RMIT, Australia ---------------------------------------------------------------------- EvoMUSART CHAIRS ---------------------------------------------------------------------- Penousal Machado University of Coimbra, Portugal Machado AT dei DOT uc DOT pt Gary Greenfield University of Richmond, USA ggreenfi AT richmond DOT edu From C.Orasan at wlv.ac.uk Thu Nov 12 12:11:25 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Thu, 12 Nov 2009 11:11:25 +0000 Subject: PhD Studentship in Sentiment Analysis Message-ID: <1258024285.29180.17.camel@dinel-work> PhD Studentship in Sentiment Analysis Developing advanced sentiment analysis techniques for online data The objective of the PhD is to develop advanced sentiment analysis methods for online text. The study will connect to the EU CyberEmotions (http://www.cyberemotions.eu/) project and the candidate should be prepared for travel within the EU. The successful candidate will have knowledge of opinion mining or sentiment analysis and a background in computational linguistics or information retrieval. Essential: Degree in information science, computer science or computational linguistics. Desirable: Master’s degree. Experience of writing scientific articles and programming. Statistical Cybermetrics Research Group The research group hosting the PhD are world leaders in webometrics - the development of large scale methods to extract and analyse data from the web. The research group was placed joint second in the UK in the current national Research Assessment Exercise in the Library and Information Management category. Despite the extensive use of computing, the group has social science rather than computer science research goals. (More information at http://cybermetrics.wlv.ac.uk) How to Apply The studentship will run for up to three years, subject to satisfactory progress, with an expected bursary of £12,900 p.a. To apply, email the group head Mike Thelwall (m.thelwall at wlv.ac.uk) with a maximum of 200 words stating why you would like the post and attaching a recent C.V. Applicants from outside of the UK are welcome. The deadline for receipt of an email is 30 November, 2009. Candidates selected for further consideration will be sent a reply email within 48 hours of the receipt of their original email. Non-receipt of an email means that you have not been shortlisted. -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From david at cs.uwaterloo.ca Thu Nov 12 16:58:53 2009 From: david at cs.uwaterloo.ca (David Toman) Date: Thu, 12 Nov 2009 10:58:53 -0500 Subject: Description Logics 2010: 1st call for papers Message-ID: ---------------------------------------------------------------------- 23rd International Workshop on Description Logics (DL 2010) FIRST CALL FOR PAPERS Waterloo, Ontario, Canada http://www.cs.uwaterloo.ca/conferences/dl2010/ The DL workshop is the major annual event of the description logic research community. The workshop is the premier forum to meet, discuss and exchange experiences among all those, both in the academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: January 26th, 2010 Acceptance notification: March 9th, 2010 Camera ready copies: March 30th, 2010 Early registration: March 30th, 2010 Workshop: May 4 to May 7th ---------------------------------------------------------------------- WORKSHOP SCOPE We invite contributions on all aspects of description logics, such as * foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems; * extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages; * integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems; * use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing; * building systems based on description logics, with special emphasis on optimization and implementation techniques; and * tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than January 26th, 2010. The length of submissions is limited to 11 pages, including title and abstract (can be omitted if necessary), and list of references. Papers must be submitted in PDF format via EasyChair; see http://www.easychair.org/conferences/?conf=dl2010 The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series; see http://www.CEUR-ws.org/ Accepted submissions will be selected for either oral or poster presentation; however, no distinction will be made in the workshop proceedings: all accepted papers can be 11 pages long. ---------------------------------------------------------------------- WORKSHOP CHAIRS * Grant Weddell, Waterloo (Workshop Chair) * Volker Haarslev, Concordia (PC Chair) * David Toman, Waterloo (PC Chair) ---------------------------------------------------------------------- RESOURCES * Information about registration, travel information, accommodation, and so on will be made available on the DL 2009 homepage: http://www.cs.uwaterloo.ca/conferences/dl2010/ * Enquiries about the DL 2009 workshop can be made by contacting the organizing committee: dl2010 at easychair.org * The official Description Logic home page is at http://dl.kr.org/ ---------------------------------------------------------------------- -- Dr. David Toman, Associate Professor D.R.Cheriton School of Computer Science tel: (519) 888-4567 ext 34447 University of Waterloo fax: (519) 885-1208 200 University Avenue West david at uwaterloo.ca Waterloo, Ontario, Canada N2L 3G1 http://db.uwaterloo.ca/~david From tarak.chaari at redcad.org Fri Nov 13 07:57:17 2009 From: tarak.chaari at redcad.org (Tarak CHAARI) Date: Fri, 13 Nov 2009 07:57:17 +0100 (CET) Subject: [NOTERE'2010] Last call for workshops Message-ID: <20091113065717.28E7E7758C3@bechirzalila.dyndns.org> --------------------------------------------------------------------------- NOTERE'2010: Call for workshops --------------------------------------------------------------------------- The 10th annual international conference on new distributed systems technologies (NOTERE) will be held in Tunisia (Tozeur) from 31 may to 2 june 2010. In conjunction with this event, researchers and practitioners are invited to submit proposals for workshops on specific topics related to those of the main conference (http://notere2010.redcad.org/eng/index.html). The possible dates for the workshops are 29 and 30 may. The workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers. Workshops may be full-day or half-day. A full-day workshop should select 12-16 regular papers, while a half-day workshop should select 6-8 regular papers, from a reasonable number of submissions. Each workshop subject will focus on new research challenges and technologies in distributed systems. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in the distributed systems field. Proposals for workshops should contain: * A title and a brief description of the workshop topic and content * The desired workshop length (a half or a full day). * The names, postal addresses, phone numbers, and email addresses of the organizers, with short statements of their research interests and areas of expertise. * A list of potential members of the program committee, with an indication of which members have already agreed. * A description of any shared tasks associated with the workshop. * A description of special requirements for technical needs. ----------------- Important dates: ----------------- * Workshop proposals due: November 15, 2009 * Notification of acceptance: November 22, 2009 * Workshop website and complete CfP due: December 15, 2009 * Paper submission, notification and camera-ready deadlines are to be fixed by the workshops organizers * Workshops Days: May 29-30, 2010 ------------------------- General issues: (updated) ------------------------- * The accepted papers in the workshops will be included in the main conference proceedings. * The accepted papers in the workshops THAT ARE WITTEN IN ENGLISH will be published in IEEE Xplore. * For further information, please do not hesitate to contact the NOTERE'2010 workshops chair (tarak.chaari at redcad.org) From Jules.Desharnais at ift.ulaval.ca Sat Nov 14 17:29:22 2009 From: Jules.Desharnais at ift.ulaval.ca (Jules Desharnais) Date: Sat, 14 Nov 2009 11:29:22 -0500 Subject: Second call for papers: Mathematics of Program Construction Message-ID: <4AFEDAE2.4040402@ift.ulaval.ca> SECOND CALL FOR PAPERS 10th International Conference on Mathematics of Program Construction MPC 2010 Québec City, Canada, 21-23 June 2010 http://mpc-amast2010.fsg.ulaval.ca/ Colocated with AMAST 2010 (23-26 June 2010) BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST '04), Kuressaare, Estonia (2006, colocated with AMAST '06) and Marseille, France (2008). The 2010 conference will be held in Lac-Beauport, a suburb of Québec City, Canada, and will be colocated with AMAST '10 (23-26 June 2010). INVITED SPEAKERS Roland Backhouse, University of Nottingham, UK. Others to be announced later. IMPORTANT DATES * Submission of abstracts: 7 December 2009 * Submission of full papers: 14 December 2009 * Notification of authors: 20 February 2010 * Camera-ready version: 20 March 2010 TOPICS Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security and program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident. SUBMISSION Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 7 December 2009. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 14 December 2009. There is no official page limit, but authors should strive for brevity. The web-based system EasyChair will be used for submission (https://www.easychair.org/login.cgi?conf=mpc2010). Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. In particular, they must not be submitted to AMAST 2010. Accepted papers must be presented at the conference by one of the authors. The proceedings of MPC'10 will be published in the Lecture Notes in Computer Science series of Springer-Verlag. After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. PROGRAMME COMMITTEE Jules Desharnais Université Laval, Québec, Canada (chair) Philippe Audebaud Ecole Normale Supérieure Lyon, France Ralph-Johan Back Abo Akademi University, Finland Eerke Boiten University of Kent, UK Sharon Curtis Oxford Brookes University, UK Jeremy Gibbons University of Oxford, UK Lindsay Groves Victoria University of Wellington, New Zealand Ian Hayes University of Queensland, Australia Eric Hehner University of Toronto, Canada Zhenjiang Hu National Institute of Informatics, Japan Johan Jeuring Utrecht University, Netherlands Christian Lengauer Universität Passau, Germany Bernhard Möller Universität Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan David Naumann Stevens Institute of Technology, USA José Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la República, Uruguay Christine Paulin-Mohring INRIA-Université Paris-Sud, France Steve Reeves University of Waikato, New Zealand Tim Sheard Portland State University, USA Georg Struth Sheffield University, UK Tarmo Uustalu Institute of Cybernetics, Estonia VENUE The conference will be held in the Manoir St-Castin (http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/). This resort is located on the shore of Beauport lake, 15 minutes from downtown Québec City (http://www.quebecregion.com/e/) and 15 minutes from the Jean-Lesage International Airport. LOCAL ORGANIZERS The local organizers are Claude Bolduc, Jules Desharnais and Béchir Ktari. Enquiries regarding the programme (submission, etc.) should be addressed to Jules.Desharnais at ift.ulaval.ca. From C.Orasan at wlv.ac.uk Mon Nov 16 13:59:52 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Mon, 16 Nov 2009 12:59:52 +0000 Subject: CALL FOR APPLICATIONS for Erasmus Mundus Masters Course Message-ID: <1258376392.5773.18.camel@dinel-work> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Erasmus Mundus Masters Course - International Masters in NLP and HLT CALL FOR APPLICATIONS students and scholars http://mastermundusnlp-hlt.univ-fcomte.fr/ For applicants requesting a scholarship from the Consortium (category A), the deadline for submitting applications is 3rd January 2010. For applicants requesting a scholarship from the Consortium (category B), the deadline for submitting applications is 19th April 2010 For the other applicants the deadline for submitting applications is 7th June 2010. Category A = non European and special window Category B = European and other than A Other applicants = not requesting a scholarship ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We invite applications for the Erasmus Mundus MA course on NLP and HLT, organized jointly by Universite de Franche-Comte (France), Universitat Autònoma de Barcelona (Spain), Universidade do Algarve (Portugal) and the University of Wolverhampton (UK). The objective of this Masters Course is to provide education and training of specialists in Language Technologies and their applications and prepare them for careers in the LT industry, research and academia. Students from European or non European countries will be able to select a combination of modules on topics in Linguistics, Translation Studies, Computer Science, and Mathematics, the languages of instruction being those of the country of each partner university. As part of the course, the students will complete a research project jointly supervised by lecturers from the partner universities. During the two-year programme, each student will spend two semesters at one university of his/her choice, and another two at either one or two other universities. After completing the programme, students will receive a multiple Masters degree from the universities they have attended. Up to 20 best EU and non-EU candidates will be offered a grant for the duration of the course. 4 grants will also be offered to scholars to come for 3 months in one or 2 of the partner universities. For more information on the course, please visit: http://mastermundusnlp-hlt.univ-fcomte.fr/ -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From jsabater at iiia.csic.es Mon Nov 16 17:26:04 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Mon, 16 Nov 2009 17:26:04 +0100 Subject: [AAMAS-10] - Call for Doctoral Mentoring Program Submissions Message-ID: <2984622651361812210166@Galvatron> ***** Call for Doctoral Mentoring Program Submissions ***** Ninth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2010) Toronto, Canada Symposium Date: May 10, 2010 Conference Dates: May 10-14, 2010 http://www.cse.yorku.ca/AAMAS2010/ The AAMAS 2010 doctoral mentoring program is intended for Ph.D. students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: - To match each student with an established researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. - To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. -To provide students with contacts and professional networking opportunities. The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. Submission Requirements We encourage submissions from Ph.D. students at advanced stages of their research within the Autonomous Agents and Multi-Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. The submission package should include: - A two-page extended abstract of the student's thesis (in the AAMAS submission format) - A personal research statement (one page) - A short (2-page) resume (CV) - A recommendation letter from the advisor. Submissions should be sent via email to johnt at rmit.edu.au. Important Dates Jan 30, 2010: Submission package due Feb 27, 2010: Acceptance notification May 10, 2010: Doctoral mentoring symposium For questions, please contact the doctoral mentoring co-chairs: Gita Sukthankar University of Central Florida gitars at eecs.ucf.edu John Thangarajah RMIT, Australia johnt at rmit.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Richard.Chbeir at u-bourgogne.fr Mon Nov 16 21:33:02 2009 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Mon, 16 Nov 2009 21:33:02 +0100 Subject: ACM MEDES'10: Call for Papers ... Message-ID: <1258403582.4b01b6fea0560@webmail.u-bourgogne.fr> ----- Sorry for cross-postings ----- ########################################################################################################################## The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES 2010) with the cooperation of IFIP WG 2.6 http://sigappfr.acm.org/medes October 26-29, 2010 Bangkok-Thailand Description and Objectives --------------------------- In the world of the Internet, the rapid growth and exponential use of digital medias leads to the emergence of virtual environments namely digital ecosystems composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. The digital ecosystem exhibits self-organizing environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying resources mainly comprehend data management, innovative services, computational intelligence and self-organizing platforms. Due to the multi-disciplinary nature of digital ecosystems and their characteristics, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. The conference seeks related original research papers, industrial papers and proposals for demonstrations, and tutorials and workshops. Topics ------- In this call, we solicit original research and technical papers not published elsewhere. The papers can be theoretical, practical and application oriented on the following themes (but not limited to): - Digital Ecosystem Infrastructure - Web Technologies - Social Networks - Data & Knowledge Management Systems - Multimedia Information Retrieval - Ontology Management - Services systems and Engineering - E-Services , E-Learning, E-Humanities and E-Government - Emergent Intelligence - Game Theory - Networks and Protocols - Security & Privacy - Standardization and Extensible Languages - Human-Computer Interaction - Business Intelligence - B2B, B2C, B2A, E-Commerce, E-Business, E-Marketing and E-Procurement - Digital Library - Open Source Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. Submissions should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library. Important Dates ---------------- - Submission Date: June 20th, 2010 - Notification of Acceptance: September 5th, 2010 - Camera Ready: September 20th, 2010 - Conference Dates: October 26-29, 2010 Program Chair -------------- Richard Chbeir (Bourgogne University, France) Local Organizing Committee Chair --------------------------------- Asanee Kawtrakul (NECTEC, Thailand) International Program Committee ------------------------------- (see the web site for the full list) From wjamroga at in.tu-clausthal.de Wed Nov 18 12:56:43 2009 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Wed, 18 Nov 2009 12:56:43 +0100 Subject: Call for submissions: ESSLLI 2010 student session Message-ID: <4B03E0FB.7090500@in.tu-clausthal.de> [with apologies for multiple copies] Call for submissions: *** Student session at ESSLLI 2010 *** August 9-20, 2010, Copenhagen, Denmark http://esslli2010cph.info/ The Student Session of the 22nd European Summer School in Logic, Language and Information will take place in Copenhagen, Denmark from August 9 to August 20. We invite submissions of papers describing original, unpublished research conducted in the interdisciplinary areas of LOgic and COmputation, LOgic and LAnguage, and LAnguage and COmputation. Topics of interest include, but are not limited to: * natural language semantics, natural language syntax, syntax-semantics interface, semantics-pragmatics interface, discourse semantics, vagueness in natural language, Lambek calculus * natural language processing, morphology, syntax, parsing, dialogue and discourse modelling, machine translation, computational psycholinguistics * knowledge representation and reasoning, belief dynamics, formal verification and model checking, logics for individual and collective agency, formal argumentation, game semantics Submissions can be either long or short papers: Long papers should not exceed 8 pages of length including references and appendix. Accepted long papers will be orally presented. Short papers are papers presenting initial results. Submitted papers should not exceed 4 pages of length including references and appendix. Accepted short papers will be presented in a poster session. As in previous years, Springer is offering 1000€ in prizes. The sum will be evenly split among the best short and the best long papers. For more information, see http://marija.gforge.uni.lu/esslli2010.html For more information on ESSLLI 2010 see http://esslli2010cph.info/ -- Wojtek Jamroga Faculty of Science, Technology and Communication University of Luxembourg http://www2.in.tu-clausthal.de/~wjamroga/ From jsabater at iiia.csic.es Thu Nov 19 10:41:27 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Thu, 19 Nov 2009 10:41:27 +0100 Subject: Call for IFAAMAS-09 Victor Lesser Distinguished Dissertation Award nominations - NEW CONTACT PERSON Message-ID: <3016624013922510726623@Galvatron> ******************************************************************************** Call for IFAAMAS-09 Victor Lesser Distinguished Dissertation Award nominations ******************************************************************************** IMPORTANT: The contact person has changed. Nominations are invited for the 2009 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems ([[http://www.ifaamas.org]]). This award includes a certificate signed by the IFAAMAS Chair and 1500EUR. Eligible doctoral dissertations are those defended between January 1, 2009 and December 31, 2009 in the area of Autonomous Agents or Multiagent Systems. The award will be based on the originality, significance, and real or potential impact of the work. Evidence of such impact may come from existing pre- or post-defense publications of the work at highly selective conferences and journals, and/or from comments of the supervisor and references. Work that resulted primarily from the student's initiative will be considered more favorably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right not to award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents: *A.* A pdf file of the dissertation. If the dissertation is not written in English, the nomination must include a long paper in English, with the nominee as the first author, published in a journal or a prestigious conference. *B.* A list of citations to published papers based primarily on work reported in the dissertation with links to corresponding pdf files. *C.* A recommendation from the supervisor nominating the dissertation for the IFAAMAS-09 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2009. *D.* Up to three reference letters of no more than 500 words in length, signed and scanned as pdf files, from researchers familiar with the research of the candidate and with related research expertise. These documents must be placed on a web page and only a link to this page e-mailed to the chair of the selection committee, Michael Huhns, at [[huhns at sc.edu]] on or before February 5, 2010. Though the nomination is to be submitted by the student's supervisor, it is assumed that the student has consented that the dissertation be considered for this award and, if selected, commits to attend the AAMAS10 conference where he/she will receive the award and will give an hour-long presentation on this work in a special session. The cost of attending the conference is not covered by the award. Selection committee: Michael Huhns (Chair) Ana Bazzan Ariel Procaccia Mike Wooldridge Makoto Yokoo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp2010a at cicling.org Thu Nov 19 12:20:18 2009 From: cfp2010a at cicling.org (Alexander Gelbukh (CICLing-2010)) Date: Thu, 19 Nov 2009 05:20:18 -0600 Subject: CFP one-week reminder: CICLing 2010 - Natural Language Processing - Romania - Springer LNCS Message-ID: CICLing 2010 11th International Conference on Intelligent Text Processing and Computational Linguistics; post-conf event: Promise 2010 workshop Iasi, Romania. March 21-27, 2010. www.CICLing.org/2010 PUBLICATION: LNCS: Springer Lecture Notes in Computer Science, poster session: special issue of a journal KEYNOTE SPEAKERS: Nicoletta Calzolari, James Pustejovsky, Hans Uszkoreit, Shuly Wintner. TOURS: Medieval castles (including Dracula castle), painted monasteries, salt-mine, possibly winery, bison reservation, Red Lake, and more. AWARDS: Best paper, best student paper, best presentation, best poster. SUBMISSION DEADLINE: Abstract: right now; Full paper: November 23 (contact us for late submissions) TOPICS: All topics related with computational linguistics, natural language processing, human language technologies, information retrieval, etc. Complete CFP and contact: www.CICLing.org/2010. Alexander Gelbukh www.Gelbukh.com From hr at sti2.at Thu Nov 19 15:23:20 2009 From: hr at sti2.at (HR) Date: Thu, 19 Nov 2009 15:23:20 +0100 Subject: Job ad: Scientific Employee In-Reply-To: <4A27D6E4.1010401@sti2.at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> Message-ID: <4B0554D8.4010503@sti2.at> Dear All, the Semantic Technology Institute at the University of Innsbruck (Austria) is currently seeking candidates for the following positions: PhD Researcher Post-Doc/Senior Researcher More Information on the job an application procedure can be found at http://www.sti-innsbruck.at/about/jobs/ Best Regards, Human Resources STI Innsbruck Technikerstraß1 21a 6020 Innsbruck Austria From christian.guttmann at med.monash.edu.au Fri Nov 20 00:51:46 2009 From: christian.guttmann at med.monash.edu.au (Christian Guttmann) Date: Fri, 20 Nov 2009 10:51:46 +1100 Subject: CARE 2009 -- Call for Participation, 1st December 2009 Message-ID: <4B05DA12.5070404@med.monash.edu.au> Apologies for cross-postings. ******************************************************************************** CALL FOR PARTICIPATION International Workshop on Collaborative Agents -- REsearch and development (CARE) 2009 http://www.csse.monash.edu.au/~xtg/CARE2009/ held in conjunction with the 22nd Australasian Joint Conference on Artificial Intelligence AI09 ******************************************************************************** December 01, 2009 (Tuesday) ICT Building, Melbourne University, Australia Invited speaker --------------- Professor Michael Luck (King's College, University of London, United Kingdom) Flexible Behaviour Regulation in Agent Based Systems Workshop Summary ---------------- This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act in complex environments. The list of accepted papers of CARE 2009: http://www.csse.monash.edu.au/~xtg/CARE2009/listOfAcceptedPapers.html The preliminary schedule of CARE 2009: http://www.csse.monash.edu.au/~xtg/CARE2009/care2009Schedule.html 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 environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. More info: http://www.csse.monash.edu.au/~xtg/CARE2009/ Registration ------------ $300, non-student, non-AI participant $150, student, non-AI participant (AI-participant, $100 and $50) REGISTER HERE: http://www.infotech.monash.edu.au/about/news/conferences/ai09/Pages/Registration.html Accommodation Info for Melbourne http://www.infotech.monash.edu.au/about/news/conferences/ai09/Pages/Accommodation.html 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) Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil) -- 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 jiazhang at cs.niu.edu Fri Nov 20 04:09:18 2009 From: jiazhang at cs.niu.edu (Jia Zhang) Date: Thu, 19 Nov 2009 21:09:18 -0600 Subject: Call for Papers: IEEE International Conference on Web Services (2010) Message-ID: <035e01ca698e$dd82cd90$988868b0$@niu.edu> Apologies for cross-postings. Please send it to interested colleagues and students. Thanks! ICWS 2010 Submission Site is Open: http://conferences.computer.org/icws/2010/submission.html ::::::::::::::::::::::::: CALL FOR PAPERS ::::::::::::::::::::::::: The 8th IEEE International Conference on Web Services (ICWS 2010) http://conferences.computer.org/icws/2010/ or http://icws.org July 5-10, 2010, Miami, FL, USA Theme: Innovations for Web-based Services Sponsored by: IEEE Computer Society Technical Committee on Services Computing (http://tab.computer.org/tcsc) & Services Society (http://www.servicessociety.org) (Approval Pending) *************************************** NEWS ********************** Call For Papers: IEEE Transactions on Services Computing (TSC, http://computer.org/tsc). Special theme issues from ICWS 2010 will be published in TSC. Call For Papers: International Journal of Web Services Research (JWSR, http://www.servicescomputing.org/jwsr/) has been indexed by SCI-E and EI. According to Thomson Scientific, JWSR is listed in the 2008 Journal Citation Report with an Impact Factor of 1.200. The journal ranks #47 of 99 in the Computer Science, Information Systems and ranks #37 of 86 in Computer Science, Software Engineering. Call For papers: International Journal of Business Process Integration and Management (IJBPIM, http://ijbpim.servicescomputing.org/) ******************************************************************** ICWS 2010 organizing committee invites you to participate in the eighth edition of ICWS, to be held in Miami, FL, USA. ICWS has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of Web services, identify emerging research topics, and define the future of Web-based services. ICWS 2010 is sponsored by IEEE Computer Society. It is the eighth year of gathering to formally explore "Services" Science and Technology in the field of Services Computing, which was formally promoted by IEEE Computer Society since 2003. ICWS 2010 will be co-located with the 6th IEEE 2010 World Congress on Services (SERVICES 2010), the 3rd IEEE 2010 International Conference on Cloud Computing (CLOUD 2010), and the 7th IEEE 2010 International Conference on Services Computing (SCC 2010) to grow itself to continute to be the most prestigious professional conference dedicated to Web services. The technical program of ICWS 2010 will include a refereed research track, an application and industry track, a work-in-progress track, and a poster track. The research track will highlight foundational work that strives to push beyond the limits of existing Web services platforms and products, including experimental efforts, innovative systems and investigations that identify weaknesses in the existing Web services models. The ICWS 2010 research track seeks original, UNPUBLISHED research papers reporting substantive new work in various aspects of Web services. Research papers must properly cite related work and clearly indicate their contributions to the field of Web services. All topics relevant to Web services are of interest, but the conference program committee particularly encourages submissions related to the following aspects of Web services: Foundations of Web Services * Service-Oriented Architecture (SOA) and Evolutions * Models, methodologies, and tools (including analysis, design, modeling, and composition) * Publishing, discovery, and selection (including in mobile settings) * Validation and testing (including risk assessment and tracking) * Management and governance (including monitoring, QoS, privacy, trust) * Formal methods (including modeling and specification, data and process semantics, type systems, security, QoS, and other properties) * Standards and implementation and deployment technologies Web-based Services * Web 2.0 and Web X.0 concepts in Web services settings * Software as a Service (SaaS) * Service As Software * Cloud Computing * Technologies for building and operating massive data centers (including middleware) Web Services Applications beyond Web * Applications (including mobile, scientific, Grid and utility, autonomic, and embedded computing) * Business process management (including business protocols, business intelligence, service level agreements, and business licensing models) All submitted manuscripts will be peer-reviewed by at least 3 program committee members. Accepted papers will appear in the conference proceedings published by the IEEE Computer Society Press. Extended versions of selected papers published in the ICWS 2010 will be invited through a fast review channel for potential publication in the IEEE Transactions on Services Computing (TSC), International Journal of Web Services Research (JWSR) and the International Journal of Business Process Integration and Management (IJBPIM). Both the ICWS Proceedings and JWSR are included in EI Compendex. JWSR is also indexed in SCI-E. Submitted manuscripts will be limited to 10 (IEEE Proceedings style) pages and REQUIRED to be formatted using the IEEE Proceedings template. Unformatted papers and papers beyond 10 pages will not be reviewed. Electronic submission of manuscripts (in PDF or Word format) is required. Detailed instructions for electronic paper preparation and submission, panel proposals, tutorial proposals, workshop proposals, and review process can be found at http://conferences.computer.org/icws/2010/. At least one author of each accepted paper is required to register to the conference and present the paper. One Best Paper award and one Best Student Paper award will be granted at ICWS 2010. The first author of the best student paper must be a full-time student. If your paper is application or solution oriented, you can consider submitting it to ICWS 2010 Applications and Industry Track. Manuscripts submitted to the Research Track focusing on application or solution descriptions may be recommended to the Applications and Industry Track for further consideration if the session slots are available. Submitted papers with novel ideas but not accepted by the Research Track and Applications and Industry Track may also be recommended for potential consideration by the chairs of the Work-in-Progress Track and Poster Track of ICWS 2010, and other tracks and workshops of SERVICES 2010. ICWS Program Committee requires that authors adopt the keywords and index terms in Services Computing "M" from the IEEE CS taxonomy (computer.org/tsc). Important Dates: ============== Abstract Submission Deadline: Feb. 15, 2010 Paper Submission Due Date: Feb. 15, 2010 Decision Notification (Electronic): April 15, 2010 Camera-Ready Copy Due Date & Pre-registration Due: April 30, 2010 Review Policy ============= IEEE Policy and professional ethics require that referees treat the contents of papers under review as privileged information not to be disclosed to others before publication. It is expected that no one with access to a paper under review will make any inappropriate use of the special knowledge that access provides. Contents of abstracts submitted to conference program committees should be regarded as privileged as well, and handled in the same manner. The Conference Publications Chair shall ensure that referees adhere to this practice. Organizers of IEEE conferences are expected to provide an appropriate forum for the oral presentations and discussions of all accepted papers. An author, in offering a paper for presentation at an IEEE conference, or accepting an invitation to present a paper, is expected to be present at the meeting to deliver the paper. In the event that circumstances unknown at the time of submission of a paper preclude its presentation by an author, the program chair should be informed on time, and appropriate substitute arrangements should be made. In some cases it may help reduce no-shows for the Conference to require advance registration together with the submission of the final manuscript. ======================================================== Please join us at: IEEE Services Computing Community To join, please visit https://www.ieeecommunities.org/services and follow instructions to apply for free membership. As a member, you will be permitted to login and participate in the community, including accessing IEEE Body of Knowledge on Services Computing (servicescomputing.tv). ---------------------------------------------------------------- ***For any queries, please contact the Steering Committee Chair LJ Zhang: zhanglj AT ieee.org or the administration office at icws.ieeecs AT gmail.com. *** _______________________________________________ Please do not post msgs that are not relevant to the database community at large. Go to www.cs.wisc.edu/dbworld for guidelines and posting forms. To unsubscribe, go to https://lists.cs.wisc.edu/mailman/listinfo/dbworld From robert at grid.chu.edu.tw Fri Nov 20 12:37:18 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Fri, 20 Nov 2009 19:37:18 +0800 Subject: Call for Papers/Workshop Proposals Participantion (GPC-10, UIC-10, MTPP-10, ICA3PP-10, FC-10, SMPE-10, FutureTech-10, BodyNets-10) Message-ID: <200911201137.nAKBbIVl002532@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alfrednabbles2 at gmail.com Fri Nov 20 18:48:39 2009 From: alfrednabbles2 at gmail.com (Alfred Nabbles) Date: Fri, 20 Nov 2009 12:48:39 -0500 Subject: MULTICONF-10 Call for papers Message-ID: <2524a0d20911200948r2fd9854ev47eae3ae8b4d95b5@mail.gmail.com> MULTICONF-10 Call for papers The 2010 multi-conference (MULTICONF-10) (website: http://www.promoteresearch.org) will be held during July 12-14, 2010 in Orlando, Florida, USA. The primary goal of MULTICONF is to promote research and developmental activities in computer science, information technology, control engineering, and related fields. Another goal is to promote the dissemination of research to a multidisciplinary audience and to facilitate communication among researchers, developers, practitioners in different fields. The following conferences are planned to be organized as part of MULTICONF-10. · International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10) · International Conference on Automation, Robotics and Control Systems (ARCS-10) · International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-10) · International Conference on Computer Networks (CN-10) · International Conference on Enterprise Information Systems and Web Technologies (EISWT-10) · International Conference on High Performance Computing Systems (HPCS-10) · International Conference on Information Security and Privacy (ISP-10) · International Conference on Image and Video Processing and Computer Vision (IVPCV-10) · International Conference on Software Engineering Theory and Practice (SETP-10) · International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10) We invite draft paper submissions. Please see the website http://www.promoteresearch.org for more details. Sincerely Alfred Nabbles Publicity committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wchen at i-a-i.com Tue Nov 24 03:00:11 2009 From: wchen at i-a-i.com (Wei Chen) Date: Mon, 23 Nov 2009 21:00:11 -0500 Subject: CFP: International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2010) Message-ID: <01e701ca6ca9$db458680$91d09380$@com> International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2010) CALL FOR PAPERS As part of The 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010) http://cisedu.us/cis/cts/10/main/callForPapers.jsp May 17 – 21, 2010 The Westin Lombard Yorktown Center Chicago, Illinois, USA Submission Deadline: January 7, 2010 SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) have grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, “where are all the intelligent agents?" ). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities ─ intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents’ underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting divisions of labor between CTS and MAS elements during execution. Workshop topics include (but are not limited to) combinations of the following issues: • MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents • CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications Important: a submitted paper must have at least one keyword from EACH column! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION We invite researchers in academia, industry, and research institutions to submit papers on the above or related topics. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page (together with the actual paper as a whole PDF document) with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words. The full manuscript should be at most 10 pages (the cover page does NOT count towards this page limit) using the two-column IEEE format. Additional pages will be charged an additional fee. Please include page numbers on all submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at http://www.easychair.org/conferences/?conf=imasc2010. Only PDF files will be accepted. Each paper will receive a minimum of three reviews. Papers will be selected based on their relevance, significance, originality, technical clarity, and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one author of an accepted paper must register for and present the paper at the workshop for the paper to be published in the Symposium Proceedings. Instructions for final manuscript format and publication requirements will be posted on the CTS 2010 Symposium web site later. It is our intent to have the Symposium Proceedings formally published in hard and soft copies and be available at the time of the conference. The Proceedings are projected to be included in the IEEE Digital Library and indexed accordingly. IMPORTANT DATES Paper Submissions: ----------------------------- January 7, 2010 Acceptance Notification: ----------------------- February 8, 2010 Camera Ready Papers and Registration Due: ------ March 1, 2010 WORKSHOP CO-CHAIRS Dr. Wei Chen (Primary Contact) Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA (301) 294-5278, wchen at i-a-i.com Dr. Edmund Durfee Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor MI 48109-2121, USA (734) 936-1563, durfee at umich.edu Dr. Toru Ishida Department of Social Informatics, Kyoto University Yoshida Honmachi, Sakyo, Kyoto, 606-8501, Japan +81 742 70 2280, ishida at i.kyoto-u.ac.jp Dr. Robert Neches Information Sciences Institute, University of Southern California 4676 Admiralty Way, Marina del Rey, CA 90292, USA +1-310-448-8481, RNeches at isi.edu INTERNATIONAL PROGRAM COMMITTEE: All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2010. • Myriam Abramson Naval Research Laboratory, USA • Kevin Couśin Air Force Institute of Technology, USA • Tim Finin University of Maryland, Baltimore County, USA • Patricia Fitzgerald Air Force Research Laboratory, USA • Zhi Jin Peking University, China • Jason Li Intelligent Automation, Inc., USA • Peng Liu Pennsylvania State University, USA • Margaret Lyell Intelligent Automation, Inc., USA • Christopher Lynnes National Aeronautics and Space Administration (NASA), USA • Mark Maybury MITRE Corporation, USA • Bill McQuay Air Force Research Laboratory, USA • Jack Meier Boeing Corporation, USA • Pavel Nahodil Czech Technical University, Czech republic • Volkmar Schau Friedrich-Schiller-Universität Jena, Germany • Waleed W. Smari University of Dayton, USA • Elena Simperl University of Innsbruck, Austria • Munindar P. Singh North Carolina State University, USA • Pedro Szekely University of Southern California, USA • Anni Tsai Army CERDEC, USA • John Yen Pennsylvania State University, USA • Chengqi Zhang University of Technology - Sydney, Australia • Haibin Zhu Nipissing University, Canada If you have questions regarding workshop paper submission or the workshop content, please contact the workshop organizers. For information or questions about Symposium's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral consortium, and any other information about the conference location, registration, paper formatting, etc., please consult the Symposium’s web site at URL: http://cisedu.us/cis/cts/10/main/callForPapers.jsp or contact one of the Symposium's Co-Chairs: Bill McQuay at William.McQuay at us.af.mil and Waleed W. Smari at Smari at arys.org. __________________________________________________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. From renata at ime.usp.br Tue Nov 24 12:52:59 2009 From: renata at ime.usp.br (Renata Wassermann) Date: Tue, 24 Nov 2009 09:52:59 -0200 Subject: Second call for papers: NMR sub-workshop on ontologies Message-ID: <49d372b90911240352l5e17d937q2e907a22dca74bb2@mail.gmail.com> Sincere apologies for multiple postings. ====================================================== CALL FOR PAPERS The NMR'2010 Workshop on Commonsense and Non-Monotonic Reasoning for Ontologies http://ksg.meraka.org.za/nmronto2010 Collocated With KR'2010 May 14-16 2010 Sutton Place, Toronto, Canada ====================================================== -- Workshop Description -- Classical reasoning over ontologies has reached the point where it can deal with large real-world ontologies. This can largely be attributed to advances in research on description logics (DLs). A good example is the medical ontology SNOMED-CT, containing over 300,000 concepts and millions of binary relationships between them. SNOMED-CT can be represented as a DL ontology, and its subsumption hierarchy can be computed in a matter of minutes. The obvious next step now is to extend reasoning over ontologies to cover non-classical cases, such as commonsense reasoning, a well established branch of AI. The first steps in that direction have been done by the ontology community, and while research along these lines has already resulted in initial tangible results, there is a need for a more coherent approach in order to speed up progress. This need provides interesting challenges to both the ontology and commonsense reasoning communities. For the commonsense reasoning community it is a chance to determine to what extent techniques developed in its sub-areas, like e.g. non-monotonic reasoning (NMR), can be tailored to the requirements of the ontology community. For the ontology community it is an opportunity to determine whether existing results in this area can be sharpened and improved on by referring to results in the broader area of commonsense reasoning. The topic of the workshop will hence be combining commonsense reasoning approaches and techniques with ontologies. One of the main motivations is to bring ideas from the well developed area of non-monotonic reasoning, like e.g. reasoning about actions, argumentation and belief revision, for discussion in the realm of ontology engineering: evolution, debugging, update, merging, etc. Certainly these tasks can benefit from most of the advances in NMR and give new insights for research in that area as well. Commonsense and Non-Monotonic Reasoning for Ontologies will be of interest to: - Researchers in the ontology community, particularly DL researchers, interested in extending ontological reasoning to non-classical cases. - Researchers in the knowledge representation and commonsense reasoning community interested in applying existing NMR techniques to the area of ontologies. This workshop will focus on an emerging hot topic. As such, one of its immediate outcomes will be boosting a new and exciting hybrid research domain combining commonsense reasoning and knowledge engineering for ontologies. -- Topics of Interest -- Submissions are welcome on the role of commonsense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging and Update - Ontology Merging, Alignment and Integration - Inconsistency Handling - Belief Revision and Theory Change for ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - NMR methods for light-weight DL ontologies - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning - Ontology Fault Diagnosis and Repair - Preferences and Ontologies - Formal Concept Analysis and Ontologies -- Submission Instructions -- Authors are kindly requested to follow the instructions for authors on the NMR website at http://www.cs.sfu.ca/news/conferences/NMR/2010/NMR_2010/Author_Instructions.html Please submit to http://www.easychair.org/conferences/?conf=nmronto2010 -- Important Dates - Papers due: January 29 (Friday), 2010 - Notification: March 1 (Monday), 2010 - Final version: April 6 (Tuesday), 2010 - Workshop: May 14-16, 2010 -- Additional Information -- Please visit the NMR website at http://www.cs.sfu.ca/news/conferences/NMR/2010/NMR_2010/NMR10.html for more information about NMR, the venue of the workshop, the city of Toronto, accommodation and travel tips. -- Workshop Chairs -- - Ivan José Varzinczak (Meraka Institute, South Africa) http://ksg.meraka.org.za/~ivarzinczak - Renata Wassermann (Universidade de São Paulo, Brazil) http://www.ime.usp.br/~renata -- Program Committee -- - Grigoris Antoniou (University of Crete and Information Systems Laboratory, Greece) - Fábio Cozman (Universidade de São Paulo, Brazil) - Giorgos Flouris (University of Crete and Information Systems Laboratory, Greece) - Norman Foo (University of New South Wales, Australia) - Zhisheng Huang (Free University of Amsterdam, Netherlands) - Jos Lehmann (University of Edinburgh, United Kingdom) - Maurice Pagnucco (University of New South Wales, Australia) - Jeff Pan (University of Aberdeen, United Kingdom) - Bijan Parsia (University of Manchester, United Kingdom) - Laurent Perrussel (Université de Toulouse 1, France) - Guilin Qi (Universitaet Karlsruhe, Germany) -- Renata Wassermann Associate Professor Computer Science Department University of São Paulo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ian at epimorphics.com Wed Nov 25 22:41:22 2009 From: ian at epimorphics.com (Ian Dickinson) Date: Wed, 25 Nov 2009 21:41:22 +0000 Subject: Second CfP: VISSW 2010 Message-ID: Second CALL FOR PAPERS ------------- 2nd International Workshop on Visual Interfaces to the Social and Semantic Web (VISSW 2010) In conjunction with the International Conference on Intelligent User Interfaces (IUI 2010) Hong Kong, 7th February 2010 http://www.smart-ui.org/events/vissw2010/ INTRODUCTION ------------ The continued growth and importance of the Social Web has resulted in ever increasing volumes of data created, published and consumed by users. This vast amount of data takes many forms, including text, images, video and more recently streams of status information from applications such as Twitter. Not only is this data accessible through more traditional means, such as desktop and laptop computers, but also via diverse platforms such as mobile phones and set-top boxes that bring unique constraints in terms of computing resources and user interfaces. Through the increasing availability of Web APIs, data that has traditionally been coupled with a specific application may now be exposed through novel interfaces developed by third parties, providing functionality not previously anticipated by the data owner. In tandem with the growth of the Social Web, the Web at large has experienced a significant evolution into a Web not just of linked documents, but also of Linked Data. This development, which exploits the Semantic Web technology stack, allows relationships to be expressed between items in distributed data sets, paving the way for integration of raw data from multiple, heterogeneous sources. Coupled with the increasing availability of APIs that expose structured (if not linked) data from the Social Web, application developers have a wealth of data available to them upon which they can build compelling visual interfaces. The ability to easily integrate vast amounts of data from across the Social and Semantic Web raises significant and exciting research challenges, not least of which how to provide effective access to and navigation across vast, heterogeneous and interconnected data sources. However, the need for intelligent and visual human interfaces to this evolving Web is not limited simply to the modalities of searching and browsing, important as these are. As the Web becomes increasingly populated with data, continues to evolve from a read-mainly to a read-write medium, and the level of social interaction supported on the Web increases, there is also a pressing need to support end-users who engage in a wide range of online tasks, such as publishing and sharing their own data on the Web. This workshop aims to bring together researchers and practitioners from diverse, complementary fields to discuss the latest research results and challenges in designing, implementing, and evaluating intelligent interfaces to structured or Linked Data in the context of the Social or Semantic Web. The workshop will serve as an opportunity for researchers to gain feedback on their work, and to identify potential collaborations with their peers. We believe that the potential for fostering links between a variety of facets of the IUI community will help to ensure an exciting workshop program. Information about the previous workshop can be found at: http://www.smart-ui.org/events/vissw2009/ TOPICS OF INTEREST ------------------ Topics of interest include, but are not limited to:    * Interfaces          o Novel visualisation of structured, linked and aggregated data, originating from multiple sources.          o Novel interfaces for high-volume transient data, e.g. feeds, streams and sensors.          o 'Living' interfaces to constantly evolving data, vocabularies, and emerging links between them.          o Task-centric interfaces for structured and/or Linked Data.          o Interface components for displaying/interacting with aggregated, heterogeneous Linked Data, e.g. components for displaying provenance information.          o Lightweight components and processes for casual users to publish/share their own content on the Web.          o Ontology-based visualization of collections of data.    * Interaction Paradigms          o Novel interaction paradigms for textual, photos, music, videos, etc. on alternative platforms (e.g. mobile devices, set-top boxes, shared/public displays).          o Novel interaction paradigms with structured, linked and aggregated data.          o Investigation of task-centric interaction paradigms beyond search and browse.          o Ontology-based interaction with collections of data.          o Semantic models for interaction and their reuse on the web    * Empirical Studies and Evaluation          o Empirical studies that can guide the development of interfaces for Linked Data.          o Use cases which present novel visualization requirements and expose interesting interaction challenges on the Social and Semantic Web.          o Lessons learned from user-studies, pilot systems and live deployments in the Social and Semantic Web. SUBMISSIONS ----------- We welcome three types of submissions:    * Full papers which should be between 6 and 10 pages.    * Short papers and position papers which should be up to 5 pages.    * Demo papers which should be a 2 page description with a screenshot of the working prototype or preferably a link to an online demo. Submissions must be in PDF format and prepared according to the IUI format. Papers will be peer-reviewed by three independent reviewers. Papers can be submitted via the EasyChair system at: http://www.easychair.org/conferences?conf=vissw2010 . Accepted papers will be published in CEUR-WS.org proceedings. IMPORTANT DATES ---------------    * Paper submission deadline: 30th November, 2009 (11:59pm Hawaii time)    * Notification of acceptance: 18th December, 2009    * Camera-ready paper submission deadline: 12th January, 2010 REGISTRATION ------------ Please refer to the main conference website for registration details: http://www.iuiconf.org/ ORGANISERS ----------    * Siegfried Handschuh, DERI, NUI Galway, Ireland    * Tom Heath, Talis Information Ltd, UK    * VinhTuan Thai, DERI, NUI Galway, Ireland    * Ian Dickinson, Epimorphics Ltd, UK    * Lora Aroyo, VU Amsterdam, The Netherlands    * Valentina Presutti, Semantic Technology Laboratory (STLab), ISTC, Italy PROGRAMME COMMITTEE -------------------    * Peter Brusilovsky, University of Pittsburgh, US    * Karen Church, Telefonica Research, ES    * Duane Degler, Design for Context, US    * Bertrand Delacretaz, Day, CH    * Aldo Gangemi, CNR-ISTC, IT    * Alain Giboin, INRIA, FR    * Michael Hausenblas, DERI, NUI Galway, IE    * Nathalie Henry, Microsoft Research, US    * David Karger, MIT, US    * Nicholas J. Kings, BT, UK    * Georgi Kobilarov, FU Berlin, DE    * Steffen Lohmann, University of Duisburg, DE    * Wolfgang Maass, University of St.Gallen, CH    * Knud Möller, DERI, NUI Galway, IE    * Enrico Motta, The Open University, UK    * Alexandre Passant, DERI, NUI Galway, IE    * Adam Perer, IBM Research, IL    * Massimo Romanelli, DFKI, DE    * Lloyd Rutledge, Open Universiteit, NL    * Harald Sack, Hasso-Plattner-Institut, DE    * Sebastian Schaffert, Salzburg Research, AT    * Bernhard Schandl, Uni Vienna, AT    * Daniel Schwabe, PUC-Rio, BR    * Barry Smyth, University College Dublin, IE    * Carlo Torniai, Simon Fraser University, CA    * Fabio Vitali, University of Bologna, IT    * Earl Wagner, Northwestern University, US    * Jun Zhao, Oxford University, UK CONTACT INFORMATION ------------------- If you have any questions, please feel free to contact the workshop organizers at: vissw2010 [at] easychair [dot] org -------------- nächster Teil -------------- CALL FOR PAPERS --------------- 2nd International Workshop on Visual Interfaces to the Social and Semantic Web (VISSW 2010) In conjunction with the International Conference on Intelligent User Interfaces (IUI 2010) Hong Kong, 7th February 2010 http://www.smart-ui.org/events/vissw2010/ INTRODUCTION ------------ The continued growth and importance of the Social Web has resulted in ever increasing volumes of data created, published and consumed by users. This vast amount of data takes many forms, including text, images, video and more recently streams of status information from applications such as Twitter. Not only is this data accessible through more traditional means, such as desktop and laptop computers, but also via diverse platforms such as mobile phones and set-top boxes that bring unique constraints in terms of computing resources and user interfaces. Through the increasing availability of Web APIs, data that has traditionally been coupled with a specific application may now be exposed through novel interfaces developed by third parties, providing functionality not previously anticipated by the data owner. In tandem with the growth of the Social Web, the Web at large has experienced a significant evolution into a Web not just of linked documents, but also of Linked Data. This development, which exploits the Semantic Web technology stack, allows relationships to be expressed between items in distributed data sets, paving the way for integration of raw data from multiple, heterogeneous sources. Coupled with the increasing availability of APIs that expose structured (if not linked) data from the Social Web, application developers have a wealth of data available to them upon which they can build compelling visual interfaces. The ability to easily integrate vast amounts of data from across the Social and Semantic Web raises significant and exciting research challenges, not least of which how to provide effective access to and navigation across vast, heterogeneous and interconnected data sources. However, the need for intelligent and visual human interfaces to this evolving Web is not limited simply to the modalities of searching and browsing, important as these are. As the Web becomes increasingly populated with data, continues to evolve from a read-mainly to a read-write medium, and the level of social interaction supported on the Web increases, there is also a pressing need to support end-users who engage in a wide range of online tasks, such as publishing and sharing their own data on the Web. This workshop aims to bring together researchers and practitioners from diverse, complementary fields to discuss the latest research results and challenges in designing, implementing, and evaluating intelligent interfaces to structured or Linked Data in the context of the Social or Semantic Web. The workshop will serve as an opportunity for researchers to gain feedback on their work, and to identify potential collaborations with their peers. We believe that the potential for fostering links between a variety of facets of the IUI community will help to ensure an exciting workshop program. Information about the previous workshop can be found at: http://www.smart-ui.org/events/vissw2009/ TOPICS OF INTEREST ------------------ Topics of interest include, but are not limited to: * Interfaces o Novel visualisation of structured, linked and aggregated data, originating from multiple sources. o Novel interfaces for high-volume transient data, e.g. feeds, streams and sensors. o 'Living' interfaces to constantly evolving data, vocabularies, and emerging links between them. o Task-centric interfaces for structured and/or Linked Data. o Interface components for displaying/interacting with aggregated, heterogeneous Linked Data, e.g. components for displaying provenance information. o Lightweight components and processes for casual users to publish/share their own content on the Web. o Ontology-based visualization of collections of data. * Interaction Paradigms o Novel interaction paradigms for textual, photos, music, videos, etc. on alternative platforms (e.g. mobile devices, set-top boxes, shared/public displays). o Novel interaction paradigms with structured, linked and aggregated data. o Investigation of task-centric interaction paradigms beyond search and browse. o Ontology-based interaction with collections of data. o Semantic models for interaction and their reuse on the web * Empirical Studies and Evaluation o Empirical studies that can guide the development of interfaces for Linked Data. o Use cases which present novel visualization requirements and expose interesting interaction challenges on the Social and Semantic Web. o Lessons learned from user-studies, pilot systems and live deployments in the Social and Semantic Web. SUBMISSIONS ----------- We welcome three types of submissions: * Full papers which should be between 6 and 10 pages. * Short papers and position papers which should be up to 5 pages. * Demo papers which should be a 2 page description with a screenshot of the working prototype or preferably a link to an online demo. Submissions must be in PDF format and prepared according to the IUI format. Papers will be peer-reviewed by three independent reviewers. Papers can be submitted via the EasyChair system at: http://www.easychair.org/conferences?conf=vissw2010 . Accepted papers will be published in CEUR-WS.org proceedings. IMPORTANT DATES --------------- * Paper submission deadline: 30th November, 2009 (11:59pm Hawaii time) * Notification of acceptance: 18th December, 2009 * Camera-ready paper submission deadline: 12th January, 2010 REGISTRATION ------------ Please refer to the main conference website for registration details: http://www.iuiconf.org/ ORGANISERS ---------- * Siegfried Handschuh, DERI, NUI Galway, Ireland * Tom Heath, Talis Information Ltd, UK * VinhTuan Thai, DERI, NUI Galway, Ireland * Ian Dickinson, Epimorphics Ltd, UK * Lora Aroyo, VU Amsterdam, The Netherlands * Valentina Presutti, Semantic Technology Laboratory (STLab), ISTC, Italy PROGRAMME COMMITTEE ------------------- * Peter Brusilovsky, University of Pittsburgh, US * Karen Church, Telefonica Research, ES * Duane Degler, Design for Context, US * Bertrand Delacretaz, Day, CH * Aldo Gangemi, CNR-ISTC, IT * Alain Giboin, INRIA, FR * Michael Hausenblas, DERI, NUI Galway, IE * Nathalie Henry, Microsoft Research, US * David Karger, MIT, US * Nicholas J. Kings, BT, UK * Georgi Kobilarov, FU Berlin, DE * Steffen Lohmann, University of Duisburg, DE * Wolfgang Maass, University of St.Gallen, CH * Knud Möller, DERI, NUI Galway, IE * Enrico Motta, The Open University, UK * Alexandre Passant, DERI, NUI Galway, IE * Adam Perer, IBM Research, IL * Massimo Romanelli, DFKI, DE * Lloyd Rutledge, Open Universiteit, NL * Harald Sack, Hasso-Plattner-Institut, DE * Sebastian Schaffert, Salzburg Research, AT * Bernhard Schandl, Uni Vienna, AT * Daniel Schwabe, PUC-Rio, BR * Barry Smyth, University College Dublin, IE * Carlo Torniai, Simon Fraser University, CA * Fabio Vitali, University of Bologna, IT * Earl Wagner, Northwestern University, US * Jun Zhao, Oxford University, UK CONTACT INFORMATION ------------------- If you have any questions, please feel free to contact the workshop organizers at: vissw2010 [at] easychair [dot] org From sofronie at mpi-sb.mpg.de Thu Nov 26 00:05:57 2009 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Thu, 26 Nov 2009 00:05:57 +0100 (CET) Subject: IJCAR 2010 - first call for papers Message-ID: IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning Edinburgh, UK, July 16-19, 2010 as part of FLoC 2010 - Federated Logic Conference http://www.floc-conference.org/ Call for Papers --------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2010 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR 2010 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. The proceedings of IJCAR 2010 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through https://www.easychair.org/login.cgi?conf=ijcar2010 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers, and 7 pages for system descriptions. Program co-chairs: Juergen Giesl (RWTH Aachen University, Germany) Reiner Haehnle (Chalmers University of Technology, Sweden) Conference chair: Alan Bundy (University of Edinburgh, UK) Workshop chair: Aaron Stump (University of Iowa, USA) Publicity chair: Viorica Sofronie-Stokkermans (MPI-INF Saarbruecken, Germany) Important dates: Abstract submission deadline: January 15, 2010 Paper submission deadline: January 22, 2010 Notification of paper decisions: March 15, 2010 Final version of papers due: April 19, 2010 Conference dates: July 16-19, 2010 Student Travel Awards: Travel awards will be available to enable selected students to attend the conference. Details will be published in March 2010. Program Committee: Carlos Areces (INRIA Nancy Grand Est, France) Alessandro Armando (University of Genova, Italy) Franz Baader (Technical University of Dresden, Germany) Peter Baumgartner (NICTA Canberra, Australia) Bernhard Beckert (University of Koblenz, Germany) Christoph Benzmueller (International University Bruchsal, Germany) Nikolaj Bjorner (Microsoft Research, USA) Maria Paola Bonacina (Universita` degli Studi di Verona, Italy) Alan Bundy (University of Edinburgh, UK) Gilles Dowek (Ecole Polytechnique, France) Christian Fermueller (Vienna University of Technology, Austria) Ulrich Furbach (University of Koblenz, Germany) Didier Galmiche (LORIA Nancy, France) Silvio Ghilardi (University of Milano, Italy) Martin Giese (University of Oslo, Norway) Juergen Giesl (RWTH Aachen University, Germany) Rajeev Gore (The Australian National University, Australia) Bernhard Gramlich (Vienna University of Technology, Austria) Reiner Haehnle (Chalmers University of Technology, Sweden) Ullrich Hustadt (University of Liverpool, UK) Deepak Kapur (University of New Mexico, USA) Viktor Kuncak (EPFL Lausanne, Switzerland) Rustan Leino (Microsoft Research, USA) Carsten Lutz (University of Bremen, Germany) George Metcalfe (University of Bern, Switzerland) Aart Middeldorp (University of Innsbruck, Austria) Neil Murray (University at Albany - SUNY, USA) Tobias Nipkow (Technical University of Munich, Germany) Nicola Olivetti (LSIS, University of Aix-Marseille, France) Nicolas Peltier (LIG Grenoble, France) Frank Pfenning (Carnegie Mellon University, USA) Brigitte Pientka (McGill University, Canada) Andre Platzer (Carnegie Mellon University, USA) Christophe Ringeissen (LORIA Nancy, France) Albert Rubio (UPC Barcelona, Spain) Renate Schmidt (The University of Manchester, UK) Carsten Schuermann (IT University of Copenhagen, Denmark) Roberto Sebastiani (University of Trento, Italy) Viorica Sofronie-Stokkermans (MPI-INF Saarbruecken, Germany) Aaron Stump (University of Iowa, USA) Geoff Sutcliffe (University of Miami, USA) Cesare Tinelli (University of Iowa, USA) Ashish Tiwari (SRI International, USA) Andrei Voronkov (The University of Manchester, UK) Christoph Weidenbach (MPI-INF Saarbruecken, Germany) From mdv at cs.bath.ac.uk Thu Nov 26 11:54:07 2009 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Thu, 26 Nov 2009 10:54:07 +0000 Subject: First call for papers: NMR'10 Special session on Declarative Programming Paradigms and Systems Message-ID: <1259232847.4529.27.camel@Ishtar> Apologies for multiple postings. ----------------------------------------------------------------------------------- CALL FOR PAPERS NMR'10 Special session on Declarative Programming Paradigms and Systems Sub-workshop of Non-Monotonic Reasoning 2010 Toronto, Canada, 14-16 May 2010 http://www.cs.sfu.ca/NMR2010/NMR_2010/Declarative_Programming_for_NMR.html Topics of the workshop include all aspects regarding expressive (domain independent) modeling and knowledge representation languages and inference systems for declarative problem solving. The workshop is a one-day event and the technical program forms a part of the Thirteenth Non-Monotonic Reasoning Workshop (NMR 2010), to be held in Toronto, Canada, collocated with the KR/DL/ICAPS/AAMAS/FOIS 2010 conferences. TOPICS Authors are invited to submit original papers on this field. The list of topics of interest includes, but is not limited to: * Declarative Languages * Extensions and integrations of classical and nonmonotonic logics * Extensions of logic programming * Answer set programming * Abductive logic programming * Declarative agent languages * Inference systems * Model generators * Answer set solvers * Abductive systems * Optimization * Other/new types of inference systems * Computational complexity analysis * Methodology * Representation and programming methodologies * Programming Tools * Program development environments * Debugging tools * Implementations * Algorithms and Implementation of declarative programming systems * Optimization techniques * Benchmarking for NMR systems * Applications of declarative programming * Cognitive robotics systems * Declarative programming languages for dynamic domains * Semantic Web * Multi-Agent systems * Planning * Novel applications * Integration and Comparisons * Comparison of programming paradigms for NMR * Integration of NMR systems: Systems using NMR systems * Comparison of NMR systems * Integration of NMR systems with SAT/SMT/PBO/QBF/CP/ILP solvers * Future challenges for declarative programming systems SUBMISSION Submitted articles will undergo peer-review. Papers must be submitted in AAAI style and in PDF only. The maximum length of a submission is 7 pages including references, figures, and appendixes if any. Papers should be submitted via Easychair using the following link: http://www.easychair.org/conferences/?conf=dpnmr10 IMPORTANT DATES Papers due: January 29 (Friday), 2010 Notification: March 1 (Monday), 2010 Final version: April 6 (Tuesday), 2010 Workshop: May 14-16, 2010 SESSION CO-CHAIRS * Marc Denecker (Katholieke Universiteit Leuven, Belgium) * Marina De Vos (University of Bath, UK) PROGRAM COMMITTEE * Marcello Balduccini (Kodak Research Labs, USA) * Chitta Baral (Arizona State University, USA) * Martin Brain (University of Bath, UK) * Jürgen Dix (TU Clausthal, Germany) * Thomas Eiter (Vienna University of Technology, Austria) * Esra Erdem (Sabanci University, Turkey) * Michael Fink (Vienna University of Technology, Austria) * Alfredo Gabaldon (New University of Lisbon, Portugal) * Martin Gebser (University of Potsdam, Germany) * Giovambattista Ianni (University of Calabria, Italy) * Katsumi Inoue (National Institute of Informatics, Japan) * Tomi Janhunen (Helsinki University of Technology, Finland) * Joohyung Lee (Arizona State University, USA) * Joao Leite (New University of Lisbon, Portugal) * Yuliya Lierler (University of Texas at Austin, USA) * Vladimir Lifschitz (University of Texas at Austin, USA) * David Mitchell (Simon Fraser University, Canada) * Ilkka Niemela (Helsinki University of Technology, Finland) * Ken Satoh (National Institute of Informatics, Japan) * Terrance Swift (XSB Inc., USA) * Mirek Truszczynski (University of Kentucky, USA) * Johan Wittocx (Katholieke Universiteit Leuven, Belgium) From lorini at irit.fr Thu Nov 26 14:04:42 2009 From: lorini at irit.fr (Emiliano Lorini) Date: Thu, 26 Nov 2009 14:04:42 +0100 Subject: Workshop on Theories of Information Dynamics and Interaction and their (FIRST CALL FOR PAPERS) Message-ID: FIRST CALL FOR PAPERS Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue http://www.irit.fr/~Laure.Vieu/Esslli10 Workshop organized as part of the European Summer School on Logic, Language and Information, ESSLLI 2010 (http://esslli2010cph.info/) August 16-20 (ESSLLI 2nd week) 2010, Copenhagen Workshop Purpose and Topics --------------------------- Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface...). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely. This workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics). The following are some examples of formal theories and logics that are relevant to the workshop (no order): # speech act theory, # argumentation theory, # game theory, # public announcement logic, # dynamic epistemic logic (DEL), # logics of agency and power (e.g. STIT, ATL, Coalition Logic), # theories of persuasion, # theories of commitment, # dynamic semantics, # semantic approaches to interrogative clauses, # rhetorical approaches to dialogue (e.g., segmented discourse representation theory). The focus of the workshop will be on recent developments, especially those that combine several approaches (e.g. dynamic epistemic logic and speech act theory, dynamic epistemic logic and segmented discourse representation theory, public announcement logic and commitment theories, STIT and dynamic epistemic logic, Coalition Logic and public announcement logic...) to deal with complex dialogue and communication phenomena. Workshop Organizers: -------------------- Emiliano Lorini ("lorini at irit.fr") and Laure Vieu ("vieu at irit.fr") Workshop Programme Committee: ----------------------------- Nicholas Asher, IRIT-CNRS, Toulouse Guillaume Aucher, Univ. of Luxembourg Alexandru Baltag, Oxford Univ. Anton Benz, ZAS, Berlin Patrick Blackburn, INRIA, Nancy Guido Boella, Univ. of Turin Jan Broersen, Univ. of Utrecht Cristiano Castelfranchi, ISTC-CNR, Rome Hans van Ditmarsch, Univ. of Otago & Univ. of Seville Raquel Fernández, Univ. of Amsterdam Jonathan Ginzburg, King's College, London Jeroen Groenendijk, Univ. of Amsterdam Davide Grossi, Univ. of Amsterdam Andreas Herzig, IRIT-CNRS, Toulouse Wiebe van der Hoek, Univ. of Liverpool Joris Hulstijn, Vrije Univ. of Amsterdam Andrew Jones, King's College, London Barteld Kooi, Univ. of Groningen Kepa Korta, Univ. of Basque Country, Donostia Alex Lascarides, Univ. Edinburgh Dominique Longin, IRIT-CNRS, Toulouse John-Jules Meyer, Univ. of Utrecht Paul Piwek, The Open Univ., Milton Keynes Henry Prakken, Univ. of Utrecht Leon van der Torre, Univ. of Luxembourg Submission Details: ------------------- Authors are invited to submit an extended abstract presenting work relevant to the area of information dynamics, interaction and dialogue. Extended abstracts should have a maximum of 6 pages. Papers should be in PDF format (Latex-generated papers are preferred, but not necessary). Please follow the instructions that will be posted on the workshop's web page (http://www.irit.fr/~Laure.Vieu/Esslli10) to submit your paper by the deadline below. The submissions will be reviewed by the program committee and possibly additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. A special issue of a relevant journal is planned, based on selected papers presented at the workshop, of which full versions will be independently reviewed. Important dates: ---------------- Apr 12, 2010: Deadline for submission May 24, 2010: Notification June 1, 2010: Deadline for early registration to ESSLLI Jun 15, 2010: Deadline for final papers August 16-20, 2010: Workshop Local Arrangements: ------------------- All workshop participants including the presenters will be required to register for ESSLLI. Further Information: -------------------- About the workshop: http://www.irit.fr/~Laure.Vieu/Esslli10 About ESSLLI: http://esslli2010cph.info/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From richard.booth at uni.lu Fri Nov 27 00:53:48 2009 From: richard.booth at uni.lu (Richard Booth) Date: Fri, 27 Nov 2009 00:53:48 +0100 Subject: First call for papers: NMR'10 sub-workshop on Action and Belief Change Message-ID: Apologies for multiple postings --------------------------------------------------- CALL FOR PAPERS NMR'10 Sub-Workshop on Action and Belief Change Co-located with KR'10 Toronto, Canada, 14-16 May 2010 http://www.cs.sfu.ca/NMR2010/NMR_2010/Action_and_Belief_Change.html Reasoning about actions, causality, and belief change are well established research areas in nonmonotonic reasoning. Thanks to advances in these areas in recent years, it has become evident that the boundaries between these research areas are hardly discernible and that they have more in common than it was previously believed. For this reason, since the 2008 edition of NMR, the traditional ``Action and Change'' and ``Belief Change'' tracks have been merged into a new ``Actions and Belief Change'' sub-workshop. In addition to the traditional topics in the areas of reasoning about actions and belief change, we particularly encourage papers exploring the common territory that will further promote the cross-fertilization between these two areas. This would include, for example, reasoning about complex and dynamic environments, belief and knowledge merging under actions, multi-agent belief revision through communication, and so on. The specialized workshop on Action and Belief Change is a one-day event intended to bring together researchers interested in the areas of reasoning about action, causality and belief change, and to discuss current research, results and problems of a theoretical, foundational or practical nature. In particular, researchers from allied fields are encouraged to submit papers and participate in the workshop. This workshop will be part of the technical program of the 13th International Workshop on Nonmonotonic Reasoning (NMR'10), to be held in Toronto, Canada, and collocated with the KR 2010, ICAPS 2010, FOIS 2010 and AAMAS 2010 conferences. Topics Authors are invited to submit original papers on all aspects of reasoning about actions, causal reasoning, and belief change. Topics of interest include, but are not limited to: * reasoning about actions formalisms/calculi, * causal reasoning, * cognitive robotics, * frame problem, ramification problem, qualification problem, * planning, * systems for reasoning about actions * theoretical and philosophical foundations of belief change * belief revision/merging * knowledge update * iterated belief change * non-prioritized belief change * multi-agent belief change and mutual belief revision * complexity issues of belief change * implementations and applications We also welcome suggestions for panel discussions. Important Dates * Paper submissions: January 29, 2010 * Acceptance decision: March 1, 2010 * Camera ready copy: April 6, 2010 Submission Details Submissions are limited to 7 pages using KR paper format. Your submission in PDF should be sent to each of the co-chairs via an e-mail (to richard.booth at uni.lu and ag at di.fct.unl.pt) with subject header: "[NMR] A&BC sub-workshop paper submission", without the quotes. Session Co-Chairs * Richard Booth, University of Luxembourg & Mahasarakham University * Alfredo Gabaldon, New University of Lisbon Program Committee * Guillaume Aucher, University of Luxembourg * Richard Booth, University of Luxembourg & Mahasarakham University * Jim Delgrande, Simon Fraser University * Esra Erdem, Sabanciu University * Alfredo Gabaldon, New University of Lisbon * Andreas Herzig, Universite Paul Sabatier * Sebastien Konieczny, Universite d'Artois * Gerhard Lakemeyer, RWTH Aachen * Joohyung Lee, Arizona State University * Ronald Petrick, University of Edinburgh * Guilin Qi, Southeast University, Nanjing * Hans Rott, University of Regensburg * Sebastian Sardina, RMIT University * Michael Thielscher, TU Dresden * Son Cao Tran, New Mexico State University * Dongmo Zhang, University of Western Sydney From Barbara.Jobstmann at imag.fr Sat Nov 28 21:08:06 2009 From: Barbara.Jobstmann at imag.fr (Barbara Jobstmann) Date: Sat, 28 Nov 2009 21:08:06 +0100 Subject: Memocode 2010 First Call for Papers Message-ID: MEMOCODE 2010 First Call for Papers The eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) will be held on July 26-28, 2010 in Grenoble, France. http://www.memocode-conference.com ---------------------------------------------------- IMPORTANT DATES: Abstract submission deadline: February 26, 2010 Paper submission deadline: March 5, 2010 Notification of acceptance: April 30, 2010 Poster submission deadline: May 14, 2010 Notification for Posters: May 28, 2010 Final Version for Papers: May 28, 2010 ---------------------------------------------------- The eighth MEMOCODE conference will attract researchers and practitioners who create methods, tools, and architectures for the design of hardware/software systems. These systems face increasing design complexity including tighter constraints on timing, power, costs, and reliability. MEMOCODE seeks submissions that present novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems. We also invite application-oriented papers, and especially encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing work with promising preliminary results. Topics of interest for regular submissions include but are not limited to - system- and transaction-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification, - design and verification methods for composition of concurrent systems: multi-core platform architectures, systems-on-chip, networks-on-chip, - non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design, - system-level estimation of performance and power in heterogeneous hardware/software architectures, - applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows, and - modeling and reuse of intellectual property at system-level. PROCEEDINGS: Conference proceedings will be published by the IEEE Computer Society. SUBMISSION: Submissions of research and experience papers will only be accepted through the conference web site. Papers must not exceed 10 pages and must be formatted following IEEE Computer Society guidelines. Submissions must be written in English, describe original work, and not substantially overlap papers that have been published or are being submitted to a journal or another conference with published proceedings. Poster submissions should consist of an abstract of at most 250 words. The abstract will be distributed to the conference attendants but will not be published. Note that the poster deadline is different from the paper deadline. DESIGN CONTEST: MEMOCODE will again have a design contest. The contest will start March 1, 2010. The deadline for submission is 31 March 2010 and the notification of the results is on May 14, 2010. The conference will sponsor at least two prize categories, each with a significant cash award. We awarded a $1000 prize in each of the two categories in 2009. Each team that submits a complete and working entry will be invited to submit for review a 2-page abstract for the formal conference proceedings; winning teams will be invited to contribute a 4-page short paper. Each team submitting a completed and working entry will also receive a commemorative plaque with their name and results. Please refer to the conference website for more information and updates. TUTORIALS: MEMOCODE will feature tutorials related to hardware/software codesign. Please send your tutorial proposals to alain.girault at inria.fr. ---------------------------------------------------- General Chair: Klaus Schneider (Kaiserslauten) Finance Chair: James Hoe (CMU) Program Chairs: Barbara Jobstmann (CNRS) and Luca Carloni (Columbia) Design Contest: Joel Emer (Intel) and Forrest Brewer (UCSB) Local Chairs: Saddek Bensalem (UJF/CEA) and Christian Fabre (CEA) Tutorial Chair: Alain Girault (INRIA) Program Committee David Atienza (EPFL) Twan Basten (Eindhoven) Tevfik Bultan (UCSB) Robert de Simone (INRIA) Rainer Doemer (UCI) Rolf Drechsler (Bremen) Stephen Edwards (Columbia) Franco Fummi (Verona) Thierry Gautier (INRIA) Ganesh Gopalakrishnan (Utah) Josef Haid (Infineon) Franjo Ivancic (NEC) Christoph Kirsch (Salzburg) Daniel Kroening (Oxford) Yassine Lakhnech (UJF) Luciano Lavagno (Torino) Elizabeth Leonard (NRL) Rishiyur Nikhil (Bluespec, Inc.) John O'Leary (Intel) Roberto Passerone (Trento) Diego Puschini (CEA) Jan Reineke (UC Berkeley) Patrick Schaumont (VirginiaTech) Klaus Schneider (Kaiserslautern) Sanjit Seshia (UC Berkeley) Natasha Sharygina (Lugano) Satnam Singh (Microsoft) Michael Theobald (DE Shaw) Lothar Thiele (ETHZ) Fei Xie (Portland State) Steering Committee Arvind (MIT) Masahiro Fujita (University Tokyo) Rajesh Gupta (UC San Diego) Connie Heitmeyer (NRL) James Hoe (CMU) Sandeep Shukla (Virginia Tech) Jean-Pierre Talpin (INRIA) From christian.guttmann at med.monash.edu.au Sun Nov 29 12:30:18 2009 From: christian.guttmann at med.monash.edu.au (Christian Guttmann) Date: Sun, 29 Nov 2009 22:30:18 +1100 Subject: LIVE Web Streaming of CARE workshop (Tuesday 1st December 2009) Message-ID: <4B125B4A.4090502@med.monash.edu.au> Dear All, CARE is one of the first agent events that is broadcast live and allows an international audience to participate and ask questions in real time. The broadcast can be found under URL: http://www.csse.monash.edu.au/~xtg/CARE2009/mediastream.html And the schedule of the workshop under URL (note: based on Melbourne time, Australia). http://www.csse.monash.edu.au/~xtg/CARE2009/care2009Schedule.html Collaborative Agents -- REsearch and Development CARE webpage: http://www.csse.monash.edu.au/~xtg/CARE2009/ Participation ============= It is VERY SIMPLE to watch the CARE lectures and to participate in real time! 1. At first, type some random text in the text box on the right, then press ENTER. You will be asked to signup to USTREAM. Simply type a login of 4-15 letters. Use your first name and the first letters of your last name. eg. My login is ChristianGutt. 2. Please send an email to (care2009 at easychair.org) with your USTREAM login name (not your password), contact number, affiliation, and country. 3. I will then send you a password to access the stream (in the left window). 4. When asked, you type in the sent password into the left window, and the stream should start (assuming that the lecture are actually running). (the webstream does not automatically restart, so you may need to refresh every now and then, eg after the tea breaks) Please do 1. and 2. asap, if you want to participate (it will also allow you to access the lecture recordings afterwards)! Cost ==== Donation of $50 AUD, particularly if you think this live stream is useful to you (we use this partially for costs related to the CARE workshop, and partially for future agent related events). Please use paypal: www.paypal.com and use my email christian.guttmann at gmail.com. You may be able to use the paypal receipt for reimbursement at your university. Best Regards, Christian Guttmann and the CARE organisers PLEASE NOTE: This streaming is highly experimental using our local resources. We provide no guarantee that it will work, or will satisfy your expectations in any way. We will not be held responsible in any way. -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ +61 (0) 417375679 From elvira at unizar.es Mon Nov 30 10:38:29 2009 From: elvira at unizar.es (Elvira Mayordomo) Date: Mon, 30 Nov 2009 10:38:29 +0100 Subject: COMPUTABILITY IN EUROPE 2010 - Second call for papers Message-ID: <4B139295.5030600@unizar.es> Second call for papers --------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal June 30 to July 4, 2010 http://www.cie2010.uac.pt/ Deadline for submissions: 20 JANUARY 2010 --------------------------------------------------------------------------- Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. TUTORIALS: Jeffrey Bub (Information, Computation and Physics), Bruno Codenotti (Computational Game Theory). INVITED SPEAKERS: Eric Allender, Jose L. Balcazar, Shafi Goldwasser, Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald de Wolf. SPECIAL SESSIONS on: Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan Invited speakers: Giancarlo Mauri, Natasha Jonoska, Stephane Vialette, Yasubumi Sakakibara Computational Complexity, organizers: Luis Antunes, Alan Selman Invited speakers: Eric Allender, Christian Glasser, John Hitchcock, Rahul Santhanam Computability of the Physical, organizers: Barry Cooper, Cris Calude Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert Proof Theory and Computation, organizers: Martin Hyland, Fernando Ferreira Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz Strassburger Reasoning and Computation from Leibniz to Boole, organizers: Benedikt Loewe, Guglielmo Tamburrini Confirmed speakers: Volker Peckhaus, Olga Pombo, Sara Uckelman Web Algorithms and Computation, organizers: Martin Olsen, Thomas Erlebach Confirmed speaker: Debora Donato SPECIAL TRIBUTE TO MARIAN POUR-EL: Ning Zhong. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. We particularly invite papers that build bridges between different parts of the research community. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors. The Elsevier Foundation is supporting the CiE conference series in the programme "Increasing representation of female researchers in the computability community". This programme will allow us to fund child-care support, a mentoring system for young female researchers, and also a small number of grants for junior female researchers (see below). The dates around the submission process are as follows: Submission Deadline: 20 January 2010 Notification to Authors: 18 March 2010 Deadline for Final Version: 8 April 2010 CiE 2010 conference topics include, but not exclusively: * Admissible sets * Analog computation * Artificial intelligence * Automata theory * Classical computability and degree structures * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational complexity * Computational learning and complexity * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of Computing * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Mathematical models of emergence * Molecular computation * Natural computing * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebra * Programming language semantics * Proof mining * Proof theory and computability * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Swarm intelligence * Type systems and type theory * Uncertain reasoning * Weak arithmetics and applications Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann (Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome), Luis Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo (Paris), Benedikt Loewe (Amsterdam), Elvira Mayordomo (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon), Joao Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht) The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2010. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. Authors of accepted papers are expected to present their work at the conference. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. All papers need to be prepared in LNCS-style LaTeX. Papers must not exceed 10 pages. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Submissions authored or co-authored by members of the Programme Committee are not allowed. Papers that have only student authors are eligible for the "CiE 2010 Best Student Paper Award." If your submission satisfies the requirements, please submit your paper in the category "Regular paper (eligible for Best Student Paper Award)." The Programme Committee will select the best submission among these after acceptance. The recipient of the Best Student Paper Award will get a fee waiver of the registration fee, a certificate, and a small symbolic cash prize. Funded by the Elsevier Foundation's programme 'Women in Computability' we shall offer five travel grants (covering registration fee and up to 300 EUR in reimbursement for travel and accomodation expenses) for junior female researchers. More information will become available in March 2010. Funded by the Elsevier journal Annals of Pure and Applied Logic (APAL), the organizers are offering a number of travel grants (including fee waivers and a modest reimbursement of travel and accommodation expenses) for students to attend CiE 2010. Student authors of accepted papers will have priority for these grants. The Association for Symbolic Logic (ASL) sponsors modest student member travel grants. See http://www.aslonline.org/studenttravelawards.html New funding opportunities are expected to be offered. For more details concerning funding and up to date information, please consult regularly the web page of the conference http://www.cie2010.uac.pt/ From jsabater at iiia.csic.es Mon Nov 30 15:32:45 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Mon, 30 Nov 2009 15:32:45 +0100 Subject: [AAMAS-10] - Call for Papers: Industry and Applications track Message-ID: <2456639034561300732145@Galvatron> ******************************************************************************* Call for Papers: Industry and Applications track - AAMAS-2010 ******************************************************************************* **** Introduction The AAMAS Industry Track is a special track of the AAMAS conference that offers a globally unique opportunity to present and promote industrial and commercial applications of agent technologies. Due to the growing maturity of the field there are now agent-based applications in widespread use across multiple domains that are responsible for the generation of significant revenue. This event provides the ideal forum to present and discuss your work; to inform and inspire the largest international gathering of agent technology researchers and practitioners with presentations and demonstrations of your compelling applications, success stories and new business ideas. It is our intention that the 2010 event actively works to promote the fostering of mutually beneficial relationships between members of the AAMAS community who are engaged in foundational scientific research and those who are working to make autonomous agents and multi-agent systems a commercial reality. **** Topics and Issues of Interest The AAMAS Industry Track invites submissions of short (4-page) or long (8-page) papers that describe autonomous agent and multi-agent systems that have been incorporated into for-profit or non-profit products or services, or that demonstrate a clear potential to be so included. Application domains of interest include, but are not limited to: * telecommunication, media and entertainment * bio-technology, pharmaceutical and health care * financial systems and services * manufacturing, automation, and logistics * enterprise systems * large-scale and grid systems management * transportation and telematics * ambient intelligence, intelligent buildings and smart cities * surveillance and security * e-government Authors are advised and encouraged to address the following questions in their paper: * Why is your chosen application domain important to industry and/or society? What are typical use cases? * What is the rationale for using agent-based technology in your application, as opposed to a more traditional approach? * If you have deployed your technology commercially, what specific or general insights have you gained from the experience? * Have you experienced (or do you foresee) technical challenges or market-based barriers to adoption, and if so how did (or might) you address them? * What improvements or external factors might facilitate wider-spread adoption of your technology? * What improvements in fundamental agent technology might improve your application, or enable it to be adopted more broadly? * In financial terms, or any other appropriate measure of benefit, what is the present value of your technology to customers, industry, or government, and what is its ultimate potential? **** What is the relationship between AAMAS Industry Track and AAMAS? The AAMAS Industry Track is an essential and integral part of the AAMAS conference. It runs concurrently with the regular AAMAS scientific track, and all accepted papers are included in the general conference proceedings. The AAMAS Industry Track mandates the same high level of quality that has come to be expected of the AAMAS scientific track. The expectation is that authors must make a concerted effort to address the issues and questions identified in "Topics and Issues of Interest", as appropriate to their paper. We discourage the submission of purely speculative papers or papers whose primary contribution is scientific, as these ought to have been submitted to the regular conference track. Authors submitting a paper to the AAMAS Industry Track are encouraged to submit a demo of their agent-based application to the AAMAS Demonstration session http://www.cse.yorku.ca/AAMAS2010/index.php#content=call4_demo_proposal **** Submission instructions and dates Please format your paper according to standard AAMAS guidelines. AAMAS style guides, as well as templates and style sheets for Microsoft Word and LaTeX can be found here. http://www.cse.yorku.ca/AAMAS2010/index.php#content=authors_instructions Papers must be 8 pages (regular paper) or 4 pages (short paper), including figures and references, when formatted using the specified style. Papers should be formatted for standard Letter paper size. (i.e. not A4). Over-length papers will be rejected. Notification of receipt of the electronic paper will be mailed to the first author (or designated author) soon after receipt. To submit your paper, please register your abstract at http://www.easychair.org/conferences/?conf=aamas2010industrytrack) before 11:59pm, December 8, 2009 (UTC), and then submit an electronic copy of your completed paper to the same site by 11:59pm, December 15, 2009 (UTC). We strongly encourage submissions in PDF (Adobe's Portable Document Format), but will accept submissions in Postscript if PDF is infeasible. We will not accept papers in any other format (e.g., MS Word) because of compatibility problems between software versions, machines, and nationalities. We cannot accept title pages or papers submitted by FAX. Submissions received after this deadline will not be considered for review. Notification of acceptance or rejection of submitted papers will be mailed to the first author (or designated author) by January 23, 2010. Note that at least one author of each accepted paper is required to register and to attend the conference to present the work. In summary, here are the critical dates: * Deadline for paper information: December 8, 2009 * Deadline for paper submission: December 15, 2009 * Notification of acceptance or rejection: January 23, 2010 * Final versions due: February 8, 2010 For more information, contact the track co-chairs at aamas2010industrytrack at easychair.org **** Policy on Multiple Submissions The AAMAS 2009 Industry Track will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the AAMAS review period. These restrictions apply only to journals and conferences, not to workshops and similar specialized presentations with a limited audience and no formal proceedings. **** Track Co-Chairs Dominic Greenwood Whitestein Technologies, Switzerland Jeff Kephart IBM Thomas J Watson Research Center, USA **** Program Committee Jeremy Baxter, QinetiQ Michael Berger, DocuWare AG Sven Bruckner, NewVectors LLC Paul Buhler, Modus 21 Bernard Burg, Panasonic Laboratories Klaus Dorer, Offenburg University James Hanson, IBM Research Tarek Helmy, King Fahd University of Petroleum and Minerals Martin Hofmann, Lockheed Martin Advanced Technology Laboratories Takahiro Kawamura, Toshiba Michael Kerstetter, Boeing Dejan Milojicic, Hewlett Packard Laboratories James Odell, CSC Michal Pechoucek, Czech Technical University Michael Pirker, Siemens AG Maarten Sierhuis, NASA Elizabeth Sklar, Brooklyn College, City University of New York Simon Thompson, BT Research Shigeo Matsubara, Kyoto University Steven Willmott, 3Scale Networks Gaku Yamamoto, IBM and Tokyo Institute of Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kroening at comlab.ox.ac.uk Mon Nov 30 18:59:23 2009 From: kroening at comlab.ox.ac.uk (Daniel Kroening) Date: Mon, 30 Nov 2009 17:59:23 +0000 Subject: SMT Workshop 2010: 1st call for papers Message-ID: <080D57DA-3DA8-4FAB-8A81-230C0FEF224C@comlab.ox.ac.uk> 1st Call for papers SMT Workshop 2010 International Workshop on Satisfiability Modulo Theories http://www.cprover.org/SMT10/ Affiliated with CAV 2010 and SAT 2010 July 14-15, 2009, Edinburgh Background Determining the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be an enabling technology for verification, test-vector generation, compiler optimization, scheduling, and others. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g., linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. Paper Submission and Proceedings * Original papers contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. * Presentation-only papers describe work recently published or submitted to other venues. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of. Submission is via EasyChair. Papers in both categories will be peer-reviewed. Papers should not exceed 10 pages (Postscript or PDF) and should be written in LaTeX, 11pt, one column, a4paper, standard margins. Technical details may be included in an appendix. Only informal proceedings will be distributed at the workshop. Papers presented at SMT 2010 in both categories will be considered for one of two special issues of the following journals, depending on the paper's subject: * There will be a special issue of FMSD for those papers addressing applications of SMT in systems verification. * There will be a special issue of JSAT for the algorithmic/theory papers. The selection between FMSD and JSAT will be based on the scope of the paper prior to the reviewing process. Important Dates Submission deadline (strict) April 2, 2009 Notification May 3, 2009 Workshop July 14-15, 2009 Workshop Chairs * Aarti Gupta, NEC Labs America * Daniel Kroening, Oxford University Program Committee * Clark Barrett, New York University * Armin Biere, Johannes Kepler University Linz * Nikolaj Bjorner, Microsoft Research * Alessandro Cimatti, ITC-IRST, Trento * Leonardo de Moura, Microsoft Research * Bruno Dutertre, SRI International * Himanshu Jain, Synopsys * Sava Krstic, Intel Corporation * David Monniaux, Verimag * Philipp Ruemmer, Oxford University * Roberto Sebastiani, Universita di Trento * Cesare Tinelli, University of Iowa