From organization at arcoe.org Sat May 1 03:27:28 2010 From: organization at arcoe.org (ARCOE) Date: Sat, 1 May 2010 09:27:28 +0800 Subject: Final CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10) collocated with ECAI-2010 Message-ID: ======================= CALL FOR PARTICIPATION ARCOE-10 at ECAI-10 August 16-17, 2010 Lisbon, Portugal ======================= The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10) http://www.arcoe.org/2010/ held on August 16-17, 2010 at the European Conference on Artificial Intelligence (ECAI-10) http://ecai2010.appia.pt/ ARCOE-10 Highlights: We are pleased to announce that Prof. Tommie Meyer and Prof. Fausto Giunchiglia have agreed to give invited talks at ARCOE-10. -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-10 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors. Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. ARCOE-10 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will select and present works about Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between Non-Monotonic Reasoning and ontology evolution. ARCOE-10 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information Integration - The role of context and ontology in Distributed Reasoning and Knowledge Management - The role of context and ontology in Semantic Web - Multi-Agent Systems - Data Grid and Grid Computing - Pervasive Computing and Ambient Intelligence - Peer-to-peer Information Systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging, Update and Merging - Inconsistency Handling, Belief Revision and Theory Change for DL ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Problem Solving - Agent Communication - Persistent Agents in Changing Environment - Multimedia on the Web - IT and Automated Reasoning -- Attendance -- Authors will be selected on significance of their submission and will be preferred to simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ecai2010.appia.pt/ for registration procedure and fees. -- Submission Requirements and Dates -- ARCOE-10 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of ECAI-10. Please check http://ecai2010.appia.pt/ for the style files. Submissions should be no longer than 2 pages and in PDF format. The possibility is being considered of publishing extended versions of the best works from the workshop in a special issue of a peer-reviewed journal. Abstract submission: May 7, 2010 Notification: June 7, 2010 Camera ready: June 21, 2010 Early registration: T.B.A. Late registration: T.B.A. Workshop: August 16-17, 2010 -- Submit to -- Please submit to https://www.easychair.org/login.cgi?conf=arcoe10 -- Workshop Co-Chairs -- Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax No.: +44-131-650-6899 Jos Lehmann (primary contact) School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax No.: +44-131-650-6899 Guilin Qi School of Computer Science and Engineering, Southeast University, 211189, Jiangning District, Nanjing, China. Fax: +86-25-52090880 Ivan José Varzinczak Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-25-94 -- Program Committee -- - Grigoris Antoniou (FORTH, Greece) - Franz Baader (TU Dresden, Germany) - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France) - Giorgos Flouris (FORTH, Greece) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Cuil Inc., USA) - Jeff Pan (University of Aberdeen, UK) - Dimitris Plexousakis FORTH, Greece) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Renata Wassermann (Universidade de Sao Paulo, Brazil) From jleite at di.fct.unl.pt Mon May 3 00:31:41 2010 From: jleite at di.fct.unl.pt (Joao Leite) Date: Sun, 2 May 2010 23:31:41 +0100 Subject: CLIMA XI - Submission Deadline Extended Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Submission Deadline Extension CLIMA XI 11th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Strategic Reasoning. *new* Abstract Submission deadline: May 7th. *new* Paper Submission deadline: May 11th. http://centria.di.fct.unl.pt/events/climaXI/ Lisbon, Portugal, August 16-17, 2010. Affiliated with ECAI'10. Proceedings: LNCS/LNAI volume (available at the workshop). AMAI Special Issue: Selected extended papers will be published in a Special Issue of Annals of Mathematics and Artificial Intelligence. ++++++++++++++++++++++++++++++++++++++++++++++++++++ From wjamroga at in.tu-clausthal.de Mon May 3 19:05:12 2010 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Mon, 03 May 2010 19:05:12 +0200 Subject: Final CfP: Logics for Games and Strategic Reasoning @ CLIMA XI Message-ID: <4BDF0248.2040005@in.tu-clausthal.de> [Apologies for multiple postings] Note: the submission deadline has been extended to ***May 11***. However, authors are still required to register the titles and abstracts of their papers until May 7. ************************************************************************ Special session on **Logics for Games and Strategic Reasoning** at CLIMA XI (Computational Logic in Multi-Agent Systems) Lisbon, Portugal, August 16-17, 2010 (colocated with ECAI'10) http://centria.di.fct.unl.pt/events/climaXI/sessions.html Final Call for Papers ************************************************************************ Submission deadlines: abstracts until 7/05/10, papers until 11/05/10. Proceedings: LNCS/LNAI volume (available at the workshop). Postproceedings: extended versions of selected papers will be published in a special issue of Annals of Mathematics and Artificial Intelligence. ************************************************************************ INTRODUCTION Strategic reasoning occurs in many multi-agent systems. This is especially evident in game-theoretical and decision-theoretical models of MAS, but also in more informal settings using the game metaphor (like computer games or social network services). Mathematical logic can contribute to this view in many ways by providing specifications, models, and/or algorithms for game-like scenarios. We invite papers that address how logic can contribute to our understanding, modeling and analysis of games, but also ones that investigate how the metaphor of games and strategies can help in constructing and using logical formalisms. The list of subjects includes (but is not limited to) the following topics: - Logics for reasoning about games and strategies - Modal logics of strategic ability - Logical foundations of game and decision theory - Logical approaches to rationality and bounded rationality - Solving games and verification of strategies by model checking - Logics for mechanism design - Game semantics for logics - Games in verification of logical specifications SUBMISSION We encourage submission of high quality, original papers which have not been accepted for publication nor are currently under review for another journal or conference. Submissions should not exceed 16 pages in the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html . Papers should be submitted electronically via EasyChair: http://www.easychair.org/conferences/?conf=clima2010 . PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. AMAI Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to a special issue of Annals of Mathematics and Artificial Intelligence. IMPORTANT DATES Abstract submission: May 7, 2010 Paper submission: May 11, 2010 (extended!) Author notification: June 4, 2010 Camera-ready deadline: June 16, 2010 Workshop: August 16-17, 2010 ORGANIZATION AND CONTACT The special session is organized by Wojtek Jamroga, University of Luxembourg. In case of questions, please do not hesitate to contact us at wojtek.jamroga at uni.lu . General questions about CLIMA XI should be sent to clima2010 at easychair.org . From Thomas.Lukasiewicz at comlab.ox.ac.uk Tue May 4 02:42:32 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Tue, 04 May 2010 02:42:32 +0200 Subject: Web Reasoning and Rule Systems 2010: Call for Papers Message-ID: <4BDF6D78.3080301@comlab.ox.ac.uk> CALL FOR PAPERS 4th International 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 Italian Workshop on Semantic Web Applications and Perspectives (SWAP) 2010. 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. Suggested topics include the following (but are not limited to): * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the WWW Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers PUBLICATION The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series and will be available at the conference. After the conference, there will be a special issue of the (new IOS Press) journal "Semantic Web - Interoperability, Usability, Applicability" with selected papers from the conference (see http://www.semantic-web-journal.net). SUBMISSION OF PAPERS Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2010). The length should not exceed 15 pages for full papers, 9 pages for short papers, 4 pages for posters, and 6 pages for system descriptions (for system demos at the conference). The stated lengths include title, abstract, and references. Short papers, posters, and system descriptions should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. Original research and application papers are welcome; submissions will especially be judged for originality and scientific quality. All accepted papers, posters, and system descriptions will be included in the proceedings. IMPORTANT DATES Abstract submission deadline: May 15, 2010 Paper/poster/demo submission deadline: May 22, 2010 Paper/poster/demo accept/reject decisions: June 24, 2010 Camera-ready due: July 15, 2010 Last day for early registration fee: July 15, 2010 CONFIRMED INVITED SPEAKERS Georg Gottlob (Oxford University, UK) 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) PROGRAM COMMITTEE Grigoris Antoniou (University of Crete, Greece) Marcelo Arenas (PUC Chile, Chile) Jie Bao (Rensselaer Polytechnic Institute, USA) Chitta Baral (Arizona State University, USA) Leopoldo Bertossi (Carleton University, Canada) Andrea Calì (Oxford University, UK) Vinay Chaudri (Stanford Research Institute, USA) Kendall Clark (Clark & Parsia, USA) Claudia d'Amato (University of Bari, Italy) Carlos Damasio (Universidade Nova de Lisboa, Portugal) Wlodek Drabent (IPI PAN Warszawa, Poland) Sergio Flesca (University of Calabria, Italy) Christine Golbreich (University of Versailles Saint-Quentin, France) Claudio Gutierrez (University of Chile, Chile) Stijn Heymans (TU Vienna, Austria) Rinke Hoekstra (VU Amsterdam, The Netherlands) Giovambattista Ianni (University of Calabria, Italy) Krzysztof Janowicz (Pennsylvania State University, USA) Natalya G. Keberle (Zaporozhye National University, Ukraine) Domenico Lembo (University of Rome "La Sapienza", Italy) Francesca A. Lisi (University of Bari, Italy) Gergely Lukácsy (DERI Galway, Ireland) Jan Maluszynski (University of Linköping, Sweden) Wolfgang May (University of Göttingen, Germany) Ralf Möller (TU Hamburg, Germany) Boris Motik (Oxford University, UK) Wolfgang Nejdl (LS3 and University of Hannover, Germany) Matthias Nickles (University of Bath, UK) Andrea Pugliese (University of Calabria, Italy) Guilin Qi (Southeast University, China) Sebastian Rudolph (University of Karlsruhe, Germany) Alan Ruttenberg (ScientificCommons, Switzerland) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Umberto Straccia (ISTI-CNR Pisa, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) Terrance Swift (SUNY Stony Brook, USA) Sergio Tessaris (Free University of Bozen, Italy) Dirk Vermeir (University of Brussels, Belgium) Zhe Wu (Oracle, USA) FURTHER INFORMATION For further information refer to the RR 2010 web site at http://www.rr-conference.org/RR2010 From bechir.zalila at enis.rnu.tn Tue May 4 09:14:13 2010 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Tue, 4 May 2010 08:14:13 +0100 (CET) Subject: NOTERE'2010: Call for Participation Message-ID: <20100504071413.4AF1F4068954@bechirzalila.dyndns.org> NOTERE’2010: CALL FOR PARTICIPATION The 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE’2010) 31 May - 2 June 2010, Tozeur, Tunisia http://notere2010.redcad.org Technically Co-sponsored by IEEE-Tunisia Computer Society Chapter, and ACM Tunisia Chapter. The technologies for information distribution are still evolving changing. The International Conference on new distributed systems technologies (NOTERE 2010: NOuvelles TEchnologies de la REpartition) is a bilingual (French/English) forum for engineers and scientists in academia, industry and government to present the recent advances and latest research results in the design, implementation, deployment, and evaluation of distributed system platforms, applications and architectures. NOTERE 2010 will include a high quality scientific program, invited speakers, tools and projects demonstrations, and workshops. After the nine past conferences held successively in Pau, Montreal, Paris, Saadia, Gatineau, Toulouse, Marrakech, Lyon, Montreal, the tenth edition of NOTERE will be Held in Tozeur in Tunisia. NOTERE’2010 will be held at “El-Mouradi” Hotel. It is three kilometres from Tozeur airport, close to the town centre and facing the enormous palm oasis. (http://notere2010.redcad.org/eng/accommodation.html) ----------------------------- Technical Program Highlights ----------------------------- Submitted papers have been rigorously selected by an international program committee composed of 70 members and 54 external reviewers, via a rigorous review process, resulting in a competitive acceptance rate. - 31 high quality full technical papers and 3 short papers (http://notere2010.redcad.org/eng/program.html) - 3 Invited Keynote Speakers (http://notere2010.redcad.org/eng/KeynotesSpeakers.htm) - Sandeep K. Shukla (Virginia Polytechnic and State University, USA) - Michel Raynal (IRISA, Rennes 1 University, France) - Nicolas Guelfi (LASSY - University of Luxembourg) - 3 Workshops (http://notere2010.redcad.org/eng/workshop.html) - DANCE: International workshop on Distributed Architecture modeling for Novel Component Embedded systems (http://www.irit.fr/DANCE2010) - PROMASC: Provisioning and Management of Service Oriented Architecture and Cloud Computing (http://www.redcad.org/members/benhalima/workshop/) - Web2Touch 2010 – living experience through web (http://www.cti.gov.br/web2touch2010/) ------------- Registration ------------- Information about registration and accommodation can be found on the conference web site (http://notere2010.redcad.org/eng/registration.html) -------------------- Contact Information -------------------- Please send inquiries to: ahmed.hadjkacem at fsegs.rnu.tn From geoff at cs.miami.edu Wed May 5 11:34:18 2010 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 5 May 2010 05:34:18 -0400 (EDT) Subject: LPAR-17 in Indonesia - CFP and Workshops Message-ID: <20100505093418.D844511FBDE@mcclellan.cs.miami.edu> ============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================ Yogyakarta, Indonesia - October 10th-15th, 2010 http://www.computational-logic.org/lpar-17/Home.html The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 17th LPAR will be held in Yogyakarta, Indonesia. Conference Chair: Steffen Hoelldobler Programme Chairs: Chris Fermueller, Andrei Voronkov Submissions of two kinds are welcome: * Regular papers that describe solid new research results. * Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. The submission deadline is 8th June. =============================================================================== LPAR-17 WORKSHOPS October 10th, 2010 ============================================================ APS 5 - 5th International Workshop on Analytic Proof Systems ============================================================ http://www.logic.at/staff/chrisf/ws/LPAR-AS-5.html Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop is primarily intended to enhance awareness for its topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues. The submission deadline is 10th September. Organizers: Matthias Baaz, Christian Fermueller ========================================================================== IWIL 2010 - The 8th International Workshop on the Implementation of Logics ========================================================================== http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. The submission deadline is 9th August. Organizers: Evgenia Ternovska, Stephan Schulz, Geoff Sutcliffe =============================================================================== From ch.lange at jacobs-university.de Wed May 5 17:30:31 2010 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Wed, 5 May 2010 17:30:31 +0200 Subject: Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9) Message-ID: <201005051730.32396.ch.lange@jacobs-university.de> CONTENT MATH TRAINING CAMP and DOCTORAL PROGRAMME at Conferences on Intelligent Computer Mathematics (CICM 2010) CNAM, Paris, France 6th-9th July http://cicm2010.cnam.fr/cmtc CALL FOR PROPOSALS/PARTICIPATION Deadline: 1st June Some Student Grants Available! CONTENT MATH TRAINING CAMP (6th-9th July): This is a training school comprising tutorial sessions and practical labs with an integrated Doctoral Programme (see below). Its aim is to disseminate the latest developments and emerging trends in intelligent computational mathematics as well as to familiarise, in particular young researchers, with the leading state of the art technologies for authoring, presenting, conserving and accessing mathematical knowledge and their applications. Preliminary list of topics: http://cicm2010.cnam.fr/cmtc Please let us know what you are particularly interested in by June 1 (mail to Christoph Lange ). Deadline for your own presentation proposals: 1st June Acceptance notification: 8th June DOCTORAL PROGRAMME (7th-9th July): PhD students at any level, working on a research topic related to the CICM'10 conferences may apply for participation in the Doctoral Programme. Application documents shall be sent to Volker Sorge and they should consist of: * A brief (max. 1 page) summary of the PhD topic * A short letter of recommendation from the supervisor * A statement whether the student applies for a grant or not (Some financial support for travel and attendance is available) Application deadline: 1st June Acceptance notification: 8th June The Doctoral Programme will enable graduate students to discuss and present their research and ideas, and gain feedback from respected researchers within the areas of Mathematics, Computer Science and Artificial Intelligence. It is integrated with the Content Math Training Camp (see above). The Doctoral Programme will also promote contacts between participating students and provide information on careers opportunities in academia, research and industry. Moreover, tutorials from experienced researchers are planned as well as a social programme including some sports event. Details: http://cicm2010.cnam.fr/cmtc/doctoral.html Board of Senior Scientists: * Serge Autexier (DFKI Bremen, Germany),Chair * John Campbell (University College London, UK) * James H. Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) Content Math Training Camp Organisers: * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 From marek at cs.uky.edu Wed May 5 19:01:04 2010 From: marek at cs.uky.edu (Victor Marek) Date: Wed, 5 May 2010 13:01:04 -0400 Subject: Sent wrong version Message-ID: <20100505170104.GA10283@cs.uky.edu> Colleagues, I sent a wrong version of the announcement. Please send this one. Thanks, VWM =================== SECOND CALL FOR PAPERS 30 Years of Nonmonotonic Logic - International Conference Lexington, KY, USA October 22 (Friday) - October 25 (Monday), 2010. http://sites.google.com/site/nonmonat30/ 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. This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications (http://www.collegepublications.co.uk/). A special issue of the Journal of Artificial Intelligence Research (JAIR; http://www.jair.org/) will provide a venue for technical presentations (a detailed CFP for the special issue will be distributed at a later time; a rigorous peer review process in-line with JAIR quality standards will be followed). INVITED TALKS The following researchers will deliver invited presentations at the meeting: Chitta Baral Alexander Bochman James Delgrande Marc Denecker Thomas Eiter Dov Gabbay Michael Gelfond Georg Gottlob Michael Kaminski Daniel Lehmann Vladimir Lifschitz Fangzhen Lin Jack Minker Ilkka Niemela David Pearce Jeffrey Remmel Eric Sandewall Torsten Schaub ORIGINAL TECHNICAL PAPERS We invite papers in all areas of nonmonotonic reasoning, and especially encourage submissions underlying the role of nonmonotonic reasoning in artificial intelligence and knowledge representation. PROGRAM COMMITTEE Gerhard Brewka (co-Chair) Eyal Amir Salem Benferhat Richard Booth Pedro Cabalar Yannis Dimopoulos Wolfgang Faber Norman Foo Martin Gebser Tony Hunter Tomi Janhunen Victor Marek (co-Chair) Tommie Meyer Maurice Pagnucco Henry Prakken Chiaki Sakama Ken Satoh Evgenia Ternovska Michael Thielscher Mirek Truszczynski (co-Chair) Joost Vennekens Stefan Woltran Mingyi Zhang ORGANIZATION G. Brewka (brewka at informatik.uni-leipzig.de) V. Marek (marek at cs.uky.edu) M. Truszczynski (mirek at cs.uky.edu) IMPORTANT DATES (for the original technical contributions track) Paper submission: July 11 (Monday) Acceptance Decision: September 6 (Monday) Final Version (for on-line proceedings): October 3 (Monday) Paper Submission will be handled by EasyChair (the meeting is called NonMon at 30 in EasyChair) Conference page: http://sites.google.com/site/nonmonat30/ ============ =================== 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 Thomas.Agotnes at infomedia.uib.no Thu May 6 10:32:36 2010 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Thu, 6 May 2010 10:32:36 +0200 Subject: CFP: STAIRS @ ECAI (Starting AI Research Symp) *Extended deadline* Message-ID: ###################################################################### ## STAIRS 2010 Call for Papers STAIRS 2010 ###################################################################### The Fifth "Starting Artificial Intelligence Research" Symposium Co-located with ECAI 2010 16-20 August 2010 ## Lisbon, Portugal http://ecai2010.appia.pt/stairs *NEW* Deadline for submission of papers: Thursday, 20 May 2010 ###################################################################### ## INTRODUCTION ###################################################################### STAIRS 2010 is the fifth European Starting AI Researcher Symposium. STAIRS is an international meeting intended to support AI researchers, from all countries, at the beginning of their career: PhD students or people holding a PhD for less than one year. STAIRS 2010 will be co-located with ECAI 2010, the European Conference on AI, in Lisbon, Portugal, over 16-20 August 2010. STAIRS offers doctoral students and young post-doctoral AI fellows: * a first experience on submitting and presenting a paper in an international forum with a broad scope and a peer review process * an opportunity to gather knowledge and exchange ideas related to their research problems and approaches together with information on European research careers and mobility. Co-location with both ECAI and PAIS aims at creating a unique and valuable opportunity for young researchers to gain experience at presenting their work in a supportive scientific environment, and obtain constructive feedback on the technical content of the work as well as how to present the work and other related topics. ###################################################################### ## TOPICS OF INTEREST ###################################################################### Papers are welcome on all aspects of contemporary AI, including, but not restricted to: * Agents & Multiagent Systems * Case-Based Reasoning * Cognitive Modeling & Interaction * Constraints & Search * Knowledge Representation & Reasoning * Machine Learning * Model-Based Reasoning * Natural Language Processing * Perception & Sensing * Planning & Scheduling * Robotics * Uncertainty in AI * Applications of AI An extensive list of subtopics is available at the conference website. ###################################################################### ## IMPORTANT DATES ###################################################################### Paper submission deadline: Thursday, 20 May 2010 Notification of acceptance/rejection: Tuesday, 11 June 2010 Conference: 16-20 August 2010 ###################################################################### ## PAPER FORMATTING & SUBMISSION INFORMATION ###################################################################### Papers must not exceed SIX (6) pages in camera-ready format. Over-length submissions will be rejected without review. Papers for STAIRS should be submitted using the ECAI formatting style; details of the style are available at: http://www.csc.liv.ac.uk/~mjw/ecai2010.zip This file unpacks to a directory "ecai2010", and contains LaTeX and other style files. The file "ecai2010.tex" is an example paper in LaTeX format using the appropriate styles, and can be used as a template for submissions. Each accepted paper will be allocated SIX (6) pages in the proceedings. Multiple submissions with ECAI and PAIS is allowed if this is clearly indicated on a front page preceding the paper itself. In borderline cases single submissions will be preferred over multiple submissions. In case of multiple acceptances the author(s) are strictly required to withdraw their paper from all but one of the events. The proceedings of STAIRS, together with those of its associated events, ECAI and PAIS, will be published and distributed by IOS Press as a book and as a CD-ROM. The authors will be responsible for producing camera-ready copies of papers, conforming to the ECAI 2010 formatting guidelines for inclusion in the proceedings. At least one author of each accepted paper or poster is required to attend the conference to present the contribution. Submission and review of papers for STAIRS 2010 will be managed via the EasyChair system: http://www.easychair.org/conferences/?conf=stairs2010 All submissions will be subject to LIGHT TOUCH review, with the goal of providing constructive feedback to authors. Depending on the quality of submissions, a subset of accepted papers will be invited to submit a revised version to a journal special issue. IMPORTANT NOTE: At least one of the authors must be a PhD student, or a person holding a PhD for less than one year. Papers not satisfying this criterion will be rejected. ###################################################################### ## ORGANISATION ###################################################################### STAIRS General Chair: Thomas Agotnes (Thomas.Agotnes at infomedia.uib.no) University of Bergen, Norway ###################################################################### From serge.autexier at dfki.de Thu May 6 15:52:03 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu, 6 May 2010 15:52:03 +0200 (CEST) Subject: AISC'10: Call for Short Presentations Message-ID: <201005061352.o46Dq3lE018504@gemini.informatik.uni-bremen.de> [We apologise if you receive multiple copies] CALL FOR PRESENTATIONS AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 You are invited to submit a title and a short abstract proposing a presentation (short talk or poster) on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for presenting both mature work and work in progress are welcome. For more information on the topics of interest please see: http://cicm2010.cnam.fr/aisc/ Please submit title and abstract (up to 2 pages) to aisc2010_0 at easychair.org and indicate your preferred presentation style (short talk or poster). Deadlines ========= Submission of title and abstracts: 28 May 2010 Notification of acceptance: 4 June 2010 The accepted work should be presented at the conference in a short talk of 15 minutes or as poster preceded by a 5 min teaser talk. The abstracts of the accepted presentations will be collected in informal proceedings and made available at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference. From pascal.hitzler at wright.edu Thu May 6 18:35:06 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Thu, 06 May 2010 12:35:06 -0400 Subject: Semantic Web Journal EB position papers for review Message-ID: <4BE2EFBA.1020202@wright.edu> The Semantic Web journal launches with position papers by the Editorial Board members, to lay out visions for future research in the area. The position paper submissions are now up for public review under http://www.semantic-web-journal.net/category/tags/underreview . If you like to contribute to this effort, you can use the "Add new comment" button below each abstract to add a public comment or review. [Note that comments will only be visible after a screening by the editor (to avoid spamming), and that public reviews must not be anonymous.] Best Regards, Pascal. -- 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 lange.martin at gmail.com Thu May 6 21:51:34 2010 From: lange.martin at gmail.com (Martin Lange) Date: Thu, 06 May 2010 21:51:34 +0200 Subject: Workshop on Comparing Logical Decision Methods @ FLoC 2010, Edinburgh - Call for participation Message-ID: <4BE31DC6.6080206@gmail.com> --------------------------------------------------------------- **************** CALL FOR PARTICIPATION **************** CLODEM 2010 FLoC'10 Workshop on Comparing Logical Decision Methods Edinburgh, July 15th, 2010 affiliated with LICS and IJCAR TOPIC AND OBJECTIVE: Methods for deciding satisfiability of formulae are of vital importance for both the theoretical relevance and practical impact of a logic. Different logics require different decision procedures. Nevertheless, certain methodologies like terminating semantic tableaux, automata, games, SAT/SMT methods, resolution, reductions, etc. have proved to be successful in providing decidability results for several, even quite different logics. Perception of some methodology being better than others has grown within certain communities, for example regarding automata-based techniques in automatic verification or tableau-based techniques in knowledge representation. Such perception, however, is often not based on systematic comparative analysis. Sometimes, different methodologies also turn out to do or even be the same in certain cases. Yet, few formal technical results to that effect are known, and the scientific discussions on the pros and cons, and similarities and differences between different methodologies have been rather sporadic so far. The purpose of this workshop is to provide an expert forum for such discussion, to provoke and foster discussion between communities, and to stimulate further research on that topic. It is a generalization and follow-up of the AutoTab workshop which was held with TABLEAUX'09 last year. WORKSHOP PROGRAM COMMITTEE: * Stephane Demri, CNRS Cachan, F * Valentin Goranko (co-chair), TU of Denmark, DK * Rajeev Gore, ANU Canberra, AUS * Felix Klaedtke, ETH Zurich, CH * Daniel Kröning, Oxford University, UK * Martin Lange (co-chair), Univ. of Kassel, D * Christof Löding, RWTH Aachen, D * Carsten Lutz, Univ. of Bremen, D * Renate Schmidt, Univ. of Liverpool, UK * Colin Stirling, Univ. of Edinburgh, UK INVITED TALKS: * Moshe Vardi, Rice University, TX, US: Symbolic Techniques in Propositional Satisfiability Solving * Jerome Leroux, LaBRI, Bordeaux, FR: Presburger Automata * Yevgeny Kazakov, Oxford, UK: Consequence-Based Reasoning for Description Logic Ontologies CONTRIBUTED TALKS AND WORKSHOP PROGRAMME: See http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010%20Programme.html REGISTRATION: Through the FLoC'2010 registration site on http://www.floc-conference.org/registration.html EARLY WORKSHOP FEE, valid until 17 May: regular fee 70 GBP, student fee 42 GBP. For further details see http://www.floc-conference.org/registration.html FURTHER INFORMATION: - Workshop dinner: We intend to organize a dinner for the participants of the workshop on July 15. At this stage the budget of the workshop is unknown, so we cannot make any commitment for covering, partly or in full, the cost of the dinner. - Workshop website: http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010.html - FLoC workshop website: http://www.floc-conference.org/CLoDeM-home.html - FLoC'10 website: http://www.floc-conference.org/ - LICS'10 website: http://www2.informatik.hu-berlin.de/lics/lics10/index.html - IJCAR'10 website: http://www.floc-conference.org/IJCAR-home.html ENQUIRIES to the organizers: - Valentin Goranko, http://www2.imm.dtu.dk/~vfgo - Martin Lange, http://www.tcs.ifi.lmu.de/~mlange From richard.booth at uni.lu Fri May 7 02:40:06 2010 From: richard.booth at uni.lu (Richard Booth) Date: Fri, 7 May 2010 02:40:06 +0200 Subject: Second Call for Papers - BNAIC 2010 (Benelux Conference on AI) Message-ID: Apologies for multiple postings --------------- SECOND CALL FOR PAPERS: BNAIC 2010 BNAIC 2010 The 22nd Benelux Conference on Artificial Intelligence Luxembourg, October 25-26 2010 http://bnaic2010.uni.lu Organised by: Computer Science and Communication Research Unit (CSC), University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg Centre de Recherche Public Henri Tudor Introduction BNAIC is an international scientific conference for research in Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited speakers, research and industry presentations and project demonstrations. Topics Authors are invited to submit papers on all aspects of artificial intelligence. Possible topics of submissions include, but are not limited to: * AI for Ambient Intelligence * AI for Games & Entertainment * Embodied Artificial Intelligence * Intelligent Agents & Multi-Agent Systems * Knowledge Representation * Ontologies * Semantic Web-Techniques & Technologies * Knowledge Management * Knowledge-based Systems * Logic in AI * Logic Programming * Natural Language Processing * Speech & Image Processing & Understanding * Cognitive Modelling * Reinforcement Learning * Planning & Scheduling * Knowledge Discovery and Data Mining * Machine Learning * Classification * Clustering * Pattern Discovery * Process Mining * Visualization * Case-Based Reasoning * Constraint Programming * Evolutionary Algorithms * Neural Networks * Verification & Validation * Search & Retrieval * Personalization & Adaptation * Recommender systems * Hybrid Intelligent Systems * AI in law, music, art, education, tutoring, medicine, bioinformatics, software, e-commerce, logistics, robotics, and other business & industry applications. Important Dates * Paper submissions: June 4, 2010 * Author notification: August 8, 2010 * Camera-ready papers: September 15, 2010 * Author registration: September 15, 2010 * Early registration: September 25, 2010 * Conference dates: October 25-26, 2010 Submission details Researchers are invited to submit unpublished original research, but high-quality research results possibly already published in international conferences or journals are also welcome. Three types of submissions are invited: Type A: REGULAR PAPERS Papers presenting new original work. Submitted papers should not exceed a length of 8 pages. These papers will be reviewed on overall quality and relevance. A-Papers can be accepted for either oral or poster presentation. All accepted papers will be fully published in the proceedings. Type B: COMPRESSED CONTRIBUTIONS Papers that have been accepted after June 1st, 2009 for AI-related refereed conferences or journals can be resubmitted and will be accepted as compressed contributions. Authors are invited to submit the officially published version (without page restriction) together with a one or two-page abstract. B-Papers will be accepted for either oral or poster presentation. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Type C: DEMONSTRATIONS & APPLICATIONS Proposals for demonstrations will be evaluated based on submitted demonstration summaries stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (in English). Papers and demonstration summaries should be submitted electronically via Easychair (http://www.easychair.org/conferences/?conf=bnaic2010) by June 4th, 2010. See http://bnaic2010.uni.lu/instructions.html for more details. Submission implies willingness of at least one author to register for BNAIC'10 and present the paper. For each paper, a separate author registration is required. Authors keep the copyright of their submissions. The BNAIC Proceedings are published under ISSN series number 1568-7805. General Chairs Pascal Bouvry (University of Luxembourg) Eric Dubois (CRP Henri Tudor, Luxembourg) Thibaud Latour (CRP Henri Tudor, Luxembourg) Leon van der Torre (University of Luxembourg) Program Chairs Richard Booth (University of Luxembourg) Gregoire Danoy (University of Luxembourg) Benjamin Gateau (CRP Henri Tudor, Luxembourg) Isabelle Jars (CRP Henri Tudor, Luxembourg) Djamel Khadraoui (CRP Henri Tudor, Luxembourg) Marcin Seredynski (University of Luxembourg) From g.akmayeva at icitst.org Fri May 7 03:37:22 2010 From: g.akmayeva at icitst.org (g.akmayeva at icitst.org) Date: Fri, 7 May 2010 02:37:22 +0100 (BST) Subject: =?UTF-8?Q?=E2=80=8BCall_for_Papers:_ICITST-2010!?= Message-ID: <1577662432.896571.1273196242637.JavaMail.open-xchange@oxltgw01.schlund.de> Apologies for cross-postings! Kindly email this Call for Papers to your colleagues, faculty members and postgraduate students. CALL FOR PAPERS ************************************************************ The 5th International Conference for Internet Technology and Secured Transactions (ICITST-2010), Technical Co-Sponsored by IEEE UK/RI Communications Chapter November 8–11, 2010, London, UK (www.icitst.org)  ************************************************************                                                                                                                                                          The ICITST is an international refereed conference dedicated to the advancement of the theory and practical implementation of secured Internet transactions and to fostering discussions on information technology evolution. The ICITST aims to provide a highly professional and comparative academic research forum that promotes collaborative excellence between academia and industry. The objectives of the ICITST are to bridge the knowledge gap between academia and industry, promote research esteem in secured Internet transactions and the importance of information technology evolution to secured transactions. The ICITST-2010 invites research papers that encompass conceptual analysis, design implementation and performance evaluation. All the accepted papers will appear in the proceedings published by IEEE and fully indexed by IEEE Xplore. All the ICITST papers are indexed by DBLP.   The topics in ICITST-2010 include but are not confined to the following areas:   *  Application of agents *  Application security *  Blended Internet security methods *  Biometrics *  Boundary issues of Internet security *  Broadband access technologies *  Challenges of content authoring *  Data mining security *  E-society *  Globalisation of information society *  Government, and corporate Internet security policy *  Internet architecture *  Infonomics *  IPSec quality of services *  Patentability *  Regulation, self-regulation, and co-regulation Web services *  Secured database systems *  Synchronising e-security *  Software Architectures *  Technology-enabled information *  Trust, privacy, and data security *  Wireless transactions *  Context-Awareness and its Data mining for Ubi-com service *  Human-Computer Interface and Interaction for Ubi-com *  Smart Homes and its business model for Ubi-com service *  Intelligent Multimedia Service and its Data management for Ubi-com *  USN / RF-ID for Ubi-com service *  Network security issues, protocols, data security in Ubi-com *  Database protection for Ubi-com *  Privacy Protection and Forensic in Ubi-com *  Multimedia Security in Ubi-com *  Quality of Service Issues *  Authentication and Access control for data protection in Ubi-com *  Information visualization *  Web services *  Service, Security and its Data management for U-commerce *  New novel mechanism and Applications for Ubi-com *  Information Management *  Multimedia Information Systems *  Information Retrieval *  Natural Language Processing *  Digital Libraries *  Data and Information Quality Management *  Data Grids, Data and Information Quality *  Database Management *  Web Databases *  Temporal and Spatial Databases *  Data Mining *  Web Mining including Web Intelligence and Web 3.0 *  E-Learning, eCommerce, e-Business and e-Government *  Web Metrics and its applications *  XML and other extensible languages *  Semantic Web and Ontology *  Human-Computer Interaction *  Artificial Intelligence and Expert Systems *  Knowledge Management *  Ubiquitous Systems *  Peer to Peer Data Management *  Interoperability *  Mobile Data Management *  Data Models for Production Systems and Services *  Data Exchange issues and Supply Chain *  Data Life Cycle in Products and Processes *  Case Studies on Data Management, Monitoring and Analysis *  Security and Access Control *  Embedded Systems *  Defence Systems *  Information Content Security *  Software Architecture *  System design and verification *  Mobile, Ad Hoc and Sensor Network Security *  Distributed information systems IMPORTANT DATES   Full Paper Submission Date: May 31, 2010  Extended Abstract (Work in Progress) Submission Date: April 01, 2010 Proposal for Workshops and Tutorials: April 30, 2010  Notification of Workshop and Tutorial Acceptance: March 15, 2010 Proposal for Industrial Presentation: April 30, 2010 Notification of Extended Abstract Acceptance/Rejection: May 15, 2010 Notification of Industrial Presentation Acceptance: May 15, 2010 Notification of Paper Acceptance/Rejection: June 30, 2010 Camera Ready Extended Abstract Due: July 31, 2010 Camera Ready Paper Due: July 31, 2010 Early Registration Deadline: January 01 to July 31, 2010 Late Registration Deadline: July 31 to November 08, 2010 Conference Dates: November 08-11, 2010 The ICITST also encourages organisations to submit their Job Fair Booth Reservations and/or Exhibit Proposals. If your organisation is interested, kindly submit a brief Proposal (not more than 1 side of A4 page) to jobfair at icitst.org For more details, please visit www.icitst.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at mpi-sb.mpg.de Fri May 7 13:53:18 2010 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Fri, 7 May 2010 13:53:18 +0200 (CEST) Subject: DEADLINE EXTENSION: Special JSC issue on First Order Theorem Proving Message-ID: <5953fbf453b5c3b9b028f136b75a2f46.squirrel@mail.mpi-inf.mpg.de> [Apologies for multiple copies] ---------------------------------------------------------------- DEADLINE EXTENSION Journal of Symbolic Computation Special Issue on First Order Theorem Proving http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html ---------------------------------------------------------------- * Due to several requests, the submission deadline for the * * special issue of the Journal of Symbolic Computation on * * First Order Theorem Proving is extended until * * *** JUNE 1st, 2010 *** * ---------------------------------------------------------------- Further information about this special issue and details about the topics of interest and the submission procedure can be found at: http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html Submission ========== Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions in the area of First Order Theorem Proving (in a wide sense) that have not been previously published in a journal and are not simultaneously submitted for publication elsewhere (extended or improved versions of conference papers are acceptable). Submissions must comply with JSC's author guidelines. The article should preferably be written using Elsevier's document class "elsarticle". The Elsevier LaTeX style file package can be obtained from http://www.elsevier.com/latex. Further details on how to prepare the paper are mentioned at: http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html Submission to this special issue is via EasyChair: http://www.easychair.org/conferences/?conf=ftpjsc2010. Guest editors: ============== Nicolas Peltier (CNRS - LIG,France) Viorica Sofronie-Stokkermans (MPI,Saarbruecken,Germany) ------------------------------------------------------------------- For further informations please send an e-mail to Viorica Sofronie-Stokkermans (e-mail: sofronie at mpi-inf.mpg.de) ------------------------------------------------------------------- From s.vanbakel at imperial.ac.uk Fri May 7 14:25:10 2010 From: s.vanbakel at imperial.ac.uk (Steffen van Bakel) Date: Fri, 7 May 2010 13:25:10 +0100 Subject: CL&C'10 First call for papers Message-ID: <87FCD8A1-A5F5-4A3B-90BC-C8150E560FA5@imperial.ac.uk> As usual, apologies for multiple copies. This is the first call for papers for: International Workshop on Classical Logic and Computation (CL&C'10) http://www.doc.ic.ac.uk/~svb/CLaC10 21-22 August 2010 Brno, Czech Republic CL&C'10 is a joint workshop with PECP and a satellite of the federated conferences: CSL and MFCS IMPORTANT DATES Deadline for abstract: June, 13, 2010 Deadline for submission: June, 27, 2010 Notification of acceptance: July, 17, 2008 Final version due: July, 27, 2010 Workshop date: August, 21-22, 2010 INTRODUCTION CL&C'10 is the third of a conference series on "Classical Logic and Computation". It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as part of CSL and MFCS, jointly with PECP (Program Extraction and Constructive Proofs): http://www.cs.swansea.ac.uk/~csmona/pecp.html Through these two workshops we wish to honour Prof. Helmut Schwichtenberg's many important contributions to both fields. CL&C is focused on the interplay between program extraction from classical proofs and computer science, while PECP will focus on recent developments in Applied Proof Theory and Constructive Mathematics. The two fields have a substantial common interest, namely the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to, - version of lambda calculi adapted to represent classical logic, - design of programming languages inspired by classical logic, - cut-elimination for classical systems, - proof representation and proof search for classical logic, - translations of classical to intuitionistic proofs, - constructive interpretation of non-constructive principles, - witness extraction from classical proofs, - constructive semantics for classical logic (e.g. game semantics), - case studies (for any of the previous points). SUBMISSION AND PUBLICATION, This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers. We will distinguish between accepted (full) papers, and invited presentation of (short) papers. The accepted papers will appear in EPTCS. Post-proceedings of CL&C’06 and CL&C’08 were published as special issues of APAL. A special issue of a journal, with the post-proceedings of CL&C ‘10, is being considered. In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at http://www.easychair.org/conferences/?conf=clac10 Submissions will be refereed according to interest and originality of the idea. A participants' proceedings will be distributed at the workshop. INVITED SPEAKERS Joint with PECP (see the PECP web page) http://www.cs.swansea.ac.uk/~csmona/pecp.html PROGRAMME COMMITTEE • Bernard Reus (Sussex) • Hugo Herbelin (Inria Paris) • Richard McKinley (Bern) • Stefano Berardi (Turin) - co-chair • Steffen van Bakel (Imperial College London) - co-chair • Stéphane Lengrand (LIX Paris) • Ugo de'Liguoro (Turin) • Ulrich Berger (Swansea) - co-chair • Zhaohui Luo (Royal Holloway London) CONTACT u.berger at swansea.ac.uk From publicity at rv2010.org Sat May 8 16:55:42 2010 From: publicity at rv2010.org (RV 2010) Date: Sat, 8 May 2010 09:55:42 -0500 Subject: RV'10 Final CFP - DEADLINE: June 1st Message-ID: <201005081455.o48EsPS7000693@fsl3.cs.uiuc.edu> [[Our apologies if you receive multiple copies of this message]] CALL FOR PAPERS International Conference on Runtime Verification (RV 2010) November 1 - 4, 2010 Sliema, Malta DEADLINES: June 1st for regular and short papers; June 15 for tool demos http://www.rv2010.org/ Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such as program understanding, systems usage understanding, security or safety policy monitoring, debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formalized specifications, analyzed with special algorithms, visualized, etc. Topics of interest include, but are not limited to: - program instrumentation techniques - specification languages for writing monitors - extraction of monitors from specifications; APIs for writing monitors - programming language constructs for monitoring - model-based monitoring and reconfiguration - the use of aspect oriented programming for dynamic analysis - algorithmic solutions to minimize runtime monitoring impact - combination of static and dynamic analysis; full program verification based on runtime verification - intrusion detection, security policies, policy enforcement - log file analysis - model-based test oracles - observation-based debugging techniques - fault detection and recovery, model-based integrated health management and diagnosis - program steering and adaptation - dynamic concurrency analysis - dynamic specification mining - metrics and statistical information gathered during runtime - program execution visualization The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org. INVITED SPEAKERS * Mike Barnett, Microsoft Research, USA * Rance Cleaveland, University of Maryland, USA * Matthew Dwyer, University of Nebraska, USA * Martin Odersky, EPFL, Switzerland * Wim de Pauw, IBM, USA * R. Sekar, Stony Brook University, USA Invited talk titles are available on the RV 2010 web page. PAPER SUBMISSION RV will have two research paper categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. - Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (300 Euro) will be offered. Selected papers will be published in an issue of Formal Methods in System Design. - Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions. In addition to short and regular papers, proposals for tool demonstrations are welcome. Proposals should be up to 2 pages long. Tool demonstration proposals should briefly introduce the problem solved by the tool and give the outline of the demonstration. Tool papers will be allocated 5 pages in the conference proceedings. A Best Tool Award (200 Euro) will be offered. Submitted tool demonstration proposals will be evaluated by the corresponding chair, with the help of selected reviewers. All accepted papers, including the tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'10 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page is available on the RV'10 web page. IMPORTANT DATES June 1, 2010 - Submission of regular and short papers June 15, 2010 - Submission of tool demonstration proposals July 13, 2010 - Notification for regular, short, and tool papers August 17, 2010 - Camera-ready versions of accepted papers are due ORGANIZERS General chairs: Howard Barringer (University of Manchester, UK) Klaus Havelund (NASA JPL, USA) Insup Lee (University of Pennsylvania, USA) Programme committee chairs: Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Oleg Sokolsky (University of Pennsylvania, USA) Local organization chair: Gordon Pace (University of Malta, MT) Tutorials chair: (submission of tutorials closed) Bernd Finkbeiner (Saarland University, DE) Tool demonstrations chair: Nikolai Tillmann (Microsoft Research, USA) Publicity chair: Ylies Falcone (INRIA Rennes, FR) PROGRAMME COMMITTEE Jamie Andrews (University of Western Ontario, Canada) Thomas Ball (Microsoft Research Redmond, USA) Saddek Bensalem (Verimag, France) Eric Bodden (Technical University Darmstadt, Germany) Rance Cleaveland (University of Maryland, USA) Mads Dam (KTH, SE) Matthew Dwyer (University of Nebraska, USA) Bernd Finkbeiner (Saarland University, Germany) Cormac Flanagan (University of California at Santa Cruz, USA) Jean Goubault-Larrecq (ENS Cachan, France) Patrice Godefroid (Microsoft Research Redmond, USA) Susanne Graf (Verimag, France) Radu Grosu (State University of New York at Stony Brook, USA) Lars Grunske (Swinburne University of Technology, Australia) Rajiv Gupta (University of California at Riverside, USA) John Hatcliff (Kansas State University, USA) Mats Heimdahl (University of Minnesota, USA) Sarfraz Khurshid (University of Texas at Austin, USA) Kim Larsen (Aalborg University, Denmark) Martin Leucker (Technical University Muenchen, Germany) Paul Miner (NASA Langley, USA) Brian Nielsen (Aalborg University, Denmark) Klaus Ostermann (University of Marburg, Germany) Corina Pasareanu (NASA Ames, USA) Doron Peled (Bar Ilan University, Israel) Martin Rinard (Massachussets Institute of Technology, USA) Greg Morrisett (Harvard University, USA) Wolfram Schulte (Microsoft Research Redmond, USA) Koushik Sen (University of California at Berkeley, USA) Peter Sestoft (University of Copenhagen, Denmark) Scott Smolka (State University of New York at Stony Brook, USA) Serdar Tasiran (Koc University, Turkey) Willem Visser (University of Stellenbosch, South Africa) Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA) Brian Williams (Massachusetts Institute of Technology, USA) From tb at imm.dtu.dk Sun May 9 00:48:48 2010 From: tb at imm.dtu.dk (Thomas Bolander) Date: Sun, 09 May 2010 00:48:48 +0200 Subject: CFP: Post-proceedings of HyLo 2010 Message-ID: <4BE5EA50.6060702@imm.dtu.dk> ************************************************************* CALL FOR PAPERS Post-Proceedings of Hybrid Logic and Applications (HyLo 2010) Submission deadline: September 15, 2010 ************************************************************* The post-proceedings of the HyLo 2010 workshop (http://hylocore.ruc.dk/HyLo2010.html) will be published, after a formal refereeing procedure, as a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS, http://www.elsevier.com/locate/entcs). Submissions are not restricted to works presented at the workshop. General information ------------------- Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. Developed in the last fifteen years or so, Hybrid logic is now a mature field on its own with significant impact on a range of other fields. Submissions ----------- The post-proceedings volume editors welcome original high-quality contributions on hybrid logic and applications that have not been published or submitted elsewhere. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power. Please use the HyLo 2010 submission page to submit papers (https://www.easychair.org/login.cgi?conf=hylo2010). Use the submission category "Additional papers". Papers should not exceed 17 pages including references. Authors must prepare their submissions according to the ENTCS guidelines (http://www.entcs.org). Submitted papers will be reviewed by the program committee of HyLo 2010. Important dates --------------- The deadline for submissions is September 15, 2010. Contact Details --------------- Please send all correspondence regarding submissions to the organizers of HyLo 2010: Thomas Bolander http://www.imm.dtu.dk/~tb Torben Braüner http://www.ruc.dk/~torben From iris.scheuermann at kit.edu Sun May 9 14:09:07 2010 From: iris.scheuermann at kit.edu (Iris Scheuermann) Date: Sun, 9 May 2010 14:09:07 +0200 Subject: 2nd call for participation: 1st Karlsruhe Summer School on Service Research Message-ID: <3F2357E32FD9ED4C9361DD5A698F876CD78695@RZ-EX-06.rz.uni-karlsruhe.de> SECOND CALL FOR PARTICIPATION (Apologies for cross-postings) Early Bird Registration Fee until May 15th 1st Karlsruhe Summer School on Service Research Karlsruhe, Germany, July 18th to 22nd/23rd 2010 Web:  http://www.service-summer.org Email: info at service-summer.org APPLICATION DEADLINE: June 15th 2010 The Karlsruhe Service Research Institute (KSRI) is pleased to invite you to participate in the Karlsruhe Service Summer 2010. Through a connected series of events, the Karlsruhe Service Summer seeks to bring together experts from academia and industry as well as interested students in the field of Service Research. Specifically, the Karlsruhe Service Summer consists of the 1st Karlsruhe Summer School on Service Research (from July 18th to 22nd) which culminates in the 2nd Karlsruhe Service Summit (on July 23rd). The Karlsruhe Service Summer is furthermore associated with the Dagstuhl Perspectives Workshop on Service Value Networks (from July 25th to 30th) and the 5th European Young Researchers Workshop on Service-Oriented Computing (on July 16th and 17th). 1st Karlsruhe Summer School on Service Research (July 18th-22nd 2010): The event will bring together international experts in the field of Service Research with PhD students, young scientists and practitioners from industry. Through lectures, tutorials and social events, the Summer School will provide a forum for participants to discuss and learn about Service Research. Participants can benefit from the expertise of the lecturers and share experience with fellow attendees. Furthermore, the Summer School will foster interdisciplinary research and collaboration opportunities among international students and researchers interested in the disparate fields within Service Research. The Summer School program combines lectures in the fields of - Service Innovation - Service Design - Service Economics - Service Architecture - Service Semantics & Intelligence These will be complemented by further attractive offers such as industry sessions, lab experiments, and panel sessions. 2nd Karlsruhe Service Summit (July 23rd 2010): Summer School attendees are cordially invited to the 2nd Karlsruhe Service Summit on July 23, a recurring event where KSRI invites leading executives as well as experts from industry and academia to discuss the next steps towards a service-led economy. Summer School Speakers include up to now: - John Davies (British Telecom) - Bo Edvardsson (Karlstads University, Service Research Centre) - Nicola Guarino (Laboratory for Applied Ontology, Trento) - Willem-Jan van den Heuvel (Tilburg University, European Research Institute of Services Science (ERISS)) - Hans-Arno Jacobsen (University of Toronto) - Steven O. Kimbrough (University of Pennsylvania) - Stephen Kwan (San Jose State University) - Birgit Mager (Cologne International School of Design) - Orestis Terzidis (SAP Research) - Tuure Tuunanen (University of Auckland) The list is complemented by a set of high-profile Service Summit speakers. Keep an eye on http://www.service-summer.org for updates on speakers for both events. Application: The summer school is open to qualified and motivated candidates.  Ph.D. students, post-docs, and practitioners from industry are encouraged to apply. The application deadline is June 15th 2010. Fees: Regular fee: 510EUR Early Bird Registration Fee (until May 15th 2010): 450EUR Special rates are available for participants from IBM and KIT. We further offer preconfigured registration packages that include accommodation at IBIS Hotel Karlsruhe. Contact: Karlsruhe Service Research Institute (KSRI) http://www.ksri.kit.edu http://www.service-summer.org info at service-summer.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Wed May 12 15:10:12 2010 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 12 May 2010 09:10:12 -0400 Subject: CALL FOR PhD POSITION Message-ID: <2B408812-1B27-4933-BF51-8031F0052F97@in.tu-clausthal.de> =============================================================== CALL FOR PhD POSITION - 1 fully funded PhD position (TV 13-L) at the CIG group in Clausthal (Prof. J. Dix) Department of Informatics Clausthal University of Technology =============================================================== We offer a fully funded PhD position (Wiss. Mitarbeiter) at my group in Clausthal. Prerequisites are a strong background in formal methods (logic, mathematics, AI), an MSc (or equivalent) in computer science, creativity and the ability to do research in a small group at a small university in a small town at an altitude of 600 meters (you must endure snow and long winters!). Working in my group requires good knowledge of logic, or in the foundations of databases and information systems, or in artificial intelligence, and/or in agent systems. Check us out on our web-page. Our group has very good international standing and contacts with top researchers worldwide. The department offers an excellent working environment (mostly young researchers; scientists in MAS and AI with international reputation. If you are interested, please send an email with your CV, research statement and why you consider coming to Clausthal directly to me (dix at tu-clausthal.de). No word docs please! From pmt6sbc at maths.leeds.ac.uk Mon May 10 12:25:24 2010 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 10 May 2010 11:25:24 +0100 (BST) Subject: CiE 2010 - Call for Participation and Informal Presentations Message-ID: <201005101025.o4AAPOfI003714@amsta.leeds.ac.uk> *********************************************************************** Call for Participation and Informal Presentations *********************************************************************** CALL FOR INFORMAL PRESENTATIONS There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Again continuing the tradition of past CiE conferences, this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and half a page) by the DEADLINE: MAY 15, 2010. Please submit your abstract electronically, via EasyChair You will be notified whether your talk has been accepted for informal presentation usually within a week after your submission. Let us remind you that we are planning several post-conference publications, which will contain full articles of selected CiE 2010 presentations, including informal presentations. You can find these instructions at http://www.cie2010.uac.pt/contents/call_for_informal_presentations.html We also want to draw attention to the various funding opportunities still available. Please consult http://www.cie2010.uac.pt/contents/student_opportunities.html *********************************************************************** IMPORTANT DATES: Submission of informal presentations: MAY 15 Early registration deadline: MAY 28 Late registration deadline: JUNE 20 *********************************************************************** DETAILS OF PROGRAMME: TUTORIALS: Jeffrey Bub (Information, Computation and Physics), Bruno Codenotti (Computational Game Theory). INVITED SPEAKERS: Eric Allender, Jose L. Balcazar, Shafi Goldwasser, Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald de Wolf. SPECIAL SESSIONS: Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan Invited speakers: Natasha Jonoska, Giancarlo Mauri, Yasubumi Sakakibara, Stephane Vialette Computational Complexity, organizers: Luis Antunes, Alan Selman Invited speakers: Eric Allender, Christian Glasser, John Hitchcock, Rahul Santhanam Computability of the Physical, organizers: Cris Calude, Barry Cooper Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert Proof Theory and Computation, organizers: Fernando Ferreira, Martin Hyland Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz Strassburger Reasoning and Computation from Leibniz to Boole, organizers: Benedikt Loewe, Guglielmo Tamburrini Invited speakers: Nimrod Bar-Am, Michele Friend, Olga Pombo, Sara Uckelman Web Algorithms and Computation, organizers: Thomas Erlebach, Martin Olsen Invited speakers: Hannah Bast, Debora Donato, Alex Hall, Jeannette Janssen SPECIAL TRIBUTE TO MARIAN POUR-EL: Ning Zhong. *********************************************************************** PROGRAMME COMMITTEE: Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann (Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome), Luis Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo (Paris), Benedikt Loewe (Amsterdam), Elvira Mayordomo (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon), Joao Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht) http://www.cie2010.uac.pt/ __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2010 http://www.cie2010.uac.pt/ CiE Membership Application Form http://www.cs.swan.ac.uk/acie CiE on Twitter http://twitter.com/AssociationCiE __________________________________________________________________________ From souhila_75fr at yahoo.fr Mon May 10 15:26:31 2010 From: souhila_75fr at yahoo.fr (Souhila Kaci) Date: Mon, 10 May 2010 06:26:31 -0700 (PDT) Subject: Postdoctoral position: Multiobjective Optimization with Preferences Message-ID: <974118.36944.qm@web34304.mail.mud.yahoo.com> The Microsoft Research-CNRS chair ``Optimization for Sustainable Development'' (http://chaire-osd.polytechnique.fr/) at Ecole Polytechnique (near Paris) is inviting applications for a postdoctoral position. Many real life applications (transportation, design, ...) can be modelled as an optimization problem where multiple objectives are considered. Multiobjective optimization (MOO) problems are search problems which select solutions w.r.t. different objectives. It has been early recognized that looking for a single solution which optimizes all objectives simultaneously is a difficult problem as objectives are generally competitively related. For example increasing the performance of an engine leads to a high cost while reducing the cost of an engine may affect its performance. Consequently MOO problems return a (generally exponential) set of Pareto-optimal solutions, i.e., there is no solution that is better to these solutions w.r.t. all objectives. Pareto-optimality based optimization assumes that all objectives have equal importance, however a user may express preferences over objectives. Therefore preferences act as a filter and select the "preferred" solutions among Pareto-optimal ones. Preferences can be incorporated in MOO at different levels: before resolution, during the search process or after the resolution process. On the other hand, representing and reasoning about/with preferences have been extensively developed in Artificial Intelligence over the past decade resulting in robust and successful languages for preferences representation. The aim of this project is to integrate these languages into MOO problems. * Suitable profile: Applicants must have *completed* their PhD in Operations Research. Knowledge of theory of preferences, multicriteria optimization, stochastic programming is a plus.  * Details:   - Duration: one year  - Starting date: October 2010 - Location: LIX Laboratory, Ecole Polytechnique, Palaiseau, France - Applications should include a motivation letter, a detailed CV including a complete list of publications and two reference letters. They should be sent to Souhila Kaci (kaci at cril.fr). The deadline for applications is **** June 30, 2010 ****  -------------------------------------- Dr. Souhila Kaci Associate Professor (MCF-HDR) CRIL - IUT de Lens Rue de l'Université SP 16 62307 Lens France Tel: (00 33) 3 21 79 32 74 Fax: (00 33) 3 21 79 32 72 http://www.cril.univ-artois.fr/~kaci/ --------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at mpi-sb.mpg.de Mon May 10 22:36:46 2010 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Mon, 10 May 2010 22:36:46 +0200 (CEST) Subject: IJCAR 2010 - 2nd Call for participation Message-ID: [Apologies for multiple copies of this announcement] --------------------------------------------------------------------------- IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning Edinburgh, UK, July 16-19, 2010 http://www.floc-conference.org/IJCAR-home.html as part of FLoC 2010 - Federated Logic Conference http://www.floc-conference.org/ Call for Participation --------------------------------------------------------------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical programme will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2010 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) Registration, accomodation, and travel/visa information for all FLoC conferences and workshops is on the FLoC 2010 web pages. Book your trip to Edinburgh today! DEADLINES: * early registration deadline: 17 MAY 2010. * standard registration: 18 MAY 2010 - 30 JUNE 2010. * late registration: after 30 JUNE 2010. --------------------------------------------------------------------------- Scientific Program ------------------ + Presentation of 2 invited IJCAR talks + Presentation of 2 plenary/keynote FLoC invited talks + Presentation of 28 regular research papers + Presentation of 12 system abstracts + Presentation of the Herbrand Award to David Plaisted + 13 workshops, 2 competitions. --------------------------------------------------------------------------- Invited Speakers ---------------- + Invited IJCAR Speakers ---------------------- + Leonardo de Moura, Microsoft Research Redmond + Johan van Benthem, Stanford University and University of Amsterdam + Plenary and Keynote Invited Talks at FLoC ----------------------------------------- + David Basin, ETH Zurich + Deepak Kapur, University of New Mexico --------------------------------------------------------------------------- Workshops, Competitions ----------------------- There will be thirteen workshops and two system competitions associated with IJCAR. See their individual WWW pages, linked from the FLoC WWW pages for more information. + Workshops - AUTOMATHEO 2010: Workshop on Automated Mathematical Theory Exploration (Workshop affilliated to FLoC) (with ITP) - CLoDeM2010: International Workshop on Comparing Logical Decision Methods (with LICS) - EMSQMS 2010: Workshop on Evaluation Metods for Solvers, and Quality Metrics for Solutions (with CAV) - LfSA 2010: Logics for Systems Analysis (with LICS) - MLPA-10: 2nd Workshop on Module Systems and Libraries for Proof Assistants (with ITP) - PAAR-2010: Workshop on Practical Aspects of Automated Reasoning - SVARM 2010: Synthesis, Verification and Analysis of Rich Models (with CAV) - UITP10: 9th International Workshop On User Interfaces for Theorem Provers (with ITP) - UniDL10: 1st Workshop on Uncertainty in Description Logics - UNIF 2010: 24th International Workshop on Unification (with RTA) - VERIFY-2010: 6th International Verification Workshop - WING 2010: Workshop on Invariant Generation - WST 2010: 11th International Workshop on Termination (with RTA) + Competitions - CASC-J5: 5th IJCAR ATP System Competition - Termination 2010: 7th International Termination Competition --------------------------------------------------------------------------- Social Events ------------- + Welcome reception at the Scottish National Galleries. + Conference banquet at the luxurious Prestonfield Hotel. + CASQ-J5 - the CADE Squash Competition --------------------------------------------------------------------------- Proceedings ----------- At registration the proceedings of all FLoC conferences and workshops will be provided, at no additional cost, on a USB stick. Hard copy IJCAR 2010 proceedings are optionally available, for an additional cost. Remember to tick the hardcopy proceedings box when you register. Please note that hard copies are offered at appr. 50% discount during registration and will not be on sale later on or during the conference. --------------------------------------------------------------------------- Registration ------------ For online registration for IJCAR, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is now open. The deadline for early registration is 17 May. Standard rates will apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. --------------------------------------------------------------------------- Accomodation ------------ Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html --------------------------------------------------------------------------- Student Travel Grants -------------------- FLoC has raised funds to help students with participating in the 2010 meeting. CADE is also funding the Woody Bledsoe Student Bursary scheme for students attending IJCAR 2010. Application deadline is May 3, 2010. The application form and further details are available on the conference website http://www.floc-conference.org/floc-student-grants.html --------------------------------------------------------------------------- For all enquiries about FLoC conferences email: floc-admin at inf.ed.ac.uk --------------------------------------------------------------------------- From pascal.hitzler at wright.edu Tue May 11 06:55:42 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Tue, 11 May 2010 00:55:42 -0400 Subject: CfP: "Real-World Applications of OWL" SWJ special issue Message-ID: <4BE8E34E.3040203@wright.edu> == journal special issue, call for papers == REAL-WORLD APPLICATIONS OF OWL = Description = The "Semantic Web" journal invites submissions for a special issue on "Real-world Applications of OWL." Submissions should consist of short papers describing deployed applications which use the Web Ontology Language OWL. The reports should be brief and pointed, indicating clearly, in what sense and to what extent OWL has been used in the application. These submissions will be reviewed along the following dimensions: (1) Quality, importance, and impact of the described application. (2) Clarity and readability of the describing paper, which shall convey to the reader the key ideas regarding the use of OWL in the application. Applications can cover all possible application areas. If you are uncertain if your application is suitable for this call, please direct your inquiry to the guest editors. = Important Dates = Submission Deadline: 15th of July, 2010. Acceptance Notification: 15th of September, 2010 Final Paper: 15th of October, 2010 = Submissions = Submissions should be 8-10 pages in length. Exceptions can be arranged, please contact the guest editors. Please see the submission information and guidelines at . When entering your manuscript into the review system, please state "OWL applications special issue" in the cover letter. Please also note the journal's open review process detailed at . = Guest Editors = Michel Dumontier, Carleton University, Canada Rinke Hoekstra, Universiteit van Amsterdam/Vrije Universiteit Amsterdam, The Netherlands Please direct all inquiries to the guest editors. online version of this call: http://www.semantic-web-journal.net/content/special-issue-real-world-applications-owl -- 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 kanazawa.makoto at gmail.com Tue May 11 07:47:14 2010 From: kanazawa.makoto at gmail.com (Makoto Kanazawa) Date: Tue, 11 May 2010 14:47:14 +0900 Subject: ESSLLI 2011: Open for Submissions Message-ID: --------------------------------------------------------------------- 23rd European Summer School in Logic, Language and Information ESSLLI 2011 August 1-12, 2011 Ljubljana, Slovenia http://esslli2011.ijs.si/ Call for Course and Workshop Proposals --------------------------------------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as the ESSLLI 2010 website: http://esslli2010cph.info/. CALL FOR COURSE AND WORKSHOP PROPOSALS The ESSLLI 2011 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 23rd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. All proposals should be submitted via the EasyChair system, using a prescribed form that is available on the ESSLLI 2011 website, no later than: June 14, 2010 Authors of proposals will be notified of the committee's decision by September 15, 2010. GUIDELINES FOR SUBMISSION Proposers of courses and workshops should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. Courses are taught by 1 or max. 2 lecturers, and workshops are organized by 1 or max. 2 organizers. Lecturers and organizers must have obtained a Ph.D. or an equivalent degree at the time of the submission deadline. Courses and workshops run over one week (Monday-Friday) and consist of five 90-minute sessions. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example, an introductory course in the first week and an advance course in the second). The ESSLLI program committee has the right to select only one of the two proposed courses. FOUNDATIONAL COURSES These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should have no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in a topic at the interface of two fields can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES Advanced courses should be pitched at an audience of advanced Masters or Ph.D. students. Proposals for advanced courses should specify the prerequisites in detail. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Jun 14, 2010: Proposal Submission Deadline Sep 15, 2010: Notification Deadline Jun 1, 2011: Deadline for receipt of camera-ready course material by the ESSLLI 2011 local organizers WORKSHOPS The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well-defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for various organizational matters, including soliciting submissions, reviewing, drawing up the program, taking care of expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Jun 14, 2010: Proposal Submission Deadline Sep 15, 2010: Notification Deadline Oct 15, 2010: Deadline for submission of the Calls for Papers to ESSLLI 2011 PC chair Nov 1, 2010: Workshop organizers send out First Call for Papers Dec 15, 2010: Workshop organizers send out Second Call for Papers Jan 15, 2011: Workshop organizers send out Third Call for Papers Feb 15, 2011: Deadline for submissions to the workshops Apr 15, 2011: Suggested deadline for notification of workshop contributors Jun 1, 2011: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI 2011 Local Organizers. Workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS A form for submitting course and workshop proposals will be available soon on the ESSLLI 2011 web site: http://esslli2011.ijs.si/. The proposers are required to submit the following information: * Contact address and fax number * Name, email, affiliation, homepage of each lecturer / workshop organizer (at most two per course or workshop) * Title of proposed course/workshop * Abstract (abstract of the proposal, max 150 words) * Type (workshop, foundational, introductory, or advanced course) * Areas (one or more of: Computation, Language, Logic, or Other) * Description (describe the proposed contents of the course and substantiate timeliness and relevance to ESSLLI in at most one A4 page) * Tentative outline of the course / expected participation in the workshop * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (e.g., course prerequisites, previous teaching experiences, etc.) FINANCIAL ASPECTS Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants' fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation expenses (up to fixed maximum amounts, which will be communicated to the lecturers upon notification). Lecturers and workshop organizers will have their registration fee waived. In case a course or workshop is to be taught/organized by two people, a lump sum will be reimbursed to cover travel and accommodation expenses for one of them; the splitting of the sum is up to the lecturers/organizers. It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI 2011 lower. ESSLLI 2011 PROGRAM COMMITTEE Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area specialists: Language and Computation: Markus Egg (Humboldt-Universitaet zu Berlin) Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) Louise McNally (UPF, Barcelona) Logic and Computation: Ralph Matthes (IRIT, CNRS and University of Toulouse) Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg) ESSLLI 2011 ORGANIZING COMMITTEE: Chair: Darja Fiser (University of Ljubljana) ESSLLI 2011 website: http://esslli2011.ijs.si/ EasyChair submission page: http://www.easychair.org/conferences/?conf=esslli2011 From mascardi at disi.unige.it Tue May 11 16:49:45 2010 From: mascardi at disi.unige.it (Viviana Mascardi) Date: Tue, 11 May 2010 16:49:45 +0200 Subject: AWESOME LADS 2010: call for papers Message-ID: <4BE96E89.2010803@disi.unige.it> [Please accept our apologies if you receive multiple postings.] ***************************************************************** Workshop on Agents, Web Services and Ontologies, Integrated Methodologies AWESOME LADS 2010 http://di.unito.it/awesome010 held as a special track of the Third international Workshop on LAnguages, methodologies and Development tools for multi-agent systemS LADS'010 http://www.cs.uu.nl/lads2010 To be held with MALLOW 2010 (http://mallow2010.emse.fr/) 30 August 2010 - 4 September 2010, Lyon, France ***************************************************************** CALL FOR PAPERS ***************************************************************** The AWESOME LADS workshop on Agents, Web Services and Ontologies, Integrated Methodologies will be held as a special track of LADS (International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS) for the 2010 edition. AWESOME LADS 2010 is organized by: * Matteo Baldoni * Cristina Baroglio * Jamal Bentahar * Viviana Mascardi The AWESOME LADS 2010 special track wants to stimulate discussion among researchers working on Agents, Web Services, and Ontologies, in order to help the identification and the definition of Methodo- logies for integrating them. The realisation of distributed, open, dynamic, and heterogeneous software systems is, in fact, a chal- lenge that involves many facets, from formal theories to software engineering and practical applications. Scientists in various research areas, such as Semantic Web, Web Services, Agents, Onto- logies, are attacking this problem from different perspectives. AWESOME LADS 2010 attempts to provide a discussion forum for col- lecting and comparing such diverse experiences with the aim of fostering cross fertilization. Topics of interest are all those concerned with integrated and/or cross-field approaches for engineering Agents, Web Services, Ontologies. They include, but are not limited to: * Semantic Web Agents and Semantic WSs * Integrated Methodologies, notations, infrastructures for Agents, WSs, Ontologies * Enhancement of communication among Agents/WSs by means of Ontologies * Formal aspects for Agents, WSs and Ontologies * Service-oriented multiagent systems * Implementing Agents with WS technologies * Agent-inspired declarative approaches to WSs or SOA * Exploiting AOSE for engineering WSs and Ontologies * Orchestrations, choreographies, and interaction protocols: languages, theory and practice * Ontologies for Agents and/or WSs: languages, theory and practice * Formal description of contracts and negotiation policies * Tools for semantic WSs/Agents * Applications of semantic WSs/Agents * Security and trust in Agents/WSs settings ***************************************************************** IMPORTANT DATES AND SUBMISSION INSTRUCTIONS ***************************************************************** Instructions for authors and deadlines are the same as LADS' ones. Please check the LADS web site, http://www.cs.uu.nl/lads2010 From Jules.Desharnais at ift.ulaval.ca Tue May 11 16:56:42 2010 From: Jules.Desharnais at ift.ulaval.ca (Jules Desharnais) Date: Tue, 11 May 2010 10:56:42 -0400 Subject: CALL FOR PARTICIPATION: MPC 2010 Message-ID: <4BE9702A.3000301@ift.ulaval.ca> CALL FOR PARTICIPATION: MPC 2010 10th International Conference on Mathematics of Program Construction Québec City, Canada, 21-23 June 2010 Colocated with AMAST 2010 (23-26 June 2010) http://mpc-amast2010.fsg.ulaval.ca/ The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. We hereby invite you to participate to the MPC 2010 conference. Online registration is opened on the conference web site (http://mpc-amast2010.fsg.ulaval.ca/). Early (lower rate) dealine for registration is 31 May. Accomodation at Manoir St-Castin should be booked before 22 May. MPC INVITED SPEAKERS * Roland Backhouse, The University of Nottingham, UK. * Stephan Merz, INRIA Lorraine, France. AMAST INVITED SPEAKERS * Catuscia Palamidessi, INRIA Saclay and LIX, France. * Jane Hillston, University of Edinburgh, UK. PROGRAMME, PROGRAMME COMMITTEE, VENUE, TRAVEL INFORMATION See the conference web site (http://mpc-amast2010.fsg.ulaval.ca/). Enquiries should be addressed to Jules.Desharnais at ift.ulaval.ca. From bernhard.schandl at univie.ac.at Tue May 11 18:00:53 2010 From: bernhard.schandl at univie.ac.at (Bernhard Schandl) Date: Tue, 11 May 2010 18:00:53 +0200 Subject: DEADLINE EXTENDED: Linked Data Triplification Challenge 2010 Message-ID: <5D1048A5-C41C-4171-83FC-DC7817C07ABA@univie.ac.at> (sorry for cross-posting) * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Call for Submissions: Linked Data Triplification Challenge 2010 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * --- DEADLINE EXTENDED to June 14th, 2010 --- Patron: Tim Berners-Lee Sponsors: Wolters Kluwer Germany, The Semantic Universe The yearly organized Linked Data Triplification Challenge awards prizes to the most promising application demonstrations and approaches in three fields related to Linked Data. For the success of the Semantic Web it is from our point of view crucial to overcome the chicken-and-egg problem of missing semantic representations on the Web and the lack of their utilization within concrete applications, to solve real-world problems. The Triplification Challenge aims to expedite this process by raising awareness and showcasing best practices. 3,000 EUR in prize money will be awarded to the winners of the open track and the special Open Government Data track. The challenge is open to anyone interested in applying Semantic Web and Linked Data technologies. This might include students, developers, researchers, and people from industry. Individual or group submissions are both acceptable. Submission deadline is 14th June 2010. Submissions =========== 3,000 EUR in prize money will be given to the most promising applications, newly published datasets and methodological approaches built upon Linked Data. Participants can choose between an Open Track and a special Open Government Data Track. Open Track ---------- The Open Track is sponsored by Wolters Kluwer Germany and Semantic Universe. In the Open Track we envision submissions in three categories: * Novel data sets that are published as part of the Web of Data, according to Linked Data principles, and demonstrating potential benefit of use within applications; * Novel generic mechanisms, approaches, and technologies that convert certain types and formats of information into triples, interlink them to other data sets, and expose them as Linked Data; * Applications showcasing the benefits of Linked Data to end-users such as for information syndication, specialized search, browsing, or augmentation of content. Open Government Data Track -------------------------- Participants are to design and build a web application that makes use of open government datasets. Any dataset qualifies that is produced by any government in the world. These can relate i.e. to environmental data, cadastral and geographic data, traffic data, historical data, public speeches, laws, demographics, election data, campaigning, corporate spending on political messaging etc. The source need not be any particular national government nor any particular level of government (local, state, provincial, federal, etc). At least one source must adhere to the principles of Linked Open Data. Mashups of raw and linked data are allowed and welcome. Format ====== Submissions must be original and must not have been submitted for publication elsewhere. Articles should follow the ACM ICPS guidelines for formatting and must be submitted via the online submission system as PDF documents (other formats will not be accepted). For the camera-ready version, we will also need the source files (Latex, Word Perfect, Word). Submissions should not exceed 3 pages. The descriptions should be submitted electronically via the submission system by May 18th, 2010. Eligible descriptions submissions will be included in the proceedings of the I-Semantics conference. Nominations for the Triplification Challenge should be presented at the conference by their authors. Under certain circumstances (e.g. undergraduate student or open-source community contribution) the conference fee will be waived for a nominee on special request. Important Dates =============== * June 14th, 2010: Submission of descriptions * June 28th, 2010: Notification of nomination * July 12th, 2010: Camera-ready version * September 1st to 3rd, 2010: Main Conference Contact and Further Information =============================== Triplification Challenge Website: I-Semantics Website: Contact: Bernhard Schandl From bos at meaningfactory.com Wed May 12 16:13:24 2010 From: bos at meaningfactory.com (bos at meaningfactory.com) Date: Wed, 12 May 2010 09:13:24 -0500 Subject: IWCS-2011, first call for papers Message-ID: <27ab4e1d1ca4d16940f17c62c77772f9.squirrel@74.52.131.242> ------------------------------------------------------------------ Ninth International Conference on COMPUTATIONAL SEMANTICS (IWCS 2011) January 12-14, 2011, Oxford, UK http://www.meaningfactory.com/iwcs2011/ ------------- Endorsed by SIGSEM, the ACL Special Interest Group in Computational Semantics ------------- Organisers: Johan Bos & Stephen Pulman ------------------------------------------------------------------ FIRST ANNOUNCEMENT AND CALL FOR PAPERS The University of Oxford will host the Ninth International Conference on Computational Semantics (IWCS-2011), which will take place at the Computing Laboratory on 12-14 January 2011. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether this is from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between. TOPICS OF INTEREST Areas of special interest for the conference will be computational aspects of meaning of natural language within written, spoken, or multimodal communication. Papers are invited that are concerned with topics in these and closely related areas, including the following: * representation of meaning * syntax-semantics interface * modelling and context in semantic interpretation * representing and resolving semantic ambiguity * shallow and deep semantic processing and reasoning * inference methods for computational semantics * recognising textual entailment * methodologies and practices for semantic annotation * machine learning of semantic structures * statistical semantics * computational aspects of lexical semantics * semantics and ontologies * semantic web and natural language processing * semantic aspects of language generation * semantic relations in discourse and dialogue * semantics and pragmatics of dialogue acts * computing meaning in multimodal interaction * semantics-pragmatics interface PROGRAMME COMMITTEE Rodrigo Agerri Marco Baroni Anja Belz Patrick Blackburn António Branco Harry Bunt Aljoscha Burchardt Nicoletta Calzolari Rui Chaves Philipp Cimiano Peter Clark Ariel Cohen Robin Cooper Ann Copestake Rodolfo Delmonte Markus Egg Katrin Erk Raquel Fernández Anette Frank Claire Gardent Jonathan Ginzburg Jerry Hobbs Laura Kallmeyer Lauri Karttunen Ralf Klabunde Alexander Koller Emiel Krahmer Alex Lascarides Shalom Lappin Kiyong Lee Leonardo Lesmo Bernd Ludwig Bill MacCartney Katja Markert Paul Mc Kevitt Sergei Nirenburg Malvina Nissim Sebastian Padó Vincenzo Pallotta Martha Palmer Manfred Pinkal Paul Piwek Massimo Poesio Sylvain Pogodalla Richard Power James Pustejovsky Allan Ramsay German Rigau Rolf Schwitter Jennifer Spenader Manfred Stede Mary Swift Stefan Thater Peter Turney Kees van Deemter Benjamin Van Durme Jan van Eijck Josef van Genabith Carl Vogel SUBMISSION REQUIREMENTS Two types of submission are solicited: long papers and short papers. All papers will be reviewed by the PC. Please refer to the IWCS-2011 website for submission instructions. Long papers ----------- Long papers should describe original research and must not exceed 10 pages. They will be published in the conference proceedings and will have a full oral presentation of about 30 minutes at the conference. Short papers ------------ Short papers (typically system or project descriptions, or ongoing research) must not exceed 5 pages. They will be published in the conference proceedings, and will have a brief oral presentation (5 minutes) at the conference, followed by a poster/demo session for discussion. IMPORTANT DATES 30 September 2010 Submission: long and short papers 31 October 2010 Notification of acceptance: long and short papers 19 November 2010 Due: camera-ready long and short papers 1 December 2010 Early registration deadline 12 January 2011 Pre-Conference Workshops 13–14 January 2011 Main Conference From wism-aici2009 at shiep.edu.cn Thu May 13 04:03:41 2010 From: wism-aici2009 at shiep.edu.cn (wism-aici2010) Date: Thu, 13 May 2010 10:03:41 +0800 Subject: WISM'10-AICI'10--Extend the deadlines for submissions to 25 May 2010 Message-ID: ** WISM-AICI2010 will change venue from Nanjing to Sanya * ---------------------------------------------------------------------- The 2010 International Conference on Web Information Systems and Mining (WISM'10) The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI'10) ---------------------------------------------------------------------- 23-24 October 2010, Sanya, China *** Submission Deadline: 25 May 2010 *** ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ http://wism-aici2010.hainanic.net ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Call for Papers The 2010 International Conference on Web Information Systems and Mining (WISM'10) and the 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI'10) will be jointly held at Sanya, China in 23-24 October 2010. WISM'10-AICI'10 aims to provide a high-level international forum for scientists and researchers to present the state of the art of web information systems, web mining, artificial intelligence, computational intelligence, with their applications for addressing world problems of various kinds. WISM '10-AICI'10 is multi-disciplinary in which a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. All accepted papers will appear in conference proceedings published by the Springer's LNCS/LNAI and the IEEE-CS, respectively. All accepted papers at WISM'10-AICI'10 are indexed by EI and ISTP. Selected good papers will be recommended for publication in SCI/EI indexed international journals. For more information, visit the conference web page or email the secretariat at wism-aici2010 at hainanic.net Join us at this major event in scenic Sanya !!! 2010-05-10 _____ wism-aici2010 -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nesi at dsi.unifi.it Thu May 13 17:44:53 2010 From: nesi at dsi.unifi.it (nesi) Date: Thu, 13 May 2010 17:44:53 +0200 Subject: DMS2010 call for papers: Message-ID: <20100513154525.9C18132810D@dsi-fe3.dsi.unifi.it> DMS 2010: Globalization and Personalization The Sixteenth International Conference on Distributed Multimedia Systems www.ksi.edu/seke/dms10.html Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA October 14 - October 16, 2010 Organized by Knowledge Systems Institute, USA, University of Florence, Italy, University of Leeds. UK Call For Papers The DMS conference is an international conference series, which covers a wide spectrum of paper presentations, technical discussions and demonstrations in the fields of distributed multimedia computing. The theme for DMS2010 is Globalization and Personalization. The conference organizers seek contributions of high quality papers, panels or tutorials, addressing various aspects of distributed multimedia systems and applications, for presentation at the conference and publication in the proceedings. Both research and case study papers or demonstrators describing results in research area as well as industrial development cases and experiences are solicited. Demonstrators prototypes are welcome to support the submission and to be presented at the conference in the discussion sections. Special issue of Journals The DMS conference is closely coordinated with the International Journal of Software Engineering and Knowledge Engineering, the Journal of Visual Languages and Computing and the International Journal of Distance Education Technologies. Usually the best ranked papers from the conference, after rigorous reviews, extensive revisions and further enhancements, will appear in one or more special issues of the above journals. Papers suggested for the special issue(s) will be reviewed by external reviewers following the standard procedure of review stipulated by the respective journal. Information for Authors Papers must be written in English. An electronic version (Postscript, PDF, or MS Word format) of the full paper should be submitted using the following URL: http://conf.ksi.edu/dms2010/submit/SubmitPaper.php. Manuscript must include a 200-word abstract and no more than 6 pages of IEEE double column text (include figures and references). All submissions must not be published or under consideration for publication in a journal or in a conference with proceedings. Papers will be evaluated based on originality, significance, technical soundness and clarify of exposition. Depending upon the results of evaluation a paper may be accepted as regular paper (6 pages), short paper (4 pages) or poster (poster presentation only). If you have any questions please send e-mail to: dms10 at ksi.edu. DMS 2010 Conference Secretariat Knowledge Systems Institute 3420 Main Street Skokie, IL 60076 USA Tel: 847-679-3135 Fax: 847-679-3166 E-mail: dms10 at ksi.edu Important Dates Paper submission due: MAY 30, 2010 Notification of acceptance: June 30, 2010 Camera-ready copy: July 31, 2010 Early conference registration due: July 31, 2010 DMS'10 Conference Co-Chairs Augusto Celentano, Universita Ca Foscari di Venezia, Italy Atsuo Yoshitaka, JAIST, Japan DMS'10 Program Co-Chairs Paolo Nesi, University of Florence, Italy Kia Ng, University of Leeds, UK DMS'10 Steering Committee Chair Shi-Kuo Chang, University of Pittsburgh, USA DMS'10 Publicity Committee Kao-Shing Hwang, National Chung Cheng University, Taiwan The conference is listed by: DBLP AllConferences.com, a directory of conferences and conventions. The conference is organized by: Knowledge Systems Institute, USA Univeristy of Florence, Italy University of Leeds, UK -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : dms10cfp1.pdf Dateityp : application/pdf Dateigröße : 42469 bytes Beschreibung: nicht verfügbar URL : From fuchs at ifi.uzh.ch Sat May 15 19:55:19 2010 From: fuchs at ifi.uzh.ch (Norbert E. Fuchs) Date: Sat, 15 May 2010 19:55:19 +0200 Subject: CNL 2010: 2nd Workshop on Controlled Natural Languages (final call) Message-ID: <7592260B-661D-4F55-99BE-93D841DE18D0@ifi.uzh.ch> ********************************************************************* Final Call for Extended Abstracts Deadline for submissions: 28 May 2010 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. Languages of the first type (often called "simplified" or "technical" languages), for example ASD Simplified Technical English, Caterpillar Technical ¬†English, IBM's ¬†Easy ¬†English, are ¬†used in industry to increase the quality of technical documentation, and possibly simplify the (semi-) automatic translation of the documentation. These languages restrict the writer by general rules such as "write short and grammatically simple sentences", "use nouns instead of pronouns", "use determiners", and "use active instead of passive". Languages of the second type have a formal logical basis, i.e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge-representation languages, and writing of those languages is supported by fully automatic consistency and redundancy checks, query answering, etc. (en.wikipedia.org/wiki/Controlled_natural_language) TOPICS CNL 2010 will address issues connected to controlled natural languages including the following topics Nature and Purpose of CNLs: - design of CNLs and comparison between CNLs - lexical and Syntactic issues for CNLs - CNL semantics and knowledge representation - expressivity within CNLs - reasoning in CNLs - theoretical results for CNLs Applications: - CNLs for specifications - CNLs and the semantic web - CNLs for user interfaces - CNLs for interaction, communication and dialogue - CNL in the context of Linked Open Data (LOD) content creation and annotation - CNL and Information Extraction - tool support architectures for CNLs - linking text mining to CNLs - CNLs for business rules - CNLs and mobile computing - use cases of CNLs The workshop will be informal with plenty of time for presentations and discussions in the fashion of the seminars organised at Dagstuhl in Germany (www.dagstuhl.de/programm/dagstuhl-seminare). To ensure the informal atmosphere the number of participants will be limited. SUBMISSION DETAILS We invite researchers to submit extended abstracts of exactly 4 pages (including references). These extended abstracts will be intensively reviewed by several members of the programme committee. Authors of accepted extended abstracts will be invited to present their research at the workshop. Revised versions of the accepted abstracts will be published before the workshop as a technical report of the Department of Intelligent Computer Systems at the University of Malta. During the workshop authors will have ample time to present their work and to have it discussed by the participants. All authors are then invited to submit a full paper of up to 20 pages (including references) that takes the discussions during the workshop into account. ¬†Full papers will again be reviewed by the programme committee. Revised versions of the full papers will be published by Springer in their LNCS/LNAI series. Extended abstracts and full papers should use the Springer LNCS format. Extended abstracts must be submitted electronically in PDF format. For sub- missions we use EasyChair (http://www.easychair.org/conferences/?conf=cnl2010). VENUE The workshop will take place on the Italian island Marettimo at the Marettimo Residence (www.marettimoresidence.com/inglese/home.php) that consists of a set of two-storey houses 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. REGISTRATION FEE There is no registration fee for CNL 2010. 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 early July 2010 at a price 10% below the regular price. Participants should in time get into direct contact with the Marettimo Residence to organise their accommodation. Alternative accommodations on Marettimo can be found via the internet. WORKSHOP DINNER A workshop dinner will be arranged during the workshop, and will be paid individually by the participants. IMPORTANT DATES Deadline for submissions of extended abstracts: 28 May 2010 Notification of acceptance of extended abstracts: 25 June 2010 Participants contact Marettimo Residence for accommodation: end of June 2010 Final versions of extended abstracts: 23 July 2010 Workshop: 13-15 September 2010 PROGRAM COMMITTEE Johan Bos (University of Rome "La Sapienza", Italy) Peter E. Clark (Boeing, Seattle, USA) *Hamish Cunningham (University of Sheffield, UK) Danica Damljanovic (University of Sheffield, UK) Norbert E. Fuchs (University of Zurich, Switzerland) Albert Gatt (University of Malta) Alfio Massimiliano Gliozzo (ISTC - CNR Rome) Siegfried Handschuh (DERI, University of Galway) *Pat Hayes (IHMC, Florida) *Jerry R. Hobbs (USC/ISI, USA) Stefan Hoefler (University of Zurich) Kaarel Kaljurand (University of Zurich, Switzerland) *Peter Koepke (University of Bonn, Germany) Tobias Kuhn (University of Zurich, Switzerland) Paola Monachesi (University of Utrecht) Gordon Pace (University of Malta) Stephen Pulman (University of Oxford, UK) Mike Rosner (University of Malta, Malta) (chair) Aarne Ranta (Chalmers University, Sweden) Rolf Schwitter (Macquarie University, Australia) Donia Scott (University of Sussex) Harold Somers (Dublin City University) *John Sowa (VivoMind, USA) Geoff Sutcliffe (University of Miami) Silvie Spreeuwenberg (LibRT, Amsterdam, Netherlands) Uta Schwertel (imc, Germany) Yorick Wilks (University of Sheffield, UK) Adam Wyner (University of London UK) *awaiting confirmation FURTHER INFORMATION http://staff.um.edu.mt/mros1/cnl2010/ 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 alfrednabbles8 at gmail.com Sat May 15 20:31:36 2010 From: alfrednabbles8 at gmail.com (Alfred Nabbles) Date: Sat, 15 May 2010 14:31:36 -0400 Subject: Call for papers: MULTICONF-10, USA, July 2010 Message-ID: It would be highly appreciated if you could share this announcement with your colleagues, students and individuals whose research is in computer science, computer engineering, information science and related areas. Call for papers: MULTICONF-10, USA, July 2010 The 2010 multi-conference (MULTICONF-10) (website: http://www.PromoteResearch.org ) will be held during July 12-14, 2010 in Orlando, Florida, USA. The primary goal of MULTICONF is to promote research and developmental activities in computer science, information technology, control engineering, and related fields. Another goal is to promote the dissemination of research to a multidisciplinary audience and to facilitate communication among researchers, developers, practitioners in different fields. The following conferences are planned to be organized as part of MULTICONF-10. • International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10) • International Conference on Automation, Robotics and Control Systems (ARCS-10) • International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-10) • International Conference on Computer Communications and Networks (CCN-10) • International Conference on Enterprise Information Systems and Web Technologies (EISWT-10) • International Conference on High Performance Computing Systems (HPCS-10) • International Conference on Information Security and Privacy (ISP-10) • International Conference on Image and Video Processing and Computer Vision (IVPCV-10) • International Conference on Software Engineering Theory and Practice (SETP-10) • International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10) MULTICONF-10 will be held at Imperial Swan Hotel and Suites. It is a full-service resort that puts you in the middle of the fun! Located 1/2 block south of the famed International Drive, the hotel is just minutes from great entertainment like Walt Disney World® Resort, Universal Studios and Sea World Orlando. Guests can enjoy free scheduled transportation to these theme parks, as well as spacious accommodations, outdoor pools and on-site dining — all situated on 10 tropically landscaped acres. Here, guests can experience a full-service resort with discount hotel pricing in Orlando. Please see the website http://www.PromoteResearch.org for more details. Sincerely Alfred Nabbles -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pierregrenon at gmail.com Sun May 16 13:32:43 2010 From: pierregrenon at gmail.com (Pierre Grenon) Date: Sun, 16 May 2010 12:32:43 +0100 Subject: CFP: OneSpace2010 -- 3rd Intl W. on Blending Physical and Digital Spaces on the Internet @ FIS2010, Berlin In-Reply-To: References: Message-ID: --------------------------------- CALL FOR PAPERS: OneSpace2010 [ apologies for multiple copies ] --------------------------------- 3rd International Workshop on Blending Physical and Digital Spaces on the Internet (OneSpace2010) http://onespace.kmi.open.ac.uk/2010/ In conjunction with the Future Internet Symposium 2010 (FIS2010) http://www.fis2010.org/ 20 September 2010, Berlin, Germany ++ Deadline for submission: July 23, 2010 ++ ++ Full, demos, and position papers invited ++ ============================================================ Objective ---------- The third edition of Onespace will continue to offer a venue for the interdisciplinary exposition, exploration and cross-fertilisation of trends in how the Internet contributes to blend and modify reality and real-life technology, with a focus on spatial aspects. The scope will be open to conceptual, experimental, and technological perspectives although we envisioned, as usual, a rather applied orientation supporting more fundamental discussions. The primary notions involved will be those of (geo)spatial and temporal sensitivity in physical, digital and virtual contexts, and the blending of digital and virtual images of space and of the physical realm. Audience --------- The intended audience of the workshop are researchers and practitioners for whom spatial issues, broadly conceived, are an important thematic in relation to their interest in the Future Internet and Web applications. Typical attendants will be eager to confront the particular point of view of their discipline or area of activity in the rich cross-domain context of future Internet applications. These include GIScientists, cognitive scientists, Semantic Web researchers, Web technology and virtual community experts, creators of virtual worlds, social scientists, philosophers but, also significantly, research engineers such as for example from various industry sectors. Submissions ------------ Submissions following the LNCS style must be submitted through EasyChair (links on the workshop's website) and categorised as one of the following:    * Full papers (12 pages max.) on the thematic of the workshop      from any relevant perspective    * Demonstration papers (6 pages max.) of prototype applications      (accepted submissions will be presented as a short demonstration)    * Position papers (4 pages max.) discussing novel ideas,      possible experiments, and technological visions Important dates ---------------- * Submission deadline:          Jul 23, 2010 * Acceptance Notification:      Aug 13, 2010 * Camera-ready paper:           Aug 27, 2010 * Workshop date:                Sep 20, 2010 Topics ------- The following is a non-exhaustive list of topics:    * Knowledge representation for blending virtual and real space          - Representation of physical/virtual spaces and topologies          - Ontologies for blending virtual and real space (incl.            spatiotemporal ontologies, ontologies of physical and            virtual networks)          - Spatial and temporal reasoning for blending virtual            and real space    * Computing and applications for blending virtual and real space          - Pervasive, Ambient, and Urban computing          - Mobility and ubiquity          - Impact of second-generation Web mapping applications          - Virtual worlds, digital games and real-life            and technological applications    * Digitally blended geographic environments          - Digital urban environments          - Geo-located services and sensors on the Web          - Internet of Things, Internet of People, social            and physical blending          - Application of Linked Data for physical and digital spaces    * The digital, the virtual and the real          - Digital Sense of Place and Presence          - Virtual and real identities and places          - Visibility and privacy in the Internet of people and things ============================================================ The latest information about the workshop can be found at: http://onespace.ace.ed.ac.uk/2010/ Contact: onespace2010 at easychair.org From Thomas.Lukasiewicz at comlab.ox.ac.uk Mon May 17 03:30:03 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Mon, 17 May 2010 02:30:03 +0100 Subject: DEADLINES EXTENDED: Web Reasoning and Rule Systems 2010: Call for Papers Message-ID: <4BF09C1B.8050900@comlab.ox.ac.uk> DEADLINES EXTENDED! CALL FOR PAPERS 4th International 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 Italian Workshop on Semantic Web Applications and Perspectives (SWAP) 2010. 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. Suggested topics include the following (but are not limited to): * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the WWW Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers PUBLICATION The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series and will be available at the conference. After the conference, there will be a special issue of the (new IOS Press) journal "Semantic Web - Interoperability, Usability, Applicability" with selected papers from the conference (see http://www.semantic-web-journal.net). SUBMISSION OF PAPERS Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2010). The length should not exceed 15 pages for full papers, 9 pages for short papers, 4 pages for posters, and 6 pages for system descriptions (for system demos at the conference). The stated lengths include title, abstract, and references. Short papers, posters, and system descriptions should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. Original research and application papers are welcome; submissions will especially be judged for originality and scientific quality. All accepted papers, posters, and system descriptions will be included in the proceedings. IMPORTANT DATES Paper/poster/demo submission deadline: June 8, 2010 Paper/poster/demo accept/reject decisions: July 1, 2010 Camera-ready due: July 15, 2010 Last day for early registration fee: July 15, 2010 CONFIRMED INVITED SPEAKERS Georg Gottlob (Oxford University, UK) 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) PROGRAM COMMITTEE Grigoris Antoniou (University of Crete, Greece) Marcelo Arenas (PUC Chile, Chile) Jie Bao (Rensselaer Polytechnic Institute, USA) Chitta Baral (Arizona State University, USA) Leopoldo Bertossi (Carleton University, Canada) Andrea Calì (Oxford University, UK) Vinay Chaudri (Stanford Research Institute, USA) Kendall Clark (Clark & Parsia, USA) Claudia d'Amato (University of Bari, Italy) Carlos Damasio (Universidade Nova de Lisboa, Portugal) Wlodek Drabent (IPI PAN Warszawa, Poland) Sergio Flesca (University of Calabria, Italy) Christine Golbreich (University of Versailles Saint-Quentin, France) Claudio Gutierrez (University of Chile, Chile) Stijn Heymans (TU Vienna, Austria) Rinke Hoekstra (VU Amsterdam, The Netherlands) Giovambattista Ianni (University of Calabria, Italy) Krzysztof Janowicz (Pennsylvania State University, USA) Natalya G. Keberle (Zaporozhye National University, Ukraine) Domenico Lembo (University of Rome "La Sapienza", Italy) Francesca A. Lisi (University of Bari, Italy) Gergely Lukácsy (DERI Galway, Ireland) Jan Maluszynski (University of Linköping, Sweden) Wolfgang May (University of Göttingen, Germany) Ralf Möller (TU Hamburg, Germany) Boris Motik (Oxford University, UK) Wolfgang Nejdl (LS3 and University of Hannover, Germany) Matthias Nickles (University of Bath, UK) Andrea Pugliese (University of Calabria, Italy) Guilin Qi (Southeast University, China) Sebastian Rudolph (University of Karlsruhe, Germany) Alan Ruttenberg (ScientificCommons, Switzerland) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Umberto Straccia (ISTI-CNR Pisa, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) Terrance Swift (SUNY Stony Brook, USA) Sergio Tessaris (Free University of Bozen, Italy) Dirk Vermeir (University of Brussels, Belgium) Zhe Wu (Oracle, USA) FURTHER INFORMATION For further information refer to the RR 2010 web site at http://www.rr-conference.org/RR2010 From bcseet at ieee.org Mon May 17 10:48:44 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Mon, 17 May 2010 20:48:44 +1200 Subject: CFP: Sensor Networks and Ambient Intelligence (SeNAmI 2010) - Hong Kong SAR, China Message-ID: <06A6FD76090E4B079938C0FBB018C045@BCSEETPC> CALL FOR PAPERS 3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010) In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org Hong Kong SAR, China, December 11-13, 2010 Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI). The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care. Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Sensor networking with context and ambient awareness - Nature or bio-inspired designs for ambient sensing and intelligence - Cross-layer design and optimization of sensor-based AmI systems - Reasoning and inference for sensor/RFID-based systems - Multi-modal sensor fusion for smart environments - Cyber-physical systems for human-centric applications - Ambient energy harvesting and energy-efficiency issues for sensor networks - Sensor or sensor-embedded object localization and target tracking - Cooperative in-network sensor information processing - Intelligent and mobile agents for embedded ubiquitous computing - Sensor networking in heterogeneous environments - Privacy, security, and trust management - AmI architectures, platforms, applications, and services - Prototypes, testbeds, and real-world deployments IMPORTANT DATES Paper submission due : July 15, 2010 Acceptance notification : September 10, 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 indexing services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex. For further details, please visit: http://iliad.aut.ac.nz/senami2010/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp2010 at MICAI.org Mon May 17 03:16:43 2010 From: cfp2010 at MICAI.org (MICAI 2010) Date: Sun, 16 May 2010 20:16:43 -0500 Subject: Deadline approaching: May 25; MICAI 2010, Artificial Intelligence, Springer LNAI, Mexico Message-ID: 9th Mexican International Conference on Artificial Intelligence MICAI-2010 November 8-13, Pachuca (near Mexico City), Mexico Publication: Springer LNAI www.micai.org/2010 Submission: May 18, 2010 (abstract), May 25, 2009 (full paper) == GENERAL INFORMATION Acceptance rate at recent MICAI events was 26% of over 400 submissions from over 40 countries. Topics: all areas of Artificial Intelligence, research or applications. Workshops and tutorials. Travel grants for student authors. Best papers awards. == PROCEEDINGS Springer LNAI; special issues of journals anticipated. Poster session: IEEE CPS anticipated. == VENUE AND TOURS Pachuca City: in 1 hour from Mexico City. Regular buses are available. Tours: Ancient pyramids of Teotihuacan -- one of the most important archaeological sites in the Americas. More tours anticipated. == DATES May 18, 2010: Registration of abstracts. May 25, 2010: Uploading of full text of registered papers. July 25, 2010: Notification of acceptance. August 7, 2010: Camera-ready and payment deadline. PLEASE CIRCULATE this CFP among your colleagues and students. We apologize if you receive multiple copies. We sent this message to you in good faith of its usefulness for you as an AI researcher. If this is an error, please let us know by replying to this message, and we will never contact you again. From Rajeev.Gore at rsise.anu.edu.au Thu May 13 03:36:23 2010 From: Rajeev.Gore at rsise.anu.edu.au (Rajeev Gore) Date: Thu, 13 May 2010 11:36:23 +1000 Subject: Postdoc in logics in computer science in Australia Message-ID: <19435.22423.592168.718052@sinope.rsise.anu.edu.au> Please could you post this to your list. thanks, raj ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The Logic and Computation Group at the Australian National University in Canberra is currently advertising a three-year fixed term post-doc. Applications close on June 6th 2010. We are looking for people whose research interests are in logic in computer science, automated reasoning, non-classical logics or proof theory. See: http://jobs.anu.edu.au/PositionDetail.aspx?p=1243 Our web page: http://lc.cecs.anu.edu.au/ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -- Rajeev Gore' Senior Fellow Logic and Computation Group, Computer Sciences Laboratory, ANU College of Engineering and Computer Science The Australian National University Canberra ACT 0200 Tel: +61-2-61 25 86 03 Fax: +61-2-61 25 86 51 Email: Rajeev.Gore at anu.edu.au Web: http://arp.anu.edu.au/~rpg ANU CRICOS Provider Number - 00120C From dousset at irit.fr Mon May 17 17:41:27 2010 From: dousset at irit.fr (Bernard DOUSSET) Date: Mon, 17 May 2010 17:41:27 +0200 Subject: VSST'2010 (Toulouse, France) - Last Call For Papers - New dead line: 31 May 2010. Message-ID: <0d2c01caf5d7$975f0100$ca0a738d@irit.fr> Apologies for cross-postings. Please send to interested colleagues and students. -- LAST CALL FOR PAPERS - New Deadline for submissions: 31 May 2010 -- The sixth edition of the VSST symposium 25, 29 October, Toulouse 3 University (France). Symposium Background and Goals This symposium brings together, for already 15 years, the public and private actors in the domain of technology watch and competitive intelligence. Universities, public administrations, SME and large groups are invited, every 3 years, in this event to exchange viewpoints, methodologies, tools and experiences. Besides the traditional topics : . Data Mining . Text Mining . Web Mining . Knowledge Management . Knowledge Discovery . Competitive Intelligence . Strategic Watch . Technologic Watch . Territorial Intelligence . Regulatory Watch . Annotation and ontology's . Information retrieval . Decision Support Systems . Low Signal . Crisis Management . Place of the watchman in the decision process We will particularly focus on this year, followings lines: . Metadata and Interoperability . Treatment of heterogeneous information . Security of access to data and treatments . Online analysis . Mining temporal data . Cartographies . Social Networks . Online Intelligence Community, Web Intelligence . Multilingualism . Geostrategic Mapping . Web new structured data . New sources of patents (China, Korea, Japan, India ...) . Web 2.0 and Web 3.0 . Contributions of 3G technology in competitive intelligence . Innovations in the decision process . Risk Management and Governance * but this list is not exhaustive We also organize: . Forum between businesses, students and young graduates . Presentations training in competitive intelligence . Tutorials and workshops . Demonstrations of software . Presentations of strategic analysis . Exchanges on the effective establishment of watch cell . Exhibition for professionals. 1/ Electronic submission of papers for VSST'2010: Front page: Title, authors and contact details (organization, address, phone, e-mail) 15 lines french abstract, french keywords, english abstract and keywords. Text for submission of papers (in French or English): Minimum 5 pages addressing the problem, methods or tools presented and their validation. Important Dates: . Deadline for receipt of paper proposals: May 31, 2010 . Deadline for acceptance of papers: June 30, 2010 . Date of publication of final program: June 30, 2010 . Deadline for receipt of papers for publication on CD / ROM and online: September 15, 2010 2/ Final format of papers: Front page: Title, authors and contact details (organization, address, phone, e-mail) 15 lines French abstract, French keywords, English abstract and keywords. Final text (in French or English): 12 to 20 pages (landscape A4) including figures and references. Email submission: vsst2010 at irit.fr For more information: http://atlas.irit.fr URL for online registration: http://www.ampere-asso.org/Register.asp?ID=08122006145351&LG=FR Best regards, Professeur Bernard DOUSSET UPS/IRIT/SIG 118, route de Narbonne 31062 Toulouse cedex 9 tél: (33) 5 61 55 67 81 gsm: (33) 6 12 57 19 49 fax irit: (33) 5 61 55 62 58 perso: (33) 5 61 55 67 81 w3: http://atlas.irit.fr et http://ieut1.irit.fr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Tue May 18 10:52:07 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Tue, 18 May 2010 11:52:07 +0300 Subject: CFP: Applied Artificial Intelligence Special Issue on Event Recognition Message-ID: Apologies for cross-posting. ===================== Call for Papers Special Issue on Event Recognition Applied Artificial Intelligence Journal Users and organisations collect data in various structured and unstructured digital formats, but they cannot fully utilise these data to support content and resource management. It is evident that the analysis and interpretation of the available data needs to be automated, in order for large data volumes to be transformed into operational knowledge. Events are particularly important pieces of knowledge, as they represent activities of special significance both for users and organisations. Therefore, the recognition of events is of utmost importance. Consider, for example, the recognition of trends given user contributions in social Web 2.0 applications, the recognition of attacks on nodes of a computer network given the exchanged TCP/IP messages, the recognition of suspicious trader behaviour given the transactions in a financial market, and the recognition of various types of cardiac arrhythmia given electrocardiograms. We invite quality submissions focusing on various aspects of event recognition, including analysis of video, audio, text and other sensor data, as well as recognition on fused data sources. While we place emphasis on theoretical contributions, we also welcome papers describing interesting applications. Broad topics include: -Representation languages for event recognition -Algorithms for real-time event recognition -Probabilistic reasoning for event recognition -Machine learning for event recognition -Event recognition architectures -Benchmarks, performance evaluations, and testbeds -Domain-specific deployments of event recognition systems -Multimedia and social media analysis for event recognition -Clustering, concept recognition and multi-modal/fusion techniques -User interaction and interfaces for event navigation, browsing and management Key Dates *December 1, 2010 - Submissions* July 10, 2011 - Final Decisions Publication - November 2011 Info Email: events2010 at iti.gr Journal web site: http://www.tandf.co.uk/journals/titles/08839514.asp Guest Editors Thomas Winkler, Fraunhofer IAIS, Germany Alexander Artikis, NCSR Demokritos Yiannis Kompatsiaris, CERTH-ITI, Greece Phivos Mylonas, NTUA, Greece From svb at doc.ic.ac.uk Tue May 18 13:42:52 2010 From: svb at doc.ic.ac.uk (Steffen van Bakel) Date: Tue, 18 May 2010 12:42:52 +0100 Subject: Second Call for Papers CL&C'10 Message-ID: As usual, apologies for multiple copies and cross postings. 2nd Call for Papers International Workshop on Classical Logic and Computation (CL&C'10) http://www.doc.ic.ac.uk/~svb/CLaC10 21-22 August 2010 Brno, Czech Republic CL&C'10 is a joint workshop with PECP and a satellite of the federated conferences CSL and MFCS IMPORTANT DATES Deadline for abstract: June, 13, 2010 Deadline for submission: June, 27, 2010 Notification of acceptance: July, 17, 2008 Final version due: July, 27, 2010 Workshop date: August, 21-22, 2010 INTRODUCTION CL&C'10 is the third of a conference series on "Classical Logic and Computation". It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as part of CSL and MFCS, jointly with PECP (Program Extraction and Constructive Proofs): http://www.cs.swansea.ac.uk/~csmona/pecp.html Through these two workshops we wish to honour Prof. Helmut Schwichtenberg's many important contributions to both fields. CL&C is focused on the interplay between program extraction from classical proofs and computer science, while PECP will focus on recent developments in Applied Proof Theory and Constructive Mathematics. The two fields have a substantial common interest, namely the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to, - version of lambda calculi adapted to represent classical logic, - design of programming languages inspired by classical logic, - cut-elimination for classical systems, - proof representation and proof search for classical logic, - translations of classical to intuitionistic proofs, - constructive interpretation of non-constructive principles, - witness extraction from classical proofs, - constructive semantics for classical logic (e.g. game semantics), - case studies (for any of the previous points). SUBMISSION AND PUBLICATION, This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers. All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, and presentations of (short) papers about work in progress. The accepted papers will appear in EPTCS. Post-proceedings of CL&C'06 and CL&C'08 were published as special issues of APAL, for which an open call for papers was sent. A special issue of a journal, with the post-proceedings of CL&C'10, is being considered. In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at http://www.easychair.org/conferences/?conf=clac10 A participants' proceedings will be distributed at the workshop. INVITED KEYNOTE SPEAKERS (Jointly with PECP) * Helmut Schwichtenberg (Munich) * Michael Rathjen (Leeds) (further speakers to be announced) PROGRAMME COMMITTEE * Bernard Reus (Sussex) * Hugo Herbelin (Inria Paris) * Richard McKinley (Bern) * Stefano Berardi (Turin) - co-chair * Steffen van Bakel (Imperial College London) - co-chair * Stephane Lengrand (LIX Paris) * Ugo de'Liguoro (Turin) * Ulrich Berger (Swansea) - co-chair * Zhaohui Luo (Royal Holloway London) CONTACT u.berger at swansea.ac.uk From bernhard.schandl at univie.ac.at Wed May 19 10:44:45 2010 From: bernhard.schandl at univie.ac.at (Bernhard Schandl) Date: Wed, 19 May 2010 10:44:45 +0200 Subject: CfP: Personal Semantic Data 2010 - Workshop at EKAW 2010 Message-ID: Apologies if you receive multiple copies. Please consider to contribute and/or forward to interested colleagues and groups. Call for Papers 1st Workshop on Personal Semantic Data: PSD 2010 http://semanticweb.org/wiki/Personal_Semantic_Data co-located with EKAW 2010 11th - 15th October, Lisbon, Portugal Personal Semantic Data is scattered over several media, and while semantic technologies are already successfully deployed on the Web as well on the desktop, data integration is not always straightforward. The transition from the desktop to a distributed system for Personal Information Management (PIM) raises new challenges which need to be addressed. These challenges overlap areas related to human-computer interaction, privacy and security, information extraction, retrieval and matching. This workshop will bring together academics and industrial practitioners with the goal of fostering cross-domain collaborations to further advance the use of technologies from the Semantic Web and the Web of Data for PIM and to explore and discuss the challenges and approaches for improving PIM through the use of vast amounts of (semantic) information available online. At the same time we want to provide a platform for discussing research topics and challenges related to personal semantic data. == IMPORTANT DATES == 9 July 2010 - Submission deadline 9 August 2010 - Notification 27 August 2010 - Camera-ready version == TOPICS == The topics of interest include, but are not restricted to: * Bridging the gap between Semantic Desktop Data and Linked (Open) Data -Interlinking personal desktop data with Semantic Web data -Enriching desktop information with Web data -Publishing semantic personal data from the desktop to the Web, including trust and privacy issues -Mapping and synchronizing personal semantic data from heterogeneous sources -New forms of visualization of mashed and hybrid personal data from the desktop and Web * Managing personal data across heterogeneous social media sites -Mapping and synchronizing personal social data across heterogeneous social media and the desktop -Searching and browsing personal social data across heterogeneous data sources and using heterogeneous interfaces (e.g. mobile devices) -Modeling of semantic information for personal and social use * Generation of personal semantic data from novel sources -Semi-automatic and automatic generation of semantic data from personal information -Fusion of mobile and desktop environments -Interlinking newly generated semantic data with existing sources == SUBMISSION GUIDELINES == We encourage full papers (max 12 pages), short paper (max 6 pages) and short demo papers (max 2 pages) describing significant work in progress, late breaking results or ideas / challenges for the domain. Submissions should follow the LNCS guidelines. Papers should be submitted in pdf format to http://www.easychair.org/conferences/?conf=psd2010 no later than midnight Pacific Daylight Time on July 9, 2010. Accepted papers will be published in the workshop proceedings. == FURTHER INFORMATION == Further information is available on the workshop website at http://semanticweb.org/wiki/Personal_Semantic_Data or by emailing the workshop organizers. == WORKSHOP ORGANIZERS == * Laura Dragan - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland (laura.dragan at deri.org) * Bernhard Schandl - Department of Distributed and Multimedia Systems, University of Vienna, Austria (bernhard.schandl at univie.ac.at) * Charlie Abela - Department of Intelligent Computer Systems, University of Malta, Malta (charlie.abela at um.edu.mt) * Tudor Groza - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland (tudor.groza at deri.org) * Gunnar Grimnes - DFKI GmbH, Kaiserslautern, Germany (gunnar.grimnes at dfki.de) * Stefan Decker - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland (stefan.decker at deri.org) Best regards, PSD 2010 Organizing Committee From bjwoodford at infoscience.otago.ac.nz Thu May 20 00:09:04 2010 From: bjwoodford at infoscience.otago.ac.nz (Brendon Woodford) Date: Thu, 20 May 2010 10:09:04 +1200 (NZST) Subject: First CFP: The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2010) Message-ID: <15756082.1621274306944771.JavaMail.root@infos003.otago.ac.nz> Call for Papers The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2010) [Formerly Pacific Rim International Workshop on Multi-Agents] November 12th -15th, 2010 http://www.prima2010.org/ PRIMA is a leading scientific conference for research on intelligent agent and multi-agent systems, attracting high quality, state-of-the-art research from all over the world. The conference endeavours to bring together researchers, developers, and academic and industry leaders, who are active and interested in agents and multi-agent systems, their practices and related areas. The conference has a strong focus on practice, and is focused on becoming the premier forum for prototype and deployed agent systems. Thus PRIMA particularly encourages reports on development of prototype and deployed agent and multi-agent systems, and experiments that demonstrate the capability of agents to handle real-world challenges. In order to facilitate the inclusion of system descriptions, which are often not served well by paper descriptions, PRIMA includes a Multimedia submission track. PRIMA offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. Papers addressing methodological or theoretical aspects or particular aspects of agent development are also encouraged. A broad range of topics are of interest but all papers should clearly identify how the contribution brings the promise of practical multi-agent systems closer and identify their scientific and/or technical contributions to the PRIMA community. In addition to the themes listed below, a key theme for PRIMA 2010 is agents and services, where the intent is to explore the connections between the agent technology and services (both in the sense of service science and service-oriented computing). We especially encourage papers that deal with the application of agent techniques to the challenges in the services area. There are clear relationships between the work in services and the work on agents, and there is increasing crossover between the two communities. Papers addressing methodological or theoretical aspects or particular aspects of agent development are also encouraged. A broad range of topics are of interest but all papers should clearly identify how their contribution brings the promise of practical multi-agent systems closer; and what their scientific and/or technical contribution is to the PRIMA community. PRIMA2010 will build on the success of its predecessor workshops and conferences held in Nagoya, Hanoi, Bangkok, Guilin, Kuala Lumpur, Auckland, Seoul, Tokyo, Taipei, Melbourne, Kyoto, and Singapore. Since 2007, due to the need for an additional high-quality forum for international researchers and practitioners to meet and share their work, the meeting has been expanded from a workshop to a full-fledged conference. The PRIMA proceedings will be published by the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), which sponsors and publishes the proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). Selected papers accepted to PRIMA will be invited to be expanded and published as a special issue with the journal of Multiagent and Grid Systems (MAGS). Organization: General Chairs B.P. Sinha (Indian Statistical Institute, India) Chandan Mazumdar (Jadavpur University, India) Abdul Sattar (Griffith University, Australia) Program Chairs Nirmit Desai (IBM Research, India) Alan Liu (National Chung Cheng University, Taiwan) Michael Winikoff (University of Otago, New Zealand) Senior Program Committee (partial list): Monique Calisti, Whitestein Technologies, Switzerland Paolo Giorgini, University of Trento, Italy Ryszard Kowalczyk, Swinburne University of Technology, Australia Victor Lesser, University of Massachusetts Amherst, USA Michael Luck, King's College London, UK John-Jules Meyer, Utrecht University, Netherlands Paul Scerri, Carnegie Mellon University, USA Carles Sierra, IIIA - CSIC, Spain Munindar Singh, NCSU, USA Mary-Anne Williams, University of Technology Sydney, Australia Makoto Yokoo, Kyushu University, Japan Wiebe van-der-Hoek, University of Liverpool, UK Themes and Topics: Agent-based system development Agent-oriented software engineering Agent development environments Agent languages Case studies and implemented systems WWW and Semantic Web Agents Web-based agents Ontology agents Semantic Web agents Internet Bots Human Agent Interaction Agent Technologies for Service Computing Service composition with agent collaboration Service brokering and agency Personalized services with agent adaptation SLA definition and monitoring as agent goals Agent Reasoning Reasoning (single and multi-agent) Planning (single and multi-agent) Cognitive models Ontological reasoning Interface Agents Practices of Interface Agents Interface Multi-Agents Virtual Agents Collaborative Interface Agents Autonomous Interface Agents Agent societies and social networks Artificial social systems Trust and reputation Social and organizational structure Privacy, safety and security Ethical and legal issues Agent communication Communication languages Communication protocols Agent commitments Network structures and analysis Agent Cooperation and Negotiation Teamwork Cooperation Coalition formation Coordination Distributed problem solving Formal models for modeling other agents and self Argumentation Negotiation and Bargaining Persuasion Agent Systems Software agents Mobile agents Agent-Based Assistants Agent-Based Virtual Enterprise Embodied Agents and Agent-Based Systems Applications Socially Situated Planning Software and Pervasive Agents Real-world Robotics Coordination in multi-robot systems Modeling and analysis of multi-robot systems Tools that are relevant for multi-robot studies Applications of multi-robot systems to real-world problems Other Related Areas Collective intelligence Service science P2P, Grid computing Financial markets and algorithm trades Ubiquitous computing, ambient intelligence Programming Languages Knowledge and Data Intensive Systems Perceptive Animated Interfaces Scalability Tools and Standards Ubiquitous Software Services Virtual Humans Agent-based simulations Emergent behavior Simulation-specific issues Learning Learning (single and multi-agent) Computational architectures for learning Evolution, adaptation Important Dates: Workshop/Tutorial proposals June 1st, 2010 Workshop/Tutorial notifications June 15, 2010 Multimedia: Submission: June 9th, 2010 Notification: June 16th, 2010 Papers July, 31st, 2010 Author notification September 10th, 2010 Camera-ready papers September 20th, 2010 Early registration deadline September 27th, 2010 Registration deadline November 1st, 2010 Workshops and Tutorials November 12th, 2010 Conference dates November 12th - 15th, 2010 From bulling at in.tu-clausthal.de Thu May 20 20:05:06 2010 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Thu, 20 May 2010 20:05:06 +0200 Subject: CFP IBERAMIA 2010 Message-ID: <390A8ED7-7882-4A3A-B481-816840B734D4@in.tu-clausthal.de> SECOND CALL FOR PAPERS IBERAMIA 2010 CFP IBERAMIA 2010 Info: http://cs.uns.edu.ar/iberamia2010/ IBERAMIA 2010 is the 12th edition of the Ibero-American Conference on Artificial Intelligence, a leading symposium where the Ibero-American AI community comes together to share research results and experiences with researchers in Artificial Intelligence from all over the world. IBERAMIA 2008 will be held in Bahía Blanca, Argentina, November 1-5,2010, organized by the Department of Computer Science and Engineering (DCSE-UNS), Universidad Nacional del Sur, Argentina. The conference is sponsored by the main Ibero-American Artificial Intelligence and Computer Science societies. IBERAMIA welcomes submissions on mainstream AI topics, as well as novel cross cutting work in related areas. Topics may include but are not limited to the following: * Cognitive modeling and human interaction * Commonsense reasoning * Constraint satisfaction * Evolutionary computation and Artificial Life * Game playing and interactive entertainment * Information integration and extraction * Knowledge acquisition and ontologies * Knowledge representation and reasoning * Machine learning and data mining * Model-based systems * Multiagent Systems * Argumentation * Natural language processing * Planning and scheduling * Probabilistic reasoning * Robotics, vision, and pattern Recognition * Search * Semantic web * Distributed AI * AI in Education * Uncertainty and Fuzzy Systems * Genetic Algorithms and Neural Networks Papers must be written in English, and will be reviewed on the basis of their relevance, significance of the contribution, originality, technical soundness, quality and clarity. As in previous years, accepted papers will be published in the series "Advances in Artificial Intelligence" of Springer-Verlag LNAI. PAPER SUBMISSION DETAILS ------------------------ Submitted papers must not exceed 10 pages, including all tables, figures, and references and are required to be formatted in the Springer LNCS format (see http://www.springer.de/comp/lncs/authors.html). Submissions over ten pages will be rejected without review. Papers must be submitted to EasyChair's administration address . All submissions will go through a peer review process, with three independent PC members reviewing each submission. Reviewing will be blind, so author names and affiliations must be omitted from the submission, using instead the unique tracking number assigned by the conference system at the time of submission. In addition, self-references in the text, like "in [Garcia 2004], we prove that" should be avoided, using instead references such as "in [Garcia 2004] has been proved that". IMPORTANT DATES --------------- Deadline for abstract submission: June 01, 2010 ( Extended ) Deadline for paper submission: June 19, 2010 ( Extended ) Notification of acceptance: July 17, 2010 Deadline for camera-ready papers: July 27, 2010 Info: http://cs.uns.edu.ar/iberamia2010/ From geoff at cs.miami.edu Thu May 20 20:16:14 2010 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 20 May 2010 14:16:14 -0400 (EDT) Subject: LPAR-17 submission deadlines Message-ID: <20100520181614.3387511FA2B@mcclellan.cs.miami.edu> ============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================ Yogyakarta, Indonesia - October 10th-15th, 2010 http://www.computational-logic.org/lpar-17/Home.html --------------------------------------- Abstract submission deadline - 1st June Paper submission deadline - 8th June --------------------------------------- The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 17th LPAR will be held in Yogyakarta, Indonesia. Conference Chair: Steffen Hoelldobler Programme Chairs: Chris Fermueller, Andrei Voronkov Submissions of two kinds are welcome: * Regular papers that describe solid new research results. * Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. See the web site http://www.computational-logic.org/lpar-17/Home.html for all the details. =============================================================================== From V.Sorge at cs.bham.ac.uk Thu May 20 23:29:40 2010 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Thu, 20 May 2010 22:29:40 +0100 Subject: Call for Presentations --- ACA 2010 Special Session Message-ID: <20100520221948.DBAAC25BC3C@selket.rz.tu-clausthal.de> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Announcement and Call for Presentations ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Held at the conference ACA'2010, June 24-27, 2010, in Vlore, Albania. Webpages: http://events.cs.bham.ac.uk/aca10 (Special Session) http://aca2010.info/index.php/aca2010/aca2010 (Conference) Overview: Symbolic Computation techniques are playing a significant role outside its traditional application areas in Computer Algebra. Over recent decades they have been successfully employed in several areas of traditional artificial intelligent systems such as automated reasoning, constraint solving or interactive tutoring. Conversely intelligent and knowledge based techniques have made their way into main stream symbolic computation such as the integration of equational reasoning into Computer Algebra systems. In this session we will be interested in a variety of application of symbolic computation in knowledge based artificial intelligence systems and vice versa of incorporation of AI techniques and mathematical knowledge into computer algebra. We will also be interested in representation issues arising from these combinations as well as in the role played by ontologies in linking symbolic computation and AI as illustrated by Wolfram|Alpha. The scope of the session therefore includes the following topics: -- System combinations and integrations -- Knowledge acquisition and representation -- Application areas Call for Contributions: If you are interested in giving a presentation at this session, please email an abstract to one of the organisers. Presentations will be up to 30 min in length, including time for discussion. Deadline: The tentative deadline for submissions is May 21st, 2010. Publication: Selected contributions will be considered for inclusion in a special issue of the Journal of Mathematics and Artificial Intelligence. Session Organisers: Volker Sorge, University of Birmingham, UK. V.Sorge at cs.bham.ac.uk Jacques Calmet, Universit�t Karlsruhe, Germany. calmet at ira.uka.de From publicity at rv2010.org Fri May 21 07:52:46 2010 From: publicity at rv2010.org (RV 2010) Date: Fri, 21 May 2010 00:52:46 -0500 Subject: New Deadline: June 8 Message-ID: <201005210552.o4L5p1dv028905@fsl3.cs.uiuc.edu> FINAL CALL FOR PAPERS *** Deadline extension for regular and short papers : June 8 *** International Conference on Runtime Verification (RV 2010) November 1 - 4, 2010 Sliema, Malta http://www.rv2010.org/ Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such as program understanding, systems usage understanding, security or safety policy monitoring, debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formalized specifications, analyzed with special algorithms, visualized, etc. Topics of interest include, but are not limited to: - program instrumentation techniques - specification languages for writing monitors - extraction of monitors from specifications; APIs for writing monitors - programming language constructs for monitoring - model-based monitoring and reconfiguration - the use of aspect oriented programming for dynamic analysis - algorithmic solutions to minimize runtime monitoring impact - combination of static and dynamic analysis; full program verification based on runtime verification - intrusion detection, security policies, policy enforcement - log file analysis - model-based test oracles - observation-based debugging techniques - fault detection and recovery, model-based integrated health management and diagnosis - program steering and adaptation - dynamic concurrency analysis - dynamic specification mining - metrics and statistical information gathered during runtime - program execution visualization The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org. INVITED SPEAKERS * Mike Barnett, Microsoft Research, USA * Rance Cleaveland, University of Maryland, USA * Matthew Dwyer, University of Nebraska, USA * Martin Odersky, EPFL, Switzerland * Wim de Pauw, IBM, USA * R. Sekar, Stony Brook University, USA Talk titles are available on RV 2010 web page. PAPER SUBMISSION RV will have two research paper categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. - Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (300 Euro) will be offered. Selected papers will be published in an issue of Formal Methods in System Design. - Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions. In addition to short and regular papers, proposals for tutorials and tool demonstrations are welcome. Proposals should be up to 2 pages long. - Tutorial proposals on any of the topics above, as well as on topics at the boundary between RV and other domains, are welcome. Accepted tutorials will be allocated up to 15 pages in the conference proceedings. Tutorial presentations will be at least 2 hours. - Tool demonstration proposals should briefly introduce the problem solved by the tool and give the outline of the demonstration. Tool papers will be allocated 5 pages in the conference proceedings. A Best Tool Award (200 Euro) will be offered. Submitted tutorial and tool demonstration proposals will be evaluated by the corresponding chairs, with the help of selected reviewers. All accepted papers, including tutorial and tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'10 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page is available on the RV'10 web page. IMPORTANT DATES June 8, 2010 - Submission of regular and short papers (*** extended ***) June 15, 2010 - Submission of tool demonstration proposals July 13, 2010 - Notification for regular, short, and tool papers August 17, 2010 - Camera-ready versions of accepted papers are due ORGANIZERS General chairs: Howard Barringer (University of Manchester, UK) Klaus Havelund (NASA/JPL, USA) Insup Lee (University of Pennsylvania, USA) Programme committee chairs: Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Oleg Sokolsky (University of Pennsylvania, USA) Local organization chair: Gordon Pace (University of Malta, MT) Tutorials chair: Bernd Finkbeiner (Saarland University, DE) Tool demonstrations chair: Nikolai Tillmann (Microsoft Research, USA) Publicity chair: Ylies Falcone (INRIA Rennes, FR) PROGRAMME COMMITTEE Jamie Andrews (University of Western Ontario, Canada) Thomas Ball (Microsoft Research Redmond, USA) Saddek Bensalem (Verimag, France) Eric Bodden (Technical University Darmstadt, Germany) Rance Cleaveland (University of Maryland, USA) Mads Dam (KTH, SE) Matthew Dwyer (University of Nebraska, USA) Bernd Finkbeiner (Saarland University, Germany) Cormac Flanagan (University of California at Santa Cruz, USA) Jean Goubault-Larrecq (ENS Cachan, France) Patrice Godefroid (Microsoft Research Redmond, USA) Susanne Graf (Verimag, France) Radu Grosu (State University of New York at Stony Brook, USA) Lars Grunske (Swinburne University of Technology, Australia) Rajiv Gupta (University of California at Riverside, USA) John Hatcliff (Kansas State University, USA) Mats Heimdahl (University of Minnesota, USA) Sarfraz Khurshid (University of Texas at Austin, USA) Kim Larsen (Aalborg University, Denmark) Martin Leucker (Technical University Muenchen, Germany) Paul Miner (NASA Langley, USA) Greg Morrisett (Harvard University, USA) Brian Nielsen (Aalborg University, Denmark) Klaus Ostermann (University of Marburg, Germany) Corina Pasareanu (NASA Ames, USA) Doron Peled (Bar Ilan University, Israel) Martin Rinard (Massachussets Institute of Technology, USA) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) (co-chair) Wolfram Schulte Microsoft Research Redmond, USA) Koushik Sen (University of California at Berkeley, USA) Peter Sestoft (University of Copenhagen, Denmark) Scott Smolka (State University of New York at Stony Brook, USA) Oleg Sokolsky (University of Pennsylvania, USA) (co-chair) Serdar Tasiran (Koc University, Turkey) Shmuel Ur (IBM Haifa Research Laboratory, Israel) Willem Visser (University of Stellenbosch, South Africa) Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA) Brian Williams (Massachusetts Institute of Technology, USA) From georgev at aegean.gr Fri May 21 10:20:57 2010 From: georgev at aegean.gr (George Vouros) Date: Fri, 21 May 2010 11:20:57 +0300 Subject: CfP: COIN @ MALLOW 2010 Message-ID: Apologies for cross-postings. Please find the CfP attached in PDF, as well. ================================== CALL FOR PAPERS 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN at MALLOW2010) Domaine Valpré in Lyon, France 30th August – 2nd September, 2010 AIMS and SCOPE The development of complex AI systems with heterogeneous and diverse knowledge is a challenge. System components must interact, coordinate and collaborate to manage scale and complexity of task environments targeting persistency and maybe, evolution of systems. Managing scale and complexity requires organized intelligence; in particular intelligence manifested in organizations of agents, by individual strategies or collective behaviour. System architects have to consider: the inter-operation of heterogeneously designed, developed or discovered components (agents, objects/artefacts, services provided in an open environment); inter-connection which cross legal, temporal, or organizational boundaries; the absence of global objects or centralised controllers; the possibility that components will not comply with the given specifications; and embedding in an environment which is likely to change, with possible impact on individual and collective objectives. The convergence of the requirement for intelligence with these operational constraints demands: coordination: the collective ability of heterogeneous and autonomous components to arrange or synchronise the performance of specified actions in sequential or temporal order; rational and open organization: a formal structure supporting or producing intentional forms of coordination, capable of managing changes in the environment in which it operates; institution: an organization where (inter alia) the performance of designated actions by empowered agents produces conventional outcomes; and norms: standards or patterns of behaviour in an institution established by decree, agreement, emergence, and so on. The automation and distribution of intelligence is the subject of study in autonomous agents and multi-agent systems; the automation and distribution of intelligence for coordination, organization, institutions and norms is the specialised interest of COIN at MALLOW2010. The COIN at MALLOW 2010 workshop is part of the COIN series of workshops. WORKSHOP GOALS The goal of the workshop is to bring together researchers in autonomous agents and multi-agent systems and other related fields (like web services, semantic web and service oriented architectures), working on the scientific and technological aspects of organizational theory, electronic institutions, norms and computational economies from an organizational or institutional perspective. We seek to attract high-quality papers addressing all mathematical, logical and computational perspectives of, modelling, animation and simulation techniques for these types of multi-agent systems, addressing also their actual implementation. Through various information and opinion exchange mechanisms before, during and after the workshop, we hope to generate new ideas, consolidate and develop an (already) active community, highlight future challenges and opportunities, and lead/define (at least part of) the future research agenda. TOPICS Topics of particular interest for COIN at MALLOW2010 will include: Organizations, institutions and norms for managing scale, openness and complexity Organizations, institutions and norms and Service Oriented Computing/ Architectures; Logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; Formal lifecycle models: formation, maintenance, and dissolution of organizations and institutions; Laws in electronic institutions: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; Agent environments: physical and institutional 'resources' for physical capability and institutional power; Formal methods for specifying coordination and organizational structures; models for verification, validation and visualisation; Non-normative behaviour, error-recovery, and reliable computing with unreliable components; Frameworks and protocols for organised and organisational adaptation; Discovery, openness and inter-operation in organizations and institutions; Analysis of issues in the emergence, evaluation (as fit-for-purpose), compliance to and evolution of norms; Mixed human-agent coordination and institutions in embedded systems and virtual worlds. VENUE The workshop will be part of the MALLOW2010 (Autonomous Agents and Multi-Agent Systems) workshop programme, and will take place at Domaine Valpré in Lyon, France. Full details about the organization of MALLOW2010 are available at http://mallow2010.emse.fr/index.html. PROCEEDINGS Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of papers presented in the COIN workshops within 2010 (this one and COIN at AAMAS2010 ) will be published in a single Springer LNCS volume. The revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. IMPORTANT DATES June 13, 2010: Submission of Papers July 08, 2010: Notification of Acceptance/ Rejection July 30, 2010: Submission of Camera-Ready Copies 30 Aug – 02 Sept 2010: Workshop Takes Place INSTRUCTIONS FOR AUTHORS Given that the post-proceedings will be published in Springer LNC the papers should be formatted following Springer-Verlag's guidelines, available here. The length of each paper including figures and references should not exceed 16 pages. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. For submission of papers, please use: http://www.easychair.org/conferences/?conf=coinmallow2010 WORKSHOP OFFICIALS Workshop Chairs: Nicoletta Fornara (University of Lugano, Switzerland) George Vouros (University of the Aegean, Greece) Tentative Programme Committee: Alexander Artikis (National Centre for Scientific Research Demokritos, Greece) Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Rafael Bordini (Federal University of Rio Grande do Sul, Brazil) Amit Chopra (University of Trento, Italy) Stephen Cranefield (University of Otago, New Zealand) Antonio Carlos da Rocha Costa (Universidade Federal do Rio Grande FURG, Brazil) Marina De Vos (University of Bath, UK) Virginia Dignum (Delft University of Technology, The Netherlands) Jomi Fred Hubner (Federal University of Santa Catarina, Brazil) Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Henrique Lopes Cardoso (Universidade do Porto, Portugal) Eric Matson (Purdue, USA) John-Jules Meyer (Utrecht University, The Netherlands) Pablo Noriega (IIIA-CSI, Spain) Eugenio Oliveira (Universidade do Porto, Portugal) Sascha Ossowski (URJC, Spain) Julian Padget (University of Bath, UK) Jeremy Pitt (Imperial College, London) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Spain) Jaime Sichman (University of Sao Paulo, Brazil) Munindar P. Singh, North Carolina State University, USA Kostas Stathis (Royal Holloway, University of London) Viviane Torres da Silva (Universidade Federal Fluminente, Brazil) Paolo Torroni (University of Bologna, Italy) Leon van der Torre (University of Luxembourg, Luxembourg) Birna van Riemsdijk (Delf University of Technology, The Netherlands) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vazquez- Salceda (University Politecnica de Catalunya, Spain) Harko Verhagen (Stockholm University, Sweden) Pinar Yolum, Bogazici University, Turkey Coin Steering Committee: Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Nicoletta Fornara (University of Lugano, Switzerland) Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Eric Matson (Purdue University, USA) Pablo Noriega (Artficial Intelligence Research Institute, Spain) Sascha Ossowski (Universidad Rey Juan Carlos, Spain) Julian Padget (University of Bath, UK) Jeremy Pitt (Imperial College London, UK) Jaime Sichman (University of Sao Paulo, Brazil) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vázquez Salceda (Universitat Politecnica de Catalunya, Spain) George Vouros (University of the Aegean, Greece) γβ --------------- George Vouros Professor, Univ. of the Aegean Dean of School of Sciences Head AI-Lab President of the Hellenic Artificial Intelligence Society Department of Information and Communication Systems Engineering Karlovassi, Samos 83200, Greece Phone: +30 2273 0 82226 Fax: +30 2273 0 82229 URL: http://www.icsd.aegean.gr/lecturers/georgev/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : cfp.pdf Dateityp : application/pdf Dateigröße : 66326 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jean at ensma.fr Fri May 21 10:32:04 2010 From: jean at ensma.fr (=?ISO-8859-1?Q?St=E9phane_Jean?=) Date: Fri, 21 May 2010 10:32:04 +0200 Subject: Call for Papers: The 11th International Conference on Web Information Systems Engineering (WISE 2010) In-Reply-To: <4B5EF766.5000605@ensma.fr> References: <4B5EF766.5000605@ensma.fr> Message-ID: <4BF64504.6070607@ensma.fr> Apologies for multiple postings =========================================================================================== The 11th International Conference on Web Information Systems Engineering (WISE 2010) http://conference.cs.cityu.edu.hk/wise2010/ December 12-14, 2010 Hong Kong, China Hosted by: City University of Hong Kong, WISE Society CALL FOR PAPERS =========================================================================================== The aim of this eleventh edition of the conference series on Web Information Systems Engineering is to provide an international forum for researchers, professionals, and industrial practitioners to share their knowledge in the rapidly growing area of Web technologies, methodologies and applications. Previous WISE conferences were held in Hong Kong, China (2000), Kyoto, Japan (2001), Singapore (2002), Roma, Italy (2003), Brisbane, Australia (2004), New York, USA (2005), Wuhan, China (2006), Nancy, France (2007), Auckland, New Zealand (2008), and Poznan, Poland (2009). The proceedings of WISE 2010 will be published in 2 separate volumes by Springer in its Lecture Notes in Computer Science series, with best papers to be recommended for publication in special issues of international journals. Topics of interests include but not limited to: - Cloud, Grid Computing and P2P Systems; - Deep/Hidden Web; - Event Processing and Event-driven Systems; - Mobile Web and Location-based Services; - Rich Web UI; - Semantic Web; - Web Agents and Web Intelligence; - Web Data Integration; - Web Data Mashup; - Web Data Models; - Web Information Retrieval; - Web Metrics and Performance; - Web Mining and Web Warehousing; - Web Monitoring and Management; - Web Security and Trust Management; - Web-based Business Processes and Web Services; - Web-based Enterprise Systems and Transactions; - Web Tools and Languages; - Web Visualisation; - XML and Semi-structured Data; and - Web-based Applications (eg, Auction and Negotiation, e-Commerce, e-Government, e-Learning, etc.). Paper Submission ================ Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All papers will be refereed by at least three members of the program committee. All submitted papers MUST be formatted according to the author guidelines provided by Springer and MUST NOT be longer than 14 pages. Full Paper Submission Deadline: June 15, 2010 Conference Co-chairs ==================== Qing Li, City U of Hong Kong Karl Aberer, EPFL, Switzerland Dennis McLeod, USC, USA PC Co-chairs ============ Lei Chen, HKUST, Hong Kong Peter Triantafillou, U of Patras, Greece Torsten Suel, NYU Poly, USA Organization Chair ================== Hong Va Leong, PolyU, Hong Kong Workshop Co-chairs ================== Dickson Chiu, Dickson Computer Sys., HK Ladjel Bellatreche, ENSMA-Poitiers U, France Publicity Co-chairs =================== Hua Wang, U Southern Queesland, Australia Raymong Wong, HKUST, Hong Kong Stephane Jean, Poitiers U, France Feifei Li, Florida State U., USA Finance Chair ============= Xiaohua Jia, City U of Hong Kong Steering Committee Representatives ================================== Yanchun Zhang, Victoria U, Australia Xiaohua Jia, City U of Hong Kong From hr at sti2.at Fri May 21 12:06:58 2010 From: hr at sti2.at (HR) Date: Fri, 21 May 2010 12:06:58 +0200 Subject: Open position: PhD Researcher In-Reply-To: <4BA8C8D8.5060201@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> Message-ID: <4BF65B42.6030807@sti2.at> Dear All, the Semantic Technology Institute (http://www.sti-innsbruck.at) at the University of Innsbruck (Austria) is currently seeking candidates for the following position: - PhD Researcher More Information on the job and the application procedure can be found at http://orawww.uibk.ac.at/public_prod/owa/karriereportal.karriere_detail?asg_id_in=6057 Best Regards, Human Resources STI Innsbruck Technikerstraße 21a 6020 Innsbruck Austri From cfp2010 at MICAI.org Fri May 21 20:59:19 2010 From: cfp2010 at MICAI.org (MICAI 2010) Date: Fri, 21 May 2010 13:59:19 -0500 Subject: Deadline EXTENSION: MICAI 2010 - Artificial Intelligence, Springer LNAI, Mexico Message-ID: 9th Mexican International Conference on Artificial Intelligence MICAI-2010 November 8-13, Pachuca (near Mexico City), Mexico Publication: Springer LNAI www.micai.org/2010 *** EXTENDED *** deadline: June 1, 2010 abstract, June 8 full paper Due to numerous requests from interested authors we decided to extend the deadline. Please make sure to upload your abstract by June 1, and you will have time until June 8 to upload the full text of your paper (don't hesitate to contact us for late submissions in case of problems). Call for papers: == GENERAL INFORMATION Acceptance rate at recent MICAI events was 26% of over 400 submissions from over 40 countries. Topics: all areas of Artificial Intelligence, research or applications. Workshops and tutorials. Travel grants for student authors. Best papers awards. == PROCEEDINGS Springer LNAI; special issues of journals anticipated. Poster session: IEEE CPS anticipated. == VENUE AND TOURS Pachuca City: in 1 hour from Mexico City. Regular buses are available. Tours: Ancient pyramids of Teotihuacan -- one of the most important archaeological sites in the Americas. More tours anticipated. == DATES June 1, 2010 (*** EXTENDED ***): Registration of abstracts. June 8, 2010 (*** EXTENDED ***): Upload full text of registered papers. July 25, 2010: Notification of acceptance. August 7, 2010: Camera-ready and payment deadline. PLEASE CIRCULATE this CFP among your colleagues and students. We apologize if you receive multiple copies. We sent this message to you in good faith of its usefulness for you as an AI researcher. If this is an error, please let us know by replying to this message, and we will never contact you again. From pascal.hitzler at wright.edu Sat May 22 18:29:34 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Sat, 22 May 2010 12:29:34 -0400 Subject: RR2010 call for position papers and PhD proposals Message-ID: <4BF8066E.3000603@wright.edu> CALL FOR POSITION PAPERS AND PHD PROPOSALS 4th International 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 Italian Workshop on Semantic Web Applications and Perspectives (SWAP) 2010. 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. POSITION PAPERS submitted to the conference shall present a clearly defined and preferably controversial position concerning a topic of interest for the community. They shall stimulate discussion and critical assessment of the state of the art and of ongoing research trends. PHD PROPOSALS can only be submitted by PhD students and should contain either a PhD plan (for students at the beginning of their PhD research) or a summary of results achieved for a dissertation (for students at the end of their PhD research). In either case, the goal is to stimulate discussion with established researchers in the field as fruitful feedback to the student. Topics of interest include the following (but are not limited to): * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the WWW Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers SUBMISSION OF POSITION PAPERS AND PHD PROPOSALS Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2010). The length should not exceed 4 pages for position papers and PhD proposals. They should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. All accepted papers, posters, and system descriptions will be included in the proceedings. IMPORTANT DATES Submission deadline: June 8, 2010 Sccept/reject decisions: July 1, 2010 Camera-ready due: July 15, 2010 Last day for early registration fee: July 15, 2010 CONFIRMED INVITED SPEAKERS Georg Gottlob (Oxford University, UK) CONFIRMED TUTORIAL SPEAKER Axel Polleres (DERI Galway, Ireland) 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) PROGRAM COMMITTEE Grigoris Antoniou (University of Crete, Greece) Marcelo Arenas (PUC Chile, Chile) Jie Bao (Rensselaer Polytechnic Institute, USA) Chitta Baral (Arizona State University, USA) Leopoldo Bertossi (Carleton University, Canada) Andrea Calì (Oxford University, UK) Vinay Chaudri (Stanford Research Institute, USA) Kendall Clark (Clark & Parsia, USA) Claudia d'Amato (University of Bari, Italy) Carlos Damasio (Universidade Nova de Lisboa, Portugal) Wlodek Drabent (IPI PAN Warszawa, Poland) Sergio Flesca (University of Calabria, Italy) Christine Golbreich (University of Versailles Saint-Quentin, France) Claudio Gutierrez (University of Chile, Chile) Stijn Heymans (TU Vienna, Austria) Rinke Hoekstra (VU Amsterdam, The Netherlands) Giovambattista Ianni (University of Calabria, Italy) Krzysztof Janowicz (Pennsylvania State University, USA) Natalya G. Keberle (Zaporozhye National University, Ukraine) Domenico Lembo (University of Rome "La Sapienza", Italy) Francesca A. Lisi (University of Bari, Italy) Gergely Lukácsy (DERI Galway, Ireland) Jan Maluszynski (University of Linköping, Sweden) Wolfgang May (University of Göttingen, Germany) Ralf Möller (TU Hamburg, Germany) Boris Motik (Oxford University, UK) Wolfgang Nejdl (LS3 and University of Hannover, Germany) Matthias Nickles (University of Bath, UK) Andrea Pugliese (University of Calabria, Italy) Guilin Qi (Southeast University, China) Sebastian Rudolph (University of Karlsruhe, Germany) Alan Ruttenberg (ScientificCommons, Switzerland) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Umberto Straccia (ISTI-CNR Pisa, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) Terrance Swift (SUNY Stony Brook, USA) Sergio Tessaris (Free University of Bozen, Italy) Dirk Vermeir (University of Brussels, Belgium) Zhe Wu (Oracle, USA) FURTHER INFORMATION For further information refer to the RR 2010 web site at http://www.rr-conference.org/RR2010 -- 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 Wiebe.van-der-Hoek at liverpool.ac.uk Mon May 24 09:44:14 2010 From: Wiebe.van-der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Mon, 24 May 2010 08:44:14 +0100 Subject: call for participation LOFT2010 Message-ID: Call for Participation: LOFT2010, 5 - 7 July 2010, Toulouse, France We cordially invite you to participate in the 9th conference on Logic and the Foundations of Game and Decision Theory (LOFT2010). The website http://www.irit.fr/LOFT2010/ is now open for registration. We have done a major effort to keep registration fees low: 90 Euro if you register before June 16, and 140 Euro thereafter. On-site registration is not possible, and a cruise on the Garonne river with conference dinner (EUR 50) is optional. A list of papers is accessible through the mentioned website. This year's invited speakers are Jean Francois Bennefon, Michel Le Breton, Edith Elkind, and Philippe Mongin For further enquiries regarding the local arrangements, please contact Emiliano Lorini, lorini at irit.fr The LOFT chairs, Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek and Jérôme Lang ------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department, Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Manuela.Bujorianu at manchester.ac.uk Mon May 24 14:00:57 2010 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Mon, 24 May 2010 13:00:57 +0100 Subject: CfP: HAS'2011 - Hybrid Autonomous Systems Message-ID: <20100524130057.86195w5iu08db81l@webmail.manchester.ac.uk> [ Apologies for cross-postings! Please help us by distributing the advert in your department! ] ============================================================================== HAS 2011 Hybrid Autonomous Systems A satellite event of European Joint Conferences on Theory and Practice of Software ETAPS 2011 2-3 April, 2011, Saarbrucken _______________________________________________________________________ Preliminary Call for Papers _______________________________________________________________________ URL: http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS.htm _______________________________________________________________________ Chairs Manuela Bujorianu, University of Manchester, UK Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Antonios Tsourdos, Cranfield University, UK _______________________________________________________________________ Topics of interest Ø new modelling paradigms for autonomous systems; Ø extending hybrid systems with autonomous behaviours; Ø formal methods for autonomous systems Ø verification and safety certification techniques Ø modelling, analysis and control of hybrid systems, Ø uncertainty and stochastic modelling; Ø multi-agent systems; Ø algebraic and categorical methods Ø reports on practical experiments _______________________________________________________________________ Submission deadline: 25th October 2011 _______________________________________________________________________ Program Committee Jose Luiz Fiadeiro, University of Leicester, UK Michael Fisher, University of Liverpool , UK Alessandro Giua, Universita' di Cagliari, IT Klaus Havelund, JPL, NASA, USA Michael Hofbaur, Private University UMIT, AT Joost-Pieter Katoen, RWTH Aachen, DE Rom Langerak, University Of Twente, NL Corina Pasareanu, NASA Ames, USA Maria Prandini, Politecnico di Milano, IT Joerg Raisch, Technische Universitaet Berlin, DE Sandeep Shukla, Virginia Tech, USA Olaf Stursberg, University of Kassel, DE Janan Zaytoon, CReSTIC, Reims, FR ============================================================================== From yfc at iis.sinica.edu.tw Tue May 25 15:07:20 2010 From: yfc at iis.sinica.edu.tw (Yu-Fang Chen) Date: Tue, 25 May 2010 09:07:20 -0400 (EDT) Subject: Cfp:12th International Workshop on Verification of Infinite-State Systems Message-ID: <20100525130720.E82063EA16@fm2.iis.sinica.edu.tw> (Apologies for multiple copies) ------------------------------------------------ Call For Papers 12th International Workshop on Verification of Infinite-State Systems (INFINITY 2010 - http://www.it.uu.se/workshop/infinity2010) Singapore, September 21, 2010 Co-located with ATVA 2010 (http://atva10.comp.nus.edu.sg) Aim: The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems. Program Committee: * Parosh Abdulla, Uppsala University, Sweden * Yu-Fang Chen (co-chair), Academia Sinica, Taiwan * Peter Habermehl, LIAFA, Universite Denis Diderot---Paris 7, CNRS, France * Radu Iosif, VERIMAG, Universite Joseph Fourier/INPG/CNRS, France * Barbara Koenig, Universitat Duisburg-Essen, Germany * Akash Lal, Microsoft Research, Bangalore, India * Richard Mayr, University of Edinburgh, United Kingdom * Kedar Namjoshi, Bell Labs, Alcatel-Lucent, USA * Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium * Ahmed Rezine (co-chair), Uppsala University, Sweden * Arnaud Sangnier, Universita di Genova, Italy * Yih-Kuen Tsay, National Taiwan University, Taiwan * Tomas Vojnar, Brno University of Technology, Czech Republic Topics of interest include (but are not limited to): * Infinite-state models of software/hardware systems * Abstraction techniques for infinite-state systems * Symbolic analysis techniques and data structures for representing infinite state spaces * Model-checking, static analysis, abstract interpretation, preorder/equivalence-checking, and control synthesis for infinite-state systems * Parameterized networks of parallel processes, dynamic networks, mobile systems * Systems with unbounded dynamic data and control structures * Probabilistic and timed systems * Games in modeling and verification of infinite-state systems * Verification techniques for security properties, cryptographic protocols * Verification techniques for systems biology Paper Submission: There are two types of submissions. * Regular papers will be thoroughly evaluated by the programme committee and accepted submissions will be published in the proceedings. Authors are invited to submit an original contribution presenting unpublished work in the relevant areas. By submitting you agree that, in case of acceptance, at least one (co-)author will register and present the paper at the workshop. Contributions should be typeset in the EPTCS format and should not exceed 15 pages. * Presentations are reports on recent (or ongoing) work. It is possible to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings. These contributions will be judged solely on the basis of their attractiveness to the workshop. Authors are invited to submit a one-page abstract. Both kind of papers should be submitted through EasyChair by following the link: http://www.easychair.org/conferences/?conf=infinity2010. Proceedings: Pre-proceedings of INFINITY 2010 will be available at the workshop in a printed form. Final versions of the papers will appear in a volume of Electronic Proceedings in Theoretical Computer Science. Important Dates: Regular Papers * Submission: June 15, 2010 * Notification: July 15, 2010 * Final version: August 10, 2010 Presentation * Submission: August 15, 2010 * Notification: August 30, 2010 ------------------------------ From hr at sti2.at Tue May 25 09:37:46 2010 From: hr at sti2.at (HR) Date: Tue, 25 May 2010 09:37:46 +0200 Subject: Open position: PhD Researcher In-Reply-To: <4BF65B42.6030807@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> Message-ID: <003301cafbdd$2ba6db20$82f49160$@at> Dear All, the Semantic Technology Institute (http://www.sti-innsbruck.at) at the University of Innsbruck (Austria) is currently seeking candidates for the following position: - PhD Researcher More Information on the job and the application procedure can be found at http://orawww.uibk.ac.at/public_prod/owa/karriereportal.karriere_detail?asg_id_in=6054 Best Regards, Human Resources STI Innsbruck Technikerstraße 21a 6020 Innsbruck Austria From tazi at laas.fr Tue May 25 10:40:00 2010 From: tazi at laas.fr (Said Tazi) Date: Tue, 25 May 2010 10:40:00 +0200 Subject: CFP ICMCS'11 Message-ID: <20100525084212.921C5D48111@smtp5-g21.free.fr> HI, Sorry if multiple reception , please disseminate ####################################################################### # Call For Papers # ####################################################################### ICMCS'11 - IEEE co-sponsored Conference 2nd International Conference on Multimedia Computing and Systems Ouarzazate- MOROCCO, April 7-9, 2011. http://www.icmcs11.org Submission deadline: November 10, 2010 ####################################################################### ICMCS'11 is organized with the objective to bring together researchers, developers, and practitioners from academia and industry sectors working in all facets of multimedia, content authoring, processor technology, and systems design. The conference will serve as a forum for the dissemination of state-of-the-art research, development, implementations of multimedia systems, technologies, and applications. The key objective of ICMCS'11 is to create a program that achieves a balance between theory and practice, academia and industry, systems/tools-oriented research and content creation. ICMCS'11 is an IEEE / Computer Society / Communication Society technically co-sponsored conference. All papers will be included in IEEE digital library and extended versions of selected papers will be published in special issues of international journals. TOPICS: Network and operating system support for multimedia Quality-of-service control and scheduling algorithms Multimedia file systems and databases Audio and video compression and manipulation Multimedia processor architecture Computer-aided training and education Virtual reality Multi-agent systems Mobile network architecture Intelligent network applications Internet and intranet applications Web servers and services E-learning, Multimedia conferencing, internet phones, and mail User interfaces and e- commerce Entertainment and games Pattern recognition, medical applications and tele-medicine Sound, image and video processing Systems and Networks security Electronics, modeling and control systems ------------- CONTACT ------------- Youssef ZAZ icmcs11 at gmail.com --------------- DEADLINES --------------- Paper Submission: November 10, 2010 Acceptance notification to authors: January 10, 2011 Final version and registration: January 31, 2011 Best regards Saïd Tazi From vfgo at imm.dtu.dk Tue May 25 11:09:51 2010 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Tue, 25 May 2010 11:09:51 +0200 Subject: 22nd European Summer School in Logic, Language and Information ESSLLI 2010: call for participation Message-ID: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August, 2010, University of Copenhagen, Denmark %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR PARTICIPATION %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation and the school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. This year ESSLLI will take place in Copenhagen, during 9-20 August, 2010 and will comprise 48 foundational, introductory and advanced courses, as well as 6 workshops and 4 evening lectures, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation, and offered by internationally renowned researchers in these areas. The participation at ESSLLI is open for everyone interested. There are 2 categories of participants: student and regular. The registration fees are as follows: * Student: 2235 DKK (€300) before June 1, 2010 * Student: 2608 DKK (€350) from June 2, 2010 * Regular: Early bird reg. 3353 DKK (€450) * Regular: Full registration 3576 DKK (€480), from June 2, 2010 For more information, visit the ESSLLI’2010 website: http://esslli2010cph.info/ For enquiries from the ESSLLI organizers write to esslli2010cph at gmail.com. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mehdi at cs.uu.nl Wed May 26 09:05:47 2010 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Wed, 26 May 2010 09:05:47 +0200 Subject: CFP: LADS'010 Message-ID: <4BFCC84B.1080609@cs.uu.nl> Call for papers Third international Workshop on LAnguages, methodologies and Development tools for multi-agent systemS -- LADS'010 -- ****** Submission Deadline Extended ****** http://www.cs.uu.nl/lads2010 with special track on Agents, Web Services and Ontologies, Integrated Methodologies -- AWESOME'010 -- http://di.unito.it/awesome010 To be held with MALLOW 2010 (http://mallow2010.emse.fr/) August 30th - September 2nd, Lyon, France LADS'010 workshop aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. From a theoretical point of view, theories, methodologies, models and approaches are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. Moreover, formal declarative models and approaches have the potential of offering solutions satisfying the needs for specifying and design of multi-agent systems. From a practical point of view, LADS aims to address how multi-agent system specifications or designs can be effectively implemented and tested. To address such issues, the workshop promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology. Moreover, contributions that combine theoretical aspects with practical ones are gaining more and more attention in important application areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. We encourage the submission of original papers in any of the areas listed below. Topics of interest Topics of interest include, but are not limited to, the ones below: Programming languages for multi-agent systems Extensions of traditional languages for multi-agent programming Semantics for multi-agent programming languages Implementation of social and organisational aspects of MAS Modal and epistemic logics for agent modelling Model checking agents and multi-agent systems Algorithms for multi-agent issues (e.g., coordination, cooperation, negotiation, distributed constraint satisfaction) Declarative approaches to engineering agent systems Declarative models of agent beliefs and capabilities Declarative models of bounded rationality Declarative paradigms for the combination of heterogeneous agents Specification and verification logics Logic programming approaches to agent systems Methodologies for MAS analysis and design Agent-oriented requirements analysis and specification Theoretical and practical aspects of multi-agent programming Computational complexity of MAS High-level executable multi-agent specification languages Agent communication in multi-agent programming Implementation of social and organisational aspects of MAS Agent development tools and platforms Generic tools and infrastructures for multi-agent programming Interoperability and standards for MAS Programming of mobile agents Safety and security for mobile MAS deployment Fault tolerance and load balancing for mobile MAS Formal methods for specification and verification of MAS Verification tools for implementations of MAS Experimental analysis of declarative agent technologies Industrial experiences with (declarative) agent technologies Service-oriented multiagent systems Protocol specification and conformance checking Declarative description of contracts and negotiation policies Application areas for multi-agent programming languages Applications using legacy systems Programming MAS for Grid-based applications Programming MAS for the Semantic Web Deployed (industrial-strength) MAS Benchmarks and testbeds for comparing MAS languages and tools Test and debugging tools and techniques for MAS Electronic institutions * Important dates: Paper submission deadline: *** 13 June 2010 *** Notifications of acceptance/rejection: 6 July 2007 Workshop Date: 30 August 2010 - 2 September 2010 * Submission details Papers should be written in English, formatted according to the IEEEtran style [http://www.michaelshell.org/tex/ieeetran/], and they should not exceed seven (7) pages including title page, figures, references, etc. Authors can submit their papers via a conference management system Easychair http://www.easychair.org/conferences/?conf=lads010 Accepted papers will be published as a technical report and distributed among participants during the workshop. Post-proceedings of selected and revised LADS'010 papers will be published as a volume in Springer's Lecture Notes in Artificial Intelligence series. * Programme Committee: Marco Alberti, New University of Lisbon, Portugal José Júlio Alferes, New University of Lisbon, Portugal Matteo Baldoni, University of Torino, Italy Juan A. Botía, Murcia University, Spain Lars Braubach, University of Hamburg, Germany Yves Demazeau, Institut IMAG, Grenoble, France Juergen Dix, Clausthal University, Germany Paolo Giorgini, University of Trento, Italy Koen Hindriks, Delft University, The Netherlands Shinichi Honiden, NII, Tokyo, Japan Wojtek Jamroga, Clausthal University, Germany Peep Küngas, SOA Trader, Ltd., Tallin, Estonia Brian Logan, University of Nottingham, UK Alessio Lomuscio, Imperial College London, UK Viviana Mascardi, University of Genova, Italy John-Jules Meyer, Utrecht University, The Netherlands Alexander Pokahr, University of Hamburg, Germany Alessandro Ricci, University of Bologna, Italy Patrick Taillibert, Thales Airborne Systems, Elancourt, France Paolo Torroni, University of Bologna, Italy Leendert van der Torre, University of Luxembourg, Luxembourg M. Birna van Riemsdijk, Delft University, The Netherlands Pinar Yolum, Bogazici University, Istanbul, Turkey Yingqian Zhang, Delft University, The Netherlands * Organising Committee: Mehdi Dastani, Utrecht University, The Netherlands Amal El Fallah Seghrouchni, University of Paris VI, France Jomi Hübner, Federal University of Santa Catarina, Brazil João Leite, New University of Lisbon, Lisbon * Steering Committee: Mehdi Dastani, Utrecht University, The Netherlands Amal El Fallah Seghrouchni, University of Paris VI, France João Leite, New University of Lisbon, Lisbon Paolo Torroni, University of Bologna, Italy -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From nza at Cs.Nott.AC.UK Wed May 26 19:38:25 2010 From: nza at Cs.Nott.AC.UK (Natasha Alechina) Date: Wed, 26 May 2010 18:38:25 +0100 Subject: Call for papers: Workshop on Logics for Resource-Bounded Agents Message-ID: <4BFD5C91.1060603@cs.nott.ac.uk> CALL FOR PAPERS The Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with special emphasis on awareness and limited reasoning) http://www.agents.cs.nott.ac.uk/events/lrba10 To be held as part of Multi-Agent Logics, Languages, and Organisations -- Federated Workshops (MALLOW 2010) in Domaine Valpr, Lyon, France, from the 30th of August to the 3rd of September, 2010 http://mallow2010.emse.fr/ AIMS AND SCOPE Formal models of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong and idealised assumptions about the reasoners. For example, traditional epistemic logic say that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded. The workshop aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness (there will be a publication on this topic following the workshop, see below). TOPICS Topics include, but are not limited to, logical models of: * limited awareness and unawareness * logically non-omniscient agents in general * explicit knowledge and belief * algorithmic knowledge * temporal logics of reasoning * active logics * knowledge and belief of reasoners with bounds on reasoning time, memory, or other resource bounds (e.g. bandwidth, sensing limitations) * other attitudes, such as desire, intention, etc., under bounded resources * paraconsistency * rational choice under bounded resources * games under bounded resources, e.g. bounded recall, incomplete information, limited awareness of the structure of the game IMPORTANT DATES Submission deadline: 7 June 2010 Notification of acceptance: 5 July 2010 Camera-ready: 2 August 2010 Workshop: 30 August - 3 September 2010 PUBLICATION Accepted papers will appear in informal pre-proceedings published by MALLOW. Following the workshop, authors are invited to submit extended revisions of their papers for publication in a volume in the Synthese Library series, on awareness and limited reasoning, edited by T. Agotnes, N. Alechina, B. Logan, and G. Sillari. SUBMISSION GUIDELINES Authors are invited to submit a full paper. Submissions should not exceed 15 pages in LaTeX 11pt article style. The following formats are accepted: pdf, ps. Please submit on line at http://www.easychair.org/conferences/?conf=lrba2010 Any equiries to lrba10 at cs.nott.ac.uk ORGANIZING COMMITTEE Thomas Agotnes (University of Bergen, Norway) Natasha Alechina (University of Nottingham, UK) Brian Logan (University Nottingham, UK) PROGRAMME COMMITTEE Thomas Agotnes (University of Bergen, Norway) Natasha Alechina (University of Nottingham, UK) Sergei Artemov (CUNY, USA) Nils Bulling (Clausthal University of Technology, Germany) Michael Fisher (University of Liverpool, UK) Chiara Ghidini (FBK-irst, Italy) Joe Halpern (Cornell University, USA) Paul Harrenstein (Ludwig Maximilians Universitat Munchen, Germany) Wiebe van der Hoek (University of Liverpool, UK) Brian Logan (University of Nottingham, UK) Rohit Parikh (Brooklyn College CUNY, USA) Burkhard Schipper (UC Davis, USA) Giacomo Sillari (University of Pennsylvania, USA) From csoares at fep.up.pt Thu May 27 10:35:38 2010 From: csoares at fep.up.pt (Carlos Soares) Date: Thu, 27 May 2010 09:35:38 +0100 Subject: 2nd CFP: III Web and Text Intelligence Message-ID: <077AC467-DC33-44E7-9C2C-E8B094A360CD@fep.up.pt> From: Alneu de Andrade Lopes Please consider to contribute and invite your team members to submit and publish original scientific results to the III Web and Text Intelligence. The submission deadline is June 28, 2010. III International Workshop on Web and Text Intelligence (III WTI) http://www.labic.icmc.usp.br/wti2010/ best papers to be invited for inclusion in the Journal of the Brazilian Computer Society (Springer) Important dates: Paper submission: June 28, 2010. Accepted paper notification: August 09, 2010. Web and text intelligence are related areas that have been used to improve human computer interaction in general and in particular to explore and analyse information available on the Internet. Both areas benefit from knowledge, concepts and techniques from artificial intelligence, statistics, linguistic, graph theory, among other fields. Web and Text Mining are hot application areas for AI and source for inspiration for new AI methods and algorithms. The growing of social networks and Web site interactivity demands more powerful representation for Web and its dynamics, such as Graphs and Complex Networks. Complex Network formalisms are being applied not only for the Web but to approach many other complex phenomena studied in AI. Known developments are self adaptive web sites, usage monitoring, web site personalization, social network analyses, community detection, automatic Web site organization, information retrieval, information extraction, large document collection mining and exploration, visualization, usability, among others.The Web and Text Intelligence workshop expects to gather researchers who work on methods and theories (and their applications) that help us to understand the Web and to build automatic tools for better exploiting its complex world. After the conference, authors of best papers will be invited to submit an extended version of their papers for possible inclusion in the JBCS - the Journal of the Brazilian Computer Society (Springer). This workshop is a follow up of the 2nd International Workshop on Web and Text Intelligence (http://www.labic.icmc.usp.br/wti2009/) which took place in São Carlos, Brazil, September 2009, as a workshop of STIL09; the 1st Web an Network Intelligence (http://epia2009.web.ua.pt/wni/ ) which took place in Aveiro, Portugal, October 2009, as a thematic track of EPIA09; and the 1st International Workshop on Web and Text Intelligence (http://www.liaad.up.pt/~wti08/) which took place in Salvador, Brazil, October 2008, as a workshop of SBIA08. Suggested topics • Web and Text mining • Visual Web Mining • Link mining • Web usability • Web automation and adaptation • Web content mining • Multi media Web mining • Recommender systems for the Web • Focused crawling • Community detection • Social network mining and analysis • Graph mining • Complex networks • Information Retrieval • Information Extraction • Ontologies in Text Mining • Document and Text Classification • Visual Text Mining Submission Instructions All submissions will be refereed by experts in the field based on originality, significance, quality and clarity. Every submitted paper to WTI will be reviewed by at least two members of the Program Committee. Papers must be prepared according to the LNCSLNAI style template (http://www.springer.de/comp/lncs/authors.html) and must be no more than ten (10) pages long, in English, including figures and bibliography. The selected papers will be included on CD-ROM. Paper submissions and the review process to WTI will be handled using the conference support platform https://submissoes.sbc.org.br/index.cgi. Chairs Alípio M. Jorge LIAAD, INESC Porto LA Fac. Ciências, Univ. Porto amjorge at fc.up.pt Phone: (+351) 220 402 974 Fax: (+351) 220 402 950 Postal: Rua Campo Alegre, 1021/1055, 4169 - 007 Porto, Portugal Alneu de Andrade Lopes ICMC – USP alneu at icmc.usp.br Phone: (+16) 3373-9678 Fax: (+16) 3373-9751 Av. Trabalhador Sãocarlense, 400, centro. Cx Postal 668, Cep 13560-970 São Carlos – SP, Brazil Solange Oliveira Rezende ICMC – USP solange at icmc.usp.br Phone: (+16) 3373-9659 Fax: (+16) 3373-9751 Av. Trabalhador Sãocarlense, 400, centro. Cx Postal 668, Cep 13560-970 São Carlos – SP, Brazil Program committee members, including their affiliations (preliminary) Ana Carolina Lorena, ICMC - USP, Brasil Bettina Berendt, U. K. Leuven, Belgium Bruno Emanuel da Graca Martins, IST/INESC, Portugal Carlos Soares, U. Porto, Portugal Celso Antônio Alves Kaestner, UTFPR, Brasil Flávia Barros, UFPE, Brasil Francisco Couto, U. de Lisboa, Portugal Francisco Rodrigues, USP, Brasil Gael Harry Dias, UBI, Portugal Giovanni Semeraro, University of Bari, Italy Hércules Antonio do Prado, PUC, Brasília, Embrapa João Luis Rosa, USP, Brasil José Luís Borges, U. Porto, Portugal José Paulo Leal, U. Porto, Portugal Lubos Popelinsky, Masaryk U., Czech Republic Luciano da Fontoura Costa , IFSC - USP, Brasil Maarten van Someren, U. Amsterdam, Netherlands Maria Carolina Monard, USP, Brasil Maria Cristina Ferreira de Oliveira, USP, Brasil Maria das Graças Volpe Nunes, USP, Brasil Maria Fernanda Moura, EMBRAPA, Brasil Marko Grobelnik, Josef Sten Institute, Slovenia Myra Spiliopoulou, U. Magdeburg, Germany Nelson Francisco Favilla Ebecken, UFRJ, Brasil Odemir Bruno, IFSC - USP Paulo Azevedo, U. Minho, Portugal Pavel Brazdil, U. Porto, Portugal Renata Vieira, Unisinos, Brasil Ricardo Bastos Cavalcante Prudêncio UFPE, Brazil Rosane Minghim, USP, Brasil Sarabjot Anand, U. Warwick, UK Thiago A. S. Pardo, USP Zhao Liang, USP, Brasil == Carlos Soares Faculdade de Economia do Porto - Prof. Auxiliar LIAAD-INESC Porto LA - Investigador csoares at fep.up.pt == Carlos Soares Faculdade de Economia do Porto - Prof. Auxiliar LIAAD-INESC Porto LA - Investigador csoares at fep.up.pt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From smaus at informatik.uni-freiburg.de Thu May 27 18:31:48 2010 From: smaus at informatik.uni-freiburg.de (Jan-Georg Smaus) Date: Thu, 27 May 2010 18:31:48 +0200 (CEST) Subject: MoChArt 2010: Call for Participation Message-ID: Sixth Workshop on MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt 2010) At AAAI-2010, Twenty-Fourth AAAI Conference on Artificial Intelligence Atlanta, Georgia, USA, July 11-12, 2010 http://mochart.informatik.uni-freiburg.de/ CALL FOR PARTICIPATION We are happy to announce that our invited speaker will be Hector Geffner! INTRODUCTION Model checking is the process of determining whether a logic formula is satisfied by a model. For many logics of interest, model checking can be efficiently automated. This has led to widespread interest in model checking as a technique for verifying properties of systems, and the development of model checking tools (e.g., SMV, Uppaal, PHAVer, and SPIN). The success of model checking in the computer aided verification community has led to a growth of interest in the use of model checking in artificial intelligence. Automated verification technologies are increasingly relevant for safety and reliability of autonomous systems. There has been a strong interest in this area from, e.g. NASA, which has applied it in the context of the Mars rovers and other autonomous robotics systems. On the other hand, model checking, in particular if viewed in the wider context of system verification, falsification and development, has recently benefited from the use of AI techniques, e.g. search heuristics, abstraction techniques, and constraint satisfaction (particularly SAT solving, which underlies "bounded model checking"). One of the principal benefits of model checkers in verification is their ability to return error traces when the specification is false. Dually, such traces can be viewed as plans for falsifying the specification: this duality means that there is a close relationship with planning. In directed model checking, AI planning techniques are applied in the search for error traces. The MoChArt workshop brings together researchers from AI and model checking. Apart from presentations of accepted papers, the programme will include an invited talk. We expect around 25 participants. Previous editions of the workshop were held in Patras in 2008 (as a satellite workshop of ECAI), Riva del Garda in 2006 (ECAI), San Francisco in 2005 (CONCUR), Acapulco in 2003 (IJCAI), and Lyon in 2002 (ECAI). ACCEPTED PAPERS - K*: Heuristics-Guided, On-the-Fly k Shortest Paths Search Husain Aljazzar and Stefan Leue - External Memory BFS with Delayed Duplicate Detection on the GPU Stefan Edelkamp and Damian Sulewski - Computing Applicability Conditions for Plans with Loops: New Results Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein - Action Planning for Automated Program Verification Stefan Edelkamp and Mark Kellershoff and Damian Sulewski - Automatic data abstraction in model checking Multi-Agent Systems Alessio Lomuscio and Hongyang Qu and Francesco Russo - An Approach to Compositional Verification of Reactive Multiagent Systems Jean-Michel CONTET and Pablo Gruer and Franck Gechter and Abderrafiaa Koukam - Automated verification of resource requirements in multi-agent systems using abstraction Natasha Alechina and Brian Logan and Hoang Nga Nguyen and Abdur Rakib - Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic Xiaowei Huang and Cheng Luo and Ron van der Meyden - Symbolic Model Checking the Knowledge in Herbivore Protocol Xiangyu Luo and Kaile Su and Ming Gu and Lijun Wu and Jinji Yang PARTICIPATION The workshop is open to anyone interested in the topic. Please register soon! It would be appreciated if you could let us know about your interest in the workshop. The workshop forms part of the AAAI-2010 workshop programme. Registration and accomodation booking is now available, see: http://www.aaai.org/Conferences/AAAI/aaai10.php INVITED SPEAKER Hector Geffner DTIC, Universitat Pompeu Fabra Barcelona, Spain PROGRAM CHAIRS AND ORGANISING COMMITTEE * Ron van der Meyden School of Computer Science and Engineering University of New South Wales meyden at cse.unsw.edu.au * Jan-Georg Smaus Institut für Informatik Albert-Ludwigs-Universität Freiburg smaus at informatik.uni-freiburg.de PROGRAM COMMITTEE Rajeev Alur, University of Pennsylvania Massimo Benerecetti, Università di Napoli "Federico II", Alessandro Cimatti, IRST, Trento Stefan Edelkamp, Universität Bremen Enrico Giunchiglia, Università di Genova Patrice Godefroid, Microsoft Research, Redmond Aarti Gupta, NEC Laboratories America, Princeton Klaus Havelund, NASA Jet Propulsion Laboratory & Caltech Orna Kupferman, Hebrew University Marta Kwiatkowska, University of Oxford Alessio Lomuscio, Imperial College London Charles Pecheur, Université Catholique de Louvain Doron Peled, Bar Ilan University Jussi Rintanen, NICTA & Australian National University Michael Wooldridge, University of Liverpool From sebastian.rudolph at aifb.uni-karlsruhe.de Sat May 29 09:56:05 2010 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Sat, 29 May 2010 09:56:05 +0200 Subject: ISWC 2010 Call for Submissions Message-ID: <16FE48A1-587C-4515-8ADF-CFB083711A5A@aifb.uni-karlsruhe.de> ISWC 2010 Combined Call for Submissions Submissions are invited for ISWC 2010, the Ninth International Semantic Web Conference, to be held November 7-11, 2010, in Shanghai, China. Accepted submissions will be distributed in electronic form to attendees of the conference; accepted research papers will also be published by Springer-Verlag. At least one author of each accepted submission must attend the conference and present the work. Further, up-to-date information is available at http://iswc2010.semanticweb.org RESEARCH PAPERS Research papers must describe original, significant research on the Semantic Web or on Semantic Web technologies or systems. Authors of accepted papers may submit an accompanying poster or demo (see below). Note that abstracts must be submitted one week before the due date for submissions. Abstracts Due June 21, 2010 Submissions Due June 28, 2010 Notification August 16, 2010 SEMANTIC WEB IN USE In-use papers must present implemented Semantic Web applications or discuss or evaluate the use of Semantic Web techniques or use of other technologies in the Semantic Web. Of particular interest are comparisons between different technologies or approaches and lessons learned from applications. Papers on the use of the Semantic Web in China are specially welcome. Submissions Due June 28, 2010 Notification August 16, 2010 DOCTORAL CONSORTIUM The Doctoral Consortium is designed to allow doctoral students to present their work to members of the Semantic Web community and receive feedback on their research. Submissions to the Doctoral Consortium must describe work performed as part of an ongoing PhD degree. Submissions Due June 28, 2010 Notification August 16, 2010 POSTERS AND DEMOS Posters must describe original research on the Semantic Web or on Semantic Web technologies or systems. Posters can present preliminary results or describe work still in progress. System demonstrations must present a novel hardware or software system of interest in the Semantic Web. Poster submissions and system demonstrations can overlap the work described in other kinds of submissions. Submissions Due August 23, 2010 Notification September 13, 2010 INDUSTRY TALKS Industry talks provide an opportunity to present technical information about Semantic Web products and services. Submissions (abstracts only) will be primarily evaluated based on relevance to the Semantic Web, interest to conference attendees, technical depth and business applicability. Marketing and sales material will not be considered. Submissions Due September 7, 2010 Notification September 21, 2010 SEMANTIC WEB CHALLENGE The Semantic Web Challenge is the premier event for demonstrating practical progress towards achieving the vision of the Semantic Web. This year's 8th edition of the challenge will consist of two tracks: the open track and the billion triples track. The winners in both categories will be selected and announced at the conference. Submissions Due October 1, 2010 _________________________________________________ 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 From richard.booth at uni.lu Sun May 30 14:11:41 2010 From: richard.booth at uni.lu (Richard Booth) Date: Sun, 30 May 2010 14:11:41 +0200 Subject: Third Call for Papers - BNAIC 2010 ***NEW SUBMISSION DEADLINE JUNE 13*** Message-ID: Apologies for multiple postings ------------------ THIRD CALL FOR PAPERS - BNAIC 2010 **NEW SUBMISSION DEADLINE JUNE 13** BNAIC 2010 The 22nd Benelux Conference on Artificial Intelligence Luxembourg, October 25-26 2010 http://bnaic2010.uni.lu Organised by: Computer Science and Communication Research Unit (CSC), University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg Centre de Recherche Public Henri Tudor Introduction BNAIC is an international scientific conference for research in Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited speakers, research and industry presentations and project demonstrations. Invited speakers Jerome Lang (CNRS, Universite Paris-Dauphine, France) Michael Mateas (University of California, Santa Cruz, USA) Topics Authors are invited to submit papers on all aspects of artificial intelligence. Possible topics of submissions include, but are not limited to: * AI for Ambient Intelligence * AI for Games & Entertainment * Embodied Artificial Intelligence * Intelligent Agents & Multi-Agent Systems * Knowledge Representation * Ontologies * Semantic Web-Techniques & Technologies * Knowledge Management * Knowledge-based Systems * Logic in AI * Logic Programming * Natural Language Processing * Speech & Image Processing & Understanding * Cognitive Modelling * Reinforcement Learning * Planning & Scheduling * Knowledge Discovery and Data Mining * Machine Learning * Classification * Clustering * Pattern Discovery * Process Mining * Visualization * Case-Based Reasoning * Constraint Programming * Evolutionary Algorithms * Neural Networks * Verification & Validation * Search & Retrieval * Personalization & Adaptation * Recommender systems * Hybrid Intelligent Systems * AI in law, music, art, education, tutoring, medicine, bioinformatics, software, e-commerce, logistics, robotics, and other business & industry applications. Important Dates * Paper submissions: June 13, 2010 * Author notification: August 8, 2010 * Camera-ready papers: September 15, 2010 * Author registration: September 15, 2010 * Early registration: September 25, 2010 * Conference dates: October 25-26, 2010 Submission details Researchers are invited to submit unpublished original research, but high-quality research results possibly already published in international conferences or journals are also welcome. Three types of submissions are invited: Type A: REGULAR PAPERS Papers presenting new original work. Submitted papers should not exceed a length of 8 pages. These papers will be reviewed on overall quality and relevance. A-Papers can be accepted for either oral or poster presentation. All accepted papers will be fully published in the proceedings. Type B: COMPRESSED CONTRIBUTIONS Papers that have been accepted after June 1st, 2009 for AI-related refereed conferences or journals can be resubmitted and will be accepted as compressed contributions. Authors are invited to submit the officially published version (without page restriction) together with a one or two-page abstract. B-Papers will be accepted for either oral or poster presentation. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Type C: DEMONSTRATIONS & APPLICATIONS Proposals for demonstrations will be evaluated based on submitted demonstration summaries stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (in English). Papers and demonstration summaries should be submitted electronically via Easychair (http://www.easychair.org/conferences/?conf=bnaic2010) by June 13th, 2010. See http://bnaic2010.uni.lu/instructions.html for more details. Submission implies willingness of at least one author to register for BNAIC'10 and present the paper. For each paper, a separate author registration is required. Authors keep the copyright of their submissions. The BNAIC Proceedings are published under ISSN series number 1568-7805. General Chairs Pascal Bouvry (University of Luxembourg) Eric Dubois (CRP Henri Tudor, Luxembourg) Thibaud Latour (CRP Henri Tudor, Luxembourg) Leon van der Torre (University of Luxembourg) Program Chairs Richard Booth (University of Luxembourg) Gregoire Danoy (University of Luxembourg) Benjamin Gateau (CRP Henri Tudor, Luxembourg) Isabelle Jars (CRP Henri Tudor, Luxembourg) Djamel Khadraoui (CRP Henri Tudor, Luxembourg) Marcin Seredynski (University of Luxembourg)