From pascal.hitzler at wright.edu Thu Jul 1 07:55:14 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Thu, 01 Jul 2010 01:55:14 -0400 Subject: Journal CfP: Semantic Web Tools and Systems - deadline extension Message-ID: <4C2C2DC2.5060109@wright.edu> == special call for papers on == SEMANTIC WEB TOOLS AND SYSTEMS = Description = The "Semantic Web" journal invites submissions of short papers describing mature Semantic Web related tools and systems. These reports should be brief and pointed, indicating clearly the capabilities of the described tool or system. It is strongly encouraged, that the described tools or systems are free, open, and accessible on the Web. If this is not possible, then they have to be made available to the reviewers. For commercial tools and systems, exceptions can be arranged through the editors. Submissions will be reviewed along the following dimensions: (1) Quality, importance, and impact of the described tool or system. (2) Clarity, illustration, and readability of the describing paper, which shall convey to the reader both the capabilities and the limitations of the tool. = Topics of Interest = We invite submissions on all kinds of tools and systems related to the semantic web, including, but not limited to, the following. * ontology editors * ontology engineering systems * Semantic Web development toolkits * ontology learning and acquistion tools * Annotation tools * ontology alignment and merging tools * ontology revision and evolution tools * ontology evaluation tools * RDF stores * RDF reasoners * OWL reasoners * RIF editors and reasoners * Semantic Wiki engines * Semantic Desktop systems * Semantic browsers * Semantic search tools * Semantic Mashup tools If you are uncertain if your tool or system is suitable for this call, please direct your inquiry to Pascal = Important Dates = *deadline extended* Submission Deadline: 31th of July, 2010. Acceptance Notification: 30th of September, 2010 Final Paper: 31st of October, 2010 *papers will be processed as they come in, and notification is planned earlier in these cases* = Submissions = Submissions should be 8-10 pages in length. Exceptions can be arranged, please contact Pascal for inquiries. Please see the submission information and guidelines at . When entering your manuscript into the review system, please state "Tools and Systems" in the cover letter. Please also note the journal's open review process detailed at . = Contact = Pascal Hitzler, Kno.e.sis Center, Wright State University Krzysztof Janowicz, Pennsylvania State University Please direct all inquiries to Pascal = Editorial Board = Claudia d'Amato, Università degli Studi di Bari, Italy Sören Auer, Universität Leipzig, Germany Lora Aroyo, Free University of Amsterdam, The Netherlands Boyan Brodaric, Geological Survey of Canada, Canada Philipp Cimiano, Universität Bielefeld, Germany Oscar Corcho, Universidad Politécnica de Madrid, Spain Bernardo Cuenca-Grau, Oxford University, UK Michel Dumontier, Carleton University, Canada Mark Gahegan, University of Auckland, New Zealand Aldo Gangemi, ISTC-CNR Rome, Italy Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil Manfred Hauswirth, DERI, National University of Ireland, Galway Tom Heath, Talis, UK Rinke Hoekstra, Universiteit van Amsterdam, The Netherlands Andreas Hotho, Universität Würzburg, Germany Eero Hyvönen, Aalto University, Finland Werner Kuhn, University of Muenster, Germany Thomas Lukasiewicz, Oxford University, UK Axel Polleres, DERI, National University of Ireland, Galway Martin Raubal, University of California, Santa Barbara, USA Marta Sabou, The Open University, UK Christoph Schlieder, University of Bamberg, Germany Paulo Pinheiro da Silva, The University of Texas at El Paso, USA Jie Tang, Tsinghua University Beijing, China Kunal Verma, Accenture, USA online version of this call: http://www.semantic-web-journal.net/content/special-call-semantic-web-tools-and-systems -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From christian.guttmann at gmail.com Thu Jul 1 11:15:11 2010 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Thu, 01 Jul 2010 11:15:11 +0200 Subject: Call for Participation: Collaborative Agents -- REsearch and development (CARE) 2010, Toronto, Canada Message-ID: <4C2C5C9F.8020708@gmail.com> Apologies for cross-postings. ******************************************************** CALL FOR PARTICIPATION International Workshop on Collaborative Agents -- REsearch and development (CARE) 2010 http://www.csse.monash.edu.au/~xtg/CARE2010/ August 31, 2010 (Tuesday) York University, Toronto, Canada held in conjunction with the WI-IAT 2010 ******************************************************** Invited speaker --------------- Professor Milind Tambe (University of Southern California) 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 2010: http://www.csse.monash.edu.au/~xtg/CARE2010/listOfAcceptedPapers.html The preliminary schedule of CARE 2010 will be available shortly. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing work 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/CARE2010/ Registration ------------ REGISTER HERE: http://www.yorku.ca/wiiat10/participants.php?5 Accommodation Info for Toronto, Canada http://www.yorku.ca/wiiat10/participants.php?2 Workshop Officials ------------------ GENERAL CHAIRS Christian Guttmann (ETISALAT BT Innovation Centre EBTIC, UAE and Monash University, Australia) Frank Dignum (University Utrecht, Netherlands) PROGRAM COMMITTEE Wei Chen (Intelligent Automation, Inc., United States of America) Philippe Pasquier (Simon Fraser University, Canada) Michael Luck (King's College London, United Kingdom) Lawrence Cavedon (NICTA and RMIT University, Australia) Samin Karim (Accenture, Australia) Cees Witteveen (Delft University of Technology, Netherlands) Franziska Klügl (Örebro University, Sweden) Toby Walsh (NICTA and UNSW, Australia) Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy) Alexander Pokahr (University Hamburg, Germany) Lars Brauchbach (University Hamburg, Germany) Wayne Wobcke (University of New South Wales, Australia) Rainer Unland (University of Duisburg-Essen, Germany) Liz Sonenberg (Melbourne University, Australia) Kumari Wickramasinghe (Monash University, Australia) Simon Thompson (British Telecom Research Laboratories, United Kingdom) Gord McCalla (University of Saskatchewan, Canada) Andrew Gilpin (Hg Analytics, United States of America) David Morley (SRI International, United States of America) Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil) Simon Goss (Defence Science and Technology Organisation DSTO, Australia) -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ +61 (0) 417375679 From Thomas.Lukasiewicz at comlab.ox.ac.uk Fri Jul 2 03:07:14 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Fri, 02 Jul 2010 02:07:14 +0100 Subject: UniDL'10: Call for Participation Message-ID: <4C2D3BC2.2030504@comlab.ox.ac.uk> Apologies for cross-postings ------------------------------------------------------------------- Call for Participation ------------------------------------------------------------------- UniDL'10 First International Workshop on Uncertainty in Description Logics co-located with IJCAR 2010 at FLoC 2010 July 20, 2010 Edinburgh, UK http://lat.inf.tu-dresden.de/UniDL ------------------------------------------------------------------- During the recent decade, handling uncertainty has started to play an important role in ontology languages, especially in application areas like the Semantic Web, biomedicine, and artificial intelligence. For this reason, there is currently a strong research interest in description logics (DLs) that allow for dealing with uncertainty. The subject of the workshop is how to deal with uncertainty and imprecision in Description Logics (DLs). This encompasses approaches that enable probabilistic or fuzzy reasoning in DLs, but the workshop is also open for approaches based on other uncertainty formalisms. The workshop focusses on the investigation of reasoning problems and approaches for solving them, including especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are still less well-investigated than in the case of standard DLs without uncertainty. For novel reasoning services, such as query answering, computation of generalizations, modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty. INVITED TALK "A Probabilistic Abduction Engine for Media Interpretation based on Ontologies" Ralf Möller (TU Hamburg-Harburg, Germany) ACCEPTED PAPERS "Compatibility Formalization Between PR-OWL and OWL" Rommel Carvalho, Kathryn Laskey and Paulo Costa "Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies" Oliver Gries and Ralf Möller "Pronto: A Practical Probabilistic Description Logic Reasoner" Pavel Klinov "Relationships between Probabilistic Description and First-Order Logics" Pavel Klinov and Bijan Parsia "Probabilistic logic encoding of spatial domains" Paulo Santos, Fabio Cozman, Valquiria Fenelon Pereira and Britta Hummel "Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities" Anni-Yasmin Turhan and Rafael Peñaloza "Using f-SHIN to represent objects: an aid to visual grasping" Nicola Vitucci, Mario Arrigoni Neri and Giuseppina Gini FURTHER INFORMATION For further information, including information on registration, accommodation, and travel, please refer to the UniDL 2010 and FLoC 2010 web sites: http://lat.inf.tu-dresden.de/UniDL http://www.floc-conference.org/ From franconi at inf.unibz.it Fri Jul 2 08:44:58 2010 From: franconi at inf.unibz.it (Enrico Franconi) Date: Fri, 2 Jul 2010 08:44:58 +0200 Subject: 3rd KRDB school on Trends in the Web of Data Message-ID: <724468E6-B777-42AA-80DF-536627D99F06@inf.unibz.it> 3rd KRDB school on Trends in the Web of Data (KRDBs-2010) Brixen-Bressanone (near Bozen-Bolzano), Italy 17-18 September 2010 http://www.inf.unibz.it/krdb/school/2010/ Call for Participation The 2010 edition of the KRDB school will be focussed on methods, techno- logies, and formalisms to publish, share, access, and integrate hetero- geneous and autonomous data on the Web. The lecturers of the school are: Danny Ayers: (Semantic) Web platforms Jonathan Ellis: NoSQL and Cloud Computing Tom Heath: Linked Data Peter Mika: Semantic Search Martin Hepp: The GoodRelations Ontology for E-Commerce Marko Rodriguez: Graph Databases Detailed information about the lectures can be found on the web page. The participation to the school is free of charge. Students are required to apply by sending an email including personal details and a short curriculum vitae et studiorum to: . Applications are continuosly evaluated as soon as the are submitted on a first-come-first-served basis until there are available places. The final deadline for the application is on the 27th of August. VENUE The school will take place in the charming town of Brixen-Bressanone, near Bozen-Bolzano in South Tyrol at the heart of the Dolomites - the pink mountains of the Alps. Like Bozen-Bolzano, Brixen-Bressanone has always been a crossroads of various cultures and it is distinguished by its mediaeval Gothic architecture. The mediaeval alleys and the wealth of historical references are an ideal starting point for excursions into the countryside and for practising a whole variety of sports and leisure activities. Leaving directly from the town centre delegates can set off on their bikes or on foot for excursions into the surrounding hills and mountains. Brixen-Bressanone is on the main arterial road between Austria/Germany and Italy and it is easily accessible from everywhere by train, car, bus or plane. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Manuela.Bujorianu at manchester.ac.uk Fri Jul 2 13:36:03 2010 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Fri, 02 Jul 2010 12:36:03 +0100 Subject: Multi-dimensional co-engineering of autonomous systems In-Reply-To: <20100316120204.13967g7inh4k6ud8@webmail.manchester.ac.uk> References: <20100316120204.13967g7inh4k6ud8@webmail.manchester.ac.uk> Message-ID: <20100702123603.77252kvyreyl484j@webmail.manchester.ac.uk> --------------------------------------------------------------------- Please accept our apologies in case of cross-posting. Please help us by distributing this call in your group/department. --------------------------------------------------------------------- ************************************************************************** * * * Call for Participation * * * * TUTORIAL on * * * * Multi-Dimensional Co-Engineering of Autonomous Systems * * * * Pisa, 13th September 2010 * * From 14.30 to 18.30 * * * * 8th IEEE International Conference on * * Formal Methods and Software Engineering * * (SEFM 2010) * * * * http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/SEFM.htm * * * * * ************************************************************************** ====================== Abstract ====================== The variety of autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and they must be able to compensate for significant system failure without external intervention. In highly autonomous systems, the system behaviour is normally so complex that it is either impossible or inappropriate to describe it with conventional mathematical system models. The complexity of the system model needed in design depends on both the complexity of the physical system and on how demanding the design specifications are. The most appropriate models of autonomous systems can be find in the class are hybrid systems (which study continuous-state dynamic processes via discrete-state controllers) that interact with their environment. ====================== Topics ====================== - Overview of autonomous systems engineering - Holistic modelling - Hybrid systems - Multi-dimensional co-engineering: CO -- modelling/coordination/control/verification - Unmanned Aerial Vehicles - Cooperative control ======================= Organisation / Speakers ======================= The tutorial format is based on a multi-lectures format. The lectures will be presented by: * Manuela Bujorianu (University of Manchester, UK), * Antonios Tsourdos / Brian White (Cranfield University, UK) ====================== Registration ====================== Online registration available at http://www.sefm2010.isti.cnr.it/registration.php On Site Registration is also available. ====================== Important dates ====================== * Early registration deadline: July 30, 2010 * Tutorial: September 13, 2010 * SEFM: September 13-18, 2010 * Welcome reception September 13, 2010 * Social event - trip to Luca September 15, 2010 * Cancellation August 15, 2010 * SEFM School September 6-10, 2010 From fuchs at ifi.uzh.ch Fri Jul 2 20:48:42 2010 From: fuchs at ifi.uzh.ch (Norbert E. Fuchs) Date: Fri, 2 Jul 2010 20:48:42 +0200 Subject: 2nd Workshop on Controlled Natural Languages CNL 2010: Call for Participation Message-ID: <366EEE06-3947-4D37-944F-902880EF9909@ifi.uzh.ch> ********************************************************************* Call for Participation CNL 2010 2nd Workshop on Controlled Natural Languages http://staff.um.edu.mt/mros1/cnl2010 Marettimo Island, Sicily (Italy) 13-15 September 2010 ********************************************************************* Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types: those that improve readability for human readers (e.g. non-native speakers), and those that enable reliable automatic semantic analysis of the language. The workshop will be informal with plenty of time for presentations and discussions. To ensure the informal atmosphere the number of participants will be limited. WORKSHOP PROGRAMME A full programme (http://staff.um.edu.mt/mros1/cnl2010/prog.html) of refereed papers and invited tutorial presentations is now online. Details are available on the conference website. VENUE The workshop will take place on the Italian island Marettimo at the Marettimo Residence (www.marettimoresidence.com/inglese/home.php). This consists of a set of two-storey houses set within a beautiful garden. On top of the garden of the residence there is a large lecture hall with wireless internet. Marettimo is the outermost of the Egadian Islands to the west of Sicily, and is easily reached from the airports of Palermo and Trapani. Marettimo offers the simple and relaxed life of southern Italy, unspoilt landscape, stupendous views, hiking, swimming, diving, boat trips, and excursions on donkeys. There are several restaurants and bars, and some shops. What the island does not offer: traffic - there are practically no roads - fancy shops and restaurants, night life, and sandy beaches. ACCOMMODATION The Marettimo Residence (www.marettimoresidence.com/inglese/home.php) offers one- and two-bedroom apartments with fully equipped kitchens. A number of apartments for the participants of CNL 2010 will be reserved until 15 July 2010 at a price 10% below the regular price. Participants should get into direct contact with the Marettimo Residence to organise their accommodation, citing "CNL 2010" and the names of the organisers when claiming the reduced price. Please indicate the length of your stay – perhaps you want to bring your family for additional days of vacation – and whether you would like to share your apartment with another participant of CNL 2010. The Marettimo Residence can also organise your transfers from and to the airports of Palermo or Trapani. REGISTRATION There is no registration fee for CNL 2010. Participants should contact the Marettimo Residence for accommodation until 15 July 2010. Alternative accommodations on Marettimo can be found via the internet, for instance by googling for "case vacanze Marettimo". Once your accommodation is confirmed, please send the registration form (http://staff.um.edu.mt/mros1/cnl2010/registration.html ) to the organisers. WORKSHOP DINNER A workshop dinner will be arranged during the workshop, and will be paid individually by the participants. ORGANISATION Michael Rosner (University of Malta) mike.rosner at um.edu.mt Norbert E. Fuchs (University of Zurich, Switzerland) fuchs at ifi.uzh.ch From a.artikis at gmail.com Mon Jul 5 11:16:32 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Mon, 5 Jul 2010 12:16:32 +0300 Subject: Final CFP: ACM TIST Special Issue on Agent Communication Message-ID: Call for Papers Special Issue on Agent Communication ACM Transactions on Intelligent Systems and Technology Agent communication research seeks to address challenges in the development of applications involving multiple autonomous and heterogeneous agents. Agent communication differs from communication as studied in traditional distributed systems in its emphasis of high-level abstractions that enable flexible interaction yet support verifying compliance. Broad applications include business interactions, contracts and compliance, virtual enterprises, negotiation, argumentation and decision support, and so on. We invite quality submissions that develop new insights, high-level abstractions, patterns, languages, formal theories, reasoning, and methodologies for communication in multiagent systems. Broad topics include Protocols Dialogs and argumentation Virtual organizations, institutions Commitments, norms, and other social concepts Trust and deception Correctness properties and their verification Tying communication with agent design and execution strategies Architecture, middleware, patterns, and programming language support Standardization of communication primitives Application-specific modeling and insights Key Dates *July 25, 2010 - Submissions* October 15, 2010 - Decisions December 15, 2010 - Final versions Publication - Early 2011 Submission On-Line Submission (will be available before July 25, 2010): http://mc.manuscriptcentral.com/tist (please select Special Issue: Agent Communication as the manuscript type). Each paper will be reviewed by at least three expert reviewers. Details of the journal and manuscript preparation are available on at http://tist.acm.org/ Guest Editors Amit K. Chopra (also Contact editor) University of Trento, Italy chopra at disi.unitn.it Alexander Artikis National Centre for Scientific Research Demokritos, Greece a.artikis at iit.demokritos.gr Jamal Bentahar Concordia University, Canada bentahar at ciise.concordia.ca Frank Dignum Utrecht University, The Netherlands dignum at cs.uu.nl From heymans at kr.tuwien.ac.at Mon Jul 5 12:28:59 2010 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Mon, 5 Jul 2010 12:28:59 +0200 Subject: CFP BuRO 2010: Workshop on Business Models, Business Rules and Ontologies, co-located with RR 2010 Message-ID: ***************************** Call for Papers ******************************* BuRO 2010 1st International Workshop on Business Models, Business Rules and Ontologies http://ontorule-project.eu/dissemination/events/buro2010 Bressanone/Brixen, Italy co-located with the 4th International Conference on Web Reasoning and Rule Systems (RR 2010) September 22-24 2010 http://www.rr-conference.org/RR2010/ ***************************************************************************** It is a challenge in a business to enable the right people to interact in their own way with the right part of their business application. We distinguish between three views on the business organization: (1) the view of the business analyst using a formal and validated business model; (2) the view of the knowledge engineer via ontologies and rules, and (3) the view of the IT department via an operationalization in applications. We can glue these views together via an end-to-end point solution: (1) conceptualization and where possible acquisition of business models and their transformation into ontologies and rules; (2) their management and maintenance, and (3) the transparent operationalization in IT applications. The vision at the heart of the Semantic Web is of high relevance in a business setting as well. The proposed workshop addresses the different issues that arise in a business that wishes to have a transparent and where possible and useful a semi-automatic transfer of knowledge present in business documents expressing, e.g., policies, to an IT operationalization. Moreover, the workshop tackles these issues from an holistic perspective, raising awareness for the overall picture, instead of focusing on stand-alone issues. E.g., although OWL is well-investigated it is unclear how business knowledge expressed in SBVR can be mapped to it. Another example is the W3C's RIF effort: although based on well-investigated rule paradigms, it is less well-connected to upper business layers: how to go from a formal business model to RIF rules and how to interact with derived ontologies? During the ONTORULE project which shares a similar vision on a business, it has been recognized that this holistic view goes beyond the results attainable within the project and that much more discussion and exchange is needed. As such the workshop wants to create awareness with researchers in stand-alone fields like ontology acquisition, business modeling, integration of ontologies and rules, implementations of rule/ontology engines, that there is a bigger picture that can and should be used to extract requirements on the one hand and to provide output that is fine-tuned for other fields on the other hand. TOPICS OF INTEREST Suggested topics include the following (but are not limited to): * the acquisition of ontologies and rules from unstructured text via Natural Language Processing (NLP) techniques * the development of a complete, formal and validated business model, taking all possible inputs into account (people and documents, structured and unstructured, some of which as output from an NLP phase), using the Semantics of Business Vocabulary and Business Rules (SBVR) * transformation from structured business representations, from SBVR, to RDF/OWL and/or rules * the management and maintenance of business models, ontologies and rules, e.g., consistency maintenance and the integration of rules and ontologies (semantics, algorithms) * implementations of such management systems * use cases and field reports SUBMISSIONS We invite full papers up to 14 pages length. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Submitted papers will be reviewed by at least two members of the program committee. Papers must be submitted electronically in PDF format. For paper submission we use the EasyChair conference management system: http://www.easychair.org/conferences/?conf=buro2010 IMPORTANT DATES * Submission deadline: Aug 6, 2010 * Notification of acceptance: August 20, 2010 * Camera-ready paper submission: September 3, 2010 * Workshop: September 21, 2010 ORGANIZING COMMITTEE * Thomas Eiter, TU Vienna, Austria * Adil El Ghali, IBM, France * Sergio Fernández, Fundación CTIC, Spain * Stijn Heymans, TU Vienna, Austria * François Lévy, Université Paris 13, France From epontell at cs.nmsu.edu Mon Jul 5 19:19:09 2010 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Mon, 05 Jul 2010 11:19:09 -0600 Subject: CFP: 3rd Workshop on Constraint Programming and Decision Making (CoProD'10) Message-ID: ================================================================ CALL FOR PAPERS CoProD'10 3rd International Workshop on Constraint Programming and Decision Making http://coprod.constraintsolving.com ENS Lyon, France September 30-October 1, 2010 Submission deadline: Aug. 30, 2010 ================================================================= CoProD'10 is the third edition of CoProD. CoProD'08 and '09 were held successfully in Oct. 2008 and Nov. 2009 at UTEP, bringing together about 30 researchers from constraint programming, optimization, and domain scientists. ================================================================= Constraint programming techniques are important components of intelligent systems. They constitute a declarative and efficient methodology to represent and solve many practical problems. They have been applied successfully to a number of fields, such as scheduling of air traffic, software engineering, networks security, chemistry, and biology. Despite the proved usefulness of these techniques, they are still under- utilized in real-life applications. One reason is the perceived lack of effective communication between constraint programming experts and domain practitioners about constraints, in general, and their use in decision making, in particular. Objectives of CoProD: * To develop a network of researchers interested in constraint techniques, in particular researchers and practitioners that use numeric and symbolic approaches (or a combination of them) to solve constraint and optimization problems. * To address the gap between the great capacity of these techniques and their limited use. CoProD aims at encouraging presentation and discussion of on-going work. It also aims at facilitating networking opportunities as well as cross-fertilization between the approaches used in the different attending communities. Therefore, besides active researchers in decision making and constraint programming techniques, we expect to have a wide attendance of domain scientists - whose input is highly valued in this workshop. Expected outcomes of CoProD: * Definition of new directions for combining numeric and symbolic approaches in solving constraints and optimization problems in particular and in decision making in general. * Definition of new representations and abstractions (such as tensors) that are expected to enhance solving techniques and collaborations. * Better connection between actual practitioners and researchers in constraints and decision making. CoProD'09 has the potential to impact these communities by easing collaborations and therefore the emergence of new techniques, and by creating a network of interest. The objectives of CoProD are also relayed all year round through the website http://constraintsolving.com. Special emphasis: Although topics are by no mean restricted to the following, this year's edition of CoProD wants to specifically emphasize the topic of tensor decomposition as well as the use of combined constraint programming/decision making to life science problems. Topics of interest (not limited to): * Programs and algorithms reliability * Algorithms and applications of: o Constraint solving, including symbolic-numeric algorithms o Optimization: e.g., global, robust, multi-objective o Tensors o Interval arithmetic * Description of domain applications that: o Require new decision making techniques o Implement decision making techniques Invited Speakers: The previous editions of CoProD featured invited talks by highly recognized experts, such as: * Bart Selman, CS department, Cornell University * Rina Dechter, Information and Computer Sciences, University of California Irvine * Purushotham Bangalore, CIS department, University of Alabama at Birmingham * James Raynolds, College of Nanoscale and Engineering, SUNY Albany * Francois Modave, CS department, Central Washington University] The invited speakers of CoProD'10 will be announced shortly. Proceedings / Publication: A book of abstracts will be printed and provided to each registered participant. After the workshop, the program committee will invite the authors to submit a full article version of their work to be published (after a review process) in a Springer book series. Participation / Submission: Participation is encouraged from people doing research in the area of decision making as well as from domain scientists. Submissions are expected in the form of extended abstracts of at least 2 pages and no more than 5 pages, formatted using the standard LNCS/LNAI format (see instructions at http://www.springer.de/comp/lncs/authors.html). The title page should include the name, address, and email address of each author as well as a list of keywords. Submissions have to be sent in postscript or pdf format AND latex format as well to mceberio (at) utep (dot) edu . A contact author should be specified in the submission email. The deadline for submissions is August 30th, 2010. Authors of accepted abstracts are expected to participate and present their work at the workshop. Important dates: * August 30: abstract submission * September 5: notification of acceptance * September 15: camera-ready copy of abstracts due * September 30-October 1: workshop Organization Main Organizers: Martine Ceberio, mceberio / utep (dot) edu. Enrico Pontelli, epontell / cs (dot) nmsu (dot) edu Vladik Kreinovich, vladik / utep (dot) edu Student Organizers: Paden Portillo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From yaich at emse.fr Tue Jul 6 00:27:48 2010 From: yaich at emse.fr (Reda Yaich) Date: Tue, 6 Jul 2010 00:27:48 +0200 Subject: DEADLINE EXTENSION FOR EASSS'10 Student's Session Message-ID: Please forward this message to interested colleagues and apologize multiple postings. ================================================================ Last minute deadline extension from ** July 6th, 2010 ** to ** *July 9th, 2010 *** ================================================================ Dear all, Let me kindly inform you that due to numerous requests the paper submission deadline for EASSS-2010 Student Session has been extended to July 9th at 11.59 GMT. EASSS 2010 will be held in Saint-Etienne, France, during 23-27 of August 2010 and we look forward to receive your paper submission. 12th European Agent Systems Summer Saint-Etienne, France August 23rd - 27th, 2010 *Call for submissions to the Student Session* *All students are cordially invited to participate in the Student Session of EASSS'10.* The European Agent Systems Summer School aims to offer a valuable forum for knowledge exchange between various research groups in its field for the benefit of students and researchers at both beginner and advanced level. The success of the summer school series is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe. EASSS attracts about 100 students each year. The school provides a wide range of state-of-the-art courses given by the most prominent researchers in the area. A typical course has 4 hours in total and they are broad enough to provide a general introduction to the chosen topic, whilst also covering the most important contributions in depth. Courses are expected to take a wide perspective of the research being done by various groups active in research on the specific topic of the course. Within this context, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 20 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience. In addition, selected submission authors will be given the opportunity to present their work in form of a poster that will be displayed at EASSS'10. Moreover, all accepted submissions will be published in online proceedings. As the goal is to provide the speakers with constructive feedback and a way to be introduced to the community, the competitive elements often found in conferences (best paper award, best presentation award) are intentionally omitted. The peer review will focus not on the magnitude of the presented material but on the clarity of the formulated material or whether or not the posed question is of relevance to a majority of students. Giving a good presentation is a difficult task, practicing it is the benefit of this session. The extent to which the audience has understood the details should be the criterion by which the presentations are judged. *Deadlines:* Abstract Submission : July 4th Sun *no longer needed* Strict Paper submissions deadline : July 9th, 2010, July 9th Fri: *Extended * Notification to authors : July 30th Fri Camera-ready version due : August 13th Fri: August 23rd Mon: Start Summer School *Submission Details:* - Topics are not limited but they should match with the scope of EASSS’10 Summer School. - Papers should describe student’s works at student level. · Only students can be authors, supervisors are strongly encouraged to, motivate there students to participate and supervise the quality there works. - At least one of the authors will have to register as a participant at the EASSS 2010. - Submissions can be either long or short papers. · Short papers: must not exceed 4 pages including references and appendix. Accepted papers will be presented in a poster session. · Long papers: up to 8 pages including references and appendix. Accepted papers will be presented orally (20 minutes slot) and, optionally, in a poster session. - All accepted submissions will be published in online proceedings. - Submitted article must use the AAMAS style (see http://www.cse.yorku.ca/AAMAS2010/#content=camera_ready for more details) in either .pdf or .ps format. - Please use the EasyChair website ( http://www.easychair.org/conferences/?conf=sseasss10) for your submission. If you're interested in promoting the EASSS'10 student Session at your institution feel free to forward or download, print and distribute the flyer . For any suggestion or further questions regarding the student session, email students-easss2010 at emse.fr. Please mention EASSS'10 in the subject. Thank you very much. Best Wishes and Regards. Student Session PC Chairs Tina Balke Universität Bayreuth, Germany tina.balke at uni-bayreuth.de Reda Yaich Ecole des Mines de Saint-Etienne, France yaich at emse.fr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Thomas.Lukasiewicz at comlab.ox.ac.uk Wed Jul 7 03:27:08 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Wed, 07 Jul 2010 02:27:08 +0100 Subject: URSW'10: Call for Papers Message-ID: <4C33D7EC.5010406@comlab.ox.ac.uk> Apologies for cross-postings ********************************************** CALL FOR PAPERS ********************************************** 6th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2010 In conjunction with the 9th International Semantic Web Conference Shanghai, China November 7, 2010 You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 9th International Semantic Web Conference (ISWC) in November of 2010 at the Shanghai International Convention Center, China. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following: * Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies. * Semantic web developers and researchers. * People in the knowledge representation community with interest in the Semantic Web. * Ontology researchers and ontological engineers. * Web services researchers and developers with interest in the Semantic Web. * Developers of tools designed to support Semantic Web implementation, e.g., Jena developers, Protégé developers, OWL-API developers... TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * Using fuzzy approaches to deal with imprecise concepts within ontologies * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web * The role of uncertainty as it relates to Web services * Interface protocols with support for uncertainty as a means to improve interoperability among Web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web * Issues and techniques for integrating tools for representing and reasoning with uncertainty * The future of uncertainty reasoning for the Semantic Web IMPORTANT DATES September 7, 2010 Paper submissions due September 30, 2010 Paper acceptance notification October 15, 2010 Camera-ready papers due November 4, 2010 Presentations due November 7, 2010 6th Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2010 Conference, and committed to attend the URSW Workshop. Submissions to the Workshop are only accepted in electronic format and should be sent via the workshop’s submission site: http://www.easychair.org/conferences/?conf=ursw2010 Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2010. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop must not exceed 4 pages. Following the general acceptance rules of the ISWC 2010 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION URSW 2010 will be a full-day workshop divided into three sessions. Two of those sessions will be devoted to paper presentations, while the remaining session will be planned in a format that invites an open debate on the results, conclusions, recommendations, and follow-up work of the URSW-XG group. We also plan to convey a work meeting after the workshop, in case the last session need to be extended. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings, which will be available as a separate publication after the Conference. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. Both technical and position papers will be published in the URSW Workshop proceedings, to be available after the ISWC 2010 Conference. In addition, technical papers accepted for presentation at the URSW 2010 will be eligible for participating in the selection to the planned Springer LNCS volume on Uncertainty Reasoning for the Semantic Web – Vol. II. This will be the second volume of this series and will include selected papers from URSW 2008 to URSW 2010. ORGANIZING COMMITTEE The organizing committee is as follows (in alphabetical order): * Fernando Bobillo - University of Granada, Spain. * Rommel N. Carvalho - George Mason University, USA * Paulo C. G. Costa - George Mason University, USA. * Claudia d'Amato - University of Bari, Italy. * Nicola Fanizzi - University of Bari, Italy. * Kathryn Laskey - George Mason University, USA. * Ken Laskey – MITRE Corporation, USA. * Thomas Lukasiewicz - Oxford University, UK. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - Technical University of Munich, Germany. * Michael Pool - Convera, Inc., USA. PROGRAM COMMITTEE The confirmed members of the program committee are the following (in alphabetical order): * Fernando Bobillo - Universidad de Zaragoza, Spain * Rommel N. Carvalho - George Mason University, USA * Paulo C. G. Costa - George Mason University, USA * Fabio G. Cozman - Universidade de Sao Paulo, Brazil * Claudia D'Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Marcelo Ladeira - University of Brasilia, Brazil * Kathryn B. Laskey - George Mason University, USA * Kenneth J. Laskey - MITRE Corporation, USA * Thomas Lukasiewicz - Oxford University, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles - Technical University of Munich, Germany * Jeff Z. Pan - University of Aberdeen, UK * Michael Pool - Convera, Inc., USA * Livia Predoiu - Universität Mannheim, Germany * Guilin Qi - University of Karlsruhe, Germany * Dave Robertson - University of Edinburgh, UK * Daniel Sánchez - University of Granada, Spain * Sergej Sizov - University of Koblenz-Landau, Germany * Giorgos Stoilos - Oxford University, UK * Umberto Straccia – ISTI-CNR, Pisa, Italy * Andreas Tolk - Old Dominion University, USA * Johanna Voelker - University of Karlsruhe, Germany We are looking forward to seeing you in Shanghai! From bjwoodford at infoscience.otago.ac.nz Wed Jul 7 06:56:07 2010 From: bjwoodford at infoscience.otago.ac.nz (Brendon Woodford) Date: Wed, 7 Jul 2010 16:56:07 +1200 (NZST) Subject: Updates: Keynote speakers for PRIMA2010 -- The 13th International Conference on Principles and Practice of Multi-Agent Systems In-Reply-To: <27592848.7931278478505401.JavaMail.root@infos003.otago.ac.nz> Message-ID: <18760435.7991278478567856.JavaMail.root@infos003.otago.ac.nz> Dear Colleagues, We are delighted to announce that PRIMA 2010 will feature keynotes from Makoto Yokoo (Kyushu University), Henry Prakken (Utrecht University), and Frank Dignum (Utrecht University.). Full details on the CFP can be found at http://www.prima2010.org Important dates are: - 24th July: deadline for submission of abstracts - 31st July: deadline for submission of papers - 19-22 August: author response phase - 1st September: author notification From calvanese at inf.unibz.it Thu Jul 8 07:18:05 2010 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Thu, 8 Jul 2010 07:18:05 +0200 Subject: CFP: Advanced Language Technologies for Digital Libraries (ALT4DL) Message-ID: <96397488-13D4-423C-9B60-745397672FFE@inf.unibz.it> (Apologies for cross-posting) ================================================================ ADVANCED LANGUAGE TECHNOLOGIES FOR DIGITAL LIBRARIES (ALT4DL) http://disi.unitn.it/~alt4dl/ ================================================================ CALL FOR PAPERS --------------- We invite authors to submit papers for a volume on Advanced Language Technologies for Digital Libraries to be published in the Springer's Lecture Notes on Computer Science (LNCS) Hot Topic subline [1]. The volume aims at presenting how state-of-the art Language Technologies are applied to the challenges faced by Digital Libraries together with providing a introductory grounding to the underlying fields. Hence, it will promote this emerging research area and disseminate its results whilst motivating the non-expert reader. It originates from two workshops, NLP4DL and AT4DL held in Viareggio and Trento, respectively, in 2009, but it is open also to contributions that were not presented at that time. We aim at gathering contributions both from the Library and the Computer Science community. DEADLINES --------- Abstract submission Deadline: 22nd July, 2010 Full paper submission Deadline: 15th September, 2010 Notification Deadline: 10th November, 2010 Camera Ready Deadlines: 10th December, 2010 BACKGROUND ---------- The fast growth of digital material is challenging for research in many disciplines, and in particular, for natural language technologies. Multilingual aspects pose particular difficulties regarding a wide spectrum of problems: from extracting text from images, to developing usable search engines for accessing this digital library content. The EU has funded many projects to bring forward research in this field and to facilitate end-user access to cultural and scientific heritage. Therefore, it is time to bring together recent research results and to give both researchers and practitioners a comprehensive view on this evolving area. We are interested in highlighting the role of Language Technologies in enhancing document image processing and in accessing and searching digital libraries in general. Today much of our Cultural Heritage have been digitised by scanning books and other kinds of documents, but their printed text needs to be extracted via document image processing techniques in order for the content to be accessible, searchable, and analysable. Language Technologies can also play a crucial role in accessing and searching digital libraries that do not contain the scanned table of contents, abstracts or books, but simply provide metadata records describing their physical collections. Despite mass-digitisation efforts, this 'legacy metadata' is still predominant in library catalogues. To this end, nowadays cutting edge Language Technologies need to be fine-tuned to work on such well structured but limited data. Libraries across the globe are keen to provide subject-based access to their digital library collections via the linked data cloud. With each library indexing their digital libraries in their local language, the true value of this data is yet to be achieved. Web 2.0 brings particular challenges for digital libraries as increasingly multilingual user generated content, such as annotations and tags, are created. Not forgetting that all this needs to be done on mobile devices, which need to be optimised for the multilingual society in which we live in. All the Cross Language tasks, such Named Entity Disambiguation, Cross-Language Image Retrieval, Word Sense Disambiguation, etc. need to be harnessed to help users navigate the multilingual digital library world. In a nutshell, it is the aim of this volume to present the current issues related to the multilingual aspects encountered when searching and navigating through digital libraries, and more generally, through e-repositories. TOPICS ------- Against this background, we are particularly interested in the application of Language Technologies to the following topics: - Access and Search (in Digital Libraries) - Social Web (and Digital Libraries) - Innovative Applications (of Digital Libraries) - Cross Language Processing (in Digital Libraries) - Document Image Processing (in Digital Libraries) - Metadata processing (in Digital Libraries) - Mobile technologies and Digital Libraries INSTRUCTIONS TO THE AUTHORS --------------------------- Both Abstracts and Full Papers should be submitted electronically via the EasyChair System [2]. The only accepted format both for submitted abstracts and full papers is Adobe PDF. The PDF file must be uploaded to the system by the submission deadlines. Each abstracts may consist of up to one (1) page. Each full paper may consist of up to twenty (20) pages. Full paper submissions should be made following the Author's Instructions for Lecture Notes in Computer Science (LNCS) [3]. EDITORS ------- Raffaella Bernardi, Free University of Bozen-Bolzano, Italy Sally Chambers, European Library, the Netherlands Bjoern Gottfried, University of Bremen, Germany Frederique Segond, Xerox, France Ilya Zaihrayeu, University of Trento, Italy PUBLICATION ----------- Papers will be published in a volume of the LNCS Hot Topic subline which is expected to be available in February 2011. EDITORIAL COMMITTEE ------------------- Galja Angelova, Bulgarian Academy of Sciences, Bulgaria Pushpak Bhattacharyya, Indian Institute of Technology, India Nicola Ferro, University of Padova, Italy Fausto Giunchiglia, University of Trento, Italy Stefan Gradmann, Europeana, Humboldt-Universitдt zu Berlin, Germany Udo Kruschwitz, Essex University, UK Andreas Lattner, University of Frankfurt, Germany Mikolaj Leszczuk, AGH Krakow, Poland Stefan Pletschacher, University of Salford, UK Viliam Simko, CIANT, Prague, Czech Republic Junichi Tsujii, University of Tokyo, Japan LINKS ----- [1] Springer's Lecture Notes on Computer Science (LNCS) Hot Topic subline, http://www.springer.com/computer/lncs?SGWID=0-164-12-72945-0 [2] EasyChair System, http://www.easychair.org/conferences/?conf=alt4dl [3] Author's Instructions for Lecture Notes in Computer Science (LNCS), http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 First Natural Language Processing for Digital Libraries (NLP4DL) Workshop, Viareggio, Italy (June 15, 2009) http://www.cacaoproject.eu/natural-language-processing/ Workshop on Advanced Technologies for Digital Libraries 2009 (AT4DL 2009), Trento, Italy (September 8, 2009) http://www.cacaoproject.eu/at4dl/ CONTACT ------- To receive further information please email to alt4dl at disi.unitn.it From eoikarin at tcs.hut.fi Thu Jul 8 11:19:31 2010 From: eoikarin at tcs.hut.fi (Emilia Oikarinen) Date: Thu, 8 Jul 2010 12:19:31 +0300 (EEST) Subject: JELIA 2010 Call for Participation In-Reply-To: References: Message-ID: *** Apologies for receiving multiple copies *** JELIA 2010 CALL FOR PARTICIPATION ================================= 12th European Conference on Logics in Artificial Intelligence Helsinki, Finland, September 13-15, 2010 http://jelia2010.tkk.fi/ Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journ?es Europ?ennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2010 the conference is organized for the first time in Scandinavia, following previous meetings mainly taking place in Central and Southern Europe (see the general website http://www.jelia.eu/ for details). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to AI. Registration and Travel Information =================================== Registration as well as travel and accommodation information is available on JELIA 2010 web pages http://jelia2010.tkk.fi/ JELIA 2010 Registration Fees Early (until Aug 9) Late (Aug 10 - Sep 1) Regular 250 EUR 400 EUR Student 150 EUR 250 EUR including JELIA 2010 technical sessions and invited talks, coffee breaks, the combined JELIA/PGM welcome reception on September 13, conference Banquet and excursion on September 14, JELIA 2010 LNAI conference proceedings, and conference accessories (bag, programme, info, ...) Scientific Program ================== The scientific program consists of three invited talks, 26 regular papers, and 5 system descriptions. See details in the preliminary program at http://jelia2010.tkk.fi/schedule.shtml Invited Speakers ================ Gerhard Brewka (http://www.informatik.uni-leipzig.de/~brewka/): Nonmonotonic Tools for Argumentation Adnan Darwiche (http://www.cs.ucla.edu/~darwiche/): Relax, Compensate and then Recover: A Theory of Anytime, Approximate Inference Stephane Demri (http://www.lsv.ens-cachan.fr/~demri/): Counter Systems for Data Logics Venue ===== The conference will be held in the main building of University of Helsinki, located in the center of Helsinki. Founded in 1550, Helsinki has been the Finnish capital since 1812, when it was rebuilt in the Empire style by the orders of the Czar of Russia, hence sharing architectural similarities with St. Petersburg even today. Located on the Baltic peninsula centrally between the east and the west, Helsinki "the Daughter of the Baltic" is a city full of contrasts: light and white in summer while dark but full of warmth in winter, with a combination of high-tech, contemporary design, and ever-present nature. Finnish design has made Helsinki world famous, and recently Helsinki was appointed World Design Capital 2012. Co-located events ================= European Workshop on Probabilistic Graphical Models (PGM) http://www.helsinki.fi/pgm2010/ From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Jul 9 14:19:38 2010 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Fri, 9 Jul 2010 13:19:38 +0100 Subject: TARK 2011 Call for Papers Message-ID: Theoretical Aspects of Rationality and Knowledge (TARK XIII) Conference Groningen, the Netherlands, 11-15 July 2011 First Announcement * Scope and Mission The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. * Workshops Two full-day workshops will precede and follow the conference: ``Reasoning about other minds: logical and cognitive perspectives", ``Quantum physics meets TARK". * Important Dates Submission of Abstracts: March 10th, 2011 Notification of Authors: April 29th, 2011 Camera Ready Copy of Accepted Papers due: May 20th, 2011 Conference Dates: 11-15 July 2011 * Programme Committee Natasha Alechina, University of Nottingham Krzysztof R. Apt (PC chair), CWI and University of Amsterdam Sergei Artemov, CUNY, New York Hans van Ditmarsch, University of Sevilla Aviad Heifetz, The Open University of Israel Wiebe van der Hoek, University of Liverpool Daniel Lehmann, The Hebrew University of Jerusalem Jerome Lang, Universite Paris-Dauphine Fenrong Liu, Tsinghua University, Beijing Alessio Lomuscio, Imperial College London Ron van der Meyden, University of New South Wales, Sydney Eric Pacuit (tutorials chair), Tilburg University Andres Perea, Maastricht University Gabriella Pigozzi, University of Luxembourg R. Ramanujam, Institute of Mathematical Sciences, Chennai Sonja Smets, University of Groningen Moshe Tennenholtz, Technion, Haifa and Microsoft, Herzliya Rineke Verbrugge, University of Groningen * Local Organization Sonja Smets Rineke Verbrugge ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From bernhard.schandl at univie.ac.at Fri Jul 9 16:21:18 2010 From: bernhard.schandl at univie.ac.at (Bernhard Schandl) Date: Fri, 9 Jul 2010 16:21:18 +0200 Subject: Deadline Extension & 3rd CfP - Workshop on Personal Semantic Data (PSD2010) at EKAW 2010 Message-ID: Please note that the paper submission deadline has been extended to the 19 July 2010, due to requests received. Call for Papers 1st Workshop on Personal Semantic Data: PSD 2010 http://semanticweb.org/wiki/Personal_Semantic_Data co-located with EKAW 2010 11th - 15th October, Lisbon, Portugal Personal Semantic Data is scattered over several media, and while semantic technologies are already successfully deployed on the Web as well on the desktop, data integration is not always straightforward. The transition from the desktop to a distributed system for Personal Information Management (PIM) raises new challenges which need to be addressed. These challenges overlap areas related to human-computer interaction, privacy and security, information extraction, retrieval and matching. This workshop will bring together academics and industrial practitioners with the goal of fostering cross-domain collaborations to further advance the use of technologies from the Semantic Web and the Web of Data for PIM and to explore and discuss the challenges and approaches for improving PIM through the use of vast amounts of (semantic) information available online. At the same time we want to provide a platform for discussing research topics and challenges related to personal semantic data. == IMPORTANT DATES == * 19 July 2010 * - Submission deadline (extended) 9 August 2010 - Notification 27 August 2010 - Camera-ready version == TOPICS == The topics of interest include, but are not restricted to: * Bridging the gap between Semantic Desktop Data and Linked (Open) Data -Interlinking personal desktop data with Semantic Web data -Enriching desktop information with Web data -Publishing semantic personal data from the desktop to the Web, including trust and privacy issues -Mapping and synchronizing personal semantic data from heterogeneous sources -New forms of visualization of mashed and hybrid personal data from the desktop and Web * Managing personal data across heterogeneous social media sites -Mapping and synchronizing personal social data across heterogeneous social media and the desktop -Searching and browsing personal social data across heterogeneous data sources and using heterogeneous interfaces (e.g. mobile devices) -Modeling of semantic information for personal and social use * Generation of personal semantic data from novel sources -Semi-automatic and automatic generation of semantic data from personal information -Fusion of mobile and desktop environments -Interlinking newly generated semantic data with existing sources == SUBMISSION GUIDELINES == We encourage full papers (max 12 pages), short paper (max 6 pages) and short demo papers (max 2 pages) describing significant work in progress, late breaking results or ideas / challenges for the domain. Submissions should follow the LNCS guidelines. Papers should be submitted in pdf format to http://www.easychair.org/conferences/?conf=psd2010 no later than midnight Pacific Daylight Time on July 9, 2010. Accepted papers will be published in the workshop proceedings. == WORKSHOP ORGANIZERS == * Laura Dragan - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland * Bernhard Schandl - Department of Distributed and Multimedia Systems, University of Vienna, Austria * Charlie Abela - Department of Intelligent Computer Systems University of Malta, Malta * Tudor Groza - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland * Gunnar Grimnes - DFKI GmbH, Kaiserslautern, Germany * Stefan Decker - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland == FURTHER INFORMATION == Further information is available on the workshop website at http://semanticweb.org/wiki/Personal_Semantic_Data or by emailing the workshop organizers. Best regards, PSD 2010 Organizing Committee From paolucci at docomolab-euro.com Tue Jul 13 11:20:50 2010 From: paolucci at docomolab-euro.com (Paolucci, Massimo) Date: Tue, 13 Jul 2010 11:20:50 +0200 Subject: CFP Service Matchmaking and Resource Retrieval in the Semantic Web Message-ID: <317B40DA788E894D8FDD440D2835F5F702C9340B@DEMAIL.docomolab-euro.com> Apologies for cross-postings -------------------------------------------------------------------------- CALL FOR PAPERS -------------------------------------------------------------------------- SMR2-2010 Third International Workshop on http://www-ags.dfki.uni-sb.de/~klusch/smr2-10/ 9th International Semantic Web Conference (ISWC 2010) November 8, 2010 Shanghai, China Aims & Scope: One central challenge of service coordination in the Semantic Web is how to best relate requests for services with the services that are available. This functionality is usually provided by matchmaking capabilities (which may themselves be deployed as services, brokers or middle agents) that select the services that are closest to a requested service on the basis of a declarative characterization of the capabilities of both service requested and services provided. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge, even persons and organizations) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from Web services, Grid and cloud computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, and social networking applications such as dating services. The primary objective of this workshop is to bring together academic and industry researchers and industry practitioners who tackle semantic service matchmaking and discovery from various points of view. In particular, we intend to build bridges to the software engineering and model-driven development communities in order to share requirements, technologies, and experiences that might be helpful in advancing the state of the art in semantic service matchmaking and resource retrieval. Going to Practice: The Third Semantic Service Selection (S3) Contest The SMR2 workshop also integrates the third edition of the open international contest on semantic service selection (S3) executed in collaboration with the Semantic Web Service Challenge. The S3 contest provides the means and a forum for evaluating the retrieval performance of Semantic Web service matchmakers in terms of recall, precision, F1, response time etc., over given test collections based on the prominent semantic service formats such as OWL-S, WSML and the standard SA-WSDL. Publication: Accepted papers will be available online as a volume of CEUR proceedings. In addition, selected papers will be published in a special issue of the International Journal on Software Tools for Technology Transfer (STTT, Springer Verlag). Topics of interest include (but are not limited to): * Advanced searching of services and other resources in the Semantic Web * Novel approaches to matchmaking and brokering in the Semantic Web, with a particular emphasis on Semantic Web services * Model-driven semantic service engineering and matchmaking * Semantic retrieval of resources and services in P2P and Grid networks * Semantic retrieval of resources and services in Cloud Computing * Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply chains * Matchmaking in other application scenarios: e-government, biopharma, etc. * Composition planning of Semantic Web services * Negotiation of Semantic Web services and resources * Interleaving of discovery, composition, and negotiation of Semantic Web services * Semantic Web services selection * Formal description and handling of Semantic Web services, queries, and resources * Non-functional service properties and their use for discovery (and composition) * Trust issues of Semantic Web service discovery * Prototypes and tools for Semantic Web services engineering * Middleware solutions for semantic service discovery and composition * Novel approaches to achieving interoperability between services in the Semantic Web * Practical business and user-oriented issues and experiences of implementing SW service retrieval tools * Experimental comparative evaluation of implemented SW service retrieval tools Submissions : Contributions to the workshop can be made as technical papers, addressing different issues of service / resource matching. The papers should be not longer than 12 pages using the LNCS Style: http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.h tml All contributions should be prepared in PDF format and should be submitted through the workshop submission site at: http://www.easychair.org/conferences/?conf=smr22010 Important Dates: September 1, 2010: Deadline for the submission of papers. September 20, 2010: Deadline for the notification of acceptance/rejection. October 2, 2010: Camera ready copy submission. November 8, 2010: SMR2-2010, Shanghai, China Organizing Committee: Abraham Bernstein (University of Zurich, Switzerland) Matthias Klusch (DFKI, Germany) Paul Grace (University of Lancaster, UK) Massimo Paolucci (NTT DoCoMo Research Europe, Germany) Program Committee (under construction): Abraham Bernstein U. Zurich, Switzerland Paul Grace, Lancaster U, UK Matthias Klusch DFKI, Germany Alain Leger, France Telecom, France David Martin, Apple, USA Oliver Müller, U Muenster, Germany Massimo Paolucci, NTT Docomo, Germany Stefan Schulte TU Darmstadt, Germany Eugenio Di Sciascio, U Bari, Italy Marco Luca Sbodio, HP, Italy --------------------------------------------------- Massimo Paolucci DOCOMO Communications Laboratories Europe GmbH Landsberger Strasse 308-312, 80687 Munich Phone: +49-89-56824-238 Fax: +49-89-56824-300 Mobile: +49-162-2919238 mailto:paolucci at docomolab-euro.com http://www.docomolab-euro.com Managing Directors (Geschaeftsfuehrer): Dr. Masami Yabusaki, Mr. Naoki Tani, Mr. Tsutomu Sakai Amtsgericht Muenchen, HRB 132976 -------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 6627 bytes Beschreibung: nicht verfügbar URL : From fuchs at ifi.uzh.ch Tue Jul 13 23:06:34 2010 From: fuchs at ifi.uzh.ch (Norbert E. Fuchs) Date: Tue, 13 Jul 2010 23:06:34 +0200 Subject: 2nd Workshop on Controlled Natural Languages CNL 2010: Call for Participation Message-ID: <5B6A9895-AD04-4C4C-A897-EB0771BB2089@ifi.uzh.ch> ********************************************************************* Call for Participation CNL 2010 2nd Workshop on Controlled Natural Languages http://staff.um.edu.mt/mros1/cnl2010 Marettimo Island, Sicily (Italy) 13-15 September 2010 Note: deadline 15 July 2010 for discounted accommodation ********************************************************************* Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types: those that improve readability for human readers (e.g. non-native speakers), and those that enable reliable automatic semantic analysis of the language. The workshop will be informal with plenty of time for presentations and discussions. To ensure the informal atmosphere the number of participants will be limited. WORKSHOP PROGRAMME A full programme (http://staff.um.edu.mt/mros1/cnl2010/prog.html) of refereed papers and invited tutorial presentations is now online. Details are available on the conference website. VENUE The workshop will take place on the Italian island Marettimo at the Marettimo Residence (www.marettimoresidence.com/inglese/home.php). This consists of a set of two-storey houses set within a beautiful garden. On top of the garden of the residence there is a large lecture hall with wireless internet. Marettimo is the outermost of the Egadian Islands to the west of Sicily, and is easily reached from the airports of Palermo and Trapani. Marettimo offers the simple and relaxed life of southern Italy, unspoilt landscape, stupendous views, hiking, swimming, diving, boat trips, and excursions on donkeys. There are several restaurants and bars, and some shops. What the island does not offer: traffic - there are practically no roads - fancy shops and restaurants, night life, and sandy beaches. ACCOMMODATION The Marettimo Residence (www.marettimoresidence.com/inglese/home.php) offers one- and two-bedroom apartments with fully equipped kitchens. A number of apartments for the participants of CNL 2010 will be reserved until 15 July 2010 at a price 10% below the regular price. Participants should get into direct contact with the Marettimo Residence to organise their accommodation, citing "CNL 2010" and the names of the organisers when claiming the reduced price. Please indicate the length of your stay – perhaps you want to bring your family for additional days of vacation – and whether you would like to share your apartment with another participant of CNL 2010. The Marettimo Residence can also organise your transfers from and to the airports of Palermo or Trapani. REGISTRATION There is no registration fee for CNL 2010. Participants should contact the Marettimo Residence for accommodation until 15 July 2010. Alternative accommodations on Marettimo can be found via the internet, for instance by googling for "case vacanze Marettimo". Once your accommodation is confirmed, please send the registration form (http://staff.um.edu.mt/mros1/cnl2010/registration.html ) to the organisers. WORKSHOP DINNER A workshop dinner will be arranged during the workshop, and will be paid individually by the participants. ORGANISATION Michael Rosner (University of Malta) mike.rosner at um.edu.mt Norbert E. Fuchs (University of Zurich, Switzerland) fuchs at ifi.uzh.ch From bjwoodford at infoscience.otago.ac.nz Wed Jul 14 06:50:26 2010 From: bjwoodford at infoscience.otago.ac.nz (Brendon Woodford) Date: Wed, 14 Jul 2010 16:50:26 +1200 (NZST) Subject: Updates: Best Paper Award for PRIMA2010 -- The 13th International Conference on Principles and Practice of Multi-Agent Systems In-Reply-To: <18760435.7991278478567856.JavaMail.root@infos003.otago.ac.nz> Message-ID: <5033898.5651279083026859.JavaMail.root@infos003.otago.ac.nz> The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2010) Kolkata, India November 12th-15th, 2010 www.prima2010.org News Highlights --------------- **Best Paper Award Sponsored by IBM Research** PRIMA 2010 would recognize the highest quality research paper in the key theme area of "agents and services" with a Best Paper Award sponsored by IBM Research -- India. The award is aimed at encouraging top quality research in the critical area of Service Science. One paper will be chosen by the program committee for this award and the award carries a prize of Indian Rupees 5000. **Keynote Speakers** Frank Dignum. University of Utrecht, The Netherlands Henry Prakken, University of Groningen (Law & IT) and University of Utrecht (Computer Science), The Netherlands Makoto Yokoo, Kyushu University, Japan Important Dates --------------- Abstracts: July 24th, 2010 Papers: July 31st, 2010 Author response: August 19-22 Author notification: September 1st, 2010 Camera-ready papers: September 20th, 2010 Early registration deadline: September 27th, 2010 Registration deadline: November 1st, 2010 Workshops and Tutorials: November 12th, 2010 Conference dates: November 12th - 15th, 2010 Overview -------- PRIMA is a leading scientific conference for research on intelligent agent and multi-agent systems, attracting high quality, state-of-the-art research from all over the world. The conference endeavours to bring together researchers, developers, and academic and industry leaders, who are active and interested in agents and multi-agent systems, their practices and related areas. The conference has a strong focus on practice, and is focused on becoming the premier forum for prototype and deployed agent systems. Thus PRIMA particularly encourages reports on development of prototype and deployed agent and multi-agent systems, and experiments that demonstrate the capability of agents to handle real-world challenges. PRIMA2010 will build on the success of its predecessor workshops and conferences held in Nagoya, Hanoi, Bangkok, Guilin, Kuala Lumpur, Auckland, Seoul, Tokyo, Taipei, Melbourne, Kyoto, and Singapore. Since 2007, due to the need for an additional high-quality forum for international researchers and practitioners to meet and share their work, the meeting has been expanded from a workshop to a full-fledged conference. **Key Theme** In addition to the themes listed below, a key theme for PRIMA 2010 is agents and services, where the intent is to explore the connections between the agent technology and services (both in the sense of service science and service-oriented computing). We especially encourage papers that deal with the application of agent techniques to the challenges in the services area. There are clear relationships between the work in services and the work on agents, and there is increasing crossover between the two communities. **Reviewing Process** PRIMA 2010 will see a number of changes to the reviewing process. These changes are designed to further raise the quality of the reviewing process and of the accepted papers. Specifically, PRIMA 2010 will: * introduce an author response phase in which authors are able to respond to reviews; * use double blind reviewing; * introduce a Senior Programme Committee (SPC), who are tasked with overseeing the review process of specific papers. Additionally, PRIMA 2010 will introduce a "shepherding" process for borderline papers. This process will see a PC or SPC member working with authors of borderline papers to provide additional support during the revision process in order to improve the presentation of the paper. Finally, PRIMA 2010 will replace short posters with full-length ?work in progress? papers. This is being done in order to allow sufficient space for papers to explain their contribution, whilst still clearly distinguishing between full papers and weaker papers that still have merit. **Publication** The PRIMA proceedings will be published by the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), which sponsors and publishes the proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). Selected papers accepted to PRIMA will be invited to be expanded and published as a special issue with the journal of Multiagent and Grid Systems (MAGS). Multimedia Submission Track **Multimedia Submissions** For some multiagent systems it can be challenging to convey the research contributions of the work in a traditional paper format. For example, the novelty and contribution of some distributed robotic or agent systems cannot be easily made clear in a paper format, but might be compelling with a Powerpoint presentation or video. Similarly, programming languages or tools might be best explained via a tutorial or software package showing their power. In recognition of this, PRIMA'10 retains the Multimedia Submission Track used in PRIMA'09. Specifically, in addition to regular paper submissions, we accept multimedia (non-paper) electronic submissions of technical contributions. This type of work can be submitted in whatever electronic format best conveys the research contributions of the work, from Powerpoint presentations, to videos, to working code to websites. **Submission Details** Submissions are through easychair: http://www.easychair.org/conferences/?conf=prima10 For multimedia submissions, please submit a single zip file. For regular papers, please submit a PDF file in ACM SIG Proceedings format, at most eight (8) pages long (note that this is a change from last year, which used LNCS format). The paper should not include author details (i.e. be anonymous). Note that abstract submissions are requested a week before the paper deadline (i.e. 24th for abstracts, 31st for papers). Organization ------------ **General Chairs** B.P. Sinha (Indian Statistical Institute, India) Chandan Mazumdar (Jadavpur University, India) Abdul Sattar (Griffith University, Australia) **Program Chairs** Nirmit Desai (IBM Research, India) Alan Liu (National Chung Cheng University, Taiwan) Michael Winikoff (University of Otago, New Zealand) Workshop Chairs: Hoa Khanh Dam (University of Wollongong, Australia) and Tru Hoang Cao (Ho Chi Minh City University of Technology, Vietnam) Tutorial Chairs: Sujata Ghosh (Gottingen University, Netherlands) and Aniruddha Dasgupta (University of Wollongong, Australia) Local Organizing Chair: Nabendu Chaki (University of Calcutta) Local Finance Chair: Mridul Barik (Jadavpur University) See the committees page for list of SPC and PC members. Themes and Topics (See sub-areas on the Website) ------------------------------------------------ **Agents and Service Science** **Agent-based system development** **WWW and Semantic Web Agents** **Agent Technologies for Service Computing** **Agent Reasoning** **Interface Agents** **Agent communication** **Agent Cooperation and Negotiation** **Agent Systems** **Real-world Robotics** **Other Related Areas** **Agent-based simulations** From josef.urban at gmail.com Wed Jul 14 12:14:23 2010 From: josef.urban at gmail.com (Josef Urban) Date: Wed, 14 Jul 2010 12:14:23 +0200 Subject: PhD Position in Automated Reasoning Using Machine Learning (vacancy number 62.58.10) Message-ID: PhD student Computer Science (1,0 fte) ================================= Radboud University Nijmegen, Faculty of Science, Institute for Computing and Information Sciences (iCIS), Intelligent Systems Maximum Salary: EUR 2,612 gross/month Vacancy number: 62.58.10 Closing date: 30 September 2010 Job description ============ You will be working on the NWO project Learning2Reason, which aims to improve computer-assisted reasoning technology using a machine learning approach. To derive new knowledge from corpora of formally expressed knowledge such as mathematical theorems and proofs, one uses computer-assisted and automated reasoning methods. These symbolic (or deductive) approaches typically suffer from a fast-growing search space. Tailored machine learning approaches can help to control this search space, e.g., by estimating the usefulness of existing lemmas for proving a new result. Within the project, you will focus on the state-of-the-art in machine learning, especially kernel-based methods that are ideally suited to take into account the structure of formulas and proofs (given as graphs or trees). Your task as a PhD student will be to develop and further improve such machine learning techniques and apply and test these on existing formal libraries. Requirements =========== You should meet the following requirements: - A master's degree (or equivalent) in Computer Science, Mathematics or a related field, with a strong interest in machine learning and/or proof assistants; - Commitment and a cooperative attitude; - Excellent proficiency in written and spoken English. Organization ========== The Radboud University Nijmegen is one of the leading academic communities in the Netherlands. Renowned for its green campus, modern buildings, and state-of-the-art equipment, it has nine faculties and enrolls over 17.500 students in approximately 90 study programs. The university is situated in the oldest Dutch city, close to the German border, on the banks of the river Waal (a branch of the Rhine). The city has a rich history and one of the liveliest city centres in the Netherlands. The section Intelligent Systems of the Institute for Computing and Information Sciences (iCIS) at the Radboud University Nijmegen conducts research in both machine learning (subgroup headed by Prof.dr. Tom Heskes) and proof assistants (subgroup headed by Prof.dr. Herman Geuvers). The current project is right at the interplay between these subgroups and combines the strengths of both teams. iCIS in general and the section Intelligent Systems received excellent scores at the latest national research assessment. Website: http://www.ru.nl/is/ Conditions of employment ===================== Employment: 1,0 fte Maximum salary per month, based on a fulltime employment: € 2,612 gross/month Starting at € 2,042 per month, the salary will increase to € 2,612 per month in the fourth year. PhD scale. Additional conditions of employment ============================== You will be appointed as a PhD student for a period of four years. Your performance will be evaluated after 18 months. If the evaluation is positive, the contract will be extended by 2.5 years. Additional Information ================== Prof.dr. Tom Heskes Prof.dr. Herman Geuvers Telephone: +31 24 36 52696 Telephone: +31 24 36 52603 E-mail: tomh at cs.ru.nl E-mail: herman at cs.ru.nl Application ========= You can apply for the job (mention the vacancy number 62.58.10) before 30 September 2010 by sending your application -preferably by email- to: RU Nijmegen, FNWI, P&O, mrs. D. Reinders P.O. Box 9010, 6500 GL Nijmegen, NL Telephone: +31 24 3652027 E-mail: pz at science.ru.nl From bcseet at ieee.org Wed Jul 14 12:51:40 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Wed, 14 Jul 2010 22:51:40 +1200 Subject: CFP: Sensor Networks and Ambient Intelligence - SI and Deadline Extension Message-ID: <958C8EE2AF5D43D39CA6A7EAF5B10642@BCSEETPC> Please be informed that the paper submission deadline of SeNAmI 2010 has been extended to August 2, 2010 In addition, selected best papers will be considered for special issues in ACM/Springer Personal and Ubiquitous Computing Journal and International Journal of Sensor Networks (IJSNet) -------------------- CALL FOR PAPERS 3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010) In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org Hong Kong SAR, China, December 11-13, 2010 Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI). The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care. Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Sensor networking with context and ambient awareness - Nature or bio-inspired designs for ambient sensing and intelligence - Cross-layer design and optimization of sensor-based AmI systems - Reasoning and inference for sensor/RFID-based systems - Multi-modal sensor fusion for smart environments - Cyber-physical systems for human-centric applications - Ambient energy harvesting and energy-efficiency issues for sensor networks - Sensor or sensor-embedded object localization and target tracking - Cooperative in-network sensor information processing - Intelligent and mobile agents for embedded ubiquitous computing - Sensor networking in heterogeneous environments - Privacy, security, and trust management - AmI architectures, platforms, applications, and services - Prototypes, testbeds, and real-world deployments IMPORTANT DATES Paper submission due : August 2, 2010 (extended) Acceptance notification : September 24, 2010 Camera-ready due : October 10, 2010 Workshop date : TBA Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please prepare your paper following the IEEE Computer Society proceedings guidelines. Maximum page length may be limited to 6 pages. Accepted papers will be included in the conference proceedings of the IEEE/IFIP EUC 2010, which will be published by IEEE Computer Society Press and digitally archived in IEEE Xplore library. Proceedings published by IEEE will be indexed by major bibliographic services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex. Authors of selected best papers will be invited to submit extended version of their papers for publication in a theme issue in ACM/Springer Journal of Personal and Ubiquitous Computing, or in a special issue in the International Journal of Sensor Networks (IJSNet). For further details, please visit: http://iliad.aut.ac.nz/senami2010/ -------------------- Boon-Chong Seet (Dr)Program Chair, SeNAmI 2010Department of Electrical and Electronic EngineeringAuckland University of TechnologyPrivate Bag 92006, Auckland 1142, New ZealandPhone: +64 9 921 9999 ext 5345Fax: +64 9 921 9973boon-chong.seet at aut.ac.nz; bcseet at ieee.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tkren at kr.tuwien.ac.at Wed Jul 14 17:16:27 2010 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Wed, 14 Jul 2010 17:16:27 +0200 Subject: 10 PhD student positions in Computational Logic at Vienna University of Technology Message-ID: <4C3DD4CB.9030708@kr.tuwien.ac.at> The Vienna University of Technology (TU Wien) is offering 10 PhD student positions within the doctoral program "Mathematical Logic in Computer Science" which is launched in Fall 2010; five of the positions are reserved for female applicants. The program is jointly organized by the faculties of Informatics, Mathematics, and Physics, with a strong emphasis on Logic in Computer Science; computational logic is one of the priority research areas of the Faculty of Informatics. TU Wien has a strong international reputation in various fields targeted in the program, including * Logic in Databases, * Computer Aided Verification, * Constraint Satisfaction and Satisfiability, * Knowledge Representation and Reasoning, * Finite Model Theory, * Quantum Information and Recursion Theory, * Proof Theory and Automated Deduction, * Many Valued and Fuzzy Logic, * Complexity Theory, * Set Theory. The program is interdisciplinary and fosters the application of Mathematical Logic to Computer Science; two envisaged key application areas are * Model-Based Design and Verification, * Advanced Information Systems. The faculty of the program consists of M. Baaz, A. Ciabattoni, T. Eiter (coordinator), M. Goldstern, G. Gottlob (associated), A. Leitsch, R. Pichler, K. Svozil, S. Szeider, H. Veith and S. Woltran. Candidates must have an MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. They should have solid basic knowledge in logic, discrete mathematics, and computer science; knowledge in fields targeted in the program is desired. Each PhD student position is funded for three years (regular employment contract with full social benefits). The yearly salary ranges from a minimum of 12,724 Euro to 25,915 Euro before taxes, depending on cofunding via associated projects. Applications are solicited starting immediately, and will be considered starting from September 10, 2010, until all positions are filled, but no longer than March 15, 2011. Further details about the program and the application procedure are available at http://www.dbai.tuwien.ac.at/drkolleg/. For additional information, please send email to dk-info at dbai.tuwien.ac.at. From wmaccaul at stfx.ca Wed Jul 14 21:48:20 2010 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Wed, 14 Jul 2010 16:48:20 -0300 Subject: Research Scientist/ PostDoc Opportunity Message-ID: Research Scientist/PostDoc - Scalable Methods for Ontological Reasoning using High Performance Computing with Applications to Healthcare This is a 2 year contract position to develop scalable methods for ontological reasoning with applications to health care. Strong implementation skills are required; ideally the candidate will demonstrate proficiency in high performance computing methodologies, in strategies for (automated) reasoning, and in ontology development (though proficiency in some and commitment to developing proficiency in the other may be acceptable). Case studies will involve very large ontologies for health care. The candidate will have the opportunity to work with researchers in an interdisciplinary 6 year R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, carried out in collaboration with industry partners and the local health authority (see www.logic.stfx.ca). This position is partially supported by the ACEnet/Oracle Research Collaboration Program which has the goal of reducing barriers to the efficient, effective, and widespread use of the ACEnet Research Computing Platform through the creation of innovative open source grid, middleware, or web/portaltechnologies. Qualifications: PhD in appropriate area or MSc with 2-3 years experience in theorem proving strategies. Excellent written and oral skills in English. Salary: $44,500 per year (plus medical and dental benefits and a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year. To apply: Send a 1 page Letter of Application describing how you fit the requirements of this position to Wendy MacCaull at wmaccaul at stfx.ca Include as attachments: (1) A detailed CV; (2) Names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers); (3) Copies of recent publications and/or detailed descriptions of projects and previous experience. Use as the subject: Methods for Scalable Ontological Reasoning. We will begin reviewing applicantions on August 2nd, 2010 and hope to have the successful candidate in place by September/October 2010. Wendy MacCaull, PhD, Professor, Mathematics, Statistics & Computer Science, Director, StFX Centre of Logic and Information, St. Francis Xavier University, Antigonish, NS, Canada, B2G 2W5 Tel: 902 867 3989 FAX: 902 867 1397 Information is this e-mail is confidential and meant only for the addressee. Please do not circulate it without prior permission. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: Research Scientist New.txt URL: From shankar at csl.sri.com Fri Jul 16 18:01:32 2010 From: shankar at csl.sri.com (Natarajan Shankar) Date: Fri, 16 Jul 2010 09:01:32 -0700 Subject: VSTTE Informal Verification Competition Message-ID: <7389.1279296092@positron.csl.sri.com> Dear colleague: We will have an informal verification competition at VSTTE in Edinburgh as a prelude to a more formal competition at future meetings. The competition is for teams of up to three people armed with one or more verification tools. You will be given several verification exercises with information specifications, test cases, and pseudocode. The task is to prepare a reproducible verification of executable code relative to a formalization of the specifications. The results will be judged for completeness and elegance. The exercises will typically involve simple datatypes that should be available on most verification tools for sequential or functional programs. Student teams are especially encouraged. We also urge you to register for VSTTE itself (see the Call below). The competition will be an informal event, no registration is required. If you want to participate, simply attend the session on Wednesday Aug 18 and find out about the details. The results will be presented at the Tools & Experiments workshop on Thu Aug 19. More information should also be available on the VSTTE web page shortly. Please contact peter.mueller at inf.ethz.ch or shankar at csl.sri.com if you have any questions. We look forward to seeing you at VSTTE! Peter and Shankar ================================================================== (Apologies if you receive multiple copies of this announcement) ***************************************************************** *** Second Call for Participation -- Early Registration ends in 2 weeks *** Third International Conference on Verified Software: Theories, Tools, and Experiments Edinburgh, Scotland August 16th-19th, 2010 http://www.macs.hw.ac.uk/vstte10 SPONSORS: NSF, EPSRC, Microsoft Research, SICSA, Altran Praxis, SSEI, FME, Contemplate, Heriot-Watt University ****************************************************************** The Third International Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich (2005) and a successful conference in Toronto (2008). This conference is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems Evolution. PROGRAMME The programme includes - Keynote presentations by Tom Ball (Microsoft), Gerwin Klein (National ICT Australia), and Matthew Parkinson (University of Cambridge); - Invited Tool Demo Presentations by Colin O?Halloran (ClawZ/Circus) , Bart Jacobs (VeriFast), Michael Jastram (ProB) and Joe Kinry (BONc/Beetlz); - A Verification Competition; - Industrial Tool Vendors; - Two workshops: Theory WS and Tools & Experiments WS; - A Summer School -- lectures given by Robert Atkey/Ewen Maclean, Alan Bundy/Lucas Dixon, Jane Hillston, Cliff Jones, Gerwin Klein, J Strother Moore, Natarajan Shankar and Graham Steel; A provisional programme is available at: http://www.macs.hw.ac.uk/vstte10/Programme.html VENUE VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh. The conference dates coincide with the 2010 Edinburgh International Festival and the Edinburgh Festival Fringe -- collectively the largest annual arts festival on the planet! The technical programme will take place in the Edinburgh Conference Centre (Heriot-Watt University campus), where accommodation will be available at very competitive rates for festival time. Social events will be arranged within the city centre, making VSTTE an unique cultural and scholarly event for 2010! SOCIAL EVENTS As well as a welcome reception and conference banquet, SICSA are sponsoring a special drinks reception in the Informatics Forum at the heart of the Festival on August 17th. STUDENT SUPPORT Support for students wishing to attend VSTTE 2010 is available. Please contact vstte10 at macs.hw.ac.uk for more details. REGISTRATION Online registration is available from http://www.macs.hw.ac.uk/vstte10_reg/Registration.php Early registration ends on July 31st. From pierregrenon at gmail.com Fri Jul 16 18:32:29 2010 From: pierregrenon at gmail.com (Pierre Grenon) Date: Fri, 16 Jul 2010 17:32:29 +0100 Subject: CFP: OneSpace2010 (Deadline: July 23) Message-ID: --------------------------------- Final CALL FOR PAPERS: OneSpace2010 [ apologies for multiple copies ] --------------------------------- 3rd International Workshop on Blending Physical and Digital Spaces on the Internet (OneSpace2010) http://onespace.kmi.open.ac.uk/2010/ In conjunction with the Future Internet Symposium 2010 (FIS2010) http://www.fis2010.org/ 20 September 2010, Berlin, Germany ++ Deadline for submission: July 23, 2010 ++ ++ Full, demos, and position papers invited ++ ============================================================ Objective ---------- The third edition of Onespace will continue to offer a venue for the interdisciplinary exposition, exploration and cross-fertilisation of trends in how the Internet contributes to blend and modify reality and real-life technology, with a focus on spatial aspects. The scope will be open to conceptual, experimental, and technological perspectives although we envisioned, as usual, a rather applied orientation supporting more fundamental discussions. The primary notions involved will be those of (geo)spatial and temporal sensitivity in physical, digital and virtual contexts, and the blending of digital and virtual images of space and of the physical realm. Audience --------- The intended audience of the workshop are researchers and practitioners for whom spatial issues, broadly conceived, are an important thematic in relation to their interest in the Future Internet and Web applications. Typical attendants will be eager to confront the particular point of view of their discipline or area of activity in the rich cross-domain context of future Internet applications. These include GIScientists, cognitive scientists, Semantic Web researchers, Web technology and virtual community experts, creators of virtual worlds, social scientists, philosophers but, also significantly, research engineers such as for example from various industry sectors. Submissions ------------ Submissions following the LNCS style must be submitted through EasyChair (links on the workshop's website) and categorised as one of the following: * Full papers (12 pages max.) on the thematic of the workshop from any relevant perspective * Demonstration papers (6 pages max.) of prototype applications (accepted submissions will be presented as a short demonstration) * Position papers (4 pages max.) discussing novel ideas, possible experiments, and technological visions Proceedings of the workshop will be published with CEUR-WS.org. Important dates ---------------- * Submission deadline: Jul 23, 2010 * Acceptance Notification: Aug 13, 2010 * Camera-ready paper: Aug 27, 2010 * Workshop date: Sep 20, 2010 Topics ------- The following is a non-exhaustive list of topics: * Knowledge representation for blending virtual and real space - Representation of physical/virtual spaces and topologies - Ontologies for blending virtual and real space (incl. spatiotemporal ontologies, ontologies of physical and virtual networks) - Spatial and temporal reasoning for blending virtual and real space * Computing and applications for blending virtual and real space - Pervasive, Ambient, and Urban computing - Mobility and ubiquity - Impact of second-generation Web mapping applications - Virtual worlds, digital games and real-life and technological applications * Digitally blended geographic environments - Digital urban environments - Geo-located services and sensors on the Web - Internet of Things, Internet of People, social and physical blending - Application of Linked Data for physical and digital spaces * The digital, the virtual and the real - Digital Sense of Place and Presence - Virtual and real identities and places - Visibility and privacy in the Internet of people and things Organisation ------------ * Vlad Tanasescu - The University of Edinburgh, UK * Pierre Grenon - The Open University, UK * Arno Scharl - MODUL University Vienna, Austria * Erik Wilde - UC Berkeley, California, USA Programme Committee ------------------- * Susanne Boll - University of Oldenburg, Germany * Emanuele Della Valle - Politecnico di Milano & Cefriel, Italy * Catherine Dolbear - Sharp Laboratories of Europe, UK * Stefan Dietze - The Open University, UK * Hans W. Guesgen - Massey University, New Zealand * Puneet Kishor - University of Wisconsin, USA * Femke Reitsma - University of Canterbury, NZ * Vinny Reynolds - National University of Ireland * Dumitru Roman - SINTEF, Norway * Marc Wick - GeoNames.org ============================================================ The latest information about the workshop can be found at: http://onespace.kmi.open.ac.uk/2010/ Follow us on Twitter: http://twitter.com/onespace2010 Contact: onespace2010 at easychair.org From calvanese at inf.unibz.it Sat Jul 17 23:14:19 2010 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Sat, 17 Jul 2010 23:14:19 +0200 Subject: 6th Workshop on Semantic Web Applications and Perspectives (SWAP2010) - Call for Papers Message-ID: <38466EC1-4B98-4D4B-AEF9-9F74C3BFDDCE@inf.unibz.it> CALL FOR PAPERS ========================================================== 6th Workshop on Semantic Web Applications and Perspectives SWAP 2010 ========================================================== Bressanone-Brixen, Italy September 21-22, 2010 http://www.inf.unibz.it/krdb/events/swap2010/ Organized by the KRDB Research Centre Free University of Bozen-Bolzano Collocated with the 4th Int. Conf. on Web Reasoning and Rule Systems http://www.rr-conference.org/RR2010/ ========================================================== **** SUBMIT YOUR MOST INTERESTING 2009-2010 PAPER!! **** **** AND **** **** SHARE YOUR IDEAS WITH THE SEMANTIC WEB COMMUNITY **** ========================================================== The Semantic Web is currently one of the most interesting and ambitious challenges that the scientific and technological community is facing. While great progresses have been made in terms of consolidation of base philosophy and infrastructure, new issues, technologies, and tools are emerging. These issues include creating, presenting and managing Semantic Web content, making semantics explicit in order to automatically integrate data from different sources, and to search for information based on its meaning rather than its syntactic form. New and advanced methods, models, tools, and technologies for services related to creation, access, retrieval, integration, and filtering of Web content are being developed at the intersection of relevant disciplines that are making the Semantic Web fly, such as Artificial Intelligence, Databases and Information Systems, Distributed Computing, Multimedia Systems, Natural Language Processing, Human-Computer Interaction, Social Networks, and Web Science. Applications that use Semantic Web technologies and succeed in leveraging the added value of semantics on the Web are emerging. However, designing and building them is still a challenge due to the rapid evolution of standards, technologies, and tools, and the need for well-established methodologies. This happens in the context of a widespread interest in semantic techniques for web data access and integration, e.g. for linked open data, microformats, and social networks. SWAP 2010 aims at being a relaxed meeting for brainstorming and debating among international researchers and developers on the Semantic Web, with a special focus on aspects which can enable wide-scale use of Semantic Web technologies. See below for a detailed list of topics. Audience The workshop aims at attracting researchers, developers and interested practitioners alike. The setting for the workshop is highly interactive, and presentations are expected to focus on practical issues and the underlying theoretical aspects and open problems, reporting both on learned experiences and on ongoing work. The presentation language is English. ---------------------------------------------------------------------- Submission requirements We encourage submissions from researchers and practitioners in academia, industry, government, and consulting. Submitted manuscripts may describe either: * original research, or work in progress that is sufficiently mature to be presented to the Semantic Web community at large; * work that is of high relevance for the Semantic Web community and that has already been published or accepted recently (i.e., in 2009 or 2010) at a highly ranked conference in the Semantic Web area (ISWC, ESWC) or in related areas (e.g., KR, IJCAI, AAAI, PODS, SIGMOD, VLDB, ...); * a position statement on one or more aspects of relevance for the Semantic Web. ====================================================================== We especially welcome what the authors consider as their recent most important contribution to Semantic Web research, whether original, work in progress, or already accepted or published. ====================================================================== Authors should clearly indicate on the cover page to which of the above categories (original, work in progress, accepted, published, or position paper) their submission belongs. For already published or accepted papers they should indicate also the publication venue and date. Papers will be reviewed by the PC co-chairs and the members of the SWAP steering committee, to judge relevance to SWAP and potential interest for the Semantic Web community. Based on the evaluation, papers will be accepted either for oral presentation, or for poster presentation. Submissions that are not relevant to SWAP 2010 will be rejected. Accepted contributions will be distributed in electronic format at the workshop. After the workshop, selected contributions will undergo a further critical reviewing process and, if accepted, will be published online in a volume of post-workshop proceedings of the CEUR Workshop Proceedings series, ISSN 1613-0073, http://ceur-ws.org/. Papers must be submitted electronically at the conference website using the EasyChair submission system. Manuscripts should be in pdf and formatted according to the Springer LNCS style. Information concerning typesetting can be obtained directly from Springer at: http://www.springer.com/comp/lncs/authors.html. The maximum length of submissions is 16 pages for regular papers (original, work in progress, accepted, or published), and 2 pages for positions papers. ---------------------------------------------------------------------- Important dates: - Sep. 1, 2010 Paper submission deadline - Sep. 9, 2010 Author notification - Sep. 15, 2010 Final version due - Sep. 21-22, 2010 SWAP 2010 Workshop ---------------------------------------------------------------------- Topics The workshop will cover both theoretical and implementation issues that relate to Semantic Web applications. The following is a partial list of topics of interests: * Applications of Semantic Web technologies, such as: - Semantic Web in life sciences and e-science - Semantic Web for e-business - Semantic Web for e-government - Semantic Web for e-learning - Semantic Web for P2P systems and grids - Semantic Web and multimedia - Novel Semantic Web applications - Presentation and discussions of application scenarios * Representation and Management of Semantic Web data - Methodologies for Semantic Web data management - Tools for Semantic Web data management - Robust, scalable knowledge management and reasoning on the Web - Data semantics and linked data - Searching and querying Semantic Web data - Machine learning and information extraction on the Semantic Web - Large-scale knowledge management - Semantic coordination, integration, matching, interoperability - Semantic Web mining - Semantic information retrieval - Semantic wikis - Semantic Web middleware - Systems of annotation extraction * Ontologies and Languages in the Semantic Web - Ontology design, extraction, and evolution - Ontology mapping, merging, and alignment - Reasoning over ontologies and data - Linked data and microformats - New languages for the Semantic Web - Web 2.0-based ontology learning - Semantic Web services * User Interfaces to the Semantic Web - Visualizing Semantic Web data - Natural language technologies for the Semantic Web - Assistive technologies and the Semantic Web - Web 2.0 personalization - Web 2.0 technologies for recommender systems * Social Semantic Web - Social networks on the Semantic Web - Semantic Portals - Semantic Web technology for collaboration and cooperation - Semantic Web personalization - Semantic Web trust, privacy, security, and intellectual property rights - Analysis of social online communities - Social aspects of distributed cooperative annotation * Semantic Web Agents * Evaluation and benchmarking of Semantic Web techniques and tools ---------------------------------------------------------------------- Organization: - Paolo Traverso, University of Trento (general chair) - Diego Calvanese, Free University of Bozen-Bolzano (PC co-chair) - Giovanni Semeraro, University of Bari (PC co-chair) - Mariano Rodriguez-Muro, Free University of Bozen-Bolzano (local arrangements) SWAP Steering Committee: - Paolo Bouquet, University of Trento - Oreste Signore, W3C Office in Italy/CNR - Heiko Stoermer, FBK, Trento, Italy - Giovanni Tummarello, FBK Trento, Italy & DERI Galway, Ireland See http://www.swapconf.it/ for previous editions of SWAP. Contact chairs by email at swap2010-chairs at inf.unibz.it From pascal.hitzler at wright.edu Mon Jul 19 07:17:59 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Mon, 19 Jul 2010 01:17:59 -0400 Subject: Call for open reviews: Semantic Web journal Message-ID: <4C43E007.5080700@wright.edu> The "Semantic Web" journal currently has more than 40 submitted papers listed as under review. You are INVITED TO PARTICIPATE in the journal's open and transparent review process by commenting on submitted papers or by providing proper additional reviews. See http://www.semantic-web-journal.net/underreview for the papers currently under review. For more information about the review process, see http://www.semantic-web-journal.net/reviewers . For more information about the journal, see http://www.semantic-web-journal.net Pascal Hitzler Krzysztof Janowicz Editors-in-Chief -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From paolucci at docomolab-euro.com Mon Jul 19 18:28:04 2010 From: paolucci at docomolab-euro.com (Paolucci, Massimo) Date: Mon, 19 Jul 2010 18:28:04 +0200 Subject: 2nd CFP Service Matchmaking and Resource Retrieval in the Semantic Web Message-ID: <317B40DA788E894D8FDD440D2835F5F702C938BC@DEMAIL.docomolab-euro.com> Apologies for Cross Posting CALL FOR PAPERS Fourth International Workshop SMR2 Service Matchmaking and Resource Retrieval in the Semantic Web @ 9th International Semantic Web Conference (ISWC 2010) November 8, 2010; Shanghai, China Workshop Web page: http://www.dfki.de/~klusch/smr2-10/ Aims & Scope: One central challenge of service coordination in the Semantic Web is how to best relate requests for services with the services that are available. This functionality is usually provided by matchmaking capabilities (which may themselves be deployed as services, brokers or middle agents) that select the services that are closest to a requested service on the basis of a declarative characterization of the capabilities of both service requested and services provided. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge, even persons and organizations) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from Web services, Grid and cloud computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, and social networking applications such as dating services. The primary objective of this workshop is to bring together academic and industry researchers and industry practitioners who tackle semantic service matchmaking and discovery from various points of view. In particular, we intend to build bridges to the software engineering and model-driven development communities in order to share requirements, technologies, and experiences that might be helpful in advancing the state of the art in semantic service matchmaking and resource retrieval. Going to Practice: The 4th International Semantic Service Selection (S3) Contest The SMR2 workshop also integrates the fourth edition of the open international contest on semantic service selection (S3) which is in collaboration with the SEALS SWS tool evaluation campaign. The S3 contest provides the means and a forum for evaluating the retrieval performance of Semantic Web service matchmakers in terms of recall, precision, F1, response time etc., over given test collections based on the prominent semantic service formats such as OWL-S, WSML and the standard SA-WSDL. Publication: The proceedings of SMR2 will be available as a CEUR volume online. Topics of interest include (but are not limited to): • Semantic resource and service matchmaking and brokering • Semantic retrieval of resources and services in P2P, Grid networks and Cloud Computing • Model-driven semantic service engineering and matchmaking • Privacy-preserving and trusted semantic service discovery • Composition planning of semantic services and workflows • Formal description and handling of semantic services, queries, and resources • Prototypes and tools for semantic services engineering, discovery and composition • Negotiation of semantic services and resources • Interleaving of discovery, composition, and negotiation of semantic services and resources • Practical applications of semantic services • Evaluation of implemented semantic service retrieval tools • Middleware solutions for semantic service search and composition Submissions: Contributions to the workshop can be made as technical papers, addressing different issues of service / resource matching and retrieval. The papers written in English should be not longer than 16 pages using the LNCS Style: http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.h tml All contributions should be prepared in PDF format and should be submitted through the workshop submission site at: http://www.easychair.org/conferences/?conf=smr22010 Important Dates: August 27, 2010: Paper Submission September 20, 2010: Notification October 2, 2010: Camera-Ready Paper November 8, 2010: SMR2-2010, Shanghai, China Organizing Committee Abraham Bernstein (U Zurich, Switzerland) Matthias Klusch (DFKI, Germany) Paul Grace (U Lancaster, UK) Massimo Paolucci (NTT DoCoMo, Germany) Program Committee (to be completed) Liliana Cabral (Open U, UK) Tommaso Di Noia (U Bari, Italy) Eugenio Di Sciascio (U Bari, Italy) Takahiro Kawamura (Toshiba, Japan) Freddy Lecue (U Manchester, UK) Alain Leger (France Telecom, France) Tiziana Margaria (U Potsdam, Germany) Nils Masuch (TU Berlin, Germany) Oliver Müller (U Muenster, Germany) Pierluigi Plebani (Politecnico di Milano, Italy) Axel Polleres (DERI, Ireland) Eran Toch (CMU, USA) Roman Vaculin (IBM, USA) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 6627 bytes Beschreibung: nicht verfügbar URL : From A.Lomuscio at imperial.ac.uk Tue Jul 20 11:12:21 2010 From: A.Lomuscio at imperial.ac.uk (Alessio Lomuscio) Date: Tue, 20 Jul 2010 10:12:21 +0100 Subject: Job positions - Imperial College London - automatic verification Message-ID: <4C456875.1060207@imperial.ac.uk> With apologies for multiple postings. -A ------------------------------------------------------------- 1 X Research Associate (postdoc) Fixed Term for up to 33 months 1 X Research Assistant (predoc) Fixed Term for 12 months with possible extension in view to acquiring a PhD degree Model Checking for Artifact-Based Environments Research Assistant salary: £26,720 - £29,700 per annum Research Associate salary: £30,520 - £38,930 per annum The preferred starting date for this post is September 2010 The Department of Computing is a leading department of Computer Science among UK Universities. It was rated 2nd in the 2008 Research Assessment Exercise (RAE) and achieved 5*, the top rating, in the 1996 and 2001 RAEs. It has consistently been rated "Excellent" in the national assessment of teaching quality. An opportunity has arisen for a Research Assistant (pre-doctoral level) and a Research Associate (post-doctoral level) to work on themes of model checking for services as part of the EU IST FP7 Strep Research Project ACSI ("artifact-centric service interoperations"). The purpose of the work to be carried out at Imperial is to develop techniq ues for the verification and synthesis of services based on the idea of artifacts. The appointed researchers will be responsible for developing model-checking based techniques for the verification of artifact-based service environments. To apply you will need to have a strong computing or engineering background. You should have experience in one or more of the following areas: • Formal verification, especially model checking • Abstraction • Automata theory and synthesis • Modal Logic, including temporal logic, epistemic logic and ATL • Service-oriented computing • Implementation of model checkers For the Research Associate post you must have experience of independent research in an area related to formal methods, Artificial Intelligence, Logic in Computer Science. Research Assistant applicants must have a good first degree (or equivalent) or a Masters degree (or equivalent) in a relevant area, i.e., Computing, Mathematics or Engineering. Research Associate applicants must have a PhD (or equivalent) in a relevant area, i.e., Computing, Mathematics or Engineering. You must have excellent communication skills, ability to work in teams, ability to organize your own work with minimal supervision and to meet deadlines. Previous experience in EU projects is welcome but not essential. Preference will be given to applicants with a proven research record and publications in relevant areas. All applicants must be fluent in spoken and written English. You will be part of the Logic and Artificial Intelligence Section based at the South Kensington campus. For further information on the group and related projects see: http://www.doc.ic.ac.uk/~alessio/ For informal inquires please contact Dr Alessio Lomuscio by email to: a.lomuscio at imperial.ac.uk As this is a re-advertisement previous applicants need not apply. How to apply: Our preferred method of application is online via our website at: http://www3.imperial.ac.uk/employment Applications must include the following: • A college application form quoting job reference AL 07 10 • A full CV Should you have any queries regarding the application process please contact Joanne Day by email: research.officer at doc.ic.ac.uk Closing Date: 1st August 2010 Committed to equality and valuing diversity. We are also an Athena Silver SWAN Award winner and a Stonewall Diversity Champion From bcseet at ieee.org Wed Jul 21 09:11:30 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Wed, 21 Jul 2010 19:11:30 +1200 Subject: CFP: Sensor Networks and Ambient Intelligence (SeNAmI 2010) - Hong Kong SAR, China Message-ID: <96960919B6FD4E5EBCB2FC2656C1B5F7@BCSEETPC> CALL FOR PAPERS 3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010) In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org Hong Kong SAR, China, December 11-13, 2010 Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI). The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care. Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Sensor networking with context and ambient awareness - Nature or bio-inspired designs for ambient sensing and intelligence - Cross-layer design and optimization of sensor-based AmI systems - Reasoning and inference for sensor/RFID-based systems - Multi-modal sensor fusion for smart environments - Cyber-physical systems for human-centric applications - Ambient energy harvesting and energy-efficiency issues for sensor networks - Sensor or sensor-embedded object localization and target tracking - Cooperative in-network sensor information processing - Intelligent and mobile agents for embedded ubiquitous computing - Sensor networking in heterogeneous environments - Privacy, security, and trust management - AmI architectures, platforms, applications, and services - Prototypes, testbeds, and real-world deployments IMPORTANT DATES Paper submission due : August 2, 2010 (extended) Acceptance notification : September 24, 2010 Camera-ready due : October 10, 2010 Workshop date : TBA Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please prepare your paper following the IEEE Computer Society proceedings guidelines. Maximum page length may be limited to 6 pages. Accepted papers will be included in the conference proceedings of the IEEE/IFIP EUC 2010, which will be published by IEEE Computer Society Press and digitally archived in IEEE Xplore library. Proceedings published by IEEE will be indexed by major bibliographic services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex. Authors of selected best papers will be invited to submit extended version of their papers for publication in a theme issue in ACM/Springer Journal of Personal and Ubiquitous Computing, or in a special issue in the International Journal of Sensor Networks (IJSNet). Both journals are indexed by the Science Citation Index (SCI). For further details, please visit: http://iliad.aut.ac.nz/senami2010/ ---------------------------- Boon-Chong Seet (Dr)Program Chair, SeNAmI 2010Department of Electrical and Electronic EngineeringAuckland University of TechnologyPrivate Bag 92006, Auckland 1142, New ZealandPhone: +64 9 921 9999 ext 5345Fax: +64 9 921 9973boon-chong.seet at aut.ac.nz; bcseet at ieee.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From farn at cc.ee.ntu.edu.tw Sun Jul 25 14:10:53 2010 From: farn at cc.ee.ntu.edu.tw (Farn Wang) Date: Sun, 25 Jul 2010 20:10:53 +0800 Subject: IEEE TASE 2010: Call-for-Participation (early registration and hotel information available) Message-ID: <004601cb2bf2$6dcc32d0$49649870$@ee.ntu.edu.tw> We apologize if you have received multiple copies of the call-for-participations. ==== CALL FOR PARTICIPATION ==== 4th IEEE Symposium on Theoretical Aspects of Software Engineering August 24 - 27, 2010, Taipei, Taiwan, ROC http://www.iis.sinica.edu.tw/tase2010/index.htm ---- News ------------------------------------ * Three keynote speeches by Mike Hinchey, Jean-Raymond Abrial, and Libra Huang (IBM, Taiwan) have been announced. * Hotel information now available. ---------------------------------------------- IEEE TASE 2010 aims to become a forum for the presentation and discussion of new fundamental ideas in software engineering of large-scale systems. Software engineering of such systems has usually been viewed as the study of principles, guidelines, and empirical rules. To manage the complexity of large-scale software projects, various theories have been proposed. The first three TASE conferences were held in Shanghai, China in June 2007; in Nanjing, China in June 2008; and in Tianjin, China in July 2009. This year, it will be moved to the beautiful campus of National Taiwan University. The technical program includes 3 keynote speeches, 22 technical papers, and two tutorials before the general sessions. Please consider visiting Taipei with this opportunity. For further information, please check out the IEEE TASE 2010 website or send emails to farn at cc.ee.ntu.edu.tw. Organizers: General Chair: Farn Wang (National Taiwan Univ.) Finance Chair: Hsu-Chun Yen (National Taiwan Univ.) Local Arrangement: Churn-Jung Liau (Academia Sinica) Program Cochairs: Jing Liu (East China Normal Univ.) Doron A. Peled (Bar Ilan Univ.) Bow-Yaw Wang (Academia Sinica) Steering Committee: Keijiro Araki (Kyushu Univ.) Jifeng He (East China Normal Univ.a) Michael Hinchey (Lero, IE, chair) Zhiming Liu (UNU/IIST) Huibiao Zhu (East China Normal Univ.) ==[IEEE TASE 2010 Preliminary Program]============================= August 24, 2010 (Tuesday) 1000 - 1600 Tutorials by Professors Raymond Abrial and Mike Hinchey. 1800 - 2000 Reception ---------------------------------------------------------------------------- --- August 25, 2010 (Wednesday) 0900 - 1000 Session I Invited talk Prof. Mike Hinchey 1000 - 1030 Coffee break 1030 - 1200 Session II Yongxin Zhao, Zheng Wang, Geguang Pu and Huibiao Zhu. A Formal Model for Service Choreography with Exception Handling and Finalization Chen-Wei Wang, Jim Davies and James Welch. A Guarded Workflow Language and its Formal Semantics Hung Ledang and Hubert Dubois. Proving Model Transformations 1200 - 1400 lunch 1400 - 1530 Session III Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang and Dawei Fan. A Certifying Compiler for Clike Subset of C Language Shengyi Wang, Zongyan Qiu, Shengchao Qin and Wei-Ngan Chin. Stack Bound Inference for Abstract Java Bytecode Liu Pan, Miao Huaikou and Mei Jia. Efficient Algorithms for Building the Sets P and W 1530 - 1600 Coffee break 1630 - 1800 Session IV Lin Zhao, Tao Tang, Jinzhao Wu and Tianhua Xu. Runtime Verification with Multi-Valued Formula Rewriting Xiaoxiao Yang. Axiomatic Interval Temporal Logic Verification Hong Zhu. On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic ---------------------------------------------------------------------------- --- August 26, 2010 (Thursday) 0900 - 1000 Session I Invited talk Prof. Raymond Abrial 1000 - 1030 Coffee break 1030 - 1200 Session II Kahloul Laid, Chaoui Allaoua and Djouani Karim. Modeling Reconfirgurable Systems Using Flexible Petri Nets Yunhe Wang, Bo Jiang and Li Jiao. Property Checking for 1-Place-Unbounded Petri Nets Haibin Zhang and Zhenhua Duan. Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic 1200 - 1400 Lunch 1400 - 1500 Session III Zining Cao. Bisimulations for Open Processes in Higher Order Pi-Calculus Moritz Kleine and Thomas Gothel. Specification, Verification and Implementation of Business Processes using CSP 1500 - 1530 Coffee break 1530 - 1630 Session IV Saddek Bensalem, Axel Legay, Thanh Hung Nguyen, Joseph Sifakis and Rongjie Yan. Incremental Invariant Generation for Compositional Design Fei He, He Zhu, William N. N. Hung, Xiaoyu Song and Ming Gu. Compositional Abstraction Refinement for Timed Systems 1630 - 1700 Coffee break 1700 - 1800 Session V Hai Wan, Xiaoyu Song and Ming Gu. Parameterized Specifying and Verifying PLC Systems in Coq Farn Wang. Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification Raghava Rao Mukkamala and Thomas Hildebrandt. >From Dynamic Condition Response Structures to Buechi Automata ---------------------------------------------------------------------------- --- August 27, 2010 (Friday) 0900 - 1000 Session I Invited talk (Not yet determined) 1000 - 1030 Coffee break 1030 - 1200 Session II Yongxin Zhao, Yanhong Huang, Jianwen Li and Huibiao Zhu. Probabilistic Model of System Survivability Jianjun Xu, Qingping Tan and Wanwei Liu. Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis Shengbo Chen. Towards Practical Modeling of Web Applications and Generating Tests 1200 - 1800 Lunch and excursion 1800 - Banquet -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From richard.booth at uni.lu Sun Jul 25 16:51:28 2010 From: richard.booth at uni.lu (Richard Booth) Date: Sun, 25 Jul 2010 16:51:28 +0200 Subject: MIWAI 2010 - First call for papers Message-ID: ----------------------------------------------------------------------------- Apologies for Multiple Copies Due to Cross Posting ----------------------------------------------------------------------------- ============================================ MIWAI'10 - FIRST CALL FOR PAPERS ============================================ The 4th Mahasarakham International Workshop on Artificial Intelligence. December 9-10, 2010, Mahasarakham University, Mahasarakham, Thailand. http://khamreang.msu.ac.th/miwai10/ ------------------------------------------------------------------------------- Important Dates ------------------------------------------------------------------------------- Papers due: October 15, 2010 Author notification: November 12, 2010 Camera-ready papers due: November 22, 2010 Registration deadline: December 2, 2010 Workshop dates: December 9-10, 2010 ------------------------------------------------------------------------------- About MIWAI ------------------------------------------------------------------------------- Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The ever-evolving needs in business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. The main purposes of the MIWAI series of workshops are as follows: •to provide a meeting place for AI researchers and practitioners in Thailand and beyond. •to inform Thai students about cutting-edge AI research via the presence of outstanding international invited speakers. •to raise the standards of practice of AI research in the whole of Thailand by providing Thai researchers and students with feedback from an internationally-renowned program committee. ------------------------------------------------------------------------------- Invited Speakers ------------------------------------------------------------------------------- 1.Anthony Cohn (University of Leeds, UK) 2.TBC ------------------------------------------------------------------------------- Awards ------------------------------------------------------------------------------- There will be five awards given out at the workshop: (i) Best original paper: Given to the best category A submission (see below), from any origin. (ii) Best original paper by a PhD student: Given to the best category A paper whose first author is a registered PhD student, from any origin. (iii) Best original paper by a Masters student: Given to the best category A paper whose first author is a registered Masters student, from any origin. (iv) Best demonstration: Given to the best demonstration (see category C submissions below - note this prize will only be awarded in case at least 3 demonstrations are presented at the workshop). (v) Best reviewer: Given to the reviewer who has given the most helpful feedback on the papers they have been assigned to review. ------------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------------- Submission of papers is due on October 15, 2010. The research areas in AI include but not limited to: - Agent-based simulation - Agent-oriented software engineering - Agents and Web services - Agent-based electronic commerce, auctions and markets - AI in video games - Computer vision - Constraint satisfaction - Data mining - Decision theory - Distributed AI - E-Commerce and AI - Game theory - Internet/WWW intelligence - Industrial applications of AI - Intelligent tutoring - Knowledge representation and reasoning - Machine learning - Multiagent planning and learning - Multiagent systems and their applications - Multiagent systems and evolving intelligence - Natural language processing - Neural networks - Planning and scheduling - Robotics - Uncertainty in AI - Web services Submission requirements ------------------------------------------------------------------------------- Submissions of the following three categories are invited: Category A: REGULAR PAPERS .................................................................................................. Papers presenting new original work. Submitted papers should not exceed a length of 12 pages in the IEEE format style (templates here: http://khamreang.msu.ac.th/miwai10/MIWAI_2010/textemplate.zip, http://khamreang.msu.ac.th/miwai10/MIWAI_2010/wordtemplate.zip) Regular papers will be reviewed on overall quality and relevance. Reviewing of category A papers will be (at least) double-blind. In order to make blind reviewing possible, the authors should follow that: •The authors' names and institutions should not appear in the paper. •Unpublished work of the authors should not be cited. •Using "we" or "us" in reviews of literature should be avoided, e.g., "In [1] we have proposed..." should be changed to "In [1] the authors have proposed...". The program committee will evaluate Category A papers as either “rejected” or “accepted as long paper” or “accepted as short paper”. All accepted category A papers (long and short) will be fully published in the proceedings. Category B: COMPRESSED CONTRIBUTIONS .................................................................................................. Papers that have been accepted after June 1 2009 for AI-related refereed conferences or journals can be resubmitted and will be accepted as “compressed contributions”. Authors are invited to submit the published version (without page or format restriction) together with a 1 or 2-page abstract prepared in the IEEE format style (links to templates above). Note the above double-blind instructions apply only to category A papers, not to category B. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Category C: DEMONSTRATIONS AND APPLICATIONS .................................................................................................. Proposals for demonstrations will be evaluated based on submitted demonstration summaries stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (links to templates above). Reviewing of category C papers will be double-blind (see above under “category A” papers for details). The workshop proceedings will be published with ISBN number. At least one author of each accepted paper (in each submission category) is required to attend the workshop. Language Requirements .................................................................................................. As MIWAI is an international workshop, its official language is English. This means all submitting authors must submit an English language version of their paper, as well as present their paper in English if accepted for the workshop. ------------------------------------------------------------------------------- Committees ------------------------------------------------------------------------------- Advisory Committee ------------------------------------------------------------------------------- -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok, Thailand) -Wirat Pongsiri (Mahasarakham University, Thailand) -Sujin Butdeesuwan (Mahasarakham University, Thailand) -Somnuk Puangpronpitag (Mahasarakham University, Thailand) Program Co-Chairs ------------------------------------------------------------------------------- - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Chattrakul Sombattheera (Mahasarakham University, Thailand) Publicity Chairs ------------------------------------------------------------------------------- -Wijittra Noisanguan (Rajamangala University of Technology, Isan, Surin campus, Thailand) -Mana Setwong (Mahasarakham University, Thailand) Program Committee (provisional) ------------------------------------------------------------------------------- - Arun Agarwal (Hyderabad, India) - Samir Aknine (Paris 6, France) - Laor Boongasame (Bangkok University, Thailand) - Roger Boyle (Leeds, UK) - Kosin Chamnongthai (KMUTT, Bangkok, Thailand) - Matthew Dailey (AIT, Bangkok, Thailand) - Juergen Dix (Clausthal, Germany) - Patrick Doherty (Linkoping, Sweden) - Andreas Herzig (IRIT, Toulouse, France) - Jerome Lang (CNRS, Universite Paris-Dauphine, France) - Fangzhen Lin (HKUST, Hong Kong) - Jerome Mengin (IRIT, Toulouse, France) - Ekawit Nantajeewarawat (SIIT, Bangkok, Thailand) - Eric Pacuit (Tilburg, Netherlands) - Vineet Padmanabhan (Hyderabad, India) - Supawan Phonphitakchai (Naresuan University, Thailand) - Guilin Qi (Southeast University, Nanjing, China) - Jun Shen (Wollongong, Australia) - Siriwan Suebnakarn (Thammasat University, Bangkok, Thailand) - Boontawee Suntisrivaraporn (SIIT, Bangkok, Thailand) - Leon van der Torre (Luxembourg) - Thanaruk Theeramunkong (SIIT, Bangkok, Thailand) - Siba Kumar Udgata (Hyderabad, India) - Paul Weng (Paris 6, France) ------------------------------------------------------------------------------- Contact ------------------------------------------------------------------------------- Please direct any comments or enquiries to Chattrakul Sombattheera (chattrakul.s[AT]msu.ac.th) or Richard Booth (richard.booth[AT]uni.lu). From geoff at cs.miami.edu Tue Jul 27 13:43:13 2010 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 27 Jul 2010 07:43:13 -0400 (EDT) Subject: LPAR-17 call for short papers, workshop submissions Message-ID: <20100727114313.2B56B11FC0C@mcclellan.cs.miami.edu> ============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Yogyakarta, Indonesia - October 10th-15th, 2010 ============================================================ http://www.computational-logic.org/lpar-17/Home.html CALL FOR SHORT PAPERS In keeping with the tradition of LPAR, researchers and practioners are encouraged to submit short papers reporting on interesting work in progress or providing system descriptions. They need not be original. Extended versions of the short papers may be submitted concurrently with or after LPAR-17 to another conference or a journal. The short paper proceedings will be available as an EasyChair collection volume. Short papers are limited in length to 5 pages in the EasyChair format. Short papers must be submitted through the EasyChair system using the web page ... http://www.easychair.org/conferences/?conf=lpar17short Submission deadline: 30 August 2010 Notification: 6 September 2010 =============================================================================== LPAR-17 WORKSHOPS October 10th, 2010 ========================================================================== IWIL 2010 - The 8th International Workshop on the Implementation of Logics ========================================================================== http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages), in EasyChair format. Submission is via EasyChair ... http://www.easychair.org/conferences/?conf=iwil2010 Submission deadline: 9 August 2010 Notification: 27 August 2010 ============================================================ APS 5 - 5th International Workshop on Analytic Proof Systems ============================================================ http://www.logic.at/staff/chrisf/ws/LPAR-AS-5.html Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop is primarily intended to enhance awareness for its topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues. The submission deadline is 10th September. Submissions are 1-2 page abstracts. Submissions must be emailed to ... analytic at logic.at Submission deadline: 10 September 2010 Notification: 15 September 2010 =============================================================================== From heymans at kr.tuwien.ac.at Tue Jul 27 15:32:59 2010 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Tue, 27 Jul 2010 15:32:59 +0200 Subject: CFP BuRO 2010: Workshop on Business Models, Business Rules and Ontologies, co-located with RR 2010 Message-ID: ***************************** 2nd Call for Papers ******************************* BuRO 2010 1st International Workshop on Business Models, Business Rules and Ontologies http://ontorule-project.eu/dissemination/events/buro2010 Bressanone/Brixen, Italy co-located with the 4th International Conference on Web Reasoning and Rule Systems (RR 2010) September 22-24 2010 http://www.rr-conference.org/RR2010/ ***************************************************************************** It is a challenge in a business to enable the right people to interact in their own way with the right part of their business application. We distinguish between three views on the business organization: (1) the view of the business analyst using a formal and validated business model; (2) the view of the knowledge engineer via ontologies and rules, and (3) the view of the IT department via an operationalization in applications. We can glue these views together via an end-to-end point solution: (1) conceptualization and where possible acquisition of business models and their transformation into ontologies and rules; (2) their management and maintenance, and (3) the transparent operationalization in IT applications. The vision at the heart of the Semantic Web is of high relevance in a business setting as well. The proposed workshop addresses the different issues that arise in a business that wishes to have a transparent and where possible and useful a semi-automatic transfer of knowledge present in business documents expressing, e.g., policies, to an IT operationalization. Moreover, the workshop tackles these issues from an holistic perspective, raising awareness for the overall picture, instead of focusing on stand-alone issues. E.g., although OWL is well-investigated it is unclear how business knowledge expressed in SBVR can be mapped to it. Another example is the W3C's RIF effort: although based on well-investigated rule paradigms, it is less well-connected to upper business layers: how to go from a formal business model to RIF rules and how to interact with derived ontologies? During the ONTORULE project which shares a similar vision on a business, it has been recognized that this holistic view goes beyond the results attainable within the project and that much more discussion and exchange is needed. As such the workshop wants to create awareness with researchers in stand-alone fields like ontology acquisition, business modeling, integration of ontologies and rules, implementations of rule/ontology engines, that there is a bigger picture that can and should be used to extract requirements on the one hand and to provide output that is fine-tuned for other fields on the other hand. TOPICS OF INTEREST Suggested topics include the following (but are not limited to): * the acquisition of ontologies and rules from unstructured text via Natural Language Processing (NLP) techniques * the development of a complete, formal and validated business model, taking all possible inputs into account (people and documents, structured and unstructured, some of which as output from an NLP phase), using the Semantics of Business Vocabulary and Business Rules (SBVR) * transformation from structured business representations, from SBVR, to RDF/OWL and/or rules * the management and maintenance of business models, ontologies and rules, e.g., consistency maintenance and the integration of rules and ontologies (semantics, algorithms) * implementations of such management systems * use cases and field reports SUBMISSIONS We invite full papers up to 14 pages length. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Submitted papers will be reviewed by at least two members of the program committee. Papers must be submitted electronically in PDF format. For paper submission we use the EasyChair conference management system: http://www.easychair.org/conferences/?conf=buro2010 IMPORTANT DATES * Submission deadline: Aug 6, 2010 * Notification of acceptance: August 20, 2010 * Camera-ready paper submission: September 3, 2010 * Workshop: September 21, 2010 ORGANIZING COMMITTEE * Thomas Eiter, TU Vienna, Austria * Adil El Ghali, IBM, France * Sergio Fernández, Fundación CTIC, Spain * Stijn Heymans, TU Vienna, Austria * François Lévy, Université Paris 13, France From Thomas.Lukasiewicz at comlab.ox.ac.uk Wed Jul 28 01:06:25 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Wed, 28 Jul 2010 01:06:25 +0200 Subject: URSW'10: Call for Papers Message-ID: <4C4F6671.5060008@comlab.ox.ac.uk> Apologies for cross-postings ********************************************** CALL FOR PAPERS ********************************************** 6th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2010 In conjunction with the 9th International Semantic Web Conference Shanghai, China November 7, 2010 You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 9th International Semantic Web Conference (ISWC) in November of 2010 at the Shanghai International Convention Center, China. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following: * Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies. * Semantic web developers and researchers. * People in the knowledge representation community with interest in the Semantic Web. * Ontology researchers and ontological engineers. * Web services researchers and developers with interest in the Semantic Web. * Developers of tools designed to support Semantic Web implementation, e.g., Jena developers, Protégé developers, OWL-API developers... TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * Using fuzzy approaches to deal with imprecise concepts within ontologies * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web * The role of uncertainty as it relates to Web services * Interface protocols with support for uncertainty as a means to improve interoperability among Web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web * Issues and techniques for integrating tools for representing and reasoning with uncertainty * The future of uncertainty reasoning for the Semantic Web IMPORTANT DATES September 7, 2010 Paper submissions due September 30, 2010 Paper acceptance notification October 15, 2010 Camera-ready papers due November 4, 2010 Presentations due November 7, 2010 6th Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2010 Conference, and committed to attend the URSW Workshop. Submissions to the Workshop are only accepted in electronic format and should be sent via the workshop’s submission site: http://www.easychair.org/conferences/?conf=ursw2010 Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2010. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop must not exceed 4 pages. Following the general acceptance rules of the ISWC 2010 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION URSW 2010 will be a full-day workshop divided into three sessions. Two of those sessions will be devoted to paper presentations, while the remaining session will be planned in a format that invites an open debate on the results, conclusions, recommendations, and follow-up work of the URSW-XG group. We also plan to convey a work meeting after the workshop, in case the last session need to be extended. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings, which will be available as a separate publication after the Conference. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. Both technical and position papers will be published in the URSW Workshop proceedings, to be available after the ISWC 2010 Conference. In addition, technical papers accepted for presentation at the URSW 2010 will be eligible for participating in the selection to the Springer LNCS volume on Uncertainty Reasoning for the Semantic Web – Vol. II. This will be the second volume of this series and will include selected papers from URSW 2008 to URSW 2010. ORGANIZING COMMITTEE The organizing committee is as follows (in alphabetical order): * Fernando Bobillo - University of Granada, Spain. * Rommel N. Carvalho - George Mason University, USA * Paulo C. G. Costa - George Mason University, USA. * Claudia d'Amato - University of Bari, Italy. * Nicola Fanizzi - University of Bari, Italy. * Kathryn Laskey - George Mason University, USA. * Ken Laskey – MITRE Corporation, USA. * Thomas Lukasiewicz - Oxford University, UK. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - Technical University of Munich, Germany. * Michael Pool - Convera, Inc., USA. PROGRAM COMMITTEE The confirmed members of the program committee are the following (in alphabetical order): * Fernando Bobillo - Universidad de Zaragoza, Spain * Rommel N. Carvalho - George Mason University, USA * Paulo C. G. Costa - George Mason University, USA * Fabio G. Cozman - Universidade de Sao Paulo, Brazil * Claudia D'Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Marcelo Ladeira - University of Brasilia, Brazil * Kathryn B. Laskey - George Mason University, USA * Kenneth J. Laskey - MITRE Corporation, USA * Thomas Lukasiewicz - Oxford University, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles - Technical University of Munich, Germany * Jeff Z. Pan - University of Aberdeen, UK * Michael Pool - Convera, Inc., USA * Livia Predoiu - Universität Mannheim, Germany * Guilin Qi - University of Karlsruhe, Germany * Dave Robertson - University of Edinburgh, UK * Daniel Sánchez - University of Granada, Spain * Sergej Sizov - University of Koblenz-Landau, Germany * Giorgos Stoilos - Oxford University, UK * Umberto Straccia – ISTI-CNR, Pisa, Italy * Andreas Tolk - Old Dominion University, USA * Johanna Voelker - University of Karlsruhe, Germany We are looking forward to seeing you in Shanghai! From bcseet at ieee.org Wed Jul 28 11:06:16 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Wed, 28 Jul 2010 21:06:16 +1200 Subject: CFP: Sensor Networks and Ambient Intelligence (SeNAmI) - Submission due on August 2, 2010 Message-ID: CALL FOR PAPERS 3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010) In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org Hong Kong SAR, China, December 11-13, 2010 Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI). The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care. Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Sensor networking with context and ambient awareness - Nature or bio-inspired designs for ambient sensing and intelligence - Cross-layer design and optimization of sensor-based AmI systems - Reasoning and inference for sensor/RFID-based systems - Multi-modal sensor fusion for smart environments - Cyber-physical systems for human-centric applications - Ambient energy harvesting and energy-efficiency issues for sensor networks - Sensor or sensor-embedded object localization and target tracking - Cooperative in-network sensor information processing - Intelligent and mobile agents for embedded ubiquitous computing - Sensor networking in heterogeneous environments - Privacy, security, and trust management - AmI architectures, platforms, applications, and services - Prototypes, testbeds, and real-world deployments IMPORTANT DATES Paper submission due : August 2, 2010 (extended) Acceptance notification : September 24, 2010 Camera-ready due : October 10, 2010 Workshop date : TBA Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please prepare your paper following the IEEE Computer Society proceedings guidelines. Maximum page length may be limited to 6 pages. Accepted papers will be included in the conference proceedings of the IEEE/IFIP EUC 2010, which will be published by IEEE Computer Society Press and digitally archived in IEEE Xplore library. Proceedings published by IEEE will be indexed by major bibliographic services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex. Authors of selected best papers will be invited to submit extended version of their papers for publication in a theme issue in ACM/Springer Journal of Personal and Ubiquitous Computing, or in a special issue in the International Journal of Sensor Networks (IJSNet). Both journals are indexed by the Science Citation Index (SCI). For further details, please visit: http://iliad.aut.ac.nz/senami2010/ ---------------------------- Boon-Chong Seet (Dr)Program Chair, SeNAmI 2010Department of Electrical and Electronic EngineeringAuckland University of TechnologyPrivate Bag 92006, Auckland 1142, New ZealandPhone: +64 9 921 9999 ext 5345Fax: +64 9 921 9973boon-chong.seet at aut.ac.nz; bcseet at ieee.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Wed Jul 28 11:06:22 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Wed, 28 Jul 2010 21:06:22 +1200 Subject: CFP: Theme Issue on Sensor-driven Computing and Applications for Ambient Intelligence Message-ID: <2900186810E5465B87C96C4A5D72ECF9@BCSEETPC> ACM/Springer Journal of Personal and Ubiquitous Computing (SCI-indexed) Theme Issue on "Sensor-Driven Computing and Applications for Ambient Intelligence" Full manuscript due: February 15, 2011 Prospective authors are invited to view the CFP at: http://iliad.aut.ac.nz/CFP_PUC_SI.pdf Best regards, Boon-Chong Seet (Dr) Department of Electrical and Electronic Engineering Auckland University of Technology Private Bag 92006, Auckland 1142, New Zealand Phone: +64 9 921 9999 ext 5345 Fax: +64 9 921 9973 boon-chong.seet at aut.ac.nz; bcseet at ieee.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wmaccaul at stfx.ca Fri Jul 30 16:23:29 2010 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Fri, 30 Jul 2010 11:23:29 -0300 Subject: Research Opportunity: Scalable Methods for Ontological Reasoning using High performance computing Message-ID: Research Scientist/PostDoc - Scalable Methods for Ontological Reasoning using High Performance Computing with Applications to Healthcare This is a 2 year contract position to develop scalable methods for ontological reasoning with applications to health care. Strong implementation skills are required; ideally the candidate will demonstrate proficiency in high performance computing methodologies, in strategies for (automated) reasoning, and in ontology development (though proficiency in some and commitment to developing proficiency in the other may be acceptable). Case studies will involve very large ontologies for health care. The candidate will have the opportunity to work with researchers in an interdisciplinary 6 year R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, carried out in collaboration with industry partners and the local health authority (see www.logic.stfx.ca). This position is partially supported by the ACEnet/Oracle Research Collaboration Program which has the goal of reducing barriers to the efficient, effective, and widespread use of the ACEnet Research Computing Platform through the creation of innovative open source grid, middleware, or web/portaltechnologies. Qualifications: PhD in appropriate area or MSc with 2-3 years experience in theorem proving strategies. Excellent written and oral skills in English. Salary: $44,500 per year (plus medical and dental benefits and a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year. To apply: Send a 1 page Letter of Application describing how you fit the requirements of this position to Wendy MacCaull at wmaccaul at stfx.ca Include as attachments: (1) A detailed CV; (2) Names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers); (3) Copies of recent publications and/or detailed descriptions of projects and previous experience. Use as the subject: Methods for Scalable Ontological Reasoning. Wendy MacCaull, PhD, Professor, Mathematics, Statistics & Computer Science, Director, StFX Centre of Logic and Information, St. Francis Xavier University, Antigonish, NS, Canada, B2G 2W5 Tel: 902 867 3989 FAX: 902 867 1397 Information is this e-mail is confidential and meant only for the addressee. Please do not circulate it without prior permission. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From joana at informatik.uni-bremen.de Fri Jul 30 22:29:03 2010 From: joana at informatik.uni-bremen.de (Joana Hois) Date: Fri, 30 Jul 2010 22:29:03 +0200 Subject: 1st CfP: Applied Ontology Special Issue on Modularity in Ontologies Message-ID: <1280521743.1825.119.camel@name> ========================================================= --- Applied Ontology --- --- Special Issue on Modularity in Ontologies --- --- Call for Papers --- Submission deadline: December 2010 http://www.informatik.uni-bremen.de/~okutz/womoAO/ ========================================================= Applied Ontology - An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling IOS Press, ISSN: 1570-5838 Editors-in-Chief: Nicola Guarino, Mark A. Musen MODULARITY, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalisation, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but also to facilitate ontology maintenance and ontology reasoning. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularisation and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. This special issue invites submission of high quality original work that has neither appeared in, nor is under consideration by, other journals. Submissions must be formatted according to IOS Press style ( www.iospress.nl/authco/instruction_crc.html ) and should be prepared in PDF format. Contributions must be received not later than December 2010 through the EasyChair Submission System ( www.easychair.org/account/signin.cgi?conf=aowomo11 ). IMPORTANT DATES Paper Submission: December 2010 Notification (expected): March 2011 Revised Version: May 2011 Publication (expected): Fall 2011 GUEST EDITORS Oliver Kutz, Joana Hois (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany)