From a.ricci at unibo.it Thu Sep 1 15:36:14 2011 From: a.ricci at unibo.it (Alessandro Ricci) Date: Thu, 1 Sep 2011 13:36:14 +0000 Subject: Final CFP: AGERE! @ SPLASH 2011 - Actors and Agents at SPLASH Message-ID: FINAL CALL FOR PAPERS AGERE! @ SPLASH - International ACM SPLASH 2011 Workshop on Programming Systems, Languages, and Applications based on Actors, Agents, and Decentralized Control Important Dates: Paper Submission: Friday, 9 September 2011 Notification: Monday, 3 October 2011 Final version: Monday, 10 October 2011 Demo submission: Friday, 9 September 2011 Demo notification: Monday, 19 September 2011 Workshop date: Monday, 24 October 2011 ABSTRACT: The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction, calling for programming paradigms that would allow more naturally than the current ones to think, design, develop, execute, debug and profile programs exhibiting different degrees of concurrency, reactiveness, autonomy, decentralization of control, distribution. This workshop aims at exploring programming approaches explicitly providing a level of abstraction that promotes a decentralized mindset in solving problems and programming systems. To this end, the abstractions of agents and actors (and systems of agents and actors) are taken as a natural reference: the objective of the workshop is then to foster the research in all aspects of agent-oriented programming and actor-oriented programming as evolution of mainstream paradigms (such as OOP), including the theory and the practice of design and programming, bringing together researchers working on the models, languages and technologies, and practitioners developing real-world systems and applications. Read more at: http://agere2011.apice.unibo.it "Start the workshop Now!" - join the group: https://groups.google.com/group/agere-at-splash to contribute to ongoing discussions about the AGERE! topics and workshop organization ORGANIZING COMMITTEE Gul Agha, University of Illinois at Urbana-Champaign, USA Rafael H. Bordini, Federal University of Rio Grande do Sul, Brazil Alessandro Ricci, University of Bologna, Italy PROGRAM COMMITTEE (in alphabetic order, to be completed) Gul Agha, University of Illinois at Urbana-Champaign, USA Joe Armstrong, SICS / Ericsson, Sweden Olivier Boissier, LSTI ENS Mines Saint-Etienne, France Rafael Bordini, Federal University of Rio Grande do Sul, Brazil Jean-Pierre Briot, LIP6, Paris 6, France Rem Collier, UCL, Dublin Mehdi Dastani, Utrecht University, The Netherlands Jurgen Dix, Technical University of Clausthal, Germany Koen Hindriks, Delft University of Technology, The Netherlands Tom Holvoet, Dept. Computer Science K.U.Leuven, Belgium Jomi Hubner, Federal University of Santa Catarina, Brazil Joao Leite, New University of Lisbon, Portugal Jamali Nadeem, University of Saskatchewan, Saskatoon, Canada Ravi Pandya, Microsoft Jens Palsberg, UCLA, Los Angeles, USA Alessandro Ricci, University of Bologna, Italy Birna van Riemsdijk, Delft University of Technology, The Netherlands Giovanni Rimassa, Whitestein Technologies Amal El Fallah Seghrouchni, LIP6 - University Pierre and Marie Curie Munindar Singh, North Carolina State University, USA Akinori Yonezawa, University of Tokyo, Japan ... From pedro at mat.uc.pt Thu Sep 1 17:20:15 2011 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Thu, 1 Sep 2011 16:20:15 +0100 Subject: Call for Papers: THedu'11 (Post-proceedings) In-Reply-To: <4D46DACC.9070400@ist.tugraz.at> References: <4D46DACC.9070400@ist.tugraz.at> Message-ID: <201109011620.17422.pedro@mat.uc.pt> [Apologies for possible multiple postings.] ---------------------------------------------------------------------- Call for Papers Post-Proceedings ---------------------------------------------------------------------- THedu'11 CTP components for educational software ======================================= (CTP -- Computer Theorem Proving) http://www.uc.pt/en/congressos/thedu ---------------------------------------------------------------------- Important Dates --------------- * Call for papers: 1.Sep.2011 * Submission (full papers): 15.Nov.2011 * Notification of acceptance: 15.Dec.2011 * Revised papers due: 15.Jan.2012 ---------------------------------------------------------------------- THedu is a forum to gather the research communities for Computer Theorem proving (CTP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP) as well as for Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas and to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). Elements for next-generation MMA's include: * Declarative Languages for Problem Solution: education in applied sciences and in engineering is mainly concerned with problems, which are understood as operations on elementary objects to be transformed to an object representing a problem solution. Preconditions and postconditions of these operations can be used to describe the possible steps in the problem space; thus, ATP-systems can be used to check if an operation sequence given by the user does actually present a problem solution. Such "Problem Solution Languages" encompass declarative proof languages like Isabelle/Isar or Coq's Mathematical Proof Language, but also more specialized forms such as, for example, geometric problem solution languages that express a proof argument in Euclidean Geometry or languages for graph theory. * Consistent Mathematical Content Representation: libraries of existing ITP-Systems, in particular those following the LCF-prover paradigm, usually provide logically coherent and human readable knowledge. In the leading provers, mathematical knowledge is covered to an extent beyond most courses in applied sciences. However, the potential of this mechanised knowledge for education is clearly not yet recognised adequately: renewed pedagogy calls for enquiry-based learning from concrete to abstract --- and the knowledge's logical coherence supports such learning: for instance, the formula 2.Pi depends on the definition of reals and of multiplication; close to these definitions are the laws like commutativity etc. Clearly, the complexity of the knowledge's traceable interrelations poses a challenge to usability design. * User-Guidance in Stepwise Problem Solving: Such guidance is indispensable for independent learning, but costly to implement so far, because so many special cases need to be coded by hand. However, CTP technology makes automated generation of user-guidance reachable: declarative languages as mentioned above, novel programming languages combining computation and deduction, methods for automated construction with ruler and compass from specifications, etc --- all these methods 'know how to solve a problem'; so, using the methods' knowledge to generate user-guidance mechanically is an appealing challenge for ATP and ITP, and probably for compiler construction! In principle, mathematical software can be conceived as models of mathematics: The challenge addressed by this workshop is to provide appealing models for MMAs which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation. Program Chairs -------------- Ralph-Johan Back, Abo University, Turku, Finland Pedro Quaresma, University of Coimbra, Portugal Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Florian Haftman, Munich University of Technology, Germany Predrag Janicic, University of Belgrade, Serbia Cezary Kaliszyk, University of Tsukuba, Japan Julien Narboux, University of Strasbourg, France Walther Neuper, Graz University of Technology, Austria Wolfgang Schreiner, Johannes Kepler University, Linz, Austria Laurent Théry, Sophia Antipolis, INRIA, France Makarius Wenzel, University Paris-Sud, France Burkhart Wolff, University Paris-Sud, France Submission ---------- The post-proceedings of THedu'11 will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series. You are invited to submit original research papers (of 10-14 pages) for possible publication in the proceedings. Your contributions have to be within the scope of THedu, but their contents do not have to be related to a past presentation at THedu'11. Submissions which do not have been presented at THedu'11 are welcome. All the submissions will be formally reviewed according to the usual standard of international conferences. The proceedings will be edited by the PC chairs. THedu'11 seeks papers presenting original unpublished work which is not been submitted for publication elsewhere. Submission guidelines --------------------- The authors of papers should submit to easychair in PDF format generated by EPTCS LaTeX style(*). We will use the same submission page as for the workshop: http://www.easychair.org/conferences/?conf=thedu11 Do NOT UNDER ANY CIRCUMSTANCES replace your workshop submission by your new post-proceedings paper (it won't be considered in that case), but instead make sure to submit your post-proceedings contribution as a NEW AND INDEPENDENT SUBMISSION. Please feel free to contact us if you have any comments, suggestions, and/or questions. We look forward to receiving your submissions. With best wishes, The Program Committee of THedu'11 (*) http://www.cse.unsw.edu.au/~rvg/EPTCS/eptcsstyle.zip -- At\'e breve;\`A bient\^ot;See you later;Vidimo se; Professor Auxiliar Pedro Quaresma Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia Universidade de Coimbra P-3001-454 COIMBRA, PORTUGAL correioE: pedro at mat.uc.pt p\'agina: http://www.mat.uc.pt/~pedro/ telef: +351 239 791 137; fax: +351 239 832 568 From stefano.bragaglia at unibo.it Mon Sep 5 08:49:30 2011 From: stefano.bragaglia at unibo.it (The RuleML2011@BRF Challenge Chairs) Date: Mon, 05 Sep 2011 08:49:30 +0200 Subject: RuleML2011@BRF Challenge - Paper and demo submission deadline extension Message-ID: *Apologies for any duplicates* ====================================================================* * RuleML2011 at BRF - 5th International Rule Challenge * * Nov 4th * * Westin Diplomat, Ft Lauderdale, Florida * * http://2011.ruleml.org/america/?page_id=113 * ====================================================================* * Call for Demos - EXTENDED Deadline - Sept. 16th, 2011 * * New categories in the Challenge with prestigious prizes * * Demo papers published as CEUR proceedings * * 15% special discount code for OASIS, OMG, W3C, ACM, ECCAI, EPTS, * * SemWeb and WSWM members * * see http://2011.ruleml.org/america/ * ********************************************************************* Dear Colleague, In consideration of various requests from current and prospective authors, we have decided to extend the deadline of the RuleML2011 at BRF Challenge. This will allow current authors to refine their demo papers and enable prospective authors to join the upcoming RuleML2011 at BRF (http://2011.ruleml.org/america). The updated important dates for the Challenge event are as follows: * Sept. 16th, 2011 - Submission deadline for demo papers (EXTENDED) * Sept. 23th, 2011 - Submission deadline for demo systems (EXTENDED) * Sept. 30th, 2011 - Notification of accepted demo papers and systems * Oct. 7th, 2011 - Camera ready papers Submissions are composed of an open-source or commercial demo, and a paper describing the research, implementation and technical details behind it. Both paper and demo have to be submitted to this website: https://www.easychair.org/conferences/?conf=ruleml2011challenge Please notice that to better disseminate your work all demos should also be uploaded here: http://2011.ruleml.org/america/?page_id=184 Accepted papers will be published as CEUR Workshop Proceedings. More details on the paper format, upload procedure and evaluation criteria can be found on the Challenge section of the main symposium site: http://2011.ruleml.org/america/?page_id=113 RuleML-2011 at BRF aims to emphasize the synergy between high-quality research and industries in rule modeling, markup and reasoning, with particular focus on rule usability in the Web environment. RuleML2011 at BRF has already committed a rich assembly of speakers from academia, industry and standards organizations: - Keynotes: Christian de Sainte Marie (IBM ILOG), Marcus Spies (Ludwig-Maximilians University, Munich), Paul Vincent, (CTO Business Rules & CEP, TIBCO Software) and Jan Vanthienen (KU Leuven, World Authority on Decision Tables). - An OMG presentation will be given by Said Tabet (EMC) and one from NIEM and OASIS by David Webber (Oracle Corporation). - Special invited demos will be presented by Jans Aasman (Franz Inc.) and by Benjamin Grosof (Vulcan Inc.). Best regards, The RuleML2011 at BRF Challenge Chairs From sara at kdbio.inesc-id.pt Mon Sep 5 16:59:36 2011 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Mon, 05 Sep 2011 15:59:36 +0100 Subject: EnviGP - Grants available - deadline 15/September Message-ID: <4E64E3D8.7090101@kdbio.inesc-id.pt> ===== Two research grants are now available ===== ===== Application deadline: 15 / Sep / 2011 ===== Project: EnviGP - Improving Genetic Programming for the Environment and Other Applications Website: http://kdbio.inesc-id.pt/~sara/envigp.html Objectives / summary: The EnviGP project is dedicated to improving Genetic Programming in order to allow its practical usage by practitioners of different scientific domains. It studies the issues of bloat, overfitting, complexity and interpretability of the solutions, and a more efficient usage of GP in multiclass classification problems. All new developments are tested in both benchmark and real world data of different domains including forest science and biomedical informatics. More information on available grants: http://kdbio.inesc-id.pt/~sara/envigp_grants.html Cheers, Sara Silva From frflammi at unina.it Wed Sep 7 16:21:29 2011 From: frflammi at unina.it (Francesco Flammini) Date: Wed, 07 Sep 2011 16:21:29 +0200 Subject: SAFECOMP 2011: Last Call for Participation Message-ID: <20110907162129.42jg15gbh8g008gc@webmail.unina.it> ******************************************************************** LAST CALL FOR PARTICIPATION The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011) 19 / 22 September 2011 - Naples, Italy http://www.safecomp2011.unina.it/ Technically co-sponsored by IEEE Computer Society and IFIP In cooperation with ACM SIGBED and SIGSAC ******************************************************************** -------------------------------------------------------------------- ABOUT SAFECOMP -------------------------------------------------------------------- Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SAFECOMP is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a one-stream conference without parallel sessions, allowing easy networking. -------------------------------------------------------------------- VENUE -------------------------------------------------------------------- SAFECOMP 2011, the 30th anniversary edition, will be held in Naples, Italy, at the Congress Center Partenope, located on a wonderful seafront promenade, close to the historical center, best hotels and boarding points to the islands. -------------------------------------------------------------------- KEY THEME -------------------------------------------------------------------- The 2011 edition will focus on: Safety and security of computer-based systems and infrastructures: from risk assessment to threat mitigation -------------------------------------------------------------------- INVITED TALKS -------------------------------------------------------------------- * Formal Methods Europe (FME) Invited Lecture: Software Safety and Software Complexity, by Dr. Gerard J. HOLZMANN, Computer Science Department, California Institute of Technology (Caltech) and NASA Jet Propulsion Laboratory, Laboratory for Reliable Software, Pasadena, USA http://en.wikipedia.org/wiki/Gerard_J._Holzmann * Security and Dependability Risks of Critical Information Infrastructures (or why Bang! is different from Crash), by Prof. Paulo VERISSIMO, Faculty of Sciences, University of Lisbon, Lisbon, Portugal, http://www.di.fc.ul.pt/~pjv * Model-based resilience assessment of critical information infrastructures, by Prof. Andrea BONDAVALLI, Dipartimento di Sistemi ed Informatica, University of Florence, Florence, Italy, and ResilTech Srl, Cascina (PI), Italy http://rcl.dsi.unifi.it/aboutus/andrea.php -------------------------------------------------------------------- WORKSHOPS AND TUTORIALS DAY: September 22nd 2011 -------------------------------------------------------------------- * International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES), http://www.irit.fr/SD4RCES * ERCIM/EWICS Cyberphysical Systems Workshop: Resilient Systems, Robotics, Systems-of-Systems Challenges in Design, Validation & Verification and Certification * IEEE Computer Society Italy Chapter Sponsored Lecture: Software Fault Tolerance in the Twenty First Century, held by Prof. Kishor S. TRIVEDI, Hudson Professor of Electrical and Computer Engineering, Duke University, Department of Electrical and Computer Engineering, Durham, USA, http://people.ee.duke.edu/~kst * Further tutorials TBC -------------------------------------------------------------------- SOCIAL PROGRAM -------------------------------------------------------------------- * Welcome Cocktail at the Roof Garden of the Hotel Excelsior, a splendid building located near Castel dell'Ovo on one of the world's most famous bay, http://www.excelsior.it * Social Dinner at "La Bersagliera", Restaurant in Naples since 1919 and historical place of Italy, http://www.labersagliera.it * City tour on board of red, open-top, double-decker buses by City Sightseeing, http://www.napoli.city-sightseeing.it/eng/index.htm * Guided tour of Castel Dell'Ovo, a castle located on the former island of Megaride, now a peninsula, on the gulf of Naples http://en.wikipedia.org/wiki/Castel_dell%27Ovo -------------------------------------------------------------------- GENERAL INQUIRIES -------------------------------------------------------------------- For more detailed and updated information, please refer to the conference web site (www.safecomp2011.unina.it) or contact the conference secretariat at: safecomp2011 at unina.it From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Sep 8 11:16:16 2011 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Thu, 8 Sep 2011 09:16:16 +0000 Subject: AAMAS 2012 Call for Papers Message-ID: CALL FOR PAPERS 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) Valencia, Spain June 4–8, 2012 http://aamas2012.webs.upv.es ** ABOUT AAMAS ** AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012. See http://www.ifaamas.org for more information on the AAMAS conference series. ** WHAT’S NEW? ** We realise that many of you will not read the CFP in detail. Please at least read the following points, which highlight significant recent changes. 1. When submitting papers, if the paper has appeared anywhere before, even as a short paper or in a workshop, then you must provide information on this - see the Submission Instructions section below for details. 2. The "industry track" changed in 2011 to the "innovative applications" track. 3. In response to comments at the AAMAS 2011 community discussion session, AAMAS 2012 also invites "perspective" papers (see the end of topic list for more information) ** TOPICS OF INTEREST ** Topics of interest include, but are not limited to: Agent Communication: 1. Agent commitments 2. Communication languages 3. Communication protocols 4. Speech act theory Agent Cooperation: 1. Biologically-inspired approaches and methods 2. Collective intelligence 3. Distributed problem solving 4. Human-robot/agent interaction 5. Multi-user/multi-virtual-agent interaction 6. Teamwork, coalition formation, coordination 7. Incentives for Cooperation 8. Implicit Cooperation Agent Reasoning: 1. Planning (single and multiagent) 2. Reasoning (single and multiagent) 3. Cognitive models 4. Knowledge representation Agent Societies and Societal issues: 1. Artificial social systems 2. Environments, organisations and institutions 3. Ethical and legal issues 4. Peer to peer coordination 5. Privacy, safety and security 6. Social and organizational structure 7. Trust, reliability and reputation Agent Theories, Models and Architectures: 1. BDI 2. Belief revision 3. Bounded rationality 4. Formal models of agency 5. Logic-based approaches and methods 6. Mobile agents 7. Modeling other agents and self 8. Modeling the dynamics of MAS 9. Reactive vs. deliberative approaches 10. Service oriented architectures 11. Verification of MAS Agent-based simulation: 1. Artificial societies 2. Emergent behavior 3. Simulation techniques, tools and environments 4. Social simulation Agent-based system development: 1. Agent development techniques, tools and environments 2. Agent programming languages 3. Agent specification or validation languages 4. Design languages for agent systems 5. Development environments 6. Programming languages 7. P2P, web services, grid computing 8. Software engineering (agent- or multi agent-oriented) Agreement Technologies: 1. Argumentation 2. Collective decision making 3. Judgment aggregation and belief merging 4. Negotiation 5. Norms Economic paradigms: 1. Electronic markets 2. Economically-motivated agents 3. Game Theory (cooperative and non-cooperative) 4. Social choice theory 5. Voting protocols 6. Artificial economies/markets 7. Auction and mechanism design 8. Bargaining and negotiation Learning and Adaptation: 1. Computational architectures for learning 2. Reward structures for learning 3. Evolution, adaptation 4. Co-evolution 5. Single agent Learning 6. Multiagent Learning Systems and Organisation: 1. Autonomic computing 2. Complex systems 3. Self-organisation Perspectives (see below) * Perspective Papers * These are papers that analyse in some way the agents research community, or part of it. These papers will be handled like any other AAMAS submission; they will be evaluated in terms of their originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Papers that merely present a numerical analysis of trends without insightful interpretation, or that fail to situate their analysis within the existing body of literature, are unlikely to be accepted. Examples of appropriate topics for perspective papers include (but are not necessarily limited to): 1. An analysis of data concerning trends in a given sub-area of agents, along with a discussion of these trends. 2. An overview of the state of adoption in practice of agents, along with an analysis of reasons and future trends 3. Any other papers that take a "step back" and consider the research and/or adoption of some aspect (or all of) the agents community ** KEY DATES ** For Authors: Electronic Abstract Submission: October 7, 2011 (11:59 PM HST) Full Paper Submission: October 12, 2011 (11:59 PM HST) Rebuttal Phase: November 29 – December 1, 2011 (11:59 PM HST) Author Notification: December 21, 2011 (11:59 PM HST) Conference: June 4–8, 2012 For Reviewers: Bidding deadline: October 14, 2011 (11:59pm HST) Paper assignments announced: October 24, 2011 Reviewing Period: October 24 – November 21, 2011 Discussion Period: December 2–9, 2011 ** SUBMISSION ** AAMAS 2012 seeks submissions of high-quality full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Please note that prior submission of an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8 page) papers must be submitted for the review process to start. All work must be original (must not have appeared in a conference proceedings, book, or journal). * Submission Instructions * To register and submit your paper (in PDF format), please go to the submission website: http://aamas2012.confmaster.net and follow the instructions. Please keep in mind that you must submit an abstract by October 7, 2011 to be able to upload your paper (abstract submission is required to submit a paper, but abstracts will NOT be reviewed). The abstract and paper submissions close at 11:59 PM Hawaii Standard Time (HST = GMT - 10:00) on Oct 7 and Oct 12 respectively. If any substantial part of your work appeared previously, please provide the citation and a one sentence description of the differences in the box provided. It is OK to submit work that has previously appeared in a workshop (without an associated archival publication). For such papers simply fill in the paper and workshop info. For papers that build on earlier work that appeared in an archival publication, please provide the citation and a one sentence description of the key advances/differences. This information will be kept from the reviewers to ensure a double-blind review and will only be used by the program chairs. * Formatting Instructions * The page limit for AAMAS 2012 submissions is 8 pages. The format follows the ACM proceedings guidelines and consists of balanced double columns, 9 pt text, 1" (2.54cm) margins top and bottom, and 0.75" (1.9cm) margins left and right. Each column is 3.33" (8.45cm) wide with a separation of 0.33" (0.83cm). A LaTeX style file and a Microsoft Word template will be available soon on the conference Web site (http://aamas2012.webs.upv.es). Please do not modify the style files, or any layout parameters. To ensure the effectiveness of the double-blind review process, make sure to put paper numbers (provided upon paper registration) instead of author names. In addition, please ensure that any references to your own previous work is made in a way that does not disclose author identity (for example, instead of "in previous work, we have shown X [ref]" use "X was shown in [ref]"). In some cases where the work is clearly a continuation of your earlier work, you may consider removing citations to your own work until the final version (for example, "we have shown X [ref]" where [ref]= "Anonymous, 200X"). Please also check that the PDF file submitted does not contain embedded identifying information. * Mandatory Sections * The mandatory sections of the ACM styles are also mandatory for AAMAS 2012 submissions. Not only will these sections help select the reviewers, but according to ACM: "these index terms effect the ease and accuracy of retrieval within the Digital Library which ultimately benefits authors by allowing for greater distribution of their work". Thus, although it may not be trivial to find the appropriate classification information, you should make an effort filling these sections: 1. Categories and Subject Descriptors: Details of the ACM Computing Classification Scheme are available at http://www.acm.org/about/class/1998/ 2. General Terms: This section is limited to the following 16 terms: Algorithms, Management, Measurement, Documentation, Performance, Design, Economics, Reliability, Experimentation, Security, Human Factors, Standardization, Languages, Theory, Legal Aspects, Verification. 3. Keywords: This section is your choice of terms you would like to be indexed by. Please refer to the Call for Paper page for a list of keywords. ** SPECIAL TRACKS ** In addition to submissions in the main track, AAMAS-2012 will be soliciting papers in three special tracks. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for that track. * Special Track on Robotics (Chair: Daniele Nardi) * Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. Keywords for Robotics Track: 1. Cognitive robotics 2. Formal methods 3. Integrated perception, cognition, and action 4. Intelligence for human-robot interaction 5. Machine learning for robotics 6. Mapping (including exploration, coverage, and SLAM) 7. Networked robot/sensor systems 8. Robot planning (including action and motion planning) 9. Robot teams, multi-robot systems 10. Robot coordination 11. Robotic agent languages and middleware for robot systems * Special Track on Virtual Agents (Chair: Stefan Kopp) * Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. Keywords for Virtual Agents Track: 1. Modeling cognition and socio-cultural behavior 2. Conversational agents 3. Verbal and non-verbal expression 4. Affect and personality 5. Multimodal agent interaction 6. Computational models of narrative 7. Pedagogical, companion, and coaching agents 8. Culturally-aware agents 9. Virtual character modeling and animation in games, education, training, and virtual environments 10. Empirical studies * Special Track on Innovative Applications (Chairs: Klaus Fischer & Alex Rogers) * The Innovative Applications Track is a continuation of the tradition started by the Industry Track in past years. Due to the growing maturity of the field there are now agent-based applications in widespread use across many domains, responsible for the generation of significant revenues, or the saving of major costs, or for supporting important public policy and business strategy decision-making. This special track provides the ideal forum to present and discuss your work: to inform and inspire the largest international gathering of agent technology researchers and practitioners with presentations and demonstrations of your compelling applications, agent system deployment experiences, and new business ideas. The goal is to promote the fostering of mutually beneficial relationships between members of the AAMAS community who are engaged in foundational scientific research and those who are working to make autonomous agents and multi-agent systems a commercial or public policy reality. Due to the special review process for the Innovative Applications track, papers accepted in this track may be designated in the proceedings as belonging to this track. For submissions to the special track on innovative applications, authors are particularly encouraged to address the following questions: What is the rationale for using agent-based technology in this application domain, as opposed to other approaches? If you have deployed your technology, what insights have you gained from the experience? For instance, what lessons do you have for anyone pitching, designing, implementing, deploying, using, or evaluating similar agent systems or working in similar domains? What improvements or external factors (such as technology standards) might facilitate wider-spread adoption of your technology? What improvements in fundamental agent technology might improve your application, or enable it to be adopted more broadly, or support its better use? Keywords for Innovative Applications Track: 1. Telecommunications and media 2. Energy and emissions 3. Bio-technology and health care 4. Financial markets 5. Manufacturing and logistics 6. Transportation and telematics 7. Ambient intelligence 8. Surveillance and security 9. Aerospace and defense 10. Business strategy and marketing 11. e-Government and e-Democracy 12. Public policy and Economics 13. Simulation 14. Implementation lessons 15. Business cases for MAS ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292 (office) (+44) 7970247480 (mobile) fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From lukasiew at gmail.com Thu Sep 8 23:27:11 2011 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Thu, 08 Sep 2011 22:27:11 +0100 Subject: FoIKS 2012: Call for Papers Message-ID: <4E69332F.2040305@cs.ox.ac.uk> [Apologies for multiple copies] ------------------------------------------------------- C A L L F O R P A P E R S ------------------------------------------------------- Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012) March 5-9, 2012 -- Kiel, Germany http://2012.foiks.org/ The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2012 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimisation. Previous FoIKS symposia were held in Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000 (see http://www.foiks.org/). FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Typical topics include, but are not limited to: * Database Design: formal models, dependencies and independencies; * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. PUBLICATION The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series and will be available at the symposium. After the symposium, authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence. SUBMISSION OF PAPERS Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html). The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at http://www.easychair.org/conferences/?conf=foiks2012. IMPORTANT DATES Abstract submission deadline: September 23, 2011 Paper submission deadline: September 30, 2011 Paper accept/reject decisions: November 5, 2011 Camera-ready papers due: December 10, 2011 Early registration deadline: December 10, 2011 CONFIRMED INVITED SPEAKERS Thomas Schwentick (TU Dortmund, Germany) PROGRAM CHAIRS Thomas Lukasiewicz (University of Oxford, UK) Attila Sali (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary) LOCAL ORGANIZATION CHAIR Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany) PUBLICITY CHAIR Markus Kirchberg (HP Labs, Singapore) CONFIRMED PROGRAM COMMITTEE José Júlio Alferes (Universidade Nova de Lisboa, Portugal) Leila Amgoud (University of Toulouse, France) Paolo Atzeni (Roma Tre University, Italy) Salem Benferhat (University of Lens, France) Leopoldo Bertossi (Carleton University, Canada) Joachim Biskup (University of Dortmund, Germany) Piero A. Bonatti (University of Naples "Federico II", Italy) Andrea Calì (Birkbeck, University of London, UK) Paolo Cappellari (Dublin City University, Ireland) Jan Chomicki (University at Buffalo, USA) Alfredo Cuzzocrea (University of Calabria, Italy) Marina De Vos (University of Bath, UK) Michael I. Dekhtyar (Tver State University, Russia) Tommaso Di Noia (Technical University of Bari, Italy) Jürgen Dix (Clausthal University of Technology, Germany) Francesco M. Donini (University of Tuscia, Italy) Thomas Eiter (Vienna University of Technology, Austria) Ronald Fagin (IBM Almaden Research Center, San Jose, USA) Victor Felea ('Al.I. Cuza' University of Iasi, Romania) Sergio Flesca (University of Calabria, Italy) Lluis Godo (Artificial Intelligence Research Institute (IIIA - CSIC), Spain) Gianluigi Greco (University of Calabria, Italy) Claudio Gutierrez (University of Chile, Chile) Sven Hartmann (Clausthal University of Technology, Germany) Stephen J. Hegner (Umeå University, Sweden) Edward Hermann Haeusler (Pontifícia Universidade Católica, Brazil) Andreas Herzig (University of Toulouse, France) Pascal Hitzler (Wright State University, USA) Eyke Hüllermeier (University of Marburg, Germany) Anthony Hunter (University College London, UK) Gyula O. H. Katona (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary) Gabriele Kern-Isberner (University of Dortmund, Germany) Attila Kiss (Eötvös Loránd University, Budapest, Hungary) Gerhard Lakemeyer (RWTH Aachen University, Germany) Jérôme Lang (University of Paris 9, France) Domenico Lembo (University of Rome "La Sapienza", Italy) Sebastian Link (Victoria University of Wellington, New Zealand) Weiru Liu (Queen's University Belfast, UK) Wolfgang May (University of Göttingen, Germany) Carlo Meghini (ISTI-CNR Pisa, Italy) Amedeo Napoli (LORIA Nancy, France) Dan Olteanu (University of Oxford, UK) Henri Prade (University of Toulouse, France) Andrea Pugliese (University of Calabria, Italy) Sebastian Rudolph (University of Karlsruhe, Germany) Francesco Scarcello (University of Calabria, Italy) Klaus-Dieter Schewe (Software Competence Center Hagenberg, Austria) Dietmar Seipel (University of Würzburg, Germany) Nematollaah Shiri (Concordia University, Montreal, Canada) Gerardo I. Simari (University of Oxford, UK) Guillermo R. Simari (Universidad Nacional del Sur, Argentina) Nicolas Spyratos (University of Paris-South, France) Umberto Straccia (ISTI-CNR Pisa, Italy) Letizia Tanca (Politecnico di Milano, Italy) Alex Thomo (University of Victoria, Canada) Krisztián Tichler (Eötvös Loránd University, Budapest, Hungary) Miroslaw Truszczynski (University of Kentucky, USA) José María Turull-Torres (Massey University Wellington, New Zealand) Dirk Van Gucht (Indiana University, USA) Victor Vianu (University of California San Diego, USA) Peter Vojtas (Charles University, Czech Republic) Stefan Woltran (Vienna University of Technology, Austria) FURTHER INFORMATION For further information refer to the FoIKS 2012 web site at http://2012.foiks.org/ From damiani at di.unito.it Fri Sep 9 16:06:55 2011 From: damiani at di.unito.it (Ferruccio Damiani) Date: Fri, 09 Sep 2011 16:06:55 +0200 Subject: FMCO 2011 and FoVeOOS 2011 call for participation In-Reply-To: <4E2DEF30.40506@di.unito.it> References: <4DE65B76.4020902@di.unito.it> <4E2DEF30.40506@di.unito.it> Message-ID: <4E6A1D7F.8050908@di.unito.it> =========================================================================================== FMCO 2011 (International Symposium on Formal Methods for Components and Objects) October 3-5, 2011, Turin, Italy http://fmco.liacs.nl/fmco11.html and FoVeOOS 2011 (International Conference on Formal Verification of Object-Oriented Software) October 5-7, 2011, Turin, Italy http://foveoos2011.cost-ic0701.org =========================================================================================== *CALL FOR PARTICIPATION* FMCO 2011 and FoVeOOS 2011 are co-located, with a half-day joint session on Wednesday (October 5) morning. - Program of the FMCO Symposium: http://formal.iti.kit.edu/fmco2011/2011/program.html FMCO participating projects: http://fmco.liacs.nl/fmco11.html - Program of the FoVeOOS conference: http://foveoos2011.cost-ic0701.org/programme FoVeOSS invited talks: http://foveoos2011.cost-ic0701.org/invited-talks Registration to FMCO and/or FoVeOSS is now open: http://foveoos2011.cost-ic0701.org/registration *Early registration until 18 September, 2011*|URL : http://www.di.unito.it/~damiani -- Prof. Ferruccio Damiani Dipartimento di Informatica |Phone: (+39) 011 670 6719 Università degli Studi di Torino |Fax : (+39) 011 75 16 03 C.so Svizzera 185 |Email: damiani at di.unito.it I-10149 Torino, Italy |URL : http://www.di.unito.it/~damiani From sambatia at gmail.com Fri Sep 9 18:26:44 2011 From: sambatia at gmail.com (Sameh Abdel-Naby) Date: Fri, 9 Sep 2011 17:26:44 +0100 Subject: Five postdoc positions at Clarity, UCD, Ireland. Message-ID: Dear Colleagues, The Clarity Centre at the School of Computer Science and Informatics, University College Dublin (UCD), Ireland, in collaboration with the Exascale activity of IBM Dublin Research Laboratory is seeking to appoint a number of Postdoctoral Fellows. (see related URLs at the end) ======== CONTEXT ======== As we shift from the Information Age to the Intelligent Age, with the physical and digital worlds rapidly merging, it is becoming increasingly viable to envision extreme scale complex socio-technical systems where devices, networks, models, data, services, applications and humans are entangled within complex, distributed intelligent infrastructures. These fellowships are concerned with the deployment and adoption of Multi-Agent techniques in exascale computing., addressing such core issues as: a) How can we design and build complex systems that are distributed, autonomous, self-organised, adaptable, robust, reliable, efficient and achieve extreme scalability? b) How can we analyse the dynamics of such complex systems and understand and predict their emergent properties and behaviour? ================ RESEARCH AREAS ================ The positions will be in the following areas: 1. Energy Smart Grids: Multi-agent systems for embedded exascale applications; 2. Agent architectures and design frameworks for exascale embedded applications; 3. Distributed Simulation of Exascale Agent-based Models; 4. Sensor Networks for Exascale Data Driven Applications; 5. Autonomic Management of Exascale Systems; ================= FUND & ELIGIBILITY ================= These positions will be co-funded by IRCSET and IBM through IRCSET’s Enterprise Partnership Scheme. Further details on the Enterprise Partnership Scheme can be found at the provided URLs below. Applicants must meet IRCSET’s eligibility criteria and will be assessed independently by IRCSET. These positions are open to EU and non-EU candidates. These positions are for 2 years each. The annual salary will be € 31,000, approximately. ============== REQUIREMENTS ============== The successful postdoctoral candidate will have a PhD in Computer Science, Computer Engineering, or a relevant field, and research publications and research experience in at least one of the following fields: Multi-Agent Systems, Distributed Artificial Intelligence, Embedded Systems, Ubiquitous Sensing. Candidates should be highly research motivated and have a strong publication ethos. They should show potential for managing a research program, including setting an agenda and meeting deadlines. =========== APPLICATION =========== Interested candidates should send their CV and any other supporting documents by 30th September 2011 to Professor Gregory O'Hare, Gregory.OHare at ucd.ie and Dr Georgios Theodoropoulos at IBM Dublin Research Lab geortheo at ie.ibm.com. For further information, please contact: Professor Gregory O'Hare, Clarity: Centre for Sensor Web Technologies, School of Computer Science and Informatics, University College Dublin, Belfield, Dublin 4, Ireland, Gregory.OHare at ucd.ie or Dr Georgios Theodoropoulos geortheo at ie.ibm.com. =========== Related URLs: =========== http://www.clarity-centre.org/ http://www-05.ibm.com/ie/emerging_business_centre/exascale.html http://www.ircset.ie/Default.aspx?tabid=58. http://www.csi.ucd.ie/users/gregory-ohare http://www.ucd.ie/ ---- Kind Regards, Sam. From camilla.schwind at lif.univ-mrs.fr Mon Sep 12 17:23:07 2011 From: camilla.schwind at lif.univ-mrs.fr (Camilla Schwind) Date: Mon, 12 Sep 2011 17:23:07 +0200 Subject: Fwd: Fwd: PhD position in Marseille Message-ID: <4E6E23DB.2040902@lif.univ-mrs.fr> ****PH.D. POSITION ANNOUNCEMENT*** The University of Aix-Marseille (Université de la Méditerranée) is offering one PHD position in Computer Science (CNRS Laboratories LIF http://www.lif.univ-mrs.fr/ and LSIShttp://www.lsis.org/) under the direction of Nicola Olivetti (http://www.lsis.org/olivetti/) and Camilla Schwind (http://pageperso.lif.univ-mrs.fr/~camilla.schwind/). The general area of the thesis is logics for multi-agent systems. In particular we are interested in the study of logical formalisms for agents that interact through communication and that can reason about their own epistemic attitudes (knowledge, belief, desire, intention) as well as about the attitudes of other agents. The research will concentrate on the study of suitable modal logics and on the development of automated deduction methods for these logics. Candidates must have a MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. They should have a solid background in computer science, artificial intelligence and logic; some familiarity with agent systems is welcome. Knowledge of French language is not mandatory. There are no teaching obligations, but the candidate may do some paid teaching. The PhD position will be funded by CNRS (http://www.cnrs.fr) and the region "Provence-Alpes-Cote d'Azur (PACA)" for three years (regular employment contract with full social benefits), approx. 24000 Euro before taxes. The position starts in November 2011 or later, but not after January 1st 2012. Applications should contain a CV, a proof of study record, a motivation statement detailing the research interests, and finally some letters of recommendation. They should be sent electronically to Camilla Schwind and to Nicola OLIVETTI or by ordinary mail to Nicola Olivetti Laboratoire des sciences de l'information et des systèmes LSIS-CNRS Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 or to Camilla Schwind Laboratoire d'informatique fondamentale LIF-CNRS Faculté des sciences de Luminy, 163 avenue de Luminy - case 901 13288 Marseille cedex 9, (France) Applications should be received no later than *October 5, 2011*. For any information please contact Nicola Olivetti and/or Camilla Schwind at the above email addresses. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Sep 13 13:50:32 2011 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 13 Sep 2011 07:50:32 -0400 (EDT) Subject: LPAR-18 Venezuela- Call for Papers Message-ID: <20110913115032.9B9121216FB@mcclellan.cs.miami.edu> =========================== LPAR-18 CALL FOR PAPERS =========================== ============================================================ The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================ Merida, Venezuela - March 11-15, 2012 http://research.microsoft.com/en-us/um/redmond/events/lpar18/ The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 18th LPAR will be held in Merida, Venezuela. Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other extreme, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm, but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. Logical techniques link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central role in Computer Science education. Topics ------ New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: * Automated reasoning * Verification * Interactive theorem proving and proof assistants * Model checking * Implementations of logic * Satisfiability modulo theories * Rewriting and unification * Logic programming * Satisfiability checking * Constraint programming * Decision procedures * Logic and games * Logic and the Web * Ontologies and large knowledge bases * Logic and databases * Modal and temporal logics * Program analysis * Foundations of security * Description logics * Non-monotonic reasoning * Uncertainty reasoning * Logics for vague and inconsistent data * Specification using logic * Logic in artificial intelligence * Logic and types * Logical foundations of programming * Logical aspects of concurrency * Logic and computational complexity * Knowledge representation and reasoning * Logic of distributed systems Programme Chairs ---------------- * Nikolaj Bjorner * Andrei Voronkov Conference Chair ---------------- * Geoff Sutcliffe Local Arrangements Chair ------------------------ * Blanca Abraham Submission Details ------------------ Submissions of two kinds are welcome: * Regular papers that describe solid new research results. They can be up to 15 pages long in LNCS style, including figures and references, but excluding appendices (that reviewers are not required to read). * Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. They can be up to 8 pages long in the LNCS style. Both types of papers can be electronically submitted in PDF via EasyChar: http://www.easychair.org/conferences/?conf=lpar18. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Participation ------------- Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Important Dates --------------- * Abstract submission: 23 October 2011 * Paper submission: 1 November 2011 * Notification of acceptance: 20 December 2011 * Camera-ready papers: 10 January 2012 * Conference: 11-15 March 2012 From evostar2011 at yahoo.com Wed Sep 14 14:58:28 2011 From: evostar2011 at yahoo.com (Penousal Machado) Date: Wed, 14 Sep 2011 05:58:28 -0700 (PDT) Subject: evostar 2012: call for papers Message-ID: <1316005108.73935.YahooMailNeo@web121410.mail.ne1.yahoo.com> evo* 2012 Call for Papers  evostar - the main european events on evolutionary computation   eurogp, evocop, evobio, evomusart and evoapplications 11-13 april 2011 - malaga, spain http://www.evostar.org ABOUT EVO* The evo* event comprises the premier co-located conferences in the field of Evolutionary Computing: eurogp, evocop, evobio, evomusart and evoapplications. In 2012, the evo* will take place at the Malaga, Spain. Featuring the latest in theoretical and applied research, evo* topics include recent genetic programming challenges, evolutionary and other meta-heuristic approaches for combinatorial optimization, evolutionary algorithms, machine learning and data mining techniques in the biosciences, in numerical optimization, in music and art domains, in image analysis and signal processing, in hardware optimization and in a wide range of applications to scientific, industrial, financial and other real-world problems.  The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. EVO* EVENTS eurogp 15th European Conference on Genetic Programming evocop 12th European Conference on Evolutionary Computation in Combinatorial Optimization evobio 10th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Computational Biology evomusart 1st International Conference and 10th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design evoapplications European Conference on the Applications of Evolutionary Computation evocomnet - Track on nature-inspired techniques for telecommunication networks and other parallel and distributed systems >evocomplex - Track on algorithms and complex systems >evofin - Track on evolutionary and natural computation in finance and economics >evogames - Track on bio-inspired algorithms in games >evohot - Track on bio-inspired heuristics for design automation >evoiasp - Track on evolutionary computation in image analysis and signal processing >evonum - Track bio-inspired algorithms for continuous parameter optimisation >evopar - Track on parallel and distributed Infrastructures >evorisk - Track on computational intelligence for risk management, security and defence applications >evostim - Track on nature-inspired techniques in scheduling, planning and timetabling >evostoc - Track on evolutionary algorithms in stochastic and dynamic environments >evotranslog - Track on evolutionary computation in transportation and logistics EVO* SUBMISSION INSTRUCTIONS Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submit your manuscript in Springer LNCS format. The submission deadline is 30 november 2011. The other submission details are conference specific. Please follow the instructions and links bellow. eurogp: submission link: http://myreview.csregistry.org/eurogp12/ >page limit: 12 pages evocop: submission link: http://myreview.csregistry.org/evocop12/ >page limit: 12 pages evobio: submission link: http://myreview.csregistry.org/evobio12/ >evobio is interested in papers in three major areas: 1. Full research articles (maximum 12 pages) >>2. System Demonstrations (maximum 8 pages) >>3. Short reports (maximum 8 pages)  >>4. Abstracts (maximum 4 pages)  evomusart: submission link: http://myreview.csregistry.org/evomusart12/ >page limit: 12 pages evoapplications: submission link: http://myreview.csregistry.org/evoapps12/ >page limit: 10 pages IMPORTANT DATES submission deadline: 30 november 2011 notification to authors: 14 january 2012 camera-ready deadline: 5 february 2012 evo* event: 11-13 april 2012 ADDITIONAL INFORMATION evostar website: http://www.evostar.org evo* coordinator  jennifer willies local chair carlos cotta publicity chair penousal machado -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gerardo.simari at cs.ox.ac.uk Fri Sep 16 01:13:30 2011 From: gerardo.simari at cs.ox.ac.uk (Gerardo I. Simari) Date: Fri, 16 Sep 2011 00:13:30 +0100 Subject: CFP: SBP 2012 at University of Maryland College Park Message-ID: CALL FOR PAPERS and SAVE THE DATE! PAPER/POSTER SUBMISSION DUE FRIDAY, NOVEMBER 4, 2011 2012 International Conference on Social Computing, Behavioral-Cultural Modeling, & Prediction (SBP12) Conference Website: http://www.umiacs.umd.edu/conferences/sbp2012/ April 3 – April 5, 2012 University of Maryland College Park, MD - Pre-conference Tutorial Sessions: April 2, 2012 - SBP12 Conference (Single Track), April 3-5, 2012 - Cross-Fertilization Roundtables, April 3 (Afternoon), 2012 Sponsored by (an up to date list of sponsors will be listed on the conference website) Sponsors for SBP 2011 included: - Air Force Office of Scientific Research (AFOSR) - Office of Naval Research (ONR) - Army Research Organization (ARO) - National Science Foundation (NSF) - National Institutes of Health (NIH) ABOUT SBP The SBP conference is the result of merging two successful international conferences on closely related subjects: - the International Conference on Social Computing, Behavioral Modeling, and Prediction (SBP) - the International Conference on Computational Cultural Dynamics (ICCCD) The combined conference retains the acronym SBP, with “Behavioral” replaced by “Behavioral-Cultural”. Social computing harnesses the power of computational methods to study social behavior within a social context. Cultural behavioral modeling refers to representing behavior and culture in the abstract, and is a convenient and powerful way to conduct virtual experiments and scenario planning. Both social computing and cultural behavioral modeling are techniques designed to achieve a better understanding of complex behaviors, patterns, and associated outcomes of interest. Moreover, these approaches are inherently interdisciplinary; subsystems and system components exist at multiple levels of analysis (i.e., “cells to societies”) and cross disparate disciplines. Conference Offerings and Opportunities SBP12 is a highly interdisciplinary conference offering a rare and exciting opportunity for behavioral and social science researchers to come together with computational and computer scientists and other related disciplines in order to: - Gain fundamental working knowledge in a discipline outside one’s own through half-day pre-conference tutorials (More information will be posted to the conference website as it becomes available). - Showcase SBP research at paper and poster sessions. - Meet people in complementary disciplines through deliberate exercises aimed at exploring potential research partnerships during the cross-fertilization roundtable session. Because this conference is being held in the Washington, D.C. area there will be a unique opportunity to meet with program staff across a variety of federal agencies including: Air Force Office of Scientific Research (AFOSR), Office of Naval Research (ONR), Army Research Organization (ARO), National Institutes of Health (NIH), National Science Foundation (NSF), and the Department of Homeland Security (DHS). This conference is emphatically interdisciplinary and provides a platform for researchers, practitioners, program staff from federal agencies and graduate students in disciplines such as sociology, behavioral science, psychology, cultural study, health sciences, economics, computer science, engineering, information systems, and operations research to convene in one place. In addition, the conference will pay special attention to application papers. Attendees will walk away with a deeper understanding of how social and behavioral computing and evaluation can inform critical decision and policy making. The program will include invited speakers from government, industry, and academia, as well as research presentations and discussions. *** Call for Papers and Posters *** Papers and posters are solicited on research issues, theories, and applications. Topics of interests include, but are not limited to, Military and security applications of SBP - Group formation and evolution in the political context - Technology and flash crowds - Networks and political influence - Information diffusion - Group representation and profiling - Reasoning about terrorist group behaviors and policies towards them Health applications of SBP - Social network analysis to understand health behavior - Modeling of health policy and decision making - Modeling of behavioral aspects of infectious disease spread - Intervention design and modeling for behavioral health Other applications of SBP - Economic applications of SBP - Reasoning about development aid through SBP - Reasoning about global educational efforts through SBP Basic research on sociocultural and behavioral processes using SBP - Group interaction and collaboration - Group formation and evolution - Group representation and profiling - Cultural patterns and representation - Social conventions and social contexts - Influence process and recognition - Public opinion representation - Viral marketing and information diffusion - Psycho-cultural situation awareness Methodological issues in SBP - Verification and validation - Sensitivity analysis - Matching technique or method to research questions - Metrics and evaluation - Methodological innovation - Model federation and integration - Limitations of and barriers to SBP - Research gaps and opportunities *** Important Dates *** Submission Open: October 1, 2011 Paper Registration Deadline: Friday, October 28, 2011 Paper/full text poster Due: Friday, November 4, 2011 Notification of acceptance: December 5, 2011 Camera-Ready: December 19, 2011 Format and Submission SBP12 Conference Proceedings will be published in Lecture Notes in Computer Science (LCNS) by Springer. The papers must be in English and MUST be formatted according to the Springer-Verlag LNCS/LNAI guidelines. Sample LaTeX2e and WORD files are available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Abstract and full text for both oral presentations and posters should be submitted electronically before the specified deadlines. The maximum length of papers is 8 pages and should be submitted in PDF following the instruction in http://www.umiacs.umd.edu/conferences/sbp2012/callforpapers.html. For any questions and inquiries, please send to sbp-tpc at lists.hawaii.edu. Pre-conference Tutorial Sessions Four half-day sessions will be offered: two concurrent sessions in the morning and two concurrent sessions in the afternoon on the day before the full conference. Sessions will be designed to meet the needs of one of two distinct groups. One group will consist of attendees who have backgrounds in computational science; computer science, engineering, and other mathematically oriented disciplines. The purpose of tutorials aimed at this group is for attendees to become familiar with the behavioral and social science concepts including terminology, theories, and traditional approaches to problem solving. Other tutorial sessions will be designed for behavioral and social scientists and others (e.g. those with medical backgrounds or training in public health) who may have limited formal education in the computational sciences. Attendees will gain an understanding of terminology, theories, and general approaches employed by computationally based fields, especially with respect to modeling approaches. The purpose of these tutorial sessions is to give each group of related disciplines a basic working knowledge in the complementary set of disciplines in order to pave the way for better communication across disparate disciplines and to enhance the conference experience for all attendees. More details regarding the preconference tutorial sessions, including instructors, course content, and registration information will be posted to the conference website as soon as this information becomes available at http://www.umiacs.umd.edu/conferences/sbp2012/. Note that the plans for the tutorial sessions are in progress and are subject to change. Cross-fertilization Roundtables The SBP12 Cross-fertilization Roundtable session will be held in the afternoon of the first day of the technical portion of the conference. The purpose of the cross-fertilization roundtables is to help participants become better acquainted with people outside of their discipline and with whom they might consider partnering on a future SBP project. To accomplish this goal, this workshop will feature 3-4 sessions, each lasting up to 30 minutes. During each session, a number of roundtables will run concurrently. Each roundtable will focus on a different topic (although should demand warrant, there may be duplication of some topics across roundtables). Approximately 8-10 participants will sit at each table. Conference organizers will assign participants to roundtables based on their interests (to be indicated on the tutorial registration form) and will ensure that the composition of each roundtable offers opportunities for behavioral and social scientist to meet systems scientists and vice versa. Thus, by the end of the workshop period, each participant will have had an opportunity to converse with a variety people from complementary disciplines and may have a feel for selected people they might like to collaborate with. It is the intent of the conference organizers that this workshop will spawn the formation of numerous interdisciplinary investigative teams, and that those teams will collaborate on grant applications to sponsoring funding agencies. More details regarding the preconference tutorial sessions, including instructors, course content, and registration information will be posted to the conference website as soon as this information becomes available at http://www.umiacs.umd.edu/conferences/sbp2012/. Note that the plans for the post conference workshop are in progress and are subject to change. Best Paper Awards SBP 2012 will feature a Best Paper Award and a Best Student Paper Award. All papers are qualified for the Best Paper Award. Papers where the senior author says the principal author is a student will be considered for the Best Student Paper Award. Hotel and Logistics The Marriott Inn & Conference Center, University of Maryland University College. Their home page includes directions, maps, etc. http://www.marriott.com/wasum Travel Scholarships It is anticipated that a limited number travel scholarships will be available on a competitive basis. Additional information will be provided on the SBP Conference website as it becomes available at http://www.umiacs.umd.edu/conferences/sbp2012/. SBP Conference Committees Conference Co-Chairs: V.S. Subrahmanian, University of Maryland, vs at cs.umd.edu Nathan Bos, JHU APL, Nathan.Bos at jhuapl.edu Program Co-Chairs: Shanchieh (Jay) Yang, RIT, jay.yang at rit.edu Ariel Greenberg, JHU APL, Ariel.Greenberg at jhuapl.edu Mica Endsley, SA Technologies, mica at satechnologies.com Steering Committee: Huan Liu, Arizona State University, huan.liu at asu.edu John Salerno, AFRL, john.salerno at rl.af.mil Sun-Ki Chai, University of Hawaii, sunki at hawaii.edu Dana Nau, University of Maryland, nau at cs.umd.edu VS Subrahmanian, UMD, vs at cs.umd.edu Advisory Committee: Rebecca Goolsby, ONR, rebecca.goolsby at navy.mil Joesph Lyons, AFOSR, Joseph.Lyons at wpafb.af.mil Jeff Johnson, ARL/ARO, jeffrey.c.johnson4 at us.army.mil Fahmida N. Chowdhury, NSF, fchowdhu at nsf.gov Poster Session Chair: Lei Yu, Binghamton University, lyu at cs.binghamton.edu Tutorial Chair: Anna Nagurney, University of Massachusetts Amherst, nagurney at gbfin.umass.edu Challenge Problem Chair: Nitin Agarwal, University of Arkansas at Little Rock, nxagarwal at ualr.edu Workshop Co-Chairs: Fahmida N. Chowdhury, NSF, fchowdhu at nsf.gov Bethany Deeds, NIH, Deedsb at NIDA.nih.gov Sponsorship Committee Co-Chairs: Huan Liu, ASU, huan.liu at asu.edu Student Arrangement Chair: Patrick Roos, UMD, patroos at gmail.com Publicity Co-Chairs: Donald Adjeroh, West Virginia University, Donald.Adjeroh at mail.wvu.edu Gerardo Simari, Oxford University, gerardo.simari at cs.ox.ac.uk Web Master: Damon Earp, UMD, dearp at umiacs.umd.edu Additional information will be posted to the conference website http://www.umiacs.umd.edu/conferences/sbp2012 as it becomes available. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Fri Sep 16 07:04:17 2011 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Fri, 16 Sep 2011 05:04:17 +0000 Subject: Senior Research Fellow / Research Fellow / Research Positions (Optimisation and Automated Planning) Message-ID: SENIOR RESEARCH FELLOW/RESEARCH FELLOW IN OPTIMISATION RESEARCH FELLOW IN AUTOMATED PLANNING RESEARCH SOFTWARE ENGINEER 3 Positions The University of Melbourne is seeking outstanding Research Fellows and a Research Software Engineer to conduct leading edge research in optimisation and automated planning for mine scheduling. The positions will be located in the Department of Computer Science and Software Engineering within the Melbourne School of Engineering. Salary $98,387-$113,446 AUD p.a. (Senior Research Fellow) or $80,318-$95,375 (Research Fellow) or $56,226-$76,299 (Research Software Engineer) plus 9% superannuation; Employment type: Full-time Fixed Term The successful candidates will conduct leading-edge research and development in the area of optimisation and automated planning technology for mine scheduling. The work is part of an Australian Research Council (ARC) funded project, "Making the Pilbara Blend: Agile Mine Scheduling through Contingent Planning". It will be conducted as part of a research team of 7-8 Researchers. The overarching responsibility of these positions will be the development of constraint solving techniques, which integrate with contingent planning techniques, for synthesising contingent plans for short term production scheduling of iron ore in multi-mine pit settings. This project tackles a challenging problem faced in mine scheduling. An increased need for consistent quality has occurred at the same time as the complexity of modern day mining operations has increased, across multiple mine sites with variable ore grades and increasing infrastructure constraints. There is a pressing need for more agile mining techniques that maximise net present value (NPV) while accommodating the complexities and uncertainties inherent in modern day mining operations. The goal of this project is to bring together automated planning techniques with constraint programming to address this paradigm shift, tackling some of the most important fundamental research challenges in scheduling, such as plan synthesis, contingent planning and continuous planning. The project will develop agile scheduling techniques of great economic importance. Carefully planned scheduling has the potential to reduce the need for new infrastructure, minimising environmental impacts and maximising regeneration after mining. http://www.agentlab.unimelb.edu.au/mining.html Intelligent Agent Laboratory (agentlab) http://www.agentlab.unimelb.edu.au Constraint Programming group of NICTA http://www.nicta.com.au/research/projects/constraint_programming_platform Application Procedure www.jobs.unimelb.edu.au Senior Research Fellow/Research Fellow in Optimisation: 0027452 (closing 12 October 2011) Research Software Engineer Position no.: 0027454 (closing 12 October 2011) Research Fellow in Automated Planning: 0027453 (closing 2 October 2011) Contact For more information, please contact Adrian Pearce http://www.csse.unimelb.edu.au/~adrian From lukasiew at gmail.com Fri Sep 16 15:42:08 2011 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Fri, 16 Sep 2011 14:42:08 +0100 Subject: FoIKS 2012: Call for Papers Message-ID: <4E735230.6040305@cs.ox.ac.uk> [Apologies for multiple copies] ------------------------------------------------------- C A L L F O R P A P E R S ------------------------------------------------------- Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012) March 5-9, 2012 -- Kiel, Germany http://2012.foiks.org/ The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2012 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimisation. Previous FoIKS symposia were held in Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000 (see http://www.foiks.org/). FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Typical topics include, but are not limited to: * Database Design: formal models, dependencies and independencies; * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. PUBLICATION The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series and will be available at the symposium. After the symposium, authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence. SUBMISSION OF PAPERS Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html). The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at http://www.easychair.org/conferences/?conf=foiks2012. IMPORTANT DATES Abstract submission deadline: September 23, 2011 Paper submission deadline: September 30, 2011 Paper accept/reject decisions: November 5, 2011 Camera-ready papers due: December 10, 2011 Early registration deadline: December 10, 2011 CONFIRMED INVITED SPEAKERS Thomas Schwentick (TU Dortmund, Germany) PROGRAM CHAIRS Thomas Lukasiewicz (University of Oxford, UK) Attila Sali (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary) LOCAL ORGANIZATION CHAIR Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany) PUBLICITY CHAIR Markus Kirchberg (HP Labs, Singapore) CONFIRMED PROGRAM COMMITTEE José Júlio Alferes (Universidade Nova de Lisboa, Portugal) Leila Amgoud (University of Toulouse, France) Paolo Atzeni (Roma Tre University, Italy) Salem Benferhat (University of Lens, France) Leopoldo Bertossi (Carleton University, Canada) Joachim Biskup (University of Dortmund, Germany) Piero A. Bonatti (University of Naples "Federico II", Italy) Andrea Calì (Birkbeck, University of London, UK) Paolo Cappellari (Dublin City University, Ireland) Jan Chomicki (University at Buffalo, USA) Alfredo Cuzzocrea (University of Calabria, Italy) Marina De Vos (University of Bath, UK) Michael I. Dekhtyar (Tver State University, Russia) Tommaso Di Noia (Technical University of Bari, Italy) Jürgen Dix (Clausthal University of Technology, Germany) Francesco M. Donini (University of Tuscia, Italy) Thomas Eiter (Vienna University of Technology, Austria) Ronald Fagin (IBM Almaden Research Center, San Jose, USA) Victor Felea ('Al.I. Cuza' University of Iasi, Romania) Sergio Flesca (University of Calabria, Italy) Lluis Godo (Artificial Intelligence Research Institute (IIIA - CSIC), Spain) Gianluigi Greco (University of Calabria, Italy) Claudio Gutierrez (University of Chile, Chile) Sven Hartmann (Clausthal University of Technology, Germany) Stephen J. Hegner (Umeå University, Sweden) Edward Hermann Haeusler (Pontifícia Universidade Católica, Brazil) Andreas Herzig (University of Toulouse, France) Pascal Hitzler (Wright State University, USA) Eyke Hüllermeier (University of Marburg, Germany) Anthony Hunter (University College London, UK) Gyula O. H. Katona (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary) Gabriele Kern-Isberner (University of Dortmund, Germany) Attila Kiss (Eötvös Loránd University, Budapest, Hungary) Gerhard Lakemeyer (RWTH Aachen University, Germany) Jérôme Lang (University of Paris 9, France) Domenico Lembo (University of Rome "La Sapienza", Italy) Sebastian Link (Victoria University of Wellington, New Zealand) Weiru Liu (Queen's University Belfast, UK) Wolfgang May (University of Göttingen, Germany) Carlo Meghini (ISTI-CNR Pisa, Italy) Amedeo Napoli (LORIA Nancy, France) Wilfred S. H. Ng (Hong Kong University of Science and Technology, Hong Kong) Dan Olteanu (University of Oxford, UK) Henri Prade (University of Toulouse, France) Andrea Pugliese (University of Calabria, Italy) Sebastian Rudolph (University of Karlsruhe, Germany) Francesco Scarcello (University of Calabria, Italy) Klaus-Dieter Schewe (Software Competence Center Hagenberg, Austria) Dietmar Seipel (University of Würzburg, Germany) Nematollaah Shiri (Concordia University, Montreal, Canada) Gerardo I. Simari (University of Oxford, UK) Guillermo R. Simari (Universidad Nacional del Sur, Argentina) Nicolas Spyratos (University of Paris-South, France) Umberto Straccia (ISTI-CNR Pisa, Italy) Letizia Tanca (Politecnico di Milano, Italy) Alex Thomo (University of Victoria, Canada) Krisztián Tichler (Eötvös Loránd University, Budapest, Hungary) Miroslaw Truszczynski (University of Kentucky, USA) José María Turull-Torres (Massey University Wellington, New Zealand) Dirk Van Gucht (Indiana University, USA) Victor Vianu (University of California San Diego, USA) Peter Vojtáš (Charles University, Czech Republic) Stefan Woltran (Vienna University of Technology, Austria) FURTHER INFORMATION For further information refer to the FoIKS 2012 web site at http://2012.foiks.org/ From ph_r at gmx.net Fri Sep 16 17:11:52 2011 From: ph_r at gmx.net (Philipp Ruemmer) Date: Fri, 16 Sep 2011 17:11:52 +0200 Subject: Three PhD Positions in Embedded Systems, with Focus on Analysis of Systems with Mixed-Criticality Applications Message-ID: <1316185912.4195.14.camel@hal3> The Department of Information Technology at Uppsala University, Sweden, is offering three PhD positions. The positions will be within the Embedded Systems Group. Part of the research will be carried out in the context of European FP7 project CERTAINTY. http://www.personalavd.uu.se/ledigaplatser/2279PhD.html Information about the positions can be given by Philipp Rümmer Wang Yi Description of the subject area =============================== The introduction of advanced parallel processing architectures, in particular multicore processors, is leading to an increasing trend in embedded systems design towards implementing multiple functionalities upon a single computing platform. However, in most applications, not all the functionalities are equally critical for the overall performance of the system or functionality to be guaranteed. This leads to new challenges in the design, modelling, architecturing, implementation, and analysis of embedded systems, since strong guarantees for high-criticality functions have to be provided in the presence of (computationally or data-intensive) low-criticality functions being performed by the same system, in a cost-efficient manner. The topic of the PhD research will be the development of methods to handle functional and non-functional properties in mixed-criticality systems, including (non-)interference, timing properties, and resource consumption. This will encompass modelling as well as verification & validation aspects. The research will partly build on leading tools previously developed in the Embedded Systems Group at the Department of Information Technology, such as the UPPAAL model checker and the TIMES modelling tool. Qualifications required ======================= The candidates should have a Master of Science in Computer Science, Computer Engineering, or equivalent. Experience in embedded systems, real-time systems, or formal methods are desirable, as are good implementation skills. The positions are for a maximum of five years and include departmental duties at a level of at most 20% (typically teaching) as well as course studies. You will be expected to teach in Swedish or English. Excellent skills in spoken and written English are an absolute requirement. Application =========== You are welcome to submit your application no later than 3 October, 2011. The application should include a description of research interests and past experience, a CV, degrees and grades, a copy of Master thesis (or a draft thereof), relevant publications, and other relevant documents. Candidates are encouraged to include a description of themselves as well as reasons for wanting to become a PhD student. In addition, letter(s) of recommendation and contact information to reference persons, as well as earliest feasible starting date of employment should be provided. From aamas2012_publicity at infoscience.otago.ac.nz Mon Sep 19 04:24:22 2011 From: aamas2012_publicity at infoscience.otago.ac.nz (AAMAS 2012 Publicity Chair) Date: Mon, 19 Sep 2011 14:24:22 +1200 (NZST) Subject: Call for Workshop Proposals: 11th Int. Conf. on Autonomous Agents and Multiagent Systems. 4-8 June 2012 Message-ID: <6543d000-f709-4bcc-8403-b5b01b192a06@SBIS4329> ->->-> CALL FOR WORKSHOP PROPOSALS <-<-<- Eleventh International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2012) Valencia, Spain, USA, June 4-8, 2012 AAMAS 2012 Conference home page: http://aamas2012.webs.upv.es Workshop Program home page: http://agents.sci.brooklyn.cuny.edu/aamas12wp >>> INTRODUCTION The AAMAS 2012 Organizing Committee invites proposals for the Workshop Program, which will be held on June 4-5, 2012. The main goal of the AAMAS Workshop Program 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 area of Autonomous Agents and Multi-Agent Systems. Workshops should be organized to facilitate informal discussion, active engagement and interaction amongst attendees. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new, emerging topics or specific relevant aspects of broader topics are encouraged. The length of individual workshops will either be half-day or full-day. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. >>> REQUIREMENTS FOR SUBMISSIONS To propose a workshop for AAMAS 2012, please prepare a complete workshop proposal in PDF format. The document should be 5-8 pages in length, using 10-point font (or larger). The page limit is 8 pages. The document must contain the following required elements: 1) Title of the workshop 2) Abstract Provide a brief version (400 words or less) of the workshop description (see below). 3) Workshop Description The workshop description should address each of the following items: - the technical issue(s) that the workshop will address: what issues will be discussed in this workshop? - the relevance of the workshop to the main conference: why is this workshop of interest to AAMAS attendees? - the significance of the workshop: why is this workshop important? - the uniqueness of the workshop: how is this workshop different from other AAMAS workshop offerings in past years? - the expected audience: who will attend this workshop? what is the expected number of attendees? - rough agenda: indicate requested length of workshop (half-day or full-day) and anticipated number/length of paper presentations, invited talks, discussion periods, poster sessions 4) Workshop History If applicable, provide the following information about previous offerings of the proposed workshop: - when and where has the workshop been offered in the past? - for each past workshop, please provide: - dates and venue - names and affiliations of organizers - number of submissions - number of acceptances - number of registered attendees - details on any post-proceedings 5) Related Workshops Provide a list of related workshops held within the last 3 years, if any, and their relation to the proposed workshop. 6) Workshop Organizers It is expected that organizers will be recognized experts in the field(s) of the proposed workshop, will take responsibility for making sure that submitted papers are reviewed appropriately and handled fairly, and will produce a workshop program representative of the area(s) described above. *** Please designate one person as the CONTACT ORGANIZER with whom the Workshops Chair will correspond. For each workshop organizer, please provide: - full name - professional affiliation and title - email address - postal address - contact phone number - qualifications as a workshop organizer (i.e., brief bio, 200 words or less) 7) Program Committee It is expected that program committee members will be recognized experts in the field(s) of the proposed workshop, and that program committee members will take responsibility for reviewing papers submitted to the workshop. The Program Committee should consist of individuals from multiple institutions and nations, representing a broad perspective. For each program committee member, please provide: - full name - professional affiliation and title - indication of this person's commitment to serve ("agreed", "invited-not-yet-accepted", or "not-yet-contacted") 8) Review Process Describe the paper review process and acceptance standards. 9) Post-Proceedings Describe any plans regarding post-proceedings (e.g., Springer volume, journal special issue, etc.). 10) Call for Papers Include a draft of the "Call for Papers" for the proposed workshop. >>> SUBMISSION INSTRUCTIONS All proposals should be submitted via the EasyChair site. Detailed information is listed on the Workshop Program home page (http://agents.sci.brooklyn.cuny.edu/aamas12wp). >>> SUBMISSION DEADLINE Wednesday November 9, 2011 (midnight Hawaii time) >>> SELECTION PROCESS The selection of the workshops to be included in the final AAMAS program will be based upon multiple factors, including: - the scientific/technical interest of the topics in relation to the anticipated AAMAS audience, - the quality of the proposal, - the balance and distinctness of topics across all workshops, - the history of past attendance for non-first-time workshops, and - the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals. Proposers will be notified of the committee's decision no later than Wednesday December 7, 2011. >>> RESPONSIBILITIES OF AAMAS AND OF WORKSHOP ORGANIZERS For all accepted Workshops, AAMAS will be responsible for the following: - Providing logistical support and a meeting room for the workshop - Determining the workshop date and time, together with the organizers - Providing an electronic version of workshop papers to participants Workshop Organizers will be responsible for the following: - Responding to email requests by the AAMAS organizers in a timely way - Setting up a web site for the Workshop, and keeping the web site up-to-date with information about submissions and the workshop agenda, and electronic versions of accepted papers - Advertising the workshop and issuing a call for papers and a call for participation - Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process - Providing one printable PDF file of all workshop papers to the AAMAS organizers by the date given (TBA) - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings) - Adhering to a set of common deadlines for the following: - Workshop paper submission - Notifications to authors of accepted/rejected papers - Submission of final ("camera-ready") papers to workshop organizers - Uploading of complete set of workshop papers AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few attendees register for the workshop. >>> IMPORTANT DATES November 9, 2011: Workshop PROPOSAL submission December 7, 2011: Notification of accepted PROPOSALS tba..., 2012: Workshop PAPER submission tba..., 2012: Notification of accepted PAPERS tba..., 2012: Camera-ready submission tba..., 2012: Uploading of Workshop Papers JUNE 4-5, 2012: AAMAS 2012 Workshop Program >>> WORKSHOP PROGRAM HOME PAGE http://agents.sci.brooklyn.cuny.edu/aamas12wp/ >>> QUESTIONS? Please contact the AAMAS 2012 Workshops Chair: Prof Elizabeth Sklar Dept of Computer and Information Science Brooklyn College, City University of New York email: sklar at sci.brooklyn.cuny.edu From aamas2012_publicity at infoscience.otago.ac.nz Mon Sep 19 05:15:02 2011 From: aamas2012_publicity at infoscience.otago.ac.nz (AAMAS 2012 Publicity Chair) Date: Mon, 19 Sep 2011 15:15:02 +1200 (NZST) Subject: Call for Tutorials: 11th Int. Conf. on Autonomous Agents and Multiagent Systems, 4-8 June 2012 Message-ID: ** CALL FOR TUTORIALS ** Eleventh International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2012) Valencia, Spain 4th-8th June 2012 http://aamas2012.webs.upv.es/ The AAMAS 2012 Organizing Committee invites proposals for the Tutorial Program, to be held on June 4-5, immediately before the technical conference. AAMAS 2012 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry Topic areas of interest include all of those listed in the call for the technical track, including the special tracks on robotics, virtual agents, and innovative applications. SUBMISSION REQUIREMENTS Proposals should be two to four pages in length, and should contain the following information: 1. A brief description of the tutorial, suitable for inclusion in the conference registration brochure. 2. A detailed outline of the tutorial, including preferred length (half or full day). 3. Characterization of the potential target audience for the tutorial, including prerequisite knowledge. 4. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. 5. A brief resume of the presenter(s), which should include name, postal address, phone and fax numbers, email address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills as applicable), and evidence of scholarship in the area. 6. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. RESPONSIBILITIES (with respect to accepted proposals) AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: * Providing AAMAS with a legible PDF copy of their tutorial notes by March 28, 2012. * Presenting the tutorial at AAMAS 2012. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. IMPORTANT DATES December 6, 2011: Tutorial Proposal Submission Deadline January 13, 2012: Tutorial Acceptance Notifications March 28, 2012: Deadline for submitting tutorial notes June 4-5, 2012: Tutorial Forum Presentations SUBMISSIONS AND INQUIRIES Proposals and inquiries should be sent by email (in ASCII or pdf) to the tutorials chairs: Chris Kiekintveld (primary contact for submissions) Department of Computer Science University of Texas at El Paso cdkiekintveld at utep.edu Catherine Pelachaud CNRS LTCI, TELECOM ParisTech catherine.pelachaud at telecom-paristech.fr From melmasri at astek.fr Mon Sep 19 10:14:58 2011 From: melmasri at astek.fr (Mohamad El Masri) Date: Mon, 19 Sep 2011 10:14:58 +0200 Subject: [CFP PROMASC'11] Provisioning and Management of Service Oriented Architecture and Cloud Computing @ ICSOC 2011, Submission deadline extended: September 22, 2011 Message-ID: Apologies if you receive this message more than once. If you could please forward this message onto your colleagues who you think might be interested in this workshop; that would be much appreciated! Deadline for submission has been extended to September 22nd ------------------------------------------------------Call for Papers-------------------------------------------------------------------- The Second Workshop on Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC'2011) == December 5th, 2011, Paphos-Cyprus == (http://www.redcad.org/members/benhalima/promasc2011/) In conjunction with the ICSOC'2011 Conference (http://www.icsoc.org/) ------------------------------------------------------------------------------------------------------------------------------------------------ ::Overview:: As the paradigm service-oriented architecture gains more prominence in the development of applications, the way of management of these applications is becoming a critical feature in order to provide a better quality of service. Cloud Computing is a technology that provides on-demand access to massively scalable resources in the field of Service Computing. The technical foundations of Cloud Computing include service-oriented architecture (SOA) and virtualizations of hardware and software. It has emerged as a new paradigm for deploying, managing and offering services through a shared infrastructure. Provisioning of SOA and Cloud presents a new set of emerging issues and challenges that are expected to be identified and resolved by the research community. It includes issues of the proposed approaches at several levels: modeling, composition, coordination, planning, scheduling, configuration, monitoring and analysis. This workshop intends to provide an effective forum for researchers and industry practitioners to exchange innovative ideas and state-of-the-art research, share experiences and lessons learned from academic research projects as well as real world projects. ::Topics:: Our goal is to bring together researchers and practitioners to stimulate discussions on the features of provisioning and management of SOA and Cloud. We are soliciting contributions from both academia and industrials on the following topics (the list is not exhaustive): * QoS Management of SOA and Cloud Computing * Provisioning of SOA Virtualization * Management of Resources Virtualization * Monitoring of Cloud Services * Reconfiguration and recovery of Cloud Services * Service Level Agreement (SLA) Negotiation, Automation and Orchestration for Cloud Computing * Provisioning and Scalability on the Cloud * Policy Driven Management of SOA and Cloud Computing * Availability and Reliability * Assurance and Certification of SOA * Service Security and Privacy ::Submission:: We encourage contributions of short papers or practical experiences (max 8 pages) and full papers (max 15 pages), including all references and figures, with high quality research contributions and experimental results. Papers should be written in English according to the Springer LNCS format. Authors must upload electronically their papers as PDF file using the PROMASC'2011 submission system hosted by Easy Chair. (https://www.easychair.org/login.cgi?conf=promasc2011) ::Publication:: All accepted papers will appear in the ICSOC 2011 post-proceedings published by Springer-Verlag under the Services Science series. ::Important Dates:: * Extended Submission deadline: September 22, 2011 * Notification: October 23, 2011 * Camera Ready: November 7, 2011 * Workshop: December 5, 2011 ::Workshop Organizers:: * Riadh BEN HALIMA, ENI-Sfax, Tunisia [riadh.benhalima at enis.rnu.tn] * Mohamad EL MASRI, Astek-Sophia Antipolis, France [melmasri at astek.fr] * Ernesto EXPOSITO, LAAS-CNRS, France [ernesto.exposito at laas.fr] * Nearchos PASPALLIS, University of Cyprus, Cyprus [nearchos at acm.org] ::Technical Program Committee:: * Andreas Berl, University of Passau, Germany * Anis Charfi, SAP Research Darmstadt, Germany * Claudio Ardagna, Universita degli Studi di Milano, Italy * Luis Miguel Vaquero, HP Cloud and Security Lab., UK * Lynda Mokdad, University of Paris 12, France * Maher Khemakhem, University of Sousse, Tunisia * Mathieu Gineste, Thales Alenia Space, France * Myriam Lamolle, University of Paris 8, France * Ramin Yahyapour, Dortmund University, Germany * Rodrigo N. Calheiros, The University of Melbourne, Australia * Raouf Boutaba, University of Waterloo, Canada * Roberto Furnari, University of Torino, Italy * Ruben Santiago Montero, Complutense University of Madrid, Spain * Steffen Heinzl, SAP Research, Germany * Peter Bartalos, University of Notre Dame, USA * Philipp Leitner, Vienna University of Technology, Austria * Wajdi Louati, TELECOM SudParis, France Please visit http://www.redcad.org/members/benhalima/promasc2011/ for more information. -------------------------------------------------------------------------- From 2011aow at gmail.com Mon Sep 19 14:10:51 2011 From: 2011aow at gmail.com (Australasian Ontology Workshop) Date: Mon, 19 Sep 2011 14:10:51 +0200 Subject: AOW 2011: 10 days to submission deadline Message-ID: *Apologies for cross postings**: 10 DAYS TO SUBMISSION DUE DATE* *The 7th Australasian Ontology Workshop (AOW 2011)* * 5 December 2011 * * Held in Conjunction with the * * 24th Australasian Joint Conference on Artificial Intelligence (AI2011)* * Perth, Australia* * http://aow2011.yolasite.com/* * email: 2011aow at gmail.com* AOW 2011 is the seventh in a series of workshops on ontologies held in the Australasian region. For the third year running, AOW 2011 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications Important Dates: Submission of papers: 29 September 2011 Notification of acceptance/rejection: 4 November 2011 Final camera ready copies: 18 November 2011 Workshop date: 5 December 2011 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=aow20110<%20http://www.easychair.org/conferences/?conf=aow20110> For submission instructions: see the AOW website at http://aow2011.yolasite.com/ For enquiries or more information, the workshop email address is 2011aow at gmail.com *Workshop Chairs:* Kerry Taylor - CSIRO ICT Centre Aurona Gerber - CAIR and Meraka-CSIR Mehmet Orgun - Macquarie University *Included in the Steering Committee:* Thomas Meyer CAIR, South Africa *Program Committee:* Franz Baader Mike Bain Arina Britz Werner Ceusters Michael Compton Oscar Corcho R. Cenk Erdur Peter Fox Dennis Hooijmaijers Bo Hu Renato Iannella C. Maria Keet Kevin Lee Laurent Lefort Constantine Mantratzis Lars Moench Maurice Pagnucco Debbie Richards Rolf Schwitter Markus Stumptner Murat Sensoy Boontawee Suntisrivaraporn Sergio Tessaris Nwe Ni Tun Ivan Varzinczak Kewen Wang Antoine Zimmermann -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calvanese at inf.unibz.it Tue Sep 20 00:54:07 2011 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Tue, 20 Sep 2011 00:54:07 +0200 Subject: Call for funded PhD positions at KRDB Centre, Free Univ. Bolzano, Italy - Deadline Oct. 14, 2011 Message-ID: <5FF952F8-5591-489D-9A6E-CD3FE3427657@inf.unibz.it> Apologies for cross-posting. =============================================================== CALL FOR PhD POSITIONS - DEADLINE October 14, 2011 Fully funded PhD positions at the KRDB Research Centre for Knowledge and Data Faculty of Computer Science Free University of Bozen-Bolzano, Italy =============================================================== The Faculty of Computer Science of the Free University of Bozen-Bolzano (FUB), Italy, offers an opening for 10 positions for its 3-year PhD program. 8 of the positions are fully funded by a PhD studentship. *** 3 of the PhD positions with studentship are offered by the KRDB Research Centre for Knowledge and Data. *** The application deadline is Oct. 14, 2011 (arrival date of documents, electronic application is not possible). For information about the PhD program, the studentship, and the application, please visit . To download the call, click on "Public Competition Announcement 2011". A PhD studentship amounts to 51,000 Euro over the three years of the PhD. Substantial extra funding is available for participation in international conferences, schools, and workshops. The faculty of Computer Science and its PhD program are entirely based on the English language. RESEARCH TOPICS The KRDB Research Centre invites applicants to get in touch with the research group as soon as possible (see CONTACT PERSON below), in order to have a better understanding of the possible research activities in which the applicants may be involved. Relevant research topics in the centre are the following: * Logics for Knowledge Representation * Intelligent Access to Databases * Temporal Aspects in Data and Knowledge * Advanced Database Technologies * Interoperation, Verification and Composition of Services and Business Processes The topics require good knowledge of Logic, Foundations of Databases, some knowledge of Artificial Intelligence, and of Knowledge Representation. Other research topics are listed in the personal web pages of the members of the KRDB Research Centre, see . EUROPEAN PhD PROGRAM IN COMPUTATIONAL LOGIC (EPCL) The Free University of Bozen-Bolzano participates through the KRDB Research Centre to the European PhD Program in Computational Logic (EPCL) Students that are admitted for a PhD position at the KRDB Research Centre may apply to join EPCL. The admission to EPCL is decided by a Joint Commission consisting of representatives of the EPCL partner universities. CONTACT PERSON To get in contact with the KRDB Research Centre, send an email to prof. Diego Calvanese . From ksatoh at nii.ac.jp Tue Sep 20 08:35:04 2011 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Tue, 20 Sep 2011 15:35:04 +0900 Subject: Deadline Extension: Fifth International Workshop on Juris-informatics(JURISIN 2011) Message-ID: Apologies for cross-postings. Due to several requests, we decided to extend the deadline for JURISIN 2011. We are very happy to announce that Bob Kowalski and Shugo Hotta will give invited talks at JURISIN 2011. Fifth International Workshop on Juris-informatics (JURISIN 2011) Dec. 1-2, 2011 Sunport Hall Takamatsu, http://www.city.takamatsu.kagawa.jp/english/sightseeing/eats/takamatsu-symbol-tower.html Takamatsu, http://www.takamatsu.or.jp/eng/access/index.html Kagawa, Japan with a support of The Japanese Society for Artificial Intelligence in association with Third JSAI International Symposia on AI (JSAI-isAI 2011) http://ai-gakkai.or.jp/jsai-isai/2011/ **** Extended Submission Deadline: September 28, 2011 **** **** Invited Speakers **** (1) Bob Kowalski (Emeritus Professor, the Department of Computing of the Imperial College London) (2) Syugo Hotta (Faculty of Law, Meiji University) **** Aims and scope **** Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. **** Topics **** Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law **** Submissions **** We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. except as a submission to JURIX 2011 (The 24th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2011 is as follows: 1. Papers being submitted both to JURISIN2011 and JURIX2011 must note this on the title page. 2. A paper to be presented at JURISIN2011 must be withdrawn from JURIX2011 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2011. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form , which can be obtained from http://www.springeronline.com, and not exceed 12 pages including figures, references, etc. If you use a word file, please follow the instruction of the format designated at the workshop page, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. **** Proceedings **** A printed volume of the proceedings with ISBN will be available at the workshop. **** Post Proceedings**** The chair of JSAI-IsAI 2011 is now negotiating with Springer Verlag to publish selected papers of the workshop in the JSAI-isAI 2011 post-proceedings as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the previous workshops were publisehd as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009) and LNAI6797(JURISIN2010) respectively. **** Financial Support for Students **** We have received from JSAI partical economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2011. The amount of the whole support is 250,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Please contact the chairperson (ksatoh at nii.ac.jp) for details. **** Important Dates **** Submission Deadline: September 28, 2011 (extended) Notification: October 25, 2011 (extended) Camera Ready Copy due: November 5, 2011 (extended) JURISIN 2011: December 1-2, 2011 **** Workshop Chair **** Shozo Ota, The University of Tokyo, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan **** Organizing Committee Members **** Katsumi Nitta, Tokyo Institute of Technology, Japan Shozo Ota, The University of Tokyo, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan **** Programme Committee Members **** Thomas Agotnes, University of Bergen, Norway Katie Atkinson, The University of Liverpool, UK Phan Minh Dung, AIT, Thailand Tom Gordon, FOKUS Franfoher, Germany Guido Governatori, The University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Masahiro Kozuka, Kanazawa University, Japan Makoto Nakamura, Japan Advanced Institute of Science and Technology, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Shozo Ota, The University of Tokyo, Japan Jeremy Pitt, Imperial College, UK Henry Prakken, University of Utrecht & Groningen, The Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Radboud Winkels, The University of Amsterdam, the Netherlands John Zeleznikow, Victoria University, Australia **** Home page of JURISIN 2011 **** http://research.nii.ac.jp/~ksatoh/jurisin2011.html **** preivous JURISIN workshops **** JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html For any inquiry, please send it to "jurisin2011 at nii.ac.jp". From invitation at iarianews.org Tue Sep 20 18:32:08 2011 From: invitation at iarianews.org (NexComm 2012) Date: Tue, 20 Sep 2011 12:32:08 -0400 Subject: 2nd CfP || NexComm 2012: April 29 - May 4, 2011 - Chamonix / Mont Blanc, France Message-ID: <1316536328203.2124@iarianews.org> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. The submission deadline is December 5, 2011 Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= NexComm 2012: April 29 - May 4, 2011 - Chamonix / Mont Blanc, France see: http://www.iaria.org/conferences2012/NexComm12.html NexComm 2012 is a federated event focusing on advanced topics concerning communication theory, digital telecommunications, space communications, multimedia, radio, and system robustness.. Submission (full paper) deadline: December 5, 2011 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. - CTRQ 2012, The Fifth International Conference on Communication Theory, Reliability, and Quality of Service http://www.iaria.org/conferences2012/CTRQ12.html - ICDT 2012, The Seventh International Conference on Digital Telecommunications http://www.iaria.org/conferences2012/ICDT12.html - SPACOMM 2012, The Fourth International Conference on Advances in Satellite and Space Communications http://www.iaria.org/conferences2012/SPACOMM12.html - MMEDIA 2012, The Fourth International Conferences on Advances in Multimedia http://www.iaria.org/conferences2012/MMEDIA12.html - MOPAS 2012, The Third International Conference on Models and Ontology-based Design of Protocols, Architectures and Services http://www.iaria.org/conferences2012/MOPAS12.html - COCORA 2012, The Second International Conference on Advances in Cognitive Radio http://www.iaria.org/conferences2012/COCORA12.html - PESARO 2012, The Second International Conference on Performance, Safety and Robustness in Complex Systems and Applications http://www.iaria.org/conferences2012/PESARO12.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about NexComm, please reply with "DROP NexComm event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From cfp at grid.chu.edu.tw Wed Sep 21 08:23:02 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Wed, 21 Sep 2011 14:23:02 +0800 Subject: IPDPS 2012 FINAL CALL FOR PAPERS (Abstract due on September 24, 2011) Message-ID: <201109210623.p8L6N2jj001404@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cesare.pautasso at usi.ch Wed Sep 21 11:18:29 2011 From: cesare.pautasso at usi.ch (Cesare Pautasso) Date: Wed, 21 Sep 2011 11:18:29 +0200 Subject: CfP - =?windows-1252?Q?EuroSys=9212=2C_the_European_Confer?= =?windows-1252?Q?ence_on_Computer_Systems=2C_Bern=2C_Switzerla?= =?windows-1252?Q?nd=2C_10-13_April_2012?= Message-ID: <4E79ABE5.8020503@usi.ch> EuroSys’12, the European Conference on Computer Systems 10-13 April 2012 Bern, Switzerland http://eurosys2012.unibe.ch EuroSys’12, the European Conference on Computer Systems, seeks papers on all aspects of computer systems, especially ones that bridge traditionally disjoint areas. All areas of operating systems and distributed systems are of interest, including: * Systems aspects of: - Cloud, grid, and internet/web computing - Databases, and information and data management - Dependable computing - Distributed computing - Local and distributed storage - Management, autonomics, and control - Measurement, monitoring, analysis, and diagnostics - Mobile, personal, and pervasive computing - Parallel and concurrent computing - Programming-language support and runtime systems - Real-time and embedded systems - Security - Sensor nets and tiny devices * Experience with existing systems * Negative results / reproduction or refutation of previous results In addition to papers that report on the design, implementation, evaluation and deployment of systems or research work, we also actively encourage papers about new ideas, or experiences with ideas or systems. Appropriate standards will be applied to papers in different categories: for experiences papers, evaluation and lessons learned will be more important than novelty. Papers are reviewed by the program committee in a two-round process. Papers will be accepted primarily for their impact on the systems community. Novelty, clarity of explanation, thoroughness of evaluation, and bridging gaps between different communities are additional criteria. Note that the above does not preclude the submission of a paper that is derived from a previous short paper or workshop paper, as long as it provides a significant new contribution. Acceptance may be provisional, subject to further shepherding by a member of the program committee before final acceptance. Reviewing will be double-blind, meaning the authors' identities will be hidden from the reviewers. EuroSys applies ACM's policies for plagiarism, submission confidentiality, reviewer anonymity, and prior and concurrent paper submission. EuroSys implements confidentiality of submissions by (a) limiting access to submitted papers to the PC members and, in case the designated PC member needs a second opinion, external reviewers from the PC member’s organisation, and (b) publishing the names of all external reviewers. Submissions accompanied by nondisclosure agreement forms will not be considered. Submissions may not exceed 12 pages double column, including everything (i.e., figures, tables, references, appendices, etc.), and should use a 10pt font. A LaTeX style file is available from the submission site. No changes to margins, spacing, or font sizes are allowed from those specified by the style file. Papers that violate the submission guidelines will be automatically rejected without consideration of their merit. Accepted papers will be allowed 14 pages in the proceedings. At least one author of an accepted paper will be expected to travel to the conference to present it. Authors who are unsure whether or not their submissions might meet these guidelines, or with specific questions about the guidelines, are welcome to contact the program committee co-chairs, viaeurosys2012-chairs at cs.vu.nl. In order to encourage and aid authors less experienced in writing competitive systems papers, we offer a pre-submission option. All complete papers received by the pre-submission deadline (4 weeks before the actual paper deadline) will, within one week, receive feedback from an experienced systems researcher and reviewer on how to improve the paper. This feedback will focus on structure and presentation issues and emphasize improving the writeup rather than critiquing the research. As such, the same standards of double-blind reviewing apply as for the final papers. In addition to paper presentations, EuroSys'12 will have a poster session. Submissions for posters will open closer to the conference deadline. Accepted papers will automatically qualify for the poster session, and authors will be strongly encouraged to participate. We will offer awards for the best paper and for the best paper with a student as the primary author. --------------- Important dates --------------- * Paper pre-submission deadline: 20 September 2011 * Abstract submission deadline: 14 October 2011 * Full paper submission deadline: 20 October 2011 * Reviews released to authors: 24 December 2011 * Author rebuttals due: 1 January 2012 * Notification to authors: 8 January 2012 * EuroSys'12 workshops: 10 April 2012 * EuroSys'12 conference: 11-13 April 2012 ----------------- Program Committee ----------------- PC Chairs * Frank Bellosa, KIT * Herbert Bos, VU University PC Members * Ricardo Bianchini, Rutgers University * Willem de Bruijn, Google * George Candea, EPFL * Manuel Costa, MSR Cambridge * Jon Crowcroft, Cambridge University * Leendert van Doorn, AMD * Kevin Elphinstone, UNSW& NICTA * Dawson Engler, Stanford University * Bryan Ford, Yale University * Andy Georges, Ghent University * Ashvin Goel, University of Toronto * Steve Gribble, University of Washington * Andreas Haeberlen, University of Pennsylvania * Hermann Härtig, TU Dresden * Eric van Hensbergen, IBM Austin * Maurice Herlihy, Brown University * Nikolai Joukov, IBM Watson * Eric Jul, DIKU * Frans Kaashoek, MIT * Terence Kelly, HP Labs * Anne-Marie Kermarrec, INRIA * Orran Krieger, VMWare * Jeff Mogul, HP Labs * Frank Müller, NCSU * Jason Nieh, Columbia University * Pradeep Padala, Docomo Labs * Guillaume Pierre, VU University * Niels Provos, Google * Rodrigo Rodrigues, MPI-SWS * Timothy Roscoe, ETH Zurich * Wolfgang Schröder-Preikschat, FAU * Assaf Schuster, Technion * Karsten Schwan, Georgia Tech * Emin Gün Sirer, Cornell University * Paulo Verissimo, University of Lisboa * Andrew Warfield, University of British Columbia * Yuanyuan Zhou, UCSD ------- Contact ------- Conference Website:http://eurosys2012.unibe.ch/ Follow us on twitter:http://twitter.com/eurosys2012 For any inquiries please contact the program chairs at:eurosys2012-chairs at cs.vu.nl From scozzari at sci.unich.it Wed Sep 21 14:01:37 2011 From: scozzari at sci.unich.it (Francesca Scozzari) Date: Wed, 21 Sep 2011 14:01:37 +0200 Subject: PhD position - University of Chieti-Pescara (Italy) Message-ID: <4E79D221.3020705@sci.unich.it> A three years PhD scholarship is available at the Department of Science - University of Chieti-Pescara (Italy). We are looking for a candidate who will work on the field of analysis and verification of programs and systems, under the supervision of Chiara Meo, Gianluca Amato or Francesca Scozzari. The deadline for online application is October 3rd, 2011. For further details, do not hesitate to contact me. Best regards, --francesca scozzari Dipartimento di Scienze Università di Chieti-Pescara From cfp at grid.chu.edu.tw Thu Sep 22 06:18:30 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Thu, 22 Sep 2011 12:18:30 +0800 Subject: The 11th ACM/IEEE International Conference on Information Processing in Sensor Networks Message-ID: <201109220418.p8M4IUtr015664@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asaffio at aass.oru.se Thu Sep 22 15:48:13 2011 From: asaffio at aass.oru.se (Alessandro Saffiotti) Date: Thu, 22 Sep 2011 15:48:13 +0200 (CEST) Subject: One PhD Position on Robots and Smart Environments Message-ID: ====================================================================== ***** One PhD Position on Robots and Smart Environments ***** Center for Applied Autonomous Sensor Systems (AASS) Örebro University, Sweden ====================================================================== ---------------------------------------------------------------------- In Short ---------------------------------------------------------------------- Applications are invited for a PhD student position in Computer Science at Örebro University, Sweden. The position is in the area of the integration of robots and smart environments, with specific emphasis on applications to elderly care. The position is in the context of the EU project Robot-Era, and it is for three years. Application deadline is October 15, 2011. ---------------------------------------------------------------------- About the Position ---------------------------------------------------------------------- The main task of the student will be to perform world-class research on the integration of robots within and across smart environments. This includes the integration of robots in smart apartments, in smart buildings, and in smart towns. This type of integration will face the student with a number of novel and challenging scientific issues. These issues will be studied within the specific application domain of assistance to elderly people, through the use of real test-bed environments. This domain will serve both as a source of inspiration and as a place for validation of the scientific achievements. The successful candidate will be employed as a PhD student with Örebro University for an expected duration of three years. He or she will work within the local Robot-Era team at Örebro University, but will also collaborate with the other European partners in the Robot-Era, both remotely and through physical meetings and research visits. A limited amount of teaching may also be part of the PhD student's duties. More information can be found at http://aass.oru.se/CRS/positions.html ---------------------------------------------------------------------- About the Robot-Era Project ---------------------------------------------------------------------- Robot-Era ("Implementation and integration of advanced ROBOTic systems and intelligent Environments in Real scenarios for the Ageing population") is a European Union FP7 project. The objective of Robot-Era is to develop complete advanced robotic services integrated in intelligent environments, which will actively work in real conditions and cooperate with real people to provide favourable independent living, improving the quality of life and the efficiency of care for elderly people. Robot-Era will demonstrate the general feasibility and effectiveness of these systems, as well as their social plausibility and acceptability by end-users. The role of the AASS in Robot-Era will be to develop an advanced, modular and customizable ambient intelligence infrastructure within which the above services can be provided. A unique feature of this infrastructure will be that it will span across several environments, ranging from homes to streets and public places, in order to provide ubiquitous assistance to senior citizens. AASS will also supervise the development of one of the project's two testing sites: a smart apartment inside a large residential facility for senior citizens. The Robot-Era consortium consists of twelve European partners from Sweden, Germany, Italy and the United Kingdom, and it is coordinated by Scuola Superiore Sant'Anna in Pisa, Italy. ---------------------------------------------------------------------- About the Working Place ---------------------------------------------------------------------- Örebro University (www.oru.se) is a young university which currently enrolls more than 15,000 students. It is located in Örebro, a city of 130,000 inhabitants situated in central Sweden. The Center for Applied Autonomous Sensor Systems (AASS) is one of the Strong Research Environments at Örebro University. It carries out multi-disciplinary research at the intersection of robotics, computer science, machine learning and artificial intelligence. The research and human environment at AASS is young and enthusiastic. Researchers come from a dozen different countries, in Europe and worldwide, and have different scientific and cultural backgrounds. AASS also frequently hosts international researchers and is involved in several international projects. AASS is internationally renowned for its research in cognitive robotic systems and in ecologies of robots and smart environments. Further information about AASS and the Cognitive Robotic Systems lab can be found at http://aass.oru.se and http://aass.oru.se/CRS. ---------------------------------------------------------------------- Prerequisites and Application Process ---------------------------------------------------------------------- In addition to a clear interest in one or more of the above research topics, the successful applicant must have a strong background in computer science, solid programming skills, and inclinations towards cross-disciplinary research. A Master's in computer science, computer engineering or comparable field is required. We particularly seek candidates with experience in artificial intelligence, in robotic systems, and/or in sensor networks. Knowledge of the Swedish language is not required, but proficiency in written and spoken English and good communication skills are mandatory. To apply for the position, please send a motivation letter along with an updated CV (including at least two academic references) by email to Prof. Alessandro Saffiotti . Applications can be sent immediately and until October 15, 2011. We are looking forward to receiving your application! ====================================================================== From asaffio at aass.oru.se Thu Sep 22 15:45:09 2011 From: asaffio at aass.oru.se (Alessandro Saffiotti) Date: Thu, 22 Sep 2011 15:45:09 +0200 (CEST) Subject: Two PhD Positions on Hybrid Knowledge Representation Message-ID: ====================================================================== ***** Two PhD Positions on Hybrid Knowledge Representation ***** Center for Applied Autonomous Sensor Systems (AASS) Örebro University, Sweden ====================================================================== ---------------------------------------------------------------------- In Short ---------------------------------------------------------------------- Applications are invited for two PhD student positions in Computer Science at Örebro University, Sweden. The positions are in the area of hybrid knowledge representaiton and reasoning, planning and execution monitoring in the context of the EU project RACE. The positions are for three years. Application deadline is October 15, 2011. ---------------------------------------------------------------------- About the Positions ---------------------------------------------------------------------- The main task of the students will be to perform world-class research on hybrid knowledge representation and reasoning, and hybrid planning and plan execution monitoring, for robotic systems. Hybrid in this context means that the robot is capable of inferring new information about its environment from a variety of information of different nature. For instance, the robot will consider flexible temporal requirements (e.g., serving food while it is warm, but not too soon after the previous course) together with causal requirements (e.g., serving a meal satisfies the goal of feeding the guests) and resource constraints (e.g., dishes from the previous course must be cleared as space must be made for the new course). Such requirements should be upheld both during planning and on-line execution monitoring. The successful candidates will be employed as PhD students with Örebro University for an expected duration of three years. They will work within the local RACE team at Örebro University, but they will also collaborate with the other European partners in RACE, both remotely and through physical meetings and research visits. A limited amount of teaching may also be part of the PhD student's duties. More information can be found at http://aass.oru.se/CRS/positions.html ---------------------------------------------------------------------- About the RACE Project ---------------------------------------------------------------------- RACE, "Robustness by Autonomous Competence Enhancement", is a European Union FP7 project. The overall aim of RACE is to develop an artificial cognitive system, embodied by a service robot, able to build a high-level understanding of the world it inhabits by storing and exploiting appropriate memories of its experiences. Experiences will be recorded internally at multiple levels: high-level descriptions in terms of goals, tasks and behaviours, and sensory and actuator skills at the lowest level. RACE will develop methods for conceptualizing acquired experiences so as to extend the robot's planning and execution capabilities beyond preconceived situations. AASS's role in RACE concerns (1) the development of knowledge representation and reasoning schemes suited for reasoning about multiple types of experiences; and (2) the use of this acquired and inferred knowledge for plan generation and execution. Constraint-based techniques will be explored for both representation and reasoning and planning/execution monitoring purposes, and in particular a meta-CSP approach for integrating temporal, resource, causal and spatial reasoning will be examined. The RACE consortium consists of six European partners: the University of Hamburg (Germany), the University of Leeds (UK), Örebro University (Sweden), the University of Osnabrück (Germany), the University of Aveiro (Portugal), and the technology transfer institution HITeC e.V. (Germany). ---------------------------------------------------------------------- About the Working Place ---------------------------------------------------------------------- Örebro University (www.oru.se) is a young university which currently enrolls more than 15,000 students. It is located in Örebro, a city of 130,000 inhabitants situated in central Sweden. The Center for Applied Autonomous Sensor Systems (AASS) is one of the Strong Research Environments at Örebro University. It carries out multi-disciplinary research at the intersection of robotics, computer science, machine learning and artificial intelligence. The research and human environment at AASS is young and enthusiastic. Researchers come from a dozen different countries, in Europe and worldwide, and have different scientific and cultural backgrounds. AASS also frequently hosts international researchers and is involved in several international projects. AASS is internationally renowned for its research in cognitive robotic systems. Further information about AASS and the Cognitive Robotic Systems lab can be found at http://aass.oru.se and http://aass.oru.se/CRS. ---------------------------------------------------------------------- Prerequisites and Application Process ---------------------------------------------------------------------- In addition to a clear interest in one or more of the above research topics, the successful applicant must have a strong theoretical background in computer science, and solid programming skills. A Master's in computer science, computer engineering or comparable field is required. We particularly seek candidates with experience in artificial intelligence, planning and constraint reasoning, and with inclinations towards cross-disciplinary research. Knowledge of the Swedish language is not required, but proficiency in written and spoken English is mandatory. To apply for a position, please send a motivation letter along with an updated CV (including at least two academic references) by email to Prof. Alessandro Saffiotti . Applications can be sent immediately and until October 15, 2011. We are looking forward to receiving your application! ====================================================================== From ispa2012 at piojito.arcos.inf.uc3m.es Sat Sep 24 10:46:29 2011 From: ispa2012 at piojito.arcos.inf.uc3m.es (ISPA2012) Date: Sat, 24 Sep 2011 10:46:29 +0200 Subject: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012) Message-ID: <20110924084629.GA25800@piojito.arcos.inf.uc3m.es> Dear Sir or Madam, (We apologize if you receive multiple copies of this message) ================================== The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012) http://www.arcos.inf.uc3m.es/ispa2012 Madrid, Spain, 10-13 July 2012 ** Important Dates ** ================================== Papers due: January, 15, 2012 Notification: March, 15 2012 Camera ready: April, 15 2012 Conference dates: July, 10-13, 2012 Context ================================= ISPA-12 follows the traditions of previous successful ISPA conferences, ISPA-03 (Aizu, Japan), ISPA-04 (Hong Kong), ISPA-05 (Nanjing, China), ISPA-06 (Sorrento, Italy), ISPA-07 (Niagara Falls, Canada) and ISPA-08 (Sydney, Australia), ISPA-09 (Chengdu, China), ISPA-10 (Taipei, Taiwan) and ISPA-11 (Busan, Korea). The objective of ISPA 2012 is to provide a forum for scientists and engineers in academia and industry to exchange and discuss their experiences, new ideas, research results, and applications about all aspects of parallel and distributed computing and networking. It will feature session presentations, workshops, tutorials, and keynote speeches. ISPA-12 is sponsored by IEEE Technical Committee on Scalable Computing (TCSC) and IEEE Computer Society. Topics of interest ================================= * Parallel and Distributed Algorithms, and Applications. * High-performance scientific and engineering computing. * Building block processors: FPGA, multicore, GPU, SoC * Architectures and Virtualization. * Middleware and tools. * Network and pervasive computing. * Performance simulations, measurement, and evaluations. * Reliability, fault tolerance, and security. * Database, data mining, and data management. * Virtualization techniques, tools, and applications. * Parallel/distributed system architectures. * Tools/environments for parallel/distributed software development. * Novel parallel programming paradigms. * Code generation and optimization. * Compilers for parallel computers * Distributed systems and applications. * Wireless networks, mobile, and pervasive computing. * Energy management and power optimization. * Green Computing and Energy-aware computing. * Grid and cluster computing. * Cloud systems and services. * Programming models for Cloud services and applications. * Internet computing and web services. * Database applications, data mining, and data management. * Data intensive applications and Internet-Of-Things. * IoT and Ubiquitous computing: application scenarios. Submissions ================================= * Submissions should not exceed 8 pages in IEEE CS proceedings paper format, including tables and figures. All paper submissions must represent original and unpublished work. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submissions will be conducted electronically on the conference website. Workshop proposals ================================= Please, submit workshop proposals (according to the guidelines available at ISPA-12 web site) before Nov, 15, 2011 to Prof. Florin Isaila (florin.isaila [at] uc3m.es) with the subject "ISPA-12 WORKSHOP PROPOSAL". Journal publications ================================== Extended versions of distinguished selected papers accepted and presented in ISPA 2012, after further revisions, will be published in issues of following indexed international journals: - Cluster computing, Springer. - The Computer Journal, Oxford. - Int. Journal of Parallel Programming, Springer. - Personal and Ubiquitous Computing, Springer. - Computer & Electrical Engineering, Elsevier. Best paper awards ================================= An award will be given to the best paper of the conference and to the best student paper. Steering Chairs ================================= Minyi Guo (Shanghai Jia Tong University, China) Laurence T. Yang (St. Francis Xavier University, Canada) General Chairs ================================= David Abramson (Monash eScience and Grid Lab, Australia) J. Daniel Garcia (University Carlos III of Madrid, Spain) Thomas Ludwig (German Climate Computing Center and University of Hamburg, Germany) General Vice-Chairs ================================= Felix Garcia (University Carlos III of Madrid, Spain) James J. (Jong Hyuk) Park (Seoul National University of Science and Technology, Korea) Ruppa K. Thulasiram (University of Manitoba, Canada) Program Chairs ================================= Nelson Amaral (University of Alberta, Canada) Jesus Carretero (University Carlos III of Madrid, Spain) Mitsuhisa Sato (University of Tsukuba, Japan) Workshop Chairs ================================= Florin Isaila (University Carlos III of Madrid, Spain) Avery Ching (Yahoo, USA) Tutorial Chair ================================= Robert Latham (Argonne National Labs, USA) International Advisory Committee ================================= Hamid R. Arabnia (The University of Georgia, USA) Alok Choudhary (Northwestern University, USA) Jack Dongarra (University of Tennessee, USA) Ian Foster (Argonne National Laboratory and The University of Chicago, USA) Hai Jin (Huazhong University of Science and Technology, China) Eleni Karatza (Aristotle University of Thessaloniki, Greece) Victor C.M. Leung (University of British Columbia, Canada) Stephan Olariu (Old Dominion University, USA) Yi Pan (Georgia State University, USA) Stephen S. Yau (Arizona State University, USA) Albert Y. Zomaya (The University of Sydney, Australia) Program Vice-Chairs ================================= Edson Borin (University of Campinas, Brasil) Paolo Bellavista (University of Bologna, Italy) Christian Engelmann (Oak Ridge National Laboratory, USA) Akihiro Inokuchi (Osaka University, Japan) Raffaele Montella (University of Napoli Parthenope, Italy) Rainer Keller (HLRS, Germany) Parimala Thulasiraman (University of Manitoba, Canada) International Program Committee ================================= **Please visit the conference web site (http://www.arcos.inf.uc3m.es/ispa2012/) From markus.kroetzsch at cs.ox.ac.uk Sat Sep 24 11:45:50 2011 From: markus.kroetzsch at cs.ox.ac.uk (=?ISO-8859-1?Q?Markus_Kr=F6tzsch?=) Date: Sat, 24 Sep 2011 10:45:50 +0100 Subject: PODS 2012: Call for Papers Message-ID: <4E7DA6CE.3040602@cs.ox.ac.uk> / Apologies for cross-posting. / Please take note of the *additional, multi-disciplinary topics* in the PODS 2012 call for papers that may be of special interest to this list. There are no separate tracks: all submissions will undergo the same rigorous reviewing process and all accepted papers appear in the proceedings of this established conference. There are, however, programme committee members who represent the additional topics. == SECOND CALL FOR PAPERS == 31st ACM SIGMOD-SIGACT-SIGART Symposium on PRINCIPLES OF DATABASE SYSTEMS (PODS 2012) May 21-May 23 2012, Scottsdale, Arizona, USA http://www.sigmod.org/2012/ The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundations of database systems. For the 31st edition, original research papers providing new insights in the specification, design, or implementation of data-management tools are called for. Topics of Interest Topics that fit the interests of the symposium include the following (as they pertain to databases): * languages for semi-structured data; search query languages; * distributed and parallel aspects of databases; * dynamic aspects of databases; * incompleteness, inconsistency, and uncertainty in databases; * schema and query extraction; data integration; data exchange; * provenance; workflows; metadata management; meta-querying; * data mining and machine learning techniques for databases; * constraints; privacy and security; Web services; * automatic verification of database-driven systems; * model theory, logics, algebras and computational complexity; * data modeling; data structures and algorithms for data management; * design, semantics, and optimization of query and database languages; * domain-specific databases (multi-media, scientific, spatial, temporal, text). In addition, we especially welcome papers addressing *emerging database environments and applications*. An External Review Committee will assist the Core PC (listed further below) in reviewing papers in the following multi-disciplinary areas of particular interest to this edition of PODS. -- Querying and Mining of Unstructured Data: Anhai Doan (Kosmix & U. Wisconsin), Aristides Gionis (Yahoo! Labs), Djoerd Hiemstra (Twente), Stefano Leonardi (University of Rome La Sapienza), Evimaria Terzi (Boston University) -- Web Services, Web Programming and Data-Centric Workflow: Wil van der Aalst (Eindhoven), Anders Møller (Aarhus), Farouk Toumani (ISIMA), David Walker (Princeton), Karsten Wolf (Rostock) -- Learning of Data Models and Queries: Deepak Agarwal (Yahoo! Labs), James Cussens (York U.), Amol Deshpande (U. Maryland), Kristian Kersting (Fraunhofer Institute IAIS, U. Bonn) -- Cloud Computing and Next-generation Distributed Query Processing: Shivnath Babu (Duke), Phillip Gibbons (Intel Labs), Monica Lam (Stanford), Boon Thau Loo (U. Penn), Volker Markl (TU Berlin) -- Semantic, Linked, Networked, and Crowdsourced Data: Panos Ipeirotis (NYU), David Karger (MIT), Carsten Lutz (Bremen), Boris Motik (Oxford) Important Dates: Abstract submission: 20 November 2011 Manuscript submission: 27 November 2011 Notification: 15 February 2012 Submission Guidelines Submitted papers should be at most twelve pages, including bibliography, using reasonable page layout and font size of at least 9pt (note that the SIGMOD style file does not have to be followed). Additional details may be included in an appendix, which, however, will be read at the discretion of the PC. Papers longer than twelve pages (excluding the appendix) or in font size smaller than 9pt risk rejection without consideration of their merits. The submission process will be through the website. Note that, unlike the SIGMOD conference, PODS does not use double-blind reviewing, and therefore PODS submissions should be eponymous (i.e., the names and affiliations of authors should be listed on the paper). The results must be unpublished and not submitted elsewhere, including the formal proceedings of other symposia or workshops. Authors of an accepted paper will be expected to sign copyright release forms, and one author is expected to present it at the conference. Best Paper Award: An award will be given to the best submission, as judged by the PC. Best Student Paper Award: There will also be an award for the best submission, as judged by the PC, written exclusively by a student or students. An author is considered as a student if at the time of submission, the author is enrolled in a program at a university or institution leading to a doctoral/master's/bachelor's degree. Organization: PODS General Chair: Maurizio Lenzereni (University of Rome La Sapienza) PODS Program Chair: Michael Benedikt (Oxford) Proceedings & Publicity Chair: Markus Krötzsch (Oxford) Core Program Committee: Mikhail Atallah (Purdue) Toon Calders (Eindhoven) Diego Calvanese (Free U. Bolzano) James Cheney (Edinburgh) Graham Cormode (AT&T Labs) Alin Deutsch (UC San Diego) Gianluigi Greco (Calabria) T.J. Green (UC Davis) Martin Grohe (HU Berlin) Marc Gyssens (Hasselt) T.S. Jayram (IBM Almaden & IBM India) Daniel Kifer (Penn State) Phokion Kolaitis (UC Santa Cruz & IBM Almaden) Rasmus Pagh (Copenhagen) Luc Segoufin (INRIA Cachan) Pierre Senellart (Telecom ParisTech) Sophie Tison (Lille) Victor Vianu (UC San Diego) David Woodruff (IBM Almaden) SIGMOD/PODS Webpage: http://www.sigmod.org/2012/ -- Dr. Markus Krötzsch Department of Computer Science, University of Oxford Room 306, Parks Road, OX1 3QD Oxford, United Kingdom +44 (0)1865 283529 http://korrekt.org/ From Souhila.Kaci at lirmm.fr Mon Sep 26 09:46:14 2011 From: Souhila.Kaci at lirmm.fr (Souhila Kaci) Date: Mon, 26 Sep 2011 09:46:14 +0200 Subject: Book announcement: "Working with Preferences: Less Is More" Message-ID: <4f66801f15df571274803e70bc6fcff7@lirmm.fr> [Apologies for multiple postings] Working with Preferences: Less Is More. Souhila Kaci Springer, 2011 ISBN:978-3-642-17279-3 (http://www.springer.com/computer/ai/book/978-3-642-17279-3) Preferences are useful in many real-life problems, guiding human decision making from early childhood up to complex professional and organizational decisions. In artificial intelligence specifically, preferences is a relatively new topic of relevance to nonmonotonic reasoning, multiagent systems, constraint satisfaction, decision making, social choice theory and decision-theoretic planning The first part of this book deals with preference representation, with specific chapters dedicated to representation languages, nonmonotonic logics of preferences, conditional preference networks, positive and negative preferences, and the study of preferences in cognitive psychology. The second part of the book deals with reasoning with preferences, and includes chapters dedicated to preference-based argumentation, preferences database queries, and rank-ordering outcomes and intervals. The author concludes by examining forthcoming research perspectives. This is inherently a multidisciplinary topic and this book will be of interest to computer scientists, economists, operations researchers, mathematicians, logicians, philosophers and psychologists. Content Level » Research Keywords: Artificial intelligence - Constraint satisfaction - Database queries - Decision making - Decision-theoretic planning - Logic - Multi-agent systems - Non-monotonic logics - Non-monotonic reasoning - Preference representation - Preference-based argumentation - Preferences - Reasoning - Social choice theory Related subjects: Artificial Intelligence - Logic & Philosophy of Language - Operations Research & Decision Theory - Theoretical Computer Science -------------------------------------- Souhila Kaci Professor University of Montpellier 2 LIRMM 161 rue ADA F34392 Montpellier Cedex 5 France http://www2.lirmm.fr/~kaci/ --------------------------------------- From ispa2012 at piojito.arcos.inf.uc3m.es Mon Sep 26 10:24:55 2011 From: ispa2012 at piojito.arcos.inf.uc3m.es (ISPA2012) Date: Mon, 26 Sep 2011 10:24:55 +0200 Subject: CFW: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012) Message-ID: <20110926082455.GA30778@piojito.arcos.inf.uc3m.es> Dear Sir or Madam, (We apologize if you receive multiple copies of this message) ================================ Call for ISPA 2012 Workshops Several workshops are held together with the annual ISPA 2012 conference in Madrid, Spain (July 10-13, 2012). The web site of the conference is: http://arcos.inf.uc3m.es/ispa2012 Important dates: Workshop proposals due: November 15, 2011 Workshop notification: December 15, 2011 We welcome workshops related to all aspects of parallel and distributed systems and applications. Workshops are expected to attract papers presenting cutting-edge ideas, preliminary work, practical experiences. It is expected that the proceedings of the workshop programs will be published by IEEE Press (IEEE eXpress Conference Publishing group). In general, a workshop takes one day, although multiple-days and half-day workshops are welcome. The organizers of accepted workshops are required to advertise the workshop and call for papers, solicit submissions, conduct the reviewing process, and decide upon the final workshop program. Worshop proposals and further inquiries should be sent to the ISPA 2012 Workshops Chairs: Florin Isaila (florin [at] arcos.inf.uc3m.es) Avery Ching (aching [at] ece.northwestern.edu) The workshop proposal should include following information: 1. Title of the workshop: International Workshop on ... 2. Workshop Organizers(s): name, affiliation, address, phone and fax numbers, e-mail. 3. Brief description of the workshop (several hundred words) 4. Expected number of papers to be submitted 5. Call for paper of the workshop (draft version - 1 page CFP MS Word version) 6. Tentative list of program committee members (Name, affiliation, country, email address) 7. Your workshop web address (Tentative) Each workshop will start to distribute a call for paper after receiving the notification. Papers submitted to each workshop will be reviewed by the program committee and external reviewers of the workshop. Financial Supports for Workshop Organizer: If workshops are successful in terms of accepted and registered papers, the organizer (one organizer per workshop) will get: - At least 10 papers registration: 1 Free registration - At least 20 papers registration: 2 Free registration. From evomusart at gmail.com Mon Sep 26 11:15:31 2011 From: evomusart at gmail.com (Juan Romero) Date: Mon, 26 Sep 2011 11:15:31 +0200 Subject: SECOND CALL FOR PAPERS EvoMUSART2012: 1st International Conference and 10th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design Message-ID: Please distribute (Apologies for multiple posting) ---------------------------------------------------------------------------- SECOND CALL FOR PAPERS evomusart 2012 1st International Conference and 10th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design 11-13 April 2012, Malaga, Spain Part of evo* 2012 evo*: http://www.evostar.org evomusart: http://www.evostar.org/2012/call-for-contributions/evomusart/ ---------------------------------------------------------------------------- evomusart 2012 is the tenth European event on Evolutionary Music and Art. Following the success of previous events and the importance of the field of evolutionary and biologically inspired music, sound, art and design, evomusart has became a evo* conference with independent proceedings. Thus, evomusart 2012 is the tenth European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design and the first conference on the field. The use of biologically inspired techniques for the development of artistic systems is a recent, exciting and significant area of research. There is a growing interest in the application of these techniques in fields such as: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; design; and other creative tasks. The main goal of evomusart 2012 is to bring together researchers who are using biologically inspired computer techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in the area. The event will be held from 11-13 April, 2012 in Malaga, Spain as part of the evostar event. Accepted papers will be presented orally at the event and included in the evomusart proceedings, published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. ---------------------------------------------------------------------------- Topics of interest ---------------------------------------------------------------------------- The papers should concern the use of biologically inspired computer techniques - e.g. Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, other artificial intelligence techniques. - in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: -- Generation - Biologically Inspired Design and Art - Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; - Biologically Inspired Sound and Music - Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; - Robotic Based Evolutionary Art and Music; - Other related artificial intelligence or generative techniques - in the fields of Computer Music, Computer Art; --Theory - Computational Aesthetics, Experimental Aesthetics; o Emotional Response, Surprise, Novelty; - Representation techniques; - Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; - Validation methodologies; - Studies on the applicability of these techniques to related areas; - New models designed to promote the creative potential of biologically inspired computation; --Computer Aided Creativity and computational creativity - Systems in which biologically inspired computation is used to promote the creativity of a human user; - New ways of integrating the user in the evolutionary cycle; - Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; - Collaborative distributed artificial art environments; --Automation - Techniques for automatic fitness assignment; - Systems in which an analysis or interpretation of the artworks is used in conjunction with biologically inspired techniques to produce novel objects; - Systems that resort to biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; ---------------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------------- Submission: 30 November 2011 Conference: 11-13 April 2012 ---------------------------------------------------------------------------- Additional information and submission details ---------------------------------------------------------------------------- Submit your manuscript, at most 12 A4 pages long, in Springer LNCS format (instructions downloadable from http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html) no later than November 30, 2011 to site http://myreview.csregistry.org/evomusart12 The reviewing process will be double-blind, please omit information about the authors in the submitted paper. ---------------------------------------------------------------------------- Programme committee ---------------------------------------------------------------------------- Adrian Carballal, University of A Coruna, Spain Alain Lioret, Paris 8 University, France Alan Dorin, Monash University, Australia Alejandro Pazos, University of A Coruna, Spain Amilcar Cardoso, University of Coimbra, Portugal Amy K. Hoover, University of Central Florida, USA Andrew Brown, Griffith University, Australia Andrew Gildfind, Google Inc., Australia Andrew Horner, University of Science & Technology, Hong Kong Anna Ursyn, University of Northern Colorado, USA Antonino Santos, University of A Coruna, Spain Artemis Sanchez Moroni, Renato Archer Research Center, Brazil Benjamin Schroeder, Ohio State University, USA Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carlos Grilo, Instituto Politécnico de Leiria, Portugal Christian Jacob, University of Calgary, Canada Colin Johnson, University of Kent, UK Dan Ashlock, University of Guelph, Canada Daniel Bisig, University of Zurich, Switzerland Daniel Jones, Goldsmiths College, University of London, UK David Rosenboom, California Institute of Arts, USA Douglas Repetto, Columbia University, USA Eduardo Miranda, University of Plymouth, UK Eelco den Heijer, Vrije Universiteit Amsterdam, Netherlands Erwin Driessens, Independent Artist, Netherlands Gary Greenfield, University of Richmond, USA Gary Nelson, Oberlin College, USA Hans Dehlinger, Independent Artist, Germany Ingeborg Reichle, Berlin-Brandenburg Academy of Sciences and Humanities, Germany J. E. Rowe, University of Birmingham, UK James McDermott, University of Limerick, Ireland Jon Bird, University of Sussex, UK Jon McCormack, Monash University, Australia José Fornari, NICS/Unicamp, Brazil Juan Romero, University of A Coruna, Spain Kenneth O. Stanley, University of Central Florida, USA Luigi Pagliarini, University of Southern Denmark, Italy Marcelo Freitas Caetano, IRCAM, France Marcos Nadal, University of Illes Balears, Spain Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Mauro Annunziato, Plancton Art Studio, Italy Mitchell Whitelaw, University of Canberra, Australia Nicolas Monmarché, University of Tours, France Oliver Bown, University of Sidney, Australia Palle Dahlstedt, Göteborg University, Sweden Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa, Portugal Pedro Cruz, University of Coimbra, Portugal Penousal Machado, University of Coimbra, Portugal Peter Bentley, University College London , UK Peter Cariani, University of Binghamton, USA Philip Galanter, Texas A&M College of Architecture, USA Rafael Ramirez, Pompeu Fabra University, Spain Roger Malina, International Society for the Arts, Sciences and Technology, USA Scott Draves, Independent Artist, USA Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, University Tunku Abdul Rahman, Malaysia Stephen Todd, IBM, UK Tim Blackwell, Goldsmiths College, University of London, UK Troy Innocent, Monash University, Australia Usman Haque, Haque Design + Research Ltd, UK/Pakistan Vic Ciesielski, RMIT, Australia William Latham, University of London, UK Yang Li, University of Science and Technology Beijing, China Conference chairs Juan Romero University of A Coruna, Spain jj(at)udc.es Penousal Machado University of Coimbra, Portugal machado(at)dei.uc.pt Publication chair Adrian Carballal University of A Coruna, Spain adrian.carballal(at)udc.es -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From duran at lcc.uma.es Tue Sep 27 14:17:55 2011 From: duran at lcc.uma.es (=?iso-8859-1?Q?Francisco_Dur=E1n?=) Date: Tue, 27 Sep 2011 13:17:55 +0100 Subject: WRLA 2012: Call for papers Message-ID: <41A23227-8AAD-4F74-A666-1EE38525C531@lcc.uma.es> 9TH INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS WRLA 2012 Tallinn, Estonia, March 24-25, 2012 http://wrla2012.lcc.uma.es/ The workshop will be held in conjunction with ETAPS 2012 14th European Joint Conferences on Theory and Practice of Software March 24 - April 1, 2012 http://www.etaps.org/2012 IMPORTANT DATES December 14, 2011 Deadline for submission January 18, 2012 Author notification Early February, 2010 Final version in electronic form AIMS AND SCOPE Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to, - foundations and models of RL; - languages based on RL, including implementation issues; - RL as a logical framework; - RL as a semantic framework, including applications of RL to - object-oriented systems, - concurrent and/or parallel systems, - interactive, distributed, open ended and mobile systems, - specification of languages and systems; - use of RL to provide rigorous support for model-based software engineering; - formalisms related to RL, including - real-time and probabilistic extensions of RL, - rewriting approaches to behavioral specifications, - tile logic; - verification techniques for RL specifications, including - equational and coherence methods, and - verification of properties expressed in first-order, higher-order, modal and temporal logics; - comparisons of RL with existing formalisms having analogous aims; - application of RL to specification and analysis of - distributed systems, - physical systems. PROGRAM COMMITTEE - Emilie Balland, INRIA Bordeaux - Sud-Ouest, France - Artur Boronat, University of Leicester, UK - Mark van den Brand, Eindhoven University of Technology, The Netherlands - Roberto Bruni, University of Pisa, Italy - Manuel Clavel, IMDEA Software & Universidad Complutense de Madrid, Spain - Grit Denker, SRI International, USA - Francisco Duran (chair), Universidad de Malaga, Spain - Steven Eker, SRI International, USA - Santiago Escobar, Universidad Politecnica de Valencia, Spain - Kokichi Futatsugi, JAIST, Japan - Alexander Knapp, Universitat Augsburg, Germany - Dorel Lucanu, Alexandru Ioan Cuza University, Rumania - Salvador Lucas, Universidad Politecnica de Valencia, Spain - Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain - Jose Meseguer, University of Illinois at Urbana-Champaign, USA - Ugo Montanari, Universita di Pisa, Italy - Pierre-Etienne Moreau, Ecole des Mines de Nancy & INRIA Nancy, France - Kazuhiro Ogata, JAIST, Japan - Peter Olveczky, University of Oslo, Norway - Miguel Palomino, Universidad Complutense de Madrid, Spain - Grigore Rosu, University of Illinois at Urbana-Champaign, USA - Vlad Rusu, INRIA Lille Nord-Europe, France - Carolyn Talcott, SRI International, USA - Martin Wirsing, Ludwig-Maximilians-Universit‰t, Germany STEERING COMMITTEE - Kokichi Futatsugi, JAIST, Japan - Claude Kirchner, INRIA Research Center Bordeaux - Sud-Ouest, France - Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain - Jose Meseguer, University of Illinois at Urbana-Champaign, USA - Ugo Montanari, Universita di Pisa, Italy - Grigore Rosu, University of Illinois at Urbana-Champaign, USA - Carolyn Talcott, SRI International, USA - Martin Wirsing, Ludwig-Maximillian University, Germany SUBMISSIONS Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Papers should not exceed 15 pages, should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair. The final program of the workshop will also include system demonstrations and invited presentations to be determined. Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published by the organization of ETAPS. As for WRLA 2010, we are negotiating the publications of a volume in the Springer's LNCS series as post-proceedings. Depending on the number and the quality of the contributions, we will consider the preparation of a special issue in some scientific journal in the field with extended versions of a selection of the papers of the workshop. CONTACT INFORMATION For more information, please contact the organizers (duran @ lcc . uma . es) or visit the workshop web page http://wrla2012.lcc.uma.es/ From cfp2012a at cicling.org Tue Sep 27 13:45:11 2011 From: cfp2012a at cicling.org (Alexander Gelbukh (CICLing-2012)) Date: Tue, 27 Sep 2011 06:45:11 -0500 Subject: CFP: CICLing 2012 -- NLP -- India Message-ID: <8696AC2FFE224FEB90D5A792A9C81825@micron> CICLing 2012 13th International Conference on Intelligent Text Processing and Computational Linguistics Delhi, India March 11-17, 2012 www.CICLing.org/2012 TOPICS: All topics related with computational linguistics, natural language processing, human language technologies, information retrieval, etc. PUBLICATION: LNCS - Springer Lecture Notes in Computer Science; poster session: special issue of a journal KEYNOTE SPEAKERS: Four keynote speakers anticipated CULTURAL PROGRAM: Three days of cultural activities: tours by Delhi, Agra & Taj Mahal, Jaipur AWARDS: Best paper, best student paper, best presentation, best poster, best software SUBMISSION DEADLINES: October 23: registration of tentative abstract, October 31: uploading of full papers See complete CFP and contact on www.CICLing.org/2012 This message is sent in good faith of its usefulness for you as an NLP researcher. If this is an error, kindly let me know. Alexander Gelbukh www.Gelbukh.com From Antonio.Fdez at uclm.es Fri Sep 30 16:57:55 2011 From: Antonio.Fdez at uclm.es (=?ISO-8859-1?Q?Antonio_Fern=E1ndez_Caballero?=) Date: Fri, 30 Sep 2011 16:57:55 +0200 Subject: CFP - MASSS @ PAAMS 2012 Message-ID: <4E85D8F3.20509@uclm.es> Dear colleague, Apologies for multiple copies =================================== Call for Papers Multi-Agent Systems for Safety and Security http://www.paams.net/?q=node/28 Special Session at 10th Practical Applications of Agents and Multi-Agents Systems (PAAMS 2012) 28th - 30th March 2012, Salamanca, Spain ------DESCRIPTION------ Nowadays, a critical concern in our daily life is to face up problems related to citizen safety and security. In this special session, contributions which solve safety and security problems that can arise in two proposed scenarios are sought. The first scenario is monitoring and surveillance of physical environments for the recognition of situations, activities and interactions among the different participating agents (e.g. humans, cars, aircrafts, vessels or ships, etc). This scenario is not restricted to visual sensors but also to other sensors capable of complementing or confirming the information extracted from video signal. The second scenario that attracts our interest is the World Wide Web. In this case, papers providing solutions to protect the users against malicious software are welcome. In the context of these two kinds of scenarios, solutions taking account basic characteristics of the agents (autonomy, reactivity, pro-activeness and social ability), as well as the inherent characteristics of multi-agent systems such as distributed data management, low coupling, robustness, communication and coordination between autonomous entities, can be very useful to detect and prevent problematic situations. The aim of this special session is affording the opportunity for interested researchers in these kinds of subjects to meet and discuss on the contributed solutions that mainly use the capabilities of multi-agent systems. ------PUBLICATION------ Accepted papers will be included in PAAMS 2012 Proceedings. At least one of the authors will be required to register and attend the symposium to present the paper in order to include the paper in the conference proceedings. All accepted papers will be published by Springer Verlag. Selected papers of the Special Session will be invited to be extended for special issues of a journal (under negotiation). ------SUBMISSION DETAILS------ Papers submitted to this workshop must not have been accepted for publication elsewhere or be under review for another workshop or conference. All papers will be peer-reviewed by the PC members. Submissions should be in PDF format 10 pages in length, including figures and references for the PAAMS 2012 using the Advances in Intelligent and Soft Computing Series Springer template, according to the detailed formatting instructions at: http://www.springer.com/series/4240?detailsPage=contentItemPage&CIPageCounter=156163 A specific submission site within the Easychair platform will be used to receive the contributions at: https://www.easychair.org/conferences/?conf=paams12 ------IMPORTANT DATES------ Paper submission deadline: 10th November, 2011 Acceptance notification: 16th December, 2011 Final version submission: 9th January, 2012 Conference dates: 28th - 30th March, 2012 ------ORGANIZERS AND PC CHAIRS------ Antonio Fernández-Caballero, University of Castilla-La Mancha, Spain Elena María Navarro Martínez, University of Castilla-La Mancha, Spain ------PROGRAM COMMITTEE------ Giuliano Armano, University of Cagliari, Italy Javier Albusac, Universidad de Castilla-La Mancha, Spain Federico Castanedo, Universidad de Deusto, Spain Rita Cucchiara, Università degli Studi di Modena e Reggio Emilia, Italy Antonio Fernández-Caballero, Universidad de Castilla-La Mancha, Spain Francisco Garijo, Institut de Recherche en Informatique de Toulouse, France Marie-Pierre Gleizes, Institut de Recherche en Informatique de Toulouse, France Zahia Guessoum, Laboratoire d'Informatique de Paris 6, France Rafel Martínez-Tomás, Universidad Nacional de Educación a Distancia, Spain Takashi Matsuyama, Kyoto University, Japan José Manuel Molina, Universidad Carlos III de Madrid, Spain Paulo Novais, Universidade do Minho, Portugal Juan Pavón, Universidad Complutense de Madrid, Spain Milind Tambe, University of Southern California, USA (TO BE EXTENDED) Best regards, Professor Antonio Fernández-Caballero University of Castilla-La Mancha Associate Professor Elena Navarro University of Castilla-La Mancha