From hr at sti2.at Mon Aug 2 13:35:38 2010 From: hr at sti2.at (HR) Date: Mon, 2 Aug 2010 13:35:38 +0200 Subject: Open position: PhD student in EU projects PeerAssist and PlanetData In-Reply-To: <4C173C33.200@sti2.at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> <4B0554D8.4010503@sti2.at> <4B6C0262.8030803@sti2.at> <4B6C0284.8070601@sti2.at> <4BA8B8EC.2080101@sti2.at> <4BA8C8D8.5060201@sti2.at> <4BF65B42.6030807@sti2.at> <003501cafbdd$2bd8e7a0$838ab6e0$@at> <4C173C33.200@sti2.at> Message-ID: <00b401cb3236$d4801e20$7d805a60$@at> _____ PhD student in EU projects PeerAssist and PlanetData The Semantic Technology Institute (STI) Innsbruck ( http://www.sti-innsbruck.at), formerly known as DERI Innsbruck, was founded in 2002 and has developed into a challenging and dynamic research institute of approximately 40 people. STI Innsbruck collaborates with an international network of institutes in Asia, Europe and the USA, as well as with global industrial partners. Our major objective is to establish Semantic technologies as a core pillar of modern Computer Science, thereby providing interoperability and scalability for Semantically Enabled Service Orientated Architectures. STI Innsbruck is currently seeking candidates for the position of a PhD student. We offer: * The stimulating environment of a leading research institute in the fields of Semantic Web, Semantic Web Services, Service-Oriented Architectures and formal languages and reasoning. * Long-term collaboration to well-known academic institutions and major companies around the world. * A multicultural working place with state-of-the-art infrastructure and resources including funding for attending international conferences, PhD symposia, summer schools, etc. We expect: * A strong background in Computer Science or Information Technologies and focused research interest and expertise in at least one of the following areas: knowledge representation, ontology engineering, semantic technologies, social networks and web communities research, mobile and RFID-enabled services, information retrieval methods, reasoning, formal languages, data mining, visualization techniques, human-computer interaction. * A formal degree and interest required for pursuing a PhD at the University of Innsbruck. * Interest in working for the EU projects PeerAssist and PlanetData. The main objectives of the PeerAssist project are the conceptualization, design, implementation and demonstration of a flexible Peer-to-Peer (P2P) platform, which will allow elderly people (not necessarily familiar with ICT technologies) to build virtual communities dynamically based on interests and needs they share. The PeerAssist platform will facilitate establishing on demand ad-hoc communities with friends, family, neighbors, caregivers, facilitators, care providers, etc., based on shared interests and communication needs. The community building and the P2P interaction will be achieved using information extracted from peer roles, profiles and user modeling, context that describes the overall user environment, and the specific request initiated, or service provided, by a peer, all of which are represented semantically in a machine understandable form. PlanetData ( http://www.planet-data.eu) is an EU Network of Excellence coordinated by STI Innsbruck. Its main aim is to establish an interdisciplinary, sustainable European community of researchers, helping organizations to expose their data on the Web in a useful way. PlanetData will push forward the state-of-the-art in large-scale data management and its application to the creation of useful, open data sets. The projects’ consortia are interdisciplinary team of engineers and researchers in Computer Science, Electrical Engineering, Web Science and Knowledge Management from all over Europe of industrial and academic organizations. The contribution of STI Innsbruck is on semantic technologies for context-aware knowledge representation, capturing and processing of the information arriving from sensors, as well as on the design, prototyping and end-user evaluation of novel mobile and augmented reality services that comprise information about the communities and social networks. As part of the projects, the candidate will be also involved in community building, workshop and symposium organization, contributing to roadmaps and white papers, as well as supporting the provision of semantic and service infrastructures to the wider research community. The projects will run for 24 (PeerAssist) and 48 (PlanetData) months, while starting in September-October 2010. We kindly invite you to submit your application to hr at sti2.at. Please include a current resume, a list of publications (if applicable), and digital versions of your most relevant works (such as graduation thesis or latest publications). In case of further questions regarding this position please contact Dr. Anna Fensel ( anna.fensel at sti2.at). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fuchs at ifi.uzh.ch Mon Aug 2 15:53:57 2010 From: fuchs at ifi.uzh.ch (Norbert E. Fuchs) Date: Mon, 2 Aug 2010 15:53:57 +0200 Subject: 2nd Workshop on Controlled Natural Languages CNL 2010: Final Call for Participation Message-ID: <08CD691A-1ADE-49E5-912C-3CEFB1D65DDF@ifi.uzh.ch> ********************************************************************* Final 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 calvanese at inf.unibz.it Tue Aug 3 10:50:33 2010 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Tue, 3 Aug 2010 10:50:33 +0200 Subject: In Bressanone (Italy) - 6th Workshop on Semantic Web Applications and Perspectives (SWAP2010) - 2nd Call for Papers Message-ID: <02FAC6A9-07CC-41B7-B640-339FC00C9C5C@inf.unibz.it> Apologies for multiple copies. 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 sebastian.rudolph at aifb.uni-karlsruhe.de Tue Aug 3 13:16:55 2010 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Tue, 3 Aug 2010 13:16:55 +0200 Subject: Call for Posters and Demos Submissions at ISWC2010 Message-ID: <8C057D2F-9BEF-4BA9-BE65-FB387B041CA3@aifb.uni-karlsruhe.de> ======================================================================================== Subject: Deadline for Posters and Demos Submissions at ISWC2010 approaching - less than 3 weeks! =============================================================================== ISWC2010 - Ninth International Semantic Web Conference November 7-11, 2010, in Shanghai, China http://iswc2010.semanticweb.org/ =============================================================================== Posters and Demonstrations Track Call for Submissions Deadline approaching: August 23, 2010 =============================================================================== The posters and demonstrations track of ISWC 2010 continue the established tradition of providing an interaction and connection opportunity for researchers and practitioners to present and demonstrate their new and innovative work-in-progress. The track gives conference attendees a way to learn about novel on-going research projects that might not yet be complete, but whose preliminary results are already interesting. The track also provides presenters with an excellent opportunity to obtain feedback from their peers in an informal setting from knowledgeable sources. Full papers accepted for the Research and In-Use tracks are explicitly invited to submit a poster or demo to the Posters and Demo track. The submission format is the same as for the normal posters and demos but must cite the accepted full paper and needs to include an explanation on what the Demo/Poster adds on top of the conference presentation. Such added value could include: a) extended results and experiments not presented in the conference paper for space reasons, b) a demo of a supporting prototype implementation wherever software is available. Important Dates =============== * Abstracts due: August 23, 2010, 23:59 (11:59pm) Hawaii time * Notification: September 13, 2010 Topics of Interest ================== Topics of interest for the posters and demonstrations track include, but are not limited to: * Semantic User Interfaces * Interacting with Semantic Web data * Semantic data annotation * Semantic Data Mashup * Natural Language Interfaces * Semantic Visualization * Semantic Data Processing * Ontology modeling, reuse, extraction, and evolution * Ontology reasoning, mapping, merging, and alignment * Semantic Searching * Ontology evaluation * Applications of the Semantic Web * Semantic Web for desktops or personal information management * Semantic Web technologies for multimedia, sensors, and situational awareness * Semantic Web technologies for e-Science, e-Commerce, e-Government * Semantic Web technologies for software and systems engineering * Mobile Semantic Web Applications * Semantic Wikis * Social Semantic Web Applications Submission Information ====================== Submissions and reviewing will be handled using the EasyChair reviewing system. Papers must be submitted via EasyChair to the Posters and Demos track of ISWC2010 at http://www.easychair.org/conferences/?conf=iswc2010 Authors must submit a four-page paper with a short abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. All poster and demo submissions will undergo a common review process, including those ones that have full papers accepted. Decisions about acceptance will be based on relevance to the Semantic Web, originality, potential significance, topicality and clarity. Submissions must be in PDF. Submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions that exceed the page limit may be rejected without review. For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 For demo submissions, authors are strongly encouraged to include in their submission a link to where the demo (live or recorded video) can be found. At least one of the authors must be a registered participant at the conference, and attend their Poster/Demo Session to present the work. The abstracts for all accepted posters and demos will be given to all conference attendees and published on the conference web site, but will not be published by Springer in the printed conference proceedings. Metadata for all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Poster and Demo co-chairs: Axel Polleres Huajun Chen _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 7362 www.sebastian-rudolph.de fax +49 721 608 - 5998 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From axel.polleres at deri.org Tue Aug 3 19:55:16 2010 From: axel.polleres at deri.org (Axel Polleres) Date: Tue, 3 Aug 2010 18:55:16 +0100 Subject: Deadline for ISWC2010 Posters and Demos Submissions approaching - less than 3 weeks! Message-ID: <31A56E2A-5375-45F0-8683-B2A3A766DE73@deri.org> (apologies for cross-posting) =============================================================================== ISWC2010 - Ninth International Semantic Web Conference November 7-11, 2010, in Shanghai, China http://iswc2010.semanticweb.org/ =============================================================================== Posters and Demonstrations Track Call for Submissions Deadline approaching: August 23, 2010 =============================================================================== The posters and demonstrations track of ISWC 2010 continues the established tradition of providing an interaction and connection opportunity for researchers and practitioners to present and demonstrate their new and innovative work-in-progress. The track gives conference attendees a way to learn about novel on-going research projects that might not yet be complete, but whose preliminary results are already interesting. The track also provides presenters with an excellent opportunity to obtain feedback from their peers in an informal setting from knowledgeable sources. Full papers accepted for the Research and In-Use tracks are explicitly invited to submit a poster or demo to the Posters and Demo track. The submission format is the same as for the normal posters and demos but must cite the accepted full paper and needs to include an explanation on what the Demo/Poster adds on top of the conference presentation. Such added value could include: a) extended results and experiments not presented in the conference paper for space reasons, b) a demo of a supporting prototype implementation wherever software is available. Important Dates =============== * Abstracts due: August 23, 2010, 23:59 (11:59pm) Hawaii time * Notification: September 13, 2010 Topics of Interest ================== Topics of interest for the posters and demonstrations track include, but are not limited to: * Semantic User Interfaces * Interacting with Semantic Web data * Semantic data annotation * Semantic Data Mashup * Natural Language Interfaces * Semantic Visualization * Semantic Data Processing * Ontology modeling, reuse, extraction, and evolution * Ontology reasoning, mapping, merging, and alignment * Semantic Search * Ontology evaluation * Applications of the Semantic Web * Semantic Web for desktops or personal information management * Semantic Web technologies for multimedia, sensors, and situational awareness * Semantic Web technologies for e-Science, e-Commerce, e-Government * Semantic Web technologies for software and systems engineering * Mobile Semantic Web Applications * Semantic Wikis * Social Semantic Web Applications Submission Information ====================== Submissions and reviewing will be handled using the EasyChair reviewing system. Papers must be submitted via EasyChair to the Posters and Demos track of ISWC2010 at http://www.easychair.org/conferences/?conf=iswc2010 Authors must submit a four-page paper with a short abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. All poster and demo submissions will undergo a common review process, including those ones that have full papers accepted. Decisions about acceptance will be based on relevance to the Semantic Web, originality, potential significance, topicality and clarity. Submissions must be in PDF. Submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions that exceed the page limit may be rejected without review. For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 For demo submissions, authors are strongly encouraged to include in their submission a link to where the demo (live or recorded video) can be found. At least one of the authors must be a registered participant at the conference, and attend their Poster/Demo Session to present the work. The abstracts for all accepted posters and demos will be given to all conference attendees and published on the conference web site, but will not be published by Springer in the printed conference proceedings. Metadata for all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Poster and Demo co-chairs: Axel Polleres Huajun Chen From bjwoodford at infoscience.otago.ac.nz Wed Aug 4 04:19:29 2010 From: bjwoodford at infoscience.otago.ac.nz (Brendon Woodford) Date: Wed, 4 Aug 2010 14:19:29 +1200 (NZST) Subject: Deadline Extension: The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2010) In-Reply-To: <29619816.415.1280888311737.JavaMail.root@infos003.otago.ac.nz> Message-ID: <13236552.425.1280888369261.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 The submission deadline for PRIMA 2010 has been extended to *** AUGUST 14th. *** As a result, the timeline for reviewing and notification has changed as follows: - September 3 - September 6: author rebuttal - September 18: notification - September 25: author registration deadline & early registration deadline ** At least one author from each paper must register by this date. ** We also encourage other attendees to register by this date if possible. - October 14: camera-ready copies of papers due - November 1: final registration deadline Best regards, Nirmit Desai, Alan Liu, Michael Winikoff PRIMA 2010 co-programme chairs From tommie.meyer at meraka.org.za Wed Aug 4 21:31:01 2010 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Wed, 4 Aug 2010 21:31:01 +0200 Subject: CFP: AOW 2010 @ AI 2010 Message-ID: <1A0DC50E-25F6-45E2-862B-CD6BF30A8018@meraka.org.za> Apologies for cross postings 6th Australasian Ontology Workshop (AOW 2010) 7 December 2010 Held in Conjunction with the 23rd Australasian Joint Conference on Artificial Intelligence (AI2010) Adelaide, Australia http://krr.meraka.org.za/~aow2010 AOW 2010 is the sixth in a series of workshops on ontologies held in the Australasian region. For the second year running, AOW 2010 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications The AOW 2010 proceedings will be published at a suitable venue to be announced soon. Authors of the best papers will be invited to submit extended versions of their AOW 2010 papers as chapters in a forthcoming Springer book. Important Dates: Paper submission deadline: 24 September 2010 Notification of acceptance/rejection: 22 October 2010 Camera-ready copies due: 12 November 2010 AOW 2010: 7 December 2010 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=aow2010 Workshop Chairs: Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Mehmet Orgun Macquarie University mehmet.orgun at mq.edu.au Kerry Taylor CSIRO ICT Centre Kerry.Taylor at csiro.au Program Committee (more names to be added): Arina Britz (Meraka Institute, South Africa) Werner Ceusters (SUNY Buffalo, USA) Oscar Corcho (Universidad Politecnica de Madrid, Spain) Aurona Gerber (Meraka Institute, South Africa) Dennis Hooijmaijers (University of South Australia, Australia) Marijke Keet (Free University of Bolzano, Italy) Kevin Lee (NICTA and UNSW, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Maurice Pagnucco (UNSW, Australia) Markus Stumptner (University of South Australia, Australia) Sergio Tessaris (Free University of Bolzano, Italy) Ivan Varzinczak (Meraka Institute, South Africa) Antoine Zimmermann (DERI, Ireland) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.bordini at acm.org Thu Aug 5 01:19:10 2010 From: r.bordini at acm.org (Rafael H Bordini) Date: Thu, 05 Aug 2010 00:19:10 +0100 Subject: Call for Bids to Host MALLOW-2011 Message-ID: <4C59F56E.2080404@acm.org> ********************************************************************** MALLOW Multi-Agent Logics, Languages, and Organisations Federated Workshops http://www.mallow-workshops.org/ CALL FOR BIDS to host MALLOW-2011 ********************************************************************** The MALLOW steering committee invites proposals to host the 4th edition of MALLOW, to be held early September 2011. Bids in the format described below can be submitted until 10th of October, 2010. The MALLOW workshop federation was created in 2007 with the aim of providing a European venue for workshops on various related topics in Multi-Agent Systems. It encompasses both theoretical and practical approaches to the design and development of autonomous agents and agent organisations. The first edition took place in Durham (UK) in 2007, and was followed by an equally successful edition in Torino (Italy) in 2009. The 2010 edition is due to take place near Lyon (France) from 30th of August to 2nd of September. In all 3 editions, MALLOW took place the week after the European Agent Systems Summer School (usually last week of August and first week of September). MALLOW aims to be more than just a venue for workshops. It has a very specific ethos that makes a clear impact on the way and where it is to be organised. In particular, we aim to: * Provide a venue for related workshops in a way that participants will have the opportunity to attend various workshops, thus fostering collaboration and cross-fertilisation of ideas among the specific research communities that are typically gathered in each of the workshops. * The MALLOW organisers should facilitate the work of the workshop organisers by taking care of local arrangements, very much as in workshops that take place with major conferences. However, the intention is that MALLOW should be an affordable event for attendants. * Unlike many conferences, one of the central characteristics of the MALLOW events is that attendants are meant to have full board together in the same place, in order to increase the time available for networking. This also contributes to the friendly and collaborative atmosphere of the whole event that has marked the MALLOW editions so far. Research groups who are able to provide this kind of infrastructure for running MALLOW and would like to bid to run the 2011 edition of MALLOW are invited to submit a short document outlining: (i) the facilities available at the proposed venue, (ii) typical travel arrangements to reach the venue; (iii) an estimation of costs for participants including full-board plus the lecture rooms (usually 4 1/2 days with at most 2 parallel workshops), (iv) previous experience of the proponents in organasing academic events, if any. Proposals in plain text or PDF should be emailed to Rafael Bordini . The deadline for bidding to run MALLOW-2011 is: *** 10th of October 2010 *** However, we would appreciate receiving an email with a brief statement of intention to bid by 1st of September 2010 (such emails should be sent to the same address above). MALLOW Steering Committee ========================= * Cristina Baroglio – University of Torino, Italy * Rafael H. Bordini (chair) – INF-UFRGS, Brazil * Mehdi Dastani – Utrecht Univeristy, Netherlands * Virginia Dignum – TU Delft, Netherlands * João Leite – Universidade Nova de Lisboa, Portugal * John Lloyd – Australian National University, Australia * Brian Logan – University of Nottingham, UK * Pablo Noriega – IIIA-CSIC, Spain * Munindar Singh – NCSU, USA * Rineke Verbrugge – University of Groningen, Netherlands From bcseet at ieee.org Fri Aug 6 12:17:54 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Fri, 6 Aug 2010 22:17:54 +1200 Subject: CFP: SeNAmI 2010 - final extension of deadline to August 15 Message-ID: Due to request by potential authors, the submission deadline has been extended to August 15 ----------------------- 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 15, 2010 (extended, firmed deadline) 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 2010 Auckland University of Technology, NZ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Sat Aug 7 03:59:28 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Fri, 06 Aug 2010 21:59:28 -0400 Subject: Journal Special Call for Survey articles on Semantic Web topics Message-ID: <4C5CBE00.2040701@wright.edu> special call for papers on SURVEY ARTICLES ON SEMANTIC WEB TOPICS Description The "Semantic Web" journal invites submissions of full-length papers surveying the state of the art of topics central to the journal's scope. Survey articles should have the potential to become well-known introductory and overview texts. These submissions will be reviewed along the following dimensions: (1) Suitability as introductory text, targeted at researchers, PhD students, or practitioners, to get started on the covered topic. (2) How comprehensive and how balanced is the presentation and coverage. (3) Readability and clarity of the presentation. (4) Importance of the covered material to the broader Semantic Web community. Topics of Interest We invite submissions on all topics related to the Semantic Web. Important Dates Abstract Submission: 15th of September, 2010 Feedback about abstract: 20th of September, 2010 Paper Submission: 30th of October, 2010 Acceptance Notification: 20th of December, 2010 Final Paper: 31st of January, 2011 Abstracts and papers will be processed as they come in, and notification is planned earlier in these cases. Submissions Abstracts should consist of * List of authors * Tentative title * Abstract * Tentative table of contents * Tentative page count Abstracts must be sent by email to Pascal Hitzler with subject line "SWJ Survey abstract: ". The purpose of the abstract submission is that we can give you feedback on your planned survey, before you start putting too much work into this. This will also allow us to avoid duplicate topic. For the paper submission, please see the submission information and guidelines at . When entering your manuscript into the review system, please state "Survey paper" 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, USA Krzysztof Janowicz, Pennsylvania State University, USA Please direct all inquiries to Pascal Hitzler, pascal at pascal-hitzler.de. 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 -- 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 Wed Aug 11 17:39:54 2010 From: paolucci at docomolab-euro.com (Paolucci, Massimo) Date: Wed, 11 Aug 2010 17:39:54 +0200 Subject: Open Researcher Position at DOCOMO Euro-Labs Message-ID: <317B40DA788E894D8FDD440D2835F5F702D59166@DEMAIL.docomolab-euro.com> DOCOMO Communications Laboratories Europe GmbH (DOCOMO Euro-Labs) belongs to the Japanese premier mobile operator, NTT DOCOMO. The European research subsidiary is researching on future telecommunication systems and platforms with the support of highly motivated and qualified researchers from different technical domains within a multicultural working environment. We currently have the following opening: --------------------------------------------------- Researcher SEMANTIC TECHNOLOGIES and SERVICE-ORIENTED COMPUTING --------------------------------------------------- The Smart and Secure Services Research Group at DOCOMO Euro-Labs is working on service enablers for the next generation of mobile networks and applications. To realize our vision of value-added mobile services, we're looking for a highly technical and hands-on computer scientist to further expand our team in the area of Semantic Technologies and Service-oriented Computing. Applicants should meet the following requirements: * Very high technical competence and strong academic record. * Solid, relevant hands-on technical experience, and a record of individual technical achievement. * Ability to achieve challenging goals in a fast paced R&D environment. * Substantial experience in at least one of the following fields: Semantic Technologies and service-oriented platforms, Knowledge Representation, Artificial Intelligence. * Strong knowledge of the Semantic Web and related standards (e.g., OWL, RDF, GRDLL, SPARQL), ideally in a mobile application setting. * Experiences with advanced database systems, Internet platforms and semantic mash-ups, e.g. for social networks on the Semantic Web * Knowledge of Multimedia standards (e.g., MPEG-7, XMP). * Excellent English language skills orally and in writing. --------------------------------------------------- General: Your workplace will be in Munich, Germany. Your assignment requires a principal interest in core concepts of Mobile Services and Telecommunication Platforms, e.g. RCS (GSMA Rich Communication Suite) and IMS (3GPP IP Multimedia Subsystem) technology. The position is initially limited for two years with a possibility to be converted into an unlimited one. --------------------------------------------------- Applications & Inquiries: Please send us your complete job application as electronic file (curriculum vitae, graduation & score certifications, reference letter, starting availability, salary expectation) to: info at docomolab-euro.com For further information and inquiries, please feel free to contact: Massimo Paolucci paolucci at docomolab-euro.com DOCOMO Communications Laboratories Europe GmbH Landsbergerstrasse 312, 80687 Munich http://www.docomolab-euro.com --------------------------------------------------- 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. Seiichi Ikeda 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 xrambous at aurora.fi.muni.cz Wed Aug 11 16:00:23 2010 From: xrambous at aurora.fi.muni.cz (TSD 2010) Date: Wed, 11 Aug 2010 16:00:23 +0200 Subject: TSD 2010 Call for Demonstrations and Participation Message-ID: ********************************************************* TSD 2010 - CALL FOR DEMONSTRATIONS AND PARTICIPATION ********************************************************* Thirteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2010) Brno, Czech Republic, 6-10 September 2010 http://www.tsdconference.org/ SUBMISSION OF DEMONSTRATION ABSTRACTS Authors are invited to present actual projects, developed software and hardware or interesting material relevant to the topics of the conference. The authors of the demonstrations should provide the abstract not exceeding one page as plain text. The submission must be made using an online form available at the conference www pages. The accepted demonstrations will be presented during a special Demonstration Session (see the Demo Instructions at www.tsdconference.org). Demonstrators can present their contribution with their own notebook with an Internet connection provided by the organisers or the organisers can prepare a PC computer with multimedia support for demonstrators. IMPORTANT DATES August 16 2010 ............ Submission of demonstration abstracts August 20 2010 ............ Notification of acceptance for demonstrations sent to the authors September 6-10 2010 ....... Conference date The demonstration abstracts will not appear in the Proceedings of TSD 2010 but they will be published electronically at the conference website. KEYNOTE SPEAKERS John Carroll, University of Sussex, UK Parsing and Real-World Applications Christiane Fellbaum, Princeton University, USA Knowledge for Everyman Miroslav Novak, IBM T.J. Watson Research Center, USA Evolution of the ASR Decoder design Opening speech by Frederick Jelinek: Anoop Deoras and Frederick Jelinek, Johns Hopkins University, USA Iterative Decoding for Speech Recognition The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. Moreover, LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC or COMPENDEX. TOPICS Topics of the conference will include (but are not limited to): text corpora and tagging transcription problems in spoken corpora sense disambiguation links between text and speech oriented systems parsing issues parsing problems in spoken texts multi-lingual issues multi-lingual dialogue systems information retrieval and information extraction text/topic summarization machine translation semantic networks and ontologies semantic web speech modeling speech segmentation speech recognition search in speech for IR and IE text-to-speech synthesis dialogue systems development of dialogue strategies prosody in dialogues emotions and personality modeling user modeling knowledge representation in relation to dialogue systems assistive technologies based on speech and dialogue applied systems and software facial animation visual speech synthesis Papers on processing languages other than English are strongly encouraged. PROGRAM COMMITTEE Frederick Jelinek, USA (general chair) Hynek Hermansky, Switzerland (executive chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Attila Ferencz, Romania Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, Czech Republic Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Milan Rusko, Slovakia Ernst G. Schukat-Talamazzini, Germany Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 3-star hotel at the conference venue. The current prices of the accommodation are available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Dana Hlavackova, TSD 2010 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 33 29 fax: +420-5-49 49 18 20 email: tsd2010 at tsdconference.org The official TSD 2010 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000. The city is the country's judiciary and trade-fair center. Brno is the capital of Moravia, which is in the south-east part of the Czech Republic. Brno had been a Royal City since 1347 and with its six universities it forms also a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, some nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From calvanese at inf.unibz.it Wed Aug 11 23:53:32 2010 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Wed, 11 Aug 2010 23:53:32 +0200 Subject: Call for PhD positions at KRDB Centre, Free Univ. Bolzano, Italy - Deadline Oct. 18, 2010 Message-ID: <119EF21E-53F3-446E-ADDE-0C43BEAD327B@inf.unibz.it> =============================================================== CALL FOR PhD POSITIONS - DEADLINE October 18, 2010 3 fully funded PhD positions at the KRDB Research Centre for Knowledge and Data Faculty of Computer Science Free University of Bozen-Bolzano, Italy =============================================================== The Faculty of Computer Science of the Free University of Bozen-Bolzano (FUB), Italy, offers an opening for 18 positions for its 3-year PhD program. 9 of the positions are fully funded by a PhD studentship. *** 3 of the PhD positions with studentship are offered by the KRDB Research Centre for Knowledge and Data. *** The application deadline is Oct. 18, 2010 (arrival date of documents, electronic application is not possible). For information about the PhD program, the studentship, and the application, please visit . To download the call, click on "Public Competition Announcement for PhD courses - 26th cycle". A PhD studentship amounts roughly to 51,000 Euro over the three years of the PhD. Substantial extra funding is available for participation in international conferences, schools, and workshops. The faculty of Computer Science and its PhD program are entirely based on the English language. RESEARCH TOPICS The KRDB Research Centre invites applicants to get in touch with the research group as soon as possible (see CONTACT PERSON below), in order to have a better understanding of the possible research activities in which the applicants may be involved. Relevant research topics in the centre are the following: * Logics for Knowledge Representation * Intelligent Access to Databases * Controlled Natural Language * Temporal Aspects in Data and Knowledge * Advanced Database Technologies The topics require good knowledge of Logic, Foundations of Databases, some knowledge of Artificial Intelligence, and of Knowledge Representation. Other research topics are listed in the personal web pages of the members of the KRDB Research Centre, see . CONTACT PERSON To get in contact with the KRDB Research Centre, send an email to prof. Diego Calvanese . To get in touch with the current PhD students, see . From bcseet at ieee.org Thu Aug 12 09:23:18 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Thu, 12 Aug 2010 19:23:18 +1200 Subject: Final CFP: Sensor Networks and Ambient Intelligence (August 15, 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 15, 2010 (extended, firmed deadline) 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 2010 Auckland University of Technology, NZ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From raja at tifr.res.in Thu Aug 12 15:38:00 2010 From: raja at tifr.res.in (N. Raja) Date: Thu, 12 Aug 2010 19:08:00 +0530 Subject: ICDCIT 2011: Distributed Computing and Internet Technology, Bhubaneswar (India), 9-12 Feb 2011 Message-ID: ------------------------------------------------------------------- CALL FOR PAPERS ICDCIT -- 2011 The Seventh International Conference on Distributed Computing and Internet Technology http://www.icdcit.ac.in 09 - 12 February 2011, Bhubaneswar, India ------------------------------------------------------------------- IMPORTANT DATES Abstract Registration Deadline - 15 August 2010 Full Paper Submission - 22 August 2010 Decision Notification - 01 October 2010 Camera Ready - 01 November 2010 Conference Dates - 09--12 February 2011 CONTACT URL: http://www.icdcit.ac.in --------------------------------------------------------------------- INVITED SPEAKERS Jos Baeten, Eindhoven University of Technology, The Netherlands Yves Deswarte, LAAS-CNRS, France Kohei Honda, Queen Mary & Westfield College, UK Vaughan Pratt, Stanford University, USA Maria Wimmer, University of Koblenz, Germany --------------------------------------------------------------------- 1. INTRODUCTION --------------------------------------------------------------------- Established in 2004, the ICDCIT conference series has become a platform for Computer Science researchers from India and all over the world to exchange research results and ideas on the foundations and applications of Distributed Computing and Internet Technologies. Increasingly, such technologies enable individuals and organizations to jointly engage in the production, processing and dissemination of knowledge. The 7th International Conference on Distributed Computing and Internet Technologies (ICDCIT - 2011) will take place in Bhubaneswar during 9 - 12 February 2011. It will be co-organized by KIIT University, Bhubaneswar, India and Centre for Electronic Governance, UNU-IIST, Macao. Like the last six editions, the proceedings are expected to be published by Springer in the series of Lecture Notes in Computer Science. --------------------------------------------------------------------- 2. PAPER SUBMISSION --------------------------------------------------------------------- ICDCIT - 2011 invites submissions of research papers containing original contributions to the foundations and applications of Distributed Computing and Internet Technology. The papers must not be published or being considered for publication by any other conference or journal. All submitted papers will be reviewed by the Program Committee. In order to appear in the conference proceedings, accepted papers must be presented at the conference by one of the authors. Papers must be written in English and should not exceed 12 pages, prepared according to the LNCS style in LaTeX or Word and submitted electronically in PDF format through the conference submission portal at EasyChair. Submissions received after the due date, exceeding length limit, or not structured according to the provided templates may not be considered for review. The proceedings of the last six editions of the conference have been published by Springer in the Lecture Notes on Computer Science series. --------------------------------------------------------------------- 3. SCOPE --------------------------------------------------------------------- The list of topics addressed by ICDCIT includes, but is not limited to: DISTRIBUTED COMPUTING Distributed Algorithms Concurrency and Parallelism Performance Analysis Domain-Specific Architectures & languages Secure Computing and Communication Data and Service Grid Allocations and Computations Cloud and P2P Systems Location-Based Computing Formal Methods Bio Inspired Computing INTERNET TECHNOLOGIES Semantic Web Service Oriented Architecture Web Search & Mining Information Retrieval Multi-media Systems QoS Analysis Business Processing Monitoring and Service Delivery Bidding and Negotiation Reputation and Trust SOCIETAL APPLICATION IT Infrastructures Social Networking Co-operative Problem Solving Participatory Governance Environmental Resource Management Culture and Heritage Management Entertainment Systems Applications in Governance E-Health Applications E-Learning & Web 2.0 --------------------------------------------------------------------- 4. COMMITTEES --------------------------------------------------------------------- PATRONS Achyuta Samanta, KIIT, India ADVISORY COMMITTEE Maurice Herlihy, Brown University, USA Gérard Huet, INRIA, France Tomasz Janowski, UNU-IIST, Macao A.S.Kolaskar, KIIT, India David Peleg, WIS, Israel R.K. Shyamasundar, TIFR, India GENERAL CHAIRS H. Mohanty, University of Hyderabad, India Vivek Sarkar, Rice University, USA PROGRAM CO-CHAIRS Raja Natarajan, TIFR, India Adegboyega Ojo, UNU-IIST, Macao ORGANIZING CHAIR Animesh Tripathy, KIIT, India FINANCE CHAIR Samaresh Mishra, KIIT, India PUBLICITY CHAIR Prachet Bhuyan, KIIT, India PROGRAM COMMITTEE Purandar Bhaduri, IIT Guwahati, India Nikolaj Bjorner, Microsoft, USA Elizabeth Buchanan, Univ of Wisconsin-Milwaukee,U SA Antonio Cerone, UNU--IIST, Macao Venkatesh Choppella, IIIT Hyderabad, India Van Hung Dang, Vietnam National Univ, Vietnam Elsa Estevez, UNU--IIST, Macau Pablo Fillottrani, Universidad Nacional del Sur, Argentina Veena Goswami, KIIT, India Chittaranjan Hota, BITS Pilani, India Paul Humphreys, University of Virginia, USA Aditya Kanade, IISc, India Delia Kesner, Univ of Paris, France Paddy Krishnan, Bond Univ, Australia Lakshmanan Kuppusamy, VIT, India Sanjay Madria, Missouri Univ, USA Rupak Majumdar, MPI, Germany Tulika Mitra, NUS, Singapore Debajyoti Mukhopadhyay, CBS, India G.B.Mund, KIIT, India Brajendra Panda, Univ of Arkansas, USA N. Parimala, JNU, India Ankur Narang, IBM, India Rajdeep Niyogi, IIT Roorkee, India Manas Ranjan Patra, Berhampur University, India Dana Petcu, West Univ of Timisoara, Romania G. Michele Pinna, Univ of Cagliari, Italy P. Radha Krishna, Infosys, India Srini Ramaswamy, ABB Corporate Research, India Benoit Razet, TIFR, India Ashutosh Saxena, Infosys, India Manoj Saxena, Univ of Delhi, India Jaydip Sen, TCS, India Hardeep Singh, GNDU, India Arcot Sowmya, UNSW, Australia Manuel Serrano, INRIA, France Hideyuki Takahashi, Tohoku University, Japan Nobuko Yoshida, Imperial College London, UK ORGANIZERS KIIT University UNU-IIST Centre for Electronic Governance, Macao Abstract Registration Deadline -- 15 August 2010 CONTACT URL: http://www.icdcit.ac.in ------------------------------------------ From geoff at cs.miami.edu Fri Aug 13 13:47:09 2010 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 13 Aug 2010 07:47:09 -0400 (EDT) Subject: IWIL workshop at LPAR-17 in Indonesia - Extended deadline Message-ID: <20100813114709.9A05611FA56@mcclellan.cs.miami.edu> ========================================================================== IWIL 2010 - The 8th International Workshop on the Implementation of Logics The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Yogyakarta, Indonesia - October 10th-15th, 2010 ========================================================================== http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html ---------------------------- EXTENDED SUBMISSION DEADLINE ---------------------------- 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: 6 September 2010 Notification: 17 September 2010 Worhsop: 10 October 2010 =============================================================================== From dmitry at cs.wits.ac.za Fri Aug 13 16:31:53 2010 From: dmitry at cs.wits.ac.za (Dmitry Shkatov) Date: Fri, 13 Aug 2010 17:31:53 +0300 Subject: Positions in School of Computer Science, University of the Witwatersrand, Johannesburg Message-ID: <20100813141751.M24985@cs.wits.ac.za> VACANCIES (See online version at http://web.wits.ac.za/NewsRoom/VacancyItems/ASSOCIATE+LECTURER.htm) UNIVERSITY OF THE WITWATERSRAND, JOHANNESBURG, FACULTY OF SCIENCE – SCHOOL OF COMPUTER SCIENCE (www.cs.wits.ac.za) =================================================================== Position: Senior Lecturer / Lecturer/ Associate Lecturer Description: SENIOR LECTURER / LECTURER / ASSOCIATE LECTURER The School is a premier academic Computer Science institution in South Africa. Its mission is to develop highly educated students and to pursue research. It has developed research programs and international research links in a number of areas. Active areas of research in the School include: • Logic and algebra in computer science • Computer science education • Computational geometry • Neural networks and artificial intelligence • Remote sensed, biomedical and hyperspectral image processing • Formal language theory and natural language processing • Parallel and high-performance computing • Database systems and scientific data management systems Candidates from all areas of computer science will be considered and in particular he or she may be expected to expand our research activities to include either computer networks or graphics and visualization. At least two positions are anticipated. Successful candidates will be offered positions commensurate with their qualifications and experience. Fixed-period contract or part-time appointments will also be considered. Minimum qualification requirements for these positions are: Senior Lecturer: PhD in Computer Science, independent post-doctoral research profile, successful teaching and supervision experience. Lecturer: Preferably a completed PhD in Computer Science. Candidates close to completing a PhD will be considered, but evidence of successful teaching and research is necessary. Associate Lecturer: Postgraduate qualification in Computer Science and some teaching experience. DUTIES: Successful applicants will be expected to undertake teaching in undergraduate, higher diploma and postgraduate programs. Staff on the lecturer track are expected to do research and senior lecturers to supervise research students. SALARIES: Dependent on qualifications and experience. STARTING DATE: As soon as possible. POSTDOCTORAL POSITIONS There are also postdoctoral positions available in the general area of image processing with particular emphasis on hyperspectral images and high performance computing. These positions are part of the Flagship project funded at the University by the national Centre for High Performance Computing. More information can be obtained from Professor Michael Sears at michael.sears at wits.ac.za. Closing Date: 2010/08/31 For more information Contact: Ms Zandi Mbaleki Telephone: +27 (0)11 7171432 Email: Zandi.Mbaleki at wits.ac.za To apply: TO APPLY: Submit a detailed CV, certified copies of degrees/diplomas, and names, addresses and other contact details of three referees to: Ms Zandi Mbaleki, HR Officer, Faculty of Science, University of the Witwatersrand, Private Bag 3, Wits, 2050, South Africa. Tel: +27 (0)11 7171432. Fax: +27 (0)11 7176009. E-mail: Zandi.Mbaleki at wits.ac.za. CLOSING DATE: 31 August 2010 =============================================================== Dr. Dmitry Shkatov Lecturer School of Computer Science University of the Witwatersrand tel. +27 (0) 11 717 61 78 web: www.cs.wits.ac.za/~dmitry

This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorized signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.

From paolucci at docomolab-euro.com Sun Aug 15 04:11:15 2010 From: paolucci at docomolab-euro.com (Paolucci, Massimo) Date: Sun, 15 Aug 2010 04:11:15 +0200 Subject: Open Researcher Position at DOCOMO Euro-Labs Message-ID: <317B40DA788E894D8FDD440D2835F5F702D592C4@DEMAIL.docomolab-euro.com> DOCOMO Communications Laboratories Europe GmbH (DOCOMO Euro-Labs) has currently the following opening: --------------------------------------------------- Researcher SEMANTIC TECHNOLOGIES and SERVICE-ORIENTED COMPUTING --------------------------------------------------- The Smart and Secure Services Research Group at DOCOMO Euro-Labs is working on service enablers for the next generation of mobile networks and applications. To realize our vision of value-added mobile services, we're looking for a highly technical and hands-on computer scientist to further expand our team in the area of Semantic Technologies and Service-oriented Computing. Applicants should meet the following requirements: * Very high technical competence and strong academic record. * Solid, relevant hands-on technical experience, and a record of individual technical achievement. * Ability to achieve challenging goals in a fast paced R&D environment. * Substantial experience in at least one of the following fields: Semantic Technologies and service-oriented platforms, Knowledge Representation, Artificial Intelligence. * Strong knowledge of the Semantic Web and related standards (e.g., OWL, RDF, GRDLL, SPARQL), ideally in a mobile application setting. * Experiences with advanced database systems, Internet platforms and semantic mash-ups, e.g. for social networks on the Semantic Web * Knowledge of Multimedia standards (e.g., MPEG-7, XMP). * Excellent English language skills orally and in writing. --------------------------------------------------- General: Your workplace will be in Munich, Germany. Your assignment requires a principal interest in core concepts of Mobile Services and Telecommunication Platforms, e.g. RCS (GSMA Rich Communication Suite) and IMS (3GPP IP Multimedia Subsystem) technology. The position is initially limited for two years with a possibility to be converted into an unlimited one. --------------------------------------------------- Applications & Inquiries: Please send us your complete job application as electronic file (curriculum vitae, graduation & score certifications, reference letter, starting availability, salary expectation) to: info at docomolab-euro.com For further information and inquiries, please feel free to contact: Massimo Paolucci paolucci at docomolab-euro.com DOCOMO Communications Laboratories Europe GmbH Landsbergerstrasse 312, 80687 Munich http://www.docomolab-euro.com --------------------------------------------------- About DOCOMO Euro-Labs DOCOMO Communications Laboratories Europe GmbH (DOCOMO Euro-Labs) belongs to the Japanese premier mobile operator, NTT DOCOMO. The European research subsidiary is researching on future telecommunication systems and platforms with the support of highly motivated and qualified researchers from different technical domains within a multicultural working environment. --------------------------------------------------- Massimo Paolucci DOCOMO Communications Laboratories Europe GmbH Landsberger Strasse 308-312, 80687 Munich mailto:paolucci at docomolab-euro.com http://www.docomolab-euro.com Managing Directors (Geschaeftsfuehrer): Dr. Masami Yabusaki, Mr. Naoki Tani, Mr. Seiichi Ikeda 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 Laurent.Vercouter at emse.fr Mon Aug 16 15:52:28 2010 From: Laurent.Vercouter at emse.fr (Laurent Vercouter) Date: Mon, 16 Aug 2010 15:52:28 +0200 Subject: last CFP EASSS 2010 - European Agent Systems Summer School Message-ID: <4C69429C.1010104@emse.fr> *LAST WEEK TO REGISTER TO THE EUROPEAN AGENT SYSTEMS SUMMER SCHOOL* ============================================================ Call For Participation 12th European Agent Systems Summer School (EASSS 2010) Ecole des Mines de Saint-Etienne, France 23 - 27 August 2010 (week before MALLOW'10) http://easss2010.emse.fr/ ============================================================ As its very successful predecessors, EASSS'10 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems. EASSS'10 will comprise the following courses: * Introduction to Multiagent Systems * Agent-based negotiations and auctions * New Trends in Multi-Agent Planning * Engineering Norm-Governed Systems * Temporal Constraint Techniques for Autonomous Scheduling * Game Theory: strategic and cooperative games * Trust and Reputation in Multi-Agent Systems * Organizational modelling: principles and practice * Model Checking Temporal and Strategic Logics * Self-organisation and multi-agent systems * Argumentation technologies for agents and multiagent systems * Multiagent simulation * Multiagent programming * Documentation and Fragmentation of Agent Oriented This summer school is open to anyone from academia or industry. More information can be found at the webpage. Inquiries can be sent to easss2010 at emse.fr ============================================================ -- *Laurent Vercouter* Maitre-Assistant / Assistant Professor ISCOD/LSTI, Ecole des Mines de St-Etienne, France Phone: +33 4 77 42 66 03 http://www.emse.fr/~vercouter From Oege.de.Moor at comlab.ox.ac.uk Mon Aug 16 16:26:49 2010 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Mon, 16 Aug 2010 15:26:49 +0100 (BST) Subject: Programming Languages opening at Oxford Message-ID: <201008161426.o7GEQnSS013360@merc4.comlab.ox.ac.uk> FACULTY POSITION IN PROGRAMMING LANGUAGES AT OXFORD The University of Oxford is offering a tenure-track faculty position in the area of programming languages. Full details can be found at: http://www.comlab.ox.ac.uk/news/231-full.html The closing date for applications is September 24. From guido at di.unito.it Tue Aug 17 13:29:06 2010 From: guido at di.unito.it (Guido Boella) Date: Tue, 17 Aug 2010 13:29:06 +0200 Subject: 1st CFP: AAMAS 2011 Message-ID: <4C6A7282.6020507@di.unito.it> %%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%% Call for Papers: AAMAS 2011 10th International Conference on Autonomous Agents & Multiagent Systems Taipei, Taiwan May 2-6, 2011 http://www.aamas2011.tw/index.html %%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%% Important dates: Electronic Abstract Submission: October 7, 2010 Full Paper Submission: October 13, 2010 Author Notification: December 20, 2010 Conference: May 2 - 6, 2011 INTRODUCTION AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS-2011 is the Tenth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Taipei International Convention Center, Taipei, Taiwan. See http://www.ifaamas.org for more information on the AAMAS conference series. SUBMISSION DETAILS AAMAS-2011 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Please note submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8 page) papers must be submitted for the review process to start. All work must be original (must not have appeared in a conference proceedings, book, or journal). See http://www.aamas2011.tw/ for detailed submission instructions. In addition to submissions in the main track, AAMAS-2011 will be soliciting papers in three special tracks. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for that track. Special Track on Robotics (Chair: Maria Gini): Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. Special Track on Virtual Agents (Chair: James Lester): Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. Special Track on Innovative Applications (Chair: Peter McBurney): Due to the growing maturity of the field there are now agent-based applications in widespread use across many domains, responsible for the generation of significant revenues, or the saving of major costs, or for supporting important public policy and business strategy decision-making. This special track provides the ideal forum to present and discuss your work: to inform and inspire the largest international gathering of agent technology researchers and practitioners with presentations and demonstrations of your compelling applications, agent system deployment experiences, and new business ideas. The goal is to promote the fostering of mutually-beneficial relationships between members of the AAMAS community who are engaged in foundational scientific research and those who are working to make autonomous agents and multi-agent systems a commercial or public policy reality. Due to the special review process for the Innovative Applications track, papers accepted in this track may be designated in the proceedings as belonging to this track. For submissions to the special track on innovative applications, authors are particularly encouraged to address the following questions: . What is the rationale for using agent-based technology in this application domain, as opposed to other approaches? . If you have deployed your technology, what insights have you gained from the experience? For instance, what lessons do you have for anyone pitching, designing, implementing, deploying, using, or evaluating similar agent systems or working in similar domains?. What improvements or external factors (such as technology standards) might facilitate wider-spread adoption of your technology? . What improvements in fundamental agent technology might improve your application, or enable it to be adopted more broadly, or support its better use? All full papers accepted to the main track and three special tracks will be presented in parallel technical sessions, and in addition, AAMAS-2011 will include: o Workshops o Tutorials o Demonstrations o Posters presentations for full papers and extended abstracts o Invited talks and panel discussions The submission processes for the workshops, tutorials and demonstration are separate from the main paper submission process. See http://www.aamas2011.tw/ for details. ORGANIZING COMMITTEE General Chairs: Liz Sonenberg and Peter Stone Program Chairs: Kagan Tumer and Pinar Yolum Local Organization Chair: Von-Wun Soo A list of the other members of the AAMAS-2011 Organizing Committee maybe found at http://www.aamas2011.tw/Committee.html . _______________________________________________ agents mailing list agents at cs.umbc.edu http://lists.cs.umbc.edu/mailman/listinfo/agents From calvanese at inf.unibz.it Wed Aug 18 08:16:55 2010 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Wed, 18 Aug 2010 08:16:55 +0200 Subject: Call for Participation: 4th Int. Conf. on Web Reasoning and Rule Systems (RR 2010) - Bressanone, Italy, Sep. 22-24, 2010 Message-ID: <6BC23343-83EE-465E-A6CB-308527C9737A@inf.unibz.it> Apologies for multiple receipts due to crossposting. CALL FOR PARTICIPATION 4th Int. Conference on Web Reasoning and Rule Systems (RR 2010) Bressanone/Brixen, Italy September 22-24, 2010 http://www.rr-conference.org/RR2010/ Co-located with: - the 6th Workshop on Semantic Web Applications and Perspectives (SWAP 2010), - the 1st Int. Workshop on Business Models, Business Rules and Ontologies (BuRO 2010) - the 3rd KRDB school on Trends in the Web of Data (KRDBs 2010) --------------------------------------------------------------------- KEY DATES: - Regular registration deadline: Aug. 31, 2010 - Student early registration deadline: Aug. 31, 2010 REGISTRATION: http://www.inf.unibz.it/krdb/events/rr2010/registration/registration.html PROGRAM: http://www.inf.unibz.it/krdb/events/rr2010/program/program.html OVERVIEW: The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2010 builds on the success of the first three International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org/), held in Innsbruck, Austria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which received enthusiastic support from the Web Reasoning community. In 2010, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. KEYNOTE TALKS: - Datalog+-: Rule-Based Languages for Ontological Reasoning and Query Answering Georg Gottlob (Oxford University, UK) - Data Validation with OWL Integrity Constraints Evren Sirin (Clark & Parsia, USA) TUTORIAL: - SPARQL1.1: new features and friends (OWL2, RIF) Axel Polleres (DERI Galway), National University of Ireland (Galway, Ireland) ACCEPTED PAPERS: * Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries R. Pichler, A. Polleres, S. Skritek, S. Woltran * A Rule-Based Language for Complex Event Processing and Reasoning D. Anicic, P. Fodor, S. Rudolph, R. Stuehmer, N. Stojanovic, R. Studer * Query-Based Access Control for Ontologies M. Knechtel and H. Stuckenschmidt * Defeasibility in Answer Set Programs via Argumentation Theories H. Wan, M. Kifer, B. Grosof. * Extending Paraconsistent SROIQ F. Maier * A Rule-Based Approach to XML Processing and Web Reasoning J. Coelho, B. Dundua, M. Florido, T. Kutsia * Learning to Rank Individuals in Description Logics Using Kernel Perceptrons N. Fanizzi, C. d'Amato, F. Esposito * On the Termination of the Chase Algorithm M. Meier * Processing RIF and OWL2RL within DLVHEX P. Obermeier, M. Marano, and A. Polleres. * Inconsistency-Tolerant Semantics for Description Logics D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, D.F. Savo. * Usability of a Visual Language for DL Concept Descriptions F. Naufel do Amaral. * Secrecy-Preserving Query Answering for EL J. Tao, G. Slutzki, V. Honavar. * A RESTful SWRL Rule Editor C. Keßler. * A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules S. Bragaglia, D. Sottara, F. Chesani, P. Mello. * KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge K. Weiand, S. Hausmann, T. Furche, F. Bry * Analyzing the AIR Language: A Semantic Web (Production) Rules Language A. Khandelwal, J. Bao, L. Kagal, I. Jacobi, L. Ding, J. Hendler * A Probabilistic Abduction Engine for Media Interpretation based on Ontologies O. Gries, R. Möller, A. Nafissi, M. Rosenfeld, K. Sokolski, M. Wessel * On the Semantic Relationship between Datalog and Description Logics M. Krötzsch, S. Rudolph, P. Schmitt * A Rule-Based System for End-User E-Mail Annotations G. Fiumara, M. Marchi, R. Pagano, A. Provetti * A RPL through RDF: Expressive Navigation in RDF Graphs H. Zauner, B. Linse, T. Furche, F. Bry * Composition of Semantic Web Services in a Constructive Description Logic L. Bozzato, M. Ferrari * Embeddings of Simple Modular Extended RDF C. Viegas Damásio, A. Analyti, G. Antoniou CHAIRS: General Chair - José Júlio Alferes (Universidade Nova de Lisboa, Portugal) Program Chairs - Pascal Hitzler (Wright State University, USA) - Thomas Lukasiewicz (Oxford University, UK) Local Arrangements - Diego Calvanese (Free University of Bozen-Bolzano, Italy) - Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy) Sponsorship Chair - Krzysztof Janowicz (Pennsylvania State University, USA) COLOCATED EVENTS: * 6th Workshop on Semantic Web Applications and Perspectives (SWAP 2010) http://www.inf.unibz.it/krdb/events/swap2010/ * 1st Int. Workshop on Business Models, Business Rules and Ontologies (BuRO 2010) http://ontorule-project.eu/dissemination/events/buro2010 * 3rd KRDB school on Trends in the Web of Data (KRDBs 2010) http://www.inf.unibz.it/krdb/school/2010/ From calvanese at inf.unibz.it Wed Aug 18 09:00:09 2010 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Wed, 18 Aug 2010 09:00:09 +0200 Subject: 6th Workshop on Semantic Web Applications and Perspectives (SWAP2010) - ***FInal*** Call for Papers - In Bressanone (Italy) Sep. 22-24, 2010 Message-ID: <60A18C9A-4E6E-4923-8CAB-602A2F0BB0BF@inf.unibz.it> Apologies for multiple receipts due to cross-postings. --------------------------------------------------------------------- FINAL CALL FOR PAPERS submission deadline is approaching: 2 weeks left --------------------------------------------------------------------- ========================================================== 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 ***2 WEEKS FROM NOW*** - 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 axel.polleres at deri.org Wed Aug 18 10:14:24 2010 From: axel.polleres at deri.org (Axel Polleres) Date: Wed, 18 Aug 2010 09:14:24 +0100 Subject: **** Last Call **** ISWC2010 Posters and Demos, Deadline 23 Aug Message-ID: <7E0CF9A1-5C4A-4722-9B78-ABA7964D9010@deri.org> =============================================================================== ISWC2010 - Ninth International Semantic Web Conference November 7-11, 2010, in Shanghai, China http://iswc2010.semanticweb.org/ =============================================================================== Posters and Demonstrations Track *Last Call* for Submissions Strict Deadline: *August 23, 2010* =============================================================================== The posters and demonstrations track of ISWC 2010 continues the established tradition of providing an interaction and connection opportunity for researchers and practitioners to present and demonstrate their new and innovative work-in-progress. The track gives conference attendees a way to learn about novel on-going research projects that might not yet be complete, but whose preliminary results are already interesting. The track also provides presenters with an excellent opportunity to obtain feedback from their peers in an informal setting from knowledgeable sources. Full papers accepted for the Research and In-Use tracks are explicitly invited to submit a poster or demo to the Posters and Demo track. The submission format is the same as for the normal posters and demos but must cite the accepted full paper and needs to include an explanation on what the Demo/Poster adds on top of the conference presentation. Such added value could include: a) extended results and experiments not presented in the conference paper for space reasons, b) a demo of a supporting prototype implementation wherever software is available. Important Dates =============== * Abstracts due: August 23, 2010, 23:59 (11:59pm) Hawaii time * Notification: September 13, 2010 Topics of Interest ================== Topics of interest for the posters and demonstrations track include, but are not limited to: * Semantic User Interfaces * Interacting with Semantic Web data * Semantic data annotation * Semantic Data Mashup * Natural Language Interfaces * Semantic Visualization * Semantic Data Processing * Ontology modeling, reuse, extraction, and evolution * Ontology reasoning, mapping, merging, and alignment * Semantic Search * Ontology evaluation * Applications of the Semantic Web * Semantic Web for desktops or personal information management * Semantic Web technologies for multimedia, sensors, and situational awareness * Semantic Web technologies for e-Science, e-Commerce, e-Government * Semantic Web technologies for software and systems engineering * Mobile Semantic Web Applications * Semantic Wikis * Social Semantic Web Applications Submission Information ====================== Submissions and reviewing will be handled using the EasyChair reviewing system. Papers must be submitted via EasyChair to the Posters and Demos track of ISWC2010 at http://www.easychair.org/conferences/?conf=iswc2010 Authors must submit a four-page abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. All poster and demo submissions will undergo a common review process, including those ones that have full papers accepted. Decisions about acceptance will be based on relevance to the Semantic Web, originality, potential significance, topicality and clarity. Submissions must be in PDF. Submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions that exceed the page limit may be rejected without review. For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 For demo submissions, authors are strongly encouraged to include in their submission a link to where the demo (live or recorded video) can be found. At least one of the authors must be a registered participant at the conference, and attend their Poster/Demo Session to present the work. The abstracts for all accepted posters and demos will be given to all conference attendees and published on the conference web site, but will not be published by Springer in the printed conference proceedings. Metadata for all successful submissions will be included in the conference metadata corpus and made publicly available at http://data.semanticweb.org. Detailed information will be provided with the acceptance notification. Poster and Demo co-chairs: Axel Polleres Huajun Chen _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 7362 www.sebastian-rudolph.de fax +49 721 608 - 5998 __._,_.___ Reply to sender | Reply to group | Reply via web post | Start a New Topic Messages in this topic (2) RECENT ACTIVITY: New Members 1 Visit Your Group MARKETPLACE Stay on top of your group activity without leaving the page you're on - Get the Yahoo! Toolbar now. Get great advice about dogs and cats. Visit the Dog & Cat Answers Center. Hobbies & Activities Zone: Find others who share your passions! Explore new interests. Switch to: Text-Only, Daily Digest • Unsubscribe • Terms of Use . __,_._,___ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From reharper at us.ibm.com Wed Aug 18 15:18:12 2010 From: reharper at us.ibm.com (Richard E Harper) Date: Wed, 18 Aug 2010 09:18:12 -0400 Subject: Call For Papers Deadline Extension to December 1, 2010 for International Journal of Critical Computer-Based Systems (IJCCBS) Special Issue on "Resilient Servers and Data Centres" Message-ID: Greetings! This is to inform you that the submittal deadline for the subject Call for Papers has been extended to December 1, 2010. (We apologize for any replicates of this email that you may receive.) Here is an abbreviated CFP: International Journal of Critical Computer-Based Systems  (IJCCBS) Call For Papers Special Issue on: "Resilient Servers and Data Centres" Guest Editors: Lisa Spainhower, IBM Systems and Technology Group, USA Rick Harper, IBM Research, USA Widespread deployment of heterogeneous virtualized systems in cloud computing and warehouse-scale data centres, often used for business-critical applications, introduces new challenges and opportunities for technological advances and innovation. This special issue seeks experimental, experiential, and theoretical papers dealing with a variety of questions concerning innovations for resilience in modern IT systems. This issue will present questions which include but are not limited to: In addition to the more traditional definitions of high availability and fault tolerance, the ability to respond robustly to a wide variety of changes has become extremely important in modern dynamic IT structures; is a new conception of resilience needed? Economics of resilience: How much is enough and what is it worth? Do we have adequate specification of resilience objectives to facilitate a global economic ecosystem in which workload resilience goals can be specified, bid, purchased, and measured? Disasters, DOS attacks, viral outbreaks, thermal issues, power outages, operator strikes, mass upgrades and maintenance actions are significant impairments to resilience; what new impairments to resilience arise in modern scale distributed data centres? How do distributed and cloud computing exacerbate and/or mitigate some of these impairments? How do we achieve economically viable (e.g., cost effective, green, efficient, easy-to-manage) geographical-scale resilience in computing? Complex systems management challenges: How do multiple managers and domains of ownership interact in vast-scale IT systems? What new techniques are needed for modelling, testing, validation of resilient systems and data centres? What design, analysis, validation, problem prediction, and test technologies are applicable and might be transferable from the safety-critical, manufacturing, and industrial domains to the IT domain? How can problem prediction and proactive avoidance be used to improve the resilience of these systems in light of the new classes of hazards that they face? The full CFP may be accessed at http://www.inderscience.com/browse/callpaper.php?callID=1357. Regards, Lisa Spainhower Rick Harper -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hr at sti2.at Fri Aug 20 15:07:21 2010 From: hr at sti2.at (HR) Date: Fri, 20 Aug 2010 15:07:21 +0200 Subject: Open position: PhD student in EU project Envision In-Reply-To: <00be01cb3236$d4df5520$7e9dff60$@at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> <4B0554D8.4010503@sti2.at> <4B6C0262.8030803@sti2.at> <4B6C0284.8070601@sti2.at> <4BA8B8EC.2080101@sti2.at> <4BA8C8D8.5060201@sti2.at> <4BF65B42.6030807@sti2.at> <003501cafbdd$2bd8e7a0$838ab6e0$@at> <4C173C33.200@sti2.at> <00be01cb3236$d4df5520$7e9dff60$@at> Message-ID: <4C6E7E09.2070104@sti2.at> PhD-Researcher in EU FP7 Project ENVISION STI Innsbruck is research institute at the University of Innsbruck and established itself as one of the key players in the area of semantic technologies, with excellent ties to other relevant public and corporate research institutions worldwide. * We offer:* · The stimulating environment of a leading research group in the fields of Semantic Web, Semantic Web Services, Service-Oriented Architectures and formal languages and reasoning. · Long-term collaboration to well-known academic institutions and major companies around the world. · A multicultural working place with state-of-the-art infrastructure and resources including funding for attending international conferences, PhD symposia, summer schools, etc. *We expect:* · A researcher (PhD student) with a strong background in Computer Science or Information Technologies and focused research interest and expertise in at least one of the following areas: knowledge representation, information retrieval methods, reasoning, formal languages, data mining, visualization algorithms. · Interest in working for the EU FP7 project ENVISION. The ENVISION project provides an ENVIronmental Services Infrastructure with ONtologies that aims to support non ICT-skilled users in the process of semantic discovery and adaptive chaining and composition of environmental services. Innovations in ENVISION are: on-the-Web enabling and packaging of technologies for their use by non ICT-skilled users, support for migrating environmental models to be provided as models as a service (Maas), and the use of data streaming information for harvesting information for dynamic building of ontologies and adapting service execution. The ENVISION project will develop solutions to support the creation of web-based applications enabled for dynamic discovery and visual service chaining, and will provide support for visual semantic annotation tools and multilingual ontology management. The execution infrastructure that ENVISION project aims to build will comprises a semantic discovery catalogue and a semantic service mediator based on a generic semantic framework and adaptive service chaining with data-driven adaptability Scenario requirements and pilots from the ENVISION user partners focus on landslide hazard assessment and environmental pollution (oil spills) decision support systems. The benefit of ENVISION for the wider community will be better accessibility to modelling tools using the Web and it will provide greater flexibility through improved connections to distributed sources of information. The project consortium is an interdisciplinary team of engineers and researchers in Computing Science, GeoInformatics and Knowledge Management from all over Europe. The contribution of STI Innsbruck is on semantic technologies for service discovery and mediation. The aim is to develop a semantic catalogue system that supports registration and discovery of distributed environmental services. The semantic catalogue will be build on top of a standardized OGC catalogue extended with scalable semantic discovery techniques. The project will run for 30 months. The project started in January 2010. For further information regarding our organization, research and projects, please see http://www.sti-innsbruck.at . We kindly invite you to submit your application to: Universität Innsbruck Chiffre MIP-6196 / Chiffre 6184 Posteinlaufstelle der Zentralen Dienste Innrain 52 A-6020 Innsbruck Please include a current resume, a list of publications (if applicable), and digital versions of your most relevant works (such as graduation thesis or latest publications). In case of any further questions regarding this position please contact Ioan Toma at ioan.toma at sti2.at -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hr at sti2.at Fri Aug 20 15:08:15 2010 From: hr at sti2.at (HR) Date: Fri, 20 Aug 2010 15:08:15 +0200 Subject: Open position: PhD student in EU project Insemtives In-Reply-To: <4C6E7E09.2070104@sti2.at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> <4B0554D8.4010503@sti2.at> <4B6C0262.8030803@sti2.at> <4B6C0284.8070601@sti2.at> <4BA8B8EC.2080101@sti2.at> <4BA8C8D8.5060201@sti2.at> <4BF65B42.6030807@sti2.at> <003501cafbdd$2bd8e7a0$838ab6e0$@at> <4C173C33.200@sti2.at> <00be01cb3236$d4df5520$7e9dff60$@at> <4C6E7E09.2070104@sti2.at> Message-ID: <4C6E7E3F.202@sti2.at> PhD-Researcher in EU FP7 Project INSEMTIVES /INSEMTIVES is an EU FP7 project starting April 2009 with a duration of 3 years and seven academic and industrial partners. In the project, we will develop process methodologies and tools for the creation of semantic data for different types of Web sources jointly exploiting human intelligence, community effects and automatic machine processing. The findings will be validated in three use cases in real-world settings. For more information go to www.insemtives.eu/ *We offer* * The opportunity to take part in an innovative European research project focusing on several hot topics in to date’s Web and Semantic Web research: incentives, Web 3.0, social applications, lightweight knowledge engineering and semantic annotation. * A stimulating environment of a leading research group in the fields of semantic technologies, with excellent ties worldwide. * An up-to-date infrastructure and resources, including funding for attending international conferences, PhD symposia, summer schools. * A multicultural working place with modern infrastructure and facilities in a location with high life quality. *We expect* * A strong background in Computer Science or related disciplines. * Willingness to work in an international environment and to take actively part in large-scale international research projects. * Willingness to combine formal scientific work with application-oriented research in order to solve real-world problems. * Research interest and expertise in the following areas: ontologies, ontology engineering, ontology languages, Web 2.0, social Web, social applications, collaborative applications, games, incentives. We kindly invite you to submit your application to: Universität Innsbruck Chiffre MIP-6196 / Chiffre 6184 Posteinlaufstelle der Zentralen Dienste Innrain 52 A-6020 Innsbruck Please include a current resume, a list of publications (if applicable), and digital versions of your most relevant works (e.g., graduation thesis). In case of any questions regarding this position please contact Katharina Siorpaes at katharina (dot) siorpaes (at) sti2.at. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Laurent.Vercouter at emse.fr Fri Aug 20 18:43:11 2010 From: Laurent.Vercouter at emse.fr (Laurent Vercouter) Date: Fri, 20 Aug 2010 18:43:11 +0200 Subject: Call for participation MALLOW 2010 Message-ID: <4C6EB09F.7040904@emse.fr> :: MALLOW-2010 :: The Multi-Agent Logics, Languages, and Organisations Federated Workshops :: http://mallow2010.emse.fr/ :: 30th of August -- 2nd of September :: Domaine Valpré, Lyon, France NEW: Program now available at http://mallow2010.emse.fr/programme.php The third edition of MALLOW will take place at the Domaine Valpré in Lyon, right after the EASSS summer school in Saint-Etienne (close to Lyon). Like its very successful predecessors (Durham, UK, 2007; Torino, Italy, 2009), MALLOW 2010 aims to offer a venue allowing to attend various workshops on different aspects of multi-agent systems. Invited speakers: * Bruce Edmonds, Manchester Metropolitan University Business School, UK * Andreas Herzig, IRIT, Toulouse, FR * David Sadek, Orange, Paris, FR Panel discussion (chair: Alessandro Ricci, DEIS, University of Bologna, IT) This year, the federated workshops are: * Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN) * Workshop of the FIPA Design Process Documentation and Fragmentation Working Group (DPDF WG) * Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS) * Workshop on Logics for Resource Bounded Agents (LRBA) * Workshop on Multi-Agent Systems and Simulation (MASS) :: http://mallow2010.emse.fr/ :: http://www.mallow-workshops.org/ -- *Laurent Vercouter* Maitre-Assistant / Assistant Professor ISCOD/LSTI, Ecole des Mines de St-Etienne, France Phone: +33 4 77 42 66 03 http://www.emse.fr/~vercouter From Bertram.Fronhoefer at inf.tu-dresden.de Fri Aug 20 20:37:15 2010 From: Bertram.Fronhoefer at inf.tu-dresden.de (Bertram =?iso-8859-1?Q?Fronh=F6fer?=) Date: Fri, 20 Aug 2010 20:37:15 +0200 Subject: Professor position Message-ID: <20100820183710.GA5735@janeway.inf.tu-dresden.de> Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : 2010-07-22--09-15__Ausschreibung_CL.pdf Dateityp : application/pdf Dateigröße : 50645 bytes Beschreibung: nicht verfügbar URL : From laurent.perrussel at univ-tlse1.fr Tue Aug 24 08:30:22 2010 From: laurent.perrussel at univ-tlse1.fr (Laurent Perrussel) Date: Tue, 24 Aug 2010 08:30:22 +0200 Subject: Uncertain Reasoning Special Track at FLAIRS-24: first Call For Papers Message-ID: <4C7366FE.1060203@univ-tlse1.fr> [Apologies for multiple copies] FLAIRS-24 - Special Track on Uncertain Reasoning (UR) West Palm Beach, Florida, USA May 18-20, 2011 http://www.irit.fr/~Laurent.Perrussel/ur11/ Call For Papers =============== Many problems in AI (in reasoning, planning, learning, perception and robotics) require the agent to operate with incomplete or uncertain information. The objective of this track is to present and discuss a broad and diverse range of current work on uncertain reasoning, including theoretical and applied research based on different paradigms. We hope that the variety and richness of this track will help to promote cross fertilization among the different approaches for uncertain reasoning, and in this way foster the development of new ideas and paradigms. The Special Track on Uncertain Reasoning (UR) is the oldest track in FLAIRS conferences, running annually since 1996. The UR'2011 Special Track at the 24th International Florida Artificial Intelligence Research Society Conference (FLAIRS-24) is the 16th in the series. As the past tracks, UR'2011 seeks to bring together researchers working on broad issues related to reasoning under uncertainty. Scopes ------ Papers on all aspects of uncertain reasoning are invited. Papers of particular interest include, but are not limited to: *Uncertain reasoning formalisms, calculi and methodologies *Reasoning with probability, possibility, fuzzy logic, belief function, vagueness, granularity, rough sets, and probability logics *Multi-agent uncertain reasoning and decision making *Modeling and reasoning using imprecise and indeterminate information, such as: Choquet capacities, comparative orderings, convex sets of measures, and interval-valued probabilities *Exact, approximate and qualitative uncertain reasoning *Graphical models of uncertainty *Decision-theoretic planning and Markov decision process *Temporal reasoning and uncertainty *Argumentation *Belief change and Merging *Nonmonotonic and conditional Logics *Similarity-based reasoning *Construction of models from elicitation, data mining and knowledge discovery *Uncertain reasoning in information retrieval, filtering, fusion, diagnosis, prediction, situation assessment *Practical applications of uncertain reasoning Paper Submission and Publication --------------------------------- Submitted papers must be original, and not submitted concurrently to a journal or another conference. Full papers may be up to 6 pages, and poster papers up to 2 pages. Papers must be in AAAI format, and submitted as PDF through the EasyChair conference system. Instructions on the submission procedure will be available at the UR'2011 website: http://www.irit.fr/~Laurent.Perrussel/ur11/ The proceedings of FLAIRS will be published by the AAAI. An author of each accepted paper is required to register, attend, and present the paper at the UR track. As in previous years, our goal is to publish a selection of the best papers in a special issue of the International Journal of Approximate Reasoning. Important Dates --------------- Paper submission due: Nov. 22, 2010 Author Notification: Jan. 21, 2011 Camera Ready Copy Due: Feb. 21, 2011 Conference: May 18-20, 2011 Program Committee ----------------- [ Track Chairs ] C. Butz University of Regina, Canada L. Perrussel IRIT - Université de Toulouse, France [ PC Members ] Xiangdong An York U., Canada Christoph Beierle U. Hagen, Germany Salem Benferhat U. Artois, France Fabio Cuzzolin Oxford Brookes U., England Sylvie Doutre U. Toulouse, France Marek Druzdzel U. Pittsburgh, USA Love Ekenberg Stockholm U., Sweden Konstantinos Georgatos CUNY, USA Kevin Grant U. Lethbridge, Canada Souhila Kaci U. Artois, France Gabriele Kern-Isberner U. Dortmund, Germany Pawan Lingras Saint Mary’s U., Canada Weiru Liu Queen's U. Belfast, UK Tsai-Ching Lu HRL Laboratories, USA Anders Madsen HUGIN Expert, Denmark Christina Manfredotti U. Milano-Bicocca, Italy Malek Mouhoub U. Regina, Canada Eric Neufeld U. Saskatchewan, Canada Thomas Nielsen Aalborg U., Denmark Eugene Santos Dartmouth College, USA Paul Snow New Hampshire, USA Luis E. Sucar Inst. Astrophysics, Optics, Electronics, Mexico Choh-Man Teng Inst. For Human & Machine Cognition, USA Paolo Viappini U. Toronto, Canada Dan Wu U. Windsor, Canada Yang Xiang U. Guelph, Canada Changhe Yuan Mississippi State U., USA Travel Information ------------------ FLAIRS 2011 will be held in West Palm Beach, Florida. Additional information on the conference locale and travel planning can be found at "http://www.flairs-24.info/". From Thomas.Lukasiewicz at comlab.ox.ac.uk Wed Aug 25 17:38:54 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Wed, 25 Aug 2010 17:38:54 +0200 Subject: URSW'10: Call for Papers Message-ID: <4C75390E.8050007@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 CSIE2011CFP at cust.edu.cn Thu Aug 26 15:41:39 2010 From: CSIE2011CFP at cust.edu.cn (Mingfen Li) Date: Thu, 26 Aug 2010 21:41:39 +0800 Subject: Congress on Computer Science/Engineering, Changchun, China (EI Compendex/ISTP/IEEE Xplore) Message-ID: <482829007.32554@cust.edu.cn> Dear Author, 2011 2nd World Congress on Computer Science and Information Engineering (CSIE 2011) 17-19 June 2011， Changchun, China http://world-research-institute.org/conferences/CSIE/2011 Call for Papers & Exhibits CSIE 2011 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in computer science and information engineering. Topics of interests include, but are not limited to, data mining & data engineering, intelligent systems, software engineering, computer applications, communications & networking, computer hardware, VLSI, & embedded systems, multimedia & signal processing, computer control, robotics, and automation. All papers in the CSIE 2011 conference proceedings will be indexed in Ei Compendex and ISTP, as well as included in the IEEE Xplore (The previous conference CSIE 2009 has already been indexed in Ei Compendex and included in the IEEE Xplore). IEEE Catalog Number: CFP1160F-PRT. ISBN: 978-1-4244-8361-7. Changchun is the capital city of Jilin province, situated in the central section of China's northeast region. There are many natural attractions to entertain residents and visitors around Changchun. The grand Changbai Mountain renowned for its spectacular landscape, charming scenery, glamorous legends, as well as rich resources and products, has been praised as the first mountain in the northeast, outstanding as one of the China’s top-ten famous mountains. Other attractions in or around Changchun include Songhua lake (Songhuahu), Jingyue Lake (Jingyuetan), Changchun Movie Wonderland, Changchun Puppet Palace (Weihuanggong), Changchun World Sculpture Park, and Changchun World Landscape Park, etc. Important Dates: Paper Submission Deadline: 20 September 2010 Review Notification: 15 November 2010 Final Paper and Author Registration Deadline: 6 January 2011 Contact Information If you have any inquiries, please email us at CSIE2011 at cust.edu.cn Please feel free to forward to others. To unsubscribe, please reply with “unsubscribe event at tu-clausthal.de ” as your email subject. With kind regards, Mingfen Li CSIE 2011 Committee -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marek at cs.uky.edu Thu Aug 26 22:11:19 2010 From: marek at cs.uky.edu (Victor Marek) Date: Thu, 26 Aug 2010 16:11:19 -0400 Subject: 30 years of Nonmonotonic Logic, Call for Participation Message-ID: <20100826201119.GA24076@cs.uky.edu> Call for Participation MonMon at 30, Thirty Years of Nonmonotonic Reasoning, International Conference Lexington, KY, USA, October 22-25, 2010. Sponsored by Association for Logic Programming. The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic. To sum up the experience of 30 years of research we will meet in Lexington, KY in October 2010. The meeting will consist of two tracks: a. Plenary presentations describing the progress of the area during the past 30 years b. Technical contributed talks. The list of plenary speakers includes: V. Lifschitz, G. Gottlob, D. Dubois, M. Denecker, J. Minker, M. Gelfond, J. Remmel, E. Sandewall, D. Lehmann, T. Eiter, M. Kaminski, T. Schaub, I. Niemela, Ch. Baral, A. Bochman, D. Gabbay, J. Delgrande, T. Eiter, and D. Pearce. Visit the Conference site for information and registration. Victor W. Marek Department of Computer Science marek at cs.uky.edu University of Kentucky marek at cs.engr.uky.edu Lexington, KY 40506-0046 859-257-3496 (office) 859-257-3961 (Dept) http://www.cs.uky.edu/~marek 859-323-1971 (FAX) From pascal.hitzler at wright.edu Sun Aug 29 04:20:34 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Sat, 28 Aug 2010 22:20:34 -0400 Subject: please PhD funding available in "Semantic Web" at Kno.e.sis Center, WSU, Dayton, Ohio Message-ID: <4C79C3F2.5020709@wright.edu> The Knowledge Engineering Lab at the Kno.e.sis Center at Wright State University, Datyon, Ohio, U.S.A., has several positions available for prospective PhD students. The lab focuses on knowledge representation and reasoning with ontologies for the Semantic Web. Kno.e.sis, which is the Ohio Center of Excellence in Knowledge-enabled Computing, is one of the leading places for Semantic Web research in the United States. A Bachelor or Master degree is required, as well as very good English language skills. Applicants should either have excellent programming skills, or should have excellent background in theory and foundations, preferrably logic in computer science (or be able to acquire this quickly). There is no application deadline - applications will be processed as they come in. Applicants shall send a CV, including grades, to Pascal Hitzler, pascal.hitzler at wright.edu. Kno.e.sis Center: http://www.knoesis.org/ Knowledge Engineering Lab: http://www.pascal-hitzler.de/knoelab.html Homepage of Pascal Hitzler: http://www.pascal-hitzler.de/ Please address any questions regarding the positions to Pascal Hitzler, pascal.hitzler at wright.edu -- 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 wjamroga at in.tu-clausthal.de Mon Aug 30 23:56:50 2010 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Mon, 30 Aug 2010 23:56:50 +0200 Subject: 2nd CfP: Special issue of JANCL on Logical Aspects of MAS Message-ID: <4C7C2922.8010104@in.tu-clausthal.de> [With apologies for multiple copies] SPECIAL ISSUE OF THE JOURNAL OF APPLIED NON-CLASSICAL LOGICS ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS CALL FOR SUBMISSIONS The Journal of Applied Non-classical Logics (JANCL) invites high quality submissions of original research or survey papers to the special issue on Logical Aspects of Multi-Agent Systems, to be published in early 2011. TOPICS The following is a non-exclusive list of specific topics in the focus of the special issue: - Logical modeling of MAS - Logical systems for specification, analysis, and reasoning about MAS - Deductive systems and decision procedures for logics for MAS - Algorithmic methods for formal verification of MAS - Applications of logics in MAS. SUBMISSION INSTRUCTIONS The papers should be typeset in LATEX, using the JANCL style, obtainable from http://www.irit.fr/JANCL/. By default, each submission is limited to 25 pages. Should you need more space, please contact the guest editors of the special issue. The submissions must be sent electronically, as PDF files, to lamas at uni.lu . They should contain affiliations and contact details of the authors, and an abstract of up to 1 page. All submissions will be subjected to a standard refereeing procedure for JANCL. GUEST EDITORS OF THE SPECIAL ISSUE Valentin Goranko, Technical University of Denmark Wojciech Jamroga, University of Luxembourg DEADLINES Paper submission: September 15, 2010 Notification: November 30, 2010 Final version: January 15, 2011 ENQUIRIES For any questions regarding the special issue please contact the guest editors by sending email to lamas at uni.lu . -- Dr. habil. Wojciech Jamroga Faculty of Science, Technology and Communication University of Luxembourg http://www2.in.tu-clausthal.de/~wjamroga/ From publicity at rv2010.org Tue Aug 31 19:09:22 2010 From: publicity at rv2010.org (RV 2010) Date: Tue, 31 Aug 2010 12:09:22 -0500 Subject: Call for Participation Message-ID: <201008311709.o7VH8Nv1001623@fsl3.cs.uiuc.edu> CALL FOR PARTICIPATION RV 2010 : 1st International Conference on Runtime Verification November 1-4, 2010, St. Julians, Malta http://www.rv2010.org ** Early registration deadline: September 30, 2010 ** The 2010 Runtime Verication conference is a forum for researchers and industrial practitioners for presenting theories and tools for monitoring and analyzing system (software and hardware) executions, as well as forum for presenting applications of such tools to practical problems. The field of runtime verification is often referred to under different other names, including dynamic analysis, runtime analysis, and runtime monitoring, to mention a few. Runtime verification can be applied during the development of a system for the purpose of program understanding, debugging, and testing, or it can be applied as part of a running system, for example for security or safety monitoring, and can furthermore be part of a fault protection framework. RV 2010 is conducted over 4 days. The first day offers 6 tutorials in parallel sessions. The remaining three days offer 6 invited talks, and presentation of 27 regular papers, short papers and tool demonstrations. INVITED SPEAKERS: - Mike Barnett Principal RSDE, Microsoft Research, Redmond, WA, USA "Code Contracts for .NET: Runtime Verification and So Much More" - Rance Cleaveland Professor, Department of Computer Science, University of Maryland, MD, USA Co-founder of Reactive Systems, Inc. "Automatic Requirement Extraction from Test Cases" - Matthew Dwyer Professor, Department of Computer Science, University of Nebraska, NE, USA "Optimizing Runtime Monitors : Combining Static and Dynamic Techniques" - Martin Odersky Professor, Programming Methods Group, EPFL, Lausanne, Switzerland "Contracts in Scala" - Wim De Pauw Researcher, IBM T.J. Watson Research Center, New York, USA "Visualizing Complex IT Systems" - R. Sekar Professor, Department of Computer Science Director, Center for Cyber-security, Stony Brook University, NY, USA "Runtime Analysis and Instrumentation for Securing Software" TUTORIALS: - Run-time Verification of Networked Software by: Cyrille Valentin Artho - Clara: Partially Evaluating Runtime Monitors at Compile Time by: Eric Bodden and Patrick Lam - You should Better Enforce than Verify by: Ylies Falcone - Runtime Verification for the Web by: Sylvain Halle and Roger Villemaire - Statistical Model Checking: Present and Future by: Axel Legay - Runtime Verification with the RV System by: Patrick Meredith and Grigore Rosu. VENUE: The conference takes place in St. Julians on Malta, and is hosted by the University of Malta. Malta lies at almost the exact geographical heart of the Mediterranean Sea. With Sicily some 95 kms to the North, Tripoli 350 kms to the South and Tunis 320 kms to the West, Malta is virtually at the crossroads between continents. Malta's pre-history dates back to 5000 B.C. The official languages of Malta are Maltese and English, so getting by with English is not a problem. Italian is also widely spoken. The accommodation and conference venue is the 5 star Le Meridien Hotel, located on the ground of a 19th century Villa in St Julians, overlooking Balluta Bay. The climate is typically Mediterranean. The average temperature in November is 20C (70F) during the day and around 14C (60F) at night. REGISTRATION: The registration is open at: http://www.um.edu.mt/events/rv2010/registration - Early registration fee, before or on 30 september: 380 Euros - Late registration fee, after 30 September: 450 Euros STUDENTS: RV 2010 is supporting a limited number of registrations for students at 190 Euros. Students can apply by sending an email to Gordon Pace (gordon.pace at um.edu.mt) with evidence of student status. ORGANIZATION: General Chairs: - Howard Barringer, University of Manchester, UK - Klaus Havelund, NASA/Jet Propulsion Laboratory, USA - Insup Lee, University of Pennsylvania, USA Program Chairs: - Grigore Rosu, University of Illinois, Urbana-Champaign, USA - Oleg Sokolsky, University of Pennsylvania, USA Local Organization Chair: - Gordon Pace, University of Malta, Malta Tutorials Chair: - Bernd Finkbeiner, Saarland University, Germany Tool Demonstrations Chair: - Nikolai Tillmann, Microsoft Research, USA Publicity Chair: - Ylies Falcone, INRIA Rennes, France SPONSORS: RV 2010 is sponsored by: - The International Federation for Computational Logic - The ARTIST Network of Excellence on Embedded Systems Design - Microsoft Research - University of Illinois We look forward to welcoming you at the 1st International Conference on Runtime Verification.