From jlpspi at cs.nmsu.edu Wed Jul 1 07:01:19 2009 From: jlpspi at cs.nmsu.edu (jlpspi) Date: Tue, 30 Jun 2009 23:01:19 -0600 Subject: Second Call for Papers: DAMP 2010 Message-ID: <200907010501.n6151Jdf005964@pippo.cs.nmsu.edu> DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January, 2010 damp10.cs.nmsu.edu SUBMISSION DEADLINE: SEPTEMBER 21, 2009 The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2010 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Abstract submission: Sept. 21 Paper submission: Sept. 25 Notification to authors: Oct. 26 Camera ready: Nov. 9 Program Chair: Enrico Pontelli New Mexico State University General Chairs: Leaf Petersen Intel Corporation Santa Clara, CA, USA Program Committee: Manuel Carro Universidad Politecnica de Madrid Clemens Grelck University of Hertfordshire Haifeng Guo University of Nebraska at Omaha Gabriele Keller University of New South Wales Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen Leaf Petersen Intel Corporation John Reppy University of Chicago Ricardo Rocha University of Porto Kostis Sagonas National Technical University of Athens Vitor Santos Costa University of Porto Satnam Singh Microsoft Research Philip Trinder Heriot-Watt University Pascal Van Hentenryck Brown University URL: http://damp10.cs.nmsu.edu From mdv at cs.bath.ac.uk Wed Jul 1 14:38:34 2009 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Wed, 01 Jul 2009 12:38:34 +0000 Subject: Call for papers: 2nd Workshop on Software Engineering for Answer Set Programming (SEA'09): DEADLINE EXTENSION Message-ID: <1246451914.11870.181.camel@Ishtar> [apologies for multiple posts; please distribute] ------------------------------------------------- CALL FOR PAPERS Software Engineering for Answer Set Programming 2009 (SEA'09) Potsdam, Germany, 18 September 2009 http://sea09.cs.bath.ac.uk/ Co-located with the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) http://www.cs.uni-potsdam.de/lpnmr09/ OVERVIEW Over the last ten years, answer set programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle many industrially-relevant applications. Writing complex programs in any language is not an easy task, with ASP being no exception. Most of the modern popular programming languages have an abundance of tools and development methodologies to facilitate and improve the coding process. Given the differences in for example language design, execution, and application domains for languages such as Java and C++, the existing methodologies and tools that are available are mostly not suitable for ASP. Therefore development tools and software engineering methodologies specifically designed for ASP are required. This workshop aims to bring together researchers who are currently working on or are interested in the development of dedicated tools, techniques, and methodologies to facilitate the development of answer set programs. TOPICS Authors are invited to submit original research or system description papers on software engineering tools or techniques for answer set programming. The list of topics of interest includes but is not limited to: * Modelling tools * (Domain-specific) front and/or back-ends * Methodologies * Debuggers * (Graphical) User Interfaces * Integrated Development Environments (IDEs) * Software engineering metrics SUBMISSION Submitted articles will undergo peer-review. The paper must be in Springer LNCS format and should not exceed 15 pages overall. Submission should be via PDF to both workshop chairs. Papers will be published in the Bath technical report series and on CEUR (http://ceur-ws.org/). IMPORTANT DATES Submission Extended to 7 July 13:00 GMT (please email you intention to submit by Friday 3 July) Notification 1 August 2009 Camera-ready submission 1 September 2009 Workshop 18 September 2009 WORKSHOP OFFICIALS Workshop Chairs: Marina De Vos (University of Bath, UK) Torsten Schaub (University of Potsdam, Germany) Programme Committee: Marcello Balduccini (Kodak Research Labs, USA) Martin Brain (University of Bath, UK) Wolfgang Faber (University of Calabria, Italy) Enrico Pontelli (New Mexico State University, USA) Alessandra Russo (Imperial College London, UK) Tran Cao Son (New Mexico State University, USA) Hans Tompits (Vienna University of Technology, Austria) Richard Watson (Texas Tech University, USA) Stefan Woltran (Technical University of Vienna, Austria) From davy.monticolo at utbm.fr Thu Jul 2 10:08:55 2009 From: davy.monticolo at utbm.fr (davy.monticolo at utbm.fr) Date: Thu, 02 Jul 2009 10:08:55 +0200 Subject: [KARE 2009] Call of papers Message-ID: <20090702100855.203760e23s8vx91z@webmail.utbm.fr> 1st Call of papers : ************************************************************* KARE 2009 : Knowledge Acquisition, Reuse and Evaluation https://acsp.utbm.fr/kare2009/index.htm ************************************************************* Ontology and Semantic Web Services for Knowledge Management Second International Workshop on Knowledge Acquisition, Reuse and Evaluation In conjunction with the fourth IEEE international conference on Signal-Image Technology & Internet Based Systems (SITIS 2009) November 29th - December 4rd, 2009, Marrakech, Morocco ******************* Important Dates ******************* Submission deadline : July, 15th Notification : August, 15th Final date for camera-ready copy : September, 1st ****************** Description ****************** The International Workshop on Knowledge Acquisition, Reuse and Evaluation aims to bring together researchers, scientists, engineers, and scholar students to exchange and share their experiences, new ideas, and research results about all aspects of Knowledge, Ontology and Sermantic Web Services Engineering. We will discuss the practical challenges encountered and the solutions adopted. This workshop will focus on the theoreticians and practitioners concerned with developing methods and systems that assist the knowledge management process and assessing the suitability of such methods. Thus, the workshop includes all aspects of acquiring, modeling and managing knowledge, and their role in the construction of knowledge-based systems. Knowledge acquisition still remains the bottleneck for building a knowledge based system. Reuse and sharing of knowledge bases are major issues and no satisfactory solutions have been agreed upon yet. There is a wide range of research. Much of the work in this field has been knowledge acquisition. The advent of the age of digital information has brought the problem of knowledge reuse and knowledge evaluation. Our ability to analyze, evaluate and assist user in reusing knowledge present a great challenge of the next years. A new generation of computational techniques and tools is required to support the acquisition, the reuse and the evaluation of useful knowledge from the rapidly growing volume of information. All of these are to be discussed in this workshop. ******** Topics ******** A non-exhaustive list of topics for the workshop includes the following: ? Tools and techniques for knowledge acquisition, knowledge update and knowledge validation ? Semantic web inference methodologies ? Semantic knowledge portals ? Web-based approaches for knowledge management ? Agent-based approaches for knowledge management ? Software agents for semantic web ? Semantic web-based knowledge management ? Tools, languages, and techniques for semantic annotation ? Semantic searching ? Semantic brokering ? CSCW and cooperative approaches for knowledge management ? Agent-based approaches for knowledge management ? Evaluation of knowledge acquisition techniques ? Information and knowledge structures ? Languages and frameworks for knowledge and knowledge modeling ? Ontology creation, evolution, reconciliation, and mediation ? Ontology-based approaches for knowledge management ? Knowledge delivery methods ? Knowledge life cycle ? Knowledge and information extraction and discovery techniques ? Corporate Semantic Webs for knowledge management ? Peer-to-peer approaches for knowledge management ? Knowledge extraction from images/pictures ? Intelligent knowledge-based systems ? Decision support and expert systems ? Re-usability of software/knowledge/information ******************** Workshop Organizers ******************** Contact Point: Davy Monticolo(davy.monticolo at utbm.fr) Workshop Chairs: Paolo Ceravolo, Università degli Studi di Milano (Italy) Davy Monticolo, University of Technology UTBM (France) International Program Committee Hamid R. Arabnia, University of Georgia, USA Tomas Arredondo, Universidad Tecnica Federico Santa Maria (UTFSM), Valparaiso, Chile Azita Bahrami, Armstrong Atlantic State University, Savannah, Georgia, USA Djamal Benslimane, University of Lyon, France Valerie Camps, Universite Paul Sabatier, France Laurence Capus, Université Laval (Quebec), Canada Nathalie Chaignaud, INSA Rouen, France Ernesto Damiani, University of Milan, Italy Fabien Gandon, INRIA, France Samuel Gomes, UTBM, France Miguel Ángel Gómez-Nieto, University of Córdoba, Spain William Grosky, University of Michigan-Dearborn, USA Dusan Husek, Academy of Sciences of the Czech Republic, Czech Republic Abderrafiaa Koukam, UTBM, France Andy Marsh, Director, HoIP CIC, UK Jean-Charles Marty, University of Savoie, France Matsui Masayoshi, National Instisute of Advanced Industrial, Science and Technology, Japan Nada Matta, University of Technology UTT, France Abhijit Mitra, Indian Institute of Technology, India Bernard Moulin, Université Laval (Quebec), Canada Pit Pichappan, Annamalai University, India Carla Simone, University of Milano-Bicocca Italy Ritu Soni, Guru Nanak Girls College, India + Kurukshertra, University, India André Trudel, Acadia University, Canada Somkait Udomhunsakul, King Mongkutt?s Institute of Technology, Ladkrabang, Thailand Marja Naaranoja Vaasa, University of Applied Sciences, Finland Mariemma Yague, University of Malaga, Spain Laurence T. Yang, St. Francis Xavier University, Canada Chen Yuehui, University of Jinan, China Cecilia Zanni, INSA Strasbourg, France Antonio Zilli, e-Business Management School, Italy Ales Zivkovic, University of Maribor, Slovenia *************** Submission *************** You are invited to submit full length papers, not exceeding 8 pages in length, in two-column format including diagrams and references, following IEEE publication guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. Papers must be submitted electronically to the contact point in PDF format. All workshops will be published by IEEE in a single total conference volume and fully indexed by IEEE Xplore. Selected papers after extension will be published in the following journals: - Journal of Digital Information Management (JDIM) (ISSN 0972-7272) - Journal of Information Assurance and Security (JIAS) (ISSN 1554-1010) - International Journal of Computanional Intelligence Research (ISSN 0973-1873) - International Journal for Infonomics (IJI) (ISSN 1742-4712) - International Journal of Internet Technology and Secured Transactions (IJITST) (ISSN 1748-569X) All papers will be reviewed by at least three Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed below. Accepted papers will be published in the conference proceedings. At least one author of each paper must attend the workshop to present the paper. Camera Ready papers should follow the IEEE conference templates. Send your paper in format pdf to davy.monticolo at utbm.fr or in the SITIS Website : http://www.u-bourgogne.fr/SITIS/09/ Davy Monticolo Associate Professor SeT Laboratory University of Technology UTBM Department of Computing and Mechanical Engineering Site Web : http://sites.estvideo.net/davy.monticolo/ From bcseet at ieee.org Thu Jul 2 11:06:54 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Thu, 2 Jul 2009 21:06:54 +1200 Subject: CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence Message-ID: <009b01c9faf4$73948fd0$19695a79@yourbbc104cd11> Dear all, The submission due date for this workshop has been extended to July 21, 2009. The updated CFP has been included below for your kind information. Thank you and best regards, Boon-Chong Seet (Dr) Department of Electrical & Electronic Engineering Auckland University of Technology Private Bag 92006, Auckland 1142, New Zealand Phone: +64 9 921 9999 ext 5345 Fax: +64 9 921 9973 --------------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan In cooperation with: IEEE ComSoc Japan Chapter Call for Papers Sensors are windows to the physical world for ambient intelligence (AmI) applications. The recent emergence of networked sensors as a result of rapid advances in sensor technologies and wireless networks, have set the stage for the realization of smart environments where unobtrusive sensors, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring to humanistic and social endevours such as health and elderly care service provisioning. Following the success of the first SeNAmI at PDCAT 2008 in Dunedin, New Zealand, this workshop 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 ambient intelligence systems. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative sensor localization and target tracking - Context-aware reasoning and inference for sensor/RFID-based systems - Cross-layer design and optimization of sensor-based AmI systems - Intelligent agents for autonomous sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Security, trust, and privacy for autonomous smart spaces - Nature or bio-inspired designs for ambient sensing and intelligence - AmI architectures, platforms, applications, and services - Prototype or testbed implementation and deployment trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society proceedings guidelines to prepare your papers. Maximum page length will be limited to 6 pages. Accepted papers will be included in the conference proceedings of PDCAT'09, which will be published by IEEE Computer Society and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by IEE INSPEC, EI (Compendex), and Thomson ISI. Extended version of selected best papers will be considered for publication in a refereed international journal (TBA). Important dates Paper submission due : July 21, 2009 (extended) Acceptance notification : August 21, 2009 Camera-ready due : September 1, 2009 Workshop date : TBA For further details, please visit: http://senami.aut.ac.nz From jsachs at csee.umbc.edu Thu Jul 2 11:05:55 2009 From: jsachs at csee.umbc.edu (joel sachs) Date: Thu, 2 Jul 2009 05:05:55 -0400 (EDT) Subject: ISWC 2009 student fellowships Message-ID: Everyone - Happy Canada Day, and apologies for the massive multiple posting. Although nothing is yet official, I want prospective applicants to be aware that both the US National Science Foundation (NSF), and the Semantic Web Science Association (SWSA) plan to contribute funds to support participation by full-time students in ISWC 2009. SWSA and NSF anticipate providing 10,000 Euro and $20,000 respectively, with NSF funds being earmarked to support students enrolled at U.S. Universities. We anticipate that the SWSA funds will support 15 awards of 600-800 Euro, and that the NSF funds will support 13 awards of approximately $1500. Confirmation of the funding, as well as details on how to apply will be found at http://iswc2009.semanticweb.org/wiki/index.php/ISWC_2009_Student_Fellowships. Last year's student fellows made significant contributions to the conference, and we look forward to this year's fellows being similarly engaged. In selecting applications for travel support, preference will be given to students selected to participate in the doctoral consortium, followed by students who are first author on a paper accepted at the conference, followed by students who have other authorship on a conference or workshop paper. Applications are due August 21, with notification of success by Sept. 7. Questions should be directed to iswc09_fellowships at cs.umbc.edu . From jap at cs.bath.ac.uk Fri Jul 3 16:35:54 2009 From: jap at cs.bath.ac.uk (Julian Padget) Date: Fri, 03 Jul 2009 15:35:54 +0100 Subject: COIN@MALLOW special session Message-ID: <1246631754.6221.94.camel@jap-lap3> ========================================================================== *Special Session -- Call For Contributions* Reports of Ongoing Research Projects and Communications of Work in Progress ======================================================================== The MALLOW Workshop on Coordination, Organization, Institutions and Norms in Agent systems in On-line Communities (COIN) http://www.cs.bath.ac.uk/coin-at-mallow-2009/ will be held in Torino, IT, during week beginning 7th September, 2009 Invited speakers: * Dov Gabbay (Kings, London) * Alexandre Passant (DERI) Feature sessions: * Social semantic web working group (W3C - tbc) * Argumentation (COST project - tbc) We are aiming at an especially interactive meeting for this edition of COIN, in place of the "presentation followed by questions" model of conventional workshops. We therefore invite *in addition to the standard paper submissions* the submission of descriptions of on-going research projects and reports on work in progress that relate to COIN topics, where the inclusion of open problems is especially welcome as material to stimulate discussion. We would like to receive *two page* summaries, submitted via easychair at http://www.easychair.org, formatted in IEEE style (as for standard submissions, see details at above website). The deadline for submission is July 20th (reviews by 27th, camera ready by 31st). All the submissions will be reviewed, primarily for the purpose of identifying issues that could contribute to the discussion at the meeting, and feeding this information back to authors. The summaries will be included in the preliminary proceedings distributed at the meeting. Extended versions (full papers) may be submitted for full review for consideration for the 2009 COIN volume that will be published in the Springer LNCS series. Details will be provided in due course. COIN @ MALLOW organizers: Axel Polleres (DERI) - axel.polleres[AT]deri.org Julian Padget (University of Bath) - jap[AT]cs.bath.ac.uk From Thomas.Lukasiewicz at kr.tuwien.ac.at Fri Jul 3 20:12:09 2009 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Fri, 03 Jul 2009 19:12:09 +0100 Subject: CFP: 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009) Message-ID: <4A4E49F9.7010901@kr.tuwien.ac.at> CALL FOR PAPERS 5th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2009 In conjunction with the 8th International Semantic Web Conference Washington, D.C. - USA October 26, 2009 You are invited to participate in the upcoming 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 8th International Semantic Web Conference (ISWC) in October of 2009 at the Westfields Conference Center near Washington, D.C., USA. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. Audience -------- The intended audience for this workshop includes the following: • Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies. • Semantic web developers and researchers. • People in the knowledge representation community with interest in the Semantic Web. • Ontology researchers and ontological engineers. • Web services researchers and developers with interest in the Semantic Web. • Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé and Protégé-OWL developers. Topic List ---------- We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. • Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty • Logical formalisms to support uncertainty in Semantic Web languages • Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts • Architectures for applying plausible reasoning to the problem of ontology mapping • Using fuzzy approaches to deal with imprecise concepts within ontologies • The concept of a probabilistic ontology and its relevance to the Semantic Web • Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web • The role of uncertainty as it relates to Web services • Interface protocols with support for uncertainty as a means to improve interoperability among Web services • Uncertainty reasoning techniques applied to trust issues in the Semantic Web • Existing implementations of uncertainty reasoning tools in the context of the Semantic Web • Issues and techniques for integrating tools for representing and reasoning with uncertainty • The future of uncertainty reasoning for the Semantic Web Important Dates --------------- • August 10, 2009 Paper submissions due • September 2, 2009 Paper acceptance notification • September 30, 2009 Camera-ready papers due • October 20, 2009 Presentations due • October 26, 2009 5th Workshop on Uncertainty Reasoning for the Semantic Web Submission Details ------------------ The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2009 Conference, and committed to attend the URSW Workshop. Submissions to the Workshop are only accepted in electronic format and should be sent via the workshop’s submission site: http://www.easychair.org/conferences/?conf=ursw2009. Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2009. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2009 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. Presentation and Publication ---------------------------- URSW 2009 will be a half-day workshop divided into three sessions. Two of those sessions will be devoted to paper presentations, while the remaining session will be planned in a format that invites an open debate on the results, conclusions, recommendations, and follow-up work of the URSW-XG group. We also plan to convey a work meeting after the workshop, in case the last session need to be extended. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings, which will be available as a separate publication after the Conference. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. In addition, both technical and position papers will be published in the URSW Workshop proceedings, to be available after the ISWC 2009 Conference. Program Committee ----------------- The program committee is as follows (in alphabetical order): • Fernando Bobillo - University of Granada, Spain. • Silvia Calegari - University of Milano-Bicocca, Italy. • Rommel Carvalho - George Mason University, USA. • Paulo C. G. Costa - George Mason University, USA. • Fabio G. Cozman - Universidade de Sao Paulo, Brazil. • Claudia d'Amato - University of Bari, Italy. • Nicola Fanizzi - University of Bari, Italy. • Marcelo Ladeira - University of Brasilia, Brazil. • Kathryn B. Laskey - George Mason University, USA. • Kenneth J. Laskey - MITRE Corporation, USA. Member of the W3C Advisory Board. • Thomas Lukasiewicz - Oxford University, UK. • Anders L. Madsen - Hugin Expert A/S, Denmark. • Trevor Martin - University of Bristol, UK. • Matthias Nickles - University of Bath, UK. • Jeff Pan - University of Aberdeen, UK. • Yung Peng - University of Maryland, Baltimore County, USA. • Michael Pool - Convera, Inc., USA. • Livia Predoiu - Universität Mannheim, Germany. • Guilin Qi - University of Karlsruhe, Germany. • Carlos Henrique Ribeiro - Instituto Tecnológico de Aeronáutica, Brazil. • Dave Robertson - University of Edinburgh, UK. • Daniel Sánchez - University of Granada, Spain. • Sergej Sizov - University of Koblenz-Landau, Germany. • Pavel Smrz - Brno University of Technology, Czech Republic. • Giorgos Stoilos - National Technical University of Athens, Greece. • Umberto Straccia - Istituto di Scienza e Tecnologie dell' Informazione "A. Faedo", Italy. • Andreas Tolk - Old Dominion University, USA. • Peter Vojtas - Charles University, Czech Republic. • Johanna Voelker - University of Karlsruhe, Germany. Organizing Committee -------------------- The organizing committee is as follows (in alphabetical order): • Fernando Bobillo - University of Granada, Spain. • Paulo C. G. Costa - George Mason University, USA. • Claudia d'Amato - University of Bari, Italy. • Nicola Fanizzi - University of Bari, Italy. • Kathryn Laskey - George Mason University, USA. • Ken Laskey - MITRE Corporation, USA. • Thomas Lukasiewicz - Oxford University, UK. • Trevor Martin - University of Bristol, UK. • Matthias Nickles - Technical University of Munich, Germany. • Michael Pool - Convera, Inc., USA. • Pavel Smrz - Brno University of Technology, Czech Republic. We are looking forward to seeing you in D.C.! From mehdi at cs.uu.nl Sat Jul 4 12:02:27 2009 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Sat, 04 Jul 2009 12:02:27 +0200 Subject: EASSS'09 and MALLOW'09 Announcement Message-ID: <4A4F28B3.3070100@cs.uu.nl> EASSS'09 11th European Agent Systems Summer School Torino, Italy, August 31st - September 4th, 2009 MALLOW'09 2nd Multi-Agent Logics, Languages and Organizations Federated Workshops Torino, Italy, September 7st - 11th, 2009 URL: http://agents009.di.unito.it Announcement Following the success of the 1st edition, held in Durham, UK, in 2007, the 2nd Multi-Agent Logics, Languages, and Organisations - Federated Workshops (MALLOW 2009) will be held in Torino in 7-11 September 2009 together with the European Agent Systems Summer School (EASSS 2009) that will also take place in Torino the week before. EASSS, at its 11st edition in 2009, will offer 15 courses on various topics within the agents and multi-agent systems research area. Information about paper submission to MALLOW worshops, and the list and schedule of EASSS courses will be published soon in the web site, together with all the necessary information about the registration. EASSS and MALLOW will be low-cost events. -- 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 -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : EASSS-MALLOW.pdf Dateityp : application/pdf Dateigröße : 116641 bytes Beschreibung: nicht verfügbar URL : From Richard.Chbeir at u-bourgogne.fr Mon Jul 6 10:20:08 2009 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Mon, 6 Jul 2009 10:20:08 +0200 Subject: ACM MEDES: Call for Demonstrations and Industrial Papers Message-ID: <1246868408.4a51b3b88ad42@webmail.u-bourgogne.fr> ******************************************************************************* The demonstration and industrial proposals submission deadline is: July 31, 2009 ******************************************************************************* ########################################################################################## Call for Demonstrations and Industrial Papers The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES 2009) Technically sponsored by ACM SIGAPP, ACM SIGAPP.fr Chapter, IEEE France & IEEE SMCS with the cooperation of IFIP WG 2.6 http://sigappfr.acm.org/medes October 27-30, 2009 Lyon - France Description and Objectives --------------------------- The International ACM Conference on Management of Emergent Digital EcoSystems (EDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to the resource management of Digital Ecosystems. The conference seeks to address how current approaches and technologies can be evolved and adapted to this end and will include an informative and interactive session for the presentation of demonstrations and industrial papers describing original industrial applications, experiences and challenges. Proposals should be focused on the conference topics and related techniques. Topics ------- We solicit demonstrations and industrial proposals related but not limited to the following topics: - Digital Ecosystem Infrastructure - Web Technologies - Social Networks - Data & Knowledge Management Systems - Multimedia Information Retrieval - Ontology Management - Services systems and Engineering - E-Services, E-Learning, E-Humanities and E-Government - Emergent Intelligence - Game Theory - Networks and Protocols - Security & Privacy - Standardization and Extensible Languages - Human-Computer Interaction - Business Intelligence - B2B, B2C, B2A, E-Commerce, E-Business, E-Marketing and E-Procurement - Digital Library - Open Source Demonstrations and Industrial Proposal Submissions -------------------------------------------------- Submissions must follow ACM format guidelines and must be uploaded in PDF format using the conference website. Proposals must be no more than four pages long. This page limit includes all parts of the paper: title, abstract, body, and bibliography. Submissions will be peer-reviewed by at least 2 peer reviewers. Selection criteria will include relevance, significance, impact, technical soundness, and quality of presentation. At least one author should attend the conference to present the proposal. Accepted proposals will appear in the final proceedings of the main conference published by ACM and indexed by the ACM Digital Library. Demonstration proposals must clearly describe what will be demonstrated, how the contribution will be illustrated interactively and how the audience will interact in order to understand the concepts being demonstrated. Optionally, proposals can include a URL that shows a preliminary version of the demonstration such as screenshots or another interactive program. Important Dates ---------------- - Demo and Industrial Proposal Submission: July 31, 2009 - Notification: September 5, 2009 - Camera Ready Proposals Due and Registration: September 15, 2009 - Conference Dates: October 27-30, 2009 Committees ----------- General Chair ------------- Nicolas Spyratos, Paris-Sud University, France Program Chairs -------------- Epaminondas Kapetanios, University of Westminster, UK Agma Traina, University of Sao Paulo, Brazil Workshops Chairs ---------------- Yinghua Ma, University of Jiaotong, China William I. Grosky, University of Michigan-Dearborn, USA Tutorial Chair -------------- Dominique Laurent, University of Cergy-Pontoise, France Publicity Chair --------------- Ghislain Sillaume, CVCE, Luxembourg Local Organizing Committee Chairs --------------------------------- Nicolas Lumineau, Lyon 1 University, France Cecile Favre, University of Lyon2, France International Program Committee: (see the web site for the full list) -- From simon.miles at kcl.ac.uk Mon Jul 6 13:32:38 2009 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Mon, 6 Jul 2009 12:32:38 +0100 Subject: Call for proposals: Agent Technical Fora at EUMAS 2009 Message-ID: Call for Proposals Agent Technical Fora Ayia Napa, Cyprus, 16 December 2009 The Agent Technical Fora have been created by AgentLink III following up on previous special interest groups in AgentLink and AgentLink II European networks. A Technical Fora session consists of several working groups called Technical Forum Groups. These groups of researchers and developers share an interest in a specific sub-area of agent and multi-agent technology. Since the end of AgentLink, the Technical Fora have been organized jointly to the EUMAS workshop, starting last year. There have been six successful editions of the Agent Technical Fora: Rome, Italy, 30 June - 2 July 2004; Ljubljana, Slovenia, 28 February - 2 March 2005; Budapest, Hungary, 15-17 September 2005; Lisbon, Portugal, 13 December 2006; Hammamet, Tunisia, 12 December 2007; and Bath, UK, 17 December 2008. The Seventh Technical Fora will take place in, Ayia Napa, Cyprus on 16 December 2009 as a joint event with EUMAS 2009. The Seventh Technical Fora will be a half-day event (at most a full day if needed/required/possible) and will be held the day before the EUMAS workshop (17–18 December 2009). Since there is no available funding for the participants to the Fora, coupling the event with the workshop enables the participants to the workshop to attend to the meetings without further costs. This will make possible for the interesting and broad discussions, which have been the mark of the various TFGs, to continue. The aims of the Technical Fora are: - to facilitate the dynamic development of communities around specific areas of strategic importance for European agent R&D, enabling them to share common problems, issues, and results in a manner that other meetings (e.g., academic workshops and conferences) do not allow for; - to respond dynamically to fast-changing developments; - to establish links with related areas within computing as well as other research disciplines, such as economics and biology; - to encourage common actions among participants, leading to the promotion of agent technology in projects and standards. The following are some groups which met in the previous TF: - AOSE: Agent-Oriented Software Engineering - BIOAGENTS: Agents in Bioinformatics - CASA: Coordinating Agent Standardisation Activities - PROMAS: Programming Multi-Agent Systems - SELFORG: Self-organisation in Multi-Agent Systems - SWTOOL: Software tools to build Regulated Multi-Agent Systems - TRUST: Trust for Open Collaborative Agent Business Environments Proposal Submission Guidelines ****************************** Proposals for holding a TFG in Ayia Napa should be sent to the Forum Chairs: tf2009-chair at irit.fr, with the following information: - Title of the proposed TFG. - Scope and Aims of the TFG activity (short description, max. 200 words). - TFG Chair: Name, affiliation and mail/Web address of the proposed TFG Chairperson. - Other TFG Promoters: Names, affiliations and mail/Web addresses of at least three other researchers committing to participate to the TFG activity (from at least two different institutions, other than the TFG Chair's one). - Related Activities, Connections & Perspectives of TFG Chair & Promoters: Why the proposers should be the ones that take care of such a TFG? (a couple of paragraphs and if possible a URL to a personal Web page for each proposer). - Assessment of Potential Interest: Who is going to be interested - individuals, groups and institutions? - "Outline plan" of TFG activities: Which sort of actions will be pursued before, during and after the TFG meeting? - Expected duration of TFG: half day (afternoon) or whole day. Dates ***** TFG Proposal Submission: 24 October 2008 TFG Notification: 31 October 2008 TFG Program: 21 November 2008 TFG Takes Place in Ayia Napa, Cyprus: 16 December 2008 Contacts ******** Technical Forum Chairs: tf2009-chair at irit.fr Massimo Cossentino, ICAR Institute, Palerma, Italy Ruben Fuentes, Universitad Complutense, Madrid Marie-Pierre Gleizes, IRIT, Université Paul Sabatier, Toulouse Simon Miles, King's College London -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From fsvweb at dimi.uniud.it Tue Jul 7 09:18:09 2009 From: fsvweb at dimi.uniud.it (fsvweb at dimi.uniud.it) Date: Tue, 7 Jul 2009 09:18:09 +0200 Subject: GAMES 2009: Final Call for Contributions Message-ID: <20090707071809.622F03FC384@sole.dimi.uniud.it> GAMES 2009 Annual Workshop of the ESF Networking Programme on Games for Design and Verification September 14 - 17, 2009 Udine, Italy http://games2009.dimi.uniud.it/ CALL FOR CONTRIBUTIONS GAMES is an European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic, and automata theory. For details, see www.games.rwth-aachen.de/ PROGRAMME: As in previous years, GAMES 2009 will be an informal workshop, without proceedings. Its programme consists of three invited introductory tutorial (90 min), 5 invited advanced tutorials (90 min), contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games. SCOPE: The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic for the design and verification of computing systems. SUBMISSIONS: Researchers who would like to present a talk at GAMES 2009 are invited to submit an extended abstract of up to two pages at https://fsv.dimi.uniud.it/Games2009_submission/ by July 15th 2009. Decision about acceptance will be made by August 1st 2009. SUPPORT: We will be able to cover travel and accomodation costs for a limited number of participants (especially students). For information, please contact games09-travel at dimi.uniud.it There will be no registration fee. INTRODUCTORY TUTORIALS: - Olivier Gossner, CNRS, Paris-Jourdan Sciences Economiques, France - Christof Loeding, University of Aachen, Germany - Angelo Montanari and Nicola Vitacolonna, University of Udine, Italy ADVANCED TUTORIALS - Mikolaj Bojanczyk, University of Warsaw, Poland - Joseph Y. Halpern, Cornell University, USA - Salvatore La Torre, University of Salerno, Italy - Guy McCusker, University of Bath, UK - Peter Bro Miltersen, Aarhus University, Denmark LOCATION: The workshop will be held at Udine Castle and at the University of Udine. The web site for the workshop is at http://games2009.dimi.uniud.it/. PROGRAMME COMMITTEE: - Parosh Abdulla (Uppsala) - Erich Graedel (Aachen) - Angelo Montanari (Udine) - Luke Ong (Oxford) - Wieslaw Zielonka (Paris) From Carlos.Areces at loria.fr Tue Jul 7 11:11:28 2009 From: Carlos.Areces at loria.fr (Carlos.Areces at loria.fr) Date: Tue, 07 Jul 2009 11:11:28 +0200 Subject: ESSLLI 2010: Call for Course and Workshop Proposals Message-ID: <20090707111128.13875wzmmbi4js5c@webmail.loria.fr> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August, 2010, University of Copenhagen, Denmark %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as ESSLLI?2009 website: http://esslli2009.labri.fr/. The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams: -Language and Computation -Language and Logic -Logic and Computation We also welcome proposals that do not exactly fit one of these categories. PROPOSAL SUBMISSION: All proposals should be submitted, using a prescribed form that will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010, through EasyChair on http://www.easychair.org/conferences/?conf=esslli2010, not later than ******* Monday, September 7, 2009 ******* Proposers must hold PhD or equivalent degrees and should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. GUIDELINES FOR COURSE AND WORKSHOP PROPOSALS: ALL COURSES: Courses are given over one week (Monday-Friday) and consist of five 90 minutes sessions, one per day. Course proposals should give a brief overview of the topic and a tentative content and structure of the course, as well as state the course?s objectives and clearly specify prerequisites, if any. Lecturers who want to offer a long, two-week course, should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Jun 30, 2010: Deadline for receipt of camera-ready course material by the ESSLLI?2010 local organizers FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should require no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the course field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if any). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: Workshops run over one week and consist of five 90-minutes sessions, one per day. The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Nov 02, 2009: Deadline for submission of the Calls for Papers to ESSLLI?2010 PC chair Nov 09, 2009: Workshop organizers send out First Call for Papers Jan 25, 2010: Workshop organizers send out Second Call for Papers Mar 08, 2010: Workshop organizers send out Third Call for Papers Apr 12, 2010: Suggested deadline for submissions to the workshops May 24, 2010: Suggested deadline for notification of workshop contributors Jun 30, 2010: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI?2010 Local Organizers. Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: A form for submitting course and workshop proposals will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010. The proposers are required to submit the following information: * Name(s) of proposing lecturer(s)/ workshop organizer(s), at most two per course or workshop * Contact addresses, homepages, phones, and fax numbers (if available), of proposing lecturer(s)/ workshop organizer(s); * Title of proposed course/workshop; * Type (workshop, foundational, introductory, or advanced course) * Stream (one of: Language & Computation, Language & Logic, Logic & Computation) * Description (in at most 300 words, provide justification, relevance to ESSLLI, proposed contents and structure of the courses, resp. expected participation in the workshops) * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, course objectives and prerequisites, as well as the lecturers teaching experience relevant to the proposed course, and generally in the interdisciplinary field scope of ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to fixed maximum amounts, that will be communicated to the lecturers upon notification). It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. Please note that in case a course or workshop is to be taught/organized by two lecturers, a lump sum will be reimbursed to cover travel and accommodation expenses for one lecturer; the splitting of that sum is up to the lecturers. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI?2010 lower. ESSLLI 2010 PROGRAM COMMITTEE: Chair: Valentin Goranko (Technical Univ. of Denmark) Area Specialists: Language and Computation: Walter Daelemans (Univ. of Antwerp) Sabine Schulte im Walde (Univ. of Stuttgart) Language and Logic: Yoad Winter (Utrecht Univ.) Raffaella Bernardi (Free Univ. of Bozen-Bolzano) Logic and Computation: Anuj Dawar (Univ. of Cambridge) Ken Shan (State Univ. of New Jersey, Rutgers) ESSLLI 2010 Program Committee dedicated email account: esslli2010 at gmail.com ESSLLI 2010 ORGANIZING COMMITTEE: Chair: Vincent Hendricks (University of Copenhagen) Organizing Manager: Rasmus Rendsvig ESSLLI 2010 website: www.hum.ku.dk/esslli2010 From lcc at cs.indiana.edu Sat Jul 4 03:12:00 2009 From: lcc at cs.indiana.edu (Logic and Computational Complexity) Date: Fri, 3 Jul 2009 21:12:00 -0400 Subject: LCC Call for Participation Message-ID: <200907040112.n641C0OM030984@tank.cs.indiana.edu> [ Please broadcast/post/forward. Apologies for duplicates] LCC'09 CALL FOR PARTICIPATION The Tenth International Workshop on Logic and Computational Complexity (LCC'09, www.cs.indiana.edu/lcc) will be held in Los Angeles on August 10, 2009, as an affiliated meeting of LiCS'09 (www2.informatik.hu-berlin.de/lics/lics09), and in conjunction with SAS'09 (sas09.cs.ucdavis.edu). LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The LCC'09 program consists of invited lectures by Andrei Bulatov, Martin Hofmann, Phokion Kolaitis, Lars Kristiansen, and Michel de Rougemont, as well as contributed papers. The full program is available at www.cs.indiana.edu/lcc/09program.pdf. For additional information see www.cs.indiana.edu/lcc, or email inquiries to lcc at cs.indiana.edu. Further information about previous LCC meetings can be found at http://www.cis.syr.edu/~royer/lcc. PROGRAM COMMITTEE * Patrick Baillot (CNRS-ENS Lyons, Co-chair) * Markus Lohrey (Leipzig, Co-Chair) * Albert Atserias (UP de Catalunya) * Pablo Barcelo (U de Chile) * Arnold Beckmann (Swansea) * Lauri Hella (Tampere) * Andrei Krokhin (Durham) * Chris Pollett (San Jose SU) STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair), Daniel Leivant (Indiana U, Co-chair), Robert Constable (Cornell), Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon), Martin Hofmann (U Munich), Neil Immerman (U Mass. Amherst), Neil Jones (Copenhagen), Bruce Kapron (U Victoria), Jean-Yves Marion (LORIA Nancy), Luke Ong (Oxford), Martin Otto (Darmstadt), James Royer (Syracuse), Helmut Schwichtenberg (U Munich), and Pawel Urzyczyn (Warsaw) From bcseet at ieee.org Tue Jul 7 13:21:22 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Tue, 7 Jul 2009 23:21:22 +1200 Subject: CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence Message-ID: <000701c9fef5$759d1040$29b15a79@yourbbc104cd11> --------------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan In cooperation with: IEEE ComSoc Japan Chapter Call for Papers Sensors are windows to the physical world for ambient intelligence (AmI) applications. The recent emergence of networked sensors as a result of rapid advances in sensor technologies and wireless networks, have set the stage for the realization of smart environments where unobtrusive sensors, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring to humanistic and social endevours such as health and elderly care service provisioning. Following the success of the first SeNAmI at PDCAT 2008 in Dunedin, New Zealand, this workshop 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 ambient intelligence systems. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative sensor localization and target tracking - Context-aware reasoning and inference for sensor/RFID-based systems - Cross-layer design and optimization of sensor-based AmI systems - Intelligent agents for autonomous sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Security, trust, and privacy for autonomous smart spaces - Nature or bio-inspired designs for ambient sensing and intelligence - AmI architectures, platforms, applications, and services - Prototype or testbed implementation and deployment trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society proceedings guidelines to prepare your papers. Maximum page length will be limited to 6 pages. Accepted papers will be included in the conference proceedings of PDCAT'09, which will be published by IEEE Computer Society and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by IEE INSPEC, EI (Compendex), and Thomson ISI. Extended version of selected best papers will be considered for publication in a refereed international journal (TBA). Important dates Paper submission due : July 21, 2009 (extended) Acceptance notification : August 21, 2009 Camera-ready due : September 1, 2009 Workshop date : TBA For further details, please visit: http://senami.aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alessandra.mileo at nomadis.unimib.it Tue Jul 7 18:36:56 2009 From: alessandra.mileo at nomadis.unimib.it (Alessandra Mileo) Date: Tue, 7 Jul 2009 18:36:56 +0200 Subject: CALL FOR SHORT PAPERS: LPNMR Workshop on Logic-Based Interpretation of Context: Modelling and Applications (Log-IC) Message-ID: <72E2F501-E3E1-4B76-9CA6-F5589529A45C@nomadis.unimib.it> [Apologies for cross-postings of this CFP. Please send to interested colleagues and students] Dear collegues, apparently there was a mistake in our previous communication, since we extended submissions to our Log-IC workshop only for Short Papers (2 pages). There will be no poster session but rather a 10 minutes presentation with slides is required for each accepted short papers. The correct communication and CFP follows. Best, Alessandra and Jim --------------------------------------------------------------------------------------------------------------------------------------------------------- Due to some requests we decided to include short papers in the CFP of the LOG-IC09 workshop, to be held in conjunction with LPNMR in Potsdam. It seems that there are several preliminary works on logic-based context modeling and context-related reasoning, although this is a rather new perspective and complete results may not be available yet. We think the workshop is an occasion to discuss these ideas with the logic community and have an immediate feedback during our panel session, thus we invite you to submit both theoretical and application- targeted considerations in form of a short paper. Submission deadline for short paper is 31st July 2009. Limit is 2 pages. The complete CFP follows. Thanks, Alessandra Mileo Jim Delgrande --------------------------------------------------------------------------------------------------------------------------------------------------------- 3rd Call Papers Log-IC 2009 First International Workshop on Logic-Based Interpretation of Context: Modelling and Applications http://www.nomadis.unimib.it/flex/cm/pages/ServeBLOB.php/L/EN/IDPagina/227 14 September 2009 In conjunction with LPNMR 2009 http://www.cs.uni-potsdam.de/lpnmr09/ Potsdam, Berlin 14-19 September 2009 SUBMISSION DEADLINE: 31st July 2009 --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration. As well, the theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning with more recently emerging areas such as ontologies, including the semantic web, and approaches to belief change. While implemented context-representation models are generally domain-dependent and do not support powerful inference, declarative logic-based models fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge- or databases. The incompleteness and heterogenous nature of such data and the need for state-based context interpretation in dynamic systems suggest that nonmonotonic reasoning techniques can be a powerful tool for effective context-dependent reasoning. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite proposals that assume hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts. --------------------------- Objectives --------------------------- This workshop will provide a forum for researchers investigating context-aware applications and context-based reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2009 will also propose targeted discussions on the topic. Holding the workshop in conjunction with LPNMR has the additional advantage of reaching out to the logic programming community, facilitating collaboration between different formalisms for context- based reasoning and enhancing nonmonotonicity combined or compared with other approaches to context interpretation. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modelling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Ontologies and nonmonotonig reasoning in context representation - Hybrid formalisms for reasoning within (distributed) contexts - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications: Independent-Living Systems, Activity Monitoring, Smart Environments, Context-Based Interaction --------------------------- Submissions --------------------------- Short papers are subjected to a faster revision process, limit is 2 pages in LNCS/LNAI format. To submit a short paper, send the PDF version of the paper to both Program Chairs. At least one author of accepted papers should attend the Workshop and give a 10 minutes presentation with slides. Short papers will be included in the online proceedings. --------------------------- Important dates --------------------------- Short Papers submissions: 31st July 2009 Notification of Acceptance: 8th August 2009 Workshop: 14th September 2009 ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy James P. Delgrande School of computing Science Simon Fraser University Burnaby, Canada Davide Merico Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Alessandra Latini Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Program Chairs: Alessandra Mileo, University of Milan-Bicocca, Italy, email: alessandra.mileo at disco.unimib.it James P. Delgrande, Simon Fraser University, Canada, email: jim at cs.sfu.ca Program Committee: - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Stefania Bandini, University of Milan-Bicocca, Italy - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Amedeo Cesta, ISTC-CNR, Rome, Italy - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, Department of Mathematics, University of Calabria - Stijn Heymans, Vienna University of Technology, Austria - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Alessandra Mileo, University of Milan-Bicocca, Italy - Pascal Nicolas, University of Angers, France - Axel Polleres, University of Galway, Ireland - Torsten Schaub, University of Potsdam, Germany - Hans Tompits, Vienna University of Technology, Austria - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria ----------------------------------------------------------- Dr. Alessandra Mileo Research Assistant, Nomadis Lab. Dept. of Informatics, Systems and Communication University of Milan-Bicocca, Italy email: alessandra.mileo at disco.unimib.it email: alessandra.mileo at nomadis.unimib.it tel: +39 02 6448 7887 ----------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pierregrenon at gmail.com Wed Jul 8 16:10:18 2009 From: pierregrenon at gmail.com (Pierre Grenon) Date: Wed, 8 Jul 2009 15:10:18 +0100 Subject: CFP: OneSpace 2009 --- Blending Physical and Digital Spaces on the Internet Message-ID: --------------------------------- CALL FOR PAPERS: OneSpace2009 [ apologies for multiple copies ] --------------------------------- 2nd International Workshop on Blending Physical and Digital Spaces on the Internet (OneSpace2009) http://onespace.ace.ed.ac.uk/2009/ In conjunction with the Future Internet Symposium 2009 (FIS2009) http://www.fis2009.org/ September 1, 2009, Berlin (Germany) ++ Deadline for submission: Aug 07, 2009 ++ ++ Full papers and position papers invited ++ ============================================================ The Second International Workshop on Blending Physical and Digital Spaces on the Internet (OneSpace2009) will be held in conjunction with the Future Internet Symposium 2009 (FIS2009) in Berlin on 1 September 2009. We welcome technical papers and shorter position papers addressing the identification and study of the complex relationship of the Internet with space, place, geography and distance, whether physical or virtual. Technologies as well as novel ideas, experiments, and insights originating from multi-disciplinary viewpoints, including internet, computer and GI sciences, humanities, digital media, and social sciences are welcome. from diverse research fields: Important dates --------------- * Submission deadline: Aug 07, 2009 * Acceptance Notification: Aug 17, 2009 * Camera-ready paper: Aug 24, 2009 * Workshop date: Sep 01, 2009 Description ---------------- OneSpace proposes to contribute to the cross-domain exploration of how Internet technologies and spatial notions co-exist and evolve. One of the most important effects of the Internet and of the Web has been to relax spatial and temporal constraints on human activities ñ the so called "space-time collapse" ñ allowing fast global access to information as well as to physical resources and services. Recently this movement accelerated, due to the success of mobile devices such as the iPhone allowing almost ubiquitous mobile access to the Internet, to the generalisation of digital social interaction through platforms such as Facebook and Twitter, to the virtual environments provided on gaming platforms enabled by the Internet, instant communication supported by popular VOIP providers such as Skype, and an emerging web of things. Many now spend as much time involved in digital spaces over the Internet than in "real" ones, and continuously update the digital with elements of their physical life in "lifestreaming" process. Moreover reality itself is augmented by information collected from the Internet, through the increasing availability of GPS devices that ease location based search, or through "magic-lense" based applications that add information to recognized physical elements, or reconstruct them in digital space from various media collected on the Web. While allowing users to experience a profound modification of their interaction space, the Internet has familiarised us with new topologies ñ alongside the prominent hyperlinked topology exhibited by the Web, Deleuze and Guattaris's "rhizome", which has become the model of many new forms of organization ñ leading to the creation of new virtual spaces and communities. Indeed, P2P networks of devices create semi-private sharing environments; (micro-) blogging and lifestreaming induces new notions of spatiotemporal as well as social proximity, while sensor and controller networks enable ubiquitous access, sensing and interaction with the real world. Furthermore, Virtual globes and GIS technologies continue to improve and to blur the boundaries between spatial representation and perception by providing mashup opportunities, photorealistic visual navigation, and three-dimensional representations. Many agree with what came to be known as Waldo Toblerís first law of Geography: "Everything is related to everything else, but near things are more related than distant things." The Internet, by establishing new connections between geographically distant entities cannot but provide us with a radically new image of Space and Time that this workshop is aiming to explore in an interdisciplinary way. OneSpace proposes to take the measure of the aforementioned developments and their repercussion as well as to identify trends and directions for a new future blended Internet. Topics of interest ------------------ Topics of interest include, but are not limited to: * Representation of physical/virtual spaces and topologies * Spatiotemporal knowledge representation (ontologies and reasoning) * The 3D and 4D Web * Location-based services * The Web of sensors * New-generation Web mapping frameworks and applications * Mobility and ubiquity * Application of Linked Data for physical and digital spaces * Digital Sense of Place and Presence * Visibility and privacy in the Internet of people and things Submissions ----------- The following types of contributions are welcomed: * Position papers, 4 pages max. * Technical papers, 4-10 pages. Workshop Organizers ------------------- * Vlad Tanasescu - The University of Edinburgh, UK (contact) * Pierre Grenon ñ The Open University, UK * Arno Scharl - MODUL University Vienna, Austria * Erik Wilde - UC Berkeley, California, USA Program Committee ----------------- (provisional, please check the website for updates) * Catherine Dolbear - Sharp Laboratories of Europe, UK * Stefan Dietze - The Open University, UK * Hans W. Guesgen - Massey University, New Zealand * Vinny Reynolds - National University of Ireland * Dumitru Roman - STI Innsbruck, Austria * Mike Worboys - University of Maine, USA Further information ------------------- Updated information about the workshop can be found on the workshop website: http://onespace.ace.ed.ac.uk/2009/ For further information, please send an email to onespace2009 at easychair.org From DHui at uno.edu Thu Jul 9 09:58:07 2009 From: DHui at uno.edu (David Hui) Date: Thu, 9 Jul 2009 02:58:07 -0500 Subject: ICCE-17 Honolulu, Quick Final Call for Abstracts Message-ID: <34C25DE6A5835B46A29B60ABC4F205F761EFA29CB4@MAIL25CLUSTER.uno.edu> ICCE-17 Honolulu, July 26-August 1, 2009 17th International Conference on Composites or Nano Engineering, Honolulu, Hawaii www.uno.edu/~engr/composite if the above web does not work, try following http://myweb.polyu.edu.hk/~mmktlau/ICCE/ICCE_Main.htm event at in.tu-clausthal.de QUICK FINAL CALL FOR ABSTRACTS dated July 9, 2009 We are STILL SELECTIVELY ACCEPTING NEW PAPER TITLES due to some unavoidable last minute cancellations. Please inform interested research colleagues and friends to present papers at this ICCE-17 Honolulu. We welcome all professors to submit papers. Whenever possible, priority will be given to students doing theses research, young visiting scholars, and junior faculty members who need visibility and learning experience. Interested authors should IMMEDIATELY submit detailed two-page abstracts to David Hui, each page has two column format, and abstract must have as many results as possible, follow abstract format in web page. All abstracts will be peer reviewed and published as short papers in World Journal of Engineering. We allow only one paper per presenter. We prefer presenter as lead author. Cheers David Hui Chair ICCE-17 Honolulu Thursday, July 9, 2009 dhui at uno.edu to Cancel write cancel -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From torsten at cs.uni-potsdam.de Thu Jul 9 07:58:40 2009 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Thu, 9 Jul 2009 07:58:40 +0200 (CEST) Subject: LPNMR'09 Registration Message-ID: <20090709055840.3A06F207E@raz.haiti.cs.uni-potsdam.de> [Sorry, in case of multiple postings] CALL FOR PARTICIPATION: LPNMR’09 10th International Conference on Logic Programming and Nonmonotonic Reasoning Potsdam, Germany, 14-18 September, 2009 http://www.cs.uni-potsdam.de/lpnmr09 ON-LINE REGISTRATION for the conference is now open at: http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=registration The deadline for EARLY REGISTRATION is August 14, 2009. The TECHNICAL PROGRAM includes 25 technical, 4 original application, 10 system description, and 13 short papers. Moreover 13 summaries of existing successful application papers will be presented. The SPECIAL THEME of LPNMR'09 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming in particular. The theme is reflected by dedicating an entire day of the conference to applications. Apart from special sessions devoted to original and significant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. The presentations on applications are accompanied by two panels, one on existing and another on future applications of ASP/LPNMR. The theme of the conference is also reflected by our invited talks given by - Armin Biere (Johannes Kepler University, Austria), - Alexander Bockmayr (Freie Universitaet Berlin, Germany), and - Ilkka Niemelae (Helsinki University of Technology, Finland). The conference is accompanied by several workshops and hosts the award ceremony of the Second ASP Competition, run prior to the conference by Marc Denecker's research group at the University of Leuven, Belgium. The list of accepted papers can be found on the conference website at: http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=accepted-papers We really look forward to welcoming you at LPNMR'09 in Potsdam, the heart of Prussia, and the city with the highest density of academic and scientific facilities in Germany! From joost.vennekens at cs.kuleuven.be Fri Jul 10 15:36:09 2009 From: joost.vennekens at cs.kuleuven.be (Joost Vennekens) Date: Fri, 10 Jul 2009 15:36:09 +0200 Subject: CFP: KR 2010 Message-ID: <529D3682-F848-4E8B-9F3D-82A2CFACE3A5@cs.kuleuven.be> CALL FOR PAPERS (PRELIMINARY) *** KR 2010 *** Twelfth International Conference on Principles of Knowledge Representation and Reasoning Toronto, Canada, May 9-13, 2010. Collocated with AAMAS-10, NMR-10, ICAPS-10, FOIS-10 (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada) Website: http://kr.org/KR2010/ Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting field of human endeavour. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. Explicit representations of knowledge manipulated by reasoning engines are an integral and crucial component of intelligent systems. Semantic web technologies, the design of software agents and bio-Informatics technologies, in particular, provide significant challenges for KR&R. We intend KR2010 to be a forum for the exchange of new ideas, issues, and results among the community of researchers in the principles and practices of KR&R systems. We encourage papers presenting substantial new results in the principles of KR&R systems that clearly contribute to the formal foundations or show the applicability of the results to implemented or implementable systems. We also encourage "reports from the field" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. For the first time, KR will be collocated with AAMAS. We thus encourage papers that are relevant to both KR&R and Multi Agent Systems. Topics of interest include: * Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics * Nonmonotonic logics, Default logics, Conditional logics, Argumentation * Temporal reasoning and Spatial reasoning * Causal reasoning, Abduction, Model-based diagnosis * Reasoning about actions and change, Action languages, Situation calculus, Dynamic logic * Reasoning, planning, or decision making under uncertainty * Representations of vagueness, Many-valued and fuzzy logics * Graphical representations for belief and preference * Reasoning about belief and knowledge, Epistemic and Doxastic logics, Multi-agent logics of belief and knowledge * Logic programming, Constraint logic programming, Answer set programming * Computational aspects of knowledge representation * Concept formation, Similarity-based reasoning * Belief revision and update, Belief merging, Information fusion * Description logics, Ontologies * Qualitative reasoning, Reasoning about physical systems * Decision theory, Preference modeling and representation, Reasoning about preferences * KR and Autonomous agents: Intelligent agents, Cognitive robotics * KR and Multi-agent systems: Negotiation, Group decision making, Cooperation, Interaction * KR and game theory * Natural language processing, Summarization, Categorization * KR and Machine learning, Inductive logic programming, Knowledge discovery and acquisition * WWW querying languages, Information retrieval and web mining, Website selection and configuration * Philosophical foundations and psychological evidence * Multi-sorted and Order-sorted representations and reasoning * KR and Semantic Web KR 2010 Important Dates (Preliminary) * Submission of title and abstract: November 25, 2009 * Paper submission deadline: December 1, 2009 * Notification of acceptance: January 20, 2010 * Camera-ready papers due: February 21, 2010 * KR 2010 Conference: May 9-13, 2010 Conference Chairs General Chair: Miroslaw Truszczynski PC Chairs: Fangzhen Lin and Uli Sattler Local Chair: Mikhail Soutchanski Doctoral Consortium Chair: Yan Zhang Publicitiy Chair: Joost Vennekens Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From radoslaw.katarzyniak at pwr.wroc.pl Mon Jul 13 21:38:17 2009 From: radoslaw.katarzyniak at pwr.wroc.pl (Radoslaw Katarzyniak) Date: Mon, 13 Jul 2009 21:38:17 +0200 Subject: 1st Call for Workshops Proposals - ACIIDS 2010 Message-ID: <7150bc6330db.4a5ba949@pwr.wroc.pl> 1st C A L L F O R W O R K S H O P S P R O P O S A L S ACIIDS-2010 Workshops The 2nd Asian Conference on Intelligent Information and Database Systems (ACIIDS-2010) Website: http://aciids2010.hueuni.edu.vn/ 24-26 March, 2010 Hue City, Vietnam ******************************************************* The workshop chair of ACIIDS-2010 invites proposals for workshops to be held in conjunction with ACIIDS-2010 conference. The workshops are aimed to provide opportunities for researchers, professionals and students to meet and discuss selected topics in the ACIIDS conference scope but not limited. Workshops will be either full day or half day. The workshops are part of the ACIIDS conference and also part of the conference registration. At least one of the workshop organizers must commit to attend and run the workshop. Workshops proceedings will be published by Springer LNCS/LNAI series. ACIIDS-2010 Program Committee will also help workshop organizers finding high quality scientific journals interested in publishing extended versions of selected papers. ------------------------ SUBMISSION REQUIREMENTS ------------------------ o Title of the workshop o The names, addresses and emails of the workshop organizers o A brief description of the workshop goals and focus o The expected number of papers and attendees and planned length of the workshop o A description of plans for publicity and places for dissemination (i.e. mailing lists) o Other possible sponsors for the workshop besides ACIIDS's ---------------- IMPORTANT DATES ---------------- o Workshop proposals due: 31 Jul. 2009 o Notification of acceptance: 10 Aug. 2009 Workshop proposals should be sent to aciids2010 at hueuni.edu.vn For further information, please contact A/Prof. Dr. Radoslaw Katarzyniak Wroclaw University of Technology Wybrzeze Wyspianskiego 27 50-370 Wroclaw, Poland e-mail: radoslaw.katarzyniak at pwr.wroc.pl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Jules.Desharnais at ift.ulaval.ca Mon Jul 13 23:44:53 2009 From: Jules.Desharnais at ift.ulaval.ca (Jules Desharnais) Date: Mon, 13 Jul 2009 17:44:53 -0400 Subject: Call for papers: Mathematics of Program Construction Message-ID: <4A5BAAD5.7020200@ift.ulaval.ca> FIRST CALL FOR PAPERS 10th International Conference on Mathematics of Program Construction MPC 2010 Québec City, Canada, 21-23 June 2010 http://mpc-amast2010.fsg.ulaval.ca/ Colocated with AMAST 2010 (23-26 June 2010) BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST '04), Kuressaare, Estonia (2006, colocated with AMAST '06) and Marseille, France (2008). The 2010 conference will be held in Lac-Beauport, a suburb of Québec City, Canada, and will be colocated with AMAST '10 (23-26 June 2010). INVITED SPEAKERS Roland Backhouse, University of Nottingham, UK. Others to be announced later. IMPORTANT DATES * Submission of abstracts: 7 December 2009 * Submission of full papers: 14 December 2009 * Notification of authors: 20 February 2010 * Camera-ready version: 20 March 2010 TOPICS Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security and program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident. SUBMISSION Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 7 December 2009. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 14 December 2009. There is no official page limit, but authors should strive for brevity. The web-based system EasyChair will be used for submission (https://www.easychair.org/login.cgi?conf=mpc2010). Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. In particular, they must not be submitted to AMAST 2010. Accepted papers must be presented at the conference by one of the authors. The proceedings of MPC'10 will be published in the Lecture Notes in Computer Science series of Springer-Verlag. After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. PROGRAMME COMMITTEE Jules Desharnais Université Laval, Québec, Canada (chair) Philippe Audebaud Ecole Normale Supérieure Lyon, France Ralph-Johan Back Abo Akademi University, Finland Eerke Boiten University of Kent, UK Sharon Curtis Oxford Brookes University, UK Jeremy Gibbons University of Oxford, UK Lindsay Groves Victoria University of Wellington, New Zealand Ian Hayes University of Queensland, Australia Eric Hehner University of Toronto, Canada Zhenjiang Hu National Institute of Informatics, Japan Johan Jeuring Utrecht University, Netherlands Christian Lengauer Universität Passau, Germany Bernhard Möller Universität Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan David Naumann Stevens Institute of Technology, USA José Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la República, Uruguay Christine Paulin-Mohring INRIA-Université Paris-Sud, France Steve Reeves University of Waikato, New Zealand Tim Sheard Portland State University, USA Georg Struth Sheffield University, UK Tarmo Uustalu Institute of Cybernetics, Estonia VENUE The conference will be held in the Manoir St-Castin (http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/). This resort is located on the shore of Beauport lake, 15 minutes from downtown Québec City (http://www.quebecregion.com/e/) and 15 minutes from the Jean-Lesage International Airport. LOCAL ORGANIZERS The local organizers are Claude Bolduc, Jules Desharnais and Béchir Ktari. Enquiries regarding the programme (submission, etc.) should be addressed to Jules.Desharnais at ift.ulaval.ca. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Tue Jul 14 11:47:10 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Tue, 14 Jul 2009 21:47:10 +1200 Subject: CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence Message-ID: <008401ca0468$11a0c820$00dd5a79@yourbbc104cd11> --------------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan In cooperation with: IEEE ComSoc Japan Chapter Call for Papers Sensors are windows to the physical world for ambient intelligence (AmI) applications. The recent emergence of networked sensors as a result of rapid advances in sensor technologies and wireless networks, have set the stage for the realization of smart environments where unobtrusive sensors, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring to humanistic and social endevours such as health and elderly care service provisioning. Following the success of the first SeNAmI at PDCAT 2008 in Dunedin, New Zealand, this workshop 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 ambient intelligence systems. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative sensor localization and target tracking - Context-aware reasoning and inference for sensor/RFID-based systems - Cross-layer design and optimization of sensor-based AmI systems - Intelligent agents for autonomous sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Security, trust, and privacy for autonomous smart spaces - Nature or bio-inspired designs for ambient sensing and intelligence - AmI architectures, platforms, applications, and services - Prototype or testbed implementation and deployment trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society proceedings guidelines to prepare your papers. Maximum page length will be limited to 6 pages. Accepted papers will be included in the conference proceedings of PDCAT'09, which will be published by IEEE Computer Society and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by IEE INSPEC, EI (Compendex), and Thomson ISI. Extended version of selected best papers will be considered for publication in a refereed international journal (TBA). Important dates Paper submission due : July 21, 2009 (extended) Acceptance notification : August 21, 2009 Camera-ready due : September 1, 2009 Workshop date : TBA For further details, please visit: http://senami.aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Philipp.Ruemmer at comlab.ox.ac.uk Mon Jul 13 13:28:04 2009 From: Philipp.Ruemmer at comlab.ox.ac.uk (Philipp Ruemmer) Date: Mon, 13 Jul 2009 12:28:04 +0100 Subject: Confirmation Request (1940612035) In-Reply-To: References: Message-ID: <1247484484.28323.29.camel@clpc442.comlab.ox.ac.uk> On Mon, 2009-07-13 at 12:52 +0200, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 1940612035, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > From antonini at uniroma2.it Mon Jul 13 13:28:31 2009 From: antonini at uniroma2.it (antonini at uniroma2.it) Date: Mon, 13 Jul 2009 13:28:31 +0200 Subject: confirmation ID: 3729499630 Message-ID: <20090713132831.12763qvl25blywkf@webmail.uniroma2.it> Da: event administration [mailto:event-subscribe at in.tu-clausthal.de] Inviato: venerdì 10 luglio 2009 7.32 A: Riccardo Antonini Oggetto: WARNING! (3729499630) This is an automated message from the mailing list manager List messages sent to your address have bounced. If you read this message, your mail system has been probably fixed. To clear the bounce counter and to prevent automatic cancelation of your subscription, use the Reply command in your mailer. Check that the Subject of the reply message contains the confirmation ID: 3729499630, and the reply is directed to , and the 'From' address of your reply is . All requests about this mailing list should be sent to ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From event-request at in.tu-clausthal.de Mon Jul 13 09:11:17 2009 From: event-request at in.tu-clausthal.de (event Report) Date: Mon, 13 Jul 2009 09:11:17 +0200 Subject: Subscriber d.plikynas@delfi.lt Failed Message-ID: d.plikynas at delfi.lt failed and it has been unsubscribed from the 'event' list From R.Antonini at governo.it Mon Jul 13 13:16:08 2009 From: R.Antonini at governo.it (Antonini Riccardo) Date: Mon, 13 Jul 2009 13:16:08 +0200 Subject: I: WARNING! (3729499630) Message-ID: -----Messaggio originale----- Da: event administration [mailto:event-subscribe at in.tu-clausthal.de] Inviato: venerdì 10 luglio 2009 7.32 A: Riccardo Antonini Oggetto: WARNING! (3729499630) This is an automated message from the mailing list manager List messages sent to your address have bounced. If you read this message, your mail system has been probably fixed. To clear the bounce counter and to prevent automatic cancelation of your subscription, use the Reply command in your mailer. Check that the Subject of the reply message contains the confirmation ID: 3729499630, and the reply is directed to , and the 'From' address of your reply is . All requests about this mailing list should be sent to From moca09 at informatik.uni-hamburg.de Wed Jul 15 23:46:18 2009 From: moca09 at informatik.uni-hamburg.de (MOCA-09) Date: Wed, 15 Jul 2009 23:46:18 +0200 Subject: CfP/deadline extension: MOCA'09 Modeling of Objects, Components and Agents Message-ID: <4A5E4E2A.1060409@informatik.uni-hamburg.de> SUBMISSION DEADLINE EXTENDED: 22.07.2009 (Please accept our apologies if you receive multiple copies.) __________________________________________________________________ MOCA'09 Call for Papers Fifth International Workshop on Modelling of Objects, Components, and Agents http://www.informatik.uni-hamburg.de/TGI/events/moca09/ Hamburg, Germany, 11th September 2009 organised by the "Theoretical Foundations of Informatics" Group at the University of Hamburg Contact e-mail: moca09 at informatik.uni-hamburg.de __________________________________________________________________ The workshop is co-located with MATES 2009 The Seventh German conference on Multi-Agent System Technologies http://jadex.informatik.uni-hamburg.de/mates/bin/view/MATES/Home and CLIMA-X 2009 10th International Workshop on Computational Logic in Multi-Agent Systems http://jadex.informatik.uni-hamburg.de/mates/bin/view/CLIMA/Home __________________________________________________________________ Important Dates: Deadline for submissions: July 22, 2009 Notification of acceptance: August 14, 2009 Deadline for final papers: August 28, 2009 Workshop: September 11, 2009 __________________________________________________________________ Scope Modelling is THE central task in informatics. Models are used to capture, analyse, understand, discuss, evaluate, specify, design, simulate, validate, test, verify and implement systems. Modelling needs an adequate repertoire of concepts, formalisms, languages, techniques and tools. This enables addressing distributed, concurrent and complex systems. Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives. Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences. The multiple perspectives on modelling and models in informatics are most welcome, since the presentation of them will lead to intensive discussions. Also the way objects, components, and agents are use to build architectures / general system structures and executing units / general system behaviours will provide new ideas for other areas. Therefore, we invite a wide variety of contributions, which will be reviewed by the PC-members who reflect important areas and perspectives for the Modelling of Objects, Components, and Agents (MOCA). __________________________________________________________________ Topics We look for contributions describing original research in topics related to formal methods in combination with object-orientation, components, or agents addressing open problems or presenting new ideas. Topics of interest include but are not limited to: * Uses of models of objects, components, and agents: design, specification, analysis, synthesis, composition, transformation, testing, validation, simulation, verification, assessment, software engineering, software development, re-engineering, code generation, prototyping, configuration, presentation, evolution, model checking, etc. * Concepts used within modelling of objects, components, and agents: objects (OOP, OOD, OOSE), components (CBD, CBSE), agents (AOP, AOSE, ABM), multi-agent systems (MAS), services, roles, interactions, organisations, processes, etc. * Concepts to be modelled with objects, components, and agents: software architecture, intelligence, coordination, negotiation, cooperation, organisation, encapsulation business objects, e-commerce, workflows, web services, flexible manufactoring, bio informatics, etc. * Techniques for modelling of objects, components, and agents: formal languages, visual languages, Unified Modelling Language (UML), Business Process Execution Language (BPEL), object-oriented Petri nets (OOPN), agent-oriented Petri nets, graph grammars and transformations, process algebras, logics, domain-specific languages (DSL), architecture description languages (ADL), event-driven process chains (EPC), discrete event systems, comparisons between modelling techniques, heterogeneous designs, multi-formalism modelling * Properties of models of objects, components, and agents: concurrency, distribution, mobility, autonomy, emotions, complexity, adaptability, self-organising, reliability, consistency, safety, deadlock prevention, evolution, scalability, etc. * Modelling methodologies, paradigms and principles * Embedding of formal techniques in traditional software engineering approaches * Tools and implementation technology in the fields mentioned above __________________________________________________________________ Submissions The program committee invites submissions of full contributions (10 - 20 pages) or short contributions (up to 6 pages). For your submission in PDF format please use the online conference management system at http://www.easychair.org/conferences/?conf=moca09 Just create a new account and then upload your paper. (Later you will be able to see your reviews there.) Submission Guidelines Please use the LaTeX document class svmult.cls for your contributions. Please also use BibTeX for your references (in particular for the final papers). An up-to-date version of svmult.cls together with extensive documentation can be found at ftp://ftp.springer.de/pub/tex/latex/compgl/mult or directly at ftp://ftp.springer.de/pub/tex/latex/compgl/mult.zip Accepted papers will be included in the workshop proceedings which will appear as a technical report of the Department of Informatics, University of Hamburg, and which will be available at the workshop. The submissions will be evaluated by the international program committee. It is planned to publish post proceedings after a further review process in a book, dedicated to the workshop topics. __________________________________________________________________ For further information on MOCA'09 contact the program commitee by email at moca09 at informatik.uni-hamburg.de From invitation at iariaannounce.org Fri Jul 17 15:42:27 2009 From: invitation at iariaannounce.org (DigitalWorld 2010) Date: Fri, 17 Jul 2009 09:42:27 -0400 (EDT) Subject: 1st CfP: DigitalWorld 2010, February 10-15, 2010 / St. Maarten, Netherlands Antilles Message-ID: <26569637.17526.1247838147600.JavaMail.owner@owner-PC> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= DigitalWorld 2010, February 10-15, 2010 - St. Maarten, Netherlands Antilles DigitalWorld 2010 is a federated event focusing on advanced topics concerning all digital aspects in our society. Nowadays, most of the economic activities and business models are driven by the unprecedented evolution of theories and technologies. The impregnation of these achievements into our society is present everywhere, and it is only question of user education and business models optimization towards a digital society. Submission (full paper) deadline: September 10, 2009. Submissions must be electronically done using the "Submit a Paper" button on the entry page of each conference. For details on the each conference's topics, see the individual Call for Papers. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. All topics are open to both research and industry contributions: theories, systems, standards, projects, initiatives, commercial systems, studies, or visionary ideas. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in the Journals mentioned on the conferences' sites. -- ICDS 2010, The Fourth International Conference on Digital Society http://www.iaria.org/conferences2010/ICDS10.html -- CYBERLAWS 2010, The First International Conference on Technical and Legal Aspects of the e-Society http://www.iaria.org/conferences2010/CYBERLAWS10.html -- ICQNM 2010, The Fourth International Conference on Quantum, Nano and Micro Technologies http://www.iaria.org/conferences2010/ICQNM10.html -- GEOProcessing 2010, The Second International Conference on Advanced Geographic Information Systems, Applications, and Services http://www.iaria.org/conferences2010/GEOProcessing10.html -- eTELEMED 2010, The Second International Conference on eHealth, Telemedicine, and Social Medicine http://www.iaria.org/conferences2010/eTELEMED10.html -- eKNOW 2010, The Second International Conference on Information, Process, and Knowledge Management http://www.iaria.org/conferences2010/eKNOW10.html -- eL&mL 2010, The Second International Conference on Mobile, Hybrid, and On-line Learning http://www.iaria.org/conferences2010/eLmL10.html -- ACHI 2010, The Third International Conferences on Advances in Computer-Human Interactions http://www.iaria.org/conferences2010/ACHI10.html -------------------------------- IARIA Publicity Board DigitalWorld Advisory Committees ------------------------------- To stop receiving notices about DigitalWorld, please reply with "DROP DigitalWorld event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From ruy at cin.ufpe.br Sat Jul 18 13:57:26 2009 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sat, 18 Jul 2009 08:57:26 -0300 Subject: WoLLIC 2010 - Call for Papers In-Reply-To: <499AA0D3.5080100@cin.ufpe.br> References: <48FE214B.9050600@cin.ufpe.br> <496E01AB.1080901@cin.ufpe.br> <499AA0D3.5080100@cin.ufpe.br> Message-ID: <4A61B8A6.1030900@cin.ufpe.br> (please circulate; apologies for any cross-postings)*/ WoLLIC 2010 17^th Workshop on Logic, Language, Information and Computation /* *July 6^th to 9^th , 2010 * *Universidade de Brasília, Brasília, Brazil* *Scientific Sponsorship* /Interest Group in Pure and Applied Logics (IGPL )/ /The Association for Logic, Language and Information (FoLLI )/ /Association for Symbolic Logic (ASL )/ /European Association for Theoretical Computer Science (EATCS )/ /Sociedade Brasileira de Computação (SBC )/ /Sociedade Brasileira de Lógica (SBL )/ *Funding* (tbc) *Special: A screening of /I want to be a mathematician: A conversation with Paul Halmos/ * *Organisation* /Department of Mathematics , Universidade de Brasília , Brazil Centro de Informática , Universidade Federal de Pernambuco , Brazil / ------------------------------------------------------------------------ Call for Papers WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to 9th, 2010. It is sponsored by theAssociation for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Special Event* 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book /Naïve Set Theory/ by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" http://zalafilms.com/films/halmos.html *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2010 EasyChair website (soon to be announced). A title and single-paragraph abstract should be submitted by February 28, and the full paper by March 7 (firm date). Notifications are expected by April 12, and final papers for the proceedings will be due by May 3 (firm date). *Proceedings* The proceedings of WoLLIC 2010, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series (TBC). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2010 issue of a scientific journal (soon to be announced). *Invited Speakers* (tba) *Student Grants* ASL sponsorship of WoLLIC 2010 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2010). Seehttp://www.aslonline.org/studenttravelawards.html for details. *Important Dates* # February 28, 2010: Paper title and abstract deadline # March 7, 2010: Full paper deadline (firm) # April 12, 2010: Author notification # May 3, 2010: Final version deadline (firm) *Programme Committee* *Verónica Becher* (Buenos Aires) *Rafaella Bernardi* (Bolzano) *Ricardo Bianconi* (São Paulo) *Vasco Brattka* (Cape Town) *Balder ten Cate* (ENS, Cachan) *Bob Coecke* (Oxford) *Adriana Compagnoni* (Stevens) *Marcelo Coniglio* (Campinas) *Anuj Dawar* (Cambridge), chair *Valentin Goranko* (Copenhagen) *Masahito Hasegawa* (Kyoto U, Japan) *Rosalie Iemhoff* (Utrecht) *Makoto Kanazawa* (National Institute of Informatics, Japan) *Giuseppe Longo* (CNRS & ENS, Paris) *Mike Mislove* (Tulane) *Michael Norrish* (NICTA, Canberra) *Bart Selman* (Cornell) *Scott Weinstein* (Penn) *Organising Committee* Mauricio Ayala-Rincon (U Brasília, Brazil) (co-chair) Flávio L. C. Moura (U Brasília, Brazil) Claudia Nalon (U Brasília, Brazil) Anjolina G. de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2010/ Steering committee Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Sun Jul 19 23:19:05 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Mon, 20 Jul 2009 05:19:05 +0800 Subject: CFP: IEEE SOCA 2009 Message-ID: <200907192119.n6JLJ5J4008214@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Mon Jul 20 16:12:27 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Tue, 21 Jul 2009 02:12:27 +1200 Subject: Final CFP: Sensor Networks and Ambient Intelligence (July 21, 2009) Message-ID: <005401ca0944$1e45fdd0$55265a79@yourbbc104cd11> --------------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan In cooperation with: IEEE ComSoc Japan Chapter Call for Papers Sensors are windows to the physical world for ambient intelligence (AmI) applications. The recent emergence of networked sensors as a result of rapid advances in sensor technologies and wireless networks, have set the stage for the realization of smart environments where unobtrusive sensors, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring to humanistic and social endevours such as health and elderly care service provisioning. Following the success of the first SeNAmI at PDCAT 2008 in Dunedin, New Zealand, this workshop 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 ambient intelligence systems. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative sensor localization and target tracking - Context-aware reasoning and inference for sensor/RFID-based systems - Cross-layer design and optimization of sensor-based AmI systems - Intelligent agents for autonomous sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Security, trust, and privacy for autonomous smart spaces - Nature or bio-inspired designs for ambient sensing and intelligence - AmI architectures, platforms, applications, and services - Prototype or testbed implementation and deployment trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society proceedings guidelines to prepare your papers. Maximum page length will be limited to 6 pages. Accepted papers will be included in the conference proceedings of PDCAT'09, which will be published by IEEE Computer Society and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by IEE INSPEC, EI (Compendex), and Thomson ISI. Extended version of selected best papers will be considered for publication in a refereed international journal (TBA). Important dates Paper submission due : July 21, 2009 (extended) Acceptance notification : August 21, 2009 Camera-ready due : September 1, 2009 Workshop date : TBA For further details, please visit: http://senami.aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nbassili at csd.auth.gr Tue Jul 21 08:55:23 2009 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Tue, 21 Jul 2009 09:55:23 +0300 Subject: 3rd International Rules Challenge - Call for Submissions Message-ID: <4A65665B.2070407@csd.auth.gr> [Our apologies if you receive duplicates of this posting] 3rd International Rules Challenge at RuleML-2009 co-located with the Business Rules Forum November 5-7 2009, Las Vegas, Nevada, USA http://2009.ruleml.org/challenge ============================================================================ Latest News 3rd Int. Rules Challenge - Open Call for Submissions ------------------ Keynotes and special talks by Sandro Hawke (W3C Contact) about W3C RIF Donald Chapin (OMG BMI Chair) about OMG SBVR Paul Vincent (TIBCO CTO) about CEP and Rules Jans Aasman (Franz Inc. CEO) Tutorials by Christian Saint Marie (ILog/IBM) - W3C RIF Tutorial Larry Goldberg and Babara von Halle - Decision Management Mark Proctor (Drools) - Drools Tutorial Guido Governatori (NICTA) - Business Process Compliance RuleML in the top venues for scientific impact factor in CiteSeerX Forthcoming RuleML special journal issue Additional CEUR Proceedings for Rules Challenge papers New categories in the Challenge with prestigious prizes W3C Rule Interchange Format workshop (more information below) OMG and industrial standards sessions, lunch panel on Web Rules Student grants of the value of up to $1000 plus free registration 20% RuleML-2009 Partner discounts - see registration page Super Early Bird Registration Deadline ends soon! ============================================================================ Open Call for Submissions to the 2009 Rules Challenge ============================================================================ The Rules Challenge is one of the highlights at RuleML-2009 with prestigious prizes. Submissions of benchmarks/evaluations, demos, case studies / use cases, experience reports, best practice solutions (e.g. design patterns, reference architectures, models), rule-based implementations/ tools/ applications, demonstrations engineering methods, implementations of rule standards (e.g. RuleML, RIF, SBVR, PRR, rule-based Event Processing languages, BPMN+rules, BPEL+rules, ...), rules + industrial standards (e.g. XBRL, MISMO, Accord, ...), and industrial problem statements are particularly encouraged. The participants of the Challenge have the opportunity to understand the most current trend of rule technology and standard development through highly interactive with the experts in this field. Submission ============================================================================ In addition to your demo/hands-on/report/.. it is possible to submit Challenge demo papers describing research, implementation, and technical details of your submission. The peer-reviewed and selected papers will be published in additional special Challenge proceedings (will be published as CEURS proceedings www.CEUR-WS.org) along with the online publication of your demo in the highly visible growing Rules Challenge pool (http://ruleml-challenge.cs.nccu.edu.tw). A selection of revised papers from the Challenge will be resubmitted to a special issue of a journal. Authors are invited to submit original contributions of practical relevance and technical rigor in the field, benchmarks, evaluations, experience reports and show case/use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English. Demo papers submission website: http://www.easychair.org/conferences/?conf=2009ruleschallenge Demo systems submission website: http://ruleml-challenge.cs.nccu.edu.tw Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Submissions to the Rules Challenge 2009 consist of a demo paper of 4-8 pages, describing the demo show case, and a link to more information about the demo/show case, e.g. a project site, an online demonstration, a presentation about the demonstration, or a download site for the demonstration. In case of product demos, the link can be password-protected: please submit a password for anonymous login from any Web browser, giving us the permission to pass the password on to 3 PC members. Important Date ------------------ September 4th - submission deadline for demo papers and demo systems September 15th - notification of accepted demo papers and demo systems October 29th - submission deadline for demo systems only MAKE RULEML-2009 YOUR SHOWCASE! 2009 Rules Challenge Program Committee ---------------------------------------- see Challenge website http://2009.ruleml.org/challenge W3C RIF Workshop at RuleML-2009 ============================================================================ The W3C Rule Interchange Format (RIF) Working Group (www.w3.org/2005/rules/) has recently published 6 specifications for the W3C Rule Interchange Format standard which includes a W3C RIF Production Rules Dialect (RIF-PRD) and a W3C Basic Logic Dialect (RIF-BLD). The mission of the Rule Interchange Format (RIF) Working Group is to produce W3C recommendations for rules interchange languages. Next step will be the call for implementations of RIF which might be demonstrated at the RuleML-2009 W3C RIF Workshop. Upcoming future RIF dialects might address a reaction rules dialect for rule-based complex event processing (CEP). The new RIF standard is featured at the RuleML 2009 Conference in a W3C RIF workshop in November 2009 (see http://2009.ruleml.org) with a keynote from Sandro Hawke (W3C staff representative on the RIF WG) and a tutorial from Christian de Sainte Marie (ILOG/IBM, co-chair of the RIF WG). There will be also keynote by Paul Vincent (TIBCO CTO for Business Rules and CEP, EPTS-RA WG Co-Chair) about "Why Rules Matter in Complex Event Processing... and vice versa" and a keynote by Donald Chapin (co-chair of the OMG Business Modeling & Integration Domain Task Force, co-chair OMG SBVR) about "Terminology: The Semantic Foundation for an Organization's Executable Rules". About RuleML-2009 ============================================================================ This year, the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009) takes place in Las Vegas, Nevada, USA, collocated with the 12th Business Rules Forum, the world's largest Business Rules event. RuleML-2009 is devoted to practical distributed rule technologies and rule-based applications. The International Symposium on Rules, Applications and Interoperability has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007, and is now in the top 100 venues for scientific impact factor in CiteseerX (http://citeseerx.ist.psu.edu/stats/venues). Supported by =================================================================== W3C, OMG, ACM, AAAI, ECCAI, IAAIL, ACM, Belgian Business Rules Forum MIT Sloan CIO Symposium, EPTS, BPM Forum Belgium Sponsored by =================================================================== BBN Technologies Franz Inc NICTA (National ICT Australia) Ltd Corporate Semantic Web Logic Programming Associated Ltd ruleCore JBoss Modelsystems Ltd (sponsoring opportunities: http://2009.ruleml.org/sponsors) ============================================================ From ambra.molesini at unibo.it Tue Jul 21 13:57:06 2009 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Tue, 21 Jul 2009 13:57:06 +0200 Subject: 2nd call for paper AOMIP@SAC2010 Message-ID: [Please accept our apologies if you received multiple copies of this call] --------------------------------------------------------------------------------- CALL FOR PAPER AOMIP: AOse Methodologies, Infrastructures and Processes Track of the 25th Edition ACM Symposium on Applied Computing Sierre, Switzerland, March 22 -26, 2010 http://www.apice.unibo.it/xwiki/bin/view/AOMIP/ http://www.acm.org/conferences/sac/sac2010/ -------------------------------------------------------------------------------------------- The aim of this track is the deeper investigations of Agent-Oriented Software Engineering (AOSE) methodologies, infrastructures and processes. The need of engineering new sorts of complex computational systems (like for example self-* systems) for new kinds of application scenarios (like pervasive systems) calls for new SE methodologies, frameworks, infrastructures, and processes. Agent-oriented systems are the most likely candidate to work as the sources for new metaphors, abstractions, technologies, and methods for the engineering of complex systems. In this track we aim at discussing all the elements that influence the construction of complex computational systems as agent-oriented ones, by promoting the interplay between researchers in AOSE methodologies, agent-oriented frameworks and infrastructures, and AOSE processes, thus encouraging the development of the very notion of AOSE towards the most general and widest acceptation of the term. TOPICS OF INTEREST The list of most relevant topics includes, but it is not limited to: * Agent-Oriented Software Engineering * Methodologies for agent-oriented analysis and design * Infrastructures for multi-agent systems * Design of software development processes * Situational Method Engineering techniques for AOSE design processes * Relationships between MAS meta-models and their relative AOSE methodologies * Relationships between AOSE processes and the other traditional processes (e.g. OO) * Relationship between AOSE methodologies and Infrastructures processes * Meta-modelling techniques * Software development process models * Fragment definitions and descriptions * Integration of agent-oriented methodologies, infrastructures and processes * Approaches for AOSE methodologies: design patterns, components, and architectures * Supporting tools for AOSE methodologies/processes construction and enactment * Standardisation for AOSE methodologies and processes * Self-* approaches in AOSE methodologies and processes Important Dates: Sept. 8, 2009: Paper submissions Oct. 19, 2009: Author notification Nov. 2, 2009: Camera-Ready Copy Paper Publication: Authors are invited to submit original and unpublished papers. All papers will be fully refereed and undergo a blind review process by at least three referees. The conference proceedings will be published by ACM. Hence, all accepted papers should be submitted in ACM 2-column camera-ready format for publication in the symposium proceedings. Authors are allowed up to 8 pages according to the template, but more than 5 pages in the camera ready will be charged with 80USD per extra page. Paper submission should be in electronic format, via the website: eCMS site http://sac.cs.iupui.edu/SAC2010/ Organising Committee: Massimo Cossentino, Italy Ambra Molesini, Italy Andrea Omicini, Italy Valeria Seidita, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From areces at pluton.loria.fr Tue Jul 21 15:47:28 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Tue, 21 Jul 2009 15:47:28 +0200 Subject: [CFP] ESSLLI 2010 Call for Course and Workshop Proposals Message-ID: <200907211347.n6LDlSwr011679@pluton.loria.fr> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August, 2010, University of Copenhagen, Denmark %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as ESSLLI’2009 website: http://esslli2009.labri.fr/. The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams: -Language and Computation -Language and Logic -Logic and Computation We also welcome proposals that do not exactly fit one of these categories. PROPOSAL SUBMISSION: All proposals should be submitted, using a prescribed form that will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010, through EasyChair on http://www.easychair.org/conferences/?conf=esslli2010, not later than ******* Monday, September 7, 2009 ******* Proposers must hold PhD or equivalent degrees and should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. GUIDELINES FOR COURSE AND WORKSHOP PROPOSALS: ALL COURSES: Courses are given over one week (Monday-Friday) and consist of five 90 minutes sessions, one per day. Course proposals should give a brief overview of the topic and a tentative content and structure of the course, as well as state the course’s objectives and clearly specify prerequisites, if any. Lecturers who want to offer a long, two-week course, should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Jun 30, 2010: Deadline for receipt of camera-ready course material by the ESSLLI’2010 local organizers FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should require no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the course field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if any). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: Workshops run over one week and consist of five 90-minutes sessions, one per day. The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Nov 02, 2009: Deadline for submission of the Calls for Papers to ESSLLI’2010 PC chair Nov 09, 2009: Workshop organizers send out First Call for Papers Jan 25, 2010: Workshop organizers send out Second Call for Papers Mar 08, 2010: Workshop organizers send out Third Call for Papers Apr 12, 2010: Suggested deadline for submissions to the workshops May 24, 2010: Suggested deadline for notification of workshop contributors Jun 30, 2010: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI’2010 Local Organizers. Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: A form for submitting course and workshop proposals will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010. The proposers are required to submit the following information: * Name(s) of proposing lecturer(s)/ workshop organizer(s), at most two per course or workshop * Contact addresses, homepages, phones, and fax numbers (if available), of proposing lecturer(s)/ workshop organizer(s); * Title of proposed course/workshop; * Type (workshop, foundational, introductory, or advanced course) * Stream (one of: Language & Computation, Language & Logic, Logic & Computation) * Description (in at most 300 words, provide justification, relevance to ESSLLI, proposed contents and structure of the courses, resp. expected participation in the workshops) * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, course objectives and prerequisites, as well as the lecturers teaching experience relevant to the proposed course, and generally in the interdisciplinary field scope of ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to fixed maximum amounts, that will be communicated to the lecturers upon notification). It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. Please note that in case a course or workshop is to be taught/organized by two lecturers, a lump sum will be reimbursed to cover travel and accommodation expenses for one lecturer; the splitting of that sum is up to the lecturers. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI’2010 lower. ESSLLI 2010 PROGRAM COMMITTEE: Chair: Valentin Goranko (Technical Univ. of Denmark) Area Specialists: Language and Computation: Walter Daelemans (Univ. of Antwerp) Sabine Schulte im Walde (Univ. of Stuttgart) Language and Logic: Yoad Winter (Utrecht Univ.) Raffaella Bernardi (Free Univ. of Bozen-Bolzano) Logic and Computation: Anuj Dawar (Univ. of Cambridge) Ken Shan (State Univ. of New Jersey, Rutgers) ESSLLI 2010 Program Committee dedicated email account: esslli2010 at gmail.com ESSLLI 2010 ORGANIZING COMMITTEE: Chair: Vincent Hendricks (University of Copenhagen) Organizing Manager: Rasmus Rendsvig ESSLLI 2010 website: www.hum.ku.dk/esslli2010 From nza at Cs.Nott.AC.UK Tue Jul 21 23:40:48 2009 From: nza at Cs.Nott.AC.UK (Natasha Alechina) Date: Tue, 21 Jul 2009 22:40:48 +0100 Subject: CfP: workshop on formal approaches to ubiquitous systems ... Message-ID: <4A6635E0.4060305@cs.nott.ac.uk> Call for contributed talks/abstracts Workshop on Formal Approaches to Ubiquitous Systems (FAUSt 2009) Imperial College, 14-15 September 2009 http://www.agents.cs.nott.ac.uk/events/faust09/ A key challenge in ubiquitous computing is identifying and developing appropriate formal approaches for understanding, designing and implementing ubiquitous systems. However applications which must interact with heterogeneous devices in multiple contexts and/or whose implementation may span multiple devices with widely differing resource constraints pose significant difficulties for current analysis, design and verification methodologies. While some of these issues have been addressed in previous work, their combination and interaction presents significant new challenges. The workshop aims to bring together researchers from the ubiquitous computing and formal methods communities to determine how the current state of the art in formal methods can be applied to ubiquitous computing, and to map out key research questions and future directions for formal approaches to ubiquitous systems. Topics of interest include (but are not limited to): * what sorts of (formal) system properties are of interest to the ubicomp community; * what sorts of formal models and techniques are appropriate for modelling context, mobility and resource constraints; * which verification techniques are appropriate for ubiquitous systems The two day workshop will feature a mixture of invited talks and submitted contributions describing current work or work in progress in ubiquitous computing; applications of formal analysis to some aspect of ubiquitous computing or similar systems (e.g. verification of sensor networks); and other formal approaches which are likely to be relevant (e.g., logics of resource bounds, context logics, verification of mobile or real time systems). In addition, there will be a panel session to identify possible synergies (and collaborations) in current work and to map out key questions for future research. We have preliminary confirmation from the following invited speakers: Muffy Calder (University of Glasgow) Michael Fisher (University of Liverpool) Marta Kwiatkowska (University of Oxford) Derek McAulay (University of Nottingham / University of Cambridge) Robin Milner (University of Edinburgh / University of Cambridge) Alessandra Russo (Imperial College) We invite the submission of two-page extended abstracts about recent work or work in progress. The abstract can describe work that has already been published elsewhere. Limited bursaries are available to support the attendance of (UK) PhD students. Please email submissions (preferably in pdf or plain text format) to faust09 at cs.nott.ac.uk Important Dates (deadline extended): Abstract submission: 7 August 2009 Notification of acceptance/rejection: 14 August 2009 Version for informal proceedings: 31 August 2009 Workshop: 14-15 September 2009 Workshop Organisers: Natasha Alechina (University of Nottingham) Brian Logan (University of Nottingham) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Jul 23 11:23:42 2009 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Thu, 23 Jul 2009 10:23:42 +0100 Subject: AAMAS2010 call for papers Message-ID: <8E6533B0-DBCA-4971-AD82-47F2AF8008B7@liverpool.ac.uk> Call for Papers-AAMAS 2010 The 9th International Conference on Agents and Multi Agent Systems Toronto, Canada Important dates: Conference: May 10 - 14, 2010 Electronic Abstract Submission: October 8, 2009 Full Paper Submission: October 13, 2009 Author Notification: December 18, 2009 Collocated with KR, NMR, ICAPS, FOIS, (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada) Expanded and latest information: http://www.cse.yorku.ca/AAMAS2010/ INTRODUCTION AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto. See http://www.ifaamas.org for more information on the AAMAS conference series. SUBMISSION DETAILS AAMAS-2010 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Where submission is for full (8 page) papers only, in some cases they may be accepted as 2 page extended abstracts. For formatting instructions, please refer to the conference page. In addition to submissions in the main track, AAMAS is soliciting papers in two special tracks on robotics, and on virtual agents (see below). The review process for the special tracks will be the same as for the main track, but with specially-selected program committee members. Special Track on Robotics (Chair: Michael Beetz): Papers on theory and applications concerning single and multiple robots will be welcome, namely those focusing on real robots interacting with their surrounding environments. The goal is to foster interaction between researchers on agent and robotics systems, so as to provide a cradle for cross-fertilization of concepts from both fields. Special Track on Virtual Agents (Chair: Stacy Marsella): Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. In addition to the conference papers, presented in parallel technical sessions, AAMAS-2010 will include: o Industry and Applications track o Demonstrations o Posters presentations for full papers and extended abstracts o Invited talks and panel discussions The submission processes for the demonstration and industry tracks are separate from the main paper submission process. ORGANIZING COMMITTEE General Chairs: Michael Luck and Sandip Sen Program Chairs: Wiebe van der Hoek and Gal A. Kaminka Local Organization Chair: Yves Lesperance A list of the other members of the AAMAS-2010 Organizing Committee may be found at http://www.cse.yorku.ca/AAMAS2010/ ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From leucker at in.tum.de Thu Jul 23 14:24:22 2009 From: leucker at in.tum.de (Martin Leucker) Date: Thu, 23 Jul 2009 14:24:22 +0200 Subject: CfPart: ICTAC'09 Message-ID: <20090723122422.GA20713@lapbroy101> [Apoligies for multiple copies] ---------------------------------------------------------------------- ICTAC'09 6th International Colloquium on Theoretical Aspects of Computing *** CALL FOR PARTICIPATION *** Pullman Putrajaya Lakeside, Malaysia University Kebangsaan Malaysia (UKM) August 14th - 20th 2009 http://www.ictac.net/ictac09/ ---------------------------------------------------------------------- Summary ------- 14-15 August: A Short Course On TLA+ by Leslie Lamport, Microsoft USA 16-17 August: Tutorials by - Leslie Lamport - Zhimming Liu - Sriram Rajamani - Annabel McIver 17 August: Workshop TTSS 18-20 August: Main Colloquium 4 Invited Speakers: - Zuohua Ding - Leslie Lamport - Annabel McIver - Sriram Rajamani 20 Presenations based on LNCS Papers Visit http://www.ictac.net/ictac09 for registration and latest information. Overview --------- The 6th International Colloquium on Theoretical Aspects of Computing is taking place from the 16th till the 20th of August 2009 in Kuala Lumpur, Malaysia. ICTAC'09 is organized by Abdullah Mohd Zin, Universiti Kebangsaan Malaysia and Jeff Sanders, United Nation University, Institute of Software Technology, Macao. The PC is chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW). About ICTAC 2009 ---------------- ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The main purpose of ICTAC is to bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The previous four ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau (2007) and Istanbul (2008). Satellite Events ---------------- The main conference is surrounded by a short course on TLA+ given by Leslie Lamport, the workshop on Harnessing Theories for Tool Support in Software (TTSS), and a dedicated tutorials day. Main Conference --------------- Invited Speakers ---------------- Zuohua Ding Zhejiang Sci-Tech University Leslie Lamport Microsoft Annabelle McIver Macquarie University Sriram Rajamani Microsoft Scope ----- Topics include, but are not limited to: * software specification, refinement, verification and testing * model checking and theorem proving * software architectures * coordination and feature interaction * integration of theories, formal and engineering methods and tools * models of concurrency, security, and mobility * parallel, distributed, and internet-based (grid) computing * real-time, embedded and hybrid systems * automata theory and formal languages * principles and semantics of languages * logics and their applications * type and category theory in computer science * case studies, theories, tools and experiments of verified systems * service-oriented architectures: models and development methods * domain modelling and domain-specific technology: examples, frameworks and experience Committees & Contacts --------------------- General Chair ------------- Abdullah Mohd Zin Universiti Kebangsaan Malaysia Jeff Sanders United Nation University, Institute of Software Technology, Macao Program Chairs -------------- Martin Leucker Technische Universität München, Germany Carroll Morgan University of New South Wales Local Organizing Committee -------------------------- Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson) Nazlia Omar Syahanim Mohd Salleh Program Committee ----------------- Parosh Abdulla Uppsala University, Schweden Keijiro Araki Kyushu University, Japan Farhad Arbab Leids University, The Netherlands Christel Baier Technical University of Dresden, Germany Mario Bravetti Universita di Bologna, Italian Ana Cavalcanti University of York, England Van Hung Dang United Nations University, Macao David Deharbe Federal University of Rio Grande do Norte, Brazil Wei Dong National University of Defense Technology, China Deepak D'Souza Indian Institute of Science, India John Fitzgerald Newcastle Uiversity, England Wan Fokkink Vrije University Amsterdam, The Netherlands Marcelo Frias University of Buenos Aires, Argentina Kokichi Futatsugi JAIST, Japan Paul Gastin LSV/ENS Cachan, France Susanne Graf VERIMAG, France Lindsay Groves Victoria University of Wellington, New Zealand Anne Haxthausen Technical University of Denmark, Denmark Moonzoo Kim KAIST, South Korea Kim G. Larsen Aalborg University, Denmark Insup Lee University of Pennsylvania, USA Martin Leucker TU Munich, Germany Kamal Lodaya Institute of Mathematical Sciences, India Larissa Meinicke Abo Akademi, Finland Ugo Montanari University of Pisa, Italian Carroll Morgan University of New South Wales, Australia Ahmed Patel Universiti Kebangsaan Malaysia, Malaysia Pekka Pihlajasaari Data Abstraction (Pty) Ltd, South Africa Abhik Roychoudhury National University of Singapore, Singapore Hassen Saidi SRI International, USA Augusto Sampaio Universidade Federal de Pernambuco, Brazil Cesar Sanchez IMDEA, Spain Marjan Sirjani University of Tehran, Iran Sofiene Tahar Concordia University, Canada Serdar Tasiran Koc University, Turkey Helmut Veith Technical University Darmstadt, Germany Mahesh Viswanathan University of Illinois at Urbana, USA Tomas Vojnar Brno University of Technology, Czech Republic Ji Wang Zhejiang University, China Jim Woodcock University of York, England Husnu Yenigun Sabanci University, Turkey Naijun Zhan Chinese Academy of Sciences, China Huibiao Zhu East China Normal University, China Steering Committee ------------------ John Fitzgerald University of Newcastle upon Tyne, UK Martin Leucker Technische Universität München, Germany Zhiming Liu (Chair) UNU-IIST, Macao Tobias Nipkow Technische Universität München, Germany Augusto Sampaio Universidade Federal de Pernambuco, Brazil Natarajan Shankar SRI, USA Jim Woodcock University of York, UK From mcarro at fi.upm.es Fri Jul 24 17:17:12 2009 From: mcarro at fi.upm.es (Manuel Carro) Date: Fri, 24 Jul 2009 17:17:12 +0200 Subject: Second Call for Papers: PADL'10, Madrid, January 2010 Message-ID: <19049.53368.712941.410095@fi.upm.es> [We apologize in advance for duplicate reception] [Please redistribute as appropriate] --------------------------------------------------------------------------- CALL FOR PAPERS Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 (PADL'10) http://clip.dia.fi.upm.es/Conferences/PADL-2010 Madrid, Spain January 18-19, 2010 Co-located with ACM POPL'10 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Declarative languages and Software Engineering. * Evaluation of implementation techniques on practical applications. * Practical experiences and industrial applications. * Novel uses of declarative languages in the classroom. PADL'10 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL'10 will be co-located with POPL 2010. IMPORTANT DATES Abstract submission: August 31, 2009 Paper Submission: September 4, 2009 Notification: October 5, 2009 Camera-ready: October 26, 2009 Symposium: January 18-19, 2010 SUBMISSION GUIDELINES Authors should submit an electronic copy of the full paper (written in English) in PDF, in the Springer LNCS format (see http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). The submission will be done through EasyChair at the URL http://www.easychair.org/conferences/?conf=padl10 . PADL'10 will accept both technical and application papers. Technical Papers Technical papers must describe original, previously unpublished research results, and must not be simultaneously submitted for publication elsewhere. Each submission must be written in English, and include three to four keywords, which will be used to assist us in selecting appropriate reviewers for the paper. Submissions must not exceed 15 pages in Springer LNCS format. Application Papers Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than computer science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate session. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 3 pages in Springer LNCS format. Most Practical Paper Award The Most Practical Paper award will be given to the technical submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. PROGRAM COMMITTEE Program Committee Chairs Manuel Carro (Universidad Politécnica de Madrid, Spain) Ricardo Peña (Universidad Complutense de Madrid, Spain) Program Committee María Alpuente (Universidad Politécnica de Valencia, Spain) Lennart Augustson (Standard Chartered Bank and Chalmers University of Technology, Sweden) Olaf Chitil (University of Kent, UK) María García de la Banda (Monash University, Australia) Andy Gill (The University of Kansas, USA) Haifeng Guo (University of Nebraska at Omaha, USA) Martin Hofmann (Ludwig-Maximilians Universität, Germany) Andy King (Portcullis Computer Security Limited, UK) John Launchbury (Galois, USA) Rita Loogen (Philipps-Universität Marburg, Germany) Erik Meijer (Microsoft Research, UK) Enrico Pontelli (New Mexico State University, USA) Vítor Santos Costa (Universidade do Porto, Portugal) Terrance Swift (CENTRIA, Portugal) Paolo Torroni (Università di Bologna, Italy) Roland Yap (National University of Singapore, Singapore) CONTACTS: For information about papers and submissions, please contact a Program Chair: Manuel Carro PC co-Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupmes Ricardo Peña PC co-Chair - PADL 2010 Facultad de Informática Universidad Complutense de Madrid c/ Profesor José García Santesmases s/n E-28040 Madrid, Spain Email: ricardo sipucmes For other information about the conference, please contact: Manuel Carro General Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro fiupm.es WITH THE COOPERATION OF: The University of Texas at Dallas ACM Sigplan --------------------------------------------------------------------------- From C.Orasan at wlv.ac.uk Sun Jul 26 13:55:21 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Sun, 26 Jul 2009 12:55:21 +0100 Subject: CFP: Extended Deadline: MACHINE TRANSLATION TWENTY-FIVE YEARS ON Message-ID: <1248609321.7246.28.camel@dinel-desktop> *Deadline extension for submissions 24 August 2009* International Conference MACHINE TRANSLATION TWENTY-FIVE YEARS ON 21-22 November 2009 Organised by: The Natural Language Translation Specialist Group of The British Computer Society (BCS-NLTSG) CALL FOR PAPERS The Conference The first Cranfield International Conference on Machine Translation, jointly organised by the BCS-NLTSG and Cranfield University, was held in 1984. A second Cranfield conference was held in 1994. Machine Translation is now some 60 years old and in view of the success of the previous Cranfield conferences, we are marking the twenty-fifth anniversary of the first conference at Cranfield by holding another this November. The title for the Conference is: Machine Translation: Twenty-Five Years On Papers are invited which centre on any aspect of translation by machine or aided by machine. We are particularly interested in what has been achieved in Machine Translation (MT) and Machine Assisted Translation (MAT) in the twenty-five years from 1984, and also what is expected to happen in R & D in MT and MAT in the next twenty-five years. Other aspects of translation are welcome too - for it is by the interchanging of ideas that progress is made. We invite papers reporting on recent advances in all aspects of Machine Translation, Computer-aided translation and Multilingual Natural Language Processing in general, including (but not limited to): terminology extraction and terminology management; electronic dictionaries; corpus-based language processing; word-sense disambiguation; machine translation; machine-aided translation; translation memory systems; translation aids and tools; cross-lingual information retrieval; text alignment; CALL; language resources; evaluation. Emphasis at the Conference will be given to the latest research in MT and MAT, illustrated wherever possible by computer demonstrations of working systems. Since the last conference, the influence of the Web cannot be ignored. It is expected that the Conference will help to give an impetus for further research and development in MT and MAT in the coming years. We think everyone agreed how successful and enjoyable both the '84 and '94 Cranfield Conferences were. We are expecting the 2009 Cranfield Conference to be even better. Scientific Committee Includes: Margarita Alonso Ramos (University of Coruña, Spain) Masoud Ashraf (BCS NLT SG, UK) Mona Baker (Manchester University, UK) Chris Bates(BCS NLT SG, UK) Christian Boitet (Université Joseph Fourier, France) Lynne Bowker (University of Ottawa, Canada) Michael Carl (Copenhagen Business School, Denmark) Douglas Clarke (BCS NLT SG, UK) Gloria Corpas Pastor (University of Malaga, Spain) Atefeh Farzindar (NLP Technologies, Canada) Pascale Fung (Hong Kong University of Science and Technology) Mikel L.Forcada (University of Alicante, Spain) Gabriela Gonzalez (ETRAD, Buenos Aires, Argentina) Veronique Hoste (University College Ghent, Belgium) Diana Inkpen (University of Ottawa, Canada) Alma Kharrat (Microsoft, USA) Richard Kittredge (CoGenTex, Inc., USA) Elina Lagoudaki (Imperial College, UK) Veronica Lawson (BCS NLT SG, UK) Derek Lewis (BCS NLT SG, UK) Marie-Claude L'Homme (University of Montreal, Canada) Elliot Macklovitch (University of Montreal, Canada) Belinda Maia (University of Porto, Portugal) Ruslan Mitkov (University of Wolverhampton) Paola Monachesi (Utrecht University, The Netherlands) Constantin Orasan (University of Wolverhampton, UK) Jon Riding (British & Foreign Bible Society, UK) Lucia Specia (University of Wolverhampton, UK) Mark Stevenson (University Of Sheffield) Alfred Vella (Liverpool University and Open University, UK) David Wigg (BCS NLTSG, UK) Yorick Wilks (University of Sheffield, UK) Important Dates Date for submission of draft papers/posters for review: 24 August 2009 Deadline for submission of proposals for practical demonstrations: 24 August 2009 Notification of acceptance for papers, posters and demonstrations no later than 15 September 2009. Deadline for final versions of Papers and posters 10 October 2009 Registration Deadline 10 October 2009 'Machine Translation 25 Years on' 21st and 22nd November 2009 Format of papers The proceedings are being prepared by Alfred Vella, Derek Lewis and Douglas Clarke (editors of the previous sets of proceedings), Please see http://nltsg.bcs.org/mtconf2009/papers.html Alternative Programme An alternative programme can be arranged for persons accompanying delegates. Among places which can be visited are: Milton Keynes, The Open University, Cambridge, Oxford, Blenheim Palace, Bletchley Park Museum and Stratford-upon-Avon. Fees are expected to be: Conference: Covering attendance at sessions, banquet, exhibition, and receipt of proceedings to be around 350 GBP plus VAT. The price includes the registration fee of 50 GBP, but does not include accommodation and other meals. Residential accommodation is available at Cranfield at 45.50 GBP + VAT per person per night for bed and breakfast. Non-residential delegates may pay for individual meals separately. Please send expressions of interest and/or abstracts of papers to: mtconf at bcs.org For more information please go to http://nltsg.bcs.org/mtconf2009/ -- Scanned by iCritical. From Richard.Chbeir at u-bourgogne.fr Mon Jul 27 15:01:58 2009 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Mon, 27 Jul 2009 15:01:58 +0200 Subject: SITIS'09: Paper Submission Deadline Approaching ... Message-ID: <1248699718.4a6da5462056d@webmail.u-bourgogne.fr> --------- Sorry for cross-postings --------- - Paper submission deadline is approaching - ################################################################################################# The 5th International Conference on Signal Image Technology and Internet Based Systems (SITIS'09) November 29 - December 4, 2009 Farah Kenzi Hotel Marrakech, Morocco http://www.u-bourgogne.fr/SITIS In cooperation with ACM SIGAPP.fr, IFIP TC 2 WG 2.13, IEEE (pending) ################################################################################################# The SITIS conference is dedicated to research on the technologies used to represent, share and process information in various forms, ranging multimedia data to traditional structured data and semi-structured data found in the web. SITIS spans two inter-related research domains that increasingly play a key role in connecting systems across network centric environments to allow distributed computing and information sharing. SITIS 2009 aims to provide a forum for high quality presentations on research activities centered on the following tracks: * The focus of the track "Information Management & Retrieval Technologies" (IMRT) is on the emerging modeling, representation and retrieval techniques that take into account the amount, type and diversity of information accessible in distributed computing environment. The main topics include data semantics and ontologies, semi-structure data management, spatial information systems, multimedia databases, multimedia networking and qos, information retrieval and search engine, information security, schema mapping and evolution, data warehousing, social network, and applications. * The track "Web-Based Information Technologies & Distributed Systems" (WITDS) is devoted to emerging and novel concepts, architectures and methodologies for creating an interconnected world in which information can be exchanged easily, tasks can be processed collaboratively, and communities of users with similarly interests can be formed while addressing security threats that are present more than ever before. The main topics include information system interoperability, emergent semantics, agent-based systems, distributed and parallel information management, grid, P2P, web-centric systems, web security and integrity issues. * The track "Open Source Software Development and Solution" (OSSDS) focuses on new software engineering method in distributed and large scaled environments, strategies for promoting, adopting, and using Open Source Solutions and case studies or success stories in specific domains. The main topics include software engineering methods, users and communities' interactions, software development platforms, open source developments and project management, applications domain, case studies. In addition to the above tracks, SITIS 2009 includes workshops. The final list of workshop will be provided later. Submission and publication -------------------------- The conference will include keynote addresses, tutorials, and regular and workshop sessions. SITIS 2009 invites submission of high quality and original papers on the topics of the major tracks described below. All submitted papers will be peer-reviewed by at least two reviewers for technical merit, originality, significance and relevance to track topics. Papers must be up to 8 pages and follow IEEE double columns publication format. Accepted papers will be included in the conference proceedings and published by IEEE Computer Society and referenced in IEEE explore and major indexes. Important dates ---------------- * Paper Submission (Extended): August 03rd, 2009 * Acceptance/Reject notification: August 25th, 2009 * Camera ready / Author registration: September 1st, 2009 Local organizing committee (Cadi Ayyad University, Morocco) ------------------------------------------------------------ * Aziz Elfaazzikii (Chair) * El Hassan Abdelwahed * Jahir Zahi * Mohamed El Adnani * Mohamed Sadgal * Souad Chraibi * Said El Bachari More details about each track and detailed topics can be found on the conference website: http://www.u-bourgogne.fr/SITIS From rcra.aixia.09 at gmail.com Mon Jul 27 16:04:46 2009 From: rcra.aixia.09 at gmail.com (RCRA09) Date: Mon, 27 Jul 2009 16:04:46 +0200 Subject: RCRA09 call for papers Message-ID: <4A6DB3FE.9020201@gmail.com> * ___________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://rcra.aixia.it organises the 16th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2009) Email: rcra.aixia.09 at gmail.com RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2009 * ____________________________________________________________________ * The event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. * ___________________________________________________________________ * As in previous editions, authors of papers presented at the event will have the opportunity to participate to the selection of a special issue that will appear on the ***Elsevier Journal of Algorithms in Cognition, Informatics and Logic.*** DATES 11-12 december 2009, co-located with AI*IA 2009 http://www.aixia09.unimore.it/ VENUE Reggio Emilia, Italy AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy WORKSHOP PROGRAM COMMITTEE * Slim Abdennadher, German University in Cairo, Egypt * Gilles Audemard, Université d'Artois, France * Francesco Calimeri, Università della Calabria, Italy * Gianluca Caminiti, Università Mediterranea di Reggio Calabria, Italy * Khalil Djelloul, Université d'Orléans, France * Agostino Dovier, Universita` di Udine, Italy * Esra Erdem, University of Texas at Austin, USA * Wolfgang Faber, Università della Calabria, Italy * Pierre Flener, Uppsala University, Sweden * Marco Gavanelli, Università di Ferrara, Italy * Hector Geffner, Universitat Pompeu Fabra, Spain * Daniel Le Berre, Université d'Artois, France * Ines Lynce, Universidade Técnica de Lisboa, Portugal * Toni Mancini, Sapienza Università di Roma, Italy * Marco Maratea, Università di Genova, Italy * Joao Marques-Silva, University College Dublin, Ireland * Pedro Meseguer, Consejo Superior de Investigaciones Científicas, Spain * Massimo Narizzano, Università di Genova, Italy * Ilkka Niemelä, Helsinki University of Technology, Finland * Angelo Oddi, ISTC-CNR, National Research Council, Italy * Andrea Omicini, Università di Bologna, Italy * Steve Prestwich, Cork Constraint Computation Centre, Ireland * Daniel Riera, Universitat Oberta de Catalunya, Spain * Andrea Schaerf, Universita` di Udine, Italy * Kostas Stergiou, University of the Aegean, Greece * Mirek Truszczynski, University of Kentucky, USA HOST ORGANIZATION Università di Modena e Reggio-Emilia, Italy SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings (different than AI*IA 2009). Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 pages, and should be written in LaTeX, using the RCRA 2009 style available on the workshop web site. Submissions will be reviewed by at least three members of the program committee. Papers accepted at the workshop will be electronically published on the workshop web site and as an issue of the CEUR Workshop Proceedings series. Submissions should be sent to the address: rcra.aixia.09 at gmail.com SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers presented at the RCRA workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. Workshop post-proceedings will appear in a special issue of the Elsevier Journal of Algorithms in Cognition, Informatics and Logic, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any previous version already published in formal conference proceedings (including the proceedings of AI*IA 2009). Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed (cf. important dates). Hence, authors are invited to work on their paper mainly before the workshop date. WORKSHOP AND CONFERENCE FEE See the web page of the conference AI*IA 2009: http://www.aixia09.unimore.it/index.php/conference-registration/conference-fee IMPORTANT DATES * Submission for RCRA workshop: 1 September 2009 * Notification of acceptance/reject: 15 October 2009 * Final version due: 15 November 2009 * RCRA session at AI*IA: 11 December 2009 * RCRA workshop: 11-12 December 2009 SELECTION FOR POST-PROCEEDINGS Elsevier Journal of Algorithms in Cognition, Informatics and Logic * Extended papers submission deadline: 15 January 2010 * Notification of reviews of the 1st round: 28 February 2010 * Re-submission deadline (for papers not accepted with minor rev.): 15 April 2010 * Final notification of acceptance: 1 May 2010 * Final version due: 15 May 2010 -- RCRA2009: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://rcra.aixia.it/rcra2009 From klusch at dfki.de Mon Jul 27 17:18:52 2009 From: klusch at dfki.de (Matthias Klusch) Date: Mon, 27 Jul 2009 17:18:52 +0200 Subject: CFP: 3rd Intl Semantic Service Selection Contest 2009 Message-ID: <4A6DC55C.1010703@dfki.de> Apologies for multiple copies due to cross-postings. First Call for Submissions: ======================================= Third International Contest on Semantic Service Selection (S3) October 25, 2009 @ 3rd International Workshop SMR2 of the 8th International Semantic Web Conference (ISWC) Washington D.C., USA Contest website: http://www.dfki.de/~klusch/s3/html/2009 ========================================= The international S3 contest on semantic service selection provides means and forum for the joint and comparative evaluation of the retrieval performance (recall/precision, F1, AQRT, etc) of publicly available Semantic Web service matchmakers over given public test collections. This year, the S3 Contest features three tracks: Track 1: OWL-S matchmaker evaluation Track 2: SAWSDL matchmaker evaluation Track 3: Service selection cross-evaluation Preliminary Program ******************* http://www-ags.dfki.uni-sb.de/~klusch/s3/html/program1.html How to Participate in the S3 Contest? ************************************* The first two tracks of the contest are based on readily available semantic service retrieval test collections OWLS-TC3 and SAWSDL-TC2 for OWL-S, respectively, SAWSDL service selection approaches (matchmakers). Participation requires you only to make your individual service matchmaker available for its evaluation by the semantic service retrieval evaluation environment SME2. OWLS-TC3: http://projects.semwebcentral.org/projects/owls-tc/ SAWSDL-TC2: http://projects.semwebcentral.org/projects/sawsdl-tc/ SME2: http://projects.semwebcentral.org/projects/sme2/ The third track is open for any service matchmaker: To participate in this special track on service selection cross-evaluation, you need to provide your own semantic annotations of services in the given special collection JGD (Jena Geographical Dataset) of geographical services in the formalism of your choice (OWL-S, SAWSDL, WSML, Text/Tagging, etc), and possibly your special matchmaker for this format. The special JGD collection will be included in the test collections OWLS-TC3 and SAWSDL-TC2. Results of all three tracks will be presented and discussed at the SMR2 Workshop at ISWC 2009. For detailed information on how to participate with your matchmaker, pls visit http://www.dfki.de/~klusch/s3/html/participation2.html Please let us know whether you are planning to participate in the S3 Contest, especially what track, and if so when we may expect your entry. Please do not hesitate to contact us in case you encounter any problems with using the SME2 for your matchmaker which we could help you to easily solve. Thanks! Deadline for Submissions of Entries *********************************** Deadline for submissions to the S3 Contest in 2009: October 6, 2009 If your entry could be ready before this deadline PLEASE do not hesitate to do and submit it to us as soon as possible for testing it, thus making sure everything runs smoothly in the final presentation round! PLEASE NOTE: Submissions of entries to the S3 contest that reach us after this year's deadline will be automatically taken for the 2010 edition of the S3 contest - unless you tell us differently. In addition, you may also consider submitting a paper that describes your semantic service matchmaking approach to the SMR2 workshop which is hosting the S3 contest this year: http://www.dfki.de/~klusch/smr2-09/html/submission.html The submission deadline for this workshop is Ausgust 11, 2009. Submission of a paper to SMR2 is NOT a requirement for participating in the S3 contest though. Thanks a lot for your efforts and support of this contest in advance!! Registration ************ Participation in the S3 contest is entirely free of charge. However, we strongly encourage you to also attend the final presentation of the results of the S3 contest 2009 at the hosting workshop SMR2 (http://www.dfki.de/~klusch/smr2-09/) which, in this case, requires your registration to both the ISWC 2009 conference (http://iswc2009.semanticweb.org/) and the SMR2 workshop. Organisation and Contact ************************ S3 Contest Organisation Committee 2009 Matthias Klusch (DFKI, Germany) Alain Leger (France Telecom Research, France) David Martin (SRI International, USA) Massimo Paolucci (NTT DoCoMo Research Europe, Germany) Abraham Bernstein (University of Zurich, Switzerland) Terry Payne (U Southampton, UK) Ulrich Küster (Friedrich-Schiller-University Jena, Germany) Contact: Dr. habil. Matthias Klusch DFKI Saarbrücken, Germany klusch at dfki.de phone: +49-6813025297 Ulrich Küster (Track 3) Friedrich-Schiller-University Jena, Germany Ulrich.Kuester at uni-jena.de phone: +49-3641-946433 ========================================== From alessandra.mileo at nomadis.unimib.it Mon Jul 27 20:25:12 2009 From: alessandra.mileo at nomadis.unimib.it (Alessandra Mileo) Date: Mon, 27 Jul 2009 20:25:12 +0200 Subject: CALL FOR SHORT PAPERS: LPNMR Workshop on Logic-Based Interpretation of Context: Modelling and Applications (Log-IC) Message-ID: <3018F2D9-AF80-4710-9030-3770B601566B@nomadis.unimib.it> [Apologies for cross-postings of this CFP. Please send to interested colleagues and students] Dear collegues, The deadline for short papers submission to Log-IC09 is approaching. It seems that there are several preliminary ideas on logic-based context modeling and context-related reasoning, although this is a rather new perspective and complete results may not be available yet. We think the workshop is an occasion to discuss these ideas with the logic community and have an immediate feedback during our panel session, thus we invite you to submit both theoretical and application- targeted considerations in form of a short paper. Submission deadline for short paper is 31st July 2009. Limit is 2 pages in LNCS format. The complete CFP follows. Thanks, Alessandra Mileo Jim Delgrande --------------------------------------------------------------------------------------------------------------------------------------------------------- Call for Short Papers Log-IC 2009 First International Workshop on Logic-Based Interpretation of Context: Modelling and Applications http://www.nomadis.unimib.it/flex/cm/pages/ServeBLOB.php/L/EN/IDPagina/227 14 September 2009 In conjunction with LPNMR 2009 http://www.cs.uni-potsdam.de/lpnmr09/ Potsdam, Berlin 14-19 September 2009 SUBMISSION DEADLINE: 31st July 2009 --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration. As well, the theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning with more recently emerging areas such as ontologies, including the semantic web, and approaches to belief change. While implemented context-representation models are generally domain-dependent and do not support powerful inference, declarative logic-based models fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge- or databases. The incompleteness and heterogenous nature of such data and the need for state-based context interpretation in dynamic systems suggest that nonmonotonic reasoning techniques can be a powerful tool for effective context-dependent reasoning. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite proposals that assume hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts. --------------------------- Objectives --------------------------- This workshop will provide a forum for researchers investigating context-aware applications and context-based reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2009 will also propose targeted discussions on the topic. Holding the workshop in conjunction with LPNMR has the additional advantage of reaching out to the logic programming community, facilitating collaboration between different formalisms for context- based reasoning and enhancing nonmonotonicity combined or compared with other approaches to context interpretation. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modelling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Ontologies and nonmonotonig reasoning in context representation - Hybrid formalisms for reasoning within (distributed) contexts - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications: Independent-Living Systems, Activity Monitoring, Smart Environments, Context-Based Interaction --------------------------- Submissions --------------------------- Short papers are subjected to a faster revision process, limit is 2 pages in LNCS/LNAI format. To submit a short paper, send the PDF version of the paper to both Program Chairs. At least one author of accepted papers should attend the Workshop and give a 10 minutes presentation with slides. Short papers will be included in the online proceedings. --------------------------- Important dates --------------------------- Short Papers submissions: 31st July 2009 Notification of Acceptance: 8th August 2009 Workshop: 14th September 2009 ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy James P. Delgrande School of computing Science Simon Fraser University Burnaby, Canada Davide Merico Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Alessandra Latini Dept. of Informatics, Systems and Communication University of Milan-Bicocca Milano, Italy Program Chairs: Alessandra Mileo, University of Milan-Bicocca, Italy, email: alessandra.mileo at disco.unimib.it James P. Delgrande, Simon Fraser University, Canada, email: jim at cs.sfu.ca Program Committee: - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Stefania Bandini, University of Milan-Bicocca, Italy - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Amedeo Cesta, ISTC-CNR, Rome, Italy - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, Department of Mathematics, University of Calabria - Stijn Heymans, Vienna University of Technology, Austria - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Alessandra Mileo, University of Milan-Bicocca, Italy - Pascal Nicolas, University of Angers, France - Axel Polleres, University of Galway, Ireland - Torsten Schaub, University of Potsdam, Germany - Hans Tompits, Vienna University of Technology, Austria - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria ----------------------------------------------------------- Dr. Alessandra Mileo Research Assistant, Nomadis Lab. Dept. of Informatics, Systems and Communications University of Milan-Bicocca Homepage: http://sites.google.com/site/alessandramileoweb/ Email: alessandra.mileo at disco.unimib.it Email: alessandra.mileo at nomadis.unimib.it Tel: +39 02 6448 7887 ----------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at yahoo.com Mon Jul 27 23:40:10 2009 From: evomusart at yahoo.com (Penousal Machado) Date: Mon, 27 Jul 2009 14:40:10 -0700 (PDT) Subject: EvoMUSART 2010: 8th European Workshop on Evolutionary and Biologically Inspired Music, Sound, Art and Design Message-ID: <46880.31441.qm@web59405.mail.ac4.yahoo.com> EvoMUSART 2010 8th European Workshop on Evolutionary and Biologically Inspired Music, Sound, Art and Design 7-9 April, 2010, Istanbul, Turkey http://www.evostar.org ---------------------------------------------------------------------- INTRODUCTION ---------------------------------------------------------------------- EvoMUSART 2010 is the eight workshop of the EvoNet working group on Evolutionary Music and Art. Following the success of previous events and the growth of interest in the field, the main goal of EvoMUSART 2010 is to bring together researchers who are using biologically inspired techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in this area. The workshop will be held from 7-9 April, 2010 in Istanbul, Turkey as part of the EvoStar event. Accepted papers will be presented orally at the workshop and included in the EvoWorkshops proceedings, published by Springer Verlag in the Lecture Notes in Computer Science series. EvoMUSART 2010 important dates are: Submission deadline: November 4, 2009 Conference: 7-9 April, 2010 ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- The papers should concern the use of bio-inspired techniques (Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, etc.) in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: - Generation o Biologically Inspired Design and Art-Making Systems that create drawings, images, animations, sculptures, poetry, text, objects, designs, webpages, buildings, etc.; o Biologically Inspired Sound-Generators and Music-Systems that create music, aggregate sound, or simulate instruments, voices, effects, etc; o Robotic Based Evolutionary Art and Music; o Other related generative techniques; - Theory o Computational Aesthetics, Emotional Response, Surprise, Novelty; o Representation techniques; o Comparative analysis and classification; o Validation methodologies; o New biologically inspired computation models in art, music and design; - Computer Aided Creativity o New ways of integrating users into evolutionary computation art and music frameworks; o Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; o Collaborative distributed artificial art environments; - Automation o Techniques for automated fitness assignment; o Systems that exploit biologically inspired computation to analyze artistic objects and artifacts; ---------------------------------------------------------------------- ADDITIONAL INFORMATION AND SUBMISSION DETAILS ---------------------------------------------------------------------- Submit your manuscript, at most 10 A4 pages long, in Springer LNCS format no later than November 4, 2009. Formatting instructions available at: http://www.springer.com/dal/home/computer/lncs?SGWID=1-164-7-72376-0&teaserId=45515&CENTER_ID=73062) The papers will be peer reviewed by at least three members of the program committee. Authors will be notified via email on the results of the review by 20 December 2009. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts, along with text sources and pictures, by 10 January 2010. The accepted papers will appear in the workshop proceedings, published in Springer LNCS Series, which will be available at the workshop. Further information, including the Online Submission Details, can be found on the following pages: Evo*2010: http://www.evostar.org EvoMUSART2010: http://dces.essex.ac.uk/research/evostar/EvoMUSART.htm ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- Submission: 4 November 2009 Workshop: 7-9 April 2009 ---------------------------------------------------------------------- PROGRAMME COMMITTEE ---------------------------------------------------------------------- Alain Lioret, Paris 8 University, France Alan Dorin, Monash University, Australia Alejandro Pazos, University of A Coruna, Spain Amilcar Cardoso, University of Coimbra, Portugal Amy K. Hoover, University of Central Florida, USA Andrew Gildfind, Google, Inc., Australia Andrew Horner, University of Science & Technology, Hong Kong Anna Ursyn, University of Northern Colorado, USA Antonino Santos, University of A Coruna, Spain Artemis Sanchez Moroni, Renato Archer Research Center, Brazil Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carlos Grilo, Instituto Politécnico de Leiria, Portugal Christian Jacob , University of Calgary, Canada Colin Johnson, University of Kent, UK Craig Kaplan, University of Waterloo, Canada Eduardo Miranda, University of Plymouth, UK Eleonora Bilotta , University of Calabria, Italy Erwin Driessens, Independent Artist, Netherlands Gary Nelson, Oberlin College, USA Gerhard Widmer, Johannes Kepler University Linz, Austria Hans Dehlinger, Independent Artist, Germany James McDermott, University of Limerick, Ireland Jon McCormack, Monash University, Australia Jonatas Manzolli , UNICAMP, Brasil Jorge Tavares, University of Coimbra, Portugal Juan Romero, University of A Coruna, Spain Luigi Pagliarini, Pescara Electronic Artists Meeting & University of Southern Denmark, Italy Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Nicolas Monmarché, University of Tours, France Oliver Bown, Monash University, Australia Pablo Gervás, Universidad Complutense de Madrid , Spain Palle Dahlstedt, Göteborg University, Sweden Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa , Portugal Peter Bentley, University College London , UK Philip Galanter, Texas A&M College of Architecture, USA Rafael Ramirez, Pompeu Fabra University, Spain Ruli Manurung, University of Indonesia, Indonesia Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, Multimedia University, Malaysia Stefano Cagnoni, University of Parma, Italy Stephen Todd, IBM, UK Steve DiPaola, Simon Fraser University, Canada Tim Blackwell, Goldsmiths College, University of London, UK Vic Ciesielski, RMIT, Australia ---------------------------------------------------------------------- WORKSHOP CHAIRS ---------------------------------------------------------------------- Penousal Machado University of Coimbra, Portugal Machado AT dei DOT uc DOT pt Gary Greenfield University of Richmond, USA ggreenfi AT richmond DOT edu From amilcar at dei.uc.pt Tue Jul 28 01:28:10 2009 From: amilcar at dei.uc.pt (=?ISO-8859-1?Q?=22F._Am=EDlcar_Cardoso=22?=) Date: Tue, 28 Jul 2009 00:28:10 +0100 Subject: CfP: Computational Creativity 2010 Message-ID: Apologies for cross-posting. ----------------------------------------------------------------------------------------------------- CALL FOR PAPERS 1st INTERNATIONAL CONFERENCE ON COMPUTATIONAL CREATIVITY Lisbon, Portugal, 7-9 January 2009 ---> Submission deadline: 21 September website: http://creative-systems.dei.uc.pt/icccx Although it seems clear that creativity plays an important role in developing intelligent computational systems, it is less clear how to model, simulate, or evaluate creativity in such systems. In other words, it is often easier to recognize the presence and effect of creativity than to describe or prescribe it. The purpose of this conference is to facilitate the exchange of ideas on the topic of computational creativity in a cross-disciplinary setting. It will bring together people from AI, Cognitive Science and related areas such as Psychology, Philosophy and the Arts who research questions related to the notion of creativity as it relates to computational systems. This focus on creativity in the context of computational systems has the potential for increasing innovation in existing fields of research as well as for defining new fields of study, including 1. Artificially Creative Systems: development of computational systems that produce or simulate creativity. These systems may be inspired by human creativity or by the possibilities of artificial systems beyond human capabilities. 2. Computational Models of Human Creativity: construction of cognitive models of human creativity that can be the basis for computational creativity. 3. Computational Systems for Supporting Creativity: production of user interfaces, interaction design, decision support, and data modeling techniques that lead to the development of intelligent assistants that support the user in being more creative. -------------------------- Topics -------------------------- Original contributions are solicited in all areas related to Computational Creativity, including but not limited to: 1. computational paradigms for understanding creativity, including heuristic search, analogical reasoning, and re-representation; 2. metrics, frameworks and formalizations for the evaluation of creativity in computational systems; 3. perspectives on creativity, including philosophy of computational creativity, models of human behavior, intelligent systems, and creativity-support tools; 4. the role of creativity in learning, innovation, improvisation, and other pursuits; 5. factors that enhance creativity, including conflict, diversity, knowledge, intuition, reward structures, and technologies; 6. social aspects of creativity, including the relationship between individual and social creativity, diffusion of ideas, collaboration and creativity, formation of creative teams, and simulating creativity in social settings; 7. specific applications to music, language and the arts, to architecture and design, to scientific discovery, to education and to entertainment; 8. detailed system descriptions of creative systems, including engineering difficulties faced, example sessions and artefacts produced, and applications of the system. The conference will include traditional paper presentations, will showcase the application of computational creativity to the sciences, creative industries and arts, and will incorporate a "show and tell" session, which will be devoted to demonstrations of computational systems exhibiting behaviour which would be deemed creative in humans. In addition the conference will provide a forum for identifying trends and opportunities for research on [computational] creativity and promising practices concerning the development of creative computational systems. -------------------------------------------------------------------------------- Celebrating 10 years of Events on Computational Creativity -------------------------------------------------------------------------------- This conference celebrates the 10th anniversary of a series of events which, since 1999, have grown from small satellite workshops into an international conference in its own right. During this period, these symposia and workshops have acted as a focus for an active research community, have been the forum for the presentation of the newest results in computational creativity, and have given rise to special issues of journals. List of past events: IJWCC 2008, Madrid, Spain AAAI 2008 Spring Symposium on Creative Intelligent Systems, Stanford, CA, USA IJWCC 2007, London, UK (first autonomous workshop) IJWCC 2006, Riva del Garda, Italy, ECAI'2006 IJWCC 2005, Edinburgh, UK, IJCAI'2005 IJWCC 2004, Madrid, Spain, ECCBR'2004 The IJWCC series resulted from two previous streams of symposia and workshops associated with AISB 99, AISB 00, ICCBR 01, AISB 01, ECAI 02, AISB 02, IJCAI 03, AISB 03 and LREC 04. ----------------------- Important Dates ----------------------- September 21, 2009 Submission deadline October 30, 2009 Authors' Notification November 22, 2009 Deadline for final camera-ready copies ------------------- Submissions ------------------- Please submit papers of up to 10 pages in Springer LNCS format. Submission details will be available on the conference website. ------------------------------ Organising Committee ------------------------------ General Chair: Geraint A. Wiggins (Goldsmiths, University of London, UK) PC Chair: Dan Ventura (Brigham Young University, UT, USA) Local Chair: Amilcar Cardoso (University of Coimbra, Portugal) Publicity Chair: Simon Colton (Imperial College London, UK) -------------------------- Local Organisation -------------------------- Amilcar Cardoso (University of Coimbra, Portugal) Luís Macedo (University of Coimbra, Portugal) - Finance Paulo Pires (University of Coimbra, Portugal) - Sponsoring Jorge Ávila (University of Coimbra, Portugal) - Secretariate ------------------------------------- Senior Program Committee ------------------------------------- Rafael Pérez y Pérez (UAM Cuajimalpa, Mexico) Graeme Ritchie (University of Aberdeen, UK) Alison Pease (The University of Edinburgh, UK) Tony Veale (University College Dublin, Ireland) ----------------------------------- Program Committee ----------------------------------- John Barnden (University of Birmingham, UK) Ana Boa-Ventura (University of Texas, Austin, USA) David Brown (Worcester Polytechnic Institute, USA) Paul Brown (University of Sussex, UK) Win Burleson (Arizona State University, USA) John Collomosse (University of Bath, UK) Anna Feldman (Montclair State University, USA) Pablo Gervás (Universidad Complutense de Madrid, Spain) John Gero (George Mason University, USA) Ashok Goel (Georgia Institute of Technology, USA) Paulo Gomes (University of Coimbra, Portugal) Kaz Grace (University of Sydney, Australia) Fox Harrell (Georgia Institute of Technology, USA) Kyle Jennings (University of California, Berkeley, USA) Robert Keller (Harvey Mudd College, USA) Penousal Machado (University of Coimbra, Portugal) Brian Magerko (Georgia Institute of Technology, USA) Lorenzo Magnani (University of Pavia, Italy) Mary Lou Maher (National Science Foundation, USA) Ramon López de Mántaras (IIIA-CSIC, Spain) Ruli Manurung (University of Indonesia, Indonesia) Jon McCormack (Monash University - Clayton, Australia) David C. Moffat (Glasgow Caledonian University, UK) Nick Montfort (Massachusetts Institute of Technology, USA) Diarmuid O'Donoghue (National University of Ireland, Ireland) Francisco Câmara Pereira (University of Coimbra, Portugal) Luis Pineda (Universidad Nacional Autónoma de México, Mexico) Sarah Rauchas (Goldsmiths, University of London, UK) Joaquim Reis (ISCTE, Lisbon University Institute, Portugal) Mark Riedl (Georgia Institute of Technology, USA) Judy Robertson (Heriot-Watt University, UK) Juan Romero (Universidade da Coruña, Spain) Rob Saunders (University of Sydney, Australia) Ricardo Sosa (Tecnologico de Monterrey, Mexico) Oliviero Stock (Istituto per la Ricerca Scientifica e Tecnologica, Italy) Ron Sun (Rensselaer Polytechnic Institute, USA) Carlo Strapparava (Istituto per la Ricerca Scientifica e Tecnologica, Italy) Chris Thornton (University of Sussex, UK) ----------------------------------- ICCC Steering Committee ----------------------------------- Amilcar Cardoso (University of Coimbra, Portugal) Simon Colton (Imperial College London, UK) Pablo Gervás (Universidad Complutense de Madrid, Spain) Alison Pease (The University of Edinburgh, UK) Rafael Pérez y Pérez (UAM Cuajimalpa, Mexico) Graeme Ritchie (University of Aberdeen, UK) Rob Saunders (University of Sydney, Australia) Tony Veale (University College Dublin, Ireland) Dan Ventura (Brigham Young University, UT, USA) Geraint A. Wiggins (Goldsmiths, University of London, UK) -------------- Sponsors -------------- APPIA - Portuguese Association for Artificial Intelligence AECI - Ano Europeu para a Criatividade e Inovação CISUC - Centre for Informatics and Systems of the University of Coimbra From tudorache at stanford.edu Tue Jul 28 23:14:14 2009 From: tudorache at stanford.edu (Tania Tudorache) Date: Tue, 28 Jul 2009 14:14:14 -0700 Subject: Last CFP: CK 2009 - Workshop on Collaborative Construction, Management and Linking of Structured Knowledge, collocated with ISWC 2009 Message-ID: <4A6F6A26.9060903@stanford.edu> Apologies for cross-postings. Please forward to interested colleagues and mailing lists. CALL FOR PAPERS, POSTERS AND DEMOS ==================================================================== Workshop on Collaborative Construction, Management and Linking of Structured Knowledge October 25, 2009 Collocated with ISWC-2009 Westfields Conference Center, near Washington, DC., USA Paper submission: August 10, 2009 (13 days from today) http://users.ecs.soton.ac.uk/gc3/iswc-workshop/ ==================================================================== Objectives ----------- Many have argued that the next generation of the Web (Web 3.0) will grow out of an integration between Semantic Web and Social Web (Web 2.0) technologies.Can ontology management benefits from social web? Can Wikipidia be a style of collaborative ontology authoring? How to exploit user feedback for constructing structured knowledge? In these and many other questions lie the opportunity and the challenge to integrate knowledge bases approaches to social web ones. This integration involves several very different aspects of technology and social practice. Recent workshops and journal special issues have been devoted to methods for extracting ontologies and other structured knowledge from resources such as Wikipedia and other loosely structured data; or on using Semantic Web representations to describe the social structures and interactions in Web 2.0; or on mapping existing data using semantic technologies. In this workshop, we want to focus on another aspect of linkage between Social Web and Semantic Web techniques: collaborative and distributed methods for constructing and maintaining ontologies, terminologies, vocabularies, and mappings between them, throughout their entire life cycle. Topics of interest ------------------- They include (but are not limited to): - Collaborative creation and editing of structured knowledge - Collaborative creation of ontology mappings - Efficient methods for maintenance and evolution of structured knowledge that was created collaboratively - Individual and group incentives for collaborative knowledge construction and maintenance - Ontology repositories, knowledge bases, and their utility in the Social Web. - Metadata management - User interfaces for collaborative tools for creating structured knowledge - Inconsistency management and user-specific views of ontologies - Workflows for collaborative construction and linking of structured knowledge - Evaluation of collaborative tools: methods, metrics, and experimental reports Submission guidelines --------------------- Papers submitted to the workshop must follow the same submission guidelines of the ISWC'09 conference. Submissions must be in PDF format in Springer format (for instruction see http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0) We solicit in this workshop two types of contributions: 1. Research papers analysing the process of collaborative construction, management and linkage of structured knowledge; the requirements for supporting technologies and the field of exploitation of such knowledge. Formatted papers must not be longer than 10 pages. 2. Demos papers describing relevant tools and prototypes. Formatted papers must not be longer than 2 pages. Important dates ---------------- Paper submission: 10 August 2009 Notification : 31 August 2009 Workshop : 25 October 2009 Organizing committee --------------------- Tania Tudorache (co-chair), Stanford University Gianluca Correndo (co-chair), University of Southampton Natasha Noy, Stanford University Harith Alani, University of Southampton Mark Greaves, Vulcan inc. Program Committee ------------------ Mathieu D'Aquin, Knowledge Media Institute, UK Sören Auer, University of Leipzig, Germany Ken Baklawski, Northeastern University, US Simone Braun, FZI, Germany Raul Garcia Castro, Universidad Politecnica de Madrid, Spain Vinay Chaudhri, SRI international, USA Mike Dean, BBN Technologies, USA Jerome Euzenat, INRIA, France Sean Falconer, University of Victoria, Canada Aldo Gangemi, ISTC-CNR, Italy John Graybeal, Monterey Bay Aquarium Research Institute, USA Martin Hepp, Universität der Bundeswehr München, Germany Andreas Hotho, University of Kassel, Germany Elisa Kendall, Sandpiper Software, USA Peter Mika, Yahoo Research, Spain Valentina Presutti, ISTC-CNR, Italy Marta Sabou, Knowledge Media Institute, UK Robert Stevens, University of Manchester, UK Gerd Stumme, Universität Kassel, Germany Giovanni Tummarello, DERI, Ireland Denny Vrandecic, AIFB, Germany Anna Zhdanova, FTW, Austria From rseba at disi.unitn.it Wed Jul 29 16:10:12 2009 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Wed, 29 Jul 2009 16:10:12 +0200 Subject: FroCoS'09: Call for Participation Message-ID: <20090729141012.GA13253@disi.unitn.it> ------------------------------------------------------------------------- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ------------------------------------------------------------------------- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!! FROCOS'09 REGISTRATION IS NOW OPEN !!!!!!!!!! !!!!!!!! EARLY-BIRD REGISTRATION DEADLINE: August 28th, 2009 !!!!!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Call for Participation 7th International Symposium on FRONTIERS OF COMBINING SYSTEMS (FroCoS’09) Conference Center "Panorama" Trento, Italy, September 16-18th, 2009 http://events.unitn.it/en/frocos09/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FROCOS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. Like its predecessors, FROCOS’09 wants to offer a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use. INVITED SPEAKERS & ACCEPTED PAPERS (See http://events.unitn.it/en/frocos09/accepted-and-invited-papers.) There will be 19 presentations of refereed papers, plus four long presentations from the following invited speakers: * Alessandro Armando, University of Genoa, Italy * Thomas Eiter, TU Wien, Austria * Boris Motik, Oxford University, UK * Ashish Tiwari, SRI International, USA REGISTRATION (See http://events.unitn.it/en/frocos09/accepted-and-invited-papers.) Registration is open at http://events.unitn.it/en/frocos09/. Fees: Early (before August 28th): 300EU Late (after August 28th): 400EU The fees includes VAT, and cover registration, LNAI conference proceedings, coffee breaks, lunches, the social dinner and the social events. It does not cover the hotel expenses. ACCOMODATION (See http://events.unitn.it/en/frocos09/travel-and-accommodation) A limited number of cheap and nice rooms are available at the conference site, the Conference Center "Panorama", on a first-come-first-served basis (so please book as soon as possible). Special room rates for conference participants have been negotiated with some hotels in downtown Trento. IMPORTANT: ANY QUESTION ABOUT REGISTRATION AND ACCOMODATION SHOULD BE SENT TO "convegni at unitn.it" AND *NOT* TO THE CHAIRS. TRAVELLING (See http://events.unitn.it/en/frocos09/travel-and-accommodation) Trento can be reached by train or car from Verona (nearest), Venice, Milan, Innsbruck and Munich international airports. SOCIAL EVENTS Social events involve a welcome reception, a boat excursion on the Garda Lake and the social dinner, which will be held at "Ristorante Castel Toblino", a well-known restaurant located in an ancient castle on a wonderful location on lake Toblino. ABOUT TRENTO AND TRENTO AREA (See http://www.apt.trento.it/en/Home.htm) Trento is a small Reinassance town, not far from Verona and Venice, famous for the Council (1545-1563) which gave rise to the Catholic Counter-Reformation. Trento area (Trentino) is a well-known touristic and holiday area. CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter Baumgartner, NICTA, Camberra, Australia - Torben Brauner, Roskilde University, DK - Leonardo de Moura, Microsoft Research, USA - Bernhard Gramlich, T.U. Wien, Austria - Sava Krstic, Intel Corporation, USA - Viktor Kuncak, E.P.F. Lausanne, Switzerland - Albert Oliveras, T.U. of Catalonia, Spain - Silvio Ranise, University of Verona, Italy - Christophe Ringeissen, LORIA, Nancy, France - Ulrike Sattler, Univ. of Manchester, UK - Renate Schmidt, Univ. of Manchester, UK - Luciano Serafini, FBK-Irst, Italy - Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany - Cesare Tinelli, University of Iowa, USA - Frank Wolter, University of Liverpool, UK - Michael Zakharyaschev, London Knowledge Lab, UK SPONSORS FroCos 2009 gratefully aknowledges the support from Rettorato and Dipartimento di Scienze dell'Informazione of Universita` degli Studi di Milano, Universita` degli Studi di Trento, and Microsoft Research. Silvio Ghilardi and Roberto Sebastiani FroCoS 2009 chairs From Kerry.Taylor at csiro.au Thu Jul 30 02:56:46 2009 From: Kerry.Taylor at csiro.au (Kerry.Taylor at csiro.au) Date: Thu, 30 Jul 2009 10:56:46 +1000 Subject: CFP: Australasian Ontology Workshop (AOW 2009) Message-ID: 5th Australasian Ontology Workshop (AOW 2009) 1 December 2009 Held in Conjunction with the 22nd Australian Joint Conference on Artificial Intelligence (AI'09) University of Melbourne, Melbourne, Australia http://ksg.meraka.org.za/~aow2009 AOW 2009 is the fifth in a series of workshops on ontologies held in the Australasian region. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications The proceedings of the four previous workshops were published as volumes in the Conferences in Research and Practice in Information Technology (CRPIT) series (http://crpit.com/), and this will again be the case for AOW 2009. As with the previous workshops, we are investigating the possibility of extended versions of selected papers appearing in a special issue of a suitable journal. Submission information such as format etc. can be found on the CRPIT website: http://crpit.com/AuthorsSubmitting.html. The page limit is 10 pages. Important Dates: Paper submission deadline: 25 September 2009 Notification of acceptance/rejection: 23 October 2009 Camera-ready copies due: 13 November 2009 AOW 2009: 1 December 2009 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=aow2009 This year AOW 2009 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. Workshop Chairs: Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Kerry Taylor CSIRO ICT Centre Kerry.Taylor at csiro.au Program Committee: Richard Booth (Mahasarakham University, Thailand) Arina Britz (Meraka Institute, South Africa) Werner Ceusters (SUNY Buffalo, USA) R. Cenk Erdur (Ege University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (SAP Research, UK) Ken Kaneiwa (NICT, Japan) Marijke Keet (Free University of Bolzano, Italy) Kevin Lee (NICTA and UNSW, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Maurice Pagnucco (UNSW, Australia) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Barry Smith (SUNY Buffalo, USA) Nwe Ni Tun (National University of Singapore, Singapore) Ivan Varcinczak (Meraka Institute, South Africa) Kewen Wang (Griffith University, Australia) More to be added... From Wiebe.van-der-Hoek at liverpool.ac.uk Thu Jul 30 16:31:17 2009 From: Wiebe.van-der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Thu, 30 Jul 2009 15:31:17 +0100 Subject: LOFT9 CFP References: <4A70D723.5040702@ucdavis.edu> Message-ID: <655708E4-1791-4966-9510-D8E2291AF28A@liverpool.ac.uk> LOFT9 2010 Ninth Conference on Logic and the Foundations of Game and Decision Theory University of Toulouse , France, 21-23 July 2010 http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html AIMS OF THE CONFERENCE This is the ninth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous eight conferences took place at CIRM (Marseille, France) in January 1994, at ICER (Torino, Italy) in December 1996, December 1998, July 2000 and July 2002, in Leipzig in July 2004, in Liverpool in July 2006 and in Amsterdam in 2008 (see: http://www.econ.ucdavis.edu/faculty/bonanno/loft.html) Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through http://www.easychair.org/conferences/?conf=loft2010 The deadline for submission is March 15, 2010, and authors will be notified of acceptance decisions by April 18, 2010. PUBLICATION OF CONTRIBUTED PAPERS: For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html We anticipate that a selection of the papers presented at LOFT9 will be published in a special issue of a journal. Program Chairs: Giacomo Bonanno, University of California Davis, U.S.A. Andreas Herzig, University of Toulouse, France Wiebe van der Hoek, University of Liverpool, United Kingdom Jérôme Lang, University of Toulouse, France Program Committee: Geir Asheim, University of Oslo, Norway Oliver Board, University of Pittsburgh, USA Vincent Conitzer, Duke University, USA Ulle Endriss, University of Amsterdam, The Netherlands Sebastian Enqvist, Lund University, Sweden Joe Halpern, Cornell University, USA Christian List, London School of Economics, United Kingdom Benedikt Loewe, University of Amsterdam, The Netherlands Larry Moss, Indiana University, USA Herve Moulin, Rice University, USA Eric Pacuit, Tilburg University, The Netherlands Andres Perea, Maastricht University, The Netherlands Wlodek Rabinowicz, Lund University, Sweden R Ramanujam, Chennai Institute of Mathematical Sciences, India Olivier Roy, University of Groningen, The Netherlands Hannu Salonen, University of Turku, Finland Wolfgang Spohn, University of Konstanz, Germany Moshe Tennenholtz, Technion Institute of Technology, Israel Important Dates: Deadline for submission: 15 March, 2010 Notification to authors: 18 April, 2010 Conference: 21-23 July 2010 ------------------------------------------------------------ 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 ulle.endriss at uva.nl Fri Jul 31 11:54:22 2009 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Fri, 31 Jul 2009 11:54:22 +0200 Subject: ECAI-2010: 1st Call for Workshop Proposals (deadline: 11 December 2009) Message-ID: <4A72BF4E.4080905@uva.nl> [Please distribute widely and accept our apologies for cross-posting.] ###################################################################### ## ECAI-2010 ## 1st Call for Workshop Proposals ## ECAI-2010 ## ###################################################################### The Nineteenth European Conference on Artificial Intelligence 16-20 August 2010 ## Lisbon, Portugal http://ecai2010.appia.pt/ Deadline for workshop proposals: 11 December 2009 ###################################################################### ## INTRODUCTION ## ###################################################################### The nineteenth biennial European Conference on Artificial Intelligence (ECAI-2010) will take place on 16-10 August 2010 in Lisbon, Portugal. We invite proposals for workshops to be held during the first two days of the conference. Artificial Intelligence (AI) is a central topic in contemporary computer science and informatics. The fruits of fifty years of AI research have benefited application domains as disparate as industrial systems control and medicine. The milestone events in AI research are increasingly regarded as milestones in human scientific and technological development: from the first chess playing program to defeat a reigning world champion under standard chess tournament rules, to the first robot to autonomously traverse 150 miles of rough terrain. Techniques, results, and concepts developed under the banner of AI research have proved to be of fundamental importance in areas such as economics, philosophy, linguistics, psychology, and logical analysis. And of course, AI remains a topic of perennial fascination in popular culture. Initiated in 1974, the biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI-2010 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), and an extensive programme of workshops, tutorials, and invited speakers. ECAI-2010 will be held in the beautiful and historic city of Lisbon, Portugal. With excellent opportunities for sightseeing and gastronomy, Lisbon promises to be a wonderful venue for a memorable conference. ###################################################################### ## WORKSHOPS @ ECAI-2010 ## ###################################################################### Workshop proposals by all members of the international AI community are welcome. There is no restriction regarding topics, as long as there is clear relevance to ECAI. Most workshops will follow the classical format of presentations of peer-reviewed papers followed by discussion, but other formats (e.g., AI competitions) and entirely new ideas are also welcome. Whatever the format, all workshops should be interactive events and ample time should be allocated to discussion. The typical duration for a workshop is one full day, but two-day workshops can also be accommodated. If you are considering to propose a workshop or if you have any questions, please do not hesitate to get in touch with the ECAI-2010 Workshop Chair, Ulle Endriss (ulle.endriss at uva.nl). ###################################################################### ## IMPORTANT DATES ## ###################################################################### 11 Dec 2009: workshop proposals due (early submissions are welcome!) 15 Jan 2010: workshop proposal notifications sent 29 Jan 2010: all workshop websites to be operational 29 Jan 2010: 1st call for papers to be posted for all workshops 1 Feb 2010: announcement of ECAI-2010 workshop programme 7 May 2010: workshop paper submission deadline (suggestion) 7 Jun 2010: notifications on workshop paper submissions (suggestion) 1 Jul 2010: workshop proceedings to be sent to workshop chair The paper submission and notification deadlines are suggestions only. However, the paper deadline must be after the ECAI notification date (30 April 2010) and the notifications must be sent before the ECAI early registration deadline (15 June 2010). ###################################################################### ## HOW TO PROPOSE A WORKSHOP ## ###################################################################### Please submit your proposal as a single PDF file via Easychair: http://www.easychair.org/conferences/?conf=ecai2010ws Each proposal should include the following information: (1) Title of the workshop (and acronym). (2) Names, affiliations, and contact details of the organisers (please indicate a primary contact person to whom correspondence should be directed). (3) Short description: What is the topic of the workshop? What is the format (peer-reviewed papers, poster sessions, invited talks, panels, competitions, ...)? (4) History of this workshop and related events: Is this the first workshop of its kind or is this part of a series? What are the most closely related workshops or similar events that have taken place over the past three years? What other closely related events will take place in 2010 (as far as you know)? (5) Size: How many people do you expect to attend? How many papers (or posters, competition entries, ...) do you expect to be submitted? What are your estimates based on? If applicable, please indicate attendance/submission numbers for previous editions. (6) Duration: 1 or 2 days (this can be revised later on if required). (7) Experience of the organisers: Please briefly argue why you are the right people to organise this workshop (scientific standing, previous events organised, ...). (8) Draft of the Call for Papers: This should include a description of the scientific goals of the workshop, the target audience, the topics to be covered, the reviewing process (if applicable), and a tentative list of Programme Committee members (please indicate who has already given their consent to serve on the PC). (9) Anything else that you feel is important! ###################################################################### ## FURTHER INFORMATION FOR WORKSHOP ORGANISERS ## ###################################################################### Proceedings: Informal proceedings will be printed by the ECAI-2010 local organisers. The workshop organisers should deliver a single PDF with the proceedings by the deadline. The default expectation is that proceedings will be no more than 200 pages, but exceptions (e.g., in case of large workshops) are possible. Please contact the workshop chair early on to request any such extensions. Registration: To avoid misunderstandings, please note that all workshop participants, including the organisers, are required to register for both the workshop and the main conference. However, we can arrange for a free workshop (not conference) registration for an invited speaker or similar. Cancellations: Please understand that we may have to cancel a workshop if not enough participants register or if deadlines are not met. ###################################################################### -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From mjw at liverpool.ac.uk Fri Jul 31 16:28:37 2009 From: mjw at liverpool.ac.uk (Michael Wooldridge) Date: Fri, 31 Jul 2009 15:28:37 +0100 Subject: CfP: ECAI-2010 Message-ID: <73158B84-1249-4C8D-A09D-9E95E936D8AF@liv.ac.uk> ###################################################################### ## ECAI-2010 ## Preliminary Call for Papers ## ECAI-2010 ## ###################################################################### The Nineteenth European Conference on Artificial Intelligence 16-20 August 2010 ## Lisbon, Portugal http://ecai2010.appia.pt/ Deadline for submission of abstracts: 15 February 2010 Deadline for submission of full papers: 22 February 2010 ###################################################################### ## INTRODUCTION ## ###################################################################### The ECAI-2010 Programme Committee invites the submission of papers and posters for the technical programme of the nineteenth biennial European Conference on Artificial Intelligence. Artificial Intelligence (AI) is a central topic in contemporary computer science and informatics. The fruits of fifty years of AI research have benefited application domains as disparate as industrial systems control and medicine. The milestone events in AI research are increasingly regarded as milestones in human scientific and technological development: from the first chess playing program to defeat a reigning world champion under standard chess tournament rules, to the first robot to autonomously traverse 150 miles of rough terrain. Techniques, results, and concepts developed under the banner of AI research have proved to be of fundamental importance in areas such as economics, philosophy, linguistics, psychology, and logical analysis. And of course, AI remains a topic of perennial fascination in popular culture. Initiated in 1974, the biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI-2010 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, and workshops.) ECAI-2010 will be held in the beautiful and historic city of Lisbon, Portugal. With excellent opportunities for sightseeing and gastronomy, Lisbon promises to be a wonderful venue for a memorable conference. ###################################################################### ## TOPICS OF INTEREST ## ###################################################################### High-quality original submissions are welcome from all areas of contemporary AI; the following list of topics is indicative only. * 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 soon going to be available at the conference website. ###################################################################### ## IMPORTANT DATES ## ###################################################################### Deadline for electronic abstracts: Monday, 15 February 2010 Paper submission deadline: Monday, 22 February 2010 Author response period: 15-16 April 2010 Notification of acceptance/rejection: Friday, 30 April 2010 Conference: 16-20 August 2010 ###################################################################### ## SUBMISSION INFORMATION ## ###################################################################### Submissions must not exceed *SIX* (6) pages in camera-ready format. Over-length submissions will be rejected without review. Papers should be submitted using the ECAI formatting style, to be available soon on the conference website (this will be very close to previous ECAI styles). Each accepted paper will be allocated six pages in the proceedings. ECAI-2010 also accepts posters. Each poster will have *TWO* (2) pages allocated in the proceedings. Posters must follow the same formatting guidelines as full papers. Authors may indicate whether they want a submitted full paper to be considered as well as a submitted poster in case of non-acceptance of the full paper. All submissions will be subject to peer review by the ECAI-2010 Programme Committee, and evaluated on the basis of: relevance; significance of contribution; technical quality; scholarship; and quality of presentation. Reviewing for ECAI-2010 will be blind: reviewers will not be presented with the identity of paper authors. To allow for blind review, author names in a submitted paper or poster should be replaced by the unique tracking number assigned by the conference website at the submission of an electronic abstract. Authors should avoid writing anything that makes their identity obvious in the text. Submissions should be original, and in particular should not previously have been formally published. (As a rule of thumb, any publication venue with an ISBN or ISSN number counts as a formal publication.) Submissions should not be submitted elsewhere during the ECAI-2010 review phase. The primary authors of submitted papers will be offered the opportunity to respond to the reviews for their papers before the final decision on acceptance or otherwise is made. The author feedback phase will last two days. The proceedings of the ECAI conference, together with those of its associated symposia, PAIS and STAIRS (calls to appear soon), 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. ###################################################################### ## ORGANISATION ## ###################################################################### Conference chair: Helder Coelho (University of Lisbon, Portugal) Programme chair: Michael Wooldridge (University of Liverpool, United Kingdom) Workshop Chair: Ulle Endriss (University of Amsterdam, The Netherlands) Local Organisation co-chairs: Luis Antunes (University of Lisbon & APPIA, Portugal) João Balsa (University of Lisbon, Portugal) Finance co-chairs: Luis Antunes (University of Lisbon & APPIA, Portugal) João Balsa (University of Lisbon, Portugal) Sponsorship co-chairs: Pedro Henriques (University of Minho & APPIA, Portugal) Paulo Novais (University of Minho & APPIA, Portugal) Printing, Publicity & Webmaster chair: Cesar Analide (University of Minho & APPIA, Portugal) Infrastructure co-chairs: Luis Correia (University of Lisbon, Portugal) Luis Moniz (University of Lisbon, Portugal) Volunteer & Student Scholarships chair: Paulo Trigo (ISEL, Portugal) Local Workshop & Tutorial chair: Paulo Urbano (University of Lisbon, Portugal) Local STAIRS & PAIS chair: Graça Gaspar (University of Lisbon, Portugal) ###################################################################### From pierregrenon at gmail.com Fri Jul 31 18:27:10 2009 From: pierregrenon at gmail.com (Pierre Grenon) Date: Fri, 31 Jul 2009 17:27:10 +0100 Subject: Final CfP: Onespace 2009 - 2nd Intl W. on Blending Physical and Digital Spaces on the Internet @ FIS2009, Berlin Message-ID: Last call, deadline is August 7 --------------------------------- CALL FOR PAPERS: OneSpace2009 [ apologies for multiple copies ] --------------------------------- 2nd International Workshop on Blending Physical and Digital Spaces on the Internet (OneSpace2009) http://onespace.ace.ed.ac.uk/2009/ In conjunction with the Future Internet Symposium 2009 (FIS2009) http://www.fis2009.org/ September 1, 2009, Berlin (Germany) ++ Deadline for submission: Aug 07, 2009 ++ ++ Full papers and position papers invited ++ ============================================================ The Second International Workshop on Blending Physical and Digital Spaces on the Internet (OneSpace2009) will be held in conjunction with the Future Internet Symposium 2009 (FIS2009) in Berlin on 1 September 2009. We welcome technical papers and shorter position papers addressing the identification and study of the complex relationship of the Internet with space, place, geography and distance, whether physical or virtual. Technologies as well as novel ideas, experiments, and insights originating from interdisciplinary viewpoints, including Internet, computer and GI sciences, humanities, digital media, and social sciences are welcome. Important dates --------------- * Submission deadline: Aug 07, 2009 * Acceptance Notification: Aug 17, 2009 * Camera-ready paper: Aug 24, 2009 * Workshop date: Sep 01, 2009 Description ---------------- OneSpace proposes to contribute to the cross-domain exploration of how Internet technologies and spatial notions co-exist and evolve. One of the most important effects of the Internet and of the Web has been to relax spatial and temporal constraints on human activities --- the so called "space-time collapse" --- allowing fast global access to information as well as to physical resources and services. Recently this movement accelerated, due to the success of mobile devices such as the iPhone allowing almost ubiquitous mobile access to the Internet, to the generalisation of digital social interaction through platforms such as Facebook and Twitter, to the virtual environments provided on gaming platforms enabled by the Internet, instant communication supported by popular VOIP providers such as Skype, and an emerging web of things. Many now spend as much time involved in digital spaces over the Internet than in "real" ones, and continuously update the digital with elements of their physical life in "lifestreaming" process. Moreover reality itself is augmented by information collected from the Internet, through the increasing availability of GPS devices that ease location based search, or through "magic-lense" based applications that add information to recognized physical elements, or reconstruct them in digital space from various media collected on the Web. While allowing users to experience a profound modification of their interaction space, the Internet has familiarised us with new topologies --- alongside the prominent hyperlinked topology exhibited by the Web, Deleuze and Guattaris's "rhizome", which has become the model of many new forms of organization --- leading to the creation of new virtual spaces and communities. Indeed, P2P networks of devices create semi-private sharing environments; (micro-) blogging and lifestreaming induces new notions of spatiotemporal as well as social proximity, while sensor and controller networks enable ubiquitous access, sensing and interaction with the real world. Furthermore, Virtual globes and GIS technologies continue to improve and to blur the boundaries between spatial representation and perception by providing mashup opportunities, photorealistic visual navigation, and three-dimensional representations. Many agree with what came to be known as Waldo Tobler's first law of Geography: "Everything is related to everything else, but near things are more related than distant things." The Internet, by establishing new connections between geographically distant entities cannot but provide us with a radically new image of Space and Time that this workshop is aiming to explore in an interdisciplinary way. OneSpace proposes to take the measure of the aforementioned developments and their repercussion as well as to identify trends and directions for a new future blended Internet. Topics of interest ------------------ Topics of interest include, but are not limited to: * Representation of physical/virtual spaces and topologies * Spatiotemporal knowledge representation (ontologies and reasoning) * The 3D and 4D Web * Location-based services * The Web of sensors * New-generation Web mapping frameworks and applications * Mobility and ubiquity * Application of Linked Data for physical and digital spaces * Digital Sense of Place and Presence * Visibility and privacy in the Internet of people and things Submissions ----------- The following types of contributions are welcomed: * Position papers, 4 pages max. * Technical papers, 4-10 pages. Workshop Organizers ------------------- * Vlad Tanasescu - The University of Edinburgh, UK * Pierre Grenon - The Open University, UK * Arno Scharl - MODUL University Vienna, Austria * Erik Wilde - UC Berkeley, California, USA Program Committee ----------------- * Boris Beaude - EPFL, Switzerland * Susanne Boll - University of Oldenburg, Germany * Catherine Dolbear - Sharp Laboratories of Europe, UK * Stefan Dietze - The Open University, UK * Hans W. Guesgen - Massey University, New Zealand * Puneet Kishor - University of Wisconsin, USA * Simon McCallum - Hedmark University College, Norway * Femke Reitsma - University of Canterbury, NZ * Vinny Reynolds - National University of Ireland * Dumitru Roman - STI Innsbruck, Austria * Marc Wick - GeoNames.org, Switzerland * Mike Worboys - University of Maine, USA Further information ------------------- The latest information about the workshop can be found at: http://onespace.ace.ed.ac.uk/2009/ For further information, please send an email to onespace2009 at easychair.org From borgo at loa-cnr.it Fri Jul 31 11:46:07 2009 From: borgo at loa-cnr.it (borgo at loa-cnr.it) Date: Fri, 31 Jul 2009 11:46:07 +0200 (CEST) Subject: WARNING! (2944511423) In-Reply-To: References: Message-ID: <58e32802e37540a89ed8d7a507277602.squirrel@webmail.leader.it> > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2944511423, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > From seipel at informatik.uni-wuerzburg.de Fri Jul 31 14:13:59 2009 From: seipel at informatik.uni-wuerzburg.de (Dietmar Seipel) Date: Fri, 31 Jul 2009 14:13:59 +0200 Subject: WARNING! (2940308891) In-Reply-To: References: Message-ID: <4A72E007.2050102@informatik.uni-wuerzburg.de> event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2940308891, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to >