From jsabater at iiia.csic.es Tue Dec 1 11:56:18 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Tue, 1 Dec 2009 11:56:18 +0100 Subject: 2010 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems Message-ID: <3832622679841209819578@Galvatron> ** Call for Nominations *** *************************************************************************************************** 2010 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems *************************************************************************************************** In 2006 The International Foundation for Autonomous Agents and Multi-Agent Systems established an award to recognize publications that have made influential and long-lasting contributions to the field. Candidates for this award are papers that have proved a key result, led to the development of a new subfield, demonstrated a significant new application or system, or simply presented a new way of thinking about a topic that has proved influential. A list of previous winners of this award is appended below. This award is presented annually at the AAMAS Conference, in this case AAMAS-2010 in Toronto in May. Winning papers must have been published at least 10 years before the award presentation, therefore this year's eligible set comprises papers published in 2000 or earlier, in any recognized forum (journal, conference, workshop). To nominate a publication for this award, please send the full reference plus a brief statement (150 words or fewer) about the significance of the paper to Lin Padgham (chair of the 2010 committee for this award), lin.padgham at rmit.edu.au. (Please put NOMINATION in the subject line.) Nominations are due by 18th January 2010. 2010 Influential Paper Award Committee: Lin Padgham (chair), Sarit Kraus, Michael Wellman, Catherine Pelachaud, Joerg Mueller ------------------------------------------- Previous Award Winners 2009 The award was given to the series of edited collections of papers on Distributed AI published in the late 1980s: M. N. Huhns. (Ed.) (1987) Distributed Artificial Intelligence. London, Pitman. A. Bond and L. Gasser. (Eds.) (1988) Readings in Distributed Artificial Intelligence. San Mateo, CA, Morgan Kaufmann. L. Gasser and M. N. Huhns. (Eds.) (1989) Distributed Artificial Intelligence (Volume II). Pitman and Morgan Kaufmann. 2008 BRATMAN, M. E., ISRAEL, D. J. & POLLACK, M. E. (1988) Plans and resource-bounded practical reasoning. Computational Intelligence, 4, 349-355. DURFEE, E. H. & LESSER, V. R. (1991) Partial global planning: A coordination framework for distributed hypothesis formation. IEEE Transactions on Systems, Man, and Cybernetics, 21, 1167-1183. 2007 GROSZ, B. J. & KRAUS, S. (1996) Collaborative plans for complex group action. Artificial Intelligence, 86, 269-357. RAO, A. S. & GEORGEFF, M. P. (1991) Modeling rational agents within a BDI-architecture. Second International Conference on Principles of Knowledge Representation and Reasoning. ROSENSCHEIN, J. S. & GENESERETH, M. R. (1985) Deals among rational agents. Ninth International Joint Conference on Artificial Intelligence. 2006 COHEN, P. R. & LEVESQUE, H. J. (1990) Intention is choice with commitment. Artificial Intelligence, 42, 213-261. DAVIS, R. & SMITH, R. G. (1983) Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20, 63-109. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ulle.endriss at uva.nl Tue Dec 1 11:57:06 2009 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Tue, 01 Dec 2009 11:57:06 +0100 Subject: ECAI-2010: Final Call for Workshop Proposals Message-ID: <4B14F682.50902@uva.nl> Dear colleague, Please be reminded that the deadline for submission of workshop proposals for ECAI-2010 (Lisbon, August 2010) is fast approaching: Friday, 11 December 2009 Serious proposals from all all areas of AI as well as interdisciplinary proposals with a substantial AI component are very welcome. Further information is available here (or get in touch with me directly): 19th European Conference on Artificial Intelligence, Lisbon, 2010 http://ecai2010.appia.pt ECAI-2010 Call for Workshop Proposals http://www.illc.uva.nl/~ulle/ECAI-2010/ecai-2010-workshop-call.txt Best wishes, Ulle Endriss (ECAI-2010 Workshop Chair) -- 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 richard.booth at uni.lu Thu Dec 3 23:43:41 2009 From: richard.booth at uni.lu (Richard Booth) Date: Thu, 3 Dec 2009 23:43:41 +0100 Subject: MIWAI'09: Call for participation Message-ID: ================================================================== Apologies for multiple copies due to cross postings ================================================================== Dear Colleague, You are cordially invited to participate in the 3rd Mahasarakham International Workshops on AI, MIWAI 2009. The workshop will take place in Mahasarakham, Thailand on December 10-11, 2009. We will also be grateful to you for advertising MIWAI 2009 and inviting your colleagues and/or research students to participate in the event. The MIWAI09 homepage may be found here: http://khamreang.msu.ac.th/miwai09, in which the detailed program is available (http://khamreang.msu.ac.th/miwai09/program.html). This year we have invited two high profile AI researchers: Professor Patrick Doherty (Linkoping University, Sweden) and Professor Ryohei Nakatsu (National University of Singapore). Professor Doherty is internationally well-known for his research in flying unmanned aircraft systems with state-of-the-art AI technology. Professor Nakatsu is widely recognized for his research in applying AI to new media. Since the motivation to organize MIWAI is to boost AI research in Thailand, we are very eager to see your participation in this event. In this way we hope to build momentum to the 1st "official" Thai AI Conference in the near future. We look forward to seeing you. Best regards, Natthariya Laopracha MIWAI 2009 Publicity Chair Richard Booth and Chattrakul Sombattheera MIWAI 2009 Program Chairs ================================================================== The Third Mahasarakham International Workshop on AI (MIWAI'09) Call for Paticipation: MIWAI 2009 ================================================================== December 10-11, 2009 Mahasarakham, Thailand Contact: richard.b at msu.ac.th, chattrakul.s at msu.ac.th Homepage: http://khamreang.msu.ac.th/miwai09 ================================================================== Invited Speakers ================================================================== Patrick Doherty Linkoping University, Sweden, http://www.ida.liu.se/~patdo/patdosite1/index.html Ryohei Nakatsu National University of Singapore, http://www.idmi.nus.edu.sg/ourpeople/prof_nakatsu.htm ================================================================== About MIWAI ================================================================== Artificial Intelligence (AI) research has broad applications on real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The advances in AI research have been driven partially by our passionate enthusiasm and have been thriving recently. On the other hand, the ever evolving needs in business both in local and global scale have been demanding for better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. The focus of MIWAI'09 will be fairly broad, taking in all sub-topics of AI. The programme aims at high quality research publications in AI of both technical and applied natures. ================================================================== About Mahasarakham ================================================================== Mahasarakham is a city in the northeast of Thailand in the so-called "Isan" region of the country. Mahasarakham University (http://www.msu.ac.th) is a major centre of learning in the region and its Faculty of Informatics (http://www.it.msu.ac.th) is currently enjoying an exciting period of growth, with a blossoming research culture now complementing its traditional teaching strengths. The town itself boasts many temples, as well as numerous restaurants selling delicious Isan food. It is also renowned for its silk and handicraft. ================================================================== Topics of Interest ================================================================== The research areas in AI include but not limited to: -Agent-based simulation -Agent-oriented software engineering -Agents and Web services -Agent-based electronic commerce, auctions and markets -AI in video games -Constraint satisfaction -Decision theory -Distributed AI -E-Commerce and AI -Game theory -Internet/WWW intelligence -Industrial applications of AI -Intelligent tutoring -Knowledge representation and reasoning -Machine learning -Multiagent planning and learning -Multiagent systems and their applications -Multiagent systems and evolving intelligence -Natural language processing -Neural networks -Planning and scheduling -Robotics -Web services ================================================================== Publication ================================================================== MIWAI 2009 workshop proceedings will be distributed at the event. We intend to invite authors of the best papers to submit revised and extended versions of their papers for a special issue of a suitable journal. ================================================================== Committees ================================================================== ------------------------------------------------------------------ Advisory Commitee ------------------------------------------------------------------ -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok) -Wirat Pongsiri(Mahasarakham, Thailand) -Sujin Butdeesuwan (Mahasarakham, Thailand) -Somnuk Puangpronpitag (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Co-Chairs ------------------------------------------------------------------ -Richard Booth (Mahasarakham, Thailand) -Chattrakul Sombattheera (Mahasarakham, Thailand) ------------------------------------------------------------------ Publicity Chair ------------------------------------------------------------------ -Natthariya Laopracha (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Committee ------------------------------------------------------------------ -Arun Agarwal (Hyderabad, India) -Samir Aknine (Paris 6, France) -Veera Boonjing (KMITL, Bangkok) -Roger Boyle (Leeds, UK) -Rapeeporn Chamchong (Mahasarakham, Thailand) -Chee Fon Chang (Wollongong, Australia) -Yann Chevaleyre (LAMSADE, Paris, France) -Sirapat Chiewchanwattana (Khon Kaen, Thailand) -Krisana Chinnasarn (Burapha, Thailand) -Matthew Dailey (AIT, Thailand) -Aniruddha Dasgupta (Wollongong, Australia) -Juergen Dix (Clausthal, Germany) -Phan Minh Dung (AIT, Thailand) -Sachio Hirokawa (Kyushu, Japan) -Andreas Herzig (IRIT, Toulouse, France) -Wiebe van der Hoek (Liverpool, UK) -Sarun Intakosum (KMITL, Bangkok) -Boonserm Kijsirikul (Chulalongkorn University, Bangkok) -Jerome Lang (LAMSADE, Paris, France) -Kittichai Lavangnananda (KMUTT, Thailand) -Fangzhen Lin (HKUST, Hong Kong) -Chidchanok Lursinsap (Chulalongkorn University, Bangkok) -Yuji Matsumoto (Nara Institute of Science and Technology, Japan) -Jerome Mengin (IRIT, Toulouse, France) -Debajyoti Mukhopadhyay (Calcutta Business School, India) -Ryohei Nakatsu (NUS, Singapore) -Vineet Nair (Hyderabad, India) -Juggapong Natwichai (Chiang Mai, Thailand) -Supawan Phonphitakchai (Naresuan University, Thailand) -Jiratta Phuboon-Ob (Mahasarakham, Thailand) -Ouen Pinngern (Ramkhamhaeng University, Bangkok) -Guilin Qi (Southeast University, Nanjing, China) -Iyad Rahwan (Edinburgh, UK and British University in Dubai) -Umaporn Saisangchan (Mahasarakham, Thailand) -Jun Shen (Wollongong, Australia) -Sukree Sinthupinyo (Chulalongkorn University, Bangkok) -Siriwan Suebnukarn (Thammasat University, Bangkok) -Khamron Sunat (Mahanakorn University of Technology, Bangkok) -Boontawee Suntisrivaraporn (SIIT, Bangkok) -Leon van der Torre (Uni Luxembourg) -Paul Weng (Paris 6, France) -Dongmo Zhang (Western Sydney, Australia) From eoikarin at tcs.hut.fi Fri Dec 4 13:39:54 2009 From: eoikarin at tcs.hut.fi (Emilia Oikarinen) Date: Fri, 4 Dec 2009 14:39:54 +0200 (EET) Subject: JELIA 2010 First Call for Papers Message-ID: JELIA 2010 CALL FOR PAPERS ========================== 12th European Conference on Logics in Artificial Intelligence Helsinki, Finland, September 13-15, 2010 http://jelia2010.tkk.fi/ Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2010 the conference is organized for the first time in Scandinavia, following previous meetings mainly taking place in Central and Southern Europe (see the general website http://www.jelia.eu/ for details). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to AI. Aims and Scope ============== The aim of JELIA 2010 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including: -- Abductive and inductive reasoning -- Answer set programming -- Applications and foundations of logic-based AI systems -- Argumentation systems -- Automated reasoning including satisfiability checking and its extensions -- Computational complexity and expressiveness -- Description logics and other logical approaches to semantic web and ontologies -- Hybrid reasoning systems -- Knowledge representation, reasoning, and compilation -- Logic programming and constraint programming -- Logics for uncertain and probabilistic reasoning -- Logics in machine learning -- Logics in multi-agent systems, games, and social choice -- Non-classical such as modal, temporal, spatial, paraconsistent, and hybrid logics -- Nonmonotonic reasoning, belief revision, and updates -- Planning and diagnosis based on logic -- Preferences -- Reasoning about actions and causality Important Dates =============== * Deadline for abstract submission: May 3, 2010 * Deadline for paper submission: May 7, 2010 * Notification of acceptance: June 11, 2010 * Camera Ready Copy: June 30, 2010 Paper Submission ================ Proceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series. Papers should be written in English, and should be formatted according to the standard Springer LNCS style. All submissions must be received by 23:59 GMT on May 3, 2010 (abstract) and May 7, 2010 (full paper), and should be electronically submitted via the link available on the JELIA 2010 web page. There are two categories for submissions: A. Regular papers Submissions should not exceed 13 pages including figures, references, etc., and should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. B. System descriptions Submissions should not exceed 4 pages, and should describe an implemented system and its application area(s). A demonstration is expected to accompany a system presentation. Papers describing systems that have already been presented in JELIA before will be accepted only if significant and clear enhancements to the system are reported and implemented. Venue ===== The conference will be held in the main building of University of Helsinki, located in the center of Helsinki. Founded in 1550, Helsinki has been the Finnish capital since 1812, when it was rebuilt in the Empire style by the orders of the Czar of Russia, hence sharing architectural similarities with St. Petersburg even today. Located on the Baltic peninsula centrally between the east and the west, Helsinki "the Daughter of the Baltic" is a city full of contrasts: light and white in summer while dark but full of warmth in winter, with a combination of high-tech, contemporary design, and ever-present nature. Finnish design has made Helsinki world famous, and recently Helsinki was appointed World Design Capital 2012. Programme Co-Chairs =================== Tomi Janhunen, Aalto University School of Science and Technology, Finland http://www.tcs.hut.fi/~ttj/ Ilkka Niemelä, Aalto University School of Science and Technology, Finland http://www.tcs.hut.fi/~ini/ Further Information =================== Conference web page: http://jelia2010.tkk.fi/ From grsimari at gmail.com Sat Dec 5 23:34:12 2009 From: grsimari at gmail.com (Guillermo R. Simari) Date: Sat, 5 Dec 2009 19:34:12 -0300 Subject: CFP IBERAMIA 2010 Message-ID: IBERAMIA 2010 Preliminary Call for Papers The 12th edition of The Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, will be held on November 1-5, 2010 in Bahía Blanca, Buenos Aires, Argentina. Preliminary site: http://cs.uns.edu.ar/iberamia2010 ------------------------------------------------------------------------------ IMPORTANT DATES Deadline for Paper Submission: April 16, 2010 Notification of Acceptance: June 11, 2010 Deadline for Camera-ready Papers: July 2, 2010 Conference: 1-5th November 2008 ------------------------------------------------------------------------------ FIRST CALL FOR PAPERS IBERAMIA 2010 is the 12th edition of the Ibero-American Conference on Artificial Intelligence, a leading symposium where the Ibero-American AI community comes together to share research results and experiences with researchers in Artificial Intelligence from all over the world. IBERAMIA 2008 will be held in Bahía Blanca, Argentina, November 1-5, 2010, organized by the Department of Computer Science and Engineering (DCSE-UNS), Universidad Nacional del Sur, Argentina. The conference is sponsored by the main Ibero-American Artificial Intelligence and Computer Science societies. IBERAMIA welcomes submissions on mainstream AI topics, as well as novel cross cutting work in related areas. Topics may include but are not limited to the following: * Cognitive modeling and human interaction * Commonsense reasoning * Constraint satisfaction * Evolutionary computation and Artificial Life * Game playing and interactive entertainment * Information integration and extraction * Knowledge acquisition and ontologies * Knowledge representation and reasoning * Machine learning and data mining * Model-based systems * Multiagent Systems * Argumentation * Natural language processing * Planning and scheduling * Probabilistic reasoning * Robotics, vision, and pattern Recognition * Search * Semantic web * Distributed AI * AI in Education * Uncertainty and Fuzzy Systems * Genetic Algorithms and Neural Networks Papers must be written in English, and will be reviewed on the basis of their relevance, significance of the contribution, originality, technical soundness, quality and clarity. As in previous years, accepted papers will be published in the series "Advances in Artificial Intelligence"of Springer-Verlag LNAI. PAPER SUBMISSION DETAILS Submitted papers must not exceed 10 pages, including all tables, figures, and references and are required to be formatted in the Springer LNCS format (see http://www.springer.de/comp/lncs/authors.html). Submissions over ten pages will be rejected without review. Papers must be submitted through Conference Management Submission System that will be available soon through the conference Web site. All submissions will go through a peer review process, with three independent PC members reviewing each submission. Reviewing will be blind, so author names and affiliations must be omitted from the submission, using instead the unique tracking number assigned by the conference system at the time of submission. In addition, self-references in the text, like "in [Garcia 2004], we prove that" should be avoided, using instead references such as "in [Garcia 2004] has been proved that". ------------------------------------------------------------------------------ WORKSHOP PROPOSAL SUBMISSION DETAILS Proposals for workshops should be a maximum of five pages in length, and should contain the following information: 1. Title of the workshop. 2. A brief description of the workshop, specifying the workshop goals, the technical issues addressed and the relevance of the workshop to the Iberamia conference. 3. Specific information regarding the organizers: names, affiliations, postal addresses, phone numbers, email addresses, and expertise in the topic of the workshop. The organization committee should include at least two members. 4. Description of the paper review process and acceptance standards, including a preliminary list of the workshop program committee with names, titles and affiliations. 5. Expected duration of the workshop. All proposals should be submitted, by electronic mail, to the Workshop Chair: iberamia2010 at cs.uns.edu.ar. The list of accepted IBERAMIA 2010 workshops will be published along with the submission details on the conference’s Web site. Papers for the workshops can be written in Spanish, Portuguese, or English. IMPORTANT DATES FOR WORKSHOP PROPOSALS Deadline for Workshop proposals: April 23, 2010 Notification of acceptance: May 21, 2010 Although the workshops could modify them, these are the suggested dates for papers. Deadline for paper submission: June 19, 2010 Notification of acceptance: July 17, 2010 Deadline for camera-ready papers: July 27, 2010 From jsabater at iiia.csic.es Mon Dec 7 12:09:00 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Mon, 7 Dec 2009 12:09:00 +0100 Subject: [AAMAS 2010] - 2nd Call for Demonstrations Message-ID: <266062269200875725197@Galvatron> AAMAS 2010 - 2nd CALL FOR DEMONSTRATIONS You can find this call (and updates) here: http://www.cse.yorku.ca/AAMAS2010/#content=call4_demo_proposal AAMAS 2010 will include a demonstration session. The goal of the demonstrations is to give participants, from industry and academia an opportunity to present their latest developments on software and/or robotic systems. In addition, we strongly encourage students to submit valuable demos resulting from their projects or thesis work. A "Best Demo Award" will be awarded, and will include a cash prize of $1,000. The award selection will be done by the exhibits & demos co-chairs in consultation with the Advisory Board. Demonstrators are expected to present a live interactive demo at assigned time slots during the conference. Developers of software or robotic systems based on autonomous agents or multi-agent techniques, especially those showing novel technology, are especially welcome. Examples of demos include but are not limited to: * Multi-agent software systems * Industrial and military applications (including prototypes) * Agent-based games * Agent platforms and development environments * Open-source software tools * Robotic systems (single and multi-agent) * Virtual agents and interactive virtual environments * Simulation environments SUBMISSION REQUIREMENTS Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available demos. Each demo submission should consist of a compressed file (*.rar or *.zip formats), named as the first author's surname, and containing the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers must be prepared in PDF format using the AAMAS style (follow the instructions at http://www.cse.yorku.ca/AAMAS2010/index.php#content=authors_instructions). The PDF file of the paper must be named "XXXX.pdf" where XXXX is the surname of the first author. 2. Movie / Demo Plan: The paper must contain a URL link to a demonstration movie (youtube compatible) of a maximum length of 10 minutes. The movie must clearly show how the demo will be performed. Important: Do not send the video file itself in the compressed submission file. Alternatively, the authors can submit a separate document (within the compressed file described above) that consists of a series of snapshots of the demo annotated with an explanation. This file must be named "demoplan.pdf" 3. Additional information: The compressed file must contain a plain text file (named "summary.txt") including the following information: * Demonstration title * Authors (name, affiliation, email, address, phone fax) * The corresponding author with her/his email address * Abstract (max. 150 words) * Keywords * The category of the submission * URL (if available) * Paper ID if the demo is related to a paper at the main conference * Equipment you will bring (e.g., laptop, robot) * Equipment you will need (e.g., table, poster board, power sockets) * Special requirements (e.g., space for robot and if so how much, video projector) * A discussion of the present state of your demo (e.g., ready to demonstrate now, but if not, include a realistic estimate for conclusion and what remains to be done before you have a demonstrable software/robotic system). 4. Contribution and Supervisor Endorsement (student projects only): A 1-page statement in which the student clearly describes his personal contribution to the project. The content of the statement must be confirmed by the student's advisor, via a separate email, to both Demos Chairs. Accepted demos will have the 2-page papers included in the AAMAS proceedings. SUBMISSION SITE All demonstration submissions should be submitted via EasyChair on this address (may require signing up to EasyChair if you do not already have an account): http://www.easychair.org/conferences/?conf=aamas2010demos SELECTION PROCESS The submission and selection processes for the AAMAS 2010 demos will be separate from that of the main conference. Each submission will be assessed by the demo co-chairs and at least one member of the advisory board. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: * Relevance to AAMAS * Quality and soundness of the underlying technology * Novelty of the application domain * Maturity of the (deployed) system * Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author (see dates below). At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. IMPORTANT DATES Submission deadline: January 11, 2010. Notification of acceptance/rejection: January 29, 2010. Camera-ready paper: February 5, 2010 CONTACT INFORMATION For more information, contact the demos co-chairs via email. EXHIBITS & DEMOS ADVISORY BOARD - Jacob Crandall, Masdar Institute of Science & Technology, UAE - Partha S Dutta, Rolls-Royce, Singapore - Andrew Gilpin, Hg Analytics, USA - Stefan Kopp, Bielefeld University, Germany - Michael Neff, University of California, Davis, USA - Pablo Noriega, IIIA, Spain - Andrea Omicini, Universita di Bologna, Italy - H. Van Dyke Parunak, NewVectors LLC, USA - Juan Pav�n, Universidad Complutense Madrid, Spain - Dave Robertson, University of Edinburgh, UK - Alex Rogers, University of Southampton, UK - Onn Shehory, IBM, Israel - Candy Sidner, Worcester Polytechnic Institute, USA - Michael Winikoff, University of Otago, New Zealand (more coming soon) AAMAS 2010 EXHIBITS & DEMOS CHAIRS Catherine Pelachaud CNRS T�l�com ParisTech, France http://perso.telecom-paristech.fr/~pelachau/ Iyad Rahwan British University in Dubai, UAE & University of Edinburgh, UK http://homepages.inf.ed.ac.uk/irahwan/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Wed Dec 9 05:16:59 2009 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Tue, 8 Dec 2009 21:16:59 -0700 Subject: DAMP'10: Call for Participation Message-ID: <25D14C2D-C08D-490B-9D6D-9DA422637315@cs.nmsu.edu> DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January 19, 2010 damp10.cs.nmsu.edu 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. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Preliminary Program: ==================== Tuesday January 19th, 2010: Invited Talk [9:00-10:00] * Parallelizing Constraint Programs. Laurent Michel (University of Connecticut) Coffee Break [10:00-10:30] Session 1 [10:30-11:30] * PASTHA - Parallelizing Stencil Calculations in Haskell Michael Lesniak * Ypnos: Declarative Parallel Structured Grid Programming Dominic Orchard, Alan Mycroft, Max Bolingbroke Coffee Break [11:30-12:00] Session 2 [12:00-13:00] * SequenceL: Transparency and Multi-core Parallelism Brad Nemanich, Daniel Cooke, Nelson Rushton * Efficient Parallel Programming in Poly/ML and Isabelle/ML David Matthews, Makarius Wenzel Lunch (PROVIDED by the Conference) [13:00-14:30] Session 3 [14:30-15:30] * S-Net for Multi-Memory Multicores Clemens Grelck, Jukka Julku, Frank Penczek * Compress-and-Conquer for Optimal Multicore Computing Z. George Mou, Hai Liu, Paul Hudak Coffee Break [15:30-16:00] Sesssion 4 [16:00-17:00] * Lightweight Ansynchrony using Parasitic Threads KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan * A Parallel ASP Instantiator Based on DLV Simona Perri, Francesco Ricca, Marco Sirianni Invited Talk [17:00-18:00] * Declarative Data-Parallel Programming with the Accellerator System Satnam Singh (Microsoft Research) URL: ==== http://damp10.cs.nmsu.edu From torsten at cs.uni-potsdam.de Wed Dec 9 05:51:46 2009 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Wed, 9 Dec 2009 05:51:46 +0100 (CET) Subject: CFP: ICLP 2010 Message-ID: <20091209045146.E085016C3@aix.haiti.cs.uni-potsdam.de> [Sorry, in case of multiple postings] ------------------------------------------------------------------------ CALL FOR PAPERS 26th International Conference on Logic Programming (ICLP 2010) Edinburgh, Scotland, U.K., July 16-19, 2010 ICLP 2009 will be held as part of the Fifth Federated Logic Conference (FLoC 2010) Submission deadline: January 26, 2010 http://www.floc-conference.org/ICLP-home.html ---------------------------------------------------------------------- CONFERENCE SCOPE Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non-monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. In addition to the presentations of accepted papers, the technical program will include plenary invited talks in association with other FLoC conferences, as well as ICLP invited talks, advanced tutorials, the doctoral consortium, and several workshops. SUBMISSION DETAILS The four broad categories for submissions are: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described; and (4) short papers/posters, for ongoing work not yet ready for full publication and research project overviews. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers, application papers, and system and tool papers must not exceed 15 pages. The limit for short papers / posters is 5 pages. Submissions must be made in TPLP format (ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2010. IMPORTANT DATES Paper registration deadline: January 26, 2010 Submission deadline: February 2, 2010 Notification to authors: March 20, 2010 Camera-ready copy due: April 21, 2010 Conference: July 16-19, 2010 PAPER PUBLICATION All accepted long papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or "shepherding." At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get a password for on-line access to this web page during the conference and indefinitely from then on ("lifetime access"), which can be used to read papers on line, download them, or print them for personal use. Attendants will also receive all the papers in a USB memory stick at the conference. For short papers / posters the journal issue(s) will include a listing of the titles and authors of these papers, as well as a URL pointing to their printable copy. Short papers / posters will also get space in the program for presentation. ICLP'2010 ORGANIZATION General Chair: Veronica Dahl (Simon Fraser University, Canada) Program Co-chairs: Manuel Hermenegildo (IMDEA Soft. and UPM, Spain) Torsten Schaub (University of Potsdam, Germany) Workshops Chair: Veronica Dahl (Simon Fraser University, Canada) Doctoral Consortium: Marcello Balduccini (Kodak Research Labs, USA) Prolog Programming Contest: Tom Schrijvers (K.U. Leuven, Belgium) PROGRAM COMMITTEE Maria Alpuente (Technical U. of Valencia, Spain) Pedro Cabalar (Corunya University, Spain) Manuel Carro (Technical U. of Madrid, Spain) Marina De Vos (University of Bath, UK) James Delgrande (Simon Fraser University, Canada) Marc Denecker (KU Leuven, Belgium) Agostino Dovier (University of Udine, Italy) Esra Erdem (Sabanci University, Istanbul, Turkey) Wolfgang Faber (University of Calabria, Italy) Thom Fruehwirth (University of Ulm, Germany) Maurizio Gabbrielli (University of Bologna, Italy) John Gallagher (Roskilde University, Denmark) Samir Genaim (Complutense University, Spain) Haifeng Guo (University of Nebraska at Omaha, USA) Joxan Jaffar (National U. of Singapore, Singapore) Tomi Janhunen (Helsinki U. of Technology, Finland) Michael Leuschel (U. of Duesseldorf, Germany) Stephen Muggleton (Imperial College London, UK) Alan Mycroft (U. of Cambridge, UK) Gopalan Nadathur (University of Minnesota, USA) Lee Naish (Melbourne University, Australia) Enrico Pontelli (New Mexico State University, USA) Vitor Santos Costa (University of Porto, Portugal) Tom Schrijvers (K.U. Leuven, Belgium) Tran Cao Son (New Mexico State University, USA) Peter J. Stuckey (Melbourne University, Australia) Terrance Swift (CENTRIA, Portugal) Peter Szeredi (Budapest U. of Tech. and E., Hungary) Frank Valencia (Ecole Polytechnique, France) Wim Vanhoof (University of Namur, Belgium) Kewen Wang (Griffith University, Australia) Stefan Woltran (Vienna U. of Technology, Austria) Neng-Fa Zhou (City University of New York, USA) SPONSOR The conference is sponsored by the Association for Logic Programming. FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. WORKSHOPS The ICLP 2009 program will include several workshops, held also as part of FLoC. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 6th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. CONFERENCE VENUE / CO-LOCATION In 2010 (as in the previous two FLoC editions) ICLP will be held as part of the Fifth Federated Logic Conference, FLoC 2010 in Edinburgh, Scotland, U.K., July 16-19, 2010. FLoC is held every four years bringing together several international conferences related to mathematical logic and computer science. Other participating conferences are: - Computer-Aided Verification (CAV), - Int'l Joint Conference on Automated Reasoning (IJCAR), - Interactive Theorem Proving (ITP), - Logic in Computer Science (LICS), - Rewriting Techniques and Applications (RTA), and - Theory and Applications of Satisfiability Testing (SAT). Plenary events involving multiple conferences are planned. ------------------------------------------------------------------------ From invitation at iariaannounce.org Wed Dec 9 05:45:59 2009 From: invitation at iariaannounce.org (WebTel 2010) Date: Tue, 8 Dec 2009 23:45:59 -0500 (EST) Subject: Deadline extension to December 20, 2009 || WebTel 2010 [AICT, ICIW, ICIMP] May 9 - 15, 2010 - Barcelona, Spain Message-ID: <27225333.15187.1260333959750.JavaMail.Onitza@IariaAnnounce> INVITATION Note that the submission deadline has now been moved to December 20, 2009. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= WebTel 2010, May 9 - 15, 2010 - Barcelona, Spain see: http://www.iaria.org/conferences2010/WebTel10.html WebTel 2010 is a federated event focusing on advances topics concerning the telecommunications, web applications, web monitoring and protection. WebTel 2010 continues the tradition of well-established conferences: AICT, ICIW, and ICIMP. Submission (full paper) new deadline: December 20, 2009. Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html For details on the each conference's topics, see the individual Call for Papers for each conference. 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 tracks/topics are open to both research and industry contributions. -- AICT 2010, The Sixth Advanced International Conference on Telecommunications http://www.iaria.org/conferences2010/AICT10.html -- ICIW 2010, The Fifth International Conference on Internet and Web Applications and Services http://www.iaria.org/conferences2010/ICIW10.html -- ICIMP 2010, The Fifth International Conference on Internet Monitoring and Protection http://www.iaria.org/conferences2010/ICIMP10.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about WebTel, please reply with "DROP WebTel 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 riadh.benhalima at enis.rnu.tn Thu Dec 10 10:57:36 2009 From: riadh.benhalima at enis.rnu.tn (Riadh BEN HALIMA) Date: Thu, 10 Dec 2009 10:57:36 +0100 (CET) Subject: PROMASC'2010: 1st Call for Papers Message-ID: <20091210095736.4A1F9FD47B@bechirzalila.dyndns.org> ------------------------------Call for Papers------------------------------ The First Workshop on Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC'2010) == May 30th, 2010, Tozeur-Tunisia == (http://www.redcad.org/members/benhalima/promasc2010) In conjunction with the NOTERE'2010 Conference -------------------------------------------------------------------------- ::Overview:: As the paradigm service-oriented architecture gains more prominence in the development of applications, the way of management of these applications is becoming a critical feature in order to provide a better quality of service. Cloud Computing is a technology that provides on-demand access to massively scalable resources in the field of Service Computing. The technical foundations of Cloud Computing include service-oriented architecture (SOA) and virtualizations of hardware and software. It has emerged as a new paradigm for deploying, managing and offering services through a shared infrastructure. Provisioning of SOA and Cloud presents a new set of emerging issues and challenges that are expected to be identified and resolved by the research community. It includes issues of the proposed approaches at several levels: modeling, composition, coordination, planning, scheduling, configuration, monitoring and analysis. This workshop intends to provide an effective forum for researchers and industry practitioners to exchange innovative ideas and state-of-the-art research, share experiences and lessons learned from academic research projects as well as real world projects. ::Topics:: Our goal is to bring together researchers and practitioners to stimulate discussions on the features of provisioning and management of SOA and Cloud. We are soliciting contributions from both academia and industrials on the following topics (the list is not exhaustive): * Provisioning of SOA Virtualization * Management of Resources Virtualization * QoS Management of SOA and Cloud Computing * Service Level Agreement (SLA) Negotiation, Automation and Orchestration for Cloud Computing * Provisioning and Scalability in the Cloud * Regulations for Cloud Architectures * Policy Driven Management of SOA and Cloud Computing * Availability, Reliability and Privacy * Assurance and Certification of SOA * Pricing of Cloud Resources ::Submission:: We encourage contributions of short papers or practical experiences (4 Pages) and full papers (max 6 pages) with high quality research contributions and experimental results. Papers should be written in English according to the IEEE double column format. Authors must upload their paper as PDF file using the PROMASC'2010 submission system hosted by Easy Chair: https://www.easychair.org/login.cgi?conf=promasc2010 ::Publication:: All accepted papers will be published within the conference proceedings edited by IEEE. Best workshop papers will be considered -within best NOTERE conference papers- for two special issues: * Wiley Concurrency and Computation: Practice and Experiment Journal * Springer Journal of Supercomputing ::Important Dates:: * Submission deadline: 31 Jan 2010 * Notification: 14 March 2010 * Camera Ready: 28 March 2010 * Workshop: 30 May 2010 ::Workshop Organizers:: * Riadh BEN HALIMA, ENI-Sfax, Tunisia [riadh.benhalima [at] enis.rnu.tn] * Mohamad EL MASRI, LAAS-CNRS, Toulouse, France [mmasri [at] laas.fr] ::Technical Program Committee:: * Ramin Yahyapour, Dortmund University, Germany * Mohamed Karim Guennoun, EHTP, Casablanca, Morocco * Vladimir Stantchev, Technical University of Berlin, Germany * Claudio Ardagna, University of Milan, Italy * Luis Miguel Vaquero, Juan Carlos King University, Spain * Roberto Furnari, University of Torino, Italy * Ignacio Martin Llorente, University of Madrid, Spain * Lotfi Ben Romdhane, Faculty of Sciences of Monastir, Tunisia * Ruben Santiago Montero,Complutense University of Madrid, Spain * Eddy Truyen, Catholic University of Leuven, Belgium * Maher Khemakhem, University of Sousse, Tunisia * Lynda Mokdad, University of Paris 12, France * Steffen Heinzl, SAP Research, Germany * Lamolle Myriam, University of Paris 8, France * Ernesto Exposito, LAAS-CNRS, Toulouse, France Please visit http://www.redcad.org/members/benhalima/promasc2010 for more information. -------------------------------------------------------------------------- From Philipp.Ruemmer at comlab.ox.ac.uk Fri Dec 11 12:04:52 2009 From: Philipp.Ruemmer at comlab.ox.ac.uk (Philipp Ruemmer) Date: Fri, 11 Dec 2009 11:04:52 +0000 Subject: CFP, LfSA10 -- Logics for System Analysis 2010 at FLoC, Edinburgh Message-ID: <1260529492.29278.17.camel@clpc442.comlab.ox.ac.uk> ---------------------------------------------------------------------- First call for papers LfSA'10 - Logics for System Analysis Workshop Affiliated with IJCAR and LICS at FLoC 2010 July 15th, 2010, Edinburgh, UK http://www.ls.cs.cmu.edu/LfSA10/ ---------------------------------------------------------------------- Safety-critical systems frequently occur as real-time systems, embedded systems, hybrid systems, distributed systems, and cyber-physical systems. They are also becoming more and more important in many application domains, including aviation, automotive, railway, robotic, or medical applications. To ensure the correct functioning of safety-critical systems it is necessary to model and reason about hardware (including physical properties or movement), software, communication aspects, and qualitative and quantitative aspects of the system environment. Logics for system analysis, system modeling, and specification, are primary tools to analyze system behavior. Logic is equally important for understanding the theoretical foundations of system analysis and as the basis for practical analysis tools that establish correct functioning of systems or find bugs in their designs. Depending on the nature of the system, modeling languages that are amenable to logical analysis and the study of correctness properties include logical representations, automata, state charts, Petri nets, dataflow models, or systems of differential equations. Several system models can be analyzed rigorously with the help of techniques such as logical calculi, decision procedures, model checking, and abstraction. LfSA'10 is devoted to the systematic theoretical study, practical development, and applied use of logics for system analysis. The purpose of the LfSA workshop is to bring together researchers and practitioners interested in studying practically relevant systems or in developing the logical foundations and analysis tools for their study. Topics ------ * Logics for safety-critical systems (real-time, embedded, hybrid, distributed, stochastic, cyber-physical) * Logic-based methods for development of safety-critical systems * System representations using logics, automata, modeling languages, state charts, Petri nets, dataflow models * Theories, decision procedures, and calculi for system analysis * Model checking, theorem proving, and systematic testing * Case studies for logical system analysis * Applications of system analysis to industrial problems (including automotive, aviation, railway, robotics, process control, mixed analog/digital circuits in chip design) In particular, we invite contributions that bridge the gap between theory and practice or that combine different application domains. Submission Categories --------------------- * Regular papers (up to 15 pages), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. * Short papers (up to 5 pages), which describe work in progress or aim at initiating discussions. * Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop; such papers will not be included in the LfSA proceedings but will be presented during the workshop. In addition to informal and electronic workshop proceedings, we consider the option of a special issue in a journal after the workshop. Submission is done via Easychair: https://www.easychair.org/login.cgi?conf=lfsa2010 Important Dates/Deadlines ------------------------- Abstract submission: March 25, 2010 Paper submission: April 1, 2010 Notification: April 28, 2010 Final version due: May 20, 2010 Workshop: July 15, 2010 Workshop/Programme Chairs ------------------------- André Platzer (Carnegie Mellon University, Pittsburgh, USA) aplatzer at cs.cmu.edu Philipp Rümmer (Oxford University, UK) philr at comlab.ox.ac.uk Programme Committee ------------------- Raul Barbosa (Chalmers, Gothenburg, Sweden) Alessandro Cimatti (IRST Trento, Italy) Stéphane Demri (CNRS Cachan, France) Javier Esparza (TU Munich, Germany) Georgios E. Fainekos (Arizona State University, USA) Martin Giese (University of Oslo, Norway) Franjo Ivančić (NEC Laboratories Princeton, USA) Einar Broch Johnsen (University of Oslo, Norway) Dexter Kozen (Cornell, Ithaca, USA) Daniel Kroening (Oxford University, UK) Bruce H. Krogh (Carnegie Mellon University, Pittsburgh, USA) Marta Kwiatkowska (Oxford University, UK) Larissa Meinicke (Macquarie University, Australia) George J. Pappas (University of Pennsylvania, USA) Jean-François Raskin (Université Libre de Bruxelles, Belgium) Peter H. Schmitt (Karlsruhe University, Germany) Viorica Sofronie-Stokkermans (MPI Saarbrücken, Germany) Cesare Tinelli (The University of Iowa, USA) Uwe Waldmann (MPI Saarbrücken, Germany) -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : CFP.pdf Dateityp : application/pdf Dateigröße : 94739 bytes Beschreibung: nicht verfügbar URL : From Thomas.Lukasiewicz at kr.tuwien.ac.at Fri Dec 11 14:05:48 2009 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Fri, 11 Dec 2009 13:05:48 +0000 Subject: UniDL'10: Call for Papers Message-ID: <4B2243AC.40608@kr.tuwien.ac.at> Apologies for cross-postings ------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------- UniDL'10 First International Workshop on Uncertainty in Description Logics co-located with IJCAR 2010 at FLoC 2010 July 20, 2010 Edinburgh, UK http://lat.inf.tu-dresden.de/UniDL ------------------------------------------------------------------- During the recent decade, handling uncertainty has started to play an important role in ontology languages, especially in application areas like the Semantic Web, biomedicine, and artificial intelligence. For this reason, there is currently a strong research interest in description logics (DLs) that allow for dealing with uncertainty. The subject of the workshop is how to deal with uncertainty and imprecision in Description Logics (DLs). This encompasses approaches that enable probabilistic or fuzzy reasoning in DLs, but the workshop is also open for approaches based on other uncertainty formalisms. The workshop focusses on the investigation of reasoning problems and approaches for solving them, including especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are still less well-investigated than in the case of standard DLs without uncertainty. For novel reasoning services, such as query answering, computation of generalizations, modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty. TOPICS OF INTEREST include but are not limited to: * Modeling of uncertain knowledge in DLs * Different formalisations of uncertainty for DLs * Formal semantics for uncertain information in DLs * Extensions of DL reasoning problems to uncertainty * Reasoning algorithms for DLs with uncertainty, in particular * Tableau algorithms for probabilistic DLs or fuzzy DLs * Tractable DLs with uncertainty * Complexity of uncertain reasoning * System descriptions for implemented reasoning algorithms in uncertain DLs * Novel applications of DLs with uncertainty * Open and future problems IMPORTANT DATES: Submission deadline: March 25, 2010 Notification: April 28, 2010 Final version: May 26, 2010 Workshop: July 20, 2010 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 10 pages, - system descriptions not exceeding 6 pages, or - position papers on work in progress not exceeding 3 pages in LNCS. Submissions exceeding these limits will not be reviewed. Submissions are via EasyChair at http://www.easychair.org/conferences/?conf=unidl10 . WORKSHOP CHAIRS: - Thomas Lukasiewicz, Oxford University, UK - Rafael Penaloza, TU Dresden, Germany - Anni-Yasmin Turhan, TU Dresden, Germany PROGRAM COMMITTEE: - Eyal Amir, University of Illinois, Urbana-Champaign - Fernando Bobillo, University of Zaragoza - Simona Colucci, Technical University of Bari - Fabio G. Cozman, University of Sao Paulo - Manfred Jaeger, Aalborg University - Pavel Klinov, University of Manchester - Ralf Möller, Hamburg University of Technology - Mathias Niepert, University of Mannheim - Stefan Schlobach, Vrije Universiteit Amsterdam - Luciano Serafini, IRS Trento - Giorgos Stoilos, Oxford University - Umberto Straccia, ISTI-CNR - Guilin Qi, Southeast University, China From iclp10dc at gmail.com Fri Dec 11 22:28:22 2009 From: iclp10dc at gmail.com (iclp10dc at gmail.com) Date: Fri, 11 Dec 2009 15:28:22 -0600 (CST) Subject: ICLP-10 Doctoral Consortium Call For Papers Message-ID: <200912112128.nBBLSMa3029831@krlab.cs.ttu.edu> =============================================================================== CALL FOR PAPERS ICLP-DC 2010 Sixth ICLP Doctoral Student Consortium http://www.kodak.com/go/iclp10dc Collocated with the International Conference on Logic Programming 2010 Edinburgh (Scotland, U.K) July 16-19, 2010 =============================================================================== Introduction ------------ The ICLP Doctoral Consortium (DC) is the sixth doctoral consortium to be offered as part of the 26th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, and in Pasadena (USA) on July 15th, 2009. The DC will take place at the end of ICLP 2010 in Edinburgh (Scotland, U.K). The Doctoral Consortium is designed for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The Consortium is also open to exceptional Master's students developing MS Theses in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renown experts in the field. General Information ------------------- This year the Doctoral Consortium will be held at the end if the regular activities of the ICLP 2010 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. * To provide students with relevant information about important issues for doctoral candidates and future academics. * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming Submissions by students who have presented their work at a previous ICLP Doctoral Consortiums are allowed, but should occur only if there are substantial changes or improvements to the student's work. The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on July 21, 2010; the ICLP conference will run from July 16th to July 19th, 2010. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2010 conference proceedings. The best paper and presentation from the Doctoral Consortium will be given the opportunity to present in special session of the main ICLP conference. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. Important Dates --------------- Submission Deadline: April 11, 2010 Acceptance Notification: April 21, 2010 Last Date to Update Research Summary: April 28, 2010 (tentative) Doctoral Consortium: July 21, 2010 ICLP 2010 Conference: July 16-19, 2010 Submission Process ------------------ Application Process: To apply for participation to the ICLP 2010 Doctoral Consortium, prepare a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). The material should be submitted electronically, in PDF format. Review Criteria: The ICLP Doctoral Consortium review committee will select participants based on their anticipated contribution to the Consortium objectives. Participants typically have settled on their thesis directions and had their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of the submission packet, relevance of their research area w.r.t. the focus of the ICLP Conference, stage of research, advisor's letter, and evidence of promise towards a successful research and academic career, such as published papers or technical reports. Award: The ICLP Doctoral Consortium Discussants will review the submissions to select the ones to be presented. The organizing committee is actively seeking support to offer scholarship packages to accepted participants. We will update the web site as soon as we have more information regarding this. Submission Package ------------------ Send the submission package by e-mail to iclp10dc at gmail.com. Include the three documents as separate pdf files in attachment. All submissions must be in English. Submissions will not be considered if they arrive after the deadline. Your submission should not contain any proprietary or confidential material. Detailed instructions for each of the documents follow below. Cover Page: Please include the following information in the cover page: 1. Statement of interest in participating in the Doctoral Consortium 2. Full name and School and Department in which you are earning your doctorate degree 3. Contact information - address, telephone number, and email address 4. Title of your research and keywords pertinent to your research 5. The URL of your web page (if any) 6. Name of your supervising professor 7. Current stage in your program of study, e.g. (Master/PhD student, start date) Research Summary: Prepare your research summary as a PDF document, using the same format style as for the regular submissions to ICLP 2010. Keep the length of your research summary to no more than two pages, including figures, tables, and the bibliography. Make sure to include your complete name, address and affiliation. The body of you research summary should provide a clear overview of the research, its potential impact, and its current status. You are encouraged to include the following sections: 1. Introduction and problem description 2. Background and overview of the existing literature 3. Goal of the research 4. Current status of the research 5. Preliminary results accomplished (if any) 6. Open issues and expected achievements 7. Bibliographical references Letter of Recommendation: Include a letter of recommendation written by your Graduate Advisor or Thesis Advisor. Please, invite your advisor to include an assessment of the current status of your thesis research and an indication of the expected deadline for thesis submission. In addition, your advisor should indicate what she/he hopes you would gain from participation in the Doctoral Consortium. Chairs ------ Marcello Balduccini Intelligent Systems Department Kodak Research Labs http://marcy.cjb.net Alessandro Dal Palu' Dipartimento di Matematica Universita' degli Studi di Parma http://www2.unipr.it/~dalpalu/ From ulle.endriss at uva.nl Sat Dec 12 18:24:11 2009 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Sat, 12 Dec 2009 18:24:11 +0100 Subject: ECAI-2010: Call for Papers Message-ID: <4B23D1BB.10702@uva.nl> ###################################################################### ## ECAI-2010 ## 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 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 ###################################################################### ## PAPER FORMATTING & SUBMISSION INFORMATION ## ###################################################################### Submissions for ECAI and PAIS must not exceed SIX (6) pages in camera-ready format. Over-length submissions will be rejected without review. Papers for ECAI and PAIS should be submitted using the ECAI formatting style; details of the style are available at: http://www.csc.liv.ac.uk/~mjw/ecai2010.zip This file unpacks to a directory "ecai2010", and contains LaTeX and other style files. The file "ecai2010.tex" is an example paper in LaTeX format using the appropriate styles, and can be used as a template for ECAI and PAIS submissions. Each accepted paper will be allocated SIX (6) 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. 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. (Any publication venue with an ISBN or ISSN number counts as a formal publication; this includes LNCS/LNAI volumes, for example.) Submissions should not be submitted elsewhere during the ECAI 2010 review phase. The proceedings of the ECAI conference, together with those of its associated symposia, PAIS and STAIRS, will be published and distributed by IOS Press as a book and as a CD-ROM. The authors will be responsible for producing camera-ready copies of papers, conforming to the ECAI 2010 formatting guidelines for inclusion in the proceedings. At least one author of each accepted paper or poster is required to attend the conference to present the contribution. Submission and review of papers for ECAI-2010 will be managed via the ConfMaster system: http://ecai2010.confmaster.net/ -- for the ECAI main conference http://pais2010.confmaster.net/ -- for the PAIS conference ConfMaster will go live for ECAI and PAIS abstracts and submissions on Friday 15 January 2010. Prior to this date, the sites will be used for configuration and testing. All data uploaded or registered before this date will be deleted and will not be considered for the conference. Do NOT register or upload papers before 15 January 2010! Submission for ECAI/PAIS-2010 is a two stage process: * The abstracts of all papers for submission should be registered with the relevant ECAI or PAIS web server no later than Monday 15 February 2010. * Papers should then be uploaded in PDF format no later than Monday 22 February 2010. 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. 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, between 15-16 April 2010. ###################################################################### ## ORGANISATION ## ###################################################################### Conference chair: Helder Coelho (University of Lisbon, Portugal) ECAI Programme chair: Michael Wooldridge (University of Liverpool, United Kingdom) PAIS Programme chair: Rudi Studer (Karlsruhe Institute of Technology, Germany) STAIRS Programme chair: Asuncion Gomez Perez (Technical University of Madrid, Spain) Workshop Chair: Ulle Endriss (University of Amsterdam, The Netherlands) Local Organisation co-chairs: Luis Antunes (University of Lisbon & APPIA, Portugal) Joao Balsa (University of Lisbon, Portugal) Finance co-chairs: Luis Antunes (University of Lisbon & APPIA, Portugal) Joao 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: Graca Gaspar (University of Lisbon, Portugal) ###################################################################### ## AREA CHAIRS ## ###################################################################### Area chairs currently confirmed include: * Baader, Franz [Germany] * Beetz, Michael [Germany] * Bosch, Antal van den [Netherlands] * Bradzil, Pavel [Portugal] * Declerck, Thierry [Germany] * van der Gaag, Linda [Netherlands] * Geffner, Hector [Spain] * Harmelen, Frank van [Netherlands] * Hunter, Anthony [UK] * Ingrand, Felix [France] * Kraus, Sarit [Israel] * Lang, Jerome [France] * Lukasiewicz, Thomas [Austria] * Marquis, Pierre [France] * Meseguer, Pedro [Spain] * Meyer, John-Jules [Netherlands] * Mladenic, Dunka [Slovenia] * Plaza, Enric [Spain] * Poesio, Massimo [UK] * Refanidis, Ioannis [Greece] * Rosenschein, Jeff [Israel] * Rossi, Francesca [Italy] * Sierra, Carles [Spain] * Thielschler, Michael [Germany] * Wilson, Nic [Ireland] * Wolter, Frank [UK] ###################################################################### ## PLENARY SPEAKERS ## ###################################################################### The ECAI-2010 programme will include plenary talks from internationally leading researchers in AI and cognate disciplines. Plenary speakers so far confirmed include: * Ian Horrocks [Oxford University, UK] * Christos Papadimitriou [UC Berkeley, USA] * Judea Pearl [UCLA, USA] * Manuela Veloso [CMU, USA] ###################################################################### ## TUTORIAL SPEAKERS ## ###################################################################### ECAI-2010 will include a programme of masterclass tutorials from leading researchers in AI; these tutorials will be *free* to all ECAI/PAIS/STAIRS delegates. Tutorial speakers so far confirmed include: * Sarit Kraus [Bar Ilan University, Israel] -- Automated Negotiation * Ilkka Niemela [Helsinki University of Technology, Finland] -- Answer Set Programming * Joao Marques-Silva [University College Dublin, Ireland] -- Boolean Satisfiability & Optimization Algorithms & Applications More tutorial speakers to be announced soon! ###################################################################### -- 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 vmcai10-announce at clip.dia.fi.upm.es Mon Dec 14 02:21:29 2009 From: vmcai10-announce at clip.dia.fi.upm.es (vmcai10-announce at clip.dia.fi.upm.es) Date: Mon, 14 Dec 2009 02:21:29 +0100 Subject: VMCAI 2010 - Call for Participation - Early Reg: Dec 22 Message-ID: <19237.37657.245811.976613@gazelle.local> ---------------------------------------------------------------------- *** CALL FOR PARTICIPATION *** [ Please redistribute. Apologies for multiple postings. ] VMCAI 2010 The Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation Madrid, Spain, January 17-19, 2010 (Co-located with POPL 2010) http://software.imdea.org/events/vmcai10/ Early registration deadline: December 22, 2009 Hotel registration deadline: December 28, 2009 ---------------------------------------------------------------------- VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. The program of VMCAI'10 will consist of invited lectures, invited tutorials, and 21 contributed talks. The full programme is available at the conference web site. * Invited Talks: Javier Esparza (Technical University of Munich): Analysis of Systems with Stochastic Process Creation Rustan Leino (Microsoft Research): Verifying Concurrent Programs with Chalice Reinhard Wilhelm (Saarland University): Static Timing Analysis for Hard Real-Time Systems * Invited Tutorials: Roberto Giacobazzi (University of Verona): Abstract Interpretation-based Protection Joost Pieter Katoen (Aachen University): Advances in Probabilistic Model Checking Viktor Kuncak (EPFL Lausanne): Building a Calculus of Data Structures * Registration: Further information on registration for VMCAI is available at the conference web site: http://software.imdea.org/events/vmcai10/ Further information on accommodation is available at the POPL web site: http://www.cse.psu.edu/popl/10/ * Program: Sunday, January 17, 2010 9:00-10:00 Invited Talk * Reinhardt Wilhelm (Saarland University) Static Timing Analysis for Hard Real-Time Systems Coffee break 10:30-11:30 Automata and Monitors * RoLei Bu, Jianhua Zhao and Xuandong Li. Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming * Meera Sridhar and Kevin Hamlen. Model-Checking In-lined Reference Monitors Coffee break 12.00-13.30 Abstract interpretation * Liqian Chen, Antoine Mine, Ji Wang and Patrick Cousot. An abstract domain for discovering interval linear equalities * Valentin Perrelle and Nicolas Halbwachs. An analysis of permutations in arrays * Andy King and Harald Sondergaard. Automatic Abstraction for Congruences Lunch break 15.30-16.30 Model Checking * Jori Dubrovin. Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing * Benjamin Aminof, Orna Kupferman and Aniello Murano. Improved Model Checking of Hierarchical Systems Coffee break 17:00-18.30 Invited Tutorial * Roberto Giaccobazzi (University of Verona) Abstract Interpretation-based Protection Monday, January 18, 2010 9.00-10.00 Invited Talk * Rustan Leino (Microsoft Research) Verifying Concurrent Programs with Chalice Coffee break 10.30-11:30 Logical Methods * Vijay D'silva, Daniel Kroening, Mitra Purandare and Georg Weissenbacher. Interpolant Strength * Kuat Yessenov, Ruzica Piskac and Viktor Kuncak. Collections, Cardinalities, and Relations Coffee break 12.00-13.30 Program Verification * Alexander Summers and Sophia Drossopoulou. A Considerate Specification of the Composite Pattern * Thomas Henzinger, Thibaud B. Hottelier, Laura Kovacs and Andrei Voronkov. Invariant and Type Inference for Matrices * Yungbum Jung, Soonho Kong, Bow-Yaw Wang and Kwangkeun Yi. Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedure, and Predicate Abstraction Lunch break 15.30-16.30 Quantitative Analysis * Bjorn Wachter and Lijun Zhang. Best Probabilistic Transformers * Rohit Chadha, Axel Legay, Pavithra Prabhakar and Mahesh Viswanathan. Complexity bounds for the verification of real-time software Coffee break 17:00-18.30 Invited Tutorial * Joost Pieter Katoen (University of Twente) Advances in Probabilistic Model Checking Tuesday, January 19, 2010 9.00-10.00 Invited Talk * Javier Esparza (Technical University of Munich) Analysis of Systems with Stochastic Process Creation Coffee break 10.30-11:30 Temporal Logic * Rajeev Alur and Swarat Chaudhuri. Temporal Reasoning for Procedural Programs * Cesar Sanchez and Martin Leucker. Regular Linear Temporal Logic with Past Coffee break 12.00-13.30 Shape Analysis * Matthew Might. Shape Analysis of Higher-Order Programs via Abstract Interpretation * Mark Marron, Rupak Majumdar, Darko Stefanovic and Deepak Kapur. Shape Analysis with Reference Set Relations * Jorg Kreiker, Helmut Seidl and Vesal Vojdani. Shape Analysis of Low-level C with Overlapping Structures Lunch break 15.30-16.30 Concurrency * Viktor Vafeiadis. RGSep Action Inference * Alexander Malkis, Shaz Qadeer and Shuvendu Lahiri. Abstract Threads Coffee break 17:00-18.30 Invited Tutorial * Viktor Kuncak (EPF Lausanne) Building a Calculus of Data Structures ---------------------------------------------------------------------- From mcarro at fi.upm.es Mon Dec 14 10:37:23 2009 From: mcarro at fi.upm.es (Manuel Carro) Date: Mon, 14 Dec 2009 10:37:23 +0100 Subject: PADL 2010: Call for Participation Message-ID: <7sr5qx3nho.fsf@fi.upm.es> CALL FOR PARTICIPATION (see program below) Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 (PADL 2010) Madrid, Spain January 18-19, 2010 (Co-located with POPL 2010) http://clip.dia.fi.upm.es/Conferences/PADL-2010 PADL 2010 is the twelfth in a series of two-day symposia focusing on the interaction between advances on declarative languages and the solution of practical problems: new developments in theory and implementation have opened up new application areas and, at the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions in search for an answer 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 2010 is traditionally co-located with POPL, which will be held on January 20-22, immediately following PADL. The proceedings of PADL 2010 will appear in the LNCS series of Springer with the volume number 5937. To register for PADL, please follow the instructions at the POPL Registration Page (http://www.regonline.com/popl2010). CONTACT: For more information please contact one of the program chairs: Manuel Carro Ricardo Peña PC co-Chair - PADL 2010 PC co-Chair - PADL 2010 School of Computer Science Facultad de Informática Universidad Politécnica de Madrid Universidad Complutense de Madrid Campus de Montengancedo c/ Prof. José García Santesmases s/n E-28660 Boadilla del Monte, Spain E-28040 Madrid, Spain Email: mcarrofiupmes Email: ricardosipucmes =========================================================================== PADL 2010 PROGRAM =========================================================================== Monday, January 18, 2010 ======================== Invited talk [9:00-10:00] ------------------------- * Answer Set Programming in 2010: A Personal Perspective. Enrico Pontelli (New Mexico State University). Coffee Break [10:00-10:30] -------------------------- Session 1 [10:30-11:45]: Non-Monotonic Reasoning and Answer Set Programming --------------------------------------------------------------------------- * Efficient Application of Answer Set Programming for Advanced Data Integration. (25 + 5 min.) Nicola Leone, Francesco Ricca, Luca Agostino Rubino, and Giorgio Terracina. * Implementing Query Answering for Hybrid MKNF Knowledge Bases. (25 + 5 min.) Ana Sofia Gomes, Jose Julio Alferes, and Terrance Swift. * An ASP-based System for Team-building in the Gioia-Tauro Seaport (application paper). (10 + 5 min.) Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, and Francesco Scalise. Half Coffee Break [11:45-12:00] ------------------------------- Session 2 [12:00-13:00]: Types ------------------------------ * Explicitly Typed Exceptions for Haskell. (25 + 5 min.) José Iborra. * Conversion by Evaluation. (25 + 5 min.) Mathieu Boespflugl. Lunch (On Your Own - Discover Madrid!) [13:00-14:30] ---------------------------------------------------- Session 3 [14:30-15:30]: Parallelism and Distribution ----------------------------------------------------- * Skeleton Composition using Remote Data. (25 + 5 min.) Mischa Dieterle, Thomas Horstmeyer, and Rita Loogen. * Netlog, a Rule-based Language for Distributed Programming. (25 + 5 min.) Stephane Grumbach and Fang Wang. Coffee Break [15:30-16:00] -------------------------- Session 4 [16:00-17:45]: Towards Code Quality Assurance ------------------------------------------------------- * Similar Code Detection and Elimination for Erlang Programs. (25 + 5 min.) Huiqing Li and Simon Thompson. * Static Detection of Race Conditions in Erlang. (25 + 5 min.) Maria Christakis and Konstantinos Sagonas. * Automating Mathematical Program Transformations. (25 + 5 min.) Ashish Agarwal, Sooraj Bhat, Alexander Gray, and Ignacio Grossmann. * ActionScript In-lined Reference Monitoring in Prolog (application paper). (10 + 5 min.) Meera Sridhar and Kevin W. Hamlen. PADL Dinner [approx. 20:00] (paid by PADL) ------------------------------------------ Location and exact time to be announced. Tuesday, January 19, 2010 ========================= Invited talk [9:00-10:00] ------------------------- * An introduction to Maude and some of its applications. Narciso Martí-Oliet (Universidad Complutense de Madrid). Coffee Break [10:00-10:30] -------------------------- Session 5 [10:30-11:45]: Domain Specific Languages -------------------------------------------------- * An Ode to Arrows. (25 + 5 min.) Hai Liu and Paul Hudak. * Lazy Combinators for Executable Specifications of General Attribute Grammars . (25 + 5 min.) Rahmatullah Hafiz and Richard A. Frost. * A Domain-Specific Language Approach to Protocol Stack Implementation (application paper). (10 + 5 min.) Yan Wang and Verónica Gaspes. Half Coffee Break [11:45-12:00] ------------------------------- Session 6 [12:00-13:00]: Programming Aids ----------------------------------------- * First-order Interactive Programming. (25 + 5 min.) Roly Perera. * An ER-based Framework for Declarative Web Programming. (25 + 5 min.) Michael Hanus and Sven Koschnicke. Lunch (On Your Own - Discover Madrid!) [13:00-14:30] ---------------------------------------------------- Session 7 [14:30-15:30]: Constraints ------------------------------------ * Lazy Explanations for Constraint Propagators. (25 + 5 min.) Neil C.A. Moore, Ian P. Gent, and Ian Miguel. * On the implementation of the CLP(BN) Language. (25 + 5 min.) Vítor Santos Costa. Coffee Break [15:30-16:00] -------------------------- Session 8 [16:00-17:45]: Tabling and Agents ------------------------------------------- * Compact Lists for Tabled Evaluation. (25 + 5 min.) João Raimundo and Ricardo Rocha. * A Simple and Efficient Implementation of Concurrent Local Tabling. (25 + 5 min.) Rui Marques, Terrance Swift, and José C. Cunha. * An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. (25 + 5 min.) Miguel Areias and Ricardo Rocha. * Prospective Storytelling Agents (application paper). (10 + 5 min.) Gonçalo Lopes and Luís Moniz Pereira. End of Symposium [17:45] ------------------------ From mdv at cs.bath.ac.uk Mon Dec 14 23:23:04 2009 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Mon, 14 Dec 2009 22:23:04 +0000 Subject: First Call for papers: COIN@AAMAS2010 Message-ID: <1260829384.2690.43.camel@Ishtar> Apologies for multiple posts; ----------------------------------------------------------------- CALL FOR PAPERS The AAMAS2010 Workshop on Coordination, Organization, Institutions and Norms (COIN) Toronto, {10th | 11th} May 2010 AIMS and SCOPE >From “the internet of things” and virtual worlds to the “smarterplanet”, through grid, cloud and stream computing, the world is becoming increasingly instrumented and inter-connected. Managing the resultant scale and complexity requires intelligence; in particular an intelligence that is manifested by individual strategies or collective behaviour. Furthermore, system architects have to consider: the inter-operation of heterogeneously designed, developed or discovered components; inter-connection which cross legal, temporal, or organizational boundaries; the absence of global objects or centralised controllers; the possibility that components will not comply with the given specifications; and embedding in an environment which is likely to change, with possible impact on individual and collective objectives. The convergence of the requirement for intelligence with these operational constraints demands: coordination: the collective ability of heterogeneous and autonomous components to arrange or synchronise the performance of specified actions in sequential or temporal order; organization: a formal structure supporting or producing intentional forms of coordination; institution: an organization where (inter alia) the performance of designated actions by empowered agents produces conventional outcomes; and norms: standards or patterns of behaviour in an institution established by decree, agreement, emergence, and so on. The automation and distribution of intelligence is the subject of study in autonomous agents and multi-agent systems; the automation and distribution of intelligence for coordination, organization, institutions and norms is the specialised interest of COIN at AAMAS2010. WORKSHOP GOALS The goal of the workshop is to bring together researchers in autonomous agents and multi-agent systems working on the scientific and technological aspects of organizational theory, electronic institutions and computational economies from an organizational or institutional perspective. We seek to attract high-quality papers addressing all mathematical, logical and computational perspectives of, and modelling, animation and simulation techniques for, these types of multi-agent systems. Through various information and opinion exchange mechanisms before, during and after the workshop, we hope to generate new ideas, consolidate and develop an (already) active community, highlight future challenges and opportunities, and lead/define (at least part of) the future research agenda. TOPIC OF INTEREST Topics of particular interest for COIN at AAMAS2010 will include: * COIN for internet of things, 3-D Internet, green computing, and smarterplanet; * logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; * formal lifecycle models: formation, maintenance, and dissolution of organizations and institutions; * autonomic institutions, self-organization, and general self-* properties; * law of electronic institutions: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; * agent environments: physical and institutional 'resources' for physical capability and institutional power; * formal methods for specifying coordination and organizational structures; models for verification, validation and visualisation; * non-normative behaviour, error-recovery, and reliable computing with unreliable components; * agent societies and communities, social networks, electronic institutions and virtual organizations; * frameworks and protocols for organised and organisational adaptation; * institutional mechanisms for governance of common pool resources; * discovery, openness and inter-operation in organizations and institutions; * analysis of issues in the emergence, evaluation (as fit-for-purpose), compliance to and evolution of norms; * mixed human-agent coordination and institutions in embedded systems and virtual worlds. VENUE The workshop will be part of the AAMAS2010 (Autonomous Agents and Multi-Agent Systems) workshop programme, and will take place at the Sheraton Centre Toronto Hotel in downtown Toronto, Canada. Full details are available at http://www.cse.yorku.ca/AAMAS2010/ PROCEEDINGS Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2010 workshops (there will be a subsequent event in the Autumn) will be published in a single Springer LNCS volume. Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. IMPORTANT DATES Submission of contributions to workshops: FEBRUARY, 2, 2010 Workshop paper acceptance notification: MARCH 2, 2010 Revised accepted paper submission: MARCH 12, 2010 COIN at AAMAS2010 WORKSHOP: MAY 10|11, 2010 INSTRUCTIONS FOR AUTHORS Although the post-proceedings will be published in Springer LNCS, the preliminary proceedings will follow a different format, namely IFAAMAS style. Submissions to COIN at AAMAS 2010 should be a maximum of 8 pages. If using Latex, please use this style file and see this example of how it is used. For Microsoft Word users, a template is also available. Please note that the submissions should be formatted for American letter paper size, and that your submission must be without page numbers. The length of each paper including figures and references may not exceed 8 pages in this format. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. For submission of papers, please use: http://www.easychair.org/conferences/?conf=coinaamas2010 ORGANISATION Workshop Chairs Dr Jeremy Pitt Department of Electrical & Electronic Engineering, Imperial College London SW7 2BT UK Email: j.pitt[IsAt]imperial.ac.uk, Tel: +44 (0)20 7594 6318, Fax: +44 (0)20 7594 6274 Dr Marina De Vos Department of Computer Science, University of Bath, BA2 7AY UK Email: mdv[IsAt]cs.bath.ac.uk, Tel: +44 (0)1225 385053, Fax: +44 (0)1225 383493 Program Committee Alexander Artikis (National Centre for Scientific Research Demokritos, Greece) Antonio Carlos da Rocha Costa (UCPEL, Brazil) Catherine Tessier (ONERA, France) Catholijn Jonker (Delft University of Technology, The Netherlands) Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Christophe Sibertin-Blanc (IRIT, France) Dan Corkill (University of Massachusetts Amherst, USA) Daniel Moldt (University of Hamburg, Germany) Eric Matson (Purdue, USA) Eugenio Oliveira (Universidade do Porto, Portugal) Fuyuki Ishikawa (National Insitute of Informatics, Japan) George Vouros (University of the Aegean, Greece) Guido Boella (University of Torino, Italy) Harko Verhagen (Stockholm University, Sweden) John-Jules Meyer (Utrecht University, The Netherlands) Jomi Fred Hubner (University of Blumenau, Brazil) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Spain) Julian Padget (University of Bath, UK) Leon van der Torre (University of Luxembourg, Luxembourg) Luca Tummolini (ISTC/CNR, Italy) Maite Lopez-Sanchez (University of Barcelona, Spain) Nicoletta Fornara (University of Lugano, Switzerland) Olivier Boissier (ENS Mines Saint-Etienne, France) Pablo Noriega (IIIA-CSIC, Spain) Sascha Ossowski (URJC, Spain) Stephen Cranefield (University of Otago, New Zealand) Virginia Dignum (Delft University of Technology, The Netherlands) Wamberto Vasconcelos (University of Aberdeen, UK) COIN Steering Committee: Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Eric Matson (Purdue University, USA) Guido Boella (University of Torino, Italy) Jaime Sichman (University of Sao Paulo, Brazil) Javier Vazquez Salceda (Universitat Politecnica de Catalunya, Spain) Julian Padget (University of Bath, UK) Jeremy Pitt (Imperial College London, UK) Nicoletta Fornara (University of Lugano, Switzerland) Olivier Boissier (ENS Mines Saint-Etienne, France) Pablo Noriega (Instituto de Pesquisa em InteligÍncia Artificial, Spain) Sascha Ossowski (Universidad Rey Juan Carlos, Spain) Virginia Dignum (Utrecht University, The Netherlands) Wamberto Vasconcelos (University of Aberdeen, UK) George Vouros (University of the Aegean, Greece) From hak at ca.ibm.com Tue Dec 15 01:51:01 2009 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Mon, 14 Dec 2009 16:51:01 -0800 Subject: CFP: RULE 2010 (Edinburgh, UK, July 14, 2010) Message-ID: ------------------------------------------------------------------------ [Although we try avoiding cross-posting, we apologize if that happens] ------------------------------------------------------------------------ RULE 2010 Call For Papers ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 This CFP' URL: http://www.di.uminho.pt/rule2010 (Workshop affiliated to FLoC 2010 as post-conference event of RTA 2010) With the renewed interest in rule-based computing for industrial applications (e.g., Business Rules) especially as it relates to the Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely to explore the practical benefits delivered by computing with rules and ontologies in the large. Thus, this year's theme will focus on rule-based programming in Industry and the Semantic Web. The emphasis will be on implemented systems that have been actually used in pragmatic situations where the advantages of rule-driven computation and inference have made all the difference, such advantages being: * agility * declarativeness * maintainability * documentability * scalability * meta-programmability * reliability * formal semantics * etc., ... In terms of the Semantic Web, we explicitly call for submissions that probe (in a pragmatic setting) how rule-based approaches complement ontology-based approaches, which share some of the characteristics of rule systems, such as declarativeness and formal semantics. PAPER SUBMISSION We are solliciting papers dealing with topics related to this year's theme discussing any or several of the itemized facets of the combinations of rules and ontologies, going beyond academic experiments and meant for large-scale or industrial applications. Papers should contain no more than 10 pages, including figures, and submitted through EasyChair using the standard EPTCS LaTeX style file. PROGRAM COMMITTEE * Hassan Aït-Kaci, IBM, Canada (co-chair) * Maria Alpuente, Universidàd de Valencia, Spain * Harold Boley, National Research Council, Canada * Mike Dean, BBN, USA * Mohand-Saïd Hacid, Université Claude Bernard, Lyon, France * Gary Hallmark, Oracle, USA * Pierre-Etienne Moreau, INRIA Nancy, France * Jeff Pan, University of Aberdeen, United Kingdom * Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair) * Eelco Visser, Delft University of Technology, The Netherlands DATES Submission opens: Monday, March 1, 2010 Submission ends: Friday, April 16, 2010, PC meets: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, Workshop venue RULE 2010 will be a satellite workshop of the conference on Rewriting Techniques and Applications (RTA 2010) affiliated to the Federated Logic of Computing conferences (FLoC 2010), to take place in Edinburgh, UK, July 9-21, 2010. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Dec 15 14:02:12 2009 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 15 Dec 2009 08:02:12 -0500 (EST) Subject: LPAR-16 - Dakar, Senegal - April 2010 Message-ID: <20091215130212.D8C1F11FCFE@mcclellan.cs.miami.edu> CALL FOR PAPERS LPAR-16 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning April 25 - May 1, 2010 Dakar, Senegal http://www.lpar.net/lpar-16/ The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal. Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. Logical techniques link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central role in Computer Science education. Topics ------ New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: * Automated reasoning * Verification * Interactive theorem proving and proof assistants * Model checking * Implementations of logic * Satisfiability modulo theories * Rewriting and unification * Logic programming * Satisfiability checking * Constraint programming * Decision procedures * Logic and the Web * Ontologies and large knowledge bases * Logic and databases * Modal and temporal logics * Program analysis * Foundations of security * Description logics * Non-monotonic reasoning * Specification using logics * Logic in artificial intelligence * Logic and types * Logical foundations of programming * Logical aspects of concurrency * Logic and computational complexity * Knowledge representation and reasoning * Logic of distributed systems Programme Chairs ---------------- * Ed Clarke * Andrei Voronkov Programme Committee ------------------- * Rajeev Alur * Matthias Baaz * Peter Baumgartner * Armin Biere * Nikolaj Bjorner * Iliano Cervesato * Agata Ciabattoni * Hubert Comon-Lundh * Nachum Dershowitz * Juergen Giesl * Guillem Godoy * Georg Gottlob * Jean Goubault-Larrecq * Reiner Haehnle * Claude Kirchner * Michael Kohlhase * Konstantin Korovin * Laura Kovacs * Orna Kupferman * Leonid Libkin * Aart Middeldorp * Luke Ong * Frank Pfenning * Andreas Podelski * Andrey Rybalchenko * Helmut Seidl * Geoff Sutcliffe * Ashish Tiwari * Toby Walsh * Christoph Weidenbach Submission Details ------------------ Submissions of two kinds are welcome: * Regular papers containing new results; * Experimental papers describing implementation or evaluation of systems. All submitted papers must be original, and not submitted concurrently to a journal or another conference. The page limit for all papers is 15 pages using the EasyChair class file that can be obtained at .... http://www.easychair.org/easychair.zip. All papers must be submitted through the EasyChair system using the Web page http://www.easychair.org/conferences/?conf=3Dlpar16 Important Dates --------------- * Abstract submission: January 5, 2010 * Paper submission: January 12, 2010 * Notification of acceptance: March 1, 2010 * Proceedings version: March 15, 2010 * Short papers submission: March 17, 2010 * Short papers notification: March 25, 2010 * Conference: April 25-May 1, 2010 From miguelangel.veganzones at ehu.es Tue Dec 15 17:17:11 2009 From: miguelangel.veganzones at ehu.es (Miguel Angel Veganzones) Date: Tue, 15 Dec 2009 17:17:11 +0100 Subject: HAIS 2010: 1st Call for Papers & Special Session Proposals Message-ID: <1260893831.4484.7.camel@ic-experimentos> HAIS 2010: 1st Call for Papers & Special Session Proposals * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS'10) 23rd-25th June of 2010 San Sebastian, Spain http://www.ehu.es/ccwintco/hais2010/ ---------------------------------------------------------------- ***PROCEEDINGS: (Tentative) HAIS'10 proceedings will be published by Springer in its series of LNCS/LNAI- LNAI (Lecture Notes in Artificial Intelligence). All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. ***SPECIAL SESSIONS: In addition to regular sessions, participants are encouraged to organize special sessions on specialized topics. Each special session should have at least 4 or 5 quality papers. Special session organizers will solicit submissions; conduct reviews jointly with the HAIS'10 PC and in the same way recommend accept/reject decisions on the submitted papers. Submission of Special Sessions are welcome! http:// http://www.ehu.es/ccwintco/hais2010/specialsessions.html For more information, please, send an email to: manuel.grana at ehu.es -------------------------------------------------------------------- *** 5th International Conference on Hybrid Artificial Intelligence Systems(HAIS'10) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. Hybrid intelligent systems are becoming popular due to their capabilities in handling many real world complex problems, involving imprecision, uncertainty and vagueness, high-dimensionality. They provide us with the opportunity to use both, our knowledge and row data to solve problems in a more interesting and promising way. HAIS'10 provides an interesting opportunity to present and discuss the latest theoretical advances and real-world applications in this multidisciplinary research field. *** TOPICS *** Topics are encouraged, but not limited to, the combination of at least two of the following areas in the field of Hybrid Intelligent Systems: - Fusion of soft computing and hard computing - Evolutionary Computation - Visualization Techniques - Ensemble Techniques - Data mining and decision support systems - Intelligent agent-based systems (complex systems), cognitive and - Reactive distributed AI systems - Internet modelling - Human interface - Case base reasoning - Lattice Computing - Chance discovery - Applications in security, prediction, control, robotics, image and speech signal processing, food industry, biology and medicine, business and management, knowledge management, artificial societies, chemicals, pharmaceuticals, geographic information systems, remote sensing, software engineering, materials and environment engineering and so on. *** PAPER SUBMISSION AND PROCCEEDINGS*** Tentative. HAIS'10 proceedings will be published by Springer in its series of Lecture Notes in Artificial Intelligence - LNAI (part of its prestigious Lecture Notes in Computer Science - LNCS series). All submissions will be refereed by experts in the field based on originality, significance, quality and clarity. Every submitted paper to HAIS'10 will be reviewed by at least two members of the Program Committee. Papers must be prepared according to the LNCS-LNAI style template (http://www.springer.de/comp/lncs/authors.html) and must be no more than eight (8) pages long, including figures and bibliography. *** IMPORTANT DATES *** - Special Session acceptance: 10th January, 2010 - Submission of papers by Authors: 15th February, 2010 - Notification of provisional acceptance: 15th March, 2010 - Submission of final papers: 11th April, 2010 - Early registration (special rates): 11th April, 2010 - HAIS 2010 Conference: 23rd-25thth June, 2010 Dr. Manuel Graña - University of the Basque Country (Spain) Emilio Corchado - University of Burgos (Spain) *** CONTACT *** Prof. Manuel Graña GIC Research Group Facultad de Informática de San Sebastián Universidad del País Vasco Paseo Manuel de Lardizabal 1 20018, San Sebastián, Spain Phone: +34 943 01 8044 - +34 943 01 5106 Fax: +34 943 01 5590 Web: http://www.ehu.es/ccwintco E-mail: manuel.grana at ehu.es Dr. Emilio Corchado GICAP Research Group http://gicap.ubu.es/ Área de Lenguajes y Sistemas Informáticos Calle Francisco de Vitoria, Edifico C, Escuela Politécnica Superior Universidad de Burgos Phone: +34 947 25 9395 Fax: +34 947 25 8910 E-mail: escorchado at ubu.es For more information about HAIS'10, please refer to the HAIS'10 website: http://www.ehu.es/ccwintco/hais2010/ * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wchen at i-a-i.com Tue Dec 15 22:32:43 2009 From: wchen at i-a-i.com (Wei Chen) Date: Tue, 15 Dec 2009 16:32:43 -0500 Subject: 2nd CFP: International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2010) Message-ID: <028e01ca7dce$23437980$69ca6c80$@com> International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2010) http://cisedu.us/cis/cts/10/main/storageDocs.jsp?doc=/docs/cts/10/workshops/W04.IMASC.html CALL FOR PAPERS As part of The 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010) May 17 – 21, 2010 The Westin Lombard Yorktown Center Chicago, Illinois, USA Submission Deadline: January 7, 2010 SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) have grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, “where are all the intelligent agents?" ). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities ─ intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents’ underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting divisions of labor between CTS and MAS elements during execution. Workshop topics include (but are not limited to) combinations of the following issues: • MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents • CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications Important: a submitted paper must have at least one keyword from EACH column! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION We invite researchers in academia, industry, and research institutions to submit papers on the above or related topics. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page (together with the actual paper as a whole PDF document) with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words. The full manuscript should be at most 10 pages (the cover page does NOT count towards this page limit) using the two-column IEEE format. Additional pages will be charged an additional fee. Please include page numbers on all submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at http://www.easychair.org/conferences/?conf=imasc2010. Notably, (1) only PDF files will be accepted, (2) papers should have the following name format for easy identification: ‘Surname_Initial_1.PDF’, where the Surname is that of the first author, and (3) follow the EasyChair instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews. Papers will be selected based on their relevance, significance, originality, technical clarity, and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one author of an accepted paper must register for and present the paper at the workshop for the paper to be published in the Symposium Proceedings. Instructions for final manuscript format and publication requirements will be posted on the CTS 2010 Symposium web site later. It is our intent to have the Symposium Proceedings formally published in hard and soft copies and be available at the time of the conference. The Proceedings are projected to be included in the IEEE Digital Library and indexed accordingly. IMPORTANT DATES Paper Submissions: ----------------------------- January 7, 2010 Acceptance Notification: ----------------------- February 8, 2010 Camera Ready Papers and Registration Due: ------ March 1, 2010 WORKSHOP CO-CHAIRS Dr. Wei Chen (Primary Contact) Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA (301) 294-5278, wchen at i-a-i.com Dr. Edmund Durfee Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor MI 48109-2121, USA (734) 936-1563, durfee at umich.edu Dr. Toru Ishida Department of Social Informatics, Kyoto University Yoshida Honmachi, Sakyo, Kyoto, 606-8501, Japan +81 742 70 2280, ishida at i.kyoto-u.ac.jp Dr. Robert Neches Information Sciences Institute, University of Southern California 4676 Admiralty Way, Marina del Rey, CA 90292, USA +1-310-448-8481, RNeches at isi.edu INTERNATIONAL PROGRAM COMMITTEE: All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2010. • Myriam Abramson Naval Research Laboratory, USA • Kevin Couśin Air Force Institute of Technology, USA • Tim Finin University of Maryland, Baltimore County, USA • Patricia Fitzgerald Air Force Research Laboratory, USA • Zhi Jin Peking University, China • Jason Li Intelligent Automation, Inc., USA • Peng Liu Pennsylvania State University, USA • Margaret Lyell Intelligent Automation, Inc., USA • Christopher Lynnes National Aeronautics and Space Administration (NASA), USA • Mark Maybury MITRE Corporation, USA • Bill McQuay Air Force Research Laboratory, USA • Jack Meier Boeing Corporation, USA • Pavel Nahodil Czech Technical University, Czech republic • Volkmar Schau Friedrich-Schiller-Universität Jena, Germany • Waleed W. Smari University of Dayton, USA • Elena Simperl University of Innsbruck, Austria • Munindar P. Singh North Carolina State University, USA • Pedro Szekely University of Southern California, USA • Anni Tsai Army CERDEC, USA • John Yen Pennsylvania State University, USA • Chengqi Zhang University of Technology - Sydney, Australia • Haibin Zhu Nipissing University, Canada If you have questions regarding workshop paper submission or the workshop content, please contact the workshop organizers. For information or questions about Symposium's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral consortium, and any other information about the conference location, registration, paper formatting, etc., please consult the Symposium’s web site at URL: http://cisedu.us/cis/cts/10/main/callForPapers.jsp or contact one of the Symposium's Co-Chairs: Bill McQuay at William.McQuay at us.af.mil and Waleed W. Smari at Smari at arys.org. __________________________________________________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. From Marie-Pierre.Gleizes at irit.fr Tue Dec 15 22:27:47 2009 From: Marie-Pierre.Gleizes at irit.fr (Marie-Pierre Gleizes) Date: Tue, 15 Dec 2009 22:27:47 +0100 Subject: [AOSE@AAMAS 2010] CFP (deadline 2/2/10) Message-ID: <4B27FF53.5010408@irit.fr> ********************************************************************* CALL FOR PAPERS The 11th International Workshop on AGENT-ORIENTED SOFTWARE ENGINEERING (AOSE-2010) http://www.irit.fr/AOSE2010 ********************************************************************* To be held at The ninth International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS-2010) Toronto, Canada, May 10 (or 11) 2010 INTRODUCTION Since the mid 1980s, software agents and multi-agent systems have grown into a very active area of research and also commercial development activity. One of the limiting factors in industry take up of agent technology, however, is the lack of adequate software engineering support, and knowledge in this area. AOSE is focused on this problem and provides a forum for those who study the synergies between software engineering and agent research. The concept of an agent as an autonomous system, capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can understand many systems as being composed of essentially passive objects, which have state, and upon which we can perform operations, so we can understand many others as being made up of interacting, autonomous or semi-autonomous agents. This paradigm is especially suited to complex systems. Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are typically orders of magnitude more complex to correctly and efficiently engineer than those that simply compute a function of some input through a single thread of control, or through a limited set of strictly synchronized threads of control. Agent oriented modelling techniques are especially useful in such applications. Many current and emerging real-world applications – spanning scenarios as diverse as worldwide computing, network enterprises, ubiquitous computing, sensor networks, just to mention a few examples -- have exactly the above characteristics. As a consequence, agent oriented software engineering has become an important area: both as a design modelling means, and as an interface to platforms which include specialised infrastructure support for programming in terms of semi-autonomous interacting processes. The particular focus of this edition will be on how to bridge the gap between AOSE and conventional software engineering. We aim to look at the integration of concepts and techniques from multi-agent systems with conventional engineering approaches on the one hand, and the integration of agent-oriented software engineering and methodologies with conventional engineering processes on the other hand. WORKSHOP STRUCTURE All authors of papers will have only 10 minutes podium time to provide the main idea or the main point of interest of their paper. Per 4 presentations, people will have 50 minutes to discuss with speakers. Depending on the quality of submitted papers, we may consider having two kinds of accepted papers. The first kind of paper will be presented at the workshop and will appear in the post-proceedings. The second ones will be accepted for presentation and they will have an additional opportunity to contribute to the published post-proceedings depending of the paper presentation. DEMOS The workshop will welcome live demos. These demos would be performed by authors of accepted papers or registered attendants without accepted papers. Authors of accepted papers would be encouraged to show the software supporting their contribution. Researchers not submitting regular papers but interested in showing their software may participate as well. These attendees will be invited to contact the workshop organizers in advance, in order to organize the presentation of their software. Requests will be evaluated by the organizers to determine the relevance and interest for the workshop. TOPICS OF INTEREST The workshop welcomes the submission of all papers on aspects of agent oriented software engineering. Particular attention will be given to work that focusses on how to bridge the gap between AOSE and conventional software engineering. Topics of interest include but are not restricted to: Integration of concepts and techniques from multi-agent systems with conventional engineering approaches: - agent-based solutions for managing complexity in software engineering - alignment of agents with service-oriented software development - agents for self-adaptive systems - agents for dynamic software product lines Integration of agent-oriented software engineering and methodologies with conventional engineering processes: - goal-oriented design - reusable design knowledge: patterns and reference architectures - qualities and tradeoffs of agent-based architectures - agents and model-driven approaches - verification of agent-based software - middleware integration of agent-based software - integration of agents with legacy systems - testing of agent-based software - validation of agent technology in practice - CASE tools to support agent-oriented software development in practice - implications of introducing agent-based solutions on the development organization - standardization efforts for multi-agent systems PROCEEDINGS We plan to accept papers either as long or as short papers. Accepted long papers and reviewed short papers will be considered for the LNCS post-proceedings. To appear in any of the proceedings generated within the workshop it will be required to have attended and defended your contribution in the workshop. Proceedings from previous editions of AOSE were formally published by Springer-Verlag within the LNCS series. The intention is, again, to publish the proceedings with Springer. SUBMISSION OF PAPERS All papers, submitted as PDF files, must conform the LNCS format and will have no more than 12 pages. Instructions and templates can be found here: http://www.springer.de/comp/lncs/authors.html The maximum length of the paper will be 12 pages. Papers should be sent through the Easychair conference manager: http://www.easychair.org/conferences/?conf=aose2010 The submission procedure requires authors to create an account through the conference manager. IMPORTANT DATES FEBRUARY, 2, 2010 - paper submission MARCH 2, 2010 - notification of accepted paper MARCH 10, 2010 - camera ready submission MAY 10-11, 2009: AOSE 2010 Workshop ORGANISING COMMITTEE Marie-Pierre Gleizes IRIT, Université Paul Sabatier, France Danny Weyns DistriNet Labs, Katholieke Universiteit Leuven Contact email: gleizes[this_is_an_at_]irit.fr danny.weyns[this_is_an_at_]cs.kuleuven.be STEERING COMMITTEE Paolo Ciancarini, University of Bologna Michael Wooldridge, University of Liverpool Joerg Mueller, Clausthal University of Technology Gerhard Weiss, University of Maastricht PROGRAMME COMMITTEE (in progress) From tb at imm.dtu.dk Wed Dec 16 14:52:09 2009 From: tb at imm.dtu.dk (Thomas Bolander) Date: Wed, 16 Dec 2009 14:52:09 +0100 Subject: CFP: International Workshop on Hybrid Logic and Applications (HyLo 2010) Message-ID: <4B28E609.3060909@imm.dtu.dk> ******************************************************************* FIRST CALL FOR PAPERS International Workshop on Hybrid Logic and Applications (HyLo 2010) Affiliated with LICS 2010 July 10, 2010, Edinburgh, Scotland ******************************************************************* Scope ----- Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem (the basic mechanism being to add nominals - atomic symbols true at a unique point - together with extra modalities to exploit them) often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau, resolution, and natural deduction in hybrid logic, and completeness and interpolation results can be proved of a generality that is simply not available in modal logic. That is, hybridization - adding nominals and related apparatus - seems a fairly reliable way of curing many known weaknesses in modal logic. Hybrid logic is now a mature field with significant impact on a range of other fields, including - description logic, - applied modal logics, - temporal logic, - memory logics, - memoryful logics, - reactive logic, - labelled deduction, and - feature logic. The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic and applications, for example the LICS-affiliated HyLo 2002 (http://floc02.diku.dk/HYLO) and HyLo 2006 (http://hylomol.ruc.dk/HyLo2006) which both were held as part of FLoC. Submissions ----------- Please use the HyLo 2010 submission page to submit papers (https://www.easychair.org/login.cgi?conf=hylo2010). Papers should not exceed 15 pages including references. The revised versions of accepted papers will be published online in a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the proceedings will be distributed at the workshop. Authors are invited to submit papers in the following two categories: - Regular papers describing original research. - Presentation-only papers describing work recently published or submitted. The presentation-only papers will be included in the preliminary proceedings, but not in the final proceedings in ENTCS. One author for each accepted paper must attend the workshop in order to present the paper. Authors are strongly encouraged to prepare their submissions according to the ENTCS guidelines (http://www.entcs.org). Important Dates --------------- Deadline for submissions: March 30, 2010 Notification of acceptance: May 1, 2010 Deadline for final versions: June 15, 2006 Invited Speakers ---------------- - Moshe Vardi, Rice University, USA - NN Program Committee ----------------- Carlos Areces (INRIA Lorraine, France) Patrick Blackburn (INRIA Lorraine, France) Thomas Bolander (Technical University of Denmark), Co-chair Torben Braüner (Roskilde University, Denmark), Co-chair Stephane Demri (ENS de Cachan, France) Mai Gehrke (Radboud Universiteit Nijmegen, The Netherlands) Valentin Goranko (Technical University of Denmark) Valeria de Paiva (Cuil Inc., USA) Thomas Schneider (University of Manchester) Contact Details --------------- See the workshop home page (http://hylocore.ruc.dk/HyLo2010.html) for further information. Please send all correspondence regarding the workshop to the organizers: Thomas Bolander http://www.imm.dtu.dk/~tb Torben Braüner http://www.ruc.dk/~torben From aspocp10 at gmail.com Wed Dec 16 16:57:44 2009 From: aspocp10 at gmail.com (aspocp10 at gmail.com) Date: Wed, 16 Dec 2009 09:57:44 -0600 (CST) Subject: ASPOCP 2010 Call For Papers Message-ID: <200912161557.nBGFvi06009059@krlab.cs.ttu.edu> =============================================================================== CALL FOR PAPERS ASPOCP 2010 3rd Workshop on Answer Set Programming and Other Computing Paradigms http://www.dbai.tuwien.ac.at/proj/aspocp10/ Collocated with the International Conference on Logic Programming 2010 Edinburgh (Scotland, U.K) July 16-19, 2010 =============================================================================== AIMS AND SCOPE Since its introduction in the 1990s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship, the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), or first-order logic (FOL) is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, and FOL theorem provers. Furthermore, the practical application of ASP also fosters work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms. - Relating ASP to other nonmonotonic languages. - New methods of computing answer sets using algorithms or systems of other paradigms. - ASP and probabilistic reasoning. - ASP and machine learning. - Language extensions to ASP. - ASP and argumentation. - ASP and multi-agent systems. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - Embedding ASP for challenging applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp10 IMPORTANT DATES (tentative) Submission deadline: March 26, 2010 Notification: April 16, 2010 Camera-ready articles due: April 30, 2010 Workshop: July 20, 2010 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). Informal proceedings will be provided at the workshop. LOCATION The workshop will be held in Edinburgh (Scotland, U.K), collocated with the International Conference on Logic Programming (ICLP) 2010. WORKSHOP CO-CHAIRS Marcello Balduccini (Kodak Research Labs, USA) Stefan Woltran (Vienna University of Technology, Austria) PROGRAM COMMITTEE Gerhard Brewka (University of Leipzig, Germany) Pedro Cabalar (Corunna University, Spain) Wolfgang Faber (University of Calabria, Italy) Michael Fink (Vienna University of Technology, Austria) Martin Gebser (University of Potsdam, Germany) Joohyung Lee (Arizona State University, USA) Vladimir Lifschitz (University of Texas at Austin, USA) Fangzhen Lin (Hong Kong University of Science and Technology, China) Marco Maratea (University of Genoa, Italy) Emilia Oikarinen (Helsinki University of Technology, Finland) Axel Polleres (DERI, National University of Ireland, Ireland) Ashish Sabharwal (Cornell University, USA) Guillermo R. Simari (Universidad Nacional del Sur, Argentina) Paolo Torroni (University of Bologna, Italy) Miroslaw Truszczynski (University of Kentucky, USA) Dirk Vermeir (Vrije Universiteit Brussel, Belgium) Jia-Huai You (University of Alberta, Canada) From rem.collier at ucd.ie Wed Dec 16 17:16:46 2009 From: rem.collier at ucd.ie (Rem Collier) Date: Wed, 16 Dec 2009 16:16:46 +0000 Subject: Preliminary CFP: International Workshop on PROgramming Multi-Agent Systems (PROMAS 2010) Message-ID: <004d01ca7e6b$2a04f990$7e0eecb0$%collier@ucd.ie> Call for Papers =================== Eighth international Workshop on Programming Multi-Agent Systems (ProMAS'10) ProMAS'10 is a satellite workshop at AAMAS 2010 Toronto, Canada, 10-14 May 2010 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Programming models and abstractions for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of agent and mainstream technology Important Dates: ---------------- Paper submission deadline: 2 February, 2010 Notifications of acceptance/rejection: 2 March, 2010 Camera-ready copies due: 19 March, 2010 Workshop Date: 10th/11th May, 2010 (TBA) Submission Details: ------------------- Authors should submit their papers via a conference management system. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee: -------------------- [** To be announced **] Organising Committee: --------------------- - Dr. Rem Collier (University College Dublin, Ireland) - Dr. Peter Novak (Czech Technical University, Czech Republic) - Prof. Jurgen Dix (T.U. Clausthal, Germany) Steering Committee: --------------------- - Dr. Rafael Heitor Bordini, Federal University of Rio Grande do Sul, Brazil - Dr. Mehdi Dastani, Utrecht University, The Netherlands - Prof. Jurgen Dix, Clausthal University of Technology, Germany - Prof. Amal El Fallah Seghrouchni, University of Paris VI, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Wed Dec 16 21:02:24 2009 From: ijv at acm.org (=?iso-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Wed, 16 Dec 2009 21:02:24 +0100 Subject: Commonsense and Non-Monotonic Reasoning for Ontologies Message-ID: <76F5D5A9-9F1B-4E5D-904F-13256208356C@acm.org> Sincere apologies for multiple postings. ====================================================== CALL FOR PAPERS The NMR'2010 Workshop on Commonsense and Non-Monotonic Reasoning for Ontologies http://ksg.meraka.org.za/nmronto2010 Collocated With KR'2010 May 14-16 2010 Sutton Place, Toronto, Canada ====================================================== -- Workshop Description -- Classical reasoning over ontologies has reached the point where it can deal with large real-world ontologies. This can largely be attributed to advances in research on description logics (DLs). A good example is the medical ontology SNOMED-CT, containing over 300,000 concepts and millions of binary relationships between them. SNOMED-CT can be represented as a DL ontology, and its subsumption hierarchy can be computed in a matter of minutes. The obvious next step now is to extend reasoning over ontologies to cover non-classical cases, such as commonsense reasoning, a well established branch of AI. The first steps in that direction have been done by the ontology community, and while research along these lines has already resulted in initial tangible results, there is a need for a more coherent approach in order to speed up progress. This need provides interesting challenges to both the ontology and commonsense reasoning communities. For the commonsense reasoning community it is a chance to determine to what extent techniques developed in its sub-areas, like e.g. non-monotonic reasoning (NMR), can be tailored to the requirements of the ontology community. For the ontology community it is an opportunity to determine whether existing results in this area can be sharpened and improved on by referring to results in the broader area of commonsense reasoning. The topic of the workshop will hence be combining commonsense reasoning approaches and techniques with ontologies. One of the main motivations is to bring ideas from the well developed area of non-monotonic reasoning, like e.g. reasoning about actions, argumentation and belief revision, for discussion in the realm of ontology engineering: evolution, debugging, update, merging, etc. Certainly these tasks can benefit from most of the advances in NMR and give new insights for research in that area as well. Commonsense and Non-Monotonic Reasoning for Ontologies will be of interest to: - Researchers in the ontology community, particularly DL researchers, interested in extending ontological reasoning to non-classical cases. - Researchers in the knowledge representation and commonsense reasoning community interested in applying existing NMR techniques to the area of ontologies. This workshop will focus on an emerging hot topic. As such, one of its immediate outcomes will be boosting a new and exciting hybrid research domain combining commonsense reasoning and knowledge engineering for ontologies. -- Topics of Interest -- Submissions are welcome on the role of commonsense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging and Update - Ontology Merging, Alignment and Integration - Inconsistency Handling - Belief Revision and Theory Change for ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - NMR methods for light-weight DL ontologies - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning - Ontology Fault Diagnosis and Repair - Preferences and Ontologies - Formal Concept Analysis and Ontologies -- Submission Instructions -- Authors are kindly requested to follow the instructions for authors on the NMR website at http://www.cs.sfu.ca/news/conferences/NMR/2010/NMR_2010/Author_Instructions.html Please submit to http://www.easychair.org/conferences/?conf=nmronto2010 -- Important Dates - Papers due: January 29 (Friday), 2010 - Notification: March 1 (Monday), 2010 - Final version: April 6 (Tuesday), 2010 - Workshop: May 14-16, 2010 -- Additional Information -- Please visit the NMR website at http://www.cs.sfu.ca/news/conferences/NMR/2010/NMR_2010/NMR10.html for more information about NMR, the venue of the workshop, the city of Toronto, accommodation and travel tips. -- Workshop Chairs -- - Ivan José Varzinczak (Meraka Institute, South Africa) http://ksg.meraka.org.za/~ivarzinczak - Renata Wassermann (Universidade de São Paulo, Brazil) http://www.ime.usp.br/~renata -- Program Committee -- - Grigoris Antoniou (University of Crete and Information Systems Laboratory, Greece) - Fábio Cozman (Universidade de São Paulo, Brazil) - Giorgos Flouris (University of Crete and Information Systems Laboratory, Greece) - Norman Foo (University of New South Wales, Australia) - Zhisheng Huang (Free University of Amsterdam, Netherlands) - Jos Lehmann (University of Edinburgh, United Kingdom) - Maurice Pagnucco (University of New South Wales, Australia) - Jeff Pan (University of Aberdeen, United Kingdom) - Bijan Parsia (University of Manchester, United Kingdom) - Laurent Perrussel (Université de Toulouse 1, France) - Guilin Qi (Southeast University, China) -- Ivan José Varzinczak - http://ksg.meraka.org.za/~ivarzinczak Knowledge Systems Group - Meraka Institute - CSIR Pretoria, South Africa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.sardina at rmit.edu.au Thu Dec 17 15:06:08 2009 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Fri, 18 Dec 2009 01:06:08 +1100 Subject: Expressions of Interest for Agent Postdoc Position - RMIT University, Melbourne, Australia Message-ID: <866595ba0912170606o6949d1acqbff52f87d626fd7b@mail.gmail.com> Expressions of Interest for Agent Postdoc Position RMIT University, Melbourne Australia We will soon be advertising a postdoctoral position for 2 years, with possibilities for extension, starting early to mid 2010, working within the Intelligent Agents Group at RMIT. The specific position is as a postdoc on the ARC Discovery grant ``Intention Selection in Intelligent Agent Systems''. This project involves developing principled reasoning mechanisms that can be added to the infrastructure capabilities of a BDI system, to determine how to interleave multiple competing and/or complimentary goals/intentions in an effective manner. The grant proposal with a more detailed description of the project is available on request. We are looking for a person with an excellent record of working on relevant knowledge representation and reasoning problems, producing high quality publications with good impact. Knowledge of BDI systems is an advantage, but not a pre-requisite. The person appointed must however be willing to learn and work with BDI systems in the PRS, AgentSpeak/Jason, JACK family. The person should be able to work well in a team, but should also be able to take a lead role in driving forward the research. RMIT has a large computer science department with a well established and internationally recognised research group in the area of Intelligent Agents. Melbourne is a hub for a significant amount of research and development in Intelligent Agents and their applications and is the home of "Agents Victoria" a group of industry, government and university groups, involved in agent research and applications. This is a full time research position, with opportunity for a small amount of teaching if desired. Salary is approximately $70,000 per annum plus 17% superannuation and 4 weeks per annum paid leave. There are automatic yearly increments. Please email expressions of interest to Lin Padgham . Please put POSTDOC in the subject header. Some URLs: http://www.cs.rmit.edu.au/agents http://www.cs.rmit.edu.au From guido at di.unito.it Fri Dec 18 09:50:12 2009 From: guido at di.unito.it (Guido Boella) Date: Fri, 18 Dec 2009 09:50:12 +0100 Subject: DEADLINE EXTENSION: SNAMAS@AISB 2010 - Call for papers Message-ID: <4B2B4244.8060302@di.unito.it> **** Apologies for cross-posting **** **** Please, aknowledge this message to your colleagues **** ------------------------------------------------------------ The SNAMAS deadline has been moved to January 10 ------------------------------------------------------------ CALL FOR PAPERS (PDF version http://snamas.di.unito.it/call.pdf ) SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMPOSIUM ( http://snamas.di.unito.it ) SNAMAS at AISB 2010 Convention ( http://www.aisb.org.uk/convention/aisb10/AISB2010.html ) 29th March - 1st April 2010, De Montfort University, Leicester ------------------------------------------------------------- SYMPOSIUM CHAIRS - Giulia Andrighetto (ISTC-CNR Rome) - Guido Boella (University of Turin) - Ugo Pagallo (University of Turin) - Serena Villata (University of Turin) -------------------------------------------------------------- ABSTRACT One of the most interesting research topics in the field of multiagent systems is the definition of models with the aim of representing social structures such as organizations and coalitions, to control the emergent behavior of open systems. Organizations and coalitions are composed by individuals that are related to each other by different possible kinds of relations such as dependencies on goals, conflicts on resources, similar beliefs and so on. One important issue is how to represent these relations. Moreover, like the human organizations, these social structures are characterized also by an high degree of dynamism. In dealing with societal issues, the multiagent systems field took inspiration mostly from organizational theory in economics and legal theory, while less attention is devoted to the research area describing the relations among the individuals inside human organizations and their dynamics: social network analysis. Social network analysis has emerged as a key technique inmodern sociology, anthropology, social psychology, communication studies, information science, organizational studies, economics as well as a popular topic of study. Despite the common object of study,multiagent systems and social network analysis use concepts like agents, dependencies, etc. which often have only superficial similarities. The aim of this symposium is to underline the differences and the similarity points between these social network analysis and multiagent systems in the representation of the social structures and their dynamics, and to promote the interchange of knowledge and methodologies among the two fields. At AISB 2009 Convention, the Program Committee members Guido Boella, Harko Verhagen, Giulia Andrighetto e Jaime Sichman held the first SNAMAS Symposium. This Symposium fits the AISB'09 Convention theme ``Adaptive and Emergent Behaviour and Complex Systems", since both social networks analysis and multiagent systems deal with the behavior of complex systems composed by many agents and have among theirs topic adaptivity and emergence, since it is not realistic to consider only top-down rigidly designed social systems. The invited speaker of the event was Prof. Kathleen M. Carley, an international expert in the field of social network analysis and dynamic network analysis. The event was followed by a special issue of the Computational and Mathematical Organization Theory on "Social Networks and Multiagent Systems" with Editor-in-Chief: Kathleen M. Carley and Guest Editors: Giulia Andrighetto, Guido Boella, Jaime Sichman, Harko Verhagen. -------------------------------------------------------------- TOPICS Papers on the following non-exhaustive list of topics are solicited: - Emergent behaviour in multiagent systems and social networks analysis - Simulation of social systems - Learning evolution and adaptation in multiagent systems and social networks analysis - Artificial social systems - Societal aspects - Models of personality, emotions and social behaviour - Organizations in Multiagent systems and Social Networks -------------------------------------------------------------- INVITED SPEAKER TBA -------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: January 10, 2009. Notification of acceptance: January 30, 2010. Camera ready version: TBA Symposium: 29th March - 1st April 2010 -------------------------------------------------------------- PAPER SUBMISSION The guidelines for paper submission are as the following: - The paper should be written in English. - The maximum length of a paper is 6 A4-sized pages in ECAI format (format download: http://www.aisb.org.uk/convention/aisb08/download.html ). - The paper should be in PDF format. - Please submit via the online paper submission system (http://www.easychair.org/conferences/?conf=snamas2010 ). - A selection of papers will be published in a special issue of a relevant journal. -------------------------------------------------------------- PROGRAMME COMMITTEE Patrice Caire, University of Luxembourg, Luxembourg Cristiano Castelfranchi, ISTC-CNR Rome, Italy Rosaria Conte, ISTC-CNR Rome, Italy Gustavo A. Gimenez Lugo, Federal Technological University of Parana, Brasil Jeremy Pitt, Imperial College London, UK Jaime Sichman, University of Sao Paolo, Brasil Carles Sierra, IIIA-CSIC, Spain Pietro Terna, University of Turin, Italy Leendert van der Torre, University of Luxembourg, Luxembourg Harko Verhagen, Stockholm University, Sweden ------------------------------------------------------------ CONTACTS For further inquiries please contact: guido at di.unito.it -------------------------------------------------------------- From popl10-announce at software.imdea.org Sat Dec 19 02:43:07 2009 From: popl10-announce at software.imdea.org (popl10-announce at software.imdea.org) Date: Sat, 19 Dec 2009 02:43:07 +0100 Subject: POPL 2010 - Call for Participation - Early Registration Dec 22 Message-ID: <19244.12203.237317.927032@dhcp-163.imdea> ********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on * * Principles of Programming Languages * * * * January 20-22, 2010 * * Madrid, Spain * * * * Call for Participation * * * * http://www.cse.psu.edu/popl/10/ * ********************************************************************* Important dates * Early registration deadline: *** December 22, 2009 *** * Hotel reservation deadline: December 28, 2009 * Conference: January 20-22, 2010 Hotel All the conference events will take place at the Melia Castilla Hotel, Madrid. We encourage attendees to stay at the conference hotel. Information about the hotel can be found on the POPL web page: http://www.cse.psu.edu/popl/10/ Scope The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both experimental and theoretical papers are welcome. Preliminary program A preliminary program can be found at the end of this email in text format, or it can be found here: http://www.cse.psu.edu/popl/10/program.html Invited speakers * Neil Gershenfeld (MIT, USA) * Thomas A. Henzinger (IST, Austria) Student Attendees Students with accepted papers or posters are encouraged to apply for a SIGPLAN PAC grant that will help to cover travel expenses to POPL. Details on the PAC program and the application can be found in the conference web site. PAC also offers support for companion travel. General Chair: Manuel Hermenegildo Director, IMDEA Software Institute Professor, C.S. Department, T.U. of Madrid (UPM), Spain Program Chair: Jens Palsberg Professor, UCLA Computer Science Department Program Committee: Alex Aiken Stanford University Rajeev Alur University of Pennsylvania Cristiano Calcagno Imperial College, London Juan Chen Microsoft Research Wei-Ngan Chin National University of Singapore Mads Dam Royal Institute of Technology, Stockholm Erik Ernst Aarhus University John Field IBM T. J. Watson Research Center Cormac Flanagan UC Santa Cruz Roberto Giacobazzi Universita' degli Studi di Verona Rachid Guerraoui EPFL Sorin Lerner UC San Diego Calvin Lin University of Texas, Austin Atsushi Ohori Tohoku University Jens Palsberg UCLA Andrey Rybalchenko Max Planck Institute for Software Systems Amr Sabry Indiana University Mooly Sagiv Tel-Aviv University Peter Sewell University of Cambridge Tayssir Touili CNRS-LIAFA Affiliated Events * WFLP: Functional and (Constraint) Logic Programming * January 17, 2010 * VMCAI: Verification Model Checking and Abstract Interpretation * January 17-19, 2010 * PADL: Practical Applications of Declarative Languages * January 18-19, 2010 * DAMP: Declarative Aspects of Multicore Programming * January 19, 2010 * PLPV: Programming Languages meets Program Verification * January 19, 2010 * PEPM: Partial Evaluation and Semantics-Based Program Manipulation * January 18-19, 2010 * TLDI:Types in Language Design and Implementation * January 23, 2010 POPL 2010 Preliminary Program ----------------------------- Wednesday, January 20, 2009 =========================== * Invited talk, 9:00-10:00 * Session Chair: Jens Palsberg (UCLA) - Reconfigurable Asynchronous Logic Automata Neil Gershenfeld (MIT, USA) * Session: Concurrency, 10:30-11:30 * Session Chair: John Field (IBM T. J. Watson Research Center) - On the Verification Problem for Weak Memory Models Mohamed Faouzi Atig (LIAFA, University Paris Diderot), Ahmed Bouajjani (LIAFA, University Paris Diderot), Sebastian Burckhardt (Microsoft Research), Madan Musuvathi (Microsoft Research) - Coarse-Grained Transactions Eric Koskinen (University of Cambridge), Matthew Parkinson (University of Cambridge), Maurice Herlihy (Brown University) - Sequential Verification of Serializability H. Attiya (Technion), G. Ramalingam (Microsoft Research India), N. Rinetzky (Queen Mary University of London) * Session: Static Analysis I, 12:00-1:00 * Session Chair: Tayssir Touili (CNRS-LIAFA) - Compositional May-Must Program Analysis: Unleashing the Power of Alternation Patrice Godefroid (Microsoft Research Redmond), Aditya V. Nori (Microsoft Research India), Sriram K. Rajamani (Microsoft Research India), Sai Deep Tetali (Microsoft Research India) - Continuity Analysis of Programs Authors: Swarat Chaudhuri (Pennsylvania State University), Sumit Gulwani (Microsoft Research), Roberto Lublinerman (Pennsylvania State University) - Program Analysis via Satisfiability Modulo Path Programs William R. Harris (University of Wisconsin, Madison, WI), Sriram Sankaranarayanan (NEC Laboratories America, Princeton, NJ), Franjo Ivancic (NEC Laboratories America, Princeton, NJ), Aarti Gupta (NEC Laboratories America, Princeton, NJ) * Session: Verified Compilers, 2:30-3:30 * Session Chair: Sorin Lerner (UC San Diego) - A simple, verified validator for software pipelining Jean-Baptiste Tristan (INRIA Paris-Rocquencourt), Xavier Leroy (INRIA Paris-Rocquencourt) - A Verified Compiler for an Impure Functional Language Adam Chlipala (Harvard University) - Verified just-in-time compiler on x86 Magnus O. Myreen (University of Cambridge) * Session: Type Inference, 4:00-5:00 * Session Chair: Benjamin Pierce (University of Pennsylvania) - Dependent Types from Counterexamples Tachio Terauchi (Tohoku University) - Low-Level Liquid Types Patrick Rondon (UC San Diego), Ranjit Jhala (UC San Diego), Ming Kawaguchi (UC San Diego) - Type Inference for Datalog with Complex Type Hierarchies Max Schaefer (Semmle Ltd., Oxford), Oege de Moor (Semmle Ltd., Oxford) Thursday, January 21, 2009 ========================== * Invited talk, 9:00-10:00 * Session Chair: Jens Palsberg (UCLA) - From Boolean to Quantitative Notions of Correctness Thomas A. Henzinger (IST, Austria) * Session: Reasoning about Programs, 10:30-11:30 * Session Chair: Roberto Giacobazzi (Universita' degli Studi di Verona) - Nominal System T Andrew M. Pitts (University of Cambridge) - A Theory of Indirection via Approximation Aquinas Hobor (National University of Singapore), Robert Dockins (Princeton University), Andrew W. Appel (Princeton University) - A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer (MPI-SWS), Georg Neis (MPI-SWS), Andreas Rossberg (MPI-SWS), Lars Birkedal (ITU-Copenhagen) * Session: Static Analysis II, 12:00-1:00 * Session Chair: Andrey Rybalchenko (Max Planck Institute for Software Systems) - Decision Procedures for Algebraic Data Types with Abstractions Philippe Suter (EPFL), Mirco Dotta (EPFL), Viktor Kuncak (EPFL) - Automatic Numeric Abstractions for Heap-Manipulating Programs Stephen Magill (Carnegie Mellon University), Ming-Hsien Tsai (National Taiwan University), Peter Lee (Carnegie Mellon University), Yih-Kuen Tsay (National Taiwan University) - Static Determination of Quantitative Resource Usage for Higher-Order Programs Steffen Jost (University of St Andrews), Hans-Wolfgang Loidl (University of St Andrews), Kevin Hammond (University of St Andrews), Martin Hofmann (Ludwig-Maximilians University, Munich) * Session: Verification, 2:30-3:30 * Session Chair: Xavier Leroy (INRIA Rocquencourt) - Toward a Verified Relational Database Management System Ryan Wisnesky (Harvard University), Gregory Malecha (Harvard University), Avraham Shinnar (Harvard University), Greg Morrisett (Harvard University) - Counterexample-Guided Focus Andreas Podelski (University of Freiburg), Thomas Wies (EPFL) - Structuring the verification of heap-manipulating programs Aleksandar Nanevski (Microsoft Research, Cambridge / IMDEA Software, Spain), Viktor Vefeiadis (Microsoft Research, Cambridge), Josh Berdine (Microsoft Research, Cambridge) * Session: Types, 4:00-5:00 * Session Chair: Erik Ernst (Aarhus University) - Dependent types and program equivalence Limin Jia (University of Pennsylvania), Jianzhou Zhao (University of Pennsylvania), Vilhelm Sjoberg (University of Pennsylvania), Stephanie Weirich (University of Pennsylvania) - Pure Subtype Systems DeLesley Hutchins (MZA Associates Corporation) - Modular Session Types for Distributed Object-Oriented Programming Simon J Gay (University of Glasgow, UK), Vasco T Vasconcelos (University of Lisbon, Portugal), Antonio Ravara (Instituto de Telecomunicacoes and Technical University of Lisbon, Portugal), Nils Gesbert (University of Glasgow, UK), Alexandre Z Caldeira (University of Lisbon, Portugal) Friday, January 22, 2009 ========================= * Session: Program Synthesis, 9:00-10:00 * Session Chair: Cristiano Calcagno (Imperial College, London) - From Program Verification to Program Synthesis Saurabh Srivastava (University of Maryland, College Park), Sumit Gulwani (Microsoft Research, Redmond), Jeffrey S. Foster (University of Maryland, College Park) - Abstraction-Guided Synthesis of Synchronization Martin Vechev (IBM Research), Eran Yahav (IBM Research), Greta Yorsh (IBM Research) - Programming with Angelic Non-determinism Shaon Barman (UC Berkeley), Rastislav Bodik (UC Berkeley), Satish Chandra (IBM TJ Watson Research), Joel Galenson (UC Berkeley), Doug Kimelman (IBM TJ Watson Research), Casey Rodarmor (UC Berkeley), Nicholas Tung (UC Berkeley) * Session: Relating and Integrating Static and Dynamic Checks, 10:30-11:30 * Session Chair: Matthias Felleisen (Northeastern University) - Contracts Made Manifest Michael Greenberg (University of Pennsylvania), Benjamin Pierce (University of Pennsylvania), Stephanie Weirich (University of Pennsylvania) - Threesomes, With and Without Blame Jeremy G. Siek (University of Colorado at Boulder), Philip Wadler (University of Edinburgh) - Integrating Typed and Untyped Code in a Scripting Language Tobias Wrigstad (Purdue University), Francesco Zappa Nardelli (INRIA), Sylvain Lebresne (Purdue University), Johan Ostlund (Purdue University), Jan Vitek (Purdue University) * Session: Compilers, 12:00-1:00 * Session Chair: Peter Sewell (University of Cambridge) - Generating Compiler Optimizations from Proofs Ross Tate (UC San Diego), Michael Stepp (UC San Diego), Sorin Lerner (UC San Diego) - Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Joao Dias (Tufts University), Norman Ramsey (Tufts University) - Semantics and Algorithms for Data-dependent Grammars Yitzhak Mandelbaum (AT&T Labs - Research), Trevor Jim (AT&T Labs - Research), David Walker (Princeton University) * Session: Security and Ownership, 2:30-3:30 * Session Chair: Mads Dam (Royal Institute of Technology, Stockholm) - Paralocks - Role-Based Information Flow Control and Beyond Niklas Broberg (Gothenburg University), David Sands (Chalmers University of Technology) - Modular Verification of Security Protocol Code by Typing Karthikeyan Bhargavan (Microsoft Research), Cedric Fournet (Microsoft Research), Andrew D. Gordon (Microsoft Research) - Dynamically Checking Ownership Policies in Concurrent C/C++ Programs Jean-Phillipe Martin (Microsoft Research Cambridge), Michael Hicks (University of Maryland, College Park), Manuel Costa (Microsoft Research Cambridge), Periklis Akritidis (University of Cambridge), Miguel Castro (Microsoft Research Cambridge) * Session: Medley, 4:00-5:00 * Session Chair: Mooly Sagiv (Tel-Aviv University) - Nested Interpolants Matthias Heizmann (University of Freiburg, Germany), Jochen Hoenicke (University of Freiburg, Germany), Andreas Podelski (University of Freiburg, Germany) - Monads in Action Andrzej Filinski (University of Copenhagen) - Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification Naoki Kobayashi (Tohoku University), Naoshi Tabuchi (Tohoku University), Hiroshi Unno (Tohoku University) From Jan.Sudeikat at haw-hamburg.de Sat Dec 19 18:11:55 2009 From: Jan.Sudeikat at haw-hamburg.de (Jan Sudeikat) Date: Sat, 19 Dec 2009 18:11:55 +0100 Subject: CFP - The 1st International Conference on Swarm Intelligence and Emergent Computing (SIEC 2010) Message-ID: <4B2D095B.2070502@haw-hamburg.de> *** Call for Papers *** [please redistribute. Apologies for multiple postings] SIEC 2010 The 1st International Conference on Swarm Intelligence and Emergent Computing In conjunction with the “The 2010 Systemics and Informatics World Network” (SIWN 2010) Chongqing, China, 12-14 July 2010 Complex Adaptive Systems are widespread both in the nature and in socio-economic phenomena. A Multi-Agent Based Complex System has its dynamic behaviour that is inherently emerging as a result of intensive interactions among its massive agents. Examples of Multi-Agent Based Complex Systems include social insects, population aggregations in urbane regions, market based economy, city taxi cabs, etc. Swarm Intelligence represents a methodology for analyzing and modeling Multi-Agent Based Complex Systems, and Emergent Computing is concerned with the methodology for engineering robust, dependable, self-adaptable Multi-Agent Based Complex Systems out of massive, simple, unreliable objects, devices or units. Essentially Emergent Computing represents a new approach which takes a Collective Intelligence point of view upon all types of artificial systems, e.g., web/Internet based systems, social networking, online virtual communities, pervasive/ubiquitous computing, ambient intelligence, socio-technical systems, and so forth. SIEC2010 aims to provide a timely international, multi-disciplinary forum on the latest theories, methods, techniques and applications in Swarm Intelligence and Emergence Computing. Details can be found at: http://siwn.org.uk/2010/SIEC10.htm Topics of particular interest include (but not limited to) the followings. (1) Biological and Scio-economic Inspirations for Swarms - artificial life - biologically inspired computing - biologically inspired interaction mechanisms - biologically inspired process algebra and formal specifications - collective intelligence - computational pheromones, potential field, economy - market economy - models of social insects - self-organization in biological systems - social insets - social intelligence - stigmergy (2) Emergence and Interactions - autonomy based interactions - cybernetic principles and self-organization - formal approaches to handling local/global agent behaviors - game theoretic approaches to emergence in multi-agent systems - interaction mechanisms for self-organization and adaptation - models, methods and tools for achieving global coherent behaviors - multi-agent based complex systems - principles of emergence, understanding, controlling, or exploiting emergent behaviors - relation between high-level goals and local interactions - specification based interaction mechanisms - trust-based interaction mechanisms (3) Swarm Optimization - ant colony optimization (ACO) - ants algorithms - computational swarm models - cultural evolution - evolutionary computing - particle swarm optimization (PSO) - social evolution (4) Emergent Computing - amorphous computing - analytic models of emergent behaviors - cellular automata approaches to emergence in multi-agent systems - cognitive computing - collective intelligence/emergence in cloud/Grid computing, service-oriented computing (SOC) - collective intelligence/emergence in pervasive/ubiquitous computing, ambient intelligence - collective intelligence/emergence in service discovery and delivery, service-oriented architectures (SOA) - collective intelligence/emergence in social networking, online virtual communities - collective intelligence/emergence in web/Internet systems - controllability of emergence - granular computing - molecular/cellular computer, DNA computing - multi-agent based complex systems - nanocomputing - natural computing, evolutionary computation - performance engineering of emergent behaviors in multi-agent systems - quantum computing (5) Applications - industrial automation - network routing - socio-technical systems - traffic scheduling Submission SIWN 2010 only accepts manuscripts of original contributions. A manuscript for submission to the Conference should neither have been published nor have been under consideration for publication elsewhere. A manuscript for submission to the Conference should be prepared according to the Instructions for Authors of the Journal that can be found at http://fatech.org.uk/press/ita.htm along with Sample Word Doc and Latex file of Camera-Ready Versions. There is a page limit of 8 formatted pages for the CRV of an accepted paper. Additional pages are subject to over-length charges. All accepted papers of the Conferences will be included in the electronic Proceedings of SIWN 2010 and at the same time, will be published in the International Journal <> (ISSN 1757-4439). After the Conferences, authors of selected papers will be invited to submit thoroughly expanded papers for publication at special issues of following International Journals: IEEE Transactions on Systems, Man, and Cybernetics International Transactions on Systems Science and Applications Engineering Applications of Artificial Intelligence Advanced Engineering Informatics Important Dates 10 February 2010 Submission of manuscripts 20 March 2010 Notification of acceptance 10 May 2010 Camera-Ready Version (CRV) due 12-14 July 2010 Conference Program Chairs Jan Sudeikat Multimedia Systems Laboratory, Hamburg University of Applied Sciences Berliner Tor 7, 20099 Hamburg, Germany Distributed Systems and Information Systems, Computer Science Department University of Hamburg, Vogt–Kolln–Str. 30, 22527 Hamburg, Germany Jan.Sudeikat at haw-hamburg.de Professor Yu Wu Network and Computation Research Center Chongqing University of Posts and Telecommunications Chongqing 400065, China wuyu at cqupt.edu.cn From ch.lange at jacobs-university.de Sat Dec 19 20:19:42 2009 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Sat, 19 Dec 2009 20:19:42 +0100 Subject: ESWC 2010 - AI Mashup Challenge: Call for Submissions Message-ID: <200912192019.45426.ch.lange@jacobs-university.de> ESWC 2010 - AI Mashup Challenge: Call for Submissions ************************************************************ 7th Extended Semantic Web Conference (ESWC 2010) 30 May – 3 June 2010, Heraklion, Greece http://www.eswc2010.org/ AI Mashup Challenge website: http://sites.google.com/a/fh-hannover.de/aimashup/home ************************************************************ ************************************************************ ESWC2010 will include an AI Mashup Challenge. It is a great opportunity to demonstrate intelligent mashups combining existing web ressources into a new and useful service. ESWC2010 participants will vote the mashups; the winning groups will receive industry-sponsored awards. Procedure *********** - Mashup developers send a mail to the organizers, containing their Google ID, the URL of their mashup, its name and a short description. - The organizers provide them with a subpage of the mashup challenge site. - There, the developers can describe their mashup and link to its URL. Till review they can go on improving their work. - Deadline is April, 1, 2010. At that day the reviewers will start assessing the submitted mashups. - Acceptance will be communicated by May 1st 2010. - The admitted submissions are presented in a 15 minutes demo in the conference mashup session. - The session is followed by the vote. - During a conference ceremony, the awards will be passed to the winners. For more see the challenge site http://sites.google.com/a/fh- hannover.de/aimashup/home. ************************************************************* Please note: Participants must register for the conference in order to present their work and run for a prize. ************************************************************* Contact of the mashup organizers: Brigitte.Endres-Niggemeyer at fh-hannover.de -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 198 bytes Beschreibung: This is a digitally signed message part. URL : From MFisher at liverpool.ac.uk Mon Dec 21 12:35:28 2009 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Mon, 21 Dec 2009 11:35:28 +0000 Subject: CFP: AMAI Special Issue on "Formal Methods in Aerospace..." Message-ID: <4B2F5D80.5080500@liverpool.ac.uk> [ Apologies for multiple copies ] /---------------\ | CALL FOR PAPERS | \---------------/ "Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI" A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE http://www.kluweronline.com/issn/1012-2443 DEADLINE: 10th March 2010 -------------------------- [ See http://www.csc.liv.ac.uk/~michael/AMAI10 for HTML and PDF versions ] Special Issue editors: ====================== Manuela Bujorianu [University of Manchester, UK] Michael Fisher [University of Liverpool, UK] Corina Pasareanu [CMU and NASA, USA] TOPICS OF INTEREST: =================== The topics of interest of this special issue include (but are not limited to) * new modeling paradigms * formal verification of safety properties * formal models for cyber-physical systems * autonomous and autonomic systems * performance modelling and verification * heterogeneous and hybrid system models * multi-agent systems and coordination technologies * probabilistic logics for system specification * stochastic modelling and verification methods * control techniques that span over multiple disciplines * communication and control co-design specifically formal methods concerning the above within the area of aerospace. This special issue is inspired by the FMA workshop held within FM-2009. However, submission to this special issue is open to everyone. IMPORTANT DATES: ================ Submission deadline: 10th March 2010 Author notification: 10th May 2010 Revised papers due: 10th June 2010 ---------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : MFisher.vcf Dateityp : text/x-vcard Dateigröße : 325 bytes Beschreibung: nicht verfügbar URL : From broersen at cs.uu.nl Mon Dec 21 16:58:30 2009 From: broersen at cs.uu.nl (Jan Broersen) Date: Mon, 21 Dec 2009 16:58:30 +0100 Subject: "Formal Models of Norm Change 2", Amsterdam (The Netherlands), 18-19 Jan 2010 Message-ID: <4B2F9B26.3070503@cs.uu.nl> Formal Models of Norm Change 2 Workshop, University of Amsterdam, 18-19 January 2010 Formal models of norm change have been drawing attention since the seminal work of Alchourron and Bulygin on normative systems, and that of Alchourron, Gardenfors and Makinson on the logic of theory change. Recent research trends in Artificial Intelligence (e.g., virtual organizations, electronic institutions and e-government, multiagent systems, p2p networks) have also stressed the importance of a formal analysis of all kinds of dynamic aspects involved in systems of norms: from how norms influence and change the cognitive status of agents, to how norms regulate the dynamic interaction of rational agents, to how norms themselves can be changed by the agents of a society. The symposium tackles such dynamic aspects involved in normative systems, by pursuing an interdisciplinary approach at the interface of (deontic) logic, artificial intelligence, and socio-economical disciplines. More specifically, topics of interest will be: norms and games, norms for the dynamics of interaction (procedures), the dynamics of normative systems, norm change and the dynamics of different cognitive attitudes (e.g. knowledge and preference). A first edition of the symposium was held at the University of Luxembourg in 2007 (Formal Models of Norm Change 2007) and the theme of norm dynamics has regularly surfaced in recent editions of workshop and conferences in the same area: NorMAS07, NorMAS08 , DEON08, NorMAS09. Participation The workshop is open and participation is free. However, registration is required. In order to register please send an email to Davide Grossi by Monday 4th January. Invited speakers * Guillaume Aucher, University of Luxembourg * Alexandru Baltag, Oxford University * Johan van Benthem, University of Amsterdam and Stanford University * Guido Boella, University of Turin * Dov Gabbay, King's College London and University of Luxembourg * Davide Grossi, University of Amsterdam * Emiliano Lorini, Universite Paul Sabatier * Gabriella Pigozzi, University of Luxembourg * Henry Prakken, Utrecht University and University of Groningen * Antonino Rotolo, University of Bologna * Paolo Turrini, Utrecht University * Emil Weydert and Richard Booth, University of Luxembourg For more information, please visit http://www.cs.uu.nl/events/normchange2/index.html From invitation at iariaannounce.org Mon Dec 21 19:04:49 2009 From: invitation at iariaannounce.org (WebTel 2010) Date: Mon, 21 Dec 2009 13:04:49 -0500 (EST) Subject: December 31 || WebTel 2010 [ICIMP, AICT, ICIW] May 9 - 15, 2010 - Barcelona, Spain Message-ID: <22798507.15165.1261418689109.JavaMail.owner@owner-PC> INVITATION Coping with New Year Holidays, December 31, 2009 is the new deadline Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= WebTel 2010, May 9 - 15, 2010 - Barcelona, Spain see: http://www.iaria.org/conferences2010/WebTel10.html WebTel 2010 is a federated event focusing on advances topics concerning the telecommunications, web applications, web monitoring and protection. WebTel 2010 continues the tradition of well-established conferences: AICT, ICIW, and ICIMP. Submission (full paper) new deadline: December 31, 2009. Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conply with the Editorial rules: http://www.iaria.org/editorialrules.html For details on the each conference's topics, see the individual Call for Papers for each conference. 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 tracks/topics are open to both research and industry contributions. -- ICIMP 2010, The Fifth International Conference on Internet Monitoring and Protection http://www.iaria.org/conferences2010/ICIMP10.html -- AICT 2010, The Sixth Advanced International Conference on Telecommunications http://www.iaria.org/conferences2010/AICT10.html Featuring also: ELETE | E-learning and mobile learning on telecommunications TELET | Teletraffic modeling and management COGNITIVE RADIO | Cognitive Radio Ad hoc, autonomic and sensor networks -- ICIW 2010, The Fifth International Conference on Internet and Web Applications and Services http://www.iaria.org/conferences2010/ICIW10.html Featuring also: SLAECE | Social and Legal Aspect of Internet Computing VEWAeL: Virtual Environments and Web Applications for eLearning SERCOMP: Service computing ONLINE: Online Communications, Collaborative Systems, and Social Networks P2PSA: P2P Systems and Applications ENSYS: Entertainment Systems ------------------------ IARIA Publicity Board ------------------------ To stop receiving notices about WebTel, please reply with "DROP WebTel 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 martin.lange at ifi.lmu.de Tue Dec 22 13:22:50 2009 From: martin.lange at ifi.lmu.de (Martin Lange) Date: Tue, 22 Dec 2009 13:22:50 +0100 Subject: Call for submissions - Workshop on Comparing Logical Decision Methods at FLoC'10 Message-ID: <4B30BA1A.1070604@ifi.lmu.de> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% CLODEM 2010 %% %% Workshop on Comparing Logical Decision Methods %% %% %% %% http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010.html %% %% %% %% Edinburgh, July 15th, 2010 %% %% affiliated with LICS and IJCAR at FLoC'10 %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TOPIC AND OBJECTIVE: Methods for deciding satisfiability of formulae are of vital importance for both the theoretical relevance and practical impact of a logic. Different logics require different decision procedures. Nevertheless, certain methodologies like terminating semantic tableaux, automata, games, SAT/SMT methods, resolution, reductions, etc. have proved to be successful in providing decidability results for several, even quite different logics. Perception of some methodology being better than others has grown within certain communities, for example regarding automata-based techniques in automatic verification or tableau-based techniques in knowledge representation. Such perception, however, is often not based on systematic comparative analysis. Sometimes, different methodologies also turn out to do or even be the same in certain cases. Yet, few formal technical results to that effect are known, and the scientific discussions on the pros and cons, and similarities and differences between different methodologies have been rather sporadic so far. The purpose of this workshop is to provide an expert forum for such discussion, to provoke and foster discussion between communities, and to stimulate further research on that topic. It is a generalization and follow-up of the AutoTab workshop which was held with TABLEAUX'09 last year. The workshop welcomes contributions on comparisons between different methods, exhibiting differences or similarities, in theory or in practice, in general or with respect to a certain logic. SUBMISSIONS: Submissions should be in the form of extended abstracts of at most 5 A4 pages in PDF format, preferably using Springer LNCS style or a comparable format. Submissions may be based on new and original, or on already published or submitted work, but they should address the topic of the workshop. The abstracts of the workshop talks will be included in informal proceedings. No formal proceedings are currently planned, but if the workshop attracts sufficiently many good and original contributions, a journal special issue will be organized after the event. One author of each submission that is accepted for the workshop must register for and attend the workshop in order to present the paper. IMPORTANT DATES: Submissions deadline: March 27, 2010 Notification deadline: April 27, 2010 Finalized workshop programme: April 30, 2010 Final versions of abstracts for the informal proceedings: May 31, 2010 Workshop: July 15, 2010 INVITED SPEAKERS: tba WORKSHOP PROGRAM COMMITTEE: * Stephane Demri, CNRS Cachan, F * Valentin Goranko, DTU Copenhagen, DK * Rajeev Gore, ANU Canberra, AUS * Felix Klaedtke, ETH Zurich, CH * Daniel Kröning, Oxford University, UK * Martin Lange, LMU Munich, D * Christof Löding, RWTH Aachen, D * Carsten Lutz, Univ. of Bremen, D * Renate Schmidt, Univ. of Liverpool, UK * Colin Stirling, Univ. of Edinburgh, UK FURTHER INFORMATION: - Workshop website: http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010.html - FLoC'10 website: http://www.floc-conference.org/ - LICS'10 website: http://www2.informatik.hu-berlin.de/lics/lics10/index.html - IJCAR'10 website: http://www.floc-conference.org/IJCAR-home.html ENQUIRIES to the organizers: - Valentin Goranko, http://www2.imm.dtu.dk/~vfgo - Martin Lange, http://www.tcs.ifi.lmu.de/~mlange From david at cs.uwaterloo.ca Tue Dec 22 18:26:41 2009 From: david at cs.uwaterloo.ca (David Toman) Date: Tue, 22 Dec 2009 12:26:41 -0500 Subject: Description Logics 2010: 2nd call for papers Message-ID: [NEW: invited speakers and full programme committee] ---------------------------------------------------------------------- 23rd International Workshop on Description Logics (DL 2010) SECOND CALL FOR PAPERS Waterloo, Ontario, Canada http://www.cs.uwaterloo.ca/conferences/dl2010/ The DL workshop is the major annual event of the description logic research community. The workshop is the premier forum to meet, discuss and exchange experiences among all those, both in the academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: January 26th, 2010 Acceptance notification: March 9th, 2010 Camera ready copies: March 30th, 2010 Early registration: March 30th, 2010 Workshop: May 4 to May 7th ---------------------------------------------------------------------- WORKSHOP SCOPE We invite contributions on all aspects of description logics, such as * foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems; * extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages; * integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems; * use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing; * building systems based on description logics, with special emphasis on optimization and implementation techniques; and * tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than January 26th, 2010. The length of submissions is limited to 11 pages, including title and abstract (can be omitted if necessary), and list of references. Papers must be submitted in PDF format via EasyChair; see http://www.easychair.org/conferences/?conf=dl2010 The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series; see http://www.CEUR-ws.org/ Accepted submissions will be selected for either oral or poster presentation; however, no distinction will be made in the workshop proceedings: all accepted papers can be 11 pages long. ---------------------------------------------------------------------- WORKSHOP CHAIRS * Grant Weddell, Waterloo (Workshop Chair) * Volker Haarslev, Concordia (PC Chair) * David Toman, Waterloo (PC Chair) ---------------------------------------------------------------------- INVITED SPEAKERS * Ian Horrocks (Oxford) * Phokion Kolaitis (UC Santa Cruz) * Roberto Sebastiani (Trento) ---------------------------------------------------------------------- PROGRAMME COMMITTEE Carlos Areces (LORIA, France) Alessandro Artale (Free University of Bozen-Bolzano, Italy) Meghyn Bienvenu (University of Bremen, Germany) Alex Borgida (Rutgers University, USA) Andrea Cali (University of Oxford, UK) Diego Calvanese (Free University of Bozen-Bolzano, Italy) Bernardo Cuenca Grau (University of Oxford, UK) Giuseppe De Giacomo (Sapienza Universita di Roma, Italy) Achille Fokoue (IBM Research, USA) Enrico Franconi (Free University of Bozen-Bolzano, Italy) Rajeev Gore (Australian National University, Australia) Stijn Heymans (TU Vienna, Austria) Pascal Hitzler (Wright State University, USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt (University of Liverpool, UK) Yevgeny Kazakov (University of Oxford, UK) Boris Konev (University of Liverpool, UK) Roman Kontchakov (Birkbeck University of London, UK) Thomas Lukasiewicz (University of Oxford, UK) Carsten Lutz (University of Bremen, Germany) Tommie Meyer (Meraka Institute, South Africa) Maja Milicic (University of Manchester, UK) Ralf Moeller (Hamburg University of Technology, Germany) Boris Motik (University of Oxford, UK) Jeff Z. Pan (University of Aberdeen, UK) Bijan Parsia (University of Manchester, UK) Peter F. Patel-Schneider (Bell Labs Research, USA) Riccardo Rosati (Sapienza Universita di Roma, Italy) Sebastian Rudolph (University of Karlsruhe, Germany) Uli Sattler (University of Manchester, UK) Stefan Schlobach (Vrije Universiteit Amsterdam, The Netherlands) Luciano Serafini (ITC-IRST, Italy) Evren Sirin (Clark & Parsia, USA) Viorica Sofronie-Stokkermans (Max-Planck-Institute, Germany) Giorgos Stamou (National Technical University of Athens, Greece) Umberto Straccia (ISTI-CNR, Italy) Anni-Yasmin Turhan (TU Dresden, Germany) Frank Wolter (University of Liverpool, UK) Misha Zakharyaschev (Birkbeck University of London, UK) ---------------------------------------------------------------------- RESOURCES * Information about registration, travel information, accommodation, and so on will be made available on the DL 2009 homepage: http://www.cs.uwaterloo.ca/conferences/dl2010/ * Enquiries about the DL 2009 workshop can be made by contacting the organizing committee: dl2010 at easychair.org * The official Description Logic home page is at http://dl.kr.org/ ---------------------------------------------------------------------- -- Dr. David Toman, Associate Professor D.R.Cheriton School of Computer Science tel: (519) 888-4567 ext 34447 University of Waterloo fax: (519) 885-1208 200 University Avenue West david at uwaterloo.ca Waterloo, Ontario, Canada N2L 3G1 http://db.uwaterloo.ca/~david From kuf at dfki.de Wed Dec 23 11:05:20 2009 From: kuf at dfki.de (Klaus Fischer) Date: Wed, 23 Dec 2009 11:05:20 +0100 Subject: CFP: ATOP@AAMAS2010 Message-ID: <4B31EB60.mailDUR1L8AVJ@dave.dfki.uni-sb.de> =============================================================================== Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2010 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Ninth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2010) (http://www.cse.yorku.ca/AAMAS2010/) Toronto, Canada, 10 or 11th May 2010 IMPORTANT DATES Submissions due February 2, 2010 Notifications sent March 2, 2010 Final papers due March 10, 2010 Workshop May 10 or 11 2010 ORGANIZING COMMITTEE Joerg P. Mueller, Technische Universitaet Clausthal, Germany Klaus Fischer, DFKI, Germany Renato Levy, Intelligent Automation, Inc, Rockville, USA SUBMISSIONS Please find further details on the workshop and how to submit contributions at the workshop Web page at http://www-ags.dfki.uni-sb.de/~kuf/atop Please send submissions to: joerg.mueller at tu-clausthal.de BRIEF DESCRIPTION OF WORKSHOP TOPICS ATOP focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. The main goal is to stimulate a discussion on how far agent technologies can support interoperability in this context and to compare current trends in the development of agent technologies with recent developments in service-oriented and model-driven system design with respect to their ability to solve interoperability problems. Regarding model-driven system design the presentation and discussion of metamodels of the underlying technologies like for example agent technologies and service-oriented architectures is especially of interest. We would like to focus the ATOP 2010 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems =============================================================================== From Thomas.Lukasiewicz at kr.tuwien.ac.at Wed Dec 23 22:24:08 2009 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Wed, 23 Dec 2009 22:24:08 +0100 Subject: RR 2010: Call for Papers Message-ID: <4B328A78.5010506@kr.tuwien.ac.at> CALL FOR PAPERS 4th International Conference on Web Reasoning and Rule Systems (RR 2010) Bressanone/Brixen, Italy September 22-24, 2010 http://www.rr-conference.org/RR2010 Co-located with the Italian Workshop on Semantic Web Applications and Perspectives (SWAP) 2010. The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2010 builds on the success of the first three International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org), held in Innsbruck, Austria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which received enthusiastic support from the Web Reasoning community. In 2010, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. Suggested topics include the following (but are not limited to): * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the WWW Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers PUBLICATION The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series (acceptance pending) and will be available at the conference. After the conference, there will be a special issue of the (new IOS Press) journal "Semantic Web - Interoperability, Usability, Applicability" with selected papers from the conference. SUBMISSION OF PAPERS Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2010). The length should not exceed 15 pages for full papers, 9 pages for short papers, 4 pages for posters, and 6 pages for system descriptions (for system demos at the conference). The stated lengths include title, abstract, and references. Short papers, posters, and system descriptions should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. Original research and application papers are welcome; submissions will especially be judged for originality and scientific quality. All accepted papers, posters, and system descriptions will be included in the proceedings. IMPORTANT DATES Abstract submission deadline: May 15, 2010 Paper/poster/demo submission deadline: May 22, 2010 Paper/poster/demo accept/reject decisions: June 24, 2010 Camera-ready due: July 15, 2010 Last day for early registration fee: July 15, 2010 CONFIRMED INVITED SPEAKERS Georg Gottlob (Oxford University, UK) GENERAL CHAIR José Júlio Alferes (Universidade Nova de Lisboa, Portugal) PROGRAM CHAIRS Pascal Hitzler (Wright State University, USA) Thomas Lukasiewicz (Oxford University, UK) LOCAL ARRANGEMENTS Diego Calvanese (Free University of Bozen-Bolzano, Italy) Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy) SPONSORSHIP CHAIR Krzysztof Janowicz (Pennsylvania State University, USA) PROGRAM COMMITTEE Grigoris Antoniou (University of Crete, Greece) Marcelo Arenas (PUC Chile, Chile) Jie Bao (Rensselaer Polytechnic Institute, USA) Chitta Baral (Arizona State University, USA) Leopoldo Bertossi (Carleton University, Canada) Andrea Calì (Oxford University, UK) Vinay Chaudri (Stanford Research Institute, USA) Kendall Clark (Clark & Parsia, USA) Claudia d'Amato (University of Bari, Italy) Carlos Damasio (Universidade Nova de Lisboa, Portugal) Wlodek Drabent (IPI PAN Warszawa, Poland) Sergio Flesca (University of Calabria, Italy) Christine Golbreich (University of Versailles Saint-Quentin, France) Claudio Gutierrez (University of Chile, Chile) Stijn Heymans (TU Vienna, Austria) Rinke Hoekstra (VU Amsterdam, The Netherlands) Giovambattista Ianni (University of Calabria, Italy) Krzysztof Janowicz (Pennsylvania State University, USA) Domenico Lembo (University of Rome "La Sapienza", Italy) Francesca A. Lisi (University of Bari, Italy) Gergely Lukácsy (DERI Galway, Ireland) Jan Maluszynski (University of Linköping, Sweden) Wolfgang May (University of Göttingen, Germany) Ralf Möller (TU Hamburg, Germany) Boris Motik (Oxford University, UK) Wolfgang Nejdl (LS3 and University of Hannover, Germany) Matthias Nickles (University of Bath, UK) Andrea Pugliese (University of Calabria, Italy) Guilin Qi (Southeast University, China) Sebastian Rudolph (University of Karlsruhe, Germany) Alan Ruttenberg (ScientificCommons, Switzerland) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Umberto Straccia (ISTI-CNR Pisa, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) Terrance Swift (SUNY Stony Brook, USA) Sergio Tessaris (Free University of Bozen, Italy) Dirk Vermeir (University of Brussels, Belgium) Zhe Wu (Oracle, USA) FURTHER INFORMATION For further information refer to the RR 2010 web site at http://www.rr-conference.org/RR2010 From bertossi at scs.carleton.ca Thu Dec 24 19:16:15 2009 From: bertossi at scs.carleton.ca (Leopoldo Bertossi) Date: Thu, 24 Dec 2009 13:16:15 -0500 (EST) Subject: CFP AMW 2010 Foundations of Data Management Message-ID: CALL FOR PAPERS IV THE ALBERTO MENDELZON WORKSHOP ON FOUNDATIONS OF DATA MANAGEMENT May 17--20, 2010, Buenos Aires, Argentina http://www-2.dc.uba.ar/amw2010/ The "IV Alberto Mendelzon International Workshop on Foundations of Data Management" (AMW 2010) will be held at the Faculty of Engeneering of the University of Buenos Aires, Buenos Aires, Argentina, between May 17-20, 2010. This will be the second open version of the workshop, of which there were three previous versions before, in Laguna San Rafael, Chile, November 2006 (http://grupoweb.upf.es/bd-web/), Punta del Este, Uruguay, November 2007 (http://www.fing.edu.uy/inco/grupos/csi/AMW07/), and Arequipa, Peru, May 2009 (http://db.cs.ualberta.ca/amw09/). This is an initiative of the Latin American community of researchers in data management, to which our friend, colleague and mentor Alberto so greatly contributed. In this way we expect to create a periodical Latin America-based venue for high level research in the fundamental aspects of the area. This is a way to honor the memory of Alberto, and to increment and solidify the research in the region. This event, as the previous ones, encourages the participation of Latin American graduate students and develops some activities specially designed for them. We have chosen a very interesting and attractive location: Buenos Aires is the beautiful, cosmopolitan capital of Argentina and offers many touristic attractions. But more importantly, we want to offer an exciting scientific atmosphere, and receive high level research contributions. We solicit original submissions on foundational aspects of the following topics (among possibly others) of data management: algorithms, complexity, computational model theory, concurrency, constraints, data exchange, data integration, data mining, data modeling, data management on the Web, data streams, data warehouses, distributed databases, information retrieval, knowledge bases, logic, multimedia, physical design, privacy, quantitative approaches, query languages, query optimization, real-time data, recovery, scientific data, security, semi-structured data, spatial data, temporal data, transactions, updates, views, workflows, and XML. Paper submissions must be in electronic form using Portable Document Format (.pdf). Papers should be formatted according to the Springer LaTeX2e style llncs for Lecture Notes in Computer Science, which is available at http://www.springer.de/comp/lncs/authors.html. The length should not exceed 12 pages. Papers longer than 12 pages risk rejection without consideration of their merits. Submissions should be made through the EasyChair system at http://www.easychair.org/conferences/?conf=amw2010. The AMW 2010 proceedings will be published as part of the CEUR proceedings series and indexed by DBLP. Important Dates: Paper submission: February 15, 2010 Notification: March 19, 2010 Workshop starts: May 17, 2010 The submissions will be judged for scientific quality and relevance. At least one author of each accepted paper must attend the workshop to present the work. The submission process will be through the Web only. Program Chairs: Alberto H.F. Laender Computer Science Department Federal Un. of Minas Gerais, Brazil laender at dcc dot ufmg dot br Laks V.S. Lakshmanan Department of Computer Science The University of British Columbia, Canada laks at cs dot ubc dot ca Program Committee: Juan Ale (UBA, Argentina) Marcelo Arenas (PUC-Chile, Chile) Sihem Amer-Yahia (Yahoo!, USA) Ricardo Baeza-Yates (Yahoo!, Spain) Pablo Barcelo (Un. Chile, Chile) Michael Benedikt (Un. Oxford, UK) Leo Bertossi (Carleton Un., Canada) Francesco Bonchi (Yahoo!, Spain) Angela Bonifati (ICAR-CNR, Italy) Andrea Cali (Oxford Un., UK) Marco Casanova (PUC-Rio, Brazil) Mariano Consens (Un. Toronto, Canada) Isabel Cruz (Un. Illinois, USA) Umeshwar Dayal (HP Labs, USA) Christos Faloutsos (CMU, USA) Jiawei Han (Un. Illinois, USA) Carlos Heuser (UFRGS, Brazil) Solmaz Kolahi (UBC, Canada) Nick Koudas (Un. Toronto, Canada) Dongwon Lee (Penn State Un., USA) Claudia Medeiros (Unicamp, Brazil) Renee Miller (Un. Toronto, Canada) Mirella M. Moro (UFMG, Brazil) Regina Motz (Un. de la Republica, Uruguay) Frank Neven (Un. Hasselt, Belgium) Rachel Pottinger (UBC, Canada) Sunil Prabhakar (Purdue Un., USA) Divesh Srivastava (AT&T Labs-Research, USA) Dan Suciu (Un. Washington, USA) S. Sudarshan (IITB, India) David Toman (Un. Waterloo, Canada) Alejandro Vaisman (UBA, Argentina) From ndt at dirf.org Sun Dec 27 18:29:19 2009 From: ndt at dirf.org (Digital Information Research Foundation) Date: Sun, 27 Dec 2009 22:59:19 +0530 Subject: CFP: NDT, ICICCA, and ICBED Message-ID: <20091227225919.74u7t3ebwocs8okk@202.54.156.184> Dear Colleague:       DIRF welcome your paper submission to the  following conferences  CONFERENCE NAME CONFERENCE DATE LOCATION CONFERENCE URL Second International Conference on 'Networked Digital Technologies' (NDT2010) July, 7-9, 2010 Prague, Czech Republic www.dirf.org/ndt2010[1] The 2010 International Conference on Informatics, Cypernetics and Computer Applications (ICICCA 2010) July, 19-21, 2010 Bangalore, India www.dirf.org/icca2010/index.asp[2]   The 2010 International conference on the Business and Digital Enterprises (ICBDE 2010)July, 22-24, 2010 Bangalore, India www.[3]dline.info/icbde2010/[4]   Would you like to organize a workshop or a special session or a tutorial?  If you are interested in organizing any workshop or special session, please send us email to the purposed conference, with the title of the session Would you like to be a reviewer?  All the reviewing are online. Please visit http://www.dirf.org . [5]then select  the purposed conference , then select the link be a  reviewer. More details are listed there. Submission Submission instructions for each conference are listed below: NDT: http://www.dirf.org/ndt2010/submission.asp[6] ICICCA: http://www.dirf.org/icca2010/submission.asp[7], ICBDE: http://dline.info/icbde2010/submission.php [8]   Links: ------ [1] http://www.dirf.org/ndt2010 [2] http://www.dirf.org/icca2010/index.asp [3] http://dline.info/icbde2010 [4] http://dline.info/icbde2010 [5] http://www.dirf.org/ndt2010/review.asp [6] http://www.dirf.org/ndt2010/submission.asp [7] http://www.dirf.org/icca2010/submission.asp [8] http://dline.info/icbde2010/submission.php -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaevent.org Tue Dec 29 04:25:23 2009 From: invitation at iariaevent.org (NexComm 2010) Date: Mon, 28 Dec 2009 22:25:23 -0500 (EST) Subject: 2nd CfP: NexComm 2010 [CTRQ, ICDT, SPACOMM, MMEDIA, MOPAS] June 13-19, 2010 - Athens, Greece Message-ID: <25370847.3897.1262057123227.JavaMail.Onitza@IariaAnnounce> INVITATION Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= NexComm 2010, June 13-19, 2010 - Athens, Greece see: http://www.iaria.org/conferences2010/NexComm10.html NexComm 2010 is a federated event focusing on advances topics concerning digital communications, space communications, and multimedia. WebTel 2010 continues the tradition of well-established conferences [CTRQ and ICDT] along with newer conferences [SPACOMM, MMEDIA, and MOPAS]. Submission (full paper) new deadline: January 20, 2010. Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html For details on the each conference's topics, see the individual Call for Papers for each conference. 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 tracks/topics are open to both research and industry contributions. -- CTRQ 2010, The Third International Conference on Communication Theory, Reliability, and Quality of Service http://www.iaria.org/conferences2010/CTRQ10.html -- ICDT 2010, The Fifth International Conference on Digital Telecommunications http://www.iaria.org/conferences2010/ICDT10.html -- SPACOMM 2010, The Second International Conference on Advances in Satellite and Space Communications http://www.iaria.org/conferences2010/SPACOMM10.html -- MMEDIA 2010, The Second International Conferences on Advances in Multimedia http://www.iaria.org/conferences2010/MMEDIA10.html -- MOPAS 2010, The First International Conference on Models and Ontology-based Design of Protocols, Architectures and Services http://www.iaria.org/conferences2010/MOPAS10.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about NexComm, please reply with "DROP NexComm 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 atilla.elci at emu.edu.tr Tue Dec 29 20:10:38 2009 From: atilla.elci at emu.edu.tr (=?iso-8859-1?Q?Atilla_El=E7i?=) Date: Tue, 29 Dec 2009 21:10:38 +0200 Subject: ESAS theme book @Springer: CFP. Message-ID: <047901ca88ba$b97afc60$2c70f520$@elci@emu.edu.tr> Dear colleagues, We wish you Seasons's Greetings and a Happy New Year. Hereby we invite you to propose your work for consideration towards inclusion in an edited book. Please feel free to distribute this CFP to your colleagues and professional contacts. Call for Chapter Contributions ============================== Semantic Agent Systems: Foundations and Applications (Edited Book by Springer-Verlag) (http://tinyurl.com/CFP-ESAS-BySpringer) Integrating agent and semantic Web technologies in order to extend the ability of programs have long been hailed as the most efficient way to serve users. The idea is to significantly affect performance of application software employing cooperating multi-agent systems through the use of semantic Web services and domain ontologies. The Semantic Web has matured to a great extent with ontology-based applications being built by several major enterprises. However, research and development concerned with the integration of the semantic Web and software agent technologies are moving at snail’s pace. To bring our contribution, we initiated around November 2005, the series of IEEE International Workshop on Engineering Semantic Agent Systems in conjunction with the 30th International Computer Software and Applications Conference (COMPSAC 2006) in Chicago, Illinois, USA. After four annual workshops, preparing to announce the fifth, and two journal special issues on this theme, we are soliciting contributions from research experts and practitioners for an edited volume in the series “Studies in Computational Intelligence” (http://www.springer.com/series/7092) by Springer-Verlag. Topics of Interest: ----------------- Possible topics for the special issue include: • Principles and methodologies for semantic agent systems; • Foundations, theories and models of semantic agent systems; • Semantic-based autonomous and multi-agent architectures; • Agent communication languages and protocols with semantics; • Frameworks and environments for semantic agents systems; • Ontology development (modeling, versioning, repository) for agent systems • Ontology management (mapping, merging, alignment) for agents systems; • Semantic technologies, decision making, communications for agent systems • Languages, logics, tools and methodologies for semantic agent systems; • Semantics related agent-oriented software engineering; • Semantic agents systems for collaboration and cooperation; • Semantic agent systems for (including but not limited to): • - Mission-critical systems, enterprise information systems, social networks, • - E-government, e-commerce, e-business, e-health, life sciences, • - Multimedia, man-machine interfaces of software application systems; • - Semantic robotics: design, implementation, and application case studies. • Information visualization for agent systems with semantic Web techniques; • Applications of semantic agents systems with pertinent lessons learned. Proposal submission: ------------------- We welcome original high quality contributions on the theme of Semantic Agent Systems along the aspects of foundation, theory, models, engineering, and applications. Substantially revised and extended versions of papers presented at conferences and workshops are also encouraged provided that the new content exceeds 50% of the paper. A 2-page chapter proposal may be uploaded to the submission site (https://cmt.research.microsoft.com/SASFA2010/) as soon as possible. Authors will be notified of the outcome within two weeks. Draft and final chapter proposals of about twenty pages must conform to Springer's Instructions for Authors (http://www.springer.com/series/7092?detailsPage=contentItemPage&CIPageCount er=149813). Important Dates: ---------------- 2-Page Proposal: Immediate Guest Editors' Feedback: Within two weeks Chapter Submission Deadline: March 1, 2010 Completion of First-Round Reviews: April 10, 2010 Revised Chapters Due: April 30, 2010 Final Publication Materials Due: May 20, 2010 Contact Details: --------------- Please address all correspondence regarding this book to the Guest Editors: Atilla Elci Internet Technologies Research Center Eastern Mediterranean University Gazimagusa, North Cyprus E-mail: atilla.elci @ emu.edu.tr Mamadou Tadiou Kone Independent Computing Research Montreal, Canada E-mail: Kone.Mamadou @ gmail.com Mehmet A. Orgun Department of Computing Macquarie University Sydney, NSW 2109, Australia Email: Mehmet.Orgun @ mq.edu.au for the Editors Atilla, Mamadou, & Mehmet, Season's Greetings and Happy New Year! /Yeni yiliniz kutlu olsun! Atilla Elci, PhD. http://cmpe.emu.edu.tr/aelci/ http://tinyurl.com/CFP-ESAS-BySpringer http://tinyurl.com/ESAS2010 http://www.sinconf.org/ http://www.compsac.org/ http://www.springerlink.com/content/978-3-540-88074-5 http://tinyurl.com/SIN2009-Proceedings http://tinyurl.com/SIN2007-Proceedings http://www.ijrcs.org/ http://itrc.emu.edu.tr/ E.M.U Eastern Mediterranean University