From hak at ca.ibm.com Mon Jan 4 13:03:24 2010 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Mon, 4 Jan 2010 04:03:24 -0800 Subject: CFP: RULE 2010 (Edinburgh, UK, July 14, 2010) In-Reply-To: References: Message-ID: [ H A P P Y N E W Y E A R 2010 ] ------------------------------------------------------------------------ [Although we try avoiding cross-posting, we apologize if that happens] ------------------------------------------------------------------------ RULE 2010 Call For Papers ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 This CFP' URL: http://www.di.uminho.pt/rule2010 (Workshop affiliated to FLoC 2010 as post-conference event of RTA 2010) With the renewed interest in rule-based computing for industrial applications (e.g., Business Rules) especially as it relates to the Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely to explore the practical benefits delivered by computing with rules and ontologies in the large. Thus, this year's theme will focus on rule-based programming in Industry and the Semantic Web. The emphasis will be on implemented systems that have been actually used in pragmatic situations where the advantages of rule-driven computation and inference have made all the difference, such advantages being: * agility * declarativeness * maintainability * documentability * scalability * meta-programmability * reliability * formal semantics * etc., ... In terms of the Semantic Web, we explicitly call for submissions that probe (in a pragmatic setting) how rule-based approaches complement ontology-based approaches, which share some of the characteristics of rule systems, such as declarativeness and formal semantics. PAPER SUBMISSION We are solliciting papers dealing with topics related to this year's theme discussing any or several of the itemized facets of the combinations of rules and ontologies, going beyond academic experiments and meant for large-scale or industrial applications. Papers should contain no more than 10 pages, including figures, and submitted through EasyChair using the standard EPTCS LaTeX style file. PROGRAM COMMITTEE * Hassan Aït-Kaci, IBM, Canada (co-chair) * Maria Alpuente, Universidàd de Valencia, Spain * Harold Boley, National Research Council, Canada * Mike Dean, BBN, USA * Mohand-Saïd Hacid, Université Claude Bernard, Lyon, France * Gary Hallmark, Oracle, USA * Pierre-Etienne Moreau, INRIA Nancy, France * Jeff Pan, University of Aberdeen, United Kingdom * Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair) * Eelco Visser, Delft University of Technology, The Netherlands DATES Submission opens: Monday, March 1, 2010 Submission ends: Friday, April 16, 2010, PC meets: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, Workshop venue RULE 2010 will be a satellite workshop of the conference on Rewriting Techniques and Applications (RTA 2010) affiliated to the Federated Logic of Computing conferences (FLoC 2010), to take place in Edinburgh, UK, July 9-21, 2010. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Mon Jan 4 15:45:42 2010 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Mon, 4 Jan 2010 15:45:42 +0100 Subject: [AAMAS 2010] - Call for Demonstrations Message-ID: <360624002721897127561@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 wjamroga at in.tu-clausthal.de Mon Jan 4 19:22:05 2010 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Mon, 04 Jan 2010 19:22:05 +0100 Subject: 1st Call for Papers: LAMAS @ AAMAS 2010 Message-ID: <4B4231CD.2040209@in.tu-clausthal.de> [With apologies for multiple copies] 1st Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2010 *** (satellite workshop of AAMAS 2010) May 10, 2010, Toronto, Canada http://icr.uni.lu/lamas/ Call for Papers INTRODUCTION There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. This workshop is planned to serve two mutually supporting purposes. First, it will be used as a conference workshop, hosting presentation, exchange, and publication of original research ideas. Secondly, we would like to discuss the possibility of setting up a long-term coordination structure for scientists working in logical aspects of MAS. In the long run, LAMAS can play the role of a regular meeting for that structure. The workshop is intended to cover the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Deductive systems for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Applications of logics in MAS. SUBMISSION We encourage submission of papers reporting original unpublished research. Position papers and visionary work in progress can also be submitted. Submissions should be anonymous (subject to double-blind reviewing procedure), and not exceeding 15 pages in the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html . Each submission will be reviewed by at least 2 Program Committee members. PROCEEDINGS AND POST-PROCEEDINGS All the accepted papers will appear in the informal workshop proceedings (published together with the AAMAS proceedings). We envisage that selected papers will be invited to a special issue of JANCL (Journal of Applied Non-Classical Logics). INVITED SPEAKER Wiebe van der Hoek, University of Liverpool, UK IMPORTANT DATES Paper submission: February 2, 2010 Author notification: March 2, 2010 Camera-ready deadline: March 19, 2010 Workshop: May 10, 2010 ORGANIZATION AND CONTACT The workshop is organized by Valentin Goranko, Technical University of Denmark, and Wojtek Jamroga, University of Luxembourg. In case of questions, do not hesitate to contact us at vfgo at imm.dtu.dk or wojtek.jamroga at uni.lu . From baojie at gmail.com Tue Jan 5 03:45:44 2010 From: baojie at gmail.com (Jie Bao) Date: Mon, 4 Jan 2010 21:45:44 -0500 Subject: 2nd CFP - 4th Int. Workshop on Modular Ontologies (WoMO) - Submission deadline: Jan 29, 2010 Message-ID: ========================================================= 4th Int. Workshop on Modular Ontologies (WoMO) Toronto, Canada, May 11, 2010 held in conjunction with FOIS 2010 --- 2nd Call for Papers --- Submission deadline: January 29, 2010 ========================================================= http://www.informatik.uni-bremen.de/~okutz/womo4 INVITED SPEAKERS Simon Colton, Imperial College London Marco Schorlemmer, Artificial Intelligence Research Institute, Barcelona 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.easychair.org/conferences/?conf=womo2010 ). 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) Faezeh Ensan (Faculty of Computer Science, University of New Brunswick, Canada) Fred Freitas (Universidade Federal de Pernambuco, 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 Honavar (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 (School 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 bechir.zalila at enis.rnu.tn Tue Jan 5 09:55:06 2010 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Tue, 5 Jan 2010 09:55:06 +0100 (CET) Subject: NOTERE'2010: 3rd Call for Papers :: Special Issues Message-ID: <20100105085506.2F89CFD4E1@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. --------------- Special Issues --------------- Two special issues are planned (the Wiley Concurrency and Computation: Practice and Experiment Journal and the Springer Journal of Supercomputing) to publish a selection of best papers of Notere'2010 and the associated workshops. One special issue will be devoted to contributions addressing models, methods, protocols, architectures for communication and cooperation. The other issue will be devoted to contributions handling methods, models, software, and architectures for distribution. ----------- 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 PDF format. Maximum paper length will be 8 printed pages, including figures 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 tsd2010 at tsdconference.org Tue Jan 5 13:33:21 2010 From: tsd2010 at tsdconference.org (TSD 2010) Date: Tue, 05 Jan 2010 13:33:21 +0100 Subject: TSD 2010 Preliminary announcement Message-ID: ********************************************************* TSD 2010 - FIRST CALL FOR PAPERS ********************************************************* Eleventh International Conference on TEXT, SPEECH and DIALOGUE (TSD 2010) Brno, Czech Republic, 6-10 September 2010 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TOPICS Topics of the conference will include (but are not limited to): text corpora and tagging transcription problems in spoken corpora sense disambiguation links between text and speech oriented systems parsing issues parsing problems in spoken texts multi-lingual issues multi-lingual dialogue systems information retrieval and information extraction text/topic summarization machine translation semantic networks and ontologies semantic web speech modeling speech segmentation speech recognition search in speech for IR and IE text-to-speech synthesis dialogue systems development of dialogue strategies prosody in dialogues emotions and personality modeling user modeling knowledge representation in relation to dialogue systems assistive technologies based on speech and dialogue applied systems and software facial animation visual speech synthesis Papers on processing languages other than English are strongly encouraged. PROGRAM COMMITTEE Frederick Jelinek, USA (general chair) Hynek Hermansky, Switzerland (executive chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Attila Ferencz, Romania Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, Czech Republic Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Ernst G. Schukat-Talamazzini, Germany Pavel Skrelin, Russia Pavel Smrz, Czech Republic Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2008 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 1500 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings.) Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of the demonstration should provide the abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 13 2010 ............ Submission of abstract March 20 2010 ............ Submission of full papers May 13 2010 .............. Notification of acceptance May 31 2010 .............. Final papers (camera ready) and registration July 25 2010 ............. Submission of demonstration abstracts July 30 2010 ............. Notification of acceptance for demonstrations sent to the authors September 6-10 2010 ...... Conference date Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 3-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Dana Hlavackova, TSD 2010 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 33 29 fax: +420-5-49 49 18 20 email: tsd2010 at tsdconference.org The official TSD 2010 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000. The city is the country's judiciary and trade-fair center. Brno is the capital of Moravia, which is in the south-east part of the Czech Republic. Brno had been a Royal City since 1347 and with its six universities it forms also a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, Barcelona and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, some nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From geoff at cs.miami.edu Tue Jan 5 16:32:08 2010 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 5 Jan 2010 10:32:08 -0500 (EST) Subject: CSL 2010 - 1st Call for Papers Message-ID: <20100105153208.E179811FB02@mcclellan.cs.miami.edu> CSL 2010 First Call for Papers The Annual Conference of the European Association for Computer Science Logic August 23-27, 2010, Brno, Czech Republic http://www.mat.uc.pt/~csl/ Submission (title & abstract): March 26, 2010 Notification: May 17, 2010 Submission (full paper): April 2, 2010 Final papers: June 6, 2010 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) are federated and organized in parallel at the same place. The federated MFCS & CSL 2010 conference has common plenary sessions and social events for all participants. The technical program and proceedings of MFCS 2010 and CSL 2010 are prepared independently. The MFCS & CSL 2010 conference is accompanied by satellite workshops on more specialized topics. Suggested topics of interest include (but are not limited to) automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, nonmonotonic reasoning. Proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of the LNCS series. Each paper accepted by the Programme Committee must be presented at the conference by one of the authors, and a final copy must be prepared according to Springer's guidelines. Submitted papers must be in Springer's LNCS style and of no more than 15 pages, presenting work not previously published. They must not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or journal by March 19, 2010. Papers authored or coauthored by members of the Programme Committee are not allowed. Papers will be submitted through the conference website. Submitted papers must be in English and provide sufficient detail to allow the Programme Committee to assess the merits of the papers. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the program committee. The Ackermann Award for 2010 will be presented to the recipients at CSL'10. *** Programme Committee Armin Biere (Linz) Lars Birkedal (ITU, Denmark) Nikolaj Bjorner (Redmond) Manuel Bodirsky (Paris) Mikolaj Bojanczyk (Warsaw) Iliano Cervesato (Doha) Krishnendu Chatterjee (Klosterneuburg) Agata Ciabattoni (Vienna) Anuj Dawar (Cambridge, co-chair) Azadeh Farzan (Toronto) Georg Gottlob (Oxford) Martin Hofmann (Munich) Orna Kupferman (Jerusalem) Christof Loeding (Aachen) Joao Marques-Silva (Dublin) Tobias Nipkow (Munich) Prakash Panangaden (Montreal) R. Ramanujam (Chennai) Simona Ronchi della Rocca (Torino) Alex Simpson (Edinburgh) Pascal Tesson (Quebec) Helmut Veith (Vienna, co-chair) Yde Venema (Amsterdam) *** CSL/MFCS Plenary Speakers David Basin (Zurich) Herbert Edelsbrunner (Klosterneuburg) Erich Gr�adel (Aachen) Joseph Sifakis (Gieres) *** CSL Invited Speakers Peter O'Hearn (London) Jan Krajicek (Prague) Andrei Krokhin (Durham) Andrey Rybalchenko (Munich) Viktor Kuncak (Lausanne) *** Organizing Committee Jan Bouda (Brno, chair) *** Conference address MFCSL 2010 Faculty of Informatics Masaryk University, Botanicka 68a, 60200 Brno Czech Republic mfcsl2010 at fi.muni.cz From robert at grid.chu.edu.tw Tue Jan 5 13:18:00 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Tue, 5 Jan 2010 20:18:00 +0800 Subject: Call for Papers - ICA3PP 2010, May 21-23, Busan, Korea Message-ID: <201001051218.o05CI0HD017798@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From reutelshoefer at informatik.uni-wuerzburg.de Tue Jan 5 22:18:15 2010 From: reutelshoefer at informatik.uni-wuerzburg.de (Jochen Reutelshoefer) Date: Tue, 05 Jan 2010 22:18:15 +0100 Subject: Call for Papers: 5th Workshop on Semantic Wikis (SemWiki2010) Message-ID: <4B43AC97.8060708@informatik.uni-wuerzburg.de> ***Call for Papers*** Fifth Workshop on Semantic Wikis Linking Data and People [SemWiki2010] co-located with ESWC 2010, Heraklion, Crete May 30 or May 31, 2010 http://www.semwiki.org/ Goals and Motivation ==================== Semantic wikis as social semantic software have the mission to gather humans and computers in order to build together the next wave of ontology driven collaboration platforms. The research has shifted from proofs of concept towards foundational research in large projects, commercially sold enterprise systems and real world use cases. Besides evaluations of such use cases, technical innovation and foundational research are still needed, as the large-scale application of semantic wikis has unveiled a number of research questions. The aim of this fifth SemWiki workshop is to exchange ideas, to discuss pressing research questions arising from practical usage of semantic wikis, and to explore integrations of wikis with other semantic web technologies. Topics ====== We address researchers working on (but not limited to): * Applications of semantic wikis in the fields of: - e-science and e-learning - software and knowledge engineering - enterprise workflows - knowledge management or personal knowledge management * Integration and reuse of semantic wikis or (semantic) wiki content: - integrations with other semantic applications and mashups - browsing and navigating - visualizing - editing linked open data - scaling wikis to the web - giving semantics to non-semantic wikis (e.g. Wikipedia) - reusing semantics gained from wikis (e.g. DBpedia) - interlinked and distributed semantic wikis - innovative plugins/extensions for existing systems (e.g. Semantic MediaWiki) * Human and social factors of semantic wikis: - usability studies - empirical studies - analyses of semantic wiki contributors and their contributions; - overcoming entrance barriers - giving incentives for contributing - connecting knowledge and social interaction - community building - from asynchronous interactions to real-time/multi-synchronous interactions in semantic wikis - privacy: permissions, trust, licensing, access control * Knowledge representation and reasoning in semantic wikis: - combining formal and informal knowledge - multimodal reasoning/strong reasoning support - transforming informal to formal knowledge - making formal knowledge accessible - on-line knowledge evaluation - coping with inconsistencies - change management, truth maintenance, versioning, and undoing semantic changes - utilizing emerging knowledge models - rapid prototyping of schema-driven applications - collaborative ontology engineering Organisation Committee ====================== * Christoph Lange, Jacobs University Bremen, Germany ch.lange at jacobs-university.de * Sebastian Schaffert, Salzburg Research, Austria sebastian.schaffert at salzburgresearch.at * Hala Skaf-Molli, INRIA-Nancy University, France skaf at loria.fr * Jochen Reutelshöfer, University of Würzburg, Germany reutelshoefer at informatik.uni-wuerzburg.de Programme Committee =================== # Sören Auer, Universität Leipzig (DE) # David Aumüller, Universität Leipzig (DE) # Joachim Baumeister, Universität Würzburg (DE) # Tobias Bürger, STI Innsbruck (AT) # Amélie Cordier, LIRIS, Université de Lyon (FR) # Björn Decker, Fraunhofer IESE (DE) # Alicia Díaz, La Plata University (AR) # Sebastian Dietzold, Universität Leipzig (DE) # Fred Durão, University of Aalborg (DK) # Michael Erdmann, Ontoprise (DE) # Fabian Gandon, INRIA - Edelweiss (FR) # Tudor Groza, DERI (IE) # Siegfried Handschuh, DERI (IE) # Martin Hepp, UniBW München (DE) # Guoqian Jiang, Mayo Clinic (US) # Malte Kiesel, DFKI (DE) # Jakub Kotowski, University of Munich (DE) # Markus Krötzsch, AIFB Karlsruhe (DE) # Tobias Kuhn, Universität Zürich (CH) # Thomas Kurz, Salzburg Research (AT) # Stefanie Lindstaedt, Know-Center Graz (AT) # Pascal Molli, Nancy University, INRIA (FR) # Christine Müller, Jacobs University Bremen (DE) # Claudia Müller-Birn, Carnegie Mellon University (US) # Grzegorz Nalepa, AGH University Krakow (PL) # Amedeo Napoli, CNRS, LORIA (FR) # Viktoria Pammer, Know-Center Graz (AT) # Alexandre Passant, DERI (IE) # Jean Rohmer, Thales (FR) # Marek Schmidt, Technical University of Brno (CZ) # Matthias Samwald, Semantic Web Company (AT) # Daniel Schwabe, University of Rio de Janeiro (BR) # Elena Simperl, STI Innsbruck (AT) # Rolf Sint, Salzburg Research (AT) # Katharina Siorpaes, STI Innsbruck (AT) # Harold Solbrig, Mayo Clinic (US) # Stephanie Stroka, Salzburg Research (AT) # Max Völkel, FZI Karlsruhe (DE) # Friedel Völker, European Regiowiki Society # Klara Weiand, University of Munich (DE) Submission and Proceedings ========================== We invite the following different kinds of contributions: * full research or application papers (15 pages) describing recent research outcomes, mature work, prototypes, applications, or methodologies; authors of accepted full papers will be able to present their work in a 15 minute talk at the workshop * short position papers (5-10 pages) describing early work and new ideas that are not yet fully worked out; authors of short papers will be able to present their work in a 5-10 minute lightning talk at the workshop * demo outlines (5 pages) describing the demonstration of a software prototype in the poster and demo session during the workshop * poster descriptions (2 pages) outlining a poster to be presented in the poster and demo session during the workshop * *wiki submissions*: A set of wiki pages explaining/demonstrating the addressed topic or presenting a system. A Confluence space (on this site) will be provided on request but also own wikis can be used. Additionally, we require such submissions to be exported to PDF or HTML. Primarily, the wiki space will be reviewed, but the export serves as a backup for the reviewing in case of technical problems and is used to verify that the submission complies to the guidelines, e.g., does not exceed the page limit of the respective type of contribution. Where the exported PDF or HTML is not comparable to LNCS (see below), we estimate 400 words per page. All submissions except Wiki submissions should be formatted according to the Springer Lecture Notes in Computer Science (LNCS) format. For complete details on this issue see Springer's Author Instructions: http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0 Papers will be submitted using the EasyChair system: http://www.easychair.org/conferences/?conf=semwiki2010 In addition to ordinary submissions, all attendees of the workshop are encouraged to informally present their work in an open space session during the workshop if they are not (yet) able to submit a description of their work or to also discuss more recent work that has been done after the submission deadline of the workshop. Important Dates =============== Paper Submission: 26th February 2010 Author Notification: 5th April 2010 Camera ready: 18th April 2010 Workshop: May 30 or May 31, 2010 In case of questions, feel free to contact any of the organisers: chair at semwiki.org -- Jochen Reutelshöfer Department of Artificial Intelligence and Applied Informatics University of Würzburg From wchen at i-a-i.com Wed Jan 6 04:03:14 2010 From: wchen at i-a-i.com (Wei Chen) Date: Tue, 5 Jan 2010 22:03:14 -0500 Subject: I-MASC'10 Extended Deadline: January 15, 2010 - International Workshop on Multi-Agent Systems and Collaborative Technologies Message-ID: <00df01ca8e7c$c9ff2170$5dfd6450$@com> International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2010) http://cisedu.us/cis/cts/10/main/storageDocs.jsp?doc=/docs/cts/10/workshops/W04.IMASC.html =============================================== Submission Deadline Extended: January 15, 2010 =============================================== CALL FOR PAPERS As part of The 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010) May 17 – 21, 2010 The Westin Lombard Yorktown Center Chicago, Illinois, USA SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) have grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, “where are all the intelligent agents?" ). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities ─ intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents’ underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting divisions of labor between CTS and MAS elements during execution. Workshop topics include (but are not limited to) combinations of the following issues: • MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents • CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications *** Important: a submitted paper must have at least one keyword from EACH column! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION We invite researchers in academia, industry, and research institutions to submit papers on the above or related topics. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page (together with the actual paper as a whole PDF document) with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words. The full manuscript should be at most 10 pages (the cover page does NOT count towards this page limit) using the two-column IEEE format. Additional pages will be charged an additional fee. Please include page numbers on all submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at http://www.easychair.org/conferences/?conf=imasc2010. Notably, (1) only PDF files will be accepted; (2) papers should have the following name format for easy identification: ‘Surname_Initial_1.PDF’, where the Surname is that of the first author; and (3) follow the EasyChair instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews. Papers will be selected based on their relevance, significance, originality, technical clarity, and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one author of an accepted paper must register for and present the paper at the workshop for the paper to be published in the Symposium Proceedings. Instructions for final manuscript format and publication requirements will be posted on the CTS 2010 Symposium web site later. It is our intent to have the Symposium Proceedings formally published in hard and soft copies and be available at the time of the conference. The Proceedings are projected to be included in the IEEE Digital Library and indexed accordingly. IMPORTANT DATES Paper Submissions: ----------------------------- January 15, 2010 Acceptance Notification: ----------------------- February 8, 2010 Camera Ready Papers and Registration Due: ------ March 1, 2010 WORKSHOP CO-CHAIRS Dr. Wei Chen (Primary Contact) Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA (301) 294-5278, wchen at i-a-i.com Dr. Edmund Durfee Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor MI 48109-2121, USA (734) 936-1563, durfee at umich.edu Dr. Toru Ishida Department of Social Informatics, Kyoto University Yoshida Honmachi, Sakyo, Kyoto, 606-8501, Japan +81 742 70 2280, ishida at i.kyoto-u.ac.jp Dr. Robert Neches Information Sciences Institute, University of Southern California 4676 Admiralty Way, Marina del Rey, CA 90292, USA +1-310-448-8481, RNeches at isi.edu INTERNATIONAL PROGRAM COMMITTEE: All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2010. • Myriam Abramson Naval Research Laboratory, USA • Kevin Couśin Air Force Institute of Technology, USA • Tim Finin University of Maryland, Baltimore County, USA • Patricia Fitzgerald Air Force Research Laboratory, USA • Zhi Jin Peking University, China • Jason Li Intelligent Automation, Inc., USA • Peng Liu Pennsylvania State University, USA • Margaret Lyell Intelligent Automation, Inc., USA • Christopher Lynnes National Aeronautics and Space Administration (NASA), USA • Mark Maybury MITRE Corporation, USA • Bill McQuay Air Force Research Laboratory, USA • Jack Meier Boeing Corporation, USA • Pavel Nahodil Czech Technical University, Czech republic • Volkmar Schau Friedrich-Schiller-Universität Jena, Germany • Waleed W. Smari University of Dayton, USA • Elena Simperl University of Innsbruck, Austria • Munindar P. Singh North Carolina State University, USA • Pedro Szekely University of Southern California, USA • Anni Tsai Army CERDEC, USA • John Yen Pennsylvania State University, USA • Chengqi Zhang University of Technology - Sydney, Australia • Haibin Zhu Nipissing University, Canada If you have questions regarding workshop paper submission or the workshop content, please contact the workshop organizers. For information or questions about Symposium's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral consortium, and any other information about the conference location, registration, paper formatting, etc., please consult the Symposium’s web site at URL: http://cisedu.us/cis/cts/10/main/callForPapers.jsp or contact one of the Symposium's Co-Chairs: Bill McQuay at William.McQuay at us.af.mil and Waleed W. Smari at Smari at arys.org. __________________________________________________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. From paolo.torroni at unibo.it Mon Jan 4 17:01:09 2010 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Mon, 4 Jan 2010 17:01:09 +0100 Subject: ANT 2010-CFP (Extended deadline: February 10, 2010) Message-ID: <4B4210C5.6000701@unibo.it> [apologies for cross-posting] Contributions are invited to ANT 2010, the International Conference on Ambient Systems, Networks and Technologies To be held at Acadia University, Wolfville, NS, Canada in July 26-28, 2010 http://www.acadiau.ca/ant10/home.php Submission due date: February 10, 2010 Accepted papers will be published by Springer. Selected papers will be invited for 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 Conference Tracks: - Ambient-oriented Autonomic Networks and Communications - Ambient Systems Software Engineering - Ambient Systems Security and Privacy - Distributed Ambient Artificial Intelligence - Emerging Ambient Networking, Tracking & Sensing Technologies - Multimodal Interfaces for Ambient Systems - Service Oriented Computing for Ambient Systems - Smart Environments and Applications in Ambient Systems -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Jean.Christophe.Janodet at univ-st-etienne.fr Wed Jan 6 12:15:43 2010 From: Jean.Christophe.Janodet at univ-st-etienne.fr (Jean.Christophe.Janodet at univ-st-etienne.fr) Date: Wed, 6 Jan 2010 12:15:43 +0100 (CET) Subject: Announcement Zulu Challenge Message-ID: <5ee5774a718b9347f8c4e3d77136dac6.squirrel@arcon.univ-st-etienne.fr> ===================================================================== The ZULU Competition http://labh-curien.univ-st-etienne.fr/zulu/ ===================================================================== Supported by Pascal 2 Network of Excellence Keywords: Active learning, grammatical inference, DFA and grammars Abstract: Zulu is an active learning competition. Participants are to build algorithms that can learn deterministic finite automata (DFA) by making the smallest number of membership queries to the server/oracle. Motivations: When learning language models, techniques usually make use of huge corpora that are unavailable in many less resourced languages (such as the Zulu language). One possible way around this problem is to interrogate an expert with a number of chosen queries, in an interactive mode, until a satisfying language model is reached. In this case, an important indicator of success is the amount of energy the expert has spent in order for learning to be successful. A nice learning paradigm covering this situation is that of Query Learning, introduced by Dana Angluin. In the field of Grammatical Inference, Query Learning was thoroughly investigated to learn deterministic finite automata (DFA). As negative results, it was proved that DFA could not be learned from just a polynomial number of membership queries nor from just a polynomial number of strong equivalence queries. On the other hand, algorithm L* designed by Angluin, was proved to learn DFA from a polynomial number of both membership and equivalence queries. These results yield several successfull applications in Robotics, Games and Agents Technologies, Information Retrieval, Hardware and Software Verification. However, what has not been hardly studied is how to optimise the learning task by trying to minimize the number of queries while making queries for which the Oracle's work and answers are simple. These are strong motivations for stemming research in the direction of developing new interactive learning strategies and algorithms, that is the aim of this competition. The competition: Zulu (http://labh-curien.univ-st-etienne.fr/zulu/) is both a web based platform simulating an Oracle in a DFA learning task and a competition. As a web platform, Zulu allows users to generate tasks, to interact with the Oracle in learning sessions and to record the results of the users. It provides the users with a baseline algorithm written in JAVA, or the elements allowing to build from scratch a new learning algorithm capable of interacting with the server. The server can be accessed by any user/learner who has opened an account. The server acts as an Oracle for membership queries. A player can log in and ask for a target DFA. The server then computes how many queries it needs to learn a reasonable machine (reasonable means less than 30% classification errors), and invites the player to interact in a learning session in which he can ask up to that number of queries. At the end of the learning process the server gives the learner a set of unlabelled strings (a test set). The labels the learner submits are used to compute his score. As a starting point the baseline algorithm, which is a simple variation of L*, with some sampling done to simulate equivalence queries, is given to the user, who can therefore play with some simple JAVA code for a start. The competition itself will be held in the spring of 2010 and the results will be presented during a special session at the International Colloquium on Grammatical Inference in Valencia, Spain, September 13-16, 2010 (http://users.dsic.upv.es/workshops/icgi2010/) Schedule: * from now to March 1st, 2010: Zulu platform is open, anyone may register and have fun * March 1st: Official beginning of the competition * May 15th: Deadline for scoring, submissions closed * June 1st: Notifications of the results * June 20th: Deadline for submission of abstracts explaining participants strategies * September 13-16th: workshop at ICGI Prizes and publications: The winner of the Zulu competition will receive a prize, to be announced on the Zulu webpage. Participants are encouraged to present their innovations either as full papers to the ICGI 2010 conference, or as extended abstracts to the Zulu workshop that will be organised during ICGI. A journal special issue will also be considered. Scientific committee: * Dana Angluin, Yale University, USA * Leo Becerra Bonache, Universidad de Tarragona, Spain * François Coste, IRISA, Rennes, France * Alex Clark, Royal Holloway University of London, UK * Ricard Gavalda, Universidad Politecnica de Barcelona, Spain * Colin de la Higuera, University of Nantes, France * Jean-Christophe Janodet, University of Lyon, France * Aurelien Lemay, University of Lille, France * Laurent Miclet, ENSAT Lannion and IRISA, France * Tim Oates, University of Maryland, USA * Anssi Yli Jyra, University of Helsinki, Finland * Menno van Zaanen, Tilburg University, The Netherlands Best regards, Jean-Christophe From mchan at inf.ed.ac.uk Wed Jan 6 13:33:44 2010 From: mchan at inf.ed.ac.uk (Michael Chan) Date: Wed, 06 Jan 2010 12:33:44 +0000 Subject: Deadline Extension to January 15, 2010 - Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies. Message-ID: <4B448328.2030807@inf.ed.ac.uk> Apologies for possible multiple postings. Note that the submission deadline has been extended to *January 15, 2010*. Submitted works do not need to be original as our primary interest is in the exchange of ideas and the stimulation of debate. Inclusion in the proceedings is optional. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ------------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------------ Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies http://dream.inf.ed.ac.uk/events/wmm-2010 31st March 2010, part of AISB'10 Convention, Leicester, UK OVERVIEW The problem of semantic misalignment - of two (or more) systems failing to understand one another when their semantic representation is not identical - occurs in a huge variety of areas: the Semantic Web, databases, natural language processing; anywhere, indeed, where semantics are necessary but centralised control is undesirable or impractical. In highly dynamic domains, where interactions are between a large, diverse and evolving community, there is a need for the resolving of these misalignments - through developing and evolving existing ontologies or interpreting unknown ontologies in terms of known ones - to be done automatically and on-the-fly. The aim of this workshop is to bring together researchers interested in the problems of automated development, evolution and interpretation of ontologies in the many different domains in which it occurs. We are primarily interested in the exchange of ideas and the stimulation of debate, and the workshop is intended to be a forum for researchers to present ongoing work and ideas and to engage in discussion with other researchers from the field. We are particularly interested in novel ideas and innovative research, which may be in its early stages, and encourage reports on work in progress. Topics of interest include: * Ontology evolution * Ontology matching and alignment * Ontology versioning * Representational or structural change * Formal aspects of ontology dynamics * Formalisation of and reasoning with contexts * Foundational issues * Social and collaborative matching * Background knowledge in matching * Extensions to ontology languages to better support change * Non-monotonic reasoning for ontologies and the Semantic Web * Inconsistency handling in evolving ontologies * Uncertainty in matching * Change propagation in ontologies and metadata * Ontologies for dynamic environments * Dynamic knowledge construction and exploitation * Matching for dynamic applictions (e.g., p2p, agents, web-services) * Case studies, software tools, use cases, applications * Open problems SUBMISSION GUIDELINES We encourage the submission of extended abstracts of 2-5 pages that discuss ongoing research, problem descriptions and overviews of the domain. Accepted papers will be included in the AISB 2010 proceedings unless the authors prefer them not to be (for example, if the work is very similar to work presented elsewhere which they nevertheless feel it would be valuable to present in this context, or if the work is at a stage where discussion would be valuable but publication would be premature). Authors wishing their submissions to be included in the convention proceedings must follow the style guide on the convention website. Submissions will be subject to light reviewing, mainly intended to check fit to workshop. Abstracts should be submitted electronically in pdf format to mchan-at-ed.ac.uk by 15th January 2010. Notification of acceptance will be sent to the submitting author on 15th February 2010. VENUE The workshop will take place at De Montfort University in Leicester, as part of the AISB 2010 Convention (http://www.aisb.org.uk/convention/aisb10/), from March 31st to 1st April, 2010. All workshop participants must be registered for the AISB 2010 Convention. Registration for this workshop is included in the convention registration fee. IMPORTANT DATES Submission: *Friday, 15th January 2010* Notification: Monday, 15th February 2010 Workshop: 31st March - 1st April 2010 AISB10 Convention: 29th March - 1st April 2010 PROGRAMME Presentations: Authors of accepted abstracts will give presentations of their work; exact times to be decided. Posters: If it is not possible to fit in presentations for all accepted authors, some may be asked to present posters instead. There will be a session of 5 minute poster talks. Panel: The technical programme will end with a 90 minute panel discussion on a topic of mutual interest to be decided. Three speakers will speak for 10 minutes each with a brief to stimulate debate during the remaining 60 minutes. Discussion amongst all participants, rather than question-and-answering for the panel, will be strongly encouraged. ORGANISERS Fiona McNeill, University of Edinburgh, UK Michael Chan, University of Edinburgh, UK PROGRAMMING COMMITTEE Manuel Atencia Arcas, IIIA-CSIC, Spain Paolo Besana, University of Edinburgh, UK Alan Bundy, University of Edinburgh, UK Jerome Euzenat, INRIA Grenoble Rhone-Alpes, France Fausto Giunchiglia, University of Trento, Italy Adam Pease, Articulate Software, USA Pavel Shvaiko, TasLab, Informatica Trentina, Italy -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From H.vandenHeuvel at let.ru.nl Wed Jan 6 14:59:45 2010 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Wed, 6 Jan 2010 14:59:45 +0100 Subject: Job Posting: postDoc position at CLST, Radboud University Nijmegen In-Reply-To: References: Message-ID: PostDoc (2 years) position available at the Radboud University Nijmegen. *Job description* The FP7 Marie Curie Initial Training Network "BBfor2" (Bayesian Biometrics for Forensics) provides an opportunity for young researchers to study several biometric technologies in a forensic context. The Network consists of 9 European research institutes and 3 associated partners. The Network will provide regular workshops and Summer Schools, so that the 15 PhD students (Early Stage Researchers - ESRs) and PostDocs (Experienced Researchers - ERs) and senior researchers can exchange research experience, insights and ideas. The main areas of research are Speaker Recognition, Face Recognition, Fingerprint Recognition, but also combinations of these techniques are studied. The challenge of applying biometric techniques in a forensic context is to be able to deal with the uncontrolled quality of the evidence, and to provide calibrated likelihood scores. The researchers in this Network will have the opportunity during their assignment to stay for some period at another Network institute and to get experience in an industrial or forensic laboratory. The PostDoc in the Network will be responsible for the scientific cohesion in the Network. He or she will work together with the PhD students in the Network, translate research approaches across biometric modalities, while overseeing the overall issues from biometric technology to forensic application. There will be a strong emphasis on organisational and reporting skills, stimulating, combining and extending research carried out in the Network, resulting in scientific publications. The PostDoc will work in close collaboration with the Scientific Co-ordinator of the Network. Successful candidates have extensive experience in Machine Learning, Speech or Image Processing, Forensic Sciences or related areas. Experience with processing of large data sets and skills in programming and scripting are important qualifications. *Requirements* Candidates should comply with the rules set forward by the FP7 Marie Curie ITNs: Candidates should - be transferring from another country, i.e., not be of Dutch nationality, and not have resided more than 12 months in the last 3 years in The Netherlands. - be willing to work in at least one other country in the BBfor2 network. - hold a PhD, and have less than 5 years of research experience since their master degree. *Organization* The project will be carried out within the Centre for Language and Speech Technology (CLST), a research unit within the Faculty of Arts of the Radboud University Nijmegen. The CLST hosts a large international group of senior researchers and PhD students who do research at the frontier of science and develop innovative applications. *Conditions of employment* The duration of the contract is 2 years. The PostDoc will receive an initial contract for the duration of one year, with the possibility of prolongation for another 1 year. The salary is in accordance with the rules of the Marie Curie ITNs. In addition to the salary, travel allowances and career exploratory allowances are foreseen according to generous Marie Curie ITN provisions. *Additional information* For further information about the position, please contact David van Leeuwen, d.vanleeuwen at let.ru.nl . *Application* Letters of application, including extensive CVs, (with reference to the vacancy number 23.01.10 and preferably by e-mail) can be sent to: vacatures at let.ru.nl . -- -------------------------------------------------------- Henk van den Heuvel --------------------------------------------------------- CLST / SPEX Radboud University Nijmegen Erasmusplein 1 NL-6525 HT Nijmegen Netherlands ---------------------------------------------------------- Tel : +31 24 3611686 Fax : +31 24 3612907 e-mail: H.vandenHeuvel at let.ru.nl http://www.ru.nl/clst http://www.spex.nl --------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Wed Jan 6 17:49:14 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Thu, 7 Jan 2010 00:49:14 +0800 Subject: Call for Papers - IET FC 2010, August 4-6, 2010, Taichung, Taiwan Message-ID: <201001061649.o06GnEJx022119@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Thu Jan 7 18:23:21 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Fri, 8 Jan 2010 01:23:21 +0800 Subject: Call for Workshop Proposals - UIC 2010, October 26-29, Xi\'an, China Message-ID: <201001071723.o07HNLvR028174@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Thu Jan 7 21:14:23 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu, 7 Jan 2010 21:14:23 +0100 (CET) Subject: AISC'10: First Call for Papers Message-ID: <201001072014.o07KEN7X019200@gemini.informatik.uni-bremen.de> [Apologies for possible multiple postings. See below on how to unsubscribe.] ---------------------------------------------------------------------- AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://www.informatik.uni-bremen.de/~autexier/aisc2010 CNAM, Paris, France, July 5th - July 6th, 2010 CALL FOR PAPERS Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Hence, the conference is in the center of interest and interaction for various research communities: * Artificial Intelligence * Logic * Symbolic Computation * Software Technology * Computer Algebra * Semantic Web Technology * Automated Reasoning * Mathematical Knowledge Management * Formal mathematics * Computer-based Math Teaching & Didactics * Machine Learning * Computer-Supported Publishing * Automated Discovery * Language and System Design Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Symmetries in AI problems * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Implementations of Symbolic Computation Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Symbolic Computation and Ontologies * Logic and Symbolic Computing * Implementation and Performance Issues * Intelligent Interfaces * Symbolic Techniques for Document Analysis Papers on other topics with links to the above research fields and topics will also be welcomed for consideration. Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI). Submission ========== Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere. The web page for electronic submission is at: http://www.easychair.org/conferences/?conf=aisc20100 Best Paper Awards ================= Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award. Important Dates =============== Abstract Submission deadline: February 19, 2010 Submission deadline: February 26, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 ---------------------------------------------------------------------- We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding AISC 2010, reply to aisc2010_0 at easychair.org and put 'UNSUBSCRIBE' in the body or subject of your reply. From bencomo at exchange.lancs.ac.uk Thu Jan 7 22:06:14 2010 From: bencomo at exchange.lancs.ac.uk (Bencomo, Nelly) Date: Thu, 7 Jan 2010 21:06:14 -0000 Subject: CFP - ViDaS 2010 - First International Workshop onValidation and Verification of Dynamic Software Systems Message-ID: <8D843A98A995F54E874111C9C6DADFE0DF6C50@exchange-be7.lancs.local> Call for Papers ViDaS 2010 - First International Workshop on Validation and Verification of Dynamic Software Systems NOTE: new dates for submission: submission deadline: Friday 29 January 2010 For more info go to http://freddy.cellcore.org/research/vidas/2010/ ViDaS 2010 will be in conjunction with Third International Conference on Software Testing, Verification and Validation http://vps.it-sudparis.eu/icst2010/ Paris, France, April 6-9, 2010 Organization committee Freddy Munoz, INRIA, France, (main contact) (freddy.munoz at inria.fr) Nelly Bencomo, Lancaster University, UK (nelly at acm.org) Antonino Sabetta, ISTI-CNR, Italy (antonino.sabetta at isti.cnr.it ) IMPORTANT DATES: Submission deadline: Friday 29 January 2010 Authors notification: Friday 26 February 2010 Workshop date: Tuesday 6 April 2010 (one day workshop) Theme: Increasingly software systems are required to survive fluctuations in their execution environment without or with only little human intervention. These modern and complex systems cannot be shutdown to be changed or updated and restarted again. Instead, these systems need to be change-enabled to fluidly reconfigure and adapt to the ongoing circumstances and to find the way to continue accomplishing their goals. Such systems, called dynamic software systems (DSS), play vital roles in society's infrastructures. The demand for DSS appears in application domains spanning business applications (e.g., virtual organizations and dynamic service compositions), entertainment, such as mobile interactive, and also safety critical systems, such as crisis and disaster management applications, space exploration, and transportation domains among others. Different international research initiatives and projects have started creating awareness and producing initial results in the development of technologies and platforms for such systems. Nevertheless, the dynamic nature of these systems still poses challenging research questions about how to guarantee their validity and correctness, especially in the case of safety critical applications. For instance, are traditional Validation and Verification (V&V) techniques usable in this new scenario? If so, how can they be reused? Given the new circumstances, new V&V techniques must also be explored. Such techniques should exploit the dynamic nature of DSS to provide for instance, V&V at runtime. The goal of this workshop is to bring together practitioners and researchers to identify and discuss the major research questions that emerge when tackling the validation and verification of dynamic software systems. Some of these questions are: How to ensure that the dynamic changes in the running system are performed correctly? How to ensure that the changes in the system are correct? (e.g. with respect to the requirements) How to ensure that the reconfigurations yield a system whose functional and extra-functional characteristics satisfy the requirements? How to ensure that the changes will be performed when needed? Which of the existing V&V techniques can help dealing with the V&V issues of dynamic software? How can these techniques be applied in this context? What are the differences between V&V done during design and runtime? How new V&V techniques performed at runtime challenge or modify the assumptions of current techniques? Researchers and practitioners are invited to submit full papers to the workshop, describing original research, experience or tools. Papers submitted to this workshop should address a problem in the following topics: Exploration of the diverse validation / verification techniques for dynamic software systems V&V of ultra-large scale systems and systems-of-systems V&V of reconfigurable systems V&V of the reasoning engines behind the dynamic software changes Monitoring approaches to V&V and QoS assurance QoS assurance Model driven techniques for V&V (including models at run.time to continuously assess the changing system) V&V based on simulation Dynamic V&V of self-managed software V&V of context-aware systems V&V of service-oriented systems The workshop participants will be selected based on their experience and ideas related to V&V of dynamic software system. Contributions must be submitted before Friday 8 January 2010 and must not exceed 10 pages in the two-column IEEE format. Submissions will be reviewed by at least 3 members of the program committee and accepted papers will be published as proceeding in the IEEE digital library. The CfP in PDF version is at http://freddy.cellcore.org/research/vidas/2010/cfp.pdf Program committee Paul Ammann, George Mason University, USA Antonia Bertolino, ISTI-CNR, Italy Rogerio de Lemos, University of Coimbra, Portugal Gordon Fraser, Graz University of Technology, Austria Sudipto Ghosh, Colorado State University, USA Holger Giese, Postdam University, Germany William Heaven, Imperial College London, UK Paola Inverardi, Università dellÀquila, Italy Valerie Issarny, INRIA, France Raffaela Mirandola, Politecnico di Milano, Italy Hausi Muller, University of Victoria, Canada Dorina C. Petriu, Carleton University, Canada Alfonso Pierantonio, Università dellÀquila, Italy Andrea Polini, University of Camerino, Italy Ralf Reussner, Karslruhe University, Germany Fernando Schapachnik, Universidad de Buenos Aires, Argentina François Taiani, Lancaster University, Uk Heiko Koziolek, ABB, Germany Arnor Solberg, SINTEF, Norway _______________________________________________ Comp-all mailing list Comp-all at comp.lancs.ac.uk http://mail.comp.lancs.ac.uk/mailman/listinfo/comp-all Nelly Nelly Bencomo Senior Research Associate Computing Department, Lancaster University, UK email: nelly at acm.org website: http://www.comp.lancs.ac.uk/computing/users/bencomo/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Jan 8 06:20:04 2010 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 8 Jan 2010 00:20:04 -0500 (EST) Subject: LPAR-16 deadline extended Message-ID: <20100108052004.C8D0511F87E@mcclellan.cs.miami.edu> CALL FOR PAPERS LPAR-16 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning April 25 - May 1, 2010 Dakar, Senegal http://www.lpar.net/lpar-16/ ============================================ SUBMISSION DEADLINE EXTENDED TO 13th JANUARY ============================================ The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal. Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. Logical techniques link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central role in Computer Science education. Topics ------ New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: * Automated reasoning * Verification * Interactive theorem proving and proof assistants * Model checking * Implementations of logic * Satisfiability modulo theories * Rewriting and unification * Logic programming * Satisfiability checking * Constraint programming * Decision procedures * Logic and the Web * Ontologies and large knowledge bases * Logic and databases * Modal and temporal logics * Program analysis * Foundations of security * Description logics * Non-monotonic reasoning * Specification using logics * Logic in artificial intelligence * Logic and types * Logical foundations of programming * Logical aspects of concurrency * Logic and computational complexity * Knowledge representation and reasoning * Logic of distributed systems Programme Chairs ---------------- * Ed Clarke * Andrei Voronkov Programme Committee ------------------- * Rajeev Alur * Matthias Baaz * Peter Baumgartner * Armin Biere * Nikolaj Bjorner * Iliano Cervesato * Agata Ciabattoni * Hubert Comon-Lundh * Nachum Dershowitz * Juergen Giesl * Guillem Godoy * Georg Gottlob * Jean Goubault-Larrecq * Reiner Haehnle * Claude Kirchner * Michael Kohlhase * Konstantin Korovin * Laura Kovacs * Orna Kupferman * Leonid Libkin * Aart Middeldorp * Luke Ong * Frank Pfenning * Andreas Podelski * Andrey Rybalchenko * Helmut Seidl * Geoff Sutcliffe * Ashish Tiwari * Toby Walsh * Christoph Weidenbach Submission Details ------------------ Submissions of two kinds are welcome: * Regular papers containing new results; * Experimental papers describing implementation or evaluation of systems. All submitted papers must be original, and not submitted concurrently to a journal or another conference. The page limit for all papers is 15 pages using the EasyChair class file that can be obtained at .... http://www.easychair.org/easychair.zip. All papers must be submitted through the EasyChair system using the Web page http://www.easychair.org/conferences/?conf=3Dlpar16 Important Dates --------------- * Paper submission: January 13, 2010 * Notification of acceptance: March 1, 2010 * Proceedings version: March 15, 2010 * Short papers submission: March 17, 2010 * Short papers notification: March 25, 2010 * Conference: April 25-May 1, 2010 From d.tykhonov at tudelft.nl Fri Jan 8 14:58:55 2010 From: d.tykhonov at tudelft.nl (Dmytro Tykhonov) Date: Fri, 08 Jan 2010 14:58:55 +0100 Subject: CfP: Automated Negotiating Agents Competition (ANAC) 2010 Message-ID: <4B473A1F.1030202@tudelft.nl> ----------------------------------------------------------------------- Call for Participation Automated Negotiating Agents Competition (ANAC) 2010 In conjunction with the 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto Canada Spring 2010 http://mmi.tudelft.nl/negotiation/tournament negotiation at mmi.tudelf.nl ------------------------------------------------------------------------ We would like to invite you to participate in the Automated Negotiating Agents Competition (ANAC). The purpose of the competition is to steer the research in the area bilateral multi-issue closed negotiation. Closed negotiation, when opponents do not reveal their preferences to each other, is an important class of real-life negotiations. Negotiating agents designed using heuristic approach need extensive evaluation, typically through simulations and empirical analysis, since it is usually impossible to predict precisely how the system and the constituent agents will behave in a wide variety of circumstances. Furthermore, there is a need for the development of a best practice repository for negotiation techniques. That is, a coherent resource that describes which negotiation techniques are best suited to a given type of problem or domain. To facilitate research in the area of bilateral multi-issue negotiation the GENIUS system is developed. It allows easy development and integration of existing negotiating agents. GENIUS can be used to simulate individual negotiation sessions as well as tournaments between negotiating agents in various negotiation scenarios. It allows the specification of negotiation domains and preference profiles by means of a graphical user interface. GENIUS can be used to train human negotiators by means of negotiations against automated agents or other humans. Furthermore, it can be used to teach the design of generic automated negotiating agents. The ANAC competition will be held in spring 2010, with the finals being run during the AAMAS 2010 conference. The reward for the winner of the competition is US$2000 (The prize will be paid only if the number of participants is sufficient, that is at least 4 participants. In case if the number of participants is less than 8 the prize will be downgraded to US$1000). ORGANIZATION TEAM * Prof. Dr. Catholijn Jonker (organization chair) * Prof. Dr. Sarit Kraus (organization chair) * Dr. Koen Hindriks * Dr. Raz Lin * Dmytro Tykhonov TIMELINE * Design and test your agent in GENIUS yourself. * Upload your agent on the GENIUS server and try it in tournaments against agents uploaded by the other teams * Registration deadline: 31 March 2010 at 12.00 CET * Test phase of submissions: 1 – 11 April 2010 * Qualifying Rounds: 12-16 April 2010 * Quarter Finals: Monday 26 April 2010, 4 x 4 agents * Semi-Finals: Thursday 29 April 2010, 2 x 4 agents * Finals: during AAMAS 2010 (10-14 May 2010), 4 agents From jar at iiia.csic.es Fri Jan 8 15:39:44 2010 From: jar at iiia.csic.es (Juan Antonio Rodriguez) Date: Fri, 08 Jan 2010 15:39:44 +0100 Subject: CFP: Third International Workshop on Optimisation in Multi-Agent Systems (OPTMAS III) Message-ID: <4B4743B0.6090109@iiia.csic.es> ============================================================================= CFP: Third International Workshop on Optimisation in Multi-Agent Systems (OPTMAS III) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ To be held in conjunction with the Ninth International Conference on Autonomous and Multi-Agent Systems (AAMAS 2010) 10 or 11 May 2010 cfp at: http://www.optmas2010.com ============================================================================= Call ---- This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimisation problems. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimisation problems in different areas and elaborate common benchmarks to test their solutions. Note: The authors of the best papers selected from Optmas 2010 will be invited to submit to a special issue of a quality journal (see below). Invited Talk ------------ Dr. Paul Scerri. Short Bio: Paul Scerri is a Senior Systems Scientist at Carnegie Mellon University's Robotics Institute. He received his PhD from Linköping University. He has been specifially interested in building and coordinating big teams (of hundreds or thousands) of agents to do various different tasks. He has been involved in the development of Machinetta, a software package that has been effectively used in a number of domains to coordinate large teams. Background ---------- The number of novel applications of multi-agent systems has followed an exponential trend over the last few years, ranging from online auction design, through in multi-sensor networks, to scheduling of tasks in multi-actor systems. Multi-agent systems designed for all these applications generally require some form of optimization in order to achieve their goal. Given this, a number of advancements have been made in the design of winner determination, coalition formation, and distributed constraints optimization algorithms among others. However, there are no general principles guiding the design of such algorithms that would enable researchers to either exploit solutions designed in other areas or to ensure that their algorithms conform to some level of applicability to real problems. This workshop aims to address the above issues by bringing together researchers from different parts of the Multi-Agent Systems research area to present their work and discuss acceptable solutions, benchmarks, and evaluation methods for generally researched optimization problems. In particular, the main issues to be addressed by the workshop will include (but are not limited to): 1. Techniques to model and solve optimisation problems in which the actors are partly or completely distributed and can only communicate with their peers. 2. Algorithms to compute solutions to mechanisms that deal with different stakeholders who may be self interested or may have different computation/communication capabilities from their peers. 3. Dealing with privacy concerns: solving complex optimization problems while leaking as little private information as possible 4. Problems that require anytime algorithms. 5. Algorithms that need to provide guarantees on the quality of the solution. 6. Mechanisms whose properties can be significantly affected if the solution computed is not the optimal one. 7. Techniques to deal with optimizations that have to be repeated with possibly only slight changes in the input data. 8. Techniques to deal with situations where the input data may be uncertain or unreliable, requiring that the solution computed be robust to slight differences from the true values. 9. Techniques to deal with agents that are tied to physical devices. This involves computation and communication constraints that need to be considered in the coordination techniques, as well as the possibility of failures of the devices and communication links. 10. Benchmarks for optimisation algorithms in dynamic environments. Keywords -------- Topics include but are not limited to: * Distributed Constraints Optimisation/Satisfaction * Winner Determination Algorithms in Auctions * Coalition Formation Algorithms * Algorithms to compute Nash Equilibrium in games * Optimisation under uncertainty * Optimisation with incomplete or dynamic input data * Algorithms for real-time applications Important dates --------------- * FEBRUARY, 2, 2010 - Submission of contributions to workshops * MARCH 2, 2010 - Workshop paper acceptance notification * MAY 10 or 11, 2010 - Workshop takes place in conjunction with AAMAS 2010. Submission ---------- Submissions should conform to the ACM SIG style (see http://www.acm.org/sigs/publications/proceedings-templates for more details) and should not be more than *8* pages long (excluding appendices). Authors can submit their papers through the OPTMAS 20010 Easychair submission site: http://www.easychair.org/conferences/?conf=optmas2010 Reviewing process ----------------- Papers will be reviewed by at least 2 reviewers. Criteria for selection of papers will include: originality, readability, relevance to themes, soundness, and overall quality. Publication ----------- After OPTMAS 2009 the best papers were selected for publication in a forthcoming issue of the Journal of Autonomous and Multiagent Systems. We plan to continue this initiative for the 2010 edition. Therefore, we will negotiate the publication of selected, best papers in a quality journal. Organizing committee -------------------- Dr. Alessandro Farinelli (University of Verona, Italy) Prof. Nicholas R. Jennings (University of Southampton, UK) Dr. Sarvapali D. Ramchurn (University of Southampton, UK) Dr. Juan A. Rodriguez Aguilar (IIIA,CSIC, Spain) Dr. Alex Rogers (University of Southampton, UK) Programme Committee ------------------- Anna Bazzan, Instituto de Informatica, UFGRS, Brazil Christian Blum, Technical University of Catalonia, Spain Ladislau Boloni, University of Central Florida, USA Jesús Cerquides, University of Barcelona, Spain Andrea Giovannucci, Universitat Pompeu Fabra, Spain Sven Koenig - University of Southern California, USA Nikos Komodakis, University of Crete, Greece Kate Larson, University of Waterloo, Canada Pedro Meseguer, IIIA-CSIC, Spain Tomasz Michalak, University of Southampton, UK Maria Polukarova, University of Southampton, UK Talal Rahwan, University of Southampton, UK Paul Scerri, Carnegie Mellon University, USA Nathan Schurr, Aptima Inc., USA Onn Shehory, IBM, Israel Marius Silaghi, Florida Institute of Technology, USA Nicolas Stefanovitch, University of Paris 6, France Sebastian Stein, University of Southampton, UK Meritxell Vinyals, IIIA-CSIC, Spain Greet Vanden Berghe, KaHo St.-Lieven, Belgium From pmt6sbc at maths.leeds.ac.uk Fri Jan 8 14:56:24 2010 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Fri, 8 Jan 2010 13:56:24 GMT Subject: CiE 2010 - Final Call for Papers Message-ID: <201001081356.o08DuO3A020889@amsta.leeds.ac.uk> Final call for papers --------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal June 30 to July 4, 2010 http://www.cie2010.uac.pt/ Deadline for submissions: 20 JANUARY 2010 --------------------------------------------------------------------------- Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. TUTORIALS: Jeffrey Bub (Information, Computation and Physics), Bruno Codenotti (Computational Game Theory). INVITED SPEAKERS: Eric Allender, Jose L. Balcazar, Shafi Goldwasser, Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald de Wolf. SPECIAL SESSIONS on: Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan Invited speakers: Giancarlo Mauri, Natasha Jonoska, Stephane Vialette, Yasubumi Sakakibara Computational Complexity, organizers: Luis Antunes, Alan Selman Invited speakers: Eric Allender, Christian Glasser, John Hitchcock, Rahul Santhanam Computability of the Physical, organizers: Barry Cooper, Cris Calude Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert Proof Theory and Computation, organizers: Martin Hyland, Fernando Ferreira Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz Strassburger Reasoning and Computation from Leibniz to Boole, organizers: Benedikt Loewe, Guglielmo Tamburrini Confirmed speakers: Volker Peckhaus, Olga Pombo, Sara Uckelman Web Algorithms and Computation, organizers: Martin Olsen, Thomas Erlebach Confirmed speaker: Debora Donato SPECIAL TRIBUTE TO MARIAN POUR-EL: Ning Zhong. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. We particularly invite papers that build bridges between different parts of the research community. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors. The Elsevier Foundation is supporting the CiE conference series in the programme "Increasing representation of female researchers in the computability community". This programme will allow us to fund child-care support, a mentoring system for young female researchers, and also a small number of grants for junior female researchers (see below). The dates around the submission process are as follows: Submission Deadline: 20 January 2010 Notification to Authors: 18 March 2010 Deadline for Final Version: 8 April 2010 CiE 2010 conference topics include, but not exclusively: * Admissible sets * Analog computation * Artificial intelligence * Automata theory * Classical computability and degree structures * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational complexity * Computational learning and complexity * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of Computing * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Mathematical models of emergence * Molecular computation * Natural computing * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebra * Programming language semantics * Proof mining * Proof theory and computability * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Swarm intelligence * Type systems and type theory * Uncertain reasoning * Weak arithmetics and applications Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann (Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome), Luis Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo (Paris), Benedikt Loewe (Amsterdam), Elvira Mayordomo (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon), Joao Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht) The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2010. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. Authors of accepted papers are expected to present their work at the conference. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. All papers need to be prepared in LNCS-style LaTeX. Papers must not exceed 10 pages. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Submissions authored or co-authored by members of the Programme Committee are not allowed. Papers that have only student authors are eligible for the "CiE 2010 Best Student Paper Award." If your submission satisfies the requirements, please submit your paper in the category "Regular paper (eligible for Best Student Paper Award)." The Programme Committee will select the best submission among these after acceptance. The recipient of the Best Student Paper Award will get a fee waiver of the registration fee, a certificate, and a small symbolic cash prize. Funded by the Elsevier Foundation's programme 'Women in Computability' we shall offer five travel grants (covering registration fee and up to 300 EUR in reimbursement for travel and accomodation expenses) for junior female researchers. More information will become available in March 2010. Funded by the Elsevier journal Annals of Pure and Applied Logic (APAL), the organizers are offering a number of travel grants (including fee waivers and a modest reimbursement of travel and accommodation expenses) for students to attend CiE 2010. Student authors of accepted papers will have priority for these grants. The Association for Symbolic Logic (ASL) sponsors modest student member travel grants. See http://www.aslonline.org/studenttravelawards.html New funding opportunities are expected to be offered. For more details concerning funding and up to date information, please consult regularly the web page of the conference http://www.cie2010.uac.pt/ _________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2010 http://www.cie2010.uac.pt/ CiE Membership Application Form http://www.cs.swan.ac.uk/acie CiE on Twitter http://twitter.com/AssociationCiE __________________________________________________________________________ From sofronie at mpi-sb.mpg.de Sat Jan 9 23:25:24 2010 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Sat, 9 Jan 2010 23:25:24 +0100 (CET) Subject: IJCAR 2010 - Call for papers Message-ID: [Apologies for multiple copies of this announcement] IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning Edinburgh, UK, July 16-19, 2010 as part of FLoC 2010 - Federated Logic Conference http://www.floc-conference.org/ Call for Papers --------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2010 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR 2010 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. The proceedings of IJCAR 2010 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through https://www.easychair.org/login.cgi?conf=ijcar2010 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers, and 7 pages for system descriptions. Program co-chairs: Juergen Giesl (RWTH Aachen University, Germany) Reiner Haehnle (Chalmers University of Technology, Sweden) Conference chair: Alan Bundy (University of Edinburgh, UK) Workshop chair: Aaron Stump (University of Iowa, USA) Publicity chair: Viorica Sofronie-Stokkermans (MPI-INF Saarbruecken, Germany) Important dates: Abstract submission deadline: January 15, 2010 Paper submission deadline: January 22, 2010 Notification of paper decisions: March 15, 2010 Final version of papers due: April 19, 2010 Conference dates: July 16-19, 2010 Student Travel Awards: Travel awards will be available to enable selected students to attend the conference. Details will be published in March 2010. IJCAR 2010 invited speakers: Johan van Benthem (ILLC, Amsterdam and Stanford University) Leonardo de Moura (Microsoft Research, USA) Program Committee: Carlos Areces (INRIA Nancy Grand Est, France) Alessandro Armando (University of Genova, Italy) Franz Baader (Technical University of Dresden, Germany) Peter Baumgartner (NICTA Canberra, Australia) Bernhard Beckert (University of Koblenz, Germany) Christoph Benzmueller (International University Bruchsal, Germany) Nikolaj Bjorner (Microsoft Research, USA) Maria Paola Bonacina (Universita` degli Studi di Verona, Italy) Alan Bundy (University of Edinburgh, UK) Gilles Dowek (Ecole Polytechnique, France) Christian Fermueller (Vienna University of Technology, Austria) Ulrich Furbach (University of Koblenz, Germany) Didier Galmiche (LORIA Nancy, France) Silvio Ghilardi (University of Milano, Italy) Martin Giese (University of Oslo, Norway) Juergen Giesl (RWTH Aachen University, Germany) Rajeev Gore (The Australian National University, Australia) Bernhard Gramlich (Vienna University of Technology, Austria) Reiner Haehnle (Chalmers University of Technology, Sweden) Ullrich Hustadt (University of Liverpool, UK) Deepak Kapur (University of New Mexico, USA) Viktor Kuncak (EPFL Lausanne, Switzerland) Rustan Leino (Microsoft Research, USA) Carsten Lutz (University of Bremen, Germany) George Metcalfe (University of Bern, Switzerland) Aart Middeldorp (University of Innsbruck, Austria) Neil Murray (University at Albany - SUNY, USA) Tobias Nipkow (Technical University of Munich, Germany) Nicola Olivetti (LSIS, University of Aix-Marseille, France) Nicolas Peltier (LIG Grenoble, France) Frank Pfenning (Carnegie Mellon University, USA) Brigitte Pientka (McGill University, Canada) Andre Platzer (Carnegie Mellon University, USA) Christophe Ringeissen (LORIA Nancy, France) Albert Rubio (UPC Barcelona, Spain) Renate Schmidt (The University of Manchester, UK) Carsten Schuermann (IT University of Copenhagen, Denmark) Roberto Sebastiani (University of Trento, Italy) Viorica Sofronie-Stokkermans (MPI-INF Saarbruecken, Germany) Aaron Stump (University of Iowa, USA) Geoff Sutcliffe (University of Miami, USA) Cesare Tinelli (University of Iowa, USA) Ashish Tiwari (SRI International, USA) Andrei Voronkov (The University of Manchester, UK) Christoph Weidenbach (MPI-INF Saarbruecken, Germany) From iclp2010-announce at clip.dia.fi.upm.es Sat Jan 9 21:18:43 2010 From: iclp2010-announce at clip.dia.fi.upm.es (iclp2010-announce at clip.dia.fi.upm.es) Date: Sat, 9 Jan 2010 21:18:43 +0100 Subject: CFP - ICLP 2010 - DEADLINE: Jan 26 Message-ID: <19272.58531.478372.337732@gazelle.local> [Apologies in case of receiving multiple copies.] ---------------------------------------------------------------------- CALL FOR PAPERS 26th International Conference on Logic Programming (ICLP 2010) Theory and Practice of Logic Programming Edinburgh, Scotland, U.K., July 16-19, 2010 ICLP 2010 will be held as part of the Fifth Federated Logic Conference (FLoC 2010) Submission deadline: ** January 26, 2010 *** http://www.floc-conference.org/ICLP-home.html ---------------------------------------------------------------------- CONFERENCE SCOPE Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non-monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. In addition to the presentations of accepted papers, the technical program will include plenary invited talks in association with other FLoC conferences, as well as ICLP invited talks, advanced tutorials, the doctoral consortium, and several workshops. SUBMISSION DETAILS The four broad categories for submissions are: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described; and (4) short papers/posters, for ongoing work not yet ready for full publication and research project overviews. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers, application papers, and system and tool papers must not exceed 15 pages. The limit for short papers / posters is 5 pages. Submissions must be made in TPLP format (ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2010 IMPORTANT DATES Paper registration deadline: January 26, 2010 Submission deadline: February 2, 2010 Notification to authors: March 20, 2010 Camera-ready copy due: April 21, 2010 Conference: July 16-19, 2010 PAPER PUBLICATION All accepted long papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or "shepherding." At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get a password for on-line access to this web page during the conference and indefinitely from then on ("lifetime access"), which can be used to read papers on line, download them, or print them for personal use. Attendants will also receive all the papers in a USB memory stick at the conference. For short papers / posters the journal issue(s) will include a listing of the titles and authors of these papers, as well as a URL pointing to their printable copy. Short papers / posters will also get space in the program for presentation. ICLP'2010 ORGANIZATION General Chair: Veronica Dahl (Simon Fraser University, Canada) Program Co-chairs: Manuel Hermenegildo (IMDEA Soft. and UPM, Spain) Torsten Schaub (University of Potsdam, Germany) Workshops Chair: Veronica Dahl (Simon Fraser University, Canada) Doctoral Consortium: Marcello Balduccini (Kodak Research Labs, USA) Alessandro Dal Palu' (Universita degli Studi di Parma, Italy) Prolog Programming Contest: Tom Schrijvers (K.U. Leuven, Belgium) PROGRAM COMMITTEE Maria Alpuente (Technical U. of Valencia, Spain) Pedro Cabalar (Corunya University, Spain) Manuel Carro (Technical U. of Madrid, Spain) Marina De Vos (University of Bath, UK) James Delgrande (Simon Fraser University, Canada) Marc Denecker (KU Leuven, Belgium) Agostino Dovier (University of Udine, Italy) Esra Erdem (Sabanci University, Istanbul, Turkey) Wolfgang Faber (University of Calabria, Italy) Thom Fruehwirth (University of Ulm, Germany) Maurizio Gabbrielli (University of Bologna, Italy) John Gallagher (Roskilde University, Denmark) Samir Genaim (Complutense University, Spain) Haifeng Guo (University of Nebraska at Omaha, USA) Joxan Jaffar (National U. of Singapore, Singapore) Tomi Janhunen (Helsinki U. of Technology, Finland) Michael Leuschel (U. of Duesseldorf, Germany) Alan Mycroft (U. of Cambridge, UK) Gopalan Nadathur (University of Minnesota, USA) Lee Naish (Melbourne University, Australia) Enrico Pontelli (New Mexico State University, USA) Vitor Santos Costa (University of Porto, Portugal) Tom Schrijvers (K.U. Leuven, Belgium) Tran Cao Son (New Mexico State University, USA) Peter J. Stuckey (Melbourne University, Australia) Terrance Swift (CENTRIA, Portugal) Peter Szeredi (Budapest U. of Tech. and E., Hungary) Frank Valencia (Ecole Polytechnique, France) Wim Vanhoof (University of Namur, Belgium) Kewen Wang (Griffith University, Australia) Stefan Woltran (Vienna U. of Technology, Austria) Neng-Fa Zhou (City University of New York, USA) SPONSOR The conference is sponsored by the Association for Logic Programming. FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. WORKSHOPS The ICLP 2010 program will include several workshops, held also as part of FLoC. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 6th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. CONFERENCE VENUE / CO-LOCATION In 2010 (as in the previous two FLoC editions) ICLP will be held as part of the Fifth Federated Logic Conference, FLoC 2010 in Edinburgh, Scotland, U.K., July 16-19, 2010. FLoC is held every four years bringing together several international conferences related to mathematical logic and computer science. Other participating conferences are: - Computer-Aided Verification (CAV), - Int'l Joint Conference on Automated Reasoning (IJCAR), - Interactive Theorem Proving (ITP), - Logic in Computer Science (LICS), - Rewriting Techniques and Applications (RTA), and - Theory and Applications of Satisfiability Testing (SAT). Plenary events involving multiple conferences are planned. ---------------------------------------------------------------------- From miguelangel.veganzones at ehu.es Mon Jan 11 11:07:55 2010 From: miguelangel.veganzones at ehu.es (Miguel Angel Veganzones) Date: Mon, 11 Jan 2010 11:07:55 +0100 Subject: HAIS 2010: 2nd CFP. Invited Plenary Speakers & Special Sessions. Message-ID: <1263204475.4455.5.camel@ic-experimentos> SUBJECT: HAIS 2010: 2nd CFP. Invited Plenary Speakers & Special Sessions. ---------------------------------------------------------------------------------------------------------------------- HAIS 2010: 2nd Call for Papers & Special Session Proposals * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS´10) 23rd-25th June of 2010 San Sebastian, Spain http://www.ehu.es/ccwintco/hais2010/ ---------------------------------------------------------------- Technical Co-Sponsors by: IEEE.-Systems, Man, and Cybernetics Society http://www.ieeesmc.org/index.html IEEE.-Spain Section http://www.ieee.org/spain IEEE.-Systems, Man, and Cybernetics Spanish Chapter http://gicap.ubu.es/IEEE/main/index.shtml Machine Intelligence Research Labs (MIR Labs) http://www.mirlabs.org/ ---------------------------------------------------------------- ***PROCEEDINGS: (Tentative) HAIS'10 proceedings will be published by Springer in its series of LNCS/LNAI- LNAI (Lecture Notes in Artificial Intelligence) as in the last previous editions. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. *** PLENARY SPEAKERS: Prof. Marios Polycarpou - University of Cyprus (Cyprus) Prof. Mihai Datcu - Paris Institute of Technology, Telecom Paris (France) Prof. Gerhard X Ritter - University of Florida (US) More information soon!! ***SPECIAL SESSIONS AND WORKSHOPS: Special sessions confirmed up to now!! SS01 Real World HAIS Applications and Data Uncertainty SS02 Computational Intelligence for Recommender Systems SS03 Signal Processing and Biomedical Applications SS04 Methods of Classifiers Fusion SS05 Knowledge Extraction based on Evolutionary Learning SS06 Systems, Man, & Cybernetics by HAIS.- Workshop In addition to regular sessions, participants are encouraged to organize special sessions on specialized topics. Each special session should have at least 4 or 5 quality papers. Special session organizers will solicit submissions; conduct reviews jointly with the HAIS´10 PC and in the same way recommend accept/reject decisions on the submitted papers. Submission of Special Sessions are welcome! http:// http://www.ehu.es/ccwintco/hais2010/specialsessions.html For more information, please, send an email to: manuel.grana at ehu.es -------------------------------------------------------------------- *** 5th International Conference on Hybrid Artificial Intelligence Systems(HAIS´10) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. Hybrid intelligent systems are becoming popular due to their capabilities in handling many real world complex problems, involving imprecision, uncertainty and vagueness, high-dimensionality. They provide us with the opportunity to use both, our knowledge and row data to solve problems in a more interesting and promising way. HAIS´10 provides an interesting opportunity to present and discuss the latest theoretical advances and real-world applications in this multidisciplinary research field. *** TOPICS *** Topics are encouraged, but not limited to, the combination of at least two of the following areas in the field of Hybrid Intelligent Systems: Fusion of soft computing and hard computing Evolutionary Computation Visualization Techniques Ensemble Techniques Data mining and decision support systems Intelligent agent-based systems (complex systems), cognitive and reactive distributed AI systems Internet modeling Human interface Case base reasoning Chance discovery Applications in security, prediction, control, robotics, image and speech signal processing, food industry, biology and medicine, business and management, knowledge management, artificial societies, chemicals, pharmaceuticals, geographic information systems, materials and environment engineering and so on. *** PAPER SUBMISSION AND PROCEEDINGS*** Tentative. HAIS'10 proceedings will be published by Springer in its series of Lecture Notes in Artificial Intelligence - LNAI (part of its prestigious Lecture Notes in Computer Science - LNCS series). All submissions will be refereed by experts in the field based on originality, significance, quality and clarity. Every submitted paper to HAIS´10 will be reviewed by at least two members of the Program Committee. Papers must be prepared according to the LNCS-LNAI style template (http://www.springer.de/comp/lncs/authors.html) and must be no more than eight (8) pages long, including figures and bibliography. Additional pages (over 8 pages) will be charged at 100 Euro each. *** IMPORTANT DATES *** Special Session acceptance: 20th January, 2010 Submission of papers by Authors: 15th February, 2010 Notification of provisional acceptance: 15th March, 2010 Submission of final papers: 11th April, 2010 Early registration (special rates): 11th April, 2010 HAIS 2010 Conference: 23rd-25thth June, 2010 Prof. Manuel Graña - University of the Basque Country (Spain) Dr. Emilio Corchado - University of Burgos (Spain) *** CONTACT *** Prof. Manuel Graña GIC Research Group Facultad de Informática de San Sebastián Universidad del País Vasco Paseo Manuel de Lardizabal 1 20018, San Sebastián, Spain Phone: +34 943 01 8044 / +34 943 01 5106 Fax: +34 943 01 5590 Web: http://www.ehu.es/computationalintelligence Email: manuel.grana at ehu.es Dr. Emilio Corchado Departamento de Informática y Automática Universidad de Salamanca Salamanca. Spain Email: escorchado at ubu.es Phone: +34 616 44 9888 For more information about HAIS´10, please refer to the HAIS´10 website: http://www.ehu.es/ccwintco/hais2010/ * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.j.kollingbaum at abdn.ac.uk Mon Jan 11 12:59:07 2010 From: m.j.kollingbaum at abdn.ac.uk (Kollingbaum, Martin J) Date: Mon, 11 Jan 2010 11:59:07 +0000 Subject: DALT 2010 CFP Message-ID: -- Please accept our apologies if you receive multiple postings -- ---------------------------------------------------------------------- 8th International Workshop on Declarative Agent Languages and Technologies (DALT 2010) 10 or 11 May 2010 Toronto, Canada (held in conjunction with AAMAS 2010) URL: http://goanna.cs.rmit.edu.au/~ssardina/DALT2010 ---------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------- The workshop on Declarative Agent Languages and Technologies (DALT), in its eighth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting. DALT 2010 will be held as a satellite workshop of AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, in May 2010 in Toronto, Canada. Following the success of seven previous editions, DALT will again aim at providing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies. ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- DALT topics of interest include, but are not limited to: General themes: * specification of agents and multiagent systems * declarative approaches to engineering agent systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling * game theory and mechanism design for multi-agent systems * semantics of agent communication * model checking agents and multi-agent systems Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative approaches for agent-based grid computing * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to Web services and service-oriented architectures Applications of declarative techniques to: * agents and the semantic web * multi-agent systems for service-oriented computing * agent-based grid computing * agent communication and coordination languages * protocol specification and conformance checking * declarative description of contracts and negotiation policies * security and trust in multiagent systems Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ---------------------------------------------------------------------- SUBMISSION INSTRUCTIONS ---------------------------------------------------------------------- We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ---------------------------------------------------------------------- WORKSHOP PROCEEDINGS ---------------------------------------------------------------------- Printed copies of the proceedings will be available at the workshop. Assuming a sufficient number of high-quality submissions, we are again going to consider the publication of formal post-proceedings with an international publisher. The post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476), DALT 2005 (LNAI 3904), DALT 2006 (LNAI 4327), DALT 2007 (LNAI 4897), DALT 2008 (LNAI 5397) and DALT 2009 (LNAI 5948) have been published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series. ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- The dates below are tentative; please check the workshop Web page for confirmed dates. Submission Deadline: 2 February 2010 Notification of Acceptance/Rejection: 2 March 2010 Camera Ready Due: 12 March 2010 Workshop: 10 or 11 May 2010 ---------------------------------------------------------------------- PROGRAMME COMMITTEE ---------------------------------------------------------------------- * Thomas Agotnes, PhD, Bergen University College, Norway * Marco Alberti, PhD, University of Ferrara, Italy * Natasha Alechina, PhD, University of Nottingham, UK * Cristina Baroglio, University of Torino, Italy * Rafael Bordini, PhD, Federal University of Rio Grande do Sul, Brazil * Jan Broersen, PhD, University of Utrecht, The Netherlands * Federico Chesani, PhD, University of Bologna, Italy * Amit Chopra, PhD, University of Trento, Italy * James Harland, PhD, RMIT University, Australia * Koen Hindriks, PhD, Delft University of Technology, The Netherlands * Shinichi Honiden, PhD, National Institute of Informatics, Japan * Joao Leite, PhD, Universidade Nova de Lisboa, Portugal * Yves Lesperance, PhD, York University, Canada * Viviana Mascardi, PhD, University of Genova, Italy * Nicolas Maudet, PhD, University of Paris-Dauphine, France * Sheila McIlraith, PhD, University of Toronto, Canada * John-Jules Meyer, PhD, University of Utrecht, The Netherlands * Peter Novak, PhD, Czech Technical University, Czech Republic * Fabio Patrizi, PhD, University of Rome, Italy, * Enrico Pontelli, PhD, New Mexico State University, USA * Chiaki Sakama, PhD, Wakayama University, Japan * Guillermo Simari, PhD, Universidad Nacional del Sur, Argentina * Tran Cao Son, PhD, New Mexico State University, USA * Eugenia Ternovska, PhD, Simon Fraser University, Canada * Marina De Vos, PhD, University of Bath, UK * Michael Winikoff, PhD, University of Otago, New Zealand ---------------------------------------------------------------------- ORGANISING COMMITTEE ---------------------------------------------------------------------- Andrea Omicini (University of Bologna-Cesena, Italy) Sebastian Sardina (RMIT University, Australia) Wamberto Vasconcelos (University of Aberdeen, UK) ---------------------------------------------------------------------- STEERING COMMITTEE ---------------------------------------------------------------------- Matteo Baldoni (University of Torino, Italy) Andrea Omicini (University of Bologna-Cesena, Italy) M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) Tran Cao Son (New Mexico State University, USA) Paolo Torroni (University of Bologna, Italy) Pinar Yolum (Bogazici University, Turkey) Michael Winikoff (University of Otago, New Zealand) -- Dr. Martin Kollingbaum Computing Science University of Aberdeen Aberdeen, AB24 3UE United Kingdom m.j.kollingbaum at abdn.ac.uk The University of Aberdeen is a charity registered in Scotland, No SC013683. From lorini at irit.fr Tue Jan 12 00:10:08 2010 From: lorini at irit.fr (lorini at irit.fr) Date: Tue, 12 Jan 2010 00:10:08 +0100 (CET) Subject: CfP Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue Message-ID: <6a0688c8a0f2a1fb02346ccc108ecdcd.squirrel@websecu.irit.fr> CALL FOR PAPERS Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue http://www.irit.fr/~Laure.Vieu/Esslli10 Workshop organized as part of European Summer School on Logic, Language and Information ESSLLI 2010 http://esslli2010cph.info/ August 16-20 (ESSLLI 2nd week) 2010, Copenhagen --------------------------------------------------------------------------- Workshop Purpose and Topics Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface...). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely. This workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics). The following are some examples of formal theories and logics that are relevant to the workshop (no order): speech act theory, argumentation theory, game theory, public announcement logic, dynamic epistemic logic (DEL), logics of agency and power (e.g. STIT, ATL, Coalition Logic), theories of persuasion, theories of commitment, dynamic semantics, semantic approaches to interrogative clauses, rhetorical approaches to dialogue (e.g., Segmented Discourse Representation Theory). The focus of the workshop will be on recent developments, especially those that combine several approaches (e.g. dynamic epistemic logic and speech act theory, dynamic epistemic logic and segmented discourse representation theory, public announcement logic and commitment theories, STIT and dynamic epistemic logic, Coalition Logic and public announcement logic...) to deal with complex dialogue and communication phenomena. --------------------------------------------------------------------------- Invited speakers: Patrick Blackburn, LORIA, INRIA Nancy Jeroen Groenendijk, ILLC, University of Amsterdam --------------------------------------------------------------------------- Workshop Organizers: Emiliano Lorini ("lorini at irit.fr") and Laure Vieu ("vieu at irit.fr"), IRIT-CNRS, Toulouse --------------------------------------------------------------------------- Workshop Programme Committee: Nicholas Asher, IRIT-CNRS, Toulouse Guillaume Aucher, Univ. of Luxembourg Alexandru Baltag, Oxford Univ. Anton Benz, ZAS, Berlin Patrick Blackburn, INRIA, Nancy Guido Boella, Univ. of Turin Jan Broersen, Univ. of Utrecht Cristiano Castelfranchi, ISTC-CNR, Rome Hans van Ditmarsch, Univ. of Otago & Univ. of Seville Raquel Fernández, Univ. of Amsterdam Jonathan Ginzburg, King's College, London Jeroen Groenendijk, Univ. of Amsterdam Davide Grossi, Univ. of Amsterdam Andreas Herzig, IRIT-CNRS, Toulouse Wiebe van der Hoek, Univ. of Liverpool Joris Hulstijn, Vrije Univ. of Amsterdam Andrew Jones, King's College, London Barteld Kooi, Univ. of Groningen Kepa Korta, Univ. of Basque Country, Donostia Alex Lascarides, Univ. Edinburgh Dominique Longin, IRIT-CNRS, Toulouse John-Jules Meyer, Univ. of Utrecht Paul Piwek, The Open Univ., Milton Keynes Henry Prakken, Univ. of Utrecht Leon van der Torre, Univ. of Luxembourg --------------------------------------------------------------------------- Submission Details: Authors are invited to submit an extended abstract presenting work relevant to the area of information dynamics, interaction and dialogue. Extended abstracts should have a maximum of 6 pages. Papers should be in PDF format (Latex-generated papers are preferred, but not necessary). Please follow the instructions that will be posted on the workshop's web page (http://www.irit.fr/~Laure.Vieu/Esslli10) to submit your paper by the deadline below. The submissions will be reviewed by the program committee and possibly additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. A special issue of the journal Synthese(http://www.springer.com/philosophy/philosophy+of+sciences/journal/11229) is planned, based on selected papers presented at the workshop, of which full versions will be independently reviewed. --------------------------------------------------------------------------- Important dates: Apr 12, 2010: Deadline for submission May 24, 2010: Notification June 1, 2010: Deadline for early registration to ESSLLI Jun 15, 2010: Deadline for final papers August 16-20, 2010: Workshop --------------------------------------------------------------------------- Local Arrangements: All workshop participants including the presenters will be required to register for ESSLLI. --------------------------------------------------------------------------- Further Information: About the workshop: http://www.irit.fr/~Laure.Vieu/Esslli10 About ESSLLI: http://esslli2010cph.info/ From vfgo at imm.dtu.dk Tue Jan 12 10:07:10 2010 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Tue, 12 Jan 2010 10:07:10 +0100 Subject: Advances in Modal Logic 2010: Second Call for Papers Message-ID: []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[] AiML-2010: SECOND CALL FOR PAPERS 8-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC MOSCOW, AUGUST 24-27, 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: Alexandru Baltag (Oxford) Dick de Jongh (Amsterdam) Heinrich Wansing (Dresden) Martin Otto (Darmstadt) Mati Pentus (Moscow) Patrick Blackburn (Nancy) 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: 24-27 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. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From guido at di.unito.it Tue Jan 12 10:31:57 2010 From: guido at di.unito.it (Guido Boella) Date: Tue, 12 Jan 2010 10:31:57 +0100 Subject: DEADLINE EXTENSION: SNAMAS@AISB 2010 - FINAL Call for papers Message-ID: <4B4C418D.1090103@di.unito.it> **** Apologies for cross-posting **** **** Please, aknowledge this message to your colleagues **** ------------------------------------------------------------ FINAL CALL FOR PAPERS (PDF version http://snamas.di.unito.it/call.pdf ) SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMPOSIUM ( http://snamas.di.unito.it ) SNAMAS at AISB 2010 Convention ( http://www.aisb.org.uk/convention/aisb10/AISB2010.html ) 29th March - 1st April 2010, De Montfort University, Leicester ------------------------------------------------------------- SYMPOSIUM CHAIRS - Giulia Andrighetto (ISTC-CNR Rome) - Guido Boella (University of Turin) - Ugo Pagallo (University of Turin) - Serena Villata (University of Turin) -------------------------------------------------------------- ABSTRACT One of the most interesting research topics in the field of multiagent systems is the definition of models with the aim of representing social structures such as organizations and coalitions, to control the emergent behavior of open systems. Organizations and coalitions are composed by individuals that are related to each other by different possible kinds of relations such as dependencies on goals, conflicts on resources, similar beliefs and so on. One important issue is how to represent these relations. Moreover, like the human organizations, these social structures are characterized also by an high degree of dynamism. In dealing with societal issues, the multiagent systems field took inspiration mostly from organizational theory in economics and legal theory, while less attention is devoted to the research area describing the relations among the individuals inside human organizations and their dynamics: social network analysis. Social network analysis has emerged as a key technique inmodern sociology, anthropology, social psychology, communication studies, information science, organizational studies, economics as well as a popular topic of study. Despite the common object of study,multiagent systems and social network analysis use concepts like agents, dependencies, etc. which often have only superficial similarities. The aim of this symposium is to underline the differences and the similarity points between these social network analysis and multiagent systems in the representation of the social structures and their dynamics, and to promote the interchange of knowledge and methodologies among the two fields. At AISB 2009 Convention, the Program Committee members Guido Boella, Harko Verhagen, Giulia Andrighetto e Jaime Sichman held the first SNAMAS Symposium. This Symposium fits the AISB'09 Convention theme ``Adaptive and Emergent Behaviour and Complex Systems", since both social networks analysis and multiagent systems deal with the behavior of complex systems composed by many agents and have among theirs topic adaptivity and emergence, since it is not realistic to consider only top-down rigidly designed social systems. The invited speaker of the event was Prof. Kathleen M. Carley, an international expert in the field of social network analysis and dynamic network analysis. The event was followed by a special issue of the Computational and Mathematical Organization Theory on "Social Networks and Multiagent Systems" with Editor-in-Chief: Kathleen M. Carley and Guest Editors: Giulia Andrighetto, Guido Boella, Jaime Sichman, Harko Verhagen. -------------------------------------------------------------- TOPICS Papers on the following non-exhaustive list of topics are solicited: - Emergent behaviour in multiagent systems and social networks analysis - Simulation of social systems - Learning evolution and adaptation in multiagent systems and social networks analysis - Artificial social systems - Societal aspects - Models of personality, emotions and social behaviour - Organizations in Multiagent systems and Social Networks -------------------------------------------------------------- INVITED SPEAKER TBA -------------------------------------------------------------- SPECIAL ISSUE A selection of the accepted papers will be published in a special issue of the Journal of Computational and Mathematical Organization Theory, Editor-in-Chief: Kathleen M. Carley, Springer. ______________________________________________________________ IMPORTANT DATES Paper submission deadline EXTENDED: JANUARY 18, 2010. Notification of acceptance: January 30, 2010. Camera ready version: TBA Symposium: 29th March - 1st April 2010 -------------------------------------------------------------- PAPER SUBMISSION The guidelines for paper submission are as the following: - The paper should be written in English. - The maximum length of a paper is 6 A4-sized pages in ECAI format (format download: http://www.aisb.org.uk/convention/aisb08/download.html ). - The paper should be in PDF format. - Please submit via the online paper submission system (http://www.easychair.org/conferences/?conf=snamas2010). - A selection of papers will be published in a special issue of a relevant journal. -------------------------------------------------------------- PROGRAMME COMMITTEE Patrice Caire, University of Luxembourg, Luxembourg Cristiano Castelfranchi, ISTC-CNR Rome, Italy Rosaria Conte, ISTC-CNR Rome, Italy Terrill Frantz, Carnegie Mellon University, USA Francesca Giardini, ISTC-CNR Rome, Italy Gustavo A. Gimenez Lugo, Federal Technological University of Parana, Brasil Brian Hirshman, ISR: Computation, Organizations and Society, USA Daniel T. Maxwell, Innovative Decisions Inc. Jeremy Pitt, Imperial College London, UK Luigi Sauro, University of Naples, Italy Jaime Sichman, University of Sao Paolo, Brasil Carles Sierra, IIIA-CSIC, Spain Pietro Terna, University of Turin, Italy Leendert van der Torre, University of Luxembourg, Luxembourg Harko Verhagen, Stockholm University, Sweden ------------------------------------------------------------ CONTACTS For further inquiries please contact: guido at di.unito.it -------------------------------------------------------------- From riadh.benhalima at enis.rnu.tn Tue Jan 12 14:18:56 2010 From: riadh.benhalima at enis.rnu.tn (Riadh BEN HALIMA) Date: Tue, 12 Jan 2010 14:18:56 +0100 (CET) Subject: PROMASC'2010: 2nd Call for Papers Message-ID: <20100112131856.3ED8CFD4B8@bechirzalila.dyndns.org> ------------------------------Call for Papers------------------------------ The First Workshop on Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC'2010) == May 30th, 2010, Tozeur-Tunisia == (http://www.redcad.org/members/benhalima/promasc2010) In conjunction with the NOTERE'2010 Conference -------------------------------------------------------------------------- ::Overview:: As the paradigm service-oriented architecture gains more prominence in the development of applications, the way of management of these applications is becoming a critical feature in order to provide a better quality of service. Cloud Computing is a technology that provides on-demand access to massively scalable resources in the field of Service Computing. The technical foundations of Cloud Computing include service-oriented architecture (SOA) and virtualizations of hardware and software. It has emerged as a new paradigm for deploying, managing and offering services through a shared infrastructure. Provisioning of SOA and Cloud presents a new set of emerging issues and challenges that are expected to be identified and resolved by the research community. It includes issues of the proposed approaches at several levels: modeling, composition, coordination, planning, scheduling, configuration, monitoring and analysis. This workshop intends to provide an effective forum for researchers and industry practitioners to exchange innovative ideas and state-of-the-art research, share experiences and lessons learned from academic research projects as well as real world projects. ::Topics:: Our goal is to bring together researchers and practitioners to stimulate discussions on the features of provisioning and management of SOA and Cloud. We are soliciting contributions from both academia and industrials on the following topics (the list is not exhaustive): * Provisioning of SOA Virtualization * Management of Resources Virtualization * QoS Management of SOA and Cloud Computing * Service Level Agreement (SLA) Negotiation, Automation and Orchestration for Cloud Computing * Provisioning and Scalability in the Cloud * Regulations for Cloud Architectures * Policy Driven Management of SOA and Cloud Computing * Availability, Reliability and Privacy * Assurance and Certification of SOA * Pricing of Cloud Resources ::Submission:: We encourage contributions of short papers or practical experiences (4 Pages) and full papers (max 6 pages) with high quality research contributions and experimental results. Papers should be written in English according to the IEEE double column format. Authors must upload their paper as PDF file using the PROMASC'2010 submission system hosted by Easy Chair: https://www.easychair.org/login.cgi?conf=promasc2010 ::Publication:: All accepted papers will be published within the conference proceedings edited by IEEE. Best workshop papers will be considered -within best NOTERE conference papers- for two special issues: * Wiley Concurrency and Computation: Practice and Experiment Journal * Springer Journal of Supercomputing ::Important Dates:: * Submission deadline: 31 Jan 2010 * Notification: 14 March 2010 * Camera Ready: 28 March 2010 * Workshop: 30 May 2010 ::Workshop Organizers:: * Riadh BEN HALIMA, ENI-Sfax, Tunisia [riadh.benhalima [at] enis.rnu.tn] * Mohamad EL MASRI, LAAS-CNRS, Toulouse, France [mmasri [at] laas.fr] ::Technical Program Committee:: * Ramin Yahyapour, Dortmund University, Germany * Mohamed Karim Guennoun, EHTP, Casablanca, Morocco * Vladimir Stantchev, Technical University of Berlin, Germany * Claudio Ardagna, University of Milan, Italy * Luis Miguel Vaquero, Juan Carlos King University, Spain * Roberto Furnari, University of Torino, Italy * Ignacio Martin Llorente, University of Madrid, Spain * Lotfi Ben Romdhane, Faculty of Sciences of Monastir, Tunisia * Ruben Santiago Montero,Complutense University of Madrid, Spain * Eddy Truyen, Catholic University of Leuven, Belgium * Maher Khemakhem, University of Sousse, Tunisia * Lynda Mokdad, University of Paris 12, France * Steffen Heinzl, SAP Research, Germany * Lamolle Myriam, University of Paris 8, France * Ernesto Exposito, LAAS-CNRS, Toulouse, France * Mathieu Gineste, Thales Alenia Space, France * Florian Rosenberg, CSIRO ICT Centre, Australia Please visit http://www.redcad.org/members/benhalima/promasc2010 for more information. -------------------------------------------------------------------------- From ch.lange at jacobs-university.de Tue Jan 12 17:54:02 2010 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Tue, 12 Jan 2010 17:54:02 +0100 Subject: CfP: Ontology Repositories and Editors for the Semantic Web (ORES2010 @ ESWC) Message-ID: <201001121754.03228.ch.lange@jacobs-university.de> ESWC 2010 Workshop on Ontology Repositories and Editors for the Semantic Web ORES 2010 - Call for papers and system descriptions - http://www.ontologydynamics.org/od/index.php/ores2010/ Heraklion, Greece - Deadline: March 1, 2010 The growing number of online ontologies makes the availability of ontology repositories, in which ontology practitioners can easily find, select and retrieve reusable components, a crucial issue. The recent emergence of several ontology repository systems is a further sign of this. However, in order for these systems to be successful, it is necessary to provide a forum for researchers and developers to discuss features and exchange ideas on the realization of ontology repositories in general and to consider explicitly their role in the ontology lifecycle. In addition, it is now critical to achieve interoperability between ontology repositories, through common interfaces, standard metadata formats, etc. ORES10 intends to provide such a forum. Illustrating the importance of the problem, significant initiatives are now emerging. One example is the Open Ontology Repositories (OOR) working group set up by the Ontolog community. Within this effort regular virtual meetings are organized and actively attended by ontology experts from around the world; The Ontolog OOR 2008 meeting was held at the National Institute for Standards in Technology (NIST), generating a joint communiqué outlining requirements and paving the way for collaborations. Another example is the Ontology Metadata Vocabulary (OMV) Consortium, addressing metadata for describing ontologies. Despite these initial efforts, ontology repositories are hardly interoperable amongst themselves. Although sharing similar aims (providing easy access to Semantic Web resources), they diverge in the methods and techniques employed for gathering these documents and making them available; each interprets and uses metadata in a different manner. Furthermore, many features are still poorly supported, such as modularization and versioning, as well as the relationship between ontology repositories and ontology engineering environments (editors) to support the entire ontology lifecycle. Submitting papers and system descriptions We want to bring together researchers and practitioners active in the design, development and application of ontology repositories, repository-aware editors, modularization techniques, versioning systems and issues around federated ontology systems. We therefore encourage the submission of research papers, position papers and system descriptions discussing some of the following questions: * How can ontology repositories "talk" to each other? * How can the abundant and complex knowledge contained in an ontology repository be made comprehensible for users? * What is the role of ontology repositories in the ontology lifecycle? * How can branching and versioning be managed in and across ontology repositories? * How can ontology repositories interoperate with ontology editors, and other applications and legacy systems? * How can connections across ontologies be managed within and across ontology repositories? * How can modularity be better supported in ontology repositories and editors? * How can ontology repositories and editors use distributed reasoning? * How can ontology repositories support corporate, national and domain specific semantic infrastructures? * How do ontology repositories support novel semantic applications? * What measurements for describing and comparing ontologies can we use? How could ontology repositories use these? Research papers are limited to 12 pages and position papers to 5 pages. For system descriptions, a 5 page paper should be submitted. All papers and system descriptions should be formatted according to the LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0 ). Proceedings of the workshop will be published online. Depending on the number and quality of the submissions, authors might be invited to present their papers during a poster session. Submissions can be realized through the easychair system at http://www.easychair.org/conferences/?conf=ores2010 . Important dates Papers and demo submission: March 1, 2010 (23:59 Hawaii Time) Notification: April 5, 2010 Camera ready version: April 18, 2010 Workshop: May 30 or 31, 2010 Organizing committee Mathieu d'Aquin, the Open University, UK Alexander García Castro, Bremen University, Germany Christoph Lange, Jacobs University Bremen, Germany Kim Viljanen, Aalto University, Finland Program committee Ken Baclawski, Northeastern University, USA. Leo J. Obrst, MITRE Corporation, USA. Mark Musen, Stanford University, USA. Natasha Noy, Stanford University, USA. Li Ding, Rensselaer Polytechnic Institute, USA. Mike Dean, BBN, USA. John Bateman, Universität Bremen, Germany. Michael Kohlhase, Jacobs University, Germany. Tomi Kauppinen, University of Muenster, Germany. Peter Haase, Fluid Operations, Germany. Raul Palma, Poznan University, Poland. Antoine Isaac, Vrije Universiteit, The Netherlands. Eero Hyvönen, Aalto University and University of Helsinki, Finland. Martin Luts, ELIKO TAK, Estonia. Janne Saarela, Profium Ltd, Finland. Jouni Tuominen, University of Helsinki, Finland. Sandro Hawke, W3C. Wolfram Wöß, Johannes Kepler University Linz, Austria -- Alexander Garcia http://www.alexandergarcia.name/ http://www.usefilm.com/photographer/75943.html http://www.linkedin.com/in/alexgarciac Postal address: Alexander Garcia, Tel.: +49 421 218 64211 Universität Bremen Enrique-Schmidt-Str. 5 D-28359 Bremen -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 198 bytes Beschreibung: This is a digitally signed message part. URL : From Wiebe.van-der-Hoek at liverpool.ac.uk Tue Jan 12 19:58:10 2010 From: Wiebe.van-der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Tue, 12 Jan 2010 18:58:10 +0000 Subject: LOFT2010 Call for Papers (with IJGT post-proceedings!) Message-ID: <8E805193-B664-41A8-962D-EF443A5E02F0@liverpool.ac.uk> LOFT9 2010 Ninth Conference on Logic and the Foundations of Game and Decision Theory University of Toulouse, France, 5-7 July 2010 http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html AIMS OF THE CONFERENCE This is the ninth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous eight conferences took place at CIRM (Marseille, France) in January 1994, at ICER (Torino, Italy) in December 1996, December 1998, July 2000 and July 2002, in Leipzig in July 2004, in Liverpool in July 2006 and in Amsterdam in July 2008 (see: http://www.econ.ucdavis.edu/faculty/bonanno/loft.html) Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through http://www.easychair.org/conferences/?conf=loft2010 The deadline for submission is March 15, 2010, and authors will be notified of acceptance decisions by April 18, 2010. PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT9 will be published in a special issue of the International Journal of Game Theory. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html Program Chairs: Giacomo Bonanno, University of California Davis, U.S.A. Andreas Herzig, University of Toulouse, France Wiebe van der Hoek, University of Liverpool, United Kingdom Jérôme Lang, University Paris-Dauphine and University of Toulouse, France Program Committee: Geir Asheim, University of Oslo, Norway Oliver Board, University of Pittsburgh, USA Vincent Conitzer, Duke University, USA Ulle Endriss, University of Amsterdam, The Netherlands Sebastian Enqvist, Lund University, Sweden Joe Halpern, Cornell University, USA Christian List, London School of Economics, United Kingdom Benedikt Loewe, University of Amsterdam, The Netherlands Larry Moss, Indiana University, USA Herve Moulin, Rice University, USA Eric Pacuit, Tilburg University, The Netherlands Andres Perea, Maastricht University, The Netherlands Wlodek Rabinowicz, Lund University, Sweden R Ramanujam, Chennai Institute of Mathematical Sciences, India Olivier Roy, University of Groningen, The Netherlands Hannu Salonen, University of Turku, Finland Wolfgang Spohn, University of Konstanz, Germany Moshe Tennenholtz, Technion Institute of Technology, Israel Local Organization Committee: Emiliano Lorini (chair), Sylvie Doutre, Hélène Fargier, Dominique Longin, Laurent Perrussel. Important Dates: Deadline for submission: 15 March, 2010 Notification to authors: 18 April, 2010 Conference: 5-7 July 2010 ------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department, Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaannounce.org Tue Jan 12 20:44:55 2010 From: invitation at iariaannounce.org (NexComm) Date: Tue, 12 Jan 2010 14:44:55 -0500 (EST) Subject: Deadline extension to January 30: NexComm 2010 [CTRQ, ICDT, SPACOMM, MMEDIA, MOPAS] June 13-19, 2010 - Athens, Greece Message-ID: <18894363.15582.1263325495734.JavaMail.Onitza@IariaAnnounce> INVITATION Note that the submission deadline has been extended to January 30, 2010. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= NexComm 2010, June 13-19, 2010 - Athens, Greece see: http://www.iaria.org/conferences2010/NexComm10.html NexComm 2010 is a federated event focusing on advances topics concerning digital communications, space communications, and multimedia. WebTel 2010 continues the tradition of well-established conferences [CTRQ and ICDT] along with newer conferences [SPACOMM, MMEDIA, and MOPAS]. Submission (full paper) new deadline: January 30, 2010. Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. All tracks/topics are open to both research and industry contributions. -- CTRQ 2010, The Third International Conference on Communication Theory, Reliability, and Quality of Service http://www.iaria.org/conferences2010/CTRQ10.html -- ICDT 2010, The Fifth International Conference on Digital Telecommunications http://www.iaria.org/conferences2010/ICDT10.html -- SPACOMM 2010, The Second International Conference on Advances in Satellite and Space Communications http://www.iaria.org/conferences2010/SPACOMM10.html -- MMEDIA 2010, The Second International Conferences on Advances in Multimedia http://www.iaria.org/conferences2010/MMEDIA10.html -- MOPAS 2010, The First International Conference on Models and Ontology-based Design of Protocols, Architectures and Services http://www.iaria.org/conferences2010/MOPAS10.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about NexComm, please reply with "DROP NexComm event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From mchan at inf.ed.ac.uk Tue Jan 12 23:06:44 2010 From: mchan at inf.ed.ac.uk (Michael Chan) Date: Tue, 12 Jan 2010 22:06:44 +0000 Subject: Final Call for Papers: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies. Message-ID: <4B4CF274.3020106@inf.ed.ac.uk> Apologies for possible multiple postings. Thanks in advance for forwarding the information on this Call for Submissions to those potentially interested to submit. ------------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------------ Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies http://dream.inf.ed.ac.uk/events/wmm-2010 31st March 2010, part of AISB'10 Convention, Leicester, UK OVERVIEW The problem of semantic misalignment - of two (or more) systems failing to understand one another when their semantic representation is not identical - occurs in a huge variety of areas: the Semantic Web, databases, natural language processing; anywhere, indeed, where semantics are necessary but centralised control is undesirable or impractical. In highly dynamic domains, where interactions are between a large, diverse and evolving community, there is a need for the resolving of these misalignments - through developing and evolving existing ontologies or interpreting unknown ontologies in terms of known ones - to be done automatically and on-the-fly. The aim of this workshop is to bring together researchers interested in the problems of automated development, evolution and interpretation of ontologies in the many different domains in which it occurs. We are primarily interested in the exchange of ideas and the stimulation of debate, and the workshop is intended to be a forum for researchers to present ongoing work and ideas and to engage in discussion with other researchers from the field. We are particularly interested in novel ideas and innovative research, which may be in its early stages, and encourage reports on work in progress. Topics of interest include: * Ontology evolution * Ontology matching and alignment * Ontology versioning * Representational or structural change * Formal aspects of ontology dynamics * Formalisation of and reasoning with contexts * Foundational issues * Social and collaborative matching * Background knowledge in matching * Extensions to ontology languages to better support change * Non-monotonic reasoning for ontologies and the Semantic Web * Inconsistency handling in evolving ontologies * Uncertainty in matching * Change propagation in ontologies and metadata * Ontologies for dynamic environments * Dynamic knowledge construction and exploitation * Matching for dynamic applictions (e.g., p2p, agents, web-services) * Case studies, software tools, use cases, applications * Open problems SUBMISSION GUIDELINES We encourage the submission of extended abstracts of 2-5 pages that discuss ongoing research, problem descriptions and overviews of the domain. Accepted papers will be included in the AISB 2010 proceedings unless the authors prefer them not to be (for example, if the work is very similar to work presented elsewhere which they nevertheless feel it would be valuable to present in this context, or if the work is at a stage where discussion would be valuable but publication would be premature). Authors wishing their submissions to be included in the convention proceedings must follow the style guide on the convention website. Submitted works do not need to be original as our primary interest is in the exchange of ideas and the stimulation of debate. Inclusion in the proceedings is optional. Submissions will be subject to light reviewing, mainly intended to check fit to workshop. Abstracts should be submitted electronically in pdf format to mchan-at-ed.ac.uk by 15th January 2010. Notification of acceptance will be sent to the submitting author on 15th February 2010. VENUE The workshop will take place at De Montfort University in Leicester, as part of the AISB 2010 Convention (http://www.aisb.org.uk/convention/aisb10/), from March 31st to 1st April, 2010. All workshop participants must be registered for the AISB 2010 Convention. Registration for this workshop is included in the convention registration fee. IMPORTANT DATES Submission: *Friday, 15th January 2010* Notification: Monday, 15th February 2010 Workshop: 31st March - 1st April 2010 AISB10 Convention: 29th March - 1st April 2010 PROGRAMME Presentations: Authors of accepted abstracts will give presentations of their work; exact times to be decided. Posters: If it is not possible to fit in presentations for all accepted authors, some may be asked to present posters instead. There will be a session of 5 minute poster talks. Panel: The technical programme will end with a 90 minute panel discussion on a topic of mutual interest to be decided. Three speakers will speak for 10 minutes each with a brief to stimulate debate during the remaining 60 minutes. Discussion amongst all participants, rather than question-and-answering for the panel, will be strongly encouraged. ORGANISERS Fiona McNeill, University of Edinburgh, UK Michael Chan, University of Edinburgh, UK PROGRAMMING COMMITTEE Manuel Atencia Arcas, IIIA-CSIC, Spain Paolo Besana, University of Edinburgh, UK Alan Bundy, University of Edinburgh, UK Jerome Euzenat, INRIA Grenoble Rhone-Alpes, France Fausto Giunchiglia, University of Trento, Italy Adam Pease, Articulate Software, USA Pavel Shvaiko, TasLab, Informatica Trentina, Italy -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From jsabater at iiia.csic.es Wed Jan 13 11:36:42 2010 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Wed, 13 Jan 2010 11:36:42 +0100 Subject: [AAMAS-2010] Doctoral Mentoring Program Message-ID: <5452623961601903513301@Galvatron> ***** Call for Doctoral Mentoring Program Submissions ***** Ninth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2010) Toronto, Canada Symposium Date: May 10, 2010 Conference Dates: May 10-14, 2010 http://www.cse.yorku.ca/AAMAS2010/ The AAMAS 2010 doctoral mentoring program is intended for Ph.D. students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: - To match each student with an established researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. - To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. -To provide students with contacts and professional networking opportunities. The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. Submission Requirements We encourage submissions from Ph.D. students at advanced stages of their research within the Autonomous Agents and Multi-Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. The submission package should include: - A two-page extended abstract of the student's thesis (in the AAMAS submission format) - A personal research statement (one page) - A short (2-page) resume (CV) - A recommendation letter from the advisor. Submissions should be sent via email to johnt at rmit.edu.au. Important Dates Jan 30, 2010: Submission package due Feb 27, 2010: Acceptance notification May 10, 2010: Doctoral mentoring symposium For questions, please contact the doctoral mentoring co-chairs: Gita Sukthankar University of Central Florida gitars at eecs.ucf.edu John Thangarajah RMIT, Australia johnt at rmit.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marek at cs.uky.edu Wed Jan 13 11:43:30 2010 From: marek at cs.uky.edu (Victor Marek) Date: Wed, 13 Jan 2010 05:43:30 -0500 Subject: Nonmon at 30 Message-ID: <20100113104330.GA20647@cs.uky.edu> Please post. Thanks, VWM ================ CALL FOR PAPERS 30 Years of Nonmonotonic Logic - International Conference Lexington, KY, USA October 22 (Friday) - October 25 (Monday), 2010. http://sites.google.com/site/nonmonat30/ The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic. This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications (http://www.collegepublications.co.uk/). A special issue of the Journal of Artificial Intelligence Research (JAIR; http://www.jair.org/) will provide a venue for technical presentations (a detailed CFP for the special issue will be distributed at a later time; a rigorous peer review process in-line with JAIR quality standards will be followed). INVITED TALKS The following researchers will deliver invited presentations at the meeting: Chitta Baral Alexander Bochman James Delgrande Marc Denecker Thomas Eiter Dov Gabbay Michael Gelfond Georg Gottlob Michael Kaminski Daniel Lehmann Vladimir Lifschitz Fangzhen Lin Jack Minker Ilkka Niemela David Pearce Jeffrey Remmel Eric Sandewall Torsten Schaub ORIGINAL TECHNICAL PAPERS We invite papers in all areas of nonmonotonic reasoning, and especially encourage submissions underlying the role of nonmonotonic reasoning in artificial intelligence and knowledge representation. PROGRAM COMMITTEE Gerhard Brewka (co-Chair) Eyal Amir Salem Benferhat Richard Booth Pedro Cabalar Yannis Dimopoulos Wolfgang Faber Norman Foo Martin Gebser Tony Hunter Tomi Janhunen Victor Marek (co-Chair) Tommie Meyer Maurice Pagnucco Henry Prakken Chiaki Sakama Ken Satoh Evgenia Ternovska Michael Thielscher Mirek Truszczynski (co-Chair) Joost Vennekens Stefan Woltran Mingyi Zhang ORGANIZATION G. Brewka (brewka at informatik.uni-leipzig.de) V. Marek (marek at cs.uky.edu) M. Truszczynski (mirek at cs.uky.edu) IMPORTANT DATES (for the original technical contributions track) Paper submission: July 11 (Monday) Acceptance Decision: September 6 (Monday) Final Version (for on-line proceedings): October 3 (Monday) Paper Submission will be handled by EasyChair (details to follow). Conference page: http://sites.google.com/site/nonmonat30/ ================ From lorini at irit.fr Wed Jan 13 13:44:16 2010 From: lorini at irit.fr (lorini at irit.fr) Date: Wed, 13 Jan 2010 13:44:16 +0100 (CET) Subject: ESSLLI 2010 workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue Message-ID: <3bfb907aa43752b21127c2a28e3e4cde.squirrel@websecu.irit.fr> CALL FOR PAPERS Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue http://www.irit.fr/~Laure.Vieu/Esslli10 Workshop organized as part of European Summer School on Logic, Language and Information ESSLLI 2010 http://esslli2010cph.info/ August 16-20 (ESSLLI 2nd week) 2010, Copenhagen --------------------------------------------------------------------------- Workshop Purpose and Topics Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface...). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely. This workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics). The following are some examples of formal theories and logics that are relevant to the workshop (no order): speech act theory, argumentation theory, game theory, public announcement logic, dynamic epistemic logic (DEL), logics of agency and power (e.g. STIT, ATL, Coalition Logic), theories of persuasion, theories of commitment, dynamic semantics, semantic approaches to interrogative clauses, rhetorical approaches to dialogue (e.g., Segmented Discourse Representation Theory). The focus of the workshop will be on recent developments, especially those that combine several approaches (e.g. dynamic epistemic logic and speech act theory, dynamic epistemic logic and segmented discourse representation theory, public announcement logic and commitment theories, STIT and dynamic epistemic logic, Coalition Logic and public announcement logic...) to deal with complex dialogue and communication phenomena. --------------------------------------------------------------------------- Invited speakers: Patrick Blackburn, LORIA, INRIA Nancy Jeroen Groenendijk, ILLC, University of Amsterdam --------------------------------------------------------------------------- Workshop Organizers: Emiliano Lorini ("lorini at irit.fr") and Laure Vieu ("vieu at irit.fr"), IRIT-CNRS, Toulouse --------------------------------------------------------------------------- Workshop Programme Committee: Nicholas Asher, IRIT-CNRS, Toulouse Guillaume Aucher, Univ. of Luxembourg Alexandru Baltag, Oxford Univ. Anton Benz, ZAS, Berlin Patrick Blackburn, INRIA, Nancy Guido Boella, Univ. of Turin Jan Broersen, Univ. of Utrecht Cristiano Castelfranchi, ISTC-CNR, Rome Hans van Ditmarsch, Univ. of Otago & Univ. of Seville Raquel Fernández, Univ. of Amsterdam Jonathan Ginzburg, King's College, London Jeroen Groenendijk, Univ. of Amsterdam Davide Grossi, Univ. of Amsterdam Andreas Herzig, IRIT-CNRS, Toulouse Wiebe van der Hoek, Univ. of Liverpool Joris Hulstijn, Vrije Univ. of Amsterdam Andrew Jones, King's College, London Barteld Kooi, Univ. of Groningen Kepa Korta, Univ. of Basque Country, Donostia Alex Lascarides, Univ. Edinburgh Dominique Longin, IRIT-CNRS, Toulouse John-Jules Meyer, Univ. of Utrecht Paul Piwek, The Open Univ., Milton Keynes Henry Prakken, Univ. of Utrecht Leon van der Torre, Univ. of Luxembourg --------------------------------------------------------------------------- Submission Details: Authors are invited to submit an extended abstract presenting work relevant to the area of information dynamics, interaction and dialogue. Extended abstracts should have a maximum of 6 pages. Papers should be in PDF format (Latex-generated papers are preferred, but not necessary). Please follow the instructions that will be posted on the workshop's web page (http://www.irit.fr/~Laure.Vieu/Esslli10) to submit your paper by the deadline below. The submissions will be reviewed by the program committee and possibly additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. A special issue of the journal Synthese (http://www.springer.com/philosophy/philosophy+of+sciences/journal/11229) is planned, based on selected papers presented at the workshop, of which full versions will be independently reviewed. --------------------------------------------------------------------------- Important dates: Apr 12, 2010: Deadline for submission May 24, 2010: Notification June 1, 2010: Deadline for early registration to ESSLLI Jun 15, 2010: Deadline for final papers August 16-20, 2010: Workshop --------------------------------------------------------------------------- Local Arrangements: All workshop participants including the presenters will be required to register for ESSLLI. --------------------------------------------------------------------------- Further Information: About the workshop: http://www.irit.fr/~Laure.Vieu/Esslli10 About ESSLLI: http://esslli2010cph.info/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From david at cs.uwaterloo.ca Wed Jan 13 14:07:21 2010 From: david at cs.uwaterloo.ca (David Toman) Date: Wed, 13 Jan 2010 14:07:21 +0100 Subject: Description Logics DL 2010 final call for papers Message-ID: <87r5pu6tme.fsf@cs.uwaterloo.ca> ---------------------------------------------------------------------- 23rd International Workshop on Description Logics (DL 2010) FINAL CALL FOR PAPERS Waterloo, Ontario, Canada http://www.cs.uwaterloo.ca/conferences/dl2010/ The DL workshop is the major annual event of the description logic research community. The workshop is the premier forum to meet, discuss and exchange experiences among all those, both in the academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: January 26th, 2010 Acceptance notification: March 9th, 2010 Camera ready copies: March 30th, 2010 Early registration: March 30th, 2010 Workshop: May 4 to May 7th ---------------------------------------------------------------------- WORKSHOP SCOPE We invite contributions on all aspects of description logics, such as * foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems; * extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages; * integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems; * use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing; * building systems based on description logics, with special emphasis on optimization and implementation techniques; and * tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than January 26th, 2010. The length of submissions is limited to 11 pages, including title and abstract (can be omitted if necessary), and list of references. Papers must be submitted in PDF format via EasyChair; see http://www.easychair.org/conferences/?conf=dl2010 The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series; see http://www.CEUR-ws.org/ Accepted submissions will be selected for either oral or poster presentation; however, no distinction will be made in the workshop proceedings: all accepted papers can be 11 pages long. ---------------------------------------------------------------------- WORKSHOP CHAIRS * Grant Weddell, Waterloo (Workshop Chair) * Volker Haarslev, Concordia (PC Chair) * David Toman, Waterloo (PC Chair) ---------------------------------------------------------------------- INVITED SPEAKERS * Ian Horrocks (Oxford) * Phokion Kolaitis (UC Santa Cruz) * Roberto Sebastiani (Trento) ---------------------------------------------------------------------- PROGRAMME COMMITTEE Carlos Areces (LORIA, France) Alessandro Artale (Free University of Bozen-Bolzano, Italy) Meghyn Bienvenu (University of Bremen, Germany) Alex Borgida (Rutgers University, USA) Andrea Cali (University of Oxford, UK) Diego Calvanese (Free University of Bozen-Bolzano, Italy) Bernardo Cuenca Grau (University of Oxford, UK) Giuseppe De Giacomo (Sapienza Universita di Roma, Italy) Achille Fokoue (IBM Research, USA) Enrico Franconi (Free University of Bozen-Bolzano, Italy) Rajeev Gore (Australian National University, Australia) Stijn Heymans (TU Vienna, Austria) Pascal Hitzler (Wright State University, USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt (University of Liverpool, UK) Yevgeny Kazakov (University of Oxford, UK) Boris Konev (University of Liverpool, UK) Roman Kontchakov (Birkbeck University of London, UK) Thomas Lukasiewicz (University of Oxford, UK) Carsten Lutz (University of Bremen, Germany) Tommie Meyer (Meraka Institute, South Africa) Maja Milicic (University of Manchester, UK) Ralf Moeller (Hamburg University of Technology, Germany) Boris Motik (University of Oxford, UK) Jeff Z. Pan (University of Aberdeen, UK) Bijan Parsia (University of Manchester, UK) Peter F. Patel-Schneider (Bell Labs Research, USA) Riccardo Rosati (Sapienza Universita di Roma, Italy) Sebastian Rudolph (University of Karlsruhe, Germany) Uli Sattler (University of Manchester, UK) Stefan Schlobach (Vrije Universiteit Amsterdam, The Netherlands) Luciano Serafini (ITC-IRST, Italy) Evren Sirin (Clark & Parsia, USA) Viorica Sofronie-Stokkermans (Max-Planck-Institute, Germany) Giorgos Stamou (National Technical University of Athens, Greece) Umberto Straccia (ISTI-CNR, Italy) Anni-Yasmin Turhan (TU Dresden, Germany) Frank Wolter (University of Liverpool, UK) Misha Zakharyaschev (Birkbeck University of London, UK) ---------------------------------------------------------------------- RESOURCES * Information about registration, travel information, accommodation, and so on will be made available on the DL 2009 homepage: http://www.cs.uwaterloo.ca/conferences/dl2010/ * Enquiries about the DL 2009 workshop can be made by contacting the organizing committee: dl2010 at easychair.org * The official Description Logic home page is at http://dl.kr.org/ ---------------------------------------------------------------------- -- Dr. David Toman, Associate Professor School of Computer Science tel: (519) 888-4567 ext 34447 University of Waterloo fax: (519) 885-1208 200 University Avenue West david at uwaterloo.ca Waterloo, Ontario, Canada N2L 3G1 http://db.uwaterloo.ca/~david From kuf at dfki.de Wed Jan 13 17:28:54 2010 From: kuf at dfki.de (Klaus Fischer) Date: Wed, 13 Jan 2010 17:28:54 +0100 Subject: CFP: ATOP@AAMAS2010 Message-ID: <4B4DF4C6.mailI8G1YFBAO@dave.dfki.uni-sb.de> =============================================================================== Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2010 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Ninth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2010) (http://www.cse.yorku.ca/AAMAS2010/) Toronto, Canada, 10 or 11th May 2010 IMPORTANT DATES Submissions due February 2, 2010 Notifications sent March 2, 2010 Final papers due March 10, 2010 Workshop May 10 or 11 2010 ORGANIZING COMMITTEE Joerg P. Mueller, Technische Universitaet Clausthal, Germany Klaus Fischer, DFKI, Germany Renato Levy, Intelligent Automation, Inc, Rockville, USA SUBMISSIONS Please find further details on the workshop and how to submit contributions at the workshop Web page at http://www-ags.dfki.uni-sb.de/~kuf/atop Please send submissions to: joerg.mueller at tu-clausthal.de BRIEF DESCRIPTION OF WORKSHOP TOPICS ATOP focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. The main goal is to stimulate a discussion on how far agent technologies can support interoperability in this context and to compare current trends in the development of agent technologies with recent developments in service-oriented and model-driven system design with respect to their ability to solve interoperability problems. Regarding model-driven system design the presentation and discussion of metamodels of the underlying technologies like for example agent technologies and service-oriented architectures is especially of interest. We would like to focus the ATOP 2010 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems =============================================================================== From shilov at iis.nsk.su Thu Jan 14 12:31:21 2010 From: shilov at iis.nsk.su (shilov at iis.nsk.su) Date: Thu, 14 Jan 2010 17:31:21 +0600 Subject: CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2010, June 14-15, 2010 in Kazan, Russia) Message-ID: PSSV 2010 Call for Papers The Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010) affiliated with 5th International Computer Science Symposium in Russia (CSR-2010, http://csr2010.antat.ru , June 16-20, 2010) will be held on June 14-15, 2010 in Kazan, Russia. =========================================== Important dates Extended abstract submission: March 10, 2010 Notification: March 31, 2010 =========================================== Official languages: English and Russian =========================================== Scope and Topics Research, work in progress and position papers are welcome. List of topics of interest includes (but is not limited to): * formalisms for program semantics; * formal models and semantics of programs and systems; * semantics of programming and specification languages; * formal specification of programs and systems; * logics for formal specification and verification; * deductive program verification; * model checking of programs and systems; * formal approach to testing and validation; * software verification tools. =========================================== Program Chairs * Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep at iis.nsk.su) * Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, sokolov at uniyar.ac.ru) Program Committee * Natasha Alechina (University of Nottingham, UK) * Boris Konev (University of Liverpool, UK) * Victor Kuliamin (Institute for System Programming, Moscow, Russia) * Nikolay V. Shilov (Institute of Informatics Systems, Novosibirsk, Russia) * Natalia Sidorova (Techn. University Eindhoven, Netherlands) * Vladimir Zakharov (Moscow State University, Russia) =========================================== Submission and Publication Program committee plans to have contributed talks and posters presentations. Program Committee invites submissions in the form of extended abstracts with length up to 6 pages A4 in 12 pt font with line-spacing 1.5 intervals (in English or in Russian). Additional details may be included in an appendix up to 4 pages for Program Committee. Submissions should be in PDF format and should be sent (as attachments) by e-mail to Alexei Promsky (Inst. of Informatics Systems, Novosibirsk, Russia) promsky at iis.nsk.su All accepted papers will be published in the preliminary proceedings before the workshop and the volume of the proceedings will be distributed at the workshop. Selected papers will be published after the workshop in one of Russian peer-review journals. At least one author of every accepted paper should present a talk in the workshop. From smaus at informatik.uni-freiburg.de Thu Jan 14 14:20:44 2010 From: smaus at informatik.uni-freiburg.de (Jan-Georg Smaus) Date: Thu, 14 Jan 2010 14:20:44 +0100 (CET) Subject: MoChArt 2010: Call for papers Message-ID: Sixth Workshop on MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt 2010) At AAAI-2010, Twenty-Fourth AAAI Conference on Artificial Intelligence Atlanta, Georgia, USA, July 11-12, 2010 http://mochart.informatik.uni-freiburg.de/ CALL FOR PAPERS INTRODUCTION Model checking is the process of determining whether a logic formula is satisfied by a model. For many logics of interest, model checking can be efficiently automated. This has led to widespread interest in model checking as a technique for verifying properties of systems, and the development of model checking tools (e.g., SMV, Uppaal, PHAVer, and SPIN). The success of model checking in the computer aided verification community has led to a growth of interest in the use of model checking in artificial intelligence. Automated verification technologies are increasingly relevant for safety and reliability of autonomous systems. There has been a strong interest in this area from, e.g. NASA, which has applied it in the context of the Mars rovers and other autonomous robotics systems. On the other hand, model checking, in particular if viewed in the wider context of system verification, falsification and development, has recently benefited from the use of AI techniques, e.g. search heuristics, abstraction techniques, and constraint satisfaction (particularly SAT solving, which underlies "bounded model checking"). One of the principal benefits of model checkers in verification is their ability to return error traces when the specification is false. Dually, such traces can be viewed as plans for falsifying the specification: this duality means that there is a close relationship with planning. In directed model checking, AI planning techniques are applied in the search for error traces. The MoChArt workshop brings together researchers from AI and model checking. Apart from presentations of accepted papers, the programme will include an invited talk. We expect around 25 participants. Previous editions of the workshop were held in Patras in 2008 (as a satellite workshop of ECAI), Riva del Garda in 2006 (ECAI), San Francisco in 2005 (CONCUR), Acapulco in 2003 (IJCAI), and Lyon in 2002 (ECAI). TOPICS OF INTEREST Topics of interest include (a more detailed list can be found on the workshop webpage): - Application of model checking techniques to AI problems. - Model Checking and AI logics. - Relations between different techniques used in the two fields for similar purposes (e.g., reducing state explosion). - New model checking techniques specifically for AI problems. - Exploitation of AI techniques in model checking. - Software tools for model checking in AI. - Model checking for verification of AI systems. Preliminary papers and papers on applications are strongly encouraged. IMPORTANT DATES Deadline for submissions: March 31, 2010 Notification: April 23, 2010 Camera-ready paper due: May 4, 2010 Workshop: July 11 or 12, 2010 SUBMISSION PROCEDURES Submissions must be no more than 15 pages in length. Papers must be submitted through the EasyChair web-based conference management system: follow the link from the workshop web page. All papers will be peer reviewed. PROCEEDINGS During the workshop, informal proceedings (working notes) will be available. As with previous editions of MoChArt, post-proceedings based on selected papers from the meeting and invited papers will be published in the LNCS/LNAI series of Springer-Verlag. PARTICIPATION The workshop forms part of the AAAI-2010 workshop programme. For full information about AAAI-2010, including registration, travel & accomodation, see: http://www.aaai.org/Conferences/AAAI/aaai10.php PROGRAM CHAIRS AND ORGANISING COMMITTEE * Ron van der Meyden School of Computer Science and Engineering University of New South Wales email: meyden at cse.unsw.edu.au * Jan-Georg Smaus Institut für Informatik Albert-Ludwigs-Universität Freiburg smaus at informatik.uni-freiburg.de PROGRAM COMMITTEE Rajeev Alur, University of Pennsylvania Massimo Benerecetti, Università di Napoli "Federico II", Alessandro Cimatti, IRST, Trento Stefan Edelkamp, Universität Bremen Enrico Giunchiglia, Università di Genova Patrice Godefroid, Microsoft Research, Redmond Aarti Gupta, NEC Laboratories America, Princeton Klaus Havelund, NASA Jet Propulsion Laboratory & Caltech Orna Kupferman, Hebrew University Marta Kwiatkowska, University of Oxford Alessio Lomuscio, Imperial College London Charles Pecheur, Université Catholique de Louvain Doron Peled, Bar Ilan University Jussi Rintanen, NICTA & Australian National University Michael Wooldridge, University of Liverpool From ruy at cin.ufpe.br Thu Jan 14 15:16:05 2010 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 14 Jan 2010 12:16:05 -0200 Subject: WoLLIC 2010 - 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 the Association 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 ". *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 11, and final papers for the proceedings will be due by April 27 (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* *Martin Lange* *Johann (Janos) Makowsky* *Ian Pratt-Hartmann* *Sebastiaan Terwijn* *Cesare Tinelli* *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 11, 2010: Author notification April 27, 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/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From verify2010 at mais.informatik.tu-darmstadt.de Sat Jan 16 20:54:15 2010 From: verify2010 at mais.informatik.tu-darmstadt.de (verify2010 at mais.informatik.tu-darmstadt.de) Date: Sat, 16 Jan 2010 20:54:15 +0100 (CET) Subject: Verify 2010 - 1st Call for Papers Message-ID: <20100116195415.DF3B053830@takatuka.fmis.informatik.tu-darmstadt.de> [Apologies for possible multiple postings] CALL FOR PAPERS 6th International Verification Workshop (VERIFY-2010) What are the verification problems? What are the deduction techniques? in connection with IJCAR-2010 at FLoC-2010 July 20-21, 2010, Edinburgh, UK [http://www.mais.informatik.tu-darmstadt.de/verify2010/] ********************* Keynote speakers ****************************** ** V�ronique Cortier (LORIA INRIA-Lorraine, France) ** ** Cliff Jones (Newcastle University, UK) ** ** Andr� Platzer (Carnegie Mellon University, USA) ** ********************************************************************** The formal verification of critical information systems has a long tradition as one of the main areas of application for automated theorem proving. Nevertheless, the area is of still growing importance as the number of computers affecting everyday life and the complexity of these systems are both increasing. The purpose of the VERIFY workshop series is to discuss problems arising during the formal modeling and verification of information systems and to investigate suitable solutions. Possible perspectives include those of automated theorem proving, tool support, system engineering, and applications. The VERIFY workshops aim at bringing together people who are interested in the development of safety and security critical systems, in formal methods, in the development of automated theorem proving techniques, and in the development of tool support. Practical experiences gained in realistic verifications are of interest to the automated theorem proving community and new theorem proving techniques should be transferred into practice. The overall objective of the VERIFY workshops is to identify open problems and to discuss possible solutions under the theme What are the verification problems? What are the deduction techniques? The scope of VERIFY includes topics such as + ATP techniques in verification + Information flow security + Case studies + Integration of ATPs and CASE-tools (specification and verification) + Management of change + Combination of verification systems + Refinement and decomposition + Compositional and modular reasoning + Reliability of mobile computing + Experience reports on using + Reuse of specifications and proofs formal methods + Safety-critical systems + Formal methods for fault tolerance + Security models + Gaps between problems and + Tool support for formal methods techniques Submissions are encouraged in one of the following two categories: A. Regular papers: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers must be 6-15 pages long, formatted following the Springer LNCS guidelines. B. Discussion papers: Submissions in this category are intended to initiate discussions and should address controversial issues, and may include provocative statements. Papers must be 3-15 pages long, formatted following the Springer LNCS guidelines. Submission of papers is via EasyChair: http://www.easychair.org/conferences/?conf=verify2010 Upon submission, the category (either A or B) should be indicated. Each accepted paper shall be presented at the workshop and at least one author of each paper must attend the workshop. In addition to informal proceedings, we envisage a special issue in a journal on the topic of the workshop. Participants of VERIFY-2010 are particularly encouraged to submit a paper to the special issue, but other submissions will also be welcome. Program & Workshop Co-Chairs M. Aderhold (TU Darmstadt) S. Autexier (DFKI Bremen) H. Mantel (TU Darmstadt) Program Committee B. Beckert (Karlsruhe Institute of Technology) I. Cervesato (Carnegie Mellon University) C. Fournet (Microsoft Research) J. Guttman (Worcester Polytechnic Institute) R. H�hnle (Chalmers University) J. Hurd (Galois Inc.) D. Hutter (DFKI Bremen) P. Jackson (University of Edinburgh) C. Jones (Newcastle University) D. Kapur (University of New Mexico) J.-P. Katoen (RWTH Aachen) G. Klein (NICTA) G. Lowe (University of Oxford) F. Martinelli (CNR Pisa) C. Meadows (Naval Research Laboratory) D. Pichardie (INRIA Rennes) G. Schneider (University of Gothenburg) J. Schumann (NASA Ames Research Center) C. Walther (TU Darmstadt) Important dates: Submission deadline: March 22, 2010 Notification of acceptance: April 29, 2010 Final version due: May 17, 2010 Workshop date: July 20-21, 2010 Workshop e-mail: verify2010 at mais.informatik.tu-darmstadt.de From tommiemeyer at gmail.com Mon Jan 18 08:00:43 2010 From: tommiemeyer at gmail.com (Tommie Meyer) Date: Mon, 18 Jan 2010 09:00:43 +0200 Subject: Final Call for Papers: NMR 2010 Message-ID: <0C01B952-0614-4C6D-975E-F9711E548AE3@meraka.org.za> Final Call for Papers: NMR 2010 13th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING May 14-16, 2010, Sutton Place, Toronto, Canada Submission deadline: January 29, 2010 Notification: March 1, 2010 Website: http://www.cs.sfu.ca/NMR2010/ (Collocated with KR 2010, ICAPS 2010, FOIS 2010 and AAMAS 2010) NMR 2010 will be composed of six specialized sub-workshops: * Argument, Dialog and Decision * Declarative Programming for NMR * Action and Belief Change * Preferences and Norm * Commonsense and NMR for Ontologies * NMR and Uncertainty 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. Invited speakers: Franz Baader (to be confirmed) Gerhard Brewka Marc Denecker Jack Minker Torsten Schaub 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. 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. Programme co-chairs: Thomas Meyer tommie.meyer at meraka.org.za http://ksg.meraka.org.za/~tmeyer/ Eugenia Ternovska ter at cs.sfu.ca http://www.cs.sfu.ca/~ter From peter.novak at fel.cvut.cz Tue Jan 19 08:34:49 2010 From: peter.novak at fel.cvut.cz (Peter Novak) Date: Tue, 19 Jan 2010 08:34:49 +0100 Subject: CFP: Programming Multi-Agent Systems (PROMAS 2010) Message-ID: <20100119073449.GO7013@agents.felk.cvut.cz> Call for Papers =================== Eighth international Workshop on Programming Multi-Agent Systems (ProMAS'10) ProMAS'10 is a satellite workshop at AAMAS 2010 Toronto, Canada, 10-14 May 2010 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Programming models and abstractions for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of agent and mainstream technology Important Dates: ---------------- Paper submission deadline: 2 February, 2010 Notifications of acceptance/rejection: 2 March, 2010 Camera-ready copies due: 19 March, 2010 Workshop Date: 10th/11th May, 2010 (TBA) Submission Details: ------------------- Authors should submit their papers via a conference management system. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee: -------------------- Matteo Baldoni (University of Torino, Italy) Juan Botia Blaya (University of Murcia, Spain) Olivier Boissier (Ecole des Mines de St Etienne, France) Lars Braubach (University of Hamburg, Germany) Louise Dennis (University of Liverpool, UK) Ian Dickinson (Epimorphics Ltd, UK) Mauro Dragone (University College Dublin, Ireland) Bernd Farwer (Durham University, UK) Michael Fisher (University of Liverpool, UK) Jorge Gomez-Sanz (Universidad Computense Madrid, Spain) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Jomi Hubner (Federal University of Santa Catarina, Brasil) Joao Leite (University Nova de Lisboa, Portugal) Viviana Mascardi (Genova University, Italy) John-Jules Meyer (Utrecht University, The Netherlands) Jorg Muller (Clausthal University of Technology, Germany) Andrea Omicini (University of Bologna, Italy) Frederic Peschanski (LIP6, France) Michele Piunti (CNR, Italy) Agostino Poggi (Universita degli Studi di Parma, Italy) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Delft University of Technology, The Netherlands) Sebastian Sardina (RMIT University, Australia) Ichiro Satoh (NII, Japan) Munindar Singh (North Carolina State University, USA) Kostas Stathis (City University London, UK) Paolo Torroni (University of Bologna, Italy) Leon van der Torre (University of Luxemborg, Luxemborg) Cao-Son Tran (New Mexico State University, USA) Gerhard Weiss (Software Competence Center Hagenberg, Austria) Wayne Wobke (University of New South Wales, Australia) Neil Yorke-Smith (SRI, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) Organising Committee: --------------------- - Dr. Rem Collier (University College Dublin, Ireland) - Dr. Peter Novak (Czech Technical University, Czech Republic) - Prof. Jurgen Dix (T.U. Clausthal, Germany) Steering Committee: --------------------- - Dr. Rafael Heitor Bordini, Federal University of Rio Grande do Sul, Brazil - Dr. Mehdi Dastani, Utrecht University, The Netherlands - Prof. Jurgen Dix, Clausthal University of Technology, Germany - Prof. Amal El Fallah Seghrouchni, University of Paris VI, France From dousset at irit.fr Tue Jan 19 15:29:22 2010 From: dousset at irit.fr (Bernard DOUSSET) Date: Tue, 19 Jan 2010 15:29:22 +0100 Subject: First Call for Papers for VSST'2010, 25-29 October, Toulouse (France) Message-ID: <0bc701ca9913$e1fbbbc0$ca0a738d@irit.fr> The sixth edition of the symposium VSST will be held in October, Toulouse 3 University (France). This symposium brings together, for already 15 years, the public and private actors in the domain of technology watch and competitive intelligence. Universities, public administrations, SME and large groups are invited, every 3 years, to attend this event to exchange viewpoints, methodologies, tools and experiences. In addition to traditional topics, we will particularly focus on the following subjects: . Metadata and Interoperability . Treatment of heterogeneous information . Security of access to data and treatments . Online analysis . Mining temporal data . Cartographies . Social Networks . Online Intelligence Community, Web Intelligence . Multilingualism . Geostrategy . Web new structured data . New sources of patents (China, Korea, Japan, India, ...) . Web 2.0 and Web 3.0 . Contributions of 3G technology in competitive intelligence . Innovations in the decision process . Risk Management and Governance * but this list is not exhaustive We also organize: . Forum between businesses, students and young graduates . Presentations training in competitive intelligence . Tutorials and workshops . Demonstrations of software . Presentations of strategic analysis . Exchanges on the effective establishment of watch cell . Exhibition for professionals. 1/ Electronic submission of papers for VSST'2010: Front page: Title, authors and contact details (organization, address, phone, e-mail) 15 lines french abstract, french keywords, english abstract and keywords. Text for submission of papers (in French or English): Minimum 5 pages on the problem, methods or tools presented and their validation. . Deadline for receipt of paper proposals: May 15, 2010 . Deadline for acceptance of papers: June 15, 2010 . Date of publication of final program: June 30, 2010 . Deadline for receipt of papers for publication on CD / ROM and online: September 15, 2010 2/ Final format of papers: Front page: Title, authors and contact details (organization, address, phone, e-mail) 15 lines French abstract, French keywords, English abstract and keywords. Final text (in French or English): 12 to 20 pages (landscape A4) including figures and references. Email submission: vsst2010 @ irit.fr For more information: http://atlas.irit.fr URL for online registration: http://www.ampere-asso.org/Register.asp?ID=08122006145351&LG=FR Best regards, Professeur Bernard DOUSSET UPS/IRIT/SIG 118, route de Narbonne 31062 Toulouse cedex 9 tél: (33) 5 61 55 67 81 gsm: (33) 6 12 57 19 49 fax irit: (33) 5 61 55 62 58 perso: (33) 5 61 55 67 81 ----- - -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From borgo at loa-cnr.it Tue Jan 19 16:40:07 2010 From: borgo at loa-cnr.it (Stefano Borgo) Date: Tue, 19 Jan 2010 16:40:07 +0100 Subject: AOJ Special Issue - Call for Papers References: <6916674C-7C6D-48C2-8F22-FFF04386B3A0@loa-cnr.it> Message-ID: <07559834-57D8-42E3-A4D8-E97403CBBAD0@loa-cnr.it> Special Issue - Call for Papers -- THE ONTOLOGY OF FUNCTIONS: BIOLOGY, ENGINEERING AND BEYOND -- http://www.loa-cnr.it/func_sp_issue2010 Applied Ontology Journal (IOS Press) Function and functionality play a central role not only in modern science but also in our extra-scientific understanding of the world. Unfortunately, the term 'function' is hereby used with a variety of meanings and is associated with a variety of views as to what functions are. This special issue is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. The goal is to publish state-of-the-art theoretical and technical contributions related to the description, characterization, and application of functions. We especially welcome contributions in which the theories are presented and motivated with an eye on the underlying ontological aspects and an introduction to their formalization. Contributions may include analyses of the different notions of function that have proven useful in science, proposals towards development of a unifying framework, or criticisms of existing frameworks. The goal is to provide materials for the creation of an ontological treatment of functions and functioning that will: 1) identify and describe functions in a consistent and comprehensive way; 2) list the arguments that lead to a preference of one notion of function over others; 3) make clear the basic assumptions and principles of classification that motivate a given notion of function; 4) discuss formalization issues and relevant application methodologies. TOPICS include, but are not limited to, the following: - comparison of functional theories and models - formalization of functional theories and models - basic functions, functional classification, functional (de)composition - assigning functions to natural and/or artificial entities - functional ontology - unified theory of biological and artifact functions - theory of artifacts - what kinds of biological entities have functions? - how are biological functions related to disease? IMPORTANT DATES * Abstract Submission: 22-02-2010 * Invitation to submit a full paper (20/25 pages): 10-03-2010 * Full papers due: 12-05-2010 * Notification of acceptance/rejection: 24-06-2010 * Revised papers due: 21-07-2010 * Final review: 15-09-2010 * Camera-ready papers due: 12-10-2010 * Publication: Spring 2011 PAPER SUBMISSION Submissions to the first phase (deadline: 22 Feb 2010) should include an abstract of about 1000 words, a separate list of references and a cover page with title, name, address (including e-mail address) and affiliation of author(s) and a list of keywords. Authors are encouraged to submit high-quality, original work that has neither appeared in, nor is under consideration by, other journals. Manuscripts must be written in English. Manuscripts must be submitted to: functions (at) loa-cnr.it Please indicate in the email subject that you are submitting to the ''AOJ Special Issue on Functions''. GUEST EDITORS Stefano Borgo, Institute of Cognitive Sciences and Technologies, CNR, Italy Riichiro Mizoguchi, The Institute of Scientific and Industrial Research, Osaka University, Japan Barry Smith, University at Buffalo, USA REVIEW COMMITTEE Massimiliano Carrara, University of Padova Randall R. Dipert, University at Buffalo Pawel Garbacz, Katolicki Uniwersytet Lubelski Jana Pawla II John S. Gero, George Mason University Ashok K. Goel, Georgia Institute of Technology W.N. Houkes, Technische Universiteit Eindhoven Yoshinobu Kitamura, Osaka University Peter Kroes, Technische Universiteit Delft Ulrich Krohs, University of Bielefeld Pieter Vermaas, Technische Universiteit Delft From ag at di.fct.unl.pt Tue Jan 19 20:21:33 2010 From: ag at di.fct.unl.pt (Alfredo Gabaldon) Date: Tue, 19 Jan 2010 19:21:33 +0000 Subject: Final Call for Papers: NMR'10 Sub-Workshop on Actions and Belief Change Message-ID: <20100119192133.GA28093@localhost.localdomain> ====================================================== FINAL CALL FOR PAPERS NMR'10 Sub-Workshop on Actions and Belief Change Toronto, Canada, 14-16 May 2010 Website: http://www.cs.sfu.ca/NMR2010/NMR_2010/Action_and_Belief_Change.html Collocated with KR'2010 *Submission deadline: January 29, 2010. Notification: March 1, 2010. ====================================================== Reasoning about actions, causality, and belief change are well established research areas in nonmonotonic reasoning. Thanks to advances in these areas in recent years, it has become evident that the boundaries between these research areas are hardly discernible and that they have more in common than it was previously believed. For this reason, since the 2008 edition of NMR, the traditional ``Action and Change'' and ``Belief Change'' tracks have been merged into a new ``Actions and Belief Change'' sub-workshop. In addition to the traditional topics in the areas of reasoning about actions and belief change, we particularly encourage papers exploring the common territory that will further promote the cross-fertilization between these two areas. This would include, for example, reasoning about complex and dynamic environments, belief and knowledge merging under actions, multi-agent belief revision through communication, and so on. The specialized workshop on Action and Belief Change is a one-day event intended to bring together researchers interested in the areas of reasoning about action, causality and belief change, and to discuss current research, results and problems of a theoretical, foundational or practical nature. In particular, researchers from allied fields are encouraged to submit papers and participate in the workshop. This workshop will be part of the technical program of the 13th International Workshop on Nonmonotonic Reasoning (NMR'10), to be held in Toronto, Canada, and collocated with the KR 2010, ICAPS 2010, FOIS 2010 and AAMAS 2010 conferences. Topics Authors are invited to submit original papers on all aspects of reasoning about actions, causal reasoning, and belief change. Topics of interest include, but are not limited to: * reasoning about actions formalisms/calculi, * causal reasoning, * cognitive robotics, * frame problem, ramification problem, qualification problem, * planning, * systems for reasoning about actions * theoretical and philosophical foundations of belief change * belief revision/merging * knowledge update * iterated belief change * non-prioritized belief change * multi-agent belief change and mutual belief revision * complexity issues of belief change * implementations and applications We also welcome suggestions for panel discussions. Important Dates * Paper submissions: January 29, 2010 * Acceptance decision: March 1, 2010 * Camera ready copy: April 6, 2010 Submission Details Submissions are limited to 7 pages using KR paper format. Your submission in PDF should be sent to each of the co-chairs via an e-mail (to richard.booth at uni.lu and ag at di.fct.unl.pt) with subject header: "[NMR] A&BC sub-workshop paper submission", without the quotes. Session Co-Chairs * Richard Booth, University of Luxembourg & Mahasarakham University * Alfredo Gabaldon, New University of Lisbon Program Committee * Guillaume Aucher, University of Luxembourg * Richard Booth, University of Luxembourg & Mahasarakham University * Jim Delgrande, Simon Fraser University * Esra Erdem, Sabanciu University * Alfredo Gabaldon, New University of Lisbon * Andreas Herzig, Universite Paul Sabatier * Sebastien Konieczny, Universite d'Artois * Gerhard Lakemeyer, RWTH Aachen * Joohyung Lee, Arizona State University * Ronald Petrick, University of Edinburgh * Guilin Qi, Southeast University, Nanjing * Hans Rott, University of Regensburg * Sebastian Sardina, RMIT University * Michael Thielscher, TU Dresden * Son Cao Tran, New Mexico State University * Dongmo Zhang, University of Western Sydney From K.V.Hindriks at tudelft.nl Tue Jan 19 22:14:56 2010 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Tue, 19 Jan 2010 22:14:56 +0100 Subject: CfP The 16th CRIWG Conference on Collaboration and Technology Message-ID: <72C1A3AB5B437544AD71236B1EFE71B609D23E@SRV564.tudelft.net> CALL FOR PAPERS =============== -apologies for cross posting- The Collaboration Researchers International Working Group presents: ***The 16th CRIWG Conference on Collaboration and Technology*** September 20-23, Maastricht, the Netherlands. The CRIWG Conference on Collaboration and Technology seeks scientific papers that inform the design, development, deployment, and use of collaboration technology (groupware) and the work practices they support. Founded in 1995, CRIWG has become a significant forum for researchers and professionals to exchange ideas and experiences about problems and solutions related to collaboration technology. Most challenges in the collaboration technology field require a multidisciplinary, multi-methodological approach. CRIWG seeks papers on groupware from a wide variety of academic perspectives and epistemologies, ranging from collaborative and exploratory research, to theory building and testing, applied research, design science, engineering, and innovative evaluation methods. Researchers can report their ideas, theories, models, designs and experimental results to CRIWG either by submitting full paper contributions, in case of mature works, and shorter papers reporting innovative work in progress. As in previous years, the authors of the best papers will be invited to submit extended versions to selected journals. PhD students are invited to present their research in the doctoral colloquium. The CRIWG conference is supported by the Collaboration Research International Working Group, www.criwg.org, an open community of researchers. Traditionally, CRIWG is organized in remote places alternating between the Americas and Europe, with a small number of presentations, fostering critical discussion, team building and collaboration. The location selected for the CRIWG 2010 conference is Maastricht, the Netherlands. Delft University of Technology will organize the conference. IMPORTANT DATES =============== Full and Work in Progress Papers Submission deadline: March 26, 2010 Notification of acceptance: April 30, 2010 Camera ready papers: May 14, 2009 Doctoral Colloquium Papers Submission deadline: June 14, 2009 Doctoral Consortium September 19, 2010 Conference September 20-22, 2010 Social event September 23, 2010 The CRIWG 2010 conference seeks paper contributions on the following key areas: Collaboration technologies and technology issues: Jointly authored pages Streaming, and information access Groupware UI considerations Experience design Groupware frameworks & toolkits Groupware design approaches Access control, alerts, attention mechanisms Presence indicators, awareness Collaboration and surface computing Privacy, security, access, IP Collaboration concepts and theories, for example: Group Productivity, efficiency, effectiveness Theory on satisfaction, acceptance, Adoption, and diffusion Collaboration across and between cultures Trust, Consensus, Commitment Aggregated systems Group support systems Collaborative modeling tools Workflow management systems Collaborative project management systems Application Domains for Groupware: Medical applications Organizational learning Emergency management Mobile collaboration Gaming Collaborative Engineering or Design Social Aspects of groupware: Social creativity Group dynamics Facilitation and scaffolding of collaboration Virtual worlds, communities Social Network Systems Ethics and values SUBMISSION GUIDELINES ===================== The CRIWG 2010 full and work in progress papers will be published by Springer-Verlag as part of their Lecture Notes in Computer Science series. Extended and reviewed best papers will be published in special issues of international journals. Electronic paper submissions are accepted in two categories: full papers and work in progress papers. Full papers have a length of up to 16 pages based on mature and finished research while work in progress papers should have a maximum length of 8 pages, both of them following the Springer LNCS format. Electronic submission site will be soon available in this Web site: http://www.easychair.org/conferences/?conf=criwg2010. Further news will be published in this Web site: http://criwg2010.tudelft.nl We will use a double-blind reviewing process. Please, do not include the author's name and affiliation in the submitted paper itself. As a result of the reviewing process, the Program Committee may suggest changes in the format and/or the contents of the paper, including the category of the paper. In this case, a paper will be conditionally accepted. The PC Chairs will decide on the final acceptance or rejection, based on the analysis of the revised paper. The format for the final version will be the Springer LNCS format, which includes e.g. templates for MS Word and Latex. For submission guidelines concerning the doctoral colloquium please refer to the CRIWG 2010 Web site: http://criwg2010.tudelft.nl PROGRAM CHAIRS Gwendolyn Kolfschoten, Delft University of Technology, the Netherlands Thomas Herrmann, Ruhr-Universität Bochum, Germany ORGANIZING CHAIR Stephan Lukosch, Delft University of Technology, the Netherlands STEERING COMMITTEE Pedro Antunes, Universidade de Lisboa, Portugal, Marcos Borges, Federal University of Rio de Janeiro, Brazil, Gert-Jan de Vreede, University of Nebraska at Omaha, USA, Jesus Favela, CICESE, Mexico, Jörg M. Haake, FernUniversität in Hagen, Germany, José A. Pino, Universidad de Chile, Chile, Carolina Salgado, Universidade Federal de Pernambuco, Brazil, Stephan Lukosch, Delft University of Technology, the Netherlands. DOCTORAL CONSORTIUM CHAIRS Michael Koch, Bundeswehr University Munich, Germany. Jan-Marco Leimeister, Universität Kassel, Germany. Rafael Gonzales, Delft University of Technology, the Netherlands PROGRAM COMMITTEE Adriana Vivacqua, Universidade Federal do Rio de Janeiro, Brazil. Aurora Vizcaíno-Barceló, Universidad de Castilla-La Mancha, Spain. Benjamim Fonseca, Universidade de Trás-os-Montes e Alto Douro, Portugal. Bertrand David, Ecole Centrale de Lyon, France. Carla Simone, University of Milano-Bicocca Italy Carlos Duarte, Universidade de Lisboa, Portugal. César Collazos, Universidad del Cauca, Colombia. Dominique Decouchant, LSR-IMAG, Grenoble, France. Doug Druckenmiller, Western Illinois University, USA. Erik Proper, Radboud University Nijmegen, the Netherlands Etienne Rouwette, Radboud University Nijmegen, the Netherlands Flávia Santoro, Universidade Federal do Estado do Rio de Janeiro, Brazil. Gerhard Schwabe, Universität Zürich, Schweiz. Gert-Jan de Vreede, University of Nebraska at Omaha, USA. Gustavo Zurita, Universidad de Chile, Chile. Gwendolyn Kolfschoten, Delft University of Technology, The Netherlands. Hugo Fuks, Pontifícia Universidade Católica do Rio de Janeiro, Brazil. Hugo Paredes, Universidade de Trás-os-Montes e Alto Douro, Portugal. Imed Boughzala, Institut Telecom, France. Ingrid Mulder, Delft University of Technology, the Netherlands. Jan-Marco Leimeister, Universität Kassel, Germany. Jesus Favela, CICESE, Mexico. Jörg M. Haake, FernUniversität in Hagen José A. Pino, Universidad de Chile, Chile. Koen Hindriks, Delft University of Technology, the Netherlands Luis A. Guerrero, Universidad de Chile, Chile. Luis Carriço, Universidade de Lisboa, Portugal. Marcos Borges, Universidade Federal do Rio de Janeiro, Brazil. Michael Koch, Bundeswehr University Munich, Germany. Miguel Nussbaum, Pontificia Universidad Católica de Chile, Chile. Nelson Baloian, Universidad de Chile, Chile. Nicholas Romano, Oklahoma State University, USA. Niels Pinkwart, Clausthal University of Technology, Germany. Nuno Preguiça, Universidade Nova de Lisboa, Portugal. Pedro Antunes, Universidade de Lisboa, Portugal. Robert O. Briggs, University of Nebraska at Omaha, USA. Sergio F. Ochoa, Universidad de Chile, Chile. Stephan Lukosch, Delft University of Technology, The Netherlands. Till Schümmer, FernUniversität in Hagen, Germany. Tom Erickson, IBM T. J. Watson Research, USA. Traci Carte, University of Oklahoma, USA. Ulrich Hoppe, University Duisburg-Essen, Germany. Volker Wulf, Universität Siegen, Germany. Volkmar Pipek, Universität Siegen, Germany. Werner Geyer, IBM T. J. Watson Research, USA. Wolfgang Prinz, Fraunhofer FIT, St.Augustin, Germany. Yannis Dimitriadis, Universidad de Valladolid, Spain. Best regards, CRIWG Program Chairs Thomas Herrmann & Gwendolyn Kolfschoten. thomas.herrmann at rub.de g.l.kolfschoten at tudelft.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bechir.zalila at enis.rnu.tn Wed Jan 20 08:01:01 2010 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Wed, 20 Jan 2010 08:01:01 +0100 (CET) Subject: NOTERE'2010: Last Call for Papers and Deadline Extension Message-ID: <20100120070101.E80DFFD4BB@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. ---------------- Important Dates ---------------- Deadline for Research Paper Submission * Paper Submission: January 31, 2010 (extended, was 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 --------------- Special Issues --------------- Two special issues are planned (the Wiley Concurrency and Computation: Practice and Experiment Journal and the Springer Journal of Supercomputing) to publish a selection of best papers of Notere'2010 and the associated workshops. One special issue will be devoted to contributions addressing models, methods, protocols, architectures for communication and cooperation. The other issue will be devoted to contributions handling methods, models, software, and architectures for distribution. ----------- 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 PDF format. Maximum paper length will be 8 printed pages, including figures 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. ----------- 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 axel.polleres at deri.org Wed Jan 20 11:54:01 2010 From: axel.polleres at deri.org (Axel Polleres) Date: Wed, 20 Jan 2010 10:54:01 +0000 Subject: Trust and Privacy on the Social and Semantic Web (SPOT2010) - Call for Papers Message-ID: <5E179FC1-8181-4F9A-A410-29F64F146C90@deri.org> [Please accept our apologies if you received multiple copies of this CFP] CALL FOR PAPERS SPOT2010 Second International Workshop on Trust and Privacy on the Social and Semantic Web http://spot.semanticweb.org/2010/ Co-located with ESWC2010 (the 7th European / Extended Semantic Web Conference) The Semantic Web is becoming reality as it is an integrated component of the Web we are browsing everyday - be it the Open Linked Data movement that nowadays exposes over 10 billion triples of RDF or the annotated and structured information available on Web pages used by major search engines, such as Yahoo! SearchMonkey and Google. Moreover, social data about people and their interaction is made available in machine-understandable format in projects like FOAF or SIOC. Facing this amount of data, privacy and trust consideration is an important step to take right now. The challenging research questions arising from this movement include: * How do people know that the data gathered from several sources for reasoning purposes can be trusted? * How can one avoid that personal data exposed on the Semantic Web will be combined with other available semantic data in a way that sensitive information may be revealed? * How shall a safe reasoning process look like that does not end up in a conflict only because a single Semantic Web peer exposed a contradiction? We expect discussions and results concerning questions like these at SPOT2010 leading to solutions and research results in the realm of Semantic Web and social data for the pervasive issue of privacy and trust on the Web. TOPICS OF INTEREST ================================ The list of topics that aims to be covered by the workshop include, but is not limited to: Semantic Technologies for Trust and Privacy on the Web * Privacy by generalization of answers * Ontologies for trust and privacy * Semantic Web policies * Usage control and accountability * Policy representation and reasoning * Semantic Web technologies for access control Trusted Knowledge Representation and Reasoning on the Semantic Web * Data provenance and trustworthiness of knowledge sources * Trust-enabled linked data * Ontology hijacking * Scalability of trust and privacy on the Semantic Web Trust and Privacy for Social Applications * Trust and privacy in social online communities (e.g., SIOC) * Privacy in Semantic Web sharing applications (e.g., semantic desktop) * User profiling and modeling vs. privacy * Privacy and community mining * Trust and reputation metrics * Usage mining and policy extraction * Privacy awareness in social communities * The Semantic Web as a trust enabler * Social Network annoyance, social software fatigue, social spam * Managing information overload on the Social Web with privacy metrics * Trust and privacy for social software on mobile devices SUBMISSIONS ================================ Papers will have to be formatted using the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions for the Research Papers and Demos and Applications will be made using the EasyChair Conference System, and proceedings of the papers will be provided through the CEUR online service. The following types of contributions are welcome: * Research Papers: short (up to 6 pages) and full (up to 12 pages) technical papers that aims to explore how Semantic Web technologies can provide solutions to trust and privacy issues on the Web, focusing on one or more topics from the various ones identified within the main CFP. Especially, we very welcome papers focusing on theoretical work as well as applications regarding the benefits of Semantic Web technologies to solve these issues. The papers should clearly define the motivation of the work with relevant scenarios and should also provide a clear overview and evaluation of the benefits of the proposed approaches; * Demos and Applications: participants have to submit a two-page paper containing a demo description together with a URI where the demo is available on-line and meeting the following conditions: (1) It must use Semantic Web technologies (such as RDF, SPARQL, FOAF, SIOC, etc.); (2) It must deal with person or person-related semantic data (such as profiles, buddylists, reviews, comments, etc.) and (3) additionally, the demo may operate on a real social platform, such as MySpace, Facebook, netvibes or iGoogle. Papers shall be submitted in PDF format to http://www.easychair.org/conferences/?conf=spot2010 IMPORTANT DATES ================================ Submission deadline: March 7, 2010 (23:59 pm Hawaii time, GMT-10) Notification of acceptance: April 5, 2010 Camera-ready paper submission: April 18, 2010 Workshop: May 30 or May 31, 2010 WORKSHOP ORGANIZATION ================================ The workshop will be co-located with the ESWC in Heraklion (Greece), and will be held on the 30th or 31st of May 2010. The workshop will consist of: Keynote: To be announced. Research Track: Full papers will be presented at the workshop in a 25 minutes session including a discussion. We may add small panel sessions at the end of each research session where the presenters are the panelists in order to foster discussion and comparisons about the papers presented. Demo and Application Track: In order to stimulate discussions including practitioners and highlight future directions we plan to include a Demo and Application track. In contrast to the research track, there will be different rules for submissions: participants have to submit a two-page paper containing a demo description together with a URI where the demo is available on-line and meeting the following conditions Lightning Talks Track: We will provide a way for people to present feed- back on research track talks, as well as controversial topics potentially fostering discussions after the workshop. We envision short talks (three minutes maximum). WORKSHOP CHAIRS ================================ Philipp Kaerger, L3S Research Center, Germany (http://www.L3S.de/~kaerger) Daniel Olmedilla, Telefonica R&D, Spain (http://www.olmedilla.info) Alexandre Passant, DERI, NUI Galway, Ireland (http://apassant.net) Axel Polleres, DERI, NUI Galway, Ireland (http://polleres.net) For any enquiries about the workshop, please contact us at spot2010 [at] easychair [dot] org. PROGRAM COMMITTEE ================================ Chris Bizer, Freie Universitaet Berlin, Germany John Breslin, DERI, NUI Galway, Ireland Dan Brickley, FOAF Project, World Juri Luca De Coi, L3S Research Center, Germany Stefan Decker, DERI, NUI Galway, Ireland Fabien Gandon, INRIA Sophia-Antipolis, France Harry Halpin, University of Edinburgh, UK Olaf Hartig, Humboldt-Universitaet zu Berlin, Germany Michael Hausenblas, DERI, NUI Galway, Ireland Philipp Kaerger, L3S Research Center, Germany Lalana Kagal, Massachusetts Institute of Technology, USA Jens Lehmann, Universitaet Leipzig, Germany Javier Lopez, University of Malaga, Spain Fabio Martinelli, National Research Council - C.N.R., Italy Daniel Olmedilla, Telefonica R&D, Spain Sascha Ossowski, Universidad Rey Juan Carlos, Spain Alexandre Passant, DERI, NUI Galway, Ireland Axel Polleres, DERI, NUI Galway, Ireland Matthew Rowe, University of Sheffield, UK Simon Schenk, University of Koblenz-Landau Daniel Schwabe, Pontificia Universidade Catolica do Rio de Janeiro, Brazil Jean-Marc Seigneur, University of Geneva, Switzerland Carles Sierra, IIIA CSIC, Spain Milan Stankovic, Hypios.com & LaLIC, Universite Paris IV Sorbonne, France Henry Story, Sun Microsystems, France Alessandra Toninelli, Universita di Bologna, Italy Mischa Tuffield, Garlik, UK Claudia Wagner, Joanneum Research, Austria SPONSORS ================================ The SPOT2010 Workshop is supported by the EU funded COST Action IC0801 - Agreement Technologies (AT) and by the Science Foundation Ireland under grant number SFI/08/CE/I1380 (Lion 2). __._,_.___ Reply to sender | Reply to group Messages in this topic (1) RECENT ACTIVITY: Visit Your Group Start a New Topic MARKETPLACE Going Green: Your Yahoo! Groups resource for green living Switch to: Text-Only, Daily Digest • Unsubscribe • Terms of Use . __,_._,___ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ulle.endriss at uva.nl Wed Jan 20 13:16:49 2010 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Wed, 20 Jan 2010 13:16:49 +0100 Subject: COST-ADT Doctoral School on Computational Social Choice Message-ID: <4B56F431.1050007@uva.nl> ********************************************************************** * COST-ADT Doctoral School on Computational Social Choice in Estoril * ********************************************************************** CALL FOR PARTICIPATION The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal. All interested PhD students (as well as junior postdocs and advanced MSc students) working in fields such as Computational Social Choice, (classical) Social Choice Theory and related branches of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by submitting a CV and a short cover letter). The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications should be received by the end of January 2010. To apply, please email the local organisers at figueira at ist.utl.pt (Jose Rui Figueira). The programme will consist of three courses (3 x 90min each) and five invited talks (90min each). On top of this, there will be ample opportunity for participants to present their own work and receive feedback. The three courses are: * Christian Klamler (University of Graz, AT) Introduction to Social Choice and Voting / Geometry of Voting * Jerome Lang (CNRS and LAMSADE, Univ. Paris-Dauphine, FR) Computational and Communicational Aspects of Voting * Ulle Endriss (ILLC, University of Amsterdam, NL) Fair Division The five invited talks are: * Jose Rui Figueira (IST, Technical University of Lisbon, PT) History of Social Choice Theory * Felix Brandt (University of Munich, DE) From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set * Sebastien Konieczny (CNRS and CRIL, Univ. Artois, FR) Information Fusion and Social Choice * Thierry Marchant (Ghent University, BE) From Social Choice to Multi-Criteria Decision Analysis * Stefano Moretti (LAMSADE, Univ. Paris-Dauphine, FR) Power Indices and Game Theory (with Applications in Bioinformatics) The doctoral school will start on Friday 9 April 2010 after lunch and end on Wednesday 14 April 2010 with lunch. For further information on the COST Action on Algorithmic Decision Theory and the doctoral school please visit http://www.algodec.org. To find out more about the field of Computational Social Choice please visit http://www.illc.uva.nl/COMSOC/what-is-comsoc.html. ********************************************************************** -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From chairs at rv2010.org Thu Jan 21 19:28:51 2010 From: chairs at rv2010.org (RV 2010) Date: Thu, 21 Jan 2010 19:28:51 +0100 (CET) Subject: RV 2010 - 1st Int. Conference: Call for Papers and Tutorials Message-ID: <87inhs$1jtu9s@mail4-relais-sop.national.inria.fr> CALL FOR PAPERS AND TUTORIALS International Conference on Runtime Verification (RV 2010) November 1 - 4, 2010 Sliema, Malta http://www.rv2010.org/ Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such as program understanding, systems usage understanding, security or safety policy monitoring, debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formalized specifications, analyzed with special algorithms, visualized, etc. Topics of interest include, but are not limited to: - program instrumentation techniques - specification languages for writing monitors - extraction of monitors from specifications; APIs for writing monitors - programming language constructs for monitoring - model-based monitoring and reconfiguration - the use of aspect oriented programming for dynamic analysis - algorithmic solutions to minimize runtime monitoring impact - combination of static and dynamic analysis; full program verification based on runtime verification - intrusion detection, security policies, policy enforcement - log file analysis - model-based test oracles - observation-based debugging techniques - fault detection and recovery, model-based integrated health management and diagnosis - program steering and adaptation - dynamic concurrency analysis - dynamic specification mining - metrics and statistical information gathered during runtime - program execution visualization The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org. PAPER SUBMISSION RV will have two research paper categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. - Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (300 Euro) will be offered. Selected papers will be published in an issue of Formal Methods in System Design. - Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions. In addition to short and regular papers, proposals for tutorials and tool demonstrations are welcome. Proposals should be up to 2 pages long. - Tutorial proposals on any of the topics above, as well as on topics at the boundary between RV and other domains, are welcome. Accepted tutorials will be allocated up to 15 pages in the conference proceedings. Tutorial presentations will be at least 2 hours. - Tool demonstration proposals should briefly introduce the problem solved by the tool and give the outline of the demonstration. Tool papers will be allocated 5 pages in the conference proceedings. A Best Tool Award (200 Euro) will be offered. Submitted tutorial and tool demonstration proposals will be evaluated by the corresponding chairs, with the help of selected reviewers. All accepted papers, including tutorial and tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'10 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page is available on the RV'10 web page. IMPORTANT DATES May 1, 2010 - Submission of tutorial proposals May 15, 2010 - Notification for tutorial proposals June 1, 2010 - Submission of regular and short papers June 15, 2010 - Submission of tool demonstration proposals July 13, 2010 - Notification for regular, short, and tool papers August 17, 2010 - Camera-ready versions of accepted papers are due ORGANIZERS General chairs: Howard Barringer (University of Manchester, UK) Klaus Havelund (NASA JPL, USA) Insup Lee (University of Pennsylvania, USA) Programme committee chairs: Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Oleg Sokolsky (University of Pennsylvania, USA) Local organization chair: Gordon Pace (University of Malta, MT) Tutorials chair: Bernd Finkbeiner (Saarland University, DE) Tool demonstrations chair: Nikolai Tillmann (Microsoft Research, USA) Publicity chair: Ylies Falcone (INRIA Rennes, FR) PROGRAMME COMMITTEE Jamie Andrews (University of Western Ontario, Canada) Thomas Ball (Microsoft Research Redmond, USA) Saddek Bensalem (Verimag, France) Eric Bodden (Technical University Darmstadt, Germany) Rance Cleaveland (University of Maryland, USA) Mads Dam (KTH, SE) Matthew Dwyer (University of Nebraska, USA) Bernd Finkbeiner (Saarland University, Germany) Cormac Flanagan (University of California at Santa Cruz, USA) Jean Goubault-Larrecq (ENS Cachan, France) Patrice Godefroid (Microsoft Research Redmond, USA) Susanne Graf (Verimag, France) Radu Grosu (State University of New York at Stony Brook, USA) Lars Grunske (Swinburne University of Technology, Australia) Rajiv Gupta (University of California at Riverside, USA) John Hatcliff (Kansas State University, USA) Mats Heimdahl (University of Minnesota, USA) Sarfraz Khurshid (University of Texas at Austin, USA) Kim Larsen (Aalborg University, Denmark) Martin Leucker (Technical University Muenchen, Germany) Paul Miner (NASA Langley, USA) Brian Nielsen (Aalborg University, Denmark) Klaus Ostermann (University of Marburg, Germany) Corina Pasareanu (NASA Ames, USA) Doron Peled (Bar Ilan University, Israel) Martin Rinard (Massachussets Institute of Technology, USA) Greg Morrisett (Harvard University, USA) Wolfram Schulte Microsoft Research Redmond, USA) Koushik Sen (University of California at Berkeley, USA) Peter Sestoft (University of Copenhagen, Denmark) Scott Smolka (State University of New York at Stony Brook, USA) Serdar Tasiran (Koc University, Turkey) Shmuel Ur (IBM Haifa Research Laboratory, Israel) Willem Visser (University of Stellenbosch, South Africa) Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA) Brian Williams (Massachusetts Institute of Technology, USA) From ijv at acm.org Fri Jan 22 16:05:25 2010 From: ijv at acm.org (=?iso-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Fri, 22 Jan 2010 17:05:25 +0200 Subject: Last CfP: Commonsense and NMR for Ontologies Message-ID: <24A1C26B-FC5E-436A-8890-CD100534D38C@acm.org> Sincere apologies for multiple postings. ====================================================== CALL FOR PAPERS The NMR'2010 Workshop on Commonsense and Non-Monotonic Reasoning for Ontologies http://ksg.meraka.org.za/nmronto2010 Collocated With KR'2010 May 14-16 2010 Sutton Place, Toronto, Canada ====================================================== -- Workshop Description -- Classical reasoning over ontologies has reached the point where it can deal with large real-world ontologies. This can largely be attributed to advances in research on description logics (DLs). A good example is the medical ontology SNOMED-CT, containing over 300,000 concepts and millions of binary relationships between them. SNOMED-CT can be represented as a DL ontology, and its subsumption hierarchy can be computed in a matter of minutes. The obvious next step now is to extend reasoning over ontologies to cover non-classical cases, such as commonsense reasoning, a well established branch of AI. The first steps in that direction have been done by the ontology community, and while research along these lines has already resulted in initial tangible results, there is a need for a more coherent approach in order to speed up progress. This need provides interesting challenges to both the ontology and commonsense reasoning communities. For the commonsense reasoning community it is a chance to determine to what extent techniques developed in its sub-areas, like e.g. non-monotonic reasoning (NMR), can be tailored to the requirements of the ontology community. For the ontology community it is an opportunity to determine whether existing results in this area can be sharpened and improved on by referring to results in the broader area of commonsense reasoning. The topic of the workshop will hence be combining commonsense reasoning approaches and techniques with ontologies. One of the main motivations is to bring ideas from the well developed area of non-monotonic reasoning, like e.g. reasoning about actions, argumentation and belief revision, for discussion in the realm of ontology engineering: evolution, debugging, update, merging, etc. Certainly these tasks can benefit from most of the advances in NMR and give new insights for research in that area as well. Commonsense and Non-Monotonic Reasoning for Ontologies will be of interest to: - Researchers in the ontology community, particularly DL researchers, interested in extending ontological reasoning to non-classical cases. - Researchers in the knowledge representation and commonsense reasoning community interested in applying existing NMR techniques to the area of ontologies. This workshop will focus on an emerging hot topic. As such, one of its immediate outcomes will be boosting a new and exciting hybrid research domain combining commonsense reasoning and knowledge engineering for ontologies. -- Topics of Interest -- Submissions are welcome on the role of commonsense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging and Update - Ontology Merging, Alignment and Integration - Inconsistency Handling - Belief Revision and Theory Change for ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - NMR methods for light-weight DL ontologies - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning - Ontology Fault Diagnosis and Repair - Preferences and Ontologies - Formal Concept Analysis and Ontologies -- Submission Instructions -- Authors are kindly requested to follow the instructions for authors on the NMR website at http://www.cs.sfu.ca/news/conferences/NMR/2010/NMR_2010/Author_Instructions.html Please submit to http://www.easychair.org/conferences/?conf=nmronto2010 -- Important Dates - Papers due: January 29 (Friday), 2010 - Notification: March 1 (Monday), 2010 - Final version: April 6 (Tuesday), 2010 - Workshop: May 14-16, 2010 -- Additional Information -- Please visit the NMR website at http://www.cs.sfu.ca/news/conferences/NMR/2010/NMR_2010/NMR10.html for more information about NMR, the venue of the workshop, the city of Toronto, accommodation and travel tips. In October 2010 there will be a special conference on 30 years of Non-monotonic Reasoning (NonMon at 30): http://sites.google.com/site/nonmonat30/home The Journal of AI Research (JAIR) has agreed to publish a special issue on non-monotonic reasoning based, in part, on technical presentations to be given at the NonMon at 30 conference. For this special issue there will be an open CFP that would allow, in particular, to include papers presented at NMR to be eligible for consideration. The Journal of Philosophical Logic has also agreed to publish a special NMR 30th anniversary issue. Authors of the best philosophically inclined papers drawn from NMR2010 and KR2010 will be invited to submit papers to this special issue. -- Workshop Chairs -- - Ivan José Varzinczak (Meraka Institute, South Africa) http://ksg.meraka.org.za/~ivarzinczak - Renata Wassermann (Universidade de São Paulo, Brazil) http://www.ime.usp.br/~renata -- Program Committee -- - Grigoris Antoniou (University of Crete and Information Systems Laboratory, Greece) - Fábio Cozman (Universidade de São Paulo, Brazil) - Giorgos Flouris (University of Crete and Information Systems Laboratory, Greece) - Norman Foo (University of New South Wales, Australia) - Zhisheng Huang (Free University of Amsterdam, Netherlands) - Jos Lehmann (University of Edinburgh, United Kingdom) - Maurice Pagnucco (University of New South Wales, Australia) - Jeff Pan (University of Aberdeen, United Kingdom) - Bijan Parsia (University of Manchester, United Kingdom) - Laurent Perrussel (Université de Toulouse 1, France) - Guilin Qi (Southeast University, China) -- Ivan José Varzinczak - http://ksg.meraka.org.za/~ivarzinczak Knowledge Systems Group - Meraka Institute - CSIR Pretoria, South Africa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano.borgo at gmail.com Fri Jan 22 16:10:07 2010 From: stefano.borgo at gmail.com (Stefano Borgo) Date: Fri, 22 Jan 2010 16:10:07 +0100 Subject: FOIS 2010 Call for Posters References: <5DBFD20A-B5B3-4347-A394-E337E88A519F@loa-cnr.it> Message-ID: <4FAAC38B-FBD6-4969-BBCA-DD9C6FA6F760@loa-cnr.it> The poster session at FOIS 2010 is targeted at young and up-coming researchers. If you do not fall into that category yourself, please forward the Call for Posters to anyone you know who does, and who may be interested. ---------------------------------------------------------- FOIS 2010 Sixth International Conference on Formal Ontology in Information Systems (co-located with KR 2010) http://fois2010.mie.utoronto.ca C A L L F O R P O S T E R S 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 posters to be considered for presentation at the poster session to be held during the conference. THE POSTER SESSION The poster session at FOIS 2010 will give young scientists the opportunity to present their current work related to formal ontology in information systems and discuss their approach, results, problems and methods with the other participants of the conference. The selection of poster contributions will pay specific attention to their relevance to the topics of FOIS 2010. The accepted posters will be published electronically and made available via the conference web page. As this poster session is particularly intended to provide an opportunity for young ontologists to disseminate, and obtain feedback on, their work, submission is restricted to researchers who are either working towards a postgraduate qualification (masters or Ph.D.), or have obtained such a qualification within the last two years. Each accepted poster will be assigned a "tutor" from the FOIS programme committee, who will provide discussion and feedback to the author at the poster session. For details on the scope of the conference, please see the main Call for Papers at http://fois2010.mie.utoronto.ca/index.php?option=com_content&view=article&id=3&Itemid=5. Important Dates and Further Information --------------------------------------- * Submission deadline: February 24th * Notification of Acceptance: March 26th, 2010 * Submission of final posters: April 20th, 2010 * Electronic publication of posters: May 6th, 2010 * Conference: May 11th-14th, 2010 Submission should consist of (1) an electronic copy of the poster itself (for printing at A2 size), preferably in PDF format, and (2) a covering letter giving the author's contact details and a statement of current status, including year of actual or expected graduation at PhD or masters level. All submissions should be mailed to fois08 at easychair.org, with the subject line "FOIS poster". From Ralf.Treinen at pps.jussieu.fr Fri Jan 22 20:58:34 2010 From: Ralf.Treinen at pps.jussieu.fr (Ralf Treinen) Date: Fri, 22 Jan 2010 20:58:34 +0100 Subject: Call for Papers: LoCoCo 2010 Message-ID: <201001221958.o0MJwY5g021420@hydrogene.pps.jussieu.fr> LoCoCo 2010 -- Workshop on Logics for Component Configuration Workshop of SAT at FLoC 2010, Edinburgh, Scotland, July 10, 2010 http://lococo2010.mancoosi.org/ First Call for Papers Scope: ====== Modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary flexibility when organizing a complex software distribution, but also are a challenge when it comes to selecting components from a large repository of possible choices, and configuring these components according to user needs, resource constraints, and interdependencies with other components. Representing and solving configuration problems is a hot topic of great importance for many application domains. Some well-known examples of complex systems of components in the world of Free and Open Source software are the different distributions for GNU/Linux, BSD, or Eclipse plugins. Understanding and solving these questions is an attractive research topic since the problems to be solved are complex and interesting for researchers working on solving techniques, and on the other hand have the potential of high impact on the way the software we all use everyday is developed and deployed. Not only adequate logical formalisms to represent a configuration problem are required, but also sophisticated reasoning technologies to deal with large amounts of data. Further relevant aspects include diagnosis of failed configuration settings and an intelligent behavior dealing with user preferences. This workshop will focus on logic-based methods for specifying and solving complex configuration problems for software components. The goal of the workshop is to bring together both researchers and practitioners active in the area of component configuration of software systems, using different modeling and solving techniques, such as constraint and logic programming, description logics, satisfiability and its extensions. The workshop will be an opportunity to discuss common and complementary solutions for solving component configuration. Topics: ======= Main areas of interest include, but are not restricted to: o Configuration problems and models: knowledge representation and acquisition, incomplete knowledge, inconsistent knowledge, etc. o Reasoning methods for solving configuration problems: constraint satisfaction and optimization, SAT solving and extensions, integer programming, local search, symmetry breaking, etc. o Interactivity: user preferences, machine learning, distributed environments, etc. o Applications and tools: case studies, current challenges, application reports, etc. Invited Talk ============ An invited talk will be given by Carsten Sinz (University of Karlsruhe). MISC 2010 ========= The first Mancoosi International Solver Competition will be held in conjunction with the LoCoCo workshop. Important Dates =============== Friday, March 26 Submission deadline Friday, April 23 Notification about acceptance Friday, May 21 Final paper due Saturday, July 10 Workshop Submission and Publication ========================== We welcome submissions of various types of presentations related to the topics of the workshop, such as - full research papers - abstracts of ongoing work - tutorial overview papers - summaries of research projects - system descriptions, if possible including system demonstration at the workshop. These must provide the means to download and evaluate the system, with preference to distribution under an open source licence. Papers presented at the workshop will have to carry an open access licence agreement. We will attempt to publish the papers at an open access archive of workshop proceedings. Details will be posted later. Submitted papers must not exceed a limit of 10 pages, but authors may provide pointers to additional online resources if necessary. Papers may be submitted in the formats Postscript or PDF. Details of the exact page style to be used will be posted later. Submissions will be handled through easychair at http://www.easychair.org/conferences/?conf=lococo2010. Program Committee ================= Daniel Le Berre (Universite d'Artois, France) Roberto Di Cosmo (Universite Paris-Diderot, France) Georg Gottlob (Oxford University, UK) Pascal van Hentenryck (Brown University, USA) Matti Jarvisalo (University of Helsinki, Finland) Ines Lynce (INESC-ID, Lisbon, Portugal), co-chair Toni Mancini (Sapienza Universita di Roma, Italy) Albert Oliveras (Technical University of Catalonia, Barcelona, Spain) Christian Schulte (KTH, Stockholm, Sweden) Ralf Treinen (Universite Paris-Diderot, France), co-chair Nic Wilson (UCC, Cork, Irland) From alfrednabbles6 at gmail.com Sat Jan 23 16:52:56 2010 From: alfrednabbles6 at gmail.com (Alfred Nabbles) Date: Sat, 23 Jan 2010 10:52:56 -0500 Subject: Final call for papers: MULTICONF-10 Call for papers Message-ID: <78b76bd61001230752y16eef065h48a26b50d407afba@mail.gmail.com> Final call for papers: MULTICONF-10 Call for papers The 2010 multi-conference (MULTICONF-10) (website: http://www.promoteresearch.org) will be held during July 12-14, 2010 in Orlando, Florida, USA. The primary goal of MULTICONF is to promote research and developmental activities in computer science, information technology, control engineering, and related fields. Another goal is to promote the dissemination of research to a multidisciplinary audience and to facilitate communication among researchers, developers, practitioners in different fields. The following conferences are planned to be organized as part of MULTICONF-10. · International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10) · International Conference on Automation, Robotics and Control Systems (ARCS-10) · International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-10) · International Conference on Computer Networks (CN-10) · International Conference on Enterprise Information Systems and Web Technologies (EISWT-10) · International Conference on High Performance Computing Systems (HPCS-10) · International Conference on Information Security and Privacy (ISP-10) · International Conference on Image and Video Processing and Computer Vision (IVPCV-10) · International Conference on Software Engineering Theory and Practice (SETP-10) · International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10) We invite draft paper submissions. Please see the website http://www.promoteresearch.org for more details. Sincerely Alfred Nabbles -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hak at ca.ibm.com Sun Jan 24 17:41:53 2010 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Sun, 24 Jan 2010 17:41:53 +0100 Subject: CFP: RULE 2010 (Edinburgh, UK, July 14, 2020) Message-ID: ------------------------------------------------------------------------ [Although we try avoiding cross-posting, we apologize if that happens] ------------------------------------------------------------------------ RULE 2010 Call For Papers ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 This CFP' URL: http://www.di.uminho.pt/rule2010 (Workshop affiliated to FLoC 2010 as post-conference event of RTA 2010) With the renewed interest in rule-based computing for industrial applications (e.g., Business Rules) especially as it relates to the Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely to explore the practical benefits delivered by computing with rules and ontologies in the large. Thus, this year's theme will focus on rule-based programming in Industry and the Semantic Web. The emphasis will be on implemented systems that have been actually used in pragmatic situations where the advantages of rule-driven computation and inference have made all the difference, such advantages being: * agility * declarativeness * maintainability * documentability * scalability * meta-programmability * reliability * formal semantics * etc., ... In terms of the Semantic Web, we explicitly call for submissions that probe (in a pragmatic setting) how rule-based approaches complement ontology-based approaches, which share some of the characteristics of rule systems, such as declarativeness and formal semantics. PAPER SUBMISSION We are solliciting papers dealing with topics related to this year's theme discussing any or several of the itemized facets of the combinations of rules and ontologies, going beyond academic experiments and meant for large-scale or industrial applications. Papers should contain no more than 10 pages, including figures, and submitted through EasyChair using the standard EPTCS LaTeX style file. PROGRAM COMMITTEE * Hassan Ait-Kaci, IBM, Canada (co-chair) * Maria Alpuente, Universidad de Valencia, Spain * Harold Boley, National Research Council, Canada * Mike Dean, BBN, USA * Mohand-Said Hacid, Universite Claude Bernard, Lyon, France * Gary Hallmark, Oracle, USA * Pierre-Etienne Moreau, INRIA Nancy, France * Jeff Pan, University of Aberdeen, United Kingdom * Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair) * Eelco Visser, Delft University of Technology, The Netherlands DATES Submission opens: Monday, March 1, 2010 Submission ends: Friday, April 16, 2010, PC meets: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, Workshop venue RULE 2010 will be a satellite workshop of the conference on Rewriting Techniques and Applications (RTA 2010) affiliated to the Federated Logic of Computing conferences (FLoC 2010), to take place in Edinburgh, UK, July 9-21, 2010. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From H.vandenHeuvel at let.ru.nl Mon Jan 25 14:34:36 2010 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Mon, 25 Jan 2010 14:34:36 +0100 Subject: Job Posting: PhD position at CLST, Radboud University Nijmegen Message-ID: PhD (3 years) position available at the Radboud University Nijmegen. *Job description*** The FP7 Marie Curie Initial Training Network "BBfor2" (Bayesian Biometrics for Forensics) provides an opportunity for young researchers to study several biometric technologies in a forensic context. The Network consists of 9 European research institutes and 3 associated partners. The Network will provide regular workshops and Summer Schools, so that the 15 PhD students (Early Stage Researchers - ESRs) and PostDocs (Experienced Researchers - ERs) and senior researchers can exchange research experience, insights and ideas. The main areas of research are Speaker Recognition, Face Recognition, Fingerprint Recognition, but also combinations of these techniques are studied. The challenge of applying biometric techniques in a forensic context is to be able to deal with the uncontrolled quality of the evidence, and to provide calibrated likelihood scores. The researchers in this Network will have the opportunity during their assignment to stay for some period at another Network institute and to get experience in an industrial or forensic laboratory. The PhD student will investigate automatic speaker recognition in the forensic environment. The research will include theoretical aspects such as developing a general framework for evidence evaluation and reporting, and experimental aspects by conducting studies with automatic speaker recognition systems. The candidate will collaborate with other PhD students and senior researchers in the Network, in a highly interdisciplinary environment. Successful candidates have a Master Degree in Computer Science, Engineering or other relevant disciplines with a strong background in pattern recognition and / or signal processing, and excellent communication and writing skills in English. *Requirements*** Candidates should comply with the rules set forward by the FP7 Marie Curie ITNs: Candidates should - be transferring from another country, i.e., not be of Dutch nationality, and not have resided more than 12 months in the last 3 years in The Netherlands. - be willing to work in at least one other country in the BBfor2 network. - have less than 4 years of research experience since their master degree, and not hold a PhD. *Organization*** The project will be carried out within the Centre for Language and Speech Technology (CLST), a research unit within the Faculty of Arts of the Radboud University Nijmegen. The CLST hosts a large international group of senior researchers and PhD students who do research at the frontier of science and develop innovative applications. *Conditions of employment* The duration of the contract is 3 years. The PostDoc will receive an initial contract for the duration of one year, with the possibility of prolongation for another 2 years. The salary is in accordance with the rules of the Marie Curie ITNs. In addition to the salary, travel allowances and career exploratory allowances are foreseen according to generous Marie Curie ITN provisions. *Additional information*** For further information about the position, please contact David van Leeuwen, d.vanleeuwen at let.ru.nl. *Application*** The Radboud University is an equal opportunity employer. Female researchers are strongly encouraged to apply for this vacancy. Letters of application, including extensive CVs, (with reference to the vacancy number 23.02.10 and preferably by e-mail) can be sent to: vacatures at let.ru.nl. -- -------------------------------------------------------- Henk van den Heuvel --------------------------------------------------------- CLST / SPEX Radboud University Nijmegen Erasmusplein 1 NL-6525 HT Nijmegen Netherlands ---------------------------------------------------------- Tel : +31 24 3611686 Fax : +31 24 3612907 e-mail: H.vandenHeuvel at let.ru.nl http://www.ru.nl/clst http://www.spex.nl --------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Y.Bi at ulster.ac.uk Mon Jan 25 09:38:01 2010 From: Y.Bi at ulster.ac.uk (Bi Yaxin) Date: Mon, 25 Jan 2010 08:38:01 -0000 Subject: 2nd Call for papers: 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) Message-ID: <6F127AEF3EE0114BBFBC03241A81784401E75B74@jnexc09.ad.ulster.ac.uk> ========================================== [please accept our apologies for cross-posting] ========================================== 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) 1-3 September 2010, Belfast, Northern Ireland, UK http://www.ulster.ac.uk/ksem2010 *Important dates Paper submission: 30 March, 2010 Author notification: 15 May, 2010 Camera-ready: 30 May, 2010 Early registration: 30 May, 2010 Call for special sessions: 25 January 2010 *Invited speakers (confirmed) Anthony Cohn (University of Leeds, UK) Ian Horrocks (Oxford University, UK) Thierry Denoeux (Université de Technologie de Compiègne, France) ============================================ KSEM is an international conference for research on knowledge science, engineering and management, which attracts high quality, state-of-the-art research papers from all over the world. The conference provides a forum for researchers, practitioners and developers to present original work, to share their views, to exchange ideas and to develop new insights into KSEM-related areas. KSEM2010 will be held in Belfast, Northern Ireland, and is the fourth in the conference series, following three successful events in Guilin, China (KSEM'06), Melbourne, Australia (KSEM'07) and Vienna, Austria (KSEM'09). You are invited to submit papers that are original and not yet published. The topics of interest include but are not limited to: *Knowledge science Knowledge representation and reasoning Logics of knowledge Formal analysis of knowledge Knowledge complexity and knowledge metrics Reasoning about knowledge in the presence of inconsistency, incompleteness, context-dependency Commonsense knowledge and uncertainty in knowledge Cognitive foundations of knowledge Knowledge in complex systems and multi-agent systems Formal ontology *Knowledge engineering Knowledge extraction Knowledge integration Knowledge fusion Knowledge-based software engineering Knowledge-based systems in life sciences Conceptual modelling in knowledge-based systems Semantic database systems and semantic Web Content engineering and ontological engineering Implementation issues in KBS Knowledge-based systems in earthquake science *Knowledge management Knowledge creation and acquisition Knowledge verification and validation Knowledge dissemination Knowledge management systems Organizational ontology Data mining and knowledge discovery Organizational memory Organizational learning Knowledge management strategies and practices Knowledge management applications *Paper Submission: Prospective participants are requested to electronically submit full papers of their work (12 pages). In accordance with the previous conferences the organisers of KSEM'2010 will publish the conference proceedings with Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. *General conference co-chairs Bryan Scotney, University of Ulster, Northern Ireland, UK Zhi Jin, Peking University, China *Programme co-chairs Yaxin Bi, University of Ulster, Northern Ireland, UK Mary-Anne Williams, University of Technology, Sydney, Australia *Local organization committee (University of Ulster) James Uhomoibhi (co-chair) Hui Wang (co-chair) Anna Jurek Juan C Augsto David Glass Jun Liu Shengli Wu Nicola Burns Jing Liao Haiying Wang *Steering committee members David Bell, Queen's University Belfast, UK Cungen Cao, Chinese Academy of Sciences, China Dimitris Karagiannis, University of Vienna, Austria Zhi Jin, Peking Univeristy, China Jérome Lang, University Paul Sabatier, France Yoshiteru Nakamori, JAIST, Japan Jorg Siekmann, DFKI, Germany Eric Tsui, The Hong Kong Polytechnic University, Hong Kong Zongtuo Wang, Dalian Science and Technology University, China Kwok Kee Wei, City University of Hong Kong, Hong Kong Mingsheng Ying, Tsinghua University, China Zili Zhang, Southwest University, China Ruqian Lu (Honorary Chair), Chinese Academy of Sciences, China Chengqi Zhang (Chair), University of Technology, Sydney, Australia *Contact details Email:ksem2010 at ulster.ac.uk website: http://www.ulster.ac.uk/ksem2010 Organization committee of KSEM2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kuf at dfki.de Mon Jan 25 17:13:19 2010 From: kuf at dfki.de (Klaus Fischer) Date: Mon, 25 Jan 2010 17:13:19 +0100 Subject: CFP: ATOP@AAMAS2010 Message-ID: <4B5DC31F.mailMNK11SOT9@dave.dfki.uni-sb.de> =============================================================================== Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2010 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Ninth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2010) (http://www.cse.yorku.ca/AAMAS2010/) Toronto, Canada, 10 or 11th May 2010 IMPORTANT DATES Submissions due February 2, 2010 Notifications sent March 2, 2010 Final papers due March 10, 2010 Workshop May 10 or 11 2010 ORGANIZING COMMITTEE Joerg P. Mueller, Technische Universitaet Clausthal, Germany Klaus Fischer, DFKI, Germany Renato Levy, Intelligent Automation, Inc, Rockville, USA SUBMISSIONS Please find further details on the workshop and how to submit contributions at the workshop Web page at http://www-ags.dfki.uni-sb.de/~kuf/atop Please send submissions to: joerg.mueller at tu-clausthal.de BRIEF DESCRIPTION OF WORKSHOP TOPICS ATOP focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. The main goal is to stimulate a discussion on how far agent technologies can support interoperability in this context and to compare current trends in the development of agent technologies with recent developments in service-oriented and model-driven system design with respect to their ability to solve interoperability problems. Regarding model-driven system design the presentation and discussion of metamodels of the underlying technologies like for example agent technologies and service-oriented architectures is especially of interest. We would like to focus the ATOP 2010 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems =============================================================================== From baojie at gmail.com Mon Jan 25 18:28:32 2010 From: baojie at gmail.com (Jie Bao) Date: Mon, 25 Jan 2010 12:28:32 -0500 Subject: Final CfP (Extended Deadline): 4th Int. Workshop on Modular Ontologies (WoMO 2010) Message-ID: ========================================================= 4th Int. Workshop on Modular Ontologies (WoMO) Toronto, Canada, May 11, 2010 held in conjunction with FOIS 2010 --- Final Call for Papers --- Submission deadline (EXTENDED): February 3, 2010 ========================================================= http://www.informatik.uni-bremen.de/~okutz/womo4 INVITED SPEAKERS Simon Colton, Imperial College London Marco Schorlemmer, Artificial Intelligence Research Institute, Barcelona 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 (EXTENDED): February 3, 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.easychair.org/conferences/?conf=womo2010 ). 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) Faezeh Ensan (Faculty of Computer Science, University of New Brunswick, Canada) Fred Freitas (Universidade Federal de Pernambuco, 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 Honavar (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 (School 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 jean at ensma.fr Tue Jan 26 15:08:38 2010 From: jean at ensma.fr (=?ISO-8859-1?Q?St=E9phane_Jean?=) Date: Tue, 26 Jan 2010 15:08:38 +0100 Subject: Call for Papers: The 11th International Conference on Web Information Systems Engineering (WISE 2010) Message-ID: <4B5EF766.5000605@ensma.fr> Apologies for multiple postings =========================================================================================== The 11th International Conference on Web Information Systems Engineering (WISE 2010) http://conference.cs.cityu.edu.hk/wise2010/ December 12-14, 2010 Hong Kong, China Hosted by: City University of Hong Kong, WISE Society CALL FOR PAPERS =========================================================================================== The aim of this eleventh edition of the conference series on Web Information Systems Engineering is to provide an international forum for researchers, professionals, and industrial practitioners to share their knowledge in the rapidly growing area of Web technologies, methodologies and applications. Previous WISE conferences were held in Hong Kong, China (2000), Kyoto, Japan (2001), Singapore (2002), Roma, Italy (2003), Brisbane, Australia (2004), New York, USA (2005), Wuhan, China (2006), Nancy, France (2007), Auckland, New Zealand (2008), and Poznan, Poland (2009). The proceedings of WISE 2010 will be published in 2 separate volumes by Springer in its Lecture Notes in Computer Science series, with best papers to be recommended for publication in special issues of international journals. Topics of interests include but not limited to: - Cloud, Grid Computing and P2P Systems; - Deep/Hidden Web; - Event Processing and Event-driven Systems; - Mobile Web and Location-based Services; - Rich Web UI; - Semantic Web; - Web Agents and Web Intelligence; - Web Data Integration; - Web Data Mashup; - Web Data Models; - Web Information Retrieval; - Web Metrics and Performance; - Web Mining and Web Warehousing; - Web Monitoring and Management; - Web Security and Trust Management; - Web-based Business Processes and Web Services; - Web-based Enterprise Systems and Transactions; - Web Tools and Languages; - Web Visualisation; - XML and Semi-structured Data; and - Web-based Applications (eg, Auction and Negotiation, e-Commerce, e-Government, e-Learning, etc.). Paper Submission ================ Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All papers will be refereed by at least three members of the program committee. All submitted papers MUST be formatted according to the author guidelines provided by Springer and MUST NOT be longer than 14 pages. Full Paper Submission Deadline: June 15, 2010 Conference Co-chairs ==================== Qing Li, City U of Hong Kong Karl Aberer, EPFL, Switzerland Dennis McLeod, USC, USA PC Co-chairs ============ Lei Chen, HKUST, Hong Kong Peter Triantafillou, U of Patras, Greece Torsten Suel, NYU Poly, USA Organization Chair ================== Hong Va Leong, PolyU, Hong Kong Workshop Co-chairs ================== Dickson Chiu, Dickson Computer Sys., HK Ladjel Bellatreche, ENSMA-Poitiers U, France Publicity Co-chairs =================== Hua Wang, U Southern Queesland, Australia Raymong Wong, HKUST, Hong Kong Stephane Jean, Poitiers U, France Feifei Li, Florida State U., USA Finance Chair ============= Xiaohua Jia, City U of Hong Kong Steering Committee Representatives ================================== Yanchun Zhang, Victoria U, Australia Xiaohua Jia, City U of Hong Kong From iclp2010-announce at clip.dia.fi.upm.es Tue Jan 26 22:35:30 2010 From: iclp2010-announce at clip.dia.fi.upm.es (iclp2010-announce at clip.dia.fi.upm.es) Date: Tue, 26 Jan 2010 22:35:30 +0100 Subject: FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7 Message-ID: <19295.24610.763723.407815@w218234.ccupm.upm.es> [Apologies in case of receiving multiple copies.] Please note the following important changes: - Deadline extension - Format of submissions - Technical Communications (10 pages) ---------------------------------------------------------------------- FINAL CALL FOR PAPERS 26th International Conference on Logic Programming (ICLP 2010) Theory and Practice of Logic Programming Edinburgh, Scotland, U.K., July 16-19, 2010 ICLP 2010 will be held as part of the Fifth Federated Logic Conference (FLoC 2010) *Extended* deadline: ** Jan 31 / Feb 7, 2010 *** http://www.floc-conference.org/ICLP-home.html ---------------------------------------------------------------------- CONFERENCE SCOPE Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non-monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. In addition to the presentations of accepted papers, the technical program will include plenary invited talks in association with other FLoC conferences, as well as ICLP invited talks, advanced tutorials, the doctoral consortium, and several workshops. SUBMISSION DETAILS The four broad categories for submissions are: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications, aimed at describing recent developments, new projects, and other materials that are not ready for main publication as standard papers. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers, application papers, and system and tool papers must not exceed 15 pages plus bibliography. The limit for technical communications is 10 pages. Submissions must be made in TPLP format (ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2010 IMPORTANT DATES (All midnight, Samoa time) Paper registration deadline: January 31, 2010 [extended] Submission deadline: February 7, 2010 [extended] Notification to authors: March 20, 2010 Camera-ready copy due: April 21, 2010 Conference: July 16-19, 2010 PAPER PUBLICATION All accepted regular papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or "shepherding." The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get a password for on-line access to this web page during the conference and indefinitely from then on ("lifetime access"), which can be used to read papers on line, download them, or print them for personal use. Attendants will also receive all the papers in a memory stick at the conference. The collection of technical communications will appear as a volume of the LIPIcs (Leibniz International Proceedings in Informatics) series, and published online through the Dagstuhl Research Online Publication Server (DROPS). All technical communications will also get space in the program for presentation. The journal issue(s) will also include a listing of the technical communications, with pointers to the LIPIcs/DROPS volume. ICLP'2010 ORGANIZATION General Chair: Veronica Dahl (Simon Fraser University, Canada) Program Co-chairs: Manuel Hermenegildo (IMDEA Soft. and UPM, Spain) Torsten Schaub (University of Potsdam, Germany) Workshops Chair: Veronica Dahl (Simon Fraser University, Canada) Doctoral Consortium: Marcello Balduccini (Kodak Research Labs, USA) Alessandro Dal Palu' (Universita degli Studi di Parma, Italy) Prolog Programming Contest: Tom Schrijvers (K.U. Leuven, Belgium) PROGRAM COMMITTEE Maria Alpuente (Technical U. of Valencia, Spain) Pedro Cabalar (Corunya University, Spain) Manuel Carro (Technical U. of Madrid, Spain) Luc De Raedt (K.U. Leuven, Belgium) Marina De Vos (University of Bath, UK) James Delgrande (Simon Fraser University, Canada) Marc Denecker (KU Leuven, Belgium) Agostino Dovier (University of Udine, Italy) Esra Erdem (Sabanci University, Istanbul, Turkey) Wolfgang Faber (University of Calabria, Italy) Thom Fruehwirth (University of Ulm, Germany) Maurizio Gabbrielli (University of Bologna, Italy) John Gallagher (Roskilde University, Denmark) Samir Genaim (Complutense University, Spain) Haifeng Guo (University of Nebraska at Omaha, USA) Joxan Jaffar (National U. of Singapore, Singapore) Tomi Janhunen (Helsinki U. of Technology, Finland) Michael Leuschel (U. of Duesseldorf, Germany) Alan Mycroft (U. of Cambridge, UK) Gopalan Nadathur (University of Minnesota, USA) Lee Naish (Melbourne University, Australia) Enrico Pontelli (New Mexico State University, USA) Vitor Santos Costa (University of Porto, Portugal) Tom Schrijvers (K.U. Leuven, Belgium) Tran Cao Son (New Mexico State University, USA) Peter J. Stuckey (Melbourne University, Australia) Terrance Swift (CENTRIA, Portugal) Peter Szeredi (Budapest U. of Tech. and E., Hungary) Frank Valencia (Ecole Polytechnique, France) Wim Vanhoof (University of Namur, Belgium) Kewen Wang (Griffith University, Australia) Stefan Woltran (Vienna U. of Technology, Austria) Neng-Fa Zhou (City University of New York, USA) SPONSOR The conference is sponsored by the Association for Logic Programming. FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. WORKSHOPS The ICLP 2010 program will include several workshops, held also as part of FLoC. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 6th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. CONFERENCE VENUE / CO-LOCATION In 2010 (as in the previous two FLoC editions) ICLP will be held as part of the Fifth Federated Logic Conference, FLoC 2010 in Edinburgh, Scotland, U.K., July 16-19, 2010. FLoC is held every four years bringing together several international conferences related to mathematical logic and computer science. Other participating conferences are: - Computer-Aided Verification (CAV), - Int'l Joint Conference on Automated Reasoning (IJCAR), - Interactive Theorem Proving (ITP), - Logic in Computer Science (LICS), - Rewriting Techniques and Applications (RTA), and - Theory and Applications of Satisfiability Testing (SAT). Plenary events involving multiple conferences are planned. ---------------------------------------------------------------------- From jsabater at iiia.csic.es Wed Jan 27 10:16:27 2010 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Wed, 27 Jan 2010 10:16:27 +0100 Subject: [AAMAS-2010] Doctoral Mentoring Program **** IMPORTANT: DATE CHANGE **** Message-ID: <28406240014466336570@Galvatron> ***** Call for Doctoral Mentoring Program Submissions ***** * IMPORTANT: DATE CHANGE - The doctoral mentoring symposium will take place May 9, 2010 * Ninth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2010) Toronto, Canada Symposium Date: May 9, 2010 Conference Dates: May 10-14, 2010 http://www.cse.yorku.ca/AAMAS2010/ The AAMAS 2010 doctoral mentoring program is intended for Ph.D. students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: - To match each student with an established researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. - To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. -To provide students with contacts and professional networking opportunities. The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. Submission Requirements We encourage submissions from Ph.D. students at advanced stages of their research within the Autonomous Agents and Multi-Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. The submission package should include: - A two-page extended abstract of the student's thesis (in the AAMAS submission format) - A personal research statement (one page) - A short (2-page) resume (CV) - A recommendation letter from the advisor. Submissions should be sent via email to johnt at rmit.edu.au. Important Dates Jan 30, 2010: Submission package due Feb 27, 2010: Acceptance notification May 9, 2010: Doctoral mentoring symposium For questions, please contact the doctoral mentoring co-chairs: Gita Sukthankar University of Central Florida gitars at eecs.ucf.edu John Thangarajah RMIT, Australia johnt at rmit.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From zaplata at informatik.uni-hamburg.de Wed Jan 27 14:00:12 2010 From: zaplata at informatik.uni-hamburg.de (Sonja Zaplata) Date: Wed, 27 Jan 2010 14:00:12 +0100 Subject: CfP: E-Government and E-Services - IFIP WCC 2010 Message-ID: <4B6038DC.5080108@informatik.uni-hamburg.de> [ please distribute - apologies for multiple postings ] ********************************************************************************* Call for Papers E-GOVERNMENT and E-SERVICES (EGES): Challenges, Techniques, Opportunities and the Road Ahead for deatils see: http://www.wcc2010.com/eges a conference at the IFIP 50th anniversary World Computer Congress (WCC) 20-23 September 2010, Brisbane Convention & Exhibition Centre, Australia Submission of papers: February 15, 2010 Notification to authors: April 23, 2010 Camera-ready copies: May 15, 2010 ********************************************************************************* The EGES conference at WCC 2010 is a cooperation of a number of groups that already have well-established activities in the field of e-government, e-governance, e-business, e-tcetera. Notably, IFIP working group 8.5 (Information Systems in Public Administration) and IFIP working group 6.11 (Communication Aspects of E-Business, E-services and E-society) and the CSI SIG on E-Governance (Computer Society of India Special Interest Group on E-Governance) have joined forces as the program co-chairs to make this stream of the IFIP World Computer Congress indeed outstanding and challenging. A “must attend” meeting opportunity for researchers, practitioners and policymakers where contributions from all three angles will lead to new perspectives and a better understanding of the challenges and opportunities that come with developing and implementing e-government services and applications. Conference topics Papers offering research contributions as well as papers providing practical cases, in any aspect of e-government and e-services are solicited for submission to the conference. Papers will be selected on criteria such as novelty, soundness and technical quality, interest to the participants, etcetera. Papers may present applications, service infrastructures, theory, or practical experiences on topics including but not limited to: E-Government & Applications E-government application areas – including Govt. to Citizen, Govt. to Business, Govt. to Govt., Govt. to Employee projects Digital cities and regions E-Democracy and e-Governance E-Inclusion to information society E-Health and e-Education Public e-Services for citizens and enterprises Citizen Identity Cards for multi-purpose uses Private Sector projects for public services One-stop government service integration Governance / financing issues Portfolio management, Alignment Adoption and diffusions Multimedia and multi-linguism International dimension of e-Government E-Government Infrastructure E-Services for e-Government Infrastructure for e-government - including Wide Area Networks, Wireless networks, Citizen Service Centres, Kiosks Shared services, service-oriented government Managing and orchestrating service networks Mobile public services Interoperability of different applications Performance management and evaluation Accessibility Privacy and security Open source software and standards, FLOSS National / international standards Legal societal and cultural issues Communities Web 2.0, wiki’s, user-involvement Open content, open access Digital culture and digital divide Public-private partnerships Success factors Leadership, organization and policies Participative policy-making Acceptance issues Disaster and crises management Instructions for paper submission Papers must not substantially overlap with papers that have been published or are simultaneously submitted to a journal or another conference with proceedings. Papers must be written in English; they should be at most 14 pages in total, including bibliography and well-marked appendices. Papers should be intelligible without appendices, if any. Accepted papers will be presented at the conference and published in the IFIP AICT (Advances in Information and Communication Technology) Series by Springer. Submitted and accepted papers must follow the publisher’s guidelines for the IFIP AICT Series (www.springer.com/series/6102, author templates, manuscript preparation in Word). At least one author of each accepted paper must register to the conference and present the paper. All papers must be submitted in electronic form through the web via www.easychair.org/conferences/?conf=eges2010 by the deadline indicated below. Papers submitted after this deadline will be discarded without review. From franconi at inf.unibz.it Wed Jan 27 20:59:06 2010 From: franconi at inf.unibz.it (Enrico Franconi) Date: Wed, 27 Jan 2010 20:59:06 +0100 Subject: European Master in Computational Logic - many scholarships for all students Message-ID: <30AC20E8-4DF5-4CEB-8CD3-47C81640FAE0@inf.unibz.it> *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Magistrale). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria Within this program, completely in English, students will spend the first semester of the first year at the Technische Universitaet Dresden (TUD), the second semester of the first year at the Free University of Bozen-Bolzano (FUB), and the second year in one of the 4 partner universities chosen by the student. After this, the student will obtain a joint European Master of Science degree. APPLICATION DEADLINE: - *** 15 May 2010 *** deadline for European and non-European students (notification of acceptance: 15 June 2008) SCHOLARSHIPS & MONEY SUPPORT: Several scholarships (all including a tuition/enrolment fee waiver) are offered by the EMCL to the best students for the duration of the master program: a FULL scholarship of 750 EUR per month; a SMALL scholarship of 200 EUR per month; and a SIMPLE tuition/enrolment fee waiver. European students will get a LLP Socrates Erasmus scholarship for the second year of study, corresponding to 330 EUR per month. European citizens can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. This scholarship is only for the year of study at FUB and it may amount up to more than 6,000 EUR per academic year, plus support on the accommodation and a tuition/enrolment fee waiver. These scholarships are also available to non-European citizens with residence in Italy. Check the web page for detailed info on other available scholarships: http://www.computational-logic.eu THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Specialistica in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Prof. Enrico Franconi or Dr. Sergio Tessaris at info at fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0471 016 009 Email: info at fub.computational-logic.eu Web site: http://www.computational-logic.eu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From algzhang at gmail.com Fri Jan 29 13:53:20 2010 From: algzhang at gmail.com (algzhang) Date: Fri, 29 Jan 2010 20:53:20 +0800 Subject: 2nd CFP, AAIM 2010 Message-ID: <201001292053183159794@gmail.com> =========================================================== ** Apologies if you receive multiple copies of this CFP. ** =========================================================== AAIM 2010 - The Sixth International Conference on Algorithmic Aspects in Information and Management --------------- Call for Papers --------------- AAIM 2010 is the sixth conference of the AAIM series international conferences. Sponsored by National Natural Science Foundation of China, Montana State University (US), the University of Warwick (UK), and Shandong University (China), AAIM 2010 is undertaken by School of Computer Science and Technology, Shandong University. AAIM 2010 will be held in July 19 �C 21, 2010 in Weihai, Shandong, China. Please refer to http://aaim2010.sdu.edu.cn for more information. While the areas of information management and management science are full of algorithmic challenges, the proliferation of data has called for the design of efficient and effective algorithms and data structures for their management and processing. This conference is intended for original algorithmic research on immediate applications and/or fundamental problems pertinent to information management and management science, broadly construed. The conference aims at bringing together researchers in computer science, operations research, applied mathematics, economics, and related disciplines. AAIM 2010 invited Prof. Zhi-Ming Ma of Institute of Applied Mathematics, AMSS, CAS, an academician of Chinese Academy of Sciences, and Prof. Daniel Ralph of Judge Business School, University of Cambridge, UK to give special lectures on the conference. The typical, but not exclusive, topics of AAIM 2010 are: -------------------- * Basic Algorithms * -------------------- Approximation Algorithms Computational Geometry Data Structures Experimental Algorithms Online Algorithms Randomized Algorithms ---------------------------------------------- * Operations Research and Management Science * ---------------------------------------------- Bin Packing Facility Location Mathematical Programming Network Optimization Routing Scheduling ---------------------------------- * Biology, Economics and Finance * ---------------------------------- Algorithmic Game Theory Combinatorial Auction Computational Biology Computational Finance E-Commerce The proceedings of AAIM 2010 will be published by Springer-Verlag in Lecture Notes in Computer Science. Please format your submission in Springer LNCS LaTex style and make the submission via the submission server for AAIM 2010. We warmly welcome you submit your works to AAIM 2010 and attend the AAIM 2010 conference! The AAIM 2010 service group of School of Computer Science and Technology, Shandong University will provide the best services to all experts and colleagues from all over the world! Contact information: Dr. Peng ZHANG Email: algzhang at sdu.edu.cn Fax: +86-531-88392498 (CS School, SDU) Best regards, Yours sincerely, Service Group AAIM 2010 School of Computer Science and Technology, Shandong University, China -------------- n?chster Teil -------------- Ein Dateianhang mit Bin?rdaten wurde abgetrennt... Dateiname : AAIM2010-CFP.pdf Dateityp : application/octet-stream Dateigr??e : 57208 bytes Beschreibung: nicht verf��gbar URL : From ulle.endriss at uva.nl Fri Jan 29 15:46:29 2010 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Fri, 29 Jan 2010 15:46:29 +0100 Subject: ECAI-2010 Workshop Programme Message-ID: <4B62F4C5.3060201@uva.nl> Please distribute widely (apologies if you receive this more than once). ------------------------------------------------------------------------ It is my pleasure to announce the Workshop Programme of ECAI-2010, the 19th European Conference on Artificial Intelligence, to be held in on 16-20 August 2010 in Lisbon, Portugal. ECAI-2010 will have 21 satellite workshops, to take place during the first two days of the conference, in parallel with an extensive tutorial programme. The workshop programme covers a wide spectrum of research in AI and will be of interest to both theoreticians and practitioners. Information regarding the individual workshops is available via the ECAI-2010 website. Most workshops operate with paper submission deadlines around the beginning of May. Best wishes, Ulle Endriss (ECAI-2010 Workshop Chair) ------------------------------------------------------------------------ ECAI-2010 WORKSHOP PROGRAMME (full details at http://ecai2010.appia.pt/) ------------------------------------------------------------------------ * Computational Logic in Multi-Agent Systems (CLIMA) * Configuration (ConfWS) * Advances in Preference Handling (M-PREF) * Modelling and Reasoning in Context (MRC) * Automated Reasoning about Context and Ontology Evolution (ARCOE) * Explanation-aware Computing (ExaCt) * Language, Pragmatics and Explanation (LPE) * Computational Models of Natural Argument (CMNR) * Planning to Learn (PlanLearn) * Evolutionary and Reinforcement Learning for Autonomous Robot Systems (ERLARS) * Benchmarking Intelligent (Multi-)Robot Systems (BIMRS) * Intelligent Engineering Techniques for Knowledge Bases (I-KBET) * Ubiquitous Data Mining (UDM) * Computational Approaches to Subjectivity and Sentiment Analysis (WASSA) * AI for Simulation | Simulation for AI (AISSAI) * Language Technology for Cultural Heritage, Social Sciences, and Humanities (LaTeCH) * Intelligent Agents and Technologies for e-Business (IAT4EB) * Agents Applied in Health Care (A2HC) * Knowledge Representation for Health Care (KR4HC) * Artificial Intelligence and Logistics (AILog) * Spatio-Temporal Dynamics (STeDY) ------------------------------------------------------------------------ -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From invitation at iariaevent.org Sat Jan 30 07:54:15 2010 From: invitation at iariaevent.org (MOPAS 2010) Date: Sat, 30 Jan 2010 01:54:15 -0500 (EST) Subject: Last mile: MOPAS 2010 || June 13-19, 2010 - Athens, Greece Message-ID: <19992074.35.1264834455265.JavaMail.Onitza@IariaAnnounce> INVITATION: ================= Note that we are entering the last mile for submissions; the deadline is January 30, 2010. Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results. ================= ============== MOPAS 2010 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS MOPAS 2010: The First International Conference on Models and Ontology-based Design of Protocols, Architectures and Services June 13-19, 2010 - Athens, Greece General page: http://www.iaria.org/conferences2010/MOPAS10.html Call for Papers: http://www.iaria.org/conferences2010/CfPMOPAS10.html Submission deadline: January 30, 2010 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index Please note the Poster Forum and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html MOPAS 2010 Tracks (tracks' topics and submission details: see CfP on the site) MOT: Models and Ontology-driven Technologies (for the communications system design) MDA Model-Driven Architecture; MDE Model-Driven Engineering; MDD Model-Driven Development; CIM Computer Independent Models; PIM Platform Independent Models; PSM Platform Specific Models; ODA Ontology Driven Models; Global Models; Modeling methodologies; Fundamentals in theory; Multi-layered models; Models and Ontologies relationships; Multi-models coherences. MOCS: Models and Ontology-based Communications Services and Protocols Semantics of Services and Service modeling; Protocol Models and Semantics; Services-to-Services mappings; Services-to-Protocols transformations and translations; Application and Quality of Experience Semantics; MAC Layer Services; Network Layer Services; Transport Layer Services; Middleware Services; Monitoring Services; Adaptive Services; Services and Protocols components; Services and Protocols implementations MOCA: Models and Ontology-based Cross-layer Services and Architectures Design Service Design for networks and communicating system architectures; Models and Ontologies based Architectures; Models and Ontologies based Software Frameworks; Composition of Services and Composability rules; Cross-layering services models, components and implementations; Autonomic communications; Multimedia and multicast communications; Delay-tolerant communications; Wireless sensor and ad hoc networks ========== MOPAS 2010 Conference Chairs Michel Diaz, LAAS, France Ernesto Exposito, LAAS, France MOPAS 2010 Industry/Research Liaison Chair Yuri Ismailov, Ericsson Research - Stockholm, Sweden MOPAS 2010 Industry Liaison Chair Hari Rangarajan, Cisco Systems - San Jose, USA Committee members: http://www.iaria.org/conferences2010/ComMOPAS10.html ==================== To stop receiving notices about MOPAS, please reply with "DROP MOPAS 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.