From fsvweb at dimi.uniud.it Tue Sep 1 12:39:11 2009 From: fsvweb at dimi.uniud.it (fsvweb at dimi.uniud.it) Date: Tue, 1 Sep 2009 12:39:11 +0200 Subject: Last Call for Participation: GAMES 2009 Message-ID: <20090901103911.417613FC11A@sole.dimi.uniud.it>                    GAMES 2009     Annual Workshop of the ESF Networking Programme on            Games for Design and Verification              September 14 - 17, 2009                    Udine, Italy            http://games2009.dimi.uniud.it/               LAST CALL FOR PARTICIPATION GAMES is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic, and automata theory. For details, see www.games.rwth-aachen.de/ SCOPE: The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and  logic, and applications of games, automata, and logic for the design and verification of computing systems. PROGRAMME: As in previous years, GAMES 2009 will be an informal workshop, without proceedings. Its programme consists of three invited introductory tutorials (90 min), 5 invited advanced tutorials (90 min), 12 contributed talks (25 min), and 26 short presentations (15 min). Contributed talks and short presentations have been selected by the programme committee on the basis of submitted abstracts. For the detailed program of GAMES 2009, please have a look at: http://games2009.dimi.uniud.it/program.pdf GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games. Researchers who would like to present interesting open problems about games are invited to submit a short description of them (no more than half a page) to games09-openproblem at dimi.uniud.it by the 4th of September, 2009. REGISTRATION: There is not a registration fee. However, for organizational matters, you must fill in the registration form available at the workshop web page. We will be able to cover travel and accommodation costs for a limited number of participants (especially students). For information, please contact games09-travel at dimi.uniud.it INTRODUCTORY TUTORIALS: - Olivier Gossner, CNRS, Paris-Jourdan Sciences Economiques, France - Christof Löding, University of Aachen, Germany - Angelo Montanari and Nicola Vitacolonna, University of Udine, Italy ADVANCED TUTORIALS - Mikolaj Bojanczyk, University of Warsaw, Poland - Joseph Y. Halpern, Cornell University, USA - Salvatore La Torre, University of Salerno, Italy - Guy McCusker, University of Bath, UK - Peter Bro Miltersen, Aarhus University, Denmark LOCATION: The workshop will be held at Udine Castle and at the University of Udine. The web site for the workshop is at http://games2009.dimi.uniud.it/. PROGRAMME COMMITTEE: - Parosh Abdulla (Uppsala) - Erich Grädel (Aachen) - Angelo Montanari (Udine) - Luke Ong (Oxford) - Wieslaw Zielonka (Paris) From marco.gavanelli at unife.it Tue Sep 1 16:07:55 2009 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Tue, 01 Sep 2009 16:07:55 +0200 Subject: RCRA09 deadline extension Message-ID: <4A9D2ABB.9030400@unife.it> Due to the many requests, the submission deadline for the RCRA workshop has been extended. New dates: *** ABSTRACT SUBMISSION: 6th of September 2009 *** *** PAPER SUBMISSION: 15th of September 2009 *** * ___________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://rcra.aixia.it organises the 16th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2009) Email: rcra.aixia.09 at gmail.com RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2009 * ____________________________________________________________________ * The event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. * ___________________________________________________________________ * As in previous editions, authors of papers presented at the event will have the opportunity to participate to the selection of a special issue that will appear on the ***Elsevier Journal of Algorithms in Cognition, Informatics and Logic.*** DATES 11-12 december 2009, co-located with AI*IA 2009 http://www.aixia09.unimore.it/ VENUE Reggio Emilia, Italy AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy WORKSHOP PROGRAM COMMITTEE * Slim Abdennadher, German University in Cairo, Egypt * Gilles Audemard, Université d'Artois, France * Francesco Calimeri, Università della Calabria, Italy * Gianluca Caminiti, Università Mediterranea di Reggio Calabria, Italy * Khalil Djelloul, Université d'Orléans, France * Agostino Dovier, Universita` di Udine, Italy * Esra Erdem, University of Texas at Austin, USA * Wolfgang Faber, Università della Calabria, Italy * Pierre Flener, Uppsala University, Sweden * Marco Gavanelli, Università di Ferrara, Italy * Hector Geffner, Universitat Pompeu Fabra, Spain * Daniel Le Berre, Université d'Artois, France * Ines Lynce, Universidade Técnica de Lisboa, Portugal * Toni Mancini, Sapienza Università di Roma, Italy * Marco Maratea, Università di Genova, Italy * Joao Marques-Silva, University College Dublin, Ireland * Pedro Meseguer, Consejo Superior de Investigaciones Científicas, Spain * Massimo Narizzano, Università di Genova, Italy * Ilkka Niemelä, Helsinki University of Technology, Finland * Angelo Oddi, ISTC-CNR, National Research Council, Italy * Andrea Omicini, Università di Bologna, Italy * Steve Prestwich, Cork Constraint Computation Centre, Ireland * Daniel Riera, Universitat Oberta de Catalunya, Spain * Andrea Schaerf, Universita` di Udine, Italy * Kostas Stergiou, University of the Aegean, Greece * Mirek Truszczynski, University of Kentucky, USA HOST ORGANIZATION Università di Modena e Reggio-Emilia, Italy SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings (different than AI*IA 2009). Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 pages, and should be written in LaTeX, using the RCRA 2009 style available on the workshop web site. Submissions will be reviewed by at least three members of the program committee. Papers accepted at the workshop will be electronically published on the workshop web site and as an issue of the CEUR Workshop Proceedings series. Submissions should be sent to the address: rcra.aixia.09 at gmail.com SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers presented at the RCRA workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. Workshop post-proceedings will appear in a special issue of the Elsevier Journal of Algorithms in Cognition, Informatics and Logic, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any previous version already published in formal conference proceedings (including the proceedings of AI*IA 2009). Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed (cf. important dates). Hence, authors are invited to work on their paper mainly before the workshop date. WORKSHOP AND CONFERENCE FEE See the web page of the conference AI*IA 2009: http://www.aixia09.unimore.it/index.php/conference-registration/conference-fee IMPORTANT DATES * Abstract Submission for RCRA workshop: 6 September 2009 * Submission for RCRA workshop: 15 September 2009 * Notification of acceptance/reject: 30 October 2009 * Final version due: 30 November 2009 * RCRA session at AI*IA: 11 December 2009 * RCRA workshop: 11-12 December 2009 SELECTION FOR POST-PROCEEDINGS Elsevier Journal of Algorithms in Cognition, Informatics and Logic * Extended papers submission deadline: 15 January 2010 * Notification of reviews of the 1st round: 28 February 2010 * Re-submission deadline (for papers not accepted with minor rev.): 15 April 2010 * Final notification of acceptance: 1 May 2010 * Final version due: 15 May 2010 -- RCRA2009: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://rcra.aixia.it/rcra2009 From bulling at in.tu-clausthal.de Wed Sep 2 11:57:58 2009 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 02 Sep 2009 11:57:58 +0200 Subject: Reminder: Call for Papers: 11th Int'l Symp. on AI and Math (Jan 6-8, 2010, Ft. Lauderdale) Message-ID: <1251885478.3591.4.camel@epsilon> [Apologies, if you get this from multiple mailing lists on which you may be subscribed.] With the summer vacation now coming to an end, (winter for our colleagues in the southern hemisphere), we would like to remind you of the Oct. 1st deadline for submitting papers to the 11th Int'l Symp. on AI and Math (Jan 6-8, 2010, Ft. Lauderdale). ISIAM 2010 Call for Papers 11th International Symposium on Artificial Intelligence and Mathematics January 6-8, 2010 Ft. Lauderdale, Florida John Franco and Raj Bhatnagar, Program Co-chairs Fred Hoffman, Symposium Chair http://gauss.ececs.uc.edu/Conferences/isaim2010 (periodically updated) in parallel with Special Session on Boolean and Pseudo-Boolean Functions Endre Boros and Yves Crama, co-chairs Special Session on Constraint Programing and Hybrid Methods John Hooker, chair The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the eleventh Symposium in the series, which is sponsored by the Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions. INVITED SPEAKERS * Georg Gottlob, (Oxford University, UK) * Warren Hunt (University of Texas, Austin, USA) * Larry Manevitz (University of Haifa, Israel) SPECIAL TOPIC INVITED SESSIONS Several special sessions will be organized in the coming months. To suggest a special session please contact isaim2010 at gauss.ececs.uc.edu and specify the nature of the session and who might lead it (you can nominate yourself). PAPER SUBMISSION Paper submission will be electronic via the following submission link http://gauss.ececs.uc.edu/Conferences/isaim2010/submissions.html Papers must be formatted in accordance with the guidelines linked from the above page. The submission deadline is Thursday, October 1, 2009 (11:59PM EDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by Saturday, October 31, 2009. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by Saturday, November 21, 2009. **Note that papers may be submitted to the Symposium even if submitted to other conferences or journals, because the Symposium web site is not archival. Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Any questions regarding paper submission should be sent to the program co-chairs to the email address isaim2010 at gauss.ececs.uc.edu. IMPORTANT DATES Paper submission: Thursday, October 1, 2009 Notification: Saturday, October 31, 2009 Final version due: Saturday, November 21, 2009 TRAVEL SUPPORT FOR STUDENTS Limited travel support may be available for students. Please contact isaim2010 at gauss.ececs.uc.edu after October for information. Send inquiries and requests: isaim2010 at gauss.ececs.uc.edu. Join isaim at googlegroups.com to receive announcements related to ISAIM. From elvira at unizar.es Wed Sep 2 16:07:44 2009 From: elvira at unizar.es (Elvira Mayordomo) Date: Wed, 02 Sep 2009 16:07:44 +0200 Subject: COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes - Ponta Delgada (Azores), Portugal, June 30 to July 5 2010 Message-ID: <4A9E7C30.2030409@unizar.es> Preliminary Announcement ---------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal June 30 to July 5 2010 http://www.cie2010.uac.pt/ ---------------------------------------------------------------------------- CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009). Please mark the conference dates in your agendas for 2010. CONFIRMED TUTORIALS: Bruno Codenotti (Computational Game Theory). CONFIRMED INVITED SPEAKERS: Seth Lloyd, Denis Hirschfeldt, Ronald de Wolf, Jose L. Balcazar, Eric Allender, Toniann Pitassi, and Sara Negri. SPECIAL SESSIONS on * Proof Theory and Computation, organizers: Martin Hyland, Fernando Ferreira * Computational Complexity, organizers: Alan Selman, Elvira Mayordomo * Computability of the Physical, organizers: Cris Calude, Barry Cooper * Reasoning and Computation from Leibniz to Boole, organizers: tbc * Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan * Web Algorithms and Computation, organizer: Martin Olsen Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors. The Elsevier Foundation is supporting the CiE conference series in the programme "Increasing representation of female researchers in the computability community". This programme will allow us to fund child-care support, a mentoring system for young female researchers, and also a small number of grants for female researchers, covering their registration fees. Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann (Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome), Luis Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo (Paris), Benedikt Loewe (Amsterdam), Elvira Mayordomo Camara (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon), Joao Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht) In a Call for Papers to be sent out this month, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2010. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2010 http://www.cie2010.uac.pt/ CiE Membership Application Form http://www.cs.swan.ac.uk/acie __________________________________________________________________________ From epontell at cs.nmsu.edu Wed Sep 2 21:34:21 2009 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Wed, 2 Sep 2009 13:34:21 -0600 Subject: DAMP 2010: Call for Papers Message-ID: <005501ca2c04$6589ee30$309dca90$@nmsu.edu> DAMP 2010: Workshop Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January 19, 2010 damp10.cs.nmsu.edu SUBMISSION DEADLINE: SEPTEMBER 21, 2009 The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2010 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Abstract submission: Sept. 21 Paper submission: Sept. 25 Notification to authors: Oct. 26 Camera ready: Nov. 9 Program Chair: Enrico Pontelli New Mexico State University General Chairs: Leaf Petersen Intel Corporation Santa Clara, CA, USA Program Committee: Manuel Carro Universidad Politecnica de Madrid Clemens Grelck University of Hertfordshire Haifeng Guo University of Nebraska at Omaha Gabriele Keller University of New South Wales Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen Leaf Petersen Intel Corporation John Reppy University of Chicago Ricardo Rocha University of Porto Kostis Sagonas National Technical University of Athens Vitor Santos Costa University of Porto Satnam Singh Microsoft Research Philip Trinder Heriot-Watt University Pascal Van Hentenryck Brown University URL: http://damp10.cs.nmsu.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From davy.monticolo at utbm.fr Thu Sep 3 08:05:25 2009 From: davy.monticolo at utbm.fr (davy.monticolo at utbm.fr) Date: Thu, 03 Sep 2009 08:05:25 +0200 Subject: [KARE 2009] Extended Dead-Line : September, 20th Message-ID: <20090903080525.16523ligh6473t0l@webmail.utbm.fr> Extended Dead-Line, 2nd Call of papers : ************************************************************* KARE 2009 : Knowledge Acquisition, Reuse and Evaluation Ontology and Semantic Web Services for Knowledge Management https://acsp.utbm.fr/kare2009/index.htm ************************************************************* Ontology and Semantic Web Services for Knowledge Management Second International Workshop on Knowledge Acquisition, Reuse and Evaluation In conjunction with the fourth IEEE international conference on Signal-Image Technology & Internet Based Systems (SITIS 2009) November 29th - December 4rd, 2009, Marrakech, Morocco ******************* Important Dates ******************* Submission deadline : September, 20th Notification : October, 1st Final date for camera-ready copy : October, 15th Author registration due date : October, 15st ****************** Description ****************** The International Workshop on Knowledge Acquisition, Reuse and Evaluation aims to bring together researchers, scientists, engineers, and scholar students to exchange and share their experiences, new ideas, and research results about all aspects of Knowledge, Ontology and Sermantic Web Services Engineering. We will discuss the practical challenges encountered and the solutions adopted. This workshop will focus on the theoreticians and practitioners concerned with developing methods and systems that assist the knowledge management process and assessing the suitability of such methods. Thus, the workshop includes all aspects of acquiring, modeling and managing knowledge, and their role in the construction of knowledge-based systems. Knowledge acquisition still remains the bottleneck for building a knowledge based system. Reuse and sharing of knowledge bases are major issues and no satisfactory solutions have been agreed upon yet. There is a wide range of research. Much of the work in this field has been knowledge acquisition. The advent of the age of digital information has brought the problem of knowledge reuse and knowledge evaluation. Our ability to analyze, evaluate and assist user in reusing knowledge present a great challenge of the next years. A new generation of computational techniques and tools is required to support the acquisition, the reuse and the evaluation of useful knowledge from the rapidly growing volume of information. All of these are to be discussed in this workshop. ******** Topics ******** A non-exhaustive list of topics for the workshop includes the following: ? Tools and techniques for knowledge acquisition, knowledge update and knowledge validation ? Semantic web inference methodologies ? Semantic knowledge portals ? Web-based approaches for knowledge management ? Agent-based approaches for knowledge management ? Software agents for semantic web ? Semantic web-based knowledge management ? Tools, languages, and techniques for semantic annotation ? Semantic searching ? Semantic brokering ? CSCW and cooperative approaches for knowledge management ? Agent-based approaches for knowledge management ? Evaluation of knowledge acquisition techniques ? Information and knowledge structures ? Languages and frameworks for knowledge and knowledge modeling ? Ontology creation, evolution, reconciliation, and mediation ? Ontology-based approaches for knowledge management ? Knowledge delivery methods ? Knowledge life cycle ? Knowledge and information extraction and discovery techniques ? Corporate Semantic Webs for knowledge management ? Peer-to-peer approaches for knowledge management ? Knowledge extraction from images/pictures ? Intelligent knowledge-based systems ? Decision support and expert systems ? Re-usability of software/knowledge/information ******************** Workshop Organizers ******************** Contact Point: Davy Monticolo(davy.monticolo at utbm.fr) Workshop Chairs: Paolo Ceravolo, Università degli Studi di Milano (Italy) Davy Monticolo, University of Technology UTBM (France) International Program Committee * Hamid R. Arabnia, University of Georgia, USA * Tomas Arredondo, Universidad Tecnica Federico Santa Maria (UTFSM), Valparaiso, Chile * Azita Bahrami, Armstrong Atlantic State University, Savannah, Georgia, USA * Djamal Benslimane, University of Lyon, France * Ismail Biskri, Université de Québec à Trois Rivières, Canada * Valerie Camps, Universite Paul Sabatier, France * Laurence Capus, Université Laval (Quebec), Canada * Nathalie Chaignaud, INSA Rouen, France * Claudia D'Amato, Università degli Studi di Bari, Italy * Ernesto Damiani, University of Milan, Italy * John Domingue, The Open University, UK * David Faure, Thales R&T, France * Fabien Gandon, INRIA, France * Samuel Gomes, UTBM, France * Michael Grüninger, University of Toronto, Canada * Miguel Ángel Gómez-Nieto, University of Córdoba, Spain * William Grosky, University of Michigan-Dearborn, USA * Susan Haller, State University of New York at Potsdam, USA * Dusan Husek, Academy of Sciences of the Czech Republic, Czech Republic * Mustafa Jarrar, University of Birzeit, Palestine * Abderrafiaa Koukam, UTBM, France * Lenka Lhotska Czech Technical University in Prague * Gaëlle Lortal, Thales R&T, France * Ronald Maier, University of Innsbruck, Austria * Ashok Mallya, Veraz Networks, USA * Andy Marsh, Director, HoIP CIC, UK * Jean-Charles Marty, University of Savoie, France * Matsui Masayoshi, National Instisute of Advanced Industrial, Science and Technology, Japan * Nada Matta, University of Technology UTT, France * Sheila McIlraith, University of Toronto, Canada * Brahim Medjahed, University of Michigan, USA * Abhijit Mitra, Indian Institute of Technology, India * Adrian Mocan, DERI Innsbruck, Austria * Bernard Moulin, Université Laval (Quebec), Canada * Pit Pichappan, Annamalai University, India * Tomas Pitner, Masaryk University of Brno, Czek Republic * Monica Scannapieco, University of Rome, Italy * Carla Simone, University of Milano-Bicocca Italy * Monika Solanki, Imperial College London, UK * Ritu Soni, Guru Nanak Girls College, India + Kurukshertra, University, India * André Trudel, Acadia University, Canada * Somkait Udomhunsakul, King Mongkutt?s Institute of Technology, Ladkrabang, Thailand * Marja Naaranoja Vaasa, University of Applied Sciences, Finland * Martin Wolpers, Fraunhofer FIT, Germany * Mariemma Yague, University of Malaga, Spain * Laurence T. Yang, St. Francis Xavier University, Canada * Chen Yuehui, University of Jinan, China * Cecilia Zanni, INSA Strasbourg, France * Antonio Zilli, eBusiness Management Sector - Scuola Superiore ISUFI - University of Salento (Italy) * Ales Zivkovic, University of Maribor, Slovenia *************** Submission *************** You are invited to submit full length papers, not exceeding 8 pages in length, in two-column format including diagrams and references, following IEEE publication guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. Papers must be submitted electronically to the contact point in PDF format. All workshops will be published by IEEE in a single total conference volume and fully indexed by IEEE Xplore. Selected papers after extension will be published in the following journals: - Journal of Digital Information Management (JDIM) (ISSN 0972-7272) - Journal of Information Assurance and Security (JIAS) (ISSN 1554-1010) - International Journal of Computanional Intelligence Research (ISSN 0973-1873) - International Journal for Infonomics (IJI) (ISSN 1742-4712) - International Journal of Internet Technology and Secured Transactions (IJITST) (ISSN 1748-569X) All papers will be reviewed by at least three Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed below. Accepted papers will be published in the conference proceedings. At least one author of each paper must attend the workshop to present the paper. Camera Ready papers should follow the IEEE conference templates. Send your paper in format pdf to davy.monticolo at utbm.fr or in the SITIS Website : http://www.u-bourgogne.fr/SITIS/09/ Paolo Ceravolo & Davy Monticolo KARE2009 chairs Davy Monticolo Associate Professor SeT Laboratory University of Technology UTBM Department of Computing and Mechanical Engineering Site Web : http://sites.estvideo.net/davy.monticolo/ From C.Orasan at wlv.ac.uk Fri Sep 4 17:01:12 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Fri, 04 Sep 2009 16:01:12 +0100 Subject: Call for participation: Events in Emerging Text Types (eETTs) Workshop Message-ID: <1252076472.20039.4.camel@dinel-work> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Events in Emerging Text Types (eETTs) in conjunction with RANLP 2009 Call for participation Borovets, Bulgaria 17th Sept 2009 http://clg.wlv.ac.uk/events/eETTs/index.php ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ABOUT THE WORKSHOP The proliferation of the Internet has revolutionised the way information is disseminated and presented. Blogs no longer just relay and comment on news stories but also influence what is talked about in the news. Such changes have not gone unnoticed by the computational linguistics research community, which is increasingly processing or exploiting blogs in an attempt to keep track of what is going on and mine information. This workshop focuses on how events can be identified and how information related to event processing (e.g. NP coreference, temporal processing) can be extracted from blogs and other online sources. Emphasis is on how existing methods for event processing need to be adapted in order to process this medium, and on linguistic differences in the reporting of events in blogs and more traditional news texts. Event detection and processing is not a new topic in computational linguistics, but until now it has focused mainly on processing of newswire. The TimeBank corpus (Pustejovsky et. al. 2003), the AQUAINT TimeML corpus, and the NP4E corpus (Hasler, Orasan and Naumann 2006) exclusively contain newswire, which may make them inappropriate for the development of methods which need to process other text types. Moreover, the informal style and structure of most blog entries makes event detection in these documents a difficult task.This workshop gives researchers the opportunity to present efforts to develop resources related to event identification and processing using blog entries, including annotation guidelines and linguistic analyses of such resources. PRELIMINARY PROGRAMME 9.20 - 9.30 Welcome 9.30 - 10.30 Mark Rogers: The value of language processing to commercial clients (invited talk) 10.30 - 11.00 Zheng Chen and Heng Ji: Event Coreference Resolution: Algorithm, Feature Impact and Evaluation 11.00 - 11.30 Break 11.30 - 12.00 Ruslana Margova and Irina Temnikova: Catching the news: two key cases from today 12.00 - 12.30 Shamima Mithun and Leila Kosseim: Summarizing Blog Entries versus News Texts 12.30 - 14.00 Lunch break 14.00 - 15.00 Mike Thelwall: Detecting public news interests from blogs and MySpace (invited talk) 15.00 - 15.30 Alexandra Balahur, Elena Lloret, Ester Boldrini, Andrés Montoyo, Manuel Palomar and Patricio Martínez-Barco: Summarizing Threads in Blogs Using Opinion Polarity 15.30 - 16.00 Break 16.00 - 16.30 Ashequl Qadir: Detecting Opinion Sentences Specific to Product Features in Customer Reviews using Typed Dependency Relations 16.30 - 17.00 David Jurgens and Keith Stevens: Event Detection in Blogs using Temporal Random Indexing 17.00 - 17.30: Round table/Closing session MORE INFORMATION The eETTs webpage will regularly be updated with useful information about the workshop: http://clg.wlv.ac.uk/events/eETTs/ You can contact the workshop organisers for further information: eETTs2009 at dinel.org.uk -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From Richard.Chbeir at u-bourgogne.fr Sun Sep 6 15:36:39 2009 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Sun, 6 Sep 2009 15:36:39 +0200 Subject: SITIS'09: Call For Papers (Deadline extended) Message-ID: <1252244199.4aa3bae79a179@webmail.u-bourgogne.fr> --------- Sorry for cross-postings --------- - Paper submission deadline is approaching - ################################################################################ The 5th International Conference on Signal Image Technology and Internet Based Systems (SITIS'09) November 29 - December 4, 2009 Farah Kenzi Hotel Marrakech, Morocco http://www.u-bourgogne.fr/SITIS In cooperation with ACM SIGAPP.fr, IFIP TC 2 WG 2.13, IEEE ################################################################################ The SITIS conference is dedicated to research on the technologies used to represent, share and process information in various forms, ranging multimedia data to traditional structured data and semi-structured data found in the web. SITIS spans two inter-related research domains that increasingly play a key role in connecting systems across network centric environments to allow distributed computing and information sharing. SITIS 2009 aims to provide a forum for high quality presentations on research activities centered on the following tracks: * The focus of the track "Information Management & Retrieval Technologies" (IMRT) is on the emerging modeling, representation and retrieval techniques that take into account the amount, type and diversity of information accessible in distributed computing environment. The main topics include data semantics and ontologies, semi-structure data management, spatial information systems, multimedia databases, multimedia networking and qos, information retrieval and search engine, information security, schema mapping and evolution, data warehousing, social network, and applications. * The track "Web-Based Information Technologies & Distributed Systems" (WITDS) is devoted to emerging and novel concepts, architectures and methodologies for creating an interconnected world in which information can be exchanged easily, tasks can be processed collaboratively, and communities of users with similarly interests can be formed while addressing security threats that are present more than ever before. The main topics include information system interoperability, emergent semantics, agent-based systems, distributed and parallel information management, grid, P2P, web-centric systems, web security and integrity issues. * The track "Open Source Software Development and Solution" (OSSDS) focuses on new software engineering method in distributed and large scaled environments, strategies for promoting, adopting, and using Open Source Solutions and case studies or success stories in specific domains. The main topics include software engineering methods, users and communities' interactions, software development platforms, open source developments and project management, applications domain, case studies. In addition to the above tracks, SITIS 2009 includes workshops. The final list of workshop will be provided later. Submission and publication -------------------------- The conference will include keynote addresses, tutorials, and regular and workshop sessions. SITIS 2009 invites submission of high quality and original papers on the topics of the major tracks described below. All submitted papers will be peer-reviewed by at least two reviewers for technical merit, originality, significance and relevance to track topics. Papers must be up to 8 pages and follow IEEE double columns publication format. Accepted papers will be included in the conference proceedings and published by IEEE Computer Society and referenced in IEEE explore and major indexes. Important dates ---------------- * Paper Submission (Extended): September 20, 2009 * Acceptance/Reject notification: October 08, 2009 * Camera ready: October 16, 2009 * Author registration: October 19, 2009 Local organizing committee (Cadi Ayyad University, Morocco) ------------------------------------------------------------ * Aziz Elfaazzikii (Chair) * El Hassan Abdelwahed * Jahir Zahi * Mohamed El Adnani * Mohamed Sadgal * Souad Chraibi * Said El Bachari More details about each track and detailed topics can be found on the conference website: http://www.u-bourgogne.fr/SITIS From areces at pluton.loria.fr Mon Sep 7 17:58:05 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Mon, 7 Sep 2009 17:58:05 +0200 Subject: CFP: ESSLLI 2010 - Deadline 7 September Message-ID: <200909071558.n87Fw51o004218@pluton.loria.fr> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August, 2010, University of Copenhagen, Denmark %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as ESSLLI’2009 website: http://esslli2009.labri.fr/. The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams: -Language and Computation -Language and Logic -Logic and Computation We also welcome proposals that do not exactly fit one of these categories. PROPOSAL SUBMISSION: All proposals should be submitted, using a prescribed form that will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010, through EasyChair on http://www.easychair.org/conferences/?conf=esslli2010, not later than ******* Monday, September 7, 2009 ******* Proposers must hold PhD or equivalent degrees and should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. GUIDELINES FOR COURSE AND WORKSHOP PROPOSALS: ALL COURSES: Courses are given over one week (Monday-Friday) and consist of five 90 minutes sessions, one per day. Course proposals should give a brief overview of the topic and a tentative content and structure of the course, as well as state the course’s objectives and clearly specify prerequisites, if any. Lecturers who want to offer a long, two-week course, should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Jun 30, 2010: Deadline for receipt of camera-ready course material by the ESSLLI’2010 local organizers FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should require no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the course field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if any). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: Workshops run over one week and consist of five 90-minutes sessions, one per day. The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Nov 02, 2009: Deadline for submission of the Calls for Papers to ESSLLI’2010 PC chair Nov 09, 2009: Workshop organizers send out First Call for Papers Jan 25, 2010: Workshop organizers send out Second Call for Papers Mar 08, 2010: Workshop organizers send out Third Call for Papers Apr 12, 2010: Suggested deadline for submissions to the workshops May 24, 2010: Suggested deadline for notification of workshop contributors Jun 30, 2010: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI’2010 Local Organizers. Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: A form for submitting course and workshop proposals will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010. The proposers are required to submit the following information: * Name(s) of proposing lecturer(s)/ workshop organizer(s), at most two per course or workshop * Contact addresses, homepages, phones, and fax numbers (if available), of proposing lecturer(s)/ workshop organizer(s); * Title of proposed course/workshop; * Type (workshop, foundational, introductory, or advanced course) * Stream (one of: Language & Computation, Language & Logic, Logic & Computation) * Description (in at most 300 words, provide justification, relevance to ESSLLI, proposed contents and structure of the courses, resp. expected participation in the workshops) * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, course objectives and prerequisites, as well as the lecturers teaching experience relevant to the proposed course, and generally in the interdisciplinary field scope of ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to fixed maximum amounts, that will be communicated to the lecturers upon notification). It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. Please note that in case a course or workshop is to be taught/organized by two lecturers, a lump sum will be reimbursed to cover travel and accommodation expenses for one lecturer; the splitting of that sum is up to the lecturers. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI’2010 lower. ESSLLI 2010 PROGRAM COMMITTEE: Chair: Valentin Goranko (Technical Univ. of Denmark) Area Specialists: Language and Computation: Walter Daelemans (Univ. of Antwerp) Sabine Schulte im Walde (Univ. of Stuttgart) Language and Logic: Yoad Winter (Utrecht Univ.) Raffaella Bernardi (Free Univ. of Bozen-Bolzano) Logic and Computation: Anuj Dawar (Univ. of Cambridge) Ken Shan (State Univ. of New Jersey, Rutgers) ESSLLI 2010 Program Committee dedicated email account: esslli2010 at gmail.com ESSLLI 2010 ORGANIZING COMMITTEE: Chair: Vincent Hendricks (University of Copenhagen) Organizing Manager: Rasmus Rendsvig ESSLLI 2010 website: www.hum.ku.dk/esslli2010 From areces at pluton.loria.fr Mon Sep 7 17:57:49 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Mon, 7 Sep 2009 17:57:49 +0200 Subject: CFP: ESSLLI 2010 - Deadline 7 September Message-ID: <200909071557.n87Fvn99003906@pluton.loria.fr> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August, 2010, University of Copenhagen, Denmark %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as ESSLLI’2009 website: http://esslli2009.labri.fr/. The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams: -Language and Computation -Language and Logic -Logic and Computation We also welcome proposals that do not exactly fit one of these categories. PROPOSAL SUBMISSION: All proposals should be submitted, using a prescribed form that will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010, through EasyChair on http://www.easychair.org/conferences/?conf=esslli2010, not later than ******* Monday, September 7, 2009 ******* Proposers must hold PhD or equivalent degrees and should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. GUIDELINES FOR COURSE AND WORKSHOP PROPOSALS: ALL COURSES: Courses are given over one week (Monday-Friday) and consist of five 90 minutes sessions, one per day. Course proposals should give a brief overview of the topic and a tentative content and structure of the course, as well as state the course’s objectives and clearly specify prerequisites, if any. Lecturers who want to offer a long, two-week course, should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Jun 30, 2010: Deadline for receipt of camera-ready course material by the ESSLLI’2010 local organizers FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should require no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the course field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if any). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: Workshops run over one week and consist of five 90-minutes sessions, one per day. The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Sep 7, 2009: Proposal Submission Deadline Oct 19, 2009: Notification Deadline Nov 02, 2009: Deadline for submission of the Calls for Papers to ESSLLI’2010 PC chair Nov 09, 2009: Workshop organizers send out First Call for Papers Jan 25, 2010: Workshop organizers send out Second Call for Papers Mar 08, 2010: Workshop organizers send out Third Call for Papers Apr 12, 2010: Suggested deadline for submissions to the workshops May 24, 2010: Suggested deadline for notification of workshop contributors Jun 30, 2010: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI’2010 Local Organizers. Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: A form for submitting course and workshop proposals will be available soon on the ESSLLI 2010 website www.hum.ku.dk/esslli2010. The proposers are required to submit the following information: * Name(s) of proposing lecturer(s)/ workshop organizer(s), at most two per course or workshop * Contact addresses, homepages, phones, and fax numbers (if available), of proposing lecturer(s)/ workshop organizer(s); * Title of proposed course/workshop; * Type (workshop, foundational, introductory, or advanced course) * Stream (one of: Language & Computation, Language & Logic, Logic & Computation) * Description (in at most 300 words, provide justification, relevance to ESSLLI, proposed contents and structure of the courses, resp. expected participation in the workshops) * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, course objectives and prerequisites, as well as the lecturers teaching experience relevant to the proposed course, and generally in the interdisciplinary field scope of ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to fixed maximum amounts, that will be communicated to the lecturers upon notification). It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. Please note that in case a course or workshop is to be taught/organized by two lecturers, a lump sum will be reimbursed to cover travel and accommodation expenses for one lecturer; the splitting of that sum is up to the lecturers. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI’2010 lower. ESSLLI 2010 PROGRAM COMMITTEE: Chair: Valentin Goranko (Technical Univ. of Denmark) Area Specialists: Language and Computation: Walter Daelemans (Univ. of Antwerp) Sabine Schulte im Walde (Univ. of Stuttgart) Language and Logic: Yoad Winter (Utrecht Univ.) Raffaella Bernardi (Free Univ. of Bozen-Bolzano) Logic and Computation: Anuj Dawar (Univ. of Cambridge) Ken Shan (State Univ. of New Jersey, Rutgers) ESSLLI 2010 Program Committee dedicated email account: esslli2010 at gmail.com ESSLLI 2010 ORGANIZING COMMITTEE: Chair: Vincent Hendricks (University of Copenhagen) Organizing Manager: Rasmus Rendsvig ESSLLI 2010 website: www.hum.ku.dk/esslli2010 From jsabater at iiia.csic.es Tue Sep 8 00:48:35 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Tue, 8 Sep 2009 00:48:35 +0200 Subject: [AAMAS-2010] - 2nd call for papers Message-ID: <228862399040168618445@Galvatron> (apologies if you receive multiple copies) 2nd Call for Papers-AAMAS 2010 The 9th International Conference on Agents and Multi Agent Systems Toronto, Canada Important dates: Conference: May 10 - 14, 2010 Electronic Abstract Submission: October 8, 2009 Full Paper Submission: October 13, 2009 Author Notification: December 18, 2009 Collocated with KR2, NMR, ICAPS, FOIS, (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada) Expanded and latest information: http://www.cse.yorku.ca/AAMAS2010/ INTRODUCTION AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto. See http://www.ifaamas.org for more information on the AAMAS conference series. SUBMISSION DETAILS AAMAS-2010 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Where submission is for full (8 page) papers only, in some cases they may be accepted as 2 page extended abstracts For formatting instructions and a list of keywords, please refer to the conference page. In addition to submissions in the main track, AAMAS is soliciting papers in two special tracks on robotics, and on virtual agents (see below). The review process for the special tracks will be the same as for the main track, but with specially-selected program committee members. Special Track on Robotics (Chair: Michael Beetz): Papers on theory and applications concerning single and multiple robots will be welcome, namely those focusing on real robots interacting with their surrounding environments. The goal is to foster interaction between researchers on agent and robotics systems, so as to provide a cradle for cross-fertilization of concepts from both fields. Special Track on Virtual Agents (Chair: Stacy Marsella): Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. In addition to the conference papers, presented in parallel technical sessions, AAMAS-2010 will include: o Industry and Applications track o Demonstrations o Posters presentations for full papers and extended abstracts o Invited talks and panel discussions The submission processes for the demonstration and industry tracks are separate from the main paper submission process. ORGANIZING COMMITTEE General Chairs: Michael Luck and Sandip Sen Program Chairs: Wiebe van der Hoek and Gal A. Kaminka Local Organization Chair: Yves Lesperance A list of the other members of the AAMAS-2010 Organizing Committee, a list of Senior PC members and an updated list of keywords may be found at http://www.cse.yorku.ca/AAMAS2010/ Soon it will also show the PC members! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From baojie at gmail.com Wed Sep 9 18:43:10 2009 From: baojie at gmail.com (Jie Bao) Date: Wed, 9 Sep 2009 12:43:10 -0400 Subject: Call for Tutorials - Fourth Asian Semantic Web Conference (ASWC 2009) Message-ID: ( WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ) Call for Tutorials Fourth Asian Semantic Web Conference (ASWC 2009) 6-9 December, 2009 Shanghai, China http://www.aswc2009.org/ The 4th Asian Semantic Web Conference (ASWC 2009) will present the latest research and development of the Semantic Web and its related technologies. It will bring together researchers in relevant disciplines such as artificial intelligence, knowledge modeling, logic, databases, social networks, Web services, distributed computing, Web engineering, information systems, natural language processing, multimedia, and human-computer interaction. In addition to the regular research track, ASWC 2009 invites tutorials on relevant topics of interest. A tutorial should present the state of the art of a Semantic Web area and address the interests of a broad audience that includes (but not limited to) Semantic Web beginners, representatives of funding agencies, practitioners form the industrial community, and Semantic Web researchers. It may provide an introduction to technologies in Semantic Web or highly relevant areas (e.g., Artificial Intelligence, Database and Information Retrieval), the application of Semantic Web in a specific domain, or other current issues and trends in appropriate depth. ==Submission== Tutorial proposals should not exceed 5 pages in LNCS format and contain the following information * Type: full day or half day. * Abstract: 200 words maximum, which will be published at the ASWC website. * Justification: Relevance to the conference and relations to similar tutorials presented at other events. * Description: goals, targeted audience with prerequisite knowledge, presentation method, software will be used, and hands-on session planning (if there will be one; such a session is encouraged). * Outline and schedule * Equipment requirements * Information of the presenters: names, affiliation, contact, homepage, expertise and teaching experiences. The proposal should be submitted as a pdf file using the ASWC 2009 submission system on easychair (Please select the Tutorial Track): https://www.easychair.org/login.cgi?conf=aswc2009 Submitted proposals will be reviewed by the ASWC 2009 organizing committee based on its relevance to the conference, content and presentation method, and presenters’ expertise. ==Tutorial Organizer's Responsibilities== For accepted tutorials, the organizers should * Maintain a website that describes the tutorial, and provides relevant resources, e.g., slides, software and additional references. The website URL should be ready to review by the ASWC Tutorial Chair by 5th Nov 2009. * At the conference, handle the distribution of tutorial materials, except for the hard copies of the tutorial handouts which will be printed by ASWC. If software is required for participants for hands-on sessions, please make sure to have accessible media (e.g., CDs or USB sticks) for participants to install. ==Important Dates== * 15 Sept 2009: Proposal submission due (Extended) * 22 Sept 2009: Notification of proposal acceptance * 5 Nov 2009: Website URL and tutorial handouts, PDF preferred) to tutorial chair ==Tutorial Chair== Jie Bao - Rensselaer Polytechnic Institute, USA, baojie AT cs.rpi.edu From wf at wfaber.com Wed Sep 9 21:34:02 2009 From: wf at wfaber.com (Wolfgang Faber) Date: Wed, 09 Sep 2009 21:34:02 +0200 Subject: Doctoral School at the University of Calabria Message-ID: <1252524842.6622.212.camel@positron> We are looking for students for the doctoral school at the University of Calabria, Italy. Please find the call below and inform interested students. best, Wolfgang ---------------------------------------------------------------------------------- University of Calabria (Italy) Two PhD Positions available at the Doctoral School: Systems Engineering, Informatics, Mathematics, Operations Research ================================================================== The University of Calabria invites applications for 2 PhD scholarships for the incoming 2009 class of the Doctoral School in Systems Engineering, Informatics, Mathematics, Operations Research. The school has been founded in 2008 by the two largest departments of the University of Calabria: the Department of Mathematics (http://www.mat.unical.it) and the Department of Electronics, Informatics and Systems Engineering (http://www.deis.unical.it). The school features three PhD programs: - Doctoral Program in Mathematics and Informatics - Doctoral Program in Systems Engineering and Informatics - Doctoral Program in Operations Research A PhD scholarship in one of these programs is scheduled for 3 years. The University of Calabria will provide one successful candidate with a grant of 1039 EUR net per month. Substantial extra funding is available for participation in international conferences, schools, and workshops. More grants might be provided, in case more funds (public or private) become available. For all the successful candidates, the University of Calabria is likely to cover living expenses (mensa and accommodation on the campus). PhD positions are offered in an attractive working environment with excellent possibilities for professional development. Successful candidates in Informatics (with projects focused on AI and Computational Logics) will join the Database and Artificial Intelligence group of the Department of Mathematics, led by Nicola Leone (http://www.mat.unical.it/~leone/). The group offers profound knowledge in several AI areas, conducting research on their theoretical aspects and formal foundations as well as on the design of practical applications, usually carried out in tight cooperation with industrial partners. In particular, the group features high-level research in the development of innovative infrastructure for knowledge representation and reasoning. Its members are especially known for having achieved important results in developing non-monotonic reasoning systems. Requirements ============ Applicants must be exclusively foreign (non-Italian) students from both EU and non-EU countries, of any age and citizenship. Candidates must not be resident in Italy. The required qualification for being eligible for the program is a Master's Degree, or equivalent. A three-year degree is not sufficient. Applications ============ We are looking for highly motivated, dedicated candidates that are interested in research in one or more of the following fields: Informatics, Telecommunications, Control Theory, Electric Systems and Measures, ICT, Operations Research, Optimization, Management Science, Logistics, Simulation, Algebra, Geometry, History of Mathematics, Mathematical Analysis, Probability and Statistics, Mathematical Physics, and Numerical Analysis. Candidates are requested to prepare the following documents: * The application form available at http://www.mat.unical.it/isimr . * A Curriculum Vitae (conforming to the template available at http://www.mat.unical.it/isimr). * A research project (maximum 3 pages). * Reference (recommendation) letters (maximum 2). * A list of passed university exams, with scores (and credits, if applicable). All of these documents are to be sent via email to the following recipients: isimr at mat.unical.it raffaele.arena at unical.it eliana.zicarelli at unical.it giovanna.turchioe at unical.it The deadline is 2009-09-24 (September 24th, 2009), 12:00 CEST. Contacts ======== To get in contact with the Director of the School, write to: Prof. Nicola Leone Department of Mathematics, University of Calabria Ponte P. Bucci, cubo 30b I-87036 Rende (CS), Italy Email: leone at mat.unical.it ============================================================================ For further information, please refer to: https://www.mat.unical.it/doctoralschool -- From Ulrich.Kuester at uni-jena.de Fri Sep 11 12:32:31 2009 From: Ulrich.Kuester at uni-jena.de (=?UTF-8?B?VWxyaWNoIEvDvHN0ZXI=?=) Date: Fri, 11 Sep 2009 12:32:31 +0200 Subject: Final CFP: 8th Semantic Web Services Challenge Workshop Message-ID: <4AAA273F.4040201@uni-jena.de> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rgarcia at fi.upm.es Fri Sep 11 15:48:54 2009 From: rgarcia at fi.upm.es (=?UTF-8?B?UmHDumwgR2FyY8OtYSBDYXN0cm8=?=) Date: Fri, 11 Sep 2009 15:48:54 +0200 Subject: Deadline approaching: ASWC 2009 Call for Posters and Demos Message-ID: <4AAA5546.7030409@fi.upm.es> ASWC 2009 Call for Posters and Demos http://www.aswc2009.org/research-paper-track/callpostersdemos Fourth Asian Semantic Web Conference (ASWC 2009) 6-9 December, 2009 Shangai, China The Asian Semantic Web Conference is the yearly conference on theoretical foundations, technological building blocks and practical applications of semantic technologies on the Asian continent. Targeted at both academia and industry, the conference will present the latest research and development of the Semantic Web and its related technologies. It will bring together researchers in relevant disciplines such as artificial intelligence, knowledge modeling, logic, databases, social networks, Web services, distributed computing, Web engineering, information systems, natural language processing, multimedia, and human-computer interaction. As integral part of this conference, the poster and demo track is an opportunity for researchers and developers to present late-breaking achievements, ongoing projects, and innovative early ideas. It should provide authors and attendees a forum for exchanging experiences and establishing potential future collaborations. We welcome different types of poster submissions, ranging from descriptions of completed research and work in progress to more technical topics and practical applications. Demo submissions are intended to showcase innovative Semantic Web implementations and technologies. Demos are intended to convey a scientific result or work in progress and are not intended as advertisements for software packages. A detailed list of suggested topics can be found in the Call for Papers of the main conference. *Submissions* Poster and Demo submissions must be written in English and must be no longer than 2 pages. The maximum number of pages allowed includes all figures. Papers must be submitted in PDF (Adobe's Portable Document Format) format and must be formatted in the style of the Springer Publications for Lecture Notes in Computer Science (LNCS). Papers that exceed the 2 pages limit, do not follow the LNCS guidelines or are not submitted as PDF documents will be automatically rejected without a review. Full papers rejected in the other tracks, notably the research track of ASWC2009, will not automatically be considered for the poster track. A separate poster submission must be made. A poster can be provided in addition to a paper accepted for presentation in the research track or can be used to present work that was insufficiently mature to be accepted there. Submissions will be evaluated for acceptability by a committee of independent reviewers. Decisions about acceptance will be based on relevance to the call, originality, potential impact and quality of the presentation. Posters and demos must be submitted via the Easychair system prior to the submission deadline: http://www.easychair.org/conferences/?conf=aswc2009 At least one of the authors must be a registered participant at the conference, and attend the Poster and Demo session to present the work. *Important Dates* 17 September 2009. Submission of poster and demo descriptions 1 October 2009. Notification of acceptance 15 October 2009. Camera-ready versions *ASWC 2009 Poster and Demo Chair* Raúl García Castro, Universidad Politécnica de Madrid, Spain From jlpspi at cs.nmsu.edu Sat Sep 12 00:19:04 2009 From: jlpspi at cs.nmsu.edu (jlpspi) Date: Fri, 11 Sep 2009 16:19:04 -0600 Subject: DAMP 2010: FINAL Call for Papers Message-ID: <200909112219.n8BMJ4XA028685@pippo.cs.nmsu.edu> DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January, 2010 damp10.cs.nmsu.edu SUBMISSION DEADLINE: SEPTEMBER 21, 2009 The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2010 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Abstract submission: Sept. 21 Paper submission: Sept. 25 Notification to authors: Oct. 26 Camera ready: Nov. 9 Program Chair: Enrico Pontelli New Mexico State University General Chairs: Leaf Petersen Intel Corporation Santa Clara, CA, USA Program Committee: Manuel Carro Universidad Politecnica de Madrid Clemens Grelck University of Hertfordshire Haifeng Guo University of Nebraska at Omaha Gabriele Keller University of New South Wales Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen Leaf Petersen Intel Corporation John Reppy University of Chicago Ricardo Rocha University of Porto Kostis Sagonas National Technical University of Athens Vitor Santos Costa University of Porto Satnam Singh Microsoft Research Philip Trinder Heriot-Watt University Pascal Van Hentenryck Brown University URL: http://damp10.cs.nmsu.edu From calvanese at inf.unibz.it Sun Sep 13 01:57:31 2009 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Sun, 13 Sep 2009 01:57:31 +0200 Subject: Call for PhD positions at KRDB Centre, Free Univ. Bolzano, Italy - Deadline Oct. 23, 2009 Message-ID: =============================================================== CALL FOR PhD POSITIONS - DEADLINE October 23, 2009 6 fully funded PhD positions at the KRDB Research Centre for Knowledge and Data Faculty of Computer Science Free University of Bozen-Bolzano, Italy =============================================================== The Faculty of Computer Science of the Free University of Bozen-Bolzano (FUB), Italy, offers an opening for 14 positions for its 3-year PhD program. Some of these positions have a PhD studentship, others have a research contract. *** 2 PhD positions with studentship, and 4 PhD positions with a research contract are offered by the KRDB Research Centre for Knowledge and Data. *** The application deadline is Oct. 23, 2009. For information about the PhD program, the studentship, and the application, please visit and click on "PhD Course 25th cycle". Additional information about the PhD program at FUB is at . A PhD studentship as well as a PhD research contract amounts roughly to 51,000 Euro over the three years of the PhD. Substantial extra funding is available for participation in international conferences, schools, and workshops. The faculty of Computer Science and its PhD program are entirely based on the English language. RESEARCH TOPICS The KRDB Research Centre invites applicants to get in touch with the research group as soon as possible (see CONTACT PERSON below), in order to have a better understanding of the possible research activities in which the applicants may be involved. Relevant research topics in the centre are the following: * Logics for Knowledge Representation * Intelligent Access to Databases * Controlled Natural Language * Temporal Aspects in Data and Knowledge * Advanced Database Technologies The topics require good knowledge of Logic, Foundations of Databases, some knowledge of Artificial Intelligence, and of Knowledge Representation. Other research topics are listed in the personal web pages of the members of the KRDB Research Centre, see . CONTACT PERSON To get in contact with the KRDB Research Centre, send an email to: Prof. Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano via della Mostra, 4 I-39100 Bolzano, Italy Email: calvanese at inf.unibz.it Phone: +39-0471-016-160 Fax: +39-0471-016-009 To get in touch with the current PhD students, see . From Wiebe.Van-Der-Hoek at liverpool.ac.uk Mon Sep 14 12:46:11 2009 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Mon, 14 Sep 2009 11:46:11 +0100 Subject: AAMAS 2010 2nd call for papers Message-ID: <8D96EA88-1305-47C1-B502-F8BDA3B83D62@liverpool.ac.uk> (apologies if you receive multiple copies) 2nd Call for Papers-AAMAS 2010 The 9th International Conference on Agents and Multi Agent Systems Toronto, Canada Important dates: Conference: May 10 - 14, 2010 Electronic Abstract Submission: October 8, 2009 Full Paper Submission: October 13, 2009 Author Notification: December 18, 2009 Collocated with KR2, NMR, ICAPS, FOIS, (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada) Expanded and latest information: http://www.cse.yorku.ca/AAMAS2010/ INTRODUCTION AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto. See http://www.ifaamas.org for more information on the AAMAS conference series. SUBMISSION DETAILS AAMAS-2010 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Where submission is for full (8 page) papers only, in some cases they may be accepted as 2 page extended abstracts For formatting instructions and a list of keywords, please refer to the conference page. In addition to submissions in the main track, AAMAS is soliciting papers in two special tracks on robotics, and on virtual agents (see below). The review process for the special tracks will be the same as for the main track, but with specially-selected program committee members. Special Track on Robotics (Chair: Michael Beetz): Papers on theory and applications concerning single and multiple robots will be welcome, namely those focusing on real robots interacting with their surrounding environments. The goal is to foster interaction between researchers on agent and robotics systems, so as to provide a cradle for cross-fertilization of concepts from both fields. Special Track on Virtual Agents (Chair: Stacy Marsella): Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. In addition to the conference papers, presented in parallel technical sessions, AAMAS-2010 will include: o Industry and Applications track o Demonstrations o Posters presentations for full papers and extended abstracts o Invited talks and panel discussions The submission processes for the demonstration and industry tracks are separate from the main paper submission process. ORGANIZING COMMITTEE General Chairs: Michael Luck and Sandip Sen Program Chairs: Wiebe van der Hoek and Gal A. Kaminka Local Organization Chair: Yves Lesperance A list of the other members of the AAMAS-2010 Organizing Committee, a list of Senior PC members and an updated list of keywords may be found at http://www.cse.yorku.ca/AAMAS2010/ Soon it will also show the PC members! ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From erodri at lsi.upc.edu Tue Sep 15 14:08:54 2009 From: erodri at lsi.upc.edu (Enric Rodriguez Carbonell) Date: Tue, 15 Sep 2009 14:08:54 +0200 Subject: ASCM 2009 and MACIS 2009 - Extended Submission Deadline In-Reply-To: <4A9D44D6.9020701@lsi.upc.edu> References: <4A6713A7.4050701@lsi.upc.edu> <4A9D44D6.9020701@lsi.upc.edu> Message-ID: <4AAF83D6.2090001@lsi.upc.edu> Apologies if you receive multiple copies of this announcement. ===================================================================== The Joint Conference of ASCM 2009 and MACIS 2009 December 14th-17th, 2009 JAL Resort Sea Hawk Hotel, Fukuoka, Japan Website: http://gcoe.math.kyushu-u.ac.jp/ascm-macis2009/ Contact Address: ascm-macis2009 at math.kyushu-u.ac.jp ===================================================================== IMPORTANT DATES --------------- Sep 25, 2009 EXTENDED Submission deadline Oct 20, 2009 Notification of acceptance/rejection BACKGROUND ---------- Two international conferences * the 9th Asian Symposium on Computer Mathematics (ASCM 2009) and * the 3rd International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2009) will be held jointly at Fukuoka in December 14th -17th, 2009 supported by the GCOE program "Math-for-industry" of the Graduate School of Mathematics of Kyushu University and Mathematical Research Center for Industrial Technology of Kyushu University. The programs of ASCM and those of MACIS will be organized independently by each program committee except invited talks. Sessions of ASCM and those of MACIS will be held in parallel and invited talks will be given in plenary. SUBMISSION ---------- The information on the format can be found at http://gcoe.math.kyushu-u.ac.jp/ascm-macis2009/for_authors.html Papers for MACIS 2009 should be electronically submitted to their corresponding track by visiting http://www.easychair.org/conferences/?conf=macis2009 JOINT ORGANIZING COMMITTEE -------------------------- General Chair: Masakazu Suzuki (Kyushu University, Japan) Local chairs: Hiroshi Yoshida (Kyushu University, Japan) Tatsuyoshi Hamada (Fukuoka University/JST CREST, Japan) Koji Nakagawa (Kyushu University, Japan) Program Committee Chairs of the MACIS: Hoon Hong (North Carolina State University, USA) Hirokazu Anai (Kyushu University/Fujitsu Laboratories LTD, Japan) Program Committee Chairs of the ASCM: Chee Yap (New York University, USA) Yosuke Sato (Tokyo University of Science, Japan) Coordinator of the joint conference: Kazuhiro Yokoyama (Rikkyo University, Japan) Program Committee Members of the MACIS: Enric Rodriguez Carbonell (Technical University of Catalonia, Spain) Andrzej Cichocki (RIKEN, Japan) Mohab Safey El Din (INRIA, France) Jeremy Johnson (Drexel University, USA) Masaaki Kanno (Niigata University, Japan) Gabriel Dos Reis (Texas A&M University, USA) Fabrice Rouillier (INRIA, France) Eric Schost (Univ. of Western Ontario, Canada) Hiroshi Yoshida (Kyushu University, Japan) Program Committee Members of the ASCM: Xiao-Shan Gao (Chinese Academy of Sciences, China) Deepak Kapur (Univ. of New Mexico, USA) Ziming Li (Academy of Mathematics and System Sciences, China) Hirokazu Murao (The University of Electro Communications, Japan) Mitsuhiro Nakao (Kyushu Univesity, Japan) Hyungju Park (KIAS, Korea) Guenael Renault (LIP6, France) Ko Sakai (Tsukuba University, Japan) Alan P. Sexton (University of Birmingham, UK) Volker Sorge (University of Birmingham, UK) Gert Vegter (Groningen University, the Netherlands) Dahan Xavier (Kyushu University, Japan) ========= ASCM 2009 ========= The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serve as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. The previous ASCM meetings were held in Beijing, China (1995), Kobe, Japan (1996), Lanzhou, China (1998), Chiang Mai, Thailand (2000), Matsuyama, Japan (2001) , Beijing, China (2003), Seoul, Korea (2005), Singapore, Singapore (2007). Further information on previous ASCM symposium may be found at http://www.mmrc.iss.ac.cn/ascm. This year, the meeting will consist of invited talks, regular sessions of contributed papers, and three organized sessions. Regular sessions are run in a traditional style of ASCM. Each organized session is run by its organizer(s) independently. Organized sessions: 1) Digitizing Mathematics -- From Pen and Paper to Digital Content Organizers: Volker Sorge and Alan P. Sexton (Univ. of Birmingham, UK) 2) Validated Numerical Computation Organizer: Mitsuhiro Nakao (Kyushu Univesity, Japan) 3) Computational Algebraic Number Theory Organizer: Guenael Renault (LIP6, France) The selected papers presented at ASCM 2009 will be published either in MCS special issues or in a volume of LNAI. ========== MACIS 2009 ========== MACIS is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences. The first MACIS conference took place in Beijing (China), July 24-26, 2006 (see http://www.cc4cm.org/macis2006/ for more details). The second MACIS conference took place in Paris (France), December 5-7, 2007 (see http://www-spiral.lip6.fr/MACIS2007/ for more details). MACIS2009 is run in a format where each PC member organizes a session on a specific topic. MACIS 2009 consists of 9 sessions, which are categorized into three main thema as shown in the following: ------------------------------+--------------------------------------------- theme / sessions | PC member in charge ------------------------------+--------------------------------------------- 1) Polynomial system solving a)complex Fabrice Rouillier (INRIA, France) b)real Mohab Safey El Din (INRIA,France) c)rational Eric Schost (U. Western Ontario, Canada) 2) Control/System/Signal a)control Masaaki Kanno (Niigata Univ.,Japan) b)system (bio/bio-inspired) Hiroshi Yoshida (Kyushu Univ.,Japan) c)signal Andrzej Cichocki (RIKEN, Japan) 3) Software Science a)Analysis Enric Rodriguez-Carbonell (UPC, Spain) b)Synthesis Jeremy Johnson (Drexel University, USA) c)Language/Framework Gabriel Dos Reis (Texas A&M Univ., USA) ------------------------------+--------------------------------------------- The selected papers presented at MACIS 2009 will be published in MCS special issues. -- ________________________________________________________________ Enric Rodriguez Carbonell www.lsi.upc.edu/~erodri Technical University of Catalonia (UPC) erodri at lsi.upc.edu Office 114 - Omega Building Department of Software (LSI) Phone: +34-93-4137792 Jordi Girona 1, 08034 Barcelona, Spain Fax: +34-93-4137833 ________________________________________________________________ From borgo at loa-cnr.it Tue Sep 15 17:11:53 2009 From: borgo at loa-cnr.it (Stefano Borgo) Date: Tue, 15 Sep 2009 17:11:53 +0200 Subject: FOIS second cfp Message-ID: <8E8D8ABF-227E-4CE1-BA01-C3111E40BA96@loa-cnr.it> FOIS 2010 Sixth International Conference on Formal Ontology in Information Systems (co-located with KR 2010) http://fois2010.mie.utoronto.ca S E C O N D C A L L F O R P A P E R S CONFERENCE DESCRIPTION The FOIS conference series began with the first meeting in Trento, Italy, in June 1998, which was followed by meetings in 2001, 2004, 2006, and 2008. The sixth FOIS conference will be held in Toronto, Canada, during 11-14 May 2010, and we are now calling for papers to be considered for inclusion in the conference. Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coherent representations of their subject matter. The systematisation and elaboration of such representations and their associated reasoning techniques constitute the modern discipline of formal ontology, which is now being applied to such diverse domains as artificial intelligence, computational linguistics, bioinformatics, GIS, knowledge engineering, information retrieval, and the Semantic Web. Researchers in all these areas are becoming increasingly aware of the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. FOIS is intended to provide a meeting point for researchers from these and other disciplines with an interest in formal ontology, where both theoretical issues and concrete applications can be explored in a spirit of genuine interdisciplinarity. CONFERENCE ORGANISATION Conference chair: Nicola Guarino (ISTC-CNR, Trento, Italy) Program chairs: Antony Galton (University of Exeter, UK) Riichiro Mizoguchi (Osaka University, Japan) Local organisation: Chris Welty (IBM Research, Hawthorne, NY, USA) Michael Gruninger (University of Toronto, Canada) The FOIS conference series is now an official initiative of the newly established International Association for Ontology and its Applications (www.iaoa.org). TOPICS COVERED We seek high-quality papers on a wide range of topics. While authors may focus on fairly narrow and specific issues, all papers should emphasize the relevance of the work described to formal ontology and to information systems. Papers that completely ignore one or the other of these aspects will be considered as lying outside the scope of the meeting. Topic areas of particular interest to the conference are: Foundational Issues * Kinds of entity: particulars vs universals, continuants vs occurrents, abstracta vs concreta, dependent vs independent, natural vs artificial * Formal relations: parthood, identity, connection, dependence, constitution, subsumption, instantiation * Vagueness and granularity * Identity and change * Formal comparison among ontologies * Ontology of physical reality (matter, space, time, motion, ...) * Ontology of biological reality (genes, proteins, cells, organisms, ...) * Ontology of artefacts, functions and roles * Ontology of mental reality and agency (beliefs, intentions and other mental attitudes; emotions, ...) * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, ...) * Ontology of the information society (information, communication, meaning negotiation, ...) * Ontology and Natural Language Semantics, Ontology and Cognition Methodologies and Applications * Top-level vs application ontologies * Ontology integration and alignment; role of reference ontologies * Ontology-driven information systems design * Ontology-based application systems * Requirements engineering * Knowledge engineering * Knowledge management and organization * Knowledge representation; Qualitative modeling * Computational lexicons; Terminology * Information retrieval; Question-answering * Semantic web; Web services; Grid computing * Domain-specific ontologies, especially for: Linguistics, Geography, Law, Library science, Biomedical science, E-business, Enterprise integration, ... DEADLINES AND FURTHER INFORMATION Submissions: 23 October 2009 Notification of acceptance: 18 December 2009 Final camera-ready submission: 15 January 2010 Conference: 11-14 May 2010 Submitted papers must not exceed 14 pages, including the bibliography and an abstract of no more than 300 words. Papers should be submitted electronically as PDF files prepared in accordance with the IOS formatting guidelines. For detail of electronic submission please see the conference web page at http://fois2010.mie.utoronto.ca/. Proceedings will be published by IOS Press and will be available at the time of the conference. Please note that at least one author must register for the conference in order for an accepted paper to be published in the proceedings. PROGRAMME COMMITTEE Bill Andersen (Ontology Works, Inc., USA) John Bateman (University of Bremen, Germany) Brandon Bennett (University of Leeds, UK) Stefano Borgo (ISTC-CNR, Trento, Italy) Joost Breuker (University of Amsterdam, The Netherlands) Paul Buitelaar (National University of Ireland, Galway) Roberto Casati CNRS-EHSS, Paris, France) Werner Ceusters (University of Buffalo, USA) Matteo Cristani (University of Verona, Italy) Ernest Davis (New York University, USA) Maureen Donnelly (University of Buffalo, USA) Martin Dˆrr (Foundation for Research and Technology, Greece) Carola Eschenbach (University of Hamburg, Germany) JÈrÙme Euzenat (INRIA, Grenoble, France) Christiane Fellbaum (Princeton University, USA) Roberto Ferrario (ISTC-CNR, Trento, Italy) Antony Galton (University of Exeter, UK) Aldo Gangemi (ISTC-CNR, Rome, Italy) Pierdaniele Giaretta (University of Verona, Italy) Pierre Grenon (Open University) Michael Gruninger (University of Toronto, Canada) Nicola Guarino (ISTC-CNR, Trento, Italy) Udo Hahn (Jena University, Germany) Jerry Hobbs (University of Southern California, USA) Ken Kaneiwa (National Institute of Information and Communications Technology, Kyoto, Japan) Werner Kuhn (University of M¸nster, Germany) Terry Langendoen (University of Arizona, USA) Alessandro Lenci (University of Pisa, Italy) Leonardo Lesmo (University of Torino, Italy)) Claudio Masolo (ISTC-CNR, Trento, Italy) William McCarthy (Michigan State University, USA) Chris Menzel (Texas A&M University, USA) Simon Milton (University of Melbourne, Australia) Riichiro Mizoguchi (University of Osaka, Japan) Philippe Muller (University of Toulouse III, France) John Mylopoulos (University of Toronto, Canada) Natasha Noy (Stanford University, USA) Daniel Oberle (SAP Research, CEC Karlsruhe) Leo Obrst (The Mitre Corporation, USA) Maria Teresa Pazienza (University of Rome, Italy) David Randell (University of Birmingham, UK) Alan Rector (University of Manchester, UK) Riccardo Rosati (University of Rome, Italy) Guus Schreiber (University of Amsterdam, The Netherlands) Johanna Seibt (University of Aarhus, Denmark) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Barry Smith (University of Buffalo, USA) John Sowa (Vivomind Intelligence Inc., USA) John Stell (University of Leeds, UK) Veda Storey (Georgia State University, USA) Achille Varzi (Columbia University, New York, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Chris Welty (IBM Research, Hawthorne, USA) ================================================== Stefano Borgo Researcher, Laboratory for Applied Ontology (LOA), ISTC-CNR http://www.loa-cnr.it/borgo.html ------------------------------------------------------------------------------- Member, Int. Association for Ontologies and its Applications (IAOA) http://iaoa.org/ ------------------------------------------------------------------------------- Address: via alla Cascata 56/C, Povo I-38100, Trento phone: +39 0461 314873 fax: +39 0461 314875 From Richard.Chbeir at u-bourgogne.fr Wed Sep 16 11:32:26 2009 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Wed, 16 Sep 2009 11:32:26 +0200 Subject: SITIS'09: Last Call For Papers (Deadline is approaching) Message-ID: <1253093546.4ab0b0aaaefec@webmail.u-bourgogne.fr> --------- Sorry for cross-postings --------- - 4 days left before paper submission deadline - ################################################################################ The 5th International Conference on Signal Image Technology and Internet Based Systems (SITIS'09) November 29 - December 4, 2009 Farah Kenzi Hotel Marrakech, Morocco http://www.u-bourgogne.fr/SITIS In cooperation with ACM SIGAPP.fr, IFIP TC 2 WG 2.13, IEEE ################################################################################ The SITIS conference is dedicated to research on the technologies used to represent, share and process information in various forms, ranging multimedia data to traditional structured data and semi-structured data found in the web. SITIS spans two inter-related research domains that increasingly play a key role in connecting systems across network centric environments to allow distributed computing and information sharing. SITIS 2009 aims to provide a forum for high quality presentations on research activities centered on the following tracks: * The focus of the track "Information Management & Retrieval Technologies" (IMRT) is on the emerging modeling, representation and retrieval techniques that take into account the amount, type and diversity of information accessible in distributed computing environment. The main topics include data semantics and ontologies, semi-structure data management, spatial information systems, multimedia databases, multimedia networking and qos, information retrieval and search engine, information security, schema mapping and evolution, data warehousing, social network, and applications. * The track "Web-Based Information Technologies & Distributed Systems" (WITDS) is devoted to emerging and novel concepts, architectures and methodologies for creating an interconnected world in which information can be exchanged easily, tasks can be processed collaboratively, and communities of users with similarly interests can be formed while addressing security threats that are present more than ever before. The main topics include information system interoperability, emergent semantics, agent-based systems, distributed and parallel information management, grid, P2P, web-centric systems, web security and integrity issues. * The track "Open Source Software Development and Solution" (OSSDS) focuses on new software engineering method in distributed and large scaled environments, strategies for promoting, adopting, and using Open Source Solutions and case studies or success stories in specific domains. The main topics include software engineering methods, users and communities' interactions, software development platforms, open source developments and project management, applications domain, case studies. In addition to the above tracks, SITIS 2009 includes workshops. The final list of workshop will be provided later. Submission and publication -------------------------- The conference will include keynote addresses, tutorials, and regular and workshop sessions. SITIS 2009 invites submission of high quality and original papers on the topics of the major tracks described below. All submitted papers will be peer-reviewed by at least two reviewers for technical merit, originality, significance and relevance to track topics. Papers must be up to 8 pages and follow IEEE double columns publication format. Accepted papers will be included in the conference proceedings and published by IEEE Computer Society and referenced in IEEE explore and major indexes. Important dates ---------------- * Paper Submission (Extended): September 20, 2009 * Acceptance/Reject notification: October 08, 2009 * Camera ready: October 16, 2009 * Author registration: October 19, 2009 Local organizing committee (Cadi Ayyad University, Morocco) ------------------------------------------------------------ * Aziz Elfaazzikii (Chair) * El Hassan Abdelwahed * Jahir Zahi * Mohamed El Adnani * Mohamed Sadgal * Souad Chraibi * Said El Bachari More details about each track and detailed topics can be found on the conference website: http://www.u-bourgogne.fr/SITIS From huang at cs.vu.nl Thu Sep 17 11:50:23 2009 From: huang at cs.vu.nl (Zhisheng Huang) Date: Thu, 17 Sep 2009 11:50:23 +0200 Subject: Call for Paper: IFIP 6th International Conference on Intelligent Information Processing (IIP2010) In-Reply-To: References: Message-ID: <4AB2065F.4060209@cs.vu.nl> IFIP 6th International Conference on Intelligent Information Processing (IIP2010) October 13-16, 2010, Manchester, UK The IIP conference series provides a forum for engineers and scientists in academia, university and industry to present their latest research findings in any aspects of intelligent information processing. This time, we especially encourage papers on knowledge discovery, intelligent Web, intelligent agents, machine learning, autonomic reasoning, intelligence science etc. We also welcome papers that highlight successful modern applications of IIP, such as biomedicine, e-Services, e-Learning, business intelligence. IIP2010 attempts to meet the needs of a large and diverse community. Topics of IIP2010 include, but are not limited to: • Autonomic computing • Automatic reasoning • Automatic translation • Bayesian networks • Belief revision • Bioinformatics • Biomedicine • Business intelligence • Cognitive Modeling • Computational intelligence • Computer vision • Constraint programming • Data Mining • E-learning • E-services • Evolutionary computation • Fuzzy and rough set • Games & Serious games • Image processing • Information retrieval • Intelligence science • Intelligent agents • Intelligence Web • Knowledge acquisition • Knowledge-based systems • Knowledge discovery • Knowledge engineering and management • Knowledge grid • Knowledge representation • Logics and logic programming • Machine learning • Machine translation • Mobile agents • Natural language processing • Neural computing • Ontology engineering • Reinforcement learning • Speech understanding and interaction • Text analysis and text understanding • Web mining • Very large knowledge processing ORGANIZATION COMMITTEES General Chairs S. Vadera (UK) M. Musen(USA) R. Mizoguchi (Japan) Program Chairs Z. Shi (China) A. Aamodt (Norway) D. Leake (USA) PC Committee A. Aamodt (Norway) J. Alvarez (France) A. Bernardi (Germany) N. Bredeche (France) C. Bryant (UK) L. Cao (Australia) E. Chang (Australia) C. Chen (USA) E. Chen (China) H. Chen (UK) K. Chen (UK) F. Coenen (UK) I. Cohen (USA) Z. Cui (China) H. Dai (Australia) S. Dustdar (Austria) S. Ding (China) Z. Duan (China) J. Ermine (France) P. Estraillier (France) W. Fan (UK) D. Feng (Australia/HK) L. Hansen (Denmark) T. Hong (Taiwan) T. Honkela (Finland) Z. Huang (Netherlands) P. Ibarguengoyatia (Mexico) G. Kayakutlu (Turkey) J. Liang (China) H. Leung (HK) E. Mercier-Meziani (France) F. Meziane (UK) S. Nefti-Meziani (UK) T. Nishida (Japan) G. Osipov(Russia) M. Owoc (Poland) R. Pfeifer (Switzerland) A. Rafea (Egypt) T. Ritchings (UK) D. Ruan (Belgium) M. Saraee (UK) E. Succar (Mexico) F. Segond (France) ZP. Shi (China) K. Shimohara (Japan) A. Skowron(Poland) M. Stumptner (Australia) K. Su (China) IJ. Timm (Germany) S. Tsumoto (Japan) Z. Vetulani (Poland) X. Wang (China) H. Xiong (USA) J. Yang (Korea) X. Yao (UK) Y. Yao (Canada) J. Yu (China) J. Zhou (China) Z-H. Zhou (China) J. Zucker (France) Workshop, Tutorial and Panel Proposals The conference Program Committee invites proposals for workshops, tutorial and panel. Proposals should be received by one of the program chairs no later than February 1, 2010. Submission Papers should be no longer than 10 pages including all tables, figures, and references but excluding a cover page. Fonts should be in 10-12 pt. Each submission must include one cover page which should contain: • Title of the paper with an abstract of no more than 500 words; • A few keywords, from the list above where possible, giving a clear indication of topics; • Author names with affiliations, complete postal addresses, and phone numbers; • Email address of the contact author. The proceedings will be published by the Springer. Please click here to get the detailed paper format. All papers should be sent electronically (preferably in PDF) to the Easychair paper management system http://www.easychair.org/conferences/?conf=iip2010 or through the IIP2010 Website (http://www.intsci.ac.cn/iip2010/ ). IMPORTANT DATES Submission Deadline 1 April, 2010 Author Notification 1 May, 2010 Camera-ready Due 1 June, 2010 For general information, please contact: Sunil Vadera, School of Computing, Science and Engineering, University of Salford, Greater Manchester, Salford M5 4WT, UK. S.Vadera at salford.ac.uk For paper submission, please contact: Wenjia Niu Institute of Computing Technology Chinese Academy of Sciences Beijing 100190, China Tel (86) 10-82610254 Fax(86) 10-82610254 E-mail: iip2010 at ics.ict.ac.cn niuwenjia at ics.ict.ac.cn From universal.logic at ufc.br Thu Sep 17 13:03:14 2009 From: universal.logic at ufc.br (Universal Logic) Date: Thu, 17 Sep 2009 08:03:14 -0300 (BRT) Subject: World Congress and School, Lisbon 2010 Message-ID: The third edition of the World Congress and School on Universal Logic will happen April 18-25, 2010 in Lisbon, Portugal. There will be: 10 invited speakers, among them: Hartry Field, George Grätzer, Yuri Gurevich, Hiroakira Ono, Gehrard Jaeger, Dana Scott 10 special sessions, among them: logic diagrams, substructural logics, non-classical mathematics, abstrac algebraic logic, negation categorial logic 21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic Logics, Truth-values, Theory of Institutions, Ideospheres 1 contest: How to combine logics? Submission deadline for contributed talks is October 15, 2009 UNILOG'2010 World Congress and School on Universal Logic III April 18-25, 2010, Lisbon, Portugal http://www.uni-log.org From areces at pluton.loria.fr Thu Sep 17 17:40:41 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Thu, 17 Sep 2009 17:40:41 +0200 Subject: Call for Bids, ESSLLI 2011 Message-ID: <200909171540.n8HFefKh024544@pluton.loria.fr> -----8<-----8<-----8<-----8<-----8<-----8<-----8<----- Please distribute as widely as possible and excuses for multiple posting. ************************************************ * Call for Bids to Host the 23-th ESSLLI, 2011 * ************************************************ The Association for Logic, Language and Computation (FoLLI) and the ESSLLI Standing Committee invite proposals to host the 23-nd European Summer School in Logic, Language, and Information (ESSLLI), to be held in August 2011. *** The ESSLLI Summer School *** ESSLLI is a summer school which takes place two weeks in the summer, every year since 1989. The school hosts approximately 50 courses at both introductory and advanced level, and convokes around 500 participants each year from all over the world. The main focus of the program of the summer schools is the interface between linguistics, logic and computation. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures. Detailed information about the ESSLLI organization can be found in the ESSLLI general guide, and the organizing and program committee guides. The guides can be obtained via the Standing Committee secretary. *** Submission Procedure *** At this time we seek draft proposals from prospective bidders. Based on an evaluation of the draft proposals, promising bidders will be asked to provide additional information for the final selection procedure. The ESSLLI Standing Committee (SC), in consultation with the management board of FoLLI, will finally select the site, the organizing committee, and the program committee, and supervise the subsequent organization. *** Draft Proposals *** Draft proposals should identify a target site, date and organizing team with a chair who will be responsible for the overal organization. The organization committee is responsible for all matters having to do with the practical organization. Draft proposals should at least include information on: -> Location (accessibility; school venue; accommodation and facilities) -> Proposed dates and organizing team -> Endorsement by hosting organization -> Local Language, Logic, and Computation community -> Meeting and accommodation venues; audiovisual equipment -> Catering and reception facilities; social program opportunities -> Budget estimates *** Proposal Assessment *** Proposals will be evaluated according to the following criteria (unordered): -> Experience of organizing team, involvement in previous ESSLLIs -> Local endorsement -> Appropriateness of proposed dates -> Accessibility and attractiveness of proposed site -> Adequacy of campus facilities for the anticipated number of registrants -> Adequacy of residence accommodations and food services in an appropriate range of price categories and close to the conference facilities -> Adequacy of budget projections -> Geographical and national balance with regard to meetings in the decade prior to 2011: Helsinki (2001), Trento (2002), Wien (2003), Nancy (2004), Edinburgh (2005), Malaga (2006), Dublin (2007), Hamburg (2008), Bordeaux (2009), Copenhagen (2010) *** Important Dates *** -> September 11, 2009, call for bids posted -> November 6, 2009, draft proposals due November/December, 2009, SC provides feedback -> January 31, 2010, final proposals due -> February 28, 2010, bid selected at ESSLLI SC meeting -> August 14, 2010, OC and PC progress report -> August, 2011, 23-nd ESSLLI Information about FoLLI and ESSLLI can be found at: http:// www.folli.org/. If you want to consult the ESSLLI guidelines, or have any other queries about drafting your bid, please contact Sophia Katrenko or Paul Dekker. Draft proposals should be sent to: Sophia Katrenko Paul Dekker Informatics Institute ILLC/Department of Philosophy Faculty of Science Faculty of Humanities Universiteit van Amsterdam Kruislaan 419 Nieuwe Doelenstraat 15 NL-1098 VA Amsterdam NL-1012 CP Amsterdam The Netherlands +31 (0)20 525 6786 +31 (0)20 5254541 +31 (0)20 525 6896 (fax) +31 (0)20 5254503 (fax) katrenko at science.uva.nl p.j.e.dekker at uva.nl From Kerry.Taylor at csiro.au Fri Sep 18 02:46:09 2009 From: Kerry.Taylor at csiro.au (Kerry.Taylor at csiro.au) Date: Fri, 18 Sep 2009 10:46:09 +1000 Subject: Final CFP: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009 Message-ID: 5th Australasian Ontology Workshop (AOW 2009) 1 December 2009 Held in Conjunction with the 22nd Australian Joint Conference on Artificial Intelligence (AI'09) University of Melbourne, Melbourne, Australia http://ksg.meraka.org.za/~aow2009 AOW 2009 is the fifth in a series of workshops on ontologies held in the Australasian region. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications The proceedings of the four previous workshops were published as volumes in the Conferences in Research and Practice in Information Technology (CRPIT) series (http://crpit.com/), and this will again be the case for AOW 2009. As with the previous workshops, we are investigating the possibility of extended versions of selected papers appearing in a special issue of a suitable journal. Submission information such as format etc. can be found on the CRPIT website: http://crpit.com/AuthorsSubmitting.html. The page limit is 10 pages. Important Dates: Paper submission deadline: 25 September 2009 Notification of acceptance/rejection: 23 October 2009 Camera-ready copies due: 13 November 2009 AOW 2009: 1 December 2009 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=aow2009 This year AOW 2009 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. Workshop Chairs: Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Kerry Taylor CSIRO ICT Centre Kerry.Taylor at csiro.au Program Committee: Franz Baader (TU Dresden, Germany) Richard Booth (Mahasarakham University, Thailand) Arina Britz (Meraka Institute, South Africa) Werner Ceusters (SUNY Buffalo, USA) Michael Compton (CSIRO, Australia) Oscar Corcho (Universidad Politecnica de Madrid, Spain) R. Cenk Erdur (Ege University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (SAP Research, UK) Renato Iannella (NICTA, Australia) Ken Kaneiwa (NICT, Japan) Marijke Keet (Free University of Bolzano, Italy) Kevin Lee (NICTA and UNSW, Australia) Laurent Lefort (CSIRO, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Deshendran Moodley (University of KwaZulu Natal, South Africa) Mehmet Orgun (Macquarie University, Australia) Maurice Pagnucco (UNSW, Australia) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Murat Sensoy (Bogazici University, Turkey) Barry Smith (SUNY Buffalo, USA) Markus Stumptner (University of South Australia, Australia) Boontawee Suntisrivaraporn (Thammasat University, Thailand) Sergio Tessaris (Free University of Bolzano, Italy) Nwe Ni Tun (National University of Singapore, Singapore) Ivan Varzinczak (Meraka Institute, South Africa) Kewen Wang (Griffith University, Australia) Antoine Zimmermann (DERI, Ireland) From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Sep 18 10:05:36 2009 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Fri, 18 Sep 2009 09:05:36 +0100 Subject: LOFT 2nd cfp with slightly changed dates!!!! Message-ID: <0BFBB8C9-84CB-447A-8160-66FA4F97B268@liverpool.ac.uk> Ninth Conference on Logic and the Foundations of Game and Decision Theory University of Toulouse , France, 5-7 July 2010 >> PLEASE NOTE THE SLIGHT CHANGE OF DATES TO 5-7 JULY 2010! << http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html AIMS OF THE CONFERENCE This is the ninth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous eight conferences took place at CIRM (Marseille, France) in January 1994, at ICER (Torino, Italy) in December 1996, December 1998, July 2000 and July 2002, in Leipzig in July 2004, in Liverpool in July 2006 and in Amsterdam in 2008 (see: http://www.econ.ucdavis.edu/faculty/bonanno/loft.html) Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through http://www.easychair.org/conferences/?conf=loft2010 The deadline for submission is March 15, 2010, and authors will be notified of acceptance decisions by April 18, 2010. PUBLICATION OF CONTRIBUTED PAPERS: For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html We anticipate that a selection of the papers presented at LOFT9 will be published in a special issue of a journal. Program Chairs: Giacomo Bonanno, University of California Davis, U.S.A. Andreas Herzig, University of Toulouse, France Wiebe van der Hoek, University of Liverpool, United Kingdom JÈrÙme Lang, University Paris-Dauphine and University of Toulouse, France Program Committee: Geir Asheim, University of Oslo, Norway Oliver Board, University of Pittsburgh, USA Vincent Conitzer, Duke University, USA Ulle Endriss, University of Amsterdam, The Netherlands Sebastian Enqvist, Lund University, Sweden Joe Halpern, Cornell University, USA Christian List, London School of Economics, United Kingdom Benedikt Loewe, University of Amsterdam, The Netherlands Larry Moss, Indiana University, USA Herve Moulin, Rice University, USA Eric Pacuit, Tilburg University, The Netherlands Andres Perea, Maastricht University, The Netherlands Wlodek Rabinowicz, Lund University, Sweden R Ramanujam, Chennai Institute of Mathematical Sciences, India Olivier Roy, University of Groningen, The Netherlands Hannu Salonen, University of Turku, Finland Wolfgang Spohn, University of Konstanz, Germany Moshe Tennenholtz, Technion Institute of Technology, Israel Local Organization Committee: Emiliano Lorini (chair), Sylvie Doutre, HÈlËne Fargier, Dominique Longin, Laurent Perrussel. Important Dates: Deadline for submission: 15 March, 2010 Notification to authors: 18 April, 2010 Conference: 5-7 July 2010 ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From jap at cs.bath.ac.uk Fri Sep 18 10:28:29 2009 From: jap at cs.bath.ac.uk (Julian Padget) Date: Fri, 18 Sep 2009 09:28:29 +0100 Subject: post-doctoral position: sensor networks/University of Bath Message-ID: <1253262509.2497.781.camel@jap-lap3> University of Bath Post-doctoral Researcher in Formal Techniques for Sensor Network Design, Management and Optimization Departments of Computer Science and Mechanical Engineering Salary scale: £29,704 - £35,469 Job description and application forms: http://www.bath.ac.uk/jobs/job_desc.cgi?09248JK The apointee will work closely with the multi-disciplinary team of Chris Bowen (sensor design), Alicia Kim (aerospace structures) Aydin Nassehi (intelligent manufacturing) and Julian Padget (computer science). This 3 year project is funded by Leverhulme Trust and is joint between computer science and mechanical engineering at Bath. The aim is to develop new formal techniques for sensor network design, management and optimization informed by two case studies: one on structural integrity and the other in intelligent manufacturing. The aim is to use ideas from the fields of software agents/autonomic systems and from multidisciplinary optimization to govern, adapt and improve the performance of sensor networks. You should have, or have nearly completed, a PhD in Computer Science in an area of relevance to the topics mentioned above. Demonstrated experience in software agents, optimization and engineering approaches to problem solving would be an advantage, along with some knowledge of interfacing to low-level devices. The preferred start date is the beginning of January 2010 or otherwise subject to negotiation. Contact information: informal enquiries may be directed to Julian Padget, eml: jap at cs.bath.ac.uk or 'phone +44 1225 386 971. Closing date: 18th October 2009 --Julian Padget. From bcseet at ieee.org Sat Sep 19 02:15:07 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Sat, 19 Sep 2009 12:15:07 +1200 Subject: Call for Posters and Demos: Sensor Networks and Ambient Intelligence Message-ID: <009401ca38be$40a669b0$ff845a79@yourbbc104cd11> --------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Call for Posters and Demos In addition to full-length papers, SeNAmI 2009 welcomes submissions in the form of posters and demos that feature late-breaking results, innovative work in progress, preliminary research findings, or any interesting early ideas and visions, in areas of relevance to sensor-based ambient intelligence systems. Demonstrations are intended to showcase the practical implementation of novel new technologies, applications, techniques, and research prototypes or testbeds among others. We are particularly interested to see emerging young researchers in this field, applying their creativity and skills to innovate new technologies that could make a real difference by solving some of the most challenging issues facing our world today. We welcome both academic and industrial submissions. Abstract submission Poster and Demo abstracts should be in single-column format and not exceed one page, including figures and references. The abstract should be prepared using the template provided on the website, and submitted as a Word document to: senami at aut.ac.nz The information fields for the contact author and type of presentation (poster or demo) on second page of the abstract template should be completed as appropriate. For demo authors, please further specify any space requirements and/or any other equipment-specific requirements. The abstracts of accepted posters and demos would be distributed to all conference participants through the USB memory version of the proceedings, but they would not be published by IEEE Computer Society. However, they would be published online with citable DOI (Digital Object Identifiers) and permanently archived by the Frontiers Research Foundation (a Swiss-based non-profit academic publisher). Special registration fee A special registration fee of 35,000 JPY has been planned for poster and demo authors. At least one of the authors must register and present their work in the workshop. All registrations shall go through the main conference (PDCAT) registration website. Best Poster and Demo award A selection panel will convene to select the recipients for the Best Poster and Best Demo awards, courtesy of the Global COE (Centers of Excellence) Program for Founding Ambient Information Society Infrastructure of Graduate School of Information Science and Technology, Osaka University. Important dates Abstract submission due : October 23, 2009 Acceptance notification : November 1, 2009 Registration due: November 15, 2009 For further details, please visit: http://senami.aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Sat Sep 19 19:16:23 2009 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Sat, 19 Sep 2009 19:16:23 +0200 Subject: Call for PhD position Message-ID: <4AB511E7.6020508@in.tu-clausthal.de> =============================================================== CALL FOR PhD POSITION - 1 fully funded PhD position (TV 13-L) at the CIG group in Clausthal (Prof. J. Dix) Department of Informatics Clausthal University of Technology =============================================================== We offer a fully funded PhD position (Wiss. Mitarbeiter) at my group in Clausthal. Prerequisites are a strong background in formal methods (logic, mathematics, AI), an MSc (or equivalent) in computer science, creativity and the ability to do research in a small group at a small university in a small town at an altitude of 600 meters (you must endure snow and long winters!). Working in my group requires good knowledge of logic, in the foundations of databases and information systems, in artificial intelligence, and/or in agent systems. Check us out on our web-page. Our group has very good international standing and contacts with top researchers worldwide. The department offers an excellent working environement (mostly young researchers; scientists in MAS and AI with international reputation (Prof. Mueller, Prof. B. Hammer). If you are interested, please send an email with your CV, research statement and why you consider coming to Clausthal directly to me (dix at tu-clausthal.de). No word docs please! From mirek at cs.uky.edu Sat Sep 19 22:07:29 2009 From: mirek at cs.uky.edu (Mirek Truszczynski) Date: Sat, 19 Sep 2009 16:07:29 -0400 Subject: PhD position available Message-ID: <20090919200729.GA13197@cs.uky.edu> A PhD position is available at the University of Kentucky Computer Science Department (in Lexington, KY, USA) to work under the supervision of Professor Miroslaw Truszczynski on problems involving representing and reasoning about preferences. The position is funded for three years with the continued funding possible. Prerequisites include: a background in formal methods (logic, mathematics, AI), an MSc (or equivalent) in computer science, creativity and the ability to do research in a small group at a state university in the USA. If you are interested, please send an email with your CV, research statement and why you consider coming to the University of Kentucky. directly to Professor Truszczynski at . -- ====================================================================== Mirek Truszczynski Dept. of Computer Science e-mail: mirek at cs.uky.edu University of Kentucky http://www.cs.engr.uky.edu/~mirek Lexington, KY 40506-0046 phone: (859) 257-3961 USA fax: (859) 323-1971 ====================================================================== From amilcar at dei.uc.pt Sat Sep 19 23:23:33 2009 From: amilcar at dei.uc.pt (=?ISO-8859-1?Q?=22F._Am=EDlcar_Cardoso=22?=) Date: Sat, 19 Sep 2009 22:23:33 +0100 Subject: Final CfP: (Extended Deadline) Computational Creativity 2010 Message-ID: ----------------- [Apologies for Cross Posting] ICCC-X 1st International Conference on Computational Creativity Lisbon, Portugal, 7-9 January 2010 In cooperation with AAAI, ECCAI and APPIA http://creative-systems.dei.uc.pt/icccx # DEADLINE EXTENDED TO: September 26, 2009 # Call for Papers Although it seems clear that creativity plays an important role in developing intelligent computational systems, it is less clear how to model, simulate, or evaluate creativity in such systems. In other words, it is often easier to recognize the presence and effect of creativity than to describe or prescribe it. The purpose of this conference is to facilitate the exchange of ideas on the topic of computational creativity in a cross-disciplinary setting. It will bring together people from AI, Cognitive Science and related areas such as Psychology, Philosophy and the Arts who research questions related to the notion of creativity as it relates to computational systems. This focus on creativity in the context of computational systems has the potential for increasing innovation in existing fields of research as well as for defining new fields of study, including 1. Artificially Creative Systems: development of computational systems that produce or simulate creativity. These systems may be inspired by human creativity or by the possibilities of artificial systems beyond human capabilities. 2. Computational Models of Human Creativity: construction of cognitive models of human creativity that can be the basis for computational creativity. 3. Computational Systems for Supporting Creativity: production of user interfaces, interaction design, decision support, and data modeling techniques that lead to the development of intelligent assistants that support the user in being more creative. Topics Original contributions are solicited in all areas related to Computational Creativity, including but not limited to: 1. computational paradigms for understanding creativity, including heuristic search, analogical reasoning, and re-representation; 2. metrics, frameworks and formalizations for the evaluation of creativity in computational systems; 3. perspectives on creativity, including philosophy of computational creativity, models of human behavior, intelligent systems, and creativity-support tools; 4. the role of creativity in learning, innovation, improvisation, and other pursuits; 5. factors that enhance creativity, including conflict, diversity, knowledge, intuition, reward structures, and technologies; 6. social aspects of creativity, including the relationship between individual and social creativity, diffusion of ideas, collaboration and creativity, formation of creative teams, and simulating creativity in social settings; 7. specific applications to music, language and the arts, to architecture and design, to scientific discovery, to education and to entertainment; 8. detailed system descriptions of creative systems, including engineering difficulties faced, example sessions and artefacts produced, and applications of the system. The conference will include traditional paper presentations, will showcase the application of computational creativity to the sciences, creative industries and arts, and will incorporate a "show and tell" session, which will be devoted to demonstrations of computational systems exhibiting behaviour which would be deemed creative in humans. In addition the conference will provide a forum for identifying trends and opportunities for research on [computational] creativity and promising practices concerning the development of creative computational systems. Invited Speaker Our keynote speaker will be Nancy J. Nersessian, Regents' Professor and Professor of Cognitive Science, Georgia Institute of Technology, USA. Nancy is an expert on creativity and innovation in scientific processes. Submissions Please submit full papers of up to 10 sides in Springer LNCS format. We are also inviting short papers of up to 5 sides in Springer LNCS format. These can cover preliminary work, late-breaking results, short systems descriptions and interesting musings. Submission details (via easychair) are available on the conference website: http://creative-systems.dei.uc.pt/icccx Important Dates September 26, 2009 Submission deadline (extended) October 30, 2009 Authors' Notification November 22, 2009 Deadline for CRCs January 7-9, 2010 Conference Organising Committee General Chair: Geraint A. Wiggins (Goldsmiths, UK) PC Chair: Dan Ventura (Brigham Young, USA) Local Chair: Amilcar Cardoso (Coimbra, Portugal) Publicity Chair: Simon Colton (Imperial College, UK) Local Organisation Amilcar Cardoso (University of Coimbra, Portugal) Luís Macedo (University of Coimbra, Portugal) - Finance Paulo Pires (University of Coimbra, Portugal) - Sponsoring Jorge Ávila (University of Coimbra, Portugal) - Secretariate Senior Program Committee Rafael Pérez y Pérez (UAM Cuajimalpa, Mexico) Graeme Ritchie (University of Aberdeen, UK) Alison Pease (The University of Edinburgh, UK) Tony Veale (University College Dublin, Ireland) Program Committee John Barnden (University of Birmingham, UK) Ana Boa-Ventura (University of Texas, Austin, USA) David Brown (Worcester Polytechnic Institute, USA) Paul Brown (University of Sussex, UK) Win Burleson (Arizona State University, USA) John Collomosse (University of Bath, UK) Anna Feldman (Montclair State University, USA) Pablo Gervás (Universidad Complutense de Madrid, Spain) John Gero (George Mason University, USA) Ashok Goel (Georgia Institute of Technology, USA) Paulo Gomes (University of Coimbra, Portugal) Kaz Grace (University of Sydney, Australia) Fox Harrell (Georgia Institute of Technology, USA) Kyle Jennings (University of California, Berkeley, USA) Robert Keller (Harvey Mudd College, USA) Penousal Machado (University of Coimbra, Portugal) Brian Magerko (Georgia Institute of Technology, USA) Lorenzo Magnani (University of Pavia, Italy) Mary Lou Maher (National Science Foundation, USA) Ramon López de Mántaras (IIIA-CSIC, Spain) Ruli Manurung (University of Indonesia, Indonesia) Jon McCormack (Monash University - Clayton, Australia) David C. Moffat (Glasgow Caledonian University, UK) Nick Montfort (Massachusetts Institute of Technology, USA) Diarmuid O'Donoghue (National University of Ireland, Ireland) Francisco Câmara Pereira (University of Coimbra, Portugal) Luis Pineda (Universidad Nacional Autónoma de México, Mexico) Sarah Rauchas (Goldsmiths, University of London, UK) Joaquim Reis (ISCTE, Lisbon University Institute, Portugal) Mark Riedl (Georgia Institute of Technology, USA) Judy Robertson (Heriot-Watt University, UK) Juan Romero (Universidade da Coruña, Spain) Rob Saunders (University of Sydney, Australia) Ricardo Sosa (Tecnologico de Monterrey, Mexico) Oliviero Stock (Istituto per la Ricerca Scientifica e Tecnologica, Italy) Ron Sun (Rensselaer Polytechnic Institute, USA) Carlo Strapparava (Istituto per la Ricerca Scientifica e Tecnologica, Italy) Chris Thornton (University of Sussex, UK) ICCC Steering Committee Amilcar Cardoso (University of Coimbra, Portugal) Simon Colton (Imperial College London, UK) Pablo Gervás (Universidad Complutense de Madrid, Spain) Alison Pease (The University of Edinburgh, UK) Rafael Pérez y Pérez (UAM Cuajimalpa, Mexico) Graeme Ritchie (University of Aberdeen, UK) Rob Saunders (University of Sydney, Australia) Tony Veale (University College Dublin, Ireland) Dan Ventura (Brigham Young University, UT, USA) Geraint A. Wiggins (Goldsmiths, University of London, UK) Support ECCAI - European Coordinating Committee for Artificial Intelligence AAAI - American Association for Artificial Intelligence APPIA - Portuguese Association for Artificial Intelligence AECI - Ano Europeu para a Criatividade e Inovação CISUC - Centre for Informatics and Systems of the University of Coimbra UC - University of Coimbra FCT - Fundação para a Ciência e a Tecnologia Please consider submitting a paper to what we hope will be a very stimulating first conference in the computational creativity series. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From christian.guttmann at gmail.com Sun Sep 20 16:49:39 2009 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Sun, 20 Sep 2009 16:49:39 +0200 Subject: [agents] 2nd CFP for CARE 2009: COLLABORATIVE AGENTS -- RESEARCH and DEVELOPMENT Message-ID: <4AB64103.8010309@gmail.com> Apologies for multiple postings. ============================================================ International Workshop on COLLABORATIVE AGENTS -- RESEARCH and DEVELOPMENT (CARE) 2009 1. December, Melbourne, Australia *** Deadline might be shifted to the end of October!!! *** Abstract submission October 10, 2009 Full paper submission October 15, 2009 http://www.csse.monash.edu.au/~xtg/CARE2009/ ============================================================ NEWS 19/08/2009 – Invited Speaker PROFESSOR MICHAEL LUCK (King’s College, United Kingdom) 15/08/2009 – Announcement: BEST PAPER AWARD of 250$ CARE 2009 Submissions open at easychair: http://www.easychair.org/conferences/?conf=care2009 Summary ======= Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop’s thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity. This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. Some issues of interest of this workshop are: * How to enable agents to reach and maintain joint agreements in complex organisational and market driven domains. * How to develop a comprehensive agreement formation/maintenance framework applicable to many application domains. * How to build and extend MAS that work efficiently in partially regulated markets (instead of free or fully regulated markets). * How to identify and represent conceptual/formal components of organisational structures (e.g., health care and other service-oriented domains). * How organisational structures influence the negotiation of agents and the distribution/execution of tasks. * Similarly, what are the implications of a partially regulated market on negotiation/distribution/execution of tasks. * How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. * How to cope with unreliable and non-conformant collaborators, where agreements are made but are not always conformed with. * Which measures of optimality and efficiency are useful in evaluating models of collaboration by means of theory and simulation. * How can interventions and incentive structures assist in reaching and maintaining agreements. * How to assign transaction costs to actions in the planning, assignment, and execution stages (e.g., costs incurred by reaching and maintaining agreements). * How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. * Can lessons learnt in game theoretic computation inform collaborative agent settings. * How can agents collectively acquire knowledge about their social and physical environment, and their collaborative tasks. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop will foster open discussions among all participants, particularly encouraging students to discuss their research topics and to seek feedback from senior agent researchers. The workshop is held in conjunction with the 22nd Australasian Joint Conference on Artificial Intelligence AI09 (http://www.infotech.monash.edu.au/about/news/conferences/ai09/) Contact ======= CARE organisers care2009 at easychair.org Important Dates =============== *** Deadline might be shifted to the end of October!!! *** Abstract submission October 10, 2009 Full paper submission October 15, 2009 Notification November 10, 2009 Camera ready November 20, 2009 Topics of Interest include (but are not limited to): ==================================================== RESEARCH * Collaboration frameworks * Models of teamwork and joint action * Organisation/Institutes/Norms * Auctioning/Negotiation * Task/Resource allocation * Behaviour modelling/monitoring * Adherence/Intervention mechanisms * Incentive frameworks * Intervention mechanisms * Agreement technology * Contract networks/formation * Cloud computing APPLICATION AREAS * Collaborative care planning/management * Disaster planning/management * Traffic planning/management * Transport/Logistics * Applications in primary and preventative healthcare * Chronic disease planning/management * Epidemiological agent models * Unmanned air/land vehicles * Robotic soccer/Robotic rescues * Weather forecast * Artificial and natural immune systems * Social networks (e.g., LinkedIn, Facebook,...) * Smart grid network (e.g., electricity/gas metering) Submission and Publication ========================== Submission is to be done electronically at EasyChair at: http://www.easychair.org/conferences/?conf=care2009. Submissions should be formatted according to LNCS specification and submitted as a PDF file. Instructions and templates can be found at: www.springer.de/comp/lncs/authors.html. CARE 2009 seeks two types of submissions. - Full paper of 8-12 pages. - Short paper of 2-4 pages (such as position and early result papers) are welcome with the option of extending it to a full paper for the post-proceedings. Submissions will be peer-reviewed by three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Since this workshop is associated with the AI'09 conference, accepted papers should be relevant to the AI research community. Accepted papers will be published in the workshop proceedings. CARE 2009 plans to offer a best paper award for the best full paper submission, and a selection of papers is planned to be published as post-proceedings with a major international publisher, subject to an appropriate number and quality of submissions. Workshop Officials ================== GENERAL CHAIR Christian Guttmann (Monash University, Australia) CO-CHAIRS Michael Georgeff (PrecedenceHealthCare, Australia) Frank Dignum (University Utrecht, Netherlands) PROGRAM COMMITTEE Philippe Pasquier (Simon Fraser University, Canada) Iyad Rahwan (British University of Dubai, United Arab Emirates) Kobi Gal (Harvard University, United States of America) Simon Thompson (British Telecom Research Laboratories, United Kingdom) Cees Witteveen (Delft University of Technology, Netherlands) Mathijs de Weerdt (Delft University of Technology, Netherlands) Gord McCalla (University of Saskatchewan, Canada) Andrew Gilpin (Hg Analytics, United States of America) David Morley (SRI International, United States of America) Kumari Wickramasinghe (Monash University, Australia) Liz Sonenberg (Melbourne University, Australia) Sascha Ossowski (University Rey Juan Carlos, Spain) Samin Karim (Accenture, Australia) Lawrence Cavedon (NICTA and RMIT University, Australia) Michael Winikoff (University of Otago, New Zealand) Rafael Bordini (Federal University of Rio Grande do Sul, Brazil) Wayne Wobcke (University of New South Wales, Australia) Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil) more to be announced... Sponsors ======== School of Primary Health Care, Monash University, Australia The Finkel Foundation, Australia PrecedenceHealthCare, Australia -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ +61 (0) 417375679 From mchan at inf.ed.ac.uk Sun Sep 20 17:24:25 2009 From: mchan at inf.ed.ac.uk (Michael Chan) Date: Sun, 20 Sep 2009 16:24:25 +0100 Subject: 1st CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies. Message-ID: <4AB64929.2050007@inf.ed.ac.uk> Apologies for cross-postings ------------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------------ Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies http://dream.inf.ed.ac.uk/events/wmm-2010 31st March 2010, part of AISB'10 Convention, Leicester, UK OVERVIEW The problem of semantic misalignment - of two (or more) systems failing to understand one another when their semantic representation is not identical - occurs in a huge variety of areas: the Semantic Web, databases, natural language processing; anywhere, indeed, where semantics are necessary but centralised control is undesirable or impractical. In highly dynamic domains, where interactions are between a large, diverse and evolving community, there is a need for the resolving of these misalignments - through developing and evolving existing ontologies or interpreting unknown ontologies in terms of known ones - to be done automatically and on-the-fly. The aim of this workshop is to bring together researchers interested in the problems of automated development, evolution and interpretation of ontologies in the many different domains in which it occurs. We are primarily interested in the exchange of ideas and the stimulation of debate, and the workshop is intended to be a forum for researchers to present ongoing work and ideas and to engage in discussion with other researchers from the field. We are particularly interested in novel ideas and innovative research, which may be in its early stages, and encourage reports on work in progress. Topics of interest include: * Ontology evolution * Ontology matching and alignment * Ontology versioning * Representational or structural change * Formal aspects of ontology dynamics * Formalisation of and reasoning with contexts * Foundational issues * Social and collaborative matching * Background knowledge in matching * Extensions to ontology languages to better support change * Non-monotonic reasoning for ontologies and the Semantic Web * Inconsistency handling in evolving ontologies * Uncertainty in matching * Change propagation in ontologies and metadata * Ontologies for dynamic environments * Dynamic knowledge construction and exploitation * Matching for dynamic applictions (e.g., p2p, agents, web-services) * Case studies, software tools, use cases, applications * Open problems SUBMISSION GUIDELINES We encourage the submission of extended abstracts of 2-5 pages that discuss ongoing research, problem descriptions and overviews of the domain. Accepted papers will be included in the AISB 2010 proceedings unless the authors prefer them not to be (for example, if the work is very similar to work presented elsewhere which they nevertheless feel it would be valuable to present in this context, or if the work is at a stage where discussion would be valuable but publication would be premature). Authors wishing their submissions to be included in the convention proceedings must follow the style guide on the convention website. Submissions will be subject to light reviewing, mainly intended to check fit to workshop. Abstracts should be submitted electronically in pdf format to mchan-at-ed.ac.uk by 18th December 2009. Notification of acceptance will be sent to the submitting author on 15th February 2010. VENUE The workshop will take place at De Montfort University in Leicester, as part of the AISB 2010 Convention (http://www.aisb.org.uk/convention/aisb10/), from March 31st to 1st April, 2010. All workshop participants must be registered for the AISB 2010 Convention. Registration for this workshop is included in the convention registration fee. IMPORTANT DATES Submission: Friday, 18th December 2009 Notification: Monday, 15th February 2010 Workshop: 31st March - 1st April 2010 AISB10 Convention: 29th March - 1st April 2010 PROGRAMME Presentations: Authors of accepted abstracts will give presentations of their work; exact times to be decided. Posters: If it is not possible to fit in presentations for all accepted authors, some may be asked to present posters instead. There will be a session of 5 minute poster talks. Panel: The technical programme will end with a 90 minute panel discussion on a topic of mutual interest to be decided. Three speakers will speak for 10 minutes each with a brief to stimulate debate during the remaining 60 minutes. Discussion amongst all participants, rather than question-and-answering for the panel, will be strongly encouraged. ORGANISERS Fiona McNeill, University of Edinburgh, UK Michael Chan, University of Edinburgh, UK PROGRAMMING COMMITTEE Manuel Atencia Arcas, IIIA-CSIC, Spain Paolo Besana, University of Edinburgh, UK Alan Bundy, University of Edinburgh, UK Jerome Euzenat, INRIA Grenoble Rhone-Alpes, France Fausto Giunchiglia, University of Trento, Italy Adam Pease, Articulate Software, USA Pavel Shvaiko, TasLab, Informatica Trentina, Italy -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From jsabater at iiia.csic.es Mon Sep 21 10:42:34 2009 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Mon, 21 Sep 2009 10:42:34 +0200 Subject: [AAMAS-2010] - Call for workshops proposal Message-ID: <256062402864233158026@Galvatron> (apologies for multiple postings) ------------------------------------------------------------------------- AAMAS 2010 - Call for Workshop Proposals ------------------------------------------------------------------------- The AAMAS-2010 Organizing Committee invites proposals for the Workshop Program to be held on May 10-11, 2010 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2010 workshops is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2010 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. AAMAS 2010 will be co-located with KR, NMR, ICAPS, FOIS, (all in Toronto) and DL 2010 (in Waterloo, Ontario, Canada), and welcomes proposals that cater to the broader community across these areas. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics catering to the broader community represented by the co-located events are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants only. -------------------------------------------------------- Important Dates for Workshops -------------------------------------------------------- OCTOBER 31, 2009 - Proposal Submission Deadline NOVEMBER 30, 2009 - Acceptance Notification DECEMBER 11, 2009 - Deadline for posting Workshops Call for Papers DECEMBER 11, 2009 - AAMAS-2010 Workshops Program Announced FEBRUARY, 2, 2010 - Submission of contributions to workshops MARCH 2, 2010 - Workshop paper acceptance notification MARCH 19, 2010 - Deadline for complete workshop notes submission to the workshop chair Workshop chair MARCH 19, 2010 - Deadline for posting a Call for Participation MAY 10-11, 2010 - AAMAS-2010 WORKSHOPS ---------------------------------------------------------------------------------------------- AAMAS-2010 Workshops Requirements for Submission ---------------------------------------------------------------------------------------------- Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: - Title of the workshop. - A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. - A discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference?), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issue). - A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. - Description of paper review process and acceptance standards. - If available, a list of tentatively confirmed attendees. - The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. -The name of the primary contact for the organizing committee (this person must have an email address). - A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. - List of potential program committee members, including their title and affiliations. - Expected duration of the workshop (half or full day). - A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2010 Workshop Chair: Kagan Tumer ( kagan.tumer at oregonstate.edu ) as soon as possible but no later than: Saturday October 31, 2009. Prospective organizers will be notified of the committee's decision no later than: Monday November 30, 2009. The selection of the workshops to be included in the final AAMAS program will be based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovativeness of workshop topics, the cross-disciplinary nature of the workshop, and the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals. ----------------------------------------------------------------------------------------- Responsibilities of AAMAS and workshop organizers ----------------------------------------------------------------------------------------- For all accepted proposals, AAMAS will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistic support and a meeting place for the workshop. - Together with the organizers, determining the workshop date and time. Workshop organizers will be responsible for: -Setting up a website for the workshop. -Advertising the workshop and issuing a call for papers (by DECEMBER 11, 2009) and a call for participation (by MARCH 19, 2010). -Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. All workshop organizers commit themselves to adopt the same deadlines for paper submissions and notifications of acceptance, i.e., FEBRUARY 2, 2010: Submissions of contributions to workshops; MARCH 2, 2010: Notifications - Making the PDF of the whole workshop notes available to the workshops chair by MARCH 19, 2010, as well as a list of audio-visual requirements and any special room requirements. The AAMAS-2010 workshop notes will be included in the flash drive containing the AAMAS-2010 conference proceedings. To that end, please include the following sentence in your call for papers: "Workshop notes including all accepted papers will be distributed to AAMAS-2010 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants." - Ensuring that the workshop notes or individual papers are available from the workshops websites, as appropriate. Though the workshop notes will appear on the flash drive distributed to conference attendees, the workshop notes will not be hosted on the IFAAMAS website. - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few paying attendees register for the workshop to support its running costs. ---------------------------------------------- Submissions and Inquiries ---------------------------------------------- Please send proposals and inquiries to: Kagan Tumer Oregon State University kagan.tumer at oregonstate.edu From epontell at cs.nmsu.edu Wed Sep 23 16:50:31 2009 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Wed, 23 Sep 2009 08:50:31 -0600 Subject: DAMP 2010 - Extended Deadline [September 27th] Message-ID: <006e01ca3c5d$364f9250$a2eeb6f0$@nmsu.edu> DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January, 2010 damp10.cs.nmsu.edu ---------------------------------------------------------------------- Extended DEADLINE: SEPTEMBER 27, 2009 ---------------------------------------------------------------------- The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2010 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Paper submission: Sept. 27 Notification to authors: Oct. 26 Camera ready: Nov. 9 Program Chair: Enrico Pontelli New Mexico State University General Chairs: Leaf Petersen Intel Corporation Santa Clara, CA, USA Program Committee: Manuel Carro Universidad Politecnica de Madrid Clemens Grelck University of Hertfordshire Haifeng Guo University of Nebraska at Omaha Gabriele Keller University of New South Wales Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen Leaf Petersen Intel Corporation John Reppy University of Chicago Ricardo Rocha University of Porto Kostis Sagonas National Technical University of Athens Vitor Santos Costa University of Porto Satnam Singh Microsoft Research Philip Trinder Heriot-Watt University Pascal Van Hentenryck Brown University URL: http://damp10.cs.nmsu.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From elvira at unizar.es Wed Sep 23 17:40:17 2009 From: elvira at unizar.es (Elvira Mayordomo) Date: Wed, 23 Sep 2009 17:40:17 +0200 Subject: CiE 2010 in Azores - First Call for Papers In-Reply-To: <4ABA3D44.7000903@unizar.es> References: <4ABA3D44.7000903@unizar.es> Message-ID: <964b91010909230840s3b9ff999xcf458286435eafb9@mail.gmail.com> ---------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal June 30 to July 5 2010 http://www.cie2010.uac.pt/ Deadline for submissions: 20 JANUARY, 2010 ---------------------------------------------------------------------------- Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. TUTORIALS: Jeffrey Bub (Information, Computation, and Physics), Bruno Codenotti (Computational Game Theory). CONFIRMED INVITED SPEAKERS: Eric Allender, Jose L. Balcázar, Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald de Wolf, SPECIAL SESSIONS on Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan Computational Complexity, organizers: Alan Selman, Elvira Mayordomo Computability of the Physical, organizers: Barry Cooper, Cris Calude Proof Theory and Computation, organizers: Martin Hyland, Fernando Ferreira Reasoning and Computation from Leibniz to Boole, organizers: N.N. Web Algorithms and Computation, organizers: Martin Olsen, Thomas Erlebach. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. We particularly invite papers that build bridges between different parts of the research community. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors. The Elsevier Foundation is supporting the CiE conference series in the programme "Increasing representation of female researchers in the computability community". This programme will allow us to fund child-care support, a mentoring system for young female researchers, and also a small number of grants for female researchers, covering their registration fees. The dates around the submission process are as follows: Submission Deadline: 20 January 2010 Notification of Authors: 18 March 2010 Deadline for Final Version: 8 April 2010 CiE 2010 conference topics include, but not exclusively: * Admissible sets * Analog computation * Artificial intelligence * Automata theory * Classical computability and degree structures * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational complexity * Computational learning and complexity * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Mathematical models of emergence * Molecular computation * Natural computing * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebra * Programming language semantics * Proof mining * Proof theory and computability * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Swarm intelligence * Type systems and type theory * Uncertain reasoning * Weak arithmetics and applications Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann (Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook (Toronto ON), Barry Cooper (Leeds), Erzsébet Csuhaj-Varjú (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome), Luís Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo (Paris), Benedikt Löwe (Amsterdam), Elvira Mayordomo Cámara (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon), João Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht) The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2010. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. Authors of accepted papers are expected to present their work at the conference. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. All papers need to be prepared in LNCS-style LaTeX. Papers should not exceed 10 pages; full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Every paper that has only student authors is eligible for the "CiE 2010 Best Student Paper Award". If your submission satisfies the requirements, please submit your paper in the category "Regular paper (eligible for Best Student Paper Award)". The Programme Committee will select the best submission among these after notification. The recipient of the Best Student Paper Award will get a fee waiver of the registration fee, a certificate, and a small symbolic cash prize. Submissions authored or co-authored by members of the Programme Committee are not allowed. -- --------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Wed Sep 23 22:24:55 2009 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 23 Sep 2009 22:24:55 +0200 Subject: CfP: MIWAI 2009 Message-ID: <4ABA8417.1060304@in.tu-clausthal.de> ================================================================== Apologies for multiple copies due to cross postings ================================================================== Dear Colleague, Following on from the success of the 1st and 2nd Mahasarakham International Workshops on AI (MIWAI 2007,http://www.miwai.org, MIWAI 2008, http://www.it.msu.ac.th/miwai2008/index.html), we are delighted to announce the 2009 edition of the event. Please find the Call for Papers below. Submission of full papers is now due on October 11, 2009. The workshop will take place in Mahasarakham, Thailand on December 10-11, 2009. We will also be grateful to you for advertising MIWAI 2009 and inviting your colleagues and/or research students to submit their work and participate in the event. The MIWAI09 homepage may be found here http://khamreang.msu.ac.th/miwai09 This year's MIWAI will take place inbetween the Australasian AI Conference (AI'09) in Melbourne, Australia and the International Conference on Principles of Practice in Multi-Agent Systems (PRIMA'09) in Nagoya, Japan. We look forward to receiving your submission. Best regards, Natthariya Laopracha MIWAI 2009 Publicity Chair Richard Booth and Chattrakul Sombattheera MIWAI 2009 Program Chairs ================================================================== The Third Mahasarakham International Workshop on AI (MIWAI'09) Call for Papers: MIWAI 2009 ================================================================== December 10-11, 2009 Mahasarakham, Thailand Contact: richard.b at msu.ac.th, chattrakul.s at msu.ac.th Homepage: http://khamreang.msu.ac.th/miwai09 ================================================================== Invited Speakers ================================================================== Patrick Doherty Linkoping University, Sweden, http://www.ida.liu.se/~patdo/patdosite1/index.html Ryohei Nakatsu National University of Singapore, http://www.idmi.nus.edu.sg/ourpeople/prof_nakatsu.htm ================================================================== Important Dates: ================================================================== Papers due (extended): October 11 2009 Author notification: November 8 2009 Camera-ready papers due: November 22 2009 Registration deadline: November 29 2009 Workshop dates: December 10-11 2009 ================================================================== About MIWAI ================================================================== Artificial Intelligence (AI) research has broad applications on real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The advances in AI research have been driven partially by our passionate enthusiasm and have been thriving recently. On the other hand, the ever evolving needs in business both in local and global scale have been demanding for better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. The focus of MIWAI'09 will be fairly broad, taking in all sub-topics of AI. The programme aims at high quality research publications in AI of both technical and applied natures. ================================================================== About Mahasarakham ================================================================== Mahasarakham is a city in the northeast of Thailand in the so-called "Isan" region of the country. Mahasarakham University (http://www.msu.ac.th) is a major centre of learning in the region and its Faculty of Informatics (http://www.it.msu.ac.th) is currently enjoying an exciting period of growth, with a blossoming research culture now complementing its traditional teaching strengths. The town itself boasts many temples, as well as numerous restaurants selling delicious Isan food. It is also renowned for its silk and handicraft. ================================================================== Topics of Interest ================================================================== The research areas in AI include but not limited to: -Agent-based simulation -Agent-oriented software engineering -Agents and Web services -Agent-based electronic commerce, auctions and markets -AI in video games -Constraint satisfaction -Decision theory -Distributed AI -E-Commerce and AI -Game theory -Internet/WWW intelligence -Industrial applications of AI -Intelligent tutoring -Knowledge representation and reasoning -Machine learning -Multiagent planning and learning -Multiagent systems and their applications -Multiagent systems and evolving intelligence -Natural language processing -Neural networks -Planning and scheduling -Robotics -Web services ================================================================== Submission Requirements ================================================================== Submissions of the following two categories are invited: Category A: REGULAR PAPERS ------------------------------------------------------------------ Papers presenting new original work. Submitted papers should not exceed a length of 12 pages, formatted in the IEEE style (latex and MS Word templates available for download from http://khamreang.msu.ac.th/miwai09/submission.html). These papers will be reviewed on overall quality and relevance. Reviewing will be double-blind, meaning names and institutions of authors should not appear in the submitted paper. All accepted papers will be fully published in the proceedings. Category B: COMPRESSED CONTRIBUTIONS ------------------------------------------------------------------ Papers that have recently been accepted for AI-related refereed conferences (e.g., IJCAI 2009, PRIMA 2009) or journals can be resubmitted and will be accepted as "compressed contributions". Authors are invited to submit the published version (without page or format restriction). The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. The language of the workshop is English. Papers written in any other language will not be accepted. The workshop proceedings will be published with ISBN number. At least one author of each accepted paper (in both submission categories) is required to attend the workshop. ================================================================== Submission Instructions ================================================================== Submission will be handled via EasyChair. Please send an electronic pdf copy via the submission page http://www.easychair.org/conferences/?conf=miwai09. (If you do not already have one, you will be first asked to register an EasyChair account on this submission page.) Be sure to tick the box stating clearly to which of the 2 submission categories your submission belongs. Submission deadline is October 11, 2009. ================================================================== Publication ================================================================== MIWAI 2009 workshop proceedings will be distributed at the event. We intend to invite authors of the best papers to submit revised and extended versions of their papers for a special issue of a suitable journal. ================================================================== Committees ================================================================== ------------------------------------------------------------------ Advisory Commitee ------------------------------------------------------------------ -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok) -Wirat Pongsiri(Mahasarakham, Thailand) -Sujin Butdeesuwan (Mahasarakham, Thailand) -Somnuk Puangpronpitag (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Co-Chairs ------------------------------------------------------------------ -Richard Booth (Mahasarakham, Thailand) -Chattrakul Sombattheera (Mahasarakham, Thailand) ------------------------------------------------------------------ Publicity Chair ------------------------------------------------------------------ -Natthariya Laopracha (Mahasarakham, Thailand) ------------------------------------------------------------------ Program Committee ------------------------------------------------------------------ -Arun Agarwal (Hyderabad, India) -Samir Aknine (Paris 6, France) -Veera Boonjing (KMITL, Bangkok) -Roger Boyle (Leeds, UK) -Rapeeporn Chamchong (Mahasarakham, Thailand) -Chee Fon Chang (Wollongong, Australia) -Yann Chevaleyre (LAMSADE, Paris, France) -Sirapat Chiewchanwattana (Khon Kaen, Thailand) -Krisana Chinnasarn (Burapha, Thailand) -Matthew Dailey (AIT, Thailand) -Aniruddha Dasgupta (Wollongong, Australia) -Juergen Dix (Clausthal, Germany) -Phan Minh Dung (AIT, Thailand) -Sachio Hirokawa (Kyushu, Japan) -Andreas Herzig (IRIT, Toulouse, France) -Wiebe van der Hoek (Liverpool, UK) -Sarun Intakosum (KMITL, Bangkok) -Boonserm Kijsirikul (Chulalongkorn University, Bangkok) -Jerome Lang (LAMSADE, Paris, France) -Kittichai Lavangnananda (KMUTT, Thailand) -Fangzhen Lin (HKUST, Hong Kong) -Chidchanok Lursinsap (Chulalongkorn University, Bangkok) -Yuji Matsumoto (Nara Institute of Science and Technology, Japan) -Jerome Mengin (IRIT, Toulouse, France) -Debajyoti Mukhopadhyay (Calcutta Business School, India) -Ryohei Nakatsu (NUS, Singapore) -Vineet Nair (Hyderabad, India) -Juggapong Natwichai (Chiang Mai, Thailand) -Supawan Phonphitakchai (Naresuan University, Thailand) -Jiratta Phuboon-Ob (Mahasarakham, Thailand) -Ouen Pinngern (Ramkhamhaeng University, Bangkok) -Guilin Qi (Southeast University, Nanjing, China) -Iyad Rahwan (Edinburgh, UK and British University in Dubai) -Umaporn Saisangchan (Mahasarakham, Thailand) -Jun Shen (Wollongong, Australia) -Sukree Sinthupinyo (Chulalongkorn University, Bangkok) -Siriwan Suebnukarn (Thammasat University, Bangkok) -Khamron Sunat (Mahanakorn University of Technology, Bangkok) -Boontawee Suntisrivaraporn (SIIT, Bangkok) -Leon van der Torre (Uni Luxembourg) -Paul Weng (Paris 6, France) -Dongmo Zhang (Western Sydney, Australia) From inap2009 at di.uevora.pt Mon Sep 28 12:19:22 2009 From: inap2009 at di.uevora.pt (INAP 2009) Date: Mon, 28 Sep 2009 11:19:22 +0100 Subject: INAP 2009: CALL FOR PARTICIPATION Message-ID: <200909281019.n8SAJMug005553@host.di.uevora.pt> --- CALL FOR PARTICIPATION --- INAP 2009 18th International Conference on Applications of Declarative Programming and Knowledge Management November 5-7, 2009 Evora, Portugal http://www.di.uevora.pt/inap2009/ http://inap.dialogengines.com/ Organized by the Portuguese AI Society (APPIA), the INAP Committee and the Society of Logic Programming (GLP e.V.) == Registration == Registration is now open; see details on the web site. Early registration is available until October 15, 2009. == INAP 2009 == INAP is a communicative and dense forum for intensive discussion of applications of important technologies related to Logic and Constraint Programming as well as closely related advanced software. It comprehensively covers the impact of declarative programming methods and tools in the Internet Society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. INAP 2009 continues a tradition of successful workshops cast around the applications of declarative programming, which were held in Kobe (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka (2005) and Wuerzburg (2007). == Workshop Program == Besides the regular presentations, the conference will host invited talks by Antonio Porto and Terrance Swift. The provisional program, including the list of accepted papers may be consulted on the web at http://www.di.uevora.pt/inap2009/program-0.html Hotel and travel information is available on the web site as well. Looking forward to see you at the conference! Dietmar Seipel and Salvador Abreu Conference Chairs, INAP 2009 From ulle.endriss at uva.nl Mon Sep 28 18:33:34 2009 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Mon, 28 Sep 2009 18:33:34 +0200 Subject: ECAI-2010: 2nd Call for Workshop Proposals (deadline: 11 December 2009) Message-ID: <4AC0E55E.5000906@uva.nl> [Please distribute widely and accept our apologies for cross-posting.] ###################################################################### ## ECAI-2010 ## 2nd Call for Workshop Proposals ## ECAI-2010 ## ###################################################################### The Nineteenth European Conference on Artificial Intelligence 16-20 August 2010 ## Lisbon, Portugal http://ecai2010.appia.pt/ Deadline for workshop proposals: 11 December 2009 ###################################################################### ## INTRODUCTION ## ###################################################################### The nineteenth biennial European Conference on Artificial Intelligence (ECAI-2010) will take place on 16-20 August 2010 in Lisbon, Portugal. We invite proposals for workshops to be held during the first two days of the conference. Artificial Intelligence (AI) is a central topic in contemporary computer science and informatics. The fruits of fifty years of AI research have benefited application domains as disparate as industrial systems control and medicine. The milestone events in AI research are increasingly regarded as milestones in human scientific and technological development: from the first chess playing program to defeat a reigning world champion under standard chess tournament rules, to the first robot to autonomously traverse 150 miles of rough terrain. Techniques, results, and concepts developed under the banner of AI research have proved to be of fundamental importance in areas such as economics, philosophy, linguistics, psychology, and logical analysis. And of course, AI remains a topic of perennial fascination in popular culture. Initiated in 1974, the biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI-2010 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), and an extensive programme of workshops, tutorials, and invited speakers. ECAI-2010 will be held in the beautiful and historic city of Lisbon, Portugal. With excellent opportunities for sightseeing and gastronomy, Lisbon promises to be a wonderful venue for a memorable conference. ###################################################################### ## WORKSHOPS @ ECAI-2010 ## ###################################################################### Workshop proposals by all members of the international AI community are welcome. There is no restriction regarding topics, as long as there is clear relevance to ECAI. Most workshops will follow the classical format of presentations of peer-reviewed papers followed by discussion, but other formats (e.g., AI competitions) and entirely new ideas are also welcome. Whatever the format, all workshops should be interactive events and ample time should be allocated to discussion. The typical duration for a workshop is one full day, but two-day workshops can also be accommodated. If you are considering to propose a workshop or if you have any questions, please do not hesitate to get in touch with the ECAI-2010 Workshop Chair, Ulle Endriss (ulle.endriss at uva.nl). ###################################################################### ## IMPORTANT DATES ## ###################################################################### 11 Dec 2009: workshop proposals due (early submissions are welcome!) 15 Jan 2010: workshop proposal notifications sent 29 Jan 2010: all workshop websites to be operational 29 Jan 2010: 1st call for papers to be posted for all workshops 1 Feb 2010: announcement of ECAI-2010 workshop programme 7 May 2010: workshop paper submission deadline (suggestion) 7 Jun 2010: notifications on workshop paper submissions (suggestion) 1 Jul 2010: workshop proceedings to be sent to workshop chair The paper submission and notification deadlines are suggestions only. However, the paper deadline must be after the ECAI notification date (30 April 2010) and the notifications must be sent before the ECAI early registration deadline (15 June 2010). ###################################################################### ## HOW TO PROPOSE A WORKSHOP ## ###################################################################### Please submit your proposal as a single PDF file via Easychair: http://www.easychair.org/conferences/?conf=ecai2010ws Each proposal should include the following information: (1) Title of the workshop (and acronym). (2) Names, affiliations, and contact details of the organisers (please indicate a primary contact person to whom correspondence should be directed). (3) Short description: What is the topic of the workshop? What is the format (peer-reviewed papers, poster sessions, invited talks, panels, competitions, ...)? (4) History of this workshop and related events: Is this the first workshop of its kind or is this part of a series? What are the most closely related workshops or similar events that have taken place over the past three years? What other closely related events will take place in 2010 (as far as you know)? (5) Size: How many people do you expect to attend? How many papers (or posters, competition entries, ...) do you expect to be submitted? What are your estimates based on? If applicable, please indicate attendance/submission numbers for previous editions. (6) Duration: 1 or 2 days (this can be revised later on if required). (7) Experience of the organisers: Please briefly argue why you are the right people to organise this workshop (scientific standing, previous events organised, ...). (8) Draft of the Call for Papers: This should include a description of the scientific goals of the workshop, the target audience, the topics to be covered, the reviewing process (if applicable), and a tentative list of Programme Committee members (please indicate who has already given their consent to serve on the PC). (9) Anything else that you feel is important! ###################################################################### ## FURTHER INFORMATION FOR WORKSHOP ORGANISERS ## ###################################################################### Proceedings: Informal proceedings will be printed by the ECAI-2010 local organisers. The workshop organisers should deliver a single PDF with the proceedings by the deadline. The default expectation is that proceedings will be no more than 200 pages, but exceptions (e.g., in case of large workshops) are possible. Please contact the workshop chair early on to request any such extensions. Registration: To avoid misunderstandings, please note that all workshop participants, including the organisers, are required to register for both the workshop and the main conference. However, we can arrange for a free workshop (not conference) registration for an invited speaker or similar. Cancellations: Please understand that we may have to cancel a workshop if not enough participants register or if deadlines are not met. ###################################################################### -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From evomusart at yahoo.com Mon Sep 28 19:12:39 2009 From: evomusart at yahoo.com (Penousal Machado) Date: Mon, 28 Sep 2009 10:12:39 -0700 (PDT) Subject: EvoMusArt 2010: 2nd Call for Papers Message-ID: <614662.63422.qm@web59408.mail.ac4.yahoo.com> EvoMUSART 2010 8th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design 7-9 April, 2010, Istanbul, Turkey http://www.evostar.org ---------------------------------------------------------------------- INTRODUCTION ---------------------------------------------------------------------- EvoMUSART 2010 is the eighth European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design. Following the success of previous editions and the growth of interest in the field, the main goal of EvoMUSART 2010 is to bring together researchers who are using biologically inspired techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in this area. EvoMUSART 2010 will be held from 7-9 April, 2010 in Istanbul, Turkey as part of the European Conference on the Applications of Evolutionary Computation, EvoApplications 2010. Accepted papers will be presented orally at the conference and included in the EvoApplications proceedings, published by Springer Verlag in the Lecture Notes in Computer Science series. EvoMUSART 2010 important dates are: Submission deadline: November 4, 2009 Conference: 7-9 April, 2010 ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- The papers should concern the use of bio-inspired techniques (Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, etc.) in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: - Generation o Biologically Inspired Design and Art-Making Systems that create drawings, images, animations, sculptures, poetry, text, objects, designs, webpages, buildings, etc.; o Biologically Inspired Sound-Generators and Music-Systems that create music, aggregate sound, or simulate instruments, voices, effects, etc; o Robotic Based Evolutionary Art and Music; o Other related generative techniques; - Theory o Computational Aesthetics, Emotional Response, Surprise, Novelty; o Representation techniques; o Comparative analysis and classification; o Validation methodologies; o New biologically inspired computation models in art, music and design; - Computer Aided Creativity o New ways of integrating users into evolutionary computation art and music frameworks; o Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; o Collaborative distributed artificial art environments; - Automation o Techniques for automated fitness assignment; o Systems that exploit biologically inspired computation to analyze artistic objects and artifacts; ---------------------------------------------------------------------- ADDITIONAL INFORMATION AND SUBMISSION DETAILS ---------------------------------------------------------------------- Submit your manuscript, at most 10 A4 pages long, in Springer LNCS format no later than November 4, 2009. Formatting instructions available at: http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 The papers will be peer reviewed by at least three members of the program committee. Authors will be notified via email on the results of the review by 20 December 2009. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts, along with text sources and pictures, by 10 January 2010. The accepted papers will appear in the event proceedings, published in Springer LNCS Series, which will be available at the event. Further information, including the Online Submission Details, can be found on the following pages: Evo*2010: http://www.evostar..org EvoMUSART2010: http://dces.essex.ac.uk/research/evostar/evomusart.html ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- Submission: 4 November 2009 EvoMUSART: 7-9 April 2009 ---------------------------------------------------------------------- PROGRAMME COMMITTEE ---------------------------------------------------------------------- Alain Lioret, Paris 8 University, France Alan Dorin, Monash University, Australia Alejandro Pazos, University of A Coruna, Spain Amilcar Cardoso, University of Coimbra, Portugal Amy K. Hoover, University of Central Florida, USA Andrew Gildfind, Google, Inc., Australia Andrew Horner, University of Science & Technology, Hong Kong Anna Ursyn, University of Northern Colorado, USA Antonino Santos, University of A Coruna, Spain Artemis Sanchez Moroni, Renato Archer Research Center, Brazil Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carlos Grilo, Instituto Politécnico de Leiria, Portugal Christian Jacob , University of Calgary, Canada Colin Johnson, University of Kent, UK Craig Kaplan, University of Waterloo, Canada David Hart, Independent Artist, USA Eduardo Miranda, University of Plymouth, UK Eleonora Bilotta , University of Calabria, Italy Erwin Driessens, Independent Artist, Netherlands Gary Nelson, Oberlin College, USA Gerhard Widmer, Johannes Kepler University Linz, Austria Hans Dehlinger, Independent Artist, Germany James McDermott, University of Limerick, Ireland Jon McCormack, Monash University, Australia Jonatas Manzolli , UNICAMP, Brasil Jorge Tavares, University of Coimbra, Portugal Juan Romero, University of A Coruna, Spain Kenneth O. Stanley, University of Central Florida, USA Luigi Pagliarini, Pescara Electronic Artists Meeting & University of Southern Denmark, Italy Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Mauro Annunziato, Plancton Art Studio, Italy Nicolas Monmarché, University of Tours, France Oliver Bown, Monash University, Australia Pablo Gervás, Universidad Complutense de Madrid , Spain Palle Dahlstedt, Göteborg University, Sweden Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa , Portugal Peter Bentley, University College London , UK Philip Galanter, Texas A&M College of Architecture, USA Rafael Ramirez, Pompeu Fabra University, Spain Ruli Manurung, University of Indonesia, Indonesia Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, Multimedia University, Malaysia Stefano Cagnoni, University of Parma, Italy Stephen Todd, IBM, UK Steve DiPaola, Simon Fraser University, Canada Tim Blackwell, Goldsmiths College, University of London, UK Vic Ciesielski, RMIT, Australia ---------------------------------------------------------------------- EvoMUSART CHAIRS ---------------------------------------------------------------------- Penousal Machado University of Coimbra, Portugal Machado AT dei DOT uc DOT pt Gary Greenfield University of Richmond, USA ggreenfi AT richmond DOT edu From vfgo at imm.dtu.dk Tue Sep 29 11:30:28 2009 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Tue, 29 Sep 2009 11:30:28 +0200 Subject: PhD positions at the Department of Informatics and Mathematical Modelling, Technical University of Denmark Message-ID: PhD POSITIONS AT THE TECHNICAL UNIVERSITY OF DENMARK (DTU) Several PhD scholarships are available at the Department of Informatics and Mathematical Modelling (DTU Informatics, see http://www.imm.dtu.dk/English.aspx), with a starting date in the spring 2010. The deadline for applications is October 14, 2009. Details regarding the positions, requirements, and application procedure, can be found on http://www.imm.dtu.dk/Om_IMM/Ledige_stillinger.aspx?guid=54a94dc6-3893-4966- bbfe-d96f66fa6ca0 I am looking for candidates for PhD studies under my supervision on a wide range of possible topics in the general field of theory and applications of modal and temporal logics to computer science, artificial intelligence, and multi-agent systems. Those interested in applying should contact me asap on vfgo(at)imm.dtu.dk. Valentin Goranko. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: