From m.b.vanriemsdijk at tudelft.nl Fri Apr 1 10:42:04 2011 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Fri, 1 Apr 2011 10:42:04 +0200 Subject: CFP COIN@WI-IAT'11 (abstract submission: April 1) Message-ID: <2F3A3E5D-4611-4E38-924C-A3A8D18F999F@tudelft.nl> Apologies for cross postings ======================================================================= CALL FOR PAPERS COIN at WI-IAT'11 http://mmi.tudelft.nl/coin-wi-iat2011/ 13th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems Held at WI-IAT'11 in Lyon, France on August 22nd 2011 *** deadline abstract submission: April 1 *** SCOPE The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a society that usually has some overall measures of quality or efficiency. However, achieving and maintaining a "good" society is difficult to achieve as the participating entities, their modes of interaction or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There is therefore a need of theories, tools and techniques for articulating and/or regulating interactions in order to make the system more effective in attaining collective goals, and providing guarantees (or predictability) for components/participants of open systems. Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshop creates a space for lively debate and exploration of these four elements that are central to the design and deployment of open systems. Furthermore, in the last three years there has been much interest from the Service Engineering community to adopt agent-based coordination and organisational approaches in order to bring flexibility and adaptiveness to new generations of Service-Oriented applications. Thus the workshop topics are also very relevant to the broader Service Engineering and Semantic Web communities. WORKSHOP GOAL We seek to attract high-quality papers addressing mathematical, logical, computational and pragmatic aspects of the workshop themes, including reports on experiences with agent-oriented systems that have been adapted for service-oriented environments. Of particular interest are those papers reporting on challenging or innovative views on issues within the workshop themes, papers proposing new ideas, and position papers. TOPICS OF INTEREST These include, but are not limited to: * formal methods, logics, languages and tools for the specification, verification, implementation and simulation of norms, coordination, organizational structures and institutions; * law of open distributed systems: regulatory compliance; * agent societies, social networks, electronic institutions and virtual organizations; * formation, maintenance, evolution and dissolution of organizations, institutions and normative multi-agent systems; * autonomic institutions and self-organization in multi-agent systems; * frameworks and protocols for organized and organizational adaptation; * mechanisms for flexible and adaptive governance in service-oriented applications; * discovery, openness and inter-operation in organizations and institutions; * mixed human-agent coordination and institutions in virtual worlds; participatory simulation. * reports on implemented systems IMPORTANT DATES abstract submission: April 1, 2011 paper submission: April 29, 2011 notification: June 1, 2011 camera-ready: June 10, 2011 workshop: August 22, 2011 If you will not be able to submit an abstract on time, please send an intention to submit through email to the COIN at WI-IAT'11 co-chairs. VENUE The workshop will be part of the WI-IAT'11 (IEEE/WIC/ACM International Conference on Web Intelligence & IEEE/WIC/ACM International Conference on Intelligent Agent Technology) workshop programme, and will take place at the Campus Scientifique de la Doua, Lyon, France. PROCEEDINGS Preliminary workshop proceedings will be published by IEEE Computer Society Press. As with previous COIN workshops, revised and extended versions of selected papers will published in a Springer LNCS volume in combination with the post-proceedings of the COIN at AAMAS workshop to be held in May 2011. That volume is published as part of The Coordination, Organizations, Institutions, and Norms in Agent Systems book series, with all the indexing, referencing and follow-up benefits associated with an established line of publication. Revised papers must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. INSTRUCTIONS FOR AUTHORS Abstracts and papers are to be submitted through the WI/IAT 2011 Workshop Paper Submission system. The length of submitted papers should not exceed 4 pages in the IEEE-CS format. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. For submission of papers, please use: http://liris.cnrs.fr/~wi-iat11/IAT_2011/papers-submission/ ORGANIZATION COIN Steering Committee: Alexander Artikis (Bational Centre for Scientific Research "Demokritos", Greece) Eric Matson (Purdue University, USA) Nicoletta Fornara (University of Lugano, Switzerland) George Vouros (University of the Aegean, Greece) Jeremy Pitt (Imperial College London, UK) Julian Padget (University of Bath, UK) Javier Vazquez Salceda (Technical University of Catalonia, Spain) Viviane Torres da Silva (Fluminense Federal University, Brazil) Wamberto Vasconcelos (University of Aberdeen, UK) COIN at WI-IAT'11 Co-Chairs: M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) m.b.vanriemsdijk at tudelft.nl Javier Vazquez Salceda (Technical University of Catalonia, Spain) jvazquez at lsi.upc.edu Program Committee: Huib Aldewereld, Utrecht University, The Netherlands Sergio Alvarez-Napagao, Technical University of Catalonia, Spain Alexander Artikis, National Centre for Scientific Research "Demokritos", Greece Guido Boella, University of Torino, Italy Cristiano Castelfranchi, ISTC/CNR, Italy Antonio Carlos da Rocha Costa, UCPEL, Brazil Stephen Cranefield, University of Otago, New Zealand Virginia Dignum, Delft University of Technology, Netherlands Marc Esteva, IIIA-CSIC, Spain Nicoletta Fornara, Lugano, Switzerland Jomi Fred Hubner, University of Blumenau, Brasil Christian Lemaitre, Universidad Autonoma Metropolitana, Mexico Victor Lesser, University of Massachusetts Amherst, USA Eric Matson, Purdue University, USA John-Jules Meyer, Utrecht University, Netherlands Simon Miles, Kings College London, UK Pablo Noriega, IIIA-CSIC, Spain Eugenio Oliveira, Universidade do Porto, Portugal Andrea Omicini, Universita di Bologna, Italy Sascha Ossowski, URJC, Spain Julian Padget, University of Bath, UK Jeremy Pitt, Imperial College London, UK Alessandro Ricci, Universita di Bologna, Italy Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain Christophe Sibertin-Blanc, IRIT, France Jaime S. Sichman, University of Sao Paulo, Brazil Catherine Tessier, ONERA, France Leendert van der Torre, University of Luxembourg, Luxembourg Wamberto Vasconcelos, University of Aberdeen, UK Harko Verhagen, Stockholm University, Sweden Marina de Vos, Bath, UK George Vouros, University of the Aegean, Greece Pinar Yolum, Bogazici University, Turkey From log-ic2011 at lists.deri.org Fri Apr 1 10:43:00 2011 From: log-ic2011 at lists.deri.org (log-ic2011) Date: Fri, 01 Apr 2011 10:43:00 +0200 Subject: Log-IC 2011: Deadline Approaching Message-ID: <4D959014.6060400@lists.deri.org> (Apologies for cross-posting) The deadline for submission is April 2nd, 2011. Short extensions may be granted upon individual request. In case, please contact the organizers via email to log-ic2011 at lists.deri.org. --------------------------------------------------------------------------------------------------------------------------------------------------------- Final Call for Papers Log-IC 2011 Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications In conjunction with LPNMR 2011 Vancouver 16-19 May 2011 http://log-ic2011.deri.ie --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration, distributed problem solving and societal issues in Multi-Agent Systems. As well, theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning in particular regarding distributed evaluation and in conjunction with more recently emerging areas such as ontologies, including Semantic Web data, social features and reasoning about mental states, as well as approaches to belief change. While implemented context-representation models are generally ad-hoc, domain-dependent and do not support powerful inference, declarative logic-based models often fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge sources in different formats. The incompleteness and heterogeneous nature of such data and the need for state-based context interpretation in dynamic systems suggest that non-monotonic reasoning techniques could be a powerful tool for effective context-dependent reasoning. Since in many applications the data stems from distributed sources, we encourage submissions addressing distributed reasoning mechanisms. Likewise, declarative approaches to societal reasoning or agent coordination may provide the backbone for contextual reasoning in various application domains. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite submissions where hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts are proposed. This workshop will provide a forum for researchers investigating context-aware applications and context-based or distributed reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2011 will also propose targeted discussions on the topic. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation and reasoning - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Distributed reasoning formalisms and algorithms - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modeling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Social features of contextual reasoning - Ontologies and nonmonotonic reasoning in context representation - Hybrid formalisms for reasoning within contexts or including sub-symbolic contexts - Contextual aspects in agent coordination - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications, including (but not limited to) Activity Recognition, Diagnosis, Query Answering, Early Warning, in various application domains, such as Health Care, Assisted Living, Robotics, etc. --------------------------- Submissions --------------------------- Submitted papers will be peer-reviewed and must be formatted according to the Springer LNCS/LNAI format. Regular papers (included application papers) should not exceed 12 pages overall. The limit for short papers and system descriptions is 6 pages in the same format. We also encourage position papers on early-stage research (for poster or short presentations) of at most 3 pages. Paper submission is by the EasyChair conference system: to submit a paper, visit http://www.easychair.org/conferences/?conf=log-ic2011 and upload a PDF version of the paper. Proceedings will be published online after the workshop; publication as CEUR workshop proceedings on CEUR-WS.org is intended. ---------------------------------- Important Dates ---------------------------------- Paper submissions: April 2nd, 2011 Notification of Acceptance: April 20th, 2011 Camera-ready versions: May 2nd, 2011 Workshop: May 16th, 2011 ---------------------------------- Invited Speakers ---------------------------------- Pedro Cabalar Department of Computer Science Corunna University, Galicia, Spain Thomas Eiter Institute of Information Systems TU Wien, Vienna, Austria Torsten Schaub Institute of Computer Science University of Potsdam, Germany ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Digital Enterprise Research Institute NUIG, Galway Ireland Michael Fink Institute of Information Systems TU Wien, Vienna Austria Program Chairs: Alessandra Mileo, University of Galway, Ireland Michael Fink, Vienna University of Technology, Austria Program Committee: - Sebastian Bader, University of Rostock, Germany - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Chitta Baral, Arizona State University, Tempe, AZ, USA - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, University of Calabria, Rende (CS), Italy - Stijn Heymans, SemanticBits LLC, Herndon, VA, USA - Joao Leite, Universidade Nova de Lisboa, Portugal - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Bernd Ludwig, University of Erlangen-Nuremberg, Germany - Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Axel Polleres, University of Galway, Ireland - Enrico Pontelli, New Mexico State University, Las Cruzes, NM, USA - Marie-Christine Rousset, University of Grenoble, France - Chiaki Sakama, Wakayama University, Japan - Torsten Schaub, University of Potsdam, Germany - Tran Cao Son, New Mexico State University, Las Cruzes, NM, USA - Hans Tompits, Vienna University of Technology, Austria - Paolo Torroni, University of Bologna, Italy - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria From mgavanelli at ing.unife.it Fri Apr 1 13:47:03 2011 From: mgavanelli at ing.unife.it (Marco Gavanelli) Date: Fri, 01 Apr 2011 13:47:03 +0200 Subject: RCRA 2011 last CfP Message-ID: <4D95BB37.9010307@ing.unife.it> Apologies for cross-postings * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://rcra.aixia.it organises the 18th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2011) IJCAI 2011 workshop Barcelona, Spain, 17-18 July 2011 RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2011 e-mail: rcra2011 at gmail.com * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. * ______________________________________________________________________ * As in previous editions (http://rcra.aixia.it/publications), authors of papers orally presented at the workshop will have the opportunity to participate to the selection of a special issue that will appear on an International journal. The workshop will take place in Barcelona, Spain in July 2011, in association with IJCAI 2011 (http://ijcai-11.iiia.csic.es/). IMPORTANT DATES (EXTENDED SUBMISSION DEADLINE) * Abstract submission: 3 April 2011 * Submissions to the RCRA workshop: 6 April 2011 * Notification of acceptance/reject: 8 May 2011 * Final version due: 25 May 2011 * RCRA workshop: 17-18 July 2011 AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy WORKSHOP PROGRAM COMMITTEE * Marco Alberti – Universidade Nova de Lisboa, Portugal * Tolga Bektas, University of Southampton, UK * Francesco Calimeri – University of Calabria, Italy * Agostino Dovier – University of Udine, Italy * Esra Erdem – Sabanci University, Instanbul, Turkey * Wolfgang Faber – University of Calabria, Italy * Pierre Flener - Uppsala University, Sweden * Scott E. Grasman - Missouri University of Science and Technology, USA * Angel Juan – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Henry Kautz - University of Rochester, USA * Daniel Le Berre – Université d'Artois, Lens Cedex, France * Inês Lynce – INESC-ID, Lisboa, Portugal * Marco Maratea – University of Genova, Italy * Joao Marquez-Silva - University College Dublin, Ireland * Michela Milano - University of Bologna, Italy * Massimo Narizzano – University of Genova, Italy * Angelo Oddi - ISTC-CNR, Roma, Italy * Gilles Pesant – University of Montreal, Canada * Pilar Pozos Parra - Universidad Juarez Autonoma de Tabasco, Tabasco, Mexico * Steve Prestwich – University College Cork, Ireland * Helena Ramalhinho Dias Lourenço – Universitat Pompeu Fabra, Barcelona, Spain * Daniel Riera i Terrén – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Fabrizio Riguzzi – University of Ferrara, Italy * Rubén Ruiz Garcìa – Universidad Politécnica de Valencia, Spain * Alessandro Saetti – University of Brescia, Italy * Andrea Schaerf – University of Udine, Italy * Bart Selman - Cornell University, USA * Helmut Simonis - University College Cork, Ireland * Mirek Truszczyński – University of Kentucky, Lexington, KY, USA HOST ORGANIZATION Internet Interdisciplinary Institute – Universitat Oberta de Catalunya, Barcelona, Spain (http://in3.uoc.edu) LOCAL COMMITTEE * Angel Juan – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Daniel Riera i Terrén – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Josep Jorba – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Helena R. Lourenço – Universitat Pompeu Fabra, Spain * David Masip – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Joan M. Marques – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Joan A. Pastor – IN3-Universitat Oberta de Catalunya, Barcelona, Spain SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 pages, and should be written in LaTeX, using the RCRA 2011 style available on the workshop web site. Page for submissions: http://www.easychair.org/conferences/?conf=rcra2011 Submissions will be reviewed by at least three members of the program committee. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers orally presented at the workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. As in previous editions (http://rcra.aixia.it/publications), workshop post-proceedings will appear in a special issue of an International journal, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any formal publication. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed. Hence, authors are invited to work on their paper mainly before the workshop date. -- Marco Gavanelli, Ph.D. Computer Science Division Dipartimento di Ingegneria University of Ferrara Via Saragat 1 - 44122 Ferrara (Italy) http://www.ing.unife.it/docenti/MarcoGavanelli/ From Thomas.Agotnes at infomedia.uib.no Fri Apr 1 14:19:07 2011 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Fri, 1 Apr 2011 14:19:07 +0200 Subject: Final CFP: Logics for Games and Social Choice: CLIMA XII special session Message-ID: <60484F8F-3B75-4CB6-82B3-0931D8F96BAE@infomedia.uib.no> ++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on **Logics for Games and Social Choice** CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXII/sessions.html Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline: April 4/8th. Final Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION Logic and game theory form two theoretical underpinnings of multi-agent systems. On one hand, formal logic is a foundation for knowledge representation and reasoning, and opens the door to techniques for formal specification and automated verification. On the other hand, the interaction of rational decision makers has been studied in game theory for a long time. However, traditional game theory is not concerned with formal languages or reasoning systems, nor with computational issues, and until relatively recently formal logic has not been concerned with game theoretic issues. For reasoning about interesting properties of many, if not most, multi-agent systems, we need game theoretic concepts such as strategies, preferences, etc. In particular, many multi-agent systems can be seen as implementing social choice mechanisms. We invite papers on logical formalisation of concepts related to games and social choice, including but not limited to the following topics: - Logics for strategic reasoning - Logics for coalitional ability - Preference representation - Logical approaches to bounded rationality and limited cognition - Formal verification of games - Logic for mechanism design - Logical aspects of computational social choice - Judgment aggregation - Logical foundations of games and social choice - Epistemic logic SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://centria.di.fct.unl.pt/events/climaXII/submissions.html The special session on Logics for Games and Social Choice is chosen under "category" in Easychair. PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th Special Session Organiser: * Thomas Ågotnes, University of Bergen, Norway In case of questions, please do not hesitate to contact us at thomas.agotnes at infomedia.uib.no (enquiries particularly related to the special session) or clima2011 at easychair.org (general CLIMA enquiries). From admin at cyberjournals.com Sat Apr 2 00:51:04 2011 From: admin at cyberjournals.com (admin at cyberjournals.com) Date: Fri, 01 Apr 2011 17:51:04 -0500 Subject: Cyber Journals April Edition Call For Paper - Submission Deadline: April 10, 2011 (8 days remaining!) Message-ID: Dear All We'd like to invite you to contribute to the Cyber Journals' April Edition and circulate this invitation among interested students, researchers, and faculty members of your department. Regards Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals --------------------------- Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the April Edition, under the following special issues: 1. Journal of Selected Areas in Telecommunications (JSAT) 2. Journal of Selected Areas in Software Engineering (JSSE) 3. Journal of Selected Areas in Microelectronics (JSAM) 4. Journal of Selected Areas in Nanotechnology (JSAN) 5. Journal of Selected Areas in Mechatronics (JMTC) 6. Journal of Selected Areas in Health Informatics (JSHI) 7. Journal of Selected Areas in Bioengineering (JSAB) 8. Journal of Selected Areas in Bioinformatics (JBIO) 9. Journal of Selected Areas in Robotics and Control (JSRC) 10. Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com/) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +80 highly professional and technical editorial members, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard (http://www.cyberjournals.com/guidelines.html). Submission: Authors are requested to submit their manuscripts using the submission page: (http://www.cyberjournals.com/submit.html). Paper Indexing: Accepted papers are fully accessible and indexed in this page: (http://www.cyberjournals.com/papers.html). Best Paper Award: *** All submitted papers are considered for the Best Paper Award. Please refer to the Best Paper Award page (http://www.cyberjournals.com/bestpa.html). Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin[@]cyberjournals[.]com Important Dates: Article Submission Deadline: April 10th, 2011 Author Notification: April 22nd, 2011 Final Manuscript Due: April 30st, 2011 Online indexing: Early May 2011 Cyber Journals' next monthly edition is due on May 10th, 2011 From ivan.bedini at alcatel-lucent.com Mon Apr 4 11:37:59 2011 From: ivan.bedini at alcatel-lucent.com (Bedini, Ivan (Ivan)) Date: Mon, 4 Apr 2011 11:37:59 +0200 Subject: ICSOC 2011 PhD Symposium Message-ID: <497845CBF1174B4FA4814E5ADFFF461F472C76F1BB@FRMRSSXCHMBSD1.dc-m.alcatel-lucent.com> ICSOC 2011 PhD Symposium The 9th International Conference on Service Oriented Computing (ICSOC 2011) 5-8 December 2011, Paphos, Cyprus http://www.icsoc.org ***AIM AND TARGET AUDIENCE*** The ICSOC PhD Symposium 2011 is an international forum for PhD students working in all the areas addressed by the ICSOC conference (http://www.icsoc.org). The goals of the ICSOC PhD Symposium are: - To bring together PhD students and established researchers in the field of service oriented computing. - To enable PhD students to interact with other PhD students and to stimulate an exchange of ideas, suggestions, and experiences among participants. - To give PhD students the opportunity to present and discuss their research in a constructive and critical atmosphere. - To provide students with fruitful feedback and advice on their research approach and thesis. We particularly encourage students that are still developing their research methodology or are somewhere in the middle of their research program to submit to this symposium. Only active PhD students are eligible to submit, and topics are restricted to their doctoral work within the scope of the ICSOC conference. The symposium in Paphos, Cyprus will be the 7th PhD Symposium of the series held in conjunction with the ICSOC conferences in San Francisco, USA (2010), Stockholm, Sweden (2009), Sydney, Australia (2008), Vienna, Austria (2007), Chicago, USA (2006), and Amsterdam, the Netherlands (2005). ***SUBMISSION FORMAT AND PROCEEDINGS*** Submitted papers should give a clear description of the PhD work being conducted by the author of the paper. In particular, papers must: - Provide a clear problem statement. - Outline the research challenges that drive the proposed work. - Describe the proposed solution, its expected impact, the expected research plan, and - if available - preliminary results. - Discuss the progress beyond the state of the art of the envisioned research outcome compared to current literature and approaches (cite key papers). Each paper must be formatted according to the Springer LNCS format (http://www.springer.de/comp/lncs/authors.html) and must be at most 6 pages in length (strictly enforced). Submissions must be single-author, and the name of the supervisor(s) must be clearly marked ("supervised by ...") under the author's name. Papers must be submitted electronically, in PDF format, via the PhD Symposium track in the ICSOC submission system. Accepted papers will be included in the ICSOC 2011 post-conference proceedings of satellite events, to be published by Springer as part of the Service Science series. ***REVIEW PROCESS AND FORMAT OF THE SYMPOSIUM*** Each submission will be reviewed by at least two members of the PhD Symposium Program Committee. The main evaluation criteria are: relevance to service-oriented computing, potential for impact, quality of proposed research. The selection of papers will be based on these criteria. In order to stimulate the discussion during the symposium, (i) reviewers will be asked to provide one paragraph description of what solution they think suits the described problem and how they would approach the research (in addition to the review); (ii) students accepted for participation will be asked to write their own reviews of two/three other accepted papers. As a feedback on their reviews, students will be granted access to the respective reviews by the Program Committee. The symposium will operate in a workshop format, giving PhD students the opportunity to showcase their research and to assess the solutions proposed by the Program Committee. ***IMPORTANT DATES*** Jul 01, 2011: Paper submission Jul 30, 2011: Author notification Aug 15, 2011: Camera-ready submission ***PHD SYMPOSIUM CHAIRS*** Michael Sheng, University of Adelaide, Australia Cesare Pautasso, University of Lugano, Switzerland Sonia Ben Mokhtar, LIRIS, CNRS, France ***PROGRAMME COMMITTEE*** (To be confirmed) Gustavo Alonso, ETHZ, Switzerland Boualem Benatallah, University of New South Wales, Australia Djamal Benslimane, University of Lyon, France Walter Binder, University of Lugano, Switzerland Athman Bouguettaya, CSIRO ICT Centre, Australia Mauro Caporuscio, Politecnico di Milano, Italy Florian Daniel, University of Trento, Italy Marlon Dumas, University of Tartu, Estonia Nikolaos Georgantas, INRIA Paris, France Mohand-Said Hacid, LIRIS, France Xitong Li, MIT, USA Kwei-Jay Lin, University of California, Irvine, USA Pascal Poizat, University of Evry Val d'Essonne, France David Rosenblum, University College London, UK Aviv Segev, KAIST, Korea Stefan Tai, KIT, Germany Jian Yu, Swinburne University of Technology, Australia ***CONTACT INFORMATION*** If you have any inquiries, please contact the PhD Symposium chairs at: ps [at] icsoc.org -- Ivan Bedini Bell Labs Ireland Tel: +353 1 8864525 email: ivan.bedini at alcatel-lucent.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stavrosv at di.uoa.gr Mon Apr 4 13:40:52 2011 From: stavrosv at di.uoa.gr (Stavros Vassos) Date: Mon, 4 Apr 2011 14:40:52 +0300 Subject: Last Call for Papers: IJCAI-11 Workshop NRAC, Submission Deadline: April 8, 2011 Message-ID: -- Please accept our apologies if you receive multiple postings -- -------------------------------------------------------------------------------- Paper Submission Deadline: *APRIL 8, 2011* 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011) July 17 (full day) & 18 (morning) 2011 Barcelona, Spain (held in conjunction with IJCAI 2011) URL: http://www.cs.rmit.edu.au/~ssardina/NRAC2011 -------------------------------------------------------------------------------- CALL FOR PAPERS -------------------------------------------------------------------------------- The biennial Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success. We invite submissions of research papers for presentation at NRAC 2011 edition, a 1.5-day workshop to be held in Barcelona, Spain as part of the International Joint Conference on Artificial Intelligence (IJCAI-11) workshop program (July 16-22, 2011). Workshop Aims ------------- An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Research in all three areas has made significant progress during the last decades. It is, however, crucial to bear in mind the common goal of designing intelligent agents. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization. A closer look at recent developments in the three fields reveals how fruitful such cross-fertilization can be. Comparing and contrasting current formalisms for Nonmonotonic Reasoning, Reasoning about Action and Belief Revision helps identify the strengths and weaknesses of the various methods available. It is an important activity that allows researchers to evaluate the state-of-the-art. Indeed a significant advantage of using logical formalisms as representation schemes is that they facilitate the evaluation process. Moreover, following the initial success, more complex real-world applications are now within grasp. Experimentation with prototype implementations not only helps to identify obstacles that arise in transforming theoretical solutions into operational solutions, but also highlights the need for the improvement of existing formal integrative frameworks for intelligent agents at the ontological level. For the purpose of developing practical solutions to real-world problems, some obvious questions arise: What nonmonotonic logics and what theories of action and change have been implemented? How to compare them? Which ones are implementable? What can be learned from existing applications? What is needed to improve their scope and performance? Despite the progress over the last few years, these questions and other related problems for theories of nonmonotonic reasoning, action, and change, still remain open. We hope to explore new approaches to these problems during the workshop. This workshop will bring together researchers from all three areas with the aim to: * Compare and evaluate existing formalisms. * Report on new developments and innovations. * Identify the most important open problems in all three areas. * Identify possibilities of solution transferral between the areas. * Identify important challenges for the advancement of the areas. -------------------------------------------------------------------------------- SPECIAL THEME -------------------------------------------------------------------------------- There will be a special theme at this year's NRAC. We especially encourage submissions that describe applications of research in the three main areas of interest of the workshop. In particular, we welcome submissions about competitions and contests that are related to the areas of interest of the workshop, such as the ICAPS Planning Competitions (http://ipc.icaps-conference.org/), the Answer Set Programming Competition (http://www.mat.unical.it/aspcomp2011), the General Game Playing Competition (http://games.stanford.edu/), and the Multi-Agent Contest (http://www.multiagentcontest.org/). We plan to devote a session of the workshop on papers that address the special theme and accompany the presentation of these papers by a panel discussion about the difficulties that arise when applying research of this field in real-world systems, as well as insights about how we can stimulate research, attract students, test and compare approaches in non-trivial domains, identify new challenges, and build a closer connection between academic research and practical applications. We also plan to arrange invited talks around the special theme. -------------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------------- The dates below are tentative; please check the workshop Web page for confirmed dates. Submission deadline: April 8, 2011 (EXTENDED) Notification date: May 13, 2011 Camera ready submission deadline: May 27, 2011 Workshop: July 17 (full day) & 18 (morning), 2011 IJCAI-2011 conference: July 16-22, 2011 -------------------------------------------------------------------------------- REGISTRATION AND PARTICIPATION -------------------------------------------------------------------------------- Registration for NRAC 2011 is managed by IJCAI. Forms and Information on registration, pricing, travel and accommodation are available on the IJCAI-11 website. Participants are strongly urged to register as soon as possible to take advantage of discounted registration fees and to secure accommodation. We welcome participation and submission from all members of the Artificial Intelligence research community. Like previous NRAC workshops, we hope NRAC 2011 to be a highly participatory and discussion-oriented forum. The workshop will begin with a distinguished invited speaker, and will conclude with a panel on the hot issues identified during the day. Authors of accepted papers will present their work, with ample time for discussion. A complete program will be made available as soon as a final decision on accepted papers has been made. -------------------------------------------------------------------------------- SUBMISSION INSTRUCTIONS -------------------------------------------------------------------------------- NRAC-11 paper submissions must be formatted according to the IJCAI-11 paper guidelines at http://ijcai-11.org/. Papers must not exceed 8 formatted pages. Overlength papers will not be accepted for publication. Papers must be submitted electronically in PDF format by the due date. More details about the deadline for submission and notification of acceptance will follow. Please ensure the author names and affiliation are under the title. Submissions should emphasize and justify their innovation and significance. Please note: Papers should describe new unpublished work. Accepted IJCAI-11 Papers and Posters will not be accepted at NRAC-11. Submission website: http://www.easychair.org/conferences/?conf=nrac2011 Printed proceedings will be offered as working notes to delegates, and will be published online (with an ISBN) through the ePress of the University of Technology, Sydney. -------------------------------------------------------------------------------- PROGRAMME COMMITTEE -------------------------------------------------------------------------------- Xiaoping Chen, University of Science and Technology China, China Jim Delgrande, Simon Fraser Unviersity, Canada Jérôme Lang, Universite Paul Sabatier, France Thomas Meyer, Meraka Institute, South Africa Michael Thielscher, University of NSW, Australia Sheila McIlraith, University of Toronto, Canada Eduardo Fermé University of Madeira, Portugal Dongmo Zhang, University of Western Sydney, Australia Mehdi Dastani, Utrecht University, The Netherlands Giuseppe De Giacomo, Sapienza Universita' di Roma, Italy Christian Fritz, PARC (Palo Alto Research Center), USA Leora Morgenstern, SAIC Advanced Systems and Concepts, USA Pavlos Peppas, University of Patras, Greece Sajjad Haider, Institute of Business Administratio, Pakistan -------------------------------------------------------------------------------- WORKSHOP CHAIRS -------------------------------------------------------------------------------- Sebastian Sardina, RMIT University, Australia Stavros Vassos, National and Kapodistrian University of Athens, Greece -------------------------------------------------------------------------------- STEERING COMMITTEE -------------------------------------------------------------------------------- Gerhard Brewka, University of Leipzig, Germany Michael Thielscher, University of NSW, Australia Leora Morgenstern, SAIC Advanced Systems and Concepts, USA Maurice Pagnucco, University of NSW, Australia Pavlos Peppas, University of Patras, Greece Mary-Anne Williams, University of Technology, Sydney, Australia Andreas Herzig, Universite Paul Sabatier, France Benjamin Johnston, University of Technology, Sydney, Australia From pascal.hitzler at wright.edu Mon Apr 4 16:45:43 2011 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Mon, 04 Apr 2011 10:45:43 -0400 Subject: Call for book proposals: Studies on the Semantic Web series (IOS Press) Message-ID: <4D99D997.4050504@wright.edu> Call for book proposals Book series "Studies on the Semantic Web" IOS Press/AKA Verlag http://www.semantic-web-studies.net/ Semantic Web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This book series reports on the state of the art in foundations, methods, and applications of Semantic Web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the Semantic Web. Volumes in this series are co-published by IOS Press Amsterdam and AKA Verlag Heidelberg ensuring a short publication time and world-wide distribution. Proposals for publishing excellent PhD theses in this series are welcome. Publications in German language are possible. To indicate your interest in authoring or editing a book in the series, please contact the Editor in Chief under pascal at pascal-hitzler.de, and provide the following information. * tentative title * names and affiliations of all authors or editors of the book * the book type (textbook, research monograph, edited volume, PhD thesis) * estimated number of pages * tentative table of contents Proposals received by May 15, 2011 will receive primary attention, but proposals can be submitted at any time. Proposals will be evaluated by the Editorial Board. Pascal Hitzler, Editor in Chief Kno.e.sis Center, Wright State University, Dayton, OH http://www.pascal-hitzler.de/ Editorial Board: Diego Calvanese, Bolzano, Italy Vinay Chaudhri, Stanford, CA, USA Fabio Ciravegna, Sheffield, UK Michel Dumontier, Ottawa, Canada Dieter Fensel, Innsbruck, Austria Fausto Giunchiglia, Trento, Italy Carole Goble, Manchester, UK Asunción Gómez-Pérez, Madrid, Spain Frank van Harmelen, Amsterdam, The Netherlands Manfred Hauswirth, Galway, Ireland Ian Horrocks, Oxford, UK Krzysztof Janowicz, Pennsylvania State, PA, USA Michael Kifer, Stony Brook, NY, USA Riichiro Mizoguchi, Osaka University, Japan Mark Musen, Stanford Biomedical, CA, USA Daniel Schwabe, Rio de Janeiro, Brazil Barry Smith, Buffalo, NY, USA Steffen Staab, Koblenz, Germany Rudi Studer, Karlsruhe, Germany -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From grsimari at gmail.com Mon Apr 4 22:42:52 2011 From: grsimari at gmail.com (Guillermo R. Simari) Date: Mon, 4 Apr 2011 17:42:52 -0300 Subject: CfP ASAI 2011 - XII ARGENTINE SYMPOSIUM ON ARTIFICIAL INTELLIGENCE Message-ID: ===== CALL FOR PAPERS ======= ASAI 2011 - XII ARGENTINE SYMPOSIUM ON ARTIFICIAL INTELLIGENCE August 29th to September 30th, 2011 Córdoba Capital (UTN - Facultad Regional Córdoba) Part of 40 JAIIO - 40 Argentine Conference of Informatics http://www.40jaiio.org.ar/ August 29th to September 2nd, 2011 ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. The XII Argentine Symposium on Artificial Intelligence (ASAI 2011) will be held during 29th – 30th August 2011, in Córdoba, Argentina, at the Universidad Tecnológica Nacional - Facultad Regional Córdoba. ASAI 2011 will be part of the 40th JAIIO, the 40th Argentine Conference on Informatics, organized by SADIO. JAIIO is organized as a series of thematic symposia including topics such as software engineering, artificial intelligence, technology, agroinformatics, high performance computing, industrial informatics, free software, law, health, information society, and a students contest. For more information, TOPICS OF INTEREST ================== - AI Development, Tools and Methodologies - AI Foundations (philosophy, epistemology, economics, etc.) - Machine Learning - Intelligent Agents and Multi-Agent Systems - Knowledge Discovery and Data Mining - Human-Computer Interaction - Virtual Reality - Computer Vision and Pattern Recognition - Evolutionary Computation - Innovative applications of Artificial Intelligence (Bioinformatics, Computational - Biology, Education, Internet, Law, Music, etc.) - Knowledge Acquisition - Knowledge Representation and Reasoning - Knowledge Engineering - Natural Language Processing - Speech Processing - Image Processing - Planning and Scheduling - Robotics PROGARM CO-CHAIRS ==================== - Guillermo Simari, Dept. of Computer Science & Engineering, Universidad Nacional del Sur, Argentina - Laura Alonso i Alemany, FaMAF, Universidad Nacional de Córdoba, Argentina PROGRAM COMMITTEE ==================== - Carlos Areces (Universidad Nacional de Córdoba, Argentina) - Marcelo G. Armentano (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Luciana Benotti (Universidad Nacional de Córdoba, Argentina) - Luis S. Berdún (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Olivier Boissier (ENS Mines Saint-Etienne, France) - Facundo Bromberg (Universidad Tecnológica Nacional, Facultad Regional Mendoza, Argentina) - José Castaño (Universidad de Buenos Aires, Argentina) - Carlos Iván Chesñevar (Universidad Nacional del Sur, Argentina) - Juan Manuel Corchado (GSII, Universidad de Salamanca, Spain) - Rosanna Costaguta (Universidad Nacional de Santiago del Estero, Argentina) - Elena Duran (Universidad Nacional de Santiago del Estero, Argentina) - Paula Estrella (Universidad Nacional de Córdoba, Argentina) - Marcelo Falappa (Universidad Nacional del Sur, Argentina) - Alejandro Garcia (Universidad Nacional del Sur, Argentina) - Hector Geffner (Universitat Pompeu Fabra, Spain) - Daniela Godoy (ISISTAN, Universidad Nacional del Centro de la Pcia. de Buenos Aires, Argentina) - Juan Carlos Gómez (Universidad Nacional de Rosario, Argentina) - Pablo M. Granitto (Universidad Nacional de Rosario, Argentina) - Gabriel Infante-Lopez (FaMAF, Universidad Nacional de Córdoba, Argentina) - Huei Diana Lee (Laboratório de Bioinformática, Universidade Estadual do Oeste do Paraná, Brazil) - Ana Gabriela Maguitman (Dpto. de Ciencias e Ingeniería de la Computación Universidad Nacional del Sur, UNS) - Diego Milone (Laboratory for signals and computational intelligence, Universidad Nacional del Litoral, Santa Fe, - Ronaldo Prati (Universidade Federal do ABC, Brazil) - Horacio Saggion (Universitat Pompeu Fabra, Spain) - Silvia Schiaffino (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Georgina Stegmayer (UTN-Santa Fe, Argentina) - Pablo F. Verdes (Man Research Lab, Oxford, United Kingdom) PAPER SUBMISSION ================== ASAI 2011 seeks original contributions in a wide spectrum of Artificial Intelligence, ranging from state-of-the-art academic research to industrial and business applications having a significant impact. The symposium will consist of invited talks and regular paper sessions presenting mature work (full papers) in theoretical research and applications. A poster session will be devoted to the presentation of new ideas and less mature work in general (extended abstracts). Submissions are due before May 2nd. Submissions can be made through the EasyChair system, the submission site will be made available soon. Delayed submissions will most likely be rejected. All papers received before the deadline will be peer-reviewed by referees of the area. The submission of manuscripts must follow the format available at http://www.springer.de/comp/lncs/authors.html. The page limit for a full paper is 12 pages. Extended abstracts describing novel research visions, work-in-progress or less mature results are also welcome, with a limit of 4 pages. All contributions should be submitted in Ghostview-readable Postscript or PDF formats. For diffusion reasons, papers in English are strongly recommended (Spanish is also acceptable). Information on the format of the camera-ready copy will be forwarded with the acceptance letter. Each accepted paper must be presented in the symposium, and the presenter must be registered in the conference. IMPORTANT DATES =============== - May 2nd, 2011 : Deadline for submissions of papers - June 13th, 2011 : Notification of Acceptance/Rejection - June 27th, 2011 : Deadline for camera ready submissions CONTACT ======= For further information, visit ASAI 2011 webpage: http://www.40jaiio.org.ar/ or send an e-mail to: XII.asai at 40jaiio.org.ar From busquets at silver.udg.edu Tue Apr 5 12:30:15 2011 From: busquets at silver.udg.edu (=?ISO-8859-1?Q?D=EDdac_Busquets?=) Date: Tue, 05 Apr 2011 12:30:15 +0200 Subject: EASSS 2011 - Registration open Message-ID: <4D9AEF37.7030802@eia.udg.edu> ( Apologies for cross posting ) *************************************************** * EASSS 2011 REGISTRATION OPEN * 13th European Agent Systems Summer School Girona, Catalonia, Spain ---- 11-15 July 2011 *************************************************** We are glad to announce that registration for the 13th European Agent Systems Summer School (EASSS 2011) is now open at: http://eia.udg.edu/easss2011/index.php?content=registration Early registration deadline is on May 31st. Do not wait until the last minute, since requests for accommodation in the university halls will be treated by order of registration. Follow us on Twitter to be informed about the latest news regarding EASSS 2011 (http://twitter.com/easss2011). EASSS 2011 organizing committee -- ------------------------------------------------------------------------ *Dídac Busquets i Font, PhD* Investigador Ramón y Cajal Universitat de Girona Dept. d'Enginyeria Elèctrica, Electrònica i Automàtica Institut d'Informàtica i Aplicacions Edifici P-IV, Despatx 128 Campus Montilivi 17071 Girona Catalunya Tel. (+34) 972.41.81.79 Fax. (+34) 972.41.89.76 e-mail: busquets at eia.udg.edu web oficial: http://eia.udg.edu/~busquets web personal: http://golfet.udg.edu/~busquets ------------------------------------------------------------------------ Abans d'imprimir aquest correu electrònic pensa si és necessari fer-ho: el medi ambient és cosa de tots. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : mediambient2.gif Dateityp : image/gif Dateigröße : 2464 bytes Beschreibung: nicht verfügbar URL : From announce at cs.ucy.ac.cy Tue Apr 5 16:46:05 2011 From: announce at cs.ucy.ac.cy (Announcements) Date: Tue, 5 Apr 2011 17:46:05 +0300 Subject: IEEE CIT 2011 & IEEE ScalCom 2011: Final CFP *** Extended Deadline *** Message-ID: *** Final Call for Papers *** The 11th IEEE International Conference on Computer and Information Technology (CIT-2011) http://www.cs.ucy.ac.cy/CIT2011 The 11th IEEE International Conference on Scalable Computing and Communications (ScalCom 2011) http://www.cs.ucy.ac.cy/SCALCOM2011 *** EXTENDED DEADLINE: 15 APRIL 2011 *** 31st August -- 2nd September 2011 Coral Beach Hotel, Paphos, Cyprus CIT 2011 -------- CIT has become a primary venue for researchers and industry practitioners to discuss open problems, new research directions, and real-world case studies on all aspects of computer and information technology. CIT is soliciting original, previously unpublished and high quality papers addressing research challenges and advances spanning over the multidisciplinary aspects of information technology, computing science and computer engineering. The topics of the conference include, but are not limited to, broadly understood: - Computer and System Architecture - High Performance Computing - Utility Computing - Cloud Computing - Ubiquitous Computing - Software Engineering - Computer Networks - Telecommunications - Artificial Intelligence and Multi-Agent Systems - Computer Graphics/Image Processing - Information Visualization - Information Security - Management of Data and Database Systems - New Web Technology and Applications - IT in e-Health, e-Business, e-Learning, e-Government ScalCom 2011 ------------ Scalability is a primary consideration in the design and implementation of computing and communication systems. The rapid increases in the volume of information that needs to be processed by computers necessitates new architectures, software, algorithms, and tools to improve scalability. ScalCom-11 aims at providing an international forum for researchers and practitioners to discuss original ideas on all aspects of scalability in computing. ScalCom-11 is soliciting original, previously unpublished work addressing research challenges and presenting advances in the design and implementation of scalable computing and communication systems. The conference solicits papers broadly categorized in two tracks, Distributed Computing Systems and Parallel Computing Systems. Topics of interest include but are not limited to: Distributed Computing Systems -Distributed computing paradigms (cloud, grid, P2P, and utility computing) -Data management and data centers -Sensor networks and applications -Wireless and mobile computing -Internet-based computing, protocols, and applications -Security and privacy issues in distributed computing -Fault tolerance, reliability, and availability -Algorithms -System software (programming environments, OS, middleware) -Applications and tools Scalable Parallel Computing -Multi-core architectures -Graphics processors and accelerators -Interconnection networks -Compilers, programming models, and runtime environments -Operating systems and virtual machine monitors -Parallel I/O and storage systems -Exascale computing systems -Fault tolerance, reliability and dependability -Green parallel computing -Applications and tools Proceedings ----------- The conferences proceedings will be published by IEEE Computer Society. Important Dates --------------- Submission Deadline: April 15, 2011 *** Extended Deadline *** Notification of Acceptance: May 15, 2011 Camera-ready papers due: May 31, 2011 Paper Submission Guidelines --------------------------- All papers must be submitted electronically and in PDF format. The material presented should be original and not published or under submission elsewhere. Authors should submit full papers of up to 8 pages, following strictly the IEEE Computer Society Proceedings Manuscript style (available at http://www.computer.org/portal/web/cscps/formatting), using two-column, single-space format, with 10-point font size. Figures and references must be included in the 8 pages. Oversized papers will be automatically rejected by the PC chairs. At least one of the authors of each accepted paper must register early to attend the conference, in order for the paper to appear in the conference proceedings. -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. From lobrst at mitre.org Tue Apr 5 18:44:23 2011 From: lobrst at mitre.org (Obrst, Leo J.) Date: Tue, 5 Apr 2011 12:44:23 -0400 Subject: Final call: First IAOA Summer Institute in Applied Ontology, Tuscany, Italy, July 17-23, 2011 Message-ID: <0111C34BD897FD41841D60396F2AD3D307AA562017@IMCMBX2.MITRE.ORG> Apologies if you receive multiple copies. =============================================== First IAOA Summer Institute in Applied Ontology Firenze, Italy July 17-23, 2011 Topic: Process Ontology and its Applications in the human environment, in engineering, and in business FINAL CALL FOR PARTICIPATION =============================================== The International Association for Applied Ontology (www.iaoa.org), in cooperation with the Vespucci Initiative (www.vespucci.org), organizes its first Summer Institute in Applied Ontology in Florence, Italy, on July 17-23, 2011. Applications will close soon. The IAOA promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, and applications of ontological analysis more generally. This first Summer Institute in Applied Ontology will focus on the topic of Process Ontology and its applications to the analysis of processes in the human environment, in engineering, and in business. The Summer Institute facilitators will be: Antony Galton (University of Exeter, UK) Michael Gruninger (University of Toronto, Canada) Werner Kuhn (University of Muenster, Germany) David Mark (State University of New York at Buffalo, USA). Date: July 17-23, 2011, Process Ontology: http://vespucci.org/programme Venue: Firenze, Italy (see http://vespucci.org/presentation) Accommodation: hotel, bed and breakfast, or camp ground in Fiesole (20 minutes by bus from Firenze; shuttle bus or car to venue) Application: at vespucci.org and www.iaoa.org, until the end of April, 2011. Notification of acceptance: continuing. Grants may be available for participants with special financial needs, if these are stated and justified in the application. Goals and Contents: Understanding processes has become one of the key challenges to society: how much does our climate change, and why? how can deforestation of the Amazon be put under control? how can manufacturing processes be optimized? Process ontology provides the theory, tools, and techniques to analyze processes and to improve the design and use of information systems that support human decisions in dynamic situations. The institute will feature tutorials on ontology, progressing into research discussions and group work on the ontological analysis of processes. Participants will learn to: - apply basic ontological distinctions and formal ontology; - sort out the different kinds of things that go under the name "process"; - identify spatio-temporal patterns underlying processes; - understand implications of choosing between three- and four-dimensionalism - relate existing process ontologies to each other; - specify complex states, processes and events in terms of simpler ones; - design domain-specific process ontologies (e.g. in manufacturing, e-commerce, geography, biology) from more generic ontologies. From bhatt at informatik.uni-bremen.de Tue Apr 5 18:57:46 2011 From: bhatt at informatik.uni-bremen.de (Mehul Bhatt) Date: Tue, 5 Apr 2011 18:57:46 +0200 Subject: 2 Calls: Space, Time and Ambient Intelligence. Message-ID: Dear All, Submission deadline for the: Space, Time and Ambient Intelligence (STAMI 2011) workshop at IJCAI 2011, Barcelona, Spain is now approaching. Also of relevance in this context is the call for chapters for the book on: `Situational Awareness for Assistive Technologies' (IOS Press). Please find details below, and if applicable, do forward this to interested groups, people. Best regards, Organising Chairs. Mehul Bhatt, Hans Guesgen, Juan Carlos Augusto __________________________________________________________________________________________________________________________ We are pleased to announce the workshop on: Space, Time and Ambient Intelligence (STAMI 2011) at IJCAI 2011, Barcelona, Spain Theme, Scope and detailed information about other aspects of the workshop: http://cindy.informatik.uni-bremen.de/cosy/stami/STAMI-2011/index.html __________________________________________________________________________________________________________________________ We are pleased to announce a new book as a part of the Ambient Intelligence and Smart Environments (AISE) Series published by IOS Press on: Situational Awareness for Assistive Technologies Book Series: Ambient Intelligence and Smart Environments (AISE) Theme, Scope and detailed information about other aspects: http://cindy.informatik.uni-bremen.de/cosy/stami/sa-assist-tech-11/ __________________________________________________________________________________________________________________________ -- Cognitive Systems (CoSy) * SFB/TR 8 Spatial Cognition (FB3) Informatics, University of Bremen P.O. Box 330 440, Bremen 28334, Germany Fone +49-421218 64237 Fax +49-42121898 64237 url http://cindy.informatik.uni-bremen.de/cosy/staff/bhatt/www/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From madanm at microsoft.com Wed Apr 6 22:58:08 2011 From: madanm at microsoft.com (Madan Musuvathi) Date: Wed, 6 Apr 2011 20:58:08 +0000 Subject: CALL FOR PAPERS: SPIN 2011 ** EXTENDED DEADLINE APRIL 15 ** Message-ID: <9409D0D05C895F4DA32196CFAC570EE42A8EF137@TK5EX14MBXC137.redmond.corp.microsoft.com> [Apologies if you receive multiple copies] ******************************************************* Call for Papers: SPIN 2011 18th Int. SPIN Workshop on Model Checking of Software July 14-15, Snowbird, Utah, USA Co-located with CAV 2011 ******************************************************* ======================================================== The SPIN Deadline Has Been Extended Until April 15th! ======================================================== Aim and Scope: ------------- The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. Theoretical techniques and empirical evaluations based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, or techniques based on combination of explicit representations with other representations, are the focus of this workshop. We particularly welcome papers describing the development and application of state space exploration techniques in testing and verifying embedded software, security-critical software, enterprise and web applications, and other interesting software platforms. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering. Important Dates and Deadlines ----------------------------- Deadline for submission of full papers: 15 April 2011 Notification of acceptance/rejection: 13 May 2011 Deadline for final version of accepted papers: 3 June 2011 Workshop: July 14-15 Topics of Interest ------------------ - Algorithms and storage methods for explicit state model checking - Automated testing using model checking techniques - Derivation of invariants, test cases, or other useful information from state spaces - Abstraction and the use of static analysis to reduce state spaces - Model checking of programming languages and code analysis - Directed model checking using heuristics - Parallel or distributed model checking using multi-core or multiple computers - Techniques for dealing with infinite state spaces - Model checking of timed and probabilistic systems - Combinations of enumerative and symbolic techniques - Analysis for modeling languages, including SE languages (UML,...) - New property specification languages, including new forms of temporal logic - Combination of model-checking techniques with other analysis techniques - Modularity and compositionnality - Comparative studies, including to other model checking techniques - Case studies of interesting systems or with interesting results - Theoretical and algorithmic foundations of model-checking based analysis - Engineering and implementation of model-checking tools and platforms - Insightful surveys or historical accounts on topics of relevance to SPIN workshops Solicited Contributions ----------------------- With the exception of survey and history papers, the papers should contain original work which has not been submitted or accepted for publication elsewhere. Submissions should adhere to the LNCS format. We solicit two kinds of papers: 1. Technical Papers. No longer than 18 pages in LNCS format. All accepted technical papers will be included in the proceedings. 2. Tool Presentations. This kind of submission should consist of two parts: the first part is at most a 5 page description of the tool. If accepted, this part will be published in the workshop proceedings. The second part should describe an informal plan for an oral presentation of the tool. This part will not be included in the proceedings. The proceedings of SPIN usually appear in Springer's Lecture Notes in Computer Science series. We are confident we will continue this tradition for the 2011 edition. Organization ------------ Program Chairs: Alex Groce (Oregon State University, Corvallis) Madanlal Musuvathi (Microsoft Research, Redmond) Program Committee: James Andrews (University of Western Ontario, London, Canada) Dragan Bosnacki (Eindhoven University of Technology) Sebastian Burckhardt (Microsoft Research, Redmond) Cristian Cadar (Imperial College, London) George Candea (EPFL, Switzerland) Sagar Chaki (Software Engineering Institute, Pittsburgh) Supratik Chakraborty (I.I.T. Bombay, India) Azadeh Farzan (University of Toronto, Canada) Susanne Graf (Verimag) Aarti Gupta (NEC Labs, USA) Klaus Havelund (Jet Propulsion Laboratory, Pasadena) Gerard Holzmann (Jet Propulsion Laboratory, Pasadena) Gerwin Klein (NICTA, Sydney) Akash Lal (Microsoft Research, India) Alberto Lluch Lafuente (IMT Institute for Advanced Studies, Lucca) Rupak Majumdar (Max Planck Institute for Software Systems) Darko Marinov (University of Illinois, Urbana-Champaign) David Parker (University of Oxford) Corina Pasareanu (Carnegie Mellon University/NASA Ames) Doron Peled (Bar Ilan University) Koushik Sen (University of California, Berkeley) Scott Stoller (Stony Brook University) Murali Talupur (SCL, Intel) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaschedule.org Thu Apr 7 03:50:44 2011 From: invitation at iariaschedule.org (ComputationWorld 2011) Date: Wed, 06 Apr 2011 21:50:44 -0400 Subject: Deadline Extension || ComputationWorld 2011: September 25-30, 2011 - Rome, Italy Message-ID: <1302141044522.4079@iariaschedule.org> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. The submission deadline is May 1st, 2011. Note that authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= ComputationWorld 2011: September 25-30, 2011 - Rome, Italy see: http://www.iaria.org/conferences2011/ComputationWorld11.html ComputationWorld 2011 is a federated event focusing on advances topics concerning computation as it relates to different aspects of technology. ComputationWorld 2011 is now on its third edition after successful events in Athens in 2009 and Lisbon in 2010. Submission (full paper) deadline: May 1st, 2011. Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. -- SERVICE COMPUTATION 2011, The Third International Conferences on Advanced Service Computing http://www.iaria.org/conferences2011/SERVICECOMPUTATION11.html -- CLOUD COMPUTING 2011, The Second International Conference on Cloud Computing, GRIDs, and Virtualization http://www.iaria.org/conferences2011/CLOUDCOMPUTING11.html -- FUTURE COMPUTING 2011, The Third International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2011/FUTURECOMPUTING11.html -- COGNITIVE 2011, The Third International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2011/COGNITIVE11.html -- ADAPTIVE 2011, The Third International Conference on Adaptive and Self-Adaptive Systems and Applications http://www.iaria.org/conferences2011/ADAPTIVE11.html -- CONTENT 2011, The Third International Conference on Creative Content Technologies http://www.iaria.org/conferences2011/CONTENT11.html -- PATTERNS 2011, The Third International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2011/PATTERNS11.html -- COMPUTATION TOOLS 2011, The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html -- BUSTECH 2011, The First International Conference on Business Intelligence and Technology http://www.iaria.org/conferences2011/BUSTECH11.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld 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 george at cs.ucy.ac.cy Thu Apr 7 15:56:20 2011 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Thu, 7 Apr 2011 16:56:20 +0300 Subject: IEEE CIT 2011 & IEEE ScalCom 2011: Final CFP *** Extended Deadline *** Message-ID: *** Final Call for Papers *** The 11th IEEE International Conference on Computer and Information Technology (CIT-2011) http://www.cs.ucy.ac.cy/CIT2011 The 11th IEEE International Conference on Scalable Computing and Communications (ScalCom 2011) http://www.cs.ucy.ac.cy/SCALCOM2011 *** EXTENDED DEADLINE: 15 APRIL 2011 *** 31st August -- 2nd September 2011 Coral Beach Hotel, Paphos, Cyprus CIT 2011 -------- CIT has become a primary venue for researchers and industry practitioners to discuss open problems, new research directions, and real-world case studies on all aspects of computer and information technology. CIT is soliciting original, previously unpublished and high quality papers addressing research challenges and advances spanning over the multidisciplinary aspects of information technology, computing science and computer engineering. The topics of the conference include, but are not limited to, broadly understood: - Computer and System Architecture - High Performance Computing - Utility Computing - Cloud Computing - Ubiquitous Computing - Software Engineering - Computer Networks - Telecommunications - Artificial Intelligence and Multi-Agent Systems - Computer Graphics/Image Processing - Information Visualization - Information Security - Management of Data and Database Systems - New Web Technology and Applications - IT in e-Health, e-Business, e-Learning, e-Government ScalCom 2011 ------------ Scalability is a primary consideration in the design and implementation of computing and communication systems. The rapid increases in the volume of information that needs to be processed by computers necessitates new architectures, software, algorithms, and tools to improve scalability. ScalCom-11 aims at providing an international forum for researchers and practitioners to discuss original ideas on all aspects of scalability in computing. ScalCom-11 is soliciting original, previously unpublished work addressing research challenges and presenting advances in the design and implementation of scalable computing and communication systems. The conference solicits papers broadly categorized in two tracks, Distributed Computing Systems and Parallel Computing Systems. Topics of interest include but are not limited to: Distributed Computing Systems -Distributed computing paradigms (cloud, grid, P2P, and utility computing) -Data management and data centers -Sensor networks and applications -Wireless and mobile computing -Internet-based computing, protocols, and applications -Security and privacy issues in distributed computing -Fault tolerance, reliability, and availability -Algorithms -System software (programming environments, OS, middleware) -Applications and tools Scalable Parallel Computing -Multi-core architectures -Graphics processors and accelerators -Interconnection networks -Compilers, programming models, and runtime environments -Operating systems and virtual machine monitors -Parallel I/O and storage systems -Exascale computing systems -Fault tolerance, reliability and dependability -Green parallel computing -Applications and tools Proceedings ----------- The conferences proceedings will be published by IEEE Computer Society. Important Dates --------------- Submission Deadline: April 15, 2011 *** Extended Deadline *** Notification of Acceptance: May 15, 2011 Camera-ready papers due: May 31, 2011 Paper Submission Guidelines --------------------------- All papers must be submitted electronically and in PDF format. The material presented should be original and not published or under submission elsewhere. Authors should submit full papers of up to 8 pages, following strictly the IEEE Computer Society Proceedings Manuscript style (available at http://www.computer.org/portal/web/cscps/formatting), using two-column, single-space format, with 10-point font size. Figures and references must be included in the 8 pages. Oversized papers will be automatically rejected by the PC chairs. At least one of the authors of each accepted paper must register early to attend the conference, in order for the paper to appear in the conference proceedings. -- From sofronie at mpi-inf.mpg.de Fri Apr 8 01:53:07 2011 From: sofronie at mpi-inf.mpg.de (Viorica Sofronie-Stokkermans) Date: Fri, 8 Apr 2011 01:53:07 +0200 (CEST) Subject: FroCoS 2011: Call for Papers Message-ID: Second Call for Papers 8th International Symposium on FRONTIERS OF COMBINING SYSTEMS FroCoS'11 Saarbruecken, Germany, October 5 - 7, 2011 http://www.mpi-inf.mpg.de/conferences/frocos2011/ MOTIVATION In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. To be usable in practice, these specialized systems must be combined with each other, and must be integrated into general purpose systems. This has lead in many research areas to the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. Like its predecessors, FroCoS'11 seeks to offer a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. RELEVANT TOPICS Typical topics of interest include (but are not limited to): * combinations of logics such as combined predicate, temporal, modal, or epistemic logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, and of constraint solving techniques; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into constraint logic programming and deduction; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. INVITED SPEAKERS [To be announced] PAPER SUBMISSIONS The program committee seeks high-quality submissions describing original work, written and to be presented in English, not substantially overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. All submissions will be subject to academic peer review by three or more members of the program committee. For each accepted paper, at least one author is required to attend the symposium to present the work. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: http://www.easychair.org/conferences/?conf=frocos11 The page limit is 16 pages. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Further information about paper submissions is available at the FroCoS'11 web page. PROCEEDINGS The proceedings of FroCoS'11 will be published by Springer-Verlag in the LNAI/LNCS series. IMPORTANT DATES Abstract submission deadline: April 22, 2011 Paper submission deadline: April 29, 2011 Notification of acceptance decisions: June 13, 2011 Camera-ready version of papers due: July 18, 2011 CONFERENCE CHAIR Viorica Sofronie-Stokkermans, MPI Informatik, Saarbruecken PC CHAIR Cesare Tinelli, The University of Iowa PROGRAM COMMITTEE Franz Baader, T.U. Dresden, Germany Clark Barrett, New York University, USA Peter Baumgartner, NICTA, Canberra, Australia Torben Braüner, Roskilde University, Denmark Thom Frühwirth, University of Ulm, Germany Silvio Ghilardi, University of Milano, Italy Jürgen Giesl, RWTH Aachen, Germany Valentin Goranko, Technical University of Denmark, Denmark Bernhard Gramlich, T.U. Wien, Austria Sava Krstic, Intel Corporation, USA Carsten Lutz, University Bremen, Germany Till Mossakowski, DFKI GmbH Bremen, Germany Silvio Ranise, FBK-Irst, Italy Christophe Ringeissen, LORIA, Nancy, France Philipp Ruemmer, Uppsala University, Sweden Renate A. Schmidt, The University of Manchester, UK Roberto Sebastiani, University of Trento, Italy Viorica Sofronie-Stokkermans, MPI Informatik, Saarbrücken, Germany Volker Sorge, University of Birmingham, UK Cesare Tinelli, The University of Iowa, USA (PC chair) Wolfgang Windsteiger, RISC, Johannes Kepler University Linz, Austria Frank Wolter, University of Liverpool, UK From Bertram.Fronhoefer at inf.tu-dresden.de Sat Apr 9 16:13:02 2011 From: Bertram.Fronhoefer at inf.tu-dresden.de (Bertram =?iso-8859-1?Q?Fronh=F6fer?=) Date: Sat, 9 Apr 2011 16:13:02 +0200 Subject: PhD Program: Call for applications Message-ID: <20110409141257.GA1451@janeway.inf.tu-dresden.de> Please pass on this CALL FOR APPLICATIONS to all people who might be interested in. ====================================================== European PhD Program in Computational Logic (EPCL) ====================================================== http://www.epcl-study.eu/ CALL FOR APPLICATIONS The European PhD Program in Computational Logic (EPCL) is run jointly by four of the leading European universities in the field: - Free University of Bozen-Bolzano (Italy), - Technische Universit�t Dresden (Germany), - Technische Universit�t Wien (Austria), and - Universidade Nova de Lisboa (Portugal). Further international universities, research organizations and enterprises which contribute to Computational Logic or apply results from it are involved as associated partners: The Simon Fraser University (Canada), the Universidad de Chile, the National ICT Australia Limited (NICTA), and several companies. The program involves three years of PhD study in at least two of the European partner universities. It leads to a joint doctoral degree of the partner universities at which the studies have been physically performed. The language of the program is English. Financial support is available in the form of positions and scholarships. Necessary requirements for participation in EPCL are a Master's degree in Computer Science or Mathematics, or an equivalent degree; the proof of adequate knowledge of English; and substantial knowledge in the areas Foundations of Logics, Foundations of Artificial Intelligence and Declarative Programming. The program will start on 1 October 2011. Applications have to be electronically submitted on the Webpage http://www.epcl-study.eu/, before the ======================================= Application Deadline on 15 May 2011 ======================================= If you have enquiries, please do not hesitate to contact the coordinator of the program Prof. Steffen H�lldobler Technische Universit�t Dresden Fakult�t Informatik International Center for Computational Logic Email: sh at iccl.tu-dresden.de Phone: +49 (351) 463 38340 EPCL is supported by the German Federal Ministry of Education and Research (BMBF) within the German Academic Exchange Service (DAAD) program International Doctorates in Germany (IPID). From busquets at eia.udg.edu Mon Apr 11 10:19:53 2011 From: busquets at eia.udg.edu (=?ISO-8859-1?Q?Di=ADdac_Busquets?=) Date: Mon, 11 Apr 2011 09:19:53 +0100 Subject: EASSS 2011 Student grants Message-ID: <4DA2B9A9.3020003@eia.udg.edu> ( Apologies for cross posting ) *************************************************** * EASSS 2011 STUDENT GRANTS * 13th European Agent Systems Summer School Girona, Catalonia, Spain ---- 11-15 July 2011 *************************************************** We are glad to announce several student grant programs to attend EASSS 2011, offered by the following institutions: - IFAAMAS: grants for students coming from countries where the AAMAS community is under-represented. - EURAMAS: grants for students from European institutions. - CNRS (GDRI AlgoDec): grants for students mainly coming from French institutions (these grants are available pending the effective release of the funds). Check the details at http://eia.udg.edu/easss2011/index.php?content=grantrequest Grant request deadline: May 24, 2011 -- ------------------------------------------------------------------------ EASSS 2011 orgnization http://eia.udg.edu/easss2011 Follow EASSS 2011 on Twitter:http://twitter.com/easss2011 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Klaus.Fischer at dfki.de Mon Apr 11 23:18:26 2011 From: Klaus.Fischer at dfki.de (Klaus.Fischer at dfki.de) Date: Mon, 11 Apr 2011 23:18:26 +0200 Subject: CFP: ATOP2011@ICEC2011 Message-ID: <4DA37022.mailA1711XND1@dfki.de> Call for Papers Agent Technologies for Business Applications and Enterprise Interoperability ATOP 2011 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Thirteenth International Conference on ELECTRONIC COMMERCE (ICEC 2011) (http://icec11.csc.liv.ac.uk/ICEC_2011.html) Liverpool, UK 2 August 2011 MOTIVATION Today's enterprises must adapt their software processes to work in open settings, such as online marketplaces and, more generally, the Web, where business relationships exhibit a high degree of dynamism. Agent technologies can help networked enterprises to more flexibly achieve their objectives. Agents can directly support businesses by taking active parts in productive supply chains. This can mean that agents efficiently search for and efficiently provide information. Agents can directly support the execution of business process based on the same descriptions that are used in more traditional work flow engines. The inclusion of mobile devices which ask for ad hoc and peer to peer networks on the one hand let the clear boarders of former enterprises disappear and ask for even more autonomy on both the mobile devices and the more stationary infrastructure in the core of the enterprise. Both sides offer a fruitful environment to further develop agent technologies. Such open settings are characterized by the autonomy and heterogeneity of the enterprises. In such settings, collaboration, distributed decision-making, and interoperability is a key concern: how do we ensure - at different levels - that diverse enterprises can work together toward a mutually desirable end? Agent technologies provide a cross-cutting approach promising to enable intelligent and proactive automation, adaptive planning and execution, decentralized coordination, and semantic interoperability. The Model-Driven Architecture (MDA) is another promising approach for the support of interoperability due to its promise of providing consistent models at different abstraction layers with well-defined mappings in between these layers. As a third thread of activity, Service-Oriented Architectures (SOA) and more recently, cloud-based architectures (CBA), try to reach interoperability, focusing upon, but not restricted to, the information and communication technology (ICT) level. The main contribution and goal of SOA/CBA is to achieve loose coupling among software entities representing business objects (processes, organizational units, etc.). Agents, MDA, and SOA/CBA provide complementary solution components to parts of the enterprise interoperability problems. Agents enable dynamic collaboration and orchestration in changing and unpredictable situations; MDA provides mechanisms that generate artifacts for different platforms; SOA/CBA gives us virtualization and late-binding interoperability between business process requirements and providers of service implementations. It is unlikely, then, that any of these approaches will succeed stand-alone in achieving the degree of interoperability that will be necessary to successfully construct, run, and optimize networked organizations. It is rather likely that a combination of these basic technologies will evolve in the next years to provide an appropriate basis for interoperability. Therefore the workshop aims at bringing together researchers and foster interaction and collaboration to work jointly on new technologies and solutions for agent-oriented business collaboration, decision support, and interoperability. WORKSHOP TOPICS The workshop focuses on technologies that support collaboration, decision support, and interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. The main goal is to stimulate a discussion on how 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, presentation and discussion of metamodels of the underlying agent-based technologies are of interest. 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 Submitted papers should present original work advancing on these topics (agent-oriented architectures, methods, protocols, technologies, or methodologies) with a clear perspective towards applying and validating it in business applications, with a focus - but not necessarily restricted - to collaboration, decision-support, and interoperability issues. Authors of papers that are dealing with technical topics without relating them to agent-related aspects, or agent-oriented papers without reference to business applications or enterprise interoperability are encouraged to submit their papers to more specialized workshops. SUBMISSION DETAILS Authors should submit original research papers (must not exceed 12 pages including all figures and tables) including an abstract of about 200 words or position papers (must not exceed 3 pages). In any case submission of preliminary abstracts some time before the official submission deadline is very much appreciated. All submissions must be sent electronically to Klaus.Fischer at dfki.de Acceptable formats are PDF and PostScript. It is planned to structure the workshops into invited talks, technical presentations and panel discussions. A publication of selected workshop papers is planned in Springer's LNBIP series. Formatting instructions can be found at http://www.springer.com/series/7911 and should be strictly followed. The first page should include the full name and contact details of at least one author (email and full postal address). IMPORTANT DATES Submissions due May 9, 2011 Notifications sent June 9, 2011 Final papers due June 22, 2011 Workshop August 2, 2011 ORGANIZING COMMITTEE Klaus Fischer, DFKI, Germany Joerg P. Mueller, Technische Universitaet Clausthal, Germany Renato Levy, Intelligent Automation, Inc., USA PROGRAM COMMITTEE Bernhard Bauer, University Augsburg, Germany Dominic Greenwood, Whitestein Technologies, Switzerland Axel Hahn, University Oldenburg, Germany Christian Hahn, Saarstahl AG, Germany Oystein Haugen, SINTEF, Norway Mark Hoogendoorn Vrije Universiteit Amsterdam Netherlands Margaret Lyell, Intelligent Automation, Inc., USA Nikolay Mehandjiev, Universtity of Manchester, UK Eugenio Oliveira, University of Porto, Portugal Herve Panetto, University Nancy, France Omer Rana, Cardiff University, UK Ralph Ronnquist, Intendico Pty. Ltd., Australia Ingo Timm, Goethe-University Frankfurt/Main, Germany Joerg Ziemann, Talanx AG, Germany Ingo Zinnikus, DFKI, Germany From leucker at in.tum.de Tue Apr 12 01:49:03 2011 From: leucker at in.tum.de (Martin Leucker) Date: Tue, 12 Apr 2011 01:49:03 +0200 Subject: TIME'11: CFP Message-ID: <20110411234903.GA11874@sunsvr01.isp.uni-luebeck.de> TIME 2011 Call for Papers Eighteenth International Symposium on Temporal Representation and Reasoning Luebeck, Germany, September 12-14, 2011 http://www.isp.uni-luebeck.de/time11/ The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics. The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. * IMPORTANT DATES Paper Submission: April 17 Paper Notification: May 15 Camera Ready Copy Due: May 29 TIME 2011 Symposium: September 12-14 * INVITED SPEAKERS - Nir Piterman - Gerhard Schellhorn - Jef Wijsen * TOPICS The main topics of the conference are: (1) Temporal Representation and Reasoning in AI (2) Temporal Database Management (3) Temporal Logic and Verification in Computer Science (4) Special Track on Interval Temporal logics Temporal Representation and Reasoning in AI includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web Temporal Database Management includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of workflow and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - novel applications of temporal database management - experiences with real applications Temporal Logic and Verification in Computer Science includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security Special track on Interval Temporal logic This year, TIME has an additional special track on Interval Temporal Logics. This track is organized by Dimitar Guelev and Ben Moszkowski. Submissions on ITL will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. Topics of interest include, but are not limited to: - expressiveness, decidability, proof systems, model- and validity-checking for ITLs - modelling of system requirements in terms of time intervals - intervals versus time points in temporal modelling - Duration Calculus and other extensions and variants of ITLs - ITLs, DC, timed automata, timed regular languages and other models of real time - interval algebras and spatio-temporal reasoning - case studies, applications and tool support for interval-based reasoning * PAPER SUBMISSION Submissions of high quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Computer Society Press. Acceptance of a paper is contingent on one author presenting the paper at the symposium. Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guide- lines described at ftp://pubftp.computer.org/press/outgoing/ proceedings/8.5x11 - Formatting files/ and must not exceed 8 pages; over-length submissions may be rejected without review. Papers are submitted electronically via Easychair: http://www.easychair.org/conferences/?conf=time11 * CONFERENCE OFFICERS General Chair: Carlo Combi, University of Verona, Italy Program Committee Chairs: Martin Leucker, University of Luebeck, Germany Frank Wolter, University of Liverpool, United Kingdom Organization Chair: Martin Leucker, Universitaet Luebeck, Germany * PROGRAM COMMITTEE includes Alessandro Artale, University of Bolzano, Italy Philippe Balbiani, IRIT Toulouse, France Claudio Bettini, University of Milan, Italy Benedikt Bollig, CNRS, France Lubos Brim, University of Brno, Czech Republic Antonio Cau, De Montfort University, UK Dang Van Hung, Vietnam National University, Vietnam Clare Dixon, University of Liverpool, UK Rajeev Gore, ANU, Australia Dimitar Guelev, Bulgarian Academy of Sciences, Bulgaria Peter Habermehl, University Paris Diderot, France Ian Hodkinson, Imperial College London, UK Roman Kontchakov, Birkeck College London, UK Salvatore La Torre, University of Salerno, Italy Ranko Lazic, University of Warwick, UK Kamal Lodaya, IMSc, India Nicolas Markey, CNRS, France Angelo Montanari, University of Udine, Italy Ben Moszkowski, De Montfort University, UK Dirk Nowotka, University of Stuttgart, Germany Paritosh Pandya, Tata IFR, India Jean-Francois Raskin, Free University Brussels, Belgium Peter Revesz, University of Nebraska-Lincoln, USA Mark Reynolds, University of Western Australia, Australia Martin Sachenbacher, Technical University Munich, Germany Cesar Sanchez, University of Madrid, Spain Christian Schallhart, University of Oxford, UK Stefan Woelfl, University of Freiburg, Germany Naijun Zhan, Chinese Academy of Sciences Beijing, China Esteban Zimanyi, ULB, Belgium * FURTHER INFORMATION Questions related to submission, reviewing, and program: time11 at isp.uni-luebeck.de Questions related to local organization: time11-org at isp.uni-luebeck.de From axel.polleres at deri.org Tue Apr 12 15:31:22 2011 From: axel.polleres at deri.org (Axel Polleres) Date: Tue, 12 Apr 2011 14:31:22 +0100 Subject: Student grants available for the 7th Reasoning Web Summer School & 5th Int'l Conf. on Web Reasoning and Rules Systems (RR2011) Message-ID: Student grants available for the 7th Reasoning Web Summer School & 5th Int'l Conference on Web Reasoning and Rules Systems (RR2011): There will be a limited number of *student grants* available for the Reasoning Web summer school (23-27 Aug 2011) [1] and RR2011 conference (29-30 Aug 2011) [2] in Galway. The Reasoning Web Summer School and the Web Rules and Reasoning Conference are both established events in the area of applications of Reasoning on the Web both targeting scientific discourse of established researchers and attracting young researchers to this emerging field. With co-locating both events this year and inviting a number of distinguished speakers, we hope to further promote the research area. For more information about the speakers and programme, please check the event Websites [1,2]. Student grants will cover registration fees (including lunches and lecture notes) as well as accomodation costs for the summer school and potentially for the conference (preference will be given to students that have an accepted poster or demo at the conference). In case you are interested in applying for this grant, please apply normally for the ReasoningWeb summer school at [3] and indicate in your application that you are interested in the student grant. The declaration of interest for the grant should be accompanied by - a short justification confirming that the attendance could not be financed by other means such as project funds - indication whether only the summer school or both the the summer school and the conference would be attended - if the applicant plans to attend the conference, indication whether or not a submission (full paper, poster or system description) to the conference is planned. Application deadline is the 30th of April 2011, find more detailed information at [3]. For further information please contact: Axel Polleres Alessandra Mileo 1. http://reasoningweb.org/2011/ 2. http://www.rr-conference.org/RR2011 3. http://reasoningweb.org/2011/ApplicationRegistration.html From mcarro at fi.upm.es Tue Apr 12 18:34:50 2011 From: mcarro at fi.upm.es (Manuel Carro) Date: Tue, 12 Apr 2011 18:34:50 +0200 Subject: PESOS 2011: Call for Participation Message-ID: <7saafvsa1h.fsf@fi.upm.es> [Our apologies if you receive multiple copies] ------------------------------------------------------------------------ C a l l f o r P a r t i c i p a t i o n ------------------------------------------------------------------------ P E S O S 2 0 1 1 -- The Third International Workshop on Principles of Engineering Service-Oriented Systems Waikiki, Honolulu, Hawaii, 23-24 May 2011 In Conjunction with the 33rd ACM/IEEE International Conference on Software Engineering (ICSE 2011) ------------------------------------------------------------------------ http://www.s-cube-network.eu/pesos-2011 ------------------------------------------------------------------------ Registration fees are available at http://2011.icse-conferences.org/registration Or, you can go directly to the registration page at https://regmaster3.com/2011conf/ICSE11/register.php Early registration deadline: April 15th. If you have already registered, you can update your registration at the above link. KEYNOTE SPEAKERS ---------------- PESOS 2011 will have three keynote speakers: * Elisabetta Di Nitto (Politecnico di Milano, Italy) * Liam O'Brien (CSIRO, Australia) * Anna Liu (NICTA, Australia) DISCUSSION PANEL ---------------- A discussion panel is planned at the end of the first day. The topic of the panel is "Proposed Areas of research in order to improve the state of the practice in service-oriented systems engineering" Surely you have something to say on that matter! Don't miss it. SCHEDULE -------- This is an initial schedule - it may still be subject to slight changes due to speakers' agendas. Please refer to the website for up-to-date information. Day 1 (23rd May) 8:30 - 8:45 Welcome and introduction 8:45 - 10:00 Invited talk. Elisabetta Di Nitto (Politecnico di Milano, Italy) Title TBA. 10:00 - 10:30 Break 10:30 - 12:00 Session 1 Tweetflows - Flexible Workflows with Twitter. Martin Treiber, Daniel Schall, Schahram Dustdar, Christian Scherling. From Textual Use Cases to Service Component Models. Zuohua Ding, Mingyue Jiang. Engineering Multi-Tenant Software-as-a-Service Systems. Bikram Sengupta, Abhik Roychoudhury. 12:00 - 13:30 Lunch 13:30 - 14:30 Session 2 Towards Efficient Measuring of Web Services API Coverage. Waldemar Hummer, Orna Raz, Schahram Dustdar. Evaluating the Compatibility of Conversational Service Interactions. Sam Guinea, Paola Spoletini. Architecture-based Reliability Analysis of Web Services in Multilayer Environment (short paper). Cobra Rahmani, Azad Azadmanesh, Harvey Siy. 15:00 - 15:30 Break 15:30 - 17:00 Session 3 Discussion panel: "Proposed Areas of research in order to improve the state of the practice in service-oriented systems engineering" Confirmed panelists: - Marin Litoiu (York University, Canada). - Elisabetta Di Nitto (Politecnico di Milano, Italy). - Andrea Zisman (City University London, UK). Day 2 (24th May) 8:30 - 8:45 Welcome 8:45 - 10:00 Invited talk. Liam O'Brien (CSIRO, Australia): Title TBA. 10:00 - 10:30 Break 10:30 - 12:00 Session 4 SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs. Howard Foster, George Spanoudakis. Identifying, Modifying, Creating, and Removing Monitor Rules for Service Oriented Computing. Ricardo Contreras, Andrea Zisman. Business Process Performance Prediction on a Tracked Simulation Model. Andrei Solomon, Marin Litoiu. 12:00 - 13:30 Lunch 13:30 - 14:45 Invited talk. Anna Liu (NICTA, Australia): "From SOA to Cloud Computing - State of Practice and Research Challenges" 14:45 - 15:00 Summary and wrap up ORGANIZING COMMITTEE -------------------- Manuel Carro, Facultad de Informática, UPM, Spain. Dimka Karastoynova, IAAS, Universität Stuttgart, Germany. Grace A. Lewis, CMU Software Engineering Institute, USA. Ann Liu, NICTA, Australia. -- +------------------------------------------------------------------------------+ | Manuel Carro --- Facultad de Informática -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-913363747 --- FAX: +34-913363669 | From tommie.meyer at meraka.org.za Tue Apr 12 20:17:35 2011 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Tue, 12 Apr 2011 20:17:35 +0200 Subject: Final CFP: IEEE AFRICON 2011 Special Session on Robotics and Artificial Intelligence in Africa Message-ID: <5E863250-79A0-43C5-8DD5-F7923585485C@meraka.org.za> [Apologies for cross postings] -------------------------------------------------------------------------- Final Call for Papers for the IEEE AFRICON 2011 Special Session on Robotics and Artificial Intelligence in Africa Extended Deadline: April 15, 2011 --------------------------------------------------------------------------- General Information =================== The IEEE Region 8 AFRICON celebrates their 10th anniversary and was held before in Kenya, the Ivory Coast, Swaziland, South Africa, Botswana, and Namibia. This time it will take place in Livingstone, Zambia. See http://www.africon2011.co.za for further details. We are happy to announce the special track on Robotics and Artificial Intelligence research at AFRICON 2011. Robotics and Artificial Intelligence research in the African context has not yet reached its full potential. During this special session, we intend to bring the African Robotics and AI community together and discuss the various aspects of robotics and artificial intelligence in the African context. Both are cutting-edge fields and well-established in industrialized countries. However, they seem to be under-represented in Africa, despite their great potential for capacity building and education. With this special session, we aim at bringing together interested researchers who are active in both fields and connect them with each other. Further, the focus of this special session is on robotics and AI in education and we want to invite interested researcher from all over the world to contribute to this aspect. In particular, we intend to address the following: * Current research results from African researchers in the fields. * Robotics and AI in education that could make an impact for Africa. * Robotics competitions relevant in the African context (e.g. Robocup Junior or IEEE Robocomp). * The role of open source in development of Robotics and AI in Africa. * The role of Robotics and AI for the economic development in the context of 21st century production and manufacturing in Africa (Automation, Mining industries, etc.) * Successful robotics and AI co-operation projects between African institutions and institutions in the rest of the world. Important Dates =============== * Paper submission: April 15, 2011 * Notification of Acceptance: May 15, 2011 * Camera-ready copy due: June 30, 2011 * Technical Session: September 13 – 15, 2011 Submission Details ================== Prospective authors are invited to electronically submit full papers of their work in English (6 pages, ~4500 words, in pdf format), following the instructions available on the web site. Accepted papers will be published in an IEEE proceedings volume that will be indexed by EI and IEEE Xplore, and will be available at the time of the conference. For further information visit the session’s website at: * http://www.africon2011.co.za/info/specialsessions?id=5 and the main conferene website at: * http://www.africon2011.co.za/ Further submission info is given here: * http://ieee-ies.org///submit-cgi-bin/authorlogin.pl?event=AFRICON11 Session Chairs ============== Alexander Ferrein, University of Cape Town, South Africa Thomas Meyer, CSIR-Meraka Institute, South Africa Billy Okal, Jacobs University Bremen, Germany -- This message is subject to the CSIR's copyright terms and conditions, e-mail legal notice, and implemented Open Document Format (ODF) standard. The full disclaimer details can be found at http://www.csir.co.za/disclaimer.html. This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. MailScanner thanks Transtec Computers for their support. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp2011 at micai.org Tue Apr 12 23:18:56 2011 From: cfp2011 at micai.org (MICAI 2011) Date: Tue, 12 Apr 2011 16:18:56 -0500 Subject: CFP: MICAI 2011, Artificial Intelligence, Springer LNAI, Mexico Message-ID: -----------------CALL FOR PAPERS---------------------------- 10th Mexican International Conference on Artificial Intelligence MICAI-2011 November 26 - December 4, Puebla City (near Mexico City), Mexico Publication: Springer LNAI www.micai.org/2011 Submission: June 10, 2011 (abstract), June 17, 2011 (full paper) == GENERAL INFORMATION Topics: all areas of Artificial Intelligence, research or applications. Workshops and tutorials. Travel grants for student authors. Best papers awards. == PROCEEDINGS Springer LNAI anticiapted; blind reviewing; special issues of journals anticipated. Poster session: IEEE CPS anticipated. == VENUE AND TOURS Puebla City: near Mexico City (1,5 hours). Regular buses are available. Tours: Great Pyramid of Cholula and Cacaxtla. More tours anticipated. While passing through Mexico City, you can visit Ancient pyramids of Teotihuacan -- one of the most important archaeological sites in the Americas. PLEASE CIRCULATE this CFP among your colleagues and students. We apologize if you receive multiple copies. We sent this message to you in good faith of its usefulness for you as an AI researcher. If this is an error, please let us know by replying to this message, and we will not contact you again. From sebastian.rudolph at aifb.uni-karlsruhe.de Wed Apr 13 13:48:52 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Wed, 13 Apr 2011 13:48:52 +0200 Subject: 3rd CFP: 5th Int. Conf. on Web Reasoning and Rule Systems - one week until abstract deadline - student grants available Message-ID: Apologies for multiple postings. Please forward to interested parties. ------------------------------------------------------------------------------- 3rd CALL FOR PAPERS RR 2011 The Fifth International Conference on Web Reasoning and Rule Systems Galway, Ireland, 29-30 August 2011 http://www.rr-conference.org/RR2011/ The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2011 builds on the success of the four previous International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org), held in Innsbruck, Austria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA(2009), Bressanone/ Brixen, Italy (2010), and which received enthusiastic support from the Web Reasoning community. In 2011, RR will continue the excellence of the new series and aim to attract the best WebReasoning and Rules researchers from all over the world. Moreover, this year's conference will be co-located with the 7th Reasoning Web Summer School (23-27 Aug, cf. http://reasoningweb.org/2011/ for details) which is a great opportunity particularly for young researchers to combine with attendance of the conference. Poster submissions by summer school participants are particularly encouraged. ==Student Grants== There will be a limited number of student grants available for students attending the co-located summer school and RR (preference will be given to students that have an accepted poster or demo at the conference). For details on how to apply for student grants, please check: http://reasoningweb.org/2011/ApplicationRegistration.html ==Topics== * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers ==Publication== The conference proceedings will be published within Springer's Lecture Notes in Computer Science (LNCS) series. After the conference, selected papers from the conference will be invited to submit extended versions to a special issue of the (IOS Press) journal "Semantic Web - Interoperability, Usability, Applicability". ==Submission of Papers== Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2011). The length should not exceed 15 pages for full papers. We also solicit poster papers (accompanying a poster to be presented at the conference's poster session) as well as system descriptions (for proposed system demos at the conference), both with an upper limit of 6 pages. The stated lengths include title, abstract, and references. Poster papers and system descriptions should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. Original research and application papers are welcome; submissions will especially be judged for originality and scientific quality. All accepted papers, posters, and system descriptions will be included in the proceedings. ==Important Dates== Abstract submission: April 20, 2011 Full paper submission: April 27, 2011 Notification of acceptance: June 3, 2011 ==Invited Speakers== Marie-Laure Mugnier LIRMM (CNRS and University of Montpellier), France Marcelo Arenas Pontificia Universidad Católica de Chile, Santiago, Chile ==Organization== * General chair - Heiner Stuckenschmidt * Program chairs - Sebastian Rudolph - Claudio Gutierrez * Local Chair - Axel Polleres * Sponsorship Chair - Krzysztof Janowicz * Program committee - Marcelo Arenas - Jean-François Baget - Andrea Cali - Vinay Chaudhri - Claudia D'Amato - Sergio Flesca - Georg Gottlob - Stijn Heymans - Rinke Hoekstra - Giovambattista Ianni - Domenico Lembo - Francesca Alessandra Lisi - Thomas Lukasiewicz - Wolfgang May - Boris Motik - Ralf Möller - Andrea Pugliese - Guilin Qi - Alan Ruttenberg - Umberto Straccia - Terrance Swift - Sergio Tessaris _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone (new!) +49 721 608 - 47362 www.sebastian-rudolph.de fax (new!) +49 721 608 - 45998 From Andreas.Herzig at irit.fr Fri Apr 15 14:20:56 2011 From: Andreas.Herzig at irit.fr (Herzig Andreas) Date: Fri, 15 Apr 2011 14:20:56 +0200 Subject: ESSLLI 2011: first call for course and workshop proposals Message-ID: <23f1-4da83800-53-57e0d600@222027798> --------------------------------------------------------------------- 24th European Summer School in Logic, Language and Information ESSLLI 2012 August 6-17, 2012 Opole, Poland http://www.esslli2012.pl Call for Course and Workshop Proposals --------------------------------------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as the ESSLLI 2011 website: http://esslli2011.ijs.si/. CALL FOR COURSE AND WORKSHOP PROPOSALS The ESSLLI 2012 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 24th annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. All proposals should be submitted via the EasyChair system, using a prescribed form that is available on the ESSLLI 2012 website, no later than: June 14, 2011 Authors of proposals will be notified of the committee's decision by September 15, 2011. GUIDELINES FOR SUBMISSION Proposers of courses and workshops should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. Courses are taught by 1 or max. 2 lecturers, and workshops are organized by 1 or max. 2 organizers. Lecturers and organizers must have obtained a Ph.D. or an equivalent degree at the time of the submission deadline. Courses and workshops run over one week (Monday-Friday) and consist of five 90-minute sessions. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example, an introductory course in the first week and an advance course in the second). The ESSLLI program committee has the right to select only one of the two proposed courses. FOUNDATIONAL COURSES These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should have no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in a topic at the interface of two fields can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES Advanced courses should be pitched at an audience of advanced Masters or Ph.D. students. Proposals for advanced courses should specify the prerequisites in detail. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Jun 15, 2011: Proposal Submission Deadline Sep 15, 2011: Notification Deadline Jun 1, 2012: Deadline for receipt of camera-ready course material by the ESSLLI 2012 local organizers WORKSHOPS The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well-defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for various organizational matters, including soliciting submissions, reviewing, drawing up the program, taking care of expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Jun 14, 2011: Proposal Submission Deadline Sep 15, 2011: Notification Deadline Oct 15, 2011: Deadline for submission of the Calls for Papers to ESSLLI 2012 PC chair Nov 1, 2011: Workshop organizers send out First Call for Papers Dec 15, 2011: Workshop organizers send out Second Call for Papers Jan 15, 2012: Workshop organizers send out Third Call for Papers Feb 15, 2012: Deadline for submissions to the workshops Apr 15, 2012: Suggested deadline for notification of workshop contributors Jun 1, 2012: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI 2012 Local Organizers. Workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS Forms for submitting course and workshop proposals are available on the ESSLLI 2012 website. The proposers are required to submit the following information: * Contact address and fax number * Name, email, affiliation, homepage of each lecturer / workshop organizer (at most two per course or workshop) * Title of proposed course/workshop * Abstract (abstract of the proposal, max 150 words) * Type (workshop, foundational, introductory, or advanced course) * Areas (one or more of: Computation, Language, Logic, or Other) * Description (describe the proposed contents of the course and substantiate timeliness and relevance to ESSLLI in at most one A4 page) * Tentative outline of the course / expected participation in the workshop * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (e.g., course prerequisites, previous teaching experiences, etc.) FINANCIAL ASPECTS Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants' fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation expenses (up to fixed maximum amounts, which will be communicated to the lecturers upon notification). Lecturers and workshop organizers will have their registration fee waived. In case a course or workshop is to be taught/organized by two people, a lump sum will be reimbursed to cover travel and accommodation expenses for one of them; the splitting of the sum is up to the lecturers/organizers. It should be stressed that while proposals from all over the world are welcome, the School cannot guarantee full reimbursement of travel costs, especially if lecturers or organizers have to come from outside of Europe. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI 2012 lower. ESSLLI 2012 PROGRAM COMMITTEE Chair: Andreas Herzig (Institut de recherche en informatique de Toulouse and CNRS) Local Co-chair: Anna Pietryga (Opole) Area specialists: Language and Computation: Miriam Butt (Sprachwissenschaft, University of Konstanz) Gosse Bouma (Groningen University) Language and Logic: Regine Eckardt (Language and Literature, University of Göttingen) Rick Nouwen (UiL-OTS, Utrecht University) Logic and Computation: Natasha Alechina (CS, University of Nottingham) Andreas Weiermann (Mathematics and Computation, Ghent University) ESSLLI 2012 ORGANIZING COMMITTEE: Chair: Urszula Wybraniec-Skardowska and Janusz Czelakowski (University of Opole) ESSLLI 2012 website: http://www.esslli2012.pl EasyChair submission page: https://www.easychair.org/conferences/?conf=esslli2012 From announce at teco.edu Fri Apr 15 20:08:11 2011 From: announce at teco.edu (announce at teco.edu) Date: Fri, 15 Apr 2011 20:08:11 +0200 Subject: CONTEXT'11 - Deadline May 8th - Call for Papers, Posters, Demos, Videos Message-ID: . . . . . . . . . . . . CONTEXT '11 . . . . . . . . . . . . . . . The Seventh International and Interdisciplinary Conference . . . . . . . . . on Modeling and Using Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . September 26th - 30th, Karlsruhe, Germany . . . . . . . . . . . . . http://context-11.teco.edu/ . . . . . . . . . . . . . . . . Call for Papers, Posters, Demos, Videos . . . . . . . . . . . With Special Track: Commercializing Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Submission deadlines for full papers, posters, videos,. . . . . . . . . and demonstration abstracts: May 8, 2011. . . . . . Fourteen years after the first Context conference in 1997 - and 60 years after Prior laid the foundation for the field -, the Seventh International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'11) sets out to extend foundational research on context and to evaluate the status and consequences of context research, as well as to address new questions for the field. CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law. The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself. Context-aware services offer new ways for studying social context and its interaction with other types of context on a sociologically significant scale. For linguistic studies, context-aware mobile phones and chat programs, for instance, can be a tool to automatically obtain context-annotated dialogues, with which the influence of context on meaning can be empirically assessed. Areas of interest include but are not limited to perspectives on context from: Analogy and Case-Based Reasoning. . . . . Knowledge Engineering and Ontologies Autonomous Agents . . . . . . . . . . . . Language Understanding and Production . and Agent-based Systems . . . . . . . . Learning Cognitive Modeling. . . . . . . . . . . . Linguistics Concepts and Categorization . . . . . . . Memory, Representation and Access Context-Aware Services and Systems. . . . Multiagent Systems Context-Recognition . . . . . . . . . . . . and Interagent Communication Distributed Information Systems . . . . . Neuroscience Formal Semantics and Pragmatics . . . . . Formal Ontology of Context Domains Formal Theories of Context. . . . . . . . Organizational Theory and Design Heterogeneous Information Integration . . Perception Human Decision-Making . . . . . . . . . . Pervasive/Ubiquitous Computing . and Decision Support Systems. . . . . . Philosophical Foundations of Context Human-Centered Computing. . . . . . . . . Problem Solving and Planning Human-Computer Interaction. . . . . . . . Psychological experiments Information Management. . . . . . . . . . Reasoning Intelligent Tutoring Systems. . . . . . . Relevance Computation Intelligent User Interfaces . . . . . . . . and Relevance Theories Intelligent/Semantic Web Systems. . . . . Sensor Networks and Sensing Systems Knowledge Representation. . . . . . . . . Situated and Distributed Cognition CONFERENCE EVENTS CONTEXT'11 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. ACCEPTANCE CRITERIA AND SUBMISSION CATEGORIES CONTEXT welcomes original, high-quality research contributions that advance the state of the art in their field. Because CONTEXT'11 will be an interdisciplinary forum, all submissions will be evaluated not only for their technical merit but also for their accessibility to an interdisciplinary audience. Works that transcend disciplinary boundaries are especially encouraged. Submissions may be for full papers (14 pages in Springer LNCS format), poster abstracts, videos with a video abstract, or demonstration abstracts. Full papers will be accepted either for oral presentation or for presentation at a poster session. All accepted full paper submissions will be published in the proceedings which appear as a volume of Springer Lecture Notes in Artificial Intelligence. Accepted posters and demonstrations will be presented at the poster session. Videos will be presented as part of the conference program. The associated abstracts will be published in a brochure distributed to attendees. See detailed author instructions at http://context-11.teco.edu/authors.html IMPORTANT DATES May 8th, 2011. . . . . Full papers, posters, videos, demonstration abstracts June 5th, 2011 . . . . Notification of authors June 19th, 2011. . . . Camera-ready papers Sept 26th-30th, 2011 . Conference GENERAL CHAIRS Michael Beigl, Karlsruhe Institute of Technology, Germany Henning Christiansen, Roskilde University, Denmark Thomas R. Roth-Berghofer, University of Hildesheim, Germany PROGRAM CHAIRS Hedda R. Schmidtke, Karlsruhe Institute of Technology, Germany Anders Kofod-Petersen, Norwegian University of Science and Technology, Norway Kenny R. Coventry, Northumbria University, United Kingdom e-mail: context11-pch at teco.edu From sebastian.rudolph at aifb.uni-karlsruhe.de Tue Apr 19 10:56:03 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Tue, 19 Apr 2011 10:56:03 +0200 Subject: CfP: 24th International Workshop on Description Logics (DL 2011), deadline 12 days ahead Message-ID: <42523886-E203-4249-83CC-21AAB4B7B4A2@aifb.uni-karlsruhe.de> Apologies for multiple postings. Please forward to interested parties. --------------------------------------------------------------- CALL FOR PAPERS 24th International Workshop on Description Logics (DL 2011) Barcelona, Spain, July 13th to July 16th, 2011 http://dl.kr.org/dl2011/ The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held at the Edifici Imagina (Avinguda Diagonal 177, Barcelona) from July 13th to July 16th, 2011. IMPORTANT DATES Paper submission deadline: May 1, 2011 Notification of acceptance: June 5, 2011 Camera ready papers due: June 19, 2011 Workshop: July 13-16, 2011 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 May 1, 2011. 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=dl2011 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. BEST STUDENT PAPER AWARD The best paper among the ones written solely by students (i.e. persons not holding a PhD) will be awarded a prize of 500 euros. Authors of such papers are requested to indicate their eligibility upon submission at easychair. INVITED SPEAKERS Marcelo Arenas, Pontificia Universidad Católica de Chile: "Exchanging more than Complete Data" Gert Smolka, Saarland University: "Incremental decision procedures for modal logic with nominals and eventualities" Heiner Stuckenschmidt, Universität Mannheim: "A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning" REGISTRATION FEES Regular, early (before or on June 19, 2011): 300 Euros Regular, late (after June 19, 2011): 370 Euros Student, early (before or on June 19, 2011): 200 Euros Student, late (after June 19, 2011): 250 Euros Students must provide proof of full-time status (copy of valid student ID card or letter from their institution or program director) and email it to dl2011 at dis.uniroma1.it. The registration fee includes lunches for the first three workshop days and one ticket for the social dinner. STUDENT GRANTS A limited number of student grants are available for participation in DL 2011. Each grant will cover the workshop registration fee and will provide a contribution to the accommodation costs. The students who are interested in applying for this grant must write an email to the workshop organizers at dl2011 at dis.uniroma1.it declaring their interest in the student grant and providing (i) a proof of full-time student status (copy of valid student ID card or letter from their institution or program director), and (ii) a short justification confirming that the attendance to DL 2011 could not be financed by other means such as project funds. WORKSHOP CHAIRS * Riccardo Rosati, Sapienza Università di Roma, Italy (Conference Chair) * Sebastian Rudolph, Karlsruhe Institute of Technology, Germany (Program co-Chair) * Michael Zakharyaschev, Birkbeck College, London, UK (Program co-Chair) * Peter Mika, Yahoo! Research Barcelona, Spain (Local Organization Chair) PROGRAM COMMITTEE: Carlos Areces Alessandro Artale Meghyn Bienvenu Alex Borgida Andrea Cali Diego Calvanese Bernardo Cuenca Grau Giuseppe De Giacomo Achille Fokoue Enrico Franconi Birte Glimm Rajeev Gore Stijn Heymans Pascal Hitzler Ian Horrocks Ullrich Hustadt Yevgeny Kazakov Boris Konev Roman Kontchakov Markus Krötzsch Thomas Lukasiewicz Carsten Lutz Thomas Meyer Maja Milicic Boris Motik Ralf Möller Magdalena Ortiz Jeff Z. Pan Bijan Parsia Peter Patel-Schneider Riccardo Rosati Ulrike Sattler Stefan Schlobach Luciano Serafini Evren Sirin Viorica Sofronie-Stokkermans Giorgos Stamou Umberto Straccia David Toman Anni-Yasmin Turhan Grant Weddell Frank Wolter RESOURCES * Information about registration, travel information, accommodation, etc. is available on the DL 2011 homepage: http://dl.kr.org/dl2011/ * Enquiries about the DL 2011 workshop can be made by contacting the organizing committee: dl2011 at easychair.org * The official Description Logic home page is at http://dl.kr.org/ _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone (new!) +49 721 608 - 47362 www.sebastian-rudolph.de fax (new!) +49 721 608 - 45998 From cfp at grid.chu.edu.tw Tue Apr 19 11:54:14 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Tue, 19 Apr 2011 17:54:14 +0800 Subject: UIC 2011 / Workshops: Call For Papers (Banff, Canada, September 01-04, 2011) Message-ID: <201104190954.p3J9sEGf002871@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From axel.polleres at deri.org Wed Apr 20 10:16:06 2011 From: axel.polleres at deri.org (Axel Polleres) Date: Wed, 20 Apr 2011 09:16:06 +0100 Subject: 7th ReasoningWeb Summer School 2011 - Application Deadline approaching! (RW2011) Message-ID: (apologies for cross-posting) ************* DEADLINE FOR APPLICATIONS IN 10 DAYS !!!!! ************* 3rd Call for Applications/Participation The 7th REASONING WEB Summer School (RW 2011) http://www.reasoningweb.org/2011/ 23 - 27 August 2011 co-located with the 5th Int'l Conference on Web Reasoning and Rule Systems (RR2011) Galway, Ireland ************* DEADLINE FOR APPLICATIONS IN 10 DAYS !!!!! ************* The Reasoning Web Summer School 2011 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://www.reasoningweb.org/2011/ As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. This year's summer school will be co-located with the 5th International Conference on Web Reasoning and Rule Systems (RR2011), 29-30 Aug, cf. http://www.rr-conference.org/RR2011/) which is a great opportunity to attend a major conference in the area directly subsequent to the school. LECTURES 1. Introduction to Linked Data, Soeren Auer (University of Leibzig) 2. Foundations of Description Logics Sebastian Rudolph (Karlsruhe Institute of Technology) 3. OWL and Rules Pascal Hitzler (Wright State University) 4. Using SPARQL with RDFS and OWL entailment Birte Glimm (Oxford University) 5. Scalable OWL2 Reasoning for Linked Data Jeff Pan (University of Aberdeen), Aidan Hogan (National Unviersity of Ireland, Galway) 6. Combining Probabilistic and Logical Reasoning for Web Data Processing Heiner Stuckenschmidt, Mathias Niepert (Universitaet Mannheim) 7. Rules and Logic Programming for the Web Adrian Paschke (Freie Universitaet Berlin) 8. Trust Management Methodologies for the Web Denis Trcek (University of Ljubljana) 9. Models for the Web of Data Claudio Gutierrez (Universidad de Chile) 10. Database foundations for scalable RDF processing Katja Hose, Martin Theobald, Ralf Schenkel, Gerhard Weikum (Max Planck Institut) 11. Scalabe non-standard reasoning on the Semantic Web Abraham Bernstein (University of Zurich) 12. An Introduction to Constraint Programming and Combinatorial Optimisation Barry O'Sullivan (University College Cork, Ireland) APPLICATIONS The number of attendees will be limited, applications for participation have to be made via Easychair using the following URL: https://www.easychair.org/conferences/?conf=rw2011 The programme of the school will include a poster session where students can present and discuss their ongoing research with lecturers and colleagues. Applications shall include a remark on whether a poster will be presented along with a short abstract. Applications should be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (yes/no, if yes, include a short poster abstract) - Supervisor (if applicable) - Publications (if applicable) *** Application Deadline: 30 April 2011 (10 DAYS FROM NOW!!!) *** *** Notifications: 15 May 2011 *** REGISTRATION Details of the registration process will be announced on the Web site, after the application deadline. As in previous years we will keep the registration fee moderate (450 EUR) and provide reasonable accomodation packages (less than 50 EUR per night) for students. Registration costs include lunches, the social event and a hard copy of the lecture notes. STUDENT GRANTS There will be a limited number of student grants available for the summer school and for the co-located RR2011 conference. Details on how to apply for those grants can be found at: http://reasoningweb.org/2011/ApplicationRegistration.html LECTURE NOTES As in previous years, the course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. PROGRAMME COMMITTEE Claudia d'Amato, Universita degli Studi di Bari, Italy Marcelo Arenas, PUC Chile, Santiago, Chile Siefried Handschuh DERI, National University of Ireland, Galway Paula Lavinia Kroner SKYTEC AG, Germany Sascha Ossowski Universidad Rey Juan Carlos, Spain Peter Patel-Schneider Alcatel-Lucent, Bell Labs, USA Axel Polleres DERI, National University of Ireland, Galway CONTACT For further information including sponsorship opportunities, please contact the local organisers: Axel Polleres (http://www.polleres.net) Alessandra Mileo (http://sites.google.com/site/alessandramileoweb/) From sara at kdbio.inesc-id.pt Wed Apr 20 16:13:24 2011 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Wed, 20 Apr 2011 15:13:24 +0100 Subject: ALEA @ EPIA 2011 - second call for papers Message-ID: <4DAEEA04.5000209@kdbio.inesc-id.pt> * Our apologies if you receive multiple copies of this announcement * ******************************************** ALEA @ EPIA 2011 --------> second call for papers <-------- ******************************************** Artificial Life and Evolutionary Algorithms (ALEA is a thematic track of EPIA 2011) http://epia2011.appia.pt http://epia2011.appia.pt/Events/ThematicTracksBAD/ALEA.aspx October 10-13, 2011 Lisbon - Portugal Submission deadline: --> May 10, 2011 <-- ALEA is dedicated to the theory and applications of Artificial Life and Evolutionary Algorithms. It has been a track of the biennial international EPIA conferences since 2003, aiming to bring together researchers and practitioners from different backgrounds and domains, and providing a pleasant venue for the fruitful discussion of current developments and applications. -> This year ALEA will take place in Lisbon, one of the most beautiful European capitals: http://www.google.com/images?q=lisbon ALEA invites contributions in all aspects related to Artificial Life and Evolutionary Algorithms, ranging from theoretical work to innovative applications. Topics of interest include, but are not limited to: - Artificial Chemistries - Artificial Immune Systems - Classifier Systems - Complex Networks - Emergent Behaviours - Evolution and Learning Dynamics - Evolutionary Algorithms - Evolutionary Optimization - Evolutionary Robotics - Genetic Programming - Hybrid Approaches - Multi-objective Optimization - Origins of Life - Parallel Evolutionary Algorithms - Self-organizing Systems - Swarm Intelligence Submissions must be original and not published elsewhere. Papers should not exceed fifteen (15) pages in length and must be formatted according to Springer’s LNCS instructions for authors. Papers must be submitted in PDF and will not be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. More information and templates of the LNCS format is available on this Springer website: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The submissions will be peer reviewed by at least three members of the Programme Committee. The reviewing process is double blind, so authors should remove names and affiliations from the submitted papers, and must take reasonable care not to indirectly disclose their identity. References to own work can be included in the paper, but should be referred to in the third person. The authors of accepted papers will have to improve their paper on the basis of the recommendations from the reviewers and will be asked to send a camera ready version of their manuscripts. Even though the submissions can be made in PDF (preferable) or PS, we encourage authors to prepare their papers in TEX or LATEX because these are more convenient source formats for the camera ready final version. At least one author of each accepted work must register for the conference and present the work. Accepted papers will be presented orally or as posters. The best accepted papers will appear in the proceedings published by Springer in the Lecture Notes in Artificial Intelligence (LNAI), a subseries of LNCS. The remaining accepted papers will be published in a local edition, both in hard-copy, CD-ROM and on the web. Important Dates: - Paper submission: May 10 - Acceptance notifications: June 10 - Camera-ready papers: July 1 - ALEA @ EPIA 2011: October 10-13 Programme chairs: - Sara Silva INESC-ID Lisboa, Portugal http://kdbio.inesc-id.pt/~sara/ sara(at)kdbio.inesc-id.pt - Francisco B. Pereira Instituto Superior de Engenharia de Coimbra, Portugal https://cisucpt.dei.uc.pt/view_member.php?id_m=127 xico(at)dei.uc.pt - Leonardo Vanneschi University of Milano-Bicocca, Italy http://personal.disco.unimib.it/Vanneschi/ vanneschi(at)disco.unimib.pt Programme committee: Please consult the webpage of ALEA: http://epia2011.appia.pt/Events/ThematicTracksBAD/ALEA.aspx From yuliya at cs.uky.edu Wed Apr 20 19:54:50 2011 From: yuliya at cs.uky.edu (Yuliya Lierler) Date: Wed, 20 Apr 2011 13:54:50 -0400 (EDT) Subject: ICLP 2011 - Call for Participation Message-ID: ========================================================================= CALL FOR PARTICIPATION 27th International Conference on Logic Programming (ICLP 2011) Theory and Practice of Logic Programming Lexington, Kentucky, USA, July 6-10, 2011 http://www.cs.uky.edu/iclp2011/ ========================================================================= REGISTRATION Registration Site is now open. Early registration is until May 31st, 2011 CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year conference will offer invited talks and tutorials, as well as technical presentations on the broad spectrum of most recent research topics in the field. The conference will also host Doctoral Consortium, several workshops, and a Prolog programming contest. WORKSHOPS * Answer Set Programming and Other Computing Paradigms (ASPOCP), July 10 * Logic Programming and Multi-Agent Systems (LPMAS), July 9 * WG17, July 8-9 * Logic-based methods in Programming Environments (WLPE), July 10 * Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), July 10 Workshops 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. Submissions for all workshops are now open. DOCTORAL CONSORTIUM The 7th 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. Submission deadline for the consortium is April 24th, 2011. INVITED TALKS * Georg Gottlob, University of Oxford: Ontological Reasoning and Query-Answering with Logic Programming * Adam Lally, IBM Research: Natural Language Processing With Prolog in the IBM Watson System * Guenter Kniesel, University of Bonn: LP for Software Engineering and Software Engineering for LP (provisional title) TUTORIALS * Michael A Covington, University of Georgia: Developing Prolog Coding Standards * Francesca Toni, Imperial College London: Argumentation and 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. For information, please contact the organizers of the Doctoral Consortium and the General Chairs. HOTELS Blocks of rooms are reserved in Hilton Lexington/Downtown and Hyatt Regency Lexington Hotel. The conference rate is guaranteed if a room is reserved by June 9 in Hilton and June 5 in Hyatt. ICLP-2011 web site provides a link for placing a reservation. CONFERENCE VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, ponds and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. Traveling to Lexington is easy. The local airport has frequent direct flights to Atlanta, Detroit and Chicago. It has also direct but less frequent flights (one or two a day) to several other large US cities such as Cincinnati, Dallas-Ft. Worth, Houston and Newark. Thus, it can be reached easily from any place in the world. SPONSOR The conference is sponsored by the Association for Logic Programming (ALP). ICLP 2011 ORGANIZATION General Chair: Mirek Truszczynski (University of Kentucky), Victor Marek (University of Kentucky) Program Co-chairs: John Gallagher (Roskilde University, Denmark and IMDEA, Spain), Michael Gelfond (Texas Tech University, USA) Workshops Chair: Joohyung Lee (Arizona State University) Publicity Chair: Yuliya Lierler (University of Kentucky) Doctoral Consortium: Alessandro Dal Palu (Universit degli Studi di Parma), Stefan Woltran (Vienna University of Technology) Prolog Programming Contest: Tom Schrijvers (Universiteit Gent, Belgium) From sofia at ontol.inesc-id.pt Wed Apr 20 20:57:55 2011 From: sofia at ontol.inesc-id.pt (HSofia Pinto) Date: Wed, 20 Apr 2011 19:57:55 +0100 Subject: CFP: Final Call for Papers for GAI@EPIA 2011 Message-ID: <4DAF2CB3.2000009@ontol.inesc-id.pt> Apologies for multiple postings. Please forward to interested parties. --------------------------------------------------------------- GAI at EPIA 2011 *General Artificial Intelligence* EPIA 2011 will include a thematic track on General Artificial Intelligence, which is focused on general methodologies and architectures for intelligent systems but will also accept submissions on ALL subareas of artificial intelligence not covered by the other thematic tracks. Of particular relevance to this track are papers on issues that arise in the design and construction of complex artificial intelligent agents, integrating such component technologies as planning and scheduling; knowledge representation and reasoning; language, dialogue, perception; goal-driven action; machine learning; constraints, satisfiability and search; and Web and Knowledge-based Information Systems. This includes, but is not limited to human-level intelligent agents. All available paths are welcome, including theoretical and experimental computer science, cognitive science, neuroscience, and innovative interdisciplinary methodologies. *Topics of Interest include, but are not limited to:* Art and Music Brain Sciences Case-by-case Problem-Solving Cognitive architectures Coherence of Integrative/Hybrid Systems Computer-Aided Education Connecting Sensorimotor and Concept-level Cognition Context Context Evaluation and Comparison of GAI Projects Foundations and Theory Human-Computer Interaction Intelligent Database Systems Intelligent user interfaces Language Processing based on GAI Lifelong and Multi-Strategy Learning Management of Complex Goal Structures Multimodal communication Philosophical and Ethical Issues Real-Time Systems Security and Privacy Semantic Web The Role of Embodiment in GAI Validation and Verification Virtual characters *Important Dates* 10.MAY.2011 . Paper submission. 10.JUN.2011 . Acceptance notification. 01.JUL.2011 . Camera-ready papers. 10-13.OCT.2011 . Conference. http://epia2011.appia.pt/ *Formatting Instructions* Papers must be submitted in PDF (Adobe's Portable Document Format) and formatted according to the Springer's LNCS/LNAI guidelines (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.) and must not exceed 15 pages. The review process is double-blinded. Therefore, authors must remove their names from the submitted papers and should take reasonable care not to indirectly disclose their identity. Accepted papers must be presented at the conference by one of the authors and at least one author of each accepted paper must register for the conference. The best papers will be published in a volume of Lecture Notes in Artificial Intelligence (LNAI) by Springer (proceedings indexed by the Thomson ISI Web of Knowledge). All other accepted papers will be published in the local proceedings. *Organising Committee* * Luis Antunes, Universidade de Lisboa * H. Sofia Pinto, Instituto Superior Técnico *Contact* epia2011 at di.fc.ul.pt *Programme Committee* Amílcar Cardoso (UC, Portugal) Ana Paiva (IST, Portugal) Arlindo Oliveira (IST, Portugal) Carlos Ramos (IPP, Portugal) Ernesto Costa (UC, Portugal) Eugénio Oliveira (UP, Portugal) Gabriel Pereira Lopes (UNL, Portugal) Gael Dias (UBI, Portugal) Helder Coelho (UL, Portugal) José Carlos Maia Neves (UM, Portugal) José Carlos Príncipe (USF, USA) Luís Camarinha-Matos (UNL, Portugal Luís Correia (UL, Portugal) Luís Rocha (Indiana University, USA) Luís Seabra Lopes (UA, Portugal) Manuela Veloso (CMU, USA) Pavel Brazdil (UP, Portugal) Pedro Barahona (UNL, Portugal) Pedro Rangel Henriques (UM, Portugal) Salvador Abreu (UE, Portugal) -- --------------------------------------------------------------------- Helena Sofia Pinto Phone + 351 - 21 - 3100388 Instituto Superior Tecnico Emailsofia.pinto at dei.ist.utl.pt Departamento de Eng. Informatica Av. Rovisco Pais 1049-001 Lisboa PORTUGAL INESC-ID Emailsofia at inesc-id.pt Rua Alves Redol, 9 1000-029 Lisboa PORTUGAL --------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Manuela.Bujorianu at manchester.ac.uk Thu Apr 21 09:48:07 2011 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Thu, 21 Apr 2011 07:48:07 +0000 Subject: International events in cyber-physical systems - Manchester, UK Message-ID: <38A9C8B532151940826352E121D3570C02F064@MBXP07.ds.man.ac.uk> Dear colleagues, In Manchester, we are running a series of international events focussed on cyber-physical systems, formal methods, control and resilience engineering. Please consult the advert below and help us by distributing it to the potentially interested colleagues. We apologise for the inherent cross-postings! The registration for PhD students is free, but necessary. Be aware that the number of available places is limited. Many thanks and seasonal greetings! On behalf of the organising committee, Manuela Bujorianu ---------------------------------------------------------------------------------------------------------------------------------------------- IM-CPS: International Symposium on =================================== Interdisciplinary Modelling of Cyber-Physical Systems ====================================================== FoRMA: Tutorial Workshop on ============================ Formal and Resilient Methods in Aerospace ========================================= 25-28 May 2011 University of Manchester Part of MaDe: Manchester Dependability Week ---------------------------------------------------------------------------------------------------------------------------------------------- http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/IMCPS2011.htm http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/Forma.htm ---------------------------------------------------------------------------------------------------------------------------------------------- Organisation The Centre for Interdisciplinary Computational and Dynamical Analysis - CICADA Co-Chairs: Manuela Bujorianu, Jonathan Shapiro MaDe General Chair: Dave Broomhead ---------------------------------------------------------------------------------------------------------------------------------------------- Overview Cyber-physical systems are a facet of the contemporary holistic trend in engineering and technology. These constitute a class of applications where behaviours are characterized by a non-trivial interaction between physics and computation. Moreover, systems are considered in their deployment context, for example in networking or multi-agent situations. The mathematical modelling of cyber-physical systems is complex, and its core is based on the so-called hybrid systems, a class of mathematical models based on combinations of discrete and continuous mathematics. There are several classes of models and techniques of hybrid systems, commonly grouped under the names of hybrid automata, hybrid control systems and hybrid dynamical systems. The second edition of IM-CPS will bring together researchers from academia and industry with expertise relevant to cyber-physical systems. IM-CPS is a forum that facilitates the interactions between various disciplines like applied mathematics, computer science, control theories and other branches of engineering. Promoting inter-disciplinary research is a major objective of IM-CPS. Some priority topics include hybrid discrete/continuous mathematical models, embedded systems, stochastic hybrid systems, symbolic verification, stochastic modelling and model checking, aerospace applications. ---------------------------------------------------------------------------------------------------------------------------------------------- The registration can be done online at http://estore.manchester.ac.uk/browse/product.asp?catid=81&modid=2&compid=1 and http://estore.manchester.ac.uk/browse/product.asp?catid=80&modid=2&compid=1 or by contacting Helen Harper (Helen.Harper at manchester.ac.uk), with whom any further aspects can be discussed. Lunches and beverages will be served on the site. The registration fee is kept to a minimum, which covers the very basic costs. The PhD students may apply for fee waiving. The number of available places is limited, therefore book your participation in time. ---------------------------------------------------------------------------------------------------------------------------------------------- Tutorials • Mike Hinchey (Lero, Ireland) `` Self-Managed Software” • Rafael Wisniewski and Christoffer Sloth (Aalburg University, Denmark) `` Discrete Abstractions of Mechanical Systems” • Pieter Mosterman (The MathWorks US and McGill University, Canada) and Justyna Zander (Harvard University, US) ``A Model of Time to Characterize a Computational Framework for the Design of Cyber-Physical Systems" • Peter Harman (DeltaTheta UK Limited) "Modelica simulation and non-simulation applications in engineering" Presentations • Richard Banach (University of Manchester, UK) ``Formal Control System Design across the Continuous/Discrete Modeling Interface: A Simple Train Stopping Application” • Howard Barringer (University of Manchester, UK) ``Modelling of Supervised Component-based Systems“ • Marco Bozzano, Alessandro Cimatti, Marco Roveri (Fondazione Bruno Kessler, Trento, Italy) ``A Model-Based Approach to the Synthesis of FDIR for Aerospace Systems” • John Brooke (University of Manchester, UK) ``Parameterization and control of cyber-physical systems” • Marius Bujorianu (University of Manchester, UK) "A Stochastic Hybrid Model for Massively Parallel Systems” • Clare Dixon (University of Liverpool, UK) ``Towards Verifying Emergent Properties of Robot Swarms" • Michael Fisher (University of Liverpool, UK) ``Autonomy Verification" • Steve Furber (University of Manchester, UK) "Real-Time Brain Modelling with Massively-Parallel Embedded Processors" • Antoine Girard (Université Joseph Fourier, Grenoble, FR) ``Symbolic Approaches to Control via Approximate Bisimulations" • Tingting Han (University of Oxford, UK) ``Model Checking CTMC Against Timed-Automata Specifications`` • Agung Julius (Rensselaer Polytechnic Institute, US) ``Control Synthesis Using Video Games" • Joost-Pieter Katoen (RWTH Aachen, Germany) ``Observing Markov Chain Behaviour by Timed Automata" • Margarita Korovina (University of Manchester, UK) ``Reachability In One-Dimensional Controlled Polynomial Dynamical Systems” • Alexandru Mereacre (University of Oxford, UK) ``Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems" • John Moriarty (University of Manchester, UK) ``Hysteretic Regime Switching Diffusions, And Applications In The Theory Of Real Options” • Anna Philippou (Technical University of Cyprus) ``A Process-Algebraic Approach To Hierarchical Scheduling" • William Parnell (University of Manchester, UK) ``Smart Materials For Acoustic And Elastic Wave Filtering“ • Giordano Pola University of l’Aquila, Italy ``Symbolic Controller Design for Continuous Systems" • Mohsen Torabzadeh-Tari (Linköping University Sweden) ``Modelica and OpenModelica–its Open Source Environment” From grsimari at gmail.com Thu Apr 28 00:54:17 2011 From: grsimari at gmail.com (Guillermo R. Simari) Date: Wed, 27 Apr 2011 19:54:17 -0300 Subject: CfP ASAI 2011 - XII ARGENTINE SYMPOSIUM ON ARTIFICIAL INTELLIGENCE Message-ID: ===== CALL FOR PAPERS ======= ASAI 2011 - XII ARGENTINE SYMPOSIUM ON ARTIFICIAL INTELLIGENCE August 29th to September 30th, 2011 Córdoba Capital (UTN - Facultad Regional Córdoba) Part of 40 JAIIO - 40 Argentine Conference of Informatics http://www.40jaiio.org.ar/ August 29th to September 2nd, 2011 ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. The XII Argentine Symposium on Artificial Intelligence (ASAI 2011) will be held during 29th – 30th August 2011, in Córdoba, Argentina, at the Universidad Tecnológica Nacional - Facultad Regional Córdoba. ASAI 2011 will be part of the 40th JAIIO, the 40th Argentine Conference on Informatics, organized by SADIO. JAIIO is organized as a series of thematic symposia including topics such as software engineering, artificial intelligence, technology, agroinformatics, high performance computing, industrial informatics, free software, law, health, information society, and a students contest. For more information, TOPICS OF INTEREST ================== - AI Development, Tools and Methodologies - AI Foundations (philosophy, epistemology, economics, etc.) - Machine Learning - Intelligent Agents and Multi-Agent Systems - Knowledge Discovery and Data Mining - Human-Computer Interaction - Virtual Reality - Computer Vision and Pattern Recognition - Evolutionary Computation - Innovative applications of Artificial Intelligence (Bioinformatics, Computational - Biology, Education, Internet, Law, Music, etc.) - Knowledge Acquisition - Knowledge Representation and Reasoning - Knowledge Engineering - Natural Language Processing - Speech Processing - Image Processing - Planning and Scheduling - Robotics PROGARM CO-CHAIRS ==================== - Guillermo Simari, Dept. of Computer Science & Engineering, Universidad Nacional del Sur, Argentina - Laura Alonso i Alemany, FaMAF, Universidad Nacional de Córdoba, Argentina PROGRAM COMMITTEE ==================== - Carlos Areces (Universidad Nacional de Córdoba, Argentina) - Marcelo G. Armentano (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Luciana Benotti (Universidad Nacional de Córdoba, Argentina) - Luis S. Berdún (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Olivier Boissier (ENS Mines Saint-Etienne, France) - Facundo Bromberg (Universidad Tecnológica Nacional, Facultad Regional Mendoza, Argentina) - José Castaño (Universidad de Buenos Aires, Argentina) - Carlos Iván Chesñevar (Universidad Nacional del Sur, Argentina) - Juan Manuel Corchado (GSII, Universidad de Salamanca, Spain) - Rosanna Costaguta (Universidad Nacional de Santiago del Estero, Argentina) - Elena Duran (Universidad Nacional de Santiago del Estero, Argentina) - Paula Estrella (Universidad Nacional de Córdoba, Argentina) - Marcelo Falappa (Universidad Nacional del Sur, Argentina) - Alejandro Garcia (Universidad Nacional del Sur, Argentina) - Hector Geffner (Universitat Pompeu Fabra, Spain) - Daniela Godoy (ISISTAN, Universidad Nacional del Centro de la Pcia. de Buenos Aires, Argentina) - Juan Carlos Gómez (Universidad Nacional de Rosario, Argentina) - Pablo M. Granitto (Universidad Nacional de Rosario, Argentina) - Gabriel Infante-Lopez (FaMAF, Universidad Nacional de Córdoba, Argentina) - Huei Diana Lee (Laboratório de Bioinformática, Universidade Estadual do Oeste do Paraná, Brazil) - Ana Gabriela Maguitman (Dpto. de Ciencias e Ingeniería de la Computación Universidad Nacional del Sur, UNS) - Diego Milone (Laboratory for signals and computational intelligence, Universidad Nacional del Litoral, Santa Fe, - Ronaldo Prati (Universidade Federal do ABC, Brazil) - Horacio Saggion (Universitat Pompeu Fabra, Spain) - Silvia Schiaffino (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Georgina Stegmayer (UTN-Santa Fe, Argentina) - Pablo F. Verdes (Man Research Lab, Oxford, United Kingdom) PAPER SUBMISSION ================== ASAI 2011 seeks original contributions in a wide spectrum of Artificial Intelligence, ranging from state-of-the-art academic research to industrial and business applications having a significant impact. The symposium will consist of invited talks and regular paper sessions presenting mature work (full papers) in theoretical research and applications. A poster session will be devoted to the presentation of new ideas and less mature work in general (extended abstracts). Submissions are due before May 2nd. Submissions can be made through the EasyChair system, the submission site will be made available soon. Delayed submissions will most likely be rejected. All papers received before the deadline will be peer-reviewed by referees of the area. The submission of manuscripts must follow the format available at http://www.springer.de/comp/lncs/authors.html The page limit for a full paper is 12 pages. Extended abstracts describing novel research visions, work-in-progress or less mature results are also welcome, with a limit of 4 pages. All contributions should be submitted in Ghostview-readable Postscript or PDF formats. For diffusion reasons, papers in English are strongly recommended (Spanish is also acceptable). Information on the format of the camera-ready copy will be forwarded with the acceptance letter. Each accepted paper must be presented in the symposium, and the presenter must be registered in the conference. IMPORTANT DATES =============== - May 2nd, 2011 : Deadline for submissions of papers - June 13th, 2011 : Notification of Acceptance/Rejection - June 27th, 2011 : Deadline for camera ready submissions CONTACT ======= For further information, visit ASAI 2011 webpage: http://www.40jaiio.org.ar/ or send an e-mail to: XII.asai at 40jaiio.org.ar From insu.song at jcu.edu.au Thu Apr 28 06:08:44 2011 From: insu.song at jcu.edu.au (Song, Insu) Date: Wed, 27 Apr 2011 21:08:44 -0700 Subject: PRIMA-2011 Call for Workshop Proposals Message-ID: Dear Colleague, The organising committee of the 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011) invites workshop proposals for the upcoming conference. The workshops will be held before the conference on November 14th, 2011 in Wollongong, Australia. PRIMA-2011 workshops are intended to facilitate active exchange, interaction and comparison of approaches, methods and various ideas that are relevant to specific topics in areas related to intelligent agent systems and multi-agent systems. The workshops will facilitate a forum for participants to showcase their research work and initiate open discussions for topics and issues of the current interest. Proposals promoting exploration and discovery of new research areas and application fields of agent systems and multi-agent systems are also highly welcomed. In alignment with the conference theme for PRIMA-2011 of “Agents for Sustainability”, the workshop programme seeks to especially encourage thought leadership in the agent community as to how agent computing can be applied to enhance sustainable practices in our world, from agriculture to personal resource usage to the design and operation of more sustainable cities. Workshops addressing this theme, across the range from innovative early work to reports on systems in production, are welcomed, as also are workshops that continue to explore the “Agents and Services” theme of PRIMA-2010, which addressed connections to service science and service-oriented computing. Important Dates: Workshop proposal submission due: June 3rd, 2011 Notification to workshop proposers: June 17th, 2011 Each workshop organiser sends out call for workshops papers: June 20th, 2011 Due date for full workshop papers submission: August 12th, 2011 Workshop paper acceptance notification: September 16th, 2011 Early registration deadline: September 27th, 2011 Camera-ready papers due: September 30th, 2010. Registration deadline: November 1st, 2011 Workshop date: November 14th and 15th, 2011 Workshop Organisation: The workshop organisers will be responsible for forming the workshop programme committee, advertising the workshop, reviewing and selecting papers in a fair and transparent manner, both for the workshop and for a post-conference volume of combined workshop post-proceedings. The duration of workshops may be full-day or half-day. The workshop organisers should ensure the presence of authors of accepted papers. During the workshop, we expect the workshop organisers to actively engage with the audience and speakers to foster discussion and exchange of ideas by including mechanisms other than traditional paper presentations. Workshop Topics: We encourage workshop proposals of interesting and promising new initiatives, research and application challenges in "Agents for Sustainability" and "Agents and Services", and more generally in intelligent agent systems and multi-agent systems. The workshops should provide a vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in those fields. Suggested workshop topics include, but are not limited to: Agent-based system development: Agent programming and communication languages Agent development environments Agent-oriented software engineering Case studies on implemented systems Agent communication: Agent communication languages and protocols Agent commitments Network structures and analysis Agent-based Simulation: Emergent behaviour Simulation-specific issues Single and Multi-agent Learning Computational architectures for learning and adaptation Agent Reasoning: Logics for Agents and Multi-Agents Reasoning (single and multi-agent) Planning (single and multi-agent) Cognitive models Ontological reasoning Interface Agents: Practices of Interface Agents Interface Multi-Agents Virtual Agents Collaborative Interface Agents Autonomous Interface Agents Agent societies and social networks: Artificial social systems Trust and reputation Social and organisational structure Privacy, safety and security Normative Multi-Agent Systems Ethical and legal issues Agent Theories, Models and Architectures: BDI, and other models of agency Modelling the dynamics of MAS Formal verification of MAS Agent Technologies for Service Computing: Service composition with agent collaboration Service brokering and agency Personalised services with agent adaptation SLA definition and monitoring as agent goals Agent Cooperation and Negotiation: Cooperation, Coalition formation and Coordination Distributed problem solving Formal models for modelling other agents and self Argumentation, Persuasion, Negotiation and Bargaining Agent Systems: Software agents Mobile agents Agent-Based Assistants Agent-Based Virtual Enterprise Embodied Agents and their Applications Socially Situated Planning Software and Pervasive Agents Real-world Robotics: Coordination in multi-robot systems Modelling and analysis of multi-robot systems Tools that are relevant for multi-robot studies Applications of multi-robots to real-world problems WWW and Semantic Web Agents: Web-based agents Ontology agents Semantic Web agents Human Agent Interaction Other Related Areas: Collective intelligence Service science P2P, Grid computing Financial markets and algorithmic trades Ubiquitous computing, ambient intelligence Knowledge and Data Intensive Systems Perceptive Animated Interfaces Tools and Standards Ubiquitous Software Services Virtual Humans Workshop Proposal Submission Workshop proposals should include the following elements: * Title of the workshop. * The names, affiliations, mailing addresses and e-mail addresses of the proposed workshop chairs. * A description of the topic of the workshop and its relevance to the conference (not exceeding 300 words) * Duration of the workshop (full-day or half-day). * A list of proposed programme committee members for the workshop. * A list of related workshops held in the last three years, and their relation to the proposed workshop * An outline of the process to be followed for reviewing and selecting papers. * A description of the experience of the proposed chairs with respect to organising a workshop. * A brief description of how the workshop will be advertised. * Any specific requirements other than a room and data projector After the acceptance of a workshop proposal the organiser(s) should: * Create a Call for papers/participation for the workshop * Create a Web page for the workshop, the link of which will be published on the Conference Web site * Create a Board of Reviewers (Program Committee) * Review and select papers * Schedule the workshop activities All submitted papers will be reviewed on the basis of technical quality, relevance, significance, originality, and clarity. The above described workshop proposals must be submitted via e-mail to both scranefield at infoscience.otago.ac.nz and insu.song at jcu.edu.au by June 3rd, 2011. We look forward to your support in making PRIMA-2011 workshops an exciting event. PRIMA-2011 Workshop Chairs: Stephen Cranefield University of Otago, New Zealand Email: scranefield at infoscience.otago.ac.nz Insu Song James Cook University Australia, Email: insu.song at jcu.edu.au From wneuper at ist.tugraz.at Fri Apr 29 15:51:37 2011 From: wneuper at ist.tugraz.at (Walther Neuper) Date: Fri, 29 Apr 2011 15:51:37 +0200 Subject: THedu'11: May 6 deadline extension for ext.abstracts Message-ID: <4DBAC269.7000205@ist.tugraz.at> ---------------------------------------------------------------------- DEADLINE EXTENSION 6.May FOR EXTENDED ABSTRACTS ---------------------------------------------------------------------- THedu'11 CTP components for educational software ======================================= (CTP -- Computer Theorem Proving) http://www.uc.pt/en/congressos/thedu Workshop at CADE-23, 23nd International Conference on Automated Deduction Wroclaw, Poland, July 31- August 5, 2011 http://cade23.ii.uni.wroc.pl/ ---------------------------------------------------------------------- Important Dates --------------- * Extended Abstracts/Demo proposals 6 May 2011 (PDF, easychair [2]) * Author Notification: 3 Jun 2011 * Worshop Day: 31 Jul 2011 * Full papers (post-proceedings): 27 Aug 2011 (LaTeX,easychair[2]) THedu'11 Scope -------------- This workshop intends to gather the research communities for Computer Theorem proving (CTP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP) as well as for Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas and to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). Elements for next-generation MMA's include: * Declarative Languages for Problem Solution: education in applied sciences and in engineering is mainly concerned with problems, which are understood as operations on elementary objects to be transformed to an object representing a problem solution. Preconditions and postconditions of these operations can be used to describe the possible steps in the problem space; thus, ATP-systems can be used to check if an operation sequence given by the user does actually present a problem solution. Such "Problem Solution Languages" encompass declarative proof languages like Isabelle/Isar or Coq's Mathematical Proof Language, but also more specialized forms such as, for example, geometric problem solution languages that express a proof argument in Euclidean Geometry or languages for graph theory. * Consistent Mathematical Content Representation: libraries of existing ITP-Systems, in particular those following the LCF-prover paradigm, usually provide logically coherent and human readable knowledge. In the leading provers, mathematical knowledge is covered to an extent beyond most courses in applied sciences. However, the potential of this mechanised knowledge for education is clearly not yet recognised adequately: renewed pedagogy calls for enquiry-based learning from concrete to abstract --- and the knowledge's logical coherence supports such learning: for instance, the formula 2.pi depends on the definition of reals and of multiplication; close to these definitions are the laws like commutativity etc. Clearly, the complexity of the knowledge's traceable interrelations poses a challenge to usability design. * User-Guidance in Stepwise Problem Solving: Such guidance is indispensable for independent learning, but costly to implement so far, because so many special cases need to be coded by hand. However, CTP technology makes automated generation of user-guidance reachable: declarative languages as mentioned above, novel programming languages combining computation and deduction, methods for automated construction with ruler and compass from specifications, etc --- all these methods 'know how to solve a problem'; so, using the methods' knowledge to generate user-guidance mechanically is an appealing challenge for ATP and ITP, and probably for compiler construction! In principle, mathematical software can be conceived as models of mathematics: The challenge addressed by this workshop is to provide appealing models for MMAs which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation. Program Chairs -------------- Ralph-Johan Back, Abo University, Turku, Finland Pedro Quaresma, University of Coimbra, Portugal Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Florian Haftmann, Munich University of Technology, Germany Predrag Janicic, University of Belgrade, Serbia Cezary Kaliszyk, University of Tsukuba, Japan Julien Narboux, University of Strasbourg, France Walther Neuper, Graz University of Technology, Austria Wolfgang Schreiner, Johannes Kepler University, Linz, Austria Laurent Théry, Sophia Antipolis, INRIA, France Makarius Wenzel, University Paris-Sud, France Burkhart Wolff, University Paris-Sud, France Submission ---------- THedu'11 seeks papers and demos presenting original unpublished work which is not been submitted for publication elsewhere. Both, papers and demos, are submitted as extended abstracts first (29 Apr 2011), which must not exceed five pages. The abstract should be new material. Demos should be accompanied by links to demos/downloads and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. The authors of the extended abstracts and system descriptions should submit to easychair [2] in PDF format generated by EPTCS LaTeX style [3] . Selected extended abstracts and system descriptions will appear in CISUC Technical Report series (ISSN 0874-338X, [1]). At least one author of each accepted paper/demo is expected to attend THedu'11 and to present her or his paper/demo, and the extended abstracts will be made available online. After presentation at the conference selected authors will be invited to submit a substantially revised version, extended to 10-14 pages, for publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS). Papers/system descriptions will be reviewed by blind peer review and evaluated by three referees with respect to relevance, clarity, quality, originality, and impact. Revised versions are submitted in LaTeX according to the EPTCS style guidelines [3] via easychair [2]. [1] http://www.uc.pt/en/fctuc/ID/cisuc/RecentPublications/Techreports/ [2] http://www.easychair.org/conferences/?conf=thedu11 [3] http://www.cse.unsw.edu.au/%7Ervg/EPTCS/eptcsstyle.zip