From richard.booth at uni.lu Mon Oct 4 10:53:36 2010 From: richard.booth at uni.lu (Richard Booth) Date: Mon, 4 Oct 2010 10:53:36 +0200 Subject: BNAIC 2010 - CALL FOR PARTICIPATION Message-ID: Apologies for cross-posting **************************************************************** ***************************************************************** CALL FOR PARTICIPATION ***************************************************************** The 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010) Luxembourg, October 25-26 2010 http://bnaic2010.uni.lu ***************************************************************** CALL FOR PARTICIPATION BNAIC is an international scientific conference for research in Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited speakers, research presentations and project demonstrations. KEYNOTE SPEAKERS - Jerome Lang, Senior Resercher at CNRS, Paris, France Title: Incomplete Knowledge and Communication Issues in Voting - Michael Mateas, Associate Professor, Computer Science Department, University of California, Santa Cruz Title: The Algorithm is the Message: AI as an Expressive Medium ACCEPTED PAPERS For the full list see http://bnaic2010.uni.lu/accepted_papers.html REGISTRATION Deadline for on-line registration is October 20th, the registration site can be accessed from the conference website at http://bnaic2010.uni.lu/registration.html. IMPORTANT DATES Online registration until: October 20, 2010 All registrations done after October 20 will have to be done on-site without additional cost. Conference: October 25-26, 2010 CHAIRS General Chairs: - Pascal Bouvry (University of Luxembourg) - Eric Dubois (CRP Henri Tudor, Luxembourg) - Thibaud Latour (CRP Henri Tudor, Luxembourg) - Leon van der Torre (University of Luxembourg) Program Chairs: - Richard Booth (University of Luxembourg) - Gregoire Danoy (University of Luxembourg) - Benjamin Gateau (CRP Henri Tudor, Luxembourg) - Isabelle Jars (CRP Henri Tudor, Luxembourg) - Djamel Khadraoui (CRP Henri Tudor, Luxembourg) - Marcin Seredynski (University of Luxembourg) From r.bordini at acm.org Mon Oct 4 16:44:32 2010 From: r.bordini at acm.org (Rafael H Bordini) Date: Mon, 04 Oct 2010 11:44:32 -0300 Subject: Reminder: Call for Bids to Host MALLOW-2011, deadline 10/Oct Message-ID: <4CA9E850.6030304@acm.org> (apologies if you receive multiple copies) ********************************************************************** MALLOW Multi-Agent Logics, Languages, and Organisations Federated Workshops http://www.mallow-workshops.org/ CALL FOR BIDS to host MALLOW-2011 ********************************************************************** The MALLOW steering committee invites proposals to host the 4th edition of MALLOW, to be held early September 2011. Bids in the format described below can be submitted until 10th of October, 2010. The MALLOW workshop federation was created in 2007 with the aim of providing a European venue for workshops on various related topics in Multi-Agent Systems. It encompasses both theoretical and practical approaches to the design and development of autonomous agents and agent organisations. The first edition took place in Durham (UK) in 2007, and was followed by an equally successful edition in Torino (Italy) in 2009. The 2010 edition is due to take place near Lyon (France) from 30th of August to 2nd of September. In all 3 editions, MALLOW took place the week after the European Agent Systems Summer School (usually last week of August and first week of September). MALLOW aims to be more than just a venue for workshops. It has a very specific ethos that makes a clear impact on the way and where it is to be organised. In particular, we aim to: * Provide a venue for related workshops in a way that participants will have the opportunity to attend various workshops, thus fostering collaboration and cross-fertilisation of ideas among the specific research communities that are typically gathered in each of the workshops. * The MALLOW organisers should facilitate the work of the workshop organisers by taking care of local arrangements, very much as in workshops that take place with major conferences. However, the intention is that MALLOW should be an affordable event for attendants. * Unlike many conferences, one of the central characteristics of the MALLOW events is that attendants are meant to have full board together in the same place, in order to increase the time available for networking. This also contributes to the friendly and collaborative atmosphere of the whole event that has marked the MALLOW editions so far. Research groups who are able to provide this kind of infrastructure for running MALLOW and would like to bid to run the 2011 edition of MALLOW are invited to submit a short document outlining: (i) the facilities available at the proposed venue, (ii) typical travel arrangements to reach the venue; (iii) an estimation of costs for participants including full-board plus the lecture rooms (usually 4 1/2 days with at most 2 parallel workshops), (iv) previous experience of the proponents in organasing academic events, if any. Proposals in plain text or PDF should be emailed to Rafael Bordini . The deadline for bidding to run MALLOW-2011 is: *** 10th of October 2010 *** However, we would appreciate receiving an email with a brief statement of intention to bid by 1st of September 2010 (such emails should be sent to the same address above). MALLOW Steering Committee ========================= * Cristina Baroglio – University of Torino, Italy * Rafael H. Bordini (chair) – INF-UFRGS, Brazil * Mehdi Dastani – Utrecht Univeristy, Netherlands * Virginia Dignum – TU Delft, Netherlands * João Leite – Universidade Nova de Lisboa, Portugal * John Lloyd – Australian National University, Australia * Brian Logan – University of Nottingham, UK * Pablo Noriega – IIIA-CSIC, Spain * Munindar Singh – NCSU, USA * Rineke Verbrugge – University of Groningen, Netherlands From yuliya at cs.uky.edu Tue Oct 5 00:14:36 2010 From: yuliya at cs.uky.edu (Yuliya Lierler) Date: Mon, 4 Oct 2010 18:14:36 -0400 (EDT) Subject: ICLP 2011 - Call for Papers Message-ID: ====================================================================== CALL FOR PAPERS 27th International Conference on Logic Programming (ICLP 2011) Theory and Practice of Logic Programming Lexington, Kentucky, USA, July 6-10, 2011 Submission deadline: Jan 10/17, 2011 http://www.cs.uky.edu/iclp2011/ ====================================================================== CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. SUBMISSION DETAILS The four broad categories for submissions are: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications, aimed at describing recent developments, new projects, and other materials that are not ready for main publication as standard papers. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers, application papers, and system and tool papers must not exceed 15 pages plus bibliography. The limit for technical communications is 10 pages. Submissions must be made in TPLP format (ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2011. IMPORTANT DATES Paper registration (abstract): Jan 10, 2011 Submission deadline: Jan 17, 2011 Notification to authors: Mar 11, 2011 Camera-ready copy due: Apr 15, 2011 Conference: Jul 6-10, 2011 PAPER PUBLICATION All accepted long papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or “shepherding.” The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get a password for on-line access to this web page during the conference and indefinitely from then on (“lifetime access”), which can be used to read papers on line, download them, or print them for personal use. Attendants will also receive all the papers in a memory stick at the conference. It is planned that the collection of technical communications will appear as a volume of the LIPIcs (Leibniz International Proceedings in Informatics) series, and published online through the Dagstuhl Research Online Publication Server (DROPS). All technical communications will also get space in the program for presentation. The journal issue(s) will also include a listing of the technical communications, with pointers to the LIPIcs/DROPS volume. ICLP’2011 ORGANIZATION General Chair: Mirek Truszczynski (University of Kentucky) Victor Marek (University of Kentucky) Program Co-chairs: John Gallagher (Roskilde University, Denmark and IMDEA, Spain) Michael Gelfond (Texas Tech University, USA) Workshops Chair: Joohyung Lee (Arizona State University) Publicity Chair: Yuliya Lierler (University of Kentucky) Doctoral Consortium: Alessandro Dal Palù (Universit degli Studi di Parma) Stefan Woltran (Vienna University of Technology) Prolog Programming Contest: Tom Schrijvers (K.U. Leuven, Belgium) SPONSOR The conference is sponsored by the Association for Logic Programming (ALP). FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. WORKSHOPS The ICLP 2011 program will include several workshops, held before and after the main conference. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 7th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renowned experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. CONFERENCE VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, ponds and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. Traveling to Lexington is easy. The local airport has frequent direct flights to Cincinnati, Atlanta, Detroit, and Chicago. It has also direct but less frequent flights (one or two a day) to several other large US cities such as Dallas-Ft. Worth, Houston and Newark. Thus, it can be reached easily from any place in the world. From Nicolas.Maudet at dauphine.fr Tue Oct 5 14:15:36 2010 From: Nicolas.Maudet at dauphine.fr (Maudet) Date: Tue, 05 Oct 2010 14:15:36 +0200 Subject: Call for Bids to Host EASSS-2011 (deadline 08/11) Message-ID: <4CAB16E8.9080406@dauphine.fr> --- apologies if you receive multiple copies --- ************************************************ Call for Bids to Host the 13th edition of EASSS (2011) ************************************************ The European Association for Multi-Agent Systems (EURAMAS) invites proposals to host the 13th European Agent Systems Summer School (EASSS), to be held preferably in August 2011. Plain text or PDF proposals should be emailed to by 28th of November 2010. About EASSS =========== EASSS is a summer school that lasts for a whole week, usually in late August. The last 5 editions took place in Annecy (2006), Durham (2007), Lisbon (2008), Turin (2009), and St. Etienne (2010), co-located with AAMAS in 2008 and with MALLOW in 2007, 2009, and 2010. The school hosts approximately 15 courses covering a broad range of research topics in Autonomous Agents and Multi-Agent Systems, and attracts some 80 attendants and 30 tutors, mostly based in Europe but also from other parts of the world. Since early 2010, EURAMAS (http://www.euramas.org) took over the responsibility to run EASSS, which is one of its "designated events". Submission and Selection Procedures =================================== The EASSS Committee of EURAMAS will discuss the bids and make recommendations for the whole EURAMAS board of directors to deliberate upon. Proponents should be available to discuss details at the request of the committee or the board. Once a bid is selected, the local chair will liaise with the Programme Chairs (to be appointed by the EURAMAS board) for the reminder of organisation period. Proposals in plain text or PDF format should be emailed to . Proposals ========= Proposals to organise EASSS should clearly identify the target location, dates, and organising committee, including a chair who will be responsible for the overall organisation. The organising committee will deal with all matters related to the practical organisation of the summer school. Based on recent editions, it is expected that EASSS-2011 will need lecture rooms for 2 parallel tracks as well as a room for the plenary course that opens the summer school. The suggested structure for writing a proposal is as follows: 1. Organising committee: 1.1 Local chair and organising committee 1.2 Experience of the above in organising similar events, and previous involvement with EASSS (if any) 1.3 Local research groups in Autonomous Agents and Multi-Agent Systems 2. Summer school venue: 2.1 The location where the event is to take place 2.2 Facilities available at that site, including the lecture rooms and audiovisual equipment 2.3 Attractive features of the venue and region 2.4 Accessibility of the target city from European countries 2.5 Catering and reception facilities and any proposed social programmes 2.6 Availability of accommodation for students at the venue, if any 2.7 Availability of accommodation and catering services near the venue 3. Organisation: 3.1 Proposed dates for EASSS-2011 3.2 Planned timetable for organisation and publicity 3.3 Events EASSS would be co-located with, if any 4. Budgeting: 4.1 An estimated budget 4.2 Expected costs for participants 4.3 Potential sponsors and supporting organisations, if any Proponents are expected to have received prior endorsement from their institutions to host the event, and this should be confirmed in the proposal. Assessment ========== Proposals will be assessed according to the following criteria: * Appropriateness of proposed dates and co-located events * Accessibility and attractiveness of the proposed site * Adequacy of campus facilities for the anticipated number of participants * Availability of accommodation and food services in appropriate price ranges and close the proposed venue * Suitability of the projected budget * Experience of the organising team * Involvement of the proponents in previous editions of EASSS * Geographical and national balance with regards to the last five editions Important Dates =============== * Deadline for submitting bids: 08/11/2010 * Notification of the selection: 20/12/2010 Further Information =================== For information about EURAMAS see http://www.euramas.org and for information about the last edition of EASSS see http://easss2010.emse.fr/. If you are considering submitting a bid, please communicate your intention and discuss possible issues with Nicolas Maudet and Rafael Bordini, on behalf of the EASSS committee of the EURAMAS board. Nicolas Maudet Rafael H. Bordini LAMSADE - Univ. Paris 9 Dauphine INF-UFRGS Paris, France Porto Alegre, Brazil maudet at lamsade.dauphine.fr r.bordini at inf.ufrgs.br www.lamsade.dauphine.fr/~maudet www.inf.ufrgs.br/~bordini From cfpdamp2011 at gmail.com Wed Oct 6 12:05:05 2010 From: cfpdamp2011 at gmail.com (DAMP 2011) Date: Wed, 6 Oct 2010 12:05:05 +0200 Subject: DAMP 2011 - Second call for papers Message-ID: [We apologize in advance for the reception of multiple copies] DAMP 2011 Declarative Aspects of Multicore Programming Austin, Texas (colocated with POPL 2011) January 23, 2011 damp2011.cs.uchicago.edu SUBMISSION DEADLINE: OCTOBER 11, 2010 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.rations of product. DAMP 2011 is the sixth 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 be written in English and should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp11 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 2011 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: Oct. 11 Notification to authors: Nov. 8 Camera ready: Nov. 22 Program Chair: John Reppy University of Chicago General Chair: Manuel Carro Universidad Politécnica de Madrid Program Committee: Fred Barnes University of Kent (UK) Gopal Gupta University of Texas, Dallas (USA) Kerri Hammil Microsoft (USA) Kevin Hammond University of St Andrews (UK) Stephan Herhut University of Hertfordshire (UK) Manuel Hermenegildo IMDEA Software Institute and UPM (Spain) Gabriele Keller University of New South Wales (Australia) John Reppy University of Chicago (USA) URL: http://damp2011.cs.uchicago.edu/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jomi at das.ufsc.br Wed Oct 6 21:14:00 2010 From: jomi at das.ufsc.br (Jomi Fred Hubner) Date: Wed, 6 Oct 2010 16:14:00 -0300 Subject: WI-IAT 2011 -- Call for Workshops Message-ID: <10DC3743-05D0-49D6-A469-8D4A436D863A@das.ufsc.br> The 2011 IEEE / WIC / ACM International Conferences on Web Intelligence and Intelligent Agent Technology 22 - 27 August 2011, Campus Scientifique de la Doua, Lyon, France http://wi-iat-2011.org **** Call for Workshop Proposals **** The Program Committees of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'11) invite proposals for Workshops. The Workshops will be held within the Conference, August, 22, 2011 at Lyon, France. The main goal of the WI-IAT'11 workshops is to stimulate and facilitate active exchange, interaction and comparison of approaches, methods and ideas related to specific topics, both theoretical and applied, in the general areas related to Web Intelligence and Intelligent Agent Technology. The 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. The workshop organisers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and range of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by IEEE Computer Society Press and will be available at the workshops. The workshop organisers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops may be full-day or half-day. A full-day workshop should select 10-14 regular papers, while a half-day workshop should select 5-7 regular papers, from a large number of submissions. Submissions accepted as workshop papers will be allocated 4 pages in the proceedings. The workshop organisers should ensure the presence of authors of accepted papers at the workshops. Optionally, the workshop may be started or concluded by a panel focusing on interesting aspects, controversial issues, or unsolved problems to stimulate lively, thoughtful, and thought-provoking debate; we expect the workshop organisers to actively engage the audience and help them gain a deeper understanding of the issues. The goal of a panel is to debate and thus panels should always reflect more than one point of view. **** Workshop Proposal Submission Workshop organisers should submit their proposals (PDF) directly to the three Workshop Chairs via e-mail. Workshop proposals should include the following elements: - Title of the workshop - Names of workshop organisers, affiliation, mailing address and e-mail address - Short CV of organisers - A description of the topics of the workshop (not exceeding 200 words) - Type of the workshop (full-day or half-day) - A description of how the workshop will contribute to the field of Web Intelligence and/or Intelligent Agent Technology - A short description on how the workshop will be advertised so as to ensure a sufficiently wide range of authors and high quality papers - Information about previous offerings of the proposed workshop. **** Topics of Interest Each workshop subject will focus on new research challenges and initiatives in Web Intelligence (WI) and Intelligent Agent Technology (IAT). The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in these two fields. Suggested, workshop topics include, but are not limited to: - Intelligent e-Technology (including e-Science, e-Business, e-Things and e-Activities, e-Learning, e-Finance, e-Medicine, e-Government, e-Community) - Intelligent Human-Web Interaction - Intelligent Distributed Robots - Distributed Intelligence - Knowledge Grids and Grid Intelligence - Semantics and Ontology Engineering - Sensing Web and Smart World - Social Networks and Ubiquitous Intelligence - Ubiquitous Computing - Web Agents - Web Information Filtering and Retrieval - Web Mining and Farming - Web Data Management - Web Scale Commonsense Knowledge Processing - Web Security, Integrity, Privacy and Trust - Web Services and Grid Services - Web Support Systems - World Wide Wisdom Web (W4) - Convergence of email, instant messaging and social-network tools - Agent Systems Modeling and Methodology - Autonomous Knowledge and Information Agents - Autonomous Auctions and Negotiation - Autonomy-Oriented Computing (AOC) - Learning and Self-Adapting Agents **** Important Dates Workshop proposal submission: * January 4, 2011* Notification to workshop proposers: January 18, 2011 Workshop paper submissions: March 21, 2011 Camera-ready copies of accepted papers: June 10, 2011 Workshops and Industry day: August 22, 2011 **** Workshop Co-Chairs Jomi F. Hubner (Federal University of Santa Catarina, Brasil) jomi at das.ufsc.br Jean-Marc Petit (INSA, France) jean-marc.petit at insa-lyon.fr Einoshin Suzuki (Kyushu University, Japan) suzuki at inf.kyushu-u.ac.jp From sofronie at mpi-inf.mpg.de Thu Oct 7 10:28:33 2010 From: sofronie at mpi-inf.mpg.de (Viorica Sofronie-Stokkermans) Date: Thu, 7 Oct 2010 10:28:33 +0200 (CEST) Subject: Tableaux 2011 First Call for Papers Message-ID: <731f6814fc8e3ae5547c19d38d0748ea.squirrel@mail.mpi-inf.mpg.de> [Apologies for multiple copies] First Call for Papers, Call for Tutorials, and Call for Workshop Proposals TABLEAUX 2011 International Conference TABLEAUX 2011 Automated Reasoning with Analytic Tableaux and Related Methods Bern, Switzerland 4 July - 8 July 2011 http://www.tableaux11.unibe.ch/ IMPORTANT DATES Workshop & Tutorial submission: Monday, 10 Jan 2011 Workshop & Tutorial notification: Monday, 24 Jan 2011 Abstract and Title submission: Monday, 24 Jan 2011 Paper Submission: Monday, 31 Jan 2011 Notification: Monday, 28 Mar 2011 Final Versions: Monday, 25 Apr 2011 Workshops: Monday, 4 July 2011 Conference: Tuesday, 5 July - Friday, 8 July 2011 GENERAL INFORMATION This conference is the 20th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2011, the conference will be held in Bern, Switzerland. The conference proceedings will be published in the Springer LNAI series as in the previous editions of the conference. See http://www.tableaux11.unibe.ch/ for more information on TABLEAUX 2011, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. As in previous years, TABLEAUX 2011 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as hardware and software verification, semantic technologies, knowledge engineering, etc. are particularly invited. One or more tutorials will be part of the conference program. SUBMISSIONS The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in four categories: A Research papers (reporting original theoretical and/or experimental research, up to 15 pages) B System descriptions (up to 5 pages) C Short papers reporting work in progress (up to 5 pages) D Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages) Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. For category B submissions a working implementation must exist and be available to the referees. Accepted papers in these categories will be published in the conference proceedings. Submissions in category C will be reviewed by members of the program committee and a collection of the accepted papers in this category will be published as a Technical Report of the University of Bern. Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee. Note that the deadline for tutorial proposals is Monday, 10. Jan 2011. Authors of accepted papers are expected to present their work at the conference. CALL FOR WORKSHOP PROPOSALS TABLEAUX 2011 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to three proposals. The proposals are reviewed by members of the PC committee. The purpose of a workshop is to offer an opportunity of presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. The format of a workshop is left to the the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops. To submit a workshop proposal, please send a description of one or two pages to the PC chairs by Monday, 10. Jan 2011. INVITED SPEAKERS We are pleased to announce that the following speakers have agreed to give invited talks at TABLEAUX 2011: * Maria Paola Bonacina, University of Verona, Italy * Ulrich Furbach, University of Koblenz-Landau, Germany * Kazushige Terui, Kyoto University, Japan PROGRAM COMMITTEE PC Chairs * Kai Brünnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland PC Members * Arnon Avron, Tel Aviv University, Israel * Peter Baumgartner, NICTA, Canberra, Australia * Bernhard Beckert, Karlsruhe Institute of Technology, Germany * Torben Braüner, Roskilde University, Denmark * Agata Ciabattoni, TU Wien, Austria * Marta Cialdea, University of Rome 3, Italy * Roy Dyckhoff, University of St Andrews, Scotland * Martin Giese, University of Oslo, Norway * Valentin Goranko, Technical University of Denmark * Rajeev Goré, The Australian National University, Canberra, Australia * Reiner Hähnle, Chalmers University, Göteborg, Sweden * Ullrich Hustadt, University of Liverpool, UK * Martin Lange, University of Kassel, Germany * Dale Miller, INRIA, Saclay, France * Neil V. Murray, University at Albany - SUNY, USA * Nicola Olivetti, Paul Cézanne University, Marseille, France * Jens Otten, University of Potsdam, Germany * Dirk Pattinson, Imperial College London, UK * André Platzer, Carnegie Mellon University, USA * Renate Schmidt, University of Manchester, UK * Viorica Sofronie-Stokkermans, MPI, SaarbrÃŒcken, Germany * Ulrich Ultes-Nitsche, Fribourg University, Switzerland * Luca Viganò, University of Verona, Italy * Arild Waaler, University of Oslo, Norway ORGANIZING COMMITTEE Conference Chairs: * Kai Brünnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland Local Organizers: * Samuel Bucheli * Lukas Gerber * Roman Kuznets * Richard McKinley * Nia Stephens From sara at kdbio.inesc-id.pt Thu Oct 7 17:13:54 2010 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Thu, 07 Oct 2010 16:13:54 +0100 Subject: EuroGP 2011 - call for papers Message-ID: <4CADE3B2.9030500@kdbio.inesc-id.pt> * Our apologies if you receive multiple copies of this announcement * Dear colleagues, We would like to invite you to submit a paper to EuroGP 2011, the 14th European Conference on Genetic Programming, and we kindly ask you to circulate this call in your institution, among your colleagues and students. Thank you! The EuroGP 2011 chairs James A. Foster Sara Silva *********************************** EuroGP 2011 (call for papers) *********************************** 14th European Conference on Genetic Programming 27-29 April 2010, Torino - Italy www.evostar.org Submission deadline: November 22, 2010 EuroGP is the premier annual conference on Genetic Programming. EuroGP is always a very enjoyable event, held together with the other main european events on Evolutionary Computation, collectively designated as EvoStar (Evo*). EvoStar 2011 takes place in Torino, Italy, which celebrates the 150th anniversary of its unification. Torino, as the first Italian capital, will be the center of all the celebrations, and an ideal location to host international events. EuroGP 2011 seeks high quality papers on topics strongly related to the evolution of computer programs, including but not limited to: * Theoretical developments; * Empirical studies of GP performance and behaviour; * Algorithms, representations and operators; * Applications of GP to real-life problems; * Hybrid architectures including GP components; * Unconventional evolvable computation; * Evolutionary design; * Evolutionary robotics; * Grammar-based GP; * Evolvable hardware; * Linear GP; * Self-reproducing programs; * Evolution of tree or graph structures; * Evolution of various classes of automata or machine (e.g. cellular automata, finite state machines, pushdown automata, Turing machines); * Object-oriented GP. The submissions will be peer reviewed by at least three members of the program committee. The reviewing process will be double-blind, so please omit information about the authors in the submitted paper. Accepted papers will be presented orally or as posters at the conference and will be published by Springer in the LNCS series. The papers which receive the best reviews will be nominated for the Best Paper Award. Authors of selected papers will be invited to submit extended descriptions of their work to the Springer journal Genetic Programming and Evolvable Machines (http://www.springer.com/10710). Submission link: http://myreview.csregistry.org/eurogp11/ Page limit: 12 pages in Springer LNCS format. Important Dates: * Submission deadline: 22 November 2010 * Notification to authors: 7 January 2011 * Camera-ready deadline: 1 February 2011 * Conference: 27-29 April 2011 Program Chairs: * James A. Foster, University of Idaho, USA http://people.ibest.uidaho.edu/~foster/ foster(at)uidaho.edu * Sara Silva, INESC-ID Lisboa, Portugal http://kdbio.inesc-id.pt/~sara/ sara(at)kdbio.inesc-id.pt From sebastian.rudolph at aifb.uni-karlsruhe.de Fri Oct 8 15:19:15 2010 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Fri, 8 Oct 2010 15:19:15 +0200 Subject: ISWC2010, Last Call for Participation In-Reply-To: References: Message-ID: <3D169666-7273-4877-B68C-D25B453EDA7E@aifb.uni-karlsruhe.de> LAST CALL FOR PARTICIPATION The 9th International Semantic Web Conference (ISWC 2010) Shanghai, China 7-11 November http://iswc2010.semanticweb.org/ --------------------------------------------------------------------- The International Semantic Web Conference (ISWC) is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. REGISTRATION: http://iswc2010.semanticweb.org/registration PROGRAM: http://iswc2010.semanticweb.org/program TRAVEL INFORMATION (including visa): http://iswc2010.semanticweb.org/node/4 KEYNOTE TALKS: - Advanced Evaluation of Web Search - Methodology and Technology Li Xiaoming (Peking University, China) - What does It Look Like, Really? Imagining how Citizens might Effectively, Usefully and Easily Find, Explore, Query and Re-present Open/Linked Data mc schraefel (University of Southampton, UK) - The Open Graph Protocol Design Decisions Austin Haugen (Facebook, USA) - Semantic Technology at The New York Times: Lessons Learned and Future Directions Evan Sandhaus (The New York Time Company, USA) TUTORIALS: - Introduction to the Semantic Web (Invited Tutorial) - OWL 2 - Theory and Practice - Ten Ways to Make your Semantic App Addictive - Linked Open Services (LOS) - Linked Data for eGovernment - Semantic Search Tutorial - Combine the Web of Data and the Web of Documents (RDFa and Drupal 7) - Web Rules: Fundamentals, Applications, and Standards WORKSHOPS: - 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010) - 3rd International Workshop on Semantic Sensor Networks (SSN) - Role of the Semantic Web in Provenance Management (SWPM) - Semantic Repositories for the Web (SERES2010) - The 5th International Workshop on Ontology Matching (OM-2010) - Workshop on Cross-Cultural and Cross-Lingual Aspects of the Semantic Web (C3LSW2010) - International Workshop on Evaluation of Semantic Technologies (IWEST 2010) - The 2nd Workshop on Ontology Patterns (WOP2010) - The 6th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS2010) - Third International Workshop on Social Data on the Web (SDoW2010) - Service Matchmaking and Resource Retrieval in the Semantic Web (SMR2) - 4th International Workshop on Ontology Dynamics (IWOD-10) - The first International Workshop on Consuming Linked Data (COLD) _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 7362 www.sebastian-rudolph.de fax +49 721 608 - 5998 From stephane.jean at univ-poitiers.fr Sat Oct 9 10:29:13 2010 From: stephane.jean at univ-poitiers.fr (=?ISO-8859-1?Q?St=E9phane_Jean?=) Date: Sat, 09 Oct 2010 10:29:13 +0200 Subject: Call for Participation: The 11th International Conference on Web Information Systems Engineering (WISE 2010) In-Reply-To: <4B5EF766.5000605@ensma.fr> References: <4B5EF766.5000605@ensma.fr> Message-ID: <4CB027D9.7070501@univ-poitiers.fr> Apologies for multiple postings =========================================================================================== The 11th International Conference on Web Information Systems Engineering (WISE 2010) http://conference.cs.cityu.edu.hk/wise2010/ December 12-14, 2010 Hong Kong, China Hosted by: Department of Computer Science, City University of Hong Kong and the International WISE Society CALL FOR PARTICIPATION =========================================================================================== The aim of this eleventh edition of the conference series on Web Information Systems Engineering is to provide an international forum for researchers, professionals, and industrial practitioners to share their knowledge in the rapidly growing area of Web technologies, methodologies and applications. Previous WISE conferences were held in Hong Kong, China (2000), Kyoto, Japan (2001), Singapore (2002), Roma, Italy (2003), Brisbane, Australia (2004), New York, USA (2005), Wuhan, China (2006), Nancy, France (2007), Auckland, New Zealand (2008), and Poznan, Poland (2009). Highlights: - 4 keynote speeches - Beng Chin Ooi (the National University of Singapore) - Edward Chang (Google Research China) - Christian S. Jensen (Aarhus University) - Kyu-Young Whang (KAIST) - 51 selected papers (32 full papers and 19 short papers) - 4 WISE co-located Symposium and Workshops Registration ------------ Registration (http://conference.cs.cityu.edu.hk/wise2010/wise2010_reg_form.pdf) has opened. The early bird registration deadline is 12 Nov, 2010. The conference venue is Kowloon Shangri-La Hotel. More information can be found at: http://conference.cs.cityu.edu.hk/wise2010/hotel.pdf It is advisable to make a hotel reservation as soon as possible. For more details on this, please visit at http://conference.cs.cityu.edu.hk/wise2010/Acommendation.pdf Keynote Speeches ---------------- Title: Providing Scalable Database Services on the Cloud Speaker: Beng Chin Ooi Professor of Computer Science at School of Computing, the National University of Singapore (NUS) Title: Search and Social Integration Speaker: Edward Chang Google Research China Title: Elements of a Spatial Web Speaker: Christian S. Jensen Professor of Computer Science, Aarhus University, Denmark Title: The Ubiquitous DBMS Speaker: Kyu-Young Whang Distinguished Professor and Professor of Computer Science, KAIST WISE co-located Symposium and Workshops --------------------------------------- The 1st International Symposium on Web Intelligent Systems & Services (WISS 2010) http://www.cse.cuhk.edu.hk/~kwchiu/WISS2010.html The 2nd International Workshop on Mobile Business Collaboration (MBC 2010) http://ww2.cs.mu.oz.au/~jsh/mbc10/index.htm The 1st International Workshop on Cloud Information System Engineering(CISE 2010) http://www.cse.cuhk.edu.hk/~kwchiu/CISE2010.html The 1st International Workshop on Web-Supported Concurrent Collaborative Work (WSCCW 2010) http://appsrv.cse.cuhk.edu.hk/~kwchiu/WSCCW2010.html WISE Program ------------ The WISE 2010 conference offers a full social program, including the conference welcome reception and the conference banquet. It provides the following sessions (http://conference.cs.cityu.edu.hk/wise2010/program.pdf). Session 1a: Web Service Session 1b: Social Networks Session 2a: Web Data Mining Session 2b: Keyword Search Session 3a: Web Search (I) Session 3b: Web Data Modeling Session 4a: Recommender Systems Session 4b: RDF and Web Data Session 5a: XML and Query Languages Session 5b: Web Search (II) Session 6a: Web Information Systems Session 6b: Information Retrieval and Extraction Organizers ---------- Conference Co-chairs ==================== Qing Li, City U of Hong Kong Karl Aberer, EPFL, Switzerland Dennis McLeod, USC, USA PC Co-chairs ============ Lei Chen, HKUST, Hong Kong Peter Triantafillou, U of Patras, Greece Torsten Suel, NYU Poly, USA Organization Chair ================== Hong Va Leong, PolyU, Hong Kong Workshop Co-chairs ================== Dickson Chiu, Dickson Computer Sys., Hong Kong Ladjel Bellatreche, ENSMA-Poitiers U, France Publicity Co-chairs =================== Hua Wang, U Southern Queesland, Australia Raymong Wong, HKUST, Hong Kong Stephane Jean, Poitiers U, France Feifei Li, Florida State U., USA Finance Chair ============= Xiaohua Jia, City U of Hong Kong Steering Committee Representatives ================================== Yanchun Zhang, Victoria U, Australia Xiaohua Jia, City U of Hong Kong From C.Orasan at wlv.ac.uk Mon Oct 11 15:53:01 2010 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Mon, 11 Oct 2010 14:53:01 +0100 Subject: Call for applications: Erasmus Mundus Masters in NLP&HLT Message-ID: <1286805181.24657.28.camel@dinel-desktop> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Erasmus Mundus Masters Course - International Masters in NLP and HLT CALL FOR APPLICATIONS students and scholars http://mastermundusnlp-hlt.univ-fcomte.fr/ For applicants requesting a scholarship from the Consortium (category A, B and scholars), the deadline for submitting applications is 15th December 2010. For the other applicants the deadline for submitting applications is 7th June 2011. Category A = non European and special window Category B = European and other than A Other applicants = not requesting a scholarship ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We invite applications for the Erasmus Mundus MA course on NLP and HLT, organized jointly by Universite de Franche-Comte (France), Universitat Autònoma de Barcelona (Spain), Universidade do Algarve (Portugal) and the University of Wolverhampton (UK). The objective of this Masters Course is to provide education and training of specialists in Language Technologies and their applications and prepare them for careers in the LT industry, research and academia. Students from European or non European countries will be able to select a combination of modules on topics in Linguistics, Translation Studies, Computer Science, and Mathematics, the languages of instruction being those of the country of each partner university. As part of the course, the students will complete a research project jointly supervised by lecturers from the partner universities. During the two-year programme, each student will spend two semesters at one university of his/her choice, and another two at either one or two other universities. After completing the programme, students will receive a multiple Masters degree from the universities they have attended. Up to 20 best EU and non-EU candidates will be offered a grant for the duration of the course. Four grants will also be offered to scholars to come for 3 months in one or 2 of the partner universities. For more information on the course, please visit: http://mastermundusnlp-hlt.univ-fcomte.fr/ -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Local Course Coordinator for Erasmus Mundus International Masters in NLP&HLT Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From cfpdamp2011 at gmail.com Mon Oct 11 23:35:58 2010 From: cfpdamp2011 at gmail.com (DAMP 2011) Date: Mon, 11 Oct 2010 23:35:58 +0200 Subject: DAMP 2011 - Extended deadline Message-ID: [ Note: submission deadline extended by one week ] DAMP 2011 Declarative Aspects of Multicore Programming Austin, Texas (colocated with POPL 2011) January 23, 2011 damp2011.cs.uchicago.edu SUBMISSION DEADLINE: OCTOBER 18, 2010 (HARD) 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.rations of product. DAMP 2011 is the sixth 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 be written in English and should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp11 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 2011 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: Oct. 18 (hard!) Notification to authors: Nov. 8 Camera ready: Nov. 22 Program Chair: John Reppy University of Chicago General Chair: Manuel Carro Universidad Politécnica de Madrid Program Committee: Fred Barnes University of Kent (UK) Gopal Gupta University of Texas, Dallas (USA) Kerri Hammil Microsoft (USA) Kevin Hammond University of St Andrews (UK) Stephan Herhut University of Hertfordshire (UK) Manuel Hermenegildo IMDEA Software Institute and UPM (Spain) Gabriele Keller University of New South Wales (Australia) John Reppy University of Chicago (USA) URL: http://damp2011.cs.uchicago.edu/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Benjamin.Hirsch at dai-labor.de Tue Oct 12 13:57:14 2010 From: Benjamin.Hirsch at dai-labor.de (Benjamin Hirsch) Date: Tue, 12 Oct 2010 13:57:14 +0200 Subject: =?iso-8859-1?Q?PostDOC_position_at_Technische_Universit=E4t_Berlin?= Message-ID: <996D29AAC4B8314882C25235E84ABED50113E09596D0@birke4.dai-lab.de> Apologies for multiple postings ======================================================= POSTDOC position at the DAI Labor of the Technische Universität Berlin ======================================================= The DAI Labor and the chair "Agent Technologies in Business Applications and Telecommunications" under the leadership of Prof. Dr.-Ing. Sahin Albayrak focuses on research and development with the goal of developing technologies for the next generation of smart services and distributed systems. These "Smart Services and Smart Systems" provide a number of novel features that allows them to act autonomously and intelligently. Research at the DAI Labor is being conducted within six Competence Centers. With this theoretical grounding the DAI Labor applies the technologies in different application areas for the development and evaluation of Smart Services. State-of-the-art testbeds allow to validate and demonstrate these services in realistic scenarios. Close cooperation with industry partners ensures an approach that is both practical and solution oriented. All of this allows the DAI Labor to develop technologies within an university environment that meets even the highest industry standards. The Competence Center Agent Core Technologies is looking for a POSTDOC to strengthen its position and further its goal to become a leading group in agent technology and serviceware frameworks. The candidate will be jointly responsible for coordinating the activities of the competence center, including leading small teams of students and PhD candidates, managing projects, writing project proposals as well as communicating with national and international partners. Your profile: . a PhD in computer science or a related discipline . experience in agent technology, semantic web, (web-) services, programming . knowledge in one of more of: BPM, simulation, logics, embedded devices, adaptive systems, software engineering . maker and doer, be used to take the initiative, and be a team player . experience with project acquisitions (national and international) . management skills . excellent spoken and written English, German is a plus We offer: . exciting topics and a vibrant environment . excellent state-of-the-art infrastructure with access to new and emerging technologies . close collaboration with university and large industries . a 2+3 year contract . possibility to pursue a "Habilitation" For further information regarding this position and our institute, please see our website http://www.dai-labor.de, or contact Prof. Sahin Albayrak at Sahin.Albayrak at dai-labor.de Applications including a CV, research statement, and publication list should be sent to Sahin.Albayrak at dai-labor.de. From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Oct 14 11:44:32 2010 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Thu, 14 Oct 2010 10:44:32 +0100 Subject: TARK 2nd call for papers Message-ID: Theoretical Aspects of Rationality and Knowledge (TARK XIII) Conference Groningen, the Netherlands, 11-15 July 2011 http://www.philos.rug.nl/TARK2011/ Second Announcement * Scope and Mission The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. * Invited Talks Johan van Benthem Yossi Feinberg * Invited Tutorials Ithzak Gilboa Larry Moss * Workshops Two full-day workshops will precede and follow the conference: ``Reasoning about other minds: logical and cognitive perspectives", ``Quantum physics meets TARK". * Important Dates Submission of Abstracts: March 10th, 2011 Notification of Authors: April 29th, 2011 Camera Ready Copy of Accepted Papers due: May 20th, 2011 Registration Deadline: May 20th, 2011 Conference Dates: 11-15 July 2011 * Programme Committee Natasha Alechina, University of Nottingham Krzysztof R. Apt (PC chair), CWI and University of Amsterdam Sergei Artemov, CUNY, New York Hans van Ditmarsch, University of Sevilla Aviad Heifetz, The Open University of Israel Wiebe van der Hoek, University of Liverpool Jerome Lang, Universite Paris-Dauphine Daniel Lehmann, The Hebrew University of Jerusalem Fenrong Liu, Tsinghua University, Beijing Alessio Lomuscio, Imperial College London Ron van der Meyden, University of New South Wales, Sydney Eric Pacuit (tutorials chair), Tilburg University Andres Perea, Maastricht University Gabriella Pigozzi, Universite Paris-Dauphine R. Ramanujam, Institute of Mathematical Sciences, Chennai Sonja Smets, University of Groningen Moshe Tennenholtz, Technion, Haifa and Microsoft, Herzliya Rineke Verbrugge, University of Groningen * Local Organization Sonja Smets Rineke Verbrugge ------------------------------------------------------------------------------------------------------ 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 svb at doc.ic.ac.uk Thu Oct 14 13:17:39 2010 From: svb at doc.ic.ac.uk (Steffen van Bakel) Date: Thu, 14 Oct 2010 12:17:39 +0100 Subject: CfP: Special Issue APAL on "Classical Logic and Computation" Message-ID: ANNALS OF PURE AND APPLIED LOGIC THIRD SPECIAL ISSUE ON CLASSICAL LOGIC AND COMPUTATION ************************************************************************ CALL FOR PAPERS =============== Contributions on the topic of Classical Logic and Computation are invited for a special issue of Annals of Pure and Applied Logic. On August 22, 2010, the third workshop on "Classical Logic and Computation" took place in Brno - Czech Republic, as a satellite meeting of MFCS/CSL 2010. The workshop covered a broad range of work aiming to explore computational aspects of classical logic and mathematics. The special issue is first of all set up for extended versions of papers presented at the workshop, but the call is open to all researchers. TOPICS Topics of interest for contributions to the journal issue include, but are not limited to: - logic and type theory, - programming language design, - verification, - witness extraction from classical proofs, - game semantic of classical logic, SUBMISSIONS Submissions must be original work which has not been previously published in a journal and is not being considered for publication elsewhere. If related material has appeared in a refereed conference proceedings, the manuscript submitted should be substantially more complete or otherwise different. The title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. Where possible, e-mail address and telephone number should be included. This should be followed by an abstract of approximately 300 words and five keywords for indexing. IMPORTANT All source files of the final versions of the accepted papers must respect the format of APAL. In order to make a submission, please follow the instructions at http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstructions Please upload a .pdf file to the following easychair link http://www.easychair.org/conferences/?conf=apalclac10 Deadline for the submission of a title page indicating the intent to submit: January 15, 2011 Deadline for paper submission: February 15, 2011 Guest editors: Steffen van Bakel, Imperial College London, UK Stefano Berardi, Universita` di Torino, Italy Ulrich Berger, Swansea University, UK Contact: s.vanbakel at imperial.ac.uk From saks2011 at informatik.uni-hamburg.de Thu Oct 14 14:40:11 2010 From: saks2011 at informatik.uni-hamburg.de (SAKS2011 Organizers) Date: Thu, 14 Oct 2010 14:40:11 +0200 Subject: CfP: Self-Organising, Adaptive, Context-Sensitive Distributed Systems (SAKS2011) Message-ID: <4CB6FA2B.8000003@informatik.uni-hamburg.de> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results. ================= ============== SAKS 2011 Worskhop at KIVS 2011| Call for Papers =============== CALL FOR PAPERS SAKS 2011 Workshop at KIVS 2011: Self-Organising, Adaptive, Context-Sensitive Distributed Systems March 10-11, 2011 - Kiel, Germany General page: http://www.kivs11.de/lang/en/workshops/workshop-on-self-organising-context-sensitive-adaptive-systems-saks Submission: https://www.conftool.com/kivs11/ IMPORTANT DATES: Deadline for submission of papers: October 31, 2010 Notification of acceptance: November 28, 2010 Final version of paper: December 19, 2010 ================= MOTIVATION The increasing distribution and interconnection of applications in a world that is more and more pervaded by information technology leads to significant challenges for the development of these applications. Ubiquitous and pervasive computing systems require increasingly complex systems that cannot be configured manually or controlled statically anymore. This is the point where this workshop starts by addressing new requirements for such systems: dynamic adaptation, autonomy, and self-properties as well as their respective implementations. In particular, this workshop aims at offering a podium where these research questions will be discussed with respect to current main-stream technologies such as SOA and MDA, and with an additional focus on the development of methods. Questions addressed include: Can we control the phenomena of self-organization and emergence in such systems, or should we suppress them? Can self-organization and emergence be planned in the system design and if so, what methods and tools should we use? Is it possible to extend systems which were initially designed statically and for manual control with the desired properties for autonomous management? What are the methods for such a re-design or re-engineering? How do such methods and architectures fit together? Case studies and practical suitability of systems with adaptivity, autonomy and self-properties are of particular interest because they are crucial for the success of the research discussed here as well as for its future development. In addition, interdisciplinary openness is an essential key to the success of this workshop. Main-stream techniques, architectures, and methods are brought into contact with new design methods that are, for instance, inspired by Bionics or influenced by Complex Systems Research. Still, newly introduced technologies raise more questions beyond those of purely technical nature. Can we make real use of adaptivity and self-organization, outside of our labs, in the large scale? Are such concepts ready to use in daily appliances? What are the chances and opportunities of this new kind of information technology? Finally there are many non-technical questions that usually fail to be discussed adequately, mainly concerning societal and legal impact of the application of these systems. Can we safely delegate control away from our immediate influence? How can we achieve a sufficient level of trust? Could there be legal consequences of adaptation? With this selection of topics we aim at a strictly interdisciplinary course, distinguishing this workshop from many others in this area of research which commonly focus on technical issues. Our objective is to shed light on the multitude of aspects in an adaptive, self-organizing world, pervading our daily lives. OBJECTIVES This workshop, as part of KIVS 2011 in Kiel, continues the successful workshop series SAKS that has been focusing on the research areas of self-organization and adaptivity in the years 2006-2010, already twice as a workshop of KIVS conferences. The SAKS workshop aims at strengthening cooperation among the stakeholders and lifting the visibility of research and development activities in the German-speaking countries to international scope. We also welcome representatives from industry, providing valuable feedback from experiences and application, helping to explore common interests. Organization Depending on the number of accepted contributions, the workshop is planned for one whole day or two half days. The program of the workshop will consist of the presentation of the selected papers, an invited talk, and a panel discussion. TOPICS of INTEREST The workshop scope encompasses topics of self-organization and adaptation in information technology systems from technical, application-oriented, economical, societal, and legal points of view. Technical challenged of self-organizing and adaptive systems - Construction and evaluation of systems with self-properties - Biologically inspired approaches for self-organization and adaptation - Autonomic and Organic Computing - Software architectures for autonomous and ubiquitous systems - Self-organization in Service-oriented architectures - Self-organization in robotics - Adaptivity in applications and middleware - Context models and context processing - Methodologies for developing personalized context-sensitive services - Integration of users into the development cycle - Stakeholders in service development and usage - User-centric design, user interfaces, and usage concepts for adaptive and context-aware systems Societal and legal implications in an adaptive world - Trust and reliability in self-organizing systems - Social-aware design of adaptive and context-aware systems - Application domain-specific requirements and solutions - Liability and responsibility New opportunities by self-organization and adaptation - Industrial requirements and projects - Research prototypes and experiences - New value chains, business, service, and provider models for adaptive and context-aware systems PAPER SUBMISSION Submissions are managed by the ConfTool-System; a SAKS-2011-Page (https://www.conftool.com/kivs11/) has been set up. Submissions can be either written on English or German and have to be submitted as a PDF-File. Long papers should have up to 12 pages; short papers up to 6 pages; industry papers, as extended abstracts, can have 1-2 pages. Please use one of the following templates: LaTeX-Class: http://journal.ub.tu-berlin.de/template/ECEASST-cls-XXX-WowKiVS11.tar.gz LaTeX-Class as zip : http://journal.ub.tu-berlin.de/template/ECEASST-cls-XXX-WowKiVS11.zip Word-Word-Template: http://journal.ub.tu-berlin.de/template/WowKiVS11.doc Submissions: https://www.conftool.com/kivs11/ Please submit your paper - independently from the template - only as a PDF-File. If your text processing engine does not support the output of PDF-Files, please use one of the PDF-Writers that are available free of charge. Submissions will be reviewed by the program committee with regard to their content's quality and relevance to the workshop. If we receive a minimum number of submissions, we will publish the selected papers in the Open-Access-Journal Electronic Communications of the EASST. IMPORTANT DATES Deadline for submission of papers: October 31, 2010 Notification of acceptance: November 28, 2010 Final version of paper: December 19, 2010 Organization committee Winfried Lamersdorf, University of Hamburg Wolfgang Renz, Hamburg University of Applied Sciences Michael Zapf, University of Kassel Program committee (tentative) Uwe Baumgarten,Technische Universität München Markus Bick,ESCP Europe Campus Berlin Walter Blocher,Universität Kassel Thilo Böhmann,International Business School of Service Management Hamburg Volker Boehme-Neßler,Hochschule für Technik und Wirtschaft Berlin Georg Borges,Ruhr-Universität Bochum Lars Braubach,Universität Hamburg Klaus David,Universität Kassel Kurt Geihs,Universität Kassel Klaus Herrmann,Universität Stuttgart Thomas Hoeren,Universität Münster Reinhold Kröger,Fachhochschule Wiesbaden Winfried Lamersdorf,Universität Hamburg Jan-Marco Leimeister,Universität Kassel Klaus Mößner,Universität Surrey (UK) Gero Mühl,Universität Rostock Andreas Polze,Hasso-Plattner-Institut Wolfgang Renz,Hochschule für Angewandte Wissenschaften Hamburg Alexander Roßnagel,Universität Kassel Gregor Schiele,Universität Mannheim Matthias Trier,Technische Universität Berlin Manfred Wojciechowski,Fraunhofer ISST Michael Zapf,Universität Kassel From richard.booth at uni.lu Fri Oct 15 12:16:02 2010 From: richard.booth at uni.lu (Richard Booth) Date: Fri, 15 Oct 2010 12:16:02 +0200 Subject: MIWAI 2010 - FINAL CALL FOR PAPERS (EXTENDED DEADLINE) Message-ID: --------------------------------------------------------------------------- Apologies for Multiple Copies Due to Cross Posting --------------------------------------------------------------------------- ============================================ MIWAI'10 - FINAL CALL FOR PAPERS ============================================ The 4th Mahasarakham International Workshop on Artificial Intelligence. December 9-10, 2010, Mahasarakham University, Mahasarakham, Thailand. (Tutorials December 8) http://khamreang.msu.ac.th/miwai10/ --------------------------------------------------------------------------- ***NEW - PAPER SUBMISSION DEADLINE EXTENDED TO OCTOBER 22!!!*** --------------------------------------------------------------------------- --------------------------------------------------------------------------- ***NEW - STUDENT TRAVEL SCHOLARSHIPS*** --------------------------------------------------------------------------- Some travel scholarships are now available for students wishing to attend MIWAI 2010: . At least one scholarship for students enrolled at universities outside Thailand of up to a maximum of 20,000 Thai Baht (approx 630 USD). . FOUR scholarships for students enrolled at Thai universities of 2,500 Baht each. More scholarships may be made available soon. For details about how to apply see http://khamreang.msu.ac.th/miwai10/MIWAI_2010/Awards_and_Scholarships.html --------------------------------------------------------------------------- Important Dates --------------------------------------------------------------------------- Papers due (NEW!!): October 22, 2010 Author notification: November 12, 2010 Camera-ready papers due: November 22, 2010 Registration deadline: December 2, 2010 Tutorials: December 8, 2010 Workshop dates: December 9-10, 2010 --------------------------------------------------------------------------- About MIWAI --------------------------------------------------------------------------- Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The ever-evolving needs in business both on a local and on a global scale demand 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 main purposes of the MIWAI series of workshops are as follows: . to provide a meeting place for AI researchers and practitioners in Thailand and beyond. . to inform Thai students about cutting-edge AI research via the presence of outstanding international invited speakers. . to raise the standards of practice of AI research in the whole of Thailand by providing Thai researchers and students with feedback from an internationally-renowned program committee. --------------------------------------------------------------------------- Invited Speakers + Tutorials --------------------------------------------------------------------------- Invited Speakers: 1.Arun Agarwal (University of Hyderabad, India) 2.Anthony Cohn (University of Leeds, UK) Tutorials (December 8): 1.Siba K. Udgata (University of Hyderabad, India) "Swarm Intelligence - A Tool for Optimization in various Information Technology Applications" 2.Richard Booth (University of Luxembourg and Mahasarakham) "Reasoning using Argumentation: An Introduction" --------------------------------------------------------------------------- Awards --------------------------------------------------------------------------- There will be five awards given out at the workshop: (i) Best original paper (4,000 Baht): Given to the best category A submission (see below), from any origin. (ii) Best original paper by a PhD student (2,000 Baht): Given to the best category A paper whose first author is a registered PhD student, from any origin. (iii) Best original paper by a Masters student (2,000 Baht): Given to the best category A paper whose first author is a registered Masters student, from any origin. (iv) Best demonstration (2,000 Baht): Given to the best demonstration (see category C submissions below - note this prize will only be awarded in case at least 3 demonstrations are presented at the workshop). (v) Best reviewer (a gift): Given to the reviewer who has given the most helpful feedback on the papers they have been assigned to review. --------------------------------------------------------------------------- Call for Papers --------------------------------------------------------------------------- Submission of papers is due on October 22, 2010. 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 - Computer vision - Constraint satisfaction - Data mining - 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 - Uncertainty in AI - Web services Submission requirements --------------------------------------------------------------------------- Submissions of the following three categories are invited: Category A: REGULAR PAPERS ........................................................................... Papers presenting new original work. Submitted papers should not exceed a length of 12 pages in the IEEE format style (templates here: http://khamreang.msu.ac.th/miwai10/MIWAI_2010/textemplate.zip, http://khamreang.msu.ac.th/miwai10/MIWAI_2010/wordtemplate.zip) Regular papers will be reviewed on overall quality and relevance. Reviewing of category A papers will be (at least) double-blind. In order to make blind reviewing possible, the authors should follow that: . The authors' names and institutions should not appear in the paper. . Unpublished work of the authors should not be cited. . Using "we" or "us" in reviews of literature should be avoided, e.g., "In [1] we have proposed..." should be changed to "In [1] the authors have proposed...". The program committee will evaluate Category A papers as either rejected‚ or accepted as a long paper, or accepted as a short paper. All accepted category A papers (long and short) will be fully published in the proceedings. Category B: COMPRESSED CONTRIBUTIONS ........................................................................... Papers that have been accepted after June 1 2009 for AI-related refereed conferences 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) together with a 1 or 2-page abstract prepared in the IEEE format style (links to templates above). Note the above double-blind instructions apply only to category A papers, not to category B. 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. Category C: DEMONSTRATIONS AND APPLICATIONS ........................................................................... Proposals for demonstrations will be evaluated based on submitted demonstration summaries stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (links to templates above). Reviewing of category C papers will be double-blind (see above under "category A" papers for details). The workshop proceedings will be published with ISBN number. At least one author of each accepted paper (in each submission category) is required to attend the workshop. Language Requirements ........................................................................... As MIWAI is an international workshop, its official language is English. This means all submitting authors must submit an English language version of their paper, as well as present their paper in English if accepted for the workshop. --------------------------------------------------------------------------- Committees --------------------------------------------------------------------------- Advisory Committee --------------------------------------------------------------------------- -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok, Thailand) -Wirat Pongsiri (Mahasarakham University, Thailand) -Sujin Butdeesuwan (Mahasarakham University, Thailand) -Somnuk Puangpronpitag (Mahasarakham University, Thailand) Program Co-Chairs --------------------------------------------------------------------------- - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Chattrakul Sombattheera (Mahasarakham University, Thailand) Program Committee (provisional) --------------------------------------------------------------------------- - Arun Agarwal (Hyderabad, India) - Samir Aknine (Paris 6, France) - Laor Boongasame (Bangkok University, Thailand) - Roger Boyle (Leeds, UK) - Kosin Chamnongthai (KMUTT, Bangkok, Thailand) - Matthew Dailey (AIT, Bangkok, Thailand) - Juergen Dix (Clausthal, Germany) - Patrick Doherty (Linkoping, Sweden) - Andreas Herzig (IRIT, Toulouse, France) - Jerome Lang (CNRS, Universite Paris-Dauphine, France) - Kittichai Lavangnananda (KMUTT, Bangkok, Thailand) - Fangzhen Lin (HKUST, Hong Kong) - Jerome Mengin (IRIT, Toulouse, France) - Ekawit Nantajeewarawat (SIIT, Bangkok, Thailand) - Eric Pacuit (Tilburg, Netherlands) - Vineet Padmanabhan (Hyderabad, India) - Patrice Perny (Paris 6, France) - Supawan Phonphitakchai (Naresuan University, Thailand) - Guilin Qi (Southeast University, Nanjing, China) - Jun Shen (Wollongong, Australia) - Alok Singh (Hyderabad, India) - Virach Sornlertlamvanich (NECTEC, Thailand) - Siriwan Suebnukarn (Thammasat University, Bangkok, Thailand) - Boontawee Suntisrivaraporn (SIIT, Bangkok, Thailand) - Leon van der Torre (Luxembourg) - Thanaruk Theeramunkong (SIIT, Bangkok, Thailand) - Siba Kumar Udgata (Hyderabad, India) - Paul Weng (Paris 6, France) Publicity Chairs --------------------------------------------------------------------------- -Wijittra Noisanguan (Rajamangala University of Technology, Isan, Surin campus, Thailand) -Mana Setwong (Mahasarakham University, Thailand) Local Organisation Chairs --------------------------------------------------------------------------- -Suwicha Nantawong (Mahasarakham University, Thailand) -Phisanurak Pitathasang (Mahasarakham University, Thailand) --------------------------------------------------------------------------- Contact --------------------------------------------------------------------------- Please direct any comments or enquiries to Chattrakul Sombattheera (chattrakul.s[AT]msu.ac.th) or Richard Booth (richard.booth[AT]uni.lu). From Francesco.Flammini at ansaldo-sts.com Fri Oct 15 17:22:06 2010 From: Francesco.Flammini at ansaldo-sts.com (Flammini Francesco) Date: Fri, 15 Oct 2010 17:22:06 +0200 Subject: [SAFECOMP2011] First Call for Papers Message-ID: <9929815E573D674482E65CB898982C27139EFF@GRPGEPWMX002.grptop.net> [Apologies for multiple copies] ************************************************************ FIRST CALL FOR PAPERS The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011) 19-21 September, 2011 Naples, Italy http://www.safecomp2011.unina.it/ ************************************************************ SAFECOMP is an annual event covering the state-of-the-art, experience and trends in the areas of safety, security and reliability of critical computer applications. ------------------------------------------------------------ 2011 KEY THEME: "Safety and security of computer-based systems and infrastructures: from risk assessment to threat mitigation" ------------------------------------------------------------ Papers are invited in application and industrial sectors as well as research areas. Especially papers on industrial experience and practice are encouraged. ------------------------------------------------------------ TOPICS of interest include, but are not limited to: ------------------------------------------------------------ Application and Industrial Sectors: * aerospace and avionics * automotive * industrial process control * networking & telecommunication * railways * robotics and autonomous systems * medical devices and systems * e-health * off-shore technology * ship building * power systems * critical infrastructures * security of safety-critical systems * safety guidelines and standards * education & training Research Areas: * safety & security risk assessment * design for dependability * diversity * fault tolerance * verification & validation * testing * qualification and certification * modelling and simulation * human factors * dependability analysis * networked (distributed) embedded systems * safety-critical computer systems * resilient (robust) systems * embedded intelligence * software and hardware for critical systems * methods, techniques and tools ------------------------------------------------------------ Conference Proceedings and Journal Special Issue ------------------------------------------------------------ The conference proceedings will be published by Springer in the LNCS series and made available at the conference. Authors of selected best papers will be invited to submit a revised and extended version to a special issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier. ------------------------------------------------------------ Paper Submission ------------------------------------------------------------ Full paper submissions are subjected to a formal peer-review process. Only papers neither published nor submitted elsewhere may be submitted for publication. Contributions must indicate the name, postal address, e-mail address, phone and fax number of the contact author. In order to support the reviewing process a preliminary submission of a half-page abstract is required, announcing the intention to submit a full paper and summarizing the content of the paper, its objectives and original contribution. Full papers must not exceed the maximum length of 14 pages to be edited according to the LNCS templates provided by Springer-Verlag at the web site: http://www.springer.de/comp/lncs/ In order to guarantee the quality of the presentations, each accepted paper must be presented by one of its own author at the conference. The language of the conference is English. ------------------------------------------------------------ Important Dates ------------------------------------------------------------ * February 27, 2011: Paper Abstract due * March 21, 2011: Full paper due * April 15, 2011: Tutorial/Workshop proposals due * May 9, 2011: Author notification * June 13, 2011: Camera-ready ------------------------------------------------------------ Chairs ------------------------------------------------------------ * EWICS Chair: - Francesca Saglietti (Univ. of Erlangen-Nuremberg) * Honorary Chairs: - Giovanni Bocchetti (Ansaldo STS) - Giorgio Franceschetti (Univ. of Naples Federico II) - Antonino Mazzeo (Univ. of Naples Federico II) * Program Committee Chairs: - Francesco Flammini (Ansaldo STS) - Sandro Bologna (ENEA) * Local Chairs: - Nicola Mazzocca (Univ. of Naples Federico II) - Concetta Pragliola (Ansaldo STS) - Roberto Setola (Univ. Campus Biomedico di Roma) - Valeria Vittorini (Univ. of Naples Federico II) ------------------------------------------------------------ International Program Committee ------------------------------------------------------------ Blanquart J.P. (FR) Bondavalli A. (IT) Bloomfield R. (UK) Buth B. (DE) Coronato A. (IT) Cotroneo D. (IT) Daniel P. (UK) D'Antonio S. (IT) De Pietro G. (IT) Di Giandomenico F. (IT) Ehrenberger W. (DE) Felici, M. (IT) Ferreia Neves N. (PT) Franceschinis G. (IT) Gigante G. (IT) Glielmo L. (IT) Gorski J. (PL) Halang W. (DE) Harper R.E. (USA) Heisel M. (DE) Jurjens J. (DE) Jimenez R. (ES) Kanoun K. (LAAS-CNRS/France) Karlsson J. (SE) Kelly T. (UK) Koornneef F. (NL) Ladkin P. (DE) Lindskov Hansen S.(DK) Littlewood B. (UK) Margaria T. (DE) Mosterman P.J. (USA) Nanya T. (Japan) Nordland O. (NO) Ortemeir, F. (DE) Pataricza A. (HU) Powell D. (FR) Prinetto P. (IT) Romano L. (IT) Romanovsky A. (UK) Russo S. (IT) Saglietti F. (DE) Schoitsch E. (AT) Seyfarth T. (DE) Siciliano B. (IT) Strigini L. (UK) Sujan M. (UK) Suri N. (DE) Trivedi K. (USA) van der Meulen M. (NL) Vittorini V. (IT) Vozella A. (IT) Zanero S. (IT) Zurakowski Z. (PL) ------------------------------------------------------------- General Inquires ------------------------------------------------------------- For more detailed and updated information, please refer to http://www.safecomp2011.unina.it/ or contact the conference secretariat at safecomp2011 at unina.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From joana at informatik.uni-bremen.de Sat Oct 16 15:24:47 2010 From: joana at informatik.uni-bremen.de (Joana Hois) Date: Sat, 16 Oct 2010 15:24:47 +0200 Subject: 2nd CfP: Applied Ontology Special Issue on Modularity in Ontologies Message-ID: <1287235487.1706.152.camel@name> ========================================================= --- Applied Ontology --- --- Special Issue on Modularity in Ontologies --- --- Call for Papers --- Submission deadline: December 2010 http://www.informatik.uni-bremen.de/~okutz/womoAO/ ========================================================= Applied Ontology - An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling IOS Press, ISSN: 1570-5838 Editors-in-Chief: Nicola Guarino, Mark A. Musen MODULARITY, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalisation, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but also to facilitate ontology maintenance and ontology reasoning. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularisation and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. This special issue invites submission of high quality original work that has neither appeared in, nor is under consideration by, other journals. Submissions must be formatted according to IOS Press style ( www.iospress.nl/authco/instruction_crc.html ) and should be prepared in PDF format. Contributions must be received not later than December 2010 through the EasyChair Submission System ( www.easychair.org/account/signin.cgi?conf=aowomo11 ). IMPORTANT DATES Paper Submission: December 2010 Notification (expected): March 2011 Revised Version: May 2011 Publication (expected): Fall 2011 GUEST EDITORS Oliver Kutz, Joana Hois (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany) From joolee at asu.edu Wed Oct 20 01:29:53 2010 From: joolee at asu.edu (Joohyung Lee) Date: Tue, 19 Oct 2010 16:29:53 -0700 Subject: ICLP 2011: Call for workshop proposals In-Reply-To: References: Message-ID: Dear Colleagues, Please find the attached call for workshop proposals for ICLP 2011. The submission deadline is Dec 15, 2010. We look forward to your participation. Best regards, Joohyung Lee ICLP 2011 Workshop Chair --------------------------------------------------------------------- *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2011 27th International Conference on Logic Programming Lexington, Kentucky, USA July 6-10, 2011 URL: http://www.cs.uky.edu/iclp2011/ ICLP 2011, the 27th International Conference on Logic Programming, will be held in Lexington, Kentucky, USA, from July 6 to 10, 2011. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2011 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2011 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop * A brief technical description of the topics covered by the workshop * A discussion of the timeline and relevance of the workshop * A list of some related workshops held in the recent years * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees * The names, affiliation, and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person * The previous experience of the workshop organizing committee in workshop/conference organization Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Joohyung Lee) by email by December 15, 2010. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and the scope of ICLP will be selected. The Chairs will notify the responsible organizers of their decision via email by January 12th, 2011. The final length of each workshop will be planned according to the number of submissions each workshop receives. For each accepted workshop, the ICLP local organizers will prepare a meeting place and arrange the distribution of the workshop proceedings, which must be prepared by the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL which will linked into the ICLP 2011 home page should be provided by February 2, 2011. * Providing a brief description of the workshop for the conference program * Reviewing/accepting submitted papers * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair * Sending workshop program and workshop proceedings in pdf format to the Workshop Chair for distribution at the conference * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. See http://www.logicprogramming.org/ for guidelines. We encourage reading these instructions in advance so that you can ask paper authors to prepare accordingly the final versions of their papers. Location: ========= All workshops will take place in Lexington at the site of the main conference. See the ICLP 2011 web site for location details. Important Dates: ================ December 15, 2010: Proposal submission deadline January 12, 2011: Notification February 2, 2011: Deadline to receive the CFP and the URL for workshop web page June 1, 2011: Deadline for preliminary proceedings July 6-10, 2011: ICLP 2011 and workshops Workshop Chair: =============== Joohyung Lee peace.eas.asu.edu/joolee joolee [at] asu [dot] edu From universal.logic at ufc.br Wed Oct 20 13:01:53 2010 From: universal.logic at ufc.br (Universal Logic) Date: Wed, 20 Oct 2010 09:01:53 -0200 (BRST) Subject: is logic universal? Message-ID: A special issue of the journal Logica Universalis dedicated to the question "is logic universal?" has been released. http://www.springerlink.com/content/120443/?Content+Status=Accepted The authors have tried to answer the following questions: 1. Do all human beings have the same capacity of reasoning? Do men, women, children, Papuans, yuppies, reason in the same way? 2. Does reasoning evolve? Did human beings reason in the same way two centuries ago? In the future will human beings reason in the same way? Are computers changing our way of reasoning? Is a mathematical proof independent of time and culture? 3. Do we reason in different ways depending on the situation? Do we use the same logic for everyday life, in physics, and in questions to do with the economy? 4. Do the different systems of logic reflect the diversity of reasoning? 5. Is there any absolute true way of reasoning? >------------------ Jean-Yves Beziau Editor-in-Chief Logica Universalis - Journal http://www.birkhauser-science.com/LU Studies in Universal logic - Book Series http://www.springer.com/series/7391 World Congress and School on Universal Logic http://www.uni-log.org From oscar at iam.unibe.ch Wed Oct 20 09:36:46 2010 From: oscar at iam.unibe.ch (Oscar Nierstrasz) Date: Wed, 20 Oct 2010 09:36:46 +0200 Subject: unsubscribe In-Reply-To: References: Message-ID: Please unsubscribe me from this list. (And include unsubscribe information in your postings!) Kind regards, Oscar Nierstrasz --- Prof. Dr. O. Nierstrasz -- Oscar.Nierstrasz at iam.unibe.ch Software Composition Group -- http://scg.unibe.ch/oscar University of Bern -- Tel/Fax +41 31 631.4618/3355 On Oct 20, 2010, at 1:29 , Joohyung Lee wrote: > Dear Colleagues, > > Please find the attached call for workshop proposals for ICLP 2011. > The submission deadline is Dec 15, 2010. We look forward to your > participation. > > > Best regards, > Joohyung Lee > ICLP 2011 Workshop Chair > > --------------------------------------------------------------------- > > > > > *** CALL FOR WORKSHOP PROPOSALS *** > > ICLP 2011 > > 27th International Conference on Logic Programming > > Lexington, Kentucky, USA > July 6-10, 2011 > > URL: http://www.cs.uky.edu/iclp2011/ > > > > ICLP 2011, the 27th International Conference on Logic Programming, > will be held in Lexington, Kentucky, USA, from July 6 to 10, 2011. > > Workshops collocated with an international conference are one of the > best venues for the presentation and discussion of preliminary work, > novel ideas, and new open problems to a wide and interested audience. > Collocated workshops also provide an opportunity for presenting > specialized topics and opportunities for intensive discussions and > project collaboration. The topics of the workshops collocated with > ICLP 2011 can cover any areas related to logic programming, (e.g., > theory, implementation, environments, language issues, alternative > paradigms, applications), including cross-disciplinary areas. However, > any workshop proposal will be considered. > > The format of the workshop will be decided by the workshop organizers, > but ample time should be allowed for general discussion. Workshops can > vary in length, but the optimal duration will be half a day or a full day. > > > Workshop Proposal: > ================== > > Those interested in organizing a workshop at ICLP 2011 are invited > to submit a workshop proposal. Proposals should be in English and > about two pages in length. They should contain: > > * The title of the workshop > > * A brief technical description of the topics covered by the > workshop > > * A discussion of the timeline and relevance of the workshop > > * A list of some related workshops held in the recent years > > * The (preliminary) required number of half-days allotted to the > workshop and an estimate of the number of expected attendees > > * The names, affiliation, and contact details (email, web page, > phone, fax) of the workshop organizer(s) together with a > designated contact person > > * The previous experience of the workshop organizing committee in > workshop/conference organization > > Proposals are expected in ASCII or PDF format. All proposals should be > submitted to the Workshop Chair (Joohyung Lee) by email by December > 15, 2010. > > > Reviewing Process: > ================== > > Each submitted proposal will be reviewed by the Workshop Chair and the > Conference Program Chairs. Proposals that appear well-organized and > that fit the goals and the scope of ICLP will be selected. The Chairs > will notify the responsible organizers of their decision via email by > January 12th, 2011. > > The final length of each workshop will be planned according to the > number of submissions each workshop receives. For each accepted > workshop, the ICLP local organizers will prepare a meeting place and > arrange the distribution of the workshop proceedings, which must be > prepared by the workshop organizers. The workshop registration fees > will be handled together with the conference fees. > > > Workshop Organizers' Tasks: > =========================== > > * Producing a "Call for Papers" for the workshop and posting it on > the Internet and other means. A web page URL which will linked > into the ICLP 2011 home page should be provided by February 2, > 2011. > > * Providing a brief description of the workshop for the conference > program > > * Reviewing/accepting submitted papers > > * Scheduling workshop activities in collaboration with the local > organizers and the Workshop Chair > > * Sending workshop program and workshop proceedings in pdf format to > the Workshop Chair for distribution at the conference > > * The use of the Computing Research Repository (CoRR) for the > workshop proceedings is strongly recommended. See > http://www.logicprogramming.org/ for guidelines. We encourage > reading these instructions in advance so that you can ask paper > authors to prepare accordingly the final versions of their papers. > > > Location: > ========= > > All workshops will take place in Lexington at the site of the main > conference. See the ICLP 2011 web site for location details. > > > Important Dates: > ================ > > December 15, 2010: Proposal submission deadline > January 12, 2011: Notification > February 2, 2011: Deadline to receive the CFP and the URL for workshop > web page > June 1, 2011: Deadline for preliminary proceedings > July 6-10, 2011: ICLP 2011 and workshops > > > Workshop Chair: > =============== > Joohyung Lee peace.eas.asu.edu/joolee joolee [at] asu [dot] edu From aguabtni at cse.unsw.edu.au Fri Oct 22 15:11:29 2010 From: aguabtni at cse.unsw.edu.au (Adnene Guabtni) Date: Sat, 23 Oct 2010 00:11:29 +1100 Subject: CFP WI-IAT 2011 Message-ID: * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. ##################################################################### The 2011 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE (WI 2011) INTELLIGENT AGENT TECHNOLOGY (IAT 2011) CALL FOR PAPERS ##################################################################### August 22 - 27, 2011, Lyon, France http://wi-iat-2011.org Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ################################################################## Workshop proposal submission: December 17, 2011 (Notification of acceptance: January 7, 2011) Electronic submission of full papers (WI and IAT): March 11, 2011 Notification of paper acceptance (WI-IAT): May 23, 2011 Workshop paper submissions: March 21, 2011 Notification of Workshop paper acceptance: June 1, 2011 Camera-ready copies of accepted papers: June 10, 2011 Workshops and Industry day: August 22, 2011 Conference: August 23-25, 2011 Summer School: August 26-27, 2011 ################################################################## For more information on the different calls: http://wi-iat-2011.org *** Contact Information *** Email: wi-iat11 at liris.cnrs.fr The WIC Office Email: wi10 at wi-consortium.org From behrens at in.tu-clausthal.de Mon Oct 25 14:46:49 2010 From: behrens at in.tu-clausthal.de (Tristan Behrens) Date: Mon, 25 Oct 2010 14:46:49 +0200 Subject: 2APL New Release Message-ID: <4CC57C39.8010106@in.tu-clausthal.de> Dear all, On behalf of the 2APL development team, I am pleased to announce the new open source release of the 2APL platform. The (new) official home is located at: http://apapl.sourceforge.net/ 2APL (A Practical Agent Programming Language) is a modular BDI-based programming language that supports the development of multi-agent systems. The 2APL Platform and its corresponding Eclipse plug-in editor are developed to facilitate the implementation and execution of multi-agent programs. 2APL provides a rich set of programming constructs allowing direct implementation of concepts such as beliefs, declarative goals, actions, plans, events, and reasoning rules. The reasoning rules allow run-time generation of plans based on declarative goals, received events and messages, and failed plans. Have a look at the 2APL home and play with the multi-agent program examples that come with the distribution. We hope you can use this platform and contribute to its further development. Best Regards, Mehdi Dastani From hr at sti2.at Mon Oct 25 16:01:10 2010 From: hr at sti2.at (HR) Date: Mon, 25 Oct 2010 16:01:10 +0200 Subject: Open position: PhD student in various EU projects In-Reply-To: <4C975C7E.7060403@sti2.at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> <4B0554D8.4010503@sti2.at> <4B6C0262.8030803@sti2.at> <4B6C0284.8070601@sti2.at> <4BA8B8EC.2080101@sti2.at> <4BA8C8D8.5060201@sti2.at> <4BF65B42.6030807@sti2.at> <003501cafbdd$2bd8e7a0$838ab6e0$@at> <4C173C33.200@sti2.at> <00be01cb3236$d4df5520$7e9dff60$@at> <4C975C7E.7060403@sti2.at> Message-ID: <4CC58DA6.2020502@sti2.at> The *Semantic Technology Institute (STI) Innsbruck* (*http://www.sti-innsbruck.at* ), formerly known as *DERI Innsbruck*, was founded in 2002 and has developed into a challenging and dynamic research institute of approximately 40 people. *STI Innsbruck* collaborates with an international network of institutes in Asia, Europe and the USA, as well as with global industrial partners. Our major objective is to establish Semantic technologies as a core pillar of modern Computer Science, thereby providing interoperability and scalability for Semantically Enabled Service Orientated Architectures. STI Innsbruck is currently seeking candidates for the position of a PhD student. We offer * A stimulating environment of a leading research group in the fields of Semantic Web, Semantic Web services, formal languages and reasoning * Excellent ties to research groups worldwide * Up-to-date infrastructure and resources, including funding for attending international conferences, PhD symposia, summer schools, etc. * Standardized international exchange programs such as BIT * Opportunity to work in nationally funded integrated research projects * Opportunity to take part in international research projects focusing on topics such as Web 2.0, service-oriented computing, formal languages and reasoning, ontologies and ontology engineering * Opportunity to work with internationally established academic and industrial partners * Multicultural working place with modern infrastructure and facilities We expect * A strong background in Computer Science or related disciplines * Willingness to work in an international environment * The ability to take part in large-scale international research projects * Willingness to combine formal scientific work with application-oriented research in order to solve real-world problems * Research interest and expertise in at least one of the areas: Formal languages and reasoning (Description Logics, Logic Programming), ontology languages, Semantic Web services, ontologies, business aspects of semantic systems. We kindly invite you to submit your application to: Universität Innsbruck Chiffre MIP-6231 Posteinlaufstelle der Zentralen Dienste Innrain 52 A-6020 Innsbruck Application deadline: Nov 10, 2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From csoares at fep.up.pt Wed Oct 27 02:33:55 2010 From: csoares at fep.up.pt (Carlos Soares) Date: Wed, 27 Oct 2010 01:33:55 +0100 Subject: HAIS`11: 2nd CFP. Proceedings by LNAI-Springer & Special Sessions/Workshops. References: <21100441.6131288075365140.JavaMail.SYSTEM@einstein> Message-ID: <50146871-D5F3-4C20-A7DE-518A4B1FAD18@fep.up.pt> From: Date: 26 de outubro de 2010 07:42:45 GMT+01:00 To: undisclosed-recipients:; Subject: HAIS`11: 2nd CFP. Proceedings by LNAI-Springer & Special Sessions/Workshops. HAIS 2011: 2nd Call for Papers & Special Session Proposals * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. 6th International Conference on Hybrid Artificial Intelligence Systems(HAIS´11) 23rd-25th May, 2011 Wroclaw/Poland http://hais.pwr.wroc.pl/ ---------------------------------------------------------------- Technical Co-Sponsors by: IEEE.-Spain Section http://www.ieee.org/spain IEEE.-Systems, Man, and Cybernetics Spanish Chapter http://gicap.ubu.es/IEEE/main/index.shtml Machine Intelligence Research Labs (MIR Labs) http://www.mirlabs.org/ ---------------------------------------------------------------- ***PROCEEDINGS: HAIS'11 proceedings will be published by Springer in its series of LNCS/LNAI- LNAI (Lecture Notes in Artificial Intelligence) as in the last previous editions. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. *** PLENARY SPEAKERS: prof. Włodzisław Duch - Nicolaus Copernicus University (Poland) prof. Francisco Herrera, University of Granada (Spain) prof. Janusz Kacprzyk - Systems Research Institute, Polish Academy of Sciences prof. Adam Krzyżak - Concordia University (Canada) dr Gerald Schaefer - Loughborough University (U.K.) ***SPECIAL SESSIONS AND WORKSHOPS: Special sessions confirmed up to now!! SS01 HYBRID INTELLIGENT SYSTEM ON LOGISTICS AND INTELLIGENT OPTIMIZATION SS02 FUZZY RULE DISCOVERY BASED ON EVOLUTIONARY COMPUTING SS03 METAHEURISTICS FOR COMBINATORIAL OPTIMIZATION AND MODELLING COMPLEX SYSTEMS SS04 HYBRID SYSTEMS FOR CONTEXT-BASED INFORMATION FUSION SS05 METHODS OF CLASSIFIERS FUSION SS06 INTELLIGENT SYSTEMS FOR DATA MINING AND APPLICATIONS SS07 Systems, Man, & Cybernetics by SOCO- Workshop In addition to regular sessions, participants are encouraged to organize special sessions on specialized topics. Each special session should have at least 4 or 5 quality papers. Special session organizers will solicit submissions; conduct reviews jointly with the HAIS´11 PC and in the same way recommend accept/reject decisions on the submitted papers. Submission of Special Sessions are welcome! http://hais.pwr.wroc.pl/special.htm For more information, please, send an email to: escorchado at usal.es -------------------------------------------------------------------- *** 6th International Conference on Hybrid Artificial Intelligence Systems(HAIS´11) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. Hybrid intelligent systems are becoming popular due to their capabilities in handling many real world complex problems, involving imprecision, uncertainty and vagueness, high-dimensionality. They provide us with the opportunity to use both, our knowledge and row data to solve problems in a more interesting and promising way. HAIS´11 provides an interesting opportunity to present and discuss the latest theoretical advances and real-world applications in this multidisciplinary research field. *** TOPICS *** Topics are encouraged, but not limited to, the combination of at least two of the following areas in the field of Hybrid Intelligent Systems: Fusion of soft computing and hard computing Evolutionary Computation Visualization Techniques Ensemble Techniques Data mining and decision support systems Intelligent agent-based systems (complex systems), cognitive and Reactive distributed AI systems Internet modelling Human interface Case base reasoning Chance discovery Applications in security, prediction, control, robotics, image and speech signal processing, food industry, biology and medicine, business and management, knowledge management, artificial societies, chemicals, pharmaceuticals, geographic information systems, materials and environment engineering and so on. *** PAPER SUBMISSION AND PROCCEEDINGS*** HAIS'11 proceedings will be published by Springer in its series of Lecture Notes in Artificial Intelligence - LNAI (part of its prestigious Lecture Notes in Computer Science - LNCS series). All submissions will be refereed by experts in the field based on originality, significance, quality and clarity. Every submitted paper to HAIS´11 will be reviewed by at least two members of the Program Committee. Papers must be prepared according to the LNCS-LNAI style template (http://www.springer.de/comp/lncs/authors.html) and must be no more than eight (8) pages long, including figures and bibliography. Additional pages (over 8 pages) will be charged at 100 Euro each. *** IMPORTANT DATES *** Submission of papers: December 15, 2010 Notification of acceptance: February 01, 2011 Submission of camera-ready papers: February 15, 2011 Payment deadline: February 28, 2011 Dr. Michal Wozniak - Wroclaw University of Technology (Poland) (PC Co- Chair) Dr. Emilio Corchado - University of Salamanca (Spain) (PC Co-Chair) *** CONTACT *** Dr. Michal Wozniak Department of Systems and Computer Networks Wroclaw University of Technology Wybrzeze Wyspianskiego 27 50-370 Wroclaw, Poland e-mail: hais at pwr.wroc.pl phone: +48 71 320 2877, +48 71 320 29 72, +48 71 320 35 39 fax: +48 71 320 2902 Dr. Emilio Corchado BISITE Research Group http://bisite.usal.es/ GICAP Research Group http://gicap.ubu.es/ University of Salamanca Email: escorchado at usal.es Phone: +34 616449888 For more information about HAIS´11, please refer to the HAIS´10 website: http://hais.pwr.wroc.pl/index.html * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. -- Powered by VIC -- http://gicap.ubu.es:8080/vic/