From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Oct 1 14:08:23 2009 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Thu, 1 Oct 2009 13:08:23 +0100 Subject: AAMAS-10 Final Call for Papers References: <484623952642843424506@Galvatron> Message-ID: <50A52E3B-2041-4A27-AE02-398C0942834C@liverpool.ac.uk> ***** Final Call for Papers-AAMAS 2010 ***** The 9th International Conference on Agents and Multi Agent Systems Conference: http://www.cse.yorku.ca/AAMAS2010/ Submissions: http://www.aamas2010.confmaster.net Toronto, Canada Important dates: Conference: May 10 - 14, 2010 Electronic Abstract Submission: October 8, 2009 Full Paper Submission: October 13, 2009 Author Notification: December 18, 2009 Collocated with KR2, NMR, ICAPS, FOIS, (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada) SUBMISSION DETAILS AAMAS-2010 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Where submission is for full (8 page) papers only, in some cases they may be accepted as 2 page extended abstracts For formatting instructions and a list of keywords, please refer to the conference page. In addition to submissions in the main track, AAMAS is soliciting papers in two special tracks on robotics, and on virtual agents (see below). The review process for the special tracks will be the same as for the main track, but with specially-selected program committee members. Special Track on Robotics (Chair: Michael Beetz): Papers on theory and applications concerning single and multiple robots will be welcome, namely those focusing on real robots interacting with their surrounding environments. The goal is to foster interaction between researchers on agent and robotics systems, so as to provide a cradle for cross-fertilization of concepts from both fields. Special Track on Virtual Agents (Chair: Stacy Marsella): Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. ORGANIZING COMMITTEE General Chairs: Michael Luck and Sandip Sen Program Chairs: Wiebe van der Hoek and Gal A. Kaminka Local Organization Chair: Yves Lesperance A list of the other members of the AAMAS-2010 Organizing Committee, a list of Senior PC members and an updated list of keywords may be found at http://www.cse.yorku.ca/AAMAS2010/ ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at di.fct.unl.pt Thu Oct 1 16:02:52 2009 From: jleite at di.fct.unl.pt (Joao Leite) Date: Thu, 1 Oct 2009 15:02:52 +0100 Subject: AI RESEARCHER JOB OFFER CALL at UNL, Portugal (Open till 6 November 2009) In-Reply-To: <7C2E7E7D-1108-4F33-90E3-2C8FF23DB7A2@di.fct.unl.pt> References: <7C2E7E7D-1108-4F33-90E3-2C8FF23DB7A2@di.fct.unl.pt> Message-ID: AI RESEARCHER JOB OFFER CALL at UNL, Portugal (Open till 6 November 2009) Applications are invited for a RESEARCHER position (at least 3 years post-doctoral experience) in thematic areas of Artificial Intelligence. These positions offered are for an initial 3-year contract, extendable to 5-years, to work at our research institution, in the Lisbon area. In exceptional cases, duly justified, we may consider applicants with less than 3 years of post-doctoral experience. Any candidate must have a strong Computer Science background, and be knowledgeable in one or more of these areas (order irrelevant): Complexity Networks; Knowledge Representation and Reasoning; Multi-Agent Systems; Logic Programming; Machine Learning and Data Mining; Constraint Programming and Optimisation; Bioinformatics; Cognitive Science. In addition to their integration in the research Centre for Artificial Intelligence (CENTRIA – http://centria.di.fct.unl.pt/), the candidates are expected to help with post-graduate teaching, including the supervision of post-graduate students, to write research papers as well as project and grant applications, and be able to interact with scientists within and outside the host Institution. Candidates will profit from the technical facilities and expertise available at CENTRIA, at the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, where they will be stationed, cf. www.fct.unl.pt . The salary is about 3.101 €/month, 14 months a year, before 35% tax retention. The contract includes social benefits and retirement fund. Please send by email a letter of intent, detailed curriculum vitae, and at most two reference letters to: Prof. Pedro Barahona pb at di.fct.unl.pt (cc: Prof. Luis Moniz Pereira, lmp at di.fct.unl.pt) Director Centro de Inteligência Artificial Universidade Nova de Lisboa Quinta da Torre 2825-516 Caparica Portugal -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at di.fct.ul.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : AI RESEARCHER JOB OFFER CALL 2009.pdf Dateityp : application/pdf Dateigröße : 62465 bytes Beschreibung: nicht verfügbar URL : From tb at imm.dtu.dk Thu Oct 1 14:38:15 2009 From: tb at imm.dtu.dk (Thomas Bolander) Date: Thu, 01 Oct 2009 14:38:15 +0200 Subject: FIRST PhD Autumn School on Modal Logic Message-ID: <4AC4A2B7.6070806@imm.dtu.dk> Call for Participation FIRST PhD Autumn School on Modal Logic IT University of Copenhagen, Denmark November 10-11 2009 The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris). See for more information on the workshop series, in particular, see why modal logic is important for computer science. A goal of having M4M in Denmark is to strengthen Danish research in reasoning methods for modal logics, which is a growing area of foundational and increasingly computational importance. The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics. Lecturers and topics: Computational Modal Logic Carlos Areces and Patrick Blackburn, INRIA, Nancy Temporal Logics for Specification and Verification Valentin Goranko, Technical University of Denmark The Judgmental Reconstruction of Modal Logic Carsten Schürmann, IT University of Copenhagen Resolution-Based Theorem Proving for Modal and Description Logic Renate Schmidt, University of Manchester Hybrid Deduction Patrick Blackburn, INRIA, Nancy Time and place: The Fall school will take place at the IT University of Copenhagen November 10 and 11 2009. Registration: The registration deadline for the Autumn school is *** Friday, October 23 2009 *** Please register here: http://hylocore.ruc.dk/m4m6registration.html FIRST PhD students participate free of charge. Organization: Thomas Bolander, Technical University of Denmark Torben Braüner, Roskilde University Carsten Schürmann, IT University of Copenhagen Torben Braüner (torben at ruc.dk) is main organizer of the school and can be contacted for more information. The Autumn School on Modal Logic is supported by the FIRST Research School (http://first.dk) and the research project HYLOCORE (http://hylocore.ruc.dk). From paolo.torroni at unibo.it Thu Oct 1 18:30:51 2009 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Thu, 1 Oct 2009 18:30:51 +0200 Subject: KES-AMSTA 2010 CfP Message-ID: <4AC4D93B.3090805@unibo.it> [please distribute - apologies for multiple copies] 4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications Gdynia, Poland, 23 - 25 June 2010 http://amsta-10.kesinternational.org/ KES-AMSTA-2010 is an international scientific symposium for research in the field of agent and multi-agent systems. The aim of the symposium is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Papers are invited from prospective authors with interests on the indicated symposium topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. To ensure high quality, all papers will be thoroughly reviewed by the symposium International Programme Committee. The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals e.g. KES Journal and Int. Journal of Intelligent Information and Data-base Systems. Ph.D. students are invited to submit papers to the Doctoral Track. Proposals for workshop and special sessions are also welcome. Important Dates * Submission of Papers: 30 November 2009 * Notification of Acceptance: 31 January 2010 * Upload of Final Publication Files: 28 February 2010 * Conference sessions: 23 - 25 June 2010 From invitation at iariaannounce.org Mon Oct 5 07:19:51 2009 From: invitation at iariaannounce.org (DigitalWorld 2010) Date: Mon, 5 Oct 2009 01:19:51 -0400 (EDT) Subject: Deadline extension: October 12: DigitalWorld 2010 || February 10-15, 2010 - St. Maarten, Netherlands Antilles Message-ID: <31035049.16498.1254719991968.JavaMail.Onitza@IariaAnnounce> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. The submission deadline has now been moved to October 12, 2009. 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 Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= DigitalWorld 2010, February 10-15, 2010 - St. Maarten, Netherlands Antilles DigitalWorld 2010 is a federated event focusing on advanced topics concerning all digital aspects in our society. Nowadays, most of the economic activities and business models are driven by the unprecedented evolution of theories and technologies. The impregnation of these achievements into our society is present everywhere, and it is only question of user education and business models optimization towards a digital society. Submission (full paper) deadline: October 12, 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" button on the entry page of each conference. For details on the each conference's topics, see the individual Call for Papers. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. All topics are open to both research and industry contributions: theories, systems, standards, projects, initiatives, commercial systems, studies, or visionary ideas. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in the Journals mentioned on the conferences' sites. -- ICDS 2010, The Fourth International Conference on Digital Society http://www.iaria.org/conferences2010/ICDS10.html -- ACHI 2010, The Third International Conferences on Advances in Computer-Human Interactions http://www.iaria.org/conferences2010/ACHI10.html -- ICQNM 2010, The Fourth International Conference on Quantum, Nano and Micro Technologies http://www.iaria.org/conferences2010/ICQNM10.html -- GEOProcessing 2010, The Second International Conference on Advanced Geographic Information Systems, Applications, and Services http://www.iaria.org/conferences2010/GEOProcessing10.html -- eTELEMED 2010, The Second International Conference on eHealth, Telemedicine, and Social Medicine http://www.iaria.org/conferences2010/eTELEMED10.html -- eKNOW 2010, The Second International Conference on Information, Process, and Knowledge Management http://www.iaria.org/conferences2010/eKNOW10.html -- eL&mL 2010, The Second International Conference on Mobile, Hybrid, and On-line Learning http://www.iaria.org/conferences2010/eLmL10.html -- CYBERLAWS 2010, The First International Conference on Technical and Legal Aspects of the e-Society http://www.iaria.org/conferences2010/CYBERLAWS10.html -------------------------------- IARIA Publicity Board DigitalWorld Advisory Committees ------------------------------- To stop receiving notices about DigitalWorld, please reply with "DROP DigitalWorld event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From mjw at liverpool.ac.uk Mon Oct 5 14:59:06 2009 From: mjw at liverpool.ac.uk (Wooldridge, Michael) Date: Mon, 5 Oct 2009 13:59:06 +0100 Subject: CfP: PAIS-2010 -- 6th Conf on Prestigious Applications of Intelligent Systems Message-ID: ###################################################################### ## PAIS-2010 ## Preliminary Call for Papers ## PAIS-2010 ## ###################################################################### The Sixth Conference on Prestigious Applications of Intelligent Systems 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 PAIS 2010 Program Committee invites papers describing innovative applications of AI techniques to real-world systems and problems for the Technical Program of the 6th International Conference on the Prestigious Applications of Intelligent Systems − a sub-conference of the 19th European Conference on Artificial Intelligence (ECAI-2010). 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. Papers highlighting all aspects of the application of intelligent system technology are most welcome. Our aim is to provide a forum for academic and industrial researchers and practitioners to share experience and insights on the applicability, development and deployment of intelligent systems. PAIS is the largest showcase in Europe of real applications using AI technology and the ideal place to meet with those working to make successful applications. PAIS-2010/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 ## ###################################################################### Papers are welcome on all novel and significant applications of intelligent systems -- the following list of application areas is indicative only: * AI & Autonomous Vehicles * AI & Education * AI & Life Sciences/Medicine * AI & Mobile IT * AI & the Internet * AI & the Semantic Web * AI & Sensor Networks ###################################################################### ## IMPORTANT DATES ## ###################################################################### Deadline for electronic abstracts: Monday, 15 February 2010 Paper submission deadline: Monday, 22 February 2010 Author response period: 15-16 April 2010 Notification of acceptance/rejection: Friday, 30 April 2010 Conference: 16-20 August 2010 ###################################################################### ## SUBMISSION INFORMATION ## ###################################################################### Submissions must not exceed *SIX* (6) pages in camera-ready format. Over-length submissions will be rejected without review. Papers should be submitted using the ECAI formatting style, to be available soon on the conference website (this will be very close to previous ECAI styles). Each accepted paper will be allocated six pages in the proceedings. All submissions will be subject to peer review by the PAIS-2010 Programme Committee, and evaluated on the basis of: relevance; significance of contribution; technical quality; scholarship; and quality of presentation. Reviewing for PAIS-2010 will be blind: reviewers will not be presented with the identity of paper authors. To allow for blind review, author names in a submitted paper or poster should be replaced by the unique tracking number assigned by the conference website at the submission of an electronic abstract. Authors should avoid writing anything that makes their identity obvious in the text. Submissions should be original, and in particular should not previously have been formally published. (As a rule of thumb, any publication venue with an ISBN or ISSN number counts as a formal publication.) Submissions should not be submitted elsewhere during the PAIS-2010 review phase. The primary authors of submitted papers will be offered the opportunity to respond to the reviews for their papers before the final decision on acceptance or otherwise is made. The author feedback phase will last two days. The proceedings of the PAIS conference, together with those of its associated symposia, ECAI 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. ###################################################################### ## ORGANISATION ## ###################################################################### PAIS Conference Chair: Rudi Studer (Karlsruhe Institute of Technology [KIT], Germany) mailto:rudi.studer at kit.edu Local Organisation co-chairs: Luis Antunes (University of Lisbon & APPIA, Portugal) João Balsa (University of Lisbon, Portugal) ###################################################################### From cossentino at pa.icar.cnr.it Mon Oct 5 16:46:51 2009 From: cossentino at pa.icar.cnr.it (Massimo Cossentino) Date: Mon, 5 Oct 2009 16:46:51 +0200 Subject: IJAOSE special issue on Holonic Multi-Agent Systems Message-ID: <48EE6B7C-71C4-4A49-B99B-830B9EA82C95@pa.icar.cnr.it> Special issue on Holonic Multi-Agent Systems of the International Journal of Agent-Oriented Software Engineering guest editors: M. Cossentino (ICAR/CNR, Palermo),V. Hilaire (UTBM, Belfort), A. Koukam (UTBM, Belfort), R. Mandiau (UVHC, Valenciennes) Complex Systems are characterized by a large number of entities in interaction, exhibiting emergent behaviors. Nobel Laureate Herbert Simon states: "Empirically a large proportion of the complex systems we observe in nature exhibit hierarchic structure. On theoretical grounds we could expect complex systems to be hierarchies in a world in which complexity had to evolve from simplicity." Simon (1996) This asseveration about real-world Complex Systems raises the question, if nature has selected this path, should scientists trying to model Complex Systems privilege it too? In 1967 Arthur Koestler coined the term holon as an attempt to conciliate holistic and reductionist visions of the world. A holon represents a part-whole construct that can be seen as a component of a higher level system or as whole composed of other holons as substructures. This concept has proved to be successful in number of industrial domains such as manufacturing, real-time control, supply chain management, resource allocation, production planning/scheduling, air traffic, …. Multi-Agent Systems (MAS) also stand out as a paradigm for the design of Complex Systems. Indeed, this paradigm proposes new strategies for the analysis, modelling and implementation of such systems. Its elementary constituents are called "agents", i.e. software entities which exhibit autonomous and flexible behaviours. Holonic Multi-Agent Systems (HMAS) descend from the adoption of both the MAS and the holon concepts in a novel approach. In HMAS, agents are looked at under a recursive or composed perspective thus providing a novel paradigm for managing, modelling and supporting complex systems. In this special issue we are interested in these hierarchical structures applied to the analysis and modelling of Complex Systems. More precisely, we explore the requirements and consequences of modelling complex systems using holonic multi-agent approaches. The aim of this special issue is to review on HMAS and to compare MAS and HMAS and to bring some light on what problems need a hierarchical structure (in the Simon sense) to be solved. Eventually, we aim to refine these solutions by studying which models, platforms and languages are fitted for HMAS. To summarize, specific topics of interest include (but are not limited to): - Theoretical differences and similarities between the concept of holons and agents - Holonic multi-agent organization - Standardization issues, communication and interactions models - Methodologies and frameworks for modelling HMAS, - Platforms and Languages - Applications and tools for implementation/simulation of HMAS - Formal approaches for HMAS Authors are invited to submit research contributions or critiques of practical experience. Papers (in English) should not exceed 20 pages in IJAOSE format . All papers are refereed through a double review for publication in the International Journal of Agent-Oriented Software Engineering (IJAOSE). IMPORTANT DATES * Deadline for submissions: December 1, 2009 * Notifications: March 1, 2010 * Deadline for revisions: May 1, 2010 * Publication: Begin 2011 Please contact the guest editors with any queries: * Vincent Hilaire, UTBM, France – vincent.hilaire at utbm.fr * René Mandiau, UVHC, France – rene.mandiau at univ-valenciennes.fr * M. Cossentino, CNR, Italy – cossentino at pa.icar.cnr.it *A. Koukam, UTBM, France – abder.koukam at utbm.fr From bechir.zalila at enis.rnu.tn Tue Oct 6 13:17:05 2009 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Tue, 6 Oct 2009 12:17:05 +0100 (CET) Subject: NOTERE'2010: 1st Call for Papers Message-ID: <20091006111705.2133365FCB0@bechirzalila.dyndns.org> NOTERE’2010: CALL FOR PAPERS The 10th Annual International Conference on New Technologies of Distributed Systems 31 May - 2 June 2010, Tozeur, Tunisia http://notere2010.redcad.org Technically Co-sponsored by the Computer Society Chapter of the IEEE-Tunisia section. ----------- Background ----------- The technologies for information distribution are still evolving changing. The International Conference on new distributed systems technologies (NOTERE 2010: NOuvelles TEchnologies de la REpartition) is a bilingual (French/English) forum for engineers and scientists in academia, industry and government to present the recent advances and latest research results in the design, implementation, deployment, and evaluation of distributed system platforms, applications and architectures. NOTERE 2010 will include a high quality scientific program, invited speakers, tutorials and workshops in conjunction with the conference. After the nine past conferences held successively in Pau, Montreal, Paris, Saadia, Gatineau, Toulouse, Marrakech, Lyon, Montreal, the tenth edition of NOTERE will be Held in Tozeur in Tunisia. -------------------- Topics of Interests -------------------- Topics of interest include, but are not limited to, the following: * Service oriented Architecture, Web applications, Web services * Domain Specific languages for distributed systems * Object, component, and agent based distributed systems * Collaborative Applications, Distributed and mobile coordination et collaboration * Distributed Algorithms * Reliability and scalability of distributed systems * Context-aware, self-adaptation, self-reparation, and self-* * Autonomous middleware, Event based middleware * Communication Architectures and protocols * Service oriented architecture of network services * Sensor Networks, ubiquitous Networks and their applications * Peer to peer systems and their applications * Management of distributed information and management policies * Modeling, Formal and Semi-formal methods, and tools for distributed systems * Privacy, trust and security in distributed systems * Semantic approaches and ontology for modeling and management of distributed systems * QoS Management in distributed systems * Cloud computing, Grid computing et their applications * Software and middleware for embedded distributed systems and their applications ----------------------------- Paper Submission & Selection ----------------------------- * Papers should be written in English or French, and must be submitted electronically in IEEE 2-column style. The cover page should include paper title, author's full names, affiliations and complete addresses, abstract, and a list of keywords. * Authors must upload their paper as PDF file using the NOTERE'2010 submission system hosted by Easy Chair https://www.easychair.org/login.cgi?conf=notere2010. If any problem arises when submitting your paper, please contact us at the following email address: : notere2010 at redcad.org. * Each submitted paper will be evaluated by at least three reviewers of the program committee. At least one author of each accepted paper should participate at the conference in order to present it. ------------ Publication ------------ * All accepted papers will be published in the conference proceedings edited by IEEE. Only those which are written in English will be published in IEEE Xplore. ---------------- Important Dates ---------------- Deadline for Research Paper Submission * Paper Submission: January 20, 2010 * Acceptance Notification : Mars 20, 2010 * Camera Ready Version: April 15, 2010 * Conference days: 31 May - 2 June 2010 Deadline for workshop submission * Workshop proposals due: November 15, 2009 * Notification of acceptance : November 22, 2009 * Workshop website and complete CfP due: December 15, 2009 * Workshops Days: May 29-30, 2010 ----------- Committees ----------- Program Committees Chairs: * Khalil Drira , LAAS - University of Toulouse, France (khalil at laas.fr) * Mohamed Jmaiel , ENIS - Sfax, Tunisia (mohamed.jmaiel at enis.rnu.tn) Steering Committee: * Djamal Benslimane, LIRIS - Lyon, France * Rachida Dssouli, CIISE - Montreal, Canada * Mohammed Erradi, LAGI - Rabat, Morocco * Abdellatif Obaid , UQAM - Montreal, Canada * Pierre de Saqui-Sannes, LAAS - University of Toulouse, France Workshop Chair: * Tarak Chaari, ISECS – University of Sfax, Tunisia (tarak.chaari at redcad.org) Organization Committee Chair: * Ahmed Hadj Kacem, FSEGS - University of Sfax, Tunisia (ahmed.hadjkacem at fsegs.rnu.tn) Organization Committee: * Riadh Ben halima, ENIS - University of Sfax, Tunisia * Mohamed Hadj Kacem, ISIM - University of Sfax, Tunisia * Slim Kallel, FSEG - University of Sfax, Tunisia * Bechir Zalila, ENIS - University of Sfax, Tunisia Program Committee: * Ludovic Apvrille, TELECOM ParisTech - Paris, France * Bechir Ayeb, FSM - Monastir, Tunisia * Daniel Amyot, SITE - Ottawa University, Canada * Abdelfettah Belghith, ENSI – University of Manouba, Tunisia * Boualem Benatallah, UNSW - Sydney, Australia * Djamal Benslimane, UCBL- Lyon, France * Grégor von Bochmann, Ottawa University, Canada * Azzedine Boukerche, SITE – Ottawa University, Canada * Anna Cavalli, TELECOM SudParis -Evry, France * Soumaya Cherkaoui, Sherbrook University, Canada * Dalila Chiadmi, UMI - Rabat, Morocco * Isabelle Chrisment, LORIA -Nancy, France * Pierre Cointe, Ecole des Mines - Nantes, France * Paulo Cunha, CIN-UFPE Recife - Pernambuco, Brazil * Michel Diaz, LAAS-CNRS - University of Toulouse, France * Khalil Drira, LAAS-CNRS - University of Toulouse, France * Rachida Dssouli, Concordia University, Canada * Mohammed Erradi, ENSIAS - Rabat, Morocco * Mamoun Filali Amine, IRIT - University of Toulouse, France * Faiez Gargouri, ISIMS - University of Sfax, Tunisia * Reinhard Gotzhein, University of Kaiserslautern, Germany * Ahmed Hadj Kacem, FSEGS - University of Sfax, Tunisia * Zahi Jarir, Cadi Ayyad University - Marrakech, Morocco * Claude Jard, National High School of Cachan, France * Mohamed Jemni, ESSTT - University of Tunis, Tunisia * Mohamed Jmaiel, ENIS - University of Sfax, Tunisia * Ferhat Khendek, Concordia University, Canada * Ahmed Khoumsi, Sherbrook University, Canada * Marc Lacoste, Orange Labs - Issy Les Moulineaux, France * Jean-Christophe Lapayre, University of Franche-Comté, France * Luigi Logrippo, SITE – Ottawa University, Canada * Zakaria Maamar, Zayed University - Abu Dhabi, UAE * Ali Mhidi, GM - Oakland, USA * Fatma Mili, Oakland University, USA * Hafedh Mili, UQAM- Montreal, Canada * Mohamed Mosbah, ENSERB - University of Bordeaux, France * Ghita Mostefaoui, Diamond Light Source - Oxford, United Kingdom * John Mullins, Polytechnic School of Montreal, Canada * Olga Nabuco, CTI CENPRA - Campinas, Brazil * Elie Najm, TELECOM ParisTech - Paris, France * Guevara Noubir, Northeastern University, USA * Abdellatif Obaid, UQAM- Montreal, Canada * Mauro Oliveira, Technical Federal School - Fortaleza, Brazil * Laurent Pautet, TELECOM ParisTech - Paris, France * Guy Pujolle, LIP6 - Paris, France * Aziz Salah, UQAM - Montreal, Canada * Pierre de Saqui-Sannes, LAAS-CNRS - University of Toulouse, France * Ahmed Serhrouchni, TELECOM ParisTech - Paris, France * Samir Tata, TELECOM SudParis -Evry, France * Said Tazi, LAAS-CNRS - University of Toulouse, France * Jean-Pierre Thomesse, LORIA -Nancy, France * Ken Turner, Université de Stirling, United Kingdom * Christelle Vangenot, Polytechnic Federal School of Lausanne, Suisse * Thierry Villemur, LAAS-CNRS - University of Toulouse, France * Roberto Willrich, Federal University of Santa Catarina, Brazil ------------------ General Inquiries ------------------ For further information, please visit http://notere2010.redcad.org or send emails to notere2010 at redcad.org From areces at pluton.loria.fr Wed Oct 7 09:27:42 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Wed, 7 Oct 2009 09:27:42 +0200 Subject: CFP: Advances in Modal Logic 2010 Message-ID: <200910070727.n977Rg1k008982@pluton.loria.fr> []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[] AiML-2010: FIRST CALL FOR PAPERS 8-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC MOSCOW, AUGUST 25-29, 2010 http://aiml10.mi.ras.ru/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net . AiML-2010 is the eighth conference in the series. TOPICS We invite submission on all aspects of modal logics, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + theorem proving for modal logics - theoretical aspects of modal logic + algebraic and categorical perspectives on modal logic + coalgebraic modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - specific instances and variations of modal logic + description logics + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics + hybrid logic + intuitionistic logic + substructural logics Papers on related subjects will also be considered. INVITED SPEAKERS: TO BE ANNOUNCED PAPER SUBMISSIONS There will be two types of submissions to AiML-2010 (1) Full papers for publication in the proceedings and presentation at the conference. (2) Abstracts for short presentation only. Both types of papers should be submitted electronically using the EasyChair submission page at http://www.easychair.org/conferences/?conf=aiml2010 (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML'2010 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTex, using a style file and template that will be provided on the AiML'2010 website http://aiml10.mi.ras.ru/ in due time. At least one author of each accepted paper must register for, and attend, the conference to present the paper. (2) ABSTRACTS These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted abstracts will be made available at the conference, and the authors will have the opportunity to make short presentations (of up to 15 minutes) on them. PROGRAMME COMMITTEE: Carlos Areces (INRIA, Nancy-Grand Est, France) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (University of Oxford, UK) Lev Beklemishev (Moscow State University, Russia) Johan van Benthem (ILLC, University of Amsterdam, The Netherlands) Guram Bezhanishvili (New Mexico State University, USA) Torben Brauner (Roskilde University, Denmark) Patrick Blackburn (INRIA, Nancy-Grand Est, France) Balder ten Cate (LSV, ENS Cachan, France) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Silvio Ghilardi (University of Milano, Italy) Robert Goldblatt (Victoria University of Wellington, New Zealand) Rajeev Gore (The Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Rosalie Iemhoff (University of Utrecht, The Netherlands) Alexander Kurz (University of Leicester, UK) Martin Lange (Ludwig-Maximilians University, Munich, Germany) Carsten Lutz (University of Bremen, Germany) Larisa Maksimova (Sobolev Inst. of Mathematics, Novosibirsk, Russia) Edwin Mares (Victoria University of Wellington, New Zealand) Larry Moss (Indiana University, USA) Martin Otto (Technical University of Darmstadt, Germany) Dirk Pattinson (Imperial College London, UK) Mark Reynolds (University of Western Australia, Australia) Renate Schmidt (University of Manchester, UK) Nobu-Yuki Suzuki (Shizuoka University, Japan) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Igor Walukiewicz (LABRI, Bordeaux, France) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Valentin Shehtman (Moscow State University, Russia) Valentin Goranko (Technical University of Denmark, Denmark) ORGANIZING COMMITTEE CHAIR: Lev Beklemishev (Steklov Mathematical Institute, Moscow, Russia) IMPORTANT DATES Full papers submission deadline: 16 March 2010 Full papers acceptance notification: 21 May 2010 Short presentations submission deadline: 1 June, 2010 Short presentations acceptance notification: 21 June, 2010 Final version of full papers and abstracts due: 30 June 2010 Conference: 25-29 August, 2010. CONFERENCE LOCATION Advances in Modal Logic 2010 will be held at Steklov Mathematical Institute, Moscow FURTHER INFORMATION AiML 2010 website: http://aiml10.mi.ras.ru/ ENQUIRIES E-mail enquiries should be directed respectively to the chair of the organizing committee, sent to lbekl(at)yandex(dot)ru, or to the PC co-chairs, sent to aimolog2010 at gmail.com. From tb at imm.dtu.dk Wed Oct 7 14:51:12 2009 From: tb at imm.dtu.dk (Thomas Bolander) Date: Wed, 07 Oct 2009 14:51:12 +0200 Subject: Call for participation: Methods for Modalities 6 Message-ID: <4ACC8EC0.9070300@imm.dtu.dk> ==================================================================== CALL FOR PARTICIPATION 6th Workshop on METHODS FOR MODALITIES (M4M-6) http://m4m.loria.fr/M4M6 Copenhagen, Denmark November 12-14, 2009 NOTE: The deadline for early registration is October 19 ==================================================================== Scope ----- The workshop METHODS FOR MODALITIES (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. More information about the previous editions can be found at http://m4m.loria.fr/ Autumn School ------------- M4M-6 will be preceded by a two-day mini-course called "Autumn School on Modal Logic" aimed at preparing PhD students and other researchers for participation in the workshop. The autumn school will be taught by Carlos Areces, Patrick Blackburn, Valentin Goranko, Renate Schmidt, and Carsten Schürmann. Consult the autumn school home page for further information: http://hylocore.ruc.dk/m4m6school.html The autumn school is associated with the FIRST research school (http://first.dk). Registration ------------ To register for the workshop and/or the preceding autumn school on modal logic, please visit the following site: http://hylocore.ruc.dk/m4m6registration.html Note that the deadline for early registration is October 19. Workshop venue -------------- M4M will take place at the IDA Conference Center in the center of Copenhagen (http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx). The preceeding autumn school will take place at the IT University of Copenhagen (http://www1.itu.dk/sw5211.asp). For travelling and accommodation information, please consult the workshop home page (http://m4m.loria.fr/M4M6/). Invited speakers ----------------- - Franz Baader, TU Dresden "Small is again beautiful in description logics" (http://lat.inf.tu-dresden.de/~baader/index-en.html) - Barteld Kooi, University of Groningen "Logics for intelligent interaction" (http://www.philos.rug.nl/~barteld/) - Kim Guldstrand Larsen, Aalborg University "Modal logics for specification and verification" (http://www.cs.aau.dk/~kgl/) - Renate Schmidt, University of Manchester "Simulation and Synthesis of Deduction Calculi" (http://www.cs.man.ac.uk/~schmidt/) - Yde Venema, University of Amsterdam "Proof systems for Moss' co-algebraic modality" (http://staff.science.uva.nl/~yde/) Important dates --------------- Deadline for early registration M4M-6: October 19, 2009 Deadline for late registration M4M-6: November 5, 2009 Deadline for registration autumn school: November 5, 2009 Autumn school dates: November 11-12, 2009 M4M-6 workshop dates: November 12-14, 2009 Local organisers ---------------- - Thomas Bolander, Technical University of Denmark tb at imm.dtu.dk - Torben Braüner, Roskilde University torben at ruc.dk Program Committee ----------------- Carlos Areces, INRIA Lorraine Lars Birkedal, IT University of Copenhagen Patrick Blackburn, INRIA Lorraine Thomas Bolander (co-chair), Technical University of Denmark Julian Bradfield, University of Edinburgh Torben Braüner (co-chair), Roskilde University Balder ten Cate, University of Amsterdam Stephane Demri, ENS de Cachan Hans van Ditmarsch, University of Otago Melvin Fitting, City University of New York John Gallagher, Roskilde University Mai Gehrke, Radboud University Nijmegen Silvio Ghilardi, University of Milano Valentin Goranko, University of the Witwatersrand Rajeev Goré, ANU Michael R. Hansen, Technical University of Denmark Andreas Herzig, IRIT Wiebe van der Hoek, University of Liverpool Martin Lange, LMU München Carsten Lutz, Dresden University of Technology Angelo Montanari, University of Udine Valeria de Paiva, Cuil Inc. Thomas Schneider, University of Manchester Carsten Schürmann, IT University of Copenhagen Gert Smolka, Saarland University Anders Søgaard, University of Copenhagen Jørgen Villadsen, Technical University of Denmark Frank Wolter, University of Liverpool Thomas Ågotnes, Bergen University College ================================================================== From tarak.chaari at redcad.org Thu Oct 8 10:17:41 2009 From: tarak.chaari at redcad.org (Tarak CHAARI) Date: Thu, 8 Oct 2009 09:17:41 +0100 (CET) Subject: [NOTERE'2010] Call for workshops Message-ID: <20091008081741.8739D66A1D0@bechirzalila.dyndns.org> --------------------------------------------------------------------------- NOTERE'2010: Call for workshops --------------------------------------------------------------------------- The 10th annual international conference on new distributed systems technologies (NOTERE) will be held in Tunisia (Tozeur) from 31 may to 2 june 2010. In conjunction with this event, researchers and practitioners are invited to submit proposals for workshops on specific topics related to those of the main conference (http://notere2010.redcad.org/eng/index.html). The possible dates for the workshops are 29 and 30 may. The workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers. Workshops may be full-day or half-day. A full-day workshop should select 12-16 regular papers, while a half-day workshop should select 6-8 regular papers, from a reasonable number of submissions. Each workshop subject will focus on new research challenges and technologies in distributed systems. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in the distributed systems field. Proposals for workshops should contain: * A title and a brief description of the workshop topic and content * The desired workshop length (a half or a full day). * The names, postal addresses, phone numbers, and email addresses of the organizers, with short statements of their research interests and areas of expertise. * A list of potential members of the program committee, with an indication of which members have already agreed. * A description of any shared tasks associated with the workshop. * A description of special requirements for technical needs. ----------------- Important dates: ----------------- * Workshop proposals due: November 15, 2009 * Notification of acceptance: November 22, 2009 * Workshop website and complete CfP due: December 15, 2009 * Paper submission, notification and camera-ready deadlines are to be fixed by the workshops organizers * Workshops Days: May 29-30, 2010 ------------------- General Inquiries: ------------------- For further information, please do not hesitate to contact the NOTERE'2010 workshops chair (tarak.chaari at redcad.org) From jsabater at iiia.csic.es Thu Oct 8 14:47:00 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Thu, 8 Oct 2009 14:47:00 +0200 Subject: [AAMAS-2010] - 2nd Call for workshops proposal Message-ID: <276463909264173924686@Galvatron> (apologies for multiple postings) ------------------------------------------------------------------------- AAMAS 2010 - Call for Workshop Proposals ------------------------------------------------------------------------- The AAMAS-2010 Organizing Committee invites proposals for the Workshop Program to be held on May 10-11, 2010 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2010 workshops is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2010 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. AAMAS 2010 will be co-located with KR, NMR, ICAPS, FOIS, (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada), and welcomes proposals that cater to the broader community across these areas. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics catering to the broader community represented by the co-located events are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants only. -------------------------------------------------------- Important Dates for Workshops -------------------------------------------------------- OCTOBER 31, 2009 - Proposal Submission Deadline NOVEMBER 30, 2009 - Acceptance Notification DECEMBER 11, 2009 - Deadline for posting Workshops Call for Papers DECEMBER 11, 2009 - AAMAS-2010 Workshops Program Announced FEBRUARY, 2, 2010 - Submission of contributions to workshops MARCH 2, 2010 - Workshop paper acceptance notification MARCH 19, 2010 - Deadline for complete workshop notes submission to the workshop chair Workshop chair MARCH 19, 2010 - Deadline for posting a Call for Participation MAY 10-11, 2010 - AAMAS-2010 WORKSHOPS ---------------------------------------------------------------------------------------------- AAMAS-2010 Workshops Requirements for Submission ---------------------------------------------------------------------------------------------- Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: - Title of the workshop. - A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. - A discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference?), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issue). - A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. - Description of paper review process and acceptance standards. - If available, a list of tentatively confirmed attendees. - The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. -The name of the primary contact for the organizing committee (this person must have an email address). - A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. - List of potential program committee members, including their title and affiliations. - Expected duration of the workshop (half or full day). - A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2010 Workshop Chair: Kagan Tumer ( kagan.tumer at oregonstate.edu ) as soon as possible but no later than: Saturday October 31, 2009. Prospective organizers will be notified of the committee's decision no later than: Monday November 30, 2009. The selection of the workshops to be included in the final AAMAS program will be based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovativeness of workshop topics, the cross-disciplinary nature of the workshop, and the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals. ----------------------------------------------------------------------------------------- Responsibilities of AAMAS and workshop organizers ----------------------------------------------------------------------------------------- For all accepted proposals, AAMAS will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistic support and a meeting place for the workshop. - Together with the organizers, determining the workshop date and time. Workshop organizers will be responsible for: -Setting up a website for the workshop. -Advertising the workshop and issuing a call for papers (by DECEMBER 11, 2009) and a call for participation (by MARCH 19, 2010). -Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. All workshop organizers commit themselves to adopt the same deadlines for paper submissions and notifications of acceptance, i.e., FEBRUARY 2, 2010: Submissions of contributions to workshops; MARCH 2, 2010: Notifications - Making the PDF of the whole workshop notes available to the workshops chair by MARCH 19, 2010, as well as a list of audio-visual requirements and any special room requirements. The AAMAS-2010 workshop notes will be included in the flash drive containing the AAMAS-2010 conference proceedings. To that end, please include the following sentence in your call for papers: "Workshop notes including all accepted papers will be distributed to AAMAS-2010 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants." - Ensuring that the workshop notes or individual papers are available from the workshops websites, as appropriate. Though the workshop notes will appear on the flash drive distributed to conference attendees, the workshop notes will not be hosted on the IFAAMAS website. - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few paying attendees register for the workshop to support its running costs. ---------------------------------------------- Submissions and Inquiries ---------------------------------------------- Please send proposals and inquiries to: Kagan Tumer Oregon State University kagan.tumer at oregonstate.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Fri Oct 9 04:29:40 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Fri, 9 Oct 2009 15:29:40 +1300 Subject: Call for Posters and Demos: Sensor Networks and Ambient Intelligence Message-ID: <006d01ca4888$5d5b0a00$85d75a79@yourbbc104cd11> --------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Call for Posters and Demos In addition to full-length papers, SeNAmI 2009 welcomes submissions in the form of posters and demos that feature late-breaking results, innovative work in progress, preliminary research findings, or any interesting early ideas and visions, in areas of relevance to sensor-based ambient intelligence systems. Demonstrations are intended to showcase the practical implementation of novel new technologies, applications, techniques, and research prototypes or testbeds among others. We are particularly interested to see emerging young researchers in this field, applying their creativity and skills to innovate new technologies that could make a real difference by solving some of the most challenging issues facing our world today. We welcome both academic and industrial submissions. Abstract submission Poster and Demo abstracts should be in single-column format and not exceed one page, including figures and references. The abstract should be prepared using the template provided on the website, and submitted as a Word document to: senami at aut.ac.nz The information fields for the contact author and type of presentation (poster or demo) on second page of the abstract template should be completed as appropriate. For demo authors, please further specify any space requirements and/or any other equipment-specific requirements. The abstracts of accepted posters and demos would be distributed to all conference participants through the USB memory version of the proceedings, but they would not be published by IEEE Computer Society. However, they would be published online with citable DOI (Digital Object Identifiers) and permanently archived by the Frontiers Research Foundation (a Swiss-based non-profit academic publisher). Special registration fee A special registration fee of 35,000 JPY has been planned for poster and demo authors. At least one of the authors must register and present their work in the workshop. All registrations shall go through the main conference (PDCAT) registration website. Best Poster and Demo award A selection panel will convene to select the recipients for the Best Poster and Best Demo awards, courtesy of the Global COE (Centers of Excellence) Program for Founding Ambient Information Society Infrastructure of Graduate School of Information Science and Technology, Osaka University. Important dates Abstract submission due : October 23, 2009 Acceptance notification : November 1, 2009 Registration due: November 15, 2009 For further details, please visit: http://senami.aut.ac.nz Best regards, Boon-Chong Seet (Dr) Department of Electrical & Electronic Engineering Auckland University of Technology Private Bag 92006 Auckland 1142, New Zealand Phone: +64 9 921 9999 ext 5345 boon-chong.seet at aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From baojie at gmail.com Sun Oct 11 19:44:50 2009 From: baojie at gmail.com (Jie Bao) Date: Sun, 11 Oct 2009 13:44:50 -0400 Subject: Call for Papers - 4th Int. Workshop on Modular Ontologies Message-ID: ( WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ) ========================================================= 4th Int. Workshop on Modular Ontologies (WoMO) Toronto, Canada, May 11, 2010 co-located with FOIS, KR, AAMAS, ICAPS, NMR, and DL --- 1st Call for Papers --- ========================================================= http://www.informatik.uni-bremen.de/~okutz/womo4 MODULARITY, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but also to facilitate ontology maintenance and ontology reasoning. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a foundation for further research and development. The workshop follows a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest work and current problems, and is this time organised as a satellite workshop of FOIS 2010, as well as being co-located with several other relevant events, namely KR, AAMAS, ICAPS, NMR, and DL. TOPICS include, but are not limited to: - What is Modularity: Kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/Foundational Studies: Conservativity; modular ontology languages (e.g., DDL, E-Connections, P-DL); reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; - Algorithmic Approaches: distributed reasoning; modularization and module extraction; (selective) sharing and re-using, linking and importing; hiding and privacy; evaluation of modularization approaches; complexity of reasoning; reasoners or implemented systems; - Applications: Semantic Web; Life Sciences; Bio-Ontologies; Natural Language Processing; ontologies of space and time; Ambient Intelligence; collaborative ontology development; etc. IMPORTANT DATES Paper Submission: January 29, 2010 Notification: March 1, 2010 Camera ready: March 11, 2010 Workshop day: May 11, 2010 SUBMISSION GUIDELINES: The workshop welcomes submission of high quality original and previously unpublished papers. Contributions should not exceed 13 pages in length and must be formatted according to IOS Press style (see http://www.iospress.nl/authco/instruction_crc.html ). Contributions should be prepared in PDF format and submitted not later than January 29 2010 through the EasyChair Submission System (see http://www.informatik.uni-bremen.de/~okutz/womo4 ). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers may be extended up to 16 pages and will be published as chapters in an IOS Press book in the series 'Frontiers in Artificial Intelligence and Applications'. The authors of accepted papers are also welcome to submit substantially extended versions to a planned special issue on 'Modularity in Ontologies' of the international journal 'Applied Ontology' (IOS Press). WORKSHOP CO-CHAIRS: Oliver Kutz (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany) Joana Hois (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany) Jie Bao (Tetherless World Constellation & Department of Computer Science, Rensselaer Polytechnic Institute, USA) Bernardo Cuenca Grau (University of Oxford, UK) PROGRAM COMMITTEE Mathieu d'Aquin (Knowledge Media Institute, Open University of Milton Keynes, UK) Alex Borgida (Department of Computer Science, Rutgers University, USA) Stefano Borgo (Laboratory for Applied Ontology, CNR, Trento, Italy) Martin Dzbor (Knowledge Media Institute, Open University of Milton Keynes, UK) Fred Freitas (Universidade Federal de Pernambuco, Caixa Postal, Brazil) Silvio Ghilardi (Department of Computer Science, University of Milan, Italy) John Goodwin (Ordnance Survey, Southampton, UK) Peter Haase (fluid Operations GmbH, Germany) Heinrich Herre (Institute for Medical Informatics, Statistics and Epidemiology, University of Leipzig, Germany) Pascal Hitzler (Kno.e.sis Center, Wright State University, USA) Vasant Honovar (Artificial Intelligence Research Laboratory, Iowa State University, USA) Roman Kontchakov (School of Computer Science and Information Systems, Birkbeck College, London, UK) Carsten Lutz (Department of Computer Science, University of Bremen, Germany) Till Mossakowski (German Research Center for Artificial Intelligence, Lab Bremen, Germany) Alan Rector (University of Manchester, UK) Anne Schlicht (KR & KM Research Group, University of Mannheim, Germany) Thomas Schneider (Department of Computer Science, University of Manchester, UK) Luciano Serafini (Centro Per la Ricerca Scientifica e Tecnologica, Trento, Italy) Stefano Spaccapietra (School of Computer and Communication Sciences, Lausanne, Switzerland) Heiner Stuckenschmidt (KR & KM Research Group, University of Mannheim, Germany) Andrei Tamilin (Fondazione Bruno Kessler - IRST, Italy) Dirk Walther (Department of Computer Science, Universidad Politecnica de Madrid, Spain) Frank Wolter (Department of Computer Science, University of Liverpool, UK) Michael Zakharyaschev (School of Computer Science and Information Systems, Birkbeck College, London, UK) Antoine Zimmermann (DERI, National University of Ireland, Galway, Ireland) From robert at grid.chu.edu.tw Mon Oct 12 14:27:51 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Mon, 12 Oct 2009 20:27:51 +0800 Subject: Call for Papers/Workshop Proposals (GPC-10, UIC-10, MTPP-10, ICA3PP-10, FC-10, SMPE-10, FutureTech-10, BodyNets-10) Message-ID: <200910121227.n9CCRpY5001550@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.Beckmann at swansea.ac.uk Tue Oct 13 09:17:06 2009 From: A.Beckmann at swansea.ac.uk (Arnold Beckmann) Date: Tue, 13 Oct 2009 08:17:06 +0100 Subject: Final Call for Papers: Greifswald 2010 Message-ID: <20091013071706.562C3DAFD4@cs-svr1.swan.ac.uk> [Apologies for multiple copies] ********************************************************************** FINAL CALL FOR PAPERS The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki i Filozofii Nauki" (PTLiFN), the "Association Computability in Europe" (ACiE) and the "European Association for Computer Science Logic" (EACSL) jointly organize a workshop on Logical Approaches to Barriers in Computing and Complexity http://www.cs.swan.ac.uk/greifswald2010/ Greifswald, 17-20 February 2010 The workshop is sponsored by the Stiftung Alfried Krupp Kolleg Greifswald and the Deutsche Forschungsgemeinschaft (DFG), and takes place at the Alfried Krupp Wissenschaftskolleg in Greifswald, Germany: http://www.wiko-greifswald.de/events/cal/article/6/logical-approaches.html IMPORTANT DATES: Submission of extended abstracts: 7 November 2009 Notification of authors: 15 December 2009 Deadline for final revisions: 5 Januar 2010 Workshop: 17-20 February 2010 FINANCIAL SUPPORT: The local hotel costs of speakers of accepted talks will be covered. In addition to that, we are able to offer partial reimbursement of the travel expenses to speakers of accepted talks. In exeptional cases full reimbursement is possible. DESCRIPTION: Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and efficient computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation. In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness. Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work. KEYNOTE SPEAKERS: * Alessandra Carbone (Paris, France) * Lance Fortnow (Evanston, IL, U.S.A.) * Erich Graedel (Aachen, Germany) * Pascal Koiran (Lyon, France) * Leszek Kolodziejczyk (Warsaw, Poland) * Antonina Kolokolova (St.John's, NL, Canada) SPECIAL SESSION: The workshop features a special session on "Complexity in Arbitrary Structures" organised by Christine Gassner (Greifswald, Germany) and Martin Ziegler (Paderborn, Germany). Invited speakers of the special session are * Bruno Poizat (Villeurbanne-cedex, France) (KEYNOTE) * Olivier Bournez (Palaiseau Cedex, France) * Guenter Hotz (Saarbruecken, Germany) * Klaus Meer (Cottbus, Germany) * Monika Seisenberger (Swansea, Wales) * Klaus Weihrauch (Hagen, Germany) * Chee Yap (New York, USA) * Thierry Zell (Hickory, NC, USA) Further details can be found at the special session website http://www.math-inf.uni-greifswald.de/biomathematik/gassner/SpecialSession.htm Contributed talks will be selected by the Programme Committee from received submissions. The PROGRAM COMMITTEE consists of: * Zofia Adamowicz (Warsaw, Poland) * Franz Baader (Dresden, Germany) * Arnold Beckmann (chair; Swansea, Wales) * Sam Buss (La Jolla CA, U.S.A.) * Manfred Droste (Leipzig, Germany) * Christine Gassner (Greifswald, Germany) * Peter Koepke (Bonn, Germany) * Benedikt Loewe (Amsterdam, The Netherlands) * Johann Makowsky (Haifa, Israel) * Elvira Mayordomo (Zaragoza, Spain) * Damian Niwinski (Warsaw, Poland) * Wolfgang Thomas (Aachen, Germany) * Martin Ziegler (Paderborn, Germany) SUBMISSIONS: The Programme Committee cordially invites all researchers in the area of the workshop to submit their extended abstracts (in PDF-format, at most 4 pages) for presentation at the workshop. Further details about submission can be found on our website http://www.cs.swan.ac.uk/greifswald2010/ Accepted abstracts will be printed in an abstract booklet which will be distributed to the participants of the workshop. We emphatically encourage submissions by female authors, as women are underrepresented in mathematics and computer science. Submission of abstracts of published and presented work is also possible, since the abstract booklet is non-archival. Quality and quantity of submissions permitting, we plan to invite the authors of unpublished papers to submit a full version to a post-proceedings volume after the workshop. From touili at liafa.jussieu.fr Tue Oct 13 16:07:09 2009 From: touili at liafa.jussieu.fr (Tayssir Touili) Date: Tue, 13 Oct 2009 16:07:09 +0200 Subject: CAV 2010 Call for Papers Message-ID: <4AD4898D.3000604@liafa.jussieu.fr> We apologize if you receive multiple copies of this email. See below on how to unsubscribe. ........................................................................ 22nd International Conference on Computer Aided Verification (CAV) CAV 2010 http://www.floc-conference.org/CAV.html July 15 - 19, 2010 Edinburgh, United Kingdom Call for Papers ........................................................................ Aims and Scope --------------- CAV 2010 is the 22nd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV is part of the 5th International Federated Logic Conference (FLoC 2010), which includes CAV and seven other conferences/symposia: CSF, ICLP, IJCAR, ITP, LICS, RTA and SAT. More details about FLoC 2010 can be found at http://www.floc-conference.org/ CAV considers it vital to continue its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods in System Design. Topics of interest include: * Model checking techniques * Algorithms and tools for verifying models and implementations * Hardware verification techniques * Hybrid systems and embedded systems verification * Program analysis and software verification * Modeling and specification formalisms * Deductive, compositional, and abstraction techniques for verification * Testing and runtime analysis based on verification technology * Applications and case studies * Verification in industrial practice * Formal methods for biological systems Events ------- There will be pre-conference workshops on July 14 and July 15, and post-conference workshops on July 20. Please see the conference website for more details. There will be tutorials on July 15 (first day of the conference). Invited tutorial speakers ------------------------- * Robert Brayton: University of California, Berkeley, US * Kenneth Mcmillan: Cadence Berkeley Labs, US * Thomas Reps: University of Wisconsin-Madison, US * Andrey Rybalchenko: Max Planck Institute, Germany Invited speakers ---------------- * Somesh Jha: University of Wisconsin-Madison, US * Pasquale Malacaria: Queen Mary University, United Kingdom * Maged Michael: IBM, US CAV Award --------- An annual award, called the CAV Award, has been established "For a specific fundamental contribution or a series of outstanding contributions to the field of Computer-Aided Verification." The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards. (The nominee may have received such an award for other contributions.) The award of $10,000 will be granted to an individual or a group of individuals chosen by the Award Committee from a list of nominations. The Award Committee may choose to make no award in a given year. The CAV Award will be presented in an award ceremony at the Computer-Aided Verification Conference and a citation will be published in a journal of record (currently, Formal Methods in System Design). Anyone, with the exception of members of the Award Committee, is eligible to receive the Award. Nominations are welcome. Please see the Call for Nominations for the CAV Award on the conference website. Paper Submission ---------------- There are two categories of submissions: * A. Regular papers. Submissions, not exceeding fourteen (14) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. * B. Tool presentations. Submissions, not exceeding four (4) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Papers can be submitted in PDF or PS format. Submission is done with EasyChair, and the submission site will open on Jan 4, 2010. Please follow guidelines on the conference website: http://www.floc-conference.org/CAV.html Papers exceeding the stated maximum length run the risk of rejection without review. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. Important Dates ---------------- * Abstract submission: January 11, 2010 * Paper submission (firm): January 15, 2010 * Author feedback/rebuttal period: February 26 - March 1, 2010 * Notification of acceptance/rejection: March 15, 2010 * Final version due: April 16, 2010 Program Chairs --------------- * Byron Cook: Microsoft Research, United Kingdom * Paul Jackson: University of Edinburgh, United Kingdom * Tayssir Touili: LIAFA-CNRS, France Program Committee ------------------ Rajeev Alur: University of Pennsylvania, US Domagoj Babic: Synopsys, US Christel Baier: Technical University of Dresden, Germany Roderick Bloem: Graz University of Technology, Austria Ahmed Bouajjani: LIAFA-University of Paris 7, France Alessandro Cimatti: FBK-irst, Italy Byron Cook: Microsoft Research, United Kingdom Javier Esparza: Munich University, Germany Azadeh Farzan: University of Toronto, Canada Martin Fränzle: University of Oldenburg, Germany Ganesh Gopalakrishnan: University of Utah, US Mike Gordon: University of Cambridge, United Kingdom Orna Grumberg: Technion, Israel Ziyad Hanna: Jasper, US Holger Hermanns: Saarland University, Germany Alan Hu: University of British Columbia, Canada Paul Jackson: University of Edinburgh, United Kingdom Kevin Jones: Green Plug, US Vineet Kahlon: NEC Labs, US Jean Krivine: Institut des Hautes Etudes Scientifiques, France Daniel Kroening: Oxford University, United Kingdom Sava Krstic: Intel Corporation, US Marta Kwiatkowska: Oxford University, United Kingdom Kenneth McMillan: Cadence, US David Monniaux: VERIMAG-CNRS, France Markus Müller-Olm: Muenster University, Germany Kedar Namjoshi: Bell Labs, US Doron Peled: Bar Ilan University, Israel Amir Pnueli: New York University, US Shaz Qadeer: Microsoft Research, US Jean-Francois Raskin: Brussels University, Belgium Natasha Sharygina: University of Lugano, Switzerland Tayssir Touili: LIAFA-CNRS, France Helmut Veith: University of Darmstadt, Germany Kwangkeun Yi: Seoul National University, Korea Karen Yorav: IBM Haifa, Israel Greta Yorsh: IBM, US Steering Committee ------------------- * Edmund M. Clarke: Carnegie Mellon University, US * Mike Gordon: University of Cambridge, United Kingdom * Robert P. Kurshan: Cadence, US * Amir Pnueli, New York University, US ---------------------------------------------------------- We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding CAV 2010, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply. From DHui at uno.edu Wed Oct 14 04:17:32 2009 From: DHui at uno.edu (David Hui) Date: Tue, 13 Oct 2009 21:17:32 -0500 Subject: ICCE-18 Anchorage, Alaska, Nano or Composites Message-ID: <34C25DE6A5835B46A29B60ABC4F205F793E1424607@MAIL25CLUSTER.uno.edu> ICCE-18Anchorage, Alaska,USA July 4-10, 2010, Anchorage, Alaska, USA Dear event at in.tu-clausthal.de CALL FOR TWO-PAGE SHORT PAPERS 18th INTERNATIONAL CONFERENCE ON COMPOSITES or NANO ENGINEERING www.uno.edu/~engr/composite Interested author should submit tentative paper title immediately. The two-page detailed short paper, should be written, by following the format in web page. Please apply for travel funds and passport visa early, since this can take time, and inform interested friends to present papers. We allow only one paper per presenter. All ICCE-18 Anchorage, two-page short papers, will be reviewed and selected detailed short papers will be published in special issue of World Journal of Engineering, containing over 1000 pages. Participants of ICCE-18 are encouraged to expand the short paper to become full-length paper and then submit it to any journals of his/her choice, or submit for review in World Journal of Engineering. Thus, most participants will have two journal publication (one short paper, one long paper) as a benefit of coming to ICCE-18 Anchorage.. The excellent venue hotel in Anchorage will be announced soon, for planning purposes, the hotel cost is US$115+tax per night for six or more nights, US$135+tax per night for five nights or less. The slogan of Alaska is "the Last Frontier", one of the last unexplored and unpolluted places in America. In the summer, you can ride the cruise ship to see glacier, taste the world's best salmon, experience unique culture of the natives, and have a chance to see polar bears, and American eagles. You will enjoy long daylight, short night time. Many professors wish to go there because they have been in almost all 49 states, but not Alaska! Mount McKinley is the highest mountain in America, covered with snow even in summer, some photos can be see, please bring your telescopes, http://en.wikipedia.org/wiki/Mount_McKinley Due to budgetary constraints, we cannot offer financial assistance. If you are absolutely sure you cannot attend this conference, please do not submit paper title to me. David Hui dhui at uno.edu dated October 14, 2009 To delete write delete -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From borgo at loa-cnr.it Thu Oct 15 12:16:16 2009 From: borgo at loa-cnr.it (Stefano Borgo) Date: Thu, 15 Oct 2009 12:16:16 +0200 Subject: FOIS - final cfp Message-ID: <6E42CBF6-670B-4DC9-A2A3-266AF5AA2390@loa-cnr.it> FOIS 2010 Sixth International Conference on Formal Ontology in Information Systems (co-located with KR 2010) http://fois2010.mie.utoronto.ca F I N A L C A L L F O R P A P E R S Submission deadline: 23rd October 2009 CONFERENCE DESCRIPTION The FOIS conference series began with the first meeting in Trento, Italy, in June 1998, which was followed by meetings in 2001, 2004, 2006, and 2008. The sixth FOIS conference will be held in Toronto, Canada, during 11-14 May 2010, and we are now calling for papers to be considered for inclusion in the conference. Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coherent representations of their subject matter. The systematisation and elaboration of such representations and their associated reasoning techniques constitute the modern discipline of formal ontology, which is now being applied to such diverse domains as artificial intelligence, computational linguistics, bioinformatics, GIS, knowledge engineering, information retrieval, and the Semantic Web. Researchers in all these areas are becoming increasingly aware of the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. FOIS is intended to provide a meeting point for researchers from these and other disciplines with an interest in formal ontology, where both theoretical issues and concrete applications can be explored in a spirit of genuine interdisciplinarity. CONFERENCE ORGANISATION Conference chair: Nicola Guarino (ISTC-CNR, Trento, Italy) Program chairs: Antony Galton (University of Exeter, UK) Riichiro Mizoguchi (Osaka University, Japan) Local organisation: Chris Welty (IBM Research, Hawthorne, NY, USA) Michael Gruninger (University of Toronto, Canada) The FOIS conference series is now an official initiative of the newly established International Association for Ontology and its Applications (www.iaoa.org). TOPICS COVERED We seek high-quality papers on a wide range of topics. While authors may focus on fairly narrow and specific issues, all papers should emphasize the relevance of the work described to formal ontology and to information systems. Papers that completely ignore one or the other of these aspects will be considered as lying outside the scope of the meeting. Topic areas of particular interest to the conference are: Foundational Issues * Kinds of entity: particulars vs universals, continuants vs occurrents, abstracta vs concreta, dependent vs independent, natural vs artificial * Formal relations: parthood, identity, connection, dependence, constitution, subsumption, instantiation * Vagueness and granularity * Identity and change * Formal comparison among ontologies * Ontology of physical reality (matter, space, time, motion, ...) * Ontology of biological reality (genes, proteins, cells, organisms, ...) * Ontology of artefacts, functions and roles * Ontology of mental reality and agency (beliefs, intentions and other mental attitudes; emotions, ...) * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, ...) * Ontology of the information society (information, communication, meaning negotiation, ...) * Ontology and Natural Language Semantics, Ontology and Cognition Methodologies and Applications * Top-level vs application ontologies * Ontology integration and alignment; role of reference ontologies * Ontology-driven information systems design * Ontology-based application systems * Requirements engineering * Knowledge engineering * Knowledge management and organization * Knowledge representation; Qualitative modeling * Computational lexicons; Terminology * Information retrieval; Question-answering * Semantic web; Web services; Grid computing * Domain-specific ontologies, especially for: Linguistics, Geography, Law, Library science, Biomedical science, E-business, Enterprise integration, ... DEADLINES AND FURTHER INFORMATION Submissions: 23 October 2009 Notification of acceptance: 18 December 2009 Final camera-ready submission: 15 January 2010 Conference: 11-14 May 2010 Submitted papers must not exceed 14 pages, including the bibliography and an abstract of no more than 300 words. Papers should be submitted electronically as PDF files prepared in accordance with the IOS formatting guidelines available from http://www.iospress.nl/authco/instruction_crc.html. Submissions should be made via Easychair at http://www.easychair.org/conferences/?conf=fois2010 . Proceedings will be published by IOS Press and will be available at the time of the conference. Please note that at least one author must register for the conference in order for an accepted paper to be published in the proceedings. PROGRAMME COMMITTEE Bill Andersen (Ontology Works, Inc., USA) John Bateman (University of Bremen, Germany) Brandon Bennett (University of Leeds, UK) Stefano Borgo (ISTC-CNR, Trento, Italy) Joost Breuker (University of Amsterdam, The Netherlands) Paul Buitelaar (National University of Ireland, Galway) Roberto Casati CNRS-EHSS, Paris, France) Werner Ceusters (University of Buffalo, USA) Matteo Cristani (University of Verona, Italy) Ernest Davis (New York University, USA) Maureen Donnelly (University of Buffalo, USA) Martin Dˆrr (Foundation for Research and Technology, Greece) Carola Eschenbach (University of Hamburg, Germany) JÈrÙme Euzenat (INRIA, Grenoble, France) Christiane Fellbaum (Princeton University, USA) Roberto Ferrario (ISTC-CNR, Trento, Italy) Antony Galton (University of Exeter, UK) Aldo Gangemi (ISTC-CNR, Rome, Italy) Pierdaniele Giaretta (University of Verona, Italy) Pierre Grenon (Open University) Michael Gruninger (University of Toronto, Canada) Nicola Guarino (ISTC-CNR, Trento, Italy) Udo Hahn (Jena University, Germany) Jerry Hobbs (University of Southern California, USA) Ken Kaneiwa (National Institute of Information and Communications Technology, Kyoto, Japan) Werner Kuhn (University of M¸nster, Germany) Terry Langendoen (University of Arizona, USA) Alessandro Lenci (University of Pisa, Italy) Leonardo Lesmo (University of Torino, Italy)) Claudio Masolo (ISTC-CNR, Trento, Italy) William McCarthy (Michigan State University, USA) Chris Menzel (Texas A&M University, USA) Simon Milton (University of Melbourne, Australia) Riichiro Mizoguchi (University of Osaka, Japan) Philippe Muller (University of Toulouse III, France) John Mylopoulos (University of Toronto, Canada) Natasha Noy (Stanford University, USA) Daniel Oberle (SAP Research, CEC Karlsruhe) Leo Obrst (The Mitre Corporation, USA) Maria Teresa Pazienza (University of Rome, Italy) David Randell (University of Birmingham, UK) Alan Rector (University of Manchester, UK) Riccardo Rosati (University of Rome, Italy) Guus Schreiber (University of Amsterdam, The Netherlands) Johanna Seibt (University of Aarhus, Denmark) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Barry Smith (University of Buffalo, USA) John Sowa (Vivomind Intelligence Inc., USA) John Stell (University of Leeds, UK) Veda Storey (Georgia State University, USA) Achille Varzi (Columbia University, New York, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Chris Welty (IBM Research, Hawthorne, USA) ================================================== Stefano Borgo Researcher, Laboratory for Applied Ontology (LOA) Institute of Cognitive Sciences and Technologies - CNR http://www.loa-cnr.it/borgo.html ------------------------------------------------------------------------------- Member, Int. Association for Ontologies and its Applications (IAOA) http://iaoa.org/ ------------------------------------------------------------------------------- Address: via alla Cascata 56/C, Povo I-38100, Trento phone: +39 0461 314873 fax: +39 0461 314875 From cfp2010a at cicling.org Wed Oct 14 13:36:38 2009 From: cfp2010a at cicling.org (Alexander Gelbukh (CICLing-2010)) Date: Wed, 14 Oct 2009 06:36:38 -0500 Subject: CFP: CICLing 2010 - Natural Language Processing - Romania - Springer LNCS Message-ID: CICLing 2010 11th International Conference on Intelligent Text Processing and Computational Linguistics; post-conf event: Promise 2010 workshop Iasi, Romania March 21-27, 2010 www.CICLing.org/2010 PUBLICATION: LNCS: Springer Lecture Notes in Computer Science, poster session: special issue of a journal KEYNOTE SPEAKERS: Nicoletta Calzolari, James Pustejovsky, Hans Uszkoreit, Shuly Wintner TOURS: Medieval castles (including Dracula castle), painted monasteries, salt-mine, possibly winery, bison reservation, Red Lake, and more. AWARDS: Best paper, best student paper, best presentation, best poster. SUBMISSION DEADLINES: November 16: registration of tentative abstract, November 23: uploading of full papers (contact us for late submissions) TOPICS: All topics related with computational linguistics, natural language processing, human language technologies, information retrieval, etc. See complete CFP and contact on www.CICLing.org/2010 This message is sent in good faith of its usefulness for you as an NLP researcher. If this is an error, kindly let me know. Alexander Gelbukh www.Gelbukh.com From myv at cs.rice.edu Fri Oct 16 01:29:52 2009 From: myv at cs.rice.edu (MYV) Date: Thu, 15 Oct 2009 18:29:52 -0500 (CDT) Subject: FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE Message-ID: Dear Colleague: We would like to bring the community up to date on the journal Logical Methods in Computer Science www.lmcs-online.org We started this fully refereed, open access, free electronic journal in January 2005, intending to create a high-level platform for publications in all theoretical and practical areas in computer science involving logical methods, taken in a broad sense. We are now on Issue 3 of Volume 5 (there are four issues a year). So far, we have received more than 350 submissions of which we have published 162. In addition to individual submissions, our journal publishes special issues, e.g., of selected papers of high-level international conferences such as LICS, IJCAR, CAV, CSL, and RTA. We are continuing actively to develop the journal. For example, we accept survey articles, and are developing `live' surveys, which can be continually updated as knowledge progresses. In another direction, we are considering allowing authors to provide additional material of an expository nature, such as slides and videos, to enable them to interest a wider spectrum of readers in their contribution. The journal is an overlay of CoRR, the computer science repository of arXiv. There are no fees for authors nor for readers. Every paper is refereed by two or more referees, and high standards are applied. The editorial board consists of about sixty top specialists in all areas of logic in computer science. The journal is covered by Mathematical Reviews, the ISI Web of Knowledge, and the DBLP Database. We welcome your comments and suggestions, and we seek your contributions! For more information please consult our web pages: www.lmcs-online.org Yours, Editor-in-Chief: Dana S. Scott Managing Editors: Benjamin C. Pierce Gordon D. Plotkin Moshe Y. Vardi Executive Editors: Jiri Adamek Stefan Milius From christian.guttmann at gmail.com Fri Oct 16 02:22:59 2009 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Fri, 16 Oct 2009 11:22:59 +1100 Subject: [EventCIG] Final CFP for CARE 2009: COLLABORATIVE AGENTS -- RESEARCH and DEVELOPMENT Message-ID: <4AD7BCE3.3080704@gmail.com> Apologies for multiple postings. ============================================================ International Workshop on Collaborative Agents -- REsearch and Development (CARE) 2009 1. December, Melbourne, Australia EXTENDED DEADLINE (and strict) Abstract submission: October 27, 2009 Full paper submission: October 30, 2009 http://www.csse.monash.edu.au/~xtg/CARE2009/ ============================================================ NEWS Invited Speaker Professor Michael Luck (King’s College, United Kingdom) Announcement: BEST PAPER AWARD of 250$ CARE 2009 Submissions open at easychair: http://www.easychair.org/conferences/?conf=care2009 Summary ======= Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop’s thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity. This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. Some issues of interest of this workshop are: * How to enable agents to reach and maintain joint agreements in complex organisational and market driven domains. * How to develop a comprehensive agreement formation/maintenance framework applicable to many application domains. * How to build and extend MAS that work efficiently in partially regulated markets (instead of free or fully regulated markets). * How to identify and represent conceptual/formal components of organisational structures (e.g., health care and other service-oriented domains). * How organisational structures influence the negotiation of agents and the distribution/execution of tasks. * Similarly, what are the implications of a partially regulated market on negotiation/distribution/execution of tasks. * How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. * How to cope with unreliable and non-conformant collaborators, where agreements are made but are not always conformed with. * Which measures of optimality and efficiency are useful in evaluating models of collaboration by means of theory and simulation. * How can interventions and incentive structures assist in reaching and maintaining agreements. * How to assign transaction costs to actions in the planning, assignment, and execution stages (e.g., costs incurred by reaching and maintaining agreements). * How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. * Can lessons learnt in game theoretic computation inform collaborative agent settings. * How can agents collectively acquire knowledge about their social and physical environment, and their collaborative tasks. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop will foster open discussions among all participants, particularly encouraging students to discuss their research topics and to seek feedback from senior agent researchers. The workshop is held in conjunction with the 22nd Australasian Joint Conference on Artificial Intelligence AI09 (http://www.infotech.monash.edu.au/about/news/conferences/ai09/) Contact ======= CARE organisers care2009 at easychair.org Important Dates =============== Abstract submission: October 27, 2009 Full paper submission: October 30, 2009 Notification: November 10, 2009 Camera ready: November 20, 2009 Topics of Interest include (but are not limited to): ==================================================== RESEARCH * Collaboration frameworks * Models of teamwork and joint action * Organisation/Institutes/Norms * Auctioning/Negotiation * Task/Resource allocation * Behaviour modelling/monitoring * Adherence/Intervention mechanisms * Incentive frameworks * Intervention mechanisms * Agreement technology * Contract networks/formation * Cloud computing APPLICATION AREAS * Collaborative care planning/management * Disaster planning/management * Traffic planning/management * Transport/Logistics * Applications in primary and preventative healthcare * Chronic disease planning/management * Epidemiological agent models * Unmanned air/land vehicles * Robotic soccer/Robotic rescues * Weather forecast * Artificial and natural immune systems * Social networks (e.g., LinkedIn, Facebook,...) * Smart grid network (e.g., electricity/gas metering) Submission and Publication ========================== Submission is to be done electronically at EasyChair at: http://www.easychair.org/conferences/?conf=care2009. Submissions should be formatted according to LNCS specification and submitted as a PDF file. Instructions and templates can be found at: www.springer.de/comp/lncs/authors.html. CARE 2009 seeks two types of submissions. - Full paper of 8-12 pages. - Short paper of 2-4 pages (such as position and early result papers) are welcome with the option of extending it to a full paper for the post-proceedings. Submissions will be peer-reviewed by three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Since this workshop is associated with the AI'09 conference, accepted papers should be relevant to the AI research community. Accepted papers will be published in the workshop proceedings. CARE 2009 plans to offer a best paper award for the best full paper submission, and a selection of papers is planned to be published as post-proceedings with a major international publisher, subject to an appropriate number and quality of submissions. Workshop Officials ================== GENERAL CHAIR Christian Guttmann (Monash University, Australia) CO-CHAIRS Michael Georgeff (PrecedenceHealthCare, Australia) Frank Dignum (University Utrecht, Netherlands) PROGRAM COMMITTEE Philippe Pasquier (Simon Fraser University, Canada) Iyad Rahwan (British University of Dubai, United Arab Emirates) Kobi Gal (Harvard University, United States of America) Simon Thompson (British Telecom Research Laboratories, United Kingdom) Cees Witteveen (Delft University of Technology, Netherlands) Mathijs de Weerdt (Delft University of Technology, Netherlands) Gord McCalla (University of Saskatchewan, Canada) Andrew Gilpin (Hg Analytics, United States of America) David Morley (SRI International, United States of America) Kumari Wickramasinghe (Monash University, Australia) Liz Sonenberg (Melbourne University, Australia) Sascha Ossowski (University Rey Juan Carlos, Spain) Samin Karim (Accenture, Australia) Lawrence Cavedon (NICTA and RMIT University, Australia) Michael Winikoff (University of Otago, New Zealand) Rafael Bordini (Federal University of Rio Grande do Sul, Brazil) Wayne Wobcke (University of New South Wales, Australia) Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil) Sponsors ======== School of Primary Health Care, Monash University, Australia The Finkel Foundation, Australia PrecedenceHealthCare, Australia From martin at AI.SRI.COM Fri Oct 16 06:52:30 2009 From: martin at AI.SRI.COM (David Martin) Date: Thu, 15 Oct 2009 21:52:30 -0700 Subject: Call for Participation: Service Matchmaking and Resource Retrieval in the Semantic Web In-Reply-To: <317B40DA788E894D8FDD440D2835F5F701CD08DE@DEMAIL.docomolab-euro.com> References: <317B40DA788E894D8FDD440D2835F5F701CD08DE@DEMAIL.docomolab-euro.com> Message-ID: <4AD7FC0E.2090601@ai.sri.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From universal.logic at ufc.br Fri Oct 16 13:24:38 2009 From: universal.logic at ufc.br (Universal Logic) Date: Fri, 16 Oct 2009 09:24:38 -0200 (BRST) Subject: World Congress, Lisbon 2010 - Call for Papers Message-ID: <3aa25b8bc9e98310096bb079ef16be98.squirrel@correio1.ufc.br> The third edition of the World Congress and School on Universal Logic will happen April 18-25, 2010 in Lisbon, Portugal. There will be: 10 invited speakers, among them: Hartry Field, George Grätzer, Yuri Gurevich, Gehrard Jaeger, Dana Scott 10 special sessions, among them: logic diagrams, substructural logics, non-classical mathematics, categorical logic, mutlimodal logics, paradoxes 21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic Logics, Truth-values, Refutation, Ideospheres, How to cut and paste logical systems 1 contest: How to combine logics? Submission deadline for contributed talks has been extended to November 15, 2009 UNILOG'2010 World Congress and School on Universal Logic III April 18-25, 2010, Lisbon, Portugal http://www.uni-log.org From invitation at iariaannounce.org Sat Oct 17 06:34:40 2009 From: invitation at iariaannounce.org (InfoSys 2010) Date: Sat, 17 Oct 2009 00:34:40 -0400 (EDT) Subject: Last mile || InfoSys 2010 [ICAS, ICNS, INTENSICE, LMPCNA] March 7-13, 2010 - Cancun, Mexico Message-ID: <20884501.15517.1255754080843.JavaMail.Onitza@IariaAnnounce> INVITATION Note that we are entering the last few days of submission for the events collocated in Cancun, Mexico Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. The submission deadline has now been moved to October 27, 2009. 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 Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= InfoSys 2010, March 7-13, 2010 - Cancun, Mexico see: http://www.iaria.org/conferences2010/InfoSys10.html InfoSys 2010 is a federated event focusing on advances topics concerning the networks, systems, autonomy, and learning methodologies. InfoSys 2010 continues the tradition of well-established conferences ICAS, ICNS, the LMPCNA workshop, and INTENSIVE. Submission (full paper) new deadline: October 27, 2009. 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. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. Submissions will be peer-reviewed, published by IEEE Computer Society Press, posted in IEEE Digital Library, and indexed via all the IEEE indexing agreements. All tracks/topics are open to both research and industry contributions. -- ICNS 2010, The Sixth International Conference on Networking and Services http://www.iaria.org/conferences2010/ICNS10.html -- ICAS 2010, The Sixth International Conference on Autonomic and Autonomous Systems http://www.iaria.org/conferences2010/ICAS10.html -- INTENSIVE 2010, The Second International Conference on Resource Intensive Applications and Services http://www.iaria.org/conferences2010/INTENSIVE10.html -- LMPCNA 2010, The Second International Workshop on Learning Methodologies and Platforms used in the Cisco Networking Academy http://www.iaria.org/conferences2010/LMPCNA.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about InfoSys, please reply with "DROP InfoSys 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 jsabater at iiia.csic.es Mon Oct 19 10:45:12 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Mon, 19 Oct 2009 10:45:12 +0200 Subject: [AAMAS-2010] - Final call for workshops proposal Message-ID: <2964622708642375110742@Galvatron> (apologies for multiple postings) ------------------------------------------------------------------------- AAMAS 2010 - Call for Workshop Proposals ------------------------------------------------------------------------- The AAMAS-2010 Organizing Committee invites proposals for the Workshop Program to be held on May 10-11, 2010 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2010 workshops is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2010 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. AAMAS 2010 will be co-located with KR, NMR, ICAPS, FOIS, (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada), and welcomes proposals that cater to the broader community across these areas. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics catering to the broader community represented by the co-located events are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants only. -------------------------------------------------------- Important Dates for Workshops -------------------------------------------------------- OCTOBER 31, 2009 - Proposal Submission Deadline NOVEMBER 30, 2009 - Acceptance Notification DECEMBER 11, 2009 - Deadline for posting Workshops Call for Papers DECEMBER 11, 2009 - AAMAS-2010 Workshops Program Announced FEBRUARY, 2, 2010 - Submission of contributions to workshops MARCH 2, 2010 - Workshop paper acceptance notification MARCH 19, 2010 - Deadline for complete workshop notes submission to the workshop chair Workshop chair MARCH 19, 2010 - Deadline for posting a Call for Participation MAY 10-11, 2010 - AAMAS-2010 WORKSHOPS ---------------------------------------------------------------------------------------------- AAMAS-2010 Workshops Requirements for Submission ---------------------------------------------------------------------------------------------- Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: - Title of the workshop. - A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. - A discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference?), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issue). - A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. - Description of paper review process and acceptance standards. - If available, a list of tentatively confirmed attendees. - The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. -The name of the primary contact for the organizing committee (this person must have an email address). - A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. - List of potential program committee members, including their title and affiliations. - Expected duration of the workshop (half or full day). - A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2010 Workshop Chair: Kagan Tumer ( kagan.tumer at oregonstate.edu ) as soon as possible but no later than: Saturday October 31, 2009. Prospective organizers will be notified of the committee's decision no later than: Monday November 30, 2009. The selection of the workshops to be included in the final AAMAS program will be based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovativeness of workshop topics, the cross-disciplinary nature of the workshop, and the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals. ----------------------------------------------------------------------------------------- Responsibilities of AAMAS and workshop organizers ----------------------------------------------------------------------------------------- For all accepted proposals, AAMAS will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistic support and a meeting place for the workshop. - Together with the organizers, determining the workshop date and time. Workshop organizers will be responsible for: -Setting up a website for the workshop. -Advertising the workshop and issuing a call for papers (by DECEMBER 11, 2009) and a call for participation (by MARCH 19, 2010). -Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. All workshop organizers commit themselves to adopt the same deadlines for paper submissions and notifications of acceptance, i.e., FEBRUARY 2, 2010: Submissions of contributions to workshops; MARCH 2, 2010: Notifications - Making the PDF of the whole workshop notes available to the workshops chair by MARCH 19, 2010, as well as a list of audio-visual requirements and any special room requirements. The AAMAS-2010 workshop notes will be included in the flash drive containing the AAMAS-2010 conference proceedings. To that end, please include the following sentence in your call for papers: "Workshop notes including all accepted papers will be distributed to AAMAS-2010 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants." - Ensuring that the workshop notes or individual papers are available from the workshops websites, as appropriate. Though the workshop notes will appear on the flash drive distributed to conference attendees, the workshop notes will not be hosted on the IFAAMAS website. - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few paying attendees register for the workshop to support its running costs. ---------------------------------------------- Submissions and Inquiries ---------------------------------------------- Please send proposals and inquiries to: Kagan Tumer Oregon State University kagan.tumer at oregonstate.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ter at cs.sfu.ca Mon Oct 19 15:43:24 2009 From: ter at cs.sfu.ca (Evgenia (Eugenia) Ternovska) Date: Mon, 19 Oct 2009 06:43:24 -0700 Subject: CFP: NMR'2010, 13th International Workshop on Non-Monotonic Reasoning Message-ID: 13th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (NMR 2010) (Collocated with KR 2010, ICAPS 2010, FOIS 2010 and AAMAS 2010) Sutton Place hotel, Toronto, Canada, May 14-16, 2010 http://www.cs.sfu.ca/NMR2010/ *Submission deadline: January 29, 2010. Notification: March 1, 2010. * The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 13th workshop in the series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. NMR 2010 will be composed of six specialized sub-workshops: * Argument, Dialog and Decision * Declarative Programming for NMR * Action and Belief Change * Preferences and Norms * Commonsense and NMR for Ontologies * NMR and Uncertainty * Topics of Interest: NMR'10 welcomes the submission of papers broadly centred on issues and research in non-monotonic reasoning. We welcome papers of either a theoretical or practical nature. Topics of interest include (but are not limited to): foundations of non-monotonic reasoning, default reasoning, representing actions and planning, belief revision and information fusion, reasoning and decision-making under uncertainty, answer set programming, belief updating and inconsistency handling, similarity-based reasoning, empirical studies of reasoning strategies, argument-based non- monotonic logics, abductive reasoning, algorithms and implementations, non-monotonic logics in multi-agent interaction, including negotiation and dispute resolution, non-monotonic reasoning for ontologies, declarative programming for non-monotonic reasoning, and reasoning with preferences. * Submission of Paper: Papers should be submitted to the appropriate sub-workshop; if it is not clear which sub-workshop is most appropriate, please contact the program chairs for clarification. Website: http://www.cs.sfu.ca/NMR2010/ Program Committee: Richard Booth (Mahasarakham University), Marc Denecker (Katholieke Universiteit Leuven), Marina De Vos (University of Bath), Alfredo Gabaldon (New University of Lisbon), Gabriele Kern-Isberner University of Leipzig), Frederic Koriche (Université Montpellier II), Tommie Meyer (Meraka Institute, South Africa) Henri Prade (Université Paul Sabatier), Iyad Rahwan (British University in Dubai), Guillermo R. Simari (Universidad Nacional del Sur) Eugenia Ternovska (Simon Fraser University), Ivan José Varzinczak (Meraka Institute), Leon Van Der Torre (University of Luxembourg), Renata Wassermann (Universidade de São Paulo). Programme Co-Chairs Tommie Meyer, Meraka Institute, South Africa Eugenia Ternovska, Simon Fraser University, Canada -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pierregrenon at gmail.com Mon Oct 19 16:41:39 2009 From: pierregrenon at gmail.com (Pierre Grenon) Date: Mon, 19 Oct 2009 15:41:39 +0100 Subject: FOIS: deadline extended to 31/10/09 Message-ID: FOIS 2010 Sixth International Conference on Formal Ontology in Information Systems (co-located with KR 2010) http://fois2010.mie.utoronto.ca E X T E N S I O N T O S U B M I S S I O N D E A D L I N E Please note that the submission deadline for FOIS 2010 has been moved back to 31st October 2009. The dates are now: Submissions: 31 October 2009 Notification of acceptance: 18 December 2009 Final camera-ready submission: 15 January 2010 Conference: 11-14 May 2010 Submitted papers must not exceed 14 pages, including the bibliography and an abstract of no more than 300 words. Papers should be submitted electronically as PDF files prepared in accordance with the IOS formatting guidelines available from http://www.iospress.nl/authco/instruction_crc.html. Submissions should be made via Easychair at http://www.easychair.org/conferences/?conf=fois2010. Proceedings will be published by IOS Press and will be available at the time of the conference. Please note that at least one author must register for the conference in order for an accepted paper to be published in the proceedings. From cmc2010cfp at szu.edu.cn Thu Oct 22 15:11:04 2009 From: cmc2010cfp at szu.edu.cn (CMC 2010) Date: Thu, 22 Oct 2009 21:11:04 +0800 Subject: =?GB2312?B?Q01DIDIwMTAgU2hlbnpoZW4gQ2hpbmE6IA==?= =?GB2312?B?RXh0ZW5kZWQgRGVhZGxpbmUgMTUgTm92ZQ==?= =?GB2312?B?bWJlcg==?= Message-ID: 2nd International Conference on Communications and Mobile Computing (CMC 2010) April 12-14, 2010 Shenzhen, China http://world-research-institutes.org/conferences/CMC/2010 http://world-research-institute.org/conferences/CMC/2010 Call for Papers & Expo CMC 2010 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in communications and mobile computing. We invite you to submit your original papers on the most recent results and technology trends to one of the 5 symposiums. Due to numerous requests, the submission deadline is extended to 15 November 2009. CMC 2010 conference proceedings will be published by the IEEE Computer Society's Conference Publishing Services (CPS) which will include the conference proceedings in the IEEE Xplore and submit to Ei Compendex and ISTP for indexing (CMC 2009 proceedings were already indexed in Ei). CMC 2010 is organized by the College of Information Engineering, Shenzhen University, China. In addition to research papers, CMC 2010 also seeks exhibitions of modern products and equipment for communications and mobile computing. Shenzhen, situated just across the border from Hong Kong, is a beautiful coastal city in southern China. It is a showcase of China’s reforms and opening up to the rest of the world. In 27 years, Shenzhen has developed from a small fishing village into a modern city with a population of 12 million and a gross domestic product (GDP) ranking among the highest in China. Famous tourist attractions include Dapeng Fortress, Lotus Hill, Shennan Thoroughfare, and Yangtai Mountain. If you have any questions, please email us at cmc2010 szu.edu.cn or call +86 755 2653 6198 or +86 755 2653 5259. Important Dates: Paper Submission Deadline: 15 November 2009 Review Notification: 10 December 2009 Final Papers and Author Registration Deadline: 30 December 2009 *** Please forward to those who may be interested. *** (To unsubscribe, please reply with the email subject being "Unsubscribe event at in.tu-clausthal.de".) (Thanks and apologies) From lkagal at csail.mit.edu Sat Oct 24 02:53:28 2009 From: lkagal at csail.mit.edu (Lalana Kagal) Date: Fri, 23 Oct 2009 20:53:28 -0400 Subject: Call For Participation: Semantics for the Rest of Us Workshop at ISWC 2009 Message-ID: Apologies for cross posting --------------------------------------------------------------------------------------- Semantics for the Rest of Us -- Variants of Semantic Web Languages in the Real World Held in conjunction with 8th International Semantic Web Conference (ISWC 2009) Monday, 26 October 2009, Washington, DC --------------------------------------------------------------------------------------- The Semantic Web is a broad vision of the future of personal computing, emphasizing the use of sophisticated knowledge representation as the basis for end-user applications' data modeling and management needs. Key to the pervasive adoption of Semantic Web technologies is a good set of fundamental "building blocks" - the most important of these are representation languages themselves. W3C's standard languages for the Semantic Web, RDF and OWL, have been around for several years; instead of strict standards compliance, we see "variants" of these languages emerge in applications, often tailored to a particular application's needs. These variants are often either subsets of OWL or supersets of RDF, typically with fragments OWL added. Extensions based on rules, such as SWRL and N3 logic, have been developed as well as enhancements to the SPARQL query language and protocol. In this workshop we will explore the landscape of RDF, OWL and SPARQL variants, specifically from the standpoint of "real-world semantics". Are there commonalities in these variants that might suggest new standards or new versions of the existing standards? We hope to identify common requirements of applications consuming Semantic Web data and understand the pros and cons of a strictly formal approach to modeling data versus a "scruffier" approach where semantics are based on application requirements and implementation restrictions. The workshop will encourage active audience participation and discussion and includes a keynote by Sandro Hawke (W3C) as well as a panel to be moderated by Jim Hendler (RPI). ORGANIZERS Lalana Kagal, Massachusetts Institute of Technology Ora Lassila, Nokia Tim Finin, University of Maryland, Baltimore County PROGRAM 08:30-08:45 Welcome, introductions, etc. [15] 08:45-09:45 Sandro's invited talk + discussion [60] 9:45 - 10:35 2 research paper [50] RDF syntax normalization using XML validation - Denny Vrandecic, Frank Dengler, Sebastian Rudolph and Michael Erdmann (research paper) [25] LexRDF Model: An RDF-based Unified Model for Heterologous Biomedical Ontologies - Cui Tao, Jyotishman Pathak, Harold Solbrig, Wei-Qi Wei and Christopher Chute (research paper) [25] 10:35-10:50 Break [15] 10:50 - 11:55 1 position paper, 2 research papers [65] Streaming OWL, Mike Dean (position paper) [10] Accessing Site-Specific APIs Through Write-Wrappers From The Web of Data - Oana Ureche, Aftab Iqbal, Richard Cyganiak and Michael Hausenblas (research paper) [25] LTML - A Language for Representing Semantic Web Service Workflow Procedures - Mark Burstein, Robert Goldman, Drew McDermott, David McDonald, Jacob Beal and John Maraist [25] 11:55 - 12:40 Panel + discussion [45] 12:40-12:45 Closing comments and Wrap-up 12:45-2:00 Lunch PANEL Title: "Little vs Large Semantics: What's next for the Semantic Web languages?" Moderator: Jim Hendler, RPI Panelists: Kendall Clark, Clark & Parsia, LLC Leigh Dodds, Talis Ivan Herman, W3C Ora Lassila, Nokia From Thomas.Lukasiewicz at kr.tuwien.ac.at Sat Oct 24 11:10:20 2009 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sat, 24 Oct 2009 10:10:20 +0100 Subject: AAAI-10: CALL FOR TUTORIALS Message-ID: <4AE2C47C.8010502@kr.tuwien.ac.at> **** NEW TUTORIAL SUBMISSION DEADLINE: November 13, 2009 **** AAAI-10 TUTORIAL FORUM ====================== http://www.aaai.org/Conferences/AAAI/2010/aaai10tutorialcall.php LATEST NEWS: * The deadline for submission of AAAI-10 Tutorial Forum Proposals has been extended to November 13, 2009. * The notification deadline will be December 7, 2009. The Tutorial Forum of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10) will be held July 11-12, 2010 in Atlanta, Georgia USA. The Tutorial Forum is sponsored by the Association for the Advancement of Artificial Intelligence. The AAAI-10 Program Committee invites proposals for the Tutorial Forum of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10). The Tutorial Forum will be held July 11-12, 2010 in Atlanta. Anyone interested in presenting a tutorial at AAAI-10 should submit a proposal to the 2010 Tutorial Forum Cochairs listed below. What Is the Tutorial Forum? The Tutorial Forum provides an opportunity for junior and senior researchers to spend two days each year freely exploring exciting advances in disciplines outside their normal focus. We believe this type of forum is essential for the cross fertilization, cohesiveness, and vitality of the AI field. We all have a lot to learn from each other; the Tutorial Forum promotes the continuing education of each member of the AAAI. Topics AAAI is interested in proposals for advanced tutorials at the leading edge of AI. We are particularly interested in tutorials that offer two types of knowledge. The first type provides in-depth background tools to help educate researchers and students for the purpose of conducting AI research; examples of this type of tutorials from AAAI-08 include "General Game Playing," "Graphical Models for Multiagent Decision-Making," and "Satisfied by Message Passing: Probabilistic Techniques for Combinatorial Problems." A second type of tutorial provides a broad overview for an AI area that potentially crosses boundaries with an interesting application area; examples of this type of tutorial from AAAI-08 include "Social Network Mining: A Tutorial on Inference and Learning with Social Network Data" and "Machine Learning for Biomedical Applications." Our goal is to present a diverse program that includes core areas of AI, new techniques from allied disciplines that can inform research within AI, and conversely emerging applications of AI techniques to new areas. Previous years' tutorial programs provide an indication of the scope and variety of possible topics. The list is not exclusive; indeed, we are expressly interested in topics that we would not have imagined to mention. Finally, note that we very much welcome proposals for educational approaches that go beyond the traditional format of four-hour tutorials, exploiting the flexibility that the one-fee program offers. Submission Requirements We need two kinds of information in the proposals: information that will be used for selecting proposals and information that will appear in the tutorial description brochure. The proposal should provide sufficient information to evaluate the quality of the technical content being taught, the quality of the educational material being used, and the speakers' skill at presenting this material. Each proposal should include at least the following: * Goal of the tutorial: Who is the target audience? What will the audience walk away with? What makes the topic innovative? * Content: Detailed outline and list of additional materials, augmented with samples, such as past tutorial slides and survey articles, whenever possible. Be as complete as possible. * Tutorial description: A short paragraph summarizing the tutorial outline, and the intended duration of the symposium (default is four hours). * Prerequisite knowledge: What knowledge is assumed of the target audience. Please also submit the following information about the team of presenters: name, mailing address, phone number, email address; background in the tutorial area, including a list of publications and/or presentations; any available examples of work in the area (ideally, a published tutorial-level article or presentation materials on the subject); evidence of teaching experience (courses taught or references); and evidence of scholarship in AI or computer science. Submission Deadline Proposals must be received by November 13, 2009. Decisions about the tutorial program will be made by December 7, 2009. Speakers should be prepared to submit their tutorial descriptions and bios by January 8, 2010, and to post completed course materials on their websites by June 4, 2010. Please e-mail proposal material to Russell Greiner and Thomas Lukasiewicz at the following addresses. ------------------------------------------------------------------------ AAAI-10 Tutorial Program Cochairs * Russell Greiner Department of Computing Science University of Alberta Edmonton, Alberta Canada T6G 2E8 780-492-5461 780-492-1071 (fax) russ.greiner+Tutorial at gmail.com * Thomas Lukasiewicz Oxford University Computing Laboratory Wolfson Building, Parks Road Oxford OX1 3QD, UK 0044-1865-522566 0044-1865-273839 (fax) Thomas.Lukasiewicz at comlab.ox.ac.uk For further information about the AAAI-10 tutorial forum, please see http://www.aaai.org/Conferences/AAAI/2010/aaai10tutorialcall.php For information about AAAI-10 in general, visit http://www.aaai.org/Conferences/AAAI/aaai10.php From ruy at cin.ufpe.br Mon Oct 26 13:36:38 2009 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Mon, 26 Oct 2009 10:36:38 -0200 Subject: WoLLIC 2010 - 2nd Call for Papers Message-ID: *(please circulate; apologies for any cross-postings)* * * *WoLLIC 2010 17th Workshop on Logic, Language, Information and Computation * *July 6th to 9th, 2010 * *Universidade de Brasília, Brasília, Brazil* *Scientific Sponsorship* *Interest Group in Pure and Applied Logics (IGPL )* *The Association for Logic, Language and Information (FoLLI )* *Association for Symbolic Logic (ASL )* *European Association for Theoretical Computer Science (EATCS )* *Sociedade Brasileira de Computação (SBC )* *Sociedade Brasileira de Lógica (SBL )* *Funding* (tbc) *Special: A screening of I want to be a mathematician: A conversation with Paul Halmos * *Organisation* *Department of Mathematics , Universidade de Brasília , Brazil Centro de Informática , Universidade Federal de Pernambuco , Brazil * ------------------------------ Call for PapersWoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to 9th, 2010. It is sponsored by theAssociation for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Special Event* 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book *Naïve Set Theory* by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos"http://zalafilms.com/films/halmos.html *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2010 EasyChair website. (Please go to http://wollic.org/wollic2010/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by February 28, and the full paper by March 7 (firm date). Notifications are expected by April 12, and final papers for the proceedings will be due by May 3 (firm date). *Proceedings* The proceedings of WoLLIC 2010, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series (TBC). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2010 issue of a scientific journal (soon to be announced). *Invited Speakers* *Marcelo Finger* *Michiel van Lambalgen* *Johann (Janos) Makowsky* *Sebastiaan Terwijn * *Student Grants* ASL sponsorship of WoLLIC 2010 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2010). See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* February 28, 2010: Paper title and abstract deadline March 7, 2010: Full paper deadline (firm) April 12, 2010: Author notification May 3, 2010: Final version deadline (firm) *Programme Committee* *Verónica Becher* (Buenos Aires) *Raffaella Bernardi* (Bolzano) *Ricardo Bianconi* (São Paulo) *Vasco Brattka* (Cape Town) *Balder ten Cate* (ENS, Cachan) *Bob Coecke* (Oxford) *Adriana Compagnoni* (Stevens) *Marcelo Coniglio* (Campinas) *Anuj Dawar* (Cambridge), chair *Valentin Goranko* (Copenhagen) *Masahito Hasegawa* (Kyoto U, Japan) *Rosalie Iemhoff* (Utrecht) *Makoto Kanazawa* (National Institute of Informatics, Japan) *Giuseppe Longo* (CNRS & ENS, Paris) *Mike Mislove* (Tulane) *Michael Norrish* (NICTA, Canberra) *Bart Selman* (Cornell) *Scott Weinstein* (Penn) *Organising Committee* Mauricio Ayala-Rincon (U Brasília, Brazil) (co-chair) Flávio L. C. Moura (U Brasília, Brazil) Claudia Nalon (U Brasília, Brazil) Anjolina G. de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2010/ Steering committeeSamson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at yahoo.com Mon Oct 26 18:24:39 2009 From: evomusart at yahoo.com (Penousal Machado) Date: Mon, 26 Oct 2009 10:24:39 -0700 (PDT) Subject: Last Call For Papers: EvoMUSART 2010 - 8th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design Message-ID: <277407.7523.qm@web59415.mail.ac4.yahoo.com> EvoMUSART 2010 8th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design 7-9 April, 2010, Istanbul, Turkey http://www.evostar.org ---------------------------------------------------------------------- INTRODUCTION ---------------------------------------------------------------------- EvoMUSART 2010 is the eighth European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design. Following the success of previous editions and the growth of interest in the field, the main goal of EvoMUSART 2010 is to bring together researchers who are using biologically inspired techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in this area. EvoMUSART 2010 will be held from 7-9 April, 2010 in Istanbul, Turkey as part of the European Conference on the Applications of Evolutionary Computation, EvoApplications 2010. Accepted papers will be presented orally at the conference and included in the EvoApplications proceedings, published by Springer Verlag in the Lecture Notes in Computer Science series. EvoMUSART 2010 important dates are: Submission deadline: November 4, 2009 Conference: 7-9 April, 2010 ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- The papers should concern the use of bio-inspired techniques (Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, etc.) in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: - Generation o Biologically Inspired Design and Art-Making Systems that create drawings, images, animations, sculptures, poetry, text, objects, designs, webpages, buildings, etc.; o Biologically Inspired Sound-Generators and Music-Systems that create music, aggregate sound, or simulate instruments, voices, effects, etc; o Robotic Based Evolutionary Art and Music; o Other related generative techniques; - Theory o Computational Aesthetics, Emotional Response, Surprise, Novelty; o Representation techniques; o Comparative analysis and classification; o Validation methodologies; o New biologically inspired computation models in art, music and design; - Computer Aided Creativity o New ways of integrating users into evolutionary computation art and music frameworks; o Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; o Collaborative distributed artificial art environments; - Automation o Techniques for automated fitness assignment; o Systems that exploit biologically inspired computation to analyze artistic objects and artifacts; ---------------------------------------------------------------------- ADDITIONAL INFORMATION AND SUBMISSION DETAILS ---------------------------------------------------------------------- Submit your manuscript, at most 10 A4 pages long, in Springer LNCS format no later than November 4, 2009. Formatting instructions available at: http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 The papers will be peer reviewed by at least three members of the program committee. Authors will be notified via email on the results of the review by 6 January 2009. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts, along with text sources and pictures, by 10 January 2010. The accepted papers will appear in the event proceedings, published in Springer LNCS Series, which will be available at the event. Further information, including the Online Submission Details, can be found on the following pages: Evo*2010: http://www.evostar.org EvoMUSART2010: http://dces.essex.ac.uk/research/evostar/evomusart.html ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- Submission: 4 November 2009 EvoMUSART: 7-9 April 2009 ---------------------------------------------------------------------- PROGRAMME COMMITTEE ---------------------------------------------------------------------- Alain Lioret, Paris 8 University, France Alan Dorin, Monash University, Australia Alejandro Pazos, University of A Coruna, Spain Amilcar Cardoso, University of Coimbra, Portugal Amy K. Hoover, University of Central Florida, USA Andrew Gildfind, Google, Inc., Australia Andrew Horner, University of Science & Technology, Hong Kong Anna Ursyn, University of Northern Colorado, USA Antonino Santos, University of A Coruna, Spain Artemis Sanchez Moroni, Renato Archer Research Center, Brazil Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carlos Grilo, Instituto Politécnico de Leiria, Portugal Christian Jacob , University of Calgary, Canada Colin Johnson, University of Kent, UK Craig Kaplan, University of Waterloo, Canada David Hart, Independent Artist, USA Eduardo Miranda, University of Plymouth, UK Eleonora Bilotta , University of Calabria, Italy Erwin Driessens, Independent Artist, Netherlands Gary Nelson, Oberlin College, USA Gerhard Widmer, Johannes Kepler University Linz, Austria Hans Dehlinger, Independent Artist, Germany James McDermott, University of Limerick, Ireland Jon McCormack, Monash University, Australia Jonatas Manzolli , UNICAMP, Brasil Jorge Tavares, University of Coimbra, Portugal Juan Romero, University of A Coruna, Spain Kenneth O. Stanley, University of Central Florida, USA Luigi Pagliarini, Pescara Electronic Artists Meeting & University of Southern Denmark, Italy Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Mauro Annunziato, Plancton Art Studio, Italy Nicolas Monmarché, University of Tours, France Oliver Bown, Monash University, Australia Pablo Gervás, Universidad Complutense de Madrid , Spain Palle Dahlstedt, Göteborg University, Sweden Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa , Portugal Peter Bentley, University College London , UK Philip Galanter, Texas A&M College of Architecture, USA Rafael Ramirez, Pompeu Fabra University, Spain Rui Pedro Paiva, University of Coimbra, Portugal Ruli Manurung, University of Indonesia, Indonesia Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, Multimedia University, Malaysia Stefano Cagnoni, University of Parma, Italy Stephen Todd, IBM, UK Steve DiPaola, Simon Fraser University, Canada Tim Blackwell, Goldsmiths College, University of London, UK Vic Ciesielski, RMIT, Australia ---------------------------------------------------------------------- EvoMUSART CHAIRS ---------------------------------------------------------------------- Penousal Machado University of Coimbra, Portugal Machado AT dei DOT uc DOT pt Gary Greenfield University of Richmond, USA ggreenfi AT richmond DOT edu From jsabater at iiia.csic.es Tue Oct 27 12:17:41 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Tue, 27 Oct 2009 12:17:41 +0100 Subject: [AAMAS 2010] - Call for Demonstrations Message-ID: <3680624002721530226854@Galvatron> AAMAS 2010 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 tarak.chaari at redcad.org Thu Oct 29 08:22:11 2009 From: tarak.chaari at redcad.org (Tarak CHAARI) Date: Thu, 29 Oct 2009 08:22:11 +0100 (CET) Subject: [NOTERE'2010] Call for workshops (update) Message-ID: <20091029072211.97A94FD442@bechirzalila.dyndns.org> --------------------------------------------------------------------------- NOTERE'2010: Call for workshops --------------------------------------------------------------------------- The 10th annual international conference on new distributed systems technologies (NOTERE) will be held in Tunisia (Tozeur) from 31 may to 2 june 2010. In conjunction with this event, researchers and practitioners are invited to submit proposals for workshops on specific topics related to those of the main conference (http://notere2010.redcad.org/eng/index.html). The possible dates for the workshops are 29 and 30 may. The workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers. Workshops may be full-day or half-day. A full-day workshop should select 12-16 regular papers, while a half-day workshop should select 6-8 regular papers, from a reasonable number of submissions. Each workshop subject will focus on new research challenges and technologies in distributed systems. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in the distributed systems field. Proposals for workshops should contain: * A title and a brief description of the workshop topic and content * The desired workshop length (a half or a full day). * The names, postal addresses, phone numbers, and email addresses of the organizers, with short statements of their research interests and areas of expertise. * A list of potential members of the program committee, with an indication of which members have already agreed. * A description of any shared tasks associated with the workshop. * A description of special requirements for technical needs. ----------------- Important dates: ----------------- * Workshop proposals due: November 15, 2009 * Notification of acceptance: November 22, 2009 * Workshop website and complete CfP due: December 15, 2009 * Paper submission, notification and camera-ready deadlines are to be fixed by the workshops organizers * Workshops Days: May 29-30, 2010 ------------------------- General issues: (updated) ------------------------- * The accepted papers in the workshops will be included in the main conference proceedings. * The accepted papers in the workshops THAT ARE WITTEN IN ENGLISH will be published in IEEE Xplore. * For further information, please do not hesitate to contact the NOTERE'2010 workshops chair (tarak.chaari at redcad.org) From jsabater at iiia.csic.es Thu Oct 29 10:14:55 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Thu, 29 Oct 2009 10:14:55 +0100 Subject: Call For Nominations -- 2010 ACM SIGART Autonomous Agents Research Award Message-ID: <1036623960321526815156@Galvatron> Call For Nominations -- 2010 ACM SIGART Autonomous Agents Research Award ACM SIGART, in collaboration with the International Conference on Autonomous Agents, has instituted an annual award for excellence in research in the area of autonomous agents. Award winners will receive an honorarium and will be invited to give a talk at the annual Autonomous Agents and Multi-Agent Systems (AAMAS) Conference, which in 2010 will be held in Toronto, Canada, May 10-14. This award is specifically intended to recognize researchers whose current research is influencing the field of autonomous agents and multi-agent systems. Candidates will be evaluated based on the quality, significance, and impact of their research contributions. It is usually expected that at least some of these contributions should have been reported at one or more Autonomous Agents or AAMAS conferences, although this is not an absolute requirement. Previous winners of the SIGART Autonomous Research Award were Manuela Veloso (2009), Yoav Shoham (2008), Sarit Kraus (2007). Michael Wooldridge (2006), Milind Tambe (2005), Makoto Yokoo (2004), Nick Jennings (2003), Katia Sycara (2002), and Tuomas Sandholm (2001). The award committee is now seeking nominations for the 2010 award. *** Nominations should be submitted by email to the Awards Committee Chair, Sarit Kraus (sarit at cs.biu.ac.il) The nomination should specify: -- Name of person being nominated; -- Name and contact information for the person making the nomination; -- A statement describing why the nominee should be considered for the award. -- CV and publication list of the nominee. Nominations must be made no later than: December 16, 2009. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Thu Oct 29 14:17:12 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Fri, 30 Oct 2009 02:17:12 +1300 Subject: Posters and Demos on Sensor Neworks and Ambient Intelligence: submission extended to November 10 Message-ID: <003801ca589a$240d26d0$43ab5a79@yourbbc104cd11> -------------------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2009) -------------------------------------------------------------------------------------------- In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Calls for Posters and Demos Kindly be informed that this year SeNAmI is also soliciting for posters and demos, and the submission due date has been extended to November 10, 2009. For this poster/demo session, there will be a best poster/demo award, courtesy of the Global COE (Centers of Excellence) Program for Founding Ambient Information Society Infrastructure of the Graduate School of Information Science and Technology, Osaka University, Japan. In addition, for authors who have already registered for a paper in the main conference (PDCAT) or its affiliated workshops, a partial reimbursement of the registration fee for each poster/demo paper has been negotiated. For further details, please visit: http://www.aut.ac.nz/study-at-aut/study-areas/engineering/senaml-2009/posters-and-demos Best regards, Boon-Chong Seet (Dr) Program Chair, SeNAmI 2009 From cfp.kes2010 at kesinternational.org Fri Oct 30 17:21:50 2009 From: cfp.kes2010 at kesinternational.org (KES 2010) Date: Fri, 30 Oct 2009 17:21:50 +0100 (MET) Subject: KES2010 Call For Papers Message-ID: <200910301621.n9UGLo7i012775@post.webmailer.de> ****************************************************************************************************** KES2010 14TH INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS, 8, 9 AND 10 SEPTEMBER 2010, CARDIFF, UK ****************************************************************************************************** We are pleased to invite participation in KES2010 organised by the School of Engineering at Cardiff University, in conjunction with KES International. ****************************************************************************************************** SCOPE OF THE CONFERENCE GENERIC TOPICS OF INTEREST Knowledge-Based Systems, Expert Systems, Cognitive Systems, Neural Networks, Artificial Immune Systems, Fuzzy Techniques and Systems, Genetic Algorithms and Evolutionary Computing, Hybrid Intelligent Systems, Intelligent Agents and Multi-Agent Systems, Self organizing and complex systems, Knowledge Discovery and Data Mining, Data Analysis and Pattern Recognition, Machine Learning, Bayesian Networks, Knowledge Representation and Management, Computational neuroscience, Planning, Spatial & Temporal Reasoning, Knowledge Acquisition, Semantic-Based Systems. INTELLIGENT APPLICATIONS Industrial Control, Monitoring and Planning, Intelligent Web-based Systems, Fault Diagnosis, Robotics, Image Processing, Machine & Computer Vision, Medical & Diagnostic Systems, Financial & Stock Market Monitoring and Prediction, Speech Processing and Synthesis, Natural Language Processing, Environmental Monitoring, Power Electronics & Drives, High Voltage Systems, Engine Control and Vehicle Applications, Signal and Time Series Processing, Wavelets. EMERGENT INTELLIGENT TECHNOLOGIES Pervasive Computing, Intelligent Web Personalization, Ubiquitous Computing, Context-aware and Affective (Emotional) Computing, Mobile Computing and Systems, Business Intelligence Systems, Human-centered Computing, Intelligent User Interfaces, Cognitive Interfaces, User profiling, Evolvable Hardware, DNA Computing, Immunocomputing, Artificial Life, Bioinformatics using Intelligent & Machine Learning Techniques, Micro array Data Analysis, Intelligent Tutoring Systems, Artificial Intelligence and Information Agents on the Internet, E-commerce/E-business and E-learning, Semantic Web, Intelligent Web Mining & Applications, Virtual Reality & Multi- Media Intelligent Information Systems, Blind Source Separation. ****************************************************************************************************** CALL FOR PAPERS Contributions are invited from prospective authors with interests in the indicated conference topics and related areas of application. Papers will be thoroughly reviewed by the International Program Committee, and may be accepted for oral or poster presentation. The conference proceedings will be published by Springer in LNCS/LNAI. Extended versions of selected papers will be considered for publication in the KES Journal. CALL FOR TRACK/SUBJECT CHAIRS Experienced researchers in the field are invited to chair wide scope tracks covering the various facets of the Intelligent Systems, taking responsibility for overseeing the paper review process within their domain of expertise. Please contact the conference Secretariat outlining your experience and area of expertise if you would like to contribute as a Subject Chair. CALL FOR INVITED SESSIONS AND WORKSHOPS We invite researchers on hot topics and fresh ideas in the field to organize invited sessions, or parallel workshops of a half or full day, gathering a minimum of six papers. Please, contact the Conference Secretariat enclosing the title and content of the proposed session, and tentatively involved research teams. We also welcome suggestions for other activities that will appeal to our delegates. ****************************************************************************************************** DEADLINES GENERAL SESSIONS Submission of papers: 1 March 2010 Notification of acceptance: 1 April 2010 Final paper to be received by: 1 May 2010 SPECIAL SESSIONS Proposal for Invited Sessions/Workshops as soon as possible. Session/Workshop Chair sets submission deadlines Final paper to be received by: 1 May 2010 All presenting authors must register and pay the conference fee by 1 May 2010 for their papers to appear in the proceedings All deadlines and other details are provisional at the stage ****************************************************************************************************** ORGANISATION KES2010 General Chair: R. Setchi, Cardiff University, UK KES2010 General Co-Chair: L. C. Jain, University of South Australia KES2010 Executive Chair: R. J. Howlett, KES International KES2010 Chair of the Organising Committee: Y. Hicks, Cardiff University, UK KES2010 Chair of Publicity: Diman Todorov, Cardiff University, UK ****************************************************************************************************** From symposium at hni.upb.de Fri Oct 30 18:29:24 2009 From: symposium at hni.upb.de (8th International Heinz Nixdorf Symposium) Date: Fri, 30 Oct 2009 18:29:24 +0100 Subject: REMINDER - Call for papers: 8th International Heinz Nixdorf Symposium 2010, Deadline approaching: Nov 15 Message-ID: <011301ca5986$870fa680$952ef380$@upb.de> Reminder - Call for Papers - 8th International Heinz Nixdorf Symposium *** Apologies for cross-postings *** 8th International Heinz Nixdorf Symposium "Advanced Manufacturing and Sustainable Logistics" April 21-22, 2010 Paderborn, Germany http://wwwhni.uni-paderborn.de/symposium2010 ************************ CALL FOR PAPERS ************************ We are pleased to announce the Call for Papers for the 8th International Heinz Nixdorf Symposium "Advanced Manufacturing and Sustainable Logistics". Current research and innovative approaches from industry regarding issues of production logistics will be in the focus of the two-day symposium. Furthermore, we plan to examine selected special topics from production logistics more closely. Feel free to forward this information to your colleagues. ************************ CONFERENCE ************************ The Heinz Nixdorf Symposium is an established biannual event of the Heinz Nixdorf Institute during which researchers and practitioners come together to present challenges from industry, discuss contributions from research institutions and develop novel solution approaches. The 8th International Heinz Nixdorf Symposium will take place on April 21–22 in Paderborn, Germany. On April 21, distinguished professors and senior executives from large manufacturing and logistics companies will deliver invited speeches. On April 22, contributions are invited from both researchers and practitioners in the fields of manufacturing, logistics and supply chain management. Papers can be submitted to any of the six conference tracks. ************************ TRACKS ************************ Topics can include but are not limited to: Track 1: Production Logistics I (Chair: Prof. Dr.-Ing. Egon Müller): Design of dynamic production and logistics networks, Integrated design of products and production systems, Late product differentiation, Lean supply chain management, Mobile network structures, Optimization of procurement and customer service level Track 2: Production Logistics II (Chair: Prof. Dr. Dirk Van Oudheusden) Artificial intelligence and multi-agent systems, Autonomous decentralized schedule execution, Hierarchical agent-based control, Integration of production and in-bound logistics, Supply chain event and risk management, Uncertainties in production and logistics processes, Ontologies for productions and logistics Track 3: Industrial Engineering (Chair: Prof. Dr.-Ing. Gert Zülch) Knowledge management in supply chains, Rapid manufacturing and workforce involvement, Reorganization of work structures at variant diversity, Resilient logistics and production planning, Working time models under volatile demand Track 4: Operations Research Techniques (Chair: Prof. Dr. Leena Suhl) Green strategies, Online planning / optimization with rolling horizon, Optimization in large networks Robustness and flexibility of transport schedules, Sustainable supply chain management Track 5: Simulation (Chair: Prof. Dr.-Ing. Sigrid Wenzel) Graphical parameter interfaces, Integration of mathematical programming and simulation, Online integration in production environments, Simulation as training tool set, Simulation-based decentralized real-time control Track 6: Humanitarian Logistics (Chair: Alexander Blecken) Operations research and humanitarian logistics, Performance measurement, Collaboration and coordination of actors, Modeling humanitarian operations, Supply chain planning in humanitarian supply chains ************************ SUBMISSIONS ************************ Authors should submit papers that have not yet been submitted for publication elsewhere. All papers are subject to double-blind reviews. Submitted papers (up to 12 pages) may be accepted as full or short papers. All accepted papers will be published in the Lecture Notes in Business Information Processing (LNBIP) series of Springer Verlag. Please follow carefully the instructions provided on our website. Further information can be found on the LNBIP authors website. All submissions need to be made through our online conference management system. If you have any questions or need assistance, please do not hesitate to contact us. ************************ DEADLINES ************************ Submission of Papers: November 15, 2009 Notification of Acceptance: December 22, 2009 Submission of Camera-Ready Version: February 7, 2010 8th International Heinz Nixdorf Symposium: April 21–22, 2010 ************************ ORGANIZATION ************************ Heinz Nixdorf Institute Prof. Dr.-Ing. habil. Wilhelm Dangelmaier Fuerstenallee 11 33102 Paderborn, Germany Further information about the symposium and instructions for authors can be found at: http://wwwhni.upb.de/symposium2010 E-mail: symposium at hni.upb.de Phone: +49 5251 60 64 79 / 64 84 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From elhadi.shakshuki at gmail.com Sat Oct 31 01:19:49 2009 From: elhadi.shakshuki at gmail.com (Elhadi Shakshuki) Date: Fri, 30 Oct 2009 21:19:49 -0300 Subject: CFPs: ANT-2010 Message-ID: <4aeb82b1.0407c00a.23b0.ffffa284@mx.google.com> C A LL F O R P A P E R S The International Conference on Ambient Systems, Networks and Technologies (ANT-2010) 26-28 July, 2010 Wolfville, Nova Scotia, Canada Conference Website: http://www.acadiau.ca/ant10/home.php **************************************************************************** ********* IMPORTANT DATES ---------------- • Full Paper Submission: January 10, 2010 • Acceptance Notification: March 15, 2010 • Camera-Ready Submission: May 01, 2010 • Conference Days: July 26-28, 2010 The International Conference on Ambient Systems, Networks and Technologies (ANT-2010) is a leading international conference which provides an international forum for researchers, developers and practitioners from academia, industry, and government to address research challenges and to present and discuss research ideas, developments and experiences related to the ambient systems infrastructure, models, and technologies. The general aim of ambient systems is to provide an environment wherein computing devices exist anywhere and everywhere. In such systems mobile and embedded computing devices form ad hoc collaboration using different communication networks (e.g., wireless networks, RFID, etc) in order to share and exchange information and provide services. Ambient systems pose new research challenges due to the open and unreliable nature of the environment and the complexity and heterogeneity of the computing devices and the underlying communication networks. These characteristics challenge traditional techniques and demand new ways of approaching the problems related to the ambient systems. TOPICS OF INTEREST ----------------------------- Prospective authors are invited to submit papers to the following research tracks. Details on topics of each track are available at the conference website. - Ambient-oriented Autonomic Networks and Communications - Ambient Systems Software Engineering - Ambient Systems Security and Privacy - Distributed Ambient Artificial Intelligence - Emerging Ambient Networking, Tracking and Sensing Technologies - Multimodal Interfaces for Ambient Systems - Service Oriented Computing for Ambient Systems & Applications - Smart Environments and Applications in Ambient Systems PUBLICATION ------------------- Papers accepted for the conference will be published in the proceedings of Communications in Computer and Information Science series, Springer. Selected papers will be invited for possible publication, in the special issues of: (1) Journal of Ambient Intelligence and Humanized Computing http://www.springer.com/engineering/journal/12652 (2) Journal of Service Oriented Computing and Applications http://www.springer.com/computer/communications/journal/11761 (3) Journal of Multiagent and Grid Systems http://www.iospress.nl/loadtop/load.php?isbn=15741702 (4) Journal of Personal and Ubiquitous Computing http://www.springer.com/computer/user+interfaces/journal/779 PAPER SUBMISSION GUIDELINE -------------------------------------------- Submitted technical papers must be no longer than 10 pages for full papers and 6 pages for short papers including all figures and references, and must be formatted according to Springer guidelines. http://www.springer.com/series/7899 COMMITTEES ------------------ General Chairs Nick Cercone, York University, Canada Makoto Takizawa, Seikei University, Japan Program Chairs Muhammad Younas, Oxford Brookes University, UK Elhadi Shakshuki, Acadia University, Canada David Taniar, Monash University, Australia Advisory Committee Albert Zomaya, The University of Sydney, Australia Ali Ghorbani, University of New Brunswick, Canada Erol Gelenbe, Imperial College, UK Katia Sycara, Carnegie Mellon University, USA Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Sajal K. Das, The University of Texas at Arlington, USA Vincenzo Loia, University of Salerno, Italy Program vice Chairs Agustinus Waluyo, Institute for Infocom Research, Singapore Arantza Aldea, Oxford Brookes University, UK Jamal Bentahar, Concordia University, Canada Jiang Li, Howard University, USA Kevin Curran, University of Ulster, Ireland Khaled Ali, Ottawa University, Canada Markus Aleksy, ABB Corporate Research Center, Germany Rainer Unland, University of Duisburg-Essen, Germany Soraya Kouadri Mostéfaoui, The Open University, UK Soumaya Cherkaoui, Université de Sherbrooke, Canada Takahiro HARA, Osaka University, Japan Tarek Sheltami, KFUPM, Saudi Arabia Tom Lunney, University of Ulster, Ireland Tomoya Enokido, Risho University, Japan Wenny Rahayu, La Trobe University, Australia Zakaria Maamar, Zayed University, UAE Local Arrangement Committee Daniel Silver, Acadia University, Canada Darcy Benoit, Acadia University, Canada Darrell Crooks, Acadia University, Canada Duane Currie, Acadia University, Canada Elaine Schofield, Acadia University, Canada Karen Wilder, Acadia University, Canada Richard Cunningham, Acadia University, Canada Steering Committee Elhadi Shakshuki, Acadia University, Canada Ismail Khalil, Johannes Kepler University Linz Austria Awards Chairs Mieso Denko, Guelph University, Canada Rachid Anane, Coventry University, UK Publicity Chairs Eric Pardede, La Trobe University, Australia Jason Gu, Dalhousie University, Canada Contacts ---------- Muhammad Younas, Oxford Brookes University, UK Email: m.younas at brookes.ac.uk Elhadi Shakshuki, Acadia University, Canada Email: elhadi.shakshuki at acadiau.ca David Taniar, Monash University, Australia Email: david.taniar at infotech.monash.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pierregrenon at gmail.com Sat Oct 31 12:10:46 2009 From: pierregrenon at gmail.com (Pierre Grenon) Date: Sat, 31 Oct 2009 11:10:46 +0000 Subject: CFP: InterOntology10, Tokyo, Feb. 27-28 2010 (Deadline: 5 Dec 2009) Message-ID: CALL FOR PAPERS 3RD INTERDISCIPLINARY ONTOLOGY CONFERENCE TOKYO, JAPAN February 27-28, 2010 The increasingly important role played by ontology in addressing the data integration needs of government, science and industry has brought a growing interest in the methods, tools and resources of ontology research and applications. The goal of the Interdisciplinary Ontology Conference of the Japanese Center for Ontological Research (JCOR) is to address the need for an international forum in the ontology domain and to provide a forum for the exchange of ideas and state-of-the-art technologies among researchers from around the world in ontology and related fields. The conference is co-sponsored by the Japanese Government’s Ministry of Education and Science (MEXT) under the framework of the Open Research Center on Logic and Formal Ontology of Keio University, and by the US National Center for Ontological Research (NCOR) and by the International Association for Ontology and Its Applications (IAOA), and features a special session on Biomedical Ontology, jointly organized with the (US) National Center for Biomedical Ontology. Disciplines represented will include computer science, logic and philosophy, as well as a variety of application domains. The conference consists of invited lectures and sessions consisted of peer reviewed papers which will be included in the on-site volume of Proceedings, which will also be distributed as a post-conference publication. Papers may address a wide variety of issues relating to ontology and its applications. Papers should be at most 12 pages long (including figures and references) employing the Springer LNCS style (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). Submission instructions along with registration and logistics information will appear at the conference website http://abelard.flet.keio.ac.jp/ontology/index.php?InterOntology10 Invited speakers will include: Christopher Baker (University of New Brunswik, Canada) John Bateman (University of Bremen, Germany) Antony Galton (University of Exeter, United Kingdom) Important Dates: December 5: Deadline for submission of complete paper By January 7, 2009: Notification of acceptance January 28: Camera-ready copy due for on-site proceedings version February 27-28: Conference in Tokyo. The conference will begin at 9.30am on Saturday, and close at 6pm on Sunday. International Scientific Committee Riichiro Mizoguchi (Osaka University, Japan), Co-chair Barry Smith (University at Buffalo / NCOR, USA), Co-chair Christopher J. O. Baker (University of New Brunswick, Canada) John Bateman (Bremen University, German / ECOR) Mathias Brochhausen (Institute for Formal Ontology and Medical Information Science, Saarland University, Germany / ECOR) Werner Ceusters (University at Buffalo / NCOR, U.S.) Ken Fukuda (Aist, Japan) (Tentative) Pierre Grenon (Open University, England) Mark Musen (Stanford University / NCBO, U.S.) Jun Nakaya (Tokyo Medical and Dental University, Japan) (Tentative) Hideaki Takeda (NII, Japan) Takahira Yamaguchi (Keio University, Japan) Local Organizing Committee Mitsuhiro Okada (Philosophy Department, Keio University), ORC Chair Hiromichi Fukui (Integrated Policy Department, Keio University), ORC Co-Chair(Tentative) Tatsuya Hagino (Environmental-Information Science Department, Keio University) Sumio Nakagawa (Philosophy Department, Keio University), ORC Co-Chair Yutaro Sugimoto (Philosophy Department, Keio Univerisity) Takahira Yamaguchi (Computer Science Department, Keio University) For inquires please write to miz at ei.sanken.osaka-u.ac.jp